12.26/12.37 c initialize IPBHS solver
12.26/12.37 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.26/12.37 c optimizer = "gurobi"
12.26/12.37 c pbsolver = "roundingsat"
12.26/12.37 c load symmetries from file ""
12.26/12.37 c set time limit for symmetry computation to 100 seconds.
12.26/12.37 c set interchangeable summation variable limit to 3
12.26/12.37 c find symmetric cores by applying each permutation and add them to optimizer
12.26/12.37 c set abs symmetric core budget per WCE-iteration to 100
12.26/12.37 c set rel symmetric core budget per WCE-iteration to 0
12.26/12.37 c set lit symmetric core budget per WCE-iteration to 0
12.26/12.37 c set sym generation to 's'
12.26/12.37 c set abstraction set creation to 10 iterations without LB change
12.26/12.37 c set abstraction set inputs to 0
12.26/12.37 c set abstraction set cluster min size to 2
12.26/12.37 c set abstraction set cluster max size to 100000000
12.26/12.37 c set abstraction set cluster activation limit to 2
12.26/12.37 c enable abstraction set require equal cost
12.26/12.37 c set abstraction set assumptions to 0
12.26/12.37 c set abstraction set constraint type to 0
12.26/12.37 c set abstract core extraction strategy to b
12.26/12.37 c set core extraction strategy to 2
12.26/12.37 c set core extraction shuffles 10
12.26/12.37 c set cores per iteration to 5
12.26/12.37 c set optimizer bound usage strategy to 2
12.26/12.37 c set optimizer max non-optimal iterations to 1000
12.26/12.37 c set small core cardinality limit to 2
12.26/12.37 c set max coef in cores to 1000000000
12.26/12.37 c set SIS iterations to 5
12.26/12.37 c set SIS budget abs to 1000
12.26/12.37 c set SIS budget rel to 0.05
12.26/12.37 c limit for coefficient in constraints and objective to 9223372036854775807
12.26/12.37 c will solve HOME/instance-4431235-1721158601.opb
2657.06/2661.59 c [109.51] solve iteration 1, LB=0, UB=10690981
2657.06/2661.59 c [179.17] solve iteration 2, LB=6, UB=230220
2657.06/2661.59 c [228.58] solve iteration 3, LB=31416, UB=108203
2657.06/2661.59 c [263.64] solve iteration 4, LB=31418, UB=65787
2657.06/2661.59 c [289.77] solve iteration 5, LB=31422, UB=65787
2657.06/2661.59 c [348.3] solve iteration 6, LB=31425, UB=56469
2657.06/2661.59 c [368.81] solve iteration 7, LB=31426, UB=56469
2657.06/2661.59 c [390.48] solve iteration 8, LB=31426, UB=52409
2657.06/2661.59 c [400.67] solve iteration 9, LB=31427, UB=48316
2657.06/2661.59 c [414.39] solve iteration 10, LB=31427, UB=48316
2657.06/2661.59 c [483.48] solve iteration 11, LB=31427, UB=48316
2657.06/2661.59 c [492.56] solve iteration 12, LB=31427, UB=48316
2657.06/2661.59 c [500] solve iteration 13, LB=31427, UB=48316
2657.06/2661.59 c [513.7] solve iteration 14, LB=31427, UB=32052
2657.06/2661.59 c [528.31] solve iteration 15, LB=31430, UB=31487
2657.06/2661.59 c [543.84] solve iteration 16, LB=31430, UB=31478
2657.06/2661.59 c [557.5] solve iteration 17, LB=31430, UB=31478
2657.06/2661.59 c [564.74] solve iteration 18, LB=31431, UB=31464
2657.06/2661.59 c [575.3] solve iteration 19, LB=31431, UB=31464
2657.06/2661.59 c [586.45] solve iteration 20, LB=31431, UB=31464
2657.06/2661.59 c [594.58] solve iteration 21, LB=31432, UB=31463
2657.06/2661.59 c [601.88] solve iteration 22, LB=31432, UB=31463
2657.06/2661.59 c [611.43] solve iteration 23, LB=31433, UB=31463
2657.06/2661.59 c [617.22] solve iteration 24, LB=31433, UB=31463
2657.06/2661.59 c [626.11] solve iteration 25, LB=31433, UB=31463
2657.06/2661.59 c [703.88] solve iteration 26, LB=31434, UB=31463
2657.06/2661.59 c [716.21] solve iteration 27, LB=31434, UB=31463
2657.06/2661.59 c [723.6] solve iteration 28, LB=31434, UB=31463
2657.06/2661.59 c [729.48] solve iteration 29, LB=31434, UB=31459
2657.06/2661.59 c [734.76] solve iteration 30, LB=31436, UB=31459
2657.06/2661.59 c [801.44] solve iteration 31, LB=31436, UB=31456
2657.06/2661.59 c [807.04] solve iteration 32, LB=31436, UB=31456
2657.06/2661.59 c [810.38] solve iteration 33, LB=31436, UB=31456
2657.06/2661.59 c [820.26] solve iteration 34, LB=31436, UB=31456
2657.06/2661.59 c [826.36] solve iteration 35, LB=31436, UB=31456
2657.06/2661.59 c [899.09] solve iteration 36, LB=31436, UB=31456
2657.06/2661.59 c [903.61] solve iteration 37, LB=31436, UB=31456
2657.06/2661.59 c [908.07] solve iteration 38, LB=31436, UB=31455
2657.06/2661.59 c [916.39] solve iteration 39, LB=31436, UB=31455
2657.06/2661.59 c [922.72] solve iteration 40, LB=31436, UB=31455
2657.06/2661.59 c [1041.03] solve iteration 41, LB=31436, UB=31455
2657.06/2661.59 c [1047.65] solve iteration 42, LB=31436, UB=31455
2657.06/2661.59 c [1054.15] solve iteration 43, LB=31436, UB=31455
2657.06/2661.59 c [1063.52] solve iteration 44, LB=31436, UB=31455
2657.06/2661.59 c [1067.25] solve iteration 45, LB=31436, UB=31454
2657.06/2661.59 c [1182.52] solve iteration 46, LB=31436, UB=31454
2657.06/2661.59 c [1190.65] solve iteration 47, LB=31436, UB=31454
2657.06/2661.59 c [1194.99] solve iteration 48, LB=31436, UB=31454
2657.06/2661.59 c [1199.63] solve iteration 49, LB=31436, UB=31454
2657.06/2661.59 c [1209.53] solve iteration 50, LB=31436, UB=31454
2657.06/2661.59 c [1349.26] solve iteration 51, LB=31436, UB=31454
2657.06/2661.59 c [1356.01] solve iteration 52, LB=31436, UB=31454
2657.06/2661.59 c [1360.85] solve iteration 53, LB=31436, UB=31454
2657.06/2661.59 c [1365.57] solve iteration 54, LB=31436, UB=31454
2657.06/2661.59 c [1367.47] solve iteration 55, LB=31436, UB=31450
2657.06/2661.59 c [1467.41] solve iteration 56, LB=31436, UB=31450
2657.06/2661.59 c [1477.09] solve iteration 57, LB=31436, UB=31450
2657.06/2661.59 c [1482.46] solve iteration 58, LB=31436, UB=31450
2657.06/2661.59 c [1487.94] solve iteration 59, LB=31436, UB=31450
2657.06/2661.59 c [1495.23] solve iteration 60, LB=31436, UB=31450
2657.06/2661.59 c [1614.28] solve iteration 61, LB=31436, UB=31450
2657.06/2661.59 c [1619.24] solve iteration 62, LB=31436, UB=31450
2657.06/2661.59 c [1624.51] solve iteration 63, LB=31436, UB=31450
2657.06/2661.59 c [1631.39] solve iteration 64, LB=31436, UB=31450
2657.06/2661.59 c [1636.68] solve iteration 65, LB=31436, UB=31450
2657.06/2661.59 c [1823.54] solve iteration 66, LB=31436, UB=31450
2657.06/2661.59 c [1830.34] solve iteration 67, LB=31436, UB=31450
2657.06/2661.59 c [1840.16] solve iteration 68, LB=31436, UB=31450
2657.06/2661.59 c [1851] solve iteration 69, LB=31436, UB=31450
2657.06/2661.59 c [1858.8] solve iteration 70, LB=31436, UB=31450
2657.06/2661.59 c [2044.13] solve iteration 71, LB=31436, UB=31450
2657.06/2661.59 c [2050.19] solve iteration 72, LB=31436, UB=31450
2657.06/2661.59 c [2053.76] solve iteration 73, LB=31436, UB=31449
2657.06/2661.59 c [2061.11] solve iteration 74, LB=31436, UB=31449
2657.06/2661.59 c [2064.64] solve iteration 75, LB=31436, UB=31449
2657.06/2661.59 c [2251.84] solve iteration 76, LB=31436, UB=31449
2657.06/2661.59 c [2255.64] solve iteration 77, LB=31436, UB=31449
2657.06/2661.59 c [2260.44] solve iteration 78, LB=31436, UB=31449
2657.06/2661.59 c [2266.17] solve iteration 79, LB=31436, UB=31449
2657.06/2661.59 c [2272.96] solve iteration 80, LB=31436, UB=31449
2657.06/2661.59 c [2454.48] solve iteration 81, LB=31436, UB=31449
2657.06/2661.59 c [2462.8] solve iteration 82
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 (58311 MiB free)
memory of node 1: 64473 MiB (55224 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431235-1721158601/watcher-4431235-1721158601 -o /tmp/evaluation-result-4431235-1721158601/solver-4431235-1721158601 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721152937-865560 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4431235-1721158601.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=868742, runsolver pid=868739
[startup+0.100086 s]*
/proc/loadavg: 4.12 4.13 4.14 5/262 868744
/proc/meminfo: memFree=116242792/131524600 swapFree=131071996/131071996
[pid=868742] ppid=868739 vsize=9928 memory=2712 CPUtime=0 cores=4,6
/proc/868742/stat : 868742 (run-glibc-2.34.) S 868739 868742 865549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 168025101 10166272 678 134679101440 94747137826816 94747138906136 140725996217552 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94747141004592 94747141051780 94747153678336 140725996225471 140725996225628 140725996225628 140725996232643 0
/proc/868742/statm: 2482 678 597 264 0 133 0
[pid=868744] ppid=868742 vsize=104492 memory=23400 CPUtime=0.1 cores=4,6
/proc/868744/stat : 868744 (ld-linux-x86-64) R 868742 868742 865549 0 -1 4194304 5184 0 0 0 9 1 0 0 20 0 1 0 168025101 106999808 5850 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
/proc/868744/statm: 26123 5850 1598 46 0 6738 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 114420 KiB
Current children cumulated memory: 26112 KiB
[startup+0.205853 s]*
/proc/loadavg: 4.12 4.13 4.14 5/262 868744
/proc/meminfo: memFree=116229624/131524600 swapFree=131071996/131071996
[pid=868742] ppid=868739 vsize=9928 memory=2712 CPUtime=0 cores=4,6
/proc/868742/stat : 868742 (run-glibc-2.34.) S 868739 868742 865549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 168025101 10166272 678 134679101440 94747137826816 94747138906136 140725996217552 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94747141004592 94747141051780 94747153678336 140725996225471 140725996225628 140725996225628 140725996232643 0
/proc/868742/statm: 2482 678 597 264 0 133 0
[pid=868744] ppid=868742 vsize=117432 memory=36644 CPUtime=0.2 cores=4,6
/proc/868744/stat : 868744 (ld-linux-x86-64) R 868742 868742 865549 0 -1 4194304 8021 0 0 0 19 1 0 0 20 0 1 0 168025101 120250368 9161 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
/proc/868744/statm: 29358 9161 1598 46 0 9973 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 127360 KiB
Current children cumulated memory: 39356 KiB
[startup+0.305736 s]*
/proc/loadavg: 4.12 4.13 4.14 5/262 868744
/proc/meminfo: memFree=116214688/131524600 swapFree=131071996/131071996
[pid=868742] ppid=868739 vsize=9928 memory=2712 CPUtime=0 cores=4,6
/proc/868742/stat : 868742 (run-glibc-2.34.) S 868739 868742 865549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 168025101 10166272 678 134679101440 94747137826816 94747138906136 140725996217552 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94747141004592 94747141051780 94747153678336 140725996225471 140725996225628 140725996225628 140725996232643 0
/proc/868742/statm: 2482 678 597 264 0 133 0
[pid=868744] ppid=868742 vsize=133544 memory=50872 CPUtime=0.29 cores=4,6
/proc/868744/stat : 868744 (ld-linux-x86-64) R 868742 868742 865549 0 -1 4194304 10528 0 0 0 28 1 0 0 20 0 1 0 168025101 136749056 12718 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
/proc/868744/statm: 33386 12718 1598 46 0 14001 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 143472 KiB
Current children cumulated memory: 53584 KiB
[startup+0.700252 s]
/proc/loadavg: 4.12 4.13 4.14 5/262 868744
/proc/meminfo: memFree=116192300/131524600 swapFree=131071996/131071996
[pid=868742] ppid=868739 vsize=9928 memory=2712 CPUtime=0 cores=4,6
/proc/868742/stat : 868742 (run-glibc-2.34.) S 868739 868742 865549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 168025101 10166272 678 134679101440 94747137826816 94747138906136 140725996217552 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94747141004592 94747141051780 94747153678336 140725996225471 140725996225628 140725996225628 140725996232643 0
/proc/868742/statm: 2482 678 597 264 0 133 0
[pid=868744] ppid=868742 vsize=183616 memory=98048 CPUtime=0.69 cores=4,6
/proc/868744/stat : 868744 (ld-linux-x86-64) R 868742 868742 865549 0 -1 4194304 19246 0 0 0 64 5 0 0 20 0 1 0 168025101 188022784 24512 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
/proc/868744/statm: 45904 24512 1598 46 0 26519 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 193544 KiB
Current children cumulated memory: 100760 KiB
[startup+1.50025 s]
/proc/loadavg: 4.12 4.13 4.14 5/262 868744
/proc/meminfo: memFree=116129904/131524600 swapFree=131071996/131071996
[pid=868742] ppid=868739 vsize=9928 memory=2712 CPUtime=0 cores=4,6
/proc/868742/stat : 868742 (run-glibc-2.34.) S 868739 868742 865549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 168025101 10166272 678 134679101440 94747137826816 94747138906136 140725996217552 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94747141004592 94747141051780 94747153678336 140725996225471 140725996225628 140725996225628 140725996232643 0
/proc/868742/statm: 2482 678 597 264 0 133 0
[pid=868744] ppid=868742 vsize=284880 memory=197952 CPUtime=1.49 cores=4,6
/proc/868744/stat : 868744 (ld-linux-x86-64) R 868742 868742 865549 0 -1 4194304 35593 0 0 0 139 10 0 0 20 0 1 0 168025101 291717120 49488 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
/proc/868744/statm: 71220 49488 1598 46 0 51835 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 294808 KiB
Current children cumulated memory: 200664 KiB
[startup+3.10586 s]
/proc/loadavg: 4.12 4.13 4.14 5/262 868745
/proc/meminfo: memFree=115861428/131524600 swapFree=131071996/131071996
[pid=868742] ppid=868739 vsize=9928 memory=2712 CPUtime=0 cores=4,6
/proc/868742/stat : 868742 (run-glibc-2.34.) S 868739 868742 865549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 168025101 10166272 678 134679101440 94747137826816 94747138906136 140725996217552 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94747141004592 94747141051780 94747153678336 140725996225471 140725996225628 140725996225628 140725996232643 0
/proc/868742/statm: 2482 678 597 264 0 133 0
[pid=868744] ppid=868742 vsize=543020 memory=415056 CPUtime=3.09 cores=4,6
/proc/868744/stat : 868744 (ld-linux-x86-64) R 868742 868742 865549 0 -1 4194304 65330 0 0 0 265 44 0 0 20 0 1 0 168025101 556052480 103764 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
/proc/868744/statm: 135755 103764 1710 46 0 116370 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 552948 KiB
Current children cumulated memory: 417768 KiB
[startup+6.30026 s]
/proc/loadavg: 4.19 4.15 4.15 5/263 868746
/proc/meminfo: memFree=114754728/131524600 swapFree=131071996/131071996
[pid=868742] ppid=868739 vsize=9928 memory=2712 CPUtime=0 cores=4,6
/proc/868742/stat : 868742 (run-glibc-2.34.) S 868739 868742 865549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 168025101 10166272 678 134679101440 94747137826816 94747138906136 140725996217552 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94747141004592 94747141051780 94747153678336 140725996225471 140725996225628 140725996225628 140725996232643 0
/proc/868742/statm: 2482 678 597 264 0 133 0
[pid=868744] ppid=868742 vsize=1782068 memory=1526936 CPUtime=6.26 cores=4,6
/proc/868744/stat : 868744 (ld-linux-x86-64) R 868742 868742 865549 0 -1 4194304 295342 0 0 0 508 118 0 0 20 0 2 0 168025101 1824837632 381734 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
/proc/868744/statm: 445517 381734 2691 46 0 418112 0
[pid=868744/tid=868746] ppid=868742 vsize=1782068 memory=11648 CPUtime=0 cores=4,6
/proc/868744/task/868746/stat : 868746 (ld-linux-x86-64) S 868742 868742 865549 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 168025554 1824837632 381734 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1791996 KiB
Current children cumulated memory: 1529648 KiB
[startup+12.7003 s]
/proc/loadavg: 4.18 4.15 4.15 5/263 868748
/proc/meminfo: memFree=114253060/131524600 swapFree=131071996/131071996
[pid=868742] ppid=868739 vsize=9928 memory=2712 CPUtime=0 cores=4,6
/proc/868742/stat : 868742 (run-glibc-2.34.) S 868739 868742 865549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 168025101 10166272 678 134679101440 94747137826816 94747138906136 140725996217552 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94747141004592 94747141051780 94747153678336 140725996225471 140725996225628 140725996225628 140725996232643 0
/proc/868742/statm: 2482 678 597 264 0 133 0
[pid=868744] ppid=868742 vsize=2538396 memory=2072384 CPUtime=12.65 cores=4,6
/proc/868744/stat : 868744 (ld-linux-x86-64) R 868742 868742 865549 0 -1 4194304 583526 0 0 0 1114 151 0 0 20 0 2 0 168025101 2599317504 518096 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
/proc/868744/statm: 634599 518096 2691 46 0 607194 0
[pid=868744/tid=868746] ppid=868742 vsize=2538396 memory=-8680617448125129569 CPUtime=0 cores=4,6
/proc/868744/task/868746/stat : 868746 (ld-linux-x86-64) S 868742 868742 865549 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 168025554 2599317504 518096 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2548324 KiB
Current children cumulated memory: 2075096 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.14 4.14 5/263 868749
/proc/meminfo: memFree=114097548/131524600 swapFree=131071996/131071996
[pid=868742] ppid=868739 vsize=9928 memory=2712 CPUtime=0 cores=4,6
/proc/868742/stat : 868742 (run-glibc-2.34.) S 868739 868742 865549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 168025101 10166272 678 134679101440 94747137826816 94747138906136 140725996217552 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94747141004592 94747141051780 94747153678336 140725996225471 140725996225628 140725996225628 140725996232643 0
/proc/868742/statm: 2482 678 597 264 0 133 0
[pid=868744] ppid=868742 vsize=2538396 memory=2166740 CPUtime=25.43 cores=4,6
/proc/868744/stat : 868744 (ld-linux-x86-64) R 868742 868742 865549 0 -1 4194304 610588 0 0 0 2387 156 0 0 20 0 2 0 168025101 2599317504 541685 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
/proc/868744/statm: 634599 541685 2691 46 0 607194 0
[pid=868744/tid=868746] ppid=868742 vsize=2538396 memory=2712 CPUtime=0 cores=4,6
/proc/868744/task/868746/stat : 868746 (ld-linux-x86-64) S 868742 868742 865549 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 2 0 168025554 2599317504 541685 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2548324 KiB
Current children cumulated memory: 2169452 KiB
[startup+51.1057 s]
/proc/loadavg: 4.09 4.13 4.14 5/263 868753
/proc/meminfo: memFree=114097076/131524600 swapFree=131071996/131071996
[pid=868742] ppid=868739 vsize=9928 memory=2712 CPUtime=0 cores=4,6
/proc/868742/stat : 868742 (run-glibc-2.34.) S 868739 868742 865549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 168025101 10166272 678 134679101440 94747137826816 94747138906136 140725996217552 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94747141004592 94747141051780 94747153678336 140725996225471 140725996225628 140725996225628 140725996232643 0
/proc/868742/statm: 2482 678 597 264 0 133 0
[pid=868744] ppid=868742 vsize=2538396 memory=2166796 CPUtime=51.01 cores=4,6
/proc/868744/stat : 868744 (ld-linux-x86-64) R 868742 868742 865549 0 -1 4194304 628744 0 0 0 4941 160 0 0 20 0 2 0 168025101 2599317504 541699 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
/proc/868744/statm: 634599 541699 2691 46 0 607194 0
[pid=868744/tid=868746] ppid=868742 vsize=2538396 memory=2081356 CPUtime=0.02 cores=4,6
/proc/868744/task/868746/stat : 868746 (ld-linux-x86-64) S 868742 868742 865549 0 -1 1077936192 11 0 0 0 0 2 0 0 20 0 2 0 168025554 2599317504 541699 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 2548324 KiB
Current children cumulated memory: 2169508 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.14 4.14 5/263 868763
/proc/meminfo: memFree=114095764/131524600 swapFree=131071996/131071996
[pid=868742] ppid=868739 vsize=9928 memory=2712 CPUtime=0 cores=4,6
/proc/868742/stat : 868742 (run-glibc-2.34.) S 868739 868742 865549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 168025101 10166272 678 134679101440 94747137826816 94747138906136 140725996217552 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94747141004592 94747141051780 94747153678336 140725996225471 140725996225628 140725996225628 140725996232643 0
/proc/868742/statm: 2482 678 597 264 0 133 0
[pid=868744] ppid=868742 vsize=2538396 memory=2166916 CPUtime=102.13 cores=4,6
/proc/868744/stat : 868744 (ld-linux-x86-64) R 868742 868742 865549 0 -1 4194304 657700 0 0 0 10049 164 0 0 20 0 2 0 168025101 2599317504 541729 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
/proc/868744/statm: 634599 541729 2691 46 0 607194 0
[pid=868744/tid=868746] ppid=868742 vsize=2538396 memory=2712 CPUtime=0.05 cores=4,6
/proc/868744/task/868746/stat : 868746 (ld-linux-x86-64) S 868742 868742 865549 0 -1 1077936192 21 0 0 0 2 3 0 0 20 0 2 0 168025554 2599317504 541729 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
Current children cumulated CPU time: 102.13 s
Current children cumulated vsize: 2548324 KiB
Current children cumulated memory: 2169628 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/263 868774
/proc/meminfo: memFree=114205272/131524600 swapFree=131071996/131071996
[pid=868742] ppid=868739 vsize=9928 memory=2712 CPUtime=0 cores=4,6
/proc/868742/stat : 868742 (run-glibc-2.34.) S 868739 868742 865549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 168025101 10166272 678 134679101440 94747137826816 94747138906136 140725996217552 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94747141004592 94747141051780 94747153678336 140725996225471 140725996225628 140725996225628 140725996232643 0
/proc/868742/statm: 2482 678 597 264 0 133 0
[pid=868744] ppid=868742 vsize=2217456 memory=1988816 CPUtime=162.04 cores=4,6
/proc/868744/stat : 868744 (ld-linux-x86-64) R 868742 868742 865549 0 -1 4194304 1015188 0 0 0 15373 831 0 0 20 0 2 0 168025101 2270674944 497204 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
/proc/868744/statm: 554364 497204 3527 46 0 526959 0
[pid=868744/tid=868746] ppid=868742 vsize=2217456 memory=12952 CPUtime=0.08 cores=4,6
/proc/868744/task/868746/stat : 868746 (ld-linux-x86-64) S 868742 868742 865549 0 -1 1077936192 29 0 0 0 3 5 0 0 20 0 2 0 168025554 2270674944 497204 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
Current children cumulated CPU time: 162.04 s
Current children cumulated vsize: 2227384 KiB
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/266 870587
/proc/meminfo: memFree=118582104/131524600 swapFree=131071996/131071996
[pid=868742] ppid=868739 vsize=9928 memory=2712 CPUtime=0 cores=4,6
/proc/868742/stat : 868742 (run-glibc-2.34.) S 868739 868742 865549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 168025101 10166272 678 134679101440 94747137826816 94747138906136 140725996217552 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94747141004592 94747141051780 94747153678336 140725996225471 140725996225628 140725996225628 140725996232643 0
/proc/868742/statm: 2482 678 597 264 0 133 0
[pid=868744] ppid=868742 vsize=5154832 memory=4640472 CPUtime=3157.08 cores=4,6
/proc/868744/stat : 868744 (ld-linux-x86-64) R 868742 868742 865549 0 -1 4194304 13196716 0 0 0 293590 22118 0 0 20 0 2 0 168025101 5278547968 1160118 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
/proc/868744/statm: 1288708 1160118 3972 46 0 1261303 0
[pid=868744/tid=868746] ppid=868742 vsize=5154832 memory=2712 CPUtime=1.64 cores=4,6
/proc/868744/task/868746/stat : 868746 (ld-linux-x86-64) S 868742 868742 865549 0 -1 1077936192 239 0 0 0 52 112 0 0 20 0 2 0 168025554 5278547968 1160118 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
Current children cumulated CPU time: 3157.08 s
Current children cumulated vsize: 5164760 KiB
Current children cumulated memory: 4643184 KiB
[startup+3222.3 s]
/proc/loadavg: 4.42 4.24 4.19 5/264 870653
/proc/meminfo: memFree=118518492/131524600 swapFree=131071996/131071996
[pid=868742] ppid=868739 vsize=9928 memory=2712 CPUtime=0 cores=4,6
/proc/868742/stat : 868742 (run-glibc-2.34.) S 868739 868742 865549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 168025101 10166272 678 134679101440 94747137826816 94747138906136 140725996217552 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94747141004592 94747141051780 94747153678336 140725996225471 140725996225628 140725996225628 140725996232643 0
/proc/868742/statm: 2482 678 597 264 0 133 0
[pid=868744] ppid=868742 vsize=5154832 memory=4702556 CPUtime=3217 cores=4,6
/proc/868744/stat : 868744 (ld-linux-x86-64) R 868742 868742 865549 0 -1 4194304 13401850 0 0 0 299173 22527 0 0 20 0 2 0 168025101 5278547968 1175639 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
/proc/868744/statm: 1288708 1175639 3972 46 0 1261303 0
[pid=868744/tid=868746] ppid=868742 vsize=5154832 memory=2712 CPUtime=1.67 cores=4,6
/proc/868744/task/868746/stat : 868746 (ld-linux-x86-64) S 868742 868742 865549 0 -1 1077936192 242 0 0 0 53 114 0 0 20 0 2 0 168025554 5278547968 1175639 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
Current children cumulated CPU time: 3217 s
Current children cumulated vsize: 5164760 KiB
Current children cumulated memory: 4705268 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.21 4.18 5/264 870664
/proc/meminfo: memFree=118396004/131524600 swapFree=131071996/131071996
[pid=868742] ppid=868739 vsize=9928 memory=2712 CPUtime=0 cores=4,6
/proc/868742/stat : 868742 (run-glibc-2.34.) S 868739 868742 865549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 168025101 10166272 678 134679101440 94747137826816 94747138906136 140725996217552 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94747141004592 94747141051780 94747153678336 140725996225471 140725996225628 140725996225628 140725996232643 0
/proc/868742/statm: 2482 678 597 264 0 133 0
[pid=868744] ppid=868742 vsize=6077068 memory=4823648 CPUtime=3276.91 cores=4,6
/proc/868744/stat : 868744 (ld-linux-x86-64) R 868742 868742 865549 0 -1 4194304 13605313 0 0 0 304633 23058 0 0 20 0 2 0 168025101 6222917632 1205912 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
/proc/868744/statm: 1519267 1205912 3972 46 0 1491862 0
[pid=868744/tid=868746] ppid=868742 vsize=6077068 memory=4790788 CPUtime=1.71 cores=4,6
/proc/868744/task/868746/stat : 868746 (ld-linux-x86-64) S 868742 868742 865549 0 -1 1077936192 246 0 0 0 54 117 0 0 20 0 2 0 168025554 6222917632 1205912 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
Current children cumulated CPU time: 3276.91 s
Current children cumulated vsize: 6086996 KiB
Current children cumulated memory: 4826360 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.19 4.18 5/264 870674
/proc/meminfo: memFree=118269248/131524600 swapFree=131071996/131071996
[pid=868742] ppid=868739 vsize=9928 memory=2712 CPUtime=0 cores=4,6
/proc/868742/stat : 868742 (run-glibc-2.34.) S 868739 868742 865549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 168025101 10166272 678 134679101440 94747137826816 94747138906136 140725996217552 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94747141004592 94747141051780 94747153678336 140725996225471 140725996225628 140725996225628 140725996232643 0
/proc/868742/statm: 2482 678 597 264 0 133 0
[pid=868744] ppid=868742 vsize=6118436 memory=4935712 CPUtime=3336.76 cores=4,6
/proc/868744/stat : 868744 (ld-linux-x86-64) R 868742 868742 865549 0 -1 4194304 13934790 0 0 0 310163 23513 0 0 20 0 2 0 168025101 6265278464 1233928 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
/proc/868744/statm: 1529609 1233928 4002 46 0 1502204 0
[pid=868744/tid=868746] ppid=868742 vsize=6118436 memory=4840788 CPUtime=1.75 cores=4,6
/proc/868744/task/868746/stat : 868746 (ld-linux-x86-64) S 868742 868742 865549 0 -1 1077936192 250 0 0 0 56 119 0 0 20 0 2 0 168025554 6265278464 1233928 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
Current children cumulated CPU time: 3336.76 s
Current children cumulated vsize: 6128364 KiB
Current children cumulated memory: 4938424 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/263 870685
/proc/meminfo: memFree=118091432/131524600 swapFree=131071996/131071996
[pid=868742] ppid=868739 vsize=9928 memory=2712 CPUtime=0 cores=4,6
/proc/868742/stat : 868742 (run-glibc-2.34.) S 868739 868742 865549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 168025101 10166272 678 134679101440 94747137826816 94747138906136 140725996217552 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94747141004592 94747141051780 94747153678336 140725996225471 140725996225628 140725996225628 140725996232643 0
/proc/868742/statm: 2482 678 597 264 0 133 0
[pid=868744] ppid=868742 vsize=6118436 memory=5108320 CPUtime=3396.68 cores=4,6
/proc/868744/stat : 868744 (ld-linux-x86-64) R 868742 868742 865549 0 -1 4194304 14139768 0 0 0 316096 23572 0 0 20 0 2 0 168025101 6265278464 1277080 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
/proc/868744/statm: 1529609 1277080 4002 46 0 1502204 0
[pid=868744/tid=868746] ppid=868742 vsize=6118436 memory=8186593630614755485 CPUtime=1.78 cores=4,6
/proc/868744/task/868746/stat : 868746 (ld-linux-x86-64) S 868742 868742 865549 0 -1 1077936192 254 0 0 0 56 122 0 0 20 0 2 0 168025554 6265278464 1277080 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
Current children cumulated CPU time: 3396.68 s
Current children cumulated vsize: 6128364 KiB
Current children cumulated memory: 5111032 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.16 4.17 5/263 870696
/proc/meminfo: memFree=117959144/131524600 swapFree=131071996/131071996
[pid=868742] ppid=868739 vsize=9928 memory=2712 CPUtime=0 cores=4,6
/proc/868742/stat : 868742 (run-glibc-2.34.) S 868739 868742 865549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 168025101 10166272 678 134679101440 94747137826816 94747138906136 140725996217552 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94747141004592 94747141051780 94747153678336 140725996225471 140725996225628 140725996225628 140725996232643 0
/proc/868742/statm: 2482 678 597 264 0 133 0
[pid=868744] ppid=868742 vsize=6118436 memory=5230208 CPUtime=3456.59 cores=4,6
/proc/868744/stat : 868744 (ld-linux-x86-64) R 868742 868742 865549 0 -1 4194304 14358566 0 0 0 321625 24034 0 0 20 0 2 0 168025101 6265278464 1307552 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
/proc/868744/statm: 1529609 1307552 4002 46 0 1502204 0
[pid=868744/tid=868746] ppid=868742 vsize=6118436 memory=11648 CPUtime=1.82 cores=4,6
/proc/868744/task/868746/stat : 868746 (ld-linux-x86-64) S 868742 868742 865549 0 -1 1077936192 257 0 0 0 58 124 0 0 20 0 2 0 168025554 6265278464 1307552 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
Current children cumulated CPU time: 3456.59 s
Current children cumulated vsize: 6128364 KiB
Current children cumulated memory: 5232920 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.13 4.16 5/262 870706
/proc/meminfo: memFree=117855904/131524600 swapFree=131071996/131071996
[pid=868742] ppid=868739 vsize=9928 memory=2712 CPUtime=0 cores=4,6
/proc/868742/stat : 868742 (run-glibc-2.34.) S 868739 868742 865549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 168025101 10166272 678 134679101440 94747137826816 94747138906136 140725996217552 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94747141004592 94747141051780 94747153678336 140725996225471 140725996225628 140725996225628 140725996232643 0
/proc/868742/statm: 2482 678 597 264 0 133 0
[pid=868744] ppid=868742 vsize=6118436 memory=5325168 CPUtime=3516.51 cores=4,6
/proc/868744/stat : 868744 (ld-linux-x86-64) R 868742 868742 865549 0 -1 4194304 14559387 0 0 0 327249 24402 0 0 20 0 2 0 168025101 6265278464 1331292 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
/proc/868744/statm: 1529609 1331292 4002 46 0 1502204 0
[pid=868744/tid=868746] ppid=868742 vsize=6118436 memory=2712 CPUtime=1.85 cores=4,6
/proc/868744/task/868746/stat : 868746 (ld-linux-x86-64) S 868742 868742 865549 0 -1 1077936192 260 0 0 0 59 126 0 0 20 0 2 0 168025554 6265278464 1331292 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
Current children cumulated CPU time: 3516.51 s
Current children cumulated vsize: 6128364 KiB
Current children cumulated memory: 5327880 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.12 4.15 5/262 870716
/proc/meminfo: memFree=117773864/131524600 swapFree=131071996/131071996
[pid=868742] ppid=868739 vsize=9928 memory=2712 CPUtime=0 cores=4,6
/proc/868742/stat : 868742 (run-glibc-2.34.) S 868739 868742 865549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 168025101 10166272 678 134679101440 94747137826816 94747138906136 140725996217552 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94747141004592 94747141051780 94747153678336 140725996225471 140725996225628 140725996225628 140725996232643 0
/proc/868742/statm: 2482 678 597 264 0 133 0
[pid=868744] ppid=868742 vsize=6118436 memory=5406700 CPUtime=3576.43 cores=4,6
/proc/868744/stat : 868744 (ld-linux-x86-64) R 868742 868742 865549 0 -1 4194304 14756060 0 0 0 332656 24987 0 0 20 0 2 0 168025101 6265278464 1351675 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
/proc/868744/statm: 1529609 1351675 4002 46 0 1502204 0
[pid=868744/tid=868746] ppid=868742 vsize=6118436 memory=15996 CPUtime=1.89 cores=4,6
/proc/868744/task/868746/stat : 868746 (ld-linux-x86-64) S 868742 868742 865549 0 -1 1077936192 263 0 0 0 60 129 0 0 20 0 2 0 168025554 6265278464 1351675 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
Current children cumulated CPU time: 3576.43 s
Current children cumulated vsize: 6128364 KiB
Current children cumulated memory: 5409412 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3606 s]*
/proc/loadavg: 4.10 4.12 4.15 5/262 870720
/proc/meminfo: memFree=117733700/131524600 swapFree=131071996/131071996
[pid=868742] ppid=868739 vsize=9928 memory=2712 CPUtime=0 cores=4,6
/proc/868742/stat : 868742 (run-glibc-2.34.) S 868739 868742 865549 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 168025101 10166272 678 134679101440 94747137826816 94747138906136 140725996217552 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94747141004592 94747141051780 94747153678336 140725996225471 140725996225628 140725996225628 140725996232643 0
/proc/868742/statm: 2482 678 597 264 0 133 0
[pid=868744] ppid=868742 vsize=6118436 memory=5444192 CPUtime=3600.1 cores=4,6
/proc/868744/stat : 868744 (ld-linux-x86-64) R 868742 868742 865549 0 -1 4194304 14766730 0 0 0 334795 25215 0 0 20 0 2 0 168025101 6265278464 1361048 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
/proc/868744/statm: 1529609 1361048 4002 46 0 1502204 0
[pid=868744/tid=868746] ppid=868742 vsize=6118436 memory=-8680335968870228577 CPUtime=1.9 cores=4,6
/proc/868744/task/868746/stat : 868746 (ld-linux-x86-64) R 868742 868742 865549 0 -1 1077936192 263 0 0 0 60 130 0 0 20 0 2 0 168025554 6265278464 1361048 134679101440 139627306151936 139627306339548 140724068925984 0 0 0 0 4096 0 0 0 0 -1 6 0 0 0 0 0 139627308440448 139627308449896 93825005060096 140724068934487 140724068934651 140724068934651 140724068941746 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 6128364 KiB
Current children cumulated memory: 5446904 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3606.01 s]
# the end of solver process 868742 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001539 s, system=0 s
[startup+3606.04 s]
# the end of solver process 868744 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3347.96 s, system=252.183 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): 3606.04
CPU time (s): 3600.14
CPU user time (s): 3347.96
CPU system time (s): 252.183
CPU usage (%): 99.8365
Max. virtual memory (cumulated for all children) (KiB): 6169840
Max. memory (cumulated for all children) (KiB): 5446904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3347.96
system time used= 252.183
maximum resident set size= 5444192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14766937
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= 356886
involuntary context switches= 2579
# summary of solver processes directly reported to runsolver:
# pid: 868742,868744
# total CPU time (s): 3600.14
# total CPU user time (s): 3347.96
# total CPU system time (s): 252.183
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.70631 second user time and 17.6209 second system time
The end