0.00/0.04 c initialize IPBHS solver
0.00/0.04 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
0.00/0.04 c optimizer = "gurobi"
0.00/0.04 c pbsolver = "roundingsat"
0.00/0.04 c load symmetries from file ""
0.00/0.04 c set time limit for symmetry computation to 100 seconds.
0.00/0.04 c set interchangeable summation variable limit to 3
0.00/0.04 c find symmetric cores by applying each permutation and add them to optimizer
0.00/0.04 c set abs symmetric core budget per WCE-iteration to 100
0.00/0.04 c set rel symmetric core budget per WCE-iteration to 0
0.00/0.04 c set lit symmetric core budget per WCE-iteration to 0
0.00/0.04 c set sym generation to 's'
0.00/0.04 c set abstraction set creation to 10 iterations without LB change
0.00/0.04 c set abstraction set inputs to 0
0.00/0.04 c set abstraction set cluster min size to 2
0.00/0.04 c set abstraction set cluster max size to 100000000
0.00/0.04 c set abstraction set cluster activation limit to 2
0.00/0.04 c enable abstraction set require equal cost
0.00/0.04 c set abstraction set assumptions to 0
0.00/0.04 c set abstraction set constraint type to 0
0.00/0.04 c set abstract core extraction strategy to b
0.00/0.04 c set core extraction strategy to 2
0.00/0.04 c set core extraction shuffles 10
0.00/0.04 c set cores per iteration to 5
0.00/0.04 c set optimizer bound usage strategy to 2
0.00/0.04 c set optimizer max non-optimal iterations to 1000
0.00/0.04 c set small core cardinality limit to 2
0.00/0.04 c set max coef in cores to 1000000000
0.00/0.04 c set SIS iterations to 5
0.00/0.04 c set SIS budget abs to 1000
0.00/0.04 c set SIS budget rel to 0.05
0.00/0.04 c limit for coefficient in constraints and objective to 9223372036854775807
0.00/0.04 c will solve HOME/instance-4458412-1721872334.opb
1556.63/1559.92 c [0.42] solve iteration 1, LB=-4950, UB=1
1556.63/1559.92 c [0.57] solve iteration 2, LB=-99, UB=-98
1556.63/1559.92 c [1.25] solve iteration 3, LB=-99, UB=-98
1556.63/1559.92 c [31.48] solve iteration 4, LB=-99, UB=-98
1556.63/1559.92 c [34.33] solve iteration 5, LB=-99, UB=-98
1556.63/1559.92 c [231.62] solve iteration 6, LB=-99, UB=-98
1556.63/1559.92 c [238.46] solve iteration 7, LB=-99, UB=-98
1556.63/1559.92 c [241.29] solve iteration 8, LB=-99, UB=-98
1556.63/1559.92 c [249.64] solve iteration 9, LB=-99, UB=-98
1556.63/1559.92 c [251.24] solve iteration 10, LB=-99, UB=-98
1556.63/1559.92 c [380.49] solve iteration 11, LB=-99, UB=-98
1556.63/1559.92 c [400.25] solve iteration 12, LB=-99, UB=-98
1556.63/1559.92 c [408.26] solve iteration 13, LB=-99, UB=-98
1556.63/1559.92 c [412.44] solve iteration 14, LB=-99, UB=-98
1556.63/1559.92 c [420.98] solve iteration 15, LB=-99, UB=-98
1556.63/1559.92 c [502.99] solve iteration 16, LB=-99, UB=-98
1556.63/1559.92 c [510.9] solve iteration 17, LB=-99, UB=-98
1556.63/1559.92 c [514.46] solve iteration 18, LB=-99, UB=-98
1556.63/1559.92 c [518.16] solve iteration 19, LB=-99, UB=-98
1556.63/1559.92 c [519.68] solve iteration 20, LB=-99, UB=-98
1556.63/1559.92 c [553.51] solve iteration 21, LB=-99, UB=-98
1556.63/1559.92 c [557.06] solve iteration 22, LB=-99, UB=-98
1556.63/1559.92 c [558.66] solve iteration 23, LB=-99, UB=-98
1556.63/1559.92 c [560.14] solve iteration 24, LB=-99, UB=-98
1556.63/1559.92 c [561.49] solve iteration 25, LB=-99, UB=-98
1556.63/1559.92 c [591.94] solve iteration 26, LB=-99, UB=-98
1556.63/1559.92 c [593.38] solve iteration 27, LB=-99, UB=-98
1556.63/1559.92 c [595.33] solve iteration 28, LB=-99, UB=-98
1556.63/1559.92 c [596.88] solve iteration 29, LB=-99, UB=-98
1556.63/1559.92 c [598.83] solve iteration 30, LB=-99, UB=-98
1556.63/1559.92 c [674.79] solve iteration 31, LB=-99, UB=-98
1556.63/1559.92 c [676.05] solve iteration 32, LB=-99, UB=-98
1556.63/1559.92 c [676.84] solve iteration 33, LB=-99, UB=-98
1556.63/1559.92 c [677.94] solve iteration 34, LB=-99, UB=-98
1556.63/1559.92 c [678.8] solve iteration 35, LB=-99, UB=-98
1556.63/1559.92 c [718.77] solve iteration 36, LB=-99, UB=-98
1556.63/1559.92 c [719.94] solve iteration 37, LB=-99, UB=-98
1556.63/1559.92 c [720.7] solve iteration 38, LB=-99, UB=-98
1556.63/1559.92 c [721.63] solve iteration 39, LB=-99, UB=-98
1556.63/1559.92 c [722.35] solve iteration 40, LB=-99, UB=-98
1556.63/1559.92 c [772.32] solve iteration 41, LB=-99, UB=-98
1556.63/1559.92 c [773.77] solve iteration 42, LB=-99, UB=-98
1556.63/1559.92 c [778.26] solve iteration 43, LB=-99, UB=-98
1556.63/1559.92 c [779.9] solve iteration 44, LB=-99, UB=-98
1556.63/1559.92 c [784.16] solve iteration 45, LB=-99, UB=-98
1556.63/1559.93 c [827.1] solve iteration 46, LB=-99, UB=-98
1556.63/1559.93 c [829.29] solve iteration 47, LB=-99, UB=-98
1556.63/1559.93 c [834.07] solve iteration 48, LB=-99, UB=-98
1556.63/1559.93 c [837.72] solve iteration 49, LB=-99, UB=-98
1556.63/1559.93 c [839.29] solve iteration 50, LB=-99, UB=-98
1556.63/1559.93 c [885.27] solve iteration 51, LB=-99, UB=-98
1556.63/1559.93 c [887.61] solve iteration 52, LB=-99, UB=-98
1556.63/1559.93 c [888.9] solve iteration 53, LB=-99, UB=-98
1556.63/1559.93 c [889.97] solve iteration 54, LB=-99, UB=-98
1556.63/1559.93 c [891.37] solve iteration 55, LB=-99, UB=-98
1556.63/1559.93 c [931.27] solve iteration 56, LB=-99, UB=-98
1556.63/1559.93 c [932.54] solve iteration 57, LB=-99, UB=-98
1556.63/1559.93 c [933.72] solve iteration 58, LB=-99, UB=-98
1556.63/1559.93 c [936.23] solve iteration 59, LB=-99, UB=-98
1556.63/1559.93 c [937.49] solve iteration 60, LB=-99, UB=-98
1556.63/1559.93 c [1033.82] solve iteration 61, LB=-99, UB=-98
1556.63/1559.93 c [1035.24] solve iteration 62, LB=-99, UB=-98
1556.63/1559.93 c [1036.45] solve iteration 63, LB=-99, UB=-98
1556.63/1559.93 c [1038.01] solve iteration 64, LB=-99, UB=-98
1556.63/1559.93 c [1039.32] solve iteration 65, LB=-99, UB=-98
1556.63/1559.93 c [1144.93] solve iteration 66, LB=-99, UB=-98
1556.63/1559.93 c [1148.66] solve iteration 67, LB=-99, UB=-98
1556.63/1559.93 c [1150.37] solve iteration 68, LB=-99, UB=-98
1556.63/1559.93 c [1152.03] solve iteration 69, LB=-99, UB=-98
1556.63/1559.93 c [1153.82] solve iteration 70, LB=-99, UB=-98
1556.63/1559.93 c [1271.73] solve iteration 71, LB=-99, UB=-98
1556.63/1559.93 c [1273.95] solve iteration 72, LB=-99, UB=-98
1556.63/1559.93 c [1275.13] solve iteration 73, LB=-99, UB=-98
1556.63/1559.93 c [1276.43] solve iteration 74, LB=-99, UB=-98
1556.63/1559.93 c [1277.93] solve iteration 75, LB=-99, UB=-98
1556.63/1559.93 c [1396.74] solve iteration 76, LB=-99, UB=-98
1556.63/1559.93 c [1405.15] solve iteration 77, LB=-99, UB=-98
1556.63/1559.93 c [1407.02] solve iteration 78, LB=-99, UB=-98
1556.63/1559.93 c [1409.74] solve iteration 79, LB=-99, UB=-98
1556.63/1559.93 c [1413.49] solve iteration 80, LB=-99, UB=-98
1556.63/1559.93 c [1466.33] solve iteration 81, LB=-99, UB=-98
1556.63/1559.93 c [1468.59] solve iteration 82, LB=-99, UB=-98
1556.63/1559.93 c [1470.21] solve iteration 83, LB=-99, UB=-98
1556.63/1559.93 c [1472.14] solve iteration 84, LB=-99, UB=-98
1556.63/1559.93 c [1480.64] solve iteration 85, LB=-99, UB=-98
1556.63/1559.93 c [1533.02] solve iteration 86, LB=-99, UB=-98
1556.63/1559.93 c [1534.83] solve iteration 87, LB=-99, UB=-98
1556.63/1559.93 c [1541.61] solve iteration 88, LB=-99, UB=-98
1556.63/1559.93 c [1543.58] solve iteration 89, LB=-99, UB=
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 (58316 MiB free)
memory of node 1: 64473 MiB (60273 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458412-1721872334/watcher-4458412-1721872334 -o /tmp/evaluation-result-4458412-1721872334/solver-4458412-1721872334 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721865095-210687 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4458412-1721872334.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB
solver pid=215512, runsolver pid=215509
[startup+0.100057 s]*
/proc/loadavg: 4.29 4.23 4.15 5/262 215515
/proc/meminfo: memFree=121412876/131524600 swapFree=131060368/131071996
[pid=215512] ppid=215509 vsize=9928 memory=2776 CPUtime=0 cores=5,7
/proc/215512/stat : 215512 (run-glibc-2.34.) S 215509 215512 210674 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23761351 10166272 694 134679101440 94432391159808 94432392239128 140732694006848 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94432394337584 94432394384772 94432419196928 140732694008771 140732694008928 140732694008928 140732694015939 0
/proc/215512/statm: 2482 694 614 264 0 133 0
[pid=215514] ppid=215512 vsize=165200 memory=35620 CPUtime=0.1 cores=5,7
/proc/215514/stat : 215514 (ld-linux-x86-64) R 215512 215512 210674 0 -1 4194304 5488 0 0 0 9 1 0 0 20 0 2 0 23761351 169164800 8839 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
/proc/215514/statm: 41300 8839 3028 46 0 10264 0
[pid=215514/tid=215515] ppid=215512 vsize=165384 memory=4026561614 CPUtime=0 cores=5,7
/proc/215514/task/215515/stat : 215515 (ld-linux-x86-64) R 215512 215512 210674 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 23761353 169353216 8905 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 0 0 0 -1 7 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 175128 KiB
Current children cumulated memory: 38396 KiB
[startup+0.205755 s]*
/proc/loadavg: 4.29 4.23 4.15 5/262 215515
/proc/meminfo: memFree=121399112/131524600 swapFree=131060368/131071996
[pid=215512] ppid=215509 vsize=9928 memory=2776 CPUtime=0 cores=5,7
/proc/215512/stat : 215512 (run-glibc-2.34.) S 215509 215512 210674 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23761351 10166272 694 134679101440 94432391159808 94432392239128 140732694006848 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94432394337584 94432394384772 94432419196928 140732694008771 140732694008928 140732694008928 140732694015939 0
/proc/215512/statm: 2482 694 614 264 0 133 0
[pid=215514] ppid=215512 vsize=179156 memory=48820 CPUtime=0.2 cores=5,7
/proc/215514/stat : 215514 (ld-linux-x86-64) R 215512 215512 210674 0 -1 4194304 8807 0 0 0 19 1 0 0 20 0 2 0 23761351 183455744 12205 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
/proc/215514/statm: 44789 12205 3028 46 0 13753 0
[pid=215514/tid=215515] ppid=215512 vsize=179156 memory=3471202400344241230 CPUtime=0 cores=5,7
/proc/215514/task/215515/stat : 215515 (ld-linux-x86-64) R 215512 215512 210674 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 23761353 183455744 12205 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 0 0 0 -1 7 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 189084 KiB
Current children cumulated memory: 51596 KiB
[startup+0.305673 s]*
/proc/loadavg: 4.29 4.23 4.15 5/262 215515
/proc/meminfo: memFree=121390532/131524600 swapFree=131060368/131071996
[pid=215512] ppid=215509 vsize=9928 memory=2776 CPUtime=0 cores=5,7
/proc/215512/stat : 215512 (run-glibc-2.34.) S 215509 215512 210674 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23761351 10166272 694 134679101440 94432391159808 94432392239128 140732694006848 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94432394337584 94432394384772 94432419196928 140732694008771 140732694008928 140732694008928 140732694015939 0
/proc/215512/statm: 2482 694 614 264 0 133 0
[pid=215514] ppid=215512 vsize=187368 memory=56168 CPUtime=0.3 cores=5,7
/proc/215514/stat : 215514 (ld-linux-x86-64) R 215512 215512 210674 0 -1 4194304 10921 0 0 0 28 2 0 0 20 0 2 0 23761351 191864832 14042 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
/proc/215514/statm: 46842 14042 3028 46 0 15806 0
[pid=215514/tid=215515] ppid=215512 vsize=187368 memory=-8825582584509523558 CPUtime=0 cores=5,7
/proc/215514/task/215515/stat : 215515 (ld-linux-x86-64) S 215512 215512 210674 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 23761353 191864832 14042 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 197296 KiB
Current children cumulated memory: 58944 KiB
[startup+0.700227 s]
/proc/loadavg: 4.29 4.23 4.15 5/262 215515
/proc/meminfo: memFree=121378440/131524600 swapFree=131060368/131071996
[pid=215512] ppid=215509 vsize=9928 memory=2776 CPUtime=0 cores=5,7
/proc/215512/stat : 215512 (run-glibc-2.34.) S 215509 215512 210674 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23761351 10166272 694 134679101440 94432391159808 94432392239128 140732694006848 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94432394337584 94432394384772 94432419196928 140732694008771 140732694008928 140732694008928 140732694015939 0
/proc/215512/statm: 2482 694 614 264 0 133 0
[pid=215514] ppid=215512 vsize=200176 memory=75344 CPUtime=0.69 cores=5,7
/proc/215514/stat : 215514 (ld-linux-x86-64) R 215512 215512 210674 0 -1 4194304 15299 0 0 0 65 4 0 0 20 0 2 0 23761351 204980224 18836 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
/proc/215514/statm: 50044 18836 3863 46 0 19008 0
[pid=215514/tid=215515] ppid=215512 vsize=200176 memory=5552 CPUtime=0 cores=5,7
/proc/215514/task/215515/stat : 215515 (ld-linux-x86-64) S 215512 215512 210674 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 23761353 204980224 18836 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 210104 KiB
Current children cumulated memory: 78120 KiB
[startup+1.50028 s]
/proc/loadavg: 4.29 4.23 4.15 5/262 215515
/proc/meminfo: memFree=121371988/131524600 swapFree=131060368/131071996
[pid=215512] ppid=215509 vsize=9928 memory=2776 CPUtime=0 cores=5,7
/proc/215512/stat : 215512 (run-glibc-2.34.) S 215509 215512 210674 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23761351 10166272 694 134679101440 94432391159808 94432392239128 140732694006848 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94432394337584 94432394384772 94432419196928 140732694008771 140732694008928 140732694008928 140732694015939 0
/proc/215512/statm: 2482 694 614 264 0 133 0
[pid=215514] ppid=215512 vsize=207316 memory=82928 CPUtime=1.48 cores=5,7
/proc/215514/stat : 215514 (ld-linux-x86-64) R 215512 215512 210674 0 -1 4194304 16646 0 0 0 141 7 0 0 20 0 2 0 23761351 212291584 20732 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
/proc/215514/statm: 51829 20732 3863 46 0 20793 0
[pid=215514/tid=215515] ppid=215512 vsize=207316 memory=11624 CPUtime=0 cores=5,7
/proc/215514/task/215515/stat : 215515 (ld-linux-x86-64) S 215512 215512 210674 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 23761353 212291584 20732 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 217244 KiB
Current children cumulated memory: 85704 KiB
[startup+3.10554 s]
/proc/loadavg: 4.29 4.23 4.15 5/262 215517
/proc/meminfo: memFree=121344924/131524600 swapFree=131060368/131071996
[pid=215512] ppid=215509 vsize=9928 memory=2776 CPUtime=0 cores=5,7
/proc/215512/stat : 215512 (run-glibc-2.34.) S 215509 215512 210674 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23761351 10166272 694 134679101440 94432391159808 94432392239128 140732694006848 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94432394337584 94432394384772 94432419196928 140732694008771 140732694008928 140732694008928 140732694015939 0
/proc/215512/statm: 2482 694 614 264 0 133 0
[pid=215514] ppid=215512 vsize=235720 memory=104484 CPUtime=3.09 cores=5,7
/proc/215514/stat : 215514 (ld-linux-x86-64) R 215512 215512 210674 0 -1 4194304 29459 0 0 0 297 12 0 0 20 0 2 0 23761351 241377280 26121 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
/proc/215514/statm: 58930 26121 3863 46 0 27894 0
[pid=215514/tid=215515] ppid=215512 vsize=235720 memory=103716 CPUtime=0 cores=5,7
/proc/215514/task/215515/stat : 215515 (ld-linux-x86-64) S 215512 215512 210674 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 2 0 23761353 241377280 26121 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 245648 KiB
Current children cumulated memory: 107260 KiB
[startup+6.30026 s]
/proc/loadavg: 4.35 4.24 4.16 6/262 215517
/proc/meminfo: memFree=121330296/131524600 swapFree=131060368/131071996
[pid=215512] ppid=215509 vsize=9928 memory=2776 CPUtime=0 cores=5,7
/proc/215512/stat : 215512 (run-glibc-2.34.) S 215509 215512 210674 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23761351 10166272 694 134679101440 94432391159808 94432392239128 140732694006848 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94432394337584 94432394384772 94432419196928 140732694008771 140732694008928 140732694008928 140732694015939 0
/proc/215512/statm: 2482 694 614 264 0 133 0
[pid=215514] ppid=215512 vsize=249052 memory=122732 CPUtime=6.27 cores=5,7
/proc/215514/stat : 215514 (ld-linux-x86-64) R 215512 215512 210674 0 -1 4194304 42541 0 0 0 612 15 0 0 20 0 2 0 23761351 255029248 30683 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
/proc/215514/statm: 62263 30683 3863 46 0 31227 0
[pid=215514/tid=215515] ppid=215512 vsize=249052 memory=83192 CPUtime=0 cores=5,7
/proc/215514/task/215515/stat : 215515 (ld-linux-x86-64) S 215512 215512 210674 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 2 0 23761353 255029248 30683 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 258980 KiB
Current children cumulated memory: 125508 KiB
[startup+12.7002 s]
/proc/loadavg: 4.48 4.27 4.17 5/262 215517
/proc/meminfo: memFree=121291796/131524600 swapFree=131060368/131071996
[pid=215512] ppid=215509 vsize=9928 memory=2776 CPUtime=0 cores=5,7
/proc/215512/stat : 215512 (run-glibc-2.34.) S 215509 215512 210674 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23761351 10166272 694 134679101440 94432391159808 94432392239128 140732694006848 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94432394337584 94432394384772 94432419196928 140732694008771 140732694008928 140732694008928 140732694015939 0
/proc/215512/statm: 2482 694 614 264 0 133 0
[pid=215514] ppid=215512 vsize=321444 memory=166084 CPUtime=12.66 cores=5,7
/proc/215514/stat : 215514 (ld-linux-x86-64) R 215512 215512 210674 0 -1 4194304 79496 0 0 0 1240 26 0 0 20 0 2 0 23761351 329158656 41521 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
/proc/215514/statm: 80361 41521 3863 46 0 49325 0
[pid=215514/tid=215515] ppid=215512 vsize=321444 memory=161912 CPUtime=0 cores=5,7
/proc/215514/task/215515/stat : 215515 (ld-linux-x86-64) S 215512 215512 210674 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 2 0 23761353 329158656 41521 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 331372 KiB
Current children cumulated memory: 168860 KiB
[startup+25.5003 s]
/proc/loadavg: 4.68 4.33 4.19 5/262 215520
/proc/meminfo: memFree=121245872/131524600 swapFree=131060368/131071996
[pid=215512] ppid=215509 vsize=9928 memory=2776 CPUtime=0 cores=5,7
/proc/215512/stat : 215512 (run-glibc-2.34.) S 215509 215512 210674 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23761351 10166272 694 134679101440 94432391159808 94432392239128 140732694006848 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94432394337584 94432394384772 94432419196928 140732694008771 140732694008928 140732694008928 140732694015939 0
/proc/215512/statm: 2482 694 614 264 0 133 0
[pid=215514] ppid=215512 vsize=348392 memory=200104 CPUtime=25.44 cores=5,7
/proc/215514/stat : 215514 (ld-linux-x86-64) R 215512 215512 210674 0 -1 4194304 131707 0 0 0 2500 44 0 0 20 0 2 0 23761351 356753408 50026 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
/proc/215514/statm: 87098 50026 3863 46 0 56062 0
[pid=215514/tid=215515] ppid=215512 vsize=348392 memory=8041628494280824986 CPUtime=0.01 cores=5,7
/proc/215514/task/215515/stat : 215515 (ld-linux-x86-64) S 215512 215512 210674 0 -1 1077936192 23 0 0 0 0 1 0 0 20 0 2 0 23761353 356753408 50026 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 358320 KiB
Current children cumulated memory: 202880 KiB
[startup+51.1058 s]
/proc/loadavg: 4.62 4.35 4.20 5/262 215523
/proc/meminfo: memFree=121208044/131524600 swapFree=131060368/131071996
[pid=215512] ppid=215509 vsize=9928 memory=2776 CPUtime=0 cores=5,7
/proc/215512/stat : 215512 (run-glibc-2.34.) S 215509 215512 210674 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23761351 10166272 694 134679101440 94432391159808 94432392239128 140732694006848 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94432394337584 94432394384772 94432419196928 140732694008771 140732694008928 140732694008928 140732694015939 0
/proc/215512/statm: 2482 694 614 264 0 133 0
[pid=215514] ppid=215512 vsize=368320 memory=216968 CPUtime=50.99 cores=5,7
/proc/215514/stat : 215514 (ld-linux-x86-64) R 215512 215512 210674 0 -1 4194304 215594 0 0 0 5024 75 0 0 20 0 2 0 23761351 377159680 54242 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
/proc/215514/statm: 92080 54242 3863 46 0 61044 0
[pid=215514/tid=215515] ppid=215512 vsize=368320 memory=2776 CPUtime=0.03 cores=5,7
/proc/215514/task/215515/stat : 215515 (ld-linux-x86-64) S 215512 215512 210674 0 -1 1077936192 36 0 0 0 1 2 0 0 20 0 2 0 23761353 377159680 54242 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 378248 KiB
Current children cumulated memory: 219744 KiB
[startup+102.3 s]
/proc/loadavg: 4.39 4.32 4.19 5/262 215578
/proc/meminfo: memFree=121217240/131524600 swapFree=131060368/131071996
[pid=215512] ppid=215509 vsize=9928 memory=2776 CPUtime=0 cores=5,7
/proc/215512/stat : 215512 (run-glibc-2.34.) S 215509 215512 210674 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23761351 10166272 694 134679101440 94432391159808 94432392239128 140732694006848 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94432394337584 94432394384772 94432419196928 140732694008771 140732694008928 140732694008928 140732694015939 0
/proc/215512/statm: 2482 694 614 264 0 133 0
[pid=215514] ppid=215512 vsize=442912 memory=260984 CPUtime=102.09 cores=5,7
/proc/215514/stat : 215514 (ld-linux-x86-64) R 215512 215512 210674 0 -1 4194304 285671 0 0 0 10098 111 0 0 20 0 2 0 23761351 453541888 65246 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
/proc/215514/statm: 110728 65246 3863 46 0 79692 0
[pid=215514/tid=215515] ppid=215512 vsize=442912 memory=11624 CPUtime=0.06 cores=5,7
/proc/215514/task/215515/stat : 215515 (ld-linux-x86-64) S 215512 215512 210674 0 -1 1077936192 43 0 0 0 2 4 0 0 20 0 2 0 23761353 453541888 65246 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 452840 KiB
Current children cumulated memory: 263760 KiB
[startup+162.3 s]
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.16 4.15 4.14 5/264 217366
/proc/meminfo: memFree=119658784/131524600 swapFree=131060368/131071996
[pid=215512] ppid=215509 vsize=9928 memory=2776 CPUtime=0 cores=5,7
/proc/215512/stat : 215512 (run-glibc-2.34.) S 215509 215512 210674 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23761351 10166272 694 134679101440 94432391159808 94432392239128 140732694006848 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94432394337584 94432394384772 94432419196928 140732694008771 140732694008928 140732694008928 140732694015939 0
/proc/215512/statm: 2482 694 614 264 0 133 0
[pid=215514] ppid=215512 vsize=2244920 memory=1184064 CPUtime=3156.06 cores=5,7
/proc/215514/stat : 215514 (ld-linux-x86-64) R 215512 215512 210674 0 -1 4194304 1441333 0 0 0 313302 2304 0 0 20 0 2 0 23761351 2298798080 296016 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
/proc/215514/statm: 561230 296016 4069 46 0 530194 0
[pid=215514/tid=215515] ppid=215512 vsize=2244920 memory=68496 CPUtime=2.87 cores=5,7
/proc/215514/task/215515/stat : 215515 (ld-linux-x86-64) S 215512 215512 210674 0 -1 1077936192 156 0 0 0 125 162 0 0 20 0 2 0 23761353 2298798080 296016 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
Current children cumulated CPU time: 3156.06 s
Current children cumulated vsize: 2254848 KiB
Current children cumulated memory: 1186840 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.15 4.14 5/260 217376
/proc/meminfo: memFree=119653708/131524600 swapFree=131060368/131071996
[pid=215512] ppid=215509 vsize=9928 memory=2776 CPUtime=0 cores=5,7
/proc/215512/stat : 215512 (run-glibc-2.34.) S 215509 215512 210674 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23761351 10166272 694 134679101440 94432391159808 94432392239128 140732694006848 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94432394337584 94432394384772 94432419196928 140732694008771 140732694008928 140732694008928 140732694015939 0
/proc/215512/statm: 2482 694 614 264 0 133 0
[pid=215514] ppid=215512 vsize=2244920 memory=1184080 CPUtime=3215.98 cores=5,7
/proc/215514/stat : 215514 (ld-linux-x86-64) R 215512 215512 210674 0 -1 4194304 1442638 0 0 0 319279 2319 0 0 20 0 2 0 23761351 2298798080 296020 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
/proc/215514/statm: 561230 296020 4069 46 0 530194 0
[pid=215514/tid=215515] ppid=215512 vsize=2244920 memory=2776 CPUtime=2.94 cores=5,7
/proc/215514/task/215515/stat : 215515 (ld-linux-x86-64) S 215512 215512 210674 0 -1 1077936192 159 0 0 0 129 165 0 0 20 0 2 0 23761353 2298798080 296020 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
Current children cumulated CPU time: 3215.98 s
Current children cumulated vsize: 2254848 KiB
Current children cumulated memory: 1186856 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.15 4.14 5/259 217387
/proc/meminfo: memFree=119653624/131524600 swapFree=131060368/131071996
[pid=215512] ppid=215509 vsize=9928 memory=2776 CPUtime=0 cores=5,7
/proc/215512/stat : 215512 (run-glibc-2.34.) S 215509 215512 210674 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23761351 10166272 694 134679101440 94432391159808 94432392239128 140732694006848 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94432394337584 94432394384772 94432419196928 140732694008771 140732694008928 140732694008928 140732694015939 0
/proc/215512/statm: 2482 694 614 264 0 133 0
[pid=215514] ppid=215512 vsize=2244920 memory=1184116 CPUtime=3275.9 cores=5,7
/proc/215514/stat : 215514 (ld-linux-x86-64) R 215512 215512 210674 0 -1 4194304 1445533 0 0 0 325243 2347 0 0 20 0 2 0 23761351 2298798080 296029 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
/proc/215514/statm: 561230 296029 4069 46 0 530194 0
[pid=215514/tid=215515] ppid=215512 vsize=2244920 memory=1184116 CPUtime=3 cores=5,7
/proc/215514/task/215515/stat : 215515 (ld-linux-x86-64) S 215512 215512 210674 0 -1 1077936192 163 0 0 0 132 168 0 0 20 0 2 0 23761353 2298798080 296029 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
Current children cumulated CPU time: 3275.9 s
Current children cumulated vsize: 2254848 KiB
Current children cumulated memory: 1186892 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.14 5/259 217397
/proc/meminfo: memFree=119625888/131524600 swapFree=131060368/131071996
[pid=215512] ppid=215509 vsize=9928 memory=2776 CPUtime=0 cores=5,7
/proc/215512/stat : 215512 (run-glibc-2.34.) S 215509 215512 210674 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23761351 10166272 694 134679101440 94432391159808 94432392239128 140732694006848 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94432394337584 94432394384772 94432419196928 140732694008771 140732694008928 140732694008928 140732694015939 0
/proc/215512/statm: 2482 694 614 264 0 133 0
[pid=215514] ppid=215512 vsize=2275892 memory=1210924 CPUtime=3335.81 cores=5,7
/proc/215514/stat : 215514 (ld-linux-x86-64) R 215512 215512 210674 0 -1 4194304 1456931 0 0 0 331216 2365 0 0 20 0 2 0 23761351 2330513408 302731 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
/proc/215514/statm: 568973 302731 4069 46 0 537937 0
[pid=215514/tid=215515] ppid=215512 vsize=2275892 memory=11624 CPUtime=3.06 cores=5,7
/proc/215514/task/215515/stat : 215515 (ld-linux-x86-64) S 215512 215512 210674 0 -1 1077936192 166 0 0 0 133 173 0 0 20 0 2 0 23761353 2330513408 302731 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
Current children cumulated CPU time: 3335.81 s
Current children cumulated vsize: 2285820 KiB
Current children cumulated memory: 1213700 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.13 4.13 5/260 217408
/proc/meminfo: memFree=119575792/131524600 swapFree=131060368/131071996
[pid=215512] ppid=215509 vsize=9928 memory=2776 CPUtime=0 cores=5,7
/proc/215512/stat : 215512 (run-glibc-2.34.) S 215509 215512 210674 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23761351 10166272 694 134679101440 94432391159808 94432392239128 140732694006848 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94432394337584 94432394384772 94432419196928 140732694008771 140732694008928 140732694008928 140732694015939 0
/proc/215512/statm: 2482 694 614 264 0 133 0
[pid=215514] ppid=215512 vsize=2327032 memory=1253576 CPUtime=3395.69 cores=5,7
/proc/215514/stat : 215514 (ld-linux-x86-64) R 215512 215512 210674 0 -1 4194304 1474575 0 0 0 337175 2394 0 0 20 0 2 0 23761351 2382880768 313394 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
/proc/215514/statm: 581758 313394 4069 46 0 550722 0
[pid=215514/tid=215515] ppid=215512 vsize=2327032 memory=1253576 CPUtime=3.12 cores=5,7
/proc/215514/task/215515/stat : 215515 (ld-linux-x86-64) S 215512 215512 210674 0 -1 1077936192 166 0 0 0 136 176 0 0 20 0 2 0 23761353 2382880768 313394 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
Current children cumulated CPU time: 3395.69 s
Current children cumulated vsize: 2336960 KiB
Current children cumulated memory: 1256352 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.13 5/260 217419
/proc/meminfo: memFree=119571484/131524600 swapFree=131060368/131071996
[pid=215512] ppid=215509 vsize=9928 memory=2776 CPUtime=0 cores=5,7
/proc/215512/stat : 215512 (run-glibc-2.34.) S 215509 215512 210674 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23761351 10166272 694 134679101440 94432391159808 94432392239128 140732694006848 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94432394337584 94432394384772 94432419196928 140732694008771 140732694008928 140732694008928 140732694015939 0
/proc/215512/statm: 2482 694 614 264 0 133 0
[pid=215514] ppid=215512 vsize=2327032 memory=1253636 CPUtime=3455.6 cores=5,7
/proc/215514/stat : 215514 (ld-linux-x86-64) R 215512 215512 210674 0 -1 4194304 1477161 0 0 0 343137 2423 0 0 20 0 2 0 23761351 2382880768 313409 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
/proc/215514/statm: 581758 313409 4069 46 0 550722 0
[pid=215514/tid=215515] ppid=215512 vsize=2327032 memory=2776 CPUtime=3.18 cores=5,7
/proc/215514/task/215515/stat : 215515 (ld-linux-x86-64) S 215512 215512 210674 0 -1 1077936192 169 0 0 0 137 181 0 0 20 0 2 0 23761353 2382880768 313409 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
Current children cumulated CPU time: 3455.6 s
Current children cumulated vsize: 2336960 KiB
Current children cumulated memory: 1256412 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/263 217434
/proc/meminfo: memFree=119557220/131524600 swapFree=131060368/131071996
[pid=215512] ppid=215509 vsize=9928 memory=2776 CPUtime=0 cores=5,7
/proc/215512/stat : 215512 (run-glibc-2.34.) S 215509 215512 210674 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23761351 10166272 694 134679101440 94432391159808 94432392239128 140732694006848 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94432394337584 94432394384772 94432419196928 140732694008771 140732694008928 140732694008928 140732694015939 0
/proc/215512/statm: 2482 694 614 264 0 133 0
[pid=215514] ppid=215512 vsize=2327032 memory=1253640 CPUtime=3515.51 cores=5,7
/proc/215514/stat : 215514 (ld-linux-x86-64) R 215512 215512 210674 0 -1 4194304 1479453 0 0 0 349098 2453 0 0 20 0 2 0 23761351 2382880768 313410 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
/proc/215514/statm: 581758 313410 4069 46 0 550722 0
[pid=215514/tid=215515] ppid=215512 vsize=2327032 memory=2776 CPUtime=3.25 cores=5,7
/proc/215514/task/215515/stat : 215515 (ld-linux-x86-64) S 215512 215512 210674 0 -1 1077936192 172 0 0 0 140 185 0 0 20 0 2 0 23761353 2382880768 313410 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
Current children cumulated CPU time: 3515.51 s
Current children cumulated vsize: 2336960 KiB
Current children cumulated memory: 1256416 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.12 5/263 217446
/proc/meminfo: memFree=119554276/131524600 swapFree=131060368/131071996
[pid=215512] ppid=215509 vsize=9928 memory=2776 CPUtime=0 cores=5,7
/proc/215512/stat : 215512 (run-glibc-2.34.) S 215509 215512 210674 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23761351 10166272 694 134679101440 94432391159808 94432392239128 140732694006848 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94432394337584 94432394384772 94432419196928 140732694008771 140732694008928 140732694008928 140732694015939 0
/proc/215512/statm: 2482 694 614 264 0 133 0
[pid=215514] ppid=215512 vsize=2327032 memory=1253640 CPUtime=3575.43 cores=5,7
/proc/215514/stat : 215514 (ld-linux-x86-64) R 215512 215512 210674 0 -1 4194304 1481104 0 0 0 355050 2493 0 0 20 0 2 0 23761351 2382880768 313410 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
/proc/215514/statm: 581758 313410 4069 46 0 550722 0
[pid=215514/tid=215515] ppid=215512 vsize=2327032 memory=18176 CPUtime=3.31 cores=5,7
/proc/215514/task/215515/stat : 215515 (ld-linux-x86-64) S 215512 215512 210674 0 -1 1077936192 175 0 0 0 143 188 0 0 20 0 2 0 23761353 2382880768 313410 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
Current children cumulated CPU time: 3575.43 s
Current children cumulated vsize: 2336960 KiB
Current children cumulated memory: 1256416 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3607 s]*
/proc/loadavg: 3.78 4.05 4.10 4/254 217481
/proc/meminfo: memFree=119733128/131524600 swapFree=131060368/131071996
[pid=215512] ppid=215509 vsize=9928 memory=2776 CPUtime=0 cores=5,7
/proc/215512/stat : 215512 (run-glibc-2.34.) S 215509 215512 210674 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23761351 10166272 694 134679101440 94432391159808 94432392239128 140732694006848 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94432394337584 94432394384772 94432419196928 140732694008771 140732694008928 140732694008928 140732694015939 0
/proc/215512/statm: 2482 694 614 264 0 133 0
[pid=215514] ppid=215512 vsize=2327032 memory=1253640 CPUtime=3600.08 cores=5,7
/proc/215514/stat : 215514 (ld-linux-x86-64) R 215512 215512 210674 0 -1 4194304 1481910 0 0 0 357506 2502 0 0 20 0 2 0 23761351 2382880768 313410 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
/proc/215514/statm: 581758 313410 4069 46 0 550722 0
[pid=215514/tid=215515] ppid=215512 vsize=2327032 memory=637528 CPUtime=3.32 cores=5,7
/proc/215514/task/215515/stat : 215515 (ld-linux-x86-64) R 215512 215512 210674 0 -1 1077936192 175 0 0 0 143 189 0 0 20 0 2 0 23761353 2382880768 313410 134679101440 139904585879552 139904586067164 140734348716416 0 0 0 0 4096 0 0 0 0 -1 7 0 0 0 0 0 139904588168064 139904588177512 93824999174144 140734348718939 140734348719103 140734348719103 140734348726194 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2336960 KiB
Current children cumulated memory: 1256416 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3607.01 s]
# the end of solver process 215512 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001503 s, system=0 s
[startup+3607.02 s]
# the end of solver process 215514 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3575.07 s, system=25.0284 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
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3607.02
CPU time (s): 3600.1
CPU user time (s): 3575.07
CPU system time (s): 25.0284
CPU usage (%): 99.8083
Max. virtual memory (cumulated for all children) (KiB): 2395760
Max. memory (cumulated for all children) (KiB): 1256416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.07
system time used= 25.0284
maximum resident set size= 1253640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1482112
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= 357425
involuntary context switches= 2083
# summary of solver processes directly reported to runsolver:
# pid: 215512,215514
# total CPU time (s): 3600.1
# total CPU user time (s): 3575.07
# total CPU system time (s): 25.0284
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.01991 second user time and 19.7014 second system time
The end