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-3743479-1338782326/watcher-3743479-1338782326 -o /tmp/evaluation-result-3743479-1338782326/solver-3743479-1338782326 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743479-1338782326.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.92 1.98 1.99 3/176 15213
/proc/meminfo: memFree=27154852/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) D 15211 15213 12501 0 -1 4194304 96 0 0 0 0 0 0 0 20 0 1 0 344357005 2723840 48 33554432000 134512640 135840783 4292689584 4292687620 10818500 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 665 48 37 325 0 32 0
[startup+0.088881 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 15213
/proc/meminfo: memFree=27154852/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=11428 CPUtime=0.08 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 1782 0 0 0 8 0 0 0 20 0 1 0 344357005 11702272 1678 33554432000 134512640 135840783 4292689584 4292688320 1582375 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 2857 1678 567 325 0 1115 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11428
[startup+0.100303 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 15213
/proc/meminfo: memFree=27154852/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=11708 CPUtime=0.09 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 1891 0 0 0 9 0 0 0 20 0 1 0 344357005 11988992 1787 33554432000 134512640 135840783 4292689584 4292687520 1582375 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 2927 1787 595 325 0 1185 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11708
[startup+0.300257 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 15213
/proc/meminfo: memFree=27154852/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=20616 CPUtime=0.29 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 5206 0 0 0 28 1 0 0 20 0 1 0 344357005 21110784 4294 33554432000 134512640 135840783 4292689584 4292203276 14713904 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 5154 4294 344 325 0 4090 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20616
[startup+0.700223 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 15213
/proc/meminfo: memFree=27154852/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=20616 CPUtime=0.69 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 5206 0 0 0 68 1 0 0 20 0 1 0 344357005 21110784 4294 33554432000 134512640 135840783 4292689584 4292203276 14713904 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 5154 4294 344 325 0 4090 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20616
[startup+1.50029 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 15214
/proc/meminfo: memFree=27138956/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=20748 CPUtime=1.48 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 5238 0 0 0 147 1 0 0 20 0 1 0 344357005 21245952 4326 33554432000 134512640 135840783 4292689584 4292203276 14713904 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 5187 4326 344 325 0 4123 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 20748
[startup+3.10031 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 15214
/proc/meminfo: memFree=27138700/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=20748 CPUtime=3.08 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 5238 0 0 0 307 1 0 0 20 0 1 0 344357005 21245952 4326 33554432000 134512640 135840783 4292689584 4292203276 14713904 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 5187 4326 344 325 0 4123 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 20748
[startup+6.30029 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 15214
/proc/meminfo: memFree=27138452/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=20748 CPUtime=6.29 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 5238 0 0 0 627 2 0 0 20 0 1 0 344357005 21245952 4326 33554432000 134512640 135840783 4292689584 4292203276 14713904 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 5187 4326 344 325 0 4123 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20748
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 15214
/proc/meminfo: memFree=27137592/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=21408 CPUtime=12.68 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 5401 0 0 0 1266 2 0 0 20 0 1 0 344357005 21921792 4489 33554432000 134512640 135840783 4292689584 4292203136 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 5352 4489 344 325 0 4288 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21408
[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 15214
/proc/meminfo: memFree=27133268/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=21408 CPUtime=25.48 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 5401 0 0 0 2546 2 0 0 20 0 1 0 344357005 21921792 4489 33554432000 134512640 135840783 4292689584 4292203276 14713904 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 5352 4489 344 325 0 4288 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21408
[startup+51.1002 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 15214
/proc/meminfo: memFree=27120744/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=34528 CPUtime=51.08 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 9363 0 0 0 5103 5 0 0 20 0 1 0 344357005 35356672 7776 33554432000 134512640 135840783 4292689584 4292688880 134571925 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 8632 7776 349 325 0 7568 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34528
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 15217
/proc/meminfo: memFree=27078988/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=75376 CPUtime=102.27 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 19570 0 0 0 10219 8 0 0 20 0 1 0 344357005 77185024 17977 33554432000 134512640 135840783 4292689584 4292688864 1584791 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 18844 17977 349 325 0 17780 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 75376
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 15241
/proc/meminfo: memFree=27040152/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=112400 CPUtime=162.24 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 28876 0 0 0 16213 11 0 0 20 0 1 0 344357005 115097600 27359 33554432000 134512640 135840783 4292689584 4292688944 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 28100 27359 349 325 0 27036 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 112400
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 15241
/proc/meminfo: memFree=27010648/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=141628 CPUtime=222.24 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 36167 0 0 0 22209 15 0 0 20 0 1 0 344357005 145027072 34650 33554432000 134512640 135840783 4292689584 4292688944 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 35407 34650 349 325 0 34343 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 141628
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 15241
/proc/meminfo: memFree=26982436/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=168268 CPUtime=282.22 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 42819 0 0 0 28205 17 0 0 20 0 1 0 344357005 172306432 41302 33554432000 134512640 135840783 4292689584 4292688944 134550878 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 42067 41302 349 325 0 41003 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 168268
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 15241
/proc/meminfo: memFree=26959056/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=189988 CPUtime=342.22 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 48264 0 0 0 34202 20 0 0 20 0 1 0 344357005 194547712 46744 33554432000 134512640 135840783 4292689584 4292688896 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 47497 46744 349 325 0 46433 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 189988
[startup+402.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 15241
/proc/meminfo: memFree=26936832/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=210164 CPUtime=402.19 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 53344 0 0 0 40197 22 0 0 20 0 1 0 344357005 215207936 51781 33554432000 134512640 135840783 4292689584 4292688944 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 52541 51781 349 325 0 51477 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 210164
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 15242
/proc/meminfo: memFree=26912900/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=233940 CPUtime=462.18 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 59295 0 0 0 46193 25 0 0 20 0 1 0 344357005 239554560 57732 33554432000 134512640 135840783 4292689584 4292688944 134550872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 58485 57732 349 325 0 57421 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 233940
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15242
/proc/meminfo: memFree=26888972/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=258532 CPUtime=522.18 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 65429 0 0 0 52190 28 0 0 20 0 1 0 344357005 264736768 63866 33554432000 134512640 135840783 4292689584 4292688944 134551451 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 64633 63866 349 325 0 63569 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 258532
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15243
/proc/meminfo: memFree=26864040/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=281356 CPUtime=582.16 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 71150 0 0 0 58186 30 0 0 20 0 1 0 344357005 288108544 69587 33554432000 134512640 135840783 4292689584 4292688880 134571467 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 70339 69587 349 325 0 69275 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 281356
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 1.40 1.85 1.94 2/171 15272
/proc/meminfo: memFree=26999000/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=383328 CPUtime=882.09 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 96708 0 0 0 88168 41 0 0 20 0 1 0 344357005 392527872 95090 33554432000 134512640 135840783 4292689584 4292688944 134551186 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 95832 95090 349 325 0 94768 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 383328
[startup+942.3 s]
/proc/loadavg: 1.15 1.69 1.88 2/171 15272
/proc/meminfo: memFree=26983748/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=398856 CPUtime=942.09 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 100591 0 0 0 94165 44 0 0 20 0 1 0 344357005 408428544 98973 33554432000 134512640 135840783 4292689584 4292688944 134551400 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 99714 98973 349 325 0 98650 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 398856
[startup+1002.3 s]
/proc/loadavg: 1.05 1.56 1.82 2/171 15272
/proc/meminfo: memFree=26966016/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=416508 CPUtime=1002.08 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 105002 0 0 0 100162 46 0 0 20 0 1 0 344357005 426504192 103384 33554432000 134512640 135840783 4292689584 4292688944 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 104127 103384 349 325 0 103063 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 416508
[startup+1062.3 s]
/proc/loadavg: 1.02 1.46 1.77 2/171 15273
/proc/meminfo: memFree=26953928/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=428460 CPUtime=1062.05 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 108017 0 0 0 106157 48 0 0 20 0 1 0 344357005 438743040 106373 33554432000 134512640 135840783 4292689584 4292688896 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 107115 106373 349 325 0 106051 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 428460
[startup+1122.3 s]
/proc/loadavg: 1.00 1.37 1.72 2/171 15273
/proc/meminfo: memFree=26937576/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=444632 CPUtime=1122.03 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 112075 0 0 0 112154 49 0 0 20 0 1 0 344357005 455303168 110408 33554432000 134512640 135840783 4292689584 4292688944 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 111158 110408 349 325 0 110094 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 444632
[startup+1182.3 s]
/proc/loadavg: 1.00 1.30 1.67 2/171 15273
/proc/meminfo: memFree=26920836/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=462024 CPUtime=1182.03 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 116430 0 0 0 118152 51 0 0 20 0 1 0 344357005 473112576 114763 33554432000 134512640 135840783 4292689584 4292688944 134551071 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 115506 114763 349 325 0 114442 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 462024
[startup+1242.3 s]
/proc/loadavg: 1.00 1.24 1.62 2/171 15273
/proc/meminfo: memFree=26902112/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=480208 CPUtime=1242.01 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 120951 0 0 0 124148 53 0 0 20 0 1 0 344357005 491732992 119284 33554432000 134512640 135840783 4292689584 4292688944 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 120052 119284 349 325 0 118988 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 480208
[startup+1302.3 s]
/proc/loadavg: 1.00 1.20 1.58 2/172 15276
/proc/meminfo: memFree=26891688/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=490572 CPUtime=1302.01 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 123572 0 0 0 130146 55 0 0 20 0 1 0 344357005 502345728 121905 33554432000 134512640 135840783 4292689584 4292688944 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 122643 121905 349 325 0 121579 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 490572
[startup+1362.3 s]
/proc/loadavg: 1.00 1.16 1.54 2/171 15277
/proc/meminfo: memFree=26874644/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=507712 CPUtime=1362 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 127846 0 0 0 136143 57 0 0 20 0 1 0 344357005 519897088 126178 33554432000 134512640 135840783 4292689584 4292688944 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 126928 126178 349 325 0 125864 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 507712
[startup+1422.31 s]
/proc/loadavg: 1.04 1.14 1.51 2/171 15277
/proc/meminfo: memFree=26859684/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=522588 CPUtime=1421.97 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 131603 0 0 0 142138 59 0 0 20 0 1 0 344357005 535130112 129895 33554432000 134512640 135840783 4292689584 4292688944 134551186 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 130647 129895 349 325 0 129583 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 522588
[startup+1482.3 s]
/proc/loadavg: 1.01 1.11 1.48 2/171 15277
/proc/meminfo: memFree=26845300/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=536968 CPUtime=1481.95 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 135195 0 0 0 148135 60 0 0 20 0 1 0 344357005 549855232 133487 33554432000 134512640 135840783 4292689584 4292688944 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 134242 133487 349 325 0 133178 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 536968
[startup+1542.3 s]
/proc/loadavg: 1.00 1.09 1.44 2/171 15277
/proc/meminfo: memFree=26833644/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=548504 CPUtime=1541.94 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 138069 0 0 0 154131 63 0 0 20 0 1 0 344357005 561668096 136361 33554432000 134512640 135840783 4292689584 4292688936 11835600 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 137126 136361 349 325 0 136062 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 548504
[startup+1602.3 s]
/proc/loadavg: 1.00 1.07 1.41 2/171 15277
/proc/meminfo: memFree=26823476/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=559008 CPUtime=1601.94 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 140713 0 0 0 160130 64 0 0 20 0 1 0 344357005 572424192 139005 33554432000 134512640 135840783 4292689584 4292688944 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 139752 139005 349 325 0 138688 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 559008
[startup+1662.3 s]
/proc/loadavg: 1.00 1.06 1.39 2/171 15278
/proc/meminfo: memFree=26810704/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=571536 CPUtime=1661.92 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 143841 0 0 0 166127 65 0 0 20 0 1 0 344357005 585252864 142133 33554432000 134512640 135840783 4292689584 4292688944 134550902 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 142884 142133 349 325 0 141820 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 571536
[startup+1722.3 s]
/proc/loadavg: 1.00 1.04 1.36 2/171 15278
/proc/meminfo: memFree=26798800/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=583524 CPUtime=1721.91 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 146834 0 0 0 172125 66 0 0 20 0 1 0 344357005 597528576 145126 33554432000 134512640 135840783 4292689584 4292688896 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 145881 145126 349 325 0 144817 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 583524
[startup+1782.3 s]
/proc/loadavg: 1.00 1.03 1.33 2/171 15278
/proc/meminfo: memFree=26784900/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=596996 CPUtime=1781.88 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 150246 0 0 0 178120 68 0 0 20 0 1 0 344357005 611323904 148510 33554432000 134512640 135840783 4292689584 4292688944 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 149249 148510 349 325 0 148185 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 596996
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.03 1.33 2/171 15278
/proc/meminfo: memFree=26777584/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=604424 CPUtime=1800.09 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 152105 0 0 0 179940 69 0 0 20 0 1 0 344357005 618930176 150369 33554432000 134512640 135840783 4292689584 4292688944 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 151106 150369 349 325 0 150042 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 604424
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 1.00 1.03 1.33 2/171 15278
/proc/meminfo: memFree=26777584/32873844 swapFree=6608/6608
[pid=15213] ppid=15211 vsize=604424 CPUtime=1800.09 cores=1,3,5,7
/proc/15213/stat : 15213 (bsolo3.0.17) R 15211 15213 12501 0 -1 4202496 152105 0 0 0 179940 69 0 0 20 0 1 0 344357005 618930176 150369 33554432000 134512640 135840783 4292689584 4292688944 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/15213/statm: 151106 150369 349 325 0 150042 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 604424
Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.11
CPU user time (s): 1799.41
CPU system time (s): 0.699893
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 604424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.699893
maximum resident set size= 601476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152108
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= 278
involuntary context switches= 1846
runsolver used 3.41048 second user time and 10.0445 second system time
The end