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-3462949-1307176884/watcher-3462949-1307176884 -o /tmp/evaluation-result-3462949-1307176884/solver-3462949-1307176884 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462949-1307176884.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.00 2.01 2.00 2/572 1765
/proc/meminfo: memFree=30963532/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=11108 CPUtime=0 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 337 0 0 0 0 0 0 0 25 0 1 0 829287147 11374592 292 33554432000 134512640 137138936 4289254080 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1765/statm: 2777 292 180 642 0 2089 0
[startup+0.08517 s]
/proc/loadavg: 2.00 2.01 2.00 2/572 1765
/proc/meminfo: memFree=30963532/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=12240 CPUtime=0.08 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 736 0 0 0 8 0 0 0 25 0 1 0 829287147 12533760 613 33554432000 134512640 137138936 4289254080 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1765/statm: 3060 613 192 642 0 2416 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12240
[startup+0.10016 s]
/proc/loadavg: 2.00 2.01 2.00 2/572 1765
/proc/meminfo: memFree=30963532/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=12240 CPUtime=0.09 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 758 0 0 0 9 0 0 0 25 0 1 0 829287147 12533760 635 33554432000 134512640 137138936 4289254080 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1765/statm: 3060 635 192 642 0 2416 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12240
[startup+0.300173 s]
/proc/loadavg: 2.00 2.01 2.00 2/572 1765
/proc/meminfo: memFree=30963532/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=13380 CPUtime=0.29 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 1032 0 0 0 29 0 0 0 25 0 1 0 829287147 13701120 909 33554432000 134512640 137138936 4289254080 18446744073709551615 134542965 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1765/statm: 3345 909 192 642 0 2701 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13380
[startup+0.701058 s]
/proc/loadavg: 2.00 2.01 2.00 2/572 1765
/proc/meminfo: memFree=30963532/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=14408 CPUtime=0.69 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 1273 0 0 0 69 0 0 0 25 0 1 0 829287147 14753792 1150 33554432000 134512640 137138936 4289254080 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1765/statm: 3602 1150 192 642 0 2958 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14408
[startup+1.50098 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 1766
/proc/meminfo: memFree=30957944/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=15152 CPUtime=1.49 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 1487 0 0 0 149 0 0 0 25 0 1 0 829287147 15515648 1364 33554432000 134512640 137138936 4289254080 18446744073709551615 136297647 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1765/statm: 3788 1364 192 642 0 3144 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15152
[startup+3.10065 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 1766
/proc/meminfo: memFree=30954968/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=15792 CPUtime=3.09 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 1617 0 0 0 308 1 0 0 25 0 1 0 829287147 16171008 1494 33554432000 134512640 137138936 4289254080 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1765/statm: 3948 1494 192 642 0 3304 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15792
[startup+6.30101 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 1766
/proc/meminfo: memFree=30951496/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=16888 CPUtime=6.29 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 1901 0 0 0 627 2 0 0 25 0 1 0 829287147 17293312 1778 33554432000 134512640 137138936 4289254080 18446744073709551615 134542713 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/1765/statm: 4222 1778 192 642 0 3578 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16888
[startup+12.7009 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 1766
/proc/meminfo: memFree=30947512/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=17516 CPUtime=12.65 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 2068 0 0 0 1262 3 0 0 25 0 1 0 829287147 17936384 1945 33554432000 134512640 137138936 4289254080 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 4379 1945 192 642 0 3735 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 17516
[startup+25.5006 s]
/proc/loadavg: 2.13 2.04 2.01 3/573 1766
/proc/meminfo: memFree=30941708/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=18272 CPUtime=25.45 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 2251 0 0 0 2539 6 0 0 25 0 1 0 829287147 18710528 2128 33554432000 134512640 137138936 4289254080 18446744073709551615 136504172 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 4568 2128 192 642 0 3924 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 18272
[startup+51.1011 s]
/proc/loadavg: 2.09 2.04 2.01 3/573 1767
/proc/meminfo: memFree=30927844/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=19880 CPUtime=51.05 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 2662 0 0 0 5094 11 0 0 25 0 1 0 829287147 20357120 2539 33554432000 134512640 137138936 4289254080 18446744073709551615 134618200 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 4970 2539 192 642 0 4326 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 19880
[startup+102.322 s]
/proc/loadavg: 2.08 2.04 2.01 3/573 1768
/proc/meminfo: memFree=30906612/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=21400 CPUtime=102.27 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 3042 0 0 0 10210 17 0 0 25 0 1 0 829287147 21913600 2919 33554432000 134512640 137138936 4289254080 18446744073709551615 136504259 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 5350 2919 192 642 0 4706 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 21400
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/573 1770
/proc/meminfo: memFree=30886240/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=21980 CPUtime=162.25 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 3187 0 0 0 16200 25 0 0 25 0 1 0 829287147 22507520 3064 33554432000 134512640 137138936 4289254080 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 5495 3064 192 642 0 4851 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 21980
[startup+222.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/573 1772
/proc/meminfo: memFree=30866712/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=22212 CPUtime=222.25 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 3252 0 0 0 22192 33 0 0 25 0 1 0 829287147 22745088 3129 33554432000 134512640 137138936 4289254080 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 5553 3129 192 642 0 4909 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 22212
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 1800
/proc/meminfo: memFree=31632788/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=23584 CPUtime=282.25 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 3593 0 0 0 28184 41 0 0 25 0 1 0 829287147 24150016 3459 33554432000 134512640 137138936 4289254080 18446744073709551615 134607560 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 5896 3459 192 642 0 5252 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 23584
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 1802
/proc/meminfo: memFree=31501940/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=24012 CPUtime=342.26 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 3715 0 0 0 34177 49 0 0 25 0 1 0 829287147 24588288 3578 33554432000 134512640 137138936 4289254080 18446744073709551615 134543044 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 6003 3578 192 642 0 5359 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 24012
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 1803
/proc/meminfo: memFree=31501288/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=24880 CPUtime=402.26 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 3926 0 0 0 40168 58 0 0 25 0 1 0 829287147 25477120 3789 33554432000 134512640 137138936 4289254080 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 6220 3789 192 642 0 5576 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 24880
[startup+462.301 s]
/proc/loadavg: 2.22 2.06 2.02 3/573 1805
/proc/meminfo: memFree=31463172/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=25088 CPUtime=462.26 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 3980 0 0 0 46161 65 0 0 25 0 1 0 829287147 25690112 3843 33554432000 134512640 137138936 4289254080 18446744073709551615 136504102 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 6272 3843 192 642 0 5628 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 25088
[startup+522.301 s]
/proc/loadavg: 2.18 2.08 2.02 3/573 1807
/proc/meminfo: memFree=31439084/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=25444 CPUtime=522.26 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 4072 0 0 0 52153 73 0 0 25 0 1 0 829287147 26054656 3935 33554432000 134512640 137138936 4289254080 18446744073709551615 134599931 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 6361 3935 192 642 0 5717 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 25444
[startup+582.3 s]
/proc/loadavg: 2.06 2.06 2.02 3/573 1808
/proc/meminfo: memFree=31440412/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=25296 CPUtime=582.27 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 4074 0 0 0 58147 80 0 0 25 0 1 0 829287147 25903104 3901 33554432000 134512640 137138936 4289254080 18446744073709551615 136504919 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 6324 3901 192 642 0 5680 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 25296
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31393380/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=27428 CPUtime=1122.27 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 4690 0 0 0 112085 142 0 0 25 0 1 0 829287147 28086272 4426 33554432000 134512640 137138936 4289254080 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 6857 4426 192 642 0 6213 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 27428
[startup+1182.3 s]
/proc/loadavg: 2.03 2.05 2.01 4/573 1833
/proc/meminfo: memFree=31392196/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=27416 CPUtime=1182.28 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 4690 0 0 0 118078 150 0 0 25 0 1 0 829287147 28073984 4426 33554432000 134512640 137138936 4289254080 18446744073709551615 136297625 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 6854 4426 192 642 0 6210 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 27416
[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/573 1835
/proc/meminfo: memFree=31392272/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=27404 CPUtime=1242.28 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 4690 0 0 0 124070 158 0 0 25 0 1 0 829287147 28061696 4426 33554432000 134512640 137138936 4289254080 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 6851 4426 192 642 0 6207 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 27404
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 1836
/proc/meminfo: memFree=31376728/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=27388 CPUtime=1302.29 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 4690 0 0 0 130063 166 0 0 25 0 1 0 829287147 28045312 4424 33554432000 134512640 137138936 4289254080 18446744073709551615 134578370 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 6847 4424 192 642 0 6203 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 27388
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 1840
/proc/meminfo: memFree=31376320/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=27444 CPUtime=1362.28 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 4692 0 0 0 136057 171 0 0 25 0 1 0 829287147 28102656 4426 33554432000 134512640 137138936 4289254080 18446744073709551615 136297616 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 6861 4426 192 642 0 6217 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 27444
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 1843
/proc/meminfo: memFree=31374220/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=28712 CPUtime=1422.3 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 5005 0 0 0 142052 178 0 0 25 0 1 0 829287147 29401088 4739 33554432000 134512640 137138936 4289254080 18446744073709551615 136297616 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 7178 4739 192 642 0 6534 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 28712
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 1844
/proc/meminfo: memFree=31373204/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=29132 CPUtime=1482.29 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 5119 0 0 0 148045 184 0 0 25 0 1 0 829287147 29831168 4853 33554432000 134512640 137138936 4289254080 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 7283 4853 192 642 0 6639 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 29132
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 1846
/proc/meminfo: memFree=31374280/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=29128 CPUtime=1542.28 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 5119 0 0 0 154038 190 0 0 25 0 1 0 829287147 29827072 4853 33554432000 134512640 137138936 4289254080 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 7282 4853 192 642 0 6638 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 29128
[startup+1602.3 s]
/proc/loadavg: 2.16 2.06 2.02 3/573 1847
/proc/meminfo: memFree=31342236/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=29580 CPUtime=1602.28 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 5227 0 0 0 160032 196 0 0 25 0 1 0 829287147 30289920 4961 33554432000 134512640 137138936 4289254080 18446744073709551615 134542633 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 7395 4961 192 642 0 6751 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 29580
[startup+1662.3 s]
/proc/loadavg: 2.13 2.07 2.02 3/573 1849
/proc/meminfo: memFree=31341936/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=29580 CPUtime=1662.29 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 5227 0 0 0 166026 203 0 0 25 0 1 0 829287147 30289920 4961 33554432000 134512640 137138936 4289254080 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 7395 4961 192 642 0 6751 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 29580
[startup+1722.3 s]
/proc/loadavg: 2.05 2.06 2.02 3/573 1851
/proc/meminfo: memFree=31341912/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=29568 CPUtime=1722.29 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 5227 0 0 0 172020 209 0 0 25 0 1 0 829287147 30277632 4961 33554432000 134512640 137138936 4289254080 18446744073709551615 135984567 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 7392 4961 192 642 0 6748 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 29568
[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/573 1852
/proc/meminfo: memFree=31340380/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=29564 CPUtime=1782.3 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 5227 0 0 0 178014 216 0 0 25 0 1 0 829287147 30273536 4961 33554432000 134512640 137138936 4289254080 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 7391 4961 192 642 0 6747 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 29564
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.04 2.01 3/573 1852
/proc/meminfo: memFree=31340492/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=29564 CPUtime=1785.49 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 5227 0 0 0 178333 216 0 0 25 0 1 0 829287147 30273536 4961 33554432000 134512640 137138936 4289254080 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 7391 4961 192 642 0 6747 0
Current children cumulated CPU time (s) 1785.49
Current children cumulated vsize (KiB) 29564
[startup+1791.92 s]
/proc/loadavg: 2.01 2.04 2.01 3/573 1852
/proc/meminfo: memFree=31340492/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=29564 CPUtime=1791.91 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 5227 0 0 0 178974 217 0 0 25 0 1 0 829287147 30273536 4961 33554432000 134512640 137138936 4289254080 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 7391 4961 192 642 0 6747 0
Current children cumulated CPU time (s) 1791.91
Current children cumulated vsize (KiB) 29564
[startup+1795.1 s]
/proc/loadavg: 2.01 2.04 2.01 3/573 1852
/proc/meminfo: memFree=31340492/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=29564 CPUtime=1795.09 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 5227 0 0 0 179292 217 0 0 25 0 1 0 829287147 30273536 4961 33554432000 134512640 137138936 4289254080 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 7391 4961 192 642 0 6747 0
Current children cumulated CPU time (s) 1795.09
Current children cumulated vsize (KiB) 29564
[startup+1796.7 s]
/proc/loadavg: 2.01 2.04 2.01 3/573 1853
/proc/meminfo: memFree=31340492/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=29564 CPUtime=1796.7 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 5227 0 0 0 179452 218 0 0 25 0 1 0 829287147 30273536 4961 33554432000 134512640 137138936 4289254080 18446744073709551615 134576738 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 7391 4961 192 642 0 6747 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 29564
[startup+1797.5 s]
/proc/loadavg: 2.01 2.04 2.01 3/573 1853
/proc/meminfo: memFree=31340488/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=29564 CPUtime=1797.5 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 5227 0 0 0 179532 218 0 0 25 0 1 0 829287147 30273536 4961 33554432000 134512640 137138936 4289254080 18446744073709551615 136295502 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 7391 4961 192 642 0 6747 0
Current children cumulated CPU time (s) 1797.5
Current children cumulated vsize (KiB) 29564
[startup+1797.9 s]
/proc/loadavg: 2.01 2.04 2.01 3/573 1853
/proc/meminfo: memFree=31340488/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=29564 CPUtime=1797.9 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 5227 0 0 0 179572 218 0 0 25 0 1 0 829287147 30273536 4961 33554432000 134512640 137138936 4289254080 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 7391 4961 192 642 0 6747 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 29564
[startup+1798 s]
/proc/loadavg: 2.01 2.04 2.01 3/573 1853
/proc/meminfo: memFree=31340488/32950928 swapFree=43925852/67111528
[pid=1765] ppid=1763 vsize=29564 CPUtime=1798 cores=0,2,4,6
/proc/1765/stat : 1765 (bsolo) R 1763 1765 32216 0 -1 4202496 5227 0 0 0 179582 218 0 0 25 0 1 0 829287147 30273536 4961 33554432000 134512640 137138936 4289254080 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1765/statm: 7391 4961 192 642 0 6747 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 29564
Child status: 0
Real time (s): 1798
CPU time (s): 1798
CPU user time (s): 1795.82
CPU system time (s): 2.18267
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 29664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.82
system time used= 2.18267
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5227
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= 4541
runsolver used 10.9653 second user time and 23.1425 second system time
The end