runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3737047-1338730573/watcher-3737047-1338730573 -o /tmp/evaluation-result-3737047-1338730573/solver-3737047-1338730573 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3737047-1338730573.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2643
/proc/meminfo: memFree=26168448/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=11060 CPUtime=0 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 389 0 0 0 0 0 0 0 20 0 1 0 339182738 11325440 329 33554432000 134512640 137136520 4293912192 4293902092 134557104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 2765 329 191 641 0 2121 0
[startup+0.016911 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2643
/proc/meminfo: memFree=26168448/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=11180 CPUtime=0.01 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 409 0 0 0 1 0 0 0 20 0 1 0 339182738 11448320 349 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 2795 349 197 641 0 2151 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11180
[startup+0.100259 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2643
/proc/meminfo: memFree=26168448/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=11900 CPUtime=0.09 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 603 0 0 0 9 0 0 0 20 0 1 0 339182738 12185600 543 33554432000 134512640 137136520 4293912192 4293910472 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 2975 543 197 641 0 2331 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11900
[startup+0.300223 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2643
/proc/meminfo: memFree=26168448/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=12988 CPUtime=0.29 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 881 0 0 0 29 0 0 0 20 0 1 0 339182738 13299712 821 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 3247 821 197 641 0 2603 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12988
[startup+0.700222 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2643
/proc/meminfo: memFree=26168448/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=13236 CPUtime=0.69 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 927 0 0 0 69 0 0 0 20 0 1 0 339182738 13553664 867 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 3309 867 197 641 0 2665 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13236
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2644
/proc/meminfo: memFree=26165876/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=13484 CPUtime=1.49 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 1010 0 0 0 149 0 0 0 20 0 1 0 339182738 13807616 950 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 3371 950 198 641 0 2727 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13484
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2644
/proc/meminfo: memFree=26164852/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=13968 CPUtime=3.09 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 1111 0 0 0 308 1 0 0 20 0 1 0 339182738 14303232 1051 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 3492 1051 198 641 0 2848 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13968
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2644
/proc/meminfo: memFree=26163124/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=14456 CPUtime=6.29 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 1231 0 0 0 627 2 0 0 20 0 1 0 339182738 14802944 1171 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 3614 1171 198 641 0 2970 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14456
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2644
/proc/meminfo: memFree=26161188/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=14444 CPUtime=12.69 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 1282 0 0 0 1264 5 0 0 20 0 1 0 339182738 14790656 1182 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 3611 1182 198 641 0 2967 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14444
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2644
/proc/meminfo: memFree=26157624/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=15044 CPUtime=25.49 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 1436 0 0 0 2540 9 0 0 20 0 1 0 339182738 15405056 1336 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 3761 1336 198 641 0 3117 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15044
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2644
/proc/meminfo: memFree=26149564/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=15788 CPUtime=51.08 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 1621 0 0 0 5093 15 0 0 20 0 1 0 339182738 16166912 1521 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 3947 1521 198 641 0 3303 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 15788
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2644
/proc/meminfo: memFree=26131212/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=16724 CPUtime=102.28 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 1841 0 0 0 10200 28 0 0 20 0 1 0 339182738 17125376 1741 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4181 1741 198 641 0 3537 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 16724
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2645
/proc/meminfo: memFree=26115340/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=17200 CPUtime=162.27 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 1969 0 0 0 16185 42 0 0 20 0 1 0 339182738 17612800 1869 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4300 1869 198 641 0 3656 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 17200
[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2645
/proc/meminfo: memFree=26102692/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=17808 CPUtime=222.26 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2111 0 0 0 22168 58 0 0 20 0 1 0 339182738 18235392 2011 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4452 2011 198 641 0 3808 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 17808
[startup+282.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 2648
/proc/meminfo: memFree=26089912/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=17760 CPUtime=282.25 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2111 0 0 0 28152 73 0 0 20 0 1 0 339182738 18186240 2011 33554432000 134512640 137136520 4293912192 4293910872 136502004 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4440 2011 198 641 0 3796 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 17760
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 2698
/proc/meminfo: memFree=27253244/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=18372 CPUtime=342.24 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2266 0 0 0 34137 87 0 0 20 0 1 0 339182738 18812928 2163 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4593 2163 198 641 0 3949 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 18372
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2698
/proc/meminfo: memFree=27251460/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=18004 CPUtime=402.23 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2266 0 0 0 40118 105 0 0 20 0 1 0 339182738 18436096 2082 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4501 2082 198 641 0 3857 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 18004
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2699
/proc/meminfo: memFree=27249908/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=18004 CPUtime=462.22 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2266 0 0 0 46100 122 0 0 20 0 1 0 339182738 18436096 2082 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4501 2082 198 641 0 3857 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 18004
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2699
/proc/meminfo: memFree=27249660/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=18004 CPUtime=522.2 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2266 0 0 0 52084 136 0 0 20 0 1 0 339182738 18436096 2082 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4501 2082 198 641 0 3857 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 18004
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2699
/proc/meminfo: memFree=27249660/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=18004 CPUtime=582.2 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2266 0 0 0 58071 149 0 0 20 0 1 0 339182738 18436096 2082 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4501 2082 198 641 0 3857 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 18004
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27246564/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=19800 CPUtime=1122.11 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2707 0 0 0 111930 281 0 0 20 0 1 0 339182738 20275200 2519 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4950 2519 198 641 0 4306 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 19800
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2705
/proc/meminfo: memFree=27246936/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=19800 CPUtime=1182.11 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2716 0 0 0 117916 295 0 0 20 0 1 0 339182738 20275200 2528 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4950 2528 198 641 0 4306 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 19800
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2705
/proc/meminfo: memFree=27246812/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=19800 CPUtime=1242.1 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2716 0 0 0 123900 310 0 0 20 0 1 0 339182738 20275200 2528 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4950 2528 198 641 0 4306 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 19800
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2705
/proc/meminfo: memFree=27246564/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=19800 CPUtime=1302.1 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2716 0 0 0 129884 326 0 0 20 0 1 0 339182738 20275200 2528 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4950 2528 198 641 0 4306 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 19800
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2705
/proc/meminfo: memFree=27246936/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=19800 CPUtime=1362.09 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2716 0 0 0 135870 339 0 0 20 0 1 0 339182738 20275200 2528 33554432000 134512640 137136520 4293912192 4293911088 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4950 2528 198 641 0 4306 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 19800
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2706
/proc/meminfo: memFree=27246812/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=19792 CPUtime=1422.08 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2716 0 0 0 141857 351 0 0 20 0 1 0 339182738 20267008 2528 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4948 2528 198 641 0 4304 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 19792
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 2709
/proc/meminfo: memFree=27246680/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=19752 CPUtime=1482.06 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2716 0 0 0 147843 363 0 0 20 0 1 0 339182738 20226048 2519 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 4938 2519 198 641 0 4294 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 19752
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 2732
/proc/meminfo: memFree=27245996/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=20428 CPUtime=1542.05 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2878 0 0 0 153831 374 0 0 20 0 1 0 339182738 20918272 2668 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 5107 2668 198 641 0 4463 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 20428
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2732
/proc/meminfo: memFree=27246500/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=20420 CPUtime=1602.04 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2880 0 0 0 159816 388 0 0 20 0 1 0 339182738 20910080 2670 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 5105 2670 198 641 0 4461 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 20420
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2732
/proc/meminfo: memFree=27246376/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=20412 CPUtime=1662.03 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2886 0 0 0 165803 400 0 0 20 0 1 0 339182738 20901888 2676 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 5103 2676 198 641 0 4459 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 20412
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2733
/proc/meminfo: memFree=27246500/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=20396 CPUtime=1722.03 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2886 0 0 0 171790 413 0 0 20 0 1 0 339182738 20885504 2676 33554432000 134512640 137136520 4293912192 4293910904 136502216 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 5099 2676 198 641 0 4455 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 20396
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2733
/proc/meminfo: memFree=27245756/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=20396 CPUtime=1782.01 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2886 0 0 0 177775 426 0 0 20 0 1 0 339182738 20885504 2676 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 5099 2676 198 641 0 4455 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 20396
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2733
/proc/meminfo: memFree=27245756/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=20396 CPUtime=1791.62 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2886 0 0 0 178735 427 0 0 20 0 1 0 339182738 20885504 2676 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 5099 2676 198 641 0 4455 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 20396
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2733
/proc/meminfo: memFree=27245756/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=20396 CPUtime=1794.82 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2886 0 0 0 179054 428 0 0 20 0 1 0 339182738 20885504 2676 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 5099 2676 198 641 0 4455 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 20396
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2733
/proc/meminfo: memFree=27245756/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=20396 CPUtime=1796.42 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2886 0 0 0 179213 429 0 0 20 0 1 0 339182738 20885504 2676 33554432000 134512640 137136520 4293912192 4293911028 136502079 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 5099 2676 198 641 0 4455 0
Current children cumulated CPU time (s) 1796.42
Current children cumulated vsize (KiB) 20396
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2733
/proc/meminfo: memFree=27245756/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=20396 CPUtime=1797.22 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2886 0 0 0 179293 429 0 0 20 0 1 0 339182738 20885504 2676 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 5099 2676 198 641 0 4455 0
Current children cumulated CPU time (s) 1797.22
Current children cumulated vsize (KiB) 20396
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2733
/proc/meminfo: memFree=27245756/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=20396 CPUtime=1797.62 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2886 0 0 0 179333 429 0 0 20 0 1 0 339182738 20885504 2676 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 5099 2676 198 641 0 4455 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (KiB) 20396
[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2733
/proc/meminfo: memFree=27245756/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=20396 CPUtime=1797.82 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2886 0 0 0 179353 429 0 0 20 0 1 0 339182738 20885504 2676 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 5099 2676 198 641 0 4455 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 20396
[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2733
/proc/meminfo: memFree=27245756/32873844 swapFree=7384/7384
[pid=2643] ppid=2641 vsize=20396 CPUtime=1797.92 cores=1,3,5,7
/proc/2643/stat : 2643 (bsolo) R 2641 2643 797 0 -1 4202496 2886 0 0 0 179363 429 0 0 20 0 1 0 339182738 20885504 2676 33554432000 134512640 137136520 4293912192 4293911308 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2643/statm: 5099 2676 198 641 0 4455 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 20396
Child status: 0
Real time (s): 1798.28
CPU time (s): 1798
CPU user time (s): 1793.71
CPU system time (s): 4.29335
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 20432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.71
system time used= 4.29335
maximum resident set size= 10708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2888
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= 6
involuntary context switches= 1875
runsolver used 2.70959 second user time and 7.11792 second system time
The end