runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node23/watcher-282796-1169322460 -o ROOT/results/node23/solver-282796-1169322460 -C 2400 -M 900 /tmp/evaluation/282796-1169322460/aolibpvo /tmp/evaluation/282796-1169322460/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 1.97 1.64 5/93 25341
/proc/meminfo: memFree=1263192/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=2452 CPUtime=0
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 160 0 0 0 0 0 0 0 20 0 1 0 280640569 2510848 142 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135631193 0 0 4096 0 0 0 0 17 1 0 0
/proc/25340/statm: 613 142 120 428 0 182 0
[startup+0.105799 s]
/proc/loadavg: 2.01 1.97 1.64 5/93 25341
/proc/meminfo: memFree=1263192/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=2848 CPUtime=0.09
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 282 0 0 0 9 0 0 0 20 0 1 0 280640569 2916352 264 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135054154 0 0 4096 0 0 0 0 17 1 0 0
/proc/25340/statm: 712 264 121 428 0 281 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2848
[startup+0.517861 s]
/proc/loadavg: 2.01 1.97 1.64 5/93 25341
/proc/meminfo: memFree=1263192/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=4904 CPUtime=0.5
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 1388 0 0 0 49 1 0 0 24 0 1 0 280640569 5021696 810 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135173664 0 0 4096 0 0 0 0 17 1 0 0
/proc/25340/statm: 1226 810 170 428 0 795 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 4904
[startup+1.3446 s]
/proc/loadavg: 2.01 1.97 1.64 3/93 25341
/proc/meminfo: memFree=1259544/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=5940 CPUtime=1.32
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 1806 0 0 0 130 2 0 0 25 0 1 0 280640569 6082560 1066 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135160620 0 0 4096 0 0 0 0 17 1 0 0
/proc/25340/statm: 1485 1066 170 428 0 1054 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 5940
[startup+2.98491 s]
/proc/loadavg: 2.01 1.97 1.64 3/93 25341
/proc/meminfo: memFree=1250456/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=14956 CPUtime=2.95
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4122 0 0 0 293 2 0 0 25 0 1 0 280640569 15314944 3336 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647983 0 0 4096 0 0 0 0 17 1 0 0
/proc/25340/statm: 3739 3336 194 428 0 3308 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 14956
[startup+6.26455 s]
/proc/loadavg: 2.00 1.97 1.64 3/93 25341
/proc/meminfo: memFree=1250456/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=14956 CPUtime=6.2
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4122 0 0 0 618 2 0 0 25 0 1 0 280640569 15314944 3336 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647928 0 0 4096 0 0 0 0 17 1 0 0
/proc/25340/statm: 3739 3336 194 428 0 3308 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 14956
[startup+12.7288 s]
/proc/loadavg: 2.00 1.97 1.65 3/93 25341
/proc/meminfo: memFree=1250584/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=14956 CPUtime=12.61
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4124 0 0 0 1259 2 0 0 25 0 1 0 280640569 15314944 3338 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647985 0 0 4096 0 0 0 0 17 1 0 0
/proc/25340/statm: 3739 3338 194 428 0 3308 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 14956
[startup+25.5423 s]
/proc/loadavg: 2.00 1.97 1.65 3/93 25341
/proc/meminfo: memFree=1250648/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=14956 CPUtime=25.32
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4124 0 0 0 2530 2 0 0 25 0 1 0 280640569 15314944 3338 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134658339 0 0 4096 0 0 0 0 17 1 0 0
/proc/25340/statm: 3739 3338 194 428 0 3308 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 14956
[startup+51.1822 s]
/proc/loadavg: 2.00 1.97 1.66 3/93 25341
/proc/meminfo: memFree=1250712/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=14956 CPUtime=50.75
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4124 0 0 0 5072 3 0 0 25 0 1 0 280640569 15314944 3338 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134643451 0 0 4096 0 0 0 0 17 1 0 0
/proc/25340/statm: 3739 3338 194 428 0 3308 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 14956
[startup+102.447 s]
/proc/loadavg: 2.00 1.97 1.67 3/93 25341
/proc/meminfo: memFree=1250584/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=101.56
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4173 0 0 0 10153 3 0 0 25 0 1 0 280640569 15507456 3382 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647967 0 0 4096 0 0 0 0 17 1 0 0
/proc/25340/statm: 3786 3382 194 428 0 3355 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 15144
[startup+162.505 s]
/proc/loadavg: 2.00 1.97 1.69 3/93 25341
/proc/meminfo: memFree=1250520/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=161.1
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4174 0 0 0 16106 4 0 0 25 0 1 0 280640569 15507456 3383 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135237971 0 0 4096 0 0 0 0 17 1 0 0
/proc/25340/statm: 3786 3383 194 428 0 3355 0
Current children cumulated CPU time (s) 161.1
Current children cumulated vsize (KiB) 15144
[startup+222.566 s]
/proc/loadavg: 2.00 1.97 1.71 3/93 25341
/proc/meminfo: memFree=1250520/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=220.61
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4176 0 0 0 22057 4 0 0 25 0 1 0 280640569 15507456 3385 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134658370 0 0 4096 0 0 0 0 17 1 0 0
/proc/25340/statm: 3786 3385 194 428 0 3355 0
Current children cumulated CPU time (s) 220.61
Current children cumulated vsize (KiB) 15144
[startup+282.641 s]
/proc/loadavg: 2.00 1.97 1.72 3/93 25341
/proc/meminfo: memFree=1250520/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=280.17
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4176 0 0 0 28012 5 0 0 25 0 1 0 280640569 15507456 3385 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134691691 0 0 4096 0 0 0 0 17 1 0 0
/proc/25340/statm: 3786 3385 194 428 0 3355 0
Current children cumulated CPU time (s) 280.17
Current children cumulated vsize (KiB) 15144
[startup+342.74 s]
/proc/loadavg: 2.00 1.97 1.74 3/93 25341
/proc/meminfo: memFree=1250520/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=339.75
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4176 0 0 0 33970 5 0 0 25 0 1 0 280640569 15507456 3385 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134530515 0 0 4096 0 0 0 0 17 1 0 0
/proc/25340/statm: 3786 3385 194 428 0 3355 0
Current children cumulated CPU time (s) 339.75
Current children cumulated vsize (KiB) 15144
[startup+402.778 s]
/proc/loadavg: 2.00 1.97 1.75 3/93 25341
/proc/meminfo: memFree=1250520/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=399.28
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4176 0 0 0 39922 6 0 0 25 0 1 0 280640569 15507456 3385 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134530519 0 0 4096 0 0 0 0 17 1 0 0
/proc/25340/statm: 3786 3385 194 428 0 3355 0
Current children cumulated CPU time (s) 399.28
Current children cumulated vsize (KiB) 15144
[startup+462.873 s]
/proc/loadavg: 2.04 1.99 1.77 3/93 25341
/proc/meminfo: memFree=1250520/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=458.87
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4176 0 0 0 45881 6 0 0 25 0 1 0 280640569 15507456 3385 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647928 0 0 4096 0 0 0 0 17 1 0 0
/proc/25340/statm: 3786 3385 194 428 0 3355 0
Current children cumulated CPU time (s) 458.87
Current children cumulated vsize (KiB) 15144
[startup+522.901 s]
/proc/loadavg: 2.01 1.99 1.78 3/93 25341
/proc/meminfo: memFree=1250520/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=518.38
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4176 0 0 0 51831 7 0 0 25 0 1 0 280640569 15507456 3385 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134683048 0 0 4096 0 0 0 0 17 1 0 0
/proc/25340/statm: 3786 3385 194 428 0 3355 0
Current children cumulated CPU time (s) 518.38
Current children cumulated vsize (KiB) 15144
[startup+582.956 s]
/proc/loadavg: 2.00 1.99 1.79 3/93 25341
/proc/meminfo: memFree=1250520/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=577.92
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4176 0 0 0 57785 7 0 0 25 0 1 0 280640569 15507456 3385 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134691691 0 0 4096 0 0 0 0 17 1 0 0
/proc/25340/statm: 3786 3385 194 428 0 3355 0
Current children cumulated CPU time (s) 577.92
Current children cumulated vsize (KiB) 15144
[startup+643.045 s]
/proc/loadavg: 2.00 1.99 1.80 3/93 25341
/proc/meminfo: memFree=1250520/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=637.51
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4176 0 0 0 63743 8 0 0 25 0 1 0 280640569 15507456 3385 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134666412 0 0 4096 0 0 0 0 17 1 0 0
/proc/25340/statm: 3786 3385 194 428 0 3355 0
Current children cumulated CPU time (s) 637.51
Current children cumulated vsize (KiB) 15144
[startup+703.104 s]
/proc/loadavg: 2.00 1.99 1.81 3/93 25341
/proc/meminfo: memFree=1250520/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=697.02
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4176 0 0 0 69694 8 0 0 25 0 1 0 280640569 15507456 3385 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135237740 0 0 4096 0 0 0 0 17 1 0 0
/proc/25340/statm: 3786 3385 194 428 0 3355 0
Current children cumulated CPU time (s) 697.02
Current children cumulated vsize (KiB) 15144
[startup+763.16 s]
/proc/loadavg: 2.00 1.99 1.82 3/93 25341
/proc/meminfo: memFree=1250456/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=756.56
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4176 0 0 0 75648 8 0 0 25 0 1 0 280640569 15507456 3385 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 135237564 0 0 4096 0 0 0 0 17 1 0 0
/proc/25340/statm: 3786 3385 194 428 0 3355 0
Current children cumulated CPU time (s) 756.56
Current children cumulated vsize (KiB) 15144
[startup+823.23 s]
/proc/loadavg: 2.00 1.99 1.83 3/99 25443
/proc/meminfo: memFree=1249232/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=815.98
################
# More data... #
################
Current children cumulated vsize (KiB) 15144
[startup+1423.62 s]
/proc/loadavg: 2.00 1.99 1.89 3/87 25627
/proc/meminfo: memFree=1196360/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=1415.1
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4176 0 0 0 141500 10 0 0 25 0 1 0 280640569 15507456 3385 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647967 0 0 4096 0 0 0 0 17 0 0 0
/proc/25340/statm: 3786 3385 194 428 0 3355 0
Current children cumulated CPU time (s) 1415.1
Current children cumulated vsize (KiB) 15144
[startup+1483.69 s]
/proc/loadavg: 2.00 1.99 1.89 3/87 25627
/proc/meminfo: memFree=1196360/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=1475.1
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4176 0 0 0 147500 10 0 0 25 0 1 0 280640569 15507456 3385 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134530540 0 0 4096 0 0 0 0 17 0 0 0
/proc/25340/statm: 3786 3385 194 428 0 3355 0
Current children cumulated CPU time (s) 1475.1
Current children cumulated vsize (KiB) 15144
[startup+1543.76 s]
/proc/loadavg: 2.00 1.99 1.90 3/87 25627
/proc/meminfo: memFree=1196360/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=1535.12
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4176 0 0 0 153502 10 0 0 25 0 1 0 280640569 15507456 3385 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647983 0 0 4096 0 0 0 0 17 0 0 0
/proc/25340/statm: 3786 3385 194 428 0 3355 0
Current children cumulated CPU time (s) 1535.12
Current children cumulated vsize (KiB) 15144
[startup+1603.82 s]
/proc/loadavg: 2.00 1.99 1.90 3/87 25627
/proc/meminfo: memFree=1196424/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=1595.1
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4176 0 0 0 159499 11 0 0 25 0 1 0 280640569 15507456 3385 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134528040 0 0 4096 0 0 0 0 17 0 0 0
/proc/25340/statm: 3786 3385 194 428 0 3355 0
Current children cumulated CPU time (s) 1595.1
Current children cumulated vsize (KiB) 15144
[startup+1663.88 s]
/proc/loadavg: 2.00 1.99 1.91 3/87 25627
/proc/meminfo: memFree=1196424/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=1655.1
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4176 0 0 0 165499 11 0 0 25 0 1 0 280640569 15507456 3385 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647983 0 0 4096 0 0 0 0 17 0 0 0
/proc/25340/statm: 3786 3385 194 428 0 3355 0
Current children cumulated CPU time (s) 1655.1
Current children cumulated vsize (KiB) 15144
[startup+1723.94 s]
/proc/loadavg: 2.00 1.99 1.91 3/87 25627
/proc/meminfo: memFree=1196424/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=1715.09
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4176 0 0 0 171498 11 0 0 25 0 1 0 280640569 15507456 3385 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647983 0 0 4096 0 0 0 0 17 0 0 0
/proc/25340/statm: 3786 3385 194 428 0 3355 0
Current children cumulated CPU time (s) 1715.09
Current children cumulated vsize (KiB) 15144
[startup+1783.94 s]
/proc/loadavg: 2.00 1.99 1.91 3/87 25627
/proc/meminfo: memFree=1196360/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=1775.02
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4176 0 0 0 177491 11 0 0 25 0 1 0 280640569 15507456 3385 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647928 0 0 4096 0 0 0 0 17 0 0 0
/proc/25340/statm: 3786 3385 194 428 0 3355 0
Current children cumulated CPU time (s) 1775.02
Current children cumulated vsize (KiB) 15144
[startup+1843.95 s]
/proc/loadavg: 2.00 1.99 1.91 3/87 25627
/proc/meminfo: memFree=1196360/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=1834.96
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4176 0 0 0 183485 11 0 0 25 0 1 0 280640569 15507456 3385 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647970 0 0 4096 0 0 0 0 17 0 0 0
/proc/25340/statm: 3786 3385 194 428 0 3355 0
Current children cumulated CPU time (s) 1834.96
Current children cumulated vsize (KiB) 15144
[startup+1903.99 s]
/proc/loadavg: 2.00 1.99 1.91 3/87 25627
/proc/meminfo: memFree=1196360/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=1894.94
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4176 0 0 0 189483 11 0 0 25 0 1 0 280640569 15507456 3385 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134530529 0 0 4096 0 0 0 0 17 0 0 0
/proc/25340/statm: 3786 3385 194 428 0 3355 0
Current children cumulated CPU time (s) 1894.94
Current children cumulated vsize (KiB) 15144
[startup+1964.07 s]
/proc/loadavg: 2.00 1.99 1.91 3/87 25627
/proc/meminfo: memFree=1196424/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=1954.93
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4176 0 0 0 195482 11 0 0 25 0 1 0 280640569 15507456 3385 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647967 0 0 4096 0 0 0 0 17 0 0 0
/proc/25340/statm: 3786 3385 194 428 0 3355 0
Current children cumulated CPU time (s) 1954.93
Current children cumulated vsize (KiB) 15144
[startup+2024.14 s]
/proc/loadavg: 2.04 2.00 1.91 3/87 25627
/proc/meminfo: memFree=1196424/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=2014.94
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4176 0 0 0 201483 11 0 0 25 0 1 0 280640569 15507456 3385 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134527837 0 0 4096 0 0 0 0 17 0 0 0
/proc/25340/statm: 3786 3385 194 428 0 3355 0
Current children cumulated CPU time (s) 2014.94
Current children cumulated vsize (KiB) 15144
[startup+2084.21 s]
/proc/loadavg: 2.08 2.02 1.92 3/87 25629
/proc/meminfo: memFree=1196232/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=2074.95
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4176 0 0 0 207484 11 0 0 25 0 1 0 280640569 15507456 3385 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134648039 0 0 4096 0 0 0 0 17 0 0 0
/proc/25340/statm: 3786 3385 194 428 0 3355 0
Current children cumulated CPU time (s) 2074.95
Current children cumulated vsize (KiB) 15144
[startup+2144.28 s]
/proc/loadavg: 2.03 2.01 1.92 3/87 25629
/proc/meminfo: memFree=1196232/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=2134.94
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4176 0 0 0 213483 11 0 0 25 0 1 0 280640569 15507456 3385 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134646468 0 0 4096 0 0 0 0 17 0 0 0
/proc/25340/statm: 3786 3385 194 428 0 3355 0
Current children cumulated CPU time (s) 2134.94
Current children cumulated vsize (KiB) 15144
[startup+2204.36 s]
/proc/loadavg: 2.01 2.00 1.92 3/87 25629
/proc/meminfo: memFree=1196232/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=2194.96
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4176 0 0 0 219485 11 0 0 25 0 1 0 280640569 15507456 3385 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134647907 0 0 4096 0 0 0 0 17 0 0 0
/proc/25340/statm: 3786 3385 194 428 0 3355 0
Current children cumulated CPU time (s) 2194.96
Current children cumulated vsize (KiB) 15144
[startup+2264.43 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 25629
/proc/meminfo: memFree=1196232/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=2254.97
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4176 0 0 0 225485 12 0 0 25 0 1 0 280640569 15507456 3385 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134646350 0 0 4096 0 0 0 0 17 0 0 0
/proc/25340/statm: 3786 3385 194 428 0 3355 0
Current children cumulated CPU time (s) 2254.97
Current children cumulated vsize (KiB) 15144
[startup+2324.51 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 25629
/proc/meminfo: memFree=1196296/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=2314.97
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4176 0 0 0 231485 12 0 0 25 0 1 0 280640569 15507456 3385 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134691702 0 0 4096 0 0 0 0 17 0 0 0
/proc/25340/statm: 3786 3385 194 428 0 3355 0
Current children cumulated CPU time (s) 2314.97
Current children cumulated vsize (KiB) 15144
[startup+2384.58 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 25629
/proc/meminfo: memFree=1196296/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=2374.98
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4176 0 0 0 237486 12 0 0 25 0 1 0 280640569 15507456 3385 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134530534 0 0 4096 0 0 0 0 17 0 0 0
/proc/25340/statm: 3786 3385 194 428 0 3355 0
Current children cumulated CPU time (s) 2374.98
Current children cumulated vsize (KiB) 15144
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2409.74 s]
/proc/loadavg: 2.00 2.00 1.92 3/87 25629
/proc/meminfo: memFree=1196296/2055920 swapFree=4156072/4192956
[pid=25340] ppid=25338 vsize=15144 CPUtime=2400.1
/proc/25340/stat : 25340 (aolibpvo) R 25338 25340 24974 0 -1 0 4176 0 0 0 239998 12 0 0 25 0 1 0 280640569 15507456 3385 18446744073709551615 134512640 136266365 4294956720 18446744073709551615 134529825 0 0 4096 0 0 0 0 17 0 0 0
/proc/25340/statm: 3786 3385 194 428 0 3355 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 15144
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2409.75
CPU time (s): 2400.11
CPU user time (s): 2399.99
CPU system time (s): 0.12698
CPU usage (%): 99.6001
Max. virtual memory (cumulated for all children) (KiB): 15144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.99
system time used= 0.12698
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4176
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= 48437
runsolver used 2.6466 s user time and 7.58985 s system time
The end
Begin job on node23 on Sat Jan 20 19:47:41 UTC 2007
IDJOB= 282796
IDBENCH= 12892
IDSOLVER= 60
FILE ID= node23/282796-1169322460
PBS_JOBID= 3610365
Free space on /tmp= 66560 MiB
SOLVER NAME= aolibpvo 2007-01-17
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/spot5/spot5-412_ext.xml
COMMAND LINE= /tmp/evaluation/282796-1169322460/aolibpvo /tmp/evaluation/282796-1169322460/unknown.wcsp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node23/convwatcher-282796-1169322460 -o ROOT/results/node23/conversion-282796-1169322460 -C 600 -M 900 python xcsp2wcsp.py /tmp/evaluation/282796-1169322460/unknown.xml
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-282796-1169322460 -o ROOT/results/node23/solver-282796-1169322460 -C 2400 -M 900 /tmp/evaluation/282796-1169322460/aolibpvo /tmp/evaluation/282796-1169322460/unknown.wcsp
META MD5SUM SOLVER= b8e99429ba4d9a99d2bd28d3d95367aa
MD5SUM BENCH= e2bb57b64ea041802fd08f50c8d26f5b
RANDOM SEED= 633902110
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.265
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.265
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: 1263608 kB
Buffers: 41076 kB
Cached: 621512 kB
SwapCached: 12040 kB
Active: 194196 kB
Inactive: 531924 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1263608 kB
SwapTotal: 4192956 kB
SwapFree: 4156072 kB
Dirty: 2512 kB
Writeback: 0 kB
Mapped: 87028 kB
Slab: 50676 kB
Committed_AS: 6135892 kB
PageTables: 2384 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 node23 on Sat Jan 20 20:27:52 UTC 2007