0.00/0.02 c bpsolver version 6.29.2009
0.00/0.02 c converting(HOME/instance-2080974-1247371774)
1.67/1.73 c Converted in 811 ms
1.97/2.01 c solving(HOME/instance-2080974-1247371774,1800000)
1.97/2.01 c solving(HOME/instance-2080974-1247371774,1800000)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2080974-1247371774/watcher-2080974-1247371774 -o /tmp/evaluation-result-2080974-1247371774/solver-2080974-1247371774 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2080974-1247371774 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): 2000 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
[startup+0 s]
/proc/loadavg: 1.98 2.00 2.00 4/73 21974
/proc/meminfo: memFree=1624640/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=7000 CPUtime=0
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 394 0 0 0 0 0 0 0 22 0 1 0 24241554 7168000 112 996147200 134512640 135105188 4294956096 18446744073709551615 134530912 0 0 4096 0 0 0 0 17 1 0 0
/proc/21974/statm: 1750 112 72 144 0 1234 0
[startup+0.209203 s]
/proc/loadavg: 1.98 2.00 2.00 4/73 21974
/proc/meminfo: memFree=1624640/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=62208 CPUtime=0.2
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 1154 0 0 0 9 11 0 0 23 0 1 0 24241554 63700992 867 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/21974/statm: 15552 867 177 144 0 15036 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 62208
[startup+0.301212 s]
/proc/loadavg: 1.98 2.00 2.00 4/73 21974
/proc/meminfo: memFree=1624640/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=62208 CPUtime=0.29
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 1157 0 0 0 13 16 0 0 23 0 1 0 24241554 63700992 870 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/21974/statm: 15552 870 177 144 0 15036 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 62208
[startup+0.401218 s]
/proc/loadavg: 1.98 2.00 2.00 4/73 21974
/proc/meminfo: memFree=1624640/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=62208 CPUtime=0.39
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 1159 0 0 0 18 21 0 0 24 0 1 0 24241554 63700992 872 996147200 134512640 135105188 4294956096 18446744073709551615 134573311 0 0 4096 2 0 0 0 17 1 0 0
/proc/21974/statm: 15552 872 177 144 0 15036 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 62208
[startup+0.701249 s]
/proc/loadavg: 1.98 2.00 2.00 4/73 21974
/proc/meminfo: memFree=1624640/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=62208 CPUtime=0.69
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 1164 0 0 0 32 37 0 0 25 0 1 0 24241554 63700992 877 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/21974/statm: 15552 877 177 144 0 15036 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62208
[startup+1.50133 s]
/proc/loadavg: 1.98 2.00 2.00 3/74 21975
/proc/meminfo: memFree=1621240/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=62208 CPUtime=1.48
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 1177 0 0 0 71 77 0 0 25 0 1 0 24241554 63700992 890 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/21974/statm: 15552 890 177 144 0 15036 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 62208
[startup+3.10338 s]
/proc/loadavg: 1.98 2.00 2.00 3/74 21975
/proc/meminfo: memFree=1610040/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=74792 CPUtime=3.06
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 3855 0 0 0 216 90 0 0 25 0 1 0 24241554 76587008 3563 996147200 134512640 135105188 4294956096 18446744073709551615 134684436 0 0 4096 2 0 0 0 17 1 0 0
/proc/21974/statm: 18698 3563 187 144 0 18182 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 74792
[startup+6.30177 s]
/proc/loadavg: 1.98 2.00 2.00 3/74 21975
/proc/meminfo: memFree=1610040/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=98788 CPUtime=6.24
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 10821 0 0 0 530 94 0 0 25 0 2 0 24241554 101158912 8946 996147200 134512640 135105188 4294956096 18446744073709551615 134727765 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21974/statm: 24697 8946 199 144 0 24181 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 98788
[startup+12.7014 s]
/proc/loadavg: 1.98 2.00 2.00 3/75 21976
/proc/meminfo: memFree=1588336/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=98788 CPUtime=12.58
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 10822 0 0 0 1164 94 0 0 25 0 2 0 24241554 101158912 8947 996147200 134512640 135105188 4294956096 18446744073709551615 134728566 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21974/statm: 24697 8947 199 144 0 24181 0
[pid=21974/tid=21976] ppid=21972 vsize=98788 CPUtime=0
/proc/21974/task/21976/stat : 21976 (bprolog) S 21972 21974 7843 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 24242161 101158912 8947 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 98788
[startup+25.5066 s]
/proc/loadavg: 1.99 2.00 2.00 3/75 21976
/proc/meminfo: memFree=1588464/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=98788 CPUtime=25.27
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 10822 0 0 0 2433 94 0 0 25 0 2 0 24241554 101158912 8947 996147200 134512640 135105188 4294956096 18446744073709551615 134728600 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21974/statm: 24697 8947 199 144 0 24181 0
[pid=21974/tid=21976] ppid=21972 vsize=98788 CPUtime=0
/proc/21974/task/21976/stat : 21976 (bprolog) S 21972 21974 7843 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 24242161 101158912 8947 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 98788
[startup+51.102 s]
/proc/loadavg: 1.99 2.00 2.00 3/75 21976
/proc/meminfo: memFree=1588464/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=98788 CPUtime=50.65
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 10822 0 0 0 4971 94 0 0 25 0 2 0 24241554 101158912 8947 996147200 134512640 135105188 4294956096 18446744073709551615 134728895 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21974/statm: 24697 8947 199 144 0 24181 0
[pid=21974/tid=21976] ppid=21972 vsize=98788 CPUtime=0
/proc/21974/task/21976/stat : 21976 (bprolog) S 21972 21974 7843 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 24242161 101158912 8947 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 98788
[startup+102.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/75 21976
/proc/meminfo: memFree=1588528/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=98788 CPUtime=101.42
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 10822 0 0 0 10048 94 0 0 25 0 2 0 24241554 101158912 8947 996147200 134512640 135105188 4294956096 18446744073709551615 134728113 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21974/statm: 24697 8947 199 144 0 24181 0
[pid=21974/tid=21976] ppid=21972 vsize=98788 CPUtime=0
/proc/21974/task/21976/stat : 21976 (bprolog) S 21972 21974 7843 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 24242161 101158912 8947 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 98788
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/75 21976
/proc/meminfo: memFree=1588400/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=98788 CPUtime=160.9
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 10822 0 0 0 15996 94 0 0 25 0 2 0 24241554 101158912 8947 996147200 134512640 135105188 4294956096 18446744073709551615 134733793 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21974/statm: 24697 8947 199 144 0 24181 0
[pid=21974/tid=21976] ppid=21972 vsize=98788 CPUtime=0
/proc/21974/task/21976/stat : 21976 (bprolog) S 21972 21974 7843 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 24242161 101158912 8947 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.9
Current children cumulated vsize (KiB) 98788
[startup+222.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/75 21976
/proc/meminfo: memFree=1588336/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=98788 CPUtime=220.4
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 10822 0 0 0 21945 95 0 0 25 0 2 0 24241554 101158912 8947 996147200 134512640 135105188 4294956096 18446744073709551615 134727638 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21974/statm: 24697 8947 199 144 0 24181 0
[pid=21974/tid=21976] ppid=21972 vsize=98788 CPUtime=0
/proc/21974/task/21976/stat : 21976 (bprolog) S 21972 21974 7843 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 24242161 101158912 8947 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.4
Current children cumulated vsize (KiB) 98788
[startup+282.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/75 21976
/proc/meminfo: memFree=1588400/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=98788 CPUtime=279.9
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 10822 0 0 0 27895 95 0 0 25 0 2 0 24241554 101158912 8947 996147200 134512640 135105188 4294956096 18446744073709551615 134727728 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21974/statm: 24697 8947 199 144 0 24181 0
[pid=21974/tid=21976] ppid=21972 vsize=98788 CPUtime=0
/proc/21974/task/21976/stat : 21976 (bprolog) S 21972 21974 7843 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 24242161 101158912 8947 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.9
Current children cumulated vsize (KiB) 98788
[startup+342.306 s]
/proc/loadavg: 1.99 2.00 2.00 3/75 21976
/proc/meminfo: memFree=1588400/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=98788 CPUtime=339.39
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 10822 0 0 0 33844 95 0 0 25 0 2 0 24241554 101158912 8947 996147200 134512640 135105188 4294956096 18446744073709551615 134730413 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21974/statm: 24697 8947 199 144 0 24181 0
[pid=21974/tid=21976] ppid=21972 vsize=98788 CPUtime=0
/proc/21974/task/21976/stat : 21976 (bprolog) S 21972 21974 7843 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 24242161 101158912 8947 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.39
Current children cumulated vsize (KiB) 98788
[startup+402.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/75 21976
/proc/meminfo: memFree=1588336/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=98788 CPUtime=398.89
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 10827 0 0 0 39794 95 0 0 25 0 2 0 24241554 101158912 8952 996147200 134512640 135105188 4294956096 18446744073709551615 134730277 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21974/statm: 24697 8952 199 144 0 24181 0
[pid=21974/tid=21976] ppid=21972 vsize=98788 CPUtime=0
/proc/21974/task/21976/stat : 21976 (bprolog) S 21972 21974 7843 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 24242161 101158912 8952 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.89
Current children cumulated vsize (KiB) 98788
[startup+462.302 s]
/proc/loadavg: 1.99 2.00 2.00 3/75 21976
/proc/meminfo: memFree=1588144/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=98788 CPUtime=458.38
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 10827 0 0 0 45743 95 0 0 25 0 2 0 24241554 101158912 8952 996147200 134512640 135105188 4294956096 18446744073709551615 134728141 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21974/statm: 24697 8952 199 144 0 24181 0
[pid=21974/tid=21976] ppid=21972 vsize=98788 CPUtime=0
/proc/21974/task/21976/stat : 21976 (bprolog) S 21972 21974 7843 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 24242161 101158912 8952 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.38
Current children cumulated vsize (KiB) 98788
[startup+522.303 s]
/proc/loadavg: 1.99 2.00 2.00 3/75 21976
/proc/meminfo: memFree=1588144/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=98788 CPUtime=517.89
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 10827 0 0 0 51693 96 0 0 25 0 2 0 24241554 101158912 8952 996147200 134512640 135105188 4294956096 18446744073709551615 134730830 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21974/statm: 24697 8952 199 144 0 24181 0
[pid=21974/tid=21976] ppid=21972 vsize=98788 CPUtime=0
/proc/21974/task/21976/stat : 21976 (bprolog) S 21972 21974 7843 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 24242161 101158912 8952 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
################
# More data... #
################
[pid=21974] ppid=21972 vsize=109032 CPUtime=1112.81
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 10828 0 0 0 111183 98 0 0 25 0 3 0 24241554 111648768 8953 996147200 134512640 135105188 4294956096 18446744073709551615 134630264 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21974/statm: 27258 8953 199 144 0 26742 0
[pid=21974/tid=21976] ppid=21972 vsize=109032 CPUtime=0
/proc/21974/task/21976/stat : 21976 (bprolog) S 21972 21974 7843 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 24242161 111648768 8953 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21974/tid=21978] ppid=21972 vsize=109032 CPUtime=0
/proc/21974/task/21978/stat : 21978 (bprolog) S 21972 21974 7843 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 24332177 111648768 8953 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1112.81
Current children cumulated vsize (KiB) 109032
[startup+1182.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/78 21979
/proc/meminfo: memFree=1587736/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=109032 CPUtime=1172.31
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 10828 0 0 0 117133 98 0 0 25 0 3 0 24241554 111648768 8953 996147200 134512640 135105188 4294956096 18446744073709551615 134630275 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21974/statm: 27258 8953 199 144 0 26742 0
[pid=21974/tid=21976] ppid=21972 vsize=109032 CPUtime=0
/proc/21974/task/21976/stat : 21976 (bprolog) S 21972 21974 7843 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 24242161 111648768 8953 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21974/tid=21978] ppid=21972 vsize=109032 CPUtime=0
/proc/21974/task/21978/stat : 21978 (bprolog) S 21972 21974 7843 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 24332177 111648768 8953 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1172.31
Current children cumulated vsize (KiB) 109032
[startup+1242.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/78 21979
/proc/meminfo: memFree=1587544/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=109032 CPUtime=1231.8
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 10828 0 0 0 123081 99 0 0 25 0 3 0 24241554 111648768 8953 996147200 134512640 135105188 4294956096 18446744073709551615 134727846 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21974/statm: 27258 8953 199 144 0 26742 0
[pid=21974/tid=21976] ppid=21972 vsize=109032 CPUtime=0
/proc/21974/task/21976/stat : 21976 (bprolog) S 21972 21974 7843 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 24242161 111648768 8953 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21974/tid=21978] ppid=21972 vsize=109032 CPUtime=0
/proc/21974/task/21978/stat : 21978 (bprolog) S 21972 21974 7843 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 24332177 111648768 8953 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1231.8
Current children cumulated vsize (KiB) 109032
[startup+1302.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/79 21980
/proc/meminfo: memFree=1587536/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=109032 CPUtime=1291.3
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 10828 0 0 0 129031 99 0 0 25 0 3 0 24241554 111648768 8953 996147200 134512640 135105188 4294956096 18446744073709551615 134630216 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21974/statm: 27258 8953 199 144 0 26742 0
[pid=21974/tid=21976] ppid=21972 vsize=109032 CPUtime=0
/proc/21974/task/21976/stat : 21976 (bprolog) S 21972 21974 7843 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 24242161 111648768 8953 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21974/tid=21978] ppid=21972 vsize=109032 CPUtime=0
/proc/21974/task/21978/stat : 21978 (bprolog) S 21972 21974 7843 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 24332177 111648768 8953 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1291.3
Current children cumulated vsize (KiB) 109032
[startup+1362.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/79 21980
/proc/meminfo: memFree=1587472/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=109032 CPUtime=1350.79
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 10858 0 0 0 134980 99 0 0 25 0 3 0 24241554 111648768 8983 996147200 134512640 135105188 4294956096 18446744073709551615 134732401 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21974/statm: 27258 8983 199 144 0 26742 0
[pid=21974/tid=21976] ppid=21972 vsize=109032 CPUtime=0
/proc/21974/task/21976/stat : 21976 (bprolog) S 21972 21974 7843 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 24242161 111648768 8983 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21974/tid=21978] ppid=21972 vsize=109032 CPUtime=0
/proc/21974/task/21978/stat : 21978 (bprolog) S 21972 21974 7843 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 24332177 111648768 8983 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1350.79
Current children cumulated vsize (KiB) 109032
[startup+1422.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/79 21980
/proc/meminfo: memFree=1587472/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=109032 CPUtime=1410.28
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 10858 0 0 0 140929 99 0 0 25 0 3 0 24241554 111648768 8983 996147200 134512640 135105188 4294956096 18446744073709551615 134730223 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21974/statm: 27258 8983 199 144 0 26742 0
[pid=21974/tid=21976] ppid=21972 vsize=109032 CPUtime=0
/proc/21974/task/21976/stat : 21976 (bprolog) S 21972 21974 7843 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 24242161 111648768 8983 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21974/tid=21978] ppid=21972 vsize=109032 CPUtime=0
/proc/21974/task/21978/stat : 21978 (bprolog) S 21972 21974 7843 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 24332177 111648768 8983 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1410.28
Current children cumulated vsize (KiB) 109032
[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/79 21980
/proc/meminfo: memFree=1587344/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=109032 CPUtime=1469.77
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 10858 0 0 0 146877 100 0 0 25 0 3 0 24241554 111648768 8983 996147200 134512640 135105188 4294956096 18446744073709551615 134732499 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/21974/statm: 27258 8983 199 144 0 26742 0
[pid=21974/tid=21976] ppid=21972 vsize=109032 CPUtime=0
/proc/21974/task/21976/stat : 21976 (bprolog) S 21972 21974 7843 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 24242161 111648768 8983 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21974/tid=21978] ppid=21972 vsize=109032 CPUtime=0
/proc/21974/task/21978/stat : 21978 (bprolog) S 21972 21974 7843 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 24332177 111648768 8983 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1469.77
Current children cumulated vsize (KiB) 109032
[startup+1542.3 s]
/proc/loadavg: 2.07 2.01 2.00 3/85 22021
/proc/meminfo: memFree=1538656/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=109032 CPUtime=1529.41
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 10862 0 0 0 152840 101 0 0 25 0 3 0 24241554 111648768 8987 996147200 134512640 135105188 4294956096 18446744073709551615 134728439 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21974/statm: 27258 8987 199 144 0 26742 0
[pid=21974/tid=21976] ppid=21972 vsize=109032 CPUtime=0
/proc/21974/task/21976/stat : 21976 (bprolog) S 21972 21974 7843 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 24242161 111648768 8987 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21974/tid=21978] ppid=21972 vsize=109032 CPUtime=0
/proc/21974/task/21978/stat : 21978 (bprolog) S 21972 21974 7843 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 24332177 111648768 8987 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1529.41
Current children cumulated vsize (KiB) 109032
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/84 22022
/proc/meminfo: memFree=1496984/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=109032 CPUtime=1589.38
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 10862 0 0 0 158837 101 0 0 25 0 3 0 24241554 111648768 8987 996147200 134512640 135105188 4294956096 18446744073709551615 134728586 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21974/statm: 27258 8987 199 144 0 26742 0
[pid=21974/tid=21976] ppid=21972 vsize=109032 CPUtime=0
/proc/21974/task/21976/stat : 21976 (bprolog) S 21972 21974 7843 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 24242161 111648768 8987 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21974/tid=21978] ppid=21972 vsize=109032 CPUtime=0
/proc/21974/task/21978/stat : 21978 (bprolog) S 21972 21974 7843 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 24332177 111648768 8987 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1589.38
Current children cumulated vsize (KiB) 109032
[startup+1662.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/84 22022
/proc/meminfo: memFree=1496856/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=109032 CPUtime=1649.36
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 10863 0 0 0 164835 101 0 0 25 0 3 0 24241554 111648768 8988 996147200 134512640 135105188 4294956096 18446744073709551615 134730880 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21974/statm: 27258 8988 199 144 0 26742 0
[pid=21974/tid=21976] ppid=21972 vsize=109032 CPUtime=0
/proc/21974/task/21976/stat : 21976 (bprolog) S 21972 21974 7843 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 24242161 111648768 8988 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21974/tid=21978] ppid=21972 vsize=109032 CPUtime=0
/proc/21974/task/21978/stat : 21978 (bprolog) S 21972 21974 7843 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 24332177 111648768 8988 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1649.36
Current children cumulated vsize (KiB) 109032
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 22022
/proc/meminfo: memFree=1495448/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=109032 CPUtime=1709.33
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 10863 0 0 0 170832 101 0 0 25 0 3 0 24241554 111648768 8988 996147200 134512640 135105188 4294956096 18446744073709551615 134733950 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21974/statm: 27258 8988 199 144 0 26742 0
[pid=21974/tid=21976] ppid=21972 vsize=109032 CPUtime=0
/proc/21974/task/21976/stat : 21976 (bprolog) S 21972 21974 7843 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 24242161 111648768 8988 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21974/tid=21978] ppid=21972 vsize=109032 CPUtime=0
/proc/21974/task/21978/stat : 21978 (bprolog) S 21972 21974 7843 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 24332177 111648768 8988 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1709.33
Current children cumulated vsize (KiB) 109032
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 22022
/proc/meminfo: memFree=1495384/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=109032 CPUtime=1769.31
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 10863 0 0 0 176830 101 0 0 25 0 3 0 24241554 111648768 8988 996147200 134512640 135105188 4294956096 18446744073709551615 134730441 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/21974/statm: 27258 8988 199 144 0 26742 0
[pid=21974/tid=21976] ppid=21972 vsize=109032 CPUtime=0
/proc/21974/task/21976/stat : 21976 (bprolog) S 21972 21974 7843 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 24242161 111648768 8988 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=21974/tid=21978] ppid=21972 vsize=109032 CPUtime=0
/proc/21974/task/21978/stat : 21978 (bprolog) S 21972 21974 7843 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 24332177 111648768 8988 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1769.31
Current children cumulated vsize (KiB) 109032
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1813.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 22022
/proc/meminfo: memFree=1495384/2055920 swapFree=4192812/4192956
[pid=21974] ppid=21972 vsize=109032 CPUtime=1800.02
/proc/21974/stat : 21974 (bprolog) R 21972 21974 7843 0 -1 4194304 10864 0 0 0 179900 102 0 0 25 0 1 0 24241554 111648768 8989 996147200 134512640 135105188 4294956096 18446744073709551615 134630238 0 0 4096 2 0 0 0 17 0 0 0
/proc/21974/statm: 27258 8989 200 144 0 26742 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 109032
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1813.02
CPU time (s): 1800.03
CPU user time (s): 1799
CPU system time (s): 1.02684
CPU usage (%): 99.2835
Max. virtual memory (cumulated for all children) (KiB): 109032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.02684
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10864
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= 8
involuntary context switches= 32372
runsolver used 2.35864 second user time and 5.42917 second system time
The end
Begin job on node48 at 2009-07-12 06:09:34
IDJOB=2080974
IDBENCH=57206
IDSOLVER=770
FILE ID=node48/2080974-1247371774
PBS_JOBID= 9507110
Free space on /tmp= 66464 MiB
SOLVER NAME= bpsolver 09
BENCH NAME= CPAI08/csp/super-os/super-os-taillard-15/normalized-super-os-taillard-15-8.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2080974-1247371774/watcher-2080974-1247371774 -o /tmp/evaluation-result-2080974-1247371774/solver-2080974-1247371774 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2080974-1247371774 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c2291ba3dc9f570e8979ae152fcb5d84
RANDOM SEED=458192093
node48.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.237
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.237
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: 1625120 kB
Buffers: 44516 kB
Cached: 274540 kB
SwapCached: 0 kB
Active: 187036 kB
Inactive: 169456 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1625120 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2528 kB
Writeback: 0 kB
Mapped: 48136 kB
Slab: 59696 kB
Committed_AS: 262920 kB
PageTables: 1752 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= 66464 MiB
End job on node48 at 2009-07-12 06:39:49