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-3708402-1338246890/watcher-3708402-1338246890 -o /tmp/evaluation-result-3708402-1338246890/solver-3708402-1338246890 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708402-1338246890.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.02 2.00 2.00 3/176 8558
/proc/meminfo: memFree=27603416/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=46184 CPUtime=0 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 278 0 0 0 0 0 0 0 20 0 1 0 290814569 47292416 231 33554432000 134512640 137138936 4292175296 4292173648 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 11546 232 170 642 0 4010 0
[startup+0.0917979 s]
/proc/loadavg: 2.02 2.00 2.00 3/176 8558
/proc/meminfo: memFree=27603416/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=42628 CPUtime=0.08 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 1639 0 0 0 8 0 0 0 20 0 1 0 290814569 43651072 1552 33554432000 134512640 137138936 4292175296 4292173648 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 10657 1553 426 642 0 3121 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 42628
[startup+0.100183 s]
/proc/loadavg: 2.02 2.00 2.00 3/176 8558
/proc/meminfo: memFree=27603416/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=43044 CPUtime=0.09 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 1769 0 0 0 9 0 0 0 20 0 1 0 290814569 44077056 1682 33554432000 134512640 137138936 4292175296 4292173544 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 10761 1682 448 642 0 3225 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43044
[startup+0.300139 s]
/proc/loadavg: 2.02 2.00 2.00 3/176 8558
/proc/meminfo: memFree=27603416/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=49872 CPUtime=0.28 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 4096 0 0 0 28 0 0 0 20 0 1 0 290814569 51068928 3881 33554432000 134512640 137138936 4292175296 4292169912 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 12468 3881 985 642 0 4932 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 49872
[startup+0.700161 s]
/proc/loadavg: 2.02 2.00 2.00 3/176 8558
/proc/meminfo: memFree=27603416/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=63560 CPUtime=0.69 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 8783 0 0 0 68 1 0 0 20 0 1 0 290814569 65085440 8314 33554432000 134512640 137138936 4292175296 4292173824 134517592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 15890 8314 1998 642 0 8354 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63560
[startup+1.50017 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 8559
/proc/meminfo: memFree=27566696/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=91176 CPUtime=1.49 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 17893 0 0 0 146 3 0 0 20 0 1 0 290814569 93364224 16918 33554432000 134512640 137138936 4292175296 4292173648 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 22794 16918 3726 642 0 15258 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 91176
[startup+3.10016 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 8559
/proc/meminfo: memFree=27531344/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=122704 CPUtime=3.08 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 27911 0 0 0 304 4 0 0 20 0 1 0 290814569 125648896 27458 33554432000 134512640 137138936 4292175296 4292171288 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 30676 27458 6503 642 0 23140 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 122704
[startup+6.30019 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 8559
/proc/meminfo: memFree=27441488/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=175396 CPUtime=6.29 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 45171 0 0 0 621 8 0 0 20 0 1 0 290814569 179605504 40267 33554432000 134512640 137138936 4292175296 4287363056 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 43849 40267 184 642 0 43205 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 175396
[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8559
/proc/meminfo: memFree=27441140/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=175396 CPUtime=12.69 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 45172 0 0 0 1261 8 0 0 20 0 1 0 290814569 179605504 40268 33554432000 134512640 137138936 4292175296 4287363048 135984569 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 43849 40268 184 642 0 43205 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 175396
[startup+25.5002 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8559
/proc/meminfo: memFree=27439360/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=175396 CPUtime=25.48 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 45172 0 0 0 2540 8 0 0 20 0 1 0 290814569 179605504 40268 33554432000 134512640 137138936 4292175296 4287362840 136504476 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 43849 40268 184 642 0 43205 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 175396
[startup+51.1002 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8559
/proc/meminfo: memFree=27436588/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=175528 CPUtime=51.08 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 45179 0 0 0 5099 9 0 0 20 0 1 0 290814569 179740672 40275 33554432000 134512640 137138936 4292175296 4287362756 136500369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 43882 40275 184 642 0 43238 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 175528
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8559
/proc/meminfo: memFree=27428872/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=175528 CPUtime=102.28 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 45181 0 0 0 10218 10 0 0 20 0 1 0 290814569 179740672 40277 33554432000 134512640 137138936 4292175296 4287362980 136511136 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 43882 40277 184 642 0 43238 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 175528
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8559
/proc/meminfo: memFree=27416500/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=175528 CPUtime=162.23 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 45223 0 0 0 16211 12 0 0 20 0 1 0 290814569 179740672 40277 33554432000 134512640 137138936 4292175296 4287363056 134543091 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 43882 40277 184 642 0 43238 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 175528
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8559
/proc/meminfo: memFree=27395616/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=181120 CPUtime=222.2 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 253020 0 0 0 22120 100 0 0 20 0 1 0 290814569 185466880 43425 33554432000 134512640 137138936 4292175296 4292173792 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 45280 43425 192 642 0 44636 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 181120
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8560
/proc/meminfo: memFree=27389972/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=181864 CPUtime=282.2 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 436012 0 0 0 28071 149 0 0 20 0 1 0 290814569 186228736 43611 33554432000 134512640 137138936 4292175296 4292173948 136297616 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 45466 43611 192 642 0 44822 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 181864
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8563
/proc/meminfo: memFree=27371904/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=185356 CPUtime=342.19 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 1146908 0 0 0 33923 296 0 0 20 0 1 0 290814569 189804544 44484 33554432000 134512640 137138936 4292175296 4292173784 136297617 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 46339 44484 192 642 0 45695 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 185356
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8563
/proc/meminfo: memFree=27362792/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=187448 CPUtime=402.18 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 1935242 0 0 0 39762 456 0 0 20 0 1 0 290814569 191946752 44975 33554432000 134512640 137138936 4292175296 4292174048 134573444 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 46862 44975 192 642 0 46218 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 187448
[startup+462.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 8563
/proc/meminfo: memFree=27355420/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=183512 CPUtime=462.17 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 2362199 0 0 0 45676 541 0 0 20 0 1 0 290814569 187916288 44023 33554432000 134512640 137138936 4292175296 4292173960 136504449 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 45878 44023 192 642 0 45234 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 183512
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8563
/proc/meminfo: memFree=27344136/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=187924 CPUtime=522.17 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 2777663 0 0 0 51589 628 0 0 20 0 1 0 290814569 192434176 45126 33554432000 134512640 137138936 4292175296 4292173720 134606982 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 46981 45126 192 642 0 46337 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 187924
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8564
/proc/meminfo: memFree=27332256/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=190424 CPUtime=582.15 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 3119364 0 0 0 57518 697 0 0 20 0 1 0 290814569 194994176 45751 33554432000 134512640 137138936 4292175296 4292173576 136504212 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 47606 45751 192 642 0 46962 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 190424
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27266328/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=200808 CPUtime=1062.08 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 5978256 0 0 0 104897 1311 0 0 20 0 1 0 290814569 205627392 48347 33554432000 134512640 137138936 4292175296 4292173720 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 50202 48347 192 642 0 49558 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 200808
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8569
/proc/meminfo: memFree=27256408/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=203128 CPUtime=1122.07 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 6236778 0 0 0 110840 1367 0 0 20 0 1 0 290814569 208003072 48895 33554432000 134512640 137138936 4292175296 4292173720 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 50782 48895 192 642 0 50138 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 203128
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8570
/proc/meminfo: memFree=27247820/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=207376 CPUtime=1182.06 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 6542243 0 0 0 116777 1429 0 0 20 0 1 0 290814569 212353024 49775 33554432000 134512640 137138936 4292175296 4292173824 134602746 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 51844 49775 192 642 0 51200 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 207376
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8608
/proc/meminfo: memFree=27347416/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=206076 CPUtime=1242.05 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 6835186 0 0 0 122715 1490 0 0 20 0 1 0 290814569 211021824 49664 33554432000 134512640 137138936 4292175296 4292173792 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 51519 49664 192 642 0 50875 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 206076
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8608
/proc/meminfo: memFree=27346744/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=207040 CPUtime=1302.04 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 7058947 0 0 0 128661 1543 0 0 20 0 1 0 290814569 212008960 49905 33554432000 134512640 137138936 4292175296 4292173792 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 51760 49905 192 642 0 51116 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 207040
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8608
/proc/meminfo: memFree=27343424/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=210292 CPUtime=1362.03 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 7265534 0 0 0 134614 1589 0 0 20 0 1 0 290814569 215339008 50686 33554432000 134512640 137138936 4292175296 4292173720 134606982 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 52573 50686 192 642 0 51929 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 210292
[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 8608
/proc/meminfo: memFree=27334868/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=212156 CPUtime=1422.03 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 7746265 0 0 0 140514 1689 0 0 20 0 1 0 290814569 217247744 51184 33554432000 134512640 137138936 4292175296 4292173792 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 53039 51184 192 642 0 52395 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 212156
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8609
/proc/meminfo: memFree=27330156/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=214268 CPUtime=1482.01 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 8005102 0 0 0 146459 1742 0 0 20 0 1 0 290814569 219410432 51712 33554432000 134512640 137138936 4292175296 4292173720 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 53567 51712 192 642 0 52923 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 214268
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8612
/proc/meminfo: memFree=27327456/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=216788 CPUtime=1542 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 8490876 0 0 0 152358 1842 0 0 20 0 1 0 290814569 221990912 52342 33554432000 134512640 137138936 4292175296 4292173792 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 54197 52342 192 642 0 53553 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 216788
[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 8612
/proc/meminfo: memFree=27325856/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=221160 CPUtime=1601.98 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 9177236 0 0 0 158215 1983 0 0 20 0 1 0 290814569 226467840 53403 33554432000 134512640 137138936 4292175296 4292173792 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 55290 53403 192 642 0 54646 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 221160
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8612
/proc/meminfo: memFree=27319156/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=224824 CPUtime=1661.98 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 9882318 0 0 0 164072 2126 0 0 20 0 1 0 290814569 230219776 54319 33554432000 134512640 137138936 4292175296 4292173792 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 56206 54319 192 642 0 55562 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 224824
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8612
/proc/meminfo: memFree=27312768/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=227384 CPUtime=1721.97 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 10269913 0 0 0 169990 2207 0 0 20 0 1 0 290814569 232841216 54991 33554432000 134512640 137138936 4292175296 4292173792 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 56846 54991 192 642 0 56202 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 227384
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8613
/proc/meminfo: memFree=27312272/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=230092 CPUtime=1781.96 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 10579328 0 0 0 175922 2274 0 0 20 0 1 0 290814569 235614208 55636 33554432000 134512640 137138936 4292175296 4292173720 134607009 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 57523 55636 192 642 0 56879 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 230092
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 8613
/proc/meminfo: memFree=27308800/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=230324 CPUtime=1791.56 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 10606722 0 0 0 176877 2279 0 0 20 0 1 0 290814569 235851776 55694 33554432000 134512640 137138936 4292175296 4292173792 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 57581 55694 192 642 0 56937 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (KiB) 230324
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8613
/proc/meminfo: memFree=27308552/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=227264 CPUtime=1794.76 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 10621565 0 0 0 177193 2283 0 0 20 0 1 0 290814569 232718336 54929 33554432000 134512640 137138936 4292175296 4292173776 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 56816 54929 192 642 0 56172 0
Current children cumulated CPU time (s) 1794.76
Current children cumulated vsize (KiB) 227264
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8613
/proc/meminfo: memFree=27312024/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=230400 CPUtime=1796.36 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 10624186 0 0 0 177352 2284 0 0 20 0 1 0 290814569 235929600 55713 33554432000 134512640 137138936 4292175296 4292173720 134606982 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 57600 55713 192 642 0 56956 0
Current children cumulated CPU time (s) 1796.36
Current children cumulated vsize (KiB) 230400
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8613
/proc/meminfo: memFree=27309048/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=230400 CPUtime=1797.15 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 10626360 0 0 0 177431 2284 0 0 20 0 1 0 290814569 235929600 55713 33554432000 134512640 137138936 4292175296 4292174048 134575833 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 57600 55713 192 642 0 56956 0
Current children cumulated CPU time (s) 1797.15
Current children cumulated vsize (KiB) 230400
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8613
/proc/meminfo: memFree=27309048/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=230400 CPUtime=1797.96 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 10628531 0 0 0 177511 2285 0 0 20 0 1 0 290814569 235929600 55713 33554432000 134512640 137138936 4292175296 4292173792 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 57600 55713 192 642 0 56956 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 230400
[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8613
/proc/meminfo: memFree=27311032/32873648 swapFree=7104/7104
[pid=8558] ppid=8556 vsize=231080 CPUtime=1798.35 cores=1,3,5,7
/proc/8558/stat : 8558 (bsolo) R 8556 8558 7472 0 -1 4202496 10629616 0 0 0 177550 2285 0 0 20 0 1 0 290814569 236625920 55883 33554432000 134512640 137138936 4292175296 4292173788 136297616 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 57770 55883 192 642 0 57126 0
Current children cumulated CPU time (s) 1798.35
Current children cumulated vsize (KiB) 231080
Child status: 0
Real time (s): 1798.75
CPU time (s): 1798.41
CPU user time (s): 1775.55
CPU system time (s): 22.8575
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 232648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1775.55
system time used= 22.8575
maximum resident set size= 225220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10630196
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= 77
involuntary context switches= 1848
runsolver used 3.05854 second user time and 8.88165 second system time
The end