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-3460967-1307105321/watcher-3460967-1307105321 -o /tmp/evaluation-result-3460967-1307105321/solver-3460967-1307105321 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460967-1307105321.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.92 2.00 1.99 2/554 4385
/proc/meminfo: memFree=25036648/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=1972 CPUtime=0 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 301 0 0 0 0 0 0 0 25 0 1 0 822129167 2019328 254 33554432000 4194304 5714214 140734638181456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 493 254 180 372 0 118 0
[startup+0.0770741 s]
/proc/loadavg: 1.92 2.00 1.99 2/554 4385
/proc/meminfo: memFree=25036648/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=3028 CPUtime=0.06 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 538 0 0 0 6 0 0 0 25 0 1 0 822129167 3100672 491 33554432000 4194304 5714214 140734638181456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 757 491 180 372 0 382 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3028
[startup+0.101074 s]
/proc/loadavg: 1.92 2.00 1.99 2/554 4385
/proc/meminfo: memFree=25036648/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=3160 CPUtime=0.09 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 603 0 0 0 9 0 0 0 25 0 1 0 822129167 3235840 556 33554432000 4194304 5714214 140734638181456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 823 557 180 372 0 448 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3160
[startup+0.301031 s]
/proc/loadavg: 1.92 2.00 1.99 2/554 4385
/proc/meminfo: memFree=25036648/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=4968 CPUtime=0.29 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 1030 0 0 0 28 1 0 0 25 0 1 0 822129167 5087232 983 33554432000 4194304 5714214 140734638181456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 1242 983 180 372 0 867 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4968
[startup+0.700954 s]
/proc/loadavg: 1.92 2.00 1.99 2/554 4385
/proc/meminfo: memFree=25036648/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=7040 CPUtime=0.69 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 1535 0 0 0 68 1 0 0 25 0 1 0 822129167 7208960 1488 33554432000 4194304 5714214 140734638181456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 1760 1488 180 372 0 1385 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7040
[startup+1.5008 s]
/proc/loadavg: 1.92 2.00 1.99 3/555 4386
/proc/meminfo: memFree=25029700/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=8376 CPUtime=1.49 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 1892 0 0 0 145 4 0 0 25 0 1 0 822129167 8577024 1845 33554432000 4194304 5714214 140734638181456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 2094 1845 180 372 0 1719 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8376
[startup+3.10049 s]
/proc/loadavg: 1.92 2.00 1.99 3/555 4386
/proc/meminfo: memFree=25024740/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=11852 CPUtime=3.09 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 2749 0 0 0 301 8 0 0 25 0 1 0 822129167 12136448 2702 33554432000 4194304 5714214 140734638181456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 2963 2702 180 372 0 2588 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11852
[startup+6.30088 s]
/proc/loadavg: 2.09 2.04 2.01 3/555 4386
/proc/meminfo: memFree=25015960/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=16408 CPUtime=6.29 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 3854 0 0 0 614 15 0 0 25 0 1 0 822129167 16801792 3807 33554432000 4194304 5714214 140734638181456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 4102 3807 180 372 0 3727 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16408
[startup+12.7006 s]
/proc/loadavg: 2.08 2.04 2.00 3/555 4386
/proc/meminfo: memFree=25001956/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=24352 CPUtime=12.69 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 5849 0 0 0 1243 26 0 0 25 0 1 0 822129167 24936448 5802 33554432000 4194304 5714214 140734638181456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 6088 5802 180 372 0 5713 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24352
[startup+25.5002 s]
/proc/loadavg: 2.06 2.03 2.00 3/555 4386
/proc/meminfo: memFree=24978972/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=37544 CPUtime=25.49 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 9117 0 0 0 2499 50 0 0 25 0 1 0 822129167 38445056 9070 33554432000 4194304 5714214 140734638181456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 9386 9070 180 372 0 9011 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37544
[startup+51.1003 s]
/proc/loadavg: 2.10 2.04 2.01 3/555 4387
/proc/meminfo: memFree=24936544/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=62088 CPUtime=51.09 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 15182 0 0 0 5018 91 0 0 25 0 1 0 822129167 63578112 15135 33554432000 4194304 5714214 140734638181456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 15522 15135 180 372 0 15147 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 62088
[startup+102.321 s]
/proc/loadavg: 2.12 2.06 2.01 3/555 4388
/proc/meminfo: memFree=24856184/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=103884 CPUtime=102.32 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 25578 0 0 0 10063 169 0 0 25 0 1 0 822129167 106377216 25531 33554432000 4194304 5714214 140734638181456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 25971 25531 180 372 0 25596 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 103884
[startup+162.301 s]
/proc/loadavg: 2.08 2.06 2.01 3/555 4390
/proc/meminfo: memFree=24771344/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=150000 CPUtime=162.29 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 37075 0 0 0 15974 255 0 0 25 0 1 0 822129167 153600000 37028 33554432000 4194304 5714214 140734638181456 18446744073709551615 4319332 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 37500 37028 180 372 0 37125 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 150000
[startup+222.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/555 4392
/proc/meminfo: memFree=24691964/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=193020 CPUtime=222.3 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 47809 0 0 0 21902 328 0 0 25 0 1 0 822129167 197652480 47762 33554432000 4194304 5714214 140734638181456 18446744073709551615 4301491 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 48255 47762 180 372 0 47880 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 193020
[startup+282.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/555 4393
/proc/meminfo: memFree=24619392/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=233420 CPUtime=282.3 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 57901 0 0 0 27820 410 0 0 25 0 1 0 822129167 239022080 57854 33554432000 4194304 5714214 140734638181456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 58355 57854 180 372 0 57980 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 233420
[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 4395
/proc/meminfo: memFree=24545224/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=274448 CPUtime=342.3 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 68084 0 0 0 33744 486 0 0 25 0 1 0 822129167 281034752 68037 33554432000 4194304 5714214 140734638181456 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 68612 68037 180 372 0 68237 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 274448
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 4396
/proc/meminfo: memFree=24472908/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=313168 CPUtime=402.31 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 77736 0 0 0 39673 558 0 0 25 0 1 0 822129167 320684032 77689 33554432000 4194304 5714214 140734638181456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 78292 77689 180 372 0 77917 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 313168
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 4398
/proc/meminfo: memFree=24398116/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=353600 CPUtime=462.31 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 87857 0 0 0 45596 635 0 0 25 0 1 0 822129167 362086400 87810 33554432000 4194304 5714214 140734638181456 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 88400 87810 180 372 0 88025 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 353600
[startup+522.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/555 4400
/proc/meminfo: memFree=24329756/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=391060 CPUtime=522.31 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 97202 0 0 0 51529 702 0 0 25 0 1 0 822129167 400445440 97155 33554432000 4194304 5714214 140734638181456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 97765 97155 180 372 0 97390 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 391060
[startup+582.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/555 4401
/proc/meminfo: memFree=24263512/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=426820 CPUtime=582.31 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 106159 0 0 0 57459 772 0 0 25 0 1 0 822129167 437063680 106112 33554432000 4194304 5714214 140734638181456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 106705 106112 180 372 0 106330 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 426820
[startup+642.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/555 4403
/proc/meminfo: memFree=24200984/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=455652 CPUtime=642.32 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 114895 0 0 0 63391 841 0 0 18 0 1 0 822129167 466587648 113599 33554432000 4194304 5714214 140734638181456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 113913 113599 180 372 0 113538 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 455652
[startup+702.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/555 4404
/proc/meminfo: memFree=24169580/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=455652 CPUtime=702.31 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 114904 0 0 0 69292 939 0 0 25 0 1 0 822129167 466587648 113608 33554432000 4194304 5714214 140734638181456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 113913 113608 180 372 0 113538 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 455652
[startup+762.321 s]
/proc/loadavg: 2.01 2.03 2.00 3/555 4415
/proc/meminfo: memFree=24135724/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=455652 CPUtime=762.34 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 114920 0 0 0 75212 1022 0 0 25 0 1 0 822129167 466587648 113624 33554432000 4194304 5714214 140734638181456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 113913 113624 180 372 0 113538 0
Current children cumulated CPU time (s) 762.34
Current children cumulated vsize (KiB) 455652
[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 4417
/proc/meminfo: memFree=24104824/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=455652 CPUtime=822.32 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 114928 0 0 0 81136 1096 0 0 25 0 1 0 822129167 466587648 113632 33554432000 4194304 5714214 140734638181456 18446744073709551615 4300272 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 113913 113632 180 372 0 113538 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 455652
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 4418
/proc/meminfo: memFree=24074552/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=455652 CPUtime=882.33 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 114935 0 0 0 87062 1171 0 0 25 0 1 0 822129167 466587648 113639 33554432000 4194304 5714214 140734638181456 18446744073709551615 4300112 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 113913 113639 180 372 0 113538 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 455652
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 4/556 4423
/proc/meminfo: memFree=24025404/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=455652 CPUtime=942.32 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 114935 0 0 0 92989 1243 0 0 25 0 1 0 822129167 466587648 113639 33554432000 4194304 5714214 140734638181456 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 113913 113639 180 372 0 113538 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 455652
[startup+1002.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/555 4424
/proc/meminfo: memFree=24014220/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=455652 CPUtime=1002.33 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 114936 0 0 0 98922 1311 0 0 25 0 1 0 822129167 466587648 113640 33554432000 4194304 5714214 140734638181456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 113913 113640 180 372 0 113538 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 455652
[startup+1062.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/555 4426
/proc/meminfo: memFree=23983452/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=455652 CPUtime=1062.33 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 114945 0 0 0 104862 1371 0 0 25 0 1 0 822129167 466587648 113649 33554432000 4194304 5714214 140734638181456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 113913 113649 180 372 0 113538 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 455652
[startup+1122.3 s]
/proc/loadavg: 2.21 2.08 2.02 3/555 4428
/proc/meminfo: memFree=23953040/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=455652 CPUtime=1122.33 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 114960 0 0 0 110798 1435 0 0 25 0 1 0 822129167 466587648 113664 33554432000 4194304 5714214 140734638181456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 113913 113664 180 372 0 113538 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 455652
[startup+1182.3 s]
/proc/loadavg: 2.15 2.08 2.02 3/555 4429
/proc/meminfo: memFree=23927980/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=455784 CPUtime=1182.33 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 114965 0 0 0 116735 1498 0 0 25 0 1 0 822129167 466722816 113669 33554432000 4194304 5714214 140734638181456 18446744073709551615 4299952 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 113946 113669 180 372 0 113571 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 455784
[startup+1242.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/555 4431
/proc/meminfo: memFree=23895724/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=455784 CPUtime=1242.34 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 114971 0 0 0 122669 1565 0 0 25 0 1 0 822129167 466722816 113675 33554432000 4194304 5714214 140734638181456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 113946 113675 180 372 0 113571 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 455784
[startup+1302.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/555 4432
/proc/meminfo: memFree=23871892/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=451680 CPUtime=1302.35 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 114990 0 0 0 128607 1628 0 0 25 0 1 0 822129167 462520320 112686 33554432000 4194304 5714214 140734638181456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 112920 112686 180 372 0 112545 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 451680
Solver just ended. Dumping a history of the last processes samples
[startup+1305.5 s]
/proc/loadavg: 2.02 2.05 2.01 3/555 4433
/proc/meminfo: memFree=23871396/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=451680 CPUtime=1305.54 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 114990 0 0 0 128920 1634 0 0 25 0 1 0 822129167 462520320 112686 33554432000 4194304 5714214 140734638181456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 112920 112686 180 372 0 112545 0
Current children cumulated CPU time (s) 1305.54
Current children cumulated vsize (KiB) 451680
[startup+1307.1 s]
/proc/loadavg: 2.02 2.05 2.01 3/555 4433
/proc/meminfo: memFree=23868172/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=451680 CPUtime=1307.14 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 114990 0 0 0 129078 1636 0 0 25 0 1 0 822129167 462520320 112686 33554432000 4194304 5714214 140734638181456 18446744073709551615 4347265 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 112920 112686 180 372 0 112545 0
Current children cumulated CPU time (s) 1307.14
Current children cumulated vsize (KiB) 451680
[startup+1307.92 s]
/proc/loadavg: 2.02 2.05 2.01 3/555 4433
/proc/meminfo: memFree=23866932/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=451680 CPUtime=1307.96 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 114990 0 0 0 129159 1637 0 0 25 0 1 0 822129167 462520320 112686 33554432000 4194304 5714214 140734638181456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 112920 112686 180 372 0 112545 0
Current children cumulated CPU time (s) 1307.96
Current children cumulated vsize (KiB) 451680
[startup+1308.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/555 4433
/proc/meminfo: memFree=23866932/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=451680 CPUtime=1308.34 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 114990 0 0 0 129196 1638 0 0 25 0 1 0 822129167 462520320 112686 33554432000 4194304 5714214 140734638181456 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 112920 112686 180 372 0 112545 0
Current children cumulated CPU time (s) 1308.34
Current children cumulated vsize (KiB) 451680
[startup+1308.5 s]
/proc/loadavg: 2.02 2.05 2.01 3/555 4433
/proc/meminfo: memFree=23866932/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=451680 CPUtime=1308.55 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 114990 0 0 0 129216 1639 0 0 25 0 1 0 822129167 462520320 112686 33554432000 4194304 5714214 140734638181456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 112920 112686 180 372 0 112545 0
Current children cumulated CPU time (s) 1308.55
Current children cumulated vsize (KiB) 451680
[startup+1308.6 s]
/proc/loadavg: 2.02 2.05 2.01 3/555 4433
/proc/meminfo: memFree=23866932/32950928 swapFree=67056580/67111528
[pid=4385] ppid=4383 vsize=451680 CPUtime=1308.64 cores=1,3,5,7
/proc/4385/stat : 4385 (wbo1.6) R 4383 4385 3492 0 -1 4202496 114990 0 0 0 129225 1639 0 0 25 0 1 0 822129167 462520320 112686 33554432000 4194304 5714214 140734638181456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/4385/statm: 112920 112686 180 372 0 112545 0
Current children cumulated CPU time (s) 1308.64
Current children cumulated vsize (KiB) 451680
Child status: 0
Real time (s): 1308.66
CPU time (s): 1308.71
CPU user time (s): 1292.3
CPU system time (s): 16.4145
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 461860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1292.3
system time used= 16.4145
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114993
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 1576
runsolver used 6.70198 second user time and 17.1004 second system time
The end