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-3736803-1338710347/watcher-3736803-1338710347 -o /tmp/evaluation-result-3736803-1338710347/solver-3736803-1338710347 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3736803-1338710347.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: 1.98 1.98 1.99 2/176 28600
/proc/meminfo: memFree=27837684/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=4908 CPUtime=0 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 497 0 0 0 0 0 0 0 20 0 1 0 337163286 5025792 434 33554432000 134512640 135840783 4293449904 4293448512 10249511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 1227 434 331 325 0 142 0
[startup+0.0378301 s]
/proc/loadavg: 1.98 1.98 1.99 2/176 28600
/proc/meminfo: memFree=27837684/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=7752 CPUtime=0.03 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 1258 0 0 0 3 0 0 0 20 0 1 0 337163286 7938048 1174 33554432000 134512640 135840783 4293449904 4293372172 6353968 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 1938 1174 342 325 0 874 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7752
[startup+0.100268 s]
/proc/loadavg: 1.98 1.98 1.99 2/176 28600
/proc/meminfo: memFree=27837684/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=7752 CPUtime=0.09 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 1258 0 0 0 9 0 0 0 20 0 1 0 337163286 7938048 1174 33554432000 134512640 135840783 4293449904 4293372172 6353968 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 1938 1174 342 325 0 874 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7752
[startup+0.300229 s]
/proc/loadavg: 1.98 1.98 1.99 2/176 28600
/proc/meminfo: memFree=27837684/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=8156 CPUtime=0.29 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 1683 0 0 0 28 1 0 0 20 0 1 0 337163286 8351744 1295 33554432000 134512640 135840783 4293449904 4293444272 10249511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 2039 1295 348 325 0 975 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8156
[startup+0.70023 s]
/proc/loadavg: 1.98 1.98 1.99 2/176 28600
/proc/meminfo: memFree=27837684/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=12188 CPUtime=0.69 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 2701 0 0 0 68 1 0 0 20 0 1 0 337163286 12480512 2313 33554432000 134512640 135840783 4293449904 4293449264 134551455 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 3047 2313 348 325 0 1983 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12188
[startup+1.50022 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 28601
/proc/meminfo: memFree=27826020/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=18052 CPUtime=1.48 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 4154 0 0 0 147 1 0 0 20 0 1 0 337163286 18485248 3766 33554432000 134512640 135840783 4293449904 4293449264 134550782 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 4513 3766 348 325 0 3449 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 18052
[startup+3.10023 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 28601
/proc/meminfo: memFree=27818192/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=24584 CPUtime=3.09 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 5801 0 0 0 307 2 0 0 20 0 1 0 337163286 25174016 5413 33554432000 134512640 135840783 4293449904 4293447056 10249511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 6146 5413 348 325 0 5082 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24584
[startup+6.30028 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 28601
/proc/meminfo: memFree=27799592/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=38196 CPUtime=6.29 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 9187 0 0 0 626 3 0 0 20 0 1 0 337163286 39112704 8799 33554432000 134512640 135840783 4293449904 4293449264 134550884 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 9549 8799 348 325 0 8485 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38196
[startup+12.7003 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 28601
/proc/meminfo: memFree=27767980/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=61088 CPUtime=12.68 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 14914 0 0 0 1264 4 0 0 20 0 1 0 337163286 62554112 14526 33554432000 134512640 135840783 4293449904 4293449264 134550820 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 15272 14526 348 325 0 14208 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 61088
[startup+25.5003 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 28601
/proc/meminfo: memFree=27717752/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=96504 CPUtime=25.49 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 23772 0 0 0 2542 7 0 0 20 0 1 0 337163286 98820096 23384 33554432000 134512640 135840783 4293449904 4293447264 10249511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 24126 23384 348 325 0 23062 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 96504
[startup+51.1003 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 28601
/proc/meminfo: memFree=27656588/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=141132 CPUtime=51.08 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 34920 0 0 0 5097 11 0 0 20 0 1 0 337163286 144519168 34532 33554432000 134512640 135840783 4293449904 4293449260 134521208 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 35283 34532 348 325 0 34219 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 141132
[startup+102.307 s]
/proc/loadavg: 2.03 2.00 2.00 3/178 28604
/proc/meminfo: memFree=27504708/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=207688 CPUtime=102.28 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 51586 0 0 0 10208 20 0 0 20 0 1 0 337163286 212672512 51198 33554432000 134512640 135840783 4293449904 4293449264 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 51922 51198 348 325 0 50858 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 207688
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 28627
/proc/meminfo: memFree=27407148/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=253132 CPUtime=162.26 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 62946 0 0 0 16200 26 0 0 20 0 1 0 337163286 259207168 62558 33554432000 134512640 135840783 4293449904 4293449264 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 63283 62558 348 325 0 62219 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 253132
[startup+222.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 28627
/proc/meminfo: memFree=27320756/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=280300 CPUtime=222.25 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 69714 0 0 0 22196 29 0 0 20 0 1 0 337163286 287027200 69326 33554432000 134512640 135840783 4293449904 4293449264 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 70075 69326 348 325 0 69011 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 280300
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 28627
/proc/meminfo: memFree=27185284/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=329380 CPUtime=282.24 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 81978 0 0 0 28190 34 0 0 20 0 1 0 337163286 337285120 81590 33554432000 134512640 135840783 4293449904 4293449264 134551359 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 82345 81590 348 325 0 81281 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 329380
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 28629
/proc/meminfo: memFree=27077276/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=369072 CPUtime=342.24 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 91902 0 0 0 34185 39 0 0 20 0 1 0 337163286 377929728 91514 33554432000 134512640 135840783 4293449904 4293449264 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 92268 91514 348 325 0 91204 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 369072
[startup+402.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 28629
/proc/meminfo: memFree=26949600/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=404804 CPUtime=402.19 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 100879 0 0 0 40176 43 0 0 20 0 1 0 337163286 414519296 100469 33554432000 134512640 135840783 4293449904 4293449216 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 101201 100469 348 325 0 100137 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 404804
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 28629
/proc/meminfo: memFree=26877568/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=430772 CPUtime=462.15 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 107424 0 0 0 46167 48 0 0 20 0 1 0 337163286 441110528 106969 33554432000 134512640 135840783 4293449904 4293449264 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 107693 106969 348 325 0 106629 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 430772
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 28629
/proc/meminfo: memFree=26791060/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=464036 CPUtime=522.09 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 115769 0 0 0 52157 52 0 0 20 0 1 0 337163286 475172864 115266 33554432000 134512640 135840783 4293449904 4293449264 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 116009 115266 348 325 0 114945 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 464036
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 28629
/proc/meminfo: memFree=26710224/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=499040 CPUtime=582.03 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 124571 0 0 0 58145 58 0 0 20 0 1 0 337163286 511016960 124022 33554432000 134512640 135840783 4293449904 4293449264 134551076 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 124760 124022 348 325 0 123696 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 499040
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28633
/proc/meminfo: memFree=26450304/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=514316 CPUtime=821.93 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 128765 0 0 0 82133 60 0 0 20 0 1 0 337163286 526659584 127854 33554432000 134512640 135840783 4293449904 4293449264 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 128579 127854 348 325 0 127515 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 514316
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28633
/proc/meminfo: memFree=26351972/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=514316 CPUtime=881.92 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 128765 0 0 0 88132 60 0 0 20 0 1 0 337163286 526659584 127854 33554432000 134512640 135840783 4293449904 4293449424 134552068 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 128579 127854 348 325 0 127515 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 514316
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28634
/proc/meminfo: memFree=26286624/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=514316 CPUtime=941.91 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 128765 0 0 0 94131 60 0 0 20 0 1 0 337163286 526659584 127854 33554432000 134512640 135840783 4293449904 4293449216 134550782 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 128579 127854 348 325 0 127515 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 514316
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28634
/proc/meminfo: memFree=26228592/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=514316 CPUtime=1001.9 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 128765 0 0 0 100130 60 0 0 20 0 1 0 337163286 526659584 127854 33554432000 134512640 135840783 4293449904 4293449216 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 128579 127854 348 325 0 127515 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 514316
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28634
/proc/meminfo: memFree=26181844/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=514316 CPUtime=1061.89 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 128765 0 0 0 106129 60 0 0 20 0 1 0 337163286 526659584 127854 33554432000 134512640 135840783 4293449904 4293449264 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 128579 127854 348 325 0 127515 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 514316
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28634
/proc/meminfo: memFree=26139808/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=514316 CPUtime=1121.88 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 128765 0 0 0 112128 60 0 0 20 0 1 0 337163286 526659584 127854 33554432000 134512640 135840783 4293449904 4293449264 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 128579 127854 348 325 0 127515 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 514316
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 28634
/proc/meminfo: memFree=26099664/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=514316 CPUtime=1181.87 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 128765 0 0 0 118127 60 0 0 20 0 1 0 337163286 526659584 127854 33554432000 134512640 135840783 4293449904 4293449264 134551532 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 128579 127854 348 325 0 127515 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 514316
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 28635
/proc/meminfo: memFree=26065840/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=514316 CPUtime=1241.86 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 128765 0 0 0 124126 60 0 0 20 0 1 0 337163286 526659584 127854 33554432000 134512640 135840783 4293449904 4293449264 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 128579 127854 348 325 0 127515 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 514316
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 28638
/proc/meminfo: memFree=26032612/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=514316 CPUtime=1301.86 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 128765 0 0 0 130126 60 0 0 20 0 1 0 337163286 526659584 127854 33554432000 134512640 135840783 4293449904 4293449264 134551039 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 128579 127854 348 325 0 127515 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 514316
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28638
/proc/meminfo: memFree=26001664/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=514316 CPUtime=1361.85 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 128765 0 0 0 136125 60 0 0 20 0 1 0 337163286 526659584 127854 33554432000 134512640 135840783 4293449904 4293449264 134551428 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 128579 127854 348 325 0 127515 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 514316
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28638
/proc/meminfo: memFree=26000188/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=514316 CPUtime=1421.84 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 128765 0 0 0 142124 60 0 0 20 0 1 0 337163286 526659584 127854 33554432000 134512640 135840783 4293449904 4293449264 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 128579 127854 348 325 0 127515 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 514316
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28638
/proc/meminfo: memFree=26000852/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=514316 CPUtime=1481.83 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 128765 0 0 0 148123 60 0 0 20 0 1 0 337163286 526659584 127854 33554432000 134512640 135840783 4293449904 4293449264 134551635 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 128579 127854 348 325 0 127515 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 514316
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28639
/proc/meminfo: memFree=25990712/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=525044 CPUtime=1541.82 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 131431 0 0 0 154120 62 0 0 20 0 1 0 337163286 537645056 130520 33554432000 134512640 135840783 4293449904 4293449264 134550744 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 131261 130520 348 325 0 130197 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 525044
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28639
/proc/meminfo: memFree=25965816/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=550628 CPUtime=1601.81 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 137824 0 0 0 160115 66 0 0 20 0 1 0 337163286 563843072 136913 33554432000 134512640 135840783 4293449904 4293449264 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 137657 136913 348 325 0 136593 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 550628
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 28639
/proc/meminfo: memFree=25930752/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=584872 CPUtime=1661.8 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 146385 0 0 0 166109 71 0 0 20 0 1 0 337163286 598908928 145474 33554432000 134512640 135840783 4293449904 4293449264 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 146218 145474 348 325 0 145154 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 584872
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 28678
/proc/meminfo: memFree=27456800/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=616444 CPUtime=1721.79 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 154292 0 0 0 172104 75 0 0 20 0 1 0 337163286 631238656 153381 33554432000 134512640 135840783 4293449904 4293449216 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 154111 153381 348 325 0 153047 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 616444
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 28679
/proc/meminfo: memFree=27378672/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=640868 CPUtime=1781.78 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 160402 0 0 0 178099 79 0 0 20 0 1 0 337163286 656248832 159491 33554432000 134512640 135840783 4293449904 4293449264 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 160217 159491 348 325 0 159153 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 640868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28679
/proc/meminfo: memFree=27361684/32873844 swapFree=7116/7116
[pid=28600] ppid=28598 vsize=641644 CPUtime=1800.1 cores=1,3,5,7
/proc/28600/stat : 28600 (bsolo3.0.17) R 28598 28600 24661 0 -1 4202496 160933 0 0 0 179930 80 0 0 20 0 1 0 337163286 657043456 159669 33554432000 134512640 135840783 4293449904 4293449328 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/28600/statm: 160411 159669 348 325 0 159347 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 641644
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.63
CPU time (s): 1800.12
CPU user time (s): 1799.3
CPU system time (s): 0.813876
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 643056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.3
system time used= 0.813876
maximum resident set size= 640088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160936
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= 250
involuntary context switches= 1845
runsolver used 3.65144 second user time and 9.80451 second system time
The end