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-3461209-1307068968/watcher-3461209-1307068968 -o /tmp/evaluation-result-3461209-1307068968/solver-3461209-1307068968 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461209-1307068968.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.02 2.01 1.91 2/386 25366
/proc/meminfo: memFree=23402072/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=8308 CPUtime=0.01 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 539 0 0 0 1 0 0 0 21 0 1 0 818499578 8507392 492 33554432000 4194304 5714214 140736399209664 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 2077 492 206 372 0 332 0
[startup+0.0864889 s]
/proc/loadavg: 2.02 2.01 1.91 2/386 25366
/proc/meminfo: memFree=23402072/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=10920 CPUtime=0.08 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 1457 0 0 0 8 0 0 0 21 0 1 0 818499578 11182080 1410 33554432000 4194304 5714214 140736399209664 18446744073709551615 4195024 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 2730 1411 510 372 0 985 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10920
[startup+0.100497 s]
/proc/loadavg: 2.02 2.01 1.91 2/386 25366
/proc/meminfo: memFree=23402072/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=11576 CPUtime=0.09 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 1691 0 0 0 9 0 0 0 21 0 1 0 818499578 11853824 1611 33554432000 4194304 5714214 140736399209664 18446744073709551615 4223145 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 2894 1612 565 372 0 1149 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11576
[startup+0.300453 s]
/proc/loadavg: 2.02 2.01 1.91 2/386 25366
/proc/meminfo: memFree=23402072/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=17872 CPUtime=0.29 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 4085 0 0 0 29 0 0 0 22 0 1 0 818499578 18300928 3940 33554432000 4194304 5714214 140736399209664 18446744073709551615 4840432 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 4468 3943 1367 372 0 2723 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17872
[startup+0.700383 s]
/proc/loadavg: 2.02 2.01 1.91 2/386 25366
/proc/meminfo: memFree=23402072/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=23788 CPUtime=0.69 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 7358 0 0 0 68 1 0 0 18 0 1 0 818499578 24358912 5620 33554432000 4194304 5714214 140736399209664 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 5947 5620 180 372 0 5572 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23788
[startup+1.50024 s]
/proc/loadavg: 2.02 2.01 1.91 3/387 25367
/proc/meminfo: memFree=23378940/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=23788 CPUtime=1.49 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 7358 0 0 0 147 2 0 0 18 0 1 0 818499578 24358912 5620 33554432000 4194304 5714214 140736399209664 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 5947 5620 180 372 0 5572 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23788
[startup+3.10096 s]
/proc/loadavg: 2.02 2.01 1.91 3/387 25367
/proc/meminfo: memFree=23377948/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=24976 CPUtime=3.09 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 7676 0 0 0 305 4 0 0 18 0 1 0 818499578 25575424 5938 33554432000 4194304 5714214 140736399209664 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 6244 5938 180 372 0 5869 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24976
[startup+6.3004 s]
/proc/loadavg: 2.02 2.01 1.91 3/387 25367
/proc/meminfo: memFree=23368040/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=35368 CPUtime=6.29 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 10256 0 0 0 621 8 0 0 19 0 1 0 818499578 36216832 8518 33554432000 4194304 5714214 140736399209664 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 8842 8518 180 372 0 8467 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35368
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 1.91 3/387 25367
/proc/meminfo: memFree=23346736/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=52064 CPUtime=12.69 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 14433 0 0 0 1255 14 0 0 25 0 1 0 818499578 53313536 12695 33554432000 4194304 5714214 140736399209664 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 13016 12695 180 372 0 12641 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52064
[startup+25.501 s]
/proc/loadavg: 2.01 2.01 1.91 3/387 25367
/proc/meminfo: memFree=23316876/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=80904 CPUtime=25.49 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 21540 0 0 0 2528 21 0 0 25 0 1 0 818499578 82845696 19802 33554432000 4194304 5714214 140736399209664 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 20226 19802 180 372 0 19851 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 80904
[startup+51.1004 s]
/proc/loadavg: 2.01 2.00 1.91 3/387 25369
/proc/meminfo: memFree=23272680/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=115804 CPUtime=51.09 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 30315 0 0 0 5075 34 0 0 25 0 1 0 818499578 118583296 28577 33554432000 4194304 5714214 140736399209664 18446744073709551615 4319292 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 28951 28577 180 372 0 28576 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 115804
[startup+102.314 s]
/proc/loadavg: 2.06 2.02 1.92 3/387 25370
/proc/meminfo: memFree=23237136/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=147496 CPUtime=102.31 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 38151 0 0 0 10174 57 0 0 25 0 1 0 818499578 151035904 36413 33554432000 4194304 5714214 140736399209664 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 36874 36413 180 372 0 36499 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 147496
[startup+162.301 s]
/proc/loadavg: 2.02 2.01 1.92 3/387 25372
/proc/meminfo: memFree=23216880/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=159568 CPUtime=162.3 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 41121 0 0 0 16153 77 0 0 25 0 1 0 818499578 163397632 39383 33554432000 4194304 5714214 140736399209664 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 39892 39383 180 372 0 39517 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 159568
[startup+222.301 s]
/proc/loadavg: 2.01 2.00 1.92 3/387 25374
/proc/meminfo: memFree=23180120/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=184288 CPUtime=222.29 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 47122 0 0 0 22123 106 0 0 25 0 1 0 818499578 188710912 45384 33554432000 4194304 5714214 140736399209664 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 46072 45384 180 372 0 45697 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 184288
[startup+282.3 s]
/proc/loadavg: 1.97 1.99 1.91 3/387 25411
/proc/meminfo: memFree=23578988/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=202312 CPUtime=282.3 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 51515 0 0 0 28108 122 0 0 25 0 1 0 818499578 207167488 49777 33554432000 4194304 5714214 140736399209664 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 50578 49777 180 372 0 50203 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 202312
[startup+342.301 s]
/proc/loadavg: 1.99 1.99 1.91 3/387 25413
/proc/meminfo: memFree=23540636/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=239360 CPUtime=342.3 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 60735 0 0 0 34093 137 0 0 25 0 1 0 818499578 245104640 58997 33554432000 4194304 5714214 140736399209664 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 59840 58997 180 372 0 59465 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 239360
[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.91 3/387 25415
/proc/meminfo: memFree=23535120/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=239360 CPUtime=402.3 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 60747 0 0 0 40070 160 0 0 25 0 1 0 818499578 245104640 59009 33554432000 4194304 5714214 140736399209664 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 59840 59009 180 372 0 59465 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 239360
[startup+462.301 s]
/proc/loadavg: 1.99 1.99 1.91 3/387 25417
/proc/meminfo: memFree=23506804/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=254652 CPUtime=462.3 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 64557 0 0 0 46053 177 0 0 25 0 1 0 818499578 260763648 62819 33554432000 4194304 5714214 140736399209664 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 63663 62819 180 372 0 63288 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 254652
[startup+522.301 s]
/proc/loadavg: 1.99 1.99 1.91 3/387 25419
/proc/meminfo: memFree=23466696/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=277336 CPUtime=522.31 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 70243 0 0 0 52031 200 0 0 25 0 1 0 818499578 283992064 68505 33554432000 4194304 5714214 140736399209664 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 69334 68505 180 372 0 68959 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 277336
[startup+582.3 s]
/proc/loadavg: 1.99 1.99 1.91 3/387 25420
/proc/meminfo: memFree=23452372/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=279908 CPUtime=582.31 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 70854 0 0 0 58013 218 0 0 25 0 1 0 818499578 286625792 69116 33554432000 4194304 5714214 140736399209664 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 69977 69116 180 372 0 69602 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 279908
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.04 2.04 1.94 3/387 25428
/proc/meminfo: memFree=23323608/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=333332 CPUtime=822.31 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 84022 0 0 0 81959 272 0 0 25 0 1 0 818499578 341331968 82284 33554432000 4194304 5714214 140736399209664 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 83333 82284 180 372 0 82958 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 333332
[startup+882.301 s]
/proc/loadavg: 2.01 2.03 1.94 3/387 25429
/proc/meminfo: memFree=23306336/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=335796 CPUtime=882.32 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 84541 0 0 0 87950 282 0 0 25 0 1 0 818499578 343855104 82803 33554432000 4194304 5714214 140736399209664 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 83949 82803 180 372 0 83574 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 335796
[startup+942.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/387 25431
/proc/meminfo: memFree=23289904/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=338936 CPUtime=942.32 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 85301 0 0 0 93941 291 0 0 25 0 1 0 818499578 347070464 83563 33554432000 4194304 5714214 140736399209664 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 84734 83563 180 372 0 84359 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 338936
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/387 25433
/proc/meminfo: memFree=23249432/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=362744 CPUtime=1002.32 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 91198 0 0 0 99931 301 0 0 25 0 1 0 818499578 371449856 89460 33554432000 4194304 5714214 140736399209664 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 90686 89460 180 372 0 90311 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 362744
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/387 25435
/proc/meminfo: memFree=23221728/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=375252 CPUtime=1062.32 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 94255 0 0 0 105919 313 0 0 25 0 1 0 818499578 384258048 92517 33554432000 4194304 5714214 140736399209664 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 93813 92517 180 372 0 93438 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 375252
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/387 25447
/proc/meminfo: memFree=23209340/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=376120 CPUtime=1122.31 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 94458 0 0 0 111904 327 0 0 25 0 1 0 818499578 385146880 92720 33554432000 4194304 5714214 140736399209664 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 94030 92720 180 372 0 93655 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 376120
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/387 25448
/proc/meminfo: memFree=23203048/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=376796 CPUtime=1182.32 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 94626 0 0 0 117894 338 0 0 25 0 1 0 818499578 385839104 92888 33554432000 4194304 5714214 140736399209664 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 94199 92888 180 372 0 93824 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 376796
[startup+1242.3 s]
/proc/loadavg: 2.09 2.03 1.95 3/387 25453
/proc/meminfo: memFree=23186000/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=377176 CPUtime=1242.32 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 94701 0 0 0 123878 354 0 0 25 0 1 0 818499578 386228224 92963 33554432000 4194304 5714214 140736399209664 18446744073709551615 4319964 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 94294 92963 180 372 0 93919 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 377176
[startup+1302.3 s]
/proc/loadavg: 2.17 2.07 1.97 3/387 25455
/proc/meminfo: memFree=23150948/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=396532 CPUtime=1302.33 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 99541 0 0 0 129867 366 0 0 25 0 1 0 818499578 406048768 97803 33554432000 4194304 5714214 140736399209664 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 99133 97803 180 372 0 98758 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 396532
[startup+1362.3 s]
/proc/loadavg: 2.06 2.05 1.97 3/387 25458
/proc/meminfo: memFree=23144100/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=402984 CPUtime=1362.33 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 101151 0 0 0 135850 383 0 0 25 0 1 0 818499578 412655616 99413 33554432000 4194304 5714214 140736399209664 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 100746 99413 180 372 0 100371 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 402984
[startup+1422.31 s]
/proc/loadavg: 2.02 2.04 1.97 3/387 25460
/proc/meminfo: memFree=23134632/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=405064 CPUtime=1422.34 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 101621 0 0 0 141839 395 0 0 25 0 1 0 818499578 414785536 99883 33554432000 4194304 5714214 140736399209664 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 101266 99883 180 372 0 100891 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 405064
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 1.97 3/387 25461
/proc/meminfo: memFree=23129384/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=406548 CPUtime=1482.33 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 101955 0 0 0 147828 405 0 0 25 0 1 0 818499578 416305152 100217 33554432000 4194304 5714214 140736399209664 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 101637 100217 180 372 0 101262 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 406548
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/387 25463
/proc/meminfo: memFree=23105908/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=407988 CPUtime=1542.33 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 102297 0 0 0 153819 414 0 0 25 0 1 0 818499578 417779712 100559 33554432000 4194304 5714214 140736399209664 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 101997 100559 180 372 0 101622 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 407988
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/387 25464
/proc/meminfo: memFree=23103260/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=408484 CPUtime=1602.33 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 102401 0 0 0 159810 423 0 0 25 0 1 0 818499578 418287616 100663 33554432000 4194304 5714214 140736399209664 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 102121 100663 180 372 0 101746 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 408484
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/387 25467
/proc/meminfo: memFree=23085856/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=421896 CPUtime=1662.34 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 105707 0 0 0 165799 435 0 0 25 0 1 0 818499578 432021504 103969 33554432000 4194304 5714214 140736399209664 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 105474 103969 180 372 0 105099 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 421896
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/387 25469
/proc/meminfo: memFree=23064112/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=439964 CPUtime=1722.33 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 110075 0 0 0 171790 443 0 0 25 0 1 0 818499578 450523136 108337 33554432000 4194304 5714214 140736399209664 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 109991 108337 180 372 0 109616 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 439964
[startup+1782.3 s]
/proc/loadavg: 2.12 2.03 1.98 3/387 25470
/proc/meminfo: memFree=23053264/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=441568 CPUtime=1782.33 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 110469 0 0 0 177775 458 0 0 25 0 1 0 818499578 452165632 108731 33554432000 4194304 5714214 140736399209664 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 110392 108731 180 372 0 110017 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 441568
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.09 2.03 1.98 3/387 25471
/proc/meminfo: memFree=23050656/32951124 swapFree=49244120/67111528
[pid=25366] ppid=25363 vsize=441568 CPUtime=1800.05 cores=1,3,5,7
/proc/25366/stat : 25366 (wbo1.6) R 25363 25366 23490 0 -1 4202496 110480 0 0 0 179543 462 0 0 25 0 1 0 818499578 452165632 108742 33554432000 4194304 5714214 140736399209664 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/25366/statm: 110392 108742 180 372 0 110017 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 441568
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.04
CPU time (s): 1800.08
CPU user time (s): 1795.43
CPU system time (s): 4.64429
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 441568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.43
system time used= 4.64429
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110480
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= 11
involuntary context switches= 1959
runsolver used 6.576 second user time and 16.2385 second system time
The end