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-3743211-1338794597/watcher-3743211-1338794597 -o /tmp/evaluation-result-3743211-1338794597/solver-3743211-1338794597 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3743211-1338794597.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.00 2.00 3/176 32622
/proc/meminfo: memFree=25981300/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=38788 CPUtime=0 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 410 0 0 0 0 0 0 0 20 0 1 0 345585200 39718912 364 33554432000 134512640 137136520 4293833824 4293832176 136575102 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 9697 364 190 641 0 2160 0
[startup+0.101872 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32622
/proc/meminfo: memFree=25981300/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=43320 CPUtime=0.09 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 1842 0 0 0 9 0 0 0 20 0 1 0 345585200 44359680 1756 33554432000 134512640 137136520 4293833824 4293832336 136575102 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 10830 1757 464 641 0 3293 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43320
[startup+0.200244 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32622
/proc/meminfo: memFree=25981300/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=47332 CPUtime=0.19 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 3164 0 0 0 19 0 0 0 20 0 1 0 345585200 48467968 2999 33554432000 134512640 137136520 4293833824 4293832416 134531237 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 11833 2999 734 641 0 4296 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 47332
[startup+0.300252 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32622
/proc/meminfo: memFree=25981300/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=49872 CPUtime=0.28 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 4124 0 0 0 28 0 0 0 20 0 1 0 345585200 51068928 3910 33554432000 134512640 137136520 4293833824 4293832352 134517592 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 12468 3910 988 641 0 4931 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 49872
[startup+0.70027 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32622
/proc/meminfo: memFree=25981300/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=63008 CPUtime=0.69 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 8619 0 0 0 68 1 0 0 20 0 1 0 345585200 64520192 8151 33554432000 134512640 137136520 4293833824 4293832104 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 15752 8151 1965 641 0 8215 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63008
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32623
/proc/meminfo: memFree=25942512/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=90068 CPUtime=1.49 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 17526 0 0 0 146 3 0 0 20 0 1 0 345585200 92229632 16552 33554432000 134512640 137136520 4293833824 4293832176 136575102 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 22517 16552 3650 641 0 14980 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 90068
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32623
/proc/meminfo: memFree=25909936/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=122044 CPUtime=3.09 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 27948 0 0 0 305 4 0 0 20 0 1 0 345585200 124973056 26985 33554432000 134512640 137136520 4293833824 4293829800 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 30511 26985 6363 641 0 22974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 122044
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32623
/proc/meminfo: memFree=25821632/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=175400 CPUtime=6.28 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 44611 0 0 0 622 6 0 0 20 0 1 0 345585200 179609600 40218 33554432000 134512640 137136520 4293833824 4289021368 136502385 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 43850 40218 189 641 0 43206 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 175400
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32623
/proc/meminfo: memFree=25820904/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=175400 CPUtime=12.69 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 44612 0 0 0 1262 7 0 0 20 0 1 0 345585200 179609600 40219 33554432000 134512640 137136520 4293833824 4289021320 136503150 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 43850 40219 189 641 0 43206 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 175400
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32623
/proc/meminfo: memFree=25821292/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=175400 CPUtime=25.49 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 44612 0 0 0 2542 7 0 0 20 0 1 0 345585200 179609600 40219 33554432000 134512640 137136520 4293833824 4289021368 136502385 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 43850 40219 189 641 0 43206 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 175400
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32623
/proc/meminfo: memFree=25821168/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=175400 CPUtime=51.08 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 44618 0 0 0 5101 7 0 0 20 0 1 0 345585200 179609600 40225 33554432000 134512640 137136520 4293833824 4289021284 136498219 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 43850 40225 189 641 0 43206 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 175400
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32623
/proc/meminfo: memFree=25817172/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=175400 CPUtime=102.28 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 44620 0 0 0 10220 8 0 0 20 0 1 0 345585200 179609600 40226 33554432000 134512640 137136520 4293833824 4289021284 136498518 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 43850 40226 189 641 0 43206 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 175400
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32623
/proc/meminfo: memFree=25814132/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=175532 CPUtime=162.23 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 44664 0 0 0 16214 9 0 0 20 0 1 0 345585200 179744768 40228 33554432000 134512640 137136520 4293833824 4289021584 134543869 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 43883 40228 189 641 0 43239 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 175532
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32625
/proc/meminfo: memFree=25804240/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=179416 CPUtime=222.22 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 351548 0 0 0 22070 152 0 0 20 0 1 0 345585200 183721984 42439 33554432000 134512640 137136520 4293833824 4293832416 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 44854 42439 198 641 0 44210 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 179416
[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 32625
/proc/meminfo: memFree=25803372/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=176280 CPUtime=282.2 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 875173 0 0 0 27975 245 0 0 20 0 1 0 345585200 180510720 41655 33554432000 134512640 137136520 4293833824 4293832752 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 44070 41655 198 641 0 43426 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 176280
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 32625
/proc/meminfo: memFree=25802932/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=177848 CPUtime=342.19 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 1860707 0 0 0 33807 412 0 0 20 0 1 0 345585200 182116352 42015 33554432000 134512640 137136520 4293833824 4293832320 136498202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 44462 42015 198 641 0 43818 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 177848
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32625
/proc/meminfo: memFree=25794252/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=186076 CPUtime=402.19 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 2470959 0 0 0 39708 511 0 0 20 0 1 0 345585200 190541824 44072 33554432000 134512640 137136520 4293833824 4293832416 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 46519 44072 198 641 0 45875 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 186076
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32628
/proc/meminfo: memFree=25791772/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=186364 CPUtime=462.17 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 2786705 0 0 0 45653 564 0 0 20 0 1 0 345585200 190836736 44177 33554432000 134512640 137136520 4293833824 4293832416 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 46591 44177 198 641 0 45947 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 186364
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32629
/proc/meminfo: memFree=25785832/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=186364 CPUtime=522.16 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 2997041 0 0 0 51614 602 0 0 20 0 1 0 345585200 190836736 44177 33554432000 134512640 137136520 4293833824 4293832416 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 46591 44177 198 641 0 45947 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 186364
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32629
/proc/meminfo: memFree=25786984/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=186364 CPUtime=582.16 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 3231746 0 0 0 57570 646 0 0 20 0 1 0 345585200 190836736 44177 33554432000 134512640 137136520 4293833824 4293832416 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 46591 44177 198 641 0 45947 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 186364
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25766748/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=191820 CPUtime=1122.07 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 7505612 0 0 0 110827 1380 0 0 20 0 1 0 345585200 196423680 45541 33554432000 134512640 137136520 4293833824 4293832752 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 47955 45541 198 641 0 47311 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 191820
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32634
/proc/meminfo: memFree=25763888/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=194980 CPUtime=1182.07 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 7774346 0 0 0 116778 1429 0 0 20 0 1 0 345585200 199659520 46331 33554432000 134512640 137136520 4293833824 4293832592 134573545 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 48745 46331 198 641 0 48101 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 194980
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32682
/proc/meminfo: memFree=25813540/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=191864 CPUtime=1242.05 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 8042570 0 0 0 122729 1476 0 0 20 0 1 0 345585200 196468736 45552 33554432000 134512640 137136520 4293833824 4293832752 134543760 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 47966 45552 198 641 0 47322 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 191864
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32682
/proc/meminfo: memFree=25811056/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=194072 CPUtime=1302.05 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 8308664 0 0 0 128681 1524 0 0 20 0 1 0 345585200 198729728 45901 33554432000 134512640 137136520 4293833824 4293832488 136571969 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 48347 45901 198 641 0 47703 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 194072
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 32682
/proc/meminfo: memFree=25802568/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=196860 CPUtime=1362.04 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 8700994 0 0 0 134611 1593 0 0 20 0 1 0 345585200 201584640 46801 33554432000 134512640 137136520 4293833824 4293832416 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 49215 46801 198 641 0 48571 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 196860
[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 32682
/proc/meminfo: memFree=25799384/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=196644 CPUtime=1422.04 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 8945226 0 0 0 140569 1635 0 0 20 0 1 0 345585200 201363456 46747 33554432000 134512640 137136520 4293833824 4293832416 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 49161 46747 198 641 0 48517 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 196644
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32683
/proc/meminfo: memFree=25798888/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=197824 CPUtime=1482.02 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 9176363 0 0 0 146526 1676 0 0 20 0 1 0 345585200 202571776 47041 33554432000 134512640 137136520 4293833824 4293832416 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 49456 47041 198 641 0 48812 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 197824
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32683
/proc/meminfo: memFree=25792132/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=198512 CPUtime=1542.02 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 9472935 0 0 0 152474 1728 0 0 20 0 1 0 345585200 203276288 47214 33554432000 134512640 137136520 4293833824 4293832416 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 49628 47214 198 641 0 48984 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 198512
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32683
/proc/meminfo: memFree=25787108/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=199136 CPUtime=1602.01 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 9900162 0 0 0 158401 1800 0 0 20 0 1 0 345585200 203915264 47370 33554432000 134512640 137136520 4293833824 4293832416 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 49784 47370 198 641 0 49140 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 199136
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32686
/proc/meminfo: memFree=25777164/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=200312 CPUtime=1661.99 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 10145393 0 0 0 164356 1843 0 0 20 0 1 0 345585200 205119488 47664 33554432000 134512640 137136520 4293833824 4293832416 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 50078 47664 198 641 0 49434 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 200312
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32686
/proc/meminfo: memFree=25771028/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=197308 CPUtime=1721.98 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 10562925 0 0 0 170282 1916 0 0 20 0 1 0 345585200 202043392 46913 33554432000 134512640 137136520 4293833824 4293832752 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 49327 46913 198 641 0 48683 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 197308
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32687
/proc/meminfo: memFree=25769540/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=201144 CPUtime=1781.97 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 11227815 0 0 0 176167 2030 0 0 20 0 1 0 345585200 205971456 47872 33554432000 134512640 137136520 4293833824 4293832524 136518971 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 50286 47872 198 641 0 49642 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 201144
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32687
/proc/meminfo: memFree=25769416/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=198100 CPUtime=1791.68 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 11348161 0 0 0 177118 2050 0 0 20 0 1 0 345585200 202854400 47111 33554432000 134512640 137136520 4293833824 4293832940 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 49525 47111 198 641 0 48881 0
Current children cumulated CPU time (s) 1791.68
Current children cumulated vsize (KiB) 198100
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32687
/proc/meminfo: memFree=25769540/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=201256 CPUtime=1794.88 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 11393100 0 0 0 177430 2058 0 0 20 0 1 0 345585200 206086144 47900 33554432000 134512640 137136520 4293833824 4293832592 134573706 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 50314 47900 198 641 0 49670 0
Current children cumulated CPU time (s) 1794.88
Current children cumulated vsize (KiB) 201256
[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32687
/proc/meminfo: memFree=25772640/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=198144 CPUtime=1796.47 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 11418994 0 0 0 177585 2062 0 0 20 0 1 0 345585200 202899456 47122 33554432000 134512640 137136520 4293833824 4293831960 136502385 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 49536 47122 198 641 0 48892 0
Current children cumulated CPU time (s) 1796.47
Current children cumulated vsize (KiB) 198144
[startup+1797.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32687
/proc/meminfo: memFree=25769540/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=201284 CPUtime=1797.27 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 11431342 0 0 0 177663 2064 0 0 20 0 1 0 345585200 206114816 47907 33554432000 134512640 137136520 4293833824 4293832416 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 50321 47907 198 641 0 49677 0
Current children cumulated CPU time (s) 1797.27
Current children cumulated vsize (KiB) 201284
[startup+1798 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32687
/proc/meminfo: memFree=25769540/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=201284 CPUtime=1797.67 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 11431342 0 0 0 177703 2064 0 0 20 0 1 0 345585200 206114816 47907 33554432000 134512640 137136520 4293833824 4293832464 134606772 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 50321 47907 198 641 0 49677 0
Current children cumulated CPU time (s) 1797.67
Current children cumulated vsize (KiB) 201284
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32687
/proc/meminfo: memFree=25769540/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=201284 CPUtime=1798.07 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 11431342 0 0 0 177743 2064 0 0 20 0 1 0 345585200 206114816 47907 33554432000 134512640 137136520 4293833824 4293832464 134606742 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 50321 47907 198 641 0 49677 0
Current children cumulated CPU time (s) 1798.07
Current children cumulated vsize (KiB) 201284
[startup+1798.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32687
/proc/meminfo: memFree=25768796/32873648 swapFree=6864/6864
[pid=32622] ppid=32620 vsize=203412 CPUtime=1798.18 cores=0,2,4,6
/proc/32622/stat : 32622 (bsolo) R 32620 32622 30743 0 -1 4202496 11432011 0 0 0 177753 2065 0 0 20 0 1 0 345585200 208293888 48407 33554432000 134512640 137136520 4293833824 4293832448 134554024 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32622/statm: 50853 48407 198 641 0 50209 0
Current children cumulated CPU time (s) 1798.18
Current children cumulated vsize (KiB) 203412
Child status: 0
Real time (s): 1798.52
CPU time (s): 1798.2
CPU user time (s): 1777.55
CPU system time (s): 20.6529
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 204088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1777.55
system time used= 20.6529
maximum resident set size= 194324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11432012
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= 60
involuntary context switches= 1855
runsolver used 3.23951 second user time and 7.78282 second system time
The end