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/201007051419/aspcud-paranoid-1.0/rand847939.cudf.difficult.log.runsolver ./aspcud-paranoid-1.0 /home/misc2010/data/2010/difficult//rand847939.cudf /home/misc2010/tmp/201007051419/aspcud-paranoid-1.0/rand847939.cudf.difficult.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: 0.93 1.07 1.08 1/94 6679 /proc/meminfo: memFree=1291580/2097152 swapFree=2055620/2097144 [pid=6679] ppid=6678 vsize=3272 CPUtime=0 /proc/6679/stat : 6679 (python) R 6678 6679 13759 34823 13904 4202496 521 0 0 0 0 0 0 0 18 0 1 0 417553414 3350528 318 1283457024 134512640 135539072 4292714064 18446744073709551615 134800287 0 0 0 0 0 0 0 17 1 0 0 0 /proc/6679/statm: 818 325 238 251 0 119 0 [startup+0.397493 s] /proc/loadavg: 0.93 1.07 1.08 1/94 6679 /proc/meminfo: memFree=1291580/2097152 swapFree=2055620/2097144 [pid=6679] ppid=6678 vsize=4688 CPUtime=0 /proc/6679/stat : 6679 (python) S 6678 6679 13759 34823 13904 4202496 1153 0 0 0 0 0 0 0 18 0 1 0 417553414 4800512 831 1283457024 134512640 135539072 4292714064 18446744073709551615 4160492462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6679/statm: 1172 831 398 251 0 430 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4688 [startup+0.405447 s] /proc/loadavg: 0.93 1.07 1.08 1/94 6679 /proc/meminfo: memFree=1291580/2097152 swapFree=2055620/2097144 [pid=6679] ppid=6678 vsize=4688 CPUtime=0 /proc/6679/stat : 6679 (python) S 6678 6679 13759 34823 13904 4202496 1153 0 0 0 0 0 0 0 18 0 1 0 417553414 4800512 831 1283457024 134512640 135539072 4292714064 18446744073709551615 4160492462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6679/statm: 1172 831 398 251 0 430 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4688 [startup+0.505553 s] /proc/loadavg: 0.93 1.07 1.08 1/94 6679 /proc/meminfo: memFree=1291580/2097152 swapFree=2055620/2097144 [pid=6679] ppid=6678 vsize=4688 CPUtime=0 /proc/6679/stat : 6679 (python) S 6678 6679 13759 34823 13904 4202496 1153 0 0 0 0 0 0 0 18 0 1 0 417553414 4800512 831 1283457024 134512640 135539072 4292714064 18446744073709551615 4160492462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6679/statm: 1172 831 398 251 0 430 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4688 [startup+0.705506 s] /proc/loadavg: 0.93 1.07 1.08 1/94 6679 /proc/meminfo: memFree=1291580/2097152 swapFree=2055620/2097144 [pid=6679] ppid=6678 vsize=4688 CPUtime=0 /proc/6679/stat : 6679 (python) S 6678 6679 13759 34823 13904 4202496 1153 0 0 0 0 0 0 0 18 0 1 0 417553414 4800512 831 1283457024 134512640 135539072 4292714064 18446744073709551615 4160492462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6679/statm: 1172 831 398 251 0 430 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4688 [startup+1.5055 s] /proc/loadavg: 0.93 1.07 1.08 2/96 6681 /proc/meminfo: memFree=1278676/2097152 swapFree=2055620/2097144 [pid=6679] ppid=6678 vsize=4688 CPUtime=0 /proc/6679/stat : 6679 (python) S 6678 6679 13759 34823 13904 4202496 1153 0 0 0 0 0 0 0 18 0 1 0 417553414 4800512 831 1283457024 134512640 135539072 4292714064 18446744073709551615 4160492462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6679/statm: 1172 831 398 251 0 430 0 [pid=6681] ppid=6679 vsize=15152 CPUtime=1.45 /proc/6681/stat : 6681 (cudf2lp) R 6679 6679 13759 34823 13904 4202496 3933 0 0 0 145 0 0 0 19 0 1 0 417553419 15515648 3461 1283457024 134512640 135993029 4294297664 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/6681/statm: 3788 3461 110 362 0 3370 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 19840 [startup+3.10557 s] /proc/loadavg: 0.93 1.07 1.08 2/96 6681 /proc/meminfo: memFree=1268880/2097152 swapFree=2055620/2097144 [pid=6679] ppid=6678 vsize=4688 CPUtime=0 /proc/6679/stat : 6679 (python) S 6678 6679 13759 34823 13904 4202496 1153 0 0 0 0 0 0 0 18 0 1 0 417553414 4800512 831 1283457024 134512640 135539072 4292714064 18446744073709551615 4160492462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6679/statm: 1172 831 398 251 0 430 0 [pid=6681] ppid=6679 vsize=29172 CPUtime=3.05 /proc/6681/stat : 6681 (cudf2lp) R 6679 6679 13759 34823 13904 4202496 7375 0 0 0 304 1 0 0 24 0 1 0 417553419 29872128 6903 1283457024 134512640 135993029 4294297664 18446744073709551615 135479838 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/6681/statm: 7293 6903 110 362 0 6875 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 33860 [startup+6.3058 s] /proc/loadavg: 0.93 1.07 1.08 2/96 6681 /proc/meminfo: memFree=1234300/2097152 swapFree=2055620/2097144 [pid=6679] ppid=6678 vsize=4688 CPUtime=0 /proc/6679/stat : 6679 (python) S 6678 6679 13759 34823 13904 4202496 1153 0 0 0 0 0 0 0 18 0 1 0 417553414 4800512 831 1283457024 134512640 135539072 4292714064 18446744073709551615 4160492462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6679/statm: 1172 831 398 251 0 430 0 [pid=6681] ppid=6679 vsize=74256 CPUtime=6.24 /proc/6681/stat : 6681 (cudf2lp) R 6679 6679 13759 34823 13904 4202496 18535 0 0 0 594 30 0 0 25 0 1 0 417553419 76038144 18063 1283457024 134512640 135993029 4294297664 18446744073709551615 135479934 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/6681/statm: 18564 18063 134 362 0 18146 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 78944 [startup+12.706 s] /proc/loadavg: 1.02 1.09 1.08 2/98 6684 /proc/meminfo: memFree=1046028/2097152 swapFree=2055620/2097144 [pid=6679] ppid=6678 vsize=4688 CPUtime=7.77 /proc/6679/stat : 6679 (python) S 6678 6679 13759 34823 13904 4202496 1241 27751 0 0 0 0 693 84 18 0 1 0 417553414 4800512 833 1283457024 134512640 135539072 4292714064 18446744073709551615 4160492462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6679/statm: 1172 833 400 251 0 430 0 [pid=6682] ppid=6679 vsize=2372 CPUtime=0 /proc/6682/stat : 6682 (sh) S 6679 6679 13759 34823 13904 4194304 442 0 0 0 0 0 0 0 19 0 1 0 417554198 2428928 248 1283457024 134512640 135191968 4290274272 18446744073709551615 4159593102 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/6682/statm: 593 248 212 166 0 25 0 [pid=6683] ppid=6682 vsize=191448 CPUtime=4.82 /proc/6683/stat : 6683 (bingo) R 6682 6679 13759 34823 13904 4202496 56180 0 0 0 464 18 0 0 19 0 1 0 417554199 196042752 37927 1283457024 134512640 136195415 4293336960 18446744073709551615 134654995 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/6683/statm: 47862 37927 220 411 0 47449 0 [pid=6684] ppid=6682 vsize=111836 CPUtime=0.52 /proc/6684/stat : 6684 (clasp) S 6682 6679 13759 34823 13904 4202496 31461 0 0 0 44 8 0 0 18 0 1 0 417554199 114520064 27295 1283457024 134512640 136080129 4289127264 18446744073709551615 135562558 0 0 16781312 24578 18446744071564457842 0 0 17 1 0 0 0 /proc/6684/statm: 27959 27295 147 383 0 27574 0 Current children cumulated CPU time (s) 13.11 Current children cumulated vsize (KiB) 310344 [startup+25.5067 s] /proc/loadavg: 1.01 1.08 1.08 2/97 6685 /proc/meminfo: memFree=1080904/2097152 swapFree=2055620/2097144 [pid=6679] ppid=6678 vsize=4688 CPUtime=7.77 /proc/6679/stat : 6679 (python) S 6678 6679 13759 34823 13904 4202496 1241 27751 0 0 0 0 693 84 18 0 1 0 417553414 4800512 833 1283457024 134512640 135539072 4292714064 18446744073709551615 4160492462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6679/statm: 1172 833 400 251 0 430 0 [pid=6682] ppid=6679 vsize=2372 CPUtime=10.23 /proc/6682/stat : 6682 (sh) S 6679 6679 13759 34823 13904 4194304 442 175509 0 0 0 0 950 73 18 0 1 0 417554198 2428928 248 1283457024 134512640 135191968 4290274272 18446744073709551615 4159593102 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6682/statm: 593 248 212 166 0 25 0 [pid=6684] ppid=6682 vsize=200552 CPUtime=8.38 /proc/6684/stat : 6684 (clasp) R 6682 6679 13759 34823 13904 4202496 76694 0 0 0 812 26 0 0 25 0 1 0 417554199 205365248 49257 1283457024 134512640 136080129 4289127264 18446744073709551615 134608348 0 0 16781312 24578 0 0 0 17 1 0 0 0 /proc/6684/statm: 50138 49257 189 383 0 49753 0 Current children cumulated CPU time (s) 26.38 Current children cumulated vsize (KiB) 207612 Solver just ended. Dumping a history of the last processes samples [startup+25.8066 s] /proc/loadavg: 1.01 1.08 1.08 2/97 6685 /proc/meminfo: memFree=1080904/2097152 swapFree=2055620/2097144 [pid=6679] ppid=6678 vsize=4688 CPUtime=7.77 /proc/6679/stat : 6679 (python) S 6678 6679 13759 34823 13904 4202496 1241 27751 0 0 0 0 693 84 18 0 1 0 417553414 4800512 833 1283457024 134512640 135539072 4292714064 18446744073709551615 4160492462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6679/statm: 1172 833 400 251 0 430 0 [pid=6682] ppid=6679 vsize=2372 CPUtime=10.23 /proc/6682/stat : 6682 (sh) S 6679 6679 13759 34823 13904 4194304 442 175509 0 0 0 0 950 73 18 0 1 0 417554198 2428928 248 1283457024 134512640 135191968 4290274272 18446744073709551615 4159593102 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6682/statm: 593 248 212 166 0 25 0 [pid=6684] ppid=6682 vsize=200552 CPUtime=8.68 /proc/6684/stat : 6684 (clasp) R 6682 6679 13759 34823 13904 4202496 76694 0 0 0 842 26 0 0 25 0 1 0 417554199 205365248 49257 1283457024 134512640 136080129 4289127264 18446744073709551615 134608504 0 0 16781312 24578 0 0 0 17 1 0 0 0 /proc/6684/statm: 50138 49257 189 383 0 49753 0 Current children cumulated CPU time (s) 26.68 Current children cumulated vsize (KiB) 207612 [startup+38.6072 s] /proc/loadavg: 1.01 1.08 1.08 2/97 6686 /proc/meminfo: memFree=1079540/2097152 swapFree=2055620/2097144 [pid=6679] ppid=6678 vsize=4688 CPUtime=7.77 /proc/6679/stat : 6679 (python) S 6678 6679 13759 34823 13904 4202496 1241 27751 0 0 0 0 693 84 18 0 1 0 417553414 4800512 833 1283457024 134512640 135539072 4292714064 18446744073709551615 4160492462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6679/statm: 1172 833 400 251 0 430 0 [pid=6682] ppid=6679 vsize=2372 CPUtime=10.23 /proc/6682/stat : 6682 (sh) S 6679 6679 13759 34823 13904 4194304 442 175509 0 0 0 0 950 73 18 0 1 0 417554198 2428928 248 1283457024 134512640 135191968 4290274272 18446744073709551615 4159593102 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6682/statm: 593 248 212 166 0 25 0 [pid=6684] ppid=6682 vsize=200552 CPUtime=21.48 /proc/6684/stat : 6684 (clasp) R 6682 6679 13759 34823 13904 4202496 76696 0 0 0 2120 28 0 0 25 0 1 0 417554199 205365248 49259 1283457024 134512640 136080129 4289127264 18446744073709551615 134608953 0 0 16781312 24578 0 0 0 17 1 0 0 0 /proc/6684/statm: 50138 49259 191 383 0 49753 0 Current children cumulated CPU time (s) 39.48 Current children cumulated vsize (KiB) 207612 [startup+45.0075 s] /proc/loadavg: 1.01 1.08 1.08 2/97 6686 /proc/meminfo: memFree=1078920/2097152 swapFree=2055620/2097144 [pid=6679] ppid=6678 vsize=4688 CPUtime=7.77 /proc/6679/stat : 6679 (python) S 6678 6679 13759 34823 13904 4202496 1241 27751 0 0 0 0 693 84 18 0 1 0 417553414 4800512 833 1283457024 134512640 135539072 4292714064 18446744073709551615 4160492462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6679/statm: 1172 833 400 251 0 430 0 [pid=6682] ppid=6679 vsize=2372 CPUtime=10.23 /proc/6682/stat : 6682 (sh) S 6679 6679 13759 34823 13904 4194304 442 175509 0 0 0 0 950 73 18 0 1 0 417554198 2428928 248 1283457024 134512640 135191968 4290274272 18446744073709551615 4159593102 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6682/statm: 593 248 212 166 0 25 0 [pid=6684] ppid=6682 vsize=200552 CPUtime=27.87 /proc/6684/stat : 6684 (clasp) R 6682 6679 13759 34823 13904 4202496 76696 0 0 0 2759 28 0 0 25 0 1 0 417554199 205365248 49259 1283457024 134512640 136080129 4289127264 18446744073709551615 134809214 0 0 16781312 24578 0 0 0 17 1 0 0 0 /proc/6684/statm: 50138 49259 191 383 0 49753 0 Current children cumulated CPU time (s) 45.87 Current children cumulated vsize (KiB) 207612 [startup+46.6076 s] /proc/loadavg: 1.01 1.08 1.08 2/97 6687 /proc/meminfo: memFree=1078796/2097152 swapFree=2055620/2097144 [pid=6679] ppid=6678 vsize=4688 CPUtime=7.77 /proc/6679/stat : 6679 (python) S 6678 6679 13759 34823 13904 4202496 1241 27751 0 0 0 0 693 84 18 0 1 0 417553414 4800512 833 1283457024 134512640 135539072 4292714064 18446744073709551615 4160492462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6679/statm: 1172 833 400 251 0 430 0 [pid=6682] ppid=6679 vsize=2372 CPUtime=10.23 /proc/6682/stat : 6682 (sh) S 6679 6679 13759 34823 13904 4194304 442 175509 0 0 0 0 950 73 18 0 1 0 417554198 2428928 248 1283457024 134512640 135191968 4290274272 18446744073709551615 4159593102 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6682/statm: 593 248 212 166 0 25 0 [pid=6684] ppid=6682 vsize=200552 CPUtime=29.47 /proc/6684/stat : 6684 (clasp) R 6682 6679 13759 34823 13904 4202496 76696 0 0 0 2919 28 0 0 25 0 1 0 417554199 205365248 49259 1283457024 134512640 136080129 4289127264 18446744073709551615 134849233 0 0 16781312 24578 0 0 0 17 1 0 0 0 /proc/6684/statm: 50138 49259 191 383 0 49753 0 Current children cumulated CPU time (s) 47.47 Current children cumulated vsize (KiB) 207612 [startup+48.2076 s] /proc/loadavg: 1.01 1.08 1.08 2/97 6687 /proc/meminfo: memFree=1078796/2097152 swapFree=2055620/2097144 [pid=6679] ppid=6678 vsize=4688 CPUtime=7.77 /proc/6679/stat : 6679 (python) S 6678 6679 13759 34823 13904 4202496 1241 27751 0 0 0 0 693 84 18 0 1 0 417553414 4800512 833 1283457024 134512640 135539072 4292714064 18446744073709551615 4160492462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6679/statm: 1172 833 400 251 0 430 0 [pid=6682] ppid=6679 vsize=2372 CPUtime=10.23 /proc/6682/stat : 6682 (sh) S 6679 6679 13759 34823 13904 4194304 442 175509 0 0 0 0 950 73 18 0 1 0 417554198 2428928 248 1283457024 134512640 135191968 4290274272 18446744073709551615 4159593102 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6682/statm: 593 248 212 166 0 25 0 [pid=6684] ppid=6682 vsize=200552 CPUtime=31.08 /proc/6684/stat : 6684 (clasp) R 6682 6679 13759 34823 13904 4202496 76696 0 0 0 3080 28 0 0 25 0 1 0 417554199 205365248 49259 1283457024 134512640 136080129 4289127264 18446744073709551615 134716422 0 0 16781312 24578 0 0 0 17 1 0 0 0 /proc/6684/statm: 50138 49259 191 383 0 49753 0 Current children cumulated CPU time (s) 49.08 Current children cumulated vsize (KiB) 207612 [startup+48.6077 s] /proc/loadavg: 1.01 1.07 1.08 2/97 6687 /proc/meminfo: memFree=1128768/2097152 swapFree=2055620/2097144 [pid=6679] ppid=6678 vsize=4688 CPUtime=7.77 /proc/6679/stat : 6679 (python) S 6678 6679 13759 34823 13904 4202496 1241 27751 0 0 0 0 693 84 18 0 1 0 417553414 4800512 833 1283457024 134512640 135539072 4292714064 18446744073709551615 4160492462 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/6679/statm: 1172 833 400 251 0 430 0 [pid=6682] ppid=6679 vsize=2372 CPUtime=10.23 /proc/6682/stat : 6682 (sh) S 6679 6679 13759 34823 13904 4194304 442 175509 0 0 0 0 950 73 18 0 1 0 417554198 2428928 248 1283457024 134512640 135191968 4290274272 18446744073709551615 4159593102 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6682/statm: 593 248 212 166 0 25 0 [pid=6684] ppid=6682 vsize=147920 CPUtime=31.48 /proc/6684/stat : 6684 (clasp) R 6682 6679 13759 34823 13904 4202496 76706 0 0 0 3119 29 0 0 25 0 1 0 417554199 151470080 36676 1283457024 134512640 136080129 4289127264 18446744073709551615 135495369 0 0 16781312 24578 0 0 0 17 1 0 0 0 /proc/6684/statm: 36980 36676 201 383 0 36595 0 Current children cumulated CPU time (s) 49.48 Current children cumulated vsize (KiB) 154980 [startup+48.8077 s] /proc/loadavg: 1.01 1.07 1.08 2/97 6687 /proc/meminfo: memFree=1128768/2097152 swapFree=2055620/2097144 [pid=6679] ppid=6678 vsize=4688 CPUtime=49.64 /proc/6679/stat : 6679 (python) S 6678 6679 13759 34823 13904 4202496 1325 280421 0 0 0 0 4776 188 18 0 1 0 417553414 4800512 833 1283457024 134512640 135539072 4292714064 18446744073709551615 4160492462 0 0 16781312 2 18446744071564329979 0 0 17 1 0 0 0 /proc/6679/statm: 1172 833 400 251 0 430 0 Current children cumulated CPU time (s) 49.64 Current children cumulated vsize (KiB) 4688 Child status: 0 Real time (s): 48.8271 CPU time (s): 49.6751 CPU user time (s): 47.771 CPU system time (s): 1.90412 CPU usage (%): 101.737 Max. virtual memory (cumulated for all children) (KiB): 816152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 47.771 system time used= 1.90412 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 283030 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= 5247 involuntary context switches= 509 runsolver used 0.012 second user time and 0.016001 second system time The end