runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node41/watcher-196349-1168122548 -o ROOT/results/node41/solver-196349-1168122548 -C 1800 -M 900 /tmp/evaluation/196349-1168122548/Complete/Ordinary/solver /tmp/evaluation/196349-1168122548/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.95 1.98 2.07 5/73 20307
/proc/meminfo: memFree=1830424/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=18540 CPUtime=0
/proc/20306/stat : 20306 (runsolver) R 20304 20306 19032 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 160655243 18984960 279 18446744073709551615 4194304 4267372 548682069056 18446744073709551615 238390144295 0 0 4096 24578 0 0 0 17 1 0 0
/proc/20306/statm: 4635 279 244 17 0 2626 0
[startup+0.10717 s]
/proc/loadavg: 1.95 1.98 2.07 5/73 20307
/proc/meminfo: memFree=1830424/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=61640 CPUtime=0.1
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 1971 0 0 0 9 1 0 0 20 0 1 0 160655243 63119360 1687 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134591756 0 0 4096 2 0 0 0 17 1 0 0
/proc/20306/statm: 15410 1687 158 90 0 14948 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 61640
[startup+0.515203 s]
/proc/loadavg: 1.95 1.98 2.07 5/73 20307
/proc/meminfo: memFree=1830424/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=61640 CPUtime=0.5
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 7870 0 0 0 46 4 0 0 23 0 1 0 160655243 63119360 7586 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134697767 0 0 4096 2 0 0 0 17 1 0 0
/proc/20306/statm: 15410 7586 158 90 0 14948 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 61640
[startup+1.33627 s]
/proc/loadavg: 1.95 1.98 2.07 3/73 20307
/proc/meminfo: memFree=1768224/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=136228 CPUtime=1.31
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 19048 0 0 0 124 7 0 0 25 0 1 0 160655243 139497472 18764 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134858988 0 0 4096 2 0 0 0 17 1 0 0
/proc/20306/statm: 34057 18764 158 90 0 33595 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 136228
[startup+2.97342 s]
/proc/loadavg: 1.95 1.98 2.07 3/73 20307
/proc/meminfo: memFree=1787616/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=101984 CPUtime=2.94
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 23103 0 0 0 284 10 0 0 25 0 1 0 160655243 104431616 11891 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134859786 0 0 4096 2 0 0 0 17 1 0 0
/proc/20306/statm: 25496 11891 158 90 0 25034 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 101984
[startup+6.26387 s]
/proc/loadavg: 1.96 1.98 2.07 3/73 20307
/proc/meminfo: memFree=1735712/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=133908 CPUtime=6.2
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 50153 0 0 0 599 21 0 0 25 0 1 0 160655243 137121792 24555 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134711657 0 0 4096 2 0 0 0 17 1 0 0
/proc/20306/statm: 33477 24555 158 90 0 33015 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 133908
[startup+12.7263 s]
/proc/loadavg: 1.96 1.98 2.07 3/73 20307
/proc/meminfo: memFree=1722208/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=134700 CPUtime=12.61
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 81497 0 0 0 1225 36 0 0 25 0 1 0 160655243 137932800 27252 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134859354 0 0 4096 2 0 0 0 17 1 0 0
/proc/20306/statm: 33675 27252 158 90 0 33213 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 134700
[startup+25.5624 s]
/proc/loadavg: 1.97 1.98 2.07 3/73 20307
/proc/meminfo: memFree=1719584/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=134856 CPUtime=25.34
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 133753 0 0 0 2473 61 0 0 25 0 1 0 160655243 138092544 27859 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134857055 0 0 4096 2 0 0 0 17 1 0 0
/proc/20306/statm: 33714 27859 158 90 0 33252 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 134856
[startup+51.2176 s]
/proc/loadavg: 1.98 1.98 2.06 3/74 20308
/proc/meminfo: memFree=1589464/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=327080 CPUtime=50.78
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 250812 0 0 0 4963 115 0 0 25 0 2 0 160655243 334929920 60303 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670074 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20306/statm: 81770 60303 170 90 0 81308 0
[pid=20306/tid=20308] ppid=20304 vsize=327080 CPUtime=0
/proc/20306/task/20308/stat : 20308 (bprolog) S 20304 20306 19032 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 160659791 334929920 60303 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 327080
[startup+102.422 s]
/proc/loadavg: 1.99 1.98 2.06 3/74 20308
/proc/meminfo: memFree=1589464/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=327080 CPUtime=101.61
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 250812 0 0 0 10046 115 0 0 25 0 2 0 160655243 334929920 60303 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134580399 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20306/statm: 81770 60303 170 90 0 81308 0
[pid=20306/tid=20308] ppid=20304 vsize=327080 CPUtime=0
/proc/20306/task/20308/stat : 20308 (bprolog) S 20304 20306 19032 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 160659791 334929920 60303 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.61
Current children cumulated vsize (KiB) 327080
[startup+162.463 s]
/proc/loadavg: 1.99 1.98 2.05 3/74 20308
/proc/meminfo: memFree=1589464/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=327080 CPUtime=161.21
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 250812 0 0 0 16006 115 0 0 25 0 2 0 160655243 334929920 60303 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134711664 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20306/statm: 81770 60303 170 90 0 81308 0
[pid=20306/tid=20308] ppid=20304 vsize=327080 CPUtime=0
/proc/20306/task/20308/stat : 20308 (bprolog) S 20304 20306 19032 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 160659791 334929920 60303 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.21
Current children cumulated vsize (KiB) 327080
[startup+222.51 s]
/proc/loadavg: 1.99 1.98 2.05 3/74 20308
/proc/meminfo: memFree=1589400/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=327080 CPUtime=220.81
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 250812 0 0 0 21966 115 0 0 25 0 2 0 160655243 334929920 60303 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670116 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20306/statm: 81770 60303 170 90 0 81308 0
[pid=20306/tid=20308] ppid=20304 vsize=327080 CPUtime=0
/proc/20306/task/20308/stat : 20308 (bprolog) S 20304 20306 19032 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 160659791 334929920 60303 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.81
Current children cumulated vsize (KiB) 327080
[startup+282.555 s]
/proc/loadavg: 1.99 1.98 2.04 3/74 20308
/proc/meminfo: memFree=1589400/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=327080 CPUtime=280.38
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 250812 0 0 0 27923 115 0 0 25 0 2 0 160655243 334929920 60303 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134555802 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20306/statm: 81770 60303 170 90 0 81308 0
[pid=20306/tid=20308] ppid=20304 vsize=327080 CPUtime=0
/proc/20306/task/20308/stat : 20308 (bprolog) S 20304 20306 19032 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 160659791 334929920 60303 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.38
Current children cumulated vsize (KiB) 327080
[startup+342.59 s]
/proc/loadavg: 1.99 1.98 2.04 3/74 20308
/proc/meminfo: memFree=1589336/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=327080 CPUtime=339.97
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 250812 0 0 0 33882 115 0 0 25 0 2 0 160655243 334929920 60303 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134639409 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20306/statm: 81770 60303 170 90 0 81308 0
[pid=20306/tid=20308] ppid=20304 vsize=327080 CPUtime=0
/proc/20306/task/20308/stat : 20308 (bprolog) S 20304 20306 19032 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 160659791 334929920 60303 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.97
Current children cumulated vsize (KiB) 327080
[startup+402.629 s]
/proc/loadavg: 1.99 1.98 2.03 3/74 20308
/proc/meminfo: memFree=1589336/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=327080 CPUtime=399.58
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 250813 0 0 0 39842 116 0 0 25 0 2 0 160655243 334929920 60304 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134554251 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20306/statm: 81770 60304 170 90 0 81308 0
[pid=20306/tid=20308] ppid=20304 vsize=327080 CPUtime=0
/proc/20306/task/20308/stat : 20308 (bprolog) S 20304 20306 19032 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 160659791 334929920 60304 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.58
Current children cumulated vsize (KiB) 327080
[startup+462.669 s]
/proc/loadavg: 1.99 1.98 2.02 3/74 20308
/proc/meminfo: memFree=1589336/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=327080 CPUtime=459.17
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 250813 0 0 0 45801 116 0 0 25 0 2 0 160655243 334929920 60304 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134711880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20306/statm: 81770 60304 170 90 0 81308 0
[pid=20306/tid=20308] ppid=20304 vsize=327080 CPUtime=0
/proc/20306/task/20308/stat : 20308 (bprolog) S 20304 20306 19032 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 160659791 334929920 60304 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 459.17
Current children cumulated vsize (KiB) 327080
[startup+522.706 s]
/proc/loadavg: 1.99 1.98 2.02 3/74 20308
/proc/meminfo: memFree=1589336/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=327080 CPUtime=518.75
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 250813 0 0 0 51759 116 0 0 25 0 2 0 160655243 334929920 60304 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670116 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20306/statm: 81770 60304 170 90 0 81308 0
[pid=20306/tid=20308] ppid=20304 vsize=327080 CPUtime=0
/proc/20306/task/20308/stat : 20308 (bprolog) S 20304 20306 19032 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 160659791 334929920 60304 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 518.75
Current children cumulated vsize (KiB) 327080
[startup+582.74 s]
/proc/loadavg: 2.04 2.00 2.02 3/74 20308
/proc/meminfo: memFree=1589272/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=327080 CPUtime=578.34
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 250813 0 0 0 57718 116 0 0 25 0 2 0 160655243 334929920 60304 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134639402 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20306/statm: 81770 60304 170 90 0 81308 0
[pid=20306/tid=20308] ppid=20304 vsize=327080 CPUtime=0
/proc/20306/task/20308/stat : 20308 (bprolog) S 20304 20306 19032 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 160659791 334929920 60304 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 578.34
Current children cumulated vsize (KiB) 327080
[startup+642.781 s]
/proc/loadavg: 2.01 2.00 2.01 3/74 20308
/proc/meminfo: memFree=1589272/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=327080 CPUtime=637.94
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 250813 0 0 0 63678 116 0 0 25 0 2 0 160655243 334929920 60304 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134552207 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20306/statm: 81770 60304 170 90 0 81308 0
[pid=20306/tid=20308] ppid=20304 vsize=327080 CPUtime=0
/proc/20306/task/20308/stat : 20308 (bprolog) S 20304 20306 19032 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 160659791 334929920 60304 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 637.94
Current children cumulated vsize (KiB) 327080
################
# More data... #
################
[pid=20306/tid=20309] ppid=20304 vsize=337324 CPUtime=0
/proc/20306/task/20309/stat : 20309 (bprolog) S 20304 20306 19032 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 160749802 345419776 60308 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1174.2
Current children cumulated vsize (KiB) 337324
[startup+1243.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20309
/proc/meminfo: memFree=1589008/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=337324 CPUtime=1233.8
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 250817 0 0 0 123261 119 0 0 25 0 3 0 160655243 345419776 60308 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134711771 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20306/statm: 84331 60308 170 90 0 83869 0
[pid=20306/tid=20308] ppid=20304 vsize=337324 CPUtime=0
/proc/20306/task/20308/stat : 20308 (bprolog) S 20304 20306 19032 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 160659791 345419776 60308 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20306/tid=20309] ppid=20304 vsize=337324 CPUtime=0
/proc/20306/task/20309/stat : 20309 (bprolog) S 20304 20306 19032 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 160749802 345419776 60308 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1233.8
Current children cumulated vsize (KiB) 337324
[startup+1303.37 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20309
/proc/meminfo: memFree=1589008/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=337324 CPUtime=1293.39
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 250817 0 0 0 129220 119 0 0 25 0 3 0 160655243 345419776 60308 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134613079 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20306/statm: 84331 60308 170 90 0 83869 0
[pid=20306/tid=20308] ppid=20304 vsize=337324 CPUtime=0
/proc/20306/task/20308/stat : 20308 (bprolog) S 20304 20306 19032 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 160659791 345419776 60308 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20306/tid=20309] ppid=20304 vsize=337324 CPUtime=0
/proc/20306/task/20309/stat : 20309 (bprolog) S 20304 20306 19032 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 160749802 345419776 60308 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1293.39
Current children cumulated vsize (KiB) 337324
[startup+1363.43 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 20309
/proc/meminfo: memFree=1589008/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=337324 CPUtime=1352.98
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 250817 0 0 0 135179 119 0 0 25 0 3 0 160655243 345419776 60308 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134589379 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20306/statm: 84331 60308 170 90 0 83869 0
[pid=20306/tid=20308] ppid=20304 vsize=337324 CPUtime=0
/proc/20306/task/20308/stat : 20308 (bprolog) S 20304 20306 19032 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 160659791 345419776 60308 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20306/tid=20309] ppid=20304 vsize=337324 CPUtime=0
/proc/20306/task/20309/stat : 20309 (bprolog) S 20304 20306 19032 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 160749802 345419776 60308 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1352.98
Current children cumulated vsize (KiB) 337324
[startup+1423.51 s]
/proc/loadavg: 2.03 2.01 2.00 3/76 20310
/proc/meminfo: memFree=1588936/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=347568 CPUtime=1412.58
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 250818 0 0 0 141138 120 0 0 25 0 4 0 160655243 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134670074 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20306/statm: 86892 60309 170 90 0 86430 0
[pid=20306/tid=20308] ppid=20304 vsize=347568 CPUtime=0
/proc/20306/task/20308/stat : 20308 (bprolog) S 20304 20306 19032 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 160659791 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20306/tid=20309] ppid=20304 vsize=347568 CPUtime=0
/proc/20306/task/20309/stat : 20309 (bprolog) S 20304 20306 19032 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 160749802 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20306/tid=20310] ppid=20304 vsize=347568 CPUtime=0
/proc/20306/task/20310/stat : 20310 (bprolog) S 20304 20306 19032 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 160794808 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1412.58
Current children cumulated vsize (KiB) 347568
[startup+1483.6 s]
/proc/loadavg: 2.01 2.01 2.00 3/76 20310
/proc/meminfo: memFree=1588936/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=347568 CPUtime=1472.19
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 250818 0 0 0 147099 120 0 0 25 0 4 0 160655243 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134567895 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20306/statm: 86892 60309 170 90 0 86430 0
[pid=20306/tid=20308] ppid=20304 vsize=347568 CPUtime=0
/proc/20306/task/20308/stat : 20308 (bprolog) S 20304 20306 19032 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 160659791 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20306/tid=20309] ppid=20304 vsize=347568 CPUtime=0
/proc/20306/task/20309/stat : 20309 (bprolog) S 20304 20306 19032 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 160749802 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20306/tid=20310] ppid=20304 vsize=347568 CPUtime=0
/proc/20306/task/20310/stat : 20310 (bprolog) S 20304 20306 19032 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 160794808 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1472.19
Current children cumulated vsize (KiB) 347568
[startup+1543.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 20310
/proc/meminfo: memFree=1588872/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=347568 CPUtime=1531.8
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 250818 0 0 0 153060 120 0 0 25 0 4 0 160655243 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134584466 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20306/statm: 86892 60309 170 90 0 86430 0
[pid=20306/tid=20308] ppid=20304 vsize=347568 CPUtime=0
/proc/20306/task/20308/stat : 20308 (bprolog) S 20304 20306 19032 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 160659791 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20306/tid=20309] ppid=20304 vsize=347568 CPUtime=0
/proc/20306/task/20309/stat : 20309 (bprolog) S 20304 20306 19032 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 160749802 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20306/tid=20310] ppid=20304 vsize=347568 CPUtime=0
/proc/20306/task/20310/stat : 20310 (bprolog) S 20304 20306 19032 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 160794808 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1531.8
Current children cumulated vsize (KiB) 347568
[startup+1603.8 s]
/proc/loadavg: 2.07 2.02 2.00 3/76 20310
/proc/meminfo: memFree=1588872/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=347568 CPUtime=1591.39
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 250818 0 0 0 159019 120 0 0 25 0 4 0 160655243 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134664606 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/20306/statm: 86892 60309 170 90 0 86430 0
[pid=20306/tid=20308] ppid=20304 vsize=347568 CPUtime=0
/proc/20306/task/20308/stat : 20308 (bprolog) S 20304 20306 19032 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 160659791 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20306/tid=20309] ppid=20304 vsize=347568 CPUtime=0
/proc/20306/task/20309/stat : 20309 (bprolog) S 20304 20306 19032 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 160749802 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20306/tid=20310] ppid=20304 vsize=347568 CPUtime=0
/proc/20306/task/20310/stat : 20310 (bprolog) S 20304 20306 19032 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 160794808 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1591.39
Current children cumulated vsize (KiB) 347568
[startup+1663.86 s]
/proc/loadavg: 2.08 2.03 2.00 3/84 20382
/proc/meminfo: memFree=1497472/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=347568 CPUtime=1651.18
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 250818 0 0 0 164997 121 0 0 25 0 4 0 160655243 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134639156 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/20306/statm: 86892 60309 170 90 0 86430 0
[pid=20306/tid=20308] ppid=20304 vsize=347568 CPUtime=0
/proc/20306/task/20308/stat : 20308 (bprolog) S 20304 20306 19032 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 160659791 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20306/tid=20309] ppid=20304 vsize=347568 CPUtime=0
/proc/20306/task/20309/stat : 20309 (bprolog) S 20304 20306 19032 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 160749802 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20306/tid=20310] ppid=20304 vsize=347568 CPUtime=0
/proc/20306/task/20310/stat : 20310 (bprolog) S 20304 20306 19032 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 160794808 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1651.18
Current children cumulated vsize (KiB) 347568
[startup+1723.87 s]
/proc/loadavg: 2.09 2.04 2.00 3/84 20382
/proc/meminfo: memFree=1438336/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=347568 CPUtime=1711.11
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 250818 0 0 0 170989 122 0 0 25 0 4 0 160655243 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134613477 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/20306/statm: 86892 60309 170 90 0 86430 0
[pid=20306/tid=20308] ppid=20304 vsize=347568 CPUtime=0
/proc/20306/task/20308/stat : 20308 (bprolog) S 20304 20306 19032 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 160659791 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20306/tid=20309] ppid=20304 vsize=347568 CPUtime=0
/proc/20306/task/20309/stat : 20309 (bprolog) S 20304 20306 19032 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 160749802 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20306/tid=20310] ppid=20304 vsize=347568 CPUtime=0
/proc/20306/task/20310/stat : 20310 (bprolog) S 20304 20306 19032 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 160794808 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1711.11
Current children cumulated vsize (KiB) 347568
[startup+1783.96 s]
/proc/loadavg: 2.10 2.04 2.00 3/84 20382
/proc/meminfo: memFree=1412992/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=347568 CPUtime=1771.16
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 250818 0 0 0 176994 122 0 0 25 0 4 0 160655243 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134589296 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/20306/statm: 86892 60309 170 90 0 86430 0
[pid=20306/tid=20308] ppid=20304 vsize=347568 CPUtime=0
/proc/20306/task/20308/stat : 20308 (bprolog) S 20304 20306 19032 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 160659791 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20306/tid=20309] ppid=20304 vsize=347568 CPUtime=0
/proc/20306/task/20309/stat : 20309 (bprolog) S 20304 20306 19032 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 160749802 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20306/tid=20310] ppid=20304 vsize=347568 CPUtime=0
/proc/20306/task/20310/stat : 20310 (bprolog) S 20304 20306 19032 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 160794808 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1771.16
Current children cumulated vsize (KiB) 347568
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812.86 s]
/proc/loadavg: 2.06 2.04 2.00 3/84 20382
/proc/meminfo: memFree=1395456/2055920 swapFree=4191892/4192956
[pid=20306] ppid=20304 vsize=347568 CPUtime=1800.03
/proc/20306/stat : 20306 (bprolog) R 20304 20306 19032 0 -1 4194304 250818 0 0 0 179881 122 0 0 25 0 4 0 160655243 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 134711671 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/20306/statm: 86892 60309 170 90 0 86430 0
[pid=20306/tid=20308] ppid=20304 vsize=347568 CPUtime=0
/proc/20306/task/20308/stat : 20308 (bprolog) S 20304 20306 19032 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 160659791 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20306/tid=20309] ppid=20304 vsize=347568 CPUtime=0
/proc/20306/task/20309/stat : 20309 (bprolog) S 20304 20306 19032 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 160749802 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=20306/tid=20310] ppid=20304 vsize=347568 CPUtime=0
/proc/20306/task/20310/stat : 20310 (bprolog) S 20304 20306 19032 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 160794808 355909632 60309 18446744073709551615 134512640 134884608 4294956576 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 347568
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1812.92
CPU time (s): 1800.09
CPU user time (s): 1798.82
CPU system time (s): 1.26681
CPU usage (%): 99.292
Max. virtual memory (cumulated for all children) (KiB): 347568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.82
system time used= 1.26681
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250818
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= 32849
runsolver used 1.49277 s user time and 5.51316 s system time
The end
Begin job on node41 on Sat Jan 6 22:29:09 UTC 2007
IDJOB= 196349
IDBENCH= 3345
FILE ID= node41/196349-1168122548
PBS_JOBID= 3477441
Free space on /tmp= 66523 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-31_ext.xml
COMMAND LINE= /tmp/evaluation/196349-1168122548/Complete/Ordinary/solver /tmp/evaluation/196349-1168122548/unknown 1800
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node41/convwatcher-196349-1168122548 -o ROOT/results/node41/conversion-196349-1168122548 -C 600 -M 900 /tmp/evaluation/196349-1168122548/Complete/Ordinary/conversion /tmp/evaluation/196349-1168122548/unknown
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-196349-1168122548 -o ROOT/results/node41/solver-196349-1168122548 -C 1800 -M 900 /tmp/evaluation/196349-1168122548/Complete/Ordinary/solver /tmp/evaluation/196349-1168122548/unknown 1800
META MD5SUM SOLVER= b53ab06f245aa5e62684a7a0a4388ade
MD5SUM BENCH= 726af88af1079335d6926acf183029ad
RANDOM SEED= 818592746
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.234
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.234
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: 1830840 kB
Buffers: 37276 kB
Cached: 102000 kB
SwapCached: 396 kB
Active: 86536 kB
Inactive: 82116 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1830840 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 7140 kB
Writeback: 0 kB
Mapped: 41548 kB
Slab: 41764 kB
Committed_AS: 2765792 kB
PageTables: 1852 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= 66522 MiB
End job on node41 on Sat Jan 6 22:59:33 UTC 2007