12.94/13.01 c initialize IPBHS solver
12.94/13.01 c IPBHS 0.0.0 beta (471c63a-dirty, Jul 9 2024 15:19:29), with Glucose 3.0, with Gurobi 10.0.1, with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
12.94/13.01 c optimizer = "gurobi"
12.94/13.01 c pbsolver = "roundingsat"
12.94/13.01 c load symmetries from file ""
12.94/13.01 c set time limit for symmetry computation to 100 seconds.
12.94/13.01 c set interchangeable summation variable limit to 3
12.94/13.01 c find symmetric cores by applying each permutation and add them to optimizer
12.94/13.01 c set abs symmetric core budget per WCE-iteration to 100
12.94/13.01 c set rel symmetric core budget per WCE-iteration to 0
12.94/13.01 c set lit symmetric core budget per WCE-iteration to 0
12.94/13.01 c set sym generation to 's'
12.94/13.01 c set abstraction set creation to 10 iterations without LB change
12.94/13.01 c set abstraction set inputs to 0
12.94/13.01 c set abstraction set cluster min size to 2
12.94/13.01 c set abstraction set cluster max size to 100000000
12.94/13.01 c set abstraction set cluster activation limit to 2
12.94/13.01 c enable abstraction set require equal cost
12.94/13.01 c set abstraction set assumptions to 0
12.94/13.01 c set abstraction set constraint type to 0
12.94/13.01 c set abstract core extraction strategy to b
12.94/13.01 c set core extraction strategy to 2
12.94/13.01 c set core extraction shuffles 10
12.94/13.01 c set cores per iteration to 5
12.94/13.01 c set optimizer bound usage strategy to 2
12.94/13.01 c set optimizer max non-optimal iterations to 1000
12.94/13.01 c set small core cardinality limit to 2
12.94/13.01 c set max coef in cores to 1000000000
12.94/13.01 c set SIS iterations to 5
12.94/13.01 c set SIS budget abs to 1000
12.94/13.01 c set SIS budget rel to 0.05
12.94/13.01 c limit for coefficient in constraints and objective to 9223372036854775807
12.94/13.01 c will solve HOME/instance-4431230-1721157359.opb
3233.64/3241.46 c [108.84] solve iteration 1, LB=0, UB=10690981
3233.64/3241.46 c [206.8] solve iteration 2, LB=12, UB=328431
3233.64/3241.46 c [277.54] solve iteration 3, LB=55255, UB=190153
3233.64/3241.46 c [346.67] solve iteration 4, LB=55257, UB=176804
3233.64/3241.46 c [392.19] solve iteration 5, LB=55646, UB=122766
3233.64/3241.46 c [440.71] solve iteration 6, LB=55647, UB=107078
3233.64/3241.46 c [473.17] solve iteration 7, LB=55647, UB=99522
3233.64/3241.46 c [503.68] solve iteration 8, LB=55647, UB=92542
3233.64/3241.46 c [535.48] solve iteration 9, LB=55648, UB=92542
3233.64/3241.46 c [560.77] solve iteration 10, LB=55649, UB=92542
3233.64/3241.46 c [576.1] solve iteration 11, LB=55649, UB=88456
3233.64/3241.46 c [587.95] solve iteration 12, LB=55649, UB=77420
3233.64/3241.46 c [598.32] solve iteration 13, LB=55650, UB=76835
3233.64/3241.46 c [614.51] solve iteration 14, LB=55650, UB=76272
3233.64/3241.46 c [622.41] solve iteration 15, LB=55650, UB=72190
3233.64/3241.46 c [698.78] solve iteration 16, LB=55650, UB=72190
3233.64/3241.46 c [709.14] solve iteration 17, LB=55650, UB=69280
3233.64/3241.46 c [716.55] solve iteration 18, LB=55650, UB=68107
3233.64/3241.46 c [721.42] solve iteration 19, LB=55650, UB=68105
3233.64/3241.46 c [727.93] solve iteration 20, LB=55650, UB=68105
3233.64/3241.46 c [737.82] solve iteration 21, LB=55650, UB=66954
3233.64/3241.46 c [766.38] solve iteration 22, LB=55650, UB=62330
3233.64/3241.46 c [789.19] solve iteration 23, LB=55656, UB=60001
3233.64/3241.46 c [810.17] solve iteration 24, LB=55658, UB=55924
3233.64/3241.46 c [827.33] solve iteration 25, LB=55660, UB=55924
3233.64/3241.46 c [922.84] solve iteration 26, LB=55660, UB=55924
3233.64/3241.46 c [944.74] solve iteration 27, LB=55661, UB=55924
3233.64/3241.46 c [961.18] solve iteration 28, LB=55663, UB=55924
3233.64/3241.46 c [977.13] solve iteration 29, LB=55664, UB=55918
3233.64/3241.46 c [995.34] solve iteration 30, LB=55664, UB=55918
3233.64/3241.46 c [1099.53] solve iteration 31, LB=55664, UB=55918
3233.64/3241.46 c [1115.24] solve iteration 32, LB=55664, UB=55918
3233.64/3241.46 c [1129.14] solve iteration 33, LB=55664, UB=55918
3233.64/3241.46 c [1143.61] solve iteration 34, LB=55664, UB=55918
3233.64/3241.46 c [1155.88] solve iteration 35, LB=55665, UB=55907
3233.64/3241.46 c [1263.61] solve iteration 36, LB=55665, UB=55907
3233.64/3241.46 c [1279.77] solve iteration 37, LB=55665, UB=55907
3233.64/3241.46 c [1294.19] solve iteration 38, LB=55666, UB=55907
3233.64/3241.46 c [1311.73] solve iteration 39, LB=55666, UB=55907
3233.64/3241.46 c [1322.12] solve iteration 40, LB=55666, UB=55907
3233.64/3241.46 c [1334.1] solve iteration 41, LB=55666, UB=55905
3233.64/3241.47 c [1346.88] solve iteration 42, LB=55666, UB=55905
3233.64/3241.47 c [1362.6] solve iteration 43, LB=55666, UB=55905
3233.64/3241.47 c [1373.05] solve iteration 44, LB=55666, UB=55905
3233.64/3241.47 c [1384.36] solve iteration 45, LB=55666, UB=55905
3233.64/3241.47 c [1394.86] solve iteration 46, LB=55666, UB=55904
3233.64/3241.47 c [1407.8] solve iteration 47, LB=55666, UB=55904
3233.64/3241.47 c [1417.01] solve iteration 48, LB=55667, UB=55904
3233.64/3241.47 c [1425.24] solve iteration 49, LB=55667, UB=55900
3233.64/3241.47 c [1432.07] solve iteration 50, LB=55667, UB=55900
3233.64/3241.47 c [1565.68] solve iteration 51, LB=55667, UB=55900
3233.64/3241.47 c [1575.1] solve iteration 52, LB=55667, UB=55900
3233.64/3241.47 c [1585.73] solve iteration 53, LB=55667, UB=55900
3233.64/3241.47 c [1596.23] solve iteration 54, LB=55667, UB=55900
3233.64/3241.47 c [1609.85] solve iteration 55, LB=55668, UB=55900
3233.64/3241.47 c [1743.34] solve iteration 56, LB=55668, UB=55900
3233.64/3241.47 c [1750.81] solve iteration 57, LB=55668, UB=55900
3233.64/3241.47 c [1757.5] solve iteration 58, LB=55668, UB=55900
3233.64/3241.47 c [1765.55] solve iteration 59, LB=55668, UB=55900
3233.64/3241.47 c [1773.85] solve iteration 60, LB=55668, UB=55900
3233.64/3241.47 c [1913.99] solve iteration 61, LB=55668, UB=55900
3233.64/3241.47 c [1922.48] solve iteration 62, LB=55668, UB=55900
3233.64/3241.47 c [1930.94] solve iteration 63, LB=55668, UB=55900
3233.64/3241.47 c [1936.71] solve iteration 64, LB=55668, UB=55893
3233.64/3241.47 c [1945.08] solve iteration 65, LB=55668, UB=55893
3233.64/3241.47 c [2097.89] solve iteration 66, LB=55668, UB=55893
3233.64/3241.47 c [2102.92] solve iteration 67, LB=55668, UB=55892
3233.64/3241.47 c [2111.03] solve iteration 68, LB=55668, UB=55892
3233.64/3241.47 c [2117.59] solve iteration 69, LB=55669, UB=55892
3233.64/3241.47 c [2121.8] solve iteration 70, LB=55669, UB=55892
3233.64/3241.47 c [2315.33] solve iteration 71, LB=55669, UB=55892
3233.64/3241.47 c [2319] solve iteration 72, LB=55669, UB=55891
3233.64/3241.47 c [2325.94] solve iteration 73, LB=55669, UB=55891
3233.64/3241.47 c [2331.52] solve iteration 74, LB=55669, UB=55889
3233.64/3241.47 c [2339.36] solve iteration 75, LB=55669, UB=55889
3233.64/3241.47 c [2594.3] solve iteration 76, LB=55669, UB=55889
3233.64/3241.47 c [2603.82] solve iteration 77, LB=55669, UB=55889
3233.64/3241.47 c [2618.31] solve iteration 78, LB=55669, UB=55889
3233.64/3241.47 c [2626.91] solve iteration 79, LB=55669, UB=55889
3233.64/3241.47 c [2632.94] solve iteration 80, LB=55669, UB=55889
3233.64/3241.47 c [2956.72] solve iteration 81, LB=55669, UB=55889
3233.64/3241.47 c [2968.28] sol
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62760 MiB free)
memory of node 1: 64473 MiB (62890 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431230-1721157359/watcher-4431230-1721157359 -o /tmp/evaluation-result-4431230-1721157359/solver-4431230-1721157359 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721157371-866313 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4431230-1721157359.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=866358, runsolver pid=866355
[startup+0.100082 s]*
/proc/loadavg: 1.99 3.46 3.86 6/246 866360
/proc/meminfo: memFree=128635256/131524600 swapFree=131071996/131071996
[pid=866358] ppid=866355 vsize=9928 memory=2728 CPUtime=0 cores=0,2
/proc/866358/stat : 866358 (run-glibc-2.34.) S 866355 866358 866303 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167903033 10166272 682 134679101440 93972812902400 93972813981720 140724881403120 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93972816080176 93972816127364 93972827303936 140724881404863 140724881405020 140724881405020 140724881412035 0
/proc/866358/statm: 2482 682 604 264 0 133 0
[pid=866360] ppid=866358 vsize=104256 memory=22940 CPUtime=0.09 cores=0,2
/proc/866360/stat : 866360 (ld-linux-x86-64) R 866358 866358 866303 0 -1 4194304 5063 0 0 0 9 0 0 0 20 0 1 0 167903034 106758144 5735 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
/proc/866360/statm: 26064 5735 1629 46 0 6679 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 114184 KiB
Current children cumulated memory: 25668 KiB
[startup+0.20453 s]*
/proc/loadavg: 1.99 3.46 3.86 5/246 866362
/proc/meminfo: memFree=128530760/131524600 swapFree=131071996/131071996
[pid=866358] ppid=866355 vsize=9928 memory=2728 CPUtime=0 cores=0,2
/proc/866358/stat : 866358 (run-glibc-2.34.) S 866355 866358 866303 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167903033 10166272 682 134679101440 93972812902400 93972813981720 140724881403120 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93972816080176 93972816127364 93972827303936 140724881404863 140724881405020 140724881405020 140724881412035 0
/proc/866358/statm: 2482 682 604 264 0 133 0
[pid=866360] ppid=866358 vsize=116800 memory=35980 CPUtime=0.2 cores=0,2
/proc/866360/stat : 866360 (ld-linux-x86-64) R 866358 866358 866303 0 -1 4194304 7798 0 0 0 19 1 0 0 20 0 1 0 167903034 119603200 8995 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
/proc/866360/statm: 29200 8995 1629 46 0 9815 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 126728 KiB
Current children cumulated memory: 38708 KiB
[startup+0.305303 s]*
/proc/loadavg: 1.99 3.46 3.86 5/260 866384
/proc/meminfo: memFree=128489564/131524600 swapFree=131071996/131071996
[pid=866358] ppid=866355 vsize=9928 memory=2728 CPUtime=0 cores=0,2
/proc/866358/stat : 866358 (run-glibc-2.34.) S 866355 866358 866303 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167903033 10166272 682 134679101440 93972812902400 93972813981720 140724881403120 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93972816080176 93972816127364 93972827303936 140724881404863 140724881405020 140724881405020 140724881412035 0
/proc/866358/statm: 2482 682 604 264 0 133 0
[pid=866360] ppid=866358 vsize=132648 memory=49688 CPUtime=0.3 cores=0,2
/proc/866360/stat : 866360 (ld-linux-x86-64) R 866358 866358 866303 0 -1 4194304 10180 0 0 0 28 2 0 0 20 0 1 0 167903034 135831552 12422 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
/proc/866360/statm: 33162 12422 1629 46 0 13777 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 142576 KiB
Current children cumulated memory: 52416 KiB
[startup+0.700181 s]
/proc/loadavg: 2.23 3.48 3.87 6/260 866384
/proc/meminfo: memFree=128399040/131524600 swapFree=131071996/131071996
[pid=866358] ppid=866355 vsize=9928 memory=2728 CPUtime=0 cores=0,2
/proc/866358/stat : 866358 (run-glibc-2.34.) S 866355 866358 866303 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167903033 10166272 682 134679101440 93972812902400 93972813981720 140724881403120 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93972816080176 93972816127364 93972827303936 140724881404863 140724881405020 140724881405020 140724881412035 0
/proc/866358/statm: 2482 682 604 264 0 133 0
[pid=866360] ppid=866358 vsize=181592 memory=95556 CPUtime=0.68 cores=0,2
/proc/866360/stat : 866360 (ld-linux-x86-64) R 866358 866358 866303 0 -1 4194304 18591 0 0 0 64 4 0 0 20 0 1 0 167903034 185950208 23889 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
/proc/866360/statm: 45398 23889 1629 46 0 26013 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 191520 KiB
Current children cumulated memory: 98284 KiB
[startup+1.50018 s]
/proc/loadavg: 2.23 3.48 3.87 5/260 866384
/proc/meminfo: memFree=128088136/131524600 swapFree=131071996/131071996
[pid=866358] ppid=866355 vsize=9928 memory=2728 CPUtime=0 cores=0,2
/proc/866358/stat : 866358 (run-glibc-2.34.) S 866355 866358 866303 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167903033 10166272 682 134679101440 93972812902400 93972813981720 140724881403120 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93972816080176 93972816127364 93972827303936 140724881404863 140724881405020 140724881405020 140724881412035 0
/proc/866358/statm: 2482 682 604 264 0 133 0
[pid=866360] ppid=866358 vsize=282236 memory=194664 CPUtime=1.48 cores=0,2
/proc/866360/stat : 866360 (ld-linux-x86-64) R 866358 866358 866303 0 -1 4194304 34730 0 0 0 140 8 0 0 20 0 1 0 167903034 289009664 48666 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
/proc/866360/statm: 70559 48666 1629 46 0 51174 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 292164 KiB
Current children cumulated memory: 197392 KiB
[startup+3.10546 s]
/proc/loadavg: 2.23 3.48 3.87 5/261 866385
/proc/meminfo: memFree=126801588/131524600 swapFree=131071996/131071996
[pid=866358] ppid=866355 vsize=9928 memory=2728 CPUtime=0 cores=0,2
/proc/866358/stat : 866358 (run-glibc-2.34.) S 866355 866358 866303 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167903033 10166272 682 134679101440 93972812902400 93972813981720 140724881403120 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93972816080176 93972816127364 93972827303936 140724881404863 140724881405020 140724881405020 140724881412035 0
/proc/866358/statm: 2482 682 604 264 0 133 0
[pid=866360] ppid=866358 vsize=536948 memory=405924 CPUtime=3.08 cores=0,2
/proc/866360/stat : 866360 (ld-linux-x86-64) R 866358 866358 866303 0 -1 4194304 62500 0 0 0 264 44 0 0 20 0 1 0 167903034 549834752 101481 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
/proc/866360/statm: 134237 101481 1709 46 0 114852 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 546876 KiB
Current children cumulated memory: 408652 KiB
[startup+6.30024 s]
/proc/loadavg: 2.37 3.49 3.87 5/262 866386
/proc/meminfo: memFree=124767808/131524600 swapFree=131071996/131071996
[pid=866358] ppid=866355 vsize=9928 memory=2728 CPUtime=0 cores=0,2
/proc/866358/stat : 866358 (run-glibc-2.34.) S 866355 866358 866303 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167903033 10166272 682 134679101440 93972812902400 93972813981720 140724881403120 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93972816080176 93972816127364 93972827303936 140724881404863 140724881405020 140724881405020 140724881412035 0
/proc/866358/statm: 2482 682 604 264 0 133 0
[pid=866360] ppid=866358 vsize=1768168 memory=1512032 CPUtime=6.25 cores=0,2
/proc/866360/stat : 866360 (ld-linux-x86-64) R 866358 866358 866303 0 -1 4194304 290488 0 0 0 505 120 0 0 20 0 2 0 167903034 1810604032 378008 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
/proc/866360/statm: 442042 378008 2701 46 0 414637 0
[pid=866360/tid=866386] ppid=866358 vsize=1768168 memory=2728 CPUtime=0 cores=0,2
/proc/866360/task/866386/stat : 866386 (ld-linux-x86-64) S 866358 866358 866303 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 2 0 167903496 1810604032 378008 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1778096 KiB
Current children cumulated memory: 1514760 KiB
[startup+12.7002 s]
/proc/loadavg: 2.58 3.52 3.88 5/264 866389
/proc/meminfo: memFree=120905792/131524600 swapFree=131071996/131071996
[pid=866358] ppid=866355 vsize=9928 memory=2728 CPUtime=0 cores=0,2
/proc/866358/stat : 866358 (run-glibc-2.34.) S 866355 866358 866303 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167903033 10166272 682 134679101440 93972812902400 93972813981720 140724881403120 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93972816080176 93972816127364 93972827303936 140724881404863 140724881405020 140724881405020 140724881412035 0
/proc/866358/statm: 2482 682 604 264 0 133 0
[pid=866360] ppid=866358 vsize=2277284 memory=2012736 CPUtime=12.64 cores=0,2
/proc/866360/stat : 866360 (ld-linux-x86-64) R 866358 866358 866303 0 -1 4194304 625711 0 0 0 1113 151 0 0 20 0 2 0 167903034 2331938816 503184 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
/proc/866360/statm: 569321 503184 2701 46 0 541916 0
[pid=866360/tid=866386] ppid=866358 vsize=2277284 memory=1846240 CPUtime=0 cores=0,2
/proc/866360/task/866386/stat : 866386 (ld-linux-x86-64) S 866358 866358 866303 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 2 0 167903496 2331938816 503184 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2287212 KiB
Current children cumulated memory: 2015464 KiB
[startup+25.5003 s]
/proc/loadavg: 2.88 3.55 3.88 5/264 866391
/proc/meminfo: memFree=119721840/131524600 swapFree=131071996/131071996
[pid=866358] ppid=866355 vsize=9928 memory=2728 CPUtime=0 cores=0,2
/proc/866358/stat : 866358 (run-glibc-2.34.) S 866355 866358 866303 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167903033 10166272 682 134679101440 93972812902400 93972813981720 140724881403120 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93972816080176 93972816127364 93972827303936 140724881404863 140724881405020 140724881405020 140724881412035 0
/proc/866358/statm: 2482 682 604 264 0 133 0
[pid=866360] ppid=866358 vsize=2505948 memory=2145184 CPUtime=25.41 cores=0,2
/proc/866360/stat : 866360 (ld-linux-x86-64) R 866358 866358 866303 0 -1 4194304 663276 0 0 0 2381 160 0 0 20 0 2 0 167903034 2566090752 536296 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
/proc/866360/statm: 626487 536296 2701 46 0 599082 0
[pid=866360/tid=866386] ppid=866358 vsize=2505948 memory=0 CPUtime=0.01 cores=0,2
/proc/866360/task/866386/stat : 866386 (ld-linux-x86-64) R 866358 866358 866303 0 -1 1077936192 7 0 0 0 0 1 0 0 20 0 2 0 167903496 2566090752 536296 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2515876 KiB
Current children cumulated memory: 2147912 KiB
[startup+51.1058 s]
/proc/loadavg: 3.32 3.59 3.89 5/264 866395
/proc/meminfo: memFree=119720912/131524600 swapFree=131071996/131071996
[pid=866358] ppid=866355 vsize=9928 memory=2728 CPUtime=0 cores=0,2
/proc/866358/stat : 866358 (run-glibc-2.34.) S 866355 866358 866303 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167903033 10166272 682 134679101440 93972812902400 93972813981720 140724881403120 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93972816080176 93972816127364 93972827303936 140724881404863 140724881405020 140724881405020 140724881412035 0
/proc/866358/statm: 2482 682 604 264 0 133 0
[pid=866360] ppid=866358 vsize=2505948 memory=2145240 CPUtime=50.96 cores=0,2
/proc/866360/stat : 866360 (ld-linux-x86-64) R 866358 866358 866303 0 -1 4194304 679184 0 0 0 4930 166 0 0 20 0 2 0 167903034 2566090752 536310 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
/proc/866360/statm: 626487 536310 2701 46 0 599082 0
[pid=866360/tid=866386] ppid=866358 vsize=2505948 memory=2728 CPUtime=0.03 cores=0,2
/proc/866360/task/866386/stat : 866386 (ld-linux-x86-64) S 866358 866358 866303 0 -1 1077936192 12 0 0 0 0 3 0 0 20 0 2 0 167903496 2566090752 536310 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2515876 KiB
Current children cumulated memory: 2147968 KiB
[startup+102.3 s]
/proc/loadavg: 3.81 3.69 3.91 5/264 866406
/proc/meminfo: memFree=119718060/131524600 swapFree=131071996/131071996
[pid=866358] ppid=866355 vsize=9928 memory=2728 CPUtime=0 cores=0,2
/proc/866358/stat : 866358 (run-glibc-2.34.) S 866355 866358 866303 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167903033 10166272 682 134679101440 93972812902400 93972813981720 140724881403120 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93972816080176 93972816127364 93972827303936 140724881404863 140724881405020 140724881405020 140724881412035 0
/proc/866358/statm: 2482 682 604 264 0 133 0
[pid=866360] ppid=866358 vsize=2505948 memory=2145352 CPUtime=102.03 cores=0,2
/proc/866360/stat : 866360 (ld-linux-x86-64) R 866358 866358 866303 0 -1 4194304 708686 0 0 0 10027 176 0 0 20 0 2 0 167903034 2566090752 536338 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
/proc/866360/statm: 626487 536338 2701 46 0 599082 0
[pid=866360/tid=866386] ppid=866358 vsize=2505948 memory=2728 CPUtime=0.09 cores=0,2
/proc/866360/task/866386/stat : 866386 (ld-linux-x86-64) S 866358 866358 866303 0 -1 1077936192 22 0 0 0 2 7 0 0 20 0 2 0 167903496 2566090752 536338 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2515876 KiB
Current children cumulated memory: 2148080 KiB
[startup+162.3 s]
/proc/loadavg: 4.03 3.78 3.93 5/264 866416
/proc/meminfo: memFree=120187612/131524600 swapFree=131071996/131071996
[pid=866358] ppid=866355 vsize=9928 memory=2728 CPUtime=0 cores=0,2
/proc/866358/stat : 866358 (run-glibc-2.34.) S 866355 866358 866303 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167903033 10166272 682 134679101440 93972812902400 93972813981720 140724881403120 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93972816080176 93972816127364 93972827303936 140724881404863 140724881405020 140724881405020 140724881412035 0
/proc/866358/statm: 2482 682 604 264 0 133 0
[pid=866360] ppid=866358 vsize=2260872 memory=2031940 CPUtime=161.88 cores=0,2
/proc/866360/stat : 866360 (ld-linux-x86-64) R 866358 866358 866303 0 -1 4194304 1063025 0 29 0 15358 830 0 0 20 0 2 0 167903034 2315132928 507985 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 0 0 0 17 0 0 0 1 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
/proc/866360/statm: 565218 507985 3559 46 0 537813 0
[pid=866360/tid=866386] ppid=866358 vsize=2260872 memory=2728 CPUtime=0.12 cores=0,2
/proc/866360/task/866386/stat : 866386 (ld-linux-x86-64) S 866358 866358 866303 0 -1 1077936192 30 0 0 0 3 9 0 0 20 0 2 0 167903496 2315132928 507985 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 2270800 KiB
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/262 868151
/proc/meminfo: memFree=110873976/131524600 swapFree=131071996/131071996
[pid=866358] ppid=866355 vsize=9928 memory=2728 CPUtime=0 cores=0,2
/proc/866358/stat : 866358 (run-glibc-2.34.) S 866355 866358 866303 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167903033 10166272 682 134679101440 93972812902400 93972813981720 140724881403120 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93972816080176 93972816127364 93972827303936 140724881404863 140724881405020 140724881405020 140724881412035 0
/proc/866358/statm: 2482 682 604 264 0 133 0
[pid=866360] ppid=866358 vsize=6175888 memory=5352684 CPUtime=3214.6 cores=0,2
/proc/866360/stat : 866360 (ld-linux-x86-64) R 866358 866358 866303 0 -1 4194304 7298440 0 40 0 295440 26020 0 0 20 0 2 0 167903034 6324109312 1338171 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 0 0 0 17 0 0 0 1 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
/proc/866360/statm: 1543972 1338171 4045 46 0 1516567 0
[pid=866360/tid=866386] ppid=866358 vsize=6175888 memory=11608 CPUtime=1.47 cores=0,2
/proc/866360/task/866386/stat : 866386 (ld-linux-x86-64) S 866358 866358 866303 0 -1 1077936192 242 0 0 0 45 102 0 0 20 0 2 0 167903496 6324109312 1338171 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
Current children cumulated CPU time: 3214.6 s
Current children cumulated vsize: 6185816 KiB
Current children cumulated memory: 5355412 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/264 868166
/proc/meminfo: memFree=110742336/131524600 swapFree=131071996/131071996
[pid=866358] ppid=866355 vsize=9928 memory=2728 CPUtime=0 cores=0,2
/proc/866358/stat : 866358 (run-glibc-2.34.) S 866355 866358 866303 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167903033 10166272 682 134679101440 93972812902400 93972813981720 140724881403120 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93972816080176 93972816127364 93972827303936 140724881404863 140724881405020 140724881405020 140724881412035 0
/proc/866358/statm: 2482 682 604 264 0 133 0
[pid=866360] ppid=866358 vsize=6241340 memory=5441028 CPUtime=3274.44 cores=0,2
/proc/866360/stat : 866360 (ld-linux-x86-64) R 866358 866358 866303 0 -1 4194304 7715948 0 40 0 300914 26530 0 0 20 0 2 0 167903034 6391132160 1360257 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 0 0 0 17 0 0 0 1 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
/proc/866360/statm: 1560335 1360257 4045 46 0 1532930 0
[pid=866360/tid=866386] ppid=866358 vsize=6241340 memory=2728 CPUtime=1.49 cores=0,2
/proc/866360/task/866386/stat : 866386 (ld-linux-x86-64) S 866358 866358 866303 0 -1 1077936192 245 0 0 0 45 104 0 0 20 0 2 0 167903496 6391132160 1360257 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
Current children cumulated CPU time: 3274.44 s
Current children cumulated vsize: 6251268 KiB
Current children cumulated memory: 5443756 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/265 868177
/proc/meminfo: memFree=110622008/131524600 swapFree=131071996/131071996
[pid=866358] ppid=866355 vsize=9928 memory=2728 CPUtime=0 cores=0,2
/proc/866358/stat : 866358 (run-glibc-2.34.) S 866355 866358 866303 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167903033 10166272 682 134679101440 93972812902400 93972813981720 140724881403120 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93972816080176 93972816127364 93972827303936 140724881404863 140724881405020 140724881405020 140724881412035 0
/proc/866358/statm: 2482 682 604 264 0 133 0
[pid=866360] ppid=866358 vsize=6241340 memory=5538612 CPUtime=3334.3 cores=0,2
/proc/866360/stat : 866360 (ld-linux-x86-64) R 866358 866358 866303 0 -1 4194304 8107834 0 40 0 306649 26781 0 0 20 0 2 0 167903034 6391132160 1384653 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 0 0 0 17 0 0 0 1 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
/proc/866360/statm: 1560335 1384653 4045 46 0 1532930 0
[pid=866360/tid=866386] ppid=866358 vsize=6241340 memory=11608 CPUtime=1.53 cores=0,2
/proc/866360/task/866386/stat : 866386 (ld-linux-x86-64) S 866358 866358 866303 0 -1 1077936192 249 0 0 0 46 107 0 0 20 0 2 0 167903496 6391132160 1384653 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
Current children cumulated CPU time: 3334.3 s
Current children cumulated vsize: 6251268 KiB
Current children cumulated memory: 5541340 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/265 868187
/proc/meminfo: memFree=110527040/131524600 swapFree=131071996/131071996
[pid=866358] ppid=866355 vsize=9928 memory=2728 CPUtime=0 cores=0,2
/proc/866358/stat : 866358 (run-glibc-2.34.) S 866355 866358 866303 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167903033 10166272 682 134679101440 93972812902400 93972813981720 140724881403120 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93972816080176 93972816127364 93972827303936 140724881404863 140724881405020 140724881405020 140724881412035 0
/proc/866358/statm: 2482 682 604 264 0 133 0
[pid=866360] ppid=866358 vsize=6241340 memory=5641572 CPUtime=3394.17 cores=0,2
/proc/866360/stat : 866360 (ld-linux-x86-64) R 866358 866358 866303 0 -1 4194304 8809399 0 40 0 312534 26883 0 0 20 0 2 0 167903034 6391132160 1410393 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 0 0 0 17 0 0 0 1 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
/proc/866360/statm: 1560335 1410393 4045 46 0 1532930 0
[pid=866360/tid=866386] ppid=866358 vsize=6241340 memory=2728 CPUtime=1.56 cores=0,2
/proc/866360/task/866386/stat : 866386 (ld-linux-x86-64) S 866358 866358 866303 0 -1 1077936192 253 0 0 0 47 109 0 0 20 0 2 0 167903496 6391132160 1410393 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
Current children cumulated CPU time: 3394.17 s
Current children cumulated vsize: 6251268 KiB
Current children cumulated memory: 5644300 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 868199
/proc/meminfo: memFree=110518772/131524600 swapFree=131071996/131071996
[pid=866358] ppid=866355 vsize=9928 memory=2728 CPUtime=0 cores=0,2
/proc/866358/stat : 866358 (run-glibc-2.34.) S 866355 866358 866303 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167903033 10166272 682 134679101440 93972812902400 93972813981720 140724881403120 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93972816080176 93972816127364 93972827303936 140724881404863 140724881405020 140724881405020 140724881412035 0
/proc/866358/statm: 2482 682 604 264 0 133 0
[pid=866360] ppid=866358 vsize=6241340 memory=5641572 CPUtime=3454.04 cores=0,2
/proc/866360/stat : 866360 (ld-linux-x86-64) R 866358 866358 866303 0 -1 4194304 8938506 0 40 0 318344 27060 0 0 20 0 2 0 167903034 6391132160 1410393 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 0 0 0 17 0 0 0 1 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
/proc/866360/statm: 1560335 1410393 4045 46 0 1532930 0
[pid=866360/tid=866386] ppid=866358 vsize=6241340 memory=5641572 CPUtime=1.59 cores=0,2
/proc/866360/task/866386/stat : 866386 (ld-linux-x86-64) S 866358 866358 866303 0 -1 1077936192 257 0 0 0 48 111 0 0 20 0 2 0 167903496 6391132160 1410393 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
Current children cumulated CPU time: 3454.04 s
Current children cumulated vsize: 6251268 KiB
Current children cumulated memory: 5644300 KiB
[startup+3522.3 s]
/proc/loadavg: 4.24 4.14 4.10 5/265 868210
/proc/meminfo: memFree=110512228/131524600 swapFree=131071996/131071996
[pid=866358] ppid=866355 vsize=9928 memory=2728 CPUtime=0 cores=0,2
/proc/866358/stat : 866358 (run-glibc-2.34.) S 866355 866358 866303 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167903033 10166272 682 134679101440 93972812902400 93972813981720 140724881403120 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93972816080176 93972816127364 93972827303936 140724881404863 140724881405020 140724881405020 140724881412035 0
/proc/866358/statm: 2482 682 604 264 0 133 0
[pid=866360] ppid=866358 vsize=6241340 memory=5641572 CPUtime=3513.92 cores=0,2
/proc/866360/stat : 866360 (ld-linux-x86-64) R 866358 866358 866303 0 -1 4194304 9100112 0 40 0 323520 27872 0 0 20 0 2 0 167903034 6391132160 1410393 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 0 0 0 17 0 0 0 1 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
/proc/866360/statm: 1560335 1410393 4045 46 0 1532930 0
[pid=866360/tid=866386] ppid=866358 vsize=6241340 memory=2728 CPUtime=1.62 cores=0,2
/proc/866360/task/866386/stat : 866386 (ld-linux-x86-64) S 866358 866358 866303 0 -1 1077936192 260 0 0 0 49 113 0 0 20 0 2 0 167903496 6391132160 1410393 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
Current children cumulated CPU time: 3513.92 s
Current children cumulated vsize: 6251268 KiB
Current children cumulated memory: 5644300 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/263 868220
/proc/meminfo: memFree=110433028/131524600 swapFree=131071996/131071996
[pid=866358] ppid=866355 vsize=9928 memory=2728 CPUtime=0 cores=0,2
/proc/866358/stat : 866358 (run-glibc-2.34.) S 866355 866358 866303 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167903033 10166272 682 134679101440 93972812902400 93972813981720 140724881403120 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93972816080176 93972816127364 93972827303936 140724881404863 140724881405020 140724881405020 140724881412035 0
/proc/866358/statm: 2482 682 604 264 0 133 0
[pid=866360] ppid=866358 vsize=6248532 memory=5646656 CPUtime=3573.78 cores=0,2
/proc/866360/stat : 866360 (ld-linux-x86-64) R 866358 866358 866303 0 -1 4194304 9439109 0 40 0 328849 28529 0 0 20 0 2 0 167903034 6398496768 1411664 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 0 0 0 17 0 0 0 1 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
/proc/866360/statm: 1562133 1411664 4045 46 0 1534728 0
[pid=866360/tid=866386] ppid=866358 vsize=6248532 memory=43792 CPUtime=1.64 cores=0,2
/proc/866360/task/866386/stat : 866386 (ld-linux-x86-64) S 866358 866358 866303 0 -1 1077936192 263 0 0 0 50 114 0 0 20 0 2 0 167903496 6398496768 1411664 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
Current children cumulated CPU time: 3573.78 s
Current children cumulated vsize: 6258460 KiB
Current children cumulated memory: 5649384 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.7 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 868368
/proc/meminfo: memFree=123078828/131524600 swapFree=131071996/131071996
[pid=866358] ppid=866355 vsize=9928 memory=2728 CPUtime=0 cores=0,2
/proc/866358/stat : 866358 (run-glibc-2.34.) S 866355 866358 866303 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167903033 10166272 682 134679101440 93972812902400 93972813981720 140724881403120 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93972816080176 93972816127364 93972827303936 140724881404863 140724881405020 140724881405020 140724881412035 0
/proc/866358/statm: 2482 682 604 264 0 133 0
[pid=866360] ppid=866358 vsize=6251064 memory=5643748 CPUtime=3600.08 cores=0,2
/proc/866360/stat : 866360 (ld-linux-x86-64) R 866358 866358 866303 0 -1 4194304 9519940 0 40 0 331184 28824 0 0 20 0 2 0 167903034 6401089536 1410937 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 0 0 0 17 0 0 0 1 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
/proc/866360/statm: 1562766 1410937 4045 46 0 1535361 0
[pid=866360/tid=866386] ppid=866358 vsize=6251064 memory=2728 CPUtime=1.66 cores=0,2
/proc/866360/task/866386/stat : 866386 (ld-linux-x86-64) S 866358 866358 866303 0 -1 1077936192 267 0 0 0 50 116 0 0 20 0 2 0 167903496 6401089536 1410937 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 6260992 KiB
Current children cumulated memory: 5646476 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.71 s]
# the end of solver process 866358 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001541 s, system=0 s
[startup+3608.79 s]
# the end of solver process 866360 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3311.85 s, system=288.335 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.7 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 868368
/proc/meminfo: memFree=123078828/131524600 swapFree=131071996/131071996
[pid=866358] ppid=866355 vsize=9928 memory=2728 CPUtime=0 cores=0,2
/proc/866358/stat : 866358 (run-glibc-2.34.) S 866355 866358 866303 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167903033 10166272 682 134679101440 93972812902400 93972813981720 140724881403120 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93972816080176 93972816127364 93972827303936 140724881404863 140724881405020 140724881405020 140724881412035 0
/proc/866358/statm: 2482 682 604 264 0 133 0
[pid=866360] ppid=866358 vsize=6251064 memory=5643748 CPUtime=3600.08 cores=0,2
/proc/866360/stat : 866360 (ld-linux-x86-64) R 866358 866358 866303 0 -1 4194304 9519940 0 40 0 331184 28824 0 0 20 0 2 0 167903034 6401089536 1410937 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 0 0 0 17 0 0 0 1 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
/proc/866360/statm: 1562766 1410937 4045 46 0 1535361 0
[pid=866360/tid=866386] ppid=866358 vsize=6251064 memory=2728 CPUtime=1.66 cores=0,2
/proc/866360/task/866386/stat : 866386 (ld-linux-x86-64) S 866358 866358 866303 0 -1 1077936192 267 0 0 0 50 116 0 0 20 0 2 0 167903496 6401089536 1410937 134679101440 139924951285760 139924951473372 140729884180368 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139924953574272 139924953583720 93824997126144 140729884185431 140729884185595 140729884185595 140729884192690 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 6260992 KiB
Current children cumulated memory: 5646476 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3608.79
CPU time (s): 3600.18
CPU user time (s): 3311.85
CPU system time (s): 288.335
CPU usage (%): 99.7614
Max. virtual memory (cumulated for all children) (KiB): 6321592
Max. memory (cumulated for all children) (KiB): 5721372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3311.85
system time used= 288.335
maximum resident set size= 5723516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9520144
page faults= 40
swaps= 0
block input operations= 9784
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 357116
involuntary context switches= 24693
# summary of solver processes directly reported to runsolver:
# pid: 866358,866360
# total CPU time (s): 3600.18
# total CPU user time (s): 3311.85
# total CPU system time (s): 288.335
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75204 second user time and 16.5813 second system time
The end