runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108251442/aspcud-paranoid-1.5/5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.dudf-real.log.runsolver ./aspcud-paranoid-1.5 /home/misc2010/data/2011/dudf-real//5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf /home/misc2010/tmp/201108251442/aspcud-paranoid-1.5/5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.dudf-real.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.44 1.44 1.26 5/36 22677 /proc/meminfo: memFree=339420/1048576 swapFree=0/0 [pid=22674] ppid=22673 vsize=2588 CPUtime=0 /proc/22674/stat : 22674 (aspcud-paranoid) S 22673 22674 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11158456 2650112 280 1283457024 134512640 135304128 4289840384 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/22674/statm: 647 280 234 194 0 34 0 [pid=22675] ppid=22674 vsize=2588 CPUtime=0 /proc/22675/stat : 22675 (aspcud-paranoid) S 22674 22674 4778 34817 4778 4202560 118 0 0 0 0 0 0 0 18 0 1 0 11158456 2650112 134 1283457024 134512640 135304128 4289840384 18446744073709551615 4294960130 0 0 0 65538 18446744071564457842 0 0 17 0 0 0 0 /proc/22675/statm: 647 134 87 194 0 34 0 [pid=22676] ppid=22675 vsize=2588 CPUtime=0 /proc/22676/stat : 22676 (aspcud-paranoid) R 22675 22674 4778 34817 4778 4202560 127 0 0 0 0 0 0 0 25 0 1 0 11158456 2650112 151 1283457024 134512640 135304128 4289840384 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/22676/statm: 647 151 104 194 0 34 0 [pid=22677] ppid=22676 vsize=2588 CPUtime=0 /proc/22677/stat : 22677 (aspcud-paranoid) R 22676 22674 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 1 0 11158456 2650112 47 1283457024 134512640 135304128 4289840384 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/22677/statm: 647 47 0 194 0 34 0 [startup+0.108985 s] /proc/loadavg: 1.44 1.44 1.26 5/36 22677 /proc/meminfo: memFree=339420/1048576 swapFree=0/0 [pid=22674] ppid=22673 vsize=2596 CPUtime=0.01 /proc/22674/stat : 22674 (aspcud-paranoid) S 22673 22674 4778 34817 4778 4202496 656 2932 0 0 0 0 0 1 25 0 1 0 11158456 2658304 299 1283457024 134512640 135304128 4289840384 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/22674/statm: 649 299 251 194 0 36 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2596 [startup+0.205005 s] /proc/loadavg: 1.44 1.44 1.26 5/36 22677 /proc/meminfo: memFree=339420/1048576 swapFree=0/0 [pid=22674] ppid=22673 vsize=2596 CPUtime=0.01 /proc/22674/stat : 22674 (aspcud-paranoid) S 22673 22674 4778 34817 4778 4202496 656 2932 0 0 0 0 0 1 25 0 1 0 11158456 2658304 299 1283457024 134512640 135304128 4289840384 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/22674/statm: 649 299 251 194 0 36 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2596 [startup+0.305009 s] /proc/loadavg: 1.44 1.44 1.26 5/36 22677 /proc/meminfo: memFree=339420/1048576 swapFree=0/0 [pid=22674] ppid=22673 vsize=2596 CPUtime=0.01 /proc/22674/stat : 22674 (aspcud-paranoid) S 22673 22674 4778 34817 4778 4202496 656 2932 0 0 0 0 0 1 25 0 1 0 11158456 2658304 299 1283457024 134512640 135304128 4289840384 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/22674/statm: 649 299 251 194 0 36 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2596 [startup+0.705032 s] /proc/loadavg: 1.44 1.44 1.26 5/36 22677 /proc/meminfo: memFree=339420/1048576 swapFree=0/0 [pid=22674] ppid=22673 vsize=2596 CPUtime=0.01 /proc/22674/stat : 22674 (aspcud-paranoid) S 22673 22674 4778 34817 4778 4202496 656 2932 0 0 0 0 0 1 25 0 1 0 11158456 2658304 299 1283457024 134512640 135304128 4289840384 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/22674/statm: 649 299 251 194 0 36 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2596 [startup+1.50506 s] /proc/loadavg: 1.44 1.44 1.26 2/37 22691 /proc/meminfo: memFree=301544/1048576 swapFree=0/0 [pid=22674] ppid=22673 vsize=2596 CPUtime=0.01 /proc/22674/stat : 22674 (aspcud-paranoid) S 22673 22674 4778 34817 4778 4202496 656 2932 0 0 0 0 0 1 25 0 1 0 11158456 2658304 299 1283457024 134512640 135304128 4289840384 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/22674/statm: 649 299 251 194 0 36 0 [pid=22689] ppid=22674 vsize=1924 CPUtime=0 /proc/22689/stat : 22689 (clasp) S 22674 22674 4778 34817 4778 4202496 292 0 0 0 0 0 0 0 25 0 1 0 11158458 1970176 159 1283457024 134512640 136285277 4289268848 18446744073709551615 4294960130 0 0 6 18944 18446744071564457842 0 0 17 0 0 0 0 /proc/22689/statm: 481 159 144 433 0 46 0 [pid=22690] ppid=22674 vsize=2584 CPUtime=0 /proc/22690/stat : 22690 (gringo) S 22674 22674 4778 34817 4778 4202496 405 0 0 0 0 0 0 0 25 0 1 0 11158458 2646016 272 1283457024 134512640 136933539 4292151216 18446744073709551615 135633806 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/22690/statm: 646 272 242 592 0 51 0 [pid=22691] ppid=22674 vsize=25920 CPUtime=1.29 /proc/22691/stat : 22691 (cudf2lp) R 22674 22674 4778 34817 4778 4202496 7763 0 0 0 122 7 0 0 25 0 1 0 11158458 26542080 6018 1283457024 134512640 135786343 4291964832 18446744073709551615 134614175 0 0 6 0 0 0 0 17 0 0 0 0 /proc/22691/statm: 6480 6018 126 311 0 6167 0 Current children cumulated CPU time (s) 1.3 Current children cumulated vsize (KiB) 33024 [startup+3.11139 s] /proc/loadavg: 1.44 1.44 1.26 3/39 22693 /proc/meminfo: memFree=267816/1048576 swapFree=0/0 [pid=22674] ppid=22673 vsize=2596 CPUtime=1.76 /proc/22674/stat : 22674 (aspcud-paranoid) S 22673 22674 4778 34817 4778 4202496 656 15161 0 0 0 0 166 10 18 0 1 0 11158456 2658304 299 1283457024 134512640 135304128 4289840384 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/22674/statm: 649 299 251 194 0 36 0 [pid=22689] ppid=22674 vsize=22772 CPUtime=0.05 /proc/22689/stat : 22689 (clasp) R 22674 22674 4778 34817 4778 4202496 6262 0 0 0 5 0 0 0 18 0 1 0 11158458 23318528 5268 1283457024 134512640 136285277 4289268848 18446744073709551615 4294960130 0 0 6 18944 0 0 0 17 0 0 0 0 /proc/22689/statm: 5693 5268 177 433 0 5258 0 [pid=22690] ppid=22674 vsize=38080 CPUtime=1.08 /proc/22690/stat : 22690 (gringo) R 22674 22674 4778 34817 4778 4202496 10290 0 0 0 102 6 0 0 18 0 1 0 11158458 38993920 7678 1283457024 134512640 136933539 4292151216 18446744073709551615 135769524 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/22690/statm: 9520 7678 253 592 0 8925 0 Current children cumulated CPU time (s) 2.89 Current children cumulated vsize (KiB) 63448 Solver just ended. Dumping a history of the last processes samples [startup+3.2114 s] /proc/loadavg: 1.44 1.44 1.26 3/39 22693 /proc/meminfo: memFree=267816/1048576 swapFree=0/0 [pid=22674] ppid=22673 vsize=2596 CPUtime=1.76 /proc/22674/stat : 22674 (aspcud-paranoid) S 22673 22674 4778 34817 4778 4202496 656 15161 0 0 0 0 166 10 18 0 1 0 11158456 2658304 299 1283457024 134512640 135304128 4289840384 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/22674/statm: 649 299 251 194 0 36 0 [pid=22689] ppid=22674 vsize=25496 CPUtime=0.08 /proc/22689/stat : 22689 (clasp) R 22674 22674 4778 34817 4778 4202496 6955 0 0 0 8 0 0 0 18 0 1 0 11158458 26107904 5961 1283457024 134512640 136285277 4289268848 18446744073709551615 4294960130 0 0 6 18944 0 0 0 17 0 0 0 0 /proc/22689/statm: 6374 5961 177 433 0 5939 0 [pid=22690] ppid=22674 vsize=40064 CPUtime=1.15 /proc/22690/stat : 22690 (gringo) R 22674 22674 4778 34817 4778 4202496 10739 0 0 0 109 6 0 0 18 0 1 0 11158458 41025536 8127 1283457024 134512640 136933539 4292151216 18446744073709551615 134916047 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/22690/statm: 10016 8127 253 592 0 9421 0 Current children cumulated CPU time (s) 2.99 Current children cumulated vsize (KiB) 68156 [startup+4.01169 s] /proc/loadavg: 1.40 1.44 1.26 3/38 22693 /proc/meminfo: memFree=260764/1048576 swapFree=0/0 [pid=22674] ppid=22673 vsize=2596 CPUtime=3.04 /proc/22674/stat : 22674 (aspcud-paranoid) S 22673 22674 4778 34817 4778 4202496 656 26859 0 0 0 0 286 18 18 0 1 0 11158456 2658304 299 1283457024 134512640 135304128 4289840384 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/22674/statm: 649 299 251 194 0 36 0 [pid=22689] ppid=22674 vsize=35376 CPUtime=0.76 /proc/22689/stat : 22689 (clasp) R 22674 22674 4778 34817 4778 4202496 10453 0 0 0 74 2 0 0 18 0 1 0 11158458 36225024 8600 1283457024 134512640 136285277 4289268848 18446744073709551615 134893108 0 0 6 18944 0 0 0 17 0 0 0 0 /proc/22689/statm: 8844 8600 234 433 0 8409 0 Current children cumulated CPU time (s) 3.8 Current children cumulated vsize (KiB) 37972 [startup+4.41182 s] /proc/loadavg: 1.40 1.44 1.26 2/37 22693 /proc/meminfo: memFree=283472/1048576 swapFree=0/0 [pid=22674] ppid=22673 vsize=2596 CPUtime=3.04 /proc/22674/stat : 22674 (aspcud-paranoid) S 22673 22674 4778 34817 4778 4202496 656 26859 0 0 0 0 286 18 18 0 1 0 11158456 2658304 299 1283457024 134512640 135304128 4289840384 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/22674/statm: 649 299 251 194 0 36 0 [pid=22689] ppid=22674 vsize=35376 CPUtime=1.16 /proc/22689/stat : 22689 (clasp) R 22674 22674 4778 34817 4778 4202496 10460 0 0 0 114 2 0 0 19 0 1 0 11158458 36225024 8607 1283457024 134512640 136285277 4289268848 18446744073709551615 134735675 0 0 6 18944 0 0 0 17 0 0 0 0 /proc/22689/statm: 8844 8607 234 433 0 8409 0 Current children cumulated CPU time (s) 4.2 Current children cumulated vsize (KiB) 37972 [startup+4.6119 s] /proc/loadavg: 1.40 1.44 1.26 2/37 22693 /proc/meminfo: memFree=283472/1048576 swapFree=0/0 [pid=22674] ppid=22673 vsize=2596 CPUtime=3.04 /proc/22674/stat : 22674 (aspcud-paranoid) S 22673 22674 4778 34817 4778 4202496 656 26859 0 0 0 0 286 18 18 0 1 0 11158456 2658304 299 1283457024 134512640 135304128 4289840384 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/22674/statm: 649 299 251 194 0 36 0 [pid=22689] ppid=22674 vsize=35376 CPUtime=1.36 /proc/22689/stat : 22689 (clasp) R 22674 22674 4778 34817 4778 4202496 10460 0 0 0 134 2 0 0 19 0 1 0 11158458 36225024 8607 1283457024 134512640 136285277 4289268848 18446744073709551615 134951721 0 0 6 18944 0 0 0 17 0 0 0 0 /proc/22689/statm: 8844 8607 234 433 0 8409 0 Current children cumulated CPU time (s) 4.4 Current children cumulated vsize (KiB) 37972 Child status: 0 Real time (s): 4.69831 CPU time (s): 4.49628 CPU user time (s): 4.26427 CPU system time (s): 0.232014 CPU usage (%): 95.7 Max. virtual memory (cumulated for all children) (KiB): 68156 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.26427 system time used= 0.232014 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41911 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1386 involuntary context switches= 1053 runsolver used 0 second user time and 0 second system time The end