runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1111626-1215850399/watcher-1111626-1215850399 -o /tmp/evaluation-result-1111626-1215850399/solver-1111626-1215850399 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/solver.sh HOME/instance-1111626-1215850399.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 15303
/proc/meminfo: memFree=1618328/2055920 swapFree=4181068/4192956
[pid=15303] ppid=15301 vsize=5356 CPUtime=0
/proc/15303/stat : 15303 (solver.sh) S 15301 15303 14492 0 -1 4194304 302 117 0 0 0 0 0 0 20 0 1 0 41742090 5484544 231 996147200 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15303/statm: 1339 231 192 169 0 50 0
[pid=15305] ppid=15303 vsize=3240 CPUtime=0
/proc/15305/stat : 15305 (toulbar2) R 15303 15303 14492 0 -1 4194304 105 0 0 0 0 0 0 0 23 0 1 0 41742090 3317760 88 996147200 134512640 137370052 4294956384 18446744073709551615 135044320 0 0 4096 0 0 0 0 17 1 0 0
/proc/15305/statm: 810 88 75 697 0 109 0
[startup+0.0239449 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 15303
/proc/meminfo: memFree=1618328/2055920 swapFree=4181068/4192956
[pid=15303] ppid=15301 vsize=5356 CPUtime=0
/proc/15303/stat : 15303 (solver.sh) S 15301 15303 14492 0 -1 4194304 302 117 0 0 0 0 0 0 20 0 1 0 41742090 5484544 231 996147200 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15303/statm: 1339 231 192 169 0 50 0
[pid=15305] ppid=15303 vsize=6632 CPUtime=0.01
/proc/15305/stat : 15305 (toulbar2) R 15303 15303 14492 0 -1 4194304 321 0 0 0 1 0 0 0 23 0 1 0 41742090 6791168 304 996147200 134512640 137370052 4294956384 18446744073709551615 134963895 0 0 4096 0 0 0 0 17 1 0 0
/proc/15305/statm: 1658 304 199 697 0 957 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11988
[startup+0.101966 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 15303
/proc/meminfo: memFree=1618328/2055920 swapFree=4181068/4192956
[pid=15303] ppid=15301 vsize=5356 CPUtime=0
/proc/15303/stat : 15303 (solver.sh) S 15301 15303 14492 0 -1 4194304 302 117 0 0 0 0 0 0 20 0 1 0 41742090 5484544 231 996147200 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15303/statm: 1339 231 192 169 0 50 0
[pid=15305] ppid=15303 vsize=7952 CPUtime=0.08
/proc/15305/stat : 15305 (toulbar2) R 15303 15303 14492 0 -1 4194304 669 0 0 0 8 0 0 0 23 0 1 0 41742090 8142848 652 996147200 134512640 137370052 4294956384 18446744073709551615 135028226 0 0 4096 0 0 0 0 17 1 0 0
/proc/15305/statm: 1988 652 199 697 0 1287 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13308
[startup+0.302002 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 15303
/proc/meminfo: memFree=1618328/2055920 swapFree=4181068/4192956
[pid=15303] ppid=15301 vsize=5356 CPUtime=0
/proc/15303/stat : 15303 (solver.sh) S 15301 15303 14492 0 -1 4194304 302 117 0 0 0 0 0 0 20 0 1 0 41742090 5484544 231 996147200 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15303/statm: 1339 231 192 169 0 50 0
[pid=15305] ppid=15303 vsize=11656 CPUtime=0.28
/proc/15305/stat : 15305 (toulbar2) R 15303 15303 14492 0 -1 4194304 1639 0 0 0 27 1 0 0 24 0 1 0 41742090 11935744 1587 996147200 134512640 137370052 4294956384 18446744073709551615 134676868 0 0 4096 0 0 0 0 17 1 0 0
/proc/15305/statm: 2914 1587 233 697 0 2213 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 17012
[startup+0.70108 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 15303
/proc/meminfo: memFree=1618328/2055920 swapFree=4181068/4192956
[pid=15303] ppid=15301 vsize=5356 CPUtime=0
/proc/15303/stat : 15303 (solver.sh) S 15301 15303 14492 0 -1 4194304 302 117 0 0 0 0 0 0 20 0 1 0 41742090 5484544 231 996147200 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15303/statm: 1339 231 192 169 0 50 0
[pid=15305] ppid=15303 vsize=17084 CPUtime=0.67
/proc/15305/stat : 15305 (toulbar2) R 15303 15303 14492 0 -1 4194304 3090 0 0 0 66 1 0 0 25 0 1 0 41742090 17494016 2968 996147200 134512640 137370052 4294956384 18446744073709551615 134676931 0 0 4096 0 0 0 0 17 1 0 0
/proc/15305/statm: 4271 2968 233 697 0 3570 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 22440
[startup+1.50124 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15306
/proc/meminfo: memFree=1602824/2055920 swapFree=4181068/4192956
[pid=15303] ppid=15301 vsize=5356 CPUtime=0
/proc/15303/stat : 15303 (solver.sh) S 15301 15303 14492 0 -1 4194304 302 117 0 0 0 0 0 0 20 0 1 0 41742090 5484544 231 996147200 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15303/statm: 1339 231 192 169 0 50 0
[pid=15305] ppid=15303 vsize=28080 CPUtime=1.46
/proc/15305/stat : 15305 (toulbar2) R 15303 15303 14492 0 -1 4194304 6013 0 0 0 144 2 0 0 25 0 1 0 41742090 28753920 5716 996147200 134512640 137370052 4294956384 18446744073709551615 134676873 0 0 4096 0 0 0 0 17 1 0 0
/proc/15305/statm: 7020 5716 233 697 0 6319 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 33436
[startup+3.10155 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15306
/proc/meminfo: memFree=1587656/2055920 swapFree=4181068/4192956
[pid=15303] ppid=15301 vsize=5356 CPUtime=0
/proc/15303/stat : 15303 (solver.sh) S 15301 15303 14492 0 -1 4194304 302 117 0 0 0 0 0 0 20 0 1 0 41742090 5484544 231 996147200 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15303/statm: 1339 231 192 169 0 50 0
[pid=15305] ppid=15303 vsize=50480 CPUtime=3.06
/proc/15305/stat : 15305 (toulbar2) R 15303 15303 14492 0 -1 4194304 11981 0 0 0 302 4 0 0 25 0 1 0 41742090 51691520 11299 996147200 134512640 137370052 4294956384 18446744073709551615 134676931 0 0 4096 0 0 0 0 17 1 0 0
/proc/15305/statm: 12620 11299 233 697 0 11919 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 55836
[startup+6.30118 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15306
/proc/meminfo: memFree=1558344/2055920 swapFree=4181068/4192956
[pid=15303] ppid=15301 vsize=5356 CPUtime=0
/proc/15303/stat : 15303 (solver.sh) S 15301 15303 14492 0 -1 4194304 302 117 0 0 0 0 0 0 20 0 1 0 41742090 5484544 231 996147200 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15303/statm: 1339 231 192 169 0 50 0
[pid=15305] ppid=15303 vsize=65196 CPUtime=6.22
/proc/15305/stat : 15305 (toulbar2) R 15303 15303 14492 0 -1 4194304 17026 0 0 0 616 6 0 0 25 0 1 0 41742090 66760704 15127 996147200 134512640 137370052 4294956384 18446744073709551615 134768156 0 0 4096 0 0 0 0 17 1 0 0
/proc/15305/statm: 16299 15127 293 697 0 15598 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 70552
[startup+12.7014 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15306
/proc/meminfo: memFree=1558408/2055920 swapFree=4181068/4192956
[pid=15303] ppid=15301 vsize=5356 CPUtime=0
/proc/15303/stat : 15303 (solver.sh) S 15301 15303 14492 0 -1 4194304 302 117 0 0 0 0 0 0 20 0 1 0 41742090 5484544 231 996147200 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15303/statm: 1339 231 192 169 0 50 0
[pid=15305] ppid=15303 vsize=65196 CPUtime=12.57
/proc/15305/stat : 15305 (toulbar2) R 15303 15303 14492 0 -1 4194304 17026 0 0 0 1251 6 0 0 25 0 1 0 41742090 66760704 15127 996147200 134512640 137370052 4294956384 18446744073709551615 134768163 0 0 4096 0 0 0 0 17 1 0 0
/proc/15305/statm: 16299 15127 293 697 0 15598 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 70552
[startup+25.502 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15306
/proc/meminfo: memFree=1558472/2055920 swapFree=4181068/4192956
[pid=15303] ppid=15301 vsize=5356 CPUtime=0
/proc/15303/stat : 15303 (solver.sh) S 15301 15303 14492 0 -1 4194304 302 117 0 0 0 0 0 0 20 0 1 0 41742090 5484544 231 996147200 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15303/statm: 1339 231 192 169 0 50 0
[pid=15305] ppid=15303 vsize=65196 CPUtime=25.26
/proc/15305/stat : 15305 (toulbar2) R 15303 15303 14492 0 -1 4194304 17026 0 0 0 2520 6 0 0 25 0 1 0 41742090 66760704 15127 996147200 134512640 137370052 4294956384 18446744073709551615 134786572 0 0 4096 0 0 0 0 17 1 0 0
/proc/15305/statm: 16299 15127 293 697 0 15598 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 70552
[startup+51.102 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15306
/proc/meminfo: memFree=1558536/2055920 swapFree=4181068/4192956
[pid=15303] ppid=15301 vsize=5356 CPUtime=0
/proc/15303/stat : 15303 (solver.sh) S 15301 15303 14492 0 -1 4194304 302 117 0 0 0 0 0 0 20 0 1 0 41742090 5484544 231 996147200 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15303/statm: 1339 231 192 169 0 50 0
[pid=15305] ppid=15303 vsize=65196 CPUtime=50.63
/proc/15305/stat : 15305 (toulbar2) R 15303 15303 14492 0 -1 4194304 17026 0 0 0 5057 6 0 0 25 0 1 0 41742090 66760704 15127 996147200 134512640 137370052 4294956384 18446744073709551615 134768163 0 0 4096 0 0 0 0 17 1 0 0
/proc/15305/statm: 16299 15127 293 697 0 15598 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 70552
[startup+102.305 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15306
/proc/meminfo: memFree=1558408/2055920 swapFree=4181068/4192956
[pid=15303] ppid=15301 vsize=5356 CPUtime=0
/proc/15303/stat : 15303 (solver.sh) S 15301 15303 14492 0 -1 4194304 302 117 0 0 0 0 0 0 20 0 1 0 41742090 5484544 231 996147200 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15303/statm: 1339 231 192 169 0 50 0
[pid=15305] ppid=15303 vsize=65196 CPUtime=101.39
/proc/15305/stat : 15305 (toulbar2) R 15303 15303 14492 0 -1 4194304 17026 0 0 0 10133 6 0 0 25 0 1 0 41742090 66760704 15127 996147200 134512640 137370052 4294956384 18446744073709551615 134768160 0 0 4096 0 0 0 0 17 1 0 0
/proc/15305/statm: 16299 15127 293 697 0 15598 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 70552
[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15306
/proc/meminfo: memFree=1558280/2055920 swapFree=4181068/4192956
[pid=15303] ppid=15301 vsize=5356 CPUtime=0
/proc/15303/stat : 15303 (solver.sh) S 15301 15303 14492 0 -1 4194304 302 117 0 0 0 0 0 0 20 0 1 0 41742090 5484544 231 996147200 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15303/statm: 1339 231 192 169 0 50 0
[pid=15305] ppid=15303 vsize=65196 CPUtime=160.88
/proc/15305/stat : 15305 (toulbar2) R 15303 15303 14492 0 -1 4194304 17026 0 0 0 16082 6 0 0 25 0 1 0 41742090 66760704 15127 996147200 134512640 137370052 4294956384 18446744073709551615 134768158 0 0 4096 0 0 0 0 17 1 0 0
/proc/15305/statm: 16299 15127 293 697 0 15598 0
Current children cumulated CPU time (s) 160.88
Current children cumulated vsize (KiB) 70552
[startup+222.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15306
/proc/meminfo: memFree=1558280/2055920 swapFree=4181068/4192956
[pid=15303] ppid=15301 vsize=5356 CPUtime=0
/proc/15303/stat : 15303 (solver.sh) S 15301 15303 14492 0 -1 4194304 302 117 0 0 0 0 0 0 20 0 1 0 41742090 5484544 231 996147200 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15303/statm: 1339 231 192 169 0 50 0
[pid=15305] ppid=15303 vsize=65196 CPUtime=220.36
/proc/15305/stat : 15305 (toulbar2) R 15303 15303 14492 0 -1 4194304 17026 0 0 0 22030 6 0 0 25 0 1 0 41742090 66760704 15127 996147200 134512640 137370052 4294956384 18446744073709551615 134768158 0 0 4096 0 0 0 0 17 1 0 0
/proc/15305/statm: 16299 15127 293 697 0 15598 0
Current children cumulated CPU time (s) 220.36
Current children cumulated vsize (KiB) 70552
[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15306
/proc/meminfo: memFree=1558344/2055920 swapFree=4181068/4192956
[pid=15303] ppid=15301 vsize=5356 CPUtime=0
/proc/15303/stat : 15303 (solver.sh) S 15301 15303 14492 0 -1 4194304 302 117 0 0 0 0 0 0 20 0 1 0 41742090 5484544 231 996147200 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15303/statm: 1339 231 192 169 0 50 0
[pid=15305] ppid=15303 vsize=65196 CPUtime=279.85
/proc/15305/stat : 15305 (toulbar2) R 15303 15303 14492 0 -1 4194304 17026 0 0 0 27979 6 0 0 25 0 1 0 41742090 66760704 15127 996147200 134512640 137370052 4294956384 18446744073709551615 134768277 0 0 4096 0 0 0 0 17 1 0 0
/proc/15305/statm: 16299 15127 293 697 0 15598 0
Current children cumulated CPU time (s) 279.85
Current children cumulated vsize (KiB) 70552
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15308
/proc/meminfo: memFree=1558152/2055920 swapFree=4181068/4192956
[pid=15303] ppid=15301 vsize=5356 CPUtime=0
/proc/15303/stat : 15303 (solver.sh) S 15301 15303 14492 0 -1 4194304 302 117 0 0 0 0 0 0 20 0 1 0 41742090 5484544 231 996147200 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15303/statm: 1339 231 192 169 0 50 0
[pid=15305] ppid=15303 vsize=65196 CPUtime=339.33
/proc/15305/stat : 15305 (toulbar2) R 15303 15303 14492 0 -1 4194304 17026 0 0 0 33927 6 0 0 25 0 1 0 41742090 66760704 15127 996147200 134512640 137370052 4294956384 18446744073709551615 134768156 0 0 4096 0 0 0 0 17 1 0 0
/proc/15305/statm: 16299 15127 293 697 0 15598 0
################
# More data... #
################
/proc/15305/statm: 16299 15127 293 697 0 15598 0
Current children cumulated CPU time (s) 2909.45
Current children cumulated vsize (KiB) 70552
[startup+2982.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 15365
/proc/meminfo: memFree=1021064/2055920 swapFree=4181068/4192956
[pid=15303] ppid=15301 vsize=5356 CPUtime=0
/proc/15303/stat : 15303 (solver.sh) S 15301 15303 14492 0 -1 4194304 302 117 0 0 0 0 0 0 20 0 1 0 41742090 5484544 231 996147200 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15303/statm: 1339 231 192 169 0 50 0
[pid=15305] ppid=15303 vsize=65196 CPUtime=2969.42
/proc/15305/stat : 15305 (toulbar2) R 15303 15303 14492 0 -1 4194304 17026 0 0 0 296931 11 0 0 25 0 1 0 41742090 66760704 15127 996147200 134512640 137370052 4294956384 18446744073709551615 134768148 0 0 4096 0 0 0 0 17 0 0 0
/proc/15305/statm: 16299 15127 293 697 0 15598 0
Current children cumulated CPU time (s) 2969.42
Current children cumulated vsize (KiB) 70552
[startup+3042.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 15365
/proc/meminfo: memFree=1021064/2055920 swapFree=4181068/4192956
[pid=15303] ppid=15301 vsize=5356 CPUtime=0
/proc/15303/stat : 15303 (solver.sh) S 15301 15303 14492 0 -1 4194304 302 117 0 0 0 0 0 0 20 0 1 0 41742090 5484544 231 996147200 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15303/statm: 1339 231 192 169 0 50 0
[pid=15305] ppid=15303 vsize=65196 CPUtime=3029.39
/proc/15305/stat : 15305 (toulbar2) R 15303 15303 14492 0 -1 4194304 17026 0 0 0 302928 11 0 0 25 0 1 0 41742090 66760704 15127 996147200 134512640 137370052 4294956384 18446744073709551615 134768156 0 0 4096 0 0 0 0 17 0 0 0
/proc/15305/statm: 16299 15127 293 697 0 15598 0
Current children cumulated CPU time (s) 3029.39
Current children cumulated vsize (KiB) 70552
[startup+3102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 15365
/proc/meminfo: memFree=1021064/2055920 swapFree=4181068/4192956
[pid=15303] ppid=15301 vsize=5356 CPUtime=0
/proc/15303/stat : 15303 (solver.sh) S 15301 15303 14492 0 -1 4194304 302 117 0 0 0 0 0 0 20 0 1 0 41742090 5484544 231 996147200 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15303/statm: 1339 231 192 169 0 50 0
[pid=15305] ppid=15303 vsize=65196 CPUtime=3089.37
/proc/15305/stat : 15305 (toulbar2) R 15303 15303 14492 0 -1 4194304 17026 0 0 0 308926 11 0 0 25 0 1 0 41742090 66760704 15127 996147200 134512640 137370052 4294956384 18446744073709551615 134768163 0 0 4096 0 0 0 0 17 0 0 0
/proc/15305/statm: 16299 15127 293 697 0 15598 0
Current children cumulated CPU time (s) 3089.37
Current children cumulated vsize (KiB) 70552
[startup+3162.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/84 15365
/proc/meminfo: memFree=1021000/2055920 swapFree=4181068/4192956
[pid=15303] ppid=15301 vsize=5356 CPUtime=0
/proc/15303/stat : 15303 (solver.sh) S 15301 15303 14492 0 -1 4194304 302 117 0 0 0 0 0 0 20 0 1 0 41742090 5484544 231 996147200 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15303/statm: 1339 231 192 169 0 50 0
[pid=15305] ppid=15303 vsize=65196 CPUtime=3149.34
/proc/15305/stat : 15305 (toulbar2) R 15303 15303 14492 0 -1 4194304 17026 0 0 0 314923 11 0 0 25 0 1 0 41742090 66760704 15127 996147200 134512640 137370052 4294956384 18446744073709551615 134768156 0 0 4096 0 0 0 0 17 0 0 0
/proc/15305/statm: 16299 15127 293 697 0 15598 0
Current children cumulated CPU time (s) 3149.34
Current children cumulated vsize (KiB) 70552
[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 15365
/proc/meminfo: memFree=1020936/2055920 swapFree=4181068/4192956
[pid=15303] ppid=15301 vsize=5356 CPUtime=0
/proc/15303/stat : 15303 (solver.sh) S 15301 15303 14492 0 -1 4194304 302 117 0 0 0 0 0 0 20 0 1 0 41742090 5484544 231 996147200 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15303/statm: 1339 231 192 169 0 50 0
[pid=15305] ppid=15303 vsize=65196 CPUtime=3209.31
/proc/15305/stat : 15305 (toulbar2) R 15303 15303 14492 0 -1 4194304 17026 0 0 0 320920 11 0 0 25 0 1 0 41742090 66760704 15127 996147200 134512640 137370052 4294956384 18446744073709551615 134768156 0 0 4096 0 0 0 0 17 0 0 0
/proc/15305/statm: 16299 15127 293 697 0 15598 0
Current children cumulated CPU time (s) 3209.31
Current children cumulated vsize (KiB) 70552
[startup+3282.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/84 15365
/proc/meminfo: memFree=1020808/2055920 swapFree=4181068/4192956
[pid=15303] ppid=15301 vsize=5356 CPUtime=0
/proc/15303/stat : 15303 (solver.sh) S 15301 15303 14492 0 -1 4194304 302 117 0 0 0 0 0 0 20 0 1 0 41742090 5484544 231 996147200 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15303/statm: 1339 231 192 169 0 50 0
[pid=15305] ppid=15303 vsize=65196 CPUtime=3269.29
/proc/15305/stat : 15305 (toulbar2) R 15303 15303 14492 0 -1 4194304 17026 0 0 0 326918 11 0 0 25 0 1 0 41742090 66760704 15127 996147200 134512640 137370052 4294956384 18446744073709551615 134768156 0 0 4096 0 0 0 0 17 0 0 0
/proc/15305/statm: 16299 15127 293 697 0 15598 0
Current children cumulated CPU time (s) 3269.29
Current children cumulated vsize (KiB) 70552
[startup+3342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/84 15365
/proc/meminfo: memFree=1020808/2055920 swapFree=4181068/4192956
[pid=15303] ppid=15301 vsize=5356 CPUtime=0
/proc/15303/stat : 15303 (solver.sh) S 15301 15303 14492 0 -1 4194304 302 117 0 0 0 0 0 0 20 0 1 0 41742090 5484544 231 996147200 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15303/statm: 1339 231 192 169 0 50 0
[pid=15305] ppid=15303 vsize=65196 CPUtime=3329.26
/proc/15305/stat : 15305 (toulbar2) R 15303 15303 14492 0 -1 4194304 17026 0 0 0 332915 11 0 0 25 0 1 0 41742090 66760704 15127 996147200 134512640 137370052 4294956384 18446744073709551615 134768160 0 0 4096 0 0 0 0 17 0 0 0
/proc/15305/statm: 16299 15127 293 697 0 15598 0
Current children cumulated CPU time (s) 3329.26
Current children cumulated vsize (KiB) 70552
[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 15365
/proc/meminfo: memFree=1020808/2055920 swapFree=4181068/4192956
[pid=15303] ppid=15301 vsize=5356 CPUtime=0
/proc/15303/stat : 15303 (solver.sh) S 15301 15303 14492 0 -1 4194304 302 117 0 0 0 0 0 0 20 0 1 0 41742090 5484544 231 996147200 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15303/statm: 1339 231 192 169 0 50 0
[pid=15305] ppid=15303 vsize=65196 CPUtime=3389.23
/proc/15305/stat : 15305 (toulbar2) R 15303 15303 14492 0 -1 4194304 17026 0 0 0 338912 11 0 0 25 0 1 0 41742090 66760704 15127 996147200 134512640 137370052 4294956384 18446744073709551615 134768160 0 0 4096 0 0 0 0 17 0 0 0
/proc/15305/statm: 16299 15127 293 697 0 15598 0
Current children cumulated CPU time (s) 3389.23
Current children cumulated vsize (KiB) 70552
[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 15365
/proc/meminfo: memFree=1020680/2055920 swapFree=4181068/4192956
[pid=15303] ppid=15301 vsize=5356 CPUtime=0
/proc/15303/stat : 15303 (solver.sh) S 15301 15303 14492 0 -1 4194304 302 117 0 0 0 0 0 0 20 0 1 0 41742090 5484544 231 996147200 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15303/statm: 1339 231 192 169 0 50 0
[pid=15305] ppid=15303 vsize=65196 CPUtime=3449.2
/proc/15305/stat : 15305 (toulbar2) R 15303 15303 14492 0 -1 4194304 17026 0 0 0 344909 11 0 0 25 0 1 0 41742090 66760704 15127 996147200 134512640 137370052 4294956384 18446744073709551615 134768160 0 0 4096 0 0 0 0 17 0 0 0
/proc/15305/statm: 16299 15127 293 697 0 15598 0
Current children cumulated CPU time (s) 3449.2
Current children cumulated vsize (KiB) 70552
[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 15365
/proc/meminfo: memFree=1020680/2055920 swapFree=4181068/4192956
[pid=15303] ppid=15301 vsize=5356 CPUtime=0
/proc/15303/stat : 15303 (solver.sh) S 15301 15303 14492 0 -1 4194304 302 117 0 0 0 0 0 0 20 0 1 0 41742090 5484544 231 996147200 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15303/statm: 1339 231 192 169 0 50 0
[pid=15305] ppid=15303 vsize=65196 CPUtime=3509.18
/proc/15305/stat : 15305 (toulbar2) R 15303 15303 14492 0 -1 4194304 17026 0 0 0 350907 11 0 0 25 0 1 0 41742090 66760704 15127 996147200 134512640 137370052 4294956384 18446744073709551615 134768160 0 0 4096 0 0 0 0 17 0 0 0
/proc/15305/statm: 16299 15127 293 697 0 15598 0
Current children cumulated CPU time (s) 3509.18
Current children cumulated vsize (KiB) 70552
[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 15365
/proc/meminfo: memFree=1020616/2055920 swapFree=4181068/4192956
[pid=15303] ppid=15301 vsize=5356 CPUtime=0
/proc/15303/stat : 15303 (solver.sh) S 15301 15303 14492 0 -1 4194304 302 117 0 0 0 0 0 0 20 0 1 0 41742090 5484544 231 996147200 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15303/statm: 1339 231 192 169 0 50 0
[pid=15305] ppid=15303 vsize=65196 CPUtime=3569.15
/proc/15305/stat : 15305 (toulbar2) R 15303 15303 14492 0 -1 4194304 17026 0 0 0 356904 11 0 0 25 0 1 0 41742090 66760704 15127 996147200 134512640 137370052 4294956384 18446744073709551615 134768160 0 0 4096 0 0 0 0 17 0 0 0
/proc/15305/statm: 16299 15127 293 697 0 15598 0
Current children cumulated CPU time (s) 3569.15
Current children cumulated vsize (KiB) 70552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 15365
/proc/meminfo: memFree=1020616/2055920 swapFree=4181068/4192956
[pid=15303] ppid=15301 vsize=5356 CPUtime=0
/proc/15303/stat : 15303 (solver.sh) S 15301 15303 14492 0 -1 4194304 302 117 0 0 0 0 0 0 20 0 1 0 41742090 5484544 231 996147200 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15303/statm: 1339 231 192 169 0 50 0
[pid=15305] ppid=15303 vsize=65196 CPUtime=3600.04
/proc/15305/stat : 15305 (toulbar2) R 15303 15303 14492 0 -1 4194304 17026 0 0 0 359993 11 0 0 25 0 1 0 41742090 66760704 15127 996147200 134512640 137370052 4294956384 18446744073709551615 134768160 0 0 4096 0 0 0 0 17 0 0 0
/proc/15305/statm: 16299 15127 293 697 0 15598 0
Current children cumulated CPU time (s) 3600.04
Current children cumulated vsize (KiB) 70552
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)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15303 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.002998
# while last known CPU time is 3600.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 3613.21
CPU time (s): 3600.04
CPU user time (s): 3599.93
CPU system time (s): 0.11
CPU usage (%): 99.6354
Max. virtual memory (cumulated for all children) (KiB): 70552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.001999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 419
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= 2
runsolver used 4.80427 second user time and 10.2024 second system time
The end
Begin job on node20 at 2008-07-12 10:13:19
IDJOB=1111626
IDBENCH=61302
IDSOLVER=371
FILE ID=node20/1111626-1215850399
PBS_JOBID= 7903378
Free space on /tmp= 66500 MiB
SOLVER NAME= toulbar2 2008-06-27
BENCH NAME= CPAI08/csp/ogdVg/normalized-crossword-m1c-ogd-vg13-15_ext.xml
COMMAND LINE= HOME/solver.sh BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1111626-1215850399/watcher-1111626-1215850399 -o /tmp/evaluation-result-1111626-1215850399/solver-1111626-1215850399 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/solver.sh HOME/instance-1111626-1215850399.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 91369ad0805d89bc83cd88f650859b12
RANDOM SEED=1789470737
node20.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: 2055920 kB
MemFree: 1618808 kB
Buffers: 34356 kB
Cached: 91860 kB
SwapCached: 5704 kB
Active: 316644 kB
Inactive: 60668 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1618808 kB
SwapTotal: 4192956 kB
SwapFree: 4181068 kB
Dirty: 10712 kB
Writeback: 0 kB
Mapped: 267144 kB
Slab: 44460 kB
Committed_AS: 521112 kB
PageTables: 2332 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= 66444 MiB
End job on node20 at 2008-07-12 11:13:34