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-3707676-1338237831/watcher-3707676-1338237831 -o /tmp/evaluation-result-3707676-1338237831/solver-3707676-1338237831 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707676-1338237831.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.10 2.04 2.00 3/176 4718
/proc/meminfo: memFree=30301308/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=20244 CPUtime=0 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 377 0 0 0 0 0 0 0 20 0 1 0 289908563 20729856 331 33554432000 134512640 137138936 4292196576 4292194928 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 5061 332 179 642 0 4080 0
[startup+0.0995041 s]
/proc/loadavg: 2.10 2.04 2.00 3/176 4718
/proc/meminfo: memFree=30301308/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=16228 CPUtime=0.09 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 1619 0 0 0 9 0 0 0 20 0 1 0 289908563 16617472 1573 33554432000 134512640 137138936 4292196576 4292193432 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 4057 1573 482 642 0 3076 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16228
[startup+0.100182 s]
/proc/loadavg: 2.10 2.04 2.00 3/176 4718
/proc/meminfo: memFree=30301308/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=16228 CPUtime=0.09 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 1624 0 0 0 9 0 0 0 20 0 1 0 289908563 16617472 1578 33554432000 134512640 137138936 4292196576 4292193432 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 4057 1578 484 642 0 3076 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16228
[startup+0.300219 s]
/proc/loadavg: 2.10 2.04 2.00 3/176 4718
/proc/meminfo: memFree=30301308/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=18376 CPUtime=0.29 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 2476 0 0 0 29 0 0 0 20 0 1 0 289908563 18817024 2093 33554432000 134512640 137138936 4292196576 4291955372 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 4594 2093 184 642 0 3950 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18376
[startup+0.700193 s]
/proc/loadavg: 2.10 2.04 2.00 3/176 4718
/proc/meminfo: memFree=30301308/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=18376 CPUtime=0.69 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 2477 0 0 0 69 0 0 0 20 0 1 0 289908563 18817024 2094 33554432000 134512640 137138936 4292196576 4291955372 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 4594 2094 184 642 0 3950 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18376
[startup+1.50013 s]
/proc/loadavg: 2.10 2.04 2.00 3/177 4719
/proc/meminfo: memFree=30294000/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=18376 CPUtime=1.49 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 2478 0 0 0 149 0 0 0 20 0 1 0 289908563 18817024 2095 33554432000 134512640 137138936 4292196576 4291955372 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 4594 2095 184 642 0 3950 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18376
[startup+3.10012 s]
/proc/loadavg: 2.10 2.04 2.00 3/177 4719
/proc/meminfo: memFree=30293612/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=18376 CPUtime=3.09 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 2479 0 0 0 309 0 0 0 20 0 1 0 289908563 18817024 2096 33554432000 134512640 137138936 4292196576 4291955372 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 4594 2096 184 642 0 3950 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18376
[startup+6.30019 s]
/proc/loadavg: 2.09 2.04 2.00 3/177 4719
/proc/meminfo: memFree=30293548/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=18376 CPUtime=6.29 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 2480 0 0 0 628 1 0 0 20 0 1 0 289908563 18817024 2097 33554432000 134512640 137138936 4292196576 4291955372 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 4594 2097 184 642 0 3950 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18376
[startup+12.7002 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 4719
/proc/meminfo: memFree=30290728/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=22664 CPUtime=12.69 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 3757 0 0 0 1251 18 0 0 20 0 1 0 289908563 23207936 3176 33554432000 134512640 137138936 4292196576 4292194804 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 5666 3176 192 642 0 5022 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22664
[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 4719
/proc/meminfo: memFree=30271224/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=41704 CPUtime=25.49 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 8518 0 0 0 2503 46 0 0 20 0 1 0 289908563 42704896 7937 33554432000 134512640 137138936 4292196576 4292195000 134606673 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 10426 7937 192 642 0 9782 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41704
[startup+51.1003 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 4719
/proc/meminfo: memFree=30242332/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=70756 CPUtime=51.08 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 15782 0 0 0 5027 81 0 0 20 0 1 0 289908563 72454144 15201 33554432000 134512640 137138936 4292196576 4292195000 134606982 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 17689 15201 192 642 0 17045 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 70756
[startup+102.306 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 4719
/proc/meminfo: memFree=30174380/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=138104 CPUtime=102.28 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 32650 0 0 0 10113 115 0 0 20 0 1 0 289908563 141418496 32069 33554432000 134512640 137138936 4292196576 4292195000 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 34526 32069 192 642 0 33882 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 138104
[startup+162.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/177 4719
/proc/meminfo: memFree=30102088/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=211072 CPUtime=162.26 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 50868 0 0 0 16084 142 0 0 20 0 1 0 289908563 216137728 50287 33554432000 134512640 137138936 4292196576 4292195692 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 52768 50287 192 642 0 52124 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 211072
[startup+222.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 4758
/proc/meminfo: memFree=31007652/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=265204 CPUtime=222.24 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 64427 0 0 0 22050 174 0 0 20 0 1 0 289908563 271568896 63830 33554432000 134512640 137138936 4292196576 4292194804 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 66301 63830 192 642 0 65657 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 265204
[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 4758
/proc/meminfo: memFree=30851104/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=315776 CPUtime=282.2 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 77104 0 0 0 28018 202 0 0 20 0 1 0 289908563 323354624 76463 33554432000 134512640 137138936 4292196576 4292195000 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 78944 76463 192 642 0 78300 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 315776
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 4758
/proc/meminfo: memFree=30725272/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=365628 CPUtime=342.15 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 89611 0 0 0 33989 226 0 0 20 0 1 0 289908563 374403072 88926 33554432000 134512640 137138936 4292196576 4292195496 135984569 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 91407 88926 192 642 0 90763 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 365628
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 4799
/proc/meminfo: memFree=30916040/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=399208 CPUtime=402.1 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 98064 0 0 0 39959 251 0 0 20 0 1 0 289908563 408788992 97332 33554432000 134512640 137138936 4292196576 4292195692 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 99802 97332 192 642 0 99158 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 399208
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 4799
/proc/meminfo: memFree=30770804/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=435564 CPUtime=462.06 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 107179 0 0 0 45935 271 0 0 20 0 1 0 289908563 446017536 106410 33554432000 134512640 137138936 4292196576 4292195000 134606601 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 108891 106410 192 642 0 108247 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 435564
[startup+522.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 4800
/proc/meminfo: memFree=30644444/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=473380 CPUtime=522.05 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 116633 0 0 0 51913 292 0 0 20 0 1 0 289908563 484741120 115864 33554432000 134512640 137138936 4292196576 4292195504 134542490 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 118345 115864 192 642 0 117701 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 473380
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4800
/proc/meminfo: memFree=30538204/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=507236 CPUtime=582.04 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 125114 0 0 0 57893 311 0 0 20 0 1 0 289908563 519409664 124345 33554432000 134512640 137138936 4292196576 4292195692 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 126809 124345 192 642 0 126165 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 507236
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29686076/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=890428 CPUtime=1121.89 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 220969 0 0 0 111750 439 0 0 20 0 1 0 289908563 911798272 220128 33554432000 134512640 137138936 4292196576 4292195504 134542330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 222607 220128 192 642 0 221963 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 890428
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4828
/proc/meminfo: memFree=29613944/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=917424 CPUtime=1181.87 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 227775 0 0 0 117734 453 0 0 20 0 1 0 289908563 939442176 226895 33554432000 134512640 137138936 4292196576 4292195120 134607587 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 229356 226895 192 642 0 228712 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 917424
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4828
/proc/meminfo: memFree=29477836/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=991856 CPUtime=1241.83 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 246400 0 0 0 123717 466 0 0 20 0 1 0 289908563 1015660544 245485 33554432000 134512640 137138936 4292196576 4292195472 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 247964 245485 192 642 0 247320 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 991856
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4828
/proc/meminfo: memFree=29402472/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=1024428 CPUtime=1301.79 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 254601 0 0 0 129698 481 0 0 20 0 1 0 289908563 1049014272 253645 33554432000 134512640 137138936 4292196576 4292195504 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 256107 253645 192 642 0 255463 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 1024428
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4828
/proc/meminfo: memFree=29345088/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=1039660 CPUtime=1361.74 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 258619 0 0 0 135664 510 0 0 20 0 1 0 289908563 1064611840 257438 33554432000 134512640 137138936 4292196576 4292195288 136504089 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 259915 257438 192 642 0 259271 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 1039660
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4829
/proc/meminfo: memFree=29320300/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=1039660 CPUtime=1421.72 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 258641 0 0 0 141626 546 0 0 20 0 1 0 289908563 1064611840 257438 33554432000 134512640 137138936 4292196576 4292195504 134542513 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 259915 257438 192 642 0 259271 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 1039660
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4829
/proc/meminfo: memFree=29290788/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=1039660 CPUtime=1481.71 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 258641 0 0 0 147598 573 0 0 20 0 1 0 289908563 1064611840 257438 33554432000 134512640 137138936 4292196576 4292195504 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 259915 257438 192 642 0 259271 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 1039660
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4829
/proc/meminfo: memFree=29291036/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=1039660 CPUtime=1541.7 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 258641 0 0 0 153561 609 0 0 20 0 1 0 289908563 1064611840 257438 33554432000 134512640 137138936 4292196576 4292195504 134542624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 259915 257438 192 642 0 259271 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 1039660
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4832
/proc/meminfo: memFree=29290560/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=1039660 CPUtime=1601.69 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 258641 0 0 0 159535 634 0 0 20 0 1 0 289908563 1064611840 257438 33554432000 134512640 137138936 4292196576 4292195504 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 259915 257438 192 642 0 259271 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 1039660
[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 4832
/proc/meminfo: memFree=29291188/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=1039660 CPUtime=1661.68 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 258643 0 0 0 165511 657 0 0 20 0 1 0 289908563 1064611840 257440 33554432000 134512640 137138936 4292196576 4292195472 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 259915 257440 192 642 0 259271 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 1039660
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4833
/proc/meminfo: memFree=29290260/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=1039660 CPUtime=1721.67 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 258643 0 0 0 171472 695 0 0 20 0 1 0 289908563 1064611840 257440 33554432000 134512640 137138936 4292196576 4292195504 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 259915 257440 192 642 0 259271 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 1039660
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 4833
/proc/meminfo: memFree=29289916/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=1039660 CPUtime=1781.67 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 258643 0 0 0 177444 723 0 0 20 0 1 0 289908563 1064611840 257440 33554432000 134512640 137138936 4292196576 4292195692 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 259915 257440 192 642 0 259271 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 1039660
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 4833
/proc/meminfo: memFree=29289776/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=1039660 CPUtime=1791.27 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 258643 0 0 0 178402 725 0 0 20 0 1 0 289908563 1064611840 257440 33554432000 134512640 137138936 4292196576 4292195000 134606982 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 259915 257440 192 642 0 259271 0
Current children cumulated CPU time (s) 1791.27
Current children cumulated vsize (KiB) 1039660
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4833
/proc/meminfo: memFree=29289636/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=1039660 CPUtime=1794.47 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 258643 0 0 0 178721 726 0 0 20 0 1 0 289908563 1064611840 257440 33554432000 134512640 137138936 4292196576 4292195000 134607222 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 259915 257440 192 642 0 259271 0
Current children cumulated CPU time (s) 1794.47
Current children cumulated vsize (KiB) 1039660
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4833
/proc/meminfo: memFree=29289760/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=1039660 CPUtime=1796.06 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 258643 0 0 0 178879 727 0 0 20 0 1 0 289908563 1064611840 257440 33554432000 134512640 137138936 4292196576 4292195692 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 259915 257440 192 642 0 259271 0
Current children cumulated CPU time (s) 1796.06
Current children cumulated vsize (KiB) 1039660
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4833
/proc/meminfo: memFree=29289760/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=1039660 CPUtime=1796.86 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 258643 0 0 0 178959 727 0 0 20 0 1 0 289908563 1064611840 257440 33554432000 134512640 137138936 4292196576 4292195692 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 259915 257440 192 642 0 259271 0
Current children cumulated CPU time (s) 1796.86
Current children cumulated vsize (KiB) 1039660
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4833
/proc/meminfo: memFree=29289760/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=1039660 CPUtime=1797.66 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 258643 0 0 0 179039 727 0 0 20 0 1 0 289908563 1064611840 257440 33554432000 134512640 137138936 4292196576 4292195000 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 259915 257440 192 642 0 259271 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (KiB) 1039660
[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4833
/proc/meminfo: memFree=29289760/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=1039660 CPUtime=1797.87 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 258643 0 0 0 179060 727 0 0 20 0 1 0 289908563 1064611840 257440 33554432000 134512640 137138936 4292196576 4292195504 134542286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 259915 257440 192 642 0 259271 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 1039660
[startup+1798.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4833
/proc/meminfo: memFree=29289760/32873648 swapFree=7116/7116
[pid=4718] ppid=4716 vsize=1039660 CPUtime=1797.96 cores=1,3,5,7
/proc/4718/stat : 4718 (bsolo) R 4716 4718 4099 0 -1 4202496 258643 0 0 0 179069 727 0 0 20 0 1 0 289908563 1064611840 257440 33554432000 134512640 137138936 4292196576 4292192416 134574058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/4718/statm: 259915 257440 192 642 0 259271 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 1039660
Child status: 0
Real time (s): 1798.64
CPU time (s): 1798.01
CPU user time (s): 1790.73
CPU system time (s): 7.27889
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (KiB): 1040416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.73
system time used= 7.27889
maximum resident set size= 1030508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258643
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= 438
involuntary context switches= 1834
runsolver used 6.50201 second user time and 14.5748 second system time
The end