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-3708320-1338218990/watcher-3708320-1338218990 -o /tmp/evaluation-result-3708320-1338218990/solver-3708320-1338218990 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708320-1338218990.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 17300
/proc/meminfo: memFree=29931044/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=10932 CPUtime=0 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288023891 11194368 300 33554432000 134512640 137138936 4290793136 4290789436 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 2733 300 184 642 0 2089 0
[startup+0.042709 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17300
/proc/meminfo: memFree=29931044/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=11432 CPUtime=0.03 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 471 0 0 0 3 0 0 0 20 0 1 0 288023891 11706368 412 33554432000 134512640 137138936 4290793136 4290789240 134600697 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 2858 412 192 642 0 2214 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11432
[startup+0.100263 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17300
/proc/meminfo: memFree=29931044/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=12028 CPUtime=0.09 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 631 0 0 0 9 0 0 0 20 0 1 0 288023891 12316672 572 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 3007 572 192 642 0 2363 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12028
[startup+0.300251 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17300
/proc/meminfo: memFree=29931044/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=14188 CPUtime=0.29 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 1160 0 0 0 29 0 0 0 20 0 1 0 288023891 14528512 1101 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 3547 1101 192 642 0 2903 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14188
[startup+0.700236 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17300
/proc/meminfo: memFree=29931044/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=16748 CPUtime=0.68 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 1810 0 0 0 68 0 0 0 20 0 1 0 288023891 17149952 1751 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 4187 1751 192 642 0 3543 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 16748
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17301
/proc/meminfo: memFree=29924208/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=17228 CPUtime=1.49 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 1937 0 0 0 148 1 0 0 20 0 1 0 288023891 17641472 1878 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 4307 1878 192 642 0 3663 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17228
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17301
/proc/meminfo: memFree=29923208/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=18444 CPUtime=3.09 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 2242 0 0 0 308 1 0 0 20 0 1 0 288023891 18886656 2183 33554432000 134512640 137138936 4290793136 4290791888 134575204 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 4611 2183 192 642 0 3967 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18444
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17301
/proc/meminfo: memFree=29921844/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=19276 CPUtime=6.28 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 2427 0 0 0 627 1 0 0 20 0 1 0 288023891 19738624 2368 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 4819 2368 192 642 0 4175 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19276
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17304
/proc/meminfo: memFree=29921232/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=19192 CPUtime=12.68 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 2427 0 0 0 1265 3 0 0 20 0 1 0 288023891 19652608 2368 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 4798 2368 192 642 0 4154 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19192
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17304
/proc/meminfo: memFree=29918876/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=21672 CPUtime=25.49 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 3041 0 0 0 2543 6 0 0 20 0 1 0 288023891 22192128 2982 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 5418 2982 192 642 0 4774 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21672
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17304
/proc/meminfo: memFree=29919000/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=21656 CPUtime=51.08 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 3041 0 0 0 5098 10 0 0 20 0 1 0 288023891 22175744 2982 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 5414 2982 192 642 0 4770 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 21656
[startup+102.306 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 17304
/proc/meminfo: memFree=29918388/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=22468 CPUtime=102.28 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 3579 0 0 0 10208 20 0 0 20 0 1 0 288023891 23007232 3171 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 5617 3171 192 642 0 4973 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 22468
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 17305
/proc/meminfo: memFree=29916148/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=24840 CPUtime=162.27 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 4205 0 0 0 16196 31 0 0 20 0 1 0 288023891 25436160 3782 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 6210 3782 192 642 0 5566 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 24840
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17306
/proc/meminfo: memFree=29913428/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=27668 CPUtime=222.25 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 4912 0 0 0 22184 41 0 0 20 0 1 0 288023891 28332032 4489 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 6917 4489 192 642 0 6273 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 27668
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17306
/proc/meminfo: memFree=29913428/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=27744 CPUtime=282.25 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 4916 0 0 0 28173 52 0 0 20 0 1 0 288023891 28409856 4493 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 6936 4493 192 642 0 6292 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 27744
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17306
/proc/meminfo: memFree=29911320/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=29340 CPUtime=342.24 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 5325 0 0 0 34162 62 0 0 20 0 1 0 288023891 30044160 4902 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 7335 4902 192 642 0 6691 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 29340
[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 17306
/proc/meminfo: memFree=29910080/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=31056 CPUtime=402.22 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 5751 0 0 0 40150 72 0 0 20 0 1 0 288023891 31801344 5328 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 7764 5328 192 642 0 7120 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 31056
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17306
/proc/meminfo: memFree=29909584/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=31284 CPUtime=462.22 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 5821 0 0 0 46141 81 0 0 20 0 1 0 288023891 32034816 5396 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 7821 5396 192 642 0 7177 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 31284
[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 17306
/proc/meminfo: memFree=29909584/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=31240 CPUtime=522.21 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 5821 0 0 0 52131 90 0 0 20 0 1 0 288023891 31989760 5385 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 7810 5385 192 642 0 7166 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 31240
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17307
/proc/meminfo: memFree=29909584/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=31216 CPUtime=582.2 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 5821 0 0 0 58121 99 0 0 20 0 1 0 288023891 31965184 5379 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 7804 5379 192 642 0 7160 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 31216
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31051508/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=35464 CPUtime=1122.11 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7077 0 0 0 112017 194 0 0 20 0 1 0 288023891 36315136 6944 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 8866 6944 192 642 0 8222 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 35464
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17352
/proc/meminfo: memFree=30987296/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=35588 CPUtime=1182.1 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7125 0 0 0 118006 204 0 0 20 0 1 0 288023891 36442112 6975 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 8897 6975 192 642 0 8253 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 35588
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17355
/proc/meminfo: memFree=30929256/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=35512 CPUtime=1242.09 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7125 0 0 0 123995 214 0 0 20 0 1 0 288023891 36364288 6956 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 8878 6956 192 642 0 8234 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 35512
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17355
/proc/meminfo: memFree=30880780/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=37380 CPUtime=1302.09 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7582 0 0 0 129986 223 0 0 20 0 1 0 288023891 38277120 7410 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9345 7410 192 642 0 8701 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 37380
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17355
/proc/meminfo: memFree=30830188/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=37608 CPUtime=1362.07 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7640 0 0 0 135972 235 0 0 20 0 1 0 288023891 38510592 7468 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9402 7468 192 642 0 8758 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 37608
[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 17355
/proc/meminfo: memFree=30789068/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=38048 CPUtime=1422.08 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7744 0 0 0 141961 247 0 0 20 0 1 0 288023891 38961152 7572 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9512 7572 192 642 0 8868 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 38048
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17356
/proc/meminfo: memFree=30750656/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=37792 CPUtime=1482.06 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7747 0 0 0 147950 256 0 0 20 0 1 0 288023891 38699008 7507 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9448 7507 192 642 0 8804 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 37792
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17356
/proc/meminfo: memFree=30719064/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=37872 CPUtime=1542.05 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7784 0 0 0 153938 267 0 0 20 0 1 0 288023891 38780928 7544 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9468 7544 192 642 0 8824 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 37872
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 17356
/proc/meminfo: memFree=30690204/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=37740 CPUtime=1602.04 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7785 0 0 0 159928 276 0 0 20 0 1 0 288023891 38645760 7513 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9435 7513 192 642 0 8791 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 37740
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17356
/proc/meminfo: memFree=30669620/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=38060 CPUtime=1662.02 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7857 0 0 0 165917 285 0 0 20 0 1 0 288023891 38973440 7578 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9515 7578 192 642 0 8871 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 38060
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17356
/proc/meminfo: memFree=30660692/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=37740 CPUtime=1722.02 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7857 0 0 0 171907 295 0 0 20 0 1 0 288023891 38645760 7513 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9435 7513 192 642 0 8791 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 37740
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17357
/proc/meminfo: memFree=30647052/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=37744 CPUtime=1782.01 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7863 0 0 0 177898 303 0 0 20 0 1 0 288023891 38649856 7514 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9436 7514 192 642 0 8792 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 37744
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 17357
/proc/meminfo: memFree=30644944/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=38080 CPUtime=1791.62 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7929 0 0 0 178857 305 0 0 20 0 1 0 288023891 38993920 7578 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9520 7578 192 642 0 8876 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 38080
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17357
/proc/meminfo: memFree=30643952/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=38080 CPUtime=1794.81 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7929 0 0 0 179176 305 0 0 20 0 1 0 288023891 38993920 7578 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9520 7578 192 642 0 8876 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 38080
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17357
/proc/meminfo: memFree=30643704/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=38076 CPUtime=1796.41 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7929 0 0 0 179336 305 0 0 20 0 1 0 288023891 38989824 7578 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9519 7578 192 642 0 8875 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 38076
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17357
/proc/meminfo: memFree=30643580/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=38076 CPUtime=1797.21 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7929 0 0 0 179416 305 0 0 20 0 1 0 288023891 38989824 7578 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9519 7578 192 642 0 8875 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 38076
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17357
/proc/meminfo: memFree=30643580/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=38076 CPUtime=1797.61 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7929 0 0 0 179456 305 0 0 20 0 1 0 288023891 38989824 7578 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9519 7578 192 642 0 8875 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 38076
[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17357
/proc/meminfo: memFree=30643580/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=38076 CPUtime=1797.81 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7929 0 0 0 179476 305 0 0 20 0 1 0 288023891 38989824 7578 33554432000 134512640 137138936 4290793136 4290792064 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9519 7578 192 642 0 8875 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 38076
[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17357
/proc/meminfo: memFree=30643580/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=38076 CPUtime=1797.91 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7929 0 0 0 179486 305 0 0 20 0 1 0 288023891 38989824 7578 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9519 7578 192 642 0 8875 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 38076
Child status: 0
Real time (s): 1798.28
CPU time (s): 1798
CPU user time (s): 1794.94
CPU system time (s): 3.05953
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 38080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.94
system time used= 3.05953
maximum resident set size= 30316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7930
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= 16
involuntary context switches= 1999
runsolver used 2.74858 second user time and 7.06193 second system time
The end