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/rand6b4d6e.cudf.impossible.log.runsolver ./uns-paranoid-0.0002 /home/misc2010/data/2010/impossible//rand6b4d6e.cudf /home/misc2010/tmp/201007051419/uns-paranoid-0.0002/rand6b4d6e.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.99 1.02 1.05 3/96 6984 /proc/meminfo: memFree=1026428/2097152 swapFree=2055676/2097144 [pid=6984] ppid=6983 vsize=2880 CPUtime=0 /proc/6984/stat : 6984 (runsolver) R 6983 6984 13759 34823 13904 4202560 74 0 0 0 0 0 0 0 25 0 1 0 416126627 2949120 93 1283457024 134512640 134586868 4293789328 18446744073709551615 4158158106 0 0 0 24578 0 0 0 17 0 0 0 0 /proc/6984/statm: 720 93 62 19 0 52 0 [startup+0.207373 s] /proc/loadavg: 0.99 1.02 1.05 3/96 6984 /proc/meminfo: memFree=1026428/2097152 swapFree=2055676/2097144 [pid=6984] ppid=6983 vsize=2376 CPUtime=0 /proc/6984/stat : 6984 (uns-paranoid-0.) S 6983 6984 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416126627 2433024 257 1283457024 134512640 135191968 4292136384 18446744073709551615 4159208078 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6984/statm: 594 257 220 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+0.307377 s] /proc/loadavg: 0.99 1.02 1.05 3/96 6984 /proc/meminfo: memFree=1026428/2097152 swapFree=2055676/2097144 [pid=6984] ppid=6983 vsize=2376 CPUtime=0 /proc/6984/stat : 6984 (uns-paranoid-0.) S 6983 6984 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416126627 2433024 257 1283457024 134512640 135191968 4292136384 18446744073709551615 4159208078 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6984/statm: 594 257 220 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+0.407393 s] /proc/loadavg: 0.99 1.02 1.05 3/96 6984 /proc/meminfo: memFree=1026428/2097152 swapFree=2055676/2097144 [pid=6984] ppid=6983 vsize=2376 CPUtime=0 /proc/6984/stat : 6984 (uns-paranoid-0.) S 6983 6984 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416126627 2433024 257 1283457024 134512640 135191968 4292136384 18446744073709551615 4159208078 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6984/statm: 594 257 220 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+0.707425 s] /proc/loadavg: 0.99 1.02 1.05 3/96 6984 /proc/meminfo: memFree=1026428/2097152 swapFree=2055676/2097144 [pid=6984] ppid=6983 vsize=2376 CPUtime=0 /proc/6984/stat : 6984 (uns-paranoid-0.) S 6983 6984 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416126627 2433024 257 1283457024 134512640 135191968 4292136384 18446744073709551615 4159208078 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6984/statm: 594 257 220 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+1.50752 s] /proc/loadavg: 0.99 1.02 1.05 2/96 6986 /proc/meminfo: memFree=1072060/2097152 swapFree=2055676/2097144 [pid=6984] ppid=6983 vsize=2376 CPUtime=0 /proc/6984/stat : 6984 (uns-paranoid-0.) S 6983 6984 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416126627 2433024 257 1283457024 134512640 135191968 4292136384 18446744073709551615 4159208078 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6984/statm: 594 257 220 166 0 26 0 [pid=6986] ppid=6984 vsize=68648 CPUtime=1.49 /proc/6986/stat : 6986 (cudfsolver-stat) R 6984 6984 13759 34823 13904 4202496 16112 0 0 0 142 7 0 0 25 0 1 0 416126628 70295552 15508 1283457024 134512640 140938604 4293928816 18446744073709551615 140190608 0 0 0 0 0 0 0 17 0 0 0 0 /proc/6986/statm: 17162 15508 132 1569 0 15570 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 71024 [startup+3.10782 s] /proc/loadavg: 0.99 1.02 1.05 2/96 6986 /proc/meminfo: memFree=1031388/2097152 swapFree=2055676/2097144 [pid=6984] ppid=6983 vsize=2376 CPUtime=0 /proc/6984/stat : 6984 (uns-paranoid-0.) S 6983 6984 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416126627 2433024 257 1283457024 134512640 135191968 4292136384 18446744073709551615 4159208078 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6984/statm: 594 257 220 166 0 26 0 [pid=6986] ppid=6984 vsize=122512 CPUtime=3.08 /proc/6986/stat : 6986 (cudfsolver-stat) R 6984 6984 13759 34823 13904 4202496 36557 0 0 0 292 16 0 0 25 0 1 0 416126628 125452288 28142 1283457024 134512640 140938604 4293928816 18446744073709551615 137925861 0 0 0 0 0 0 0 17 0 0 0 0 /proc/6986/statm: 30628 28142 434 1569 0 28642 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 124888 [startup+6.30932 s] /proc/loadavg: 0.99 1.02 1.05 2/96 6986 /proc/meminfo: memFree=972116/2097152 swapFree=2055676/2097144 [pid=6984] ppid=6983 vsize=2376 CPUtime=0 /proc/6984/stat : 6984 (uns-paranoid-0.) S 6983 6984 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416126627 2433024 257 1283457024 134512640 135191968 4292136384 18446744073709551615 4159208078 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6984/statm: 594 257 220 166 0 26 0 [pid=6986] ppid=6984 vsize=195200 CPUtime=6.27 /proc/6986/stat : 6986 (cudfsolver-stat) R 6984 6984 13759 34823 13904 4202496 130059 0 1 0 572 55 0 0 25 0 1 0 416126628 199884800 35697 1283457024 134512640 140938604 4293928816 18446744073709551615 135029364 0 0 0 0 0 0 0 17 0 0 0 0 /proc/6986/statm: 48800 35697 693 1569 0 46814 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 197576 Solver just ended. Dumping a history of the last processes samples [startup+6.51025 s] /proc/loadavg: 0.99 1.02 1.05 2/96 6986 /proc/meminfo: memFree=972116/2097152 swapFree=2055676/2097144 [pid=6984] ppid=6983 vsize=2376 CPUtime=0 /proc/6984/stat : 6984 (uns-paranoid-0.) S 6983 6984 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416126627 2433024 257 1283457024 134512640 135191968 4292136384 18446744073709551615 4159208078 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6984/statm: 594 257 220 166 0 26 0 [pid=6986] ppid=6984 vsize=167820 CPUtime=6.47 /proc/6986/stat : 6986 (cudfsolver-stat) R 6984 6984 13759 34823 13904 4202496 139425 0 1 0 586 61 0 0 25 0 1 0 416126628 171847680 31300 1283457024 134512640 140938604 4293928816 18446744073709551615 140247153 0 0 0 0 0 0 0 17 0 0 0 0 /proc/6986/statm: 41955 31300 708 1569 0 39969 0 Current children cumulated CPU time (s) 6.47 Current children cumulated vsize (KiB) 170196 [startup+8.11047 s] /proc/loadavg: 1.07 1.04 1.05 3/97 6987 /proc/meminfo: memFree=959832/2097152 swapFree=2055676/2097144 [pid=6984] ppid=6983 vsize=2376 CPUtime=0 /proc/6984/stat : 6984 (uns-paranoid-0.) S 6983 6984 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416126627 2433024 257 1283457024 134512640 135191968 4292136384 18446744073709551615 4159208078 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6984/statm: 594 257 220 166 0 26 0 [pid=6986] ppid=6984 vsize=221300 CPUtime=8.11 /proc/6986/stat : 6986 (cudfsolver-stat) R 6984 6984 13759 34823 13904 4202496 196254 0 1 0 728 83 0 0 16 0 1 0 416126628 226611200 39816 1283457024 134512640 140938604 4293928816 18446744073709551615 135078573 0 0 0 0 0 0 0 17 0 0 0 0 /proc/6986/statm: 55325 39816 752 1569 0 53339 0 Current children cumulated CPU time (s) 8.11 Current children cumulated vsize (KiB) 223676 [startup+8.91065 s] /proc/loadavg: 1.07 1.04 1.05 2/96 6987 /proc/meminfo: memFree=999520/2097152 swapFree=2055676/2097144 [pid=6984] ppid=6983 vsize=2376 CPUtime=0 /proc/6984/stat : 6984 (uns-paranoid-0.) S 6983 6984 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416126627 2433024 257 1283457024 134512640 135191968 4292136384 18446744073709551615 4159208078 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6984/statm: 594 257 220 166 0 26 0 [pid=6986] ppid=6984 vsize=143532 CPUtime=8.9 /proc/6986/stat : 6986 (cudfsolver-stat) R 6984 6984 13759 34823 13904 4202496 197164 0 1 0 804 86 0 0 17 0 1 0 416126628 146976768 31498 1283457024 134512640 140938604 4293928816 18446744073709551615 134945448 0 0 0 0 0 0 0 17 0 0 0 0 /proc/6986/statm: 35883 31498 754 1569 0 33897 0 Current children cumulated CPU time (s) 8.9 Current children cumulated vsize (KiB) 145908 [startup+9.31069 s] /proc/loadavg: 1.07 1.04 1.05 2/96 6987 /proc/meminfo: memFree=999520/2097152 swapFree=2055676/2097144 [pid=6984] ppid=6983 vsize=2376 CPUtime=0 /proc/6984/stat : 6984 (uns-paranoid-0.) S 6983 6984 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416126627 2433024 257 1283457024 134512640 135191968 4292136384 18446744073709551615 4159208078 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6984/statm: 594 257 220 166 0 26 0 [pid=6986] ppid=6984 vsize=151164 CPUtime=9.31 /proc/6986/stat : 6986 (cudfsolver-stat) R 6984 6984 13759 34823 13904 4202496 197937 0 1 0 844 87 0 0 18 0 2 0 416126628 154791936 32255 1283457024 134512640 140938604 4293928816 18446744073709551615 138303823 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0 /proc/6986/statm: 37791 32255 753 1569 0 35805 0 Current children cumulated CPU time (s) 9.31 Current children cumulated vsize (KiB) 153540 [startup+9.41174 s] /proc/loadavg: 1.07 1.04 1.05 2/96 6987 /proc/meminfo: memFree=999520/2097152 swapFree=2055676/2097144 [pid=6984] ppid=6983 vsize=2376 CPUtime=0 /proc/6984/stat : 6984 (uns-paranoid-0.) S 6983 6984 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 25 0 1 0 416126627 2433024 257 1283457024 134512640 135191968 4292136384 18446744073709551615 4159208078 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/6984/statm: 594 257 220 166 0 26 0 [pid=6986] ppid=6984 vsize=0 CPUtime=9.4 /proc/6986/stat : 6986 (cudfsolver-stat) R 6984 6984 13759 34823 13904 4202500 199469 0 1 0 848 92 0 0 18 0 1 0 416126628 0 0 1283457024 0 0 0 0 0 0 0 0 0 0 0 0 17 0 0 0 0 /proc/6986/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 9.4 Current children cumulated vsize (KiB) 2376 Child status: 0 Real time (s): 9.4168 CPU time (s): 9.42059 CPU user time (s): 8.48853 CPU system time (s): 0.932058 CPU usage (%): 100.04 Max. virtual memory (cumulated for all children) (KiB): 256816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8.48853 system time used= 0.932058 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 199838 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 375 involuntary context switches= 304 runsolver used 0 second user time and 0.004 second system time The end