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-3463043-1307179098/watcher-3463043-1307179098 -o /tmp/evaluation-result-3463043-1307179098/solver-3463043-1307179098 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463043-1307179098.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.04 2.03 2.00 3/469 15148
/proc/meminfo: memFree=23925704/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=21316 CPUtime=0 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 268 0 0 0 0 0 0 0 25 0 1 0 908140307 21827584 222 33554432000 134512640 137138936 4294713040 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 5329 223 165 642 0 4008 0

[startup+0.067689 s]
/proc/loadavg: 2.04 2.03 2.00 3/469 15148
/proc/meminfo: memFree=23925704/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=14808 CPUtime=0.06 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 800 0 0 0 6 0 0 0 25 0 1 0 908140307 15163392 754 33554432000 134512640 137138936 4294713040 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 3702 754 361 642 0 2381 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14808

[startup+0.10067 s]
/proc/loadavg: 2.04 2.03 2.00 3/469 15148
/proc/meminfo: memFree=23925704/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=15452 CPUtime=0.09 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 1068 0 0 0 9 0 0 0 25 0 1 0 908140307 15822848 1022 33554432000 134512640 137138936 4294713040 18446744073709551615 134531591 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 3863 1023 463 642 0 2542 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15452

[startup+0.300635 s]
/proc/loadavg: 2.04 2.03 2.00 3/469 15148
/proc/meminfo: memFree=23925704/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=20636 CPUtime=0.29 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 3432 0 0 0 29 0 0 0 25 0 1 0 908140307 21131264 2709 33554432000 134512640 137138936 4294713040 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 5159 2709 185 642 0 4515 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20636

[startup+0.700558 s]
/proc/loadavg: 2.04 2.03 2.00 3/469 15148
/proc/meminfo: memFree=23925704/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=20056 CPUtime=0.69 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 4505 0 0 0 69 0 0 0 25 0 1 0 908140307 20537344 2569 33554432000 134512640 137138936 4294713040 18446744073709551615 134532589 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 5014 2569 185 642 0 4370 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20056

[startup+1.50042 s]
/proc/loadavg: 2.04 2.03 2.00 3/470 15149
/proc/meminfo: memFree=23915532/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=20056 CPUtime=1.48 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 4507 0 0 0 148 0 0 0 25 0 1 0 908140307 20537344 2571 33554432000 134512640 137138936 4294713040 18446744073709551615 134532602 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 5014 2571 185 642 0 4370 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 20056

[startup+3.10107 s]
/proc/loadavg: 2.04 2.03 2.00 3/470 15149
/proc/meminfo: memFree=23911564/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=21980 CPUtime=3.09 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 44741 0 0 0 304 5 0 0 25 0 1 0 908140307 22507520 3171 33554432000 134512640 137138936 4294713040 18446744073709551615 134750212 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 5495 3171 286 642 0 4851 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21980

[startup+6.30052 s]
/proc/loadavg: 2.04 2.03 2.00 3/470 15149
/proc/meminfo: memFree=23909328/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=23708 CPUtime=6.29 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 64381 0 0 0 621 8 0 0 25 0 1 0 908140307 24276992 3212 33554432000 134512640 137138936 4294713040 18446744073709551615 134730880 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 5927 3212 286 642 0 5283 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23708

[startup+12.7003 s]
/proc/loadavg: 2.19 2.06 2.01 3/470 15150
/proc/meminfo: memFree=23906536/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=21980 CPUtime=12.68 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 107296 0 0 0 1255 13 0 0 25 0 1 0 908140307 22507520 3171 33554432000 134512640 137138936 4294713040 18446744073709551615 135783805 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 5495 3171 286 642 0 4851 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21980

[startup+25.5009 s]
/proc/loadavg: 2.16 2.06 2.01 3/470 15150
/proc/meminfo: memFree=23898080/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=29036 CPUtime=25.49 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 539878 0 0 0 2484 65 0 0 25 0 1 0 908140307 29732864 4358 33554432000 134512640 137138936 4294713040 18446744073709551615 135388588 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 7259 4358 287 642 0 6615 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29036

[startup+51.1012 s]
/proc/loadavg: 2.10 2.05 2.01 3/470 15151
/proc/meminfo: memFree=23874948/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=39340 CPUtime=51.09 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 2384606 0 0 0 4826 283 0 0 25 0 1 0 908140307 40284160 7512 33554432000 134512640 137138936 4294713040 18446744073709551615 135783832 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 9835 7512 287 642 0 9191 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 39340

