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-3739651-1338743863/watcher-3739651-1338743863 -o /tmp/evaluation-result-3739651-1338743863/solver-3739651-1338743863 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3739651-1338743863.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.02 2.05 2.01 3/176 4989
/proc/meminfo: memFree=26623000/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=13860 CPUtime=0 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 400 0 0 0 0 0 0 0 20 0 1 0 340511788 14192640 354 33554432000 134512640 137136520 4290336608 4290334856 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 3465 355 190 641 0 2163 0
[startup+0.02029 s]
/proc/loadavg: 2.02 2.05 2.01 3/176 4989
/proc/meminfo: memFree=26623000/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=15140 CPUtime=0.01 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 787 0 0 0 1 0 0 0 20 0 1 0 340511788 15503360 741 33554432000 134512640 137136520 4290336608 4290334824 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 3785 742 241 641 0 2483 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15140
[startup+0.100232 s]
/proc/loadavg: 2.02 2.05 2.01 3/176 4989
/proc/meminfo: memFree=26623000/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=19544 CPUtime=0.09 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 2160 0 0 0 9 0 0 0 20 0 1 0 340511788 20013056 2114 33554432000 134512640 137136520 4290336608 4290335120 136575102 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 4886 2115 511 641 0 3584 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19544
[startup+0.300209 s]
/proc/loadavg: 2.02 2.05 2.01 3/176 4989
/proc/meminfo: memFree=26623000/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=28880 CPUtime=0.29 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 5430 0 0 0 28 1 0 0 20 0 1 0 340511788 29573120 4686 33554432000 134512640 137136520 4290336608 4290039100 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 7220 4686 189 641 0 6576 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28880
[startup+0.700198 s]
/proc/loadavg: 2.02 2.05 2.01 3/176 4989
/proc/meminfo: memFree=26623000/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=28880 CPUtime=0.69 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 5430 0 0 0 68 1 0 0 20 0 1 0 340511788 29573120 4686 33554432000 134512640 137136520 4290336608 4290038912 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 7220 4686 189 641 0 6576 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28880
[startup+1.50026 s]
/proc/loadavg: 2.02 2.05 2.01 3/177 4990
/proc/meminfo: memFree=26604392/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=28880 CPUtime=1.49 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 5500 0 0 0 147 2 0 0 20 0 1 0 340511788 29573120 4707 33554432000 134512640 137136520 4290336608 4290335536 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 7220 4707 198 641 0 6576 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28880
[startup+3.1002 s]
/proc/loadavg: 2.02 2.05 2.01 3/177 4990
/proc/meminfo: memFree=26602532/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=28880 CPUtime=3.09 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 5504 0 0 0 306 3 0 0 20 0 1 0 340511788 29573120 4711 33554432000 134512640 137136520 4290336608 4290335320 136502090 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 7220 4711 198 641 0 6576 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28880
[startup+6.30021 s]
/proc/loadavg: 2.02 2.05 2.01 3/177 4990
/proc/meminfo: memFree=26600176/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=28880 CPUtime=6.29 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 5504 0 0 0 626 3 0 0 20 0 1 0 340511788 29573120 4711 33554432000 134512640 137136520 4290336608 4290334984 136502148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 7220 4711 198 641 0 6576 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28880
[startup+12.7003 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 4990
/proc/meminfo: memFree=26591528/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=37064 CPUtime=12.69 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 7525 0 0 0 1264 5 0 0 20 0 1 0 340511788 37953536 6732 33554432000 134512640 137136520 4290336608 4290333904 136295569 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 9266 6732 198 641 0 8622 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37064
[startup+25.5002 s]
/proc/loadavg: 2.08 2.06 2.01 3/177 4990
/proc/meminfo: memFree=26568092/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=57552 CPUtime=25.48 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 12647 0 0 0 2542 6 0 0 20 0 1 0 340511788 58933248 11854 33554432000 134512640 137136520 4290336608 4290327480 134599570 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 14388 11854 198 641 0 13744 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 57552
[startup+51.1003 s]
/proc/loadavg: 2.05 2.06 2.01 3/178 4991
/proc/meminfo: memFree=26526668/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=92068 CPUtime=51.08 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 21277 0 0 0 5098 10 0 0 20 0 1 0 340511788 94277632 20484 33554432000 134512640 137136520 4290336608 4290335536 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 23017 20484 198 641 0 22373 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 92068
[startup+102.306 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 4991
/proc/meminfo: memFree=26455872/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=145404 CPUtime=102.28 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 34661 0 0 0 10213 15 0 0 20 0 1 0 340511788 148893696 33833 33554432000 134512640 137136520 4290336608 4290335536 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 36351 33833 198 641 0 35707 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 145404
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/178 4994
/proc/meminfo: memFree=26381960/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=199672 CPUtime=162.27 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 48213 0 0 0 16206 21 0 0 20 0 1 0 340511788 204464128 47385 33554432000 134512640 137136520 4290336608 4290335724 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 49918 47385 198 641 0 49274 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 199672
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 4994
/proc/meminfo: memFree=26308340/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=256624 CPUtime=222.25 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 62451 0 0 0 22197 28 0 0 20 0 1 0 340511788 262782976 61623 33554432000 134512640 137136520 4290336608 4290335536 134544419 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 64156 61623 198 641 0 63512 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 256624
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 4995
/proc/meminfo: memFree=26247740/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=295264 CPUtime=282.2 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 72158 0 0 0 28186 34 0 0 20 0 1 0 340511788 302350336 71283 33554432000 134512640 137136520 4290336608 4290335536 134544714 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 73816 71283 198 641 0 73172 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 295264
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 4995
/proc/meminfo: memFree=26191100/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=333216 CPUtime=342.15 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 81686 0 0 0 34176 39 0 0 20 0 1 0 340511788 341213184 80771 33554432000 134512640 137136520 4290336608 4290335536 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 83304 80771 198 641 0 82660 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 333216
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 4995
/proc/meminfo: memFree=26134088/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=373884 CPUtime=402.09 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 91901 0 0 0 40166 43 0 0 20 0 1 0 340511788 382857216 90938 33554432000 134512640 137136520 4290336608 4290335536 134544135 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 93471 90938 198 641 0 92827 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 373884
[startup+462.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 4995
/proc/meminfo: memFree=26099956/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=387812 CPUtime=462.04 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 95617 0 0 0 46157 47 0 0 20 0 1 0 340511788 397119488 94420 33554432000 134512640 137136520 4290336608 4290335536 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 96953 94420 198 641 0 96309 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 387812
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4995
/proc/meminfo: memFree=26078628/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=387812 CPUtime=522.03 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 95617 0 0 0 52152 51 0 0 20 0 1 0 340511788 397119488 94420 33554432000 134512640 137136520 4290336608 4290335536 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 96953 94420 198 641 0 96309 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 387812
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 4995
/proc/meminfo: memFree=26053960/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=387812 CPUtime=582.02 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 95617 0 0 0 58149 53 0 0 20 0 1 0 340511788 397119488 94420 33554432000 134512640 137136520 4290336608 4290335300 136509014 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 96953 94420 198 641 0 96309 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 387812
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26533872/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=566324 CPUtime=1061.87 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 140314 0 0 0 106103 84 0 0 20 0 1 0 340511788 579915776 139048 33554432000 134512640 137136520 4290336608 4290335536 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 141581 139048 198 641 0 140937 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 566324
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5528
/proc/meminfo: memFree=26524548/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=574756 CPUtime=1121.87 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 142644 0 0 0 112099 88 0 0 20 0 1 0 340511788 588550144 141156 33554432000 134512640 137136520 4290336608 4290335200 134616688 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 143689 141156 198 641 0 143045 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 574756
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5528
/proc/meminfo: memFree=26524672/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=574756 CPUtime=1181.85 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 142644 0 0 0 118094 91 0 0 20 0 1 0 340511788 588550144 141156 33554432000 134512640 137136520 4290336608 4290335536 134544425 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 143689 141156 198 641 0 143045 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 574756
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5529
/proc/meminfo: memFree=26521448/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=574756 CPUtime=1241.85 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 142644 0 0 0 124090 95 0 0 20 0 1 0 340511788 588550144 141156 33554432000 134512640 137136520 4290336608 4290335536 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 143689 141156 198 641 0 143045 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 574756
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5529
/proc/meminfo: memFree=26521448/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=574756 CPUtime=1301.85 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 142644 0 0 0 130086 99 0 0 20 0 1 0 340511788 588550144 141156 33554432000 134512640 137136520 4290336608 4290335536 134544116 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 143689 141156 198 641 0 143045 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 574756
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5532
/proc/meminfo: memFree=26521564/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=574756 CPUtime=1361.83 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 142644 0 0 0 136082 101 0 0 20 0 1 0 340511788 588550144 141156 33554432000 134512640 137136520 4290336608 4290335528 135982492 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 143689 141156 198 641 0 143045 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 574756
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5532
/proc/meminfo: memFree=26521776/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=574756 CPUtime=1421.8 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 142666 0 0 0 142075 105 0 0 20 0 1 0 340511788 588550144 141156 33554432000 134512640 137136520 4290336608 4290335360 136294911 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 143689 141156 198 641 0 143045 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 574756
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5532
/proc/meminfo: memFree=26503548/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=574756 CPUtime=1481.79 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 142666 0 0 0 148070 109 0 0 20 0 1 0 340511788 588550144 141156 33554432000 134512640 137136520 4290336608 4290335536 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 143689 141156 198 641 0 143045 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 574756
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5533
/proc/meminfo: memFree=26488700/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=574756 CPUtime=1541.79 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 142666 0 0 0 154067 112 0 0 20 0 1 0 340511788 588550144 141156 33554432000 134512640 137136520 4290336608 4290335712 134545109 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 143689 141156 198 641 0 143045 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 574756
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5533
/proc/meminfo: memFree=26488820/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=574768 CPUtime=1601.77 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 142669 0 0 0 160062 115 0 0 20 0 1 0 340511788 588562432 141159 33554432000 134512640 137136520 4290336608 4290335536 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 143692 141159 198 641 0 143048 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 574768
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5533
/proc/meminfo: memFree=26488820/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=574820 CPUtime=1661.76 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 142682 0 0 0 166058 118 0 0 20 0 1 0 340511788 588615680 141172 33554432000 134512640 137136520 4290336608 4290335536 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 143705 141172 198 641 0 143061 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 574820
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5533
/proc/meminfo: memFree=26488820/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=574844 CPUtime=1721.75 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 142688 0 0 0 172054 121 0 0 20 0 1 0 340511788 588640256 141178 33554432000 134512640 137136520 4290336608 4290333192 134598929 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 143711 141178 198 641 0 143067 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 574844
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5533
/proc/meminfo: memFree=26488448/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=574844 CPUtime=1781.74 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 142688 0 0 0 178047 127 0 0 20 0 1 0 340511788 588640256 141178 33554432000 134512640 137136520 4290336608 4290335504 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 143711 141178 198 641 0 143067 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 574844
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 5533
/proc/meminfo: memFree=26488820/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=574844 CPUtime=1791.35 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 142688 0 0 0 179007 128 0 0 20 0 1 0 340511788 588640256 141178 33554432000 134512640 137136520 4290336608 4290335536 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 143711 141178 198 641 0 143067 0
Current children cumulated CPU time (s) 1791.35
Current children cumulated vsize (KiB) 574844
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5533
/proc/meminfo: memFree=26488696/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=574844 CPUtime=1794.55 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 142688 0 0 0 179327 128 0 0 20 0 1 0 340511788 588640256 141178 33554432000 134512640 137136520 4290336608 4290335536 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 143711 141178 198 641 0 143067 0
Current children cumulated CPU time (s) 1794.55
Current children cumulated vsize (KiB) 574844
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5533
/proc/meminfo: memFree=26488696/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=574844 CPUtime=1796.14 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 142688 0 0 0 179486 128 0 0 20 0 1 0 340511788 588640256 141178 33554432000 134512640 137136520 4290336608 4290335504 134544396 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 143711 141178 198 641 0 143067 0
Current children cumulated CPU time (s) 1796.14
Current children cumulated vsize (KiB) 574844
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5533
/proc/meminfo: memFree=26488696/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=574844 CPUtime=1796.94 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 142688 0 0 0 179566 128 0 0 20 0 1 0 340511788 588640256 141178 33554432000 134512640 137136520 4290336608 4290335504 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 143711 141178 198 641 0 143067 0
Current children cumulated CPU time (s) 1796.94
Current children cumulated vsize (KiB) 574844
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5533
/proc/meminfo: memFree=26488696/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=574844 CPUtime=1797.75 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 142688 0 0 0 179646 129 0 0 20 0 1 0 340511788 588640256 141178 33554432000 134512640 137136520 4290336608 4290335536 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 143711 141178 198 641 0 143067 0
Current children cumulated CPU time (s) 1797.75
Current children cumulated vsize (KiB) 574844
[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5533
/proc/meminfo: memFree=26488696/32873844 swapFree=7384/7384
[pid=4989] ppid=4987 vsize=574844 CPUtime=1797.95 cores=0,2,4,6
/proc/4989/stat : 4989 (bsolo) R 4987 4989 797 0 -1 4202496 142688 0 0 0 179666 129 0 0 20 0 1 0 340511788 588640256 141178 33554432000 134512640 137136520 4290336608 4290335536 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4989/statm: 143711 141178 198 641 0 143067 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 574844
Child status: 0
Real time (s): 1798.55
CPU time (s): 1798.01
CPU user time (s): 1796.71
CPU system time (s): 1.2928
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 575644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.71
system time used= 1.2928
maximum resident set size= 565512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142689
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= 274
involuntary context switches= 1840
runsolver used 2.78658 second user time and 7.12492 second system time
The end