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-3738317-1338740537/watcher-3738317-1338740537 -o /tmp/evaluation-result-3738317-1338740537/solver-3738317-1338740537 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3738317-1338740537.opb
running on 4 cores: 1,3,5,7
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 1819
/proc/meminfo: memFree=31496068/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=11532 CPUtime=0 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 373 0 0 0 0 0 0 0 20 0 1 0 340182310 11808768 327 33554432000 134512640 137136520 4287281888 4287280296 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 2883 327 187 641 0 2124 0
[startup+0.01048 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1819
/proc/meminfo: memFree=31496068/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=11944 CPUtime=0 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 473 0 0 0 0 0 0 0 20 0 1 0 340182310 12230656 427 33554432000 134512640 137136520 4287281888 4287280240 136575102 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 2986 428 201 641 0 2227 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11944
[startup+0.100255 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1819
/proc/meminfo: memFree=31496068/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=13632 CPUtime=0.09 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 1119 0 0 0 9 0 0 0 20 0 1 0 340182310 13959168 958 33554432000 134512640 137136520 4287281888 4287220828 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 3408 958 189 641 0 2764 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13632
[startup+0.300227 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1819
/proc/meminfo: memFree=31496068/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=13632 CPUtime=0.29 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 1119 0 0 0 29 0 0 0 20 0 1 0 340182310 13959168 958 33554432000 134512640 137136520 4287281888 4287220828 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 3408 958 189 641 0 2764 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13632
[startup+0.700226 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1819
/proc/meminfo: memFree=31496068/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=13632 CPUtime=0.69 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 1119 0 0 0 69 0 0 0 20 0 1 0 340182310 13959168 958 33554432000 134512640 137136520 4287281888 4287220828 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 3408 958 189 641 0 2764 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13632
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1820
/proc/meminfo: memFree=31492580/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=13672 CPUtime=1.49 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 1160 0 0 0 149 0 0 0 20 0 1 0 340182310 14000128 992 33554432000 134512640 137136520 4287281888 4287220620 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 3418 992 191 641 0 2774 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13672
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1820
/proc/meminfo: memFree=31492332/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=15004 CPUtime=3.09 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 1492 0 0 0 306 3 0 0 20 0 1 0 340182310 15364096 1324 33554432000 134512640 137136520 4287281888 4287281004 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 3751 1324 197 641 0 3107 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15004
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1820
/proc/meminfo: memFree=31486008/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=21576 CPUtime=6.29 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 3138 0 0 0 619 10 0 0 20 0 1 0 340182310 22093824 2970 33554432000 134512640 137136520 4287281888 4287280816 134544145 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 5394 2970 198 641 0 4750 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21576
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1820
/proc/meminfo: memFree=31461696/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=46840 CPUtime=12.69 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 9453 0 0 0 1256 13 0 0 20 0 1 0 340182310 47964160 9285 33554432000 134512640 137136520 4287281888 4287281004 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 11710 9285 198 641 0 11066 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46840
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1820
/proc/meminfo: memFree=31427348/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=79216 CPUtime=25.49 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 17560 0 0 0 2533 16 0 0 20 0 1 0 340182310 81117184 17392 33554432000 134512640 137136520 4287281888 4287281004 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 19804 17392 198 641 0 19160 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 79216
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 1924
/proc/meminfo: memFree=31430552/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=149232 CPUtime=51.07 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 35078 0 0 0 5076 31 0 0 20 0 1 0 340182310 152813568 34895 33554432000 134512640 137136520 4287281888 4287280416 134600223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 37308 34895 198 641 0 36664 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 149232
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 1924
/proc/meminfo: memFree=31267088/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=257052 CPUtime=102.23 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 62077 0 0 0 10176 47 0 0 20 0 1 0 340182310 263221248 61854 33554432000 134512640 137136520 4287281888 4287280816 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 64263 61854 198 641 0 63619 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 257052
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 1924
/proc/meminfo: memFree=31103808/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=398340 CPUtime=162.18 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 97431 0 0 0 16150 68 0 0 20 0 1 0 340182310 407900160 97164 33554432000 134512640 137136520 4287281888 4287280784 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 99585 97164 198 641 0 98941 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 398340
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 1924
/proc/meminfo: memFree=30925028/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=576228 CPUtime=222.14 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 143221 0 0 0 22127 87 0 0 20 0 1 0 340182310 590057472 141645 33554432000 134512640 137136520 4287281888 4287280816 134544145 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 144057 141645 198 641 0 143413 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 576228
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 1924
/proc/meminfo: memFree=30776132/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=715460 CPUtime=282.1 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 181001 0 0 0 28109 101 0 0 20 0 1 0 340182310 732631040 176456 33554432000 134512640 137136520 4287281888 4287280816 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 178865 176456 198 641 0 178221 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 715460
[startup+342.3 s]
/proc/loadavg: 2.06 2.02 2.00 4/177 1925
/proc/meminfo: memFree=30658980/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=830544 CPUtime=342.07 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 210862 0 0 0 34093 114 0 0 20 0 1 0 340182310 850477056 205199 33554432000 134512640 137136520 4287281888 4287280816 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 207636 205199 198 641 0 206992 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 830544
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 4/177 1925
/proc/meminfo: memFree=30554352/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=926740 CPUtime=402.03 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 235680 0 0 0 40079 124 0 0 20 0 1 0 340182310 948981760 229276 33554432000 134512640 137136520 4287281888 4287280468 136498324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 231685 229276 198 641 0 231041 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 926740
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 4/177 1925
/proc/meminfo: memFree=30488040/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=992440 CPUtime=461.99 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 253159 0 0 0 46068 131 0 0 20 0 1 0 340182310 1016258560 245701 33554432000 134512640 137136520 4287281888 4287280816 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 248110 245701 198 641 0 247466 0
Current children cumulated CPU time (s) 461.99
Current children cumulated vsize (KiB) 992440
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 1928
/proc/meminfo: memFree=30427796/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=1052924 CPUtime=521.96 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 269857 0 0 0 52056 140 0 0 20 0 1 0 340182310 1078194176 260796 33554432000 134512640 137136520 4287281888 4287280816 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 263231 260796 198 641 0 262587 0
Current children cumulated CPU time (s) 521.96
Current children cumulated vsize (KiB) 1052924
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 1928
/proc/meminfo: memFree=30373272/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=1107068 CPUtime=581.92 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 284945 0 0 0 58045 147 0 0 20 0 1 0 340182310 1133637632 274358 33554432000 134512640 137136520 4287281888 4287281004 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 276767 274358 198 641 0 276123 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 1107068
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29733832/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=1689088 CPUtime=1061.72 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 431991 0 0 0 105916 256 0 0 20 0 1 0 340182310 1729626112 419856 33554432000 134512640 137136520 4287281888 4287280816 134544145 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 422272 419856 198 641 0 421628 0
Current children cumulated CPU time (s) 1061.72
Current children cumulated vsize (KiB) 1689088
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 1933
/proc/meminfo: memFree=29647520/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=1774280 CPUtime=1121.71 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 453295 0 0 0 111904 267 0 0 20 0 1 0 340182310 1816862720 441160 33554432000 134512640 137136520 4287281888 4287280816 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 443570 441160 198 641 0 442926 0
Current children cumulated CPU time (s) 1121.71
Current children cumulated vsize (KiB) 1774280
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 1933
/proc/meminfo: memFree=29574244/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=1848392 CPUtime=1181.7 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 471820 0 0 0 117894 276 0 0 20 0 1 0 340182310 1892753408 459685 33554432000 134512640 137136520 4287281888 4287280816 134543927 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 462098 459685 198 641 0 461454 0
Current children cumulated CPU time (s) 1181.7
Current children cumulated vsize (KiB) 1848392
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 1934
/proc/meminfo: memFree=29511004/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=1911104 CPUtime=1241.69 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 487501 0 0 0 123886 283 0 0 20 0 1 0 340182310 1956970496 475366 33554432000 134512640 137136520 4287281888 4287280816 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 477776 475366 198 641 0 477132 0
Current children cumulated CPU time (s) 1241.69
Current children cumulated vsize (KiB) 1911104
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 1934
/proc/meminfo: memFree=29444168/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=1977308 CPUtime=1301.68 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 504053 0 0 0 129876 292 0 0 20 0 1 0 340182310 2024763392 491918 33554432000 134512640 137136520 4287281888 4287280816 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 494327 491918 198 641 0 493683 0
Current children cumulated CPU time (s) 1301.68
Current children cumulated vsize (KiB) 1977308
[startup+1362.3 s]
/proc/loadavg: 2.13 2.03 2.01 4/177 1934
/proc/meminfo: memFree=29382168/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=2039660 CPUtime=1361.67 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 519623 0 0 0 135867 300 0 0 20 0 1 0 340182310 2088611840 507488 33554432000 134512640 137136520 4287281888 4287280816 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 509915 507488 198 641 0 509271 0
Current children cumulated CPU time (s) 1361.67
Current children cumulated vsize (KiB) 2039660
[startup+1422.31 s]
/proc/loadavg: 2.05 2.02 2.00 4/177 1934
/proc/meminfo: memFree=29328476/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=2092800 CPUtime=1421.67 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 532919 0 0 0 141859 308 0 0 20 0 1 0 340182310 2143027200 520784 33554432000 134512640 137136520 4287281888 4287280816 134544157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 523200 520784 198 641 0 522556 0
Current children cumulated CPU time (s) 1421.67
Current children cumulated vsize (KiB) 2092800
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 4/177 1934
/proc/meminfo: memFree=29270196/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=2151328 CPUtime=1481.65 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 547540 0 0 0 147851 314 0 0 20 0 1 0 340182310 2202959872 535405 33554432000 134512640 137136520 4287281888 4287280816 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 537832 535405 198 641 0 537188 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 2151328
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 1935
/proc/meminfo: memFree=29213776/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=2207280 CPUtime=1541.65 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 561532 0 0 0 153844 321 0 0 20 0 1 0 340182310 2260254720 549397 33554432000 134512640 137136520 4287281888 4287280816 134543965 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 551820 549397 198 641 0 551176 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 2207280
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 1935
/proc/meminfo: memFree=29169756/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=2252740 CPUtime=1601.63 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 572892 0 0 0 159837 326 0 0 20 0 1 0 340182310 2306805760 560757 33554432000 134512640 137136520 4287281888 4287281004 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 563185 560757 198 641 0 562541 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 2252740
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 1935
/proc/meminfo: memFree=29128960/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=2293008 CPUtime=1661.62 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 582973 0 0 0 165831 331 0 0 20 0 1 0 340182310 2348040192 570838 33554432000 134512640 137136520 4287281888 4287280816 134544604 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 573252 570838 198 641 0 572608 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 2293008
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 1938
/proc/meminfo: memFree=29087156/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=2334488 CPUtime=1721.61 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 593352 0 0 0 171824 337 0 0 20 0 1 0 340182310 2390515712 581208 33554432000 134512640 137136520 4287281888 4287280816 134544604 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 583622 581208 198 641 0 582978 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 2334488
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 1938
/proc/meminfo: memFree=29046380/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=2374452 CPUtime=1781.57 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 603355 0 0 0 177812 345 0 0 20 0 1 0 340182310 2431438848 591182 33554432000 134512640 137136520 4287281888 4287281004 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 593613 591182 198 641 0 592969 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 2374452
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 1938
/proc/meminfo: memFree=29043884/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=2377184 CPUtime=1791.18 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 604066 0 0 0 178771 347 0 0 20 0 1 0 340182310 2434236416 591887 33554432000 134512640 137136520 4287281888 4287280816 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 594296 591887 198 641 0 593652 0
Current children cumulated CPU time (s) 1791.18
Current children cumulated vsize (KiB) 2377184
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 1938
/proc/meminfo: memFree=29041404/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=2379512 CPUtime=1794.37 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 604648 0 0 0 179090 347 0 0 20 0 1 0 340182310 2436620288 592469 33554432000 134512640 137136520 4287281888 4287280816 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 594878 592469 198 641 0 594234 0
Current children cumulated CPU time (s) 1794.37
Current children cumulated vsize (KiB) 2379512
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 1938
/proc/meminfo: memFree=29040660/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=2380676 CPUtime=1795.98 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 604930 0 0 0 179250 348 0 0 20 0 1 0 340182310 2437812224 592751 33554432000 134512640 137136520 4287281888 4287280816 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 595169 592751 198 641 0 594525 0
Current children cumulated CPU time (s) 1795.98
Current children cumulated vsize (KiB) 2380676
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 1938
/proc/meminfo: memFree=29040164/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=2381036 CPUtime=1796.77 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 605013 0 0 0 179329 348 0 0 20 0 1 0 340182310 2438180864 592834 33554432000 134512640 137136520 4287281888 4287280816 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 595259 592834 198 641 0 594615 0
Current children cumulated CPU time (s) 1796.77
Current children cumulated vsize (KiB) 2381036
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 1938
/proc/meminfo: memFree=29040164/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=2381036 CPUtime=1797.57 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 605029 0 0 0 179409 348 0 0 20 0 1 0 340182310 2438180864 592850 33554432000 134512640 137136520 4287281888 4287281004 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 595259 592850 198 641 0 594615 0
Current children cumulated CPU time (s) 1797.57
Current children cumulated vsize (KiB) 2381036
[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 1938
/proc/meminfo: memFree=29039792/32873844 swapFree=7116/7116
[pid=1819] ppid=1816 vsize=2381124 CPUtime=1797.97 cores=1,3,5,7
/proc/1819/stat : 1819 (bsolo) R 1816 1819 30350 0 -1 4202496 605039 0 0 0 179449 348 0 0 20 0 1 0 340182310 2438270976 592860 33554432000 134512640 137136520 4287281888 4287280816 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1819/statm: 595281 592860 198 641 0 594637 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 2381124
Child status: 0
Real time (s): 1798.79
CPU time (s): 1798.07
CPU user time (s): 1794.52
CPU system time (s): 3.55446
CPU usage (%): 99.96
Max. virtual memory (cumulated for all children) (KiB): 2381124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.52
system time used= 3.55446
maximum resident set size= 2371440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 605040
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= 571
involuntary context switches= 1827
runsolver used 3.04954 second user time and 8.48371 second system time
The end