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-3460972-1307105782/watcher-3460972-1307105782 -o /tmp/evaluation-result-3460972-1307105782/solver-3460972-1307105782 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460972-1307105782.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.15 1.96 1.93 3/327 20327
/proc/meminfo: memFree=23701068/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=2100 CPUtime=0.01 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 324 0 0 0 1 0 0 0 25 0 1 0 900808796 2150400 275 33554432000 4194304 5714214 140736797536848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 525 275 180 372 0 150 0
[startup+0.0991409 s]
/proc/loadavg: 2.15 1.96 1.93 3/327 20327
/proc/meminfo: memFree=23701068/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=3024 CPUtime=0.09 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 563 0 0 0 9 0 0 0 25 0 1 0 900808796 3096576 514 33554432000 4194304 5714214 140736797536848 18446744073709551615 4977340 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 756 514 180 372 0 381 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3024
[startup+0.101141 s]
/proc/loadavg: 2.15 1.96 1.93 3/327 20327
/proc/meminfo: memFree=23701068/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=3024 CPUtime=0.09 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 567 0 0 0 9 0 0 0 25 0 1 0 900808796 3096576 518 33554432000 4194304 5714214 140736797536848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 756 518 180 372 0 381 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3024
[startup+0.300118 s]
/proc/loadavg: 2.15 1.96 1.93 3/327 20327
/proc/meminfo: memFree=23701068/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=4744 CPUtime=0.29 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 976 0 0 0 29 0 0 0 25 0 1 0 900808796 4857856 927 33554432000 4194304 5714214 140736797536848 18446744073709551615 4977340 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 1186 927 180 372 0 811 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4744
[startup+0.701043 s]
/proc/loadavg: 2.15 1.96 1.93 3/327 20327
/proc/meminfo: memFree=23701068/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=7128 CPUtime=0.69 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 1574 0 0 0 68 1 0 0 25 0 1 0 900808796 7299072 1525 33554432000 4194304 5714214 140736797536848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 1782 1525 180 372 0 1407 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7128
[startup+1.50089 s]
/proc/loadavg: 2.15 1.96 1.93 3/328 20328
/proc/meminfo: memFree=23692664/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=9252 CPUtime=1.49 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 2117 0 0 0 147 2 0 0 25 0 1 0 900808796 9474048 2068 33554432000 4194304 5714214 140736797536848 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 2313 2068 180 372 0 1938 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9252
[startup+3.10059 s]
/proc/loadavg: 2.14 1.96 1.93 3/328 20328
/proc/meminfo: memFree=23687828/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=11780 CPUtime=3.09 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 2717 0 0 0 302 7 0 0 25 0 1 0 900808796 12062720 2668 33554432000 4194304 5714214 140736797536848 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 2945 2668 180 372 0 2570 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11780
[startup+6.301 s]
/proc/loadavg: 2.14 1.96 1.93 3/328 20328
/proc/meminfo: memFree=23678280/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=16868 CPUtime=6.3 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 4000 0 0 0 617 13 0 0 25 0 1 0 900808796 17272832 3951 33554432000 4194304 5714214 140736797536848 18446744073709551615 4347231 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 4217 3951 180 372 0 3842 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 16868
[startup+12.7008 s]
/proc/loadavg: 2.12 1.96 1.93 3/328 20328
/proc/meminfo: memFree=23664276/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=23480 CPUtime=12.69 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 5654 0 0 0 1247 22 0 0 25 0 1 0 900808796 24043520 5605 33554432000 4194304 5714214 140736797536848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 5870 5605 180 372 0 5495 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23480
[startup+25.5005 s]
/proc/loadavg: 2.10 1.96 1.93 3/328 20328
/proc/meminfo: memFree=23638724/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=37180 CPUtime=25.49 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 9041 0 0 0 2509 40 0 0 25 0 1 0 900808796 38072320 8992 33554432000 4194304 5714214 140736797536848 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 9295 8992 180 372 0 8920 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37180
[startup+51.1008 s]
/proc/loadavg: 2.06 1.96 1.93 3/328 20329
/proc/meminfo: memFree=23591888/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=61004 CPUtime=51.1 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 14947 0 0 0 5033 77 0 0 25 0 1 0 900808796 62468096 14898 33554432000 4194304 5714214 140736797536848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 15251 14898 180 372 0 14876 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 61004
[startup+102.312 s]
/proc/loadavg: 2.02 1.97 1.93 3/328 20331
/proc/meminfo: memFree=23504216/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=101540 CPUtime=102.3 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 25034 0 0 0 10086 144 0 0 25 0 1 0 900808796 103976960 24985 33554432000 4194304 5714214 140736797536848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 25385 24985 180 372 0 25010 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 101540
[startup+162.3 s]
/proc/loadavg: 2.01 1.97 1.93 3/328 20332
/proc/meminfo: memFree=23401472/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=147060 CPUtime=162.3 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 36420 0 0 0 16015 215 0 0 25 0 1 0 900808796 150589440 36371 33554432000 4194304 5714214 140736797536848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 36765 36371 180 372 0 36390 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 147060
[startup+222.3 s]
/proc/loadavg: 2.00 1.97 1.93 3/328 20334
/proc/meminfo: memFree=23306676/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=187248 CPUtime=222.3 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 46388 0 0 0 21945 285 0 0 25 0 1 0 900808796 191741952 46339 33554432000 4194304 5714214 140736797536848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 46812 46339 180 372 0 46437 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 187248
[startup+282.3 s]
/proc/loadavg: 2.00 1.97 1.93 3/328 20344
/proc/meminfo: memFree=23212996/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=227020 CPUtime=282.3 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 56308 0 0 0 27881 349 0 0 25 0 1 0 900808796 232468480 56259 33554432000 4194304 5714214 140736797536848 18446744073709551615 4322911 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 56755 56259 180 372 0 56380 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 227020
[startup+342.3 s]
/proc/loadavg: 2.00 1.97 1.93 3/328 20346
/proc/meminfo: memFree=23115156/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=267604 CPUtime=342.3 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 66391 0 0 0 33814 416 0 0 25 0 1 0 900808796 274026496 66342 33554432000 4194304 5714214 140736797536848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 66901 66342 180 372 0 66526 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 267604
[startup+402.3 s]
/proc/loadavg: 2.07 1.99 1.93 3/328 20348
/proc/meminfo: memFree=23027436/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=306460 CPUtime=402.31 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 76073 0 0 0 39753 478 0 0 25 0 1 0 900808796 313815040 76024 33554432000 4194304 5714214 140736797536848 18446744073709551615 4300208 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 76615 76024 180 372 0 76240 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 306460
[startup+462.3 s]
/proc/loadavg: 2.02 1.99 1.93 3/328 20349
/proc/meminfo: memFree=22938976/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=343036 CPUtime=462.31 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 85252 0 0 0 45682 549 0 0 25 0 1 0 900808796 351268864 85203 33554432000 4194304 5714214 140736797536848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 85759 85203 180 372 0 85384 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 343036
[startup+522.3 s]
/proc/loadavg: 2.04 2.00 1.94 3/328 20351
/proc/meminfo: memFree=22852252/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=382272 CPUtime=522.31 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 95034 0 0 0 51624 607 0 0 25 0 1 0 900808796 391446528 94985 33554432000 4194304 5714214 140736797536848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 95568 94985 180 372 0 95193 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 382272
[startup+582.301 s]
/proc/loadavg: 2.01 2.00 1.94 3/328 20352
/proc/meminfo: memFree=22763928/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=419160 CPUtime=582.31 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 104242 0 0 0 57562 669 0 0 25 0 1 0 900808796 429219840 104193 33554432000 4194304 5714214 140736797536848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 104790 104193 180 372 0 104415 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 419160
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/328 20359
/proc/meminfo: memFree=22427784/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=564296 CPUtime=822.32 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 140511 0 0 0 81310 922 0 0 25 0 1 0 900808796 577839104 140462 33554432000 4194304 5714214 140736797536848 18446744073709551615 4300276 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 141074 140462 180 372 0 140699 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 564296
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/328 20360
/proc/meminfo: memFree=22349500/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=594992 CPUtime=882.32 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 148169 0 0 0 87252 980 0 0 25 0 1 0 900808796 609271808 148120 33554432000 4194304 5714214 140736797536848 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 148748 148120 180 372 0 148373 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 594992
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/328 20362
/proc/meminfo: memFree=22274564/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=628844 CPUtime=942.32 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 156570 0 0 0 93192 1040 0 0 25 0 1 0 900808796 643936256 156521 33554432000 4194304 5714214 140736797536848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 157211 156521 180 372 0 156836 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 628844
[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 1.94 3/328 20364
/proc/meminfo: memFree=22193916/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=662592 CPUtime=1002.32 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 165000 0 0 0 99134 1098 0 0 25 0 1 0 900808796 678494208 164951 33554432000 4194304 5714214 140736797536848 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 165648 164951 180 372 0 165273 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 662592
[startup+1062.3 s]
/proc/loadavg: 2.06 2.02 1.95 3/328 20365
/proc/meminfo: memFree=22118368/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=692704 CPUtime=1062.32 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 172486 0 0 0 105082 1150 0 0 25 0 1 0 900808796 709328896 172437 33554432000 4194304 5714214 140736797536848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 173176 172437 180 372 0 172801 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 692704
[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 1.95 3/328 20367
/proc/meminfo: memFree=22038592/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=726808 CPUtime=1122.32 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 180989 0 0 0 111024 1208 0 0 25 0 1 0 900808796 744251392 180940 33554432000 4194304 5714214 140736797536848 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 181702 180940 180 372 0 181327 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 726808
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/328 20368
/proc/meminfo: memFree=21959568/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=760960 CPUtime=1182.33 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 189482 0 0 0 116968 1265 0 0 25 0 1 0 900808796 779223040 189433 33554432000 4194304 5714214 140736797536848 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 190240 189433 180 372 0 189865 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 760960
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/328 20370
/proc/meminfo: memFree=21879676/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=793384 CPUtime=1242.33 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 197572 0 0 0 122911 1322 0 0 25 0 1 0 900808796 812425216 197523 33554432000 4194304 5714214 140736797536848 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 198346 197523 180 372 0 197971 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 793384
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/328 20372
/proc/meminfo: memFree=21800400/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=826080 CPUtime=1302.34 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 205722 0 0 0 128857 1377 0 0 25 0 1 0 900808796 845905920 205673 33554432000 4194304 5714214 140736797536848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 206520 205673 180 372 0 206145 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 826080
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/328 20373
/proc/meminfo: memFree=21729444/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=855172 CPUtime=1362.34 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 212993 0 0 0 134798 1436 0 0 25 0 1 0 900808796 875696128 212944 33554432000 4194304 5714214 140736797536848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 213793 212944 180 372 0 213418 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 855172
[startup+1422.31 s]
/proc/loadavg: 1.96 1.98 1.94 3/328 20430
/proc/meminfo: memFree=23230856/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=887908 CPUtime=1422.35 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 221199 0 0 0 140753 1482 0 0 25 0 1 0 900808796 909217792 221150 33554432000 4194304 5714214 140736797536848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 221977 221150 180 372 0 221602 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 887908
[startup+1482.3 s]
/proc/loadavg: 1.98 1.98 1.94 3/328 20431
/proc/meminfo: memFree=23200580/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=919012 CPUtime=1482.34 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 228986 0 0 0 146713 1521 0 0 25 0 1 0 900808796 941068288 228937 33554432000 4194304 5714214 140736797536848 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 229753 228937 180 372 0 229378 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 919012
[startup+1542.3 s]
/proc/loadavg: 2.13 2.02 1.95 3/328 20433
/proc/meminfo: memFree=23168084/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=950296 CPUtime=1542.34 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 236816 0 0 0 152672 1562 0 0 25 0 1 0 900808796 973103104 236767 33554432000 4194304 5714214 140736797536848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 237574 236767 180 372 0 237199 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 950296
[startup+1602.3 s]
/proc/loadavg: 2.11 2.03 1.96 3/328 20435
/proc/meminfo: memFree=23131580/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=984160 CPUtime=1602.34 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 245268 0 0 0 158633 1601 0 0 25 0 1 0 900808796 1007779840 245219 33554432000 4194304 5714214 140736797536848 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 246040 245219 180 372 0 245665 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 984160
[startup+1662.3 s]
/proc/loadavg: 2.10 2.04 1.96 3/328 20436
/proc/meminfo: memFree=23099572/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=1011220 CPUtime=1662.34 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 252059 0 0 0 164591 1643 0 0 25 0 1 0 900808796 1035489280 252010 33554432000 4194304 5714214 140736797536848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 252805 252010 180 372 0 252430 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1011220
[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 1.96 3/328 20438
/proc/meminfo: memFree=23060100/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=1046340 CPUtime=1722.35 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 260826 0 0 0 170549 1686 0 0 25 0 1 0 900808796 1071452160 260777 33554432000 4194304 5714214 140736797536848 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 261585 260777 180 372 0 261210 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1046340
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/328 20439
/proc/meminfo: memFree=23022624/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=1079464 CPUtime=1782.35 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 269088 0 0 0 176507 1728 0 0 25 0 1 0 900808796 1105371136 269039 33554432000 4194304 5714214 140736797536848 18446744073709551615 4299952 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 269866 269039 180 372 0 269491 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1079464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.02 1.96 3/328 20440
/proc/meminfo: memFree=23012424/32951124 swapFree=67056304/67111528
[pid=20327] ppid=20325 vsize=1088056 CPUtime=1800.05 cores=1,3,5,7
/proc/20327/stat : 20327 (wbo1.6) R 20325 20327 18990 0 -1 4202496 271231 0 0 0 178266 1739 0 0 25 0 1 0 900808796 1114169344 271182 33554432000 4194304 5714214 140736797536848 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/20327/statm: 272014 271182 180 372 0 271639 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1088056
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.06
CPU time (s): 1800.11
CPU user time (s): 1782.67
CPU system time (s): 17.4463
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1088056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.67
system time used= 17.4463
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271231
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= 1901
runsolver used 5.14022 second user time and 12.885 second system time
The end