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-3461371-1307081631/watcher-3461371-1307081631 -o /tmp/evaluation-result-3461371-1307081631/solver-3461371-1307081631 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461371-1307081631.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.01 2.02 2.00 2/436 17398
/proc/meminfo: memFree=20932164/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=2340 CPUtime=0.01 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 351 0 0 0 1 0 0 0 25 0 1 0 819761012 2396160 305 33554432000 4194304 5714214 140736045827600 18446744073709551615 4228419 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 585 306 210 372 0 150 0
[startup+0.0998021 s]
/proc/loadavg: 2.01 2.02 2.00 2/436 17398
/proc/meminfo: memFree=20932164/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=3304 CPUtime=0.09 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 672 0 0 0 9 0 0 0 18 0 1 0 819761012 3383296 566 33554432000 4194304 5714214 140736045827600 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 826 566 180 372 0 451 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3304
[startup+0.100803 s]
/proc/loadavg: 2.01 2.02 2.00 2/436 17398
/proc/meminfo: memFree=20932164/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=3304 CPUtime=0.09 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 676 0 0 0 9 0 0 0 18 0 1 0 819761012 3383296 570 33554432000 4194304 5714214 140736045827600 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 826 570 180 372 0 451 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3304
[startup+0.300762 s]
/proc/loadavg: 2.01 2.02 2.00 2/436 17398
/proc/meminfo: memFree=20932164/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=4756 CPUtime=0.29 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 1056 0 0 0 29 0 0 0 18 0 1 0 819761012 4870144 950 33554432000 4194304 5714214 140736045827600 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 1189 950 180 372 0 814 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4756
[startup+0.700699 s]
/proc/loadavg: 2.01 2.02 2.00 2/436 17398
/proc/meminfo: memFree=20932164/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=7008 CPUtime=0.69 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 1612 0 0 0 68 1 0 0 18 0 1 0 819761012 7176192 1506 33554432000 4194304 5714214 140736045827600 18446744073709551615 4319332 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 1752 1506 180 372 0 1377 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7008
[startup+1.50055 s]
/proc/loadavg: 2.01 2.02 2.00 3/437 17399
/proc/meminfo: memFree=20924332/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=10988 CPUtime=1.49 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 2601 0 0 0 147 2 0 0 19 0 1 0 819761012 11251712 2495 33554432000 4194304 5714214 140736045827600 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 2747 2495 180 372 0 2372 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10988
[startup+3.10026 s]
/proc/loadavg: 2.01 2.02 2.00 3/437 17399
/proc/meminfo: memFree=20918504/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=12500 CPUtime=3.09 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 2989 0 0 0 303 6 0 0 25 0 1 0 819761012 12800000 2883 33554432000 4194304 5714214 140736045827600 18446744073709551615 4319912 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 3125 2883 180 372 0 2750 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12500
[startup+6.30066 s]
/proc/loadavg: 2.01 2.02 2.00 3/437 17399
/proc/meminfo: memFree=20904120/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=19172 CPUtime=6.29 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 4670 0 0 0 614 15 0 0 20 0 1 0 819761012 19632128 4539 33554432000 4194304 5714214 140736045827600 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 4793 4539 180 372 0 4418 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19172
[startup+12.7005 s]
/proc/loadavg: 2.01 2.02 2.00 3/437 17399
/proc/meminfo: memFree=20889028/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=25864 CPUtime=12.69 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 6334 0 0 0 1245 24 0 0 25 0 1 0 819761012 26484736 6203 33554432000 4194304 5714214 140736045827600 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 6466 6203 180 372 0 6091 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25864
[startup+25.5011 s]
/proc/loadavg: 2.01 2.02 2.00 3/437 17399
/proc/meminfo: memFree=20847604/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=49092 CPUtime=25.49 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 12052 0 0 0 2508 41 0 0 23 0 1 0 819761012 50270208 11921 33554432000 4194304 5714214 140736045827600 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 12273 11921 180 372 0 11898 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49092
[startup+51.1004 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 17400
/proc/meminfo: memFree=20794064/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=83416 CPUtime=51.09 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 20594 0 0 0 5040 69 0 0 25 0 1 0 819761012 85417984 20463 33554432000 4194304 5714214 140736045827600 18446744073709551615 4324672 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 20854 20463 180 372 0 20479 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 83416
[startup+102.317 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 17401
/proc/meminfo: memFree=20729180/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=83776 CPUtime=102.29 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 20855 0 0 0 10104 125 0 0 25 0 1 0 819761012 85786624 20677 33554432000 4194304 5714214 140736045827600 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 20944 20677 180 372 0 20569 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 83776
[startup+162.301 s]
/proc/loadavg: 2.06 2.04 2.01 3/437 17403
/proc/meminfo: memFree=20661816/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=130712 CPUtime=162.28 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 32501 0 0 0 16040 188 0 0 25 0 1 0 819761012 133849088 32323 33554432000 4194304 5714214 140736045827600 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 32678 32323 180 372 0 32303 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 130712
[startup+222.301 s]
/proc/loadavg: 2.08 2.04 2.00 3/437 17404
/proc/meminfo: memFree=20615380/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=163968 CPUtime=222.28 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 40740 0 0 0 21994 234 0 0 25 0 1 0 819761012 167903232 40562 33554432000 4194304 5714214 140736045827600 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 40992 40562 180 372 0 40617 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 163968
[startup+282.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/437 17406
/proc/meminfo: memFree=20557428/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=211736 CPUtime=282.28 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 52589 0 0 0 27948 280 0 0 25 0 1 0 819761012 216817664 52411 33554432000 4194304 5714214 140736045827600 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 52934 52411 180 372 0 52559 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 211736
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/437 17408
/proc/meminfo: memFree=20518832/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=250644 CPUtime=342.28 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 62242 0 0 0 33908 320 0 0 25 0 1 0 819761012 256659456 62064 33554432000 4194304 5714214 140736045827600 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 62661 62064 180 372 0 62286 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 250644
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 17409
/proc/meminfo: memFree=20493592/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=276012 CPUtime=402.27 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 68513 0 0 0 39864 363 0 0 25 0 1 0 819761012 282636288 68335 33554432000 4194304 5714214 140736045827600 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 69003 68335 180 372 0 68628 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 276012
[startup+462.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/437 17411
/proc/meminfo: memFree=20432768/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=330444 CPUtime=462.28 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 82094 0 0 0 45815 413 0 0 25 0 1 0 819761012 338374656 81916 33554432000 4194304 5714214 140736045827600 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 82611 81916 180 372 0 82236 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 330444
[startup+522.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/437 17412
/proc/meminfo: memFree=20431216/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=333088 CPUtime=522.28 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 82707 0 0 0 51767 461 0 0 25 0 1 0 819761012 341082112 82529 33554432000 4194304 5714214 140736045827600 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 83272 82529 180 372 0 82897 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 333088
[startup+582.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/437 17414
/proc/meminfo: memFree=20378980/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=385520 CPUtime=582.28 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 95768 0 0 0 57715 513 0 0 25 0 1 0 819761012 394772480 95590 33554432000 4194304 5714214 140736045827600 18446744073709551615 4319297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 96380 95590 180 372 0 96005 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 385520
[startup+642.301 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/437 17422
/proc/meminfo: memFree=20138316/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=547800 CPUtime=882.28 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 135871 0 0 0 87521 707 0 0 25 0 1 0 819761012 560947200 135693 33554432000 4194304 5714214 140736045827600 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 136950 135693 180 372 0 136575 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 547800
[startup+942.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/437 17424
/proc/meminfo: memFree=20081376/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=599936 CPUtime=942.28 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 148865 0 0 0 93476 752 0 0 25 0 1 0 819761012 614334464 148687 33554432000 4194304 5714214 140736045827600 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 149984 148687 180 372 0 149609 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 599936
[startup+1002.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/437 17425
/proc/meminfo: memFree=20051936/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=618908 CPUtime=1002.28 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 153540 0 0 0 99434 794 0 0 25 0 1 0 819761012 633761792 153362 33554432000 4194304 5714214 140736045827600 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 154727 153362 180 372 0 154352 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 618908
[startup+1062.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/437 17427
/proc/meminfo: memFree=20003556/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=640164 CPUtime=1062.27 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 158781 0 0 0 105392 835 0 0 25 0 1 0 819761012 655527936 158603 33554432000 4194304 5714214 140736045827600 18446744073709551615 4319964 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 160041 158603 180 372 0 159666 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 640164
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/437 17428
/proc/meminfo: memFree=19951696/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=685284 CPUtime=1122.28 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 169972 0 0 0 111345 883 0 0 25 0 1 0 819761012 701730816 169794 33554432000 4194304 5714214 140736045827600 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 171321 169794 180 372 0 170946 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 685284
[startup+1182.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/437 17430
/proc/meminfo: memFree=19903556/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=712348 CPUtime=1182.27 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 176705 0 0 0 117300 927 0 0 25 0 1 0 819761012 729444352 176527 33554432000 4194304 5714214 140736045827600 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 178087 176527 180 372 0 177712 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 712348
[startup+1242.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/437 17432
/proc/meminfo: memFree=19864228/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=737296 CPUtime=1242.28 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 182974 0 0 0 123256 972 0 0 25 0 1 0 819761012 754991104 182796 33554432000 4194304 5714214 140736045827600 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 184324 182796 180 372 0 183949 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 737296
[startup+1302.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/437 17433
/proc/meminfo: memFree=19804060/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=785340 CPUtime=1302.29 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 194887 0 0 0 129212 1017 0 0 25 0 1 0 819761012 804188160 194709 33554432000 4194304 5714214 140736045827600 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 196335 194709 180 372 0 195960 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 785340
[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/437 17435
/proc/meminfo: memFree=19776996/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=802796 CPUtime=1362.28 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 199244 0 0 0 135169 1059 0 0 25 0 1 0 819761012 822063104 199066 33554432000 4194304 5714214 140736045827600 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 200699 199066 180 372 0 200324 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 802796
[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/437 17436
/proc/meminfo: memFree=19669568/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=834796 CPUtime=1422.29 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 207227 0 0 0 141132 1097 0 0 25 0 1 0 819761012 854831104 207049 33554432000 4194304 5714214 140736045827600 18446744073709551615 4329499 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 208699 207049 180 372 0 208324 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 834796
[startup+1482.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/437 17438
/proc/meminfo: memFree=19552608/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=883032 CPUtime=1482.29 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 219270 0 0 0 147106 1123 0 0 25 0 1 0 819761012 904224768 219092 33554432000 4194304 5714214 140736045827600 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 220758 219092 180 372 0 220383 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 883032
[startup+1542.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/437 17440
/proc/meminfo: memFree=19545760/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=898736 CPUtime=1542.28 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 223234 0 0 0 153063 1165 0 0 25 0 1 0 819761012 920305664 223056 33554432000 4194304 5714214 140736045827600 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 224684 223056 180 372 0 224309 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 898736
[startup+1602.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/437 17441
/proc/meminfo: memFree=19523140/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=899132 CPUtime=1602.28 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 223353 0 0 0 159023 1205 0 0 25 0 1 0 819761012 920711168 223175 33554432000 4194304 5714214 140736045827600 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 224783 223175 180 372 0 224408 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 899132
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/437 17443
/proc/meminfo: memFree=19485292/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=936968 CPUtime=1662.28 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 232741 0 0 0 164988 1240 0 0 25 0 1 0 819761012 959455232 232563 33554432000 4194304 5714214 140736045827600 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 234242 232563 180 372 0 233867 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 936968
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/437 17444
/proc/meminfo: memFree=19461580/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=960664 CPUtime=1722.28 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 238428 0 0 0 170959 1269 0 0 25 0 1 0 819761012 983719936 238250 33554432000 4194304 5714214 140736045827600 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 240166 238250 180 372 0 239791 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 960664
[startup+1782.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/437 17446
/proc/meminfo: memFree=19402412/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=979724 CPUtime=1782.28 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 243138 0 0 0 176919 1309 0 0 25 0 1 0 819761012 1003237376 242960 33554432000 4194304 5714214 140736045827600 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 244931 242960 180 372 0 244556 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 979724
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 1.97 2.03 2.00 2/431 17465
/proc/meminfo: memFree=19971616/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=988360 CPUtime=1800.09 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 245272 0 0 0 178685 1324 0 0 25 0 1 0 819761012 1012080640 245094 33554432000 4194304 5714214 140736045827600 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 247090 245094 180 372 0 246715 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 988360
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.1 s]
/proc/loadavg: 1.97 2.03 2.00 2/431 17465
/proc/meminfo: memFree=19971616/32951124 swapFree=60787360/67111528
[pid=17398] ppid=17396 vsize=988360 CPUtime=1800.09 cores=1,3,5,7
/proc/17398/stat : 17398 (wbo1.6) R 17396 17398 11639 0 -1 4202496 245272 0 0 0 178685 1324 0 0 25 0 1 0 819761012 1012080640 245094 33554432000 4194304 5714214 140736045827600 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/17398/statm: 247090 245094 180 372 0 246715 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 988360
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.16
CPU time (s): 1800.15
CPU user time (s): 1786.86
CPU system time (s): 13.292
CPU usage (%): 99.9994
Max. virtual memory (cumulated for all children) (KiB): 988360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.86
system time used= 13.292
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245272
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= 12
involuntary context switches= 4509
runsolver used 7.9168 second user time and 18.1862 second system time
The end