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-3463155-1307177380/watcher-3463155-1307177380 -o /tmp/evaluation-result-3463155-1307177380/solver-3463155-1307177380 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463155-1307177380.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.03 2.00 3/535 18403
/proc/meminfo: memFree=25059156/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=11060 CPUtime=0 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 386 0 0 0 0 0 0 0 25 0 1 0 810154268 11325440 328 33554432000 134512640 137138936 4294633568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 2765 328 185 642 0 2121 0
[startup+0.104403 s]
/proc/loadavg: 2.00 2.03 2.00 3/535 18403
/proc/meminfo: memFree=25059156/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=11480 CPUtime=0.09 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 479 0 0 0 9 0 0 0 25 0 1 0 810154268 11755520 421 33554432000 134512640 137138936 4294633568 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 2870 421 192 642 0 2226 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11480
[startup+0.200398 s]
/proc/loadavg: 2.00 2.03 2.00 3/535 18403
/proc/meminfo: memFree=25059156/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=11696 CPUtime=0.19 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 558 0 0 0 19 0 0 0 25 0 1 0 810154268 11976704 500 33554432000 134512640 137138936 4294633568 18446744073709551615 136504093 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 2924 500 192 642 0 2280 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11696
[startup+0.300384 s]
/proc/loadavg: 2.00 2.03 2.00 3/535 18403
/proc/meminfo: memFree=25059156/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=12032 CPUtime=0.29 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 637 0 0 0 29 0 0 0 25 0 1 0 810154268 12320768 579 33554432000 134512640 137138936 4294633568 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 3008 579 192 642 0 2364 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12032
[startup+0.700269 s]
/proc/loadavg: 2.00 2.03 2.00 3/535 18403
/proc/meminfo: memFree=25059156/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=13788 CPUtime=0.69 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 1055 0 0 0 69 0 0 0 25 0 1 0 810154268 14118912 997 33554432000 134512640 137138936 4294633568 18446744073709551615 134602744 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 3447 997 192 642 0 2803 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13788
[startup+1.50116 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 18404
/proc/meminfo: memFree=25053568/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=16732 CPUtime=1.49 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 1794 0 0 0 149 0 0 0 25 0 1 0 810154268 17133568 1736 33554432000 134512640 137138936 4294633568 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 4183 1736 192 642 0 3539 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16732
[startup+3.10087 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 18404
/proc/meminfo: memFree=25050772/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=18524 CPUtime=3.08 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 2263 0 0 0 308 0 0 0 25 0 1 0 810154268 18968576 2205 33554432000 134512640 137138936 4294633568 18446744073709551615 134575835 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 4631 2205 192 642 0 3987 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 18524
[startup+6.30031 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 18404
/proc/meminfo: memFree=25048168/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=20408 CPUtime=6.29 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 2725 0 0 0 628 1 0 0 25 0 1 0 810154268 20897792 2667 33554432000 134512640 137138936 4294633568 18446744073709551615 134607591 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 5102 2667 192 642 0 4458 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20408
[startup+12.7012 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18404
/proc/meminfo: memFree=25043484/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=21788 CPUtime=12.68 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 3065 0 0 0 1267 1 0 0 25 0 1 0 810154268 22310912 3007 33554432000 134512640 137138936 4294633568 18446744073709551615 134607589 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 5447 3007 192 642 0 4803 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21788
[startup+25.5009 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18405
/proc/meminfo: memFree=25041868/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=23816 CPUtime=25.49 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 3577 0 0 0 2546 3 0 0 25 0 1 0 810154268 24387584 3519 33554432000 134512640 137138936 4294633568 18446744073709551615 134599777 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 5954 3519 192 642 0 5310 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23816
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18405
/proc/meminfo: memFree=25041036/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=24084 CPUtime=51.08 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 3654 0 0 0 5103 5 0 0 25 0 1 0 810154268 24662016 3596 33554432000 134512640 137138936 4294633568 18446744073709551615 136502633 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 6021 3596 192 642 0 5377 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 24084
[startup+102.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18407
/proc/meminfo: memFree=25037776/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=26988 CPUtime=102.3 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 4364 0 0 0 10219 11 0 0 25 0 1 0 810154268 27635712 4306 33554432000 134512640 137138936 4294633568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 6747 4306 192 642 0 6103 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 26988
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 18408
/proc/meminfo: memFree=25034780/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=29676 CPUtime=162.29 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 5104 0 0 0 16207 22 0 0 25 0 1 0 810154268 30388224 4971 33554432000 134512640 137138936 4294633568 18446744073709551615 134607009 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 7419 4971 192 642 0 6775 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 29676
[startup+222.321 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 18410
/proc/meminfo: memFree=25033860/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=30564 CPUtime=222.3 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 5325 0 0 0 22200 30 0 0 25 0 1 0 810154268 31297536 5192 33554432000 134512640 137138936 4294633568 18446744073709551615 134607609 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 7641 5192 192 642 0 6997 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 30564
[startup+282.301 s]
/proc/loadavg: 2.27 2.06 2.02 3/536 18412
/proc/meminfo: memFree=25030976/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=31100 CPUtime=282.28 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 5578 0 0 0 28192 36 0 0 25 0 1 0 810154268 31846400 5335 33554432000 134512640 137138936 4294633568 18446744073709551615 134606997 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 7775 5335 192 642 0 7131 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 31100
[startup+342.301 s]
/proc/loadavg: 2.17 2.07 2.02 3/536 18413
/proc/meminfo: memFree=25029432/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=32296 CPUtime=342.28 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 5878 0 0 0 34186 42 0 0 25 0 1 0 810154268 33071104 5631 33554432000 134512640 137138936 4294633568 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 8074 5631 192 642 0 7430 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 32296
[startup+402.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/536 18415
/proc/meminfo: memFree=25028176/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=33744 CPUtime=402.28 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 6307 0 0 0 40175 53 0 0 25 0 1 0 810154268 34553856 6012 33554432000 134512640 137138936 4294633568 18446744073709551615 134607584 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 8436 6012 192 642 0 7792 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 33744
[startup+462.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 18416
/proc/meminfo: memFree=25029264/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=33720 CPUtime=462.27 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 6307 0 0 0 46167 60 0 0 25 0 1 0 810154268 34529280 6006 33554432000 134512640 137138936 4294633568 18446744073709551615 134606620 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 8430 6006 192 642 0 7786 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 33720
[startup+522.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 18418
/proc/meminfo: memFree=25026376/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=36852 CPUtime=522.27 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 7071 0 0 0 52161 66 0 0 25 0 1 0 810154268 37736448 6770 33554432000 134512640 137138936 4294633568 18446744073709551615 134607009 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 9213 6770 192 642 0 8569 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 36852
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18420
/proc/meminfo: memFree=25025576/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=37392 CPUtime=582.28 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 7213 0 0 0 58157 71 0 0 25 0 1 0 810154268 38289408 6912 33554432000 134512640 137138936 4294633568 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 9348 6912 192 642 0 8704 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 37392
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=24029204/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=35348 CPUtime=1062.27 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 7628 0 0 0 106105 122 0 0 25 0 1 0 810154268 36196352 6413 33554432000 134512640 137138936 4294633568 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 8837 6413 192 642 0 8193 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 35348
[startup+1122.3 s]
/proc/loadavg: 2.03 2.06 2.02 3/536 18470
/proc/meminfo: memFree=24030424/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=35348 CPUtime=1122.25 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 7628 0 0 0 112099 126 0 0 25 0 1 0 810154268 36196352 6413 33554432000 134512640 137138936 4294633568 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 8837 6413 192 642 0 8193 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 35348
[startup+1182.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/536 18472
/proc/meminfo: memFree=24030152/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=35348 CPUtime=1182.26 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 7628 0 0 0 118094 132 0 0 25 0 1 0 810154268 36196352 6413 33554432000 134512640 137138936 4294633568 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 8837 6413 192 642 0 8193 0
Current children cumulated CPU time (s) 1182.26
Current children cumulated vsize (KiB) 35348
[startup+1242.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/536 18473
/proc/meminfo: memFree=24015116/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=35348 CPUtime=1242.26 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 7628 0 0 0 124088 138 0 0 25 0 1 0 810154268 36196352 6413 33554432000 134512640 137138936 4294633568 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 8837 6413 192 642 0 8193 0
Current children cumulated CPU time (s) 1242.26
Current children cumulated vsize (KiB) 35348
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 18475
/proc/meminfo: memFree=24014972/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=35348 CPUtime=1302.25 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 7628 0 0 0 130081 144 0 0 25 0 1 0 810154268 36196352 6413 33554432000 134512640 137138936 4294633568 18446744073709551615 136520996 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 8837 6413 192 642 0 8193 0
Current children cumulated CPU time (s) 1302.25
Current children cumulated vsize (KiB) 35348
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18476
/proc/meminfo: memFree=24014940/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=35348 CPUtime=1362.25 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 7628 0 0 0 136074 151 0 0 25 0 1 0 810154268 36196352 6413 33554432000 134512640 137138936 4294633568 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 8837 6413 192 642 0 8193 0
Current children cumulated CPU time (s) 1362.25
Current children cumulated vsize (KiB) 35348
[startup+1422.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/536 18478
/proc/meminfo: memFree=24016260/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=35348 CPUtime=1422.26 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 7628 0 0 0 142066 160 0 0 25 0 1 0 810154268 36196352 6413 33554432000 134512640 137138936 4294633568 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 8837 6413 192 642 0 8193 0
Current children cumulated CPU time (s) 1422.26
Current children cumulated vsize (KiB) 35348
[startup+1482.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/536 18480
/proc/meminfo: memFree=24016100/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=35348 CPUtime=1482.24 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 7628 0 0 0 148055 169 0 0 25 0 1 0 810154268 36196352 6413 33554432000 134512640 137138936 4294633568 18446744073709551615 134550933 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 8837 6413 192 642 0 8193 0
Current children cumulated CPU time (s) 1482.24
Current children cumulated vsize (KiB) 35348
[startup+1542.32 s]
/proc/loadavg: 2.03 2.04 2.00 3/536 18481
/proc/meminfo: memFree=24016188/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=35764 CPUtime=1542.27 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 7755 0 0 0 154049 178 0 0 25 0 1 0 810154268 36622336 6517 33554432000 134512640 137138936 4294633568 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 8941 6517 192 642 0 8297 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 35764
[startup+1602.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/536 18483
/proc/meminfo: memFree=24016284/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=35348 CPUtime=1602.24 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 7755 0 0 0 160036 188 0 0 25 0 1 0 810154268 36196352 6413 33554432000 134512640 137138936 4294633568 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 8837 6413 192 642 0 8193 0
Current children cumulated CPU time (s) 1602.24
Current children cumulated vsize (KiB) 35348
[startup+1662.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/536 18484
/proc/meminfo: memFree=24015248/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=36532 CPUtime=1662.24 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 8151 0 0 0 166029 195 0 0 25 0 1 0 810154268 37408768 6709 33554432000 134512640 137138936 4294633568 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 9133 6709 192 642 0 8489 0
Current children cumulated CPU time (s) 1662.24
Current children cumulated vsize (KiB) 36532
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 18486
/proc/meminfo: memFree=24011868/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=37472 CPUtime=1722.24 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 8545 0 0 0 172022 202 0 0 25 0 1 0 810154268 38371328 6944 33554432000 134512640 137138936 4294633568 18446744073709551615 134606601 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 9368 6944 192 642 0 8724 0
Current children cumulated CPU time (s) 1722.24
Current children cumulated vsize (KiB) 37472
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 18488
/proc/meminfo: memFree=24010716/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=37448 CPUtime=1782.24 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 8545 0 0 0 178014 210 0 0 25 0 1 0 810154268 38346752 6938 33554432000 134512640 137138936 4294633568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 9362 6938 192 642 0 8718 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 37448
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 18488
/proc/meminfo: memFree=24010716/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=37444 CPUtime=1785.54 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 8545 0 0 0 178344 210 0 0 25 0 1 0 810154268 38342656 6937 33554432000 134512640 137138936 4294633568 18446744073709551615 134602742 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 9361 6937 192 642 0 8717 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 37444
[startup+1792.02 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18488
/proc/meminfo: memFree=24010712/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=37436 CPUtime=1791.96 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 8545 0 0 0 178985 211 0 0 25 0 1 0 810154268 38334464 6935 33554432000 134512640 137138936 4294633568 18446744073709551615 134552262 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 9359 6935 192 642 0 8715 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 37436
[startup+1795.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18488
/proc/meminfo: memFree=24010340/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=38088 CPUtime=1795.15 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 8701 0 0 0 179304 211 0 0 25 0 1 0 810154268 39002112 7091 33554432000 134512640 137138936 4294633568 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 9522 7091 192 642 0 8878 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 38088
[startup+1796.8 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18488
/proc/meminfo: memFree=24010340/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=38088 CPUtime=1796.74 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 8701 0 0 0 179463 211 0 0 25 0 1 0 810154268 39002112 7091 33554432000 134512640 137138936 4294633568 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 9522 7091 192 642 0 8878 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 38088
[startup+1797.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18488
/proc/meminfo: memFree=24010340/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=38088 CPUtime=1797.54 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 8701 0 0 0 179543 211 0 0 25 0 1 0 810154268 39002112 7091 33554432000 134512640 137138936 4294633568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 9522 7091 192 642 0 8878 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 38088
[startup+1798 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18488
/proc/meminfo: memFree=24010340/32951124 swapFree=46970528/67111528
[pid=18403] ppid=18401 vsize=38088 CPUtime=1797.94 cores=0,2,4,6
/proc/18403/stat : 18403 (bsolo) R 18401 18403 16282 0 -1 4202496 8701 0 0 0 179583 211 0 0 25 0 1 0 810154268 39002112 7091 33554432000 134512640 137138936 4294633568 18446744073709551615 136520965 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18403/statm: 9522 7091 192 642 0 8878 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 38088
Child status: 0
Real time (s): 1798.06
CPU time (s): 1798
CPU user time (s): 1795.89
CPU system time (s): 2.11668
CPU usage (%): 99.997
Max. virtual memory (cumulated for all children) (KiB): 39080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.89
system time used= 2.11668
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8702
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= 5
involuntary context switches= 5408
runsolver used 10.1195 second user time and 21.7297 second system time
The end