645.54/647.13 c initialize IPBHS solver
645.54/647.13 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
645.54/647.13 c optimizer = "gurobi"
645.54/647.13 c pbsolver = "roundingsat"
645.54/647.13 c load symmetries from file ""
645.54/647.13 c set time limit for symmetry computation to 100 seconds.
645.54/647.13 c set interchangeable summation variable limit to 3
645.54/647.13 c set abs symmetric core budget per WCE-iteration to 100
645.54/647.13 c set rel symmetric core budget per WCE-iteration to 0
645.54/647.13 c set lit symmetric core budget per WCE-iteration to 0
645.54/647.13 c set sym generation to 's'
645.54/647.13 c set abstraction set creation to 10 iterations without LB change
645.54/647.13 c set abstraction set inputs to 0
645.54/647.13 c set abstraction set cluster min size to 2
645.54/647.13 c set abstraction set cluster max size to 100000000
645.54/647.13 c set abstraction set cluster activation limit to 2
645.54/647.13 c enable abstraction set require equal cost
645.54/647.13 c set abstraction set assumptions to 0
645.54/647.13 c set abstraction set constraint type to 0
645.54/647.13 c set abstract core extraction strategy to b
645.54/647.13 c set core extraction strategy to 2
645.54/647.13 c set core extraction shuffles 10
645.54/647.13 c set cores per iteration to 5
645.54/647.13 c set optimizer bound usage strategy to 2
645.54/647.13 c set optimizer max non-optimal iterations to 1000
645.54/647.13 c set small core cardinality limit to 2
645.54/647.13 c set max coef in cores to 1000000000
645.54/647.13 c set SIS iterations to 5
645.54/647.13 c set SIS budget abs to 1000
645.54/647.13 c set SIS budget rel to 0.05
645.54/647.13 c limit for coefficient in constraints and objective to 9223372036854775807
645.54/647.13 c will solve HOME/instance-4458413-1721872332.opb
645.54/647.13 c [0.01] solve iteration 1, LB=-4950, UB=1
645.54/647.13 c [0.16] solve iteration 2, LB=-99, UB=-98
645.54/647.13 c [14.25] solve iteration 3, LB=-99, UB=-98
645.54/647.13 c [123.06] solve iteration 4, LB=-99, UB=-98
645.54/647.13 c [124.91] solve iteration 5, LB=-99, UB=-98
645.54/647.13 c [136.59] solve iteration 6, LB=-99, UB=-98
645.54/647.13 c [137.35] solve iteration 7, LB=-99, UB=-98
645.54/647.13 c [237.35] solve iteration 8, LB=-99, UB=-98
645.54/647.13 c [239.09] solve iteration 9, LB=-99, UB=-98
645.54/647.13 c [255.45] solve iteration 10, LB=-99, UB=-98
645.54/647.13 c [285.3] solve iteration 11, LB=-99, UB=-98
645.54/647.13 c [286.09] solve iteration 12, LB=-99, UB=-98
645.54/647.13 c [286.82] solve iteration 13, LB=-99, UB=-98
645.54/647.13 c [287.2] solve iteration 14, LB=-99, UB=-98
645.54/647.13 c [287.62] solve iteration 15, LB=-99, UB=-98
645.54/647.13 c [323.62] solve iteration 16, LB=-99, UB=-98
645.54/647.13 c [324.88] solve iteration 17, LB=-99, UB=-98
645.54/647.13 c [325.18] solve iteration 18, LB=-99, UB=-98
645.54/647.13 c [325.52] solve iteration 19, LB=-99, UB=-98
645.54/647.13 c [325.9] solve iteration 20, LB=-99, UB=-98
645.54/647.13 c [342.49] solve iteration 21, LB=-99, UB=-98
645.54/647.13 c [349.06] solve iteration 22, LB=-99, UB=-98
645.54/647.13 c [360.87] solve iteration 23, LB=-99, UB=-98
645.54/647.13 c [388.73] solve iteration 24, LB=-99, UB=-98
645.54/647.13 c [392.22] solve iteration 25, LB=-99, UB=-98
645.54/647.13 c [419.38] solve iteration 26, LB=-99, UB=-98
645.54/647.13 c [420.65] solve iteration 27, LB=-99, UB=-98
645.54/647.13 c [421.3] solve iteration 28, LB=-99, UB=-98
645.54/647.13 c [432.11] solve iteration 29, LB=-99, UB=-98
645.54/647.13 c [445.51] solve iteration 30, LB=-99, UB=-98
645.54/647.13 c [470.1] solve iteration 31, LB=-99, UB=-98
645.54/647.13 c [471.92] solve iteration 32, LB=-99, UB=-98
645.54/647.13 c [472.9] solve iteration 33, LB=-99, UB=-98
645.54/647.13 c [474.79] solve iteration 34, LB=-99, UB=-98
645.54/647.13 c [477.38] solve iteration 35, LB=-99, UB=-98
645.54/647.13 c [501.83] solve iteration 36, LB=-99, UB=-98
645.54/647.13 c [502.67] solve iteration 37, LB=-99, UB=-98
645.54/647.13 c [503.07] solve iteration 38, LB=-99, UB=-98
645.54/647.13 c [503.36] solve iteration 39, LB=-99, UB=-98
645.54/647.13 c [503.9] solve iteration 40, LB=-99, UB=-98
645.54/647.13 c [536.31] solve iteration 41, LB=-99, UB=-98
645.54/647.13 c [537.33] solve iteration 42, LB=-99, UB=-98
645.54/647.13 c [538.13] solve iteration 43, LB=-99, UB=-98
645.54/647.13 c [538.4] solve iteration 44, LB=-99, UB=-98
645.54/647.13 c [538.77] solve iteration 45, LB=-99, UB=-98
645.54/647.13 c [568.79] solve iteration 46, LB=-99, UB=-98
645.54/647.13 c [569.53] solve iteration 47, LB=-99, UB=-98
645.54/647.13 c [570.11] solve iteration 48, LB=-99, UB=-98
645.54/647.13 c [572.22] solve iteration 49, LB=-99, UB=-98
645.54/647.13 c [572.64] solve iteration 50, LB=-99, UB=-98
645.54/647.13 c [600.4] solve iteration 51, LB=-99, UB=-98
645.54/647.13 c [600.96] solve iteration 52, LB=-99, UB=-98
645.54/647.13 c [601.66] solve iteration 53, LB=-99, UB=-98
645.54/647.13 c [606] solve iteration 54, LB=-99, UB=-98
645.54/647.13 c [607.42] solve iteration 55, LB=-99, UB=-98
645.54/647.13 c [636.69] solve iteration 56, LB=-99, UB=-98
645.54/647.13 c [637.35] solve iteration 57, LB=-99, UB=-98
645.54/647.13 c [637.85] solve iteration 58, LB=-99, UB=-98
2005.46/2010.18 c [638.28] solve iteration 59, LB=-99, UB=-98
2005.46/2010.18 c [638.93] solve iteration 60, LB=-99, UB=-98
2005.46/2010.18 c [666.5] solve iteration 61, LB=-99, UB=-98
2005.46/2010.18 c [667.23] solve iteration 62, LB=-99, UB=-98
2005.46/2010.18 c [668.04] solve iteration 63, LB=-99, UB=-98
2005.46/2010.18 c [668.5] solve iteration 64, LB=-99, UB=-98
2005.46/2010.18 c [669.15] solve iteration 65, LB=-99, UB=-98
2005.46/2010.18 c [704.7] solve iteration 66, LB=-99, UB=-98
2005.46/2010.18 c [705.15] solve iteration 67, LB=-99, UB=-98
2005.46/2010.18 c [705.49] solve iteration 68, LB=-99, UB=-98
2005.46/2010.18 c [706.01] solve iteration 69, LB=-99, UB=-98
2005.46/2010.18 c [706.33] solve iteration 70, LB=-99, UB=-98
2005.46/2010.18 c [746.66] solve iteration 71, LB=-99, UB=-98
2005.46/2010.18 c [747.21] solve iteration 72, LB=-99, UB=-98
2005.46/2010.18 c [747.55] solve iteration 73, LB=-99, UB=-98
2005.46/2010.18 c [747.96] solve iteration 74, LB=-99, UB=-98
2005.46/2010.18 c [748.24] solve iteration 75, LB=-99, UB=-98
2005.46/2010.18 c [787.99] solve iteration 76, LB=-99, UB=-98
2005.46/2010.18 c [788.55] solve iteration 77, LB=-99, UB=-98
2005.46/2010.18 c [789.89] solve iteration 78, LB=-99, UB=-98
2005.46/2010.18 c [790.91] solve iteration 79, LB=-99, UB=-98
2005.46/2010.18 c [791.51] solve iteration 80, LB=-99, UB=-98
2005.46/2010.18 c [841.53] solve iteration 81, LB=-99, UB=-98
2005.46/2010.18 c [843.91] solve iteration 82, LB=-99, UB=-98
2005.46/2010.18 c [846.08] solve iteration 83, LB=-99, UB=-98
2005.46/2010.18 c [848.89] solve iteration 84, LB=-99, UB=-98
2005.46/2010.18 c [850.25] solve iteration 85, LB=-99, UB=-98
2005.46/2010.18 c [950.85] solve iteration 86, LB=-99, UB=-98
2005.46/2010.18 c [952.93] solve iteration 87, LB=-99, UB=-98
2005.46/2010.18 c [954.45] solve iteration 88, LB=-99, UB=-98
2005.46/2010.18 c [956.14] solve iteration 89, LB=-99, UB=-98
2005.46/2010.18 c [957.32] solve iteration 90, LB=-99, UB=-98
2005.46/2010.18 c [1058.5] solve iteration 91, LB=-99, UB=-98
2005.46/2010.18 c [1059.11] solve iteration 92, LB=-99, UB=-98
2005.46/2010.18 c [1059.65] solve iteration 93, LB=-99, UB=-98
2005.46/2010.18 c [1061.11] solve iteration 94, LB=-99, UB=-98
2005.46/2010.18 c [1061.6] solve iteration 95, LB=-99, UB=-98
2005.46/2010.18 c [1111.76] solve iteration 96, LB=-99, UB=-98
2005.46/2010.18 c [1114.01] solve iteration 97, LB=-99, UB=-98
2005.46/2010.18 c [1119.48] solve iteration 98, LB=-99, UB=-98
2005.46/2010.18 c [1120.19] solve iteration 99, LB=-99, UB=-98
2005.46/2010.18 c [1120.66] solve iteration 100, LB=-99, UB=-98
2005.46/2010.18 c [1169.96] solve iteration 101, LB=-99, UB=-98
2005.46/2010.18 c [1171.4] solve iteration 102, LB=-99, UB=-98
2005.46/2010.18 c [1172.18] solve iteration 103, LB=-99, UB=-98
2005.46/2010.18 c [1173.33] solve iteration 104, LB=-99, UB=-98
2005.46/2010.18 c [1175.14] solve iteration 105, LB=-99, UB=-98
2005.46/2010.18 c [1234.3] solve iteration 106, LB=-99, UB=-98
2005.46/2010.18 c [1235.5] solve iteration 107, LB=-99, UB=-98
2005.46/2010.18 c [1239.93] solve iteration 108, LB=-99, UB=-98
2005.46/2010.18 c [1240.91] solve iteration 109, LB=-99, UB=-98
2005.46/2010.18 c [1242.11] solve iteration 110, LB=-99, UB=-98
2005.46/2010.18 c [1368.72] solve iteration 111, LB=-99, UB=-98
2005.46/2010.18 c [1370.48] solve iteration 112, LB=-99, UB=-98
2005.46/2010.18 c [1371.8] solve iteration 113, LB=-99, UB=-98
2005.46/2010.18 c [1379.95] solve iteration 114, LB=-99, UB=-98
2005.46/2010.18 c [1384.86] solve iteration 115, LB=-99, UB=-98
2005.46/2010.18 c [1480.17] solve iteration 116, LB=-99, UB=-98
2005.46/2010.18 c [1481.52] solve iteration 117, LB=-99, UB=-98
2005.46/2010.18 c [1482.78] solve iteration 118, LB=-99, UB=-98
2005.46/2010.18 c [1483.78] solve iteration 119, LB=-99, UB=-98
2005.46/2010.18 c [1485.37] solve iteration 120, LB=-99, UB=-98
2005.46/2010.18 c [1577.81] solve iteration 121, LB=-99, UB=-98
2005.46/2010.18 c [1579.15] solve iteration 122, LB=-99, UB=-98
2005.46/2010.18 c [1579.86] solve iteration 123, LB=-99, UB=-98
2005.46/2010.18 c [1580.44] solve iteration 124, LB=-99, UB=-98
2005.46/2010.18 c [1581.12] solve iteration 125, LB=-99, UB=-98
2005.46/2010.18 c [1673.51] solve iteration 126, LB=-99, UB=-98
2005.46/2010.18 c [1675.62] solve iteration 127, LB=-99, UB=-98
2005.46/2010.18 c [1676.83] solve iteration 128, LB=-99, UB=-98
2005.46/2010.18 c [1679.35] solve iteration 129, LB=-99, UB=-98
2005.46/2010.18 c [1681.56] solve iteration 130, LB=-99, UB=-98
2005.46/2010.18 c [1786.99] solve iteration 131, LB=-99, UB=-98
2005.46/2010.18 c [1788.27] solve iteration 132, LB=-99, UB=-98
2005.46/2010.18 c [1789.7] solve iteration 133, LB=-99, UB=-98
2005.46/2010.18 c [1790.44] solve iteration 134, LB=-99, UB=-98
2005.46/2010.18 c [1791.21] solve iteration 135, LB=-99, UB=-98
2005.46/2010.18 c [1866.13] solve iteration 136, LB=-99, UB=-98
2005.46/2010.18 c [1867.88] solve iteration 137, LB=-99, UB=-98
2005.46/2010.18 c [1871.87] solve iteration 138, LB=-99, UB=-98
2005.46/2010.18 c [1872.85] solve iteration 139, LB=-99, UB=-98
2005.46/2010.18 c [1874.59] solve iteration 140, LB=-99, UB=-98
2005.46/2010.18 c [1974.52] solve iteration 141, LB=-99, UB=-98
2005.46/2010.18 c [1979.17] solve iteration 142, LB=-99, UB=-98
2005.46/2010.18 c [1980.88] solve iteration 143, LB=-99, UB=-98
2005.46/2010.18 c [1981.92] solve iteration 144, LB=-99, UB=-98
2005.46/2010.18 c [198
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 (60691 MiB free)
memory of node 1: 64473 MiB (57975 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458413-1721872332/watcher-4458413-1721872332 -o /tmp/evaluation-result-4458413-1721872332/solver-4458413-1721872332 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721865114-213056 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4458413-1721872332.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=217838, runsolver pid=217835
Current StackSize limit: 8192 KiB
[startup+0.100426 s]*
/proc/loadavg: 4.22 4.16 4.16 5/265 217841
/proc/meminfo: memFree=121496384/131524600 swapFree=131054968/131071996
[pid=217838] ppid=217835 vsize=9928 memory=2708 CPUtime=0 cores=1,3
/proc/217838/stat : 217838 (run-glibc-2.34.) S 217835 217838 213044 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23756556 10166272 677 134679101440 94724670173184 94724671252504 140725103321584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94724673350960 94724673398148 94724702420992 140725103326155 140725103326300 140725103326300 140725103333315 0
/proc/217838/statm: 2482 677 598 264 0 133 0
[pid=217840] ppid=217838 vsize=145296 memory=32368 CPUtime=0.08 cores=1,3
/proc/217840/stat : 217840 (ld-linux-x86-64) R 217838 217838 213044 0 -1 4194304 4642 0 0 0 7 1 0 0 20 0 2 0 23756557 148783104 8092 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
/proc/217840/statm: 36324 8092 3498 46 0 8919 0
[pid=217840/tid=217841] ppid=217838 vsize=145296 memory=4026561614 CPUtime=0 cores=1,3
/proc/217840/task/217841/stat : 217841 (ld-linux-x86-64) S 217838 217838 213044 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 23756559 148783104 8092 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 1 0 0 -1 1 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 155224 KiB
Current children cumulated memory: 35076 KiB
[startup+0.206426 s]*
/proc/loadavg: 4.22 4.16 4.16 5/265 217841
/proc/meminfo: memFree=121493056/131524600 swapFree=131054968/131071996
[pid=217838] ppid=217835 vsize=9928 memory=2708 CPUtime=0 cores=1,3
/proc/217838/stat : 217838 (run-glibc-2.34.) S 217835 217838 213044 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23756556 10166272 677 134679101440 94724670173184 94724671252504 140725103321584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94724673350960 94724673398148 94724702420992 140725103326155 140725103326300 140725103326300 140725103333315 0
/proc/217838/statm: 2482 677 598 264 0 133 0
[pid=217840] ppid=217838 vsize=145720 memory=35468 CPUtime=0.19 cores=1,3
/proc/217840/stat : 217840 (ld-linux-x86-64) R 217838 217838 213044 0 -1 4194304 4889 0 0 0 17 2 0 0 20 0 2 0 23756557 149217280 8867 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
/proc/217840/statm: 36430 8867 3498 46 0 9025 0
[pid=217840/tid=217841] ppid=217838 vsize=145720 memory=3471202400344241230 CPUtime=0 cores=1,3
/proc/217840/task/217841/stat : 217841 (ld-linux-x86-64) S 217838 217838 213044 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 23756559 149217280 8867 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 1 0 0 -1 1 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 155648 KiB
Current children cumulated memory: 38176 KiB
[startup+0.305958 s]*
/proc/loadavg: 4.22 4.16 4.16 5/265 217841
/proc/meminfo: memFree=121489304/131524600 swapFree=131054968/131071996
[pid=217838] ppid=217835 vsize=9928 memory=2708 CPUtime=0 cores=1,3
/proc/217838/stat : 217838 (run-glibc-2.34.) S 217835 217838 213044 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23756556 10166272 677 134679101440 94724670173184 94724671252504 140725103321584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94724673350960 94724673398148 94724702420992 140725103326155 140725103326300 140725103326300 140725103333315 0
/proc/217838/statm: 2482 677 598 264 0 133 0
[pid=217840] ppid=217838 vsize=149516 memory=39280 CPUtime=0.29 cores=1,3
/proc/217840/stat : 217840 (ld-linux-x86-64) R 217838 217838 213044 0 -1 4194304 5776 0 0 0 26 3 0 0 20 0 2 0 23756557 153104384 9820 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
/proc/217840/statm: 37379 9820 3530 46 0 9974 0
[pid=217840/tid=217841] ppid=217838 vsize=149516 memory=-8608846869571658854 CPUtime=0 cores=1,3
/proc/217840/task/217841/stat : 217841 (ld-linux-x86-64) R 217838 217838 213044 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 23756559 153104384 9820 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 159444 KiB
Current children cumulated memory: 41988 KiB
[startup+0.700271 s]
/proc/loadavg: 4.22 4.16 4.16 5/265 217841
/proc/meminfo: memFree=121484124/131524600 swapFree=131054968/131071996
[pid=217838] ppid=217835 vsize=9928 memory=2708 CPUtime=0 cores=1,3
/proc/217838/stat : 217838 (run-glibc-2.34.) S 217835 217838 213044 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23756556 10166272 677 134679101440 94724670173184 94724671252504 140725103321584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94724673350960 94724673398148 94724702420992 140725103326155 140725103326300 140725103326300 140725103333315 0
/proc/217838/statm: 2482 677 598 264 0 133 0
[pid=217840] ppid=217838 vsize=161172 memory=50288 CPUtime=0.68 cores=1,3
/proc/217840/stat : 217840 (ld-linux-x86-64) R 217838 217838 213044 0 -1 4194304 8070 0 0 0 63 5 0 0 20 0 2 0 23756557 165040128 12572 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
/proc/217840/statm: 40293 12572 3530 46 0 12888 0
[pid=217840/tid=217841] ppid=217838 vsize=161172 memory=25596 CPUtime=0 cores=1,3
/proc/217840/task/217841/stat : 217841 (ld-linux-x86-64) S 217838 217838 213044 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 23756559 165040128 12572 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 171100 KiB
Current children cumulated memory: 52996 KiB
[startup+1.50027 s]
/proc/loadavg: 4.22 4.16 4.16 5/265 217841
/proc/meminfo: memFree=121472724/131524600 swapFree=131054968/131071996
[pid=217838] ppid=217835 vsize=9928 memory=2708 CPUtime=0 cores=1,3
/proc/217838/stat : 217838 (run-glibc-2.34.) S 217835 217838 213044 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23756556 10166272 677 134679101440 94724670173184 94724671252504 140725103321584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94724673350960 94724673398148 94724702420992 140725103326155 140725103326300 140725103326300 140725103333315 0
/proc/217838/statm: 2482 677 598 264 0 133 0
[pid=217840] ppid=217838 vsize=179264 memory=67796 CPUtime=1.47 cores=1,3
/proc/217840/stat : 217840 (ld-linux-x86-64) R 217838 217838 213044 0 -1 4194304 11369 0 0 0 140 7 0 0 20 0 2 0 23756557 183566336 16949 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
/proc/217840/statm: 44816 16949 3530 46 0 17411 0
[pid=217840/tid=217841] ppid=217838 vsize=179264 memory=11944 CPUtime=0 cores=1,3
/proc/217840/task/217841/stat : 217841 (ld-linux-x86-64) S 217838 217838 213044 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 23756559 183566336 16949 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 189192 KiB
Current children cumulated memory: 70504 KiB
[startup+3.10577 s]
/proc/loadavg: 4.20 4.16 4.16 5/265 217842
/proc/meminfo: memFree=121442080/131524600 swapFree=131054968/131071996
[pid=217838] ppid=217835 vsize=9928 memory=2708 CPUtime=0 cores=1,3
/proc/217838/stat : 217838 (run-glibc-2.34.) S 217835 217838 213044 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23756556 10166272 677 134679101440 94724670173184 94724671252504 140725103321584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94724673350960 94724673398148 94724702420992 140725103326155 140725103326300 140725103326300 140725103333315 0
/proc/217838/statm: 2482 677 598 264 0 133 0
[pid=217840] ppid=217838 vsize=203836 memory=86516 CPUtime=3.08 cores=1,3
/proc/217840/stat : 217840 (ld-linux-x86-64) R 217838 217838 213044 0 -1 4194304 26091 0 0 0 296 12 0 0 20 0 2 0 23756557 208728064 21629 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
/proc/217840/statm: 50959 21629 3530 46 0 23554 0
[pid=217840/tid=217841] ppid=217838 vsize=203836 memory=2708 CPUtime=0 cores=1,3
/proc/217840/task/217841/stat : 217841 (ld-linux-x86-64) S 217838 217838 213044 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 23756559 208728064 21629 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 213764 KiB
Current children cumulated memory: 89224 KiB
[startup+6.30026 s]
/proc/loadavg: 4.20 4.16 4.16 5/265 217842
/proc/meminfo: memFree=121408108/131524600 swapFree=131054968/131071996
[pid=217838] ppid=217835 vsize=9928 memory=2708 CPUtime=0 cores=1,3
/proc/217838/stat : 217838 (run-glibc-2.34.) S 217835 217838 213044 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23756556 10166272 677 134679101440 94724670173184 94724671252504 140725103321584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94724673350960 94724673398148 94724702420992 140725103326155 140725103326300 140725103326300 140725103333315 0
/proc/217838/statm: 2482 677 598 264 0 133 0
[pid=217840] ppid=217838 vsize=243840 memory=123020 CPUtime=6.26 cores=1,3
/proc/217840/stat : 217840 (ld-linux-x86-64) R 217838 217838 213044 0 -1 4194304 43481 0 0 0 606 20 0 0 20 0 2 0 23756557 249692160 30755 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
/proc/217840/statm: 60960 30755 3530 46 0 33555 0
[pid=217840/tid=217841] ppid=217838 vsize=243840 memory=2708 CPUtime=0 cores=1,3
/proc/217840/task/217841/stat : 217841 (ld-linux-x86-64) S 217838 217838 213044 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 2 0 23756559 249692160 30755 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 253768 KiB
Current children cumulated memory: 125728 KiB
[startup+12.7003 s]
/proc/loadavg: 4.17 4.15 4.16 5/265 217842
/proc/meminfo: memFree=121392568/131524600 swapFree=131054968/131071996
[pid=217838] ppid=217835 vsize=9928 memory=2708 CPUtime=0 cores=1,3
/proc/217838/stat : 217838 (run-glibc-2.34.) S 217835 217838 213044 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23756556 10166272 677 134679101440 94724670173184 94724671252504 140725103321584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94724673350960 94724673398148 94724702420992 140725103326155 140725103326300 140725103326300 140725103333315 0
/proc/217838/statm: 2482 677 598 264 0 133 0
[pid=217840] ppid=217838 vsize=249204 memory=134696 CPUtime=12.66 cores=1,3
/proc/217840/stat : 217840 (ld-linux-x86-64) R 217838 217838 213044 0 -1 4194304 81353 0 0 0 1233 33 0 0 20 0 2 0 23756557 255184896 33674 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
/proc/217840/statm: 62301 33674 3530 46 0 34896 0
[pid=217840/tid=217841] ppid=217838 vsize=249204 memory=2708 CPUtime=0 cores=1,3
/proc/217840/task/217841/stat : 217841 (ld-linux-x86-64) S 217838 217838 213044 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 2 0 23756559 255184896 33674 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 259132 KiB
Current children cumulated memory: 137404 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.15 4.15 5/265 217893
/proc/meminfo: memFree=121431704/131524600 swapFree=131054968/131071996
[pid=217838] ppid=217835 vsize=9928 memory=2708 CPUtime=0 cores=1,3
/proc/217838/stat : 217838 (run-glibc-2.34.) S 217835 217838 213044 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23756556 10166272 677 134679101440 94724670173184 94724671252504 140725103321584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94724673350960 94724673398148 94724702420992 140725103326155 140725103326300 140725103326300 140725103333315 0
/proc/217838/statm: 2482 677 598 264 0 133 0
[pid=217840] ppid=217838 vsize=305896 memory=167020 CPUtime=25.42 cores=1,3
/proc/217840/stat : 217840 (ld-linux-x86-64) R 217838 217838 213044 0 -1 4194304 136754 0 0 0 2485 57 0 0 20 0 2 0 23756557 313237504 41755 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
/proc/217840/statm: 76474 41755 3530 46 0 49069 0
[pid=217840/tid=217841] ppid=217838 vsize=305896 memory=151012 CPUtime=0 cores=1,3
/proc/217840/task/217841/stat : 217841 (ld-linux-x86-64) S 217838 217838 213044 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 2 0 23756559 313237504 41755 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 315824 KiB
Current children cumulated memory: 169728 KiB
[startup+51.1059 s]
/proc/loadavg: 4.15 4.15 4.16 5/264 217896
/proc/meminfo: memFree=121395504/131524600 swapFree=131054968/131071996
[pid=217838] ppid=217835 vsize=9928 memory=2708 CPUtime=0 cores=1,3
/proc/217838/stat : 217838 (run-glibc-2.34.) S 217835 217838 213044 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23756556 10166272 677 134679101440 94724670173184 94724671252504 140725103321584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94724673350960 94724673398148 94724702420992 140725103326155 140725103326300 140725103326300 140725103333315 0
/proc/217838/statm: 2482 677 598 264 0 133 0
[pid=217840] ppid=217838 vsize=318828 memory=196024 CPUtime=50.98 cores=1,3
/proc/217840/stat : 217840 (ld-linux-x86-64) R 217838 217838 213044 0 -1 4194304 202494 0 0 0 5012 86 0 0 20 0 2 0 23756557 326479872 49006 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
/proc/217840/statm: 79707 49006 3530 46 0 52302 0
[pid=217840/tid=217841] ppid=217838 vsize=318828 memory=2708 CPUtime=0.03 cores=1,3
/proc/217840/task/217841/stat : 217841 (ld-linux-x86-64) S 217838 217838 213044 0 -1 1077936192 40 0 0 0 1 2 0 0 20 0 2 0 23756559 326479872 49006 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 328756 KiB
Current children cumulated memory: 198732 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.12 4.14 5/264 217952
/proc/meminfo: memFree=121438892/131524600 swapFree=131054968/131071996
[pid=217838] ppid=217835 vsize=9928 memory=2708 CPUtime=0 cores=1,3
/proc/217838/stat : 217838 (run-glibc-2.34.) S 217835 217838 213044 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23756556 10166272 677 134679101440 94724670173184 94724671252504 140725103321584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94724673350960 94724673398148 94724702420992 140725103326155 140725103326300 140725103326300 140725103333315 0
/proc/217838/statm: 2482 677 598 264 0 133 0
[pid=217840] ppid=217838 vsize=349188 memory=223992 CPUtime=102.07 cores=1,3
/proc/217840/stat : 217840 (ld-linux-x86-64) R 217838 217838 213044 0 -1 4194304 263741 0 0 0 10074 133 0 0 20 0 2 0 23756557 357568512 55998 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
/proc/217840/statm: 87297 55998 3530 46 0 59892 0
[pid=217840/tid=217841] ppid=217838 vsize=349188 memory=11944 CPUtime=0.06 cores=1,3
/proc/217840/task/217841/stat : 217841 (ld-linux-x86-64) S 217838 217838 213044 0 -1 1077936192 50 0 0 0 2 4 0 0 20 0 2 0 23756559 357568512 55998 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 359116 KiB
Current children cumulated memory: 226700 KiB
[startup+162.3 s]
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.73 4.40 4.23 5/262 220080
/proc/meminfo: memFree=119931040/131524600 swapFree=131054968/131071996
[pid=217838] ppid=217835 vsize=9928 memory=2708 CPUtime=0 cores=1,3
/proc/217838/stat : 217838 (run-glibc-2.34.) S 217835 217838 213044 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23756556 10166272 677 134679101440 94724670173184 94724671252504 140725103321584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94724673350960 94724673398148 94724702420992 140725103326155 140725103326300 140725103326300 140725103333315 0
/proc/217838/statm: 2482 677 598 264 0 133 0
[pid=217840] ppid=217838 vsize=1141932 memory=958128 CPUtime=3215.43 cores=1,3
/proc/217840/stat : 217840 (ld-linux-x86-64) R 217838 217838 213044 0 -1 4194304 1078663 0 0 0 319046 2497 0 0 20 0 2 0 23756557 1169338368 239532 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
/proc/217840/statm: 285483 239532 3767 46 0 258078 0
[pid=217840/tid=217841] ppid=217838 vsize=1141932 memory=11944 CPUtime=2.19 cores=1,3
/proc/217840/task/217841/stat : 217841 (ld-linux-x86-64) S 217838 217838 213044 0 -1 1077936192 198 0 0 0 86 133 0 0 20 0 2 0 23756559 1169338368 239532 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
Current children cumulated CPU time: 3215.43 s
Current children cumulated vsize: 1151860 KiB
Current children cumulated memory: 960836 KiB
[startup+3282.3 s]
/proc/loadavg: 4.50 4.40 4.24 5/262 220091
/proc/meminfo: memFree=119925772/131524600 swapFree=131054968/131071996
[pid=217838] ppid=217835 vsize=9928 memory=2708 CPUtime=0 cores=1,3
/proc/217838/stat : 217838 (run-glibc-2.34.) S 217835 217838 213044 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23756556 10166272 677 134679101440 94724670173184 94724671252504 140725103321584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94724673350960 94724673398148 94724702420992 140725103326155 140725103326300 140725103326300 140725103333315 0
/proc/217838/statm: 2482 677 598 264 0 133 0
[pid=217840] ppid=217838 vsize=1148460 memory=961616 CPUtime=3275.34 cores=1,3
/proc/217840/stat : 217840 (ld-linux-x86-64) R 217838 217838 213044 0 -1 4194304 1080789 0 0 0 325012 2522 0 0 20 0 2 0 23756557 1176023040 240404 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
/proc/217840/statm: 287115 240404 3767 46 0 259710 0
[pid=217840/tid=217841] ppid=217838 vsize=1148460 memory=68600 CPUtime=2.24 cores=1,3
/proc/217840/task/217841/stat : 217841 (ld-linux-x86-64) S 217838 217838 213044 0 -1 1077936192 201 0 0 0 88 136 0 0 20 0 2 0 23756559 1176023040 240404 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
Current children cumulated CPU time: 3275.34 s
Current children cumulated vsize: 1158388 KiB
Current children cumulated memory: 964324 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.34 4.23 5/262 220101
/proc/meminfo: memFree=119909168/131524600 swapFree=131054968/131071996
[pid=217838] ppid=217835 vsize=9928 memory=2708 CPUtime=0 cores=1,3
/proc/217838/stat : 217838 (run-glibc-2.34.) S 217835 217838 213044 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23756556 10166272 677 134679101440 94724670173184 94724671252504 140725103321584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94724673350960 94724673398148 94724702420992 140725103326155 140725103326300 140725103326300 140725103333315 0
/proc/217838/statm: 2482 677 598 264 0 133 0
[pid=217840] ppid=217838 vsize=1162252 memory=974404 CPUtime=3335.18 cores=1,3
/proc/217840/stat : 217840 (ld-linux-x86-64) R 217838 217838 213044 0 -1 4194304 1087815 0 0 0 330979 2539 0 0 20 0 2 0 23756557 1190146048 243601 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
/proc/217840/statm: 290563 243601 3767 46 0 263158 0
[pid=217840/tid=217841] ppid=217838 vsize=1162252 memory=11944 CPUtime=2.28 cores=1,3
/proc/217840/task/217841/stat : 217841 (ld-linux-x86-64) S 217838 217838 213044 0 -1 1077936192 204 0 0 0 90 138 0 0 20 0 2 0 23756559 1190146048 243601 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
Current children cumulated CPU time: 3335.18 s
Current children cumulated vsize: 1172180 KiB
Current children cumulated memory: 977112 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.29 4.22 5/263 220113
/proc/meminfo: memFree=119911352/131524600 swapFree=131054968/131071996
[pid=217838] ppid=217835 vsize=9928 memory=2708 CPUtime=0 cores=1,3
/proc/217838/stat : 217838 (run-glibc-2.34.) S 217835 217838 213044 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23756556 10166272 677 134679101440 94724670173184 94724671252504 140725103321584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94724673350960 94724673398148 94724702420992 140725103326155 140725103326300 140725103326300 140725103333315 0
/proc/217838/statm: 2482 677 598 264 0 133 0
[pid=217840] ppid=217838 vsize=1162252 memory=975840 CPUtime=3395.09 cores=1,3
/proc/217840/stat : 217840 (ld-linux-x86-64) R 217838 217838 213044 0 -1 4194304 1090417 0 0 0 336952 2557 0 0 20 0 2 0 23756557 1190146048 243960 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
/proc/217840/statm: 290563 243960 3767 46 0 263158 0
[pid=217840/tid=217841] ppid=217838 vsize=1162252 memory=974412 CPUtime=2.33 cores=1,3
/proc/217840/task/217841/stat : 217841 (ld-linux-x86-64) S 217838 217838 213044 0 -1 1077936192 206 0 0 0 92 141 0 0 20 0 2 0 23756559 1190146048 243960 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
Current children cumulated CPU time: 3395.09 s
Current children cumulated vsize: 1172180 KiB
Current children cumulated memory: 978548 KiB
[startup+3462.3 s]
/proc/loadavg: 3.75 4.17 4.18 4/254 220155
/proc/meminfo: memFree=120422116/131524600 swapFree=131054968/131071996
[pid=217838] ppid=217835 vsize=9928 memory=2708 CPUtime=0 cores=1,3
/proc/217838/stat : 217838 (run-glibc-2.34.) S 217835 217838 213044 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23756556 10166272 677 134679101440 94724670173184 94724671252504 140725103321584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94724673350960 94724673398148 94724702420992 140725103326155 140725103326300 140725103326300 140725103333315 0
/proc/217838/statm: 2482 677 598 264 0 133 0
[pid=217840] ppid=217838 vsize=1164292 memory=976972 CPUtime=3454.99 cores=1,3
/proc/217840/stat : 217840 (ld-linux-x86-64) R 217838 217838 213044 0 -1 4194304 1093853 0 0 0 342908 2591 0 0 20 0 2 0 23756557 1192235008 244243 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
/proc/217840/statm: 291073 244243 3767 46 0 263668 0
[pid=217840/tid=217841] ppid=217838 vsize=1164292 memory=2708 CPUtime=2.36 cores=1,3
/proc/217840/task/217841/stat : 217841 (ld-linux-x86-64) S 217838 217838 213044 0 -1 1077936192 208 0 0 0 93 143 0 0 20 0 2 0 23756559 1192235008 244243 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
Current children cumulated CPU time: 3454.99 s
Current children cumulated vsize: 1174220 KiB
Current children cumulated memory: 979680 KiB
[startup+3522.3 s]
/proc/loadavg: 3.43 4.00 4.12 4/256 220169
/proc/meminfo: memFree=120372396/131524600 swapFree=131054968/131071996
[pid=217838] ppid=217835 vsize=9928 memory=2708 CPUtime=0 cores=1,3
/proc/217838/stat : 217838 (run-glibc-2.34.) S 217835 217838 213044 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23756556 10166272 677 134679101440 94724670173184 94724671252504 140725103321584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94724673350960 94724673398148 94724702420992 140725103326155 140725103326300 140725103326300 140725103333315 0
/proc/217838/statm: 2482 677 598 264 0 133 0
[pid=217840] ppid=217838 vsize=1164292 memory=1022028 CPUtime=3514.88 cores=1,3
/proc/217840/stat : 217840 (ld-linux-x86-64) R 217838 217838 213044 0 -1 4194304 1094968 0 0 0 348866 2622 0 0 20 0 2 0 23756557 1192235008 255507 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
/proc/217840/statm: 291073 255507 3767 46 0 263668 0
[pid=217840/tid=217841] ppid=217838 vsize=1164292 memory=974420 CPUtime=2.41 cores=1,3
/proc/217840/task/217841/stat : 217841 (ld-linux-x86-64) S 217838 217838 213044 0 -1 1077936192 210 0 0 0 95 146 0 0 20 0 2 0 23756559 1192235008 255507 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
Current children cumulated CPU time: 3514.88 s
Current children cumulated vsize: 1174220 KiB
Current children cumulated memory: 1024736 KiB
[startup+3582.3 s]
/proc/loadavg: 3.19 3.83 4.05 4/256 220180
/proc/meminfo: memFree=120359528/131524600 swapFree=131054968/131071996
[pid=217838] ppid=217835 vsize=9928 memory=2708 CPUtime=0 cores=1,3
/proc/217838/stat : 217838 (run-glibc-2.34.) S 217835 217838 213044 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23756556 10166272 677 134679101440 94724670173184 94724671252504 140725103321584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94724673350960 94724673398148 94724702420992 140725103326155 140725103326300 140725103326300 140725103333315 0
/proc/217838/statm: 2482 677 598 264 0 133 0
[pid=217840] ppid=217838 vsize=1169600 memory=1027156 CPUtime=3574.72 cores=1,3
/proc/217840/stat : 217840 (ld-linux-x86-64) R 217838 217838 213044 0 -1 4194304 1102038 0 0 0 354801 2671 0 0 20 0 2 0 23756557 1197670400 256789 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
/proc/217840/statm: 292400 256789 3767 46 0 264995 0
[pid=217840/tid=217841] ppid=217838 vsize=1169600 memory=2708 CPUtime=2.45 cores=1,3
/proc/217840/task/217841/stat : 217841 (ld-linux-x86-64) S 217838 217838 213044 0 -1 1077936192 213 0 0 0 97 148 0 0 20 0 2 0 23756559 1197670400 256789 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
Current children cumulated CPU time: 3574.72 s
Current children cumulated vsize: 1179528 KiB
Current children cumulated memory: 1029864 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3607.7 s]
/proc/loadavg: 3.19 3.78 4.03 4/256 220186
/proc/meminfo: memFree=120358960/131524600 swapFree=131054968/131071996
[pid=217838] ppid=217835 vsize=9928 memory=2708 CPUtime=0 cores=1,3
/proc/217838/stat : 217838 (run-glibc-2.34.) S 217835 217838 213044 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23756556 10166272 677 134679101440 94724670173184 94724671252504 140725103321584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94724673350960 94724673398148 94724702420992 140725103326155 140725103326300 140725103326300 140725103333315 0
/proc/217838/statm: 2482 677 598 264 0 133 0
[pid=217840] ppid=217838 vsize=1169652 memory=1025268 CPUtime=3600.08 cores=1,3
/proc/217840/stat : 217840 (ld-linux-x86-64) R 217838 217838 213044 0 -1 4194304 1102476 0 0 0 357316 2692 0 0 20 0 2 0 23756557 1197723648 256317 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
/proc/217840/statm: 292413 256317 3767 46 0 265008 0
[pid=217840/tid=217841] ppid=217838 vsize=1169652 memory=2708 CPUtime=2.46 cores=1,3
/proc/217840/task/217841/stat : 217841 (ld-linux-x86-64) S 217838 217838 213044 0 -1 1077936192 214 0 0 0 97 149 0 0 20 0 2 0 23756559 1197723648 256317 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1179580 KiB
Current children cumulated memory: 1027976 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3607.71 s]
# the end of solver process 217838 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000779 s, system=0.000779 s
[startup+3607.71 s]
# the end of solver process 217840 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3573.17 s, system=26.9285 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+3607.7 s]
/proc/loadavg: 3.19 3.78 4.03 4/256 220186
/proc/meminfo: memFree=120358960/131524600 swapFree=131054968/131071996
[pid=217838] ppid=217835 vsize=9928 memory=2708 CPUtime=0 cores=1,3
/proc/217838/stat : 217838 (run-glibc-2.34.) S 217835 217838 213044 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 23756556 10166272 677 134679101440 94724670173184 94724671252504 140725103321584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94724673350960 94724673398148 94724702420992 140725103326155 140725103326300 140725103326300 140725103333315 0
/proc/217838/statm: 2482 677 598 264 0 133 0
[pid=217840] ppid=217838 vsize=1169652 memory=1025268 CPUtime=3600.08 cores=1,3
/proc/217840/stat : 217840 (ld-linux-x86-64) R 217838 217838 213044 0 -1 4194304 1102476 0 0 0 357316 2692 0 0 20 0 2 0 23756557 1197723648 256317 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
/proc/217840/statm: 292413 256317 3767 46 0 265008 0
[pid=217840/tid=217841] ppid=217838 vsize=1169652 memory=2708 CPUtime=2.46 cores=1,3
/proc/217840/task/217841/stat : 217841 (ld-linux-x86-64) S 217838 217838 213044 0 -1 1077936192 214 0 0 0 97 149 0 0 20 0 2 0 23756559 1197723648 256317 134679101440 140659586863104 140659587050716 140731874298912 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140659589151616 140659589161064 93825021661184 140731874304867 140731874305019 140731874305019 140731874312114 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1179580 KiB
Current children cumulated memory: 1027976 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3607.71
CPU time (s): 3600.1
CPU user time (s): 3573.17
CPU system time (s): 26.9285
CPU usage (%): 99.789
Max. virtual memory (cumulated for all children) (KiB): 1179580
Max. memory (cumulated for all children) (KiB): 1029972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.17
system time used= 26.9285
maximum resident set size= 1027264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1102678
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= 357348
involuntary context switches= 3161
# summary of solver processes directly reported to runsolver:
# pid: 217838,217840
# total CPU time (s): 3600.1
# total CPU user time (s): 3573.17
# total CPU system time (s): 26.9285
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.44525 second user time and 18.4358 second system time
The end