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-3729109-1338680643/watcher-3729109-1338680643 -o /tmp/evaluation-result-3729109-1338680643/solver-3729109-1338680643 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3729109-1338680643.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 1.78 3/176 29951
/proc/meminfo: memFree=31427712/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=10924 CPUtime=0 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 334191302 11186176 274 33554432000 134512640 137136520 4290145792 4290139356 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 2731 274 189 641 0 2087 0
[startup+0.0466671 s]
/proc/loadavg: 2.00 2.00 1.78 3/176 29951
/proc/meminfo: memFree=31427712/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=11272 CPUtime=0.04 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 438 0 0 0 4 0 0 0 20 0 1 0 334191302 11542528 383 33554432000 134512640 137136520 4290145792 4290144072 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 2818 383 198 641 0 2174 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11272
[startup+0.10031 s]
/proc/loadavg: 2.00 2.00 1.78 3/176 29951
/proc/meminfo: memFree=31427712/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=11844 CPUtime=0.09 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 585 0 0 0 9 0 0 0 20 0 1 0 334191302 12128256 530 33554432000 134512640 137136520 4290145792 4290144432 134606791 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 2961 531 198 641 0 2317 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11844
[startup+0.300239 s]
/proc/loadavg: 2.00 2.00 1.78 3/176 29951
/proc/meminfo: memFree=31427712/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=13700 CPUtime=0.29 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 1054 0 0 0 29 0 0 0 20 0 1 0 334191302 14028800 999 33554432000 134512640 137136520 4290145792 4290144072 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 3425 999 198 641 0 2781 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13700
[startup+0.700242 s]
/proc/loadavg: 2.00 2.00 1.78 3/176 29951
/proc/meminfo: memFree=31427712/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=16736 CPUtime=0.69 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 1808 0 0 0 69 0 0 0 20 0 1 0 334191302 17137664 1753 33554432000 134512640 137136520 4290145792 4290144908 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 4184 1753 198 641 0 3540 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16736
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 1.78 3/177 29952
/proc/meminfo: memFree=31419280/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=21976 CPUtime=1.49 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 3115 0 0 0 148 1 0 0 20 0 1 0 334191302 22503424 3060 33554432000 134512640 137136520 4290145792 4290144908 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 5494 3060 198 641 0 4850 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21976
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 1.78 3/177 29952
/proc/meminfo: memFree=31412212/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=30416 CPUtime=3.09 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 5217 0 0 0 307 2 0 0 20 0 1 0 334191302 31145984 5162 33554432000 134512640 137136520 4290145792 4290141136 134607171 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 7604 5163 198 641 0 6960 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30416
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 1.78 3/177 29952
/proc/meminfo: memFree=31398324/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=42104 CPUtime=6.29 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 8151 0 0 0 625 4 0 0 20 0 1 0 334191302 43114496 8096 33554432000 134512640 137136520 4290145792 4290144560 134573382 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 10526 8096 198 641 0 9882 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42104
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.79 3/177 29952
/proc/meminfo: memFree=31391760/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=47244 CPUtime=12.69 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 9419 0 0 0 1263 6 0 0 20 0 1 0 334191302 48377856 9364 33554432000 134512640 137136520 4290145792 4290144720 134543933 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 11811 9364 198 641 0 11167 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47244
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.79 3/177 29952
/proc/meminfo: memFree=31383328/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=51936 CPUtime=25.48 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 10615 0 0 0 2541 7 0 0 20 0 1 0 334191302 53182464 10560 33554432000 134512640 137136520 4290145792 4290144720 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 12984 10560 198 641 0 12340 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 51936
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.79 3/177 29952
/proc/meminfo: memFree=31376528/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=59820 CPUtime=51.06 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 12602 0 0 0 5095 11 0 0 20 0 1 0 334191302 61255680 12526 33554432000 134512640 137136520 4290145792 4290144908 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 14955 12526 198 641 0 14311 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 59820
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.80 3/177 29953
/proc/meminfo: memFree=31368216/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=65448 CPUtime=102.26 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 14008 0 0 0 10208 18 0 0 20 0 1 0 334191302 67018752 13932 33554432000 134512640 137136520 4290145792 4290144720 134543696 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 16362 13932 198 641 0 15718 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 65448
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/177 29953
/proc/meminfo: memFree=31361820/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=70420 CPUtime=162.24 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 15258 0 0 0 16200 24 0 0 20 0 1 0 334191302 72110080 15177 33554432000 134512640 137136520 4290145792 4290144712 135982492 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 17605 15177 198 641 0 16961 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 70420
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/177 29953
/proc/meminfo: memFree=31355608/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=75496 CPUtime=222.23 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 16536 0 0 0 22188 35 0 0 20 0 1 0 334191302 77307904 16450 33554432000 134512640 137136520 4290145792 4290144908 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 18874 16450 198 641 0 18230 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 75496
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/177 29953
/proc/meminfo: memFree=31355236/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=75424 CPUtime=282.22 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 16536 0 0 0 28181 41 0 0 20 0 1 0 334191302 77234176 16436 33554432000 134512640 137136520 4290145792 4290144720 134543918 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 18856 16436 198 641 0 18212 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 75424
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/177 29953
/proc/meminfo: memFree=31350024/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=80696 CPUtime=342.21 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 17855 0 0 0 34170 51 0 0 20 0 1 0 334191302 82632704 17753 33554432000 134512640 137136520 4290145792 4290144720 134544252 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 20174 17753 198 641 0 19530 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 80696
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/178 29957
/proc/meminfo: memFree=31345672/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=81428 CPUtime=402.2 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 18038 0 0 0 40162 58 0 0 20 0 1 0 334191302 83382272 17931 33554432000 134512640 137136520 4290145792 4290144720 134544157 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 20357 17931 198 641 0 19713 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 81428
[startup+462.3 s]
/proc/loadavg: 2.08 2.02 1.85 3/177 29957
/proc/meminfo: memFree=31338796/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=88404 CPUtime=462.19 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 19787 0 0 0 46153 66 0 0 20 0 1 0 334191302 90525696 19679 33554432000 134512640 137136520 4290145792 4290144720 134544157 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 22101 19679 198 641 0 21457 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 88404
[startup+522.3 s]
/proc/loadavg: 2.03 2.01 1.86 3/177 29957
/proc/meminfo: memFree=31335936/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=90896 CPUtime=522.18 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 20414 0 0 0 52147 71 0 0 20 0 1 0 334191302 93077504 20302 33554432000 134512640 137136520 4290145792 4290144720 134544714 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 22724 20302 198 641 0 22080 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 90896
[startup+582.3 s]
/proc/loadavg: 2.01 2.00 1.86 3/177 29957
/proc/meminfo: memFree=31335564/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=91552 CPUtime=582.17 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 20587 0 0 0 58140 77 0 0 20 0 1 0 334191302 93749248 20468 33554432000 134512640 137136520 4290145792 4290144720 134544157 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 22888 20468 198 641 0 22244 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 91552
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31324880/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=97904 CPUtime=1062.1 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 22189 0 0 0 106076 134 0 0 20 0 1 0 334191302 100253696 22029 33554432000 134512640 137136520 4290145792 4290144720 134544140 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 24476 22029 198 641 0 23832 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 97904
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 29985
/proc/meminfo: memFree=31323896/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=98888 CPUtime=1122.09 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 22466 0 0 0 112067 142 0 0 20 0 1 0 334191302 101261312 22302 33554432000 134512640 137136520 4290145792 4290144720 134544554 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 24722 22302 198 641 0 24078 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 98888
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 29985
/proc/meminfo: memFree=31323896/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=98656 CPUtime=1182.08 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 22466 0 0 0 118058 150 0 0 20 0 1 0 334191302 101023744 22244 33554432000 134512640 137136520 4290145792 4290144384 134616472 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 24664 22244 198 641 0 24020 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 98656
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 29985
/proc/meminfo: memFree=31322468/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=99860 CPUtime=1242.07 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 22786 0 0 0 124047 160 0 0 20 0 1 0 334191302 102256640 22539 33554432000 134512640 137136520 4290145792 4290144720 134543986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 24965 22539 198 641 0 24321 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 99860
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 29985
/proc/meminfo: memFree=31318252/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=101580 CPUtime=1302.07 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 23189 0 0 0 130036 171 0 0 20 0 1 0 334191302 104017920 22942 33554432000 134512640 137136520 4290145792 4290144712 135982525 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 25395 22942 198 641 0 24751 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 101580
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/177 29986
/proc/meminfo: memFree=31318376/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=101400 CPUtime=1362.06 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 23189 0 0 0 136025 181 0 0 20 0 1 0 334191302 103833600 22929 33554432000 134512640 137136520 4290145792 4290144720 134544604 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 25350 22929 198 641 0 24706 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 101400
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 1.91 3/177 29986
/proc/meminfo: memFree=31318312/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=101544 CPUtime=1422.05 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 23193 0 0 0 142017 188 0 0 20 0 1 0 334191302 103981056 22933 33554432000 134512640 137136520 4290145792 4290144720 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 25386 22933 198 641 0 24742 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 101544
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 29986
/proc/meminfo: memFree=31316388/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=103344 CPUtime=1482.04 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 23644 0 0 0 148007 197 0 0 20 0 1 0 334191302 105824256 23383 33554432000 134512640 137136520 4290145792 4290144720 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 25836 23383 198 641 0 25192 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 103344
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 29986
/proc/meminfo: memFree=31316140/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=103176 CPUtime=1542.03 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 23644 0 0 0 153997 206 0 0 20 0 1 0 334191302 105652224 23373 33554432000 134512640 137136520 4290145792 4290144388 136509091 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 25794 23373 198 641 0 25150 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 103176
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 29989
/proc/meminfo: memFree=31315200/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=103748 CPUtime=1602.01 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 23853 0 0 0 159989 212 0 0 20 0 1 0 334191302 106237952 23484 33554432000 134512640 137136520 4290145792 4290144720 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 25937 23484 198 641 0 25293 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 103748
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30134
/proc/meminfo: memFree=31354744/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=103516 CPUtime=1662 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 23853 0 0 0 165982 218 0 0 20 0 1 0 334191302 106000384 23458 33554432000 134512640 137136520 4290145792 4290144384 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 25879 23458 198 641 0 25235 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 103516
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30134
/proc/meminfo: memFree=31352816/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=104392 CPUtime=1721.99 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 24041 0 0 0 171975 224 0 0 20 0 1 0 334191302 106897408 23645 33554432000 134512640 137136520 4290145792 4290144720 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 26098 23645 198 641 0 25454 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 104392
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30134
/proc/meminfo: memFree=31351824/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=104040 CPUtime=1781.99 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 24041 0 0 0 177965 234 0 0 20 0 1 0 334191302 106536960 23589 33554432000 134512640 137136520 4290145792 4290144548 136500536 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 26010 23589 198 641 0 25366 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 104040
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30134
/proc/meminfo: memFree=31351948/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=104040 CPUtime=1791.59 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 24041 0 0 0 178924 235 0 0 20 0 1 0 334191302 106536960 23589 33554432000 134512640 137136520 4290145792 4290144548 136499629 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 26010 23589 198 641 0 25366 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 104040
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30134
/proc/meminfo: memFree=31351080/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=104040 CPUtime=1794.79 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 24041 0 0 0 179244 235 0 0 20 0 1 0 334191302 106536960 23589 33554432000 134512640 137136520 4290145792 4290144908 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 26010 23589 198 641 0 25366 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 104040
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30134
/proc/meminfo: memFree=31351080/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=104040 CPUtime=1796.38 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 24041 0 0 0 179403 235 0 0 20 0 1 0 334191302 106536960 23589 33554432000 134512640 137136520 4290145792 4290144708 136294900 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 26010 23589 198 641 0 25366 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 104040
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30134
/proc/meminfo: memFree=31351080/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=104040 CPUtime=1797.18 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 24041 0 0 0 179483 235 0 0 20 0 1 0 334191302 106536960 23589 33554432000 134512640 137136520 4290145792 4290144720 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 26010 23589 198 641 0 25366 0
Current children cumulated CPU time (s) 1797.18
Current children cumulated vsize (KiB) 104040
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30134
/proc/meminfo: memFree=31351080/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=104040 CPUtime=1797.58 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 24041 0 0 0 179523 235 0 0 20 0 1 0 334191302 106536960 23589 33554432000 134512640 137136520 4290145792 4290144720 134544116 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 26010 23589 198 641 0 25366 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 104040
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30134
/proc/meminfo: memFree=31351080/32873844 swapFree=7116/7116
[pid=29951] ppid=29949 vsize=104040 CPUtime=1797.99 cores=0,2,4,6
/proc/29951/stat : 29951 (bsolo) R 29949 29951 29538 0 -1 4202496 24041 0 0 0 179563 236 0 0 20 0 1 0 334191302 106536960 23589 33554432000 134512640 137136520 4290145792 4290144908 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29951/statm: 26010 23589 198 641 0 25366 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 104040
Child status: 0
Real time (s): 1798.32
CPU time (s): 1798.01
CPU user time (s): 1795.65
CPU system time (s): 2.36164
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 104392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.65
system time used= 2.36164
maximum resident set size= 94580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24042
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= 46
involuntary context switches= 1915
runsolver used 10.5784 second user time and 12.6861 second system time
The end