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-3732384-1338689828/watcher-3732384-1338689828 -o /tmp/evaluation-result-3732384-1338689828/solver-3732384-1338689828 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3732384-1338689828.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: 2.00 2.00 2.00 3/174 26950
/proc/meminfo: memFree=28175540/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=4764 CPUtime=0 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 466 0 0 0 0 0 0 0 20 0 1 0 335108293 4878336 403 33554432000 134512640 135840783 4287690560 4287689200 3478823 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 1191 403 330 325 0 108 0
[startup+0.0286399 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 26950
/proc/meminfo: memFree=28175540/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=5144 CPUtime=0.02 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 689 0 0 0 2 0 0 0 20 0 1 0 335108293 5267456 583 33554432000 134512640 135840783 4287690560 4287689152 4969520 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 1278 575 371 325 0 214 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144
[startup+0.100256 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 26950
/proc/meminfo: memFree=28175540/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=6608 CPUtime=0.09 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 2968 0 0 0 9 0 0 0 20 0 1 0 335108293 6766592 727 33554432000 134512640 135840783 4287690560 4287689072 3478823 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 1701 733 433 325 0 637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6608
[startup+0.300231 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 26950
/proc/meminfo: memFree=28175540/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=6800 CPUtime=0.29 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 13818 0 0 0 28 1 0 0 20 0 1 0 335108293 6963200 781 33554432000 134512640 135840783 4287690560 4287689216 4969520 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 1313 672 433 325 0 249 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6800
[startup+0.700225 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 26950
/proc/meminfo: memFree=28175540/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=5252 CPUtime=0.69 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 30138 0 0 0 66 3 0 0 20 0 1 0 335108293 5378048 672 33554432000 134512640 135840783 4287690560 4287689216 4969520 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 1313 672 433 325 0 249 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5252
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26951
/proc/meminfo: memFree=28173284/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=7364 CPUtime=1.49 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 31471 0 0 0 146 3 0 0 20 0 1 0 335108293 7540736 1181 33554432000 134512640 135840783 4287690560 4287687680 4242824 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 1841 1181 433 325 0 777 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7364
[startup+3.10019 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26951
/proc/meminfo: memFree=28171896/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=8584 CPUtime=3.09 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 37978 0 0 0 305 4 0 0 20 0 1 0 335108293 8790016 1484 33554432000 134512640 135840783 4287690560 4287688912 135265325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 2146 1484 433 325 0 1082 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8584
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26951
/proc/meminfo: memFree=28169912/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=9884 CPUtime=6.28 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 38782 0 0 0 624 4 0 0 20 0 1 0 335108293 10121216 1730 33554432000 134512640 135840783 4287690560 4287687840 135336299 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 2471 1730 433 325 0 1407 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 9884
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26951
/proc/meminfo: memFree=28169688/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=9352 CPUtime=12.69 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 68689 0 0 0 1258 11 0 0 20 0 1 0 335108293 9576448 1698 33554432000 134512640 135840783 4287690560 4287689944 134765619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 2338 1698 433 325 0 1274 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9352
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26951
/proc/meminfo: memFree=28170192/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=10292 CPUtime=25.48 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 215285 0 0 0 2506 42 0 0 20 0 1 0 335108293 10539008 1710 33554432000 134512640 135840783 4287690560 4287688728 135306417 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 2573 1710 433 325 0 1509 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10292
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26951
/proc/meminfo: memFree=28169076/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=10960 CPUtime=51.08 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 431949 0 0 0 5024 84 0 0 20 0 1 0 335108293 11223040 2061 33554432000 134512640 135840783 4287690560 4287689112 134689786 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 2740 2061 433 325 0 1676 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10960
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26952
/proc/meminfo: memFree=28168084/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=11648 CPUtime=102.28 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 496286 0 0 0 10133 95 0 0 20 0 1 0 335108293 11927552 2226 33554432000 134512640 135840783 4287690560 4287687528 135308514 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 2912 2226 433 325 0 1848 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 11648
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/175 27067
/proc/meminfo: memFree=28389924/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=13024 CPUtime=162.26 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 556074 0 0 0 16120 106 0 0 20 0 1 0 335108293 13336576 2583 33554432000 134512640 135840783 4287690560 4287688976 134705532 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 3256 2583 433 325 0 2192 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 13024
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/176 27070
/proc/meminfo: memFree=28371816/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=13168 CPUtime=222.25 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 556088 0 0 0 22119 106 0 0 20 0 1 0 335108293 13484032 2597 33554432000 134512640 135840783 4287690560 4287687584 135189227 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 3292 2597 433 325 0 2228 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 13168
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/175 27070
/proc/meminfo: memFree=28367480/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=13168 CPUtime=282.24 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 556088 0 0 0 28118 106 0 0 20 0 1 0 335108293 13484032 2597 33554432000 134512640 135840783 4287690560 4287687612 134687784 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 3292 2597 433 325 0 2228 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 13168
[startup+342.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/175 27070
/proc/meminfo: memFree=28357368/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=13172 CPUtime=342.23 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 556096 0 0 0 34117 106 0 0 20 0 1 0 335108293 13488128 2605 33554432000 134512640 135840783 4287690560 4287688888 135308523 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 3293 2605 433 325 0 2229 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 13172
[startup+402.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/175 27071
/proc/meminfo: memFree=28357176/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=13172 CPUtime=402.22 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 556101 0 0 0 40116 106 0 0 20 0 1 0 335108293 13488128 2610 33554432000 134512640 135840783 4287690560 4287687612 134687740 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 3293 2610 433 325 0 2229 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 13172
[startup+462.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/175 27071
/proc/meminfo: memFree=28357424/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=13340 CPUtime=462.21 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 565470 0 0 0 46112 109 0 0 20 0 1 0 335108293 13660160 2604 33554432000 134512640 135840783 4287690560 4287688912 135267327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 3335 2604 433 325 0 2271 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 13340
[startup+522.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/175 27071
/proc/meminfo: memFree=28356928/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=14028 CPUtime=522.2 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 574396 0 0 0 52108 112 0 0 20 0 1 0 335108293 14364672 2792 33554432000 134512640 135840783 4287690560 4287688816 134948535 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 3507 2792 433 325 0 2443 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 14028
[startup+582.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/175 27071
/proc/meminfo: memFree=28348736/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=14028 CPUtime=582.19 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 574397 0 0 0 58107 112 0 0 20 0 1 0 335108293 14364672 2843 33554432000 134512640 135840783 4287690560 4287687696 134799715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 3507 2843 433 325 0 2443 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 14028
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 27075
/proc/meminfo: memFree=28343644/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=14768 CPUtime=882.15 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 1554101 0 0 0 87893 322 0 0 20 0 1 0 335108293 15122432 2792 33554432000 134512640 135840783 4287690560 4287688728 135306433 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 3692 2792 433 325 0 2628 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 14768
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27076
/proc/meminfo: memFree=28344008/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=14644 CPUtime=942.14 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 2342698 0 0 0 93725 489 0 0 20 0 1 0 335108293 14995456 2790 33554432000 134512640 135840783 4287690560 4287689248 135234413 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 3661 2790 433 325 0 2597 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 14644
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27077
/proc/meminfo: memFree=28344200/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=14144 CPUtime=1002.13 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 2883165 0 0 0 99593 620 0 0 20 0 1 0 335108293 14483456 2778 33554432000 134512640 135840783 4287690560 4287687376 3478705 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 3536 2778 433 325 0 2472 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 14144
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27077
/proc/meminfo: memFree=28344076/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=14452 CPUtime=1062.12 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 3284148 0 0 0 105487 725 0 0 20 0 1 0 335108293 14798848 2776 33554432000 134512640 135840783 4287690560 4287687424 4969520 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 3534 2778 433 325 0 2470 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 14452
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27077
/proc/meminfo: memFree=28344200/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=14484 CPUtime=1122.11 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 3735357 0 0 0 111365 846 0 0 20 0 1 0 335108293 14831616 2782 33554432000 134512640 135840783 4287690560 4287687560 134689757 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 3621 2782 433 325 0 2557 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 14484
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27077
/proc/meminfo: memFree=28344076/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=14468 CPUtime=1182.1 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 4200895 0 0 0 117234 976 0 0 20 0 1 0 335108293 14815232 2781 33554432000 134512640 135840783 4287690560 4287687520 3478705 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 3617 2781 433 325 0 2553 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 14468
[startup+1242.3 s]
/proc/loadavg: 2.14 2.03 2.01 3/175 27077
/proc/meminfo: memFree=28344136/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=14468 CPUtime=1242.09 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 4624698 0 0 0 123122 1087 0 0 20 0 1 0 335108293 14815232 2781 33554432000 134512640 135840783 4287690560 4287689072 3478705 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 3617 2781 433 325 0 2553 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 14468
[startup+1302.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/175 27078
/proc/meminfo: memFree=28343764/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=14468 CPUtime=1302.09 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 5045078 0 0 0 129006 1203 0 0 20 0 1 0 335108293 14815232 2782 33554432000 134512640 135840783 4287690560 4287689072 3478705 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 3617 2782 433 325 0 2553 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 14468
[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 27078
/proc/meminfo: memFree=28334268/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=13664 CPUtime=1362.07 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 5443375 0 0 0 134898 1309 0 0 20 0 1 0 335108293 13991936 2776 33554432000 134512640 135840783 4287690560 4287688976 134709864 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 3416 2776 433 325 0 2352 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 13664
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 27081
/proc/meminfo: memFree=28334320/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=15600 CPUtime=1422.07 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 5800206 0 0 0 140824 1383 0 0 20 0 1 0 335108293 15974400 3198 33554432000 134512640 135840783 4287690560 4287688816 135254102 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 3900 3198 433 325 0 2836 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 15600
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 27081
/proc/meminfo: memFree=28334452/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=15600 CPUtime=1482.05 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 5800206 0 0 0 146822 1383 0 0 20 0 1 0 335108293 15974400 3198 33554432000 134512640 135840783 4287690560 4287688976 134709716 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 3900 3198 433 325 0 2836 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 15600
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27081
/proc/meminfo: memFree=28334700/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=15600 CPUtime=1542.04 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 5800209 0 0 0 152821 1383 0 0 20 0 1 0 335108293 15974400 3201 33554432000 134512640 135840783 4287690560 4287688904 135324305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 3900 3201 433 325 0 2836 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 15600
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27082
/proc/meminfo: memFree=28335072/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=15600 CPUtime=1602.03 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 5800210 0 0 0 158820 1383 0 0 20 0 1 0 335108293 15974400 3202 33554432000 134512640 135840783 4287690560 4287688976 134709536 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 3900 3202 433 325 0 2836 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 15600
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27082
/proc/meminfo: memFree=28330608/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=15600 CPUtime=1662.02 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 5800210 0 0 0 164819 1383 0 0 20 0 1 0 335108293 15974400 3202 33554432000 134512640 135840783 4287690560 4287687712 135189227 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 3900 3202 433 325 0 2836 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 15600
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 27082
/proc/meminfo: memFree=28330604/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=15600 CPUtime=1722.02 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 5800210 0 0 0 170819 1383 0 0 20 0 1 0 335108293 15974400 3202 33554432000 134512640 135840783 4287690560 4287688976 134705360 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 3900 3202 433 325 0 2836 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 15600
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 27082
/proc/meminfo: memFree=28330232/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=15600 CPUtime=1782.01 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 5800210 0 0 0 176818 1383 0 0 20 0 1 0 335108293 15974400 3202 33554432000 134512640 135840783 4287690560 4287687584 135187964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 3900 3202 433 325 0 2836 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 15600
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 27082
/proc/meminfo: memFree=28330108/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=15600 CPUtime=1800.01 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 5800210 0 0 0 178618 1383 0 0 20 0 1 0 335108293 15974400 3202 33554432000 134512640 135840783 4287690560 4287687664 135153492 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 3900 3202 433 325 0 2836 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 15600
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 27082
/proc/meminfo: memFree=28330108/32873852 swapFree=7624/7624
[pid=26950] ppid=26948 vsize=15600 CPUtime=1800.01 cores=1,3,5,7
/proc/26950/stat : 26950 (bsolo3.0.17) R 26948 26950 25229 0 -1 4202496 5800210 0 0 0 178618 1383 0 0 20 0 1 0 335108293 15974400 3202 33554432000 134512640 135840783 4287690560 4287687664 135153492 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26950/statm: 3900 3202 433 325 0 2836 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 15600
Child status: 15
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1786.18
CPU system time (s): 13.8399
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 15600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.18
system time used= 13.8399
maximum resident set size= 12808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5800212
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= 16
involuntary context switches= 1851
runsolver used 2.37164 second user time and 8.96364 second system time
The end