runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3705259-1338101981/watcher-3705259-1338101981 -o /tmp/evaluation-result-3705259-1338101981/solver-3705259-1338101981 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705259-1338101981.opb
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17269
/proc/meminfo: memFree=31167688/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=83564 CPUtime=0 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 746 0 0 0 0 0 0 0 20 0 2 0 276324012 85569536 698 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 20891 698 189 432 0 20456 0
[pid=17269/tid=17270] ppid=17267 vsize=83564 CPUtime=0 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 2 0 276324012 85569536 698 33554432000 4194304 5963574 140736126578416 140737128551848 5135642 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[startup+0.0921611 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17269
/proc/meminfo: memFree=31167688/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=83564 CPUtime=0.08 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 1013 0 0 0 8 0 0 0 20 0 2 0 276324012 85569536 965 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 20891 965 190 432 0 20456 0
[pid=17269/tid=17270] ppid=17267 vsize=83564 CPUtime=0.07 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 312 0 0 0 7 0 0 0 20 0 2 0 276324012 85569536 965 33554432000 4194304 5963574 140736126578416 140737128551848 5135572 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 83564
[startup+0.100223 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17269
/proc/meminfo: memFree=31167688/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=83564 CPUtime=0.09 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 1031 0 0 0 9 0 0 0 20 0 2 0 276324012 85569536 983 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 20891 983 190 432 0 20456 0
[pid=17269/tid=17270] ppid=17267 vsize=83564 CPUtime=0.08 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 330 0 0 0 8 0 0 0 20 0 2 0 276324012 85569536 983 33554432000 4194304 5963574 140736126578416 140737128551848 5135572 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83564
[startup+0.300207 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17269
/proc/meminfo: memFree=31167688/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=83564 CPUtime=0.29 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 1398 0 0 0 29 0 0 0 20 0 2 0 276324012 85569536 1350 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 20891 1350 190 432 0 20456 0
[pid=17269/tid=17270] ppid=17267 vsize=83564 CPUtime=0.28 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 697 0 0 0 28 0 0 0 20 0 2 0 276324012 85569536 1350 33554432000 4194304 5963574 140736126578416 140737128551848 4399560 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83564
[startup+0.700204 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17269
/proc/meminfo: memFree=31167688/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=83708 CPUtime=0.69 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 1708 0 0 0 69 0 0 0 20 0 2 0 276324012 85716992 1660 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 20927 1660 190 432 0 20492 0
[pid=17269/tid=17270] ppid=17267 vsize=83708 CPUtime=0.68 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 1007 0 0 0 68 0 0 0 20 0 2 0 276324012 85716992 1660 33554432000 4194304 5963574 140736126578416 140639604594488 5135572 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83708
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17271
/proc/meminfo: memFree=31159464/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=83708 CPUtime=1.49 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 2326 0 0 0 149 0 0 0 20 0 2 0 276324012 85716992 2278 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 20927 2278 190 432 0 20492 0
[pid=17269/tid=17270] ppid=17267 vsize=83708 CPUtime=1.48 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 1625 0 0 0 148 0 0 0 20 0 2 0 276324012 85716992 2278 33554432000 4194304 5963574 140736126578416 140639604594488 5135642 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83708
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17271
/proc/meminfo: memFree=31153636/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=84068 CPUtime=3.09 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 3127 0 0 0 309 0 0 0 20 0 2 0 276324012 86085632 3079 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 21017 3079 190 432 0 20582 0
[pid=17269/tid=17270] ppid=17267 vsize=84068 CPUtime=3.08 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 2426 0 0 0 308 0 0 0 20 0 2 0 276324012 86085632 3079 33554432000 4194304 5963574 140736126578416 140639604594200 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84068
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17271
/proc/meminfo: memFree=31144344/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=84464 CPUtime=6.29 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 4245 0 0 0 628 1 0 0 20 0 2 0 276324012 86491136 4197 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 21116 4197 190 432 0 20681 0
[pid=17269/tid=17270] ppid=17267 vsize=84464 CPUtime=6.28 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 3544 0 0 0 628 0 0 0 20 0 2 0 276324012 86491136 4197 33554432000 4194304 5963574 140736126578416 140639604594200 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84464
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17271
/proc/meminfo: memFree=31136964/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=85812 CPUtime=12.68 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 6315 0 0 0 1267 1 0 0 20 0 2 0 276324012 87871488 6262 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 21453 6262 190 432 0 21018 0
[pid=17269/tid=17270] ppid=17267 vsize=85812 CPUtime=12.68 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 5614 0 0 0 1266 2 0 0 20 0 2 0 276324012 87871488 6262 33554432000 4194304 5963574 140736126578416 140639604594200 4388768 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 85812
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17274
/proc/meminfo: memFree=31115704/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=87564 CPUtime=25.48 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 9395 0 0 0 2546 2 0 0 20 0 2 0 276324012 89665536 9337 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 21891 9337 190 432 0 21456 0
[pid=17269/tid=17270] ppid=17267 vsize=87564 CPUtime=25.48 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 8694 0 0 0 2545 3 0 0 20 0 2 0 276324012 89665536 9337 33554432000 4194304 5963574 140736126578416 140639604594200 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 87564
[startup+51.1001 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17274
/proc/meminfo: memFree=31077940/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=89256 CPUtime=51.08 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 14090 0 0 0 5102 6 0 0 20 0 2 0 276324012 91398144 14031 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 22314 14031 190 432 0 21879 0
[pid=17269/tid=17270] ppid=17267 vsize=89256 CPUtime=51.08 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 13389 0 0 0 5101 7 0 0 20 0 2 0 276324012 91398144 14031 33554432000 4194304 5963574 140736126578416 140639604594488 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 89256
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17297
/proc/meminfo: memFree=31019176/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=158624 CPUtime=102.26 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 22431 0 0 0 10214 12 0 0 20 0 2 0 276324012 162430976 23101 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 39656 23101 190 432 0 39221 0
[pid=17269/tid=17270] ppid=17267 vsize=158624 CPUtime=102.27 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 21730 0 0 0 10213 14 0 0 20 0 2 0 276324012 162430976 23101 33554432000 4194304 5963574 140736126578416 140639604594200 4378832 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 158624
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17297
/proc/meminfo: memFree=30965296/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=160644 CPUtime=162.24 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 29770 0 0 0 16206 18 0 0 20 0 2 0 276324012 164499456 30440 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 40161 30440 190 432 0 39726 0
[pid=17269/tid=17270] ppid=17267 vsize=160644 CPUtime=162.27 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 29069 0 0 0 16206 21 0 0 20 0 2 0 276324012 164499456 30440 33554432000 4194304 5963574 140736126578416 140639604594200 4399474 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 160644
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17297
/proc/meminfo: memFree=30911252/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=163332 CPUtime=222.22 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 35476 0 0 0 22198 24 0 0 20 0 2 0 276324012 167251968 36137 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 40833 36137 190 432 0 40398 0
[pid=17269/tid=17270] ppid=17267 vsize=163332 CPUtime=222.26 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 34775 0 0 0 22198 28 0 0 20 0 2 0 276324012 167251968 36137 33554432000 4194304 5963574 140736126578416 140639604594200 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 163332
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17297
/proc/meminfo: memFree=30863736/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=229368 CPUtime=282.2 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 42132 0 0 0 28188 32 0 0 20 0 2 0 276324012 234872832 42786 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 57342 42786 190 432 0 56907 0
[pid=17269/tid=17270] ppid=17267 vsize=229368 CPUtime=282.25 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 41431 0 0 0 28188 37 0 0 20 0 2 0 276324012 234872832 42786 33554432000 4194304 5963574 140736126578416 140639604594200 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 229368
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17298
/proc/meminfo: memFree=30832116/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=230020 CPUtime=342.19 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 47796 0 0 0 34178 41 0 0 20 0 2 0 276324012 235540480 48450 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 57505 48450 190 432 0 57070 0
[pid=17269/tid=17270] ppid=17267 vsize=230020 CPUtime=342.25 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 47095 0 0 0 34178 47 0 0 20 0 2 0 276324012 235540480 48450 33554432000 4194304 5963574 140736126578416 140639604594200 4378528 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 230020
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17298
/proc/meminfo: memFree=30789384/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=230420 CPUtime=402.18 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 52268 0 0 0 40171 47 0 0 20 0 2 0 276324012 235950080 52922 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
################
# More data... #
################
[pid=17269] ppid=17267 vsize=437120 CPUtime=1062.03 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 94899 0 0 0 106097 106 0 0 20 0 2 0 276324012 447610880 95496 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 109280 95496 190 432 0 108845 0
[pid=17269/tid=17270] ppid=17267 vsize=437120 CPUtime=1062.23 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 94198 0 0 0 106100 123 0 0 20 0 2 0 276324012 447610880 95496 33554432000 4194304 5963574 140736126578416 140639604594200 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 437120
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 17303
/proc/meminfo: memFree=30447128/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=437120 CPUtime=1122.02 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 96705 0 0 0 112093 109 0 0 20 0 2 0 276324012 447610880 97302 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 109280 97302 190 432 0 108845 0
[pid=17269/tid=17270] ppid=17267 vsize=437120 CPUtime=1122.23 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 96004 0 0 0 112096 127 0 0 20 0 2 0 276324012 447610880 97302 33554432000 4194304 5963574 140736126578416 140639604594200 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 437120
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 17303
/proc/meminfo: memFree=30421720/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=437720 CPUtime=1181.99 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 101126 0 0 0 118082 117 0 0 20 0 2 0 276324012 448225280 101701 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 109430 101701 190 432 0 108995 0
[pid=17269/tid=17270] ppid=17267 vsize=437720 CPUtime=1182.21 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 100425 0 0 0 118086 135 0 0 20 0 2 0 276324012 448225280 101701 33554432000 4194304 5963574 140736126578416 140639604594200 4378528 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 437720
[startup+1242.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/180 17307
/proc/meminfo: memFree=30399388/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=438588 CPUtime=1241.98 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 103548 0 0 0 124077 121 0 0 20 0 2 0 276324012 449114112 104117 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 109647 104117 190 432 0 109212 0
[pid=17269/tid=17270] ppid=17267 vsize=438588 CPUtime=1242.21 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 102847 0 0 0 124081 140 0 0 20 0 2 0 276324012 449114112 104117 33554432000 4194304 5963574 140736126578416 140639604594200 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 438588
[startup+1302.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/179 17307
/proc/meminfo: memFree=30366948/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=505024 CPUtime=1301.97 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 107572 0 0 0 130070 127 0 0 20 0 2 0 276324012 517144576 108130 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 126256 108130 190 432 0 125821 0
[pid=17269/tid=17270] ppid=17267 vsize=505024 CPUtime=1302.21 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 106871 0 0 0 130074 147 0 0 20 0 2 0 276324012 517144576 108130 33554432000 4194304 5963574 140736126578416 140639604594200 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 505024
[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 17307
/proc/meminfo: memFree=30356288/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=505024 CPUtime=1361.95 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 108046 0 0 0 136067 128 0 0 20 0 2 0 276324012 517144576 108604 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 126256 108604 190 432 0 125821 0
[pid=17269/tid=17270] ppid=17267 vsize=505024 CPUtime=1362.21 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 107345 0 0 0 136072 149 0 0 20 0 2 0 276324012 517144576 108604 33554432000 4194304 5963574 140736126578416 140639604594200 4388888 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 505024
[startup+1422.31 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 17307
/proc/meminfo: memFree=30321908/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=505892 CPUtime=1421.95 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 111806 0 0 0 142062 133 0 0 20 0 2 0 276324012 518033408 112364 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 126473 112364 190 432 0 126038 0
[pid=17269/tid=17270] ppid=17267 vsize=505892 CPUtime=1422.22 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 111105 0 0 0 142067 155 0 0 20 0 2 0 276324012 518033408 112364 33554432000 4194304 5963574 140736126578416 140639604594200 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 505892
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 17307
/proc/meminfo: memFree=30311740/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=505892 CPUtime=1481.93 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 114443 0 0 0 148056 137 0 0 20 0 2 0 276324012 518033408 115001 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 126473 115001 190 432 0 126038 0
[pid=17269/tid=17270] ppid=17267 vsize=505892 CPUtime=1482.21 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 113742 0 0 0 148061 160 0 0 20 0 2 0 276324012 518033408 115001 33554432000 4194304 5963574 140736126578416 140639604594728 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 505892
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 17308
/proc/meminfo: memFree=30296860/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=507240 CPUtime=1541.92 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 115566 0 0 0 154054 138 0 0 20 0 2 0 276324012 519413760 116124 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 126810 116124 190 432 0 126375 0
[pid=17269/tid=17270] ppid=17267 vsize=507240 CPUtime=1542.21 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 114865 0 0 0 154059 162 0 0 20 0 2 0 276324012 519413760 116124 33554432000 4194304 5963574 140736126578416 140639604594200 4378544 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 507240
[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 17308
/proc/meminfo: memFree=30274916/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=507240 CPUtime=1601.92 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 117654 0 0 0 160050 142 0 0 20 0 2 0 276324012 519413760 118212 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 126810 118212 190 432 0 126375 0
[pid=17269/tid=17270] ppid=17267 vsize=507240 CPUtime=1602.22 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 116953 0 0 0 160056 166 0 0 20 0 2 0 276324012 519413760 118212 33554432000 4194304 5963574 140736126578416 140639604594200 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 507240
[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 17308
/proc/meminfo: memFree=30253960/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=507348 CPUtime=1661.9 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 120885 0 0 0 166043 147 0 0 20 0 2 0 276324012 519524352 121443 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 126837 121443 190 432 0 126402 0
[pid=17269/tid=17270] ppid=17267 vsize=507348 CPUtime=1662.22 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 120184 0 0 0 166049 173 0 0 20 0 2 0 276324012 519524352 121443 33554432000 4194304 5963574 140736126578416 140639604594728 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 507348
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 17308
/proc/meminfo: memFree=30246572/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=573752 CPUtime=1721.89 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 122535 0 0 0 172039 150 0 0 20 0 2 0 276324012 587522048 123087 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 143438 123087 190 432 0 143003 0
[pid=17269/tid=17270] ppid=17267 vsize=573752 CPUtime=1722.22 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 121834 0 0 0 172045 177 0 0 20 0 2 0 276324012 587522048 123087 33554432000 4194304 5963574 140736126578416 140639604594200 4378367 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 573752
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 17386
/proc/meminfo: memFree=30552416/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=574260 CPUtime=1781.86 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 124039 0 0 0 178034 152 0 0 20 0 2 0 276324012 588042240 124573 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 143565 124573 190 432 0 143130 0
[pid=17269/tid=17270] ppid=17267 vsize=574260 CPUtime=1782.2 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 123338 0 0 0 178040 180 0 0 20 0 2 0 276324012 588042240 124573 33554432000 4194304 5963574 140736126578416 140639604594200 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 574260
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.02 2.00 4/179 17659
/proc/meminfo: memFree=30660472/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=574260 CPUtime=1800.07 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 124850 0 0 0 179853 154 0 0 20 0 2 0 276324012 588042240 125384 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 143565 125384 190 432 0 143130 0
[pid=17269/tid=17270] ppid=17267 vsize=574260 CPUtime=1800.41 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 124149 0 0 0 179859 182 0 0 20 0 2 0 276324012 588042240 125384 33554432000 4194304 5963574 140736126578416 140639604594200 4378768 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 574260
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.02 2.00 4/179 17659
/proc/meminfo: memFree=30660472/32873648 swapFree=7112/7112
[pid=17269] ppid=17267 vsize=574260 CPUtime=1800.07 cores=1,3,5,7
/proc/17269/stat : 17269 (wbo1.7) S 17267 17269 12452 0 -1 4202496 124850 0 0 0 179853 154 0 0 20 0 2 0 276324012 588042240 125384 33554432000 4194304 5963574 140736126578416 140736126577936 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17269/statm: 143565 125384 190 432 0 143130 0
[pid=17269/tid=17270] ppid=17267 vsize=574260 CPUtime=1800.41 cores=1,3,5,7
/proc/17269/task/17270/stat : 17270 (wbo1.7) R 17267 17269 12452 0 -1 4202560 124149 0 0 0 179859 182 0 0 20 0 2 0 276324012 588042240 125384 33554432000 4194304 5963574 140736126578416 140639604594200 4378768 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 574260
Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.44
CPU user time (s): 1798.61
CPU system time (s): 1.83472
CPU usage (%): 99.9959
Max. virtual memory (cumulated for all children) (KiB): 574260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.61
system time used= 1.83472
maximum resident set size= 501536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124850
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= 190
involuntary context switches= 1845
runsolver used 3.41148 second user time and 9.90249 second system time
The end