runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-278323-1169287099 -o ROOT/results/node1/solver-278323-1169287099 -C 2400 -M 900 /tmp/evaluation/278323-1169287099/aolibpvo /tmp/evaluation/278323-1169287099/unknown.wcsp
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.01 2.01 1.96 5/86 13693
/proc/meminfo: memFree=1299176/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=2452 CPUtime=0
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 176 0 0 0 0 0 0 0 20 0 1 0 277105719 2510848 158 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135876945 0 0 4096 0 0 0 0 17 1 0 0
/proc/13692/statm: 613 158 120 428 0 182 0
[startup+0.109118 s]
/proc/loadavg: 2.01 2.01 1.96 5/86 13693
/proc/meminfo: memFree=1299176/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=3624 CPUtime=0.1
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 557 0 0 0 10 0 0 0 20 0 1 0 277105719 3710976 478 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135162226 0 0 4096 0 0 0 0 17 1 0 0
/proc/13692/statm: 906 478 170 428 0 475 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3624
[startup+0.517166 s]
/proc/loadavg: 2.01 2.01 1.96 5/86 13693
/proc/meminfo: memFree=1299176/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=0.5
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 50 0 0 0 24 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134926228 0 0 4096 0 0 0 0 17 1 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 5104
[startup+1.33826 s]
/proc/loadavg: 2.01 2.01 1.96 3/86 13693
/proc/meminfo: memFree=1296360/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=1.31
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 131 0 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135237558 0 0 4096 0 0 0 0 17 1 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 5104
[startup+2.97545 s]
/proc/loadavg: 2.01 2.01 1.96 3/86 13693
/proc/meminfo: memFree=1296360/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=2.95
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 295 0 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134530421 0 0 4096 0 0 0 0 17 1 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 5104
[startup+6.25484 s]
/proc/loadavg: 2.01 2.01 1.96 3/86 13693
/proc/meminfo: memFree=1296296/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=6.21
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 621 0 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134926787 0 0 4096 0 0 0 0 17 1 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 5104
[startup+12.7196 s]
/proc/loadavg: 2.01 2.01 1.96 3/86 13693
/proc/meminfo: memFree=1296296/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=12.66
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 1265 1 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135051709 0 0 4096 0 0 0 0 17 1 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 5104
[startup+25.5401 s]
/proc/loadavg: 1.93 1.99 1.95 3/86 13742
/proc/meminfo: memFree=1295968/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=25.45
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 2544 1 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134684755 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 5104
[startup+51.1791 s]
/proc/loadavg: 1.95 1.99 1.95 3/86 13742
/proc/meminfo: memFree=1296032/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=51.07
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 5106 1 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134691738 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 5104
[startup+102.457 s]
/proc/loadavg: 1.98 1.99 1.95 3/86 13742
/proc/meminfo: memFree=1296096/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=102.3
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 10229 1 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135051740 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 5104
[startup+162.556 s]
/proc/loadavg: 1.99 1.99 1.95 3/92 13768
/proc/meminfo: memFree=1294816/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=162.33
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 16230 3 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134530601 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 5104
[startup+222.572 s]
/proc/loadavg: 1.99 1.99 1.95 3/92 13914
/proc/meminfo: memFree=1294816/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=222.23
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 22212 11 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134527837 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 5104
[startup+282.662 s]
/proc/loadavg: 1.99 1.99 1.95 3/86 13940
/proc/meminfo: memFree=1295840/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=282.25
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 28213 12 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134530540 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 5104
[startup+342.75 s]
/proc/loadavg: 1.99 1.99 1.95 3/86 13940
/proc/meminfo: memFree=1295840/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=342.26
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 34214 12 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134691702 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 5104
[startup+402.845 s]
/proc/loadavg: 2.03 2.00 1.96 3/86 13940
/proc/meminfo: memFree=1295840/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=402.31
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 40218 13 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134691738 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 5104
[startup+462.939 s]
/proc/loadavg: 2.07 2.02 1.96 3/86 13940
/proc/meminfo: memFree=1295904/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=462.35
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 46222 13 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134691691 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 5104
[startup+523.029 s]
/proc/loadavg: 2.03 2.01 1.96 3/86 13940
/proc/meminfo: memFree=1295904/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=522.36
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 52223 13 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135210630 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 522.36
Current children cumulated vsize (KiB) 5104
[startup+583.117 s]
/proc/loadavg: 2.01 2.00 1.96 3/86 13940
/proc/meminfo: memFree=1295904/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=582.4
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 58227 13 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134530515 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 582.4
Current children cumulated vsize (KiB) 5104
[startup+643.213 s]
/proc/loadavg: 2.00 2.00 1.96 3/86 13940
/proc/meminfo: memFree=1295904/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=642.45
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 64232 13 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134691702 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 642.45
Current children cumulated vsize (KiB) 5104
[startup+703.307 s]
/proc/loadavg: 2.00 2.00 1.96 3/86 13940
/proc/meminfo: memFree=1295904/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=702.46
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 70233 13 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135237802 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 702.46
Current children cumulated vsize (KiB) 5104
[startup+763.397 s]
/proc/loadavg: 2.00 2.00 1.96 3/86 13940
/proc/meminfo: memFree=1296032/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=762.49
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 76236 13 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134691702 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 762.49
Current children cumulated vsize (KiB) 5104
[startup+823.486 s]
/proc/loadavg: 2.00 2.00 1.96 3/86 13940
/proc/meminfo: memFree=1295968/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=822.53
################
# More data... #
################
Current children cumulated vsize (KiB) 5104
[startup+1424.43 s]
/proc/loadavg: 2.00 2.02 2.00 3/86 13942
/proc/meminfo: memFree=1295840/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=1422.84
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 142270 14 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647958 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 1422.84
Current children cumulated vsize (KiB) 5104
[startup+1484.52 s]
/proc/loadavg: 2.00 2.01 2.00 3/86 13942
/proc/meminfo: memFree=1295840/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=1482.87
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 148273 14 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134530515 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 1482.87
Current children cumulated vsize (KiB) 5104
[startup+1544.62 s]
/proc/loadavg: 2.00 2.01 2.00 3/86 13942
/proc/meminfo: memFree=1295904/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=1542.89
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 154275 14 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134691718 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 1542.89
Current children cumulated vsize (KiB) 5104
[startup+1604.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 13942
/proc/meminfo: memFree=1295968/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=1602.92
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 160278 14 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134666474 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 1602.92
Current children cumulated vsize (KiB) 5104
[startup+1664.79 s]
/proc/loadavg: 2.06 2.01 2.00 3/86 13942
/proc/meminfo: memFree=1295968/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=1662.95
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 166281 14 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134527840 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 1662.95
Current children cumulated vsize (KiB) 5104
[startup+1724.89 s]
/proc/loadavg: 2.02 2.01 2.00 3/86 13942
/proc/meminfo: memFree=1295968/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=1722.98
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 172284 14 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134645813 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 1722.98
Current children cumulated vsize (KiB) 5104
[startup+1784.99 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 13942
/proc/meminfo: memFree=1295968/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=1783.01
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 178286 15 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134530505 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 1783.01
Current children cumulated vsize (KiB) 5104
[startup+1845.07 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 13942
/proc/meminfo: memFree=1295968/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=1843.04
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 184289 15 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134691691 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 1843.04
Current children cumulated vsize (KiB) 5104
[startup+1905.08 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 13942
/proc/meminfo: memFree=1295968/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=1902.75
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 190260 15 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134691702 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 1902.75
Current children cumulated vsize (KiB) 5104
[startup+1965.16 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 13942
/proc/meminfo: memFree=1295968/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=1962.56
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 196241 15 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134691718 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 1962.56
Current children cumulated vsize (KiB) 5104
[startup+2025.23 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 13942
/proc/meminfo: memFree=1295968/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=2022.37
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 202222 15 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134530515 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 2022.37
Current children cumulated vsize (KiB) 5104
[startup+2085.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 13942
/proc/meminfo: memFree=1295968/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=2082.15
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 208200 15 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135237555 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 2082.15
Current children cumulated vsize (KiB) 5104
[startup+2145.38 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 13942
/proc/meminfo: memFree=1295904/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=2141.96
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 214181 15 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134530534 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 2141.96
Current children cumulated vsize (KiB) 5104
[startup+2205.46 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 13942
/proc/meminfo: memFree=1295968/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=2201.77
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 220162 15 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134666476 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 2201.77
Current children cumulated vsize (KiB) 5104
[startup+2265.53 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 13942
/proc/meminfo: memFree=1295904/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=2261.56
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 226140 16 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647808 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 2261.56
Current children cumulated vsize (KiB) 5104
[startup+2325.61 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 13942
/proc/meminfo: memFree=1295968/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=2321.36
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 232120 16 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134691702 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 2321.36
Current children cumulated vsize (KiB) 5104
[startup+2385.69 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 13942
/proc/meminfo: memFree=1295968/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=2381.18
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 238102 16 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135237566 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 2381.18
Current children cumulated vsize (KiB) 5104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2404.65 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 13942
/proc/meminfo: memFree=1295968/2055920 swapFree=4165612/4192956
[pid=13692] ppid=13690 vsize=5104 CPUtime=2400.04
/proc/13692/stat : 13692 (aolibpvo) R 13690 13692 13159 0 -1 0 966 0 0 0 239988 16 0 0 25 0 1 0 277105719 5226496 887 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134926234 0 0 4096 0 0 0 0 17 0 0 0
/proc/13692/statm: 1276 887 200 428 0 845 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 5104
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2404.66
CPU time (s): 2400.05
CPU user time (s): 2399.88
CPU system time (s): 0.166974
CPU usage (%): 99.8083
Max. virtual memory (cumulated for all children) (KiB): 5104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.88
system time used= 0.166974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 966
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= 6
involuntary context switches= 20247
runsolver used 2.32965 s user time and 6.60999 s system time
The end
Begin job on node1 on Sat Jan 20 09:58:19 UTC 2007
IDJOB= 278323
IDBENCH= 8270
IDSOLVER= 60
FILE ID= node1/278323-1169287099
PBS_JOBID= 3609494
Free space on /tmp= 66560 MiB
SOLVER NAME= aolibpvo 2007-01-17
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-2100-3000/cnf-3-40-2500-147421_ext.xml
COMMAND LINE= /tmp/evaluation/278323-1169287099/aolibpvo /tmp/evaluation/278323-1169287099/unknown.wcsp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node1/convwatcher-278323-1169287099 -o ROOT/results/node1/conversion-278323-1169287099 -C 600 -M 900 python xcsp2wcsp.py /tmp/evaluation/278323-1169287099/unknown.xml
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-278323-1169287099 -o ROOT/results/node1/solver-278323-1169287099 -C 2400 -M 900 /tmp/evaluation/278323-1169287099/aolibpvo /tmp/evaluation/278323-1169287099/unknown.wcsp
META MD5SUM SOLVER= b8e99429ba4d9a99d2bd28d3d95367aa
MD5SUM BENCH= b8da1be296b9a9adbdf775fbdaf7cb97
RANDOM SEED= 544354942
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1299592 kB
Buffers: 52828 kB
Cached: 583972 kB
SwapCached: 4372 kB
Active: 290476 kB
Inactive: 389740 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1299592 kB
SwapTotal: 4192956 kB
SwapFree: 4165612 kB
Dirty: 2348 kB
Writeback: 0 kB
Mapped: 54292 kB
Slab: 60920 kB
Committed_AS: 8188992 kB
PageTables: 2292 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= 66560 MiB
End job on node1 on Sat Jan 20 10:38:24 UTC 2007