123.60/124.32 c initialize IPBHS solver
123.60/124.32 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
123.60/124.32 c optimizer = "gurobi"
123.60/124.32 c pbsolver = "roundingsat"
123.60/124.32 c load symmetries from file ""
123.60/124.32 c set time limit for symmetry computation to 100 seconds.
123.60/124.32 c set interchangeable summation variable limit to 3
123.60/124.32 c set abs symmetric core budget per WCE-iteration to 100
123.60/124.32 c set rel symmetric core budget per WCE-iteration to 0
123.60/124.32 c set lit symmetric core budget per WCE-iteration to 0
123.60/124.32 c set sym generation to 's'
123.60/124.32 c set abstraction set creation to 10 iterations without LB change
123.60/124.32 c set abstraction set inputs to 0
123.60/124.32 c set abstraction set cluster min size to 2
123.60/124.32 c set abstraction set cluster max size to 100000000
123.60/124.32 c set abstraction set cluster activation limit to 2
123.60/124.32 c enable abstraction set require equal cost
123.60/124.32 c set abstraction set assumptions to 0
123.60/124.32 c set abstraction set constraint type to 0
123.60/124.32 c set abstract core extraction strategy to b
123.60/124.32 c set core extraction strategy to 2
123.60/124.32 c set core extraction shuffles 10
123.60/124.32 c set cores per iteration to 5
123.60/124.32 c set optimizer bound usage strategy to 2
123.60/124.32 c set optimizer max non-optimal iterations to 1000
123.60/124.32 c set small core cardinality limit to 2
123.60/124.32 c set max coef in cores to 1000000000
123.60/124.32 c set SIS iterations to 5
123.60/124.32 c set SIS budget abs to 1000
123.60/124.32 c set SIS budget rel to 0.05
123.60/124.32 c limit for coefficient in constraints and objective to 9223372036854775807
123.60/124.32 c will solve HOME/instance-4431409-1721067600.opb
123.60/124.32 c [0.01] solve iteration 1, LB=0, UB=116905
123.60/124.32 c [2.05] solve iteration 2, LB=17422, UB=26243
123.60/124.32 c [3.01] solve iteration 3, LB=19701, UB=26243
123.60/124.32 c [4.38] solve iteration 4, LB=20047, UB=26243
123.60/124.32 c [5.22] solve iteration 5, LB=20301, UB=26243
123.60/124.32 c [6.43] solve iteration 6, LB=20301, UB=25850
123.60/124.32 c [7.67] solve iteration 7, LB=20364, UB=25850
123.60/124.32 c [10.26] solve iteration 8, LB=20364, UB=25850
123.60/124.32 c [10.94] solve iteration 9, LB=20364, UB=25850
123.60/124.32 c [12.99] solve iteration 10, LB=20380, UB=25850
123.60/124.32 c [14.52] solve iteration 11, LB=20380, UB=25850
123.60/124.32 c [16.31] solve iteration 12, LB=20380, UB=25850
123.60/124.32 c [17.03] solve iteration 13, LB=20380, UB=25850
123.60/124.32 c [17.71] solve iteration 14, LB=20380, UB=25850
123.60/124.32 c [18.7] solve iteration 15, LB=20380, UB=25850
123.60/124.32 c [20.99] solve iteration 16, LB=20380, UB=25137
123.60/124.32 c [21.74] solve iteration 17, LB=20384, UB=25137
123.60/124.32 c [23.12] solve iteration 18, LB=20384, UB=25137
123.60/124.32 c [23.88] solve iteration 19, LB=20384, UB=25137
123.60/124.32 c [24.93] solve iteration 20, LB=20385, UB=25137
123.60/124.32 c [27.55] solve iteration 21, LB=20385, UB=25137
123.60/124.32 c [28.52] solve iteration 22, LB=20385, UB=25137
123.60/124.32 c [30.58] solve iteration 23, LB=20404, UB=25137
123.60/124.32 c [31.93] solve iteration 24, LB=20425, UB=25137
123.60/124.32 c [33.01] solve iteration 25, LB=20425, UB=25137
123.60/124.32 c [38.03] solve iteration 26, LB=20425, UB=25137
123.60/124.32 c [38.96] solve iteration 27, LB=20425, UB=25137
123.60/124.32 c [41.11] solve iteration 28, LB=20461, UB=25137
123.60/124.32 c [42.18] solve iteration 29, LB=20466, UB=25137
123.60/124.32 c [43.01] solve iteration 30, LB=20506, UB=25137
123.60/124.32 c [48.69] solve iteration 31, LB=20518, UB=25137
123.60/124.32 c [50.42] solve iteration 32, LB=20518, UB=25137
123.60/124.32 c [51.65] solve iteration 33, LB=20518, UB=25137
123.60/124.32 c [53.31] solve iteration 34, LB=20518, UB=25137
123.60/124.32 c [54.75] solve iteration 35, LB=20518, UB=25137
123.60/124.32 c [60.95] solve iteration 36, LB=20518, UB=25137
123.60/124.32 c [63.04] solve iteration 37, LB=20518, UB=25137
123.60/124.32 c [65.07] solve iteration 38, LB=20518, UB=25137
123.60/124.32 c [67.02] solve iteration 39, LB=20518, UB=25137
123.60/124.32 c [68.38] solve iteration 40, LB=20518, UB=25137
123.60/124.32 c [76.71] solve iteration 41, LB=20518, UB=25137
123.60/124.32 c [77.8] solve iteration 42, LB=20518, UB=25137
123.60/124.32 c [79.67] solve iteration 43, LB=20530, UB=25137
123.60/124.32 c [81.62] solve iteration 44, LB=20530, UB=25137
123.60/124.32 c [83.1] solve iteration 45, LB=20530, UB=25137
123.60/124.32 c [92.49] solve iteration 46, LB=20530, UB=25137
123.60/124.32 c [94.06] solve iteration 47, LB=20530, UB=25137
123.60/124.32 c [95.67] solve iteration 48, LB=20530, UB=25137
123.60/124.32 c [97.85] solve iteration 49, LB=20530, UB=25137
123.60/124.32 c [100.2] solve iteration 50, LB=20530, UB=25137
123.60/124.32 c [113.19] solve iteration 51, LB=20530, UB=25137
123.60/124.32 c [116.17] solve iteration 52, LB=20530, UB=25137
123.60/124.32 c [117.98] solve iteration 53, LB=20530, UB=25137
123.60/124.32 c [120.68] solve iteration 54, LB=20530, UB=25137
1738.72/1743.40 c [125.47] solve iteration 55, LB=20530, UB=25137
1738.72/1743.40 c [139.63] solve iteration 56, LB=20530, UB=25137
1738.72/1743.40 c [141.67] solve iteration 57, LB=20530, UB=25137
1738.72/1743.40 c [142.92] solve iteration 58, LB=20530, UB=25137
1738.72/1743.40 c [145.68] solve iteration 59, LB=20530, UB=25137
1738.72/1743.40 c [147.59] solve iteration 60, LB=20530, UB=25137
1738.72/1743.40 c [169.47] solve iteration 61, LB=20533, UB=25137
1738.72/1743.40 c [171.17] solve iteration 62, LB=20533, UB=25137
1738.72/1743.40 c [173.69] solve iteration 63, LB=20533, UB=25137
1738.72/1743.40 c [176.02] solve iteration 64, LB=20533, UB=25137
1738.72/1743.40 c [178.67] solve iteration 65, LB=20533, UB=25137
1738.72/1743.40 c [207.98] solve iteration 66, LB=20533, UB=25137
1738.72/1743.40 c [212.11] solve iteration 67, LB=20533, UB=25137
1738.72/1743.40 c [214.32] solve iteration 68, LB=20533, UB=25137
1738.72/1743.40 c [219.69] solve iteration 69, LB=20533, UB=25137
1738.72/1743.40 c [222.81] solve iteration 70, LB=20548, UB=25137
1738.72/1743.40 c [244.4] solve iteration 71, LB=20548, UB=25137
1738.72/1743.40 c [247.68] solve iteration 72, LB=20548, UB=25137
1738.72/1743.40 c [250.18] solve iteration 73, LB=20548, UB=25137
1738.72/1743.40 c [252.69] solve iteration 74, LB=20548, UB=25137
1738.72/1743.40 c [255.58] solve iteration 75, LB=20548, UB=25137
1738.72/1743.40 c [286.15] solve iteration 76, LB=20548, UB=25137
1738.72/1743.40 c [290.49] solve iteration 77, LB=20548, UB=25137
1738.72/1743.40 c [295.39] solve iteration 78, LB=20548, UB=25137
1738.72/1743.40 c [298.23] solve iteration 79, LB=20548, UB=25137
1738.72/1743.40 c [302.82] solve iteration 80, LB=20548, UB=25137
1738.72/1743.40 c [356.39] solve iteration 81, LB=20548, UB=25137
1738.72/1743.40 c [359.41] solve iteration 82, LB=20548, UB=25137
1738.72/1743.40 c [367.16] solve iteration 83, LB=20548, UB=25137
1738.72/1743.40 c [369.93] solve iteration 84, LB=20548, UB=25137
1738.72/1743.40 c [372.37] solve iteration 85, LB=20548, UB=25137
1738.72/1743.40 c [414.41] solve iteration 86, LB=20548, UB=25137
1738.72/1743.40 c [416.82] solve iteration 87, LB=20548, UB=25137
1738.72/1743.40 c [420.68] solve iteration 88, LB=20548, UB=25137
1738.72/1743.40 c [427.13] solve iteration 89, LB=20548, UB=25137
1738.72/1743.40 c [430.9] solve iteration 90, LB=20548, UB=25137
1738.72/1743.40 c [516.74] solve iteration 91, LB=20548, UB=25137
1738.72/1743.40 c [521.63] solve iteration 92, LB=20548, UB=25137
1738.72/1743.40 c [526.14] solve iteration 93, LB=20548, UB=25137
1738.72/1743.40 c [530.36] solve iteration 94, LB=20548, UB=25137
1738.72/1743.40 c [533.63] solve iteration 95, LB=20548, UB=25137
1738.72/1743.40 c [573.37] solve iteration 96, LB=20548, UB=25084
1738.72/1743.40 c [578.81] solve iteration 97, LB=20548, UB=25084
1738.72/1743.40 c [584.24] solve iteration 98, LB=20548, UB=25084
1738.72/1743.40 c [588.51] solve iteration 99, LB=20548, UB=25084
1738.72/1743.40 c [594.3] solve iteration 100, LB=20548, UB=25084
1738.72/1743.40 c [628.1] solve iteration 101, LB=20548, UB=24810
1738.72/1743.40 c [635.09] solve iteration 102, LB=20548, UB=24810
1738.72/1743.40 c [639.76] solve iteration 103, LB=20548, UB=24810
1738.72/1743.40 c [645.66] solve iteration 104, LB=20548, UB=24810
1738.72/1743.40 c [649.52] solve iteration 105, LB=20555, UB=24810
1738.72/1743.40 c [766.7] solve iteration 106, LB=20555, UB=24810
1738.72/1743.40 c [774.89] solve iteration 107, LB=20555, UB=24810
1738.72/1743.40 c [779.91] solve iteration 108, LB=20555, UB=24810
1738.72/1743.40 c [785.19] solve iteration 109, LB=20593, UB=24810
1738.72/1743.40 c [795.15] solve iteration 110, LB=20593, UB=24810
1738.72/1743.40 c [908.19] solve iteration 111, LB=20593, UB=24810
1738.72/1743.40 c [915.16] solve iteration 112, LB=20593, UB=24810
1738.72/1743.40 c [922.54] solve iteration 113, LB=20593, UB=24810
1738.72/1743.40 c [930.14] solve iteration 114, LB=20593, UB=24810
1738.72/1743.40 c [938.87] solve iteration 115, LB=20593, UB=24810
1738.72/1743.40 c [1012.91] solve iteration 116, LB=20593, UB=24064
1738.72/1743.40 c [1025.29] solve iteration 117, LB=20593, UB=24064
1738.72/1743.40 c [1036.97] solve iteration 118, LB=20593, UB=24064
1738.72/1743.40 c [1050.63] solve iteration 119, LB=20593, UB=24064
1738.72/1743.40 c [1058.9] solve iteration 120, LB=20593, UB=24064
1738.72/1743.40 c [1215.59] solve iteration 121, LB=20593, UB=24064
1738.72/1743.40 c [1225.21] solve iteration 122, LB=20593, UB=24064
1738.72/1743.40 c [1231.82] solve iteration 123, LB=20593, UB=24064
1738.72/1743.40 c [1239.03] solve iteration 124, LB=20593, UB=24064
1738.72/1743.40 c [1248.06] solve iteration 125, LB=20593, UB=24064
1738.72/1743.40 c [1427.92] solve iteration 126, LB=20593, UB=24064
1738.72/1743.40 c [1440.07] solve iteration 127, LB=20593, UB=24064
1738.72/1743.40 c [1453.58] solve iteration 128, LB=20593, UB=24064
1738.72/1743.40 c [1463.16] solve iteration 129, LB=20593, UB=24064
1738.72/1743.40 c [1471.32] solve iteration 130, LB=20593, UB=24064
1738.72/1743.40 c [1684.4] solve iteration 131, LB=20593, UB=24064
1738.72/1743.40 c [1694.53] solve iteration 132, LB=20593, UB=24064
1738.72/1743.40 c [1707.84] solve iteration 133, LB=20593, UB=24064
1738.72/1743.40 c [1718.49] solve iteration 134, LB=20593, UB=24064
1738.72/1743.40 c [1727.24] solve HOME/run-glibc-2.34.sh: line 2: 832558 Terminated LD_LIBRARY_PATH=/home/evaluation/evaluation/priv/lib:/home/evaluation/evaluation/tools/lib64:/home/evaluation/evaluation/tools/lib:/usr/local/lib:/home/evaluation/evaluation/tools/glibc-2.34/lib/:/lib64 /home/evaluation/evaluation/tools/glibc-2.34/lib/ld-linux-x86-64.so.2 $*
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 (62940 MiB free)
memory of node 1: 64473 MiB (63309 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431409-1721067600/watcher-4431409-1721067600 -o /tmp/evaluation-result-4431409-1721067600/solver-4431409-1721067600 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721060308-828136 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431409-1721067600.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
Current StackSize limit: 8192 KiB
solver pid=832556, runsolver pid=832553
[startup+0.100056 s]*
/proc/loadavg: 4.12 4.13 4.10 5/264 832559
/proc/meminfo: memFree=129268168/131524600 swapFree=131071996/131071996
[pid=832556] ppid=832553 vsize=9928 memory=2780 CPUtime=0 cores=1,3
/proc/832556/stat : 832556 (run-glibc-2.34.) S 832553 832556 828122 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 158922453 10166272 695 134679101440 94099758407680 94099759487000 140733607455728 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94099761585456 94099761632644 94099788644352 140733607457739 140733607457884 140733607457884 140733607464899 0
/proc/832556/statm: 2482 695 615 264 0 133 0
[pid=832558] ppid=832556 vsize=137704 memory=26104 CPUtime=0.09 cores=1,3
/proc/832558/stat : 832558 (ld-linux-x86-64) R 832556 832556 828122 0 -1 4194304 2226 0 0 0 5 4 0 0 20 0 2 0 158922453 141008896 6526 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
/proc/832558/statm: 34426 6526 3781 46 0 7021 0
[pid=832558/tid=832559] ppid=832556 vsize=137704 memory=4026561614 CPUtime=0 cores=1,3
/proc/832558/task/832559/stat : 832559 (ld-linux-x86-64) R 832556 832556 828122 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 158922456 141008896 6526 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 147632 KiB
Current children cumulated memory: 28884 KiB
[startup+0.205497 s]*
/proc/loadavg: 4.12 4.13 4.10 5/264 832559
/proc/meminfo: memFree=129267228/131524600 swapFree=131071996/131071996
[pid=832556] ppid=832553 vsize=9928 memory=2780 CPUtime=0 cores=1,3
/proc/832556/stat : 832556 (run-glibc-2.34.) S 832553 832556 828122 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 158922453 10166272 695 134679101440 94099758407680 94099759487000 140733607455728 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94099761585456 94099761632644 94099788644352 140733607457739 140733607457884 140733607457884 140733607464899 0
/proc/832556/statm: 2482 695 615 264 0 133 0
[pid=832558] ppid=832556 vsize=137704 memory=26752 CPUtime=0.19 cores=1,3
/proc/832558/stat : 832558 (ld-linux-x86-64) R 832556 832556 828122 0 -1 4194304 2311 0 0 0 15 4 0 0 20 0 2 0 158922453 141008896 6688 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
/proc/832558/statm: 34426 6688 3813 46 0 7021 0
[pid=832558/tid=832559] ppid=832556 vsize=137704 memory=3471202400344241230 CPUtime=0 cores=1,3
/proc/832558/task/832559/stat : 832559 (ld-linux-x86-64) R 832556 832556 828122 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 158922456 141008896 6688 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 147632 KiB
Current children cumulated memory: 29532 KiB
[startup+0.305467 s]*
/proc/loadavg: 4.12 4.13 4.10 5/264 832559
/proc/meminfo: memFree=129267088/131524600 swapFree=131071996/131071996
[pid=832556] ppid=832553 vsize=9928 memory=2780 CPUtime=0 cores=1,3
/proc/832556/stat : 832556 (run-glibc-2.34.) S 832553 832556 828122 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 158922453 10166272 695 134679101440 94099758407680 94099759487000 140733607455728 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94099761585456 94099761632644 94099788644352 140733607457739 140733607457884 140733607457884 140733607464899 0
/proc/832556/statm: 2482 695 615 264 0 133 0
[pid=832558] ppid=832556 vsize=137704 memory=26752 CPUtime=0.3 cores=1,3
/proc/832558/stat : 832558 (ld-linux-x86-64) R 832556 832556 828122 0 -1 4194304 2329 0 0 0 25 5 0 0 20 0 2 0 158922453 141008896 6688 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
/proc/832558/statm: 34426 6688 3813 46 0 7021 0
[pid=832558/tid=832559] ppid=832556 vsize=137704 memory=-8826424767399618916 CPUtime=0 cores=1,3
/proc/832558/task/832559/stat : 832559 (ld-linux-x86-64) S 832556 832556 828122 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 158922456 141008896 6688 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 147632 KiB
Current children cumulated memory: 29532 KiB
[startup+0.700184 s]
/proc/loadavg: 4.12 4.13 4.10 5/264 832559
/proc/meminfo: memFree=129264564/131524600 swapFree=131071996/131071996
[pid=832556] ppid=832553 vsize=9928 memory=2780 CPUtime=0 cores=1,3
/proc/832556/stat : 832556 (run-glibc-2.34.) S 832553 832556 828122 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 158922453 10166272 695 134679101440 94099758407680 94099759487000 140733607455728 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94099761585456 94099761632644 94099788644352 140733607457739 140733607457884 140733607457884 140733607464899 0
/proc/832556/statm: 2482 695 615 264 0 133 0
[pid=832558] ppid=832556 vsize=137704 memory=27016 CPUtime=0.68 cores=1,3
/proc/832558/stat : 832558 (ld-linux-x86-64) R 832556 832556 828122 0 -1 4194304 2416 0 0 0 62 6 0 0 20 0 2 0 158922453 141008896 6754 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
/proc/832558/statm: 34426 6754 3813 46 0 7021 0
[pid=832558/tid=832559] ppid=832556 vsize=137704 memory=100 CPUtime=0 cores=1,3
/proc/832558/task/832559/stat : 832559 (ld-linux-x86-64) S 832556 832556 828122 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 158922456 141008896 6754 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 147632 KiB
Current children cumulated memory: 29796 KiB
[startup+1.50018 s]
/proc/loadavg: 4.12 4.13 4.10 5/264 832559
/proc/meminfo: memFree=129264200/131524600 swapFree=131071996/131071996
[pid=832556] ppid=832553 vsize=9928 memory=2780 CPUtime=0 cores=1,3
/proc/832556/stat : 832556 (run-glibc-2.34.) S 832553 832556 828122 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 158922453 10166272 695 134679101440 94099758407680 94099759487000 140733607455728 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94099761585456 94099761632644 94099788644352 140733607457739 140733607457884 140733607457884 140733607464899 0
/proc/832556/statm: 2482 695 615 264 0 133 0
[pid=832558] ppid=832556 vsize=137852 memory=27544 CPUtime=1.48 cores=1,3
/proc/832558/stat : 832558 (ld-linux-x86-64) R 832556 832556 828122 0 -1 4194304 2561 0 0 0 140 8 0 0 20 0 2 0 158922453 141160448 6886 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
/proc/832558/statm: 34463 6886 3813 46 0 7058 0
[pid=832558/tid=832559] ppid=832556 vsize=137852 memory=12304 CPUtime=0 cores=1,3
/proc/832558/task/832559/stat : 832559 (ld-linux-x86-64) S 832556 832556 828122 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 158922456 141160448 6886 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 147780 KiB
Current children cumulated memory: 30324 KiB
[startup+3.10532 s]
/proc/loadavg: 4.12 4.13 4.10 5/264 832559
/proc/meminfo: memFree=129257084/131524600 swapFree=131071996/131071996
[pid=832556] ppid=832553 vsize=9928 memory=2780 CPUtime=0 cores=1,3
/proc/832556/stat : 832556 (run-glibc-2.34.) S 832553 832556 828122 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 158922453 10166272 695 134679101440 94099758407680 94099759487000 140733607455728 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94099761585456 94099761632644 94099788644352 140733607457739 140733607457884 140733607457884 140733607464899 0
/proc/832556/statm: 2482 695 615 264 0 133 0
[pid=832558] ppid=832556 vsize=140080 memory=29292 CPUtime=3.07 cores=1,3
/proc/832558/stat : 832558 (ld-linux-x86-64) R 832556 832556 828122 0 -1 4194304 4063 0 0 0 294 13 0 0 20 0 2 0 158922453 143441920 7323 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
/proc/832558/statm: 35020 7323 3813 46 0 7615 0
[pid=832558/tid=832559] ppid=832556 vsize=140080 memory=2780 CPUtime=0 cores=1,3
/proc/832558/task/832559/stat : 832559 (ld-linux-x86-64) S 832556 832556 828122 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 2 0 158922456 143441920 7323 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 150008 KiB
Current children cumulated memory: 32072 KiB
[startup+6.30018 s]
/proc/loadavg: 4.19 4.14 4.10 5/264 832561
/proc/meminfo: memFree=129249200/131524600 swapFree=131071996/131071996
[pid=832556] ppid=832553 vsize=9928 memory=2780 CPUtime=0 cores=1,3
/proc/832556/stat : 832556 (run-glibc-2.34.) S 832553 832556 828122 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 158922453 10166272 695 134679101440 94099758407680 94099759487000 140733607455728 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94099761585456 94099761632644 94099788644352 140733607457739 140733607457884 140733607457884 140733607464899 0
/proc/832556/statm: 2482 695 615 264 0 133 0
[pid=832558] ppid=832556 vsize=149152 memory=34804 CPUtime=6.26 cores=1,3
/proc/832558/stat : 832558 (ld-linux-x86-64) R 832556 832556 828122 0 -1 4194304 6694 0 0 0 598 28 0 0 20 0 2 0 158922453 152731648 8701 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
/proc/832558/statm: 37288 8701 3876 46 0 9883 0
[pid=832558/tid=832559] ppid=832556 vsize=149152 memory=2780 CPUtime=0 cores=1,3
/proc/832558/task/832559/stat : 832559 (ld-linux-x86-64) S 832556 832556 828122 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 2 0 158922456 152731648 8701 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 159080 KiB
Current children cumulated memory: 37584 KiB
[startup+12.7002 s]
/proc/loadavg: 4.26 4.16 4.11 5/264 832561
/proc/meminfo: memFree=129240768/131524600 swapFree=131071996/131071996
[pid=832556] ppid=832553 vsize=9928 memory=2780 CPUtime=0 cores=1,3
/proc/832556/stat : 832556 (run-glibc-2.34.) S 832553 832556 828122 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 158922453 10166272 695 134679101440 94099758407680 94099759487000 140733607455728 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94099761585456 94099761632644 94099788644352 140733607457739 140733607457884 140733607457884 140733607464899 0
/proc/832556/statm: 2482 695 615 264 0 133 0
[pid=832558] ppid=832556 vsize=159824 memory=42776 CPUtime=12.61 cores=1,3
/proc/832558/stat : 832558 (ld-linux-x86-64) R 832556 832556 828122 0 -1 4194304 13300 0 0 0 1208 53 0 0 20 0 2 0 158922453 163659776 10694 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
/proc/832558/statm: 39956 10694 3876 46 0 12551 0
[pid=832558/tid=832559] ppid=832556 vsize=159824 memory=2780 CPUtime=0 cores=1,3
/proc/832558/task/832559/stat : 832559 (ld-linux-x86-64) S 832556 832556 828122 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 2 0 158922456 163659776 10694 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 169752 KiB
Current children cumulated memory: 45556 KiB
[startup+25.5002 s]
/proc/loadavg: 4.27 4.17 4.11 5/266 832567
/proc/meminfo: memFree=129223744/131524600 swapFree=131071996/131071996
[pid=832556] ppid=832553 vsize=9928 memory=2780 CPUtime=0 cores=1,3
/proc/832556/stat : 832556 (run-glibc-2.34.) S 832553 832556 828122 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 158922453 10166272 695 134679101440 94099758407680 94099759487000 140733607455728 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94099761585456 94099761632644 94099788644352 140733607457739 140733607457884 140733607457884 140733607464899 0
/proc/832556/statm: 2482 695 615 264 0 133 0
[pid=832558] ppid=832556 vsize=172976 memory=60084 CPUtime=25.31 cores=1,3
/proc/832558/stat : 832558 (ld-linux-x86-64) R 832556 832556 828122 0 -1 4194304 27385 0 0 0 2433 98 0 0 20 0 2 0 158922453 177127424 15021 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
/proc/832558/statm: 43244 15021 3876 46 0 15839 0
[pid=832558/tid=832559] ppid=832556 vsize=172976 memory=46136 CPUtime=0 cores=1,3
/proc/832558/task/832559/stat : 832559 (ld-linux-x86-64) S 832556 832556 828122 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 2 0 158922456 177127424 15021 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 182904 KiB
Current children cumulated memory: 62864 KiB
[startup+51.1055 s]
/proc/loadavg: 4.18 4.15 4.11 5/266 832572
/proc/meminfo: memFree=129197912/131524600 swapFree=131071996/131071996
[pid=832556] ppid=832553 vsize=9928 memory=2780 CPUtime=0 cores=1,3
/proc/832556/stat : 832556 (run-glibc-2.34.) S 832553 832556 828122 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 158922453 10166272 695 134679101440 94099758407680 94099759487000 140733607455728 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94099761585456 94099761632644 94099788644352 140733607457739 140733607457884 140733607457884 140733607464899 0
/proc/832556/statm: 2482 695 615 264 0 133 0
[pid=832558] ppid=832556 vsize=189032 memory=76260 CPUtime=50.78 cores=1,3
/proc/832558/stat : 832558 (ld-linux-x86-64) R 832556 832556 828122 0 -1 4194304 56604 0 0 0 4918 160 0 0 20 0 2 0 158922453 193568768 19065 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
/proc/832558/statm: 47258 19065 3876 46 0 19853 0
[pid=832558/tid=832559] ppid=832556 vsize=189032 memory=2780 CPUtime=0.01 cores=1,3
/proc/832558/task/832559/stat : 832559 (ld-linux-x86-64) S 832556 832556 828122 0 -1 1077936192 31 0 0 0 0 1 0 0 20 0 2 0 158922456 193568768 19065 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
Current children cumulated CPU time: 50.78 s
Current children cumulated vsize: 198960 KiB
Current children cumulated memory: 79040 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.16 4.11 5/267 832582
/proc/meminfo: memFree=129156296/131524600 swapFree=131071996/131071996
[pid=832556] ppid=832553 vsize=9928 memory=2780 CPUtime=0 cores=1,3
/proc/832556/stat : 832556 (run-glibc-2.34.) S 832553 832556 828122 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 158922453 10166272 695 134679101440 94099758407680 94099759487000 140733607455728 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94099761585456 94099761632644 94099788644352 140733607457739 140733607457884 140733607457884 140733607464899 0
/proc/832556/statm: 2482 695 615 264 0 133 0
[pid=832558] ppid=832556 vsize=219168 memory=106992 CPUtime=101.7 cores=1,3
/proc/832558/stat : 832558 (ld-linux-x86-64) R 832556 832556 828122 0 -1 4194304 102835 0 0 0 9901 269 0 0 20 0 2 0 158922453 224428032 26748 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
/proc/832558/statm: 54792 26748 3876 46 0 27387 0
[pid=832558/tid=832559] ppid=832556 vsize=219168 memory=12304 CPUtime=0.03 cores=1,3
/proc/832558/task/832559/stat : 832559 (ld-linux-x86-64) S 832556 832556 828122 0 -1 1077936192 41 0 0 0 1 2 0 0 20 0 2 0 158922456 224428032 26748 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
Current children cumulated CPU time: 101.7 s
Current children cumulated vsize: 229096 KiB
Current children cumulated memory: 109772 KiB
[startup+162.3 s]
################
# More data... #
################
/proc/832558/statm: 116644 88805 4018 46 0 89239 0
[pid=832558/tid=832559] ppid=832556 vsize=466576 memory=355220 CPUtime=2.08 cores=1,3
/proc/832558/task/832559/stat : 832559 (ld-linux-x86-64) S 832556 832556 828122 0 -1 1077936192 172 0 0 0 88 120 0 0 20 0 2 0 158922456 477773824 88805 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
Current children cumulated CPU time: 3095 s
Current children cumulated vsize: 476504 KiB
Current children cumulated memory: 358000 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/267 834321
/proc/meminfo: memFree=128718024/131524600 swapFree=131071996/131071996
[pid=832556] ppid=832553 vsize=9928 memory=2780 CPUtime=0 cores=1,3
/proc/832556/stat : 832556 (run-glibc-2.34.) S 832553 832556 828122 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 158922453 10166272 695 134679101440 94099758407680 94099759487000 140733607455728 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94099761585456 94099761632644 94099788644352 140733607457739 140733607457884 140733607457884 140733607464899 0
/proc/832556/statm: 2482 695 615 264 0 133 0
[pid=832558] ppid=832556 vsize=466576 memory=355220 CPUtime=3154.89 cores=1,3
/proc/832558/stat : 832558 (ld-linux-x86-64) R 832556 832556 828122 0 -1 4194304 351007 0 0 0 314023 1466 0 0 20 0 2 0 158922453 477773824 88805 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
/proc/832558/statm: 116644 88805 4018 46 0 89239 0
[pid=832558/tid=832559] ppid=832556 vsize=466576 memory=355220 CPUtime=2.13 cores=1,3
/proc/832558/task/832559/stat : 832559 (ld-linux-x86-64) S 832556 832556 828122 0 -1 1077936192 175 0 0 0 90 123 0 0 20 0 2 0 158922456 477773824 88805 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
Current children cumulated CPU time: 3154.89 s
Current children cumulated vsize: 476504 KiB
Current children cumulated memory: 358000 KiB
[startup+3222.3 s]
/proc/loadavg: 4.48 4.25 4.14 5/265 834332
/proc/meminfo: memFree=128717512/131524600 swapFree=131071996/131071996
[pid=832556] ppid=832553 vsize=9928 memory=2780 CPUtime=0 cores=1,3
/proc/832556/stat : 832556 (run-glibc-2.34.) S 832553 832556 828122 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 158922453 10166272 695 134679101440 94099758407680 94099759487000 140733607455728 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94099761585456 94099761632644 94099788644352 140733607457739 140733607457884 140733607457884 140733607464899 0
/proc/832556/statm: 2482 695 615 264 0 133 0
[pid=832558] ppid=832556 vsize=466576 memory=355220 CPUtime=3214.79 cores=1,3
/proc/832558/stat : 832558 (ld-linux-x86-64) R 832556 832556 828122 0 -1 4194304 351607 0 0 0 319999 1480 0 0 20 0 2 0 158922453 477773824 88805 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
/proc/832558/statm: 116644 88805 4018 46 0 89239 0
[pid=832558/tid=832559] ppid=832556 vsize=466576 memory=355220 CPUtime=2.18 cores=1,3
/proc/832558/task/832559/stat : 832559 (ld-linux-x86-64) S 832556 832556 828122 0 -1 1077936192 178 0 0 0 92 126 0 0 20 0 2 0 158922456 477773824 88805 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
Current children cumulated CPU time: 3214.79 s
Current children cumulated vsize: 476504 KiB
Current children cumulated memory: 358000 KiB
[startup+3282.3 s]
/proc/loadavg: 4.35 4.25 4.15 5/265 834343
/proc/meminfo: memFree=128710440/131524600 swapFree=131071996/131071996
[pid=832556] ppid=832553 vsize=9928 memory=2780 CPUtime=0 cores=1,3
/proc/832556/stat : 832556 (run-glibc-2.34.) S 832553 832556 828122 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 158922453 10166272 695 134679101440 94099758407680 94099759487000 140733607455728 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94099761585456 94099761632644 94099788644352 140733607457739 140733607457884 140733607457884 140733607464899 0
/proc/832556/statm: 2482 695 615 264 0 133 0
[pid=832558] ppid=832556 vsize=472432 memory=361288 CPUtime=3274.67 cores=1,3
/proc/832558/stat : 832558 (ld-linux-x86-64) R 832556 832556 828122 0 -1 4194304 352907 0 0 0 325973 1494 0 0 20 0 2 0 158922453 483770368 90322 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
/proc/832558/statm: 118108 90322 4018 46 0 90703 0
[pid=832558/tid=832559] ppid=832556 vsize=472432 memory=2780 CPUtime=2.23 cores=1,3
/proc/832558/task/832559/stat : 832559 (ld-linux-x86-64) S 832556 832556 828122 0 -1 1077936192 181 0 0 0 94 129 0 0 20 0 2 0 158922456 483770368 90322 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
Current children cumulated CPU time: 3274.67 s
Current children cumulated vsize: 482360 KiB
Current children cumulated memory: 364068 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.22 4.14 5/263 834353
/proc/meminfo: memFree=128703244/131524600 swapFree=131071996/131071996
[pid=832556] ppid=832553 vsize=9928 memory=2780 CPUtime=0 cores=1,3
/proc/832556/stat : 832556 (run-glibc-2.34.) S 832553 832556 828122 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 158922453 10166272 695 134679101440 94099758407680 94099759487000 140733607455728 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94099761585456 94099761632644 94099788644352 140733607457739 140733607457884 140733607457884 140733607464899 0
/proc/832556/statm: 2482 695 615 264 0 133 0
[pid=832558] ppid=832556 vsize=478668 memory=365932 CPUtime=3334.54 cores=1,3
/proc/832558/stat : 832558 (ld-linux-x86-64) R 832556 832556 828122 0 -1 4194304 353220 0 0 0 331941 1513 0 0 20 0 2 0 158922453 490156032 91483 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
/proc/832558/statm: 119667 91483 4018 46 0 92262 0
[pid=832558/tid=832559] ppid=832556 vsize=478668 memory=43196 CPUtime=2.27 cores=1,3
/proc/832558/task/832559/stat : 832559 (ld-linux-x86-64) S 832556 832556 828122 0 -1 1077936192 183 0 0 0 96 131 0 0 20 0 2 0 158922456 490156032 91483 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
Current children cumulated CPU time: 3334.54 s
Current children cumulated vsize: 488596 KiB
Current children cumulated memory: 368712 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.21 4.14 5/263 834363
/proc/meminfo: memFree=128702912/131524600 swapFree=131071996/131071996
[pid=832556] ppid=832553 vsize=9928 memory=2780 CPUtime=0 cores=1,3
/proc/832556/stat : 832556 (run-glibc-2.34.) S 832553 832556 828122 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 158922453 10166272 695 134679101440 94099758407680 94099759487000 140733607455728 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94099761585456 94099761632644 94099788644352 140733607457739 140733607457884 140733607457884 140733607464899 0
/proc/832556/statm: 2482 695 615 264 0 133 0
[pid=832558] ppid=832556 vsize=483968 memory=367600 CPUtime=3394.42 cores=1,3
/proc/832558/stat : 832558 (ld-linux-x86-64) R 832556 832556 828122 0 -1 4194304 355072 0 0 0 337912 1530 0 0 20 0 2 0 158922453 495583232 91900 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
/proc/832558/statm: 120992 91900 4018 46 0 93587 0
[pid=832558/tid=832559] ppid=832556 vsize=483968 memory=367600 CPUtime=2.32 cores=1,3
/proc/832558/task/832559/stat : 832559 (ld-linux-x86-64) S 832556 832556 828122 0 -1 1077936192 186 0 0 0 97 135 0 0 20 0 2 0 158922456 495583232 91900 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
Current children cumulated CPU time: 3394.42 s
Current children cumulated vsize: 493896 KiB
Current children cumulated memory: 370380 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.20 4.14 5/262 834374
/proc/meminfo: memFree=128693824/131524600 swapFree=131071996/131071996
[pid=832556] ppid=832553 vsize=9928 memory=2780 CPUtime=0 cores=1,3
/proc/832556/stat : 832556 (run-glibc-2.34.) S 832553 832556 828122 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 158922453 10166272 695 134679101440 94099758407680 94099759487000 140733607455728 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94099761585456 94099761632644 94099788644352 140733607457739 140733607457884 140733607457884 140733607464899 0
/proc/832556/statm: 2482 695 615 264 0 133 0
[pid=832558] ppid=832556 vsize=483968 memory=367600 CPUtime=3454.32 cores=1,3
/proc/832558/stat : 832558 (ld-linux-x86-64) R 832556 832556 828122 0 -1 4194304 355637 0 0 0 343886 1546 0 0 20 0 2 0 158922453 495583232 91900 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
/proc/832558/statm: 120992 91900 4018 46 0 93587 0
[pid=832558/tid=832559] ppid=832556 vsize=483968 memory=367600 CPUtime=2.36 cores=1,3
/proc/832558/task/832559/stat : 832559 (ld-linux-x86-64) S 832556 832556 828122 0 -1 1077936192 189 0 0 0 99 137 0 0 20 0 2 0 158922456 495583232 91900 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
Current children cumulated CPU time: 3454.32 s
Current children cumulated vsize: 493896 KiB
Current children cumulated memory: 370380 KiB
[startup+3522.3 s]
/proc/loadavg: 4.46 4.28 4.18 4/253 834415
/proc/meminfo: memFree=128897208/131524600 swapFree=131071996/131071996
[pid=832556] ppid=832553 vsize=9928 memory=2780 CPUtime=0 cores=1,3
/proc/832556/stat : 832556 (run-glibc-2.34.) S 832553 832556 828122 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 158922453 10166272 695 134679101440 94099758407680 94099759487000 140733607455728 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94099761585456 94099761632644 94099788644352 140733607457739 140733607457884 140733607457884 140733607464899 0
/proc/832556/statm: 2482 695 615 264 0 133 0
[pid=832558] ppid=832556 vsize=483968 memory=367600 CPUtime=3514.22 cores=1,3
/proc/832558/stat : 832558 (ld-linux-x86-64) R 832556 832556 828122 0 -1 4194304 356208 0 0 0 349864 1558 0 0 20 0 2 0 158922453 495583232 91900 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
/proc/832558/statm: 120992 91900 4018 46 0 93587 0
[pid=832558/tid=832559] ppid=832556 vsize=483968 memory=367600 CPUtime=2.41 cores=1,3
/proc/832558/task/832559/stat : 832559 (ld-linux-x86-64) S 832556 832556 828122 0 -1 1077936192 192 0 0 0 101 140 0 0 20 0 2 0 158922456 495583232 91900 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
Current children cumulated CPU time: 3514.22 s
Current children cumulated vsize: 493896 KiB
Current children cumulated memory: 370380 KiB
[startup+3582.3 s]
/proc/loadavg: 2.34 3.71 3.99 2/236 834487
/proc/meminfo: memFree=129273216/131524600 swapFree=131071996/131071996
[pid=832556] ppid=832553 vsize=9928 memory=2780 CPUtime=0 cores=1,3
/proc/832556/stat : 832556 (run-glibc-2.34.) S 832553 832556 828122 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 158922453 10166272 695 134679101440 94099758407680 94099759487000 140733607455728 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94099761585456 94099761632644 94099788644352 140733607457739 140733607457884 140733607457884 140733607464899 0
/proc/832556/statm: 2482 695 615 264 0 133 0
[pid=832558] ppid=832556 vsize=483968 memory=367600 CPUtime=3574.15 cores=1,3
/proc/832558/stat : 832558 (ld-linux-x86-64) R 832556 832556 828122 0 -1 4194304 356781 0 0 0 355843 1572 0 0 20 0 2 0 158922453 495583232 91900 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
/proc/832558/statm: 120992 91900 4018 46 0 93587 0
[pid=832558/tid=832559] ppid=832556 vsize=483968 memory=367600 CPUtime=2.47 cores=1,3
/proc/832558/task/832559/stat : 832559 (ld-linux-x86-64) S 832556 832556 828122 0 -1 1077936192 195 0 0 0 104 143 0 0 20 0 2 0 158922456 495583232 91900 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
Current children cumulated CPU time: 3574.15 s
Current children cumulated vsize: 493896 KiB
Current children cumulated memory: 370380 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.2 s]
/proc/loadavg: 1.94 3.51 3.91 2/236 834493
/proc/meminfo: memFree=129272980/131524600 swapFree=131071996/131071996
[pid=832556] ppid=832553 vsize=9928 memory=2780 CPUtime=0 cores=1,3
/proc/832556/stat : 832556 (run-glibc-2.34.) S 832553 832556 828122 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 158922453 10166272 695 134679101440 94099758407680 94099759487000 140733607455728 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94099761585456 94099761632644 94099788644352 140733607457739 140733607457884 140733607457884 140733607464899 0
/proc/832556/statm: 2482 695 615 264 0 133 0
[pid=832558] ppid=832556 vsize=483968 memory=367600 CPUtime=3600.02 cores=1,3
/proc/832558/stat : 832558 (ld-linux-x86-64) R 832556 832556 828122 0 -1 4194304 357247 0 0 0 358424 1578 0 0 20 0 2 0 158922453 495583232 91900 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
/proc/832558/statm: 120992 91900 4018 46 0 93587 0
[pid=832558/tid=832559] ppid=832556 vsize=483968 memory=5232 CPUtime=2.5 cores=1,3
/proc/832558/task/832559/stat : 832559 (ld-linux-x86-64) S 832556 832556 828122 0 -1 1077936192 197 0 0 0 105 145 0 0 20 0 2 0 158922456 495583232 91900 134679101440 140421854650368 140421854837980 140727980864432 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140421856938880 140421856948328 93825005776896 140727980872547 140727980872699 140727980872699 140727980879794 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 493896 KiB
Current children cumulated memory: 370380 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3608.21 s]
# the end of solver process 832556 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3584.25 s, system=15.7885 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3608.21
CPU time (s): 3600.04
CPU user time (s): 3584.25
CPU system time (s): 15.7885
CPU usage (%): 99.7737
Max. virtual memory (cumulated for all children) (KiB): 502484
Max. memory (cumulated for all children) (KiB): 370380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.25
system time used= 15.7885
maximum resident set size= 367600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357461
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= 357461
involuntary context switches= 3040
# summary of solver processes directly reported to runsolver:
# pid: 832556
# total CPU time (s): 3600.04
# total CPU user time (s): 3584.25
# total CPU system time (s): 15.7885
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.47665 second user time and 18.1965 second system time
The end