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-3462947-1307176688/watcher-3462947-1307176688 -o /tmp/evaluation-result-3462947-1307176688/solver-3462947-1307176688 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462947-1307176688.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.06 2.02 2.00 2/327 28759
/proc/meminfo: memFree=24100868/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=11560 CPUtime=0.01 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 461 0 0 0 1 0 0 0 25 0 1 0 907899373 11837440 416 33554432000 134512640 137138936 4287704320 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 2890 416 205 642 0 2192 0
[startup+0.0692999 s]
/proc/loadavg: 2.06 2.02 2.00 2/327 28759
/proc/meminfo: memFree=24100868/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=12264 CPUtime=0.06 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 774 0 0 0 6 0 0 0 25 0 1 0 907899373 12558336 635 33554432000 134512640 137138936 4287704320 18446744073709551615 134607615 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 3066 635 192 642 0 2422 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12264
[startup+0.100296 s]
/proc/loadavg: 2.06 2.02 2.00 2/327 28759
/proc/meminfo: memFree=24100868/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=12264 CPUtime=0.09 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 774 0 0 0 9 0 0 0 25 0 1 0 907899373 12558336 635 33554432000 134512640 137138936 4287704320 18446744073709551615 136364484 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 3066 635 192 642 0 2422 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12264
[startup+0.30026 s]
/proc/loadavg: 2.06 2.02 2.00 2/327 28759
/proc/meminfo: memFree=24100868/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=12724 CPUtime=0.29 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 870 0 0 0 29 0 0 0 25 0 1 0 907899373 13029376 731 33554432000 134512640 137138936 4287704320 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 3181 731 192 642 0 2537 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12724
[startup+0.700185 s]
/proc/loadavg: 2.06 2.02 2.00 2/327 28759
/proc/meminfo: memFree=24100868/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=13300 CPUtime=0.69 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 1026 0 0 0 69 0 0 0 25 0 1 0 907899373 13619200 887 33554432000 134512640 137138936 4287704320 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 3325 887 192 642 0 2681 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13300
[startup+1.50104 s]
/proc/loadavg: 2.06 2.02 2.00 3/328 28760
/proc/meminfo: memFree=24095032/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=14376 CPUtime=1.49 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 1291 0 0 0 149 0 0 0 25 0 1 0 907899373 14721024 1152 33554432000 134512640 137138936 4287704320 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 3594 1152 192 642 0 2950 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14376
[startup+3.10074 s]
/proc/loadavg: 2.06 2.02 2.00 3/328 28760
/proc/meminfo: memFree=24094548/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=14752 CPUtime=3.09 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 1381 0 0 0 309 0 0 0 25 0 1 0 907899373 15106048 1242 33554432000 134512640 137138936 4287704320 18446744073709551615 134533451 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 3688 1242 192 642 0 3044 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14752
[startup+6.30016 s]
/proc/loadavg: 2.06 2.01 2.00 3/328 28760
/proc/meminfo: memFree=24091640/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=16232 CPUtime=6.29 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 1752 0 0 0 628 1 0 0 25 0 1 0 907899373 16621568 1613 33554432000 134512640 137138936 4287704320 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 4058 1613 192 642 0 3414 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16232
[startup+12.701 s]
/proc/loadavg: 2.05 2.01 2.00 3/328 28760
/proc/meminfo: memFree=24091532/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=16848 CPUtime=12.69 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 1914 0 0 0 1268 1 0 0 25 0 1 0 907899373 17252352 1775 33554432000 134512640 137138936 4287704320 18446744073709551615 134606976 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 4212 1775 192 642 0 3568 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16848
[startup+25.5007 s]
/proc/loadavg: 2.04 2.01 2.00 3/328 28760
/proc/meminfo: memFree=24091556/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=17208 CPUtime=25.5 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 1999 0 0 0 2547 3 0 0 25 0 1 0 907899373 17620992 1860 33554432000 134512640 137138936 4287704320 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 4302 1860 192 642 0 3658 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 17208
[startup+51.1009 s]
/proc/loadavg: 2.02 2.01 2.00 3/328 28763
/proc/meminfo: memFree=24091404/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=17572 CPUtime=51.1 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 2086 0 0 0 5104 6 0 0 25 0 1 0 907899373 17993728 1947 33554432000 134512640 137138936 4287704320 18446744073709551615 134576163 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 4393 1947 192 642 0 3749 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 17572
[startup+102.312 s]
/proc/loadavg: 2.09 2.04 2.01 3/328 28765
/proc/meminfo: memFree=24089448/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=18336 CPUtime=102.31 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 2283 0 0 0 10219 12 0 0 25 0 1 0 907899373 18776064 2144 33554432000 134512640 137138936 4287704320 18446744073709551615 134575833 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 4584 2144 192 642 0 3940 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 18336
[startup+162.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/328 28767
/proc/meminfo: memFree=24089040/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=18924 CPUtime=162.29 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 2432 0 0 0 16210 19 0 0 25 0 1 0 907899373 19378176 2293 33554432000 134512640 137138936 4287704320 18446744073709551615 134607560 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 4731 2293 192 642 0 4087 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 18924
[startup+222.301 s]
/proc/loadavg: 2.16 2.06 2.01 3/328 28769
/proc/meminfo: memFree=24088860/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=19488 CPUtime=222.3 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 2588 0 0 0 22204 26 0 0 25 0 1 0 907899373 19955712 2449 33554432000 134512640 137138936 4287704320 18446744073709551615 136296964 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 4872 2449 192 642 0 4228 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 19488
[startup+282.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/328 28770
/proc/meminfo: memFree=24087940/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=20620 CPUtime=282.3 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 2855 0 0 0 28197 33 0 0 25 0 1 0 907899373 21114880 2716 33554432000 134512640 137138936 4287704320 18446744073709551615 134606601 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 5155 2716 192 642 0 4511 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 20620
[startup+342.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/328 28772
/proc/meminfo: memFree=24085804/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=22804 CPUtime=342.3 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 3407 0 0 0 34191 39 0 0 25 0 1 0 907899373 23351296 3268 33554432000 134512640 137138936 4287704320 18446744073709551615 134607581 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 5701 3268 192 642 0 5057 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 22804
[startup+402.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/328 28773
/proc/meminfo: memFree=24085876/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=22804 CPUtime=402.3 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 3407 0 0 0 40185 45 0 0 25 0 1 0 907899373 23351296 3268 33554432000 134512640 137138936 4287704320 18446744073709551615 136504124 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 5701 3268 192 642 0 5057 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 22804
[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/328 28775
/proc/meminfo: memFree=24085956/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=22808 CPUtime=462.31 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 3408 0 0 0 46179 52 0 0 25 0 1 0 907899373 23355392 3269 33554432000 134512640 137138936 4287704320 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 5702 3269 192 642 0 5058 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 22808
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/328 28777
/proc/meminfo: memFree=24084668/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=23388 CPUtime=522.31 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 3557 0 0 0 52174 57 0 0 25 0 1 0 907899373 23949312 3418 33554432000 134512640 137138936 4287704320 18446744073709551615 134542469 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 5847 3418 192 642 0 5203 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 23388
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/328 28778
/proc/meminfo: memFree=24084860/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=23384 CPUtime=582.31 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 3557 0 0 0 58167 64 0 0 25 0 1 0 907899373 23945216 3418 33554432000 134512640 137138936 4287704320 18446744073709551615 134542965 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 5846 3418 192 642 0 5202 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 23384
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=24084416/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=24852 CPUtime=1062.32 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 3963 0 0 0 106120 112 0 0 25 0 1 0 907899373 25448448 3791 33554432000 134512640 137138936 4287704320 18446744073709551615 136502626 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 6213 3791 192 642 0 5569 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 24852
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 28820
/proc/meminfo: memFree=23838976/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=24852 CPUtime=1122.33 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 3963 0 0 0 112115 118 0 0 25 0 1 0 907899373 25448448 3791 33554432000 134512640 137138936 4287704320 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 6213 3791 192 642 0 5569 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 24852
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 28821
/proc/meminfo: memFree=23515540/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=24852 CPUtime=1182.33 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 3963 0 0 0 118109 124 0 0 25 0 1 0 907899373 25448448 3791 33554432000 134512640 137138936 4287704320 18446744073709551615 134539069 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 6213 3791 192 642 0 5569 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 24852
[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/328 28823
/proc/meminfo: memFree=23477440/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=24852 CPUtime=1242.33 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 3963 0 0 0 124104 129 0 0 25 0 1 0 907899373 25448448 3791 33554432000 134512640 137138936 4287704320 18446744073709551615 134598920 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 6213 3791 192 642 0 5569 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 24852
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/328 28824
/proc/meminfo: memFree=23477896/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=24852 CPUtime=1302.35 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 3963 0 0 0 130099 136 0 0 25 0 1 0 907899373 25448448 3791 33554432000 134512640 137138936 4287704320 18446744073709551615 134606958 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 6213 3791 192 642 0 5569 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 24852
[startup+1362.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/328 28826
/proc/meminfo: memFree=23349496/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=24852 CPUtime=1362.33 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 3963 0 0 0 136092 141 0 0 25 0 1 0 907899373 25448448 3791 33554432000 134512640 137138936 4287704320 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 6213 3791 192 642 0 5569 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 24852
[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/328 28837
/proc/meminfo: memFree=23348388/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=24992 CPUtime=1422.35 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 3998 0 0 0 142087 148 0 0 25 0 1 0 907899373 25591808 3826 33554432000 134512640 137138936 4287704320 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 6248 3826 192 642 0 5604 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 24992
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/328 28838
/proc/meminfo: memFree=23348336/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=24988 CPUtime=1482.33 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 3998 0 0 0 148080 153 0 0 25 0 1 0 907899373 25587712 3825 33554432000 134512640 137138936 4287704320 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 6247 3825 192 642 0 5603 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 24988
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 28840
/proc/meminfo: memFree=23345928/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=25104 CPUtime=1542.34 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 4040 0 0 0 154074 160 0 0 25 0 1 0 907899373 25706496 3840 33554432000 134512640 137138936 4287704320 18446744073709551615 134543071 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 6276 3840 192 642 0 5632 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 25104
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 28841
/proc/meminfo: memFree=23272100/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=25480 CPUtime=1602.34 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 4156 0 0 0 160067 167 0 0 25 0 1 0 907899373 26091520 3944 33554432000 134512640 137138936 4287704320 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 6370 3944 192 642 0 5726 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 25480
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 28843
/proc/meminfo: memFree=23272296/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=25584 CPUtime=1662.34 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 4171 0 0 0 166062 172 0 0 25 0 1 0 907899373 26198016 3959 33554432000 134512640 137138936 4287704320 18446744073709551615 134551023 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 6396 3959 192 642 0 5752 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 25584
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 28845
/proc/meminfo: memFree=23271496/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=26344 CPUtime=1722.34 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 4361 0 0 0 172056 178 0 0 25 0 1 0 907899373 26976256 4149 33554432000 134512640 137138936 4287704320 18446744073709551615 134551198 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 6586 4149 192 642 0 5942 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 26344
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/328 28846
/proc/meminfo: memFree=23269836/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=27036 CPUtime=1782.35 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 4544 0 0 0 178052 183 0 0 25 0 1 0 907899373 27684864 4332 33554432000 134512640 137138936 4287704320 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 6759 4332 192 642 0 6115 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 27036
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/328 28846
/proc/meminfo: memFree=23269824/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=27036 CPUtime=1785.55 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 4544 0 0 0 178372 183 0 0 25 0 1 0 907899373 27684864 4332 33554432000 134512640 137138936 4287704320 18446744073709551615 134607581 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 6759 4332 192 642 0 6115 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 27036
[startup+1791.91 s]
/proc/loadavg: 2.04 2.01 2.00 3/328 28846
/proc/meminfo: memFree=23269820/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=27036 CPUtime=1791.96 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 4544 0 0 0 179013 183 0 0 25 0 1 0 907899373 27684864 4332 33554432000 134512640 137138936 4287704320 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 6759 4332 192 642 0 6115 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 27036
[startup+1795.1 s]
/proc/loadavg: 2.03 2.01 2.00 3/328 28846
/proc/meminfo: memFree=23269820/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=27036 CPUtime=1795.16 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 4544 0 0 0 179332 184 0 0 25 0 1 0 907899373 27684864 4332 33554432000 134512640 137138936 4287704320 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 6759 4332 192 642 0 6115 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 27036
[startup+1796.7 s]
/proc/loadavg: 2.03 2.01 2.00 3/328 28847
/proc/meminfo: memFree=23269820/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=27036 CPUtime=1796.75 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 4544 0 0 0 179491 184 0 0 25 0 1 0 907899373 27684864 4332 33554432000 134512640 137138936 4287704320 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 6759 4332 192 642 0 6115 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 27036
[startup+1797.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/328 28847
/proc/meminfo: memFree=23269820/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=27036 CPUtime=1797.55 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 4544 0 0 0 179571 184 0 0 25 0 1 0 907899373 27684864 4332 33554432000 134512640 137138936 4287704320 18446744073709551615 134606620 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 6759 4332 192 642 0 6115 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 27036
[startup+1797.9 s]
/proc/loadavg: 2.03 2.01 2.00 3/328 28847
/proc/meminfo: memFree=23269820/32951124 swapFree=67056304/67111528
[pid=28759] ppid=28757 vsize=27036 CPUtime=1797.95 cores=1,3,5,7
/proc/28759/stat : 28759 (bsolo) R 28757 28759 27326 0 -1 4202496 4544 0 0 0 179611 184 0 0 25 0 1 0 907899373 27684864 4332 33554432000 134512640 137138936 4287704320 18446744073709551615 134607009 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/28759/statm: 6759 4332 192 642 0 6115 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 27036
Child status: 0
Real time (s): 1797.95
CPU time (s): 1798
CPU user time (s): 1796.16
CPU system time (s): 1.84472
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 27068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.16
system time used= 1.84472
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4544
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= 7
involuntary context switches= 2698
runsolver used 5.17321 second user time and 12.8101 second system time
The end