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-3460837-1307072625/watcher-3460837-1307072625 -o /tmp/evaluation-result-3460837-1307072625/solver-3460837-1307072625 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460837-1307072625.opb
running on 4 cores: 0,2,4,6
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.03 2.03 2.00 2/386 25983
/proc/meminfo: memFree=23548692/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=41216 CPUtime=0 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 1160 0 0 0 0 0 0 0 23 0 1 0 818865447 42205184 1113 33554432000 4194304 5714214 140734686914672 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 10304 1115 197 372 0 1004 0
[startup+0.0755751 s]
/proc/loadavg: 2.03 2.03 2.00 2/386 25983
/proc/meminfo: memFree=23548692/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=58900 CPUtime=0.06 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 5732 0 0 0 6 0 0 0 23 0 1 0 818865447 60313600 5401 33554432000 4194304 5714214 140734686914672 18446744073709551615 4990158 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 14725 5403 352 372 0 5425 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 58900
[startup+0.100552 s]
/proc/loadavg: 2.03 2.03 2.00 2/386 25983
/proc/meminfo: memFree=23548692/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=65848 CPUtime=0.09 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 7568 0 0 0 8 1 0 0 23 0 1 0 818865447 67428352 7029 33554432000 4194304 5714214 140734686914672 18446744073709551615 4970356 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 16462 7030 418 372 0 7162 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 65848
[startup+0.300565 s]
/proc/loadavg: 2.03 2.03 2.00 2/386 25983
/proc/meminfo: memFree=23548692/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=121460 CPUtime=0.29 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 20597 0 0 0 26 3 0 0 25 0 1 0 818865447 124375040 19066 33554432000 4194304 5714214 140734686914672 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 30365 19067 894 372 0 21065 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 121460
[startup+0.700481 s]
/proc/loadavg: 2.03 2.03 2.00 2/386 25983
/proc/meminfo: memFree=23548692/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=203116 CPUtime=0.69 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 44108 0 0 0 64 5 0 0 25 0 1 0 818865447 207990784 40982 33554432000 4194304 5714214 140734686914672 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 50779 40983 1774 372 0 41479 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 203116
[startup+1.50034 s]
/proc/loadavg: 2.03 2.03 2.00 3/387 25984
/proc/meminfo: memFree=23326660/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=368744 CPUtime=1.49 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 89788 0 0 0 137 12 0 0 25 0 1 0 818865447 377593856 83474 33554432000 4194304 5714214 140734686914672 18446744073709551615 4970356 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 92186 83475 3495 372 0 82886 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 368744
[startup+3.10105 s]
/proc/loadavg: 2.03 2.03 2.00 3/387 25984
/proc/meminfo: memFree=23179100/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=480492 CPUtime=3.09 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 120758 0 0 0 293 16 0 0 25 0 1 0 818865447 492023808 114444 33554432000 4194304 5714214 140734686914672 18446744073709551615 4990138 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 120123 114446 6584 372 0 110823 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 480492
[startup+6.30046 s]
/proc/loadavg: 2.03 2.03 2.00 3/387 25984
/proc/meminfo: memFree=22800660/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1125312 CPUtime=6.29 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 294226 0 0 0 594 35 0 0 25 0 1 0 818865447 1152319488 275852 33554432000 4194304 5714214 140734686914672 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 281328 275854 174 372 0 280953 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1125312
[startup+12.7003 s]
/proc/loadavg: 2.02 2.03 2.00 3/387 25985
/proc/meminfo: memFree=22511068/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1044340 CPUtime=12.7 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 305736 0 0 0 1231 39 0 0 25 0 1 0 818865447 1069404160 257854 33554432000 4194304 5714214 140734686914672 18446744073709551615 4323065 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 261085 257854 180 372 0 260710 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 1044340
[startup+25.501 s]
/proc/loadavg: 2.02 2.02 2.00 3/387 25985
/proc/meminfo: memFree=22510040/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1044340 CPUtime=25.49 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 305818 0 0 0 2506 43 0 0 25 0 1 0 818865447 1069404160 257936 33554432000 4194304 5714214 140734686914672 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 261085 257936 180 372 0 260710 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1044340
[startup+51.1005 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 25986
/proc/meminfo: memFree=22499948/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1055960 CPUtime=51.1 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 308372 0 0 0 5052 58 0 0 25 0 1 0 818865447 1081303040 260490 33554432000 4194304 5714214 140734686914672 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 263990 260490 180 372 0 263615 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 1055960
[startup+102.314 s]
/proc/loadavg: 1.97 2.00 1.99 3/387 26020
/proc/meminfo: memFree=22531068/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1056492 CPUtime=102.3 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 308535 0 0 0 10160 70 0 0 25 0 1 0 818865447 1081847808 260653 33554432000 4194304 5714214 140734686914672 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 264123 260653 180 372 0 263748 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1056492
[startup+162.301 s]
/proc/loadavg: 2.13 2.03 2.00 3/387 26022
/proc/meminfo: memFree=22464300/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1069124 CPUtime=162.3 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 311426 0 0 0 16143 87 0 0 25 0 1 0 818865447 1094782976 263544 33554432000 4194304 5714214 140734686914672 18446744073709551615 4299783 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 267281 263544 180 372 0 266906 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1069124
[startup+222.301 s]
/proc/loadavg: 2.11 2.04 2.00 3/387 26023
/proc/meminfo: memFree=22341740/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1070324 CPUtime=222.29 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 311677 0 0 0 22130 99 0 0 25 0 1 0 818865447 1096011776 263795 33554432000 4194304 5714214 140734686914672 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 267581 263795 180 372 0 267206 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1070324
[startup+282.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/387 26027
/proc/meminfo: memFree=22204536/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1112660 CPUtime=282.29 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 322003 0 0 0 28113 116 0 0 25 0 1 0 818865447 1139363840 274121 33554432000 4194304 5714214 140734686914672 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 278165 274121 180 372 0 277790 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1112660
[startup+342.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 26029
/proc/meminfo: memFree=22108380/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1135668 CPUtime=342.3 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 327758 0 0 0 34105 125 0 0 25 0 1 0 818865447 1162924032 279876 33554432000 4194304 5714214 140734686914672 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 283917 279876 180 372 0 283542 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1135668
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 26031
/proc/meminfo: memFree=22034796/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1138924 CPUtime=402.3 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 328491 0 0 0 40093 137 0 0 25 0 1 0 818865447 1166258176 280609 33554432000 4194304 5714214 140734686914672 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 284731 280609 180 372 0 284356 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1138924
[startup+462.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/387 26033
/proc/meminfo: memFree=21895020/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1206840 CPUtime=462.31 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 344849 0 0 0 46074 157 0 0 25 0 1 0 818865447 1235804160 296967 33554432000 4194304 5714214 140734686914672 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 301710 296967 180 372 0 301335 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1206840
[startup+522.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/387 26034
/proc/meminfo: memFree=21832348/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1219604 CPUtime=522.31 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 347991 0 0 0 52071 160 0 0 25 0 1 0 818865447 1248874496 300109 33554432000 4194304 5714214 140734686914672 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 304901 300109 180 372 0 304526 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1219604
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 26036
/proc/meminfo: memFree=21780828/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1219604 CPUtime=582.3 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 348021 0 0 0 58055 175 0 0 25 0 1 0 818865447 1248874496 300139 33554432000 4194304 5714214 140734686914672 18446744073709551615 4319440 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 304901 300139 180 372 0 304526 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1219604
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.06 2.04 2.01 3/387 26045
/proc/meminfo: memFree=21490316/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1274264 CPUtime=822.31 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 361333 0 0 0 82030 201 0 0 25 0 1 0 818865447 1304846336 313451 33554432000 4194304 5714214 140734686914672 18446744073709551615 4299952 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 318566 313451 180 372 0 318191 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 1274264
[startup+882.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/387 26047
/proc/meminfo: memFree=21491132/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1274264 CPUtime=882.32 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 361333 0 0 0 88027 205 0 0 25 0 1 0 818865447 1304846336 313451 33554432000 4194304 5714214 140734686914672 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 318566 313451 180 372 0 318191 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 1274264
[startup+942.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 26049
/proc/meminfo: memFree=21466768/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1300200 CPUtime=942.31 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 367710 0 0 0 94004 227 0 0 25 0 1 0 818865447 1331404800 319828 33554432000 4194304 5714214 140734686914672 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 325050 319828 180 372 0 324675 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 1300200
[startup+1002.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/387 26051
/proc/meminfo: memFree=21409784/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1355864 CPUtime=1002.32 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 381666 0 0 0 99994 238 0 0 25 0 1 0 818865447 1388404736 333784 33554432000 4194304 5714214 140734686914672 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 338966 333784 180 372 0 338591 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1355864
[startup+1062.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/387 26064
/proc/meminfo: memFree=21410288/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1355864 CPUtime=1062.32 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 381696 0 0 0 105976 256 0 0 25 0 1 0 818865447 1388404736 333814 33554432000 4194304 5714214 140734686914672 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 338966 333814 180 372 0 338591 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1355864
[startup+1122.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/387 26066
/proc/meminfo: memFree=21395056/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1375908 CPUtime=1122.32 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 385520 0 0 0 111962 270 0 0 25 0 1 0 818865447 1408929792 337638 33554432000 4194304 5714214 140734686914672 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 343977 337638 180 372 0 343602 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1375908
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 26070
/proc/meminfo: memFree=21352116/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1416140 CPUtime=1182.33 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 396020 0 0 0 117954 279 0 0 25 0 1 0 818865447 1450127360 348138 33554432000 4194304 5714214 140734686914672 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 354035 348138 180 372 0 353660 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1416140
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 26072
/proc/meminfo: memFree=21351568/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1416140 CPUtime=1242.33 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 396020 0 0 0 123954 279 0 0 25 0 1 0 818865447 1450127360 348138 33554432000 4194304 5714214 140734686914672 18446744073709551615 4300379 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 354035 348138 180 372 0 353660 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1416140
[startup+1302.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/387 26074
/proc/meminfo: memFree=21350408/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1416140 CPUtime=1302.34 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 396020 0 0 0 129955 279 0 0 25 0 1 0 818865447 1450127360 348138 33554432000 4194304 5714214 140734686914672 18446744073709551615 4299783 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 354035 348138 180 372 0 353660 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1416140
[startup+1362.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/387 26076
/proc/meminfo: memFree=21285984/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1463836 CPUtime=1362.33 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 407785 0 0 0 135934 299 0 0 25 0 1 0 818865447 1498968064 359903 33554432000 4194304 5714214 140734686914672 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 365959 359903 180 372 0 365584 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1463836
[startup+1422.31 s]
/proc/loadavg: 2.03 2.03 2.00 3/387 26077
/proc/meminfo: memFree=21141096/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1534760 CPUtime=1422.34 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 425293 0 0 0 141918 316 0 0 25 0 1 0 818865447 1571594240 377411 33554432000 4194304 5714214 140734686914672 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 383690 377411 180 372 0 383315 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1534760
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/387 26079
/proc/meminfo: memFree=21019892/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1572872 CPUtime=1482.33 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 434845 0 0 0 147909 324 0 0 25 0 1 0 818865447 1610620928 386963 33554432000 4194304 5714214 140734686914672 18446744073709551615 4300385 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 393218 386963 180 372 0 392843 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1572872
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 26080
/proc/meminfo: memFree=20979136/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1572872 CPUtime=1542.33 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 434913 0 0 0 153899 334 0 0 25 0 1 0 818865447 1610620928 387031 33554432000 4194304 5714214 140734686914672 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 393218 387031 180 372 0 392843 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1572872
[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/387 26082
/proc/meminfo: memFree=20945608/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1572872 CPUtime=1602.33 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 435018 0 0 0 159890 343 0 0 25 0 1 0 818865447 1610620928 387136 33554432000 4194304 5714214 140734686914672 18446744073709551615 4319266 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 393218 387136 180 372 0 392843 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1572872
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/387 26084
/proc/meminfo: memFree=20890748/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1572872 CPUtime=1662.33 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 435043 0 0 0 165881 352 0 0 25 0 1 0 818865447 1610620928 387161 33554432000 4194304 5714214 140734686914672 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 393218 387161 180 372 0 392843 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1572872
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 26085
/proc/meminfo: memFree=20832780/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1604920 CPUtime=1722.33 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 442995 0 0 0 171866 367 0 0 25 0 1 0 818865447 1643438080 395113 33554432000 4194304 5714214 140734686914672 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 401230 395113 180 372 0 400855 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1604920
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 26088
/proc/meminfo: memFree=20775684/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1624532 CPUtime=1782.33 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 447862 0 0 0 177858 375 0 0 25 0 1 0 818865447 1663520768 399980 33554432000 4194304 5714214 140734686914672 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 406133 399980 180 372 0 405758 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1624532
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 26088
/proc/meminfo: memFree=20772572/32951124 swapFree=49244120/67111528
[pid=25983] ppid=25981 vsize=1624532 CPUtime=1800.05 cores=0,2,4,6
/proc/25983/stat : 25983 (wbo1.6) R 25981 25983 23490 0 -1 4202496 447862 0 0 0 179630 375 0 0 25 0 1 0 818865447 1663520768 399980 33554432000 4194304 5714214 140734686914672 18446744073709551615 4300112 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/25983/statm: 406133 399980 180 372 0 405758 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1624532
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.09
CPU time (s): 1800.13
CPU user time (s): 1796.3
CPU system time (s): 3.82942
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1624532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.3
system time used= 3.82942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 447862
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= 7
involuntary context switches= 5285
runsolver used 6.98894 second user time and 14.7948 second system time
The end