runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-196024-1168117844 -o ROOT/results/node16/solver-196024-1168117844 -C 1800 -M 900 /tmp/evaluation/196024-1168117844/Complete/Ordinary/solver /tmp/evaluation/196024-1168117844/unknown 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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.94 1.99 2.17 5/95 2171
/proc/meminfo: memFree=1531352/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=5352 CPUtime=0
/proc/2170/stat : 2170 (sh) R 2168 2170 2090 0 -1 4194304 266 0 0 0 0 0 0 0 20 0 1 0 160180459 5480448 233 18446744073709551615 4194304 4889804 548682069344 18446744073709551615 4375747 0 0 4100 65536 0 0 0 17 1 0 0
/proc/2170/statm: 1338 233 196 169 0 49 0
[startup+0.103008 s]
/proc/loadavg: 1.94 1.99 2.17 5/95 2171
/proc/meminfo: memFree=1531352/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=61640 CPUtime=0.08
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 1885 0 0 0 8 0 0 0 20 0 1 0 160180459 63119360 1601 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134568439 0 0 4096 2 0 0 0 17 1 0 0
/proc/2170/statm: 15410 1601 158 90 0 14948 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 61640
[startup+0.510932 s]
/proc/loadavg: 1.94 1.99 2.17 5/95 2171
/proc/meminfo: memFree=1531352/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=61640 CPUtime=0.49
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 7606 0 0 0 46 3 0 0 24 0 1 0 160180459 63119360 7322 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134599177 0 0 4096 2 0 0 0 17 1 0 0
/proc/2170/statm: 15410 7322 158 90 0 14948 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 61640
[startup+1.33178 s]
/proc/loadavg: 1.94 1.99 2.17 3/95 2171
/proc/meminfo: memFree=1456728/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=136228 CPUtime=1.31
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 19049 0 0 0 122 9 0 0 25 0 1 0 160180459 139497472 18765 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134858988 0 0 4096 2 0 0 0 17 1 0 0
/proc/2170/statm: 34057 18765 158 90 0 33595 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 136228
[startup+2.96848 s]
/proc/loadavg: 1.94 1.99 2.17 3/95 2171
/proc/meminfo: memFree=1487576/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=101068 CPUtime=2.94
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 21181 0 0 0 284 10 0 0 25 0 1 0 160180459 103493632 12333 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552096 0 0 4096 2 0 0 0 17 1 0 0
/proc/2170/statm: 25267 12333 158 90 0 24805 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 101068
[startup+6.26389 s]
/proc/loadavg: 1.94 1.99 2.17 3/95 2171
/proc/meminfo: memFree=1438168/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=131776 CPUtime=6.22
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 50501 0 0 0 595 27 0 0 25 0 1 0 160180459 134938624 24249 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134639208 0 0 4096 2 0 0 0 17 1 0 0
/proc/2170/statm: 32944 24249 158 90 0 32482 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 131776
[startup+12.7197 s]
/proc/loadavg: 1.95 1.99 2.17 3/95 2171
/proc/meminfo: memFree=1424728/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=132524 CPUtime=12.64
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 81844 0 0 0 1218 46 0 0 25 0 1 0 160180459 135704576 26832 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134865605 0 0 4096 2 0 0 0 17 1 0 0
/proc/2170/statm: 33131 26832 158 90 0 32669 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 132524
[startup+25.5564 s]
/proc/loadavg: 1.96 1.99 2.16 3/95 2171
/proc/meminfo: memFree=1422488/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=132668 CPUtime=25.43
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 140498 0 0 0 2461 82 0 0 25 0 1 0 160180459 135852032 27339 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134858988 0 0 4096 2 0 0 0 17 1 0 0
/proc/2170/statm: 33167 27339 158 90 0 32705 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 132668
[startup+51.2167 s]
/proc/loadavg: 1.97 1.99 2.16 3/95 2171
/proc/meminfo: memFree=1325080/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=302348 CPUtime=50.98
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 267453 0 0 0 4946 152 0 0 25 0 1 0 160180459 309604352 44494 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134858988 0 0 4096 2 0 0 0 17 1 0 0
/proc/2170/statm: 75587 44494 158 90 0 75125 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 302348
[startup+102.439 s]
/proc/loadavg: 1.99 1.99 2.15 3/96 2172
/proc/meminfo: memFree=1286352/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=318740 CPUtime=101.97
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 311078 0 0 0 10022 175 0 0 25 0 2 0 160180459 326389760 61293 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134711880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/2170/statm: 79685 61293 170 90 0 79223 0
[pid=2170/tid=2172] ppid=2168 vsize=318740 CPUtime=0
/proc/2170/task/2172/stat : 2172 (bprolog) S 2168 2170 2090 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 160186831 326389760 61293 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 318740
[startup+162.488 s]
/proc/loadavg: 1.99 1.99 2.14 3/96 2172
/proc/meminfo: memFree=1286352/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=318740 CPUtime=161.76
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 311078 0 0 0 16000 176 0 0 25 0 2 0 160180459 326389760 61293 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134613079 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/2170/statm: 79685 61293 170 90 0 79223 0
[pid=2170/tid=2172] ppid=2168 vsize=318740 CPUtime=0
/proc/2170/task/2172/stat : 2172 (bprolog) S 2168 2170 2090 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 160186831 326389760 61293 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.76
Current children cumulated vsize (KiB) 318740
[startup+222.547 s]
/proc/loadavg: 1.99 1.99 2.13 3/96 2172
/proc/meminfo: memFree=1286288/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=318740 CPUtime=221.54
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 311079 0 0 0 21978 176 0 0 25 0 2 0 160180459 326389760 61294 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134557366 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/2170/statm: 79685 61294 170 90 0 79223 0
[pid=2170/tid=2172] ppid=2168 vsize=318740 CPUtime=0
/proc/2170/task/2172/stat : 2172 (bprolog) S 2168 2170 2090 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 160186831 326389760 61294 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.54
Current children cumulated vsize (KiB) 318740
[startup+282.601 s]
/proc/loadavg: 1.99 1.99 2.11 3/96 2174
/proc/meminfo: memFree=1285072/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=318740 CPUtime=281.33
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 311079 0 0 0 27956 177 0 0 25 0 2 0 160180459 326389760 61294 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552265 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/2170/statm: 79685 61294 170 90 0 79223 0
[pid=2170/tid=2172] ppid=2168 vsize=318740 CPUtime=0
/proc/2170/task/2172/stat : 2172 (bprolog) S 2168 2170 2090 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 160186831 326389760 61294 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.33
Current children cumulated vsize (KiB) 318740
[startup+342.652 s]
/proc/loadavg: 1.99 1.99 2.10 3/96 2174
/proc/meminfo: memFree=1285072/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=318740 CPUtime=341.11
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 311079 0 0 0 33934 177 0 0 25 0 2 0 160180459 326389760 61294 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134565116 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/2170/statm: 79685 61294 170 90 0 79223 0
[pid=2170/tid=2172] ppid=2168 vsize=318740 CPUtime=0
/proc/2170/task/2172/stat : 2172 (bprolog) S 2168 2170 2090 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 160186831 326389760 61294 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.11
Current children cumulated vsize (KiB) 318740
[startup+402.705 s]
/proc/loadavg: 2.03 2.00 2.10 3/96 2174
/proc/meminfo: memFree=1285072/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=318740 CPUtime=400.91
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 311079 0 0 0 39913 178 0 0 25 0 2 0 160180459 326389760 61294 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134639156 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/2170/statm: 79685 61294 170 90 0 79223 0
[pid=2170/tid=2172] ppid=2168 vsize=318740 CPUtime=0
/proc/2170/task/2172/stat : 2172 (bprolog) S 2168 2170 2090 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 160186831 326389760 61294 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 400.91
Current children cumulated vsize (KiB) 318740
[startup+462.755 s]
/proc/loadavg: 2.07 2.01 2.09 3/96 2174
/proc/meminfo: memFree=1285072/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=318740 CPUtime=460.7
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 311079 0 0 0 45891 179 0 0 25 0 2 0 160180459 326389760 61294 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552092 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/2170/statm: 79685 61294 170 90 0 79223 0
[pid=2170/tid=2172] ppid=2168 vsize=318740 CPUtime=0
/proc/2170/task/2172/stat : 2172 (bprolog) S 2168 2170 2090 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 160186831 326389760 61294 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.7
Current children cumulated vsize (KiB) 318740
[startup+522.807 s]
/proc/loadavg: 2.10 2.03 2.09 3/96 2174
/proc/meminfo: memFree=1285008/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=318740 CPUtime=520.48
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 311079 0 0 0 51869 179 0 0 25 0 2 0 160180459 326389760 61294 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134639103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/2170/statm: 79685 61294 170 90 0 79223 0
[pid=2170/tid=2172] ppid=2168 vsize=318740 CPUtime=0
/proc/2170/task/2172/stat : 2172 (bprolog) S 2168 2170 2090 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 160186831 326389760 61294 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 520.48
Current children cumulated vsize (KiB) 318740
[startup+582.862 s]
/proc/loadavg: 2.04 2.02 2.08 3/96 2174
/proc/meminfo: memFree=1284944/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=318740 CPUtime=580.27
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 311079 0 0 0 57847 180 0 0 25 0 2 0 160180459 326389760 61294 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134580219 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/2170/statm: 79685 61294 170 90 0 79223 0
[pid=2170/tid=2172] ppid=2168 vsize=318740 CPUtime=0
/proc/2170/task/2172/stat : 2172 (bprolog) S 2168 2170 2090 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 160186831 326389760 61294 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 580.27
Current children cumulated vsize (KiB) 318740
[startup+642.913 s]
/proc/loadavg: 2.01 2.01 2.08 3/96 2174
/proc/meminfo: memFree=1284880/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=318740 CPUtime=640.05
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 311079 0 0 0 63825 180 0 0 25 0 2 0 160180459 326389760 61294 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670074 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/2170/statm: 79685 61294 170 90 0 79223 0
[pid=2170/tid=2172] ppid=2168 vsize=318740 CPUtime=0
/proc/2170/task/2172/stat : 2172 (bprolog) S 2168 2170 2090 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 160186831 326389760 61294 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 640.05
Current children cumulated vsize (KiB) 318740
[startup+702.968 s]
/proc/loadavg: 2.00 2.01 2.07 3/96 2174
################
# More data... #
################
[pid=2170/tid=2247] ppid=2168 vsize=328984 CPUtime=0
/proc/2170/task/2247/stat : 2247 (bprolog) S 2168 2170 2090 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 160276821 336879616 61295 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1179.16
Current children cumulated vsize (KiB) 328984
[startup+1243.36 s]
/proc/loadavg: 1.99 1.99 2.02 3/96 2247
/proc/meminfo: memFree=1546456/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=328984 CPUtime=1239.15
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 311080 0 0 0 123730 185 0 0 25 0 3 0 160180459 336879616 61295 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134574015 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/2170/statm: 82246 61295 170 90 0 81784 0
[pid=2170/tid=2172] ppid=2168 vsize=328984 CPUtime=0
/proc/2170/task/2172/stat : 2172 (bprolog) S 2168 2170 2090 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 160186831 336879616 61295 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=2170/tid=2247] ppid=2168 vsize=328984 CPUtime=0
/proc/2170/task/2247/stat : 2247 (bprolog) S 2168 2170 2090 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 160276821 336879616 61295 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1239.15
Current children cumulated vsize (KiB) 328984
[startup+1303.38 s]
/proc/loadavg: 1.99 1.99 2.01 4/96 2247
/proc/meminfo: memFree=1546328/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=328984 CPUtime=1299.15
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 311080 0 0 0 129729 186 0 0 25 0 3 0 160180459 336879616 61295 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134565975 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/2170/statm: 82246 61295 170 90 0 81784 0
[pid=2170/tid=2172] ppid=2168 vsize=328984 CPUtime=0
/proc/2170/task/2172/stat : 2172 (bprolog) S 2168 2170 2090 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 160186831 336879616 61295 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=2170/tid=2247] ppid=2168 vsize=328984 CPUtime=0
/proc/2170/task/2247/stat : 2247 (bprolog) S 2168 2170 2090 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 160276821 336879616 61295 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1299.15
Current children cumulated vsize (KiB) 328984
[startup+1363.4 s]
/proc/loadavg: 2.03 2.00 2.01 3/96 2247
/proc/meminfo: memFree=1546264/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=328984 CPUtime=1359.11
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 311080 0 0 0 135725 186 0 0 25 0 3 0 160180459 336879616 61295 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134639156 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/2170/statm: 82246 61295 170 90 0 81784 0
[pid=2170/tid=2172] ppid=2168 vsize=328984 CPUtime=0
/proc/2170/task/2172/stat : 2172 (bprolog) S 2168 2170 2090 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 160186831 336879616 61295 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=2170/tid=2247] ppid=2168 vsize=328984 CPUtime=0
/proc/2170/task/2247/stat : 2247 (bprolog) S 2168 2170 2090 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 160276821 336879616 61295 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1359.11
Current children cumulated vsize (KiB) 328984
[startup+1423.48 s]
/proc/loadavg: 2.01 2.00 2.01 3/97 2248
/proc/meminfo: memFree=1546192/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=339228 CPUtime=1419.14
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 311081 0 0 0 141728 186 0 0 25 0 4 0 160180459 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134639156 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/2170/statm: 84807 61296 170 90 0 84345 0
[pid=2170/tid=2172] ppid=2168 vsize=339228 CPUtime=0
/proc/2170/task/2172/stat : 2172 (bprolog) S 2168 2170 2090 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 160186831 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=2170/tid=2247] ppid=2168 vsize=339228 CPUtime=0
/proc/2170/task/2247/stat : 2247 (bprolog) S 2168 2170 2090 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 160276821 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=2170/tid=2248] ppid=2168 vsize=339228 CPUtime=0
/proc/2170/task/2248/stat : 2248 (bprolog) S 2168 2170 2090 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 160321815 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1419.14
Current children cumulated vsize (KiB) 339228
[startup+1483.54 s]
/proc/loadavg: 2.12 2.03 2.01 3/97 2248
/proc/meminfo: memFree=1546128/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=339228 CPUtime=1479.17
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 311081 0 0 0 147730 187 0 0 25 0 4 0 160180459 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134574003 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/2170/statm: 84807 61296 170 90 0 84345 0
[pid=2170/tid=2172] ppid=2168 vsize=339228 CPUtime=0
/proc/2170/task/2172/stat : 2172 (bprolog) S 2168 2170 2090 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 160186831 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=2170/tid=2247] ppid=2168 vsize=339228 CPUtime=0
/proc/2170/task/2247/stat : 2247 (bprolog) S 2168 2170 2090 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 160276821 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=2170/tid=2248] ppid=2168 vsize=339228 CPUtime=0
/proc/2170/task/2248/stat : 2248 (bprolog) S 2168 2170 2090 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 160321815 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1479.17
Current children cumulated vsize (KiB) 339228
[startup+1543.54 s]
/proc/loadavg: 2.04 2.02 2.01 3/97 2248
/proc/meminfo: memFree=1546000/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=339228 CPUtime=1539.11
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 311081 0 0 0 153724 187 0 0 25 0 4 0 160180459 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134565693 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/2170/statm: 84807 61296 170 90 0 84345 0
[pid=2170/tid=2172] ppid=2168 vsize=339228 CPUtime=0
/proc/2170/task/2172/stat : 2172 (bprolog) S 2168 2170 2090 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 160186831 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=2170/tid=2247] ppid=2168 vsize=339228 CPUtime=0
/proc/2170/task/2247/stat : 2247 (bprolog) S 2168 2170 2090 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 160276821 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=2170/tid=2248] ppid=2168 vsize=339228 CPUtime=0
/proc/2170/task/2248/stat : 2248 (bprolog) S 2168 2170 2090 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 160321815 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1539.11
Current children cumulated vsize (KiB) 339228
[startup+1603.54 s]
/proc/loadavg: 2.01 2.02 2.00 3/97 2248
/proc/meminfo: memFree=1545936/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=339228 CPUtime=1599.06
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 311081 0 0 0 159719 187 0 0 25 0 4 0 160180459 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134639156 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/2170/statm: 84807 61296 170 90 0 84345 0
[pid=2170/tid=2172] ppid=2168 vsize=339228 CPUtime=0
/proc/2170/task/2172/stat : 2172 (bprolog) S 2168 2170 2090 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 160186831 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=2170/tid=2247] ppid=2168 vsize=339228 CPUtime=0
/proc/2170/task/2247/stat : 2247 (bprolog) S 2168 2170 2090 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 160276821 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=2170/tid=2248] ppid=2168 vsize=339228 CPUtime=0
/proc/2170/task/2248/stat : 2248 (bprolog) S 2168 2170 2090 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 160321815 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1599.06
Current children cumulated vsize (KiB) 339228
[startup+1663.58 s]
/proc/loadavg: 2.00 2.01 2.00 3/97 2248
/proc/meminfo: memFree=1545808/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=339228 CPUtime=1659.08
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 311081 0 0 0 165720 188 0 0 25 0 4 0 160180459 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134639156 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/2170/statm: 84807 61296 170 90 0 84345 0
[pid=2170/tid=2172] ppid=2168 vsize=339228 CPUtime=0
/proc/2170/task/2172/stat : 2172 (bprolog) S 2168 2170 2090 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 160186831 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=2170/tid=2247] ppid=2168 vsize=339228 CPUtime=0
/proc/2170/task/2247/stat : 2247 (bprolog) S 2168 2170 2090 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 160276821 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=2170/tid=2248] ppid=2168 vsize=339228 CPUtime=0
/proc/2170/task/2248/stat : 2248 (bprolog) S 2168 2170 2090 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 160321815 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1659.08
Current children cumulated vsize (KiB) 339228
[startup+1723.67 s]
/proc/loadavg: 2.00 2.01 2.00 3/97 2248
/proc/meminfo: memFree=1545744/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=339228 CPUtime=1719.11
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 311081 0 0 0 171723 188 0 0 25 0 4 0 160180459 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134589296 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/2170/statm: 84807 61296 170 90 0 84345 0
[pid=2170/tid=2172] ppid=2168 vsize=339228 CPUtime=0
/proc/2170/task/2172/stat : 2172 (bprolog) S 2168 2170 2090 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 160186831 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=2170/tid=2247] ppid=2168 vsize=339228 CPUtime=0
/proc/2170/task/2247/stat : 2247 (bprolog) S 2168 2170 2090 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 160276821 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=2170/tid=2248] ppid=2168 vsize=339228 CPUtime=0
/proc/2170/task/2248/stat : 2248 (bprolog) S 2168 2170 2090 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 160321815 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1719.11
Current children cumulated vsize (KiB) 339228
[startup+1783.69 s]
/proc/loadavg: 2.00 2.00 2.00 3/97 2248
/proc/meminfo: memFree=1545680/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=339228 CPUtime=1779.08
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 311081 0 0 0 177720 188 0 0 25 0 4 0 160180459 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670293 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/2170/statm: 84807 61296 170 90 0 84345 0
[pid=2170/tid=2172] ppid=2168 vsize=339228 CPUtime=0
/proc/2170/task/2172/stat : 2172 (bprolog) S 2168 2170 2090 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 160186831 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=2170/tid=2247] ppid=2168 vsize=339228 CPUtime=0
/proc/2170/task/2247/stat : 2247 (bprolog) S 2168 2170 2090 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 160276821 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=2170/tid=2248] ppid=2168 vsize=339228 CPUtime=0
/proc/2170/task/2248/stat : 2248 (bprolog) S 2168 2170 2090 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 160321815 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1779.08
Current children cumulated vsize (KiB) 339228
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.68 s]
/proc/loadavg: 2.00 2.00 2.00 3/97 2248
/proc/meminfo: memFree=1545616/2055920 swapFree=4191880/4192956
[pid=2170] ppid=2168 vsize=339228 CPUtime=1800.04
/proc/2170/stat : 2170 (bprolog) R 2168 2170 2090 0 -1 4194304 311081 0 0 0 179816 188 0 0 25 0 4 0 160180459 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134711306 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/2170/statm: 84807 61296 170 90 0 84345 0
[pid=2170/tid=2172] ppid=2168 vsize=339228 CPUtime=0
/proc/2170/task/2172/stat : 2172 (bprolog) S 2168 2170 2090 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 160186831 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=2170/tid=2247] ppid=2168 vsize=339228 CPUtime=0
/proc/2170/task/2247/stat : 2247 (bprolog) S 2168 2170 2090 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 160276821 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=2170/tid=2248] ppid=2168 vsize=339228 CPUtime=0
/proc/2170/task/2248/stat : 2248 (bprolog) S 2168 2170 2090 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 160321815 347369472 61296 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 339228
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1804.76
CPU time (s): 1800.11
CPU user time (s): 1798.17
CPU system time (s): 1.9397
CPU usage (%): 99.7427
Max. virtual memory (cumulated for all children) (KiB): 339228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.17
system time used= 1.93971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 311081
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= 13
involuntary context switches= 59619
runsolver used 2.07268 s user time and 5.9201 s system time
The end
Begin job on node16 on Sat Jan 6 21:10:44 UTC 2007
IDJOB= 196024
IDBENCH= 3320
FILE ID= node16/196024-1168117844
PBS_JOBID= 3477145
Free space on /tmp= 66494 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-3_ext.xml
COMMAND LINE= /tmp/evaluation/196024-1168117844/Complete/Ordinary/solver /tmp/evaluation/196024-1168117844/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node16/convwatcher-196024-1168117844 -o ROOT/results/node16/conversion-196024-1168117844 -C 600 -M 900 /tmp/evaluation/196024-1168117844/Complete/Ordinary/conversion /tmp/evaluation/196024-1168117844/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-196024-1168117844 -o ROOT/results/node16/solver-196024-1168117844 -C 1800 -M 900 /tmp/evaluation/196024-1168117844/Complete/Ordinary/solver /tmp/evaluation/196024-1168117844/unknown 1800
META MD5SUM SOLVER= b53ab06f245aa5e62684a7a0a4388ade
MD5SUM BENCH= 07199477a79e145417342f0a5ca13a8b
RANDOM SEED= 973121518
TIME LIMIT= 1800 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.220
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 : 5914.62
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.220
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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1531832 kB
Buffers: 37660 kB
Cached: 80800 kB
SwapCached: 64 kB
Active: 406316 kB
Inactive: 61328 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1531832 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 7784 kB
Writeback: 0 kB
Mapped: 376676 kB
Slab: 40276 kB
Committed_AS: 4814700 kB
PageTables: 3056 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66493 MiB
End job on node16 on Sat Jan 6 21:41:01 UTC 2007