0.00/0.02 c bpsolver version 6.29.2009
0.00/0.02 c converting(HOME/instance-2061042-1247326521)
0.38/0.42 c Converted in 151 ms
0.38/0.47 c solving(HOME/instance-2061042-1247326521,1800000)
0.38/0.47 c solving(HOME/instance-2061042-1247326521,1800000)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2061042-1247326521/watcher-2061042-1247326521 -o /tmp/evaluation-result-2061042-1247326521/solver-2061042-1247326521 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2061042-1247326521 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.84 1.83 1.79 4/73 15935
/proc/meminfo: memFree=959592/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=18576 CPUtime=0
/proc/15935/stat : 15935 (runsolver) R 15933 15935 13973 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 19719507 19021824 284 996147200 4194304 4302564 548682068528 18446744073709551615 268582841639 0 0 4096 24578 0 0 0 17 1 0 0
/proc/15935/statm: 4644 284 249 26 0 2626 0
[startup+0.0665609 s]
/proc/loadavg: 1.84 1.83 1.79 4/73 15935
/proc/meminfo: memFree=959592/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=62208 CPUtime=0.05
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 1173 0 0 0 2 3 0 0 21 0 1 0 19719507 63700992 886 996147200 134512640 135105188 4294956096 18446744073709551615 134658359 0 0 4096 2 0 0 0 17 1 0 0
/proc/15935/statm: 15552 886 174 144 0 15036 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 62208
[startup+0.101569 s]
/proc/loadavg: 1.84 1.83 1.79 4/73 15935
/proc/meminfo: memFree=959592/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=62208 CPUtime=0.08
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 1252 0 0 0 3 5 0 0 21 0 1 0 19719507 63700992 965 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 17 1 0 0
/proc/15935/statm: 15552 965 174 144 0 15036 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 62208
[startup+0.301605 s]
/proc/loadavg: 1.84 1.83 1.79 4/73 15935
/proc/meminfo: memFree=959592/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=62208 CPUtime=0.29
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 1282 0 0 0 12 17 0 0 22 0 1 0 19719507 63700992 995 996147200 134512640 135105188 4294956096 18446744073709551615 2587716 0 0 4096 2 0 0 0 17 1 0 0
/proc/15935/statm: 15552 995 177 144 0 15036 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 62208
[startup+0.701695 s]
/proc/loadavg: 1.84 1.83 1.79 4/73 15935
/proc/meminfo: memFree=959592/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=80640 CPUtime=0.68
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 2710 0 0 0 43 25 0 0 25 0 2 0 19719507 82575360 2420 996147200 134512640 135105188 4294956096 18446744073709551615 134614478 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15935/statm: 20160 2420 213 144 0 19644 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 80640
[startup+1.50185 s]
/proc/loadavg: 1.84 1.83 1.79 3/75 15937
/proc/meminfo: memFree=950360/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=80640 CPUtime=1.48
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 2717 0 0 0 123 25 0 0 25 0 2 0 19719507 82575360 2427 996147200 134512640 135105188 4294956096 18446744073709551615 135021441 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15935/statm: 20160 2427 213 144 0 19644 0
[pid=15935/tid=15937] ppid=15933 vsize=80640 CPUtime=0
/proc/15935/task/15937/stat : 15937 (bprolog) S 15933 15935 13973 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 19719560 82575360 2427 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 80640
[startup+3.10117 s]
/proc/loadavg: 1.84 1.83 1.79 3/75 15937
/proc/meminfo: memFree=950232/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=80640 CPUtime=3.06
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 2717 0 0 0 281 25 0 0 25 0 2 0 19719507 82575360 2427 996147200 134512640 135105188 4294956096 18446744073709551615 134608576 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15935/statm: 20160 2427 213 144 0 19644 0
[pid=15935/tid=15937] ppid=15933 vsize=80640 CPUtime=0
/proc/15935/task/15937/stat : 15937 (bprolog) S 15933 15935 13973 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 19719560 82575360 2427 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 80640
[startup+6.30181 s]
/proc/loadavg: 1.85 1.84 1.79 3/75 15937
/proc/meminfo: memFree=950168/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=80640 CPUtime=6.23
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 2728 0 0 0 598 25 0 0 25 0 2 0 19719507 82575360 2438 996147200 134512640 135105188 4294956096 18446744073709551615 135021521 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15935/statm: 20160 2438 213 144 0 19644 0
[pid=15935/tid=15937] ppid=15933 vsize=80640 CPUtime=0
/proc/15935/task/15937/stat : 15937 (bprolog) S 15933 15935 13973 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 19719560 82575360 2438 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 80640
[startup+12.7011 s]
/proc/loadavg: 1.87 1.84 1.79 3/75 15937
/proc/meminfo: memFree=950168/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=80640 CPUtime=12.57
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 2728 0 0 0 1232 25 0 0 25 0 2 0 19719507 82575360 2438 996147200 134512640 135105188 4294956096 18446744073709551615 135000113 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15935/statm: 20160 2438 213 144 0 19644 0
[pid=15935/tid=15937] ppid=15933 vsize=80640 CPUtime=0
/proc/15935/task/15937/stat : 15937 (bprolog) S 15933 15935 13973 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 19719560 82575360 2438 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 80640
[startup+25.5016 s]
/proc/loadavg: 1.89 1.85 1.79 3/75 15937
/proc/meminfo: memFree=950232/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=80640 CPUtime=25.25
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 2728 0 0 0 2500 25 0 0 25 0 2 0 19719507 82575360 2438 996147200 134512640 135105188 4294956096 18446744073709551615 134630413 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15935/statm: 20160 2438 213 144 0 19644 0
[pid=15935/tid=15937] ppid=15933 vsize=80640 CPUtime=0
/proc/15935/task/15937/stat : 15937 (bprolog) S 15933 15935 13973 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 19719560 82575360 2438 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 80640
[startup+51.1017 s]
/proc/loadavg: 1.93 1.86 1.79 3/75 15937
/proc/meminfo: memFree=950296/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=80640 CPUtime=50.61
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 2733 0 0 0 5036 25 0 0 25 0 2 0 19719507 82575360 2443 996147200 134512640 135105188 4294956096 18446744073709551615 134598397 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15935/statm: 20160 2443 213 144 0 19644 0
[pid=15935/tid=15937] ppid=15933 vsize=80640 CPUtime=0
/proc/15935/task/15937/stat : 15937 (bprolog) S 15933 15935 13973 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 19719560 82575360 2443 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 80640
[startup+102.307 s]
/proc/loadavg: 1.97 1.88 1.80 3/75 15937
/proc/meminfo: memFree=950232/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=80640 CPUtime=101.33
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 2734 0 0 0 10108 25 0 0 25 0 2 0 19719507 82575360 2444 996147200 134512640 135105188 4294956096 18446744073709551615 134716884 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15935/statm: 20160 2444 213 144 0 19644 0
[pid=15935/tid=15937] ppid=15933 vsize=80640 CPUtime=0
/proc/15935/task/15937/stat : 15937 (bprolog) S 15933 15935 13973 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 19719560 82575360 2444 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 80640
[startup+162.302 s]
/proc/loadavg: 1.99 1.90 1.82 3/75 15937
/proc/meminfo: memFree=950232/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=80640 CPUtime=160.76
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 2734 0 0 0 16051 25 0 0 25 0 2 0 19719507 82575360 2444 996147200 134512640 135105188 4294956096 18446744073709551615 134625373 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15935/statm: 20160 2444 213 144 0 19644 0
[pid=15935/tid=15937] ppid=15933 vsize=80640 CPUtime=0
/proc/15935/task/15937/stat : 15937 (bprolog) S 15933 15935 13973 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 19719560 82575360 2444 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 80640
[startup+222.302 s]
/proc/loadavg: 1.99 1.91 1.82 3/75 15937
/proc/meminfo: memFree=950168/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=80640 CPUtime=220.19
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 2736 0 0 0 21994 25 0 0 25 0 2 0 19719507 82575360 2446 996147200 134512640 135105188 4294956096 18446744073709551615 134629989 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15935/statm: 20160 2446 213 144 0 19644 0
[pid=15935/tid=15937] ppid=15933 vsize=80640 CPUtime=0
/proc/15935/task/15937/stat : 15937 (bprolog) S 15933 15935 13973 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 19719560 82575360 2446 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 80640
[startup+282.302 s]
/proc/loadavg: 1.99 1.92 1.83 3/75 15937
/proc/meminfo: memFree=950168/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=80640 CPUtime=279.62
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 2738 0 0 0 27937 25 0 0 25 0 2 0 19719507 82575360 2448 996147200 134512640 135105188 4294956096 18446744073709551615 134891794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15935/statm: 20160 2448 213 144 0 19644 0
[pid=15935/tid=15937] ppid=15933 vsize=80640 CPUtime=0
/proc/15935/task/15937/stat : 15937 (bprolog) S 15933 15935 13973 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 19719560 82575360 2448 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.62
Current children cumulated vsize (KiB) 80640
[startup+342.303 s]
/proc/loadavg: 1.99 1.94 1.83 3/75 15937
/proc/meminfo: memFree=950168/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=80640 CPUtime=339.06
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 2742 0 0 0 33881 25 0 0 25 0 2 0 19719507 82575360 2452 996147200 134512640 135105188 4294956096 18446744073709551615 134855730 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15935/statm: 20160 2452 213 144 0 19644 0
[pid=15935/tid=15937] ppid=15933 vsize=80640 CPUtime=0
/proc/15935/task/15937/stat : 15937 (bprolog) S 15933 15935 13973 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 19719560 82575360 2452 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.06
Current children cumulated vsize (KiB) 80640
[startup+402.301 s]
/proc/loadavg: 1.99 1.94 1.84 3/75 15937
/proc/meminfo: memFree=950168/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=80640 CPUtime=398.49
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 2742 0 0 0 39824 25 0 0 25 0 2 0 19719507 82575360 2452 996147200 134512640 135105188 4294956096 18446744073709551615 134607699 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15935/statm: 20160 2452 213 144 0 19644 0
[pid=15935/tid=15937] ppid=15933 vsize=80640 CPUtime=0
/proc/15935/task/15937/stat : 15937 (bprolog) S 15933 15935 13973 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 19719560 82575360 2452 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.49
Current children cumulated vsize (KiB) 80640
[startup+462.302 s]
/proc/loadavg: 1.99 1.95 1.85 3/76 15938
/proc/meminfo: memFree=949072/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=80640 CPUtime=457.93
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 2742 0 0 0 45768 25 0 0 25 0 2 0 19719507 82575360 2452 996147200 134512640 135105188 4294956096 18446744073709551615 134605504 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15935/statm: 20160 2452 213 144 0 19644 0
[pid=15935/tid=15937] ppid=15933 vsize=80640 CPUtime=0
/proc/15935/task/15937/stat : 15937 (bprolog) S 15933 15935 13973 0 -1 4194368 2 0 0 0 0 0 0 0 25 0 2 0 19719560 82575360 2452 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 457.93
Current children cumulated vsize (KiB) 80640
[startup+522.302 s]
/proc/loadavg: 1.99 1.96 1.85 3/76 15938
################
# More data... #
################
[pid=15935] ppid=15933 vsize=90884 CPUtime=1111.69
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 2893 0 0 0 111144 25 0 0 25 0 3 0 19719507 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 134855830 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15935/statm: 22721 2603 213 144 0 22205 0
[pid=15935/tid=15937] ppid=15933 vsize=90884 CPUtime=0
/proc/15935/task/15937/stat : 15937 (bprolog) S 15933 15935 13973 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 19719560 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15935/tid=15941] ppid=15933 vsize=90884 CPUtime=0
/proc/15935/task/15941/stat : 15941 (bprolog) S 15933 15935 13973 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 19809576 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1111.69
Current children cumulated vsize (KiB) 90884
[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/77 15941
/proc/meminfo: memFree=948040/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=90884 CPUtime=1171.12
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 2893 0 0 0 117087 25 0 0 25 0 3 0 19719507 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 134630207 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15935/statm: 22721 2603 213 144 0 22205 0
[pid=15935/tid=15937] ppid=15933 vsize=90884 CPUtime=0
/proc/15935/task/15937/stat : 15937 (bprolog) S 15933 15935 13973 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 19719560 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15935/tid=15941] ppid=15933 vsize=90884 CPUtime=0
/proc/15935/task/15941/stat : 15941 (bprolog) S 15933 15935 13973 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 19809576 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1171.12
Current children cumulated vsize (KiB) 90884
[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/77 15941
/proc/meminfo: memFree=947912/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=90884 CPUtime=1230.56
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 2893 0 0 0 123031 25 0 0 25 0 3 0 19719507 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 134583679 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15935/statm: 22721 2603 213 144 0 22205 0
[pid=15935/tid=15937] ppid=15933 vsize=90884 CPUtime=0
/proc/15935/task/15937/stat : 15937 (bprolog) S 15933 15935 13973 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 19719560 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15935/tid=15941] ppid=15933 vsize=90884 CPUtime=0
/proc/15935/task/15941/stat : 15941 (bprolog) S 15933 15935 13973 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 19809576 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1230.56
Current children cumulated vsize (KiB) 90884
[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/77 15941
/proc/meminfo: memFree=947848/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=90884 CPUtime=1289.99
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 2893 0 0 0 128974 25 0 0 25 0 3 0 19719507 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 134630264 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15935/statm: 22721 2603 213 144 0 22205 0
[pid=15935/tid=15937] ppid=15933 vsize=90884 CPUtime=0
/proc/15935/task/15937/stat : 15937 (bprolog) S 15933 15935 13973 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 19719560 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15935/tid=15941] ppid=15933 vsize=90884 CPUtime=0
/proc/15935/task/15941/stat : 15941 (bprolog) S 15933 15935 13973 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 3 0 19809576 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1289.99
Current children cumulated vsize (KiB) 90884
[startup+1362.3 s]
/proc/loadavg: 1.94 1.96 1.91 3/86 15980
/proc/meminfo: memFree=831680/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=90884 CPUtime=1349.61
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 2893 0 0 0 134935 26 0 0 25 0 3 0 19719507 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 134628926 0 0 4096 2 18446744073709551615 0 0 17 0 0 0
/proc/15935/statm: 22721 2603 213 144 0 22205 0
[pid=15935/tid=15937] ppid=15933 vsize=90884 CPUtime=0
/proc/15935/task/15937/stat : 15937 (bprolog) S 15933 15935 13973 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 19719560 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15935/tid=15941] ppid=15933 vsize=90884 CPUtime=0
/proc/15935/task/15941/stat : 15941 (bprolog) S 15933 15935 13973 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 19809576 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1349.61
Current children cumulated vsize (KiB) 90884
[startup+1422.31 s]
/proc/loadavg: 2.06 1.98 1.91 3/83 16016
/proc/meminfo: memFree=879960/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=90884 CPUtime=1409.28
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 2893 0 0 0 140901 27 0 0 25 0 3 0 19719507 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 134656299 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15935/statm: 22721 2603 213 144 0 22205 0
[pid=15935/tid=15937] ppid=15933 vsize=90884 CPUtime=0
/proc/15935/task/15937/stat : 15937 (bprolog) S 15933 15935 13973 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 19719560 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15935/tid=15941] ppid=15933 vsize=90884 CPUtime=0
/proc/15935/task/15941/stat : 15941 (bprolog) S 15933 15935 13973 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 19809576 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1409.28
Current children cumulated vsize (KiB) 90884
[startup+1482.3 s]
/proc/loadavg: 2.06 2.00 1.92 3/83 16016
/proc/meminfo: memFree=879768/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=90884 CPUtime=1468.7
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 2893 0 0 0 146843 27 0 0 25 0 3 0 19719507 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 134717027 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15935/statm: 22721 2603 213 144 0 22205 0
[pid=15935/tid=15937] ppid=15933 vsize=90884 CPUtime=0
/proc/15935/task/15937/stat : 15937 (bprolog) S 15933 15935 13973 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 19719560 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15935/tid=15941] ppid=15933 vsize=90884 CPUtime=0
/proc/15935/task/15941/stat : 15941 (bprolog) S 15933 15935 13973 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 19809576 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1468.7
Current children cumulated vsize (KiB) 90884
[startup+1542.3 s]
/proc/loadavg: 2.02 2.00 1.92 3/83 16022
/proc/meminfo: memFree=879376/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=90884 CPUtime=1528.12
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 2893 0 0 0 152785 27 0 0 25 0 3 0 19719507 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 134670167 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15935/statm: 22721 2603 213 144 0 22205 0
[pid=15935/tid=15937] ppid=15933 vsize=90884 CPUtime=0
/proc/15935/task/15937/stat : 15937 (bprolog) S 15933 15935 13973 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 19719560 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15935/tid=15941] ppid=15933 vsize=90884 CPUtime=0
/proc/15935/task/15941/stat : 15941 (bprolog) S 15933 15935 13973 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 19809576 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1528.12
Current children cumulated vsize (KiB) 90884
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/83 16022
/proc/meminfo: memFree=879448/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=90884 CPUtime=1587.56
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 2893 0 0 0 158729 27 0 0 25 0 3 0 19719507 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 134855805 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15935/statm: 22721 2603 213 144 0 22205 0
[pid=15935/tid=15937] ppid=15933 vsize=90884 CPUtime=0
/proc/15935/task/15937/stat : 15937 (bprolog) S 15933 15935 13973 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 19719560 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15935/tid=15941] ppid=15933 vsize=90884 CPUtime=0
/proc/15935/task/15941/stat : 15941 (bprolog) S 15933 15935 13973 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 19809576 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1587.56
Current children cumulated vsize (KiB) 90884
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/83 16022
/proc/meminfo: memFree=879448/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=90884 CPUtime=1646.98
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 2893 0 0 0 164671 27 0 0 25 0 3 0 19719507 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 134571456 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15935/statm: 22721 2603 213 144 0 22205 0
[pid=15935/tid=15937] ppid=15933 vsize=90884 CPUtime=0
/proc/15935/task/15937/stat : 15937 (bprolog) S 15933 15935 13973 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 19719560 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15935/tid=15941] ppid=15933 vsize=90884 CPUtime=0
/proc/15935/task/15941/stat : 15941 (bprolog) S 15933 15935 13973 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 19809576 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1646.98
Current children cumulated vsize (KiB) 90884
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/83 16022
/proc/meminfo: memFree=879448/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=90884 CPUtime=1706.42
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 2893 0 0 0 170615 27 0 0 25 0 3 0 19719507 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 134619394 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15935/statm: 22721 2603 213 144 0 22205 0
[pid=15935/tid=15937] ppid=15933 vsize=90884 CPUtime=0
/proc/15935/task/15937/stat : 15937 (bprolog) S 15933 15935 13973 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 19719560 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15935/tid=15941] ppid=15933 vsize=90884 CPUtime=0
/proc/15935/task/15941/stat : 15941 (bprolog) S 15933 15935 13973 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 19809576 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1706.42
Current children cumulated vsize (KiB) 90884
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/83 16022
/proc/meminfo: memFree=879384/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=90884 CPUtime=1765.85
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 2893 0 0 0 176558 27 0 0 25 0 3 0 19719507 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 134630228 0 0 4096 2 18446744073709551615 0 0 17 1 0 0
/proc/15935/statm: 22721 2603 213 144 0 22205 0
[pid=15935/tid=15937] ppid=15933 vsize=90884 CPUtime=0
/proc/15935/task/15937/stat : 15937 (bprolog) S 15933 15935 13973 0 -1 4194368 2 0 0 0 0 0 0 0 16 0 3 0 19719560 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
[pid=15935/tid=15941] ppid=15933 vsize=90884 CPUtime=0
/proc/15935/task/15941/stat : 15941 (bprolog) S 15933 15935 13973 0 -1 4194368 0 0 0 0 0 0 0 0 16 0 3 0 19809576 93065216 2603 996147200 134512640 135105188 4294956096 18446744073709551615 4294960144 0 0 4096 2 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1765.85
Current children cumulated vsize (KiB) 90884
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.8 s]
/proc/loadavg: 2.00 2.00 1.92 3/81 16022
/proc/meminfo: memFree=879384/2055924 swapFree=4192956/4192956
[pid=15935] ppid=15933 vsize=90884 CPUtime=1800.03
/proc/15935/stat : 15935 (bprolog) R 15933 15935 13973 0 -1 4194304 2894 0 0 0 179976 27 0 0 25 0 1 0 19719507 93065216 2604 996147200 134512640 135105188 4294956096 18446744073709551615 134559794 0 0 4096 2 0 0 0 17 1 0 0
/proc/15935/statm: 22721 2604 214 144 0 22205 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 90884
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): 1816.81
CPU time (s): 1800.05
CPU user time (s): 1799.77
CPU system time (s): 0.277957
CPU usage (%): 99.0774
Max. virtual memory (cumulated for all children) (KiB): 90884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.77
system time used= 0.277957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2894
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= 7
involuntary context switches= 36532
runsolver used 2.54761 second user time and 5.68314 second system time
The end
Begin job on node6 at 2009-07-11 17:35:21
IDJOB=2061042
IDBENCH=53772
IDSOLVER=770
FILE ID=node6/2061042-1247326521
PBS_JOBID= 9506616
Free space on /tmp= 66396 MiB
SOLVER NAME= bpsolver 09
BENCH NAME= CPAI08/csp/allsquaresUnsat/normalized-squaresUnsat-27-27.xml
COMMAND LINE= HOME/solver BENCHNAMENOEXT TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2061042-1247326521/watcher-2061042-1247326521 -o /tmp/evaluation-result-2061042-1247326521/solver-2061042-1247326521 -C 1800 -W 2000 -M 900 HOME/solver HOME/instance-2061042-1247326521 1800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 1a46e95d1fa613e95eaf09befcc9f6de
RANDOM SEED=1145438197
node6.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.263
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.263
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: 2055924 kB
MemFree: 960072 kB
Buffers: 63568 kB
Cached: 948476 kB
SwapCached: 0 kB
Active: 136528 kB
Inactive: 905008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 960072 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 1856 kB
Writeback: 0 kB
Mapped: 40272 kB
Slab: 39560 kB
Committed_AS: 210708 kB
PageTables: 1868 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= 66396 MiB
End job on node6 at 2009-07-11 18:05:40