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-3737529-1338721994/watcher-3737529-1338721994 -o /tmp/evaluation-result-3737529-1338721994/solver-3737529-1338721994 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737529-1338721994.opb
running on 4 cores: 0,2,4,6
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.99 1.99 3/176 9281
/proc/meminfo: memFree=25341448/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) D 9279 9281 8706 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 338326659 2723840 47 33554432000 134512640 135840783 4286667840 4286665876 11490244 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/9281/statm: 665 47 37 325 0 32 0
[startup+0.0910089 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 9281
/proc/meminfo: memFree=25341448/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=11368 CPUtime=0.07 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 2193 0 0 0 7 0 0 0 20 0 1 0 338326659 11640832 2088 33554432000 134512640 135840783 4286667840 4286512592 134550820 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9281/statm: 2842 2088 345 325 0 1778 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11368
[startup+0.100205 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 9281
/proc/meminfo: memFree=25341448/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=11368 CPUtime=0.08 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 2193 0 0 0 8 0 0 0 20 0 1 0 338326659 11640832 2088 33554432000 134512640 135840783 4286667840 4286512732 7914544 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9281/statm: 2842 2088 345 325 0 1778 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11368
[startup+0.30019 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 9281
/proc/meminfo: memFree=25341448/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=11500 CPUtime=0.28 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 2197 0 0 0 28 0 0 0 20 0 1 0 338326659 11776000 2092 33554432000 134512640 135840783 4286667840 4286512512 1584782 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9281/statm: 2875 2092 345 325 0 1811 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11500
[startup+0.700187 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 9281
/proc/meminfo: memFree=25341448/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=11500 CPUtime=0.68 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 2197 0 0 0 68 0 0 0 20 0 1 0 338326659 11776000 2092 33554432000 134512640 135840783 4286667840 4286512368 1580180 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9281/statm: 2875 2092 345 325 0 1811 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11500
[startup+1.50019 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 9282
/proc/meminfo: memFree=25334372/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=11500 CPUtime=1.48 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 2197 0 0 0 148 0 0 0 20 0 1 0 338326659 11776000 2092 33554432000 134512640 135840783 4286667840 4286512592 134550705 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9281/statm: 2875 2092 345 325 0 1811 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11500
[startup+3.10018 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 9282
/proc/meminfo: memFree=25334000/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=11500 CPUtime=3.08 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 2197 0 0 0 308 0 0 0 20 0 1 0 338326659 11776000 2092 33554432000 134512640 135840783 4286667840 4286512704 134583067 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9281/statm: 2875 2092 345 325 0 1811 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 11500
[startup+6.30024 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 9282
/proc/meminfo: memFree=25333876/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=11500 CPUtime=6.28 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 2197 0 0 0 628 0 0 0 20 0 1 0 338326659 11776000 2092 33554432000 134512640 135840783 4286667840 4286512512 1584782 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 2875 2092 345 325 0 1811 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11500
[startup+12.7002 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 9282
/proc/meminfo: memFree=25333808/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=11500 CPUtime=12.68 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 2197 0 0 0 1268 0 0 0 20 0 1 0 338326659 11776000 2092 33554432000 134512640 135840783 4286667840 4286512732 7914544 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 2875 2092 345 325 0 1811 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 11500
[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 9282
/proc/meminfo: memFree=25293764/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=53660 CPUtime=25.48 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 13160 0 0 0 2544 4 0 0 20 0 1 0 338326659 54947840 12665 33554432000 134512640 135840783 4286667840 4286662592 1582375 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 13415 12665 351 325 0 12351 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 53660
[startup+51.1003 s]
/proc/loadavg: 1.96 1.99 1.99 3/177 9282
/proc/meminfo: memFree=25163688/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=184224 CPUtime=51.08 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 45818 0 0 0 5096 12 0 0 20 0 1 0 338326659 188645376 45323 33554432000 134512640 135840783 4286667840 4286667152 134550878 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 46056 45323 351 325 0 44992 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 184224
[startup+102.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 9282
/proc/meminfo: memFree=24989344/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=355632 CPUtime=102.27 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 88654 0 0 0 10204 23 0 0 20 0 1 0 338326659 364167168 88159 33554432000 134512640 135840783 4286667840 4286667120 1584736 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 88908 88159 351 325 0 87844 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 355632
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 9282
/proc/meminfo: memFree=24860068/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=481436 CPUtime=162.24 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 120138 0 0 0 16192 32 0 0 20 0 1 0 338326659 492990464 119613 33554432000 134512640 135840783 4286667840 4286667200 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 120359 119613 351 325 0 119295 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 481436
[startup+222.306 s]
/proc/loadavg: 1.99 1.99 1.99 3/176 9282
/proc/meminfo: memFree=24762764/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=558336 CPUtime=222.2 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 139413 0 0 0 22181 39 0 0 20 0 1 0 338326659 571736064 138842 33554432000 134512640 135840783 4286667840 4286663136 1582375 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 139584 138842 351 325 0 138520 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 558336
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 9283
/proc/meminfo: memFree=24664828/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=652544 CPUtime=282.16 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 163008 0 0 0 28169 47 0 0 20 0 1 0 338326659 668205056 162395 33554432000 134512640 135840783 4286667840 4286667200 134550863 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 163136 162395 351 325 0 162072 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 652544
[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 9283
/proc/meminfo: memFree=24529572/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=786396 CPUtime=342.12 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 196528 0 0 0 34156 56 0 0 20 0 1 0 338326659 805269504 195870 33554432000 134512640 135840783 4286667840 4286667200 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 196599 195870 351 325 0 195535 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 786396
[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 9283
/proc/meminfo: memFree=24436352/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=880208 CPUtime=402.08 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 220022 0 0 0 40145 63 0 0 20 0 1 0 338326659 901332992 219321 33554432000 134512640 135840783 4286667840 4286667152 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 220052 219321 351 325 0 218988 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 880208
[startup+462.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 9286
/proc/meminfo: memFree=24318060/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=997800 CPUtime=462.05 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 249446 0 0 0 46131 74 0 0 20 0 1 0 338326659 1021747200 248703 33554432000 134512640 135840783 4286667840 4286664272 1582375 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 249450 248703 351 325 0 248386 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 997800
[startup+522.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 9286
/proc/meminfo: memFree=24210340/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=1105356 CPUtime=522.02 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 276389 0 0 0 52118 84 0 0 20 0 1 0 338326659 1131884544 275611 33554432000 134512640 135840783 4286667840 4286667200 134551324 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 276339 275611 351 325 0 275275 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 1105356
[startup+582.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 9287
/proc/meminfo: memFree=24104100/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=1211340 CPUtime=581.99 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 302920 0 0 0 58108 91 0 0 20 0 1 0 338326659 1240412160 302103 33554432000 134512640 135840783 4286667840 4286667072 1584798 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 302835 302103 351 325 0 301771 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 1211340
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 9287
/proc/meminfo: memFree=23694272/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=1600840 CPUtime=821.88 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 400422 0 0 0 82065 123 0 0 20 0 1 0 338326659 1639260160 399463 33554432000 134512640 135840783 4286667840 4286667200 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 400210 399463 351 325 0 399146 0
Current children cumulated CPU time (s) 821.88
Current children cumulated vsize (KiB) 1600840
[startup+882.306 s]
/proc/loadavg: 2.21 2.06 2.01 3/177 9288
/proc/meminfo: memFree=23629324/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=1660316 CPUtime=881.85 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 415334 0 0 0 88056 129 0 0 20 0 1 0 338326659 1700163584 414334 33554432000 134512640 135840783 4286667840 4286667152 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 415079 414334 351 325 0 414015 0
Current children cumulated CPU time (s) 881.85
Current children cumulated vsize (KiB) 1660316
[startup+942.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/177 9327
/proc/meminfo: memFree=23811608/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=1673660 CPUtime=941.81 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 419162 0 0 0 94050 131 0 0 20 0 1 0 338326659 1713827840 417684 33554432000 134512640 135840783 4286667840 4286667264 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 418415 417684 351 325 0 417351 0
Current children cumulated CPU time (s) 941.81
Current children cumulated vsize (KiB) 1673660
[startup+1002.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 9327
/proc/meminfo: memFree=23752752/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=1673660 CPUtime=1001.77 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 419193 0 0 0 100046 131 0 0 20 0 1 0 338326659 1713827840 417684 33554432000 134512640 135840783 4286667840 4286667264 134546114 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 418415 417684 351 325 0 417351 0
Current children cumulated CPU time (s) 1001.77
Current children cumulated vsize (KiB) 1673660
[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 9330
/proc/meminfo: memFree=23735024/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=1673660 CPUtime=1061.74 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 419227 0 0 0 106043 131 0 0 20 0 1 0 338326659 1713827840 417684 33554432000 134512640 135840783 4286667840 4286667152 134550904 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 418415 417684 351 325 0 417351 0
Current children cumulated CPU time (s) 1061.74
Current children cumulated vsize (KiB) 1673660
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 9330
/proc/meminfo: memFree=23734936/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=1673660 CPUtime=1121.71 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 419265 0 0 0 112040 131 0 0 20 0 1 0 338326659 1713827840 417684 33554432000 134512640 135840783 4286667840 4286667200 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 418415 417684 351 325 0 417351 0
Current children cumulated CPU time (s) 1121.71
Current children cumulated vsize (KiB) 1673660
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 9332
/proc/meminfo: memFree=23722576/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=1673660 CPUtime=1181.7 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 419275 0 0 0 118039 131 0 0 20 0 1 0 338326659 1713827840 417684 33554432000 134512640 135840783 4286667840 4286667152 134551646 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 418415 417684 351 325 0 417351 0
Current children cumulated CPU time (s) 1181.7
Current children cumulated vsize (KiB) 1673660
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9332
/proc/meminfo: memFree=23698268/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=1673660 CPUtime=1241.69 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 419275 0 0 0 124038 131 0 0 20 0 1 0 338326659 1713827840 417684 33554432000 134512640 135840783 4286667840 4286667200 134551532 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 418415 417684 351 325 0 417351 0
Current children cumulated CPU time (s) 1241.69
Current children cumulated vsize (KiB) 1673660
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9332
/proc/meminfo: memFree=23686692/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=1673660 CPUtime=1301.68 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 419275 0 0 0 130037 131 0 0 20 0 1 0 338326659 1713827840 417684 33554432000 134512640 135840783 4286667840 4286667200 134551186 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 418415 417684 351 325 0 417351 0
Current children cumulated CPU time (s) 1301.68
Current children cumulated vsize (KiB) 1673660
[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 9332
/proc/meminfo: memFree=23686940/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=1673660 CPUtime=1361.67 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 419275 0 0 0 136036 131 0 0 20 0 1 0 338326659 1713827840 417684 33554432000 134512640 135840783 4286667840 4286667152 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 418415 417684 351 325 0 417351 0
Current children cumulated CPU time (s) 1361.67
Current children cumulated vsize (KiB) 1673660
[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9332
/proc/meminfo: memFree=23686820/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=1673660 CPUtime=1421.67 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 419275 0 0 0 142036 131 0 0 20 0 1 0 338326659 1713827840 417684 33554432000 134512640 135840783 4286667840 4286667200 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 418415 417684 351 325 0 417351 0
Current children cumulated CPU time (s) 1421.67
Current children cumulated vsize (KiB) 1673660
[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 9333
/proc/meminfo: memFree=23686820/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=1673660 CPUtime=1481.65 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 419275 0 0 0 148034 131 0 0 20 0 1 0 338326659 1713827840 417684 33554432000 134512640 135840783 4286667840 4286667200 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 418415 417684 351 325 0 417351 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 1673660
[startup+1542.31 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 9333
/proc/meminfo: memFree=23687068/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=1673660 CPUtime=1541.65 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 419275 0 0 0 154034 131 0 0 20 0 1 0 338326659 1713827840 417684 33554432000 134512640 135840783 4286667840 4286667200 134551646 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 418415 417684 351 325 0 417351 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 1673660
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9333
/proc/meminfo: memFree=23686700/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=1673660 CPUtime=1601.63 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 419275 0 0 0 160032 131 0 0 20 0 1 0 338326659 1713827840 417684 33554432000 134512640 135840783 4286667840 4286667200 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 418415 417684 351 325 0 417351 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 1673660
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9336
/proc/meminfo: memFree=23687292/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=1673660 CPUtime=1661.63 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 419275 0 0 0 166032 131 0 0 20 0 1 0 338326659 1713827840 417684 33554432000 134512640 135840783 4286667840 4286667200 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 418415 417684 351 325 0 417351 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 1673660
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9336
/proc/meminfo: memFree=23687300/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=1673660 CPUtime=1721.62 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 419275 0 0 0 172031 131 0 0 20 0 1 0 338326659 1713827840 417684 33554432000 134512640 135840783 4286667840 4286667152 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 418415 417684 351 325 0 417351 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 1673660
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 9337
/proc/meminfo: memFree=23687052/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=1673660 CPUtime=1781.61 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 419275 0 0 0 178030 131 0 0 20 0 1 0 338326659 1713827840 417684 33554432000 134512640 135840783 4286667840 4286667200 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 418415 417684 351 325 0 417351 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 1673660
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.7 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 9337
/proc/meminfo: memFree=23687052/32873648 swapFree=6852/6852
[pid=9281] ppid=9279 vsize=1673660 CPUtime=1800.02 cores=0,2,4,6
/proc/9281/stat : 9281 (bsolo3.0.17) R 9279 9281 8706 0 -1 4202496 419275 0 0 0 179871 131 0 0 20 0 1 0 338326659 1713827840 417684 33554432000 134512640 135840783 4286667840 4286667152 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9281/statm: 418415 417684 351 325 0 417351 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1673660
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.72
CPU time (s): 1800.03
CPU user time (s): 1798.71
CPU system time (s): 1.3178
CPU usage (%): 99.9618
Max. virtual memory (cumulated for all children) (KiB): 1675384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.71
system time used= 1.3178
maximum resident set size= 1672460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 419278
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= 730
involuntary context switches= 1995
runsolver used 3.38948 second user time and 9.02563 second system time
The end