0.00/0.05 c bpsolver version 6.29.2009
0.00/0.05 c converting(HOME/instance-2075100-1247359752)
11.89/12.07 c Converted in 3544 ms
15.75/15.90 c solving(HOME/instance-2075100-1247359752,1800000)
15.75/15.90 c solving(HOME/instance-2075100-1247359752,1800000)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2075100-1247359752/watcher-2075100-1247359752 -o /tmp/evaluation-result-2075100-1247359752/solver-2075100-1247359752 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2075100-1247359752 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: 2.04 2.06 2.00 4/75 19360
/proc/meminfo: memFree=1837376/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=62208 CPUtime=0.19
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 1116 0 0 0 6 13 0 0 19 0 1 0 23040600 63700992 829 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/19360/statm: 15552 829 176 144 0 15036 0
[startup+0.308415 s]
/proc/loadavg: 2.04 2.06 2.00 4/75 19360
/proc/meminfo: memFree=1837376/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=62208 CPUtime=0.29
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 1116 0 0 0 9 20 0 0 20 0 1 0 23040600 63700992 829 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/19360/statm: 15552 829 176 144 0 15036 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 62208
[startup+0.40143 s]
/proc/loadavg: 2.04 2.06 2.00 4/75 19360
/proc/meminfo: memFree=1837376/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=62208 CPUtime=0.38
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 1116 0 0 0 11 27 0 0 20 0 1 0 23040600 63700992 829 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/19360/statm: 15552 829 176 144 0 15036 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 62208
[startup+0.501449 s]
/proc/loadavg: 2.04 2.06 2.00 4/75 19360
/proc/meminfo: memFree=1837376/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=62208 CPUtime=0.49
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 1116 0 0 0 14 35 0 0 21 0 1 0 23040600 63700992 829 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/19360/statm: 15552 829 176 144 0 15036 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 62208
[startup+0.701487 s]
/proc/loadavg: 2.04 2.06 2.00 4/75 19360
/proc/meminfo: memFree=1837376/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=62208 CPUtime=0.68
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 1116 0 0 0 20 48 0 0 23 0 1 0 23040600 63700992 829 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/19360/statm: 15552 829 176 144 0 15036 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 62208
[startup+1.50164 s]
/proc/loadavg: 2.04 2.06 2.00 3/76 19361
/proc/meminfo: memFree=1834168/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=62208 CPUtime=1.47
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 1116 0 0 0 43 104 0 0 25 0 1 0 23040600 63700992 829 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/19360/statm: 15552 829 176 144 0 15036 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 62208
[startup+3.10195 s]
/proc/loadavg: 2.04 2.06 2.00 3/76 19361
/proc/meminfo: memFree=1833592/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=62208 CPUtime=3.07
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 1116 0 0 0 92 215 0 0 25 0 1 0 23040600 63700992 829 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/19360/statm: 15552 829 176 144 0 15036 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 62208
[startup+6.30156 s]
/proc/loadavg: 2.04 2.06 2.00 3/76 19361
/proc/meminfo: memFree=1832136/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=62208 CPUtime=6.24
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 1117 0 0 0 185 439 0 0 25 0 1 0 23040600 63700992 830 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/19360/statm: 15552 830 176 144 0 15036 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 62208
[startup+12.7018 s]
/proc/loadavg: 2.03 2.06 2.00 3/76 19361
/proc/meminfo: memFree=1814216/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=101272 CPUtime=12.58
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 12189 0 0 0 410 848 0 0 25 0 1 0 23040600 103702528 11768 996147200 134512640 135105188 4294956096 18446744073709551615 135073558 0 0 4096 2 0 0 0 17 1 0 0
/proc/19360/statm: 25318 11768 180 144 0 24802 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 101272
[startup+25.5012 s]
/proc/loadavg: 2.03 2.05 2.00 3/77 19362
/proc/meminfo: memFree=1725568/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=181412 CPUtime=25.27
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 44608 0 0 0 1666 861 0 0 25 0 2 0 23040600 185765888 26589 996147200 134512640 135105188 4294956096 18446744073709551615 134749044 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/19360/statm: 45353 26589 199 144 0 44837 0
[pid=19360/tid=19362] ppid=19358 vsize=181412 CPUtime=0
/proc/19360/task/19362/stat : 19362 (bprolog) S 19358 19360 17126 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23042204 185765888 26589 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) 181412
[startup+51.1011 s]
/proc/loadavg: 2.02 2.05 2.00 3/77 19362
/proc/meminfo: memFree=1723712/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=181412 CPUtime=50.65
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 44612 0 0 0 4203 862 0 0 25 0 2 0 23040600 185765888 26593 996147200 134512640 135105188 4294956096 18446744073709551615 134717649 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/19360/statm: 45353 26593 199 144 0 44837 0
[pid=19360/tid=19362] ppid=19358 vsize=181412 CPUtime=0
/proc/19360/task/19362/stat : 19362 (bprolog) S 19358 19360 17126 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23042204 185765888 26593 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) 181412
[startup+102.302 s]
/proc/loadavg: 2.00 2.04 2.00 3/77 19362
/proc/meminfo: memFree=1720128/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=181412 CPUtime=101.42
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 44612 0 0 0 9280 862 0 0 25 0 2 0 23040600 185765888 26593 996147200 134512640 135105188 4294956096 18446744073709551615 134717633 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/19360/statm: 45353 26593 199 144 0 44837 0
[pid=19360/tid=19362] ppid=19358 vsize=181412 CPUtime=0
/proc/19360/task/19362/stat : 19362 (bprolog) S 19358 19360 17126 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23042204 185765888 26593 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) 181412
[startup+162.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/77 19364
/proc/meminfo: memFree=1716736/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=181412 CPUtime=160.88
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 44613 0 0 0 15226 862 0 0 25 0 2 0 23040600 185765888 26594 996147200 134512640 135105188 4294956096 18446744073709551615 134748487 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/19360/statm: 45353 26594 199 144 0 44837 0
[pid=19360/tid=19362] ppid=19358 vsize=181412 CPUtime=0
/proc/19360/task/19362/stat : 19362 (bprolog) S 19358 19360 17126 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23042204 185765888 26594 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.88
Current children cumulated vsize (KiB) 181412
[startup+222.302 s]
/proc/loadavg: 2.02 2.03 2.00 3/77 19364
/proc/meminfo: memFree=1713600/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=181412 CPUtime=220.37
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 44613 0 0 0 21175 862 0 0 25 0 2 0 23040600 185765888 26594 996147200 134512640 135105188 4294956096 18446744073709551615 134748679 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/19360/statm: 45353 26594 199 144 0 44837 0
[pid=19360/tid=19362] ppid=19358 vsize=181412 CPUtime=0
/proc/19360/task/19362/stat : 19362 (bprolog) S 19358 19360 17126 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23042204 185765888 26594 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.37
Current children cumulated vsize (KiB) 181412
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/77 19364
/proc/meminfo: memFree=1710336/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=181412 CPUtime=279.84
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 44613 0 0 0 27122 862 0 0 25 0 2 0 23040600 185765888 26594 996147200 134512640 135105188 4294956096 18446744073709551615 134748679 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/19360/statm: 45353 26594 199 144 0 44837 0
[pid=19360/tid=19362] ppid=19358 vsize=181412 CPUtime=0
/proc/19360/task/19362/stat : 19362 (bprolog) S 19358 19360 17126 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23042204 185765888 26594 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.84
Current children cumulated vsize (KiB) 181412
[startup+342.303 s]
/proc/loadavg: 2.00 2.02 2.00 3/77 19364
/proc/meminfo: memFree=1707776/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=181412 CPUtime=339.32
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 44613 0 0 0 33070 862 0 0 25 0 2 0 23040600 185765888 26594 996147200 134512640 135105188 4294956096 18446744073709551615 134718092 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/19360/statm: 45353 26594 199 144 0 44837 0
[pid=19360/tid=19362] ppid=19358 vsize=181412 CPUtime=0
/proc/19360/task/19362/stat : 19362 (bprolog) S 19358 19360 17126 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23042204 185765888 26594 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.32
Current children cumulated vsize (KiB) 181412
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/77 19364
/proc/meminfo: memFree=1705408/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=181412 CPUtime=398.79
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 44613 0 0 0 39017 862 0 0 25 0 2 0 23040600 185765888 26594 996147200 134512640 135105188 4294956096 18446744073709551615 134748443 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/19360/statm: 45353 26594 199 144 0 44837 0
[pid=19360/tid=19362] ppid=19358 vsize=181412 CPUtime=0
/proc/19360/task/19362/stat : 19362 (bprolog) S 19358 19360 17126 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23042204 185765888 26594 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.79
Current children cumulated vsize (KiB) 181412
[startup+462.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/77 19364
/proc/meminfo: memFree=1702784/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=181412 CPUtime=458.28
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 44613 0 0 0 44965 863 0 0 25 0 2 0 23040600 185765888 26594 996147200 134512640 135105188 4294956096 18446744073709551615 134718081 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/19360/statm: 45353 26594 199 144 0 44837 0
[pid=19360/tid=19362] ppid=19358 vsize=181412 CPUtime=0
/proc/19360/task/19362/stat : 19362 (bprolog) S 19358 19360 17126 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23042204 185765888 26594 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.28
Current children cumulated vsize (KiB) 181412
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 19364
/proc/meminfo: memFree=1700224/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=181412 CPUtime=517.77
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 44613 0 0 0 50914 863 0 0 25 0 2 0 23040600 185765888 26594 996147200 134512640 135105188 4294956096 18446744073709551615 134748663 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/19360/statm: 45353 26594 199 144 0 44837 0
[pid=19360/tid=19362] ppid=19358 vsize=181412 CPUtime=0
/proc/19360/task/19362/stat : 19362 (bprolog) S 19358 19360 17126 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 23042204 185765888 26594 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 517.77
Current children cumulated vsize (KiB) 181412
################
# More data... #
################
/proc/19360/task/19362/stat : 19362 (bprolog) S 19358 19360 17126 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23042204 196255744 26595 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=19360/tid=19371] ppid=19358 vsize=191656 CPUtime=0
/proc/19360/task/19371/stat : 19371 (bprolog) S 19358 19360 17126 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 23132222 196255744 26595 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1231.65
Current children cumulated vsize (KiB) 191656
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/78 19371
/proc/meminfo: memFree=1693944/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=191656 CPUtime=1291.13
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 44614 0 0 0 128247 866 0 0 25 0 3 0 23040600 196255744 26595 996147200 134512640 135105188 4294956096 18446744073709551615 134718099 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/19360/statm: 47914 26595 199 144 0 47398 0
[pid=19360/tid=19362] ppid=19358 vsize=191656 CPUtime=0
/proc/19360/task/19362/stat : 19362 (bprolog) S 19358 19360 17126 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23042204 196255744 26595 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=19360/tid=19371] ppid=19358 vsize=191656 CPUtime=0
/proc/19360/task/19371/stat : 19371 (bprolog) S 19358 19360 17126 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 23132222 196255744 26595 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1291.13
Current children cumulated vsize (KiB) 191656
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/78 19371
/proc/meminfo: memFree=1693944/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=191656 CPUtime=1350.59
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 44614 0 0 0 134193 866 0 0 25 0 3 0 23040600 196255744 26595 996147200 134512640 135105188 4294956096 18446744073709551615 134718094 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/19360/statm: 47914 26595 199 144 0 47398 0
[pid=19360/tid=19362] ppid=19358 vsize=191656 CPUtime=0
/proc/19360/task/19362/stat : 19362 (bprolog) S 19358 19360 17126 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 23042204 196255744 26595 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=19360/tid=19371] ppid=19358 vsize=191656 CPUtime=0
/proc/19360/task/19371/stat : 19371 (bprolog) S 19358 19360 17126 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 23132222 196255744 26595 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1350.59
Current children cumulated vsize (KiB) 191656
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/79 19372
/proc/meminfo: memFree=1693936/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=201900 CPUtime=1410.08
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 44617 0 0 0 140142 866 0 0 25 0 4 0 23040600 206745600 26598 996147200 134512640 135105188 4294956096 18446744073709551615 134748704 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/19360/statm: 50475 26598 199 144 0 49959 0
[pid=19360/tid=19362] ppid=19358 vsize=201900 CPUtime=0
/proc/19360/task/19362/stat : 19362 (bprolog) S 19358 19360 17126 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 23042204 206745600 26598 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=19360/tid=19371] ppid=19358 vsize=201900 CPUtime=0
/proc/19360/task/19371/stat : 19371 (bprolog) S 19358 19360 17126 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 23132222 206745600 26598 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=19360/tid=19372] ppid=19358 vsize=201900 CPUtime=0
/proc/19360/task/19372/stat : 19372 (bprolog) S 19358 19360 17126 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 23177229 206745600 26598 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1410.08
Current children cumulated vsize (KiB) 201900
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/79 19372
/proc/meminfo: memFree=1693744/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=201900 CPUtime=1469.56
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 44617 0 0 0 146090 866 0 0 25 0 4 0 23040600 206745600 26598 996147200 134512640 135105188 4294956096 18446744073709551615 134748704 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/19360/statm: 50475 26598 199 144 0 49959 0
[pid=19360/tid=19362] ppid=19358 vsize=201900 CPUtime=0
/proc/19360/task/19362/stat : 19362 (bprolog) S 19358 19360 17126 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 23042204 206745600 26598 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=19360/tid=19371] ppid=19358 vsize=201900 CPUtime=0
/proc/19360/task/19371/stat : 19371 (bprolog) S 19358 19360 17126 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 23132222 206745600 26598 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=19360/tid=19372] ppid=19358 vsize=201900 CPUtime=0
/proc/19360/task/19372/stat : 19372 (bprolog) S 19358 19360 17126 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 23177229 206745600 26598 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1469.56
Current children cumulated vsize (KiB) 201900
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/79 19372
/proc/meminfo: memFree=1691888/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=201900 CPUtime=1529.05
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 44617 0 0 0 152039 866 0 0 25 0 4 0 23040600 206745600 26598 996147200 134512640 135105188 4294956096 18446744073709551615 134748443 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/19360/statm: 50475 26598 199 144 0 49959 0
[pid=19360/tid=19362] ppid=19358 vsize=201900 CPUtime=0
/proc/19360/task/19362/stat : 19362 (bprolog) S 19358 19360 17126 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 4 0 23042204 206745600 26598 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=19360/tid=19371] ppid=19358 vsize=201900 CPUtime=0
/proc/19360/task/19371/stat : 19371 (bprolog) S 19358 19360 17126 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 4 0 23132222 206745600 26598 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=19360/tid=19372] ppid=19358 vsize=201900 CPUtime=0
/proc/19360/task/19372/stat : 19372 (bprolog) S 19358 19360 17126 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 4 0 23177229 206745600 26598 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1529.05
Current children cumulated vsize (KiB) 201900
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 19373
/proc/meminfo: memFree=1689768/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=212144 CPUtime=1588.52
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 44618 0 0 0 157986 866 0 0 25 0 5 0 23040600 217235456 26599 996147200 134512640 135105188 4294956096 18446744073709551615 134716926 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/19360/statm: 53036 26599 199 144 0 52520 0
[pid=19360/tid=19362] ppid=19358 vsize=212144 CPUtime=0
/proc/19360/task/19362/stat : 19362 (bprolog) S 19358 19360 17126 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 23042204 217235456 26599 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=19360/tid=19371] ppid=19358 vsize=212144 CPUtime=0
/proc/19360/task/19371/stat : 19371 (bprolog) S 19358 19360 17126 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23132222 217235456 26599 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=19360/tid=19372] ppid=19358 vsize=212144 CPUtime=0
/proc/19360/task/19372/stat : 19372 (bprolog) S 19358 19360 17126 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23177229 217235456 26599 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=19360/tid=19373] ppid=19358 vsize=212144 CPUtime=0
/proc/19360/task/19373/stat : 19373 (bprolog) S 19358 19360 17126 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 23199737 217235456 26599 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1588.52
Current children cumulated vsize (KiB) 212144
[startup+1662.3 s]
/proc/loadavg: 2.39 2.09 2.03 3/80 19425
/proc/meminfo: memFree=1742888/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=212144 CPUtime=1648.28
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 44618 0 0 0 163961 867 0 0 25 0 5 0 23040600 217235456 26599 996147200 134512640 135105188 4294956096 18446744073709551615 134749276 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/19360/statm: 53036 26599 199 144 0 52520 0
[pid=19360/tid=19362] ppid=19358 vsize=212144 CPUtime=0
/proc/19360/task/19362/stat : 19362 (bprolog) S 19358 19360 17126 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 23042204 217235456 26599 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=19360/tid=19371] ppid=19358 vsize=212144 CPUtime=0
/proc/19360/task/19371/stat : 19371 (bprolog) S 19358 19360 17126 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23132222 217235456 26599 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=19360/tid=19372] ppid=19358 vsize=212144 CPUtime=0
/proc/19360/task/19372/stat : 19372 (bprolog) S 19358 19360 17126 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23177229 217235456 26599 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=19360/tid=19373] ppid=19358 vsize=212144 CPUtime=0
/proc/19360/task/19373/stat : 19373 (bprolog) S 19358 19360 17126 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 5 0 23199737 217235456 26599 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1648.28
Current children cumulated vsize (KiB) 212144
[startup+1722.3 s]
/proc/loadavg: 2.46 2.18 2.06 3/80 19425
/proc/meminfo: memFree=1739304/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=212144 CPUtime=1708.24
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 44618 0 0 0 169957 867 0 0 25 0 5 0 23040600 217235456 26599 996147200 134512640 135105188 4294956096 18446744073709551615 134748679 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/19360/statm: 53036 26599 199 144 0 52520 0
[pid=19360/tid=19362] ppid=19358 vsize=212144 CPUtime=0
/proc/19360/task/19362/stat : 19362 (bprolog) S 19358 19360 17126 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 23042204 217235456 26599 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=19360/tid=19371] ppid=19358 vsize=212144 CPUtime=0
/proc/19360/task/19371/stat : 19371 (bprolog) S 19358 19360 17126 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23132222 217235456 26599 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=19360/tid=19372] ppid=19358 vsize=212144 CPUtime=0
/proc/19360/task/19372/stat : 19372 (bprolog) S 19358 19360 17126 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23177229 217235456 26599 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=19360/tid=19373] ppid=19358 vsize=212144 CPUtime=0
/proc/19360/task/19373/stat : 19373 (bprolog) S 19358 19360 17126 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23199737 217235456 26599 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1708.24
Current children cumulated vsize (KiB) 212144
[startup+1782.31 s]
/proc/loadavg: 2.23 2.16 2.06 3/80 19425
/proc/meminfo: memFree=1738920/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=212144 CPUtime=1768.22
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 44618 0 0 0 175955 867 0 0 25 0 5 0 23040600 217235456 26599 996147200 134512640 135105188 4294956096 18446744073709551615 134718148 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/19360/statm: 53036 26599 199 144 0 52520 0
[pid=19360/tid=19362] ppid=19358 vsize=212144 CPUtime=0
/proc/19360/task/19362/stat : 19362 (bprolog) S 19358 19360 17126 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 23042204 217235456 26599 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=19360/tid=19371] ppid=19358 vsize=212144 CPUtime=0
/proc/19360/task/19371/stat : 19371 (bprolog) S 19358 19360 17126 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23132222 217235456 26599 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=19360/tid=19372] ppid=19358 vsize=212144 CPUtime=0
/proc/19360/task/19372/stat : 19372 (bprolog) S 19358 19360 17126 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23177229 217235456 26599 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=19360/tid=19373] ppid=19358 vsize=212144 CPUtime=0
/proc/19360/task/19373/stat : 19373 (bprolog) S 19358 19360 17126 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23199737 217235456 26599 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1768.22
Current children cumulated vsize (KiB) 212144
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.1 s]
/proc/loadavg: 2.13 2.14 2.06 3/80 19425
/proc/meminfo: memFree=1738856/2055920 swapFree=4192812/4192956
[pid=19360] ppid=19358 vsize=212144 CPUtime=1800.01
/proc/19360/stat : 19360 (bprolog) R 19358 19360 17126 0 -1 4194304 44618 0 0 0 179134 867 0 0 25 0 5 0 23040600 217235456 26599 996147200 134512640 135105188 4294956096 18446744073709551615 134748584 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/19360/statm: 53036 26599 199 144 0 52520 0
[pid=19360/tid=19362] ppid=19358 vsize=212144 CPUtime=0
/proc/19360/task/19362/stat : 19362 (bprolog) S 19358 19360 17126 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 5 0 23042204 217235456 26599 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=19360/tid=19371] ppid=19358 vsize=212144 CPUtime=0
/proc/19360/task/19371/stat : 19371 (bprolog) S 19358 19360 17126 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23132222 217235456 26599 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=19360/tid=19372] ppid=19358 vsize=212144 CPUtime=0
/proc/19360/task/19372/stat : 19372 (bprolog) S 19358 19360 17126 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23177229 217235456 26599 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=19360/tid=19373] ppid=19358 vsize=212144 CPUtime=0
/proc/19360/task/19373/stat : 19373 (bprolog) S 19358 19360 17126 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 5 0 23199737 217235456 26599 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 212144
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): 1814.14
CPU time (s): 1800.05
CPU user time (s): 1791.35
CPU system time (s): 8.69368
CPU usage (%): 99.2232
Max. virtual memory (cumulated for all children) (KiB): 212144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.35
system time used= 8.69368
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44618
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= 11
involuntary context switches= 35752
runsolver used 2.22866 second user time and 5.52716 second system time
The end
Begin job on node76 at 2009-07-12 02:49:13
IDJOB=2075100
IDBENCH=56230
IDSOLVER=770
FILE ID=node76/2075100-1247359752
PBS_JOBID= 9506807
Free space on /tmp= 66368 MiB
SOLVER NAME= bpsolver 09
BENCH NAME= CPAI08/csp/rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-26_ext.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2075100-1247359752/watcher-2075100-1247359752 -o /tmp/evaluation-result-2075100-1247359752/solver-2075100-1247359752 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2075100-1247359752 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8130eee4845b61b5a0d48c4b357e8b07
RANDOM SEED=1847930482
node76.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.277
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.277
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: 1837792 kB
Buffers: 14836 kB
Cached: 101648 kB
SwapCached: 0 kB
Active: 117636 kB
Inactive: 48160 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1837792 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4224 kB
Writeback: 0 kB
Mapped: 60504 kB
Slab: 37492 kB
Committed_AS: 185096 kB
PageTables: 1936 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= 66360 MiB
End job on node76 at 2009-07-12 03:19:29