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-3731416-1338684408/watcher-3731416-1338684408 -o /tmp/evaluation-result-3731416-1338684408/solver-3731416-1338684408 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3731416-1338684408.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 1.98 3/174 26377
/proc/meminfo: memFree=26656104/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) D 26375 26377 25229 0 -1 4194304 94 0 0 0 0 0 0 0 20 0 1 0 334566215 2723840 47 33554432000 134512640 135840783 4293600096 4293598132 11355076 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 665 47 37 325 0 32 0
[startup+0.041869 s]
/proc/loadavg: 2.00 2.00 1.98 3/174 26377
/proc/meminfo: memFree=26656104/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=6212 CPUtime=0.03 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 823 0 0 0 3 0 0 0 20 0 1 0 334566215 6361088 741 33554432000 134512640 135840783 4293600096 4293598380 135331920 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 1553 741 427 325 0 489 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6212
[startup+0.100263 s]
/proc/loadavg: 2.00 2.00 1.98 3/174 26377
/proc/meminfo: memFree=26656104/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=6496 CPUtime=0.08 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 969 0 0 0 8 0 0 0 20 0 1 0 334566215 6651904 815 33554432000 134512640 135840783 4293600096 4293598252 135313324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 1624 815 427 325 0 560 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6496
[startup+0.300233 s]
/proc/loadavg: 2.00 2.00 1.98 3/174 26377
/proc/meminfo: memFree=26656104/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=7240 CPUtime=0.28 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 1759 0 0 0 28 0 0 0 20 0 1 0 334566215 7413760 810 33554432000 134512640 135840783 4293600096 4293598264 135306433 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 1810 810 431 325 0 746 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7240
[startup+0.700221 s]
/proc/loadavg: 2.00 2.00 1.98 3/174 26377
/proc/meminfo: memFree=26656104/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=7164 CPUtime=0.68 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 3963 0 0 0 68 0 0 0 20 0 1 0 334566215 7335936 815 33554432000 134512640 135840783 4293600096 4293598264 135306433 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 1791 815 431 325 0 727 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7164
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 26378
/proc/meminfo: memFree=26654104/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=7260 CPUtime=1.48 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 8100 0 0 0 147 1 0 0 20 0 1 0 334566215 7434240 795 33554432000 134512640 135840783 4293600096 4293598396 135331870 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 1815 795 431 325 0 751 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 7260
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 26378
/proc/meminfo: memFree=26652368/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=7100 CPUtime=3.08 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 17628 0 0 0 305 3 0 0 20 0 1 0 334566215 7270400 680 33554432000 134512640 135840783 4293600096 4293598336 135316006 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 1775 680 431 325 0 711 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 7100
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 26378
/proc/meminfo: memFree=26647532/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=8488 CPUtime=6.29 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 40922 0 0 0 622 7 0 0 20 0 1 0 334566215 8691712 1247 33554432000 134512640 135840783 4293600096 4293598336 135316006 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 2122 1247 432 325 0 1058 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8488
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 26378
/proc/meminfo: memFree=26639596/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=9596 CPUtime=12.68 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 99086 0 0 0 1252 16 0 0 20 0 1 0 334566215 9826304 1747 33554432000 134512640 135840783 4293600096 4293598752 2446384 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 2399 1747 432 325 0 1335 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 9596
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 26378
/proc/meminfo: memFree=26612548/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=23188 CPUtime=25.48 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 223844 0 0 0 2511 37 0 0 20 0 1 0 334566215 23744512 4857 33554432000 134512640 135840783 4293600096 4293596912 3376305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 5797 4857 432 325 0 4733 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23188
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 26378
/proc/meminfo: memFree=26546408/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=62972 CPUtime=51.08 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 516532 0 0 0 5018 90 0 0 20 0 1 0 334566215 64483328 14406 33554432000 134512640 135840783 4293600096 4293598448 135310029 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 15743 14406 432 325 0 14679 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 62972
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 26378
/proc/meminfo: memFree=26486312/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=74256 CPUtime=102.28 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 1157956 0 0 0 9998 230 0 0 20 0 1 0 334566215 76038144 17922 33554432000 134512640 135840783 4293600096 4293598752 2446384 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 18564 17922 432 325 0 17500 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 74256
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 26417
/proc/meminfo: memFree=28342728/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=88108 CPUtime=162.26 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 2128597 0 0 0 15782 444 0 0 20 0 1 0 334566215 90222592 21384 33554432000 134512640 135840783 4293600096 4293598752 2446384 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 22027 21384 432 325 0 20963 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 88108
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 26420
/proc/meminfo: memFree=28269968/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=101436 CPUtime=222.22 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 3021453 0 0 0 21567 655 0 0 20 0 1 0 334566215 103870464 24104 33554432000 134512640 135840783 4293600096 4293598608 3376305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 25359 24104 432 325 0 24295 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 101436
[startup+282.3 s]
/proc/loadavg: 2.04 2.01 1.99 3/175 26420
/proc/meminfo: memFree=28255040/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=104308 CPUtime=282.2 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 3818723 0 0 0 27370 850 0 0 20 0 1 0 334566215 106811392 24755 33554432000 134512640 135840783 4293600096 4293598528 134941145 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 26077 24755 432 325 0 25013 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 104308
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 1.99 3/175 26421
/proc/meminfo: memFree=28242504/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=106428 CPUtime=342.19 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 4646949 0 0 0 33163 1056 0 0 20 0 1 0 334566215 108982272 25965 33554432000 134512640 135840783 4293600096 4293598752 2446384 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 26607 25965 432 325 0 25543 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 106428
[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 26421
/proc/meminfo: memFree=28242616/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=108828 CPUtime=402.19 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 5394317 0 0 0 38970 1249 0 0 20 0 1 0 334566215 111439872 25970 33554432000 134512640 135840783 4293600096 4293598264 135306433 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 26752 25958 432 325 0 25688 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 108828
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 26421
/proc/meminfo: memFree=28231508/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=118776 CPUtime=462.17 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 6285239 0 0 0 44762 1455 0 0 20 0 1 0 334566215 121626624 28666 33554432000 134512640 135840783 4293600096 4293598396 3376305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 29733 28667 432 325 0 28669 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 118776
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 26421
/proc/meminfo: memFree=28205264/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=127676 CPUtime=522.17 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 7126142 0 0 0 50558 1659 0 0 20 0 1 0 334566215 130740224 30706 33554432000 134512640 135840783 4293600096 4293598336 135316006 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 31919 30706 432 325 0 30855 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 127676
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26421
/proc/meminfo: memFree=28205016/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=127488 CPUtime=582.15 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 7756751 0 0 0 56376 1839 0 0 20 0 1 0 334566215 130547712 30702 33554432000 134512640 135840783 4293600096 4293597056 3376305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 31872 30702 432 325 0 30808 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 127488
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 26425
/proc/meminfo: memFree=28178996/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=139356 CPUtime=822.11 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 10352735 0 0 0 79685 2526 0 0 20 0 1 0 334566215 142700544 33741 33554432000 134512640 135840783 4293600096 4293598336 135316026 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 34375 33733 432 325 0 33311 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 139356
[startup+882.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 26448
/proc/meminfo: memFree=28178616/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=137500 CPUtime=882.1 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 10909976 0 0 0 85515 2695 0 0 20 0 1 0 334566215 140800000 33733 33554432000 134512640 135840783 4293600096 4293598752 2446384 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 34375 33733 432 325 0 33311 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 137500
[startup+942.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 26449
/proc/meminfo: memFree=28178500/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=137496 CPUtime=942.09 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 11393012 0 0 0 91357 2852 0 0 20 0 1 0 334566215 140795904 33732 33554432000 134512640 135840783 4293600096 4293598752 2446384 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 34374 33732 432 325 0 33310 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 137496
[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 26449
/proc/meminfo: memFree=28171556/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=143016 CPUtime=1002.08 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 12116410 0 0 0 97172 3036 0 0 20 0 1 0 334566215 146448384 34590 33554432000 134512640 135840783 4293600096 4293598608 3376305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 35754 34590 432 325 0 34690 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 143016
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26449
/proc/meminfo: memFree=28171556/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=143004 CPUtime=1062.07 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 12673915 0 0 0 103008 3199 0 0 20 0 1 0 334566215 146436096 34586 33554432000 134512640 135840783 4293600096 4293597056 3376305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 35751 34586 432 325 0 34687 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 143004
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26449
/proc/meminfo: memFree=28171428/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=143008 CPUtime=1122.06 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 13224484 0 0 0 108848 3358 0 0 20 0 1 0 334566215 146440192 34583 33554432000 134512640 135840783 4293600096 4293597056 3376305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 35218 34576 432 325 0 34154 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 143008
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26449
/proc/meminfo: memFree=28171424/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=140872 CPUtime=1182.05 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 13812939 0 0 0 114679 3526 0 0 20 0 1 0 334566215 144252928 34576 33554432000 134512640 135840783 4293600096 4293598752 2446384 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 35218 34576 432 325 0 34154 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 140872
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26450
/proc/meminfo: memFree=28170804/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=143096 CPUtime=1242.05 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 14391857 0 0 0 120509 3696 0 0 20 0 1 0 334566215 146530304 34572 33554432000 134512640 135840783 4293600096 4293597056 3376305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 35774 34572 432 325 0 34710 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 143096
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26450
/proc/meminfo: memFree=28139308/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=142920 CPUtime=1302.05 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 14988397 0 0 0 126345 3860 0 0 20 0 1 0 334566215 146350080 34566 33554432000 134512640 135840783 4293600096 4293597056 3376305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 35730 34566 432 325 0 34666 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 142920
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26450
/proc/meminfo: memFree=28139400/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=142928 CPUtime=1362.03 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 15596718 0 0 0 132168 4035 0 0 20 0 1 0 334566215 146358272 34564 33554432000 134512640 135840783 4293600096 4293597056 3376305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 35732 34564 432 325 0 34668 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 142928
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26453
/proc/meminfo: memFree=28130340/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=152104 CPUtime=1422.02 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 16279857 0 0 0 138010 4192 0 0 20 0 1 0 334566215 155754496 36875 33554432000 134512640 135840783 4293600096 4293597184 135345374 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 37651 36868 432 325 0 36587 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 152104
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26453
/proc/meminfo: memFree=28129780/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=151488 CPUtime=1482.01 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 16512369 0 0 0 143940 4261 0 0 20 0 1 0 334566215 155123712 37011 33554432000 134512640 135840783 4293600096 4293599456 134550820 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 37872 37011 432 325 0 36808 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 151488
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26454
/proc/meminfo: memFree=28129904/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=151800 CPUtime=1542 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 16728856 0 0 0 149870 4330 0 0 20 0 1 0 334566215 155443200 36994 33554432000 134512640 135840783 4293600096 4293598608 3376305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 37950 36995 432 325 0 36886 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 151800
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26454
/proc/meminfo: memFree=28129780/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=151200 CPUtime=1601.99 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 16748763 0 0 0 155862 4337 0 0 20 0 1 0 334566215 154828800 36996 33554432000 134512640 135840783 4293600096 4293598640 135447542 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 37800 36996 432 325 0 36736 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 151200
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26454
/proc/meminfo: memFree=28129904/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=151200 CPUtime=1661.98 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 16748764 0 0 0 161861 4337 0 0 20 0 1 0 334566215 154828800 36997 33554432000 134512640 135840783 4293600096 4293597120 134689100 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 37800 36997 432 325 0 36736 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 151200
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26454
/proc/meminfo: memFree=28129904/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=151216 CPUtime=1721.97 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 16748775 0 0 0 167860 4337 0 0 20 0 1 0 334566215 154845184 36995 33554432000 134512640 135840783 4293600096 4293598512 134706577 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 37804 36995 432 325 0 36740 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 151216
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26663
/proc/meminfo: memFree=28130640/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=149388 CPUtime=1781.96 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 16842705 0 0 0 173827 4369 0 0 20 0 1 0 334566215 152973312 36705 33554432000 134512640 135840783 4293600096 4293598752 2446384 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 37347 36705 432 325 0 36283 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 149388
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26663
/proc/meminfo: memFree=28131012/32873852 swapFree=7624/7624
[pid=26377] ppid=26375 vsize=149388 CPUtime=1800.06 cores=1,3,5,7
/proc/26377/stat : 26377 (bsolo3.0.17) R 26375 26377 25229 0 -1 4202496 16939270 0 0 0 175604 4402 0 0 20 0 1 0 334566215 152973312 36705 33554432000 134512640 135840783 4293600096 4293598752 2446384 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26377/statm: 37347 36705 432 325 0 36283 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 149388
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 15
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1756.05
CPU system time (s): 44.0283
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 152332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1756.05
system time used= 44.0283
maximum resident set size= 148048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16939272
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= 109
involuntary context switches= 1848
runsolver used 3.40148 second user time and 9.31358 second system time
The end