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-3462596-1307181395/watcher-3462596-1307181395 -o /tmp/evaluation-result-3462596-1307181395/solver-3462596-1307181395 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462596-1307181395.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.07 2.05 2.01 2/527 20336
/proc/meminfo: memFree=24496656/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=11064 CPUtime=0.01 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 386 0 0 0 1 0 0 0 25 0 1 0 908370198 11329536 337 33554432000 134512640 137138936 4290998592 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20336/statm: 2766 337 192 642 0 2122 0
[startup+0.0543659 s]
/proc/loadavg: 2.07 2.05 2.01 2/527 20336
/proc/meminfo: memFree=24496656/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=11576 CPUtime=0.05 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 488 0 0 0 5 0 0 0 25 0 1 0 908370198 11853824 439 33554432000 134512640 137138936 4290998592 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20336/statm: 2894 439 192 642 0 2250 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11576
[startup+0.100392 s]
/proc/loadavg: 2.07 2.05 2.01 2/527 20336
/proc/meminfo: memFree=24496656/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=11972 CPUtime=0.09 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 618 0 0 0 9 0 0 0 25 0 1 0 908370198 12259328 569 33554432000 134512640 137138936 4290998592 18446744073709551615 134603333 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20336/statm: 2993 569 192 642 0 2349 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11972
[startup+0.300353 s]
/proc/loadavg: 2.07 2.05 2.01 2/527 20336
/proc/meminfo: memFree=24496656/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=14036 CPUtime=0.29 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 1122 0 0 0 29 0 0 0 25 0 1 0 908370198 14372864 1073 33554432000 134512640 137138936 4290998592 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20336/statm: 3509 1073 192 642 0 2865 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14036
[startup+0.70029 s]
/proc/loadavg: 2.07 2.05 2.01 2/527 20336
/proc/meminfo: memFree=24496656/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=16972 CPUtime=0.69 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 1838 0 0 0 69 0 0 0 25 0 1 0 908370198 17379328 1789 33554432000 134512640 137138936 4290998592 18446744073709551615 136297647 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20336/statm: 4243 1790 192 642 0 3599 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16972
[startup+1.50112 s]
/proc/loadavg: 2.07 2.05 2.01 3/528 20337
/proc/meminfo: memFree=24487100/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=22508 CPUtime=1.49 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 3226 0 0 0 148 1 0 0 25 0 1 0 908370198 23048192 3177 33554432000 134512640 137138936 4290998592 18446744073709551615 136511173 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20336/statm: 5627 3177 192 642 0 4983 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22508
[startup+3.10087 s]
/proc/loadavg: 2.07 2.05 2.01 3/528 20337
/proc/meminfo: memFree=24482520/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=24952 CPUtime=3.1 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 3847 0 0 0 308 2 0 0 25 0 1 0 908370198 25550848 3798 33554432000 134512640 137138936 4290998592 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20336/statm: 6238 3798 192 642 0 5594 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 24952
[startup+6.30032 s]
/proc/loadavg: 2.22 2.09 2.02 3/528 20337
/proc/meminfo: memFree=24479296/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=26116 CPUtime=6.29 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 4138 0 0 0 627 2 0 0 25 0 1 0 908370198 26742784 4089 33554432000 134512640 137138936 4290998592 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20336/statm: 6529 4089 192 642 0 5885 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26116
[startup+12.7002 s]
/proc/loadavg: 2.20 2.08 2.02 3/528 20337
/proc/meminfo: memFree=24478360/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=28868 CPUtime=12.69 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 4819 0 0 0 1265 4 0 0 25 0 1 0 908370198 29560832 4770 33554432000 134512640 137138936 4290998592 18446744073709551615 134618938 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20336/statm: 7217 4771 192 642 0 6573 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28868
[startup+25.5009 s]
/proc/loadavg: 2.16 2.08 2.01 3/528 20338
/proc/meminfo: memFree=24473148/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=32084 CPUtime=25.49 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 5634 0 0 0 2544 5 0 0 25 0 1 0 908370198 32854016 5585 33554432000 134512640 137138936 4290998592 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/20336/statm: 8021 5585 192 642 0 7377 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32084
[startup+51.1005 s]
/proc/loadavg: 2.10 2.07 2.01 3/528 20338
/proc/meminfo: memFree=24460040/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=33628 CPUtime=51.07 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 6023 0 0 0 5098 9 0 0 25 0 1 0 908370198 34435072 5974 33554432000 134512640 137138936 4290998592 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 8407 5974 192 642 0 7763 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 33628
[startup+102.319 s]
/proc/loadavg: 2.04 2.06 2.01 3/528 20421
/proc/meminfo: memFree=24862728/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=39548 CPUtime=102.3 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 7512 0 0 0 10215 15 0 0 25 0 1 0 908370198 40497152 7463 33554432000 134512640 137138936 4290998592 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 9887 7463 192 642 0 9243 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 39548
[startup+162.301 s]
/proc/loadavg: 2.01 2.05 2.00 3/528 20422
/proc/meminfo: memFree=24854512/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=41636 CPUtime=162.28 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 8031 0 0 0 16208 20 0 0 25 0 1 0 908370198 42635264 7982 33554432000 134512640 137138936 4290998592 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 10409 7982 192 642 0 9765 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 41636
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20424
/proc/meminfo: memFree=24854956/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=41628 CPUtime=222.28 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 8031 0 0 0 22202 26 0 0 25 0 1 0 908370198 42627072 7982 33554432000 134512640 137138936 4290998592 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 10407 7982 192 642 0 9763 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 41628
[startup+282.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/528 20435
/proc/meminfo: memFree=24850620/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=44012 CPUtime=282.28 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 8624 0 0 0 28195 33 0 0 25 0 1 0 908370198 45068288 8575 33554432000 134512640 137138936 4290998592 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 11003 8575 192 642 0 10359 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 44012
[startup+342.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/528 20436
/proc/meminfo: memFree=24851212/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=44012 CPUtime=342.27 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 8624 0 0 0 34187 40 0 0 25 0 1 0 908370198 45068288 8575 33554432000 134512640 137138936 4290998592 18446744073709551615 134542854 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 11003 8575 192 642 0 10359 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 44012
[startup+402.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 20438
/proc/meminfo: memFree=24847208/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=43848 CPUtime=402.28 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 8624 0 0 0 40181 47 0 0 25 0 1 0 908370198 44900352 8537 33554432000 134512640 137138936 4290998592 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 10962 8537 192 642 0 10318 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 43848
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20439
/proc/meminfo: memFree=24847268/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=43848 CPUtime=462.28 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 8624 0 0 0 46175 53 0 0 25 0 1 0 908370198 44900352 8537 33554432000 134512640 137138936 4290998592 18446744073709551615 136504827 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 10962 8537 192 642 0 10318 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 43848
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20441
/proc/meminfo: memFree=24848076/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=43096 CPUtime=522.28 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 8624 0 0 0 52168 60 0 0 25 0 1 0 908370198 44130304 8349 33554432000 134512640 137138936 4290998592 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 10774 8349 192 642 0 10130 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 43096
[startup+582.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/528 20443
/proc/meminfo: memFree=24845920/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=43096 CPUtime=582.29 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 8624 0 0 0 58163 66 0 0 25 0 1 0 908370198 44130304 8349 33554432000 134512640 137138936 4290998592 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 10774 8349 192 642 0 10130 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 43096
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=24843372/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=43072 CPUtime=1062.29 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 8627 0 0 0 106122 107 0 0 25 0 1 0 908370198 44105728 8344 33554432000 134512640 137138936 4290998592 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 10768 8344 192 642 0 10124 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 43072
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20457
/proc/meminfo: memFree=24843548/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=43040 CPUtime=1122.3 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 8627 0 0 0 112114 116 0 0 25 0 1 0 908370198 44072960 8336 33554432000 134512640 137138936 4290998592 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 10760 8336 192 642 0 10116 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 43040
[startup+1182.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/528 20459
/proc/meminfo: memFree=24843008/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=43040 CPUtime=1182.29 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 8627 0 0 0 118107 122 0 0 25 0 1 0 908370198 44072960 8336 33554432000 134512640 137138936 4290998592 18446744073709551615 136504268 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 10760 8336 192 642 0 10116 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 43040
[startup+1242.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/528 20487
/proc/meminfo: memFree=24825664/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=42900 CPUtime=1242.3 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 8627 0 0 0 124101 129 0 0 25 0 1 0 908370198 43929600 8301 33554432000 134512640 137138936 4290998592 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 10725 8301 192 642 0 10081 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 42900
[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/528 20489
/proc/meminfo: memFree=24763908/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=42900 CPUtime=1302.31 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 8627 0 0 0 130096 135 0 0 25 0 1 0 908370198 43929600 8301 33554432000 134512640 137138936 4290998592 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 10725 8301 192 642 0 10081 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 42900
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20490
/proc/meminfo: memFree=24710804/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=42712 CPUtime=1362.3 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 8627 0 0 0 136087 143 0 0 25 0 1 0 908370198 43737088 8254 33554432000 134512640 137138936 4290998592 18446744073709551615 136511078 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 10678 8254 192 642 0 10034 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 42712
[startup+1422.32 s]
/proc/loadavg: 2.12 2.05 2.01 3/528 20492
/proc/meminfo: memFree=24707936/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=42708 CPUtime=1422.32 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 8627 0 0 0 142080 152 0 0 25 0 1 0 908370198 43732992 8253 33554432000 134512640 137138936 4290998592 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 10677 8253 192 642 0 10033 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 42708
[startup+1482.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/528 20494
/proc/meminfo: memFree=24706164/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=42708 CPUtime=1482.31 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 8627 0 0 0 148072 159 0 0 25 0 1 0 908370198 43732992 8253 33554432000 134512640 137138936 4290998592 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 10677 8253 192 642 0 10033 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 42708
[startup+1542.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/528 20495
/proc/meminfo: memFree=24661864/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=42708 CPUtime=1542.3 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 8627 0 0 0 154065 165 0 0 25 0 1 0 908370198 43732992 8253 33554432000 134512640 137138936 4290998592 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 10677 8253 192 642 0 10033 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 42708
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/528 20497
/proc/meminfo: memFree=24631940/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=42708 CPUtime=1602.31 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 8627 0 0 0 160059 172 0 0 25 0 1 0 908370198 43732992 8253 33554432000 134512640 137138936 4290998592 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 10677 8253 192 642 0 10033 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 42708
[startup+1662.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/528 20498
/proc/meminfo: memFree=24594340/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=42708 CPUtime=1662.31 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 8627 0 0 0 166053 178 0 0 25 0 1 0 908370198 43732992 8253 33554432000 134512640 137138936 4290998592 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 10677 8253 192 642 0 10033 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 42708
[startup+1722.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/528 20500
/proc/meminfo: memFree=24565920/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=42708 CPUtime=1722.31 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 8627 0 0 0 172048 183 0 0 25 0 1 0 908370198 43732992 8253 33554432000 134512640 137138936 4290998592 18446744073709551615 136501691 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 10677 8253 192 642 0 10033 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 42708
[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/528 20502
/proc/meminfo: memFree=24538604/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=42708 CPUtime=1782.31 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 8627 0 0 0 178043 188 0 0 25 0 1 0 908370198 43732992 8253 33554432000 134512640 137138936 4290998592 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 10677 8253 192 642 0 10033 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 42708
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.03 2.04 2.00 3/528 20502
/proc/meminfo: memFree=24536988/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=42708 CPUtime=1785.51 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 8627 0 0 0 178362 189 0 0 25 0 1 0 908370198 43732992 8253 33554432000 134512640 137138936 4290998592 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 10677 8253 192 642 0 10033 0
Current children cumulated CPU time (s) 1785.51
Current children cumulated vsize (KiB) 42708
[startup+1791.92 s]
/proc/loadavg: 2.03 2.04 2.00 3/528 20502
/proc/meminfo: memFree=24534380/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=42708 CPUtime=1791.93 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 8627 0 0 0 179004 189 0 0 25 0 1 0 908370198 43732992 8253 33554432000 134512640 137138936 4290998592 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 10677 8253 192 642 0 10033 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 42708
[startup+1795.1 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 20502
/proc/meminfo: memFree=24532892/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=42708 CPUtime=1795.13 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 8627 0 0 0 179324 189 0 0 25 0 1 0 908370198 43732992 8253 33554432000 134512640 137138936 4290998592 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 10677 8253 192 642 0 10033 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 42708
[startup+1796.7 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 20502
/proc/meminfo: memFree=24532644/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=42708 CPUtime=1796.71 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 8627 0 0 0 179482 189 0 0 25 0 1 0 908370198 43732992 8253 33554432000 134512640 137138936 4290998592 18446744073709551615 136521046 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 10677 8253 192 642 0 10033 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 42708
[startup+1797.5 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 20502
/proc/meminfo: memFree=24532272/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=42708 CPUtime=1797.51 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 8627 0 0 0 179562 189 0 0 25 0 1 0 908370198 43732992 8253 33554432000 134512640 137138936 4290998592 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 10677 8253 192 642 0 10033 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (KiB) 42708
[startup+1797.9 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 20502
/proc/meminfo: memFree=24532272/32951124 swapFree=56241860/67111528
[pid=20336] ppid=20334 vsize=42708 CPUtime=1797.91 cores=0,2,4,6
/proc/20336/stat : 20336 (bsolo) R 20334 20336 18760 0 -1 4202496 8627 0 0 0 179602 189 0 0 25 0 1 0 908370198 43732992 8253 33554432000 134512640 137138936 4290998592 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20336/statm: 10677 8253 192 642 0 10033 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 42708
Child status: 0
Real time (s): 1797.98
CPU time (s): 1798
CPU user time (s): 1796.11
CPU system time (s): 1.89771
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 44012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.11
system time used= 1.89771
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8628
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= 3060
runsolver used 10.0505 second user time and 21.0108 second system time
The end