runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1089469-1215268271/watcher-1089469-1215268271 -o /tmp/evaluation-result-1089469-1215268271/solver-1089469-1215268271 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1089469-1215268271 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.93 2.00 1.99 4/91 3210
/proc/meminfo: memFree=1342024/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=4780 CPUtime=0
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 663 0 0 0 0 0 0 0 18 0 1 0 682556100 4894720 381 996147200 134512640 134990860 4294956096 18446744073709551615 134530848 0 0 4096 0 0 0 0 17 0 0 0
/proc/3210/statm: 1195 389 72 116 0 706 0
[startup+0.0459041 s]
/proc/loadavg: 1.93 2.00 1.99 4/91 3210
/proc/meminfo: memFree=1342024/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=56080 CPUtime=0.03
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 1141 0 0 0 2 1 0 0 18 0 1 0 682556100 57425920 854 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/3210/statm: 14020 854 174 116 0 13531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 56080
[startup+0.101911 s]
/proc/loadavg: 1.93 2.00 1.99 4/91 3210
/proc/meminfo: memFree=1342024/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=56080 CPUtime=0.09
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 1149 0 0 0 5 4 0 0 18 0 1 0 682556100 57425920 862 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/3210/statm: 14020 862 178 116 0 13531 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 56080
[startup+0.301934 s]
/proc/loadavg: 1.93 2.00 1.99 4/91 3210
/proc/meminfo: memFree=1342024/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=56080 CPUtime=0.29
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 1156 0 0 0 15 14 0 0 19 0 1 0 682556100 57425920 869 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/3210/statm: 14020 869 178 116 0 13531 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56080
[startup+0.701979 s]
/proc/loadavg: 1.93 2.00 1.99 4/91 3210
/proc/meminfo: memFree=1342024/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=56080 CPUtime=0.69
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 1168 0 0 0 32 37 0 0 23 0 1 0 682556100 57425920 881 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/3210/statm: 14020 881 178 116 0 13531 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56080
[startup+1.50107 s]
/proc/loadavg: 1.93 2.00 1.99 3/92 3211
/proc/meminfo: memFree=1338688/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=56080 CPUtime=1.49
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 1192 0 0 0 68 81 0 0 25 0 1 0 682556100 57425920 905 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 0 0 0
/proc/3210/statm: 14020 905 178 116 0 13531 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56080
[startup+3.10124 s]
/proc/loadavg: 1.93 2.00 1.99 3/92 3211
/proc/meminfo: memFree=1327808/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=78736 CPUtime=3.08
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 3880 0 0 0 215 93 0 0 25 0 2 0 682556100 80625664 3588 996147200 134512640 134990860 4294956096 18446744073709551615 134718690 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3210/statm: 19684 3588 194 116 0 19195 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 78736
[startup+6.3016 s]
/proc/loadavg: 1.94 2.00 1.99 3/93 3212
/proc/meminfo: memFree=1327352/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=78736 CPUtime=6.28
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 3880 0 0 0 535 93 0 0 25 0 2 0 682556100 80625664 3588 996147200 134512640 134990860 4294956096 18446744073709551615 134710613 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3210/statm: 19684 3588 194 116 0 19195 0
[pid=3210/tid=3212] ppid=3208 vsize=78736 CPUtime=0
/proc/3210/task/3212/stat : 3212 (bprolog) S 3208 3210 2603 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 682556324 80625664 3588 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 78736
[startup+12.7023 s]
/proc/loadavg: 1.94 2.00 1.99 3/93 3212
/proc/meminfo: memFree=1327224/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=78736 CPUtime=12.69
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 3880 0 0 0 1175 94 0 0 25 0 2 0 682556100 80625664 3588 996147200 134512640 134990860 4294956096 18446744073709551615 134559523 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3210/statm: 19684 3588 194 116 0 19195 0
[pid=3210/tid=3212] ppid=3208 vsize=78736 CPUtime=0
/proc/3210/task/3212/stat : 3212 (bprolog) S 3208 3210 2603 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 682556324 80625664 3588 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 78736
[startup+25.5017 s]
/proc/loadavg: 1.95 2.00 1.99 3/93 3212
/proc/meminfo: memFree=1327224/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=78736 CPUtime=25.49
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 3881 0 0 0 2455 94 0 0 25 0 2 0 682556100 80625664 3589 996147200 134512640 134990860 4294956096 18446744073709551615 134718715 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3210/statm: 19684 3589 194 116 0 19195 0
[pid=3210/tid=3212] ppid=3208 vsize=78736 CPUtime=0
/proc/3210/task/3212/stat : 3212 (bprolog) S 3208 3210 2603 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 682556324 80625664 3589 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 78736
[startup+51.1016 s]
/proc/loadavg: 1.97 2.00 1.99 3/93 3212
/proc/meminfo: memFree=1327288/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=78736 CPUtime=51.07
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 3881 0 0 0 5013 94 0 0 25 0 2 0 682556100 80625664 3589 996147200 134512640 134990860 4294956096 18446744073709551615 134710562 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3210/statm: 19684 3589 194 116 0 19195 0
[pid=3210/tid=3212] ppid=3208 vsize=78736 CPUtime=0
/proc/3210/task/3212/stat : 3212 (bprolog) S 3208 3210 2603 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 682556324 80625664 3589 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 78736
[startup+102.306 s]
/proc/loadavg: 1.98 2.00 1.99 3/93 3212
/proc/meminfo: memFree=1306104/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=78736 CPUtime=102.25
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 3881 0 0 0 10131 94 0 0 25 0 2 0 682556100 80625664 3589 996147200 134512640 134990860 4294956096 18446744073709551615 134715615 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3210/statm: 19684 3589 194 116 0 19195 0
[pid=3210/tid=3212] ppid=3208 vsize=78736 CPUtime=0
/proc/3210/task/3212/stat : 3212 (bprolog) S 3208 3210 2603 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 682556324 80625664 3589 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 78736
[startup+162.302 s]
/proc/loadavg: 1.99 2.00 1.99 3/93 3212
/proc/meminfo: memFree=1306104/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=78736 CPUtime=162.22
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 3881 0 0 0 16128 94 0 0 25 0 2 0 682556100 80625664 3589 996147200 134512640 134990860 4294956096 18446744073709551615 134710583 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3210/statm: 19684 3589 194 116 0 19195 0
[pid=3210/tid=3212] ppid=3208 vsize=78736 CPUtime=0
/proc/3210/task/3212/stat : 3212 (bprolog) S 3208 3210 2603 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 682556324 80625664 3589 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 78736
[startup+222.302 s]
/proc/loadavg: 1.99 2.00 1.99 3/93 3212
/proc/meminfo: memFree=1306104/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=78736 CPUtime=222.2
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 3881 0 0 0 22126 94 0 0 25 0 2 0 682556100 80625664 3589 996147200 134512640 134990860 4294956096 18446744073709551615 134838840 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3210/statm: 19684 3589 194 116 0 19195 0
[pid=3210/tid=3212] ppid=3208 vsize=78736 CPUtime=0
/proc/3210/task/3212/stat : 3212 (bprolog) S 3208 3210 2603 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 682556324 80625664 3589 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 78736
[startup+282.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/93 3212
/proc/meminfo: memFree=1306104/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=78736 CPUtime=282.18
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 3881 0 0 0 28124 94 0 0 25 0 2 0 682556100 80625664 3589 996147200 134512640 134990860 4294956096 18446744073709551615 134839661 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3210/statm: 19684 3589 194 116 0 19195 0
[pid=3210/tid=3212] ppid=3208 vsize=78736 CPUtime=0
/proc/3210/task/3212/stat : 3212 (bprolog) S 3208 3210 2603 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 682556324 80625664 3589 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 78736
[startup+342.301 s]
/proc/loadavg: 2.03 2.01 2.00 4/93 3212
/proc/meminfo: memFree=1283896/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=78736 CPUtime=342.15
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 3881 0 0 0 34121 94 0 0 25 0 2 0 682556100 80625664 3589 996147200 134512640 134990860 4294956096 18446744073709551615 134715866 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3210/statm: 19684 3589 194 116 0 19195 0
[pid=3210/tid=3212] ppid=3208 vsize=78736 CPUtime=0
/proc/3210/task/3212/stat : 3212 (bprolog) S 3208 3210 2603 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 682556324 80625664 3589 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 78736
[startup+402.302 s]
/proc/loadavg: 2.01 2.00 2.00 3/93 3212
/proc/meminfo: memFree=1283832/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=78736 CPUtime=402.14
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 3881 0 0 0 40119 95 0 0 25 0 2 0 682556100 80625664 3589 996147200 134512640 134990860 4294956096 18446744073709551615 134631310 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3210/statm: 19684 3589 194 116 0 19195 0
[pid=3210/tid=3212] ppid=3208 vsize=78736 CPUtime=0
/proc/3210/task/3212/stat : 3212 (bprolog) S 3208 3210 2603 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 682556324 80625664 3589 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 78736
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 3212
/proc/meminfo: memFree=1283832/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=78736 CPUtime=462.11
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 3881 0 0 0 46116 95 0 0 25 0 2 0 682556100 80625664 3589 996147200 134512640 134990860 4294956096 18446744073709551615 134838937 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3210/statm: 19684 3589 194 116 0 19195 0
[pid=3210/tid=3212] ppid=3208 vsize=78736 CPUtime=0
/proc/3210/task/3212/stat : 3212 (bprolog) S 3208 3210 2603 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 682556324 80625664 3589 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 78736
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 3212
/proc/meminfo: memFree=1261560/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=78736 CPUtime=521.56
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 3881 0 0 0 52061 95 0 0 25 0 2 0 682556100 80625664 3589 996147200 134512640 134990860 4294956096 18446744073709551615 134634598 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
[pid=3210/tid=3212] ppid=3208 vsize=88980 CPUtime=0
/proc/3210/task/3212/stat : 3212 (bprolog) S 3208 3210 2603 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 682556324 91115520 3591 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=3210/tid=3213] ppid=3208 vsize=88980 CPUtime=0
/proc/3210/task/3213/stat : 3213 (bprolog) S 3208 3210 2603 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 682646341 91115520 3591 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1235.29
Current children cumulated vsize (KiB) 88980
[startup+1302.3 s]
/proc/loadavg: 1.96 1.96 1.98 3/91 3329
/proc/meminfo: memFree=1565568/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=88980 CPUtime=1294.99
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 3883 0 0 0 129402 97 0 0 25 0 3 0 682556100 91115520 3591 996147200 134512640 134990860 4294956096 18446744073709551615 134710581 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3210/statm: 22245 3591 194 116 0 21756 0
[pid=3210/tid=3212] ppid=3208 vsize=88980 CPUtime=0
/proc/3210/task/3212/stat : 3212 (bprolog) S 3208 3210 2603 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 682556324 91115520 3591 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=3210/tid=3213] ppid=3208 vsize=88980 CPUtime=0
/proc/3210/task/3213/stat : 3213 (bprolog) S 3208 3210 2603 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 682646341 91115520 3591 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1294.99
Current children cumulated vsize (KiB) 88980
[startup+1362.3 s]
/proc/loadavg: 2.05 1.98 1.99 3/92 3330
/proc/meminfo: memFree=1565304/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=99224 CPUtime=1354.7
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 3884 0 0 0 135373 97 0 0 25 0 4 0 682556100 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 134715588 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3210/statm: 24806 3592 194 116 0 24317 0
[pid=3210/tid=3212] ppid=3208 vsize=99224 CPUtime=0
/proc/3210/task/3212/stat : 3212 (bprolog) S 3208 3210 2603 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 682556324 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=3210/tid=3213] ppid=3208 vsize=99224 CPUtime=0
/proc/3210/task/3213/stat : 3213 (bprolog) S 3208 3210 2603 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 682646341 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3210/tid=3330] ppid=3208 vsize=99224 CPUtime=0
/proc/3210/task/3330/stat : 3330 (bprolog) S 3208 3210 2603 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 682691348 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1354.7
Current children cumulated vsize (KiB) 99224
[startup+1422.31 s]
/proc/loadavg: 2.09 2.01 2.00 3/92 3330
/proc/meminfo: memFree=1564664/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=99224 CPUtime=1414.41
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 3884 0 0 0 141343 98 0 0 25 0 4 0 682556100 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 134559518 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3210/statm: 24806 3592 194 116 0 24317 0
[pid=3210/tid=3212] ppid=3208 vsize=99224 CPUtime=0
/proc/3210/task/3212/stat : 3212 (bprolog) S 3208 3210 2603 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 682556324 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=3210/tid=3213] ppid=3208 vsize=99224 CPUtime=0
/proc/3210/task/3213/stat : 3213 (bprolog) S 3208 3210 2603 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 682646341 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3210/tid=3330] ppid=3208 vsize=99224 CPUtime=0
/proc/3210/task/3330/stat : 3330 (bprolog) S 3208 3210 2603 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 682691348 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1414.41
Current children cumulated vsize (KiB) 99224
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/92 3330
/proc/meminfo: memFree=1564664/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=99224 CPUtime=1474.11
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 3884 0 0 0 147313 98 0 0 25 0 4 0 682556100 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 134710581 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3210/statm: 24806 3592 194 116 0 24317 0
[pid=3210/tid=3212] ppid=3208 vsize=99224 CPUtime=0
/proc/3210/task/3212/stat : 3212 (bprolog) S 3208 3210 2603 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 682556324 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=3210/tid=3213] ppid=3208 vsize=99224 CPUtime=0
/proc/3210/task/3213/stat : 3213 (bprolog) S 3208 3210 2603 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 682646341 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3210/tid=3330] ppid=3208 vsize=99224 CPUtime=0
/proc/3210/task/3330/stat : 3330 (bprolog) S 3208 3210 2603 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 682691348 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1474.11
Current children cumulated vsize (KiB) 99224
[startup+1542.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/92 3330
/proc/meminfo: memFree=1564664/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=99224 CPUtime=1533.81
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 3884 0 0 0 153283 98 0 0 25 0 4 0 682556100 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 134715864 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3210/statm: 24806 3592 194 116 0 24317 0
[pid=3210/tid=3212] ppid=3208 vsize=99224 CPUtime=0
/proc/3210/task/3212/stat : 3212 (bprolog) S 3208 3210 2603 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 682556324 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=3210/tid=3213] ppid=3208 vsize=99224 CPUtime=0
/proc/3210/task/3213/stat : 3213 (bprolog) S 3208 3210 2603 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 682646341 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3210/tid=3330] ppid=3208 vsize=99224 CPUtime=0
/proc/3210/task/3330/stat : 3330 (bprolog) S 3208 3210 2603 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 682691348 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1533.81
Current children cumulated vsize (KiB) 99224
[startup+1602.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/92 3330
/proc/meminfo: memFree=1564664/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=99224 CPUtime=1593.52
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 3884 0 0 0 159254 98 0 0 25 0 4 0 682556100 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 134716658 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3210/statm: 24806 3592 194 116 0 24317 0
[pid=3210/tid=3212] ppid=3208 vsize=99224 CPUtime=0
/proc/3210/task/3212/stat : 3212 (bprolog) S 3208 3210 2603 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 682556324 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=3210/tid=3213] ppid=3208 vsize=99224 CPUtime=0
/proc/3210/task/3213/stat : 3213 (bprolog) S 3208 3210 2603 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 682646341 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3210/tid=3330] ppid=3208 vsize=99224 CPUtime=0
/proc/3210/task/3330/stat : 3330 (bprolog) S 3208 3210 2603 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 682691348 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1593.52
Current children cumulated vsize (KiB) 99224
[startup+1662.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/92 3330
/proc/meminfo: memFree=1564664/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=99224 CPUtime=1653.22
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 3884 0 0 0 165224 98 0 0 25 0 4 0 682556100 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 134559503 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3210/statm: 24806 3592 194 116 0 24317 0
[pid=3210/tid=3212] ppid=3208 vsize=99224 CPUtime=0
/proc/3210/task/3212/stat : 3212 (bprolog) S 3208 3210 2603 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 682556324 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=3210/tid=3213] ppid=3208 vsize=99224 CPUtime=0
/proc/3210/task/3213/stat : 3213 (bprolog) S 3208 3210 2603 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 682646341 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3210/tid=3330] ppid=3208 vsize=99224 CPUtime=0
/proc/3210/task/3330/stat : 3330 (bprolog) S 3208 3210 2603 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 682691348 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1653.22
Current children cumulated vsize (KiB) 99224
[startup+1722.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/92 3330
/proc/meminfo: memFree=1564728/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=99224 CPUtime=1712.93
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 3884 0 0 0 171195 98 0 0 25 0 4 0 682556100 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 134607551 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3210/statm: 24806 3592 194 116 0 24317 0
[pid=3210/tid=3212] ppid=3208 vsize=99224 CPUtime=0
/proc/3210/task/3212/stat : 3212 (bprolog) S 3208 3210 2603 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 682556324 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=3210/tid=3213] ppid=3208 vsize=99224 CPUtime=0
/proc/3210/task/3213/stat : 3213 (bprolog) S 3208 3210 2603 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 682646341 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3210/tid=3330] ppid=3208 vsize=99224 CPUtime=0
/proc/3210/task/3330/stat : 3330 (bprolog) S 3208 3210 2603 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 682691348 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1712.93
Current children cumulated vsize (KiB) 99224
[startup+1782.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/92 3330
/proc/meminfo: memFree=1564600/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=99224 CPUtime=1772.64
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 3884 0 0 0 177165 99 0 0 25 0 4 0 682556100 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 134629553 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3210/statm: 24806 3592 194 116 0 24317 0
[pid=3210/tid=3212] ppid=3208 vsize=99224 CPUtime=0
/proc/3210/task/3212/stat : 3212 (bprolog) S 3208 3210 2603 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 682556324 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
[pid=3210/tid=3213] ppid=3208 vsize=99224 CPUtime=0
/proc/3210/task/3213/stat : 3213 (bprolog) S 3208 3210 2603 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 682646341 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=3210/tid=3330] ppid=3208 vsize=99224 CPUtime=0
/proc/3210/task/3330/stat : 3330 (bprolog) S 3208 3210 2603 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 682691348 101605376 3592 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1772.64
Current children cumulated vsize (KiB) 99224
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.9 s]
/proc/loadavg: 2.06 2.06 2.01 3/90 3336
/proc/meminfo: memFree=1564536/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=99224 CPUtime=1800.09
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 3885 0 0 0 179910 99 0 0 25 0 2 0 682556100 101605376 3593 996147200 134512640 134990860 4294956096 18446744073709551615 134838814 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3210/statm: 24806 3593 195 116 0 24317 0
[pid=3210/tid=3330] ppid=3208 vsize=99224 CPUtime=0
/proc/3210/task/3330/stat : 3330 (bprolog) S 3208 3210 2603 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 2 0 682691348 101605376 3593 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 99224
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1809.9 s]
/proc/loadavg: 2.06 2.06 2.01 3/90 3336
/proc/meminfo: memFree=1564536/2055920 swapFree=4178892/4192956
[pid=3210] ppid=3208 vsize=99224 CPUtime=1800.09
/proc/3210/stat : 3210 (bprolog) R 3208 3210 2603 0 -1 4194304 3885 0 0 0 179910 99 0 0 25 0 2 0 682556100 101605376 3593 996147200 134512640 134990860 4294956096 18446744073709551615 134838814 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/3210/statm: 24806 3593 195 116 0 24317 0
[pid=3210/tid=3330] ppid=3208 vsize=99224 CPUtime=0
/proc/3210/task/3330/stat : 3330 (bprolog) S 3208 3210 2603 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 2 0 682691348 101605376 3593 996147200 134512640 134990860 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 99224
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1809.92
CPU time (s): 1800.11
CPU user time (s): 1799.11
CPU system time (s): 0.996848
CPU usage (%): 99.4579
Max. virtual memory (cumulated for all children) (KiB): 99224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.11
system time used= 0.996848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3885
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= 9
involuntary context switches= 38983
runsolver used 2.02569 second user time and 5.76412 second system time
The end
Begin job on node86 at 2008-07-05 16:31:11
IDJOB=1089469
IDBENCH=58279
IDSOLVER=347
FILE ID=node86/1089469-1215268271
PBS_JOBID= 7882157
Free space on /tmp= 66556 MiB
SOLVER NAME= bpsolver 2008-06-27
BENCH NAME= CPAI08/csp/graphColoring/leighton/leighton-25/normalized-lei450-25c-25.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1089469-1215268271/watcher-1089469-1215268271 -o /tmp/evaluation-result-1089469-1215268271/solver-1089469-1215268271 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/solver HOME/instance-1089469-1215268271 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 915d2b8095a8d52ae5acbb8e68bb744f
RANDOM SEED=1960853285
node86.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1342568 kB
Buffers: 94136 kB
Cached: 276532 kB
SwapCached: 6392 kB
Active: 525344 kB
Inactive: 133488 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1342568 kB
SwapTotal: 4192956 kB
SwapFree: 4178892 kB
Dirty: 3264 kB
Writeback: 0 kB
Mapped: 296928 kB
Slab: 38688 kB
Committed_AS: 1935344 kB
PageTables: 2856 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= 66556 MiB
End job on node86 at 2008-07-05 17:01:23