runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3460766-1307107001/watcher-3460766-1307107001 -o /tmp/evaluation-result-3460766-1307107001/solver-3460766-1307107001 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460766-1307107001.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: 1.96 2.01 2.00 2/386 28343
/proc/meminfo: memFree=22243156/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=2104 CPUtime=0.01 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 315 0 0 0 1 0 0 0 23 0 1 0 822302856 2154496 265 33554432000 4194304 5714214 140734219681552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 526 265 180 372 0 151 0
[startup+0.0709431 s]
/proc/loadavg: 1.96 2.01 2.00 2/386 28343
/proc/meminfo: memFree=22243156/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=2496 CPUtime=0.06 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 430 0 0 0 6 0 0 0 23 0 1 0 822302856 2555904 380 33554432000 4194304 5714214 140734219681552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 624 380 180 372 0 249 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2496
[startup+0.100947 s]
/proc/loadavg: 1.96 2.01 2.00 2/386 28343
/proc/meminfo: memFree=22243156/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=2756 CPUtime=0.09 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 490 0 0 0 9 0 0 0 23 0 1 0 822302856 2822144 440 33554432000 4194304 5714214 140734219681552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 689 440 180 372 0 314 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2756
[startup+0.300898 s]
/proc/loadavg: 1.96 2.01 2.00 2/386 28343
/proc/meminfo: memFree=22243156/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=4112 CPUtime=0.29 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 830 0 0 0 29 0 0 0 25 0 1 0 822302856 4210688 780 33554432000 4194304 5714214 140734219681552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 1028 781 180 372 0 653 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4112
[startup+0.70083 s]
/proc/loadavg: 1.96 2.01 2.00 2/386 28343
/proc/meminfo: memFree=22243156/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=6268 CPUtime=0.69 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 1353 0 0 0 68 1 0 0 25 0 1 0 822302856 6418432 1303 33554432000 4194304 5714214 140734219681552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 1567 1303 180 372 0 1192 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6268
[startup+1.5007 s]
/proc/loadavg: 1.96 2.01 2.00 3/387 28344
/proc/meminfo: memFree=22236716/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=7848 CPUtime=1.49 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 1761 0 0 0 146 3 0 0 25 0 1 0 822302856 8036352 1711 33554432000 4194304 5714214 140734219681552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 1962 1711 180 372 0 1587 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7848
[startup+3.1004 s]
/proc/loadavg: 1.96 2.01 2.00 3/387 28344
/proc/meminfo: memFree=22231136/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=10860 CPUtime=3.09 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 2502 0 0 0 302 7 0 0 18 0 1 0 822302856 11120640 2452 33554432000 4194304 5714214 140734219681552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 2715 2452 180 372 0 2340 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10860
[startup+6.30084 s]
/proc/loadavg: 1.96 2.01 2.00 3/387 28344
/proc/meminfo: memFree=22223052/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=16664 CPUtime=6.29 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 3942 0 0 0 613 16 0 0 25 0 1 0 822302856 17063936 3892 33554432000 4194304 5714214 140734219681552 18446744073709551615 4323082 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 4166 3892 180 372 0 3791 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16664
[startup+12.7007 s]
/proc/loadavg: 1.97 2.01 2.00 2/385 28345
/proc/meminfo: memFree=23809064/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=25552 CPUtime=12.69 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 6132 0 0 0 1238 31 0 0 25 0 1 0 822302856 26165248 6082 33554432000 4194304 5714214 140734219681552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 6388 6082 180 372 0 6013 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25552
[startup+25.5004 s]
/proc/loadavg: 1.97 2.00 2.00 4/387 28373
/proc/meminfo: memFree=23772456/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=42772 CPUtime=25.49 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 10353 0 0 0 2491 58 0 0 25 0 1 0 822302856 43798528 10303 33554432000 4194304 5714214 140734219681552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 10693 10303 180 372 0 10318 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42772
[startup+51.1009 s]
/proc/loadavg: 1.98 2.00 2.00 4/387 28373
/proc/meminfo: memFree=23716888/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=74752 CPUtime=51.09 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 18341 0 0 0 5000 109 0 0 25 0 1 0 822302856 76546048 18291 33554432000 4194304 5714214 140734219681552 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 18688 18291 180 372 0 18313 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 74752
[startup+102.315 s]
/proc/loadavg: 1.99 2.00 2.00 4/387 28375
/proc/meminfo: memFree=23617428/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=131952 CPUtime=102.3 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 32538 0 0 0 10029 201 0 0 25 0 1 0 822302856 135118848 32488 33554432000 4194304 5714214 140734219681552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 32988 32488 180 372 0 32613 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 131952
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.00 4/387 28376
/proc/meminfo: memFree=23514636/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=194888 CPUtime=162.29 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 48238 0 0 0 15914 315 0 0 25 0 1 0 822302856 199565312 48188 33554432000 4194304 5714214 140734219681552 18446744073709551615 4319274 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 48722 48188 180 372 0 48347 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 194888
[startup+222.301 s]
/proc/loadavg: 1.99 2.00 2.00 4/387 28378
/proc/meminfo: memFree=23414240/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=256264 CPUtime=222.3 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 63487 0 0 0 21811 419 0 0 25 0 1 0 822302856 262414336 63437 33554432000 4194304 5714214 140734219681552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 64066 63437 180 372 0 63691 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 256264
[startup+282.301 s]
/proc/loadavg: 1.99 2.00 2.00 4/387 28379
/proc/meminfo: memFree=23321088/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=314468 CPUtime=282.3 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 77998 0 0 0 27711 519 0 0 25 0 1 0 822302856 322015232 77948 33554432000 4194304 5714214 140734219681552 18446744073709551615 4300192 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 78617 77948 180 372 0 78242 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 314468
[startup+342.3 s]
/proc/loadavg: 1.99 2.00 2.00 4/387 28381
/proc/meminfo: memFree=23223836/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=373696 CPUtime=342.29 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 92827 0 0 0 33609 620 0 0 25 0 1 0 822302856 382664704 92777 33554432000 4194304 5714214 140734219681552 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 93424 92777 180 372 0 93049 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 373696
[startup+402.301 s]
/proc/loadavg: 1.99 2.00 2.00 4/387 28383
/proc/meminfo: memFree=23126724/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=435660 CPUtime=402.3 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 108308 0 0 0 39504 726 0 0 25 0 1 0 822302856 446115840 108258 33554432000 4194304 5714214 140734219681552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 108915 108258 180 372 0 108540 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 435660
[startup+462.301 s]
/proc/loadavg: 1.99 2.00 2.00 4/387 28384
/proc/meminfo: memFree=23032324/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=495024 CPUtime=462.3 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 123077 0 0 0 45400 830 0 0 25 0 1 0 822302856 506904576 123027 33554432000 4194304 5714214 140734219681552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 123756 123027 180 372 0 123381 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 495024
[startup+522.3 s]
/proc/loadavg: 2.13 2.04 2.01 4/387 28386
/proc/meminfo: memFree=22939660/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=552520 CPUtime=522.3 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 137418 0 0 0 51302 928 0 0 25 0 1 0 822302856 565780480 137368 33554432000 4194304 5714214 140734219681552 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 138130 137368 180 372 0 137755 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 552520
[startup+582.301 s]
/proc/loadavg: 2.09 2.05 2.01 4/387 28387
/proc/meminfo: memFree=22848120/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=606136 CPUtime=582.3 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 150761 0 0 0 57203 1027 0 0 25 0 1 0 822302856 620683264 150711 33554432000 4194304 5714214 140734219681552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 151534 150711 180 372 0 151159 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 606136
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/387 28394
/proc/meminfo: memFree=22498640/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=820812 CPUtime=822.31 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 204357 0 0 0 80838 1393 0 0 25 0 1 0 822302856 840511488 204307 33554432000 4194304 5714214 140734219681552 18446744073709551615 4301345 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 205203 204307 180 372 0 204828 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 820812
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/387 28395
/proc/meminfo: memFree=22411072/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=872224 CPUtime=882.31 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 217156 0 0 0 86749 1482 0 0 25 0 1 0 822302856 893157376 217106 33554432000 4194304 5714214 140734219681552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 218056 217106 180 372 0 217681 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 872224
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/387 28397
/proc/meminfo: memFree=22326972/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=922216 CPUtime=942.31 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 229575 0 0 0 92663 1568 0 0 25 0 1 0 822302856 944349184 229525 33554432000 4194304 5714214 140734219681552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 230554 229525 180 372 0 230179 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 922216
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/387 28399
/proc/meminfo: memFree=22246464/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=972504 CPUtime=1002.32 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 242165 0 0 0 98573 1659 0 0 25 0 1 0 822302856 995844096 242115 33554432000 4194304 5714214 140734219681552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 243126 242115 180 372 0 242751 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 972504
[startup+1062.3 s]
/proc/loadavg: 2.19 2.05 2.01 4/387 28400
/proc/meminfo: memFree=22167672/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=1021688 CPUtime=1062.32 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 254429 0 0 0 104490 1742 0 0 25 0 1 0 822302856 1046208512 254379 33554432000 4194304 5714214 140734219681552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 255422 254379 180 372 0 255047 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1021688
[startup+1122.3 s]
/proc/loadavg: 2.12 2.05 2.01 4/387 28402
/proc/meminfo: memFree=22087036/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=1068388 CPUtime=1122.32 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 266077 0 0 0 110405 1827 0 0 25 0 1 0 822302856 1094029312 266027 33554432000 4194304 5714214 140734219681552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 267097 266027 180 372 0 266722 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1068388
[startup+1182.3 s]
/proc/loadavg: 2.04 2.04 2.01 4/387 28403
/proc/meminfo: memFree=22004656/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=1118268 CPUtime=1182.32 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 278556 0 0 0 116320 1912 0 0 25 0 1 0 822302856 1145106432 278506 33554432000 4194304 5714214 140734219681552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 279567 278506 180 372 0 279192 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1118268
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 4/387 28405
/proc/meminfo: memFree=21922396/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=1167152 CPUtime=1242.33 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 290736 0 0 0 122242 1991 0 0 25 0 1 0 822302856 1195163648 290686 33554432000 4194304 5714214 140734219681552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 291788 290686 180 372 0 291413 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1167152
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/387 28407
/proc/meminfo: memFree=21843000/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=1212568 CPUtime=1302.34 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 302065 0 0 0 128157 2077 0 0 25 0 1 0 822302856 1241669632 302015 33554432000 4194304 5714214 140734219681552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 303142 302015 180 372 0 302767 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1212568
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/387 28408
/proc/meminfo: memFree=21769660/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=1255980 CPUtime=1362.33 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 312977 0 0 0 134081 2152 0 0 25 0 1 0 822302856 1286123520 312927 33554432000 4194304 5714214 140734219681552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 313995 312927 180 372 0 313620 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1255980
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 4/387 28410
/proc/meminfo: memFree=21692376/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=1302600 CPUtime=1422.34 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 324599 0 0 0 140005 2229 0 0 25 0 1 0 822302856 1333862400 324549 33554432000 4194304 5714214 140734219681552 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 325650 324549 180 372 0 325275 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1302600
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/387 28411
/proc/meminfo: memFree=21615960/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=1349268 CPUtime=1482.33 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 336265 0 0 0 145916 2317 0 0 25 0 1 0 822302856 1381650432 336215 33554432000 4194304 5714214 140734219681552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 337317 336215 180 372 0 336942 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1349268
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/387 28413
/proc/meminfo: memFree=21538072/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=1396644 CPUtime=1542.33 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 348123 0 0 0 151828 2405 0 0 25 0 1 0 822302856 1430163456 348073 33554432000 4194304 5714214 140734219681552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 349161 348073 180 372 0 348786 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1396644
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/387 28415
/proc/meminfo: memFree=21463636/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=1442324 CPUtime=1602.34 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 359506 0 0 0 157754 2480 0 0 25 0 1 0 822302856 1476939776 359456 33554432000 4194304 5714214 140734219681552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 360581 359456 180 372 0 360206 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1442324
[startup+1662.3 s]
/proc/loadavg: 2.14 2.04 2.01 4/387 28416
/proc/meminfo: memFree=21387192/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=1489076 CPUtime=1662.34 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 371171 0 0 0 163667 2567 0 0 25 0 1 0 822302856 1524813824 371121 33554432000 4194304 5714214 140734219681552 18446744073709551615 4300192 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 372269 371121 180 372 0 371894 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1489076
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.00 4/387 28418
/proc/meminfo: memFree=21313892/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=1530824 CPUtime=1722.34 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 381599 0 0 0 169589 2645 0 0 25 0 1 0 822302856 1567563776 381549 33554432000 4194304 5714214 140734219681552 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 382706 381549 180 372 0 382331 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1530824
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 4/387 28419
/proc/meminfo: memFree=21237212/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=1576988 CPUtime=1782.34 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 393132 0 0 0 175507 2727 0 0 25 0 1 0 822302856 1614835712 393082 33554432000 4194304 5714214 140734219681552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 394247 393082 180 372 0 393872 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1576988
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 28420
/proc/meminfo: memFree=21216124/32951124 swapFree=49244120/67111528
[pid=28343] ppid=28341 vsize=1587724 CPUtime=1800.05 cores=1,3,5,7
/proc/28343/stat : 28343 (wbo1.6) R 28341 28343 27315 0 -1 4202496 395796 0 0 0 177255 2750 0 0 25 0 1 0 822302856 1625829376 395746 33554432000 4194304 5714214 140734219681552 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28343/statm: 396931 395746 180 372 0 396556 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1587724
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.08
CPU time (s): 1800.13
CPU user time (s): 1772.56
CPU system time (s): 27.5678
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1587724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1772.56
system time used= 27.5678
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 395796
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= 8
involuntary context switches= 3809
runsolver used 6.64999 second user time and 15.8586 second system time
The end