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-3733198-1338693544/watcher-3733198-1338693544 -o /tmp/evaluation-result-3733198-1338693544/solver-3733198-1338693544 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733198-1338693544.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.98 1.99 3/176 9147
/proc/meminfo: memFree=26898672/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4194304 94 0 0 0 0 0 0 0 20 0 1 0 335478756 2723840 47 33554432000 134512640 135840783 4289180928 4289178964 12317636 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9147/statm: 665 47 37 325 0 32 0

[startup+0.047456 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 9147
/proc/meminfo: memFree=26898672/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=9000 CPUtime=0.04 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 1102 0 0 0 4 0 0 0 20 0 1 0 335478756 9216000 1039 33554432000 134512640 135840783 4289180928 4289179632 2499879 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9147/statm: 2250 1039 448 325 0 624 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9000

[startup+0.100226 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 9147
/proc/meminfo: memFree=26898672/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=11752 CPUtime=0.08 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 1950 0 0 0 8 0 0 0 20 0 1 0 335478756 12034048 1887 33554432000 134512640 135840783 4289180928 4289179760 2499879 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9147/statm: 2938 1887 614 325 0 1312 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11752

[startup+0.30023 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 9147
/proc/meminfo: memFree=26898672/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=21444 CPUtime=0.29 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 5235 0 0 0 28 1 0 0 20 0 1 0 335478756 21958656 4610 33554432000 134512640 135840783 4289180928 4289164604 13476912 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9147/statm: 5361 4610 345 325 0 4297 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21444

[startup+0.700229 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 9147
/proc/meminfo: memFree=26898672/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=21444 CPUtime=0.69 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 5235 0 0 0 67 2 0 0 20 0 1 0 335478756 21958656 4610 33554432000 134512640 135840783 4289180928 4289164604 13476912 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9147/statm: 5361 4610 345 325 0 4297 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21444

[startup+1.5002 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 9148
/proc/meminfo: memFree=26881560/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=32584 CPUtime=1.48 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 9457 0 0 0 145 3 0 0 20 0 1 0 335478756 33366016 7411 33554432000 134512640 135840783 4289180928 4289180288 134551093 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9147/statm: 8146 7411 350 325 0 7082 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 32584

[startup+3.10022 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 9148
/proc/meminfo: memFree=26853892/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=67040 CPUtime=3.08 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 18070 0 0 0 304 4 0 0 20 0 1 0 335478756 68648960 16024 33554432000 134512640 135840783 4289180928 4289180240 134551175 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9147/statm: 16760 16024 350 325 0 15696 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 67040

[startup+6.3002 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 9148
/proc/meminfo: memFree=26804292/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=110516 CPUtime=6.28 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 28951 0 0 0 622 6 0 0 20 0 1 0 335478756 113168384 26905 33554432000 134512640 135840783 4289180928 4289165188 2494623 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9147/statm: 27629 26905 350 325 0 26565 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 110516

[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 9148
/proc/meminfo: memFree=26729512/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=183944 CPUtime=12.68 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 47293 0 0 0 1259 9 0 0 20 0 1 0 335478756 188358656 45247 33554432000 134512640 135840783 4289180928 4289180288 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9147/statm: 45986 45247 350 325 0 44922 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 183944

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9148
/proc/meminfo: memFree=26574620/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=329116 CPUtime=25.48 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 83586 0 0 0 2533 15 0 0 20 0 1 0 335478756 337014784 81540 33554432000 134512640 135840783 4289180928 4289165376 134586540 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9147/statm: 82279 81540 350 325 0 81215 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 329116

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9149
/proc/meminfo: memFree=26450572/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=456052 CPUtime=51.07 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 115335 0 0 0 5086 21 0 0 20 0 1 0 335478756 466997248 113289 33554432000 134512640 135840783 4289180928 4289180288 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9147/statm: 114013 113289 350 325 0 112949 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 456052

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9152
/proc/meminfo: memFree=26201740/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=700020 CPUtime=102.26 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 176300 0 0 0 10193 33 0 0 20 0 1 0 335478756 716820480 174254 33554432000 134512640 135840783 4289180928 4289180288 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9147/statm: 175005 174254 350 325 0 173941 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 700020

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9152
/proc/meminfo: memFree=26062400/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=840888 CPUtime=162.24 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 211536 0 0 0 16181 43 0 0 20 0 1 0 335478756 861069312 209490 33554432000 134512640 135840783 4289180928 4289180288 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9147/statm: 210222 209490 350 325 0 209158 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 840888

[startup+222.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/177 9152
/proc/meminfo: memFree=25915488/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=950044 CPUtime=222.23 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 238829 0 0 0 22173 50 0 0 20 0 1 0 335478756 972845056 236783 33554432000 134512640 135840783 4289180928 4289180288 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9147/statm: 237511 236783 350 325 0 236447 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 950044

[startup+282.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 9152
/proc/meminfo: memFree=25781472/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=1052556 CPUtime=282.22 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 264450 0 0 0 28165 57 0 0 20 0 1 0 335478756 1077817344 262404 33554432000 134512640 135840783 4289180928 4289180288 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9147/statm: 263139 262404 350 325 0 262075 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1052556

[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 9153
/proc/meminfo: memFree=25688748/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=1144772 CPUtime=342.21 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 287491 0 0 0 34160 61 0 0 20 0 1 0 335478756 1172246528 285445 33554432000 134512640 135840783 4289180928 4289180288 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9147/statm: 286193 285445 350 325 0 285129 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1144772

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9153
/proc/meminfo: memFree=25527700/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=1306084 CPUtime=402.19 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 327842 0 0 0 40150 69 0 0 20 0 1 0 335478756 1337430016 325791 33554432000 134512640 135840783 4289180928 4289180288 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9147/statm: 326521 325791 350 325 0 325457 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1306084

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9153
/proc/meminfo: memFree=25418608/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=1414120 CPUtime=462.15 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 354885 0 0 0 46139 76 0 0 20 0 1 0 335478756 1448058880 352804 33554432000 134512640 135840783 4289180928 4289180288 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9147/statm: 353530 352804 350 325 0 352466 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1414120

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9153
/proc/meminfo: memFree=25324892/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=1508708 CPUtime=522.12 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 378536 0 0 0 52130 82 0 0 20 0 1 0 335478756 1544916992 376443 33554432000 134512640 135840783 4289180928 4289180288 134551076 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9147/statm: 377177 376443 350 325 0 376113 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 1508708

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9153
/proc/meminfo: memFree=25252628/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=1579540 CPUtime=582.09 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 396275 0 0 0 58123 86 0 0 20 0 1 0 335478756 1617448960 394159 33554432000 134512640 135840783 4289180928 4289180288 134550863 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9147/statm: 394885 394159 350 325 0 393821 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 1579540

[startup+642.3 s]

################
# More data... #
################

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9157
/proc/meminfo: memFree=25195232/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=1635948 CPUtime=882.01 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 410510 0 0 0 88110 91 0 0 20 0 1 0 335478756 1675210752 408245 33554432000 134512640 135840783 4289180928 4289180288 134551528 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9147/statm: 408987 408245 350 325 0 407923 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 1635948

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9158
/proc/meminfo: memFree=25195500/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=1635948 CPUtime=941.99 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 410520 0 0 0 94108 91 0 0 20 0 1 0 335478756 1675210752 408245 33554432000 134512640 135840783 4289180928 4289180288 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9147/statm: 408987 408245 350 325 0 407923 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 1635948

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9159
/proc/meminfo: memFree=25195412/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=1635948 CPUtime=1001.97 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 410531 0 0 0 100106 91 0 0 20 0 1 0 335478756 1675210752 408245 33554432000 134512640 135840783 4289180928 4289180288 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9147/statm: 408987 408245 350 325 0 407923 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 1635948

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9159
/proc/meminfo: memFree=25186140/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=1635948 CPUtime=1061.95 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 410547 0 0 0 106104 91 0 0 20 0 1 0 335478756 1675210752 408245 33554432000 134512640 135840783 4289180928 4289180288 134550878 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9147/statm: 408987 408245 350 325 0 407923 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 1635948

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9159
/proc/meminfo: memFree=25122556/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=1635948 CPUtime=1121.93 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 410562 0 0 0 112102 91 0 0 20 0 1 0 335478756 1675210752 408245 33554432000 134512640 135840783 4289180928 4289180288 134551104 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9147/statm: 408987 408245 350 325 0 407923 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 1635948

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9159
/proc/meminfo: memFree=25122460/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=1635948 CPUtime=1181.89 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 410595 0 0 0 118098 91 0 0 20 0 1 0 335478756 1675210752 408245 33554432000 134512640 135840783 4289180928 4289180288 134551081 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9147/statm: 408987 408245 350 325 0 407923 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 1635948

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9159
/proc/meminfo: memFree=25122240/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=1635948 CPUtime=1241.85 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 410621 0 0 0 124094 91 0 0 20 0 1 0 335478756 1675210752 408245 33554432000 134512640 135840783 4289180928 4289180288 134551104 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9147/statm: 408987 408245 350 325 0 407923 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1635948

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9163
/proc/meminfo: memFree=25122260/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=1635948 CPUtime=1301.84 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 410633 0 0 0 130093 91 0 0 20 0 1 0 335478756 1675210752 408245 33554432000 134512640 135840783 4289180928 4289180288 134551104 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9147/statm: 408987 408245 350 325 0 407923 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1635948

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9163
/proc/meminfo: memFree=25079268/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=1680488 CPUtime=1361.81 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 421770 0 0 0 136088 93 0 0 20 0 1 0 335478756 1720819712 419380 33554432000 134512640 135840783 4289180928 4289165280 134586540 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9147/statm: 420122 419380 350 325 0 419058 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1680488

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9163
/proc/meminfo: memFree=24988404/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=1770516 CPUtime=1421.78 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 444299 0 0 0 142079 99 0 0 20 0 1 0 335478756 1813008384 441876 33554432000 134512640 135840783 4289180928 4289180288 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9147/statm: 442629 441876 350 325 0 441565 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 1770516

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9163
/proc/meminfo: memFree=24933748/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=1825248 CPUtime=1481.73 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 458051 0 0 0 148070 103 0 0 20 0 1 0 335478756 1869053952 455591 33554432000 134512640 135840783 4289180928 4289180288 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9147/statm: 456312 455591 350 325 0 455248 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 1825248

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9163
/proc/meminfo: memFree=24873144/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=1885732 CPUtime=1541.71 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 473159 0 0 0 154063 108 0 0 20 0 1 0 335478756 1930989568 470684 33554432000 134512640 135840783 4289180928 4289180288 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9147/statm: 471433 470684 350 325 0 470369 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 1885732

[startup+1602.3 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 9203
/proc/meminfo: memFree=25657296/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=1940604 CPUtime=1601.7 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 486873 0 0 0 160059 111 0 0 20 0 1 0 335478756 1987178496 484398 33554432000 134512640 135840783 4289180928 4289180288 134551324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9147/statm: 485151 484398 350 325 0 484087 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 1940604

[startup+1662.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/177 9203
/proc/meminfo: memFree=25624584/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=1971260 CPUtime=1661.69 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 494675 0 0 0 166056 113 0 0 20 0 1 0 335478756 2018570240 492078 33554432000 134512640 135840783 4289180928 4289180288 134550878 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9147/statm: 492815 492078 350 325 0 491751 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 1971260

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 9203
/proc/meminfo: memFree=25623716/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=1971260 CPUtime=1721.68 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 494675 0 0 0 172055 113 0 0 20 0 1 0 335478756 2018570240 492078 33554432000 134512640 135840783 4289180928 4289180144 2502295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9147/statm: 492815 492078 350 325 0 491751 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 1971260

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 9203
/proc/meminfo: memFree=25623344/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=1971260 CPUtime=1781.67 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 494675 0 0 0 178054 113 0 0 20 0 1 0 335478756 2018570240 492078 33554432000 134512640 135840783 4289180928 4289180288 134550910 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9147/statm: 492815 492078 350 325 0 491751 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 1971260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 2.06 2.00 2.00 3/177 9203
/proc/meminfo: memFree=25623592/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=1971260 CPUtime=1800.08 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 494675 0 0 0 179895 113 0 0 20 0 1 0 335478756 2018570240 492078 33554432000 134512640 135840783 4289180928 4289180288 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9147/statm: 492815 492078 350 325 0 491751 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1971260

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.71 s]
/proc/loadavg: 2.06 2.00 2.00 3/177 9203
/proc/meminfo: memFree=25623592/32873844 swapFree=7628/7628
[pid=9147] ppid=9145 vsize=1971260 CPUtime=1800.08 cores=0,2,4,6
/proc/9147/stat : 9147 (bsolo3.0.17) R 9145 9147 7463 0 -1 4202496 494675 0 0 0 179895 113 0 0 20 0 1 0 335478756 2018570240 492078 33554432000 134512640 135840783 4289180928 4289180288 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9147/statm: 492815 492078 350 325 0 491751 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1971260

Child status: 15
Real time (s): 1800.73
CPU time (s): 1800.1
CPU user time (s): 1798.96
CPU system time (s): 1.14882
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (KiB): 1971260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 1.14882
maximum resident set size= 1968800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 494678
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= 379
involuntary context switches= 1926

runsolver used 3.37349 second user time and 8.87065 second system time

The end