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/uns-paranoid-0.0002/rand3dec28.cudf.impossible.log.runsolver ./uns-paranoid-0.0002 /home/misc2010/data/2010/impossible//rand3dec28.cudf /home/misc2010/tmp/201007051419/uns-paranoid-0.0002/rand3dec28.cudf.impossible.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.86 1.01 1.03 1/95 29990 /proc/meminfo: memFree=1131068/2097152 swapFree=2055676/2097144 [pid=29990] ppid=29989 vsize=2380 CPUtime=0 /proc/29990/stat : 29990 (uns-paranoid-0.) R 29989 29990 13759 34823 13904 4194304 342 0 0 0 0 0 0 0 18 0 1 0 415709663 2437120 256 1283457024 134512640 135191968 4294864976 18446744073709551615 4159230608 0 65538 4 65536 0 0 0 17 1 0 0 0 /proc/29990/statm: 595 256 219 166 0 27 0 [pid=29991] ppid=29990 vsize=6808 CPUtime=0 /proc/29991/stat : 29991 (cudfsolver-stat) R 29990 29990 13759 34823 13904 4202496 245 0 0 0 0 0 0 0 18 0 1 0 415709664 6971392 187 1283457024 134512640 140938604 4288088544 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/29991/statm: 1702 188 132 1569 0 110 0 [startup+0.172266 s] /proc/loadavg: 0.86 1.01 1.03 1/95 29990 /proc/meminfo: memFree=1131068/2097152 swapFree=2055676/2097144 [pid=29990] ppid=29989 vsize=2380 CPUtime=0 /proc/29990/stat : 29990 (uns-paranoid-0.) S 29989 29990 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 415709663 2437120 257 1283457024 134512640 135191968 4294864976 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29990/statm: 595 257 220 166 0 27 0 [pid=29991] ppid=29990 vsize=15444 CPUtime=0.16 /proc/29991/stat : 29991 (cudfsolver-stat) R 29990 29990 13759 34823 13904 4202496 2453 0 0 0 16 0 0 0 20 0 1 0 415709664 15814656 2366 1283457024 134512640 140938604 4288088544 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/29991/statm: 3861 2366 132 1569 0 2269 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 17824 [startup+0.204252 s] /proc/loadavg: 0.86 1.01 1.03 1/95 29990 /proc/meminfo: memFree=1131068/2097152 swapFree=2055676/2097144 [pid=29990] ppid=29989 vsize=2380 CPUtime=0 /proc/29990/stat : 29990 (uns-paranoid-0.) S 29989 29990 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 415709663 2437120 257 1283457024 134512640 135191968 4294864976 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29990/statm: 595 257 220 166 0 27 0 [pid=29991] ppid=29990 vsize=17084 CPUtime=0.19 /proc/29991/stat : 29991 (cudfsolver-stat) R 29990 29990 13759 34823 13904 4202496 2849 0 0 0 19 0 0 0 20 0 1 0 415709664 17494016 2730 1283457024 134512640 140938604 4288088544 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/29991/statm: 4271 2730 132 1569 0 2679 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 19464 [startup+0.304257 s] /proc/loadavg: 0.86 1.01 1.03 1/95 29990 /proc/meminfo: memFree=1131068/2097152 swapFree=2055676/2097144 [pid=29990] ppid=29989 vsize=2380 CPUtime=0 /proc/29990/stat : 29990 (uns-paranoid-0.) S 29989 29990 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 415709663 2437120 257 1283457024 134512640 135191968 4294864976 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29990/statm: 595 257 220 166 0 27 0 [pid=29991] ppid=29990 vsize=21572 CPUtime=0.29 /proc/29991/stat : 29991 (cudfsolver-stat) R 29990 29990 13759 34823 13904 4202496 3996 0 0 0 29 0 0 0 20 0 1 0 415709664 22089728 3877 1283457024 134512640 140938604 4288088544 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/29991/statm: 5393 3877 132 1569 0 3801 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23952 [startup+0.704303 s] /proc/loadavg: 0.86 1.01 1.03 1/95 29990 /proc/meminfo: memFree=1131068/2097152 swapFree=2055676/2097144 [pid=29990] ppid=29989 vsize=2380 CPUtime=0 /proc/29990/stat : 29990 (uns-paranoid-0.) S 29989 29990 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 415709663 2437120 257 1283457024 134512640 135191968 4294864976 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29990/statm: 595 257 220 166 0 27 0 [pid=29991] ppid=29990 vsize=38312 CPUtime=0.69 /proc/29991/stat : 29991 (cudfsolver-stat) R 29990 29990 13759 34823 13904 4202496 8259 0 0 0 68 1 0 0 21 0 1 0 415709664 39231488 8043 1283457024 134512640 140938604 4288088544 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/29991/statm: 9578 8043 132 1569 0 7986 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 40692 [startup+1.50431 s] /proc/loadavg: 0.87 1.01 1.03 2/97 29992 /proc/meminfo: memFree=1083592/2097152 swapFree=2055676/2097144 [pid=29990] ppid=29989 vsize=2380 CPUtime=0 /proc/29990/stat : 29990 (uns-paranoid-0.) S 29989 29990 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 415709663 2437120 257 1283457024 134512640 135191968 4294864976 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29990/statm: 595 257 220 166 0 27 0 [pid=29991] ppid=29990 vsize=69572 CPUtime=1.48 /proc/29991/stat : 29991 (cudfsolver-stat) R 29990 29990 13759 34823 13904 4202496 16355 0 0 0 144 4 0 0 23 0 1 0 415709664 71241728 15751 1283457024 134512640 140938604 4288088544 18446744073709551615 140173403 0 0 0 0 0 0 0 17 1 0 0 0 /proc/29991/statm: 17393 15751 132 1569 0 15801 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 71952 [startup+3.11378 s] /proc/loadavg: 0.87 1.01 1.03 2/97 29992 /proc/meminfo: memFree=1042548/2097152 swapFree=2055676/2097144 [pid=29990] ppid=29989 vsize=2380 CPUtime=0 /proc/29990/stat : 29990 (uns-paranoid-0.) S 29989 29990 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 415709663 2437120 257 1283457024 134512640 135191968 4294864976 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29990/statm: 595 257 220 166 0 27 0 [pid=29991] ppid=29990 vsize=123196 CPUtime=3.09 /proc/29991/stat : 29991 (cudfsolver-stat) R 29990 29990 13759 34823 13904 4202496 36989 0 0 0 295 14 0 0 25 0 1 0 415709664 126152704 28343 1283457024 134512640 140938604 4288088544 18446744073709551615 137922728 0 0 0 0 0 0 0 17 0 0 0 0 /proc/29991/statm: 30799 28343 434 1569 0 28813 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 125576 [startup+6.31452 s] /proc/loadavg: 0.88 1.01 1.03 2/97 29992 /proc/meminfo: memFree=987624/2097152 swapFree=2055676/2097144 [pid=29990] ppid=29989 vsize=2380 CPUtime=0 /proc/29990/stat : 29990 (uns-paranoid-0.) S 29989 29990 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 415709663 2437120 257 1283457024 134512640 135191968 4294864976 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29990/statm: 595 257 220 166 0 27 0 [pid=29991] ppid=29990 vsize=201540 CPUtime=6.29 /proc/29991/stat : 29991 (cudfsolver-stat) R 29990 29990 13759 34823 13904 4202496 102652 0 0 0 585 44 0 0 25 0 1 0 415709664 206376960 36390 1283457024 134512640 140938604 4288088544 18446744073709551615 135858579 0 0 0 0 0 0 0 17 0 0 0 0 /proc/29991/statm: 50385 36390 686 1569 0 48399 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 203920 Solver just ended. Dumping a history of the last processes samples [startup+6.40457 s] /proc/loadavg: 0.88 1.01 1.03 2/97 29992 /proc/meminfo: memFree=987624/2097152 swapFree=2055676/2097144 [pid=29990] ppid=29989 vsize=2380 CPUtime=0 /proc/29990/stat : 29990 (uns-paranoid-0.) S 29989 29990 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 415709663 2437120 257 1283457024 134512640 135191968 4294864976 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29990/statm: 595 257 220 166 0 27 0 [pid=29991] ppid=29990 vsize=204280 CPUtime=6.38 /proc/29991/stat : 29991 (cudfsolver-stat) R 29990 29990 13759 34823 13904 4202496 108190 0 0 0 589 49 0 0 25 0 1 0 415709664 209182720 36747 1283457024 134512640 140938604 4288088544 18446744073709551615 138298618 0 0 0 0 0 0 0 17 0 0 0 0 /proc/29991/statm: 51070 36747 689 1569 0 49084 0 Current children cumulated CPU time (s) 6.38 Current children cumulated vsize (KiB) 206660 [startup+7.2048 s] /proc/loadavg: 0.88 1.01 1.03 2/96 29992 /proc/meminfo: memFree=985152/2097152 swapFree=2055676/2097144 [pid=29990] ppid=29989 vsize=2380 CPUtime=0 /proc/29990/stat : 29990 (uns-paranoid-0.) S 29989 29990 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 415709663 2437120 257 1283457024 134512640 135191968 4294864976 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29990/statm: 595 257 220 166 0 27 0 [pid=29991] ppid=29990 vsize=172088 CPUtime=7.18 /proc/29991/stat : 29991 (cudfsolver-stat) R 29990 29990 13759 34823 13904 4202496 151931 0 0 0 644 74 0 0 25 0 1 0 415709664 176218112 31796 1283457024 134512640 140938604 4288088544 18446744073709551615 134690844 0 0 0 0 0 0 0 17 0 0 0 0 /proc/29991/statm: 43022 31796 705 1569 0 41036 0 Current children cumulated CPU time (s) 7.18 Current children cumulated vsize (KiB) 174468 [startup+8.00502 s] /proc/loadavg: 0.88 1.01 1.03 2/96 29992 /proc/meminfo: memFree=984656/2097152 swapFree=2055676/2097144 [pid=29990] ppid=29989 vsize=2380 CPUtime=0 /proc/29990/stat : 29990 (uns-paranoid-0.) S 29989 29990 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 415709663 2437120 257 1283457024 134512640 135191968 4294864976 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29990/statm: 595 257 220 166 0 27 0 [pid=29991] ppid=29990 vsize=175060 CPUtime=7.98 /proc/29991/stat : 29991 (cudfsolver-stat) R 29990 29990 13759 34823 13904 4202496 201449 0 0 0 704 94 0 0 25 0 1 0 415709664 179261440 32539 1283457024 134512640 140938604 4288088544 18446744073709551615 134697085 0 0 0 0 0 0 0 17 0 0 0 0 /proc/29991/statm: 43765 32539 705 1569 0 41779 0 Current children cumulated CPU time (s) 7.98 Current children cumulated vsize (KiB) 177440 [startup+8.40463 s] /proc/loadavg: 0.88 1.01 1.03 2/96 29992 /proc/meminfo: memFree=984656/2097152 swapFree=2055676/2097144 [pid=29990] ppid=29989 vsize=2380 CPUtime=0 /proc/29990/stat : 29990 (uns-paranoid-0.) S 29989 29990 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 415709663 2437120 257 1283457024 134512640 135191968 4294864976 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29990/statm: 595 257 220 166 0 27 0 [pid=29991] ppid=29990 vsize=214832 CPUtime=8.36 /proc/29991/stat : 29991 (cudfsolver-stat) R 29990 29990 13759 34823 13904 4202496 213561 0 2 0 736 100 0 0 25 0 1 0 415709664 219987968 39597 1283457024 134512640 140938604 4288088544 18446744073709551615 140247153 0 0 0 0 0 0 0 17 0 0 0 0 /proc/29991/statm: 53708 39597 729 1569 0 51722 0 Current children cumulated CPU time (s) 8.36 Current children cumulated vsize (KiB) 217212 [startup+8.50619 s] /proc/loadavg: 0.88 1.01 1.03 2/96 29992 /proc/meminfo: memFree=984656/2097152 swapFree=2055676/2097144 [pid=29990] ppid=29989 vsize=2380 CPUtime=0 /proc/29990/stat : 29990 (uns-paranoid-0.) S 29989 29990 13759 34823 13904 4194304 360 0 0 0 0 0 0 0 18 0 1 0 415709663 2437120 257 1283457024 134512640 135191968 4294864976 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29990/statm: 595 257 220 166 0 27 0 [pid=29991] ppid=29990 vsize=205768 CPUtime=8.46 /proc/29991/stat : 29991 (cudfsolver-stat) R 29990 29990 13759 34823 13904 4202496 220045 0 2 0 744 102 0 0 25 0 1 0 415709664 210706432 37451 1283457024 134512640 140938604 4288088544 18446744073709551615 135450736 0 0 0 0 0 0 0 17 0 0 0 0 /proc/29991/statm: 51442 37451 729 1569 0 49456 0 Current children cumulated CPU time (s) 8.46 Current children cumulated vsize (KiB) 208148 Child status: 0 Real time (s): 8.5907 CPU time (s): 8.54453 CPU user time (s): 7.48847 CPU system time (s): 1.05607 CPU usage (%): 99.4626 Max. virtual memory (cumulated for all children) (KiB): 221056 getrusage(RUSAGE_CHILDREN,...) data: user time used= 7.48847 system time used= 1.05607 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 220426 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25 involuntary context switches= 175 runsolver used 0.004 second user time and 0.004 second system time The end