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-3708440-1338174002/watcher-3708440-1338174002 -o /tmp/evaluation-result-3708440-1338174002/solver-3708440-1338174002 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708440-1338174002.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.05 2.01 2.00 3/177 30951
/proc/meminfo: memFree=26926820/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=11388 CPUtime=0 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 412 0 0 0 0 0 0 0 20 0 1 0 283525664 11661312 365 33554432000 134512640 137138936 4291613024 4291611296 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 2847 366 177 642 0 2193 0
[startup+0.043347 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30951
/proc/meminfo: memFree=26926820/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=12312 CPUtime=0.03 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 672 0 0 0 3 0 0 0 20 0 1 0 283525664 12607488 615 33554432000 134512640 137138936 4291613024 4291573612 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 3078 615 185 642 0 2434 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12312
[startup+0.100212 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30951
/proc/meminfo: memFree=26926820/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=12584 CPUtime=0.09 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 824 0 0 0 9 0 0 0 20 0 1 0 283525664 12886016 702 33554432000 134512640 137138936 4291613024 4291612032 136382014 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 3146 702 188 642 0 2502 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12584
[startup+0.300181 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30951
/proc/meminfo: memFree=26926820/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=13128 CPUtime=0.29 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 967 0 0 0 28 1 0 0 20 0 1 0 283525664 13443072 845 33554432000 134512640 137138936 4291613024 4291611736 136504864 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 3282 845 192 642 0 2638 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13128
[startup+0.700178 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 30951
/proc/meminfo: memFree=26926820/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=14888 CPUtime=0.69 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 1401 0 0 0 68 1 0 0 20 0 1 0 283525664 15245312 1279 33554432000 134512640 137138936 4291613024 4291611304 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 3722 1279 192 642 0 3078 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14888
[startup+1.50018 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 30952
/proc/meminfo: memFree=26921108/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=18304 CPUtime=1.49 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 2259 0 0 0 148 1 0 0 20 0 1 0 283525664 18743296 2137 33554432000 134512640 137138936 4291613024 4291611952 134542497 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 4576 2137 192 642 0 3932 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18304
[startup+3.10019 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 30952
/proc/meminfo: memFree=26916396/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=24052 CPUtime=3.09 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 3690 0 0 0 307 2 0 0 20 0 1 0 283525664 24629248 3568 33554432000 134512640 137138936 4291613024 4291611936 136296975 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 6013 3568 192 642 0 5369 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24052
[startup+6.30021 s]
/proc/loadavg: 2.12 2.03 2.01 3/178 30952
/proc/meminfo: memFree=26906676/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=32276 CPUtime=6.29 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 5764 0 0 0 626 3 0 0 20 0 1 0 283525664 33050624 5642 33554432000 134512640 137138936 4291613024 4291612140 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 8069 5642 192 642 0 7425 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32276
[startup+12.7002 s]
/proc/loadavg: 2.11 2.03 2.01 3/178 30952
/proc/meminfo: memFree=26891836/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=47004 CPUtime=12.69 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 9424 0 0 0 1265 4 0 0 20 0 1 0 283525664 48132096 9302 33554432000 134512640 137138936 4291613024 4291611952 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 11751 9302 192 642 0 11107 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47004
[startup+25.5002 s]
/proc/loadavg: 2.09 2.03 2.01 3/178 30952
/proc/meminfo: memFree=26868108/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=70572 CPUtime=25.48 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 15341 0 0 0 2542 6 0 0 20 0 1 0 283525664 72265728 15219 33554432000 134512640 137138936 4291613024 4291611952 134542286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 17643 15219 192 642 0 16999 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 70572
[startup+51.1003 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 30952
/proc/meminfo: memFree=26840780/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=97984 CPUtime=51.09 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 22164 0 0 0 5098 11 0 0 20 0 1 0 283525664 100335616 22042 33554432000 134512640 137138936 4291613024 4291611952 134542503 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 24496 22042 192 642 0 23852 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 97984
[startup+102.307 s]
/proc/loadavg: 2.07 2.03 2.00 3/178 30975
/proc/meminfo: memFree=26785972/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=152088 CPUtime=102.28 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 35699 0 0 0 10211 17 0 0 20 0 1 0 283525664 155738112 35577 33554432000 134512640 137138936 4291613024 4291611772 136297616 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 38022 35577 192 642 0 37378 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 152088
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 30975
/proc/meminfo: memFree=26727316/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=210404 CPUtime=162.26 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 50298 0 0 0 16202 24 0 0 20 0 1 0 283525664 215453696 50165 33554432000 134512640 137138936 4291613024 4291611952 134542301 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 52601 50165 192 642 0 51957 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 210404
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 30976
/proc/meminfo: memFree=26684440/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=253020 CPUtime=222.2 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 61008 0 0 0 22188 32 0 0 20 0 1 0 283525664 259092480 60829 33554432000 134512640 137138936 4291613024 4291611952 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 63255 60829 192 642 0 62611 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 253020
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31014
/proc/meminfo: memFree=27630732/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=265672 CPUtime=282.15 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 64265 0 0 0 28177 38 0 0 20 0 1 0 283525664 272048128 63972 33554432000 134512640 137138936 4291613024 4291611696 136501668 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 66418 63972 192 642 0 65774 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 265672
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31014
/proc/meminfo: memFree=27581188/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=265672 CPUtime=342.12 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 64281 0 0 0 34173 39 0 0 20 0 1 0 283525664 272048128 63972 33554432000 134512640 137138936 4291613024 4291611952 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 66418 63972 192 642 0 65774 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 265672
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31014
/proc/meminfo: memFree=27538560/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=265672 CPUtime=402.11 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 64281 0 0 0 40170 41 0 0 20 0 1 0 283525664 272048128 63972 33554432000 134512640 137138936 4291613024 4291611952 134542237 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 66418 63972 192 642 0 65774 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 265672
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31014
/proc/meminfo: memFree=27538788/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=265672 CPUtime=462.11 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 64281 0 0 0 46168 43 0 0 20 0 1 0 283525664 272048128 63972 33554432000 134512640 137138936 4291613024 4291611944 135984556 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 66418 63972 192 642 0 65774 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 265672
[startup+522.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 31015
/proc/meminfo: memFree=27508284/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=265704 CPUtime=522.09 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 64289 0 0 0 52164 45 0 0 20 0 1 0 283525664 272080896 63980 33554432000 134512640 137138936 4291613024 4291611952 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 66426 63980 192 642 0 65782 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 265704
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31015
/proc/meminfo: memFree=27442548/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=296148 CPUtime=582.08 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 71916 0 0 0 58159 49 0 0 20 0 1 0 283525664 303255552 71599 33554432000 134512640 137138936 4291613024 4291611876 136511187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 74037 71599 192 642 0 73393 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 296148
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27080944/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=432056 CPUtime=1121.94 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 105967 0 0 0 112114 80 0 0 20 0 1 0 283525664 442425344 105580 33554432000 134512640 137138936 4291613024 4291611952 134542202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 108014 105580 192 642 0 107370 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 432056
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31020
/proc/meminfo: memFree=27062832/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1181.93 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107409 0 0 0 118111 82 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 437308
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31023
/proc/meminfo: memFree=27062712/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1241.92 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107409 0 0 0 124106 86 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 437308
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31023
/proc/meminfo: memFree=27062596/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1301.92 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107409 0 0 0 130103 89 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611944 135984569 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 437308
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31023
/proc/meminfo: memFree=27062456/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1361.9 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107409 0 0 0 136099 91 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 437308
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31023
/proc/meminfo: memFree=27062748/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1421.9 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107409 0 0 0 142096 94 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542424 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 437308
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31024
/proc/meminfo: memFree=27062616/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1481.88 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107409 0 0 0 148093 95 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 437308
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31024
/proc/meminfo: memFree=27062492/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1541.88 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107409 0 0 0 154091 97 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 437308
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31025
/proc/meminfo: memFree=27062612/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1601.87 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107409 0 0 0 160088 99 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 437308
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 31025
/proc/meminfo: memFree=27062484/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1661.85 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107415 0 0 0 166085 100 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 437308
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31025
/proc/meminfo: memFree=27062620/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1721.84 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107415 0 0 0 172082 102 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 437308
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31026
/proc/meminfo: memFree=27062372/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1781.84 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107415 0 0 0 178080 104 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 437308
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 31026
/proc/meminfo: memFree=27062620/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1791.44 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107415 0 0 0 179040 104 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542761 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 437308
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31026
/proc/meminfo: memFree=27062620/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1794.64 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107415 0 0 0 179360 104 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 437308
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31026
/proc/meminfo: memFree=27062620/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1796.23 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107415 0 0 0 179519 104 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542840 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1796.23
Current children cumulated vsize (KiB) 437308
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31026
/proc/meminfo: memFree=27062620/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1797.03 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107415 0 0 0 179599 104 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1797.03
Current children cumulated vsize (KiB) 437308
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31026
/proc/meminfo: memFree=27062620/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1797.43 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107415 0 0 0 179639 104 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1797.43
Current children cumulated vsize (KiB) 437308
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31026
/proc/meminfo: memFree=27062620/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1797.83 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107415 0 0 0 179679 104 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542205 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 437308
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31026
/proc/meminfo: memFree=27062620/32873648 swapFree=7104/7104
[pid=30951] ppid=30949 vsize=437308 CPUtime=1797.93 cores=1,3,5,7
/proc/30951/stat : 30951 (bsolo) R 30949 30951 29254 0 -1 4202496 107415 0 0 0 179689 104 0 0 20 0 1 0 283525664 447803392 106882 33554432000 134512640 137138936 4291613024 4291611952 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30951/statm: 109327 106882 192 642 0 108683 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 437308
Child status: 0
Real time (s): 1798.5
CPU time (s): 1798.04
CPU user time (s): 1796.99
CPU system time (s): 1.04984
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 437868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.99
system time used= 1.04984
maximum resident set size= 428088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107416
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= 211
involuntary context switches= 1845
runsolver used 2.52262 second user time and 7.29289 second system time
The end