[startup+102.318 s]
/proc/loadavg: 2.04 2.04 2.00 3/470 15152
/proc/meminfo: memFree=23825316/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=70316 CPUtime=102.31 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 6121583 0 0 0 9514 717 0 0 25 0 1 0 908140307 72003584 15256 33554432000 134512640 137138936 4294713040 18446744073709551615 134750265 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 17579 15256 287 642 0 16935 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 70316

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 15154
/proc/meminfo: memFree=23774908/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=108148 CPUtime=162.29 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 8918148 0 0 0 15171 1058 0 0 25 0 1 0 908140307 110743552 24490 33554432000 134512640 137138936 4294713040 18446744073709551615 134730892 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 27037 24490 287 642 0 26393 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 108148

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 15155
/proc/meminfo: memFree=23750560/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=115892 CPUtime=222.3 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 12111769 0 0 0 20796 1434 0 0 25 0 1 0 908140307 118673408 26650 33554432000 134512640 137138936 4294713040 18446744073709551615 135783829 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 28973 26650 287 642 0 28329 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 115892

[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 15157
/proc/meminfo: memFree=23734520/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=117440 CPUtime=282.29 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 15317821 0 0 0 26417 1812 0 0 25 0 1 0 908140307 120258560 26673 33554432000 134512640 137138936 4294713040 18446744073709551615 134712101 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 29360 26673 287 642 0 28716 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 117440

[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 15158
/proc/meminfo: memFree=23716620/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=118064 CPUtime=342.3 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 19011116 0 0 0 31986 2244 0 0 25 0 1 0 908140307 120897536 26671 33554432000 134512640 137138936 4294713040 18446744073709551615 134851593 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 29516 26671 287 642 0 28872 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 118064

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 15160
/proc/meminfo: memFree=23700920/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=118012 CPUtime=402.3 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 22973411 0 0 0 37509 2721 0 0 25 0 1 0 908140307 120844288 26703 33554432000 134512640 137138936 4294713040 18446744073709551615 134841247 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 29503 26703 287 642 0 28859 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 118012

[startup+462.301 s]
/proc/loadavg: 2.12 2.03 2.01 3/470 15162
/proc/meminfo: memFree=23680408/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=121616 CPUtime=462.31 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 26901714 0 0 0 43039 3192 0 0 25 0 1 0 908140307 124534784 28081 33554432000 134512640 137138936 4294713040 18446744073709551615 135783795 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 30404 28081 287 642 0 29760 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 121616

[startup+522.3 s]
/proc/loadavg: 2.25 2.07 2.02 3/470 15163
/proc/meminfo: memFree=23654080/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=137556 CPUtime=522.31 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 30756497 0 0 0 48583 3648 0 0 25 0 1 0 908140307 140857344 31654 33554432000 134512640 137138936 4294713040 18446744073709551615 135251090 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 34389 31654 287 642 0 33745 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 137556

[startup+582.3 s]
/proc/loadavg: 2.16 2.07 2.02 3/470 15165
/proc/meminfo: memFree=23635180/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=140804 CPUtime=582.31 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 34261921 0 0 0 54169 4062 0 0 25 0 1 0 908140307 144183296 32752 33554432000 134512640 137138936 4294713040 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 35201 32752 287 642 0 34557 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 140804

[startup+642.301 s]

################
# More data... #
################

/proc/meminfo: memFree=23601200/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=162176 CPUtime=1062.33 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 60149309 0 0 0 99057 7176 0 0 25 0 1 0 908140307 166068224 38011 33554432000 134512640 137138936 4294713040 18446744073709551615 135783829 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 40544 38043 287 642 0 39900 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 162176

[startup+1122.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/470 15179
/proc/meminfo: memFree=23601120/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=159968 CPUtime=1122.33 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 63201668 0 0 0 104694 7539 0 0 25 0 1 0 908140307 163807232 37516 33554432000 134512640 137138936 4294713040 18446744073709551615 134750310 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 39992 37516 287 642 0 39348 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 159968

[startup+1182.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/470 15181
/proc/meminfo: memFree=23600944/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=162168 CPUtime=1182.32 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 66340079 0 0 0 110318 7914 0 0 25 0 1 0 908140307 166060032 38075 33554432000 134512640 137138936 4294713040 18446744073709551615 135783832 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 40542 38075 287 642 0 39898 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 162168

[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/470 15184
/proc/meminfo: memFree=23598608/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=162160 CPUtime=1242.33 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 68940189 0 0 0 116003 8230 0 0 25 0 1 0 908140307 166051840 38083 33554432000 134512640 137138936 4294713040 18446744073709551615 134850633 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 40540 38083 287 642 0 39896 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 162160

[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/470 15187
/proc/meminfo: memFree=23599544/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=162164 CPUtime=1302.34 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 71949963 0 0 0 121641 8593 0 0 25 0 1 0 908140307 166055936 38076 33554432000 134512640 137138936 4294713040 18446744073709551615 135783832 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 40541 38076 287 642 0 39897 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 162164

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 15189
/proc/meminfo: memFree=23599484/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=159944 CPUtime=1362.34 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 75001908 0 0 0 127281 8953 0 0 25 0 1 0 908140307 163782656 37521 33554432000 134512640 137138936 4294713040 18446744073709551615 134750986 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 39986 37521 287 642 0 39342 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 159944

[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/470 15190
/proc/meminfo: memFree=23598936/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=162164 CPUtime=1422.35 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 78107398 0 0 0 132923 9312 0 0 25 0 1 0 908140307 166055936 38094 33554432000 134512640 137138936 4294713040 18446744073709551615 135783832 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 40541 38094 287 642 0 39897 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 162164

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 15192
/proc/meminfo: memFree=23595388/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=165244 CPUtime=1482.34 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 81399468 0 0 0 138542 9692 0 0 25 0 1 0 908140307 169209856 38988 33554432000 134512640 137138936 4294713040 18446744073709551615 135783839 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 41311 38988 287 642 0 40667 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 165244

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/470 15221
/proc/meminfo: memFree=23931672/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=165244 CPUtime=1542.34 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 84800526 0 0 0 144139 10095 0 0 25 0 1 0 908140307 169209856 38529 33554432000 134512640 137138936 4294713040 18446744073709551615 135783850 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 41311 38565 287 642 0 40667 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 165244

[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/470 15223
/proc/meminfo: memFree=23927432/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=167404 CPUtime=1602.34 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 87909213 0 0 0 149757 10477 0 0 25 0 1 0 908140307 171421696 39009 33554432000 134512640 137138936 4294713040 18446744073709551615 134730892 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 41851 39009 287 642 0 41207 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 167404

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/470 15225
/proc/meminfo: memFree=23925036/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=165228 CPUtime=1662.34 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 91260453 0 0 0 155350 10884 0 0 25 0 1 0 908140307 169193472 38984 33554432000 134512640 137138936 4294713040 18446744073709551615 135783819 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 41307 38984 287 642 0 40663 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 165228

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 15226
/proc/meminfo: memFree=23926252/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=166428 CPUtime=1722.34 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 94636262 0 0 0 160946 11288 0 0 25 0 1 0 908140307 170422272 38988 33554432000 134512640 137138936 4294713040 18446744073709551615 134730892 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 41607 38988 287 642 0 40963 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 166428

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 15228
/proc/meminfo: memFree=23916272/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=163292 CPUtime=1782.35 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 98089716 0 0 0 166537 11698 0 0 25 0 1 0 908140307 167211008 38427 33554432000 134512640 137138936 4294713040 18446744073709551615 134750959 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 40823 38427 287 642 0 40179 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 163292

Solver just ended. Dumping a history of the last processes samples

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 15228
/proc/meminfo: memFree=23914908/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=166020 CPUtime=1785.55 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 98266884 0 0 0 166837 11718 0 0 25 0 1 0 908140307 170004480 38998 33554432000 134512640 137138936 4294713040 18446744073709551615 134730880 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 41505 38998 287 642 0 40861 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 166020

[startup+1791.92 s]
/proc/loadavg: 2.00 2.00 2.00 4/470 15228
/proc/meminfo: memFree=23911920/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=166024 CPUtime=1791.96 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 98622620 0 0 0 167435 11761 0 0 25 0 1 0 908140307 170008576 39000 33554432000 134512640 137138936 4294713040 18446744073709551615 134840813 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 41506 39000 287 642 0 40862 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 166024

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 15228
/proc/meminfo: memFree=23912044/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=166040 CPUtime=1795.15 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 98792617 0 0 0 167734 11781 0 0 25 0 1 0 908140307 170024960 39000 33554432000 134512640 137138936 4294713040 18446744073709551615 134733978 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 41510 39000 287 642 0 40866 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 166040

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 15228
/proc/meminfo: memFree=23911920/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=163216 CPUtime=1796.74 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 98876104 0 0 0 167883 11791 0 0 25 0 1 0 908140307 167133184 38402 33554432000 134512640 137138936 4294713040 18446744073709551615 134750986 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 40804 38402 287 642 0 40160 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 163216

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 15228
/proc/meminfo: memFree=23912044/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=166044 CPUtime=1797.55 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 98922126 0 0 0 167958 11797 0 0 25 0 1 0 908140307 170029056 38975 33554432000 134512640 137138936 4294713040 18446744073709551615 134730894 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 41511 38975 287 642 0 40867 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 166044

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/470 15228
/proc/meminfo: memFree=23912044/32951124 swapFree=56297244/67111528
[pid=15148] ppid=15146 vsize=166084 CPUtime=1797.95 cores=0,2,4,6
/proc/15148/stat : 15148 (bsolo) R 15146 15148 13385 0 -1 4202496 98942957 0 0 0 167995 11800 0 0 25 0 1 0 908140307 170070016 38978 33554432000 134512640 137138936 4294713040 18446744073709551615 134712124 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/15148/statm: 41521 38978 287 642 0 40877 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 166084

Child status: 0
Real time (s): 1797.96
CPU time (s): 1798.01
CPU user time (s): 1680
CPU system time (s): 118.013
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 168752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1680
system time used= 118.013
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98945812
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= 4
involuntary context switches= 3966

runsolver used 9.10862 second user time and 18.1372 second system time

The end