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-3460708-1307108629/watcher-3460708-1307108629 -o /tmp/evaluation-result-3460708-1307108629/solver-3460708-1307108629 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460708-1307108629.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.00 2.01 2.00 2/535 10411
/proc/meminfo: memFree=24031868/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=3748 CPUtime=0 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 512 0 0 0 0 0 0 0 22 0 1 0 803279220 3837952 465 33554432000 4194304 5714214 140735204983488 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10411/statm: 937 465 191 372 0 333 0
[startup+0.119707 s]
/proc/loadavg: 2.00 2.01 2.00 2/535 10411
/proc/meminfo: memFree=24031868/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=16640 CPUtime=0.11 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 4525 0 0 0 11 0 0 0 23 0 1 0 803279220 17039360 3791 33554432000 4194304 5714214 140735204983488 18446744073709551615 4967703 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10411/statm: 4160 3791 176 372 0 3785 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 16640
[startup+0.200691 s]
/proc/loadavg: 2.00 2.01 2.00 2/535 10411
/proc/meminfo: memFree=24031868/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=15928 CPUtime=0.19 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 4693 0 0 0 19 0 0 0 23 0 1 0 803279220 16310272 3702 33554432000 4194304 5714214 140735204983488 18446744073709551615 4319314 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10411/statm: 3982 3702 179 372 0 3607 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 15928
[startup+0.300674 s]
/proc/loadavg: 2.00 2.01 2.00 2/535 10411
/proc/meminfo: memFree=24031868/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=15928 CPUtime=0.29 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 4694 0 0 0 28 1 0 0 23 0 1 0 803279220 16310272 3703 33554432000 4194304 5714214 140735204983488 18446744073709551615 4322683 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10411/statm: 3982 3703 180 372 0 3607 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15928
[startup+0.700601 s]
/proc/loadavg: 2.00 2.01 2.00 2/535 10411
/proc/meminfo: memFree=24031868/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=16992 CPUtime=0.69 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 4955 0 0 0 67 2 0 0 25 0 1 0 803279220 17399808 3964 33554432000 4194304 5714214 140735204983488 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10411/statm: 4248 3964 180 372 0 3873 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16992
[startup+1.50046 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 10412
/proc/meminfo: memFree=24010904/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=22324 CPUtime=1.49 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 6211 0 0 0 145 4 0 0 25 0 1 0 803279220 22859776 5220 33554432000 4194304 5714214 140735204983488 18446744073709551615 4311854 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10411/statm: 5581 5220 180 372 0 5206 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22324
[startup+3.10117 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 10412
/proc/meminfo: memFree=24009668/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=24968 CPUtime=3.09 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 6862 0 0 0 303 6 0 0 18 0 1 0 803279220 25567232 5871 33554432000 4194304 5714214 140735204983488 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/10411/statm: 6242 5871 180 372 0 5867 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24968
[startup+6.3006 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 10412
/proc/meminfo: memFree=23993964/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=34496 CPUtime=6.26 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 9268 0 0 0 612 14 0 0 19 0 1 0 803279220 35323904 8277 33554432000 4194304 5714214 140735204983488 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 8624 8277 180 372 0 8249 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 34496
[startup+12.7005 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 10412
/proc/meminfo: memFree=23963220/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=64152 CPUtime=12.65 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 16676 0 0 0 1245 20 0 0 25 0 1 0 803279220 65691648 15685 33554432000 4194304 5714214 140735204983488 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 16038 15685 180 372 0 15663 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 64152
[startup+25.5012 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 10412
/proc/meminfo: memFree=23909156/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=107128 CPUtime=25.45 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 27393 0 0 0 2513 32 0 0 25 0 1 0 803279220 109699072 26402 33554432000 4194304 5714214 140735204983488 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 26782 26402 180 372 0 26407 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 107128
[startup+51.1006 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 10413
/proc/meminfo: memFree=23854176/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=149432 CPUtime=51.05 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 37919 0 0 0 5049 56 0 0 25 0 1 0 803279220 153018368 36928 33554432000 4194304 5714214 140735204983488 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 37358 36928 180 372 0 36983 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 149432
[startup+102.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/536 10414
/proc/meminfo: memFree=23791520/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=180552 CPUtime=102.26 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 45721 0 0 0 10136 90 0 0 25 0 1 0 803279220 184885248 44730 33554432000 4194304 5714214 140735204983488 18446744073709551615 4311684 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 45138 44730 180 372 0 44763 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 180552
[startup+162.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/536 10416
/proc/meminfo: memFree=23696244/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=236784 CPUtime=162.26 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 59760 0 0 0 16100 126 0 0 25 0 1 0 803279220 242466816 58769 33554432000 4194304 5714214 140735204983488 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 59196 58769 180 372 0 58821 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 236784
[startup+222.32 s]
/proc/loadavg: 2.13 2.05 2.01 3/536 10446
/proc/meminfo: memFree=24780460/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=263596 CPUtime=222.28 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 66454 0 0 0 22057 171 0 0 25 0 1 0 803279220 269922304 65463 33554432000 4194304 5714214 140735204983488 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 65899 65463 180 372 0 65524 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 263596
[startup+282.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/536 10447
/proc/meminfo: memFree=24544016/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=271116 CPUtime=282.26 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 68264 0 0 0 28012 214 0 0 25 0 1 0 803279220 277622784 67273 33554432000 4194304 5714214 140735204983488 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 67779 67273 180 372 0 67404 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 271116
[startup+342.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/536 10449
/proc/meminfo: memFree=24322260/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=273836 CPUtime=342.26 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 68926 0 0 0 33967 259 0 0 25 0 1 0 803279220 280408064 67935 33554432000 4194304 5714214 140735204983488 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 68459 67935 180 372 0 68084 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 273836
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 10450
/proc/meminfo: memFree=24065536/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=330348 CPUtime=402.26 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 83040 0 0 0 39912 314 0 0 25 0 1 0 803279220 338276352 82049 33554432000 4194304 5714214 140735204983488 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 82587 82049 180 372 0 82212 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 330348
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 10452
/proc/meminfo: memFree=23900448/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=351324 CPUtime=462.27 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 88276 0 0 0 45847 380 0 0 25 0 1 0 803279220 359755776 87285 33554432000 4194304 5714214 140735204983488 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 87831 87285 180 372 0 87456 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 351324
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 10454
/proc/meminfo: memFree=23847456/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=406140 CPUtime=522.26 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 101948 0 0 0 51800 426 0 0 25 0 1 0 803279220 415887360 100957 33554432000 4194304 5714214 140735204983488 18446744073709551615 4300192 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 101535 100957 180 372 0 101160 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 406140
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 10455
/proc/meminfo: memFree=23842336/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=410048 CPUtime=582.27 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 102766 0 0 0 57763 464 0 0 25 0 1 0 803279220 419889152 101775 33554432000 4194304 5714214 140735204983488 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 102512 101775 180 372 0 102137 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 410048
[startup+642.301 s]
################
# More data... #
################
[startup+882.32 s]
/proc/loadavg: 2.03 2.04 2.00 3/536 10463
/proc/meminfo: memFree=23839352/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=410740 CPUtime=882.3 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 103150 0 0 0 87591 639 0 0 25 0 1 0 803279220 420597760 102010 33554432000 4194304 5714214 140735204983488 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 102685 102010 180 372 0 102310 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 410740
[startup+942.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 10465
/proc/meminfo: memFree=23839688/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=410740 CPUtime=942.28 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 103185 0 0 0 93562 666 0 0 25 0 1 0 803279220 420597760 102045 33554432000 4194304 5714214 140735204983488 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 102685 102045 180 372 0 102310 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 410740
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 10466
/proc/meminfo: memFree=23839512/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=410740 CPUtime=1002.28 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 103187 0 0 0 99534 694 0 0 25 0 1 0 803279220 420597760 102047 33554432000 4194304 5714214 140735204983488 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 102685 102047 180 372 0 102310 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 410740
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 10477
/proc/meminfo: memFree=23790588/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=458748 CPUtime=1062.28 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 115482 0 0 0 105516 712 0 0 25 0 1 0 803279220 469757952 114342 33554432000 4194304 5714214 140735204983488 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 114687 114342 180 372 0 114312 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 458748
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 10479
/proc/meminfo: memFree=23766492/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=483212 CPUtime=1122.28 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 121583 0 0 0 111495 733 0 0 25 0 1 0 803279220 494809088 120443 33554432000 4194304 5714214 140735204983488 18446744073709551615 4311421 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 120803 120443 180 372 0 120428 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 483212
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 10480
/proc/meminfo: memFree=23733348/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=514840 CPUtime=1182.28 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 129471 0 0 0 117477 751 0 0 25 0 1 0 803279220 527196160 128331 33554432000 4194304 5714214 140735204983488 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 128710 128331 180 372 0 128335 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 514840
[startup+1242.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/536 10482
/proc/meminfo: memFree=23713224/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=535860 CPUtime=1242.28 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 134706 0 0 0 123458 770 0 0 25 0 1 0 803279220 548720640 133566 33554432000 4194304 5714214 140735204983488 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 133965 133566 180 372 0 133590 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 535860
[startup+1302.3 s]
/proc/loadavg: 2.10 2.04 2.00 3/536 10483
/proc/meminfo: memFree=23712192/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=535860 CPUtime=1302.28 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 134706 0 0 0 129429 799 0 0 25 0 1 0 803279220 548720640 133566 33554432000 4194304 5714214 140735204983488 18446744073709551615 4319752 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 133965 133566 180 372 0 133590 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 535860
[startup+1362.3 s]
/proc/loadavg: 2.09 2.05 2.00 3/536 10485
/proc/meminfo: memFree=23712640/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=535860 CPUtime=1362.29 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 134707 0 0 0 135412 817 0 0 25 0 1 0 803279220 548720640 133567 33554432000 4194304 5714214 140735204983488 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 133965 133567 180 372 0 133590 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 535860
[startup+1422.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/536 10487
/proc/meminfo: memFree=23656788/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=590932 CPUtime=1422.3 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 148466 0 0 0 141394 836 0 0 25 0 1 0 803279220 605114368 147326 33554432000 4194304 5714214 140735204983488 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 147733 147326 180 372 0 147358 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 590932
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 10488
/proc/meminfo: memFree=23562752/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=599076 CPUtime=1482.29 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 150494 0 0 0 147381 848 0 0 25 0 1 0 803279220 613453824 149354 33554432000 4194304 5714214 140735204983488 18446744073709551615 4319269 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 149769 149354 180 372 0 149394 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 599076
[startup+1542.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 10490
/proc/meminfo: memFree=23417496/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=625180 CPUtime=1542.32 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 156953 0 0 0 153360 872 0 0 25 0 1 0 803279220 640184320 155813 33554432000 4194304 5714214 140735204983488 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 156295 155813 180 372 0 155920 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 625180
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 10491
/proc/meminfo: memFree=23295928/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=652004 CPUtime=1602.3 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 163656 0 0 0 159346 884 0 0 25 0 1 0 803279220 667652096 162516 33554432000 4194304 5714214 140735204983488 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 163001 162516 180 372 0 162626 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 652004
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 10493
/proc/meminfo: memFree=23252356/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=693512 CPUtime=1662.29 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 174027 0 0 0 165333 896 0 0 25 0 1 0 803279220 710156288 172887 33554432000 4194304 5714214 140735204983488 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 173378 172887 180 372 0 173003 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 693512
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 10495
/proc/meminfo: memFree=23221308/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=727020 CPUtime=1722.3 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 182372 0 0 0 171327 903 0 0 25 0 1 0 803279220 744468480 181232 33554432000 4194304 5714214 140735204983488 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 181755 181232 180 372 0 181380 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 727020
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/536 10496
/proc/meminfo: memFree=23154800/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=790448 CPUtime=1782.3 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 198200 0 0 0 177314 916 0 0 25 0 1 0 803279220 809418752 197060 33554432000 4194304 5714214 140735204983488 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 197612 197060 180 372 0 197237 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 790448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 2.01 2.00 3/536 10497
/proc/meminfo: memFree=23154772/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=790448 CPUtime=1800 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 198200 0 0 0 179082 918 0 0 25 0 1 0 803279220 809418752 197060 33554432000 4194304 5714214 140735204983488 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 197612 197060 180 372 0 197237 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 790448
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.03 2.01 2.00 3/536 10497
/proc/meminfo: memFree=23154772/32951124 swapFree=46970528/67111528
[pid=10411] ppid=10409 vsize=790448 CPUtime=1800 cores=1,3,5,7
/proc/10411/stat : 10411 (wbo1.6) R 10409 10411 9437 0 -1 4202496 198200 0 0 0 179082 918 0 0 25 0 1 0 803279220 809418752 197060 33554432000 4194304 5714214 140735204983488 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10411/statm: 197612 197060 180 372 0 197237 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 790448
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.05
CPU time (s): 1800.06
CPU user time (s): 1790.84
CPU system time (s): 9.2216
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 790448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.84
system time used= 9.2216
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198200
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= 20468
runsolver used 9.11761 second user time and 22.0027 second system time
The end