runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-282678-1169321416 -o ROOT/results/node76/solver-282678-1169321416 -C 2400 -M 900 /tmp/evaluation/282678-1169321416/solver.sh /tmp/evaluation/282678-1169321416/unknown
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.00 1.00 1.00 2/70 12226
/proc/meminfo: memFree=1656976/2055888 swapFree=4087964/4096564
[pid=12225] ppid=12223 vsize=8656 CPUtime=0
/proc/12225/stat : 12225 (solver.sh) R 12223 12225 11436 0 -1 4194304 333 0 0 0 0 0 0 0 17 0 1 0 280540059 8863744 279 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843736463 0 65538 4096 73728 0 0 0 17 1 0 0
/proc/12225/statm: 2164 279 207 79 0 156 0
[pid=12227] ppid=12225 vsize=8692 CPUtime=0
/proc/12227/stat : 12227 (solver.sh) R 12225 12225 11436 0 -1 4194368 27 0 0 0 0 0 0 0 17 0 1 0 280540059 8900608 286 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843736463 0 65536 4096 73728 0 0 0 17 1 0 0
/proc/12227/statm: 2173 286 209 79 0 165 0
[pid=12228] ppid=12227 vsize=3620 CPUtime=0
/proc/12228/stat : 12228 (id) R 12227 12225 11436 0 -1 4194304 164 0 0 0 0 0 0 0 19 0 1 0 280540059 3706880 124 18446744073709551615 4194304 4211724 548682069312 18446744073709551615 206843617536 0 0 3674112 0 0 0 0 17 0 0 0
/proc/12228/statm: 904 127 107 4 0 44 0
[startup+0.101981 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 12226
/proc/meminfo: memFree=1656976/2055888 swapFree=4087964/4096564
[pid=12225] ppid=12223 vsize=56340 CPUtime=0.01
/proc/12225/stat : 12225 (solver.sh) S 12223 12225 11436 0 -1 4194304 844 2078 0 0 0 0 0 1 16 0 1 0 280540059 57692160 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/12225/statm: 14085 364 248 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 56340
[startup+0.510059 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 12226
/proc/meminfo: memFree=1656976/2055888 swapFree=4087964/4096564
[pid=12225] ppid=12223 vsize=56340 CPUtime=0.01
/proc/12225/stat : 12225 (solver.sh) S 12223 12225 11436 0 -1 4194304 844 2078 0 0 0 0 0 1 16 0 1 0 280540059 57692160 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/12225/statm: 14085 364 248 79 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 56340
[startup+1.33021 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 12242
/proc/meminfo: memFree=1646656/2055888 swapFree=4087964/4096564
[pid=12225] ppid=12223 vsize=56340 CPUtime=0.01
/proc/12225/stat : 12225 (solver.sh) S 12223 12225 11436 0 -1 4194304 844 2078 0 0 0 0 0 1 16 0 1 0 280540059 57692160 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/12225/statm: 14085 364 248 79 0 217 0
[pid=12242] ppid=12225 vsize=11196 CPUtime=1.29
/proc/12242/stat : 12242 (toolbar) R 12225 12225 11436 0 -1 4194304 2689 0 0 0 127 2 0 0 25 0 1 0 280540062 11464704 2557 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134896045 0 0 4096 0 0 0 0 17 1 0 0
/proc/12242/statm: 2799 2557 48 178 0 2617 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 67536
[startup+2.96653 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 12243
/proc/meminfo: memFree=1643952/2055888 swapFree=4087964/4096564
[pid=12225] ppid=12223 vsize=56340 CPUtime=0.01
/proc/12225/stat : 12225 (solver.sh) S 12223 12225 11436 0 -1 4194304 844 2078 0 0 0 0 0 1 16 0 1 0 280540059 57692160 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/12225/statm: 14085 364 248 79 0 217 0
[pid=12242] ppid=12225 vsize=15456 CPUtime=1.86
/proc/12242/stat : 12242 (toolbar) S 12225 12225 11436 0 -1 4194304 2893 0 0 0 184 2 0 0 25 0 1 0 280540062 15826944 2758 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134893517 0 65536 4102 0 18446744071563358023 0 0 17 1 0 0
/proc/12242/statm: 3864 2758 52 178 0 3682 0
[pid=12243] ppid=12242 vsize=5620 CPUtime=1.04
/proc/12243/stat : 12243 (narycsp) R 12242 12225 11436 0 -1 4194304 1522 0 0 0 104 0 0 0 25 0 1 0 280540250 5754880 1247 18446744073709551615 134512640 135380208 4294956592 18446744073709551615 135051245 0 0 4096 512 0 0 0 17 1 0 0
/proc/12243/statm: 1405 1247 101 211 0 1174 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 77416
[startup+6.24918 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 12243
/proc/meminfo: memFree=1629424/2055888 swapFree=4087964/4096564
[pid=12225] ppid=12223 vsize=56340 CPUtime=0.01
/proc/12225/stat : 12225 (solver.sh) S 12223 12225 11436 0 -1 4194304 844 2078 0 0 0 0 0 1 16 0 1 0 280540059 57692160 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/12225/statm: 14085 364 248 79 0 217 0
[pid=12242] ppid=12225 vsize=15456 CPUtime=1.86
/proc/12242/stat : 12242 (toolbar) S 12225 12225 11436 0 -1 4194304 2893 0 0 0 184 2 0 0 25 0 1 0 280540062 15826944 2758 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134893517 0 65536 4102 0 18446744071563358023 0 0 17 1 0 0
/proc/12242/statm: 3864 2758 52 178 0 3682 0
[pid=12243] ppid=12242 vsize=19776 CPUtime=4.32
/proc/12243/stat : 12243 (narycsp) R 12242 12225 11436 0 -1 4194304 5065 0 0 0 430 2 0 0 25 0 1 0 280540250 20250624 4790 18446744073709551615 134512640 135380208 4294956592 18446744073709551615 135014475 0 0 4096 512 0 0 0 17 1 0 0
/proc/12243/statm: 4944 4790 101 211 0 4713 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 91572
[startup+12.7094 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 12243
/proc/meminfo: memFree=1605816/2055888 swapFree=4087964/4096564
[pid=12225] ppid=12223 vsize=56340 CPUtime=0.01
/proc/12225/stat : 12225 (solver.sh) S 12223 12225 11436 0 -1 4194304 844 2078 0 0 0 0 0 1 16 0 1 0 280540059 57692160 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/12225/statm: 14085 364 248 79 0 217 0
[pid=12242] ppid=12225 vsize=15456 CPUtime=1.86
/proc/12242/stat : 12242 (toolbar) S 12225 12225 11436 0 -1 4194304 2893 0 0 0 184 2 0 0 25 0 1 0 280540062 15826944 2758 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134893517 0 65536 4102 0 18446744071563358023 0 0 17 1 0 0
/proc/12242/statm: 3864 2758 52 178 0 3682 0
[pid=12243] ppid=12242 vsize=40672 CPUtime=10.78
/proc/12243/stat : 12243 (narycsp) R 12242 12225 11436 0 -1 4194304 10293 0 0 0 1072 6 0 0 25 0 1 0 280540250 41648128 10018 18446744073709551615 134512640 135380208 4294956592 18446744073709551615 134514616 0 0 4096 512 0 0 0 17 1 0 0
/proc/12243/statm: 10168 10018 106 211 0 9937 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 112468
[startup+25.527 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 12243
/proc/meminfo: memFree=1605752/2055888 swapFree=4087964/4096564
[pid=12225] ppid=12223 vsize=56340 CPUtime=0.01
/proc/12225/stat : 12225 (solver.sh) S 12223 12225 11436 0 -1 4194304 844 2078 0 0 0 0 0 1 16 0 1 0 280540059 57692160 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/12225/statm: 14085 364 248 79 0 217 0
[pid=12242] ppid=12225 vsize=15456 CPUtime=1.86
/proc/12242/stat : 12242 (toolbar) S 12225 12225 11436 0 -1 4194304 2893 0 0 0 184 2 0 0 25 0 1 0 280540062 15826944 2758 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134893517 0 65536 4102 0 18446744071563358023 0 0 17 1 0 0
/proc/12242/statm: 3864 2758 52 178 0 3682 0
[pid=12243] ppid=12242 vsize=40672 CPUtime=23.59
/proc/12243/stat : 12243 (narycsp) R 12242 12225 11436 0 -1 4194304 10299 0 0 0 2353 6 0 0 25 0 1 0 280540250 41648128 10024 18446744073709551615 134512640 135380208 4294956592 18446744073709551615 134540880 0 0 4096 512 0 0 0 17 1 0 0
/proc/12243/statm: 10168 10024 112 211 0 9937 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 112468
[startup+51.164 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 12243
/proc/meminfo: memFree=1605816/2055888 swapFree=4087964/4096564
[pid=12225] ppid=12223 vsize=56340 CPUtime=0.01
/proc/12225/stat : 12225 (solver.sh) S 12223 12225 11436 0 -1 4194304 844 2078 0 0 0 0 0 1 16 0 1 0 280540059 57692160 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/12225/statm: 14085 364 248 79 0 217 0
[pid=12242] ppid=12225 vsize=15456 CPUtime=1.86
/proc/12242/stat : 12242 (toolbar) S 12225 12225 11436 0 -1 4194304 2893 0 0 0 184 2 0 0 25 0 1 0 280540062 15826944 2758 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134893517 0 65536 4102 0 18446744071563358023 0 0 17 1 0 0
/proc/12242/statm: 3864 2758 52 178 0 3682 0
[pid=12243] ppid=12242 vsize=40672 CPUtime=49.2
/proc/12243/stat : 12243 (narycsp) R 12242 12225 11436 0 -1 4194304 10299 0 0 0 4914 6 0 0 25 0 1 0 280540250 41648128 10024 18446744073709551615 134512640 135380208 4294956592 18446744073709551615 134528295 0 0 4096 512 0 0 0 17 1 0 0
/proc/12243/statm: 10168 10024 112 211 0 9937 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 112468
[startup+102.399 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 12244
/proc/meminfo: memFree=1568712/2055888 swapFree=4087964/4096564
[pid=12225] ppid=12223 vsize=56340 CPUtime=0.01
/proc/12225/stat : 12225 (solver.sh) S 12223 12225 11436 0 -1 4194304 844 2078 0 0 0 0 0 1 16 0 1 0 280540059 57692160 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/12225/statm: 14085 364 248 79 0 217 0
[pid=12242] ppid=12225 vsize=92412 CPUtime=102.28
/proc/12242/stat : 12242 (toolbar) R 12225 12225 11436 0 -1 4194304 22168 10693 0 0 4673 10 5538 7 25 0 1 0 280540062 94629888 21999 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134611757 0 0 4096 2 0 0 0 17 1 0 0
/proc/12242/statm: 23103 21999 66 178 0 22921 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 148752
[startup+162.455 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 12244
/proc/meminfo: memFree=1568648/2055888 swapFree=4087964/4096564
[pid=12225] ppid=12223 vsize=56340 CPUtime=0.01
/proc/12225/stat : 12225 (solver.sh) S 12223 12225 11436 0 -1 4194304 844 2078 0 0 0 0 0 1 16 0 1 0 280540059 57692160 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/12225/statm: 14085 364 248 79 0 217 0
[pid=12242] ppid=12225 vsize=92544 CPUtime=162.31
/proc/12242/stat : 12242 (toolbar) R 12225 12225 11436 0 -1 4194304 22191 10693 0 0 10676 10 5538 7 25 0 1 0 280540062 94765056 22022 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134611757 0 0 4096 2 0 0 0 17 1 0 0
/proc/12242/statm: 23136 22022 66 178 0 22954 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 148884
[startup+222.499 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 12244
/proc/meminfo: memFree=1568584/2055888 swapFree=4087964/4096564
[pid=12225] ppid=12223 vsize=56340 CPUtime=0.01
/proc/12225/stat : 12225 (solver.sh) S 12223 12225 11436 0 -1 4194304 844 2078 0 0 0 0 0 1 16 0 1 0 280540059 57692160 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/12225/statm: 14085 364 248 79 0 217 0
[pid=12242] ppid=12225 vsize=92544 CPUtime=222.33
/proc/12242/stat : 12242 (toolbar) R 12225 12225 11436 0 -1 4194304 22191 10693 0 0 16678 10 5538 7 25 0 1 0 280540062 94765056 22022 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134622453 0 0 4096 2 0 0 0 17 1 0 0
/proc/12242/statm: 23136 22022 66 178 0 22954 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 148884
[startup+282.546 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 12244
/proc/meminfo: memFree=1568584/2055888 swapFree=4087964/4096564
[pid=12225] ppid=12223 vsize=56340 CPUtime=0.01
/proc/12225/stat : 12225 (solver.sh) S 12223 12225 11436 0 -1 4194304 844 2078 0 0 0 0 0 1 16 0 1 0 280540059 57692160 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/12225/statm: 14085 364 248 79 0 217 0
[pid=12242] ppid=12225 vsize=92544 CPUtime=282.36
/proc/12242/stat : 12242 (toolbar) R 12225 12225 11436 0 -1 4194304 22191 10693 0 0 22681 10 5538 7 25 0 1 0 280540062 94765056 22022 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134611714 0 0 4096 2 0 0 0 17 1 0 0
/proc/12242/statm: 23136 22022 66 178 0 22954 0
Current children cumulated CPU time (s) 282.37
Current children cumulated vsize (KiB) 148884
[startup+342.593 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 12244
/proc/meminfo: memFree=1568584/2055888 swapFree=4087964/4096564
[pid=12225] ppid=12223 vsize=56340 CPUtime=0.01
/proc/12225/stat : 12225 (solver.sh) S 12223 12225 11436 0 -1 4194304 844 2078 0 0 0 0 0 1 16 0 1 0 280540059 57692160 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/12225/statm: 14085 364 248 79 0 217 0
[pid=12242] ppid=12225 vsize=92544 CPUtime=342.39
/proc/12242/stat : 12242 (toolbar) R 12225 12225 11436 0 -1 4194304 22191 10693 0 0 28684 10 5538 7 25 0 1 0 280540062 94765056 22022 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134626289 0 0 4096 2 0 0 0 17 1 0 0
/proc/12242/statm: 23136 22022 66 178 0 22954 0
Current children cumulated CPU time (s) 342.4
Current children cumulated vsize (KiB) 148884
[startup+402.644 s]
/proc/loadavg: 1.04 1.01 1.00 2/71 12244
/proc/meminfo: memFree=1568520/2055888 swapFree=4087964/4096564
[pid=12225] ppid=12223 vsize=56340 CPUtime=0.01
/proc/12225/stat : 12225 (solver.sh) S 12223 12225 11436 0 -1 4194304 844 2078 0 0 0 0 0 1 16 0 1 0 280540059 57692160 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/12225/statm: 14085 364 248 79 0 217 0
[pid=12242] ppid=12225 vsize=92544 CPUtime=402.42
/proc/12242/stat : 12242 (toolbar) R 12225 12225 11436 0 -1 4194304 22191 10693 0 0 34687 10 5538 7 25 0 1 0 280540062 94765056 22022 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134610371 0 0 4096 2 0 0 0 17 1 0 0
/proc/12242/statm: 23136 22022 66 178 0 22954 0
Current children cumulated CPU time (s) 402.43
Current children cumulated vsize (KiB) 148884
[startup+462.689 s]
################
# More data... #
################
/proc/loadavg: 1.00 1.00 1.00 2/71 12244
/proc/meminfo: memFree=1568392/2055888 swapFree=4087964/4096564
[pid=12225] ppid=12223 vsize=56340 CPUtime=0.01
/proc/12225/stat : 12225 (solver.sh) S 12223 12225 11436 0 -1 4194304 844 2078 0 0 0 0 0 1 16 0 1 0 280540059 57692160 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/12225/statm: 14085 364 248 79 0 217 0
[pid=12242] ppid=12225 vsize=92544 CPUtime=1723
/proc/12242/stat : 12242 (toolbar) R 12225 12225 11436 0 -1 4194304 22199 10693 0 0 166745 10 5538 7 25 0 1 0 280540062 94765056 22030 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134610924 0 0 4096 2 0 0 0 17 1 0 0
/proc/12242/statm: 23136 22030 66 178 0 22954 0
Current children cumulated CPU time (s) 1723.01
Current children cumulated vsize (KiB) 148884
[startup+1783.74 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 12244
/proc/meminfo: memFree=1568328/2055888 swapFree=4087964/4096564
[pid=12225] ppid=12223 vsize=56340 CPUtime=0.01
/proc/12225/stat : 12225 (solver.sh) S 12223 12225 11436 0 -1 4194304 844 2078 0 0 0 0 0 1 16 0 1 0 280540059 57692160 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/12225/statm: 14085 364 248 79 0 217 0
[pid=12242] ppid=12225 vsize=92544 CPUtime=1783.03
/proc/12242/stat : 12242 (toolbar) R 12225 12225 11436 0 -1 4194304 22199 10693 0 0 172748 10 5538 7 25 0 1 0 280540062 94765056 22030 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134636871 0 0 4096 2 0 0 0 17 1 0 0
/proc/12242/statm: 23136 22030 66 178 0 22954 0
Current children cumulated CPU time (s) 1783.04
Current children cumulated vsize (KiB) 148884
[startup+1843.79 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 12316
/proc/meminfo: memFree=1567184/2055888 swapFree=4087964/4096564
[pid=12225] ppid=12223 vsize=56340 CPUtime=0.01
/proc/12225/stat : 12225 (solver.sh) S 12223 12225 11436 0 -1 4194304 844 2078 0 0 0 0 0 1 16 0 1 0 280540059 57692160 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/12225/statm: 14085 364 248 79 0 217 0
[pid=12242] ppid=12225 vsize=92544 CPUtime=1843.04
/proc/12242/stat : 12242 (toolbar) R 12225 12225 11436 0 -1 4194304 22199 10693 0 0 178749 10 5538 7 25 0 1 0 280540062 94765056 22030 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134611757 0 0 4096 2 0 0 0 17 1 0 0
/proc/12242/statm: 23136 22030 66 178 0 22954 0
Current children cumulated CPU time (s) 1843.05
Current children cumulated vsize (KiB) 148884
[startup+1903.85 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 12422
/proc/meminfo: memFree=1567056/2055888 swapFree=4087964/4096564
[pid=12225] ppid=12223 vsize=56340 CPUtime=0.01
/proc/12225/stat : 12225 (solver.sh) S 12223 12225 11436 0 -1 4194304 844 2078 0 0 0 0 0 1 16 0 1 0 280540059 57692160 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/12225/statm: 14085 364 248 79 0 217 0
[pid=12242] ppid=12225 vsize=92544 CPUtime=1903.05
/proc/12242/stat : 12242 (toolbar) R 12225 12225 11436 0 -1 4194304 22199 10693 0 0 184749 11 5538 7 25 0 1 0 280540062 94765056 22030 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134611686 0 0 4096 2 0 0 0 17 1 0 0
/proc/12242/statm: 23136 22030 66 178 0 22954 0
Current children cumulated CPU time (s) 1903.06
Current children cumulated vsize (KiB) 148884
[startup+1963.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 12442
/proc/meminfo: memFree=1568264/2055888 swapFree=4087964/4096564
[pid=12225] ppid=12223 vsize=56340 CPUtime=0.01
/proc/12225/stat : 12225 (solver.sh) S 12223 12225 11436 0 -1 4194304 844 2078 0 0 0 0 0 1 16 0 1 0 280540059 57692160 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/12225/statm: 14085 364 248 79 0 217 0
[pid=12242] ppid=12225 vsize=92544 CPUtime=1963.06
/proc/12242/stat : 12242 (toolbar) R 12225 12225 11436 0 -1 4194304 22199 10693 0 0 190750 11 5538 7 25 0 1 0 280540062 94765056 22030 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134636908 0 0 4096 2 0 0 0 17 1 0 0
/proc/12242/statm: 23136 22030 66 178 0 22954 0
Current children cumulated CPU time (s) 1963.07
Current children cumulated vsize (KiB) 148884
[startup+2023.97 s]
/proc/loadavg: 1.08 1.02 1.01 3/81 12536
/proc/meminfo: memFree=1557792/2055888 swapFree=4087964/4096564
[pid=12225] ppid=12223 vsize=56340 CPUtime=0.01
/proc/12225/stat : 12225 (solver.sh) S 12223 12225 11436 0 -1 4194304 844 2078 0 0 0 0 0 1 16 0 1 0 280540059 57692160 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/12225/statm: 14085 364 248 79 0 217 0
[pid=12242] ppid=12225 vsize=92544 CPUtime=2022.98
/proc/12242/stat : 12242 (toolbar) R 12225 12225 11436 0 -1 4194304 22199 10693 0 0 196742 11 5538 7 25 0 1 0 280540062 94765056 22030 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134611757 0 0 4096 2 0 0 0 17 0 0 0
/proc/12242/statm: 23136 22030 66 178 0 22954 0
Current children cumulated CPU time (s) 2022.99
Current children cumulated vsize (KiB) 148884
[startup+2084 s]
/proc/loadavg: 1.72 1.21 1.07 3/80 12537
/proc/meminfo: memFree=1555816/2055888 swapFree=4087964/4096564
[pid=12225] ppid=12223 vsize=56340 CPUtime=0.01
/proc/12225/stat : 12225 (solver.sh) S 12223 12225 11436 0 -1 4194304 844 2078 0 0 0 0 0 1 16 0 1 0 280540059 57692160 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/12225/statm: 14085 364 248 79 0 217 0
[pid=12242] ppid=12225 vsize=92544 CPUtime=2082.49
/proc/12242/stat : 12242 (toolbar) R 12225 12225 11436 0 -1 4194304 22214 10693 0 0 202693 11 5538 7 25 0 1 0 280540062 94765056 22045 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134621158 0 0 4096 2 0 0 0 17 0 0 0
/proc/12242/statm: 23136 22045 66 178 0 22954 0
Current children cumulated CPU time (s) 2082.5
Current children cumulated vsize (KiB) 148884
[startup+2144.03 s]
/proc/loadavg: 1.90 1.35 1.12 3/80 12537
/proc/meminfo: memFree=1555816/2055888 swapFree=4087964/4096564
[pid=12225] ppid=12223 vsize=56340 CPUtime=0.01
/proc/12225/stat : 12225 (solver.sh) S 12223 12225 11436 0 -1 4194304 844 2078 0 0 0 0 0 1 16 0 1 0 280540059 57692160 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/12225/statm: 14085 364 248 79 0 217 0
[pid=12242] ppid=12225 vsize=92544 CPUtime=2142.06
/proc/12242/stat : 12242 (toolbar) R 12225 12225 11436 0 -1 4194304 22214 10693 0 0 208649 12 5538 7 25 0 1 0 280540062 94765056 22045 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134621067 0 0 4096 2 0 0 0 17 0 0 0
/proc/12242/statm: 23136 22045 66 178 0 22954 0
Current children cumulated CPU time (s) 2142.07
Current children cumulated vsize (KiB) 148884
[startup+2204.06 s]
/proc/loadavg: 1.96 1.47 1.18 3/80 12537
/proc/meminfo: memFree=1555880/2055888 swapFree=4087964/4096564
[pid=12225] ppid=12223 vsize=56340 CPUtime=0.01
/proc/12225/stat : 12225 (solver.sh) S 12223 12225 11436 0 -1 4194304 844 2078 0 0 0 0 0 1 16 0 1 0 280540059 57692160 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/12225/statm: 14085 364 248 79 0 217 0
[pid=12242] ppid=12225 vsize=92676 CPUtime=2201.61
/proc/12242/stat : 12242 (toolbar) R 12225 12225 11436 0 -1 4194304 22222 10693 0 0 214604 12 5538 7 25 0 1 0 280540062 94900224 22053 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134610357 0 0 4096 2 0 0 0 17 0 0 0
/proc/12242/statm: 23169 22053 66 178 0 22987 0
Current children cumulated CPU time (s) 2201.62
Current children cumulated vsize (KiB) 149016
[startup+2264.09 s]
/proc/loadavg: 1.98 1.56 1.22 3/80 12537
/proc/meminfo: memFree=1555816/2055888 swapFree=4087964/4096564
[pid=12225] ppid=12223 vsize=56340 CPUtime=0.01
/proc/12225/stat : 12225 (solver.sh) S 12223 12225 11436 0 -1 4194304 844 2078 0 0 0 0 0 1 16 0 1 0 280540059 57692160 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/12225/statm: 14085 364 248 79 0 217 0
[pid=12242] ppid=12225 vsize=92676 CPUtime=2261.13
/proc/12242/stat : 12242 (toolbar) R 12225 12225 11436 0 -1 4194304 22222 10693 0 0 220556 12 5538 7 25 0 1 0 280540062 94900224 22053 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134624967 0 0 4096 2 0 0 0 17 0 0 0
/proc/12242/statm: 23169 22053 66 178 0 22987 0
Current children cumulated CPU time (s) 2261.14
Current children cumulated vsize (KiB) 149016
[startup+2324.12 s]
/proc/loadavg: 1.99 1.64 1.27 3/80 12537
/proc/meminfo: memFree=1555816/2055888 swapFree=4087964/4096564
[pid=12225] ppid=12223 vsize=56340 CPUtime=0.01
/proc/12225/stat : 12225 (solver.sh) S 12223 12225 11436 0 -1 4194304 844 2078 0 0 0 0 0 1 16 0 1 0 280540059 57692160 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/12225/statm: 14085 364 248 79 0 217 0
[pid=12242] ppid=12225 vsize=92676 CPUtime=2320.68
/proc/12242/stat : 12242 (toolbar) R 12225 12225 11436 0 -1 4194304 22222 10693 0 0 226511 12 5538 7 25 0 1 0 280540062 94900224 22053 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134611757 0 0 4096 2 0 0 0 17 0 0 0
/proc/12242/statm: 23169 22053 66 178 0 22987 0
Current children cumulated CPU time (s) 2320.69
Current children cumulated vsize (KiB) 149016
[startup+2384.15 s]
/proc/loadavg: 1.99 1.70 1.31 3/80 12537
/proc/meminfo: memFree=1555816/2055888 swapFree=4087964/4096564
[pid=12225] ppid=12223 vsize=56340 CPUtime=0.01
/proc/12225/stat : 12225 (solver.sh) S 12223 12225 11436 0 -1 4194304 844 2078 0 0 0 0 0 1 16 0 1 0 280540059 57692160 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/12225/statm: 14085 364 248 79 0 217 0
[pid=12242] ppid=12225 vsize=92676 CPUtime=2380.23
/proc/12242/stat : 12242 (toolbar) R 12225 12225 11436 0 -1 4194304 22222 10693 0 0 232466 12 5538 7 25 0 1 0 280540062 94900224 22053 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134611757 0 0 4096 2 0 0 0 17 0 0 0
/proc/12242/statm: 23169 22053 66 178 0 22987 0
Current children cumulated CPU time (s) 2380.24
Current children cumulated vsize (KiB) 149016
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2404.17 s]
/proc/loadavg: 1.99 1.72 1.33 3/80 12537
/proc/meminfo: memFree=1555816/2055888 swapFree=4087964/4096564
[pid=12225] ppid=12223 vsize=56340 CPUtime=0.01
/proc/12225/stat : 12225 (solver.sh) S 12223 12225 11436 0 -1 4194304 844 2078 0 0 0 0 0 1 16 0 1 0 280540059 57692160 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/12225/statm: 14085 364 248 79 0 217 0
[pid=12242] ppid=12225 vsize=92676 CPUtime=2400.06
/proc/12242/stat : 12242 (toolbar) R 12225 12225 11436 0 -1 4194304 22222 10693 0 0 234449 12 5538 7 25 0 1 0 280540062 94900224 22053 18446744073709551615 134512640 135242656 4294956576 18446744073709551615 134621936 0 0 4096 2 0 0 0 17 0 0 0
/proc/12242/statm: 23169 22053 66 178 0 22987 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 149016
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 12225 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=5999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=20996
CPU time returned by wait4() is 0.026995
while last known CPU time is 2400.07
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 2404.18
CPU time (s): 2400.07
CPU user time (s): 2399.87
CPU system time (s): 0.2
CPU usage (%): 99.8291
Max. virtual memory (cumulated for all children) (KiB): 149016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.005999
system time used= 0.020996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2922
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= 57
involuntary context switches= 18
runsolver used 2.24766 s user time and 4.64829 s system time
The end
Begin job on node76 on Sat Jan 20 19:30:16 UTC 2007
IDJOB= 282678
IDBENCH= 12877
IDSOLVER= 73
FILE ID= node76/282678-1169321416
PBS_JOBID= 3610415
Free space on /tmp= 66646 MiB
SOLVER NAME= toolbar 2007-01-12
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/celar/scens/scenw-08_ext.xml
COMMAND LINE= /tmp/evaluation/282678-1169321416/solver.sh /tmp/evaluation/282678-1169321416/unknown
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node76/convwatcher-282678-1169321416 -o ROOT/results/node76/conversion-282678-1169321416 -C 600 -M 900 /tmp/evaluation/282678-1169321416/translate /tmp/evaluation/282678-1169321416/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-282678-1169321416 -o ROOT/results/node76/solver-282678-1169321416 -C 2400 -M 900 /tmp/evaluation/282678-1169321416/solver.sh /tmp/evaluation/282678-1169321416/unknown
META MD5SUM SOLVER= 0bc5e5f95d54df9daf70dab8540aecd6
MD5SUM BENCH= 65c3907f212d3139cc631ca5c6797c79
RANDOM SEED= 190853336
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.254
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 6006.17
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.254
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5999.42
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055888 kB
MemFree: 1657456 kB
Buffers: 31588 kB
Cached: 303564 kB
SwapCached: 2128 kB
Active: 117376 kB
Inactive: 227376 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1657456 kB
SwapTotal: 4096564 kB
SwapFree: 4087964 kB
Dirty: 26568 kB
Writeback: 0 kB
Mapped: 17080 kB
Slab: 40132 kB
Committed_AS: 8375944 kB
PageTables: 1424 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264388 kB
VmallocChunk: 536606243 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66623 MiB
End job on node76 on Sat Jan 20 20:10:34 UTC 2007