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-3708358-1338240174/watcher-3708358-1338240174 -o /tmp/evaluation-result-3708358-1338240174/solver-3708358-1338240174 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708358-1338240174.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.01 2.00 3/174 19144
/proc/meminfo: memFree=28459856/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=21176 CPUtime=0 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 258 0 0 0 0 0 0 0 20 0 1 0 290143344 21684224 211 33554432000 134512640 137138936 4289529600 4289528192 134531237 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 5294 211 163 642 0 3975 0
[startup+0.0914231 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 19144
/proc/meminfo: memFree=28459856/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=18176 CPUtime=0.08 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 1803 0 0 0 8 0 0 0 20 0 1 0 290143344 18612224 1637 33554432000 134512640 137138936 4289529600 4289527816 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 4544 1637 429 642 0 3225 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 18176
[startup+0.100313 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 19144
/proc/meminfo: memFree=28459856/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=18448 CPUtime=0.09 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 1888 0 0 0 9 0 0 0 20 0 1 0 290143344 18890752 1722 33554432000 134512640 137138936 4289529600 4289527992 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 4612 1723 454 642 0 3293 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18448
[startup+0.300272 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 19144
/proc/meminfo: memFree=28459856/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=27016 CPUtime=0.29 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 5096 0 0 0 28 1 0 0 20 0 1 0 290143344 27664384 4198 33554432000 134512640 137138936 4289529600 4289042736 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 6754 4198 184 642 0 6110 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27016
[startup+0.700213 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 19144
/proc/meminfo: memFree=28459856/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=27016 CPUtime=0.68 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 5096 0 0 0 67 1 0 0 20 0 1 0 290143344 27664384 4198 33554432000 134512640 137138936 4289529600 4289042736 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 6754 4198 184 642 0 6110 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 27016
[startup+1.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 19145
/proc/meminfo: memFree=28443100/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=27148 CPUtime=1.48 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 5127 0 0 0 147 1 0 0 20 0 1 0 290143344 27799552 4229 33554432000 134512640 137138936 4289529600 4289042912 134566410 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 6787 4229 184 642 0 6143 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 27148
[startup+3.10029 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 19145
/proc/meminfo: memFree=28442108/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=27148 CPUtime=3.09 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 5127 0 0 0 307 2 0 0 20 0 1 0 290143344 27799552 4229 33554432000 134512640 137138936 4289529600 4289042612 136511125 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 6787 4229 184 642 0 6143 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27148
[startup+6.30021 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 19145
/proc/meminfo: memFree=28438984/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=27148 CPUtime=6.28 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 5133 0 0 0 626 2 0 0 20 0 1 0 290143344 27799552 4312 33554432000 134512640 137138936 4289529600 4289042736 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 6787 4312 184 642 0 6143 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 27148
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 19145
/proc/meminfo: memFree=28433300/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=27808 CPUtime=12.68 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 5298 0 0 0 1266 2 0 0 20 0 1 0 290143344 28475392 4477 33554432000 134512640 137138936 4289529600 4289042688 134542734 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 6952 4477 184 642 0 6308 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 27808
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 19145
/proc/meminfo: memFree=28424496/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=29032 CPUtime=25.47 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 5674 0 0 0 2544 3 0 0 20 0 1 0 290143344 29728768 4735 33554432000 134512640 137138936 4289529600 4289042688 134540848 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 7258 4735 185 642 0 6614 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 29032
[startup+51.1002 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 19145
/proc/meminfo: memFree=28404532/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=29740 CPUtime=51.07 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 309995 0 0 0 5063 44 0 0 20 0 1 0 290143344 30453760 4951 33554432000 134512640 137138936 4289529600 4289528024 134606595 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 7435 4951 192 642 0 6791 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29740
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19145
/proc/meminfo: memFree=28367332/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=34428 CPUtime=102.27 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 888188 0 0 0 10106 121 0 0 20 0 1 0 290143344 35254272 6091 33554432000 134512640 137138936 4289529600 4289528144 134607587 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 8607 6091 192 642 0 7963 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 34428
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19145
/proc/meminfo: memFree=28331248/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=40280 CPUtime=162.26 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 1437977 0 0 0 16035 191 0 0 20 0 1 0 290143344 41246720 7561 33554432000 134512640 137138936 4289529600 4289528024 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 10070 7561 192 642 0 9426 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 40280
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19145
/proc/meminfo: memFree=28289832/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=45948 CPUtime=222.25 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 2118547 0 0 0 21953 272 0 0 20 0 1 0 290143344 47050752 8971 33554432000 134512640 137138936 4289529600 4289528528 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 11487 8971 192 642 0 10843 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 45948
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19146
/proc/meminfo: memFree=28254416/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=53256 CPUtime=282.23 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 2624443 0 0 0 27888 335 0 0 20 0 1 0 290143344 54534144 10799 33554432000 134512640 137138936 4289529600 4289528096 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 13314 10799 192 642 0 12670 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 53256
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19146
/proc/meminfo: memFree=28221832/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=60848 CPUtime=342.22 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 3096115 0 0 0 33818 404 0 0 20 0 1 0 290143344 62308352 12697 33554432000 134512640 137138936 4289529600 4289135016 134601123 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 15212 12697 192 642 0 14568 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 60848
[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 19146
/proc/meminfo: memFree=28188628/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=65940 CPUtime=402.22 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 3661887 0 0 0 39739 483 0 0 20 0 1 0 290143344 67522560 14002 33554432000 134512640 137138936 4289529600 4289528144 134607574 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 16485 14002 192 642 0 15841 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 65940
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 19149
/proc/meminfo: memFree=28157524/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=70752 CPUtime=462.21 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 4325665 0 0 0 45651 570 0 0 20 0 1 0 290143344 72450048 15173 33554432000 134512640 137138936 4289529600 4289135344 134603100 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 17688 15173 192 642 0 17044 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 70752
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19149
/proc/meminfo: memFree=28127940/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=74404 CPUtime=522.19 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 4987762 0 0 0 51555 664 0 0 20 0 1 0 290143344 76189696 16118 33554432000 134512640 137138936 4289529600 4289528496 134542503 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 18601 16118 192 642 0 17957 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 74404
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19150
/proc/meminfo: memFree=28097900/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=81972 CPUtime=582.16 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 5531625 0 0 0 57477 739 0 0 20 0 1 0 290143344 83939328 18370 33554432000 134512640 137138936 4289529600 4289528128 134603105 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 20493 18377 192 642 0 19849 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 81972
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27870716/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=126544 CPUtime=1122.08 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 9780274 0 0 0 110826 1382 0 0 20 0 1 0 290143344 129581056 29589 33554432000 134512640 137138936 4289529600 4289134888 134599824 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 31636 29589 192 642 0 30992 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 126544
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19155
/proc/meminfo: memFree=27849864/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=129892 CPUtime=1182.07 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 10276144 0 0 0 116746 1461 0 0 20 0 1 0 290143344 133009408 30426 33554432000 134512640 137138936 4289529600 4289528096 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 32473 30426 192 642 0 31829 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 129892
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19155
/proc/meminfo: memFree=27829420/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=133552 CPUtime=1242.05 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 10772133 0 0 0 122663 1542 0 0 20 0 1 0 290143344 136757248 31356 33554432000 134512640 137138936 4289529600 4289528096 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 33388 31356 192 642 0 32744 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 133552
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19155
/proc/meminfo: memFree=27818684/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=137800 CPUtime=1302.04 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 11219848 0 0 0 128584 1620 0 0 20 0 1 0 290143344 141107200 32435 33554432000 134512640 137138936 4289529600 4289528096 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 34450 32435 192 642 0 33806 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 137800
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19193
/proc/meminfo: memFree=28826232/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=142236 CPUtime=1362.02 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 11786834 0 0 0 134499 1703 0 0 20 0 1 0 290143344 145649664 33520 33554432000 134512640 137138936 4289529600 4289528096 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 35559 33520 192 642 0 34915 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 142236
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19193
/proc/meminfo: memFree=28820692/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=146020 CPUtime=1422.01 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 12381804 0 0 0 140409 1792 0 0 20 0 1 0 290143344 149524480 34458 33554432000 134512640 137138936 4289529600 4289528024 134606592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 36505 34458 192 642 0 35861 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 146020
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19194
/proc/meminfo: memFree=28814120/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=148776 CPUtime=1482 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 13051560 0 0 0 146301 1899 0 0 20 0 1 0 290143344 152346624 35179 33554432000 134512640 137138936 4289529600 4289528528 134542793 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 37194 35179 192 642 0 36550 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 148776
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19194
/proc/meminfo: memFree=28807284/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=154728 CPUtime=1541.99 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 13619086 0 0 0 152211 1988 0 0 20 0 1 0 290143344 158441472 36635 33554432000 134512640 137138936 4289529600 4289528128 134603100 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 38682 36635 192 642 0 38038 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 154728
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19194
/proc/meminfo: memFree=28799224/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=159244 CPUtime=1601.98 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 14210632 0 0 0 158114 2084 0 0 20 0 1 0 290143344 163065856 37764 33554432000 134512640 137138936 4289529600 4289528116 134551207 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 39811 37764 192 642 0 39167 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 159244
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19197
/proc/meminfo: memFree=28794184/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=164148 CPUtime=1661.96 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 14850893 0 0 0 164011 2185 0 0 20 0 1 0 290143344 168087552 38990 33554432000 134512640 137138936 4289529600 4289528080 136500296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 41037 38990 192 642 0 40393 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 164148
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19197
/proc/meminfo: memFree=28789600/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=167936 CPUtime=1721.96 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 15349005 0 0 0 169925 2271 0 0 20 0 1 0 290143344 171966464 39937 33554432000 134512640 137138936 4289529600 4289528024 134606944 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 41984 39937 192 642 0 41340 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 167936
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19198
/proc/meminfo: memFree=28782284/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=174828 CPUtime=1781.95 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 15940183 0 0 0 175832 2363 0 0 20 0 1 0 290143344 179023872 41660 33554432000 134512640 137138936 4289529600 4289134824 134599948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 43707 41660 192 642 0 43063 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 174828
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19198
/proc/meminfo: memFree=28781416/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=175820 CPUtime=1791.55 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 16009371 0 0 0 176782 2373 0 0 20 0 1 0 290143344 180039680 41908 33554432000 134512640 137138936 4289529600 4289528024 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 43955 41908 192 642 0 43311 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 175820
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19198
/proc/meminfo: memFree=28781292/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=175928 CPUtime=1794.75 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 16034614 0 0 0 177098 2377 0 0 20 0 1 0 290143344 180150272 41967 33554432000 134512640 137138936 4289529600 4289528528 134542513 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 43982 41967 192 642 0 43338 0
Current children cumulated CPU time (s) 1794.75
Current children cumulated vsize (KiB) 175928
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19198
/proc/meminfo: memFree=28781160/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=177668 CPUtime=1796.34 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 16049291 0 0 0 177255 2379 0 0 20 0 1 0 290143344 181932032 42275 33554432000 134512640 137138936 4289529600 4289527944 134599706 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 44417 42281 192 642 0 43773 0
Current children cumulated CPU time (s) 1796.34
Current children cumulated vsize (KiB) 177668
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19198
/proc/meminfo: memFree=28781284/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=177796 CPUtime=1797.14 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 16058242 0 0 0 177334 2380 0 0 20 0 1 0 290143344 182063104 42402 33554432000 134512640 137138936 4289529600 4289528116 134551130 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 44449 42402 192 642 0 43805 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 177796
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19198
/proc/meminfo: memFree=28781284/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=176260 CPUtime=1797.54 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 16063892 0 0 0 177373 2381 0 0 20 0 1 0 290143344 180490240 42018 33554432000 134512640 137138936 4289529600 4289528040 136504479 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 44065 42018 192 642 0 43421 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 176260
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19198
/proc/meminfo: memFree=28781284/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=177048 CPUtime=1797.94 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 16067963 0 0 0 177413 2381 0 0 20 0 1 0 290143344 181297152 42215 33554432000 134512640 137138936 4289529600 4289134824 134599960 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 44262 42215 192 642 0 43618 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 177048
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19198
/proc/meminfo: memFree=28781036/32873852 swapFree=6856/6856
[pid=19144] ppid=19142 vsize=176664 CPUtime=1798.04 cores=1,3,5,7
/proc/19144/stat : 19144 (bsolo) R 19142 19144 18303 0 -1 4202496 16068728 0 0 0 177423 2381 0 0 20 0 1 0 290143344 180903936 42119 33554432000 134512640 137138936 4289529600 4289528024 134606982 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19144/statm: 44166 42119 192 642 0 43522 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (KiB) 176664
Child status: 0
Real time (s): 1798.43
CPU time (s): 1798.08
CPU user time (s): 1774.26
CPU system time (s): 23.8214
CPU usage (%): 99.9805
Max. virtual memory (cumulated for all children) (KiB): 177812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1774.26
system time used= 23.8214
maximum resident set size= 169628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16069015
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= 75
involuntary context switches= 1867
runsolver used 4.47032 second user time and 12.3891 second system time
The end