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-3730992-1338682549/watcher-3730992-1338682549 -o /tmp/evaluation-result-3730992-1338682549/solver-3730992-1338682549 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3730992-1338682549.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.99 1.99 3/176 11400
/proc/meminfo: memFree=26506864/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=5752 CPUtime=0 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 485 0 0 0 0 0 0 0 20 0 1 0 334379030 5890048 422 33554432000 134512640 135840783 4290009792 4290008352 3077415 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 1438 422 327 325 0 111 0
[startup+0.0980899 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 11400
/proc/meminfo: memFree=26506864/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=10256 CPUtime=0.09 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 2152 0 0 0 9 0 0 0 20 0 1 0 334379030 10502144 1826 33554432000 134512640 135840783 4290009792 4289953660 5055536 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 2564 1826 341 325 0 1500 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10256
[startup+0.100245 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 11400
/proc/meminfo: memFree=26506864/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=10256 CPUtime=0.09 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 2152 0 0 0 9 0 0 0 20 0 1 0 334379030 10502144 1826 33554432000 134512640 135840783 4290009792 4289953660 5055536 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 2564 1826 341 325 0 1500 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10256
[startup+0.300245 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 11400
/proc/meminfo: memFree=26506864/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=12052 CPUtime=0.29 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 3334 0 0 0 28 1 0 0 20 0 1 0 334379030 12341248 2276 33554432000 134512640 135840783 4290009792 4290007104 3077415 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 3013 2276 346 325 0 1949 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12052
[startup+0.700221 s]
/proc/loadavg: 1.92 1.99 1.99 3/176 11400
/proc/meminfo: memFree=26506864/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=15700 CPUtime=0.69 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 4250 0 0 0 68 1 0 0 20 0 1 0 334379030 16076800 3192 33554432000 134512640 135840783 4290009792 4290006912 3077415 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 3925 3192 346 325 0 2861 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15700
[startup+1.50023 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 11401
/proc/meminfo: memFree=26493812/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=21008 CPUtime=1.49 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 5588 0 0 0 147 2 0 0 20 0 1 0 334379030 21512192 4530 33554432000 134512640 135840783 4290009792 4290004640 3077415 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 5252 4530 346 325 0 4188 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21008
[startup+3.10023 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 11401
/proc/meminfo: memFree=26486000/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=28748 CPUtime=3.08 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 7525 0 0 0 306 2 0 0 20 0 1 0 334379030 29437952 6467 33554432000 134512640 135840783 4290009792 4290007472 3077415 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 7187 6467 346 325 0 6123 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 28748
[startup+6.30023 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 11401
/proc/meminfo: memFree=26468540/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=45936 CPUtime=6.29 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 11817 0 0 0 626 3 0 0 20 0 1 0 334379030 47038464 10759 33554432000 134512640 135840783 4290009792 4290007712 3077415 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 11484 10759 346 325 0 10420 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45936
[startup+12.7002 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 11401
/proc/meminfo: memFree=26437420/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=69884 CPUtime=12.68 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 17792 0 0 0 1264 4 0 0 20 0 1 0 334379030 71561216 16734 33554432000 134512640 135840783 4290009792 4290006864 3077415 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 17471 16734 346 325 0 16407 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 69884
[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 11401
/proc/meminfo: memFree=26407248/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=88996 CPUtime=25.48 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 22587 0 0 0 2543 5 0 0 20 0 1 0 334379030 91131904 21529 33554432000 134512640 135840783 4290009792 4290009152 134551336 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 22249 21529 346 325 0 21185 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 88996
[startup+51.1003 s]
/proc/loadavg: 1.96 1.99 1.99 3/177 11401
/proc/meminfo: memFree=26320696/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=158040 CPUtime=51.08 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 39845 0 0 0 5097 11 0 0 20 0 1 0 334379030 161832960 38787 33554432000 134512640 135840783 4290009792 4290009152 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 39510 38787 346 325 0 38446 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 158040
[startup+102.307 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 11401
/proc/meminfo: memFree=26204136/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=242820 CPUtime=102.28 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 61019 0 0 0 10211 17 0 0 20 0 1 0 334379030 248647680 59961 33554432000 134512640 135840783 4290009792 4290009152 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 60705 59961 346 325 0 59641 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 242820
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 11401
/proc/meminfo: memFree=26095924/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=313080 CPUtime=162.26 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 78723 0 0 0 16203 23 0 0 20 0 1 0 334379030 320593920 77541 33554432000 134512640 135840783 4290009792 4290009152 134550921 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 78270 77541 346 325 0 77206 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 313080
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 11402
/proc/meminfo: memFree=26060740/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=313080 CPUtime=222.25 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 78723 0 0 0 22202 23 0 0 20 0 1 0 334379030 320593920 77541 33554432000 134512640 135840783 4290009792 4290009152 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 78270 77541 346 325 0 77206 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 313080
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 11405
/proc/meminfo: memFree=26027284/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=313080 CPUtime=282.24 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 78723 0 0 0 28201 23 0 0 20 0 1 0 334379030 320593920 77541 33554432000 134512640 135840783 4290009792 4290009104 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 78270 77541 346 325 0 77206 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 313080
[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 11405
/proc/meminfo: memFree=25982684/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=313080 CPUtime=342.23 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 78723 0 0 0 34200 23 0 0 20 0 1 0 334379030 320593920 77541 33554432000 134512640 135840783 4290009792 4290004608 134586855 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 78270 77541 346 325 0 77206 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 313080
[startup+402.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 11443
/proc/meminfo: memFree=26837056/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=390036 CPUtime=402.23 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 97964 0 0 0 40193 30 0 0 20 0 1 0 334379030 399396864 96775 33554432000 134512640 135840783 4290009792 4290005424 3077415 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 97509 96775 346 325 0 96445 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 390036
[startup+462.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 11443
/proc/meminfo: memFree=26745200/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=435108 CPUtime=462.19 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 109285 0 0 0 46182 37 0 0 20 0 1 0 334379030 445550592 108054 33554432000 134512640 135840783 4290009792 4290009152 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 108777 108054 346 325 0 107713 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 435108
[startup+522.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 11444
/proc/meminfo: memFree=26675912/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=457060 CPUtime=522.14 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 114948 0 0 0 52174 40 0 0 20 0 1 0 334379030 468029440 113523 33554432000 134512640 135840783 4290009792 4290009152 134551052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 114265 113523 346 325 0 113201 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 457060
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 11444
/proc/meminfo: memFree=26670732/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=457060 CPUtime=582.1 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 114989 0 0 0 58170 40 0 0 20 0 1 0 334379030 468029440 113523 33554432000 134512640 135840783 4290009792 4290009152 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 114265 113523 346 325 0 113201 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 457060
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11449
/proc/meminfo: memFree=26559804/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=457128 CPUtime=882.01 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 115073 0 0 0 88161 40 0 0 20 0 1 0 334379030 468099072 113539 33554432000 134512640 135840783 4290009792 4290009152 134551106 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 114282 113539 346 325 0 113218 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 457128
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11449
/proc/meminfo: memFree=26513684/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=457128 CPUtime=942 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 115073 0 0 0 94160 40 0 0 20 0 1 0 334379030 468099072 113539 33554432000 134512640 135840783 4290009792 4290009152 134550939 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 114282 113539 346 325 0 113218 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 457128
[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 11449
/proc/meminfo: memFree=26501656/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=457128 CPUtime=1001.99 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 115073 0 0 0 100159 40 0 0 20 0 1 0 334379030 468099072 113539 33554432000 134512640 135840783 4290009792 4290009152 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 114282 113539 346 325 0 113218 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 457128
[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 11449
/proc/meminfo: memFree=26501656/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=457128 CPUtime=1061.98 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 115073 0 0 0 106158 40 0 0 20 0 1 0 334379030 468099072 113539 33554432000 134512640 135840783 4290009792 4290009104 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 114282 113539 346 325 0 113218 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 457128
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11450
/proc/meminfo: memFree=26445364/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=457128 CPUtime=1121.97 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 115074 0 0 0 112157 40 0 0 20 0 1 0 334379030 468099072 113540 33554432000 134512640 135840783 4290009792 4290009144 5634256 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 114282 113540 346 325 0 113218 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 457128
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11450
/proc/meminfo: memFree=26416968/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=457128 CPUtime=1181.96 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 115074 0 0 0 118156 40 0 0 20 0 1 0 334379030 468099072 113540 33554432000 134512640 135840783 4290009792 4290009152 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 114282 113540 346 325 0 113218 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 457128
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11450
/proc/meminfo: memFree=26410012/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=457128 CPUtime=1241.95 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 115074 0 0 0 124155 40 0 0 20 0 1 0 334379030 468099072 113540 33554432000 134512640 135840783 4290009792 4290009152 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 114282 113540 346 325 0 113218 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 457128
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11450
/proc/meminfo: memFree=26409792/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=457128 CPUtime=1301.95 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 115074 0 0 0 130155 40 0 0 20 0 1 0 334379030 468099072 113540 33554432000 134512640 135840783 4290009792 4290009152 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 114282 113540 346 325 0 113218 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 457128
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11450
/proc/meminfo: memFree=26409992/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=457128 CPUtime=1361.93 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 115074 0 0 0 136153 40 0 0 20 0 1 0 334379030 468099072 113540 33554432000 134512640 135840783 4290009792 4290009144 5634233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 114282 113540 346 325 0 113218 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 457128
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11451
/proc/meminfo: memFree=26364484/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=503716 CPUtime=1421.94 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 126723 0 0 0 142148 46 0 0 20 0 1 0 334379030 515805184 125189 33554432000 134512640 135840783 4290009792 4290009152 134551504 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 125929 125189 346 325 0 124865 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 503716
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11454
/proc/meminfo: memFree=26333848/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=533584 CPUtime=1481.92 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 134373 0 0 0 148142 50 0 0 20 0 1 0 334379030 546390016 132656 33554432000 134512640 135840783 4290009792 4290009152 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 133396 132656 346 325 0 132332 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 533584
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11454
/proc/meminfo: memFree=26333860/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=533584 CPUtime=1541.91 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 134373 0 0 0 154141 50 0 0 20 0 1 0 334379030 546390016 132656 33554432000 134512640 135840783 4290009792 4290009152 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 133396 132656 346 325 0 132332 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 533584
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11454
/proc/meminfo: memFree=26333612/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=533584 CPUtime=1601.9 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 134373 0 0 0 160140 50 0 0 20 0 1 0 334379030 546390016 132656 33554432000 134512640 135840783 4290009792 4290009104 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 133396 132656 346 325 0 132332 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 533584
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11454
/proc/meminfo: memFree=26333476/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=533584 CPUtime=1661.86 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 134409 0 0 0 166136 50 0 0 20 0 1 0 334379030 546390016 132656 33554432000 134512640 135840783 4290009792 4290009152 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 133396 132656 346 325 0 132332 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 533584
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11455
/proc/meminfo: memFree=26333984/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=533584 CPUtime=1721.86 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 134409 0 0 0 172136 50 0 0 20 0 1 0 334379030 546390016 132656 33554432000 134512640 135840783 4290009792 4290009152 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 133396 132656 346 325 0 132332 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 533584
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11455
/proc/meminfo: memFree=26328776/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=533584 CPUtime=1781.85 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 134409 0 0 0 178135 50 0 0 20 0 1 0 334379030 546390016 132656 33554432000 134512640 135840783 4290009792 4290009152 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 133396 132656 346 325 0 132332 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 533584
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11455
/proc/meminfo: memFree=26311416/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=533584 CPUtime=1800.05 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 134409 0 0 0 179955 50 0 0 20 0 1 0 334379030 546390016 132656 33554432000 134512640 135840783 4290009792 4290009104 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 133396 132656 346 325 0 132332 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 533584
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: 2.00 2.00 2.00 3/177 11455
/proc/meminfo: memFree=26311416/32873648 swapFree=7368/7368
[pid=11400] ppid=11398 vsize=533584 CPUtime=1800.05 cores=1,3,5,7
/proc/11400/stat : 11400 (bsolo3.0.17) R 11398 11400 10459 0 -1 4202496 134409 0 0 0 179955 50 0 0 20 0 1 0 334379030 546390016 132656 33554432000 134512640 135840783 4290009792 4290009104 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11400/statm: 133396 132656 346 325 0 132332 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 533584
Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.56
CPU system time (s): 0.506922
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 534316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.506922
maximum resident set size= 531356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134412
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= 1846
runsolver used 3.24051 second user time and 9.70452 second system time
The end