0.00/0.01 c initialize IPBHS solver
0.00/0.01 c IPBHS 0.0.0 beta (471c63a-dirty, Jul 9 2024 15:19:29), with Glucose 3.0, with Gurobi 10.0.1, with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
0.00/0.01 c optimizer = "gurobi"
0.00/0.01 c pbsolver = "roundingsat"
0.00/0.01 c load symmetries from file ""
0.00/0.01 c set time limit for symmetry computation to 100 seconds.
0.00/0.01 c set interchangeable summation variable limit to 3
0.00/0.01 c find symmetric cores by applying each permutation and add them to optimizer
0.00/0.01 c set abs symmetric core budget per WCE-iteration to 100
0.00/0.01 c set rel symmetric core budget per WCE-iteration to 0
0.00/0.01 c set lit symmetric core budget per WCE-iteration to 0
0.00/0.01 c set sym generation to 's'
0.00/0.01 c set abstraction set creation to 10 iterations without LB change
0.00/0.01 c set abstraction set inputs to 0
0.00/0.01 c set abstraction set cluster min size to 2
0.00/0.01 c set abstraction set cluster max size to 100000000
0.00/0.01 c set abstraction set cluster activation limit to 2
0.00/0.01 c enable abstraction set require equal cost
0.00/0.01 c set abstraction set assumptions to 0
0.00/0.01 c set abstraction set constraint type to 0
0.00/0.01 c set abstract core extraction strategy to b
0.00/0.01 c set core extraction strategy to 2
0.00/0.01 c set core extraction shuffles 10
0.00/0.01 c set cores per iteration to 5
0.00/0.01 c set optimizer bound usage strategy to 2
0.00/0.01 c set optimizer max non-optimal iterations to 1000
0.00/0.01 c set small core cardinality limit to 2
0.00/0.01 c set max coef in cores to 1000000000
0.00/0.01 c set SIS iterations to 5
0.00/0.01 c set SIS budget abs to 1000
0.00/0.01 c set SIS budget rel to 0.05
0.00/0.01 c limit for coefficient in constraints and objective to 9223372036854775807
0.00/0.01 c will solve HOME/instance-4431097-1721054342.opb
1232.77/1236.33 c [0.01] solve iteration 1, LB=-415, UB=33441
1232.77/1236.33 c [0.03] solve iteration 2, LB=2242, UB=7992
1232.77/1236.33 c [0.04] solve iteration 3, LB=2242, UB=5774
1232.77/1236.33 c [0.06] solve iteration 4, LB=2242, UB=5373
1232.77/1236.33 c [0.09] solve iteration 5, LB=2242, UB=4771
1232.77/1236.33 c [1.36] solve iteration 6, LB=2242, UB=2646
1232.77/1236.33 c [1.48] solve iteration 7, LB=2242, UB=2646
1232.77/1236.33 c [1.6] solve iteration 8, LB=2242, UB=2644
1232.77/1236.33 c [1.74] solve iteration 9, LB=2242, UB=2644
1232.77/1236.33 c [1.89] solve iteration 10, LB=2242, UB=2644
1232.77/1236.33 c [5.34] solve iteration 11, LB=2242, UB=2643
1232.77/1236.33 c [5.64] solve iteration 12, LB=2242, UB=2643
1232.77/1236.33 c [5.93] solve iteration 13, LB=2242, UB=2643
1232.77/1236.33 c [6.26] solve iteration 14, LB=2242, UB=2643
1232.77/1236.33 c [6.59] solve iteration 15, LB=2242, UB=2643
1232.77/1236.33 c [10.73] solve iteration 16, LB=2242, UB=2643
1232.77/1236.33 c [11.11] solve iteration 17, LB=2242, UB=2643
1232.77/1236.33 c [11.58] solve iteration 18, LB=2242, UB=2643
1232.77/1236.33 c [12.01] solve iteration 19, LB=2242, UB=2643
1232.77/1236.33 c [12.51] solve iteration 20, LB=2242, UB=2643
1232.77/1236.33 c [21.75] solve iteration 21, LB=2242, UB=2643
1232.77/1236.33 c [22.44] solve iteration 22, LB=2242, UB=2643
1232.77/1236.33 c [23.28] solve iteration 23, LB=2242, UB=2643
1232.77/1236.33 c [24.04] solve iteration 24, LB=2242, UB=2643
1232.77/1236.33 c [24.95] solve iteration 25, LB=2242, UB=2643
1232.77/1236.33 c [43.07] solve iteration 26, LB=2242, UB=2643
1232.77/1236.33 c [44.12] solve iteration 27, LB=2242, UB=2643
1232.77/1236.33 c [45.38] solve iteration 28, LB=2242, UB=2643
1232.77/1236.33 c [46.72] solve iteration 29, LB=2242, UB=2643
1232.77/1236.33 c [47.95] solve iteration 30, LB=2242, UB=2643
1232.77/1236.33 c [73.23] solve iteration 31, LB=2242, UB=2643
1232.77/1236.33 c [74.62] solve iteration 32, LB=2242, UB=2643
1232.77/1236.33 c [75.99] solve iteration 33, LB=2242, UB=2643
1232.77/1236.33 c [77.72] solve iteration 34, LB=2242, UB=2643
1232.77/1236.33 c [79.15] solve iteration 35, LB=2242, UB=2643
1232.77/1236.33 c [107.46] solve iteration 36, LB=2242, UB=2643
1232.77/1236.33 c [109.11] solve iteration 37, LB=2242, UB=2643
1232.77/1236.33 c [110.83] solve iteration 38, LB=2242, UB=2643
1232.77/1236.33 c [112.82] solve iteration 39, LB=2242, UB=2643
1232.77/1236.33 c [114.88] solve iteration 40, LB=2242, UB=2643
1232.77/1236.33 c [157.24] solve iteration 41, LB=2242, UB=2643
1232.77/1236.33 c [159.33] solve iteration 42, LB=2242, UB=2643
1232.77/1236.33 c [161.51] solve iteration 43, LB=2242, UB=2643
1232.77/1236.33 c [163.64] solve iteration 44, LB=2242, UB=2643
1232.77/1236.33 c [166.28] solve iteration 45, LB=2242, UB=2643
1232.77/1236.33 c [222.24] solve iteration 46, LB=2242, UB=2643
1232.77/1236.33 c [224.85] solve iteration 47, LB=2242, UB=2643
1232.77/1236.33 c [227.51] solve iteration 48, LB=2242, UB=2643
1232.77/1236.33 c [230.44] solve iteration 49, LB=2242, UB=2643
1232.77/1236.33 c [233.58] solve iteration 50, LB=2242, UB=2643
1232.77/1236.33 c [298.61] solve iteration 51, LB=2242, UB=2643
1232.77/1236.33 c [301.17] solve iteration 52, LB=2242, UB=2643
1232.77/1236.33 c [303.88] solve iteration 53, LB=2242, UB=2643
1232.77/1236.33 c [307.19] solve iteration 54, LB=2242, UB=2643
1232.77/1236.33 c [310.08] solve iteration 55, LB=2242, UB=2643
1232.77/1236.33 c [381.69] solve iteration 56, LB=2242, UB=2643
1232.77/1236.33 c [385.05] solve iteration 57, LB=2242, UB=2643
1232.77/1236.33 c [388.97] solve iteration 58, LB=2242, UB=2643
1232.77/1236.33 c [392.69] solve iteration 59, LB=2242, UB=2643
1232.77/1236.33 c [396.07] solve iteration 60, LB=2242, UB=2643
1232.77/1236.33 c [469.69] solve iteration 61, LB=2242, UB=2642
1232.77/1236.33 c [474.57] solve iteration 62, LB=2242, UB=2642
1232.77/1236.33 c [478.93] solve iteration 63, LB=2242, UB=2642
1232.77/1236.33 c [483.13] solve iteration 64, LB=2242, UB=2642
1232.77/1236.33 c [486.8] solve iteration 65, LB=2242, UB=2642
1232.77/1236.33 c [597.01] solve iteration 66, LB=2242, UB=2642
1232.77/1236.33 c [601.91] solve iteration 67, LB=2242, UB=2642
1232.77/1236.33 c [606.25] solve iteration 68, LB=2242, UB=2642
1232.77/1236.33 c [610.82] solve iteration 69, LB=2242, UB=2642
1232.77/1236.33 c [615.49] solve iteration 70, LB=2242, UB=2642
1232.77/1236.33 c [752.24] solve iteration 71, LB=2242, UB=2642
1232.77/1236.33 c [757.81] solve iteration 72, LB=2242, UB=2642
1232.77/1236.33 c [763.11] solve iteration 73, LB=2242, UB=2642
1232.77/1236.33 c [769.67] solve iteration 74, LB=2242, UB=2642
1232.77/1236.33 c [776.48] solve iteration 75, LB=2242, UB=2642
1232.77/1236.33 c [892.86] solve iteration 76, LB=2242, UB=2642
1232.77/1236.33 c [897.56] solve iteration 77, LB=2242, UB=2642
1232.77/1236.33 c [903.76] solve iteration 78, LB=2242, UB=2642
1232.77/1236.33 c [909.71] solve iteration 79, LB=2242, UB=2642
1232.77/1236.33 c [914.46] solve iteration 80, LB=2242, UB=2642
1232.77/1236.33 c [1034.66] solve iteration 81, LB=2242, UB=2642
1232.77/1236.33 c [1039.47] solve iteration 82, LB=2242, UB=2642
1232.77/1236.33 c [1047.13] solve iteration 83, LB=2242, UB=2642
1232.77/1236.33 c [1052.9] solve iteration 84, LB=2242, UB=2642
1232.77/1236.33 c [1059.07] solve iteration 85, LB=2242, UB=2642
1232.77/1236.33 c [1216.05] solve iteration 86, LB=2242, UB=2642
1232.77/1236.33 c [1221.77] solve iteraHOME/run-glibc-2.34.sh: line 2: 847481 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 (62108 MiB free)
memory of node 1: 64473 MiB (62579 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431097-1721054342/watcher-4431097-1721054342 -o /tmp/evaluation-result-4431097-1721054342/solver-4431097-1721054342 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721050746-845369 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4431097-1721054342.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=847479, runsolver pid=847476
Current StackSize limit: 8192 KiB
[startup+0.10091 s]*
/proc/loadavg: 4.17 4.30 4.17 5/263 847482
/proc/meminfo: memFree=127663924/131524600 swapFree=131071996/131071996
[pid=847479] ppid=847476 vsize=9928 memory=2732 CPUtime=0 cores=0,2
/proc/847479/stat : 847479 (run-glibc-2.34.) S 847476 847479 812359 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 157602327 10166272 683 134679101440 94106614812672 94106615891992 140736069164640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94106617990448 94106618037636 94106641580032 140736069170111 140736069170268 140736069170268 140736069177283 0
/proc/847479/statm: 2482 683 602 264 0 133 0
[pid=847481] ppid=847479 vsize=147604 memory=31404 CPUtime=0.09 cores=0,2
/proc/847481/stat : 847481 (ld-linux-x86-64) R 847479 847479 812359 0 -1 4194304 3781 0 0 0 8 1 0 0 20 0 2 0 157602327 151146496 7851 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
/proc/847481/statm: 36901 7851 3834 46 0 9496 0
[pid=847481/tid=847482] ppid=847479 vsize=147604 memory=4026561614 CPUtime=0 cores=0,2
/proc/847481/task/847482/stat : 847482 (ld-linux-x86-64) S 847479 847479 812359 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 157602328 151146496 7851 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 1 0 0 -1 0 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 157532 KiB
Current children cumulated memory: 34136 KiB
[startup+0.205896 s]*
/proc/loadavg: 4.17 4.30 4.17 5/263 847482
/proc/meminfo: memFree=127658604/131524600 swapFree=131071996/131071996
[pid=847479] ppid=847476 vsize=9928 memory=2732 CPUtime=0 cores=0,2
/proc/847479/stat : 847479 (run-glibc-2.34.) S 847476 847479 812359 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 157602327 10166272 683 134679101440 94106614812672 94106615891992 140736069164640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94106617990448 94106618037636 94106641580032 140736069170111 140736069170268 140736069170268 140736069177283 0
/proc/847479/statm: 2482 683 602 264 0 133 0
[pid=847481] ppid=847479 vsize=155612 memory=35176 CPUtime=0.19 cores=0,2
/proc/847481/stat : 847481 (ld-linux-x86-64) R 847479 847479 812359 0 -1 4194304 4861 0 0 0 16 3 0 0 20 0 2 0 157602327 159346688 8794 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
/proc/847481/statm: 38903 8794 3834 46 0 11498 0
[pid=847481/tid=847482] ppid=847479 vsize=155612 memory=3471202400344241230 CPUtime=0 cores=0,2
/proc/847481/task/847482/stat : 847482 (ld-linux-x86-64) S 847479 847479 812359 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 157602328 159346688 8794 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 1 0 0 -1 0 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 165540 KiB
Current children cumulated memory: 37908 KiB
[startup+0.305621 s]*
/proc/loadavg: 4.17 4.30 4.17 5/263 847482
/proc/meminfo: memFree=127655744/131524600 swapFree=131071996/131071996
[pid=847479] ppid=847476 vsize=9928 memory=2732 CPUtime=0 cores=0,2
/proc/847479/stat : 847479 (run-glibc-2.34.) S 847476 847479 812359 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 157602327 10166272 683 134679101440 94106614812672 94106615891992 140736069164640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94106617990448 94106618037636 94106641580032 140736069170111 140736069170268 140736069170268 140736069177283 0
/proc/847479/statm: 2482 683 602 264 0 133 0
[pid=847481] ppid=847479 vsize=155612 memory=35700 CPUtime=0.29 cores=0,2
/proc/847481/stat : 847481 (ld-linux-x86-64) R 847479 847479 812359 0 -1 4194304 4974 0 0 0 23 6 0 0 20 0 2 0 157602327 159346688 8925 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
/proc/847481/statm: 38903 8925 3834 46 0 11498 0
[pid=847481/tid=847482] ppid=847479 vsize=155612 memory=-8897073917056869475 CPUtime=0 cores=0,2
/proc/847481/task/847482/stat : 847482 (ld-linux-x86-64) R 847479 847479 812359 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 157602328 159346688 8925 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 165540 KiB
Current children cumulated memory: 38432 KiB
[startup+0.700214 s]
/proc/loadavg: 4.17 4.30 4.17 5/263 847482
/proc/meminfo: memFree=127649524/131524600 swapFree=131071996/131071996
[pid=847479] ppid=847476 vsize=9928 memory=2732 CPUtime=0 cores=0,2
/proc/847479/stat : 847479 (run-glibc-2.34.) S 847476 847479 812359 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 157602327 10166272 683 134679101440 94106614812672 94106615891992 140736069164640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94106617990448 94106618037636 94106641580032 140736069170111 140736069170268 140736069170268 140736069177283 0
/proc/847479/statm: 2482 683 602 264 0 133 0
[pid=847481] ppid=847479 vsize=155612 memory=38272 CPUtime=0.68 cores=0,2
/proc/847481/stat : 847481 (ld-linux-x86-64) R 847479 847479 812359 0 -1 4194304 5094 0 0 0 55 13 0 0 20 0 2 0 157602327 159346688 9568 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
/proc/847481/statm: 38903 9568 3834 46 0 11498 0
[pid=847481/tid=847482] ppid=847479 vsize=155612 memory=1900 CPUtime=0 cores=0,2
/proc/847481/task/847482/stat : 847482 (ld-linux-x86-64) S 847479 847479 812359 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 157602328 159346688 9568 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 165540 KiB
Current children cumulated memory: 41004 KiB
[startup+1.50026 s]
/proc/loadavg: 4.17 4.30 4.17 5/263 847482
/proc/meminfo: memFree=127645464/131524600 swapFree=131071996/131071996
[pid=847479] ppid=847476 vsize=9928 memory=2732 CPUtime=0 cores=0,2
/proc/847479/stat : 847479 (run-glibc-2.34.) S 847476 847479 812359 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 157602327 10166272 683 134679101440 94106614812672 94106615891992 140736069164640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94106617990448 94106618037636 94106641580032 140736069170111 140736069170268 140736069170268 140736069177283 0
/proc/847479/statm: 2482 683 602 264 0 133 0
[pid=847481] ppid=847479 vsize=155612 memory=40336 CPUtime=1.47 cores=0,2
/proc/847481/stat : 847481 (ld-linux-x86-64) R 847479 847479 812359 0 -1 4194304 7066 0 0 0 123 24 0 0 20 0 2 0 157602327 159346688 10084 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
/proc/847481/statm: 38903 10084 3834 46 0 11498 0
[pid=847481/tid=847482] ppid=847479 vsize=155612 memory=11396 CPUtime=0 cores=0,2
/proc/847481/task/847482/stat : 847482 (ld-linux-x86-64) S 847479 847479 812359 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 157602328 159346688 10084 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 165540 KiB
Current children cumulated memory: 43068 KiB
[startup+3.10533 s]
/proc/loadavg: 4.16 4.29 4.17 5/263 847482
/proc/meminfo: memFree=127582412/131524600 swapFree=131071996/131071996
[pid=847479] ppid=847476 vsize=9928 memory=2732 CPUtime=0 cores=0,2
/proc/847479/stat : 847479 (run-glibc-2.34.) S 847476 847479 812359 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 157602327 10166272 683 134679101440 94106614812672 94106615891992 140736069164640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94106617990448 94106618037636 94106641580032 140736069170111 140736069170268 140736069170268 140736069177283 0
/proc/847479/statm: 2482 683 602 264 0 133 0
[pid=847481] ppid=847479 vsize=201540 memory=76128 CPUtime=3.07 cores=0,2
/proc/847481/stat : 847481 (ld-linux-x86-64) R 847479 847479 812359 0 -1 4194304 17608 0 0 0 268 39 0 0 20 0 2 0 157602327 206376960 19032 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
/proc/847481/statm: 50385 19032 3834 46 0 22980 0
[pid=847481/tid=847482] ppid=847479 vsize=201540 memory=2732 CPUtime=0 cores=0,2
/proc/847481/task/847482/stat : 847482 (ld-linux-x86-64) S 847479 847479 812359 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 2 0 157602328 206376960 19032 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 211468 KiB
Current children cumulated memory: 78860 KiB
[startup+6.30025 s]
/proc/loadavg: 4.16 4.29 4.17 5/263 847578
/proc/meminfo: memFree=127564820/131524600 swapFree=131071996/131071996
[pid=847479] ppid=847476 vsize=9928 memory=2732 CPUtime=0 cores=0,2
/proc/847479/stat : 847479 (run-glibc-2.34.) S 847476 847479 812359 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 157602327 10166272 683 134679101440 94106614812672 94106615891992 140736069164640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94106617990448 94106618037636 94106641580032 140736069170111 140736069170268 140736069170268 140736069177283 0
/proc/847479/statm: 2482 683 602 264 0 133 0
[pid=847481] ppid=847479 vsize=204252 memory=77584 CPUtime=6.25 cores=0,2
/proc/847481/stat : 847481 (ld-linux-x86-64) R 847479 847479 812359 0 -1 4194304 26585 0 0 0 568 57 0 0 20 0 2 0 157602327 209154048 19396 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
/proc/847481/statm: 51063 19396 3834 46 0 23658 0
[pid=847481/tid=847482] ppid=847479 vsize=204252 memory=2732 CPUtime=0 cores=0,2
/proc/847481/task/847482/stat : 847482 (ld-linux-x86-64) S 847479 847479 812359 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 2 0 157602328 209154048 19396 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 214180 KiB
Current children cumulated memory: 80316 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.28 4.17 5/264 847580
/proc/meminfo: memFree=127455712/131524600 swapFree=131071996/131071996
[pid=847479] ppid=847476 vsize=9928 memory=2732 CPUtime=0 cores=0,2
/proc/847479/stat : 847479 (run-glibc-2.34.) S 847476 847479 812359 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 157602327 10166272 683 134679101440 94106614812672 94106615891992 140736069164640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94106617990448 94106618037636 94106641580032 140736069170111 140736069170268 140736069170268 140736069177283 0
/proc/847479/statm: 2482 683 602 264 0 133 0
[pid=847481] ppid=847479 vsize=230908 memory=93156 CPUtime=12.62 cores=0,2
/proc/847481/stat : 847481 (ld-linux-x86-64) R 847479 847479 812359 0 -1 4194304 50886 0 0 0 1172 90 0 0 20 0 2 0 157602327 236449792 23289 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
/proc/847481/statm: 57727 23289 3834 46 0 30322 0
[pid=847481/tid=847482] ppid=847479 vsize=230908 memory=101892 CPUtime=0 cores=0,2
/proc/847481/task/847482/stat : 847482 (ld-linux-x86-64) S 847479 847479 812359 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 2 0 157602328 236449792 23289 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 240836 KiB
Current children cumulated memory: 95888 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.27 4.17 5/264 847582
/proc/meminfo: memFree=127368384/131524600 swapFree=131071996/131071996
[pid=847479] ppid=847476 vsize=9928 memory=2732 CPUtime=0 cores=0,2
/proc/847479/stat : 847479 (run-glibc-2.34.) S 847476 847479 812359 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 157602327 10166272 683 134679101440 94106614812672 94106615891992 140736069164640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94106617990448 94106618037636 94106641580032 140736069170111 140736069170268 140736069170268 140736069177283 0
/proc/847479/statm: 2482 683 602 264 0 133 0
[pid=847481] ppid=847479 vsize=269224 memory=129352 CPUtime=25.37 cores=0,2
/proc/847481/stat : 847481 (ld-linux-x86-64) R 847479 847479 812359 0 -1 4194304 95405 0 0 0 2407 130 0 0 20 0 2 0 157602327 275685376 32338 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
/proc/847481/statm: 67306 32338 3834 46 0 39901 0
[pid=847481/tid=847482] ppid=847479 vsize=269224 memory=2732 CPUtime=0.01 cores=0,2
/proc/847481/task/847482/stat : 847482 (ld-linux-x86-64) S 847479 847479 812359 0 -1 1077936192 26 0 0 0 0 1 0 0 20 0 2 0 157602328 275685376 32338 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 279152 KiB
Current children cumulated memory: 132084 KiB
[startup+51.1056 s]
/proc/loadavg: 4.06 4.25 4.16 5/264 847730
/proc/meminfo: memFree=127741952/131524600 swapFree=131071996/131071996
[pid=847479] ppid=847476 vsize=9928 memory=2732 CPUtime=0 cores=0,2
/proc/847479/stat : 847479 (run-glibc-2.34.) S 847476 847479 812359 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 157602327 10166272 683 134679101440 94106614812672 94106615891992 140736069164640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94106617990448 94106618037636 94106641580032 140736069170111 140736069170268 140736069170268 140736069177283 0
/proc/847479/statm: 2482 683 602 264 0 133 0
[pid=847481] ppid=847479 vsize=344480 memory=199616 CPUtime=50.91 cores=0,2
/proc/847481/stat : 847481 (ld-linux-x86-64) R 847479 847479 812359 0 -1 4194304 175190 0 0 0 4907 184 0 0 20 0 2 0 157602327 352747520 49904 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
/proc/847481/statm: 86120 49904 3834 46 0 58715 0
[pid=847481/tid=847482] ppid=847479 vsize=344480 memory=175844 CPUtime=0.04 cores=0,2
/proc/847481/task/847482/stat : 847482 (ld-linux-x86-64) S 847479 847479 812359 0 -1 1077936192 39 0 0 0 1 3 0 0 20 0 2 0 157602328 352747520 49904 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 354408 KiB
Current children cumulated memory: 202348 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.22 4.16 5/265 848126
/proc/meminfo: memFree=127320288/131524600 swapFree=131071996/131071996
[pid=847479] ppid=847476 vsize=9928 memory=2732 CPUtime=0 cores=0,2
/proc/847479/stat : 847479 (run-glibc-2.34.) S 847476 847479 812359 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 157602327 10166272 683 134679101440 94106614812672 94106615891992 140736069164640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94106617990448 94106618037636 94106641580032 140736069170111 140736069170268 140736069170268 140736069177283 0
/proc/847479/statm: 2482 683 602 264 0 133 0
[pid=847481] ppid=847479 vsize=381012 memory=257472 CPUtime=101.93 cores=0,2
/proc/847481/stat : 847481 (ld-linux-x86-64) R 847479 847479 812359 0 -1 4194304 236814 0 0 0 9933 260 0 0 20 0 2 0 157602327 390156288 64368 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
/proc/847481/statm: 95253 64368 3834 46 0 67848 0
[pid=847481/tid=847482] ppid=847479 vsize=381012 memory=2732 CPUtime=0.09 cores=0,2
/proc/847481/task/847482/stat : 847482 (ld-linux-x86-64) S 847479 847479 812359 0 -1 1077936192 49 0 0 0 3 6 0 0 20 0 2 0 157602328 390156288 64368 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 390940 KiB
Current children cumulated memory: 260204 KiB
[startup+162.3 s]
################
# More data... #
################
/proc/847481/statm: 213742 185281 3850 46 0 186337 0
[pid=847481/tid=847482] ppid=847479 vsize=854968 memory=741124 CPUtime=3.49 cores=0,2
/proc/847481/task/847482/stat : 847482 (ld-linux-x86-64) S 847479 847479 812359 0 -1 1077936192 201 0 0 0 126 223 0 0 20 0 2 0 157602328 875487232 185281 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
Current children cumulated CPU time: 3094.15 s
Current children cumulated vsize: 864896 KiB
Current children cumulated memory: 743856 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.14 4.13 5/267 849873
/proc/meminfo: memFree=124820992/131524600 swapFree=131071996/131071996
[pid=847479] ppid=847476 vsize=9928 memory=2732 CPUtime=0 cores=0,2
/proc/847479/stat : 847479 (run-glibc-2.34.) S 847476 847479 812359 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 157602327 10166272 683 134679101440 94106614812672 94106615891992 140736069164640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94106617990448 94106618037636 94106641580032 140736069170111 140736069170268 140736069170268 140736069177283 0
/proc/847479/statm: 2482 683 602 264 0 133 0
[pid=847481] ppid=847479 vsize=854968 memory=741124 CPUtime=3154.02 cores=0,2
/proc/847481/stat : 847481 (ld-linux-x86-64) R 847479 847479 812359 0 -1 4194304 1669844 0 0 0 313281 2121 0 0 20 0 2 0 157602327 875487232 185281 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
/proc/847481/statm: 213742 185281 3850 46 0 186337 0
[pid=847481/tid=847482] ppid=847479 vsize=854968 memory=2732 CPUtime=3.56 cores=0,2
/proc/847481/task/847482/stat : 847482 (ld-linux-x86-64) S 847479 847479 812359 0 -1 1077936192 204 0 0 0 129 227 0 0 20 0 2 0 157602328 875487232 185281 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
Current children cumulated CPU time: 3154.02 s
Current children cumulated vsize: 864896 KiB
Current children cumulated memory: 743856 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.15 4.13 5/267 849883
/proc/meminfo: memFree=124600104/131524600 swapFree=131071996/131071996
[pid=847479] ppid=847476 vsize=9928 memory=2732 CPUtime=0 cores=0,2
/proc/847479/stat : 847479 (run-glibc-2.34.) S 847476 847479 812359 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 157602327 10166272 683 134679101440 94106614812672 94106615891992 140736069164640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94106617990448 94106618037636 94106641580032 140736069170111 140736069170268 140736069170268 140736069177283 0
/proc/847479/statm: 2482 683 602 264 0 133 0
[pid=847481] ppid=847479 vsize=1004416 memory=808924 CPUtime=3213.86 cores=0,2
/proc/847481/stat : 847481 (ld-linux-x86-64) R 847479 847479 812359 0 -1 4194304 1712268 0 0 0 319210 2176 0 0 20 0 2 0 157602327 1028521984 202231 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
/proc/847481/statm: 251104 202231 3850 46 0 223699 0
[pid=847481/tid=847482] ppid=847479 vsize=1004416 memory=2732 CPUtime=3.63 cores=0,2
/proc/847481/task/847482/stat : 847482 (ld-linux-x86-64) S 847479 847479 812359 0 -1 1077936192 207 0 0 0 131 232 0 0 20 0 2 0 157602328 1028521984 202231 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
Current children cumulated CPU time: 3213.86 s
Current children cumulated vsize: 1014344 KiB
Current children cumulated memory: 811656 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/266 849894
/proc/meminfo: memFree=124622336/131524600 swapFree=131071996/131071996
[pid=847479] ppid=847476 vsize=9928 memory=2732 CPUtime=0 cores=0,2
/proc/847479/stat : 847479 (run-glibc-2.34.) S 847476 847479 812359 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 157602327 10166272 683 134679101440 94106614812672 94106615891992 140736069164640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94106617990448 94106618037636 94106641580032 140736069170111 140736069170268 140736069170268 140736069177283 0
/proc/847479/statm: 2482 683 602 264 0 133 0
[pid=847481] ppid=847479 vsize=874576 memory=761004 CPUtime=3273.72 cores=0,2
/proc/847481/stat : 847481 (ld-linux-x86-64) R 847479 847479 812359 0 -1 4194304 1724557 0 0 0 325158 2214 0 0 20 0 2 0 157602327 895565824 190251 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
/proc/847481/statm: 218644 190251 3850 46 0 191239 0
[pid=847481/tid=847482] ppid=847479 vsize=874576 memory=2732 CPUtime=3.7 cores=0,2
/proc/847481/task/847482/stat : 847482 (ld-linux-x86-64) S 847479 847479 812359 0 -1 1077936192 210 0 0 0 134 236 0 0 20 0 2 0 157602328 895565824 190251 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
Current children cumulated CPU time: 3273.72 s
Current children cumulated vsize: 884504 KiB
Current children cumulated memory: 763736 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.14 4.12 5/266 849905
/proc/meminfo: memFree=124593556/131524600 swapFree=131071996/131071996
[pid=847479] ppid=847476 vsize=9928 memory=2732 CPUtime=0 cores=0,2
/proc/847479/stat : 847479 (run-glibc-2.34.) S 847476 847479 812359 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 157602327 10166272 683 134679101440 94106614812672 94106615891992 140736069164640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94106617990448 94106618037636 94106641580032 140736069170111 140736069170268 140736069170268 140736069177283 0
/proc/847479/statm: 2482 683 602 264 0 133 0
[pid=847481] ppid=847479 vsize=874576 memory=761004 CPUtime=3333.59 cores=0,2
/proc/847481/stat : 847481 (ld-linux-x86-64) R 847479 847479 812359 0 -1 4194304 1725083 0 0 0 331123 2236 0 0 20 0 2 0 157602327 895565824 190251 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
/proc/847481/statm: 218644 190251 3850 46 0 191239 0
[pid=847481/tid=847482] ppid=847479 vsize=874576 memory=2732 CPUtime=3.77 cores=0,2
/proc/847481/task/847482/stat : 847482 (ld-linux-x86-64) S 847479 847479 812359 0 -1 1077936192 213 0 0 0 137 240 0 0 20 0 2 0 157602328 895565824 190251 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
Current children cumulated CPU time: 3333.59 s
Current children cumulated vsize: 884504 KiB
Current children cumulated memory: 763736 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/264 849916
/proc/meminfo: memFree=124573828/131524600 swapFree=131071996/131071996
[pid=847479] ppid=847476 vsize=9928 memory=2732 CPUtime=0 cores=0,2
/proc/847479/stat : 847479 (run-glibc-2.34.) S 847476 847479 812359 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 157602327 10166272 683 134679101440 94106614812672 94106615891992 140736069164640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94106617990448 94106618037636 94106641580032 140736069170111 140736069170268 140736069170268 140736069177283 0
/proc/847479/statm: 2482 683 602 264 0 133 0
[pid=847481] ppid=847479 vsize=874576 memory=761004 CPUtime=3393.46 cores=0,2
/proc/847481/stat : 847481 (ld-linux-x86-64) R 847479 847479 812359 0 -1 4194304 1725612 0 0 0 337092 2254 0 0 20 0 2 0 157602327 895565824 190251 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
/proc/847481/statm: 218644 190251 3850 46 0 191239 0
[pid=847481/tid=847482] ppid=847479 vsize=874576 memory=2732 CPUtime=3.84 cores=0,2
/proc/847481/task/847482/stat : 847482 (ld-linux-x86-64) S 847479 847479 812359 0 -1 1077936192 216 0 0 0 139 245 0 0 20 0 2 0 157602328 895565824 190251 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
Current children cumulated CPU time: 3393.46 s
Current children cumulated vsize: 884504 KiB
Current children cumulated memory: 763736 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/264 849927
/proc/meminfo: memFree=124600576/131524600 swapFree=131071996/131071996
[pid=847479] ppid=847476 vsize=9928 memory=2732 CPUtime=0 cores=0,2
/proc/847479/stat : 847479 (run-glibc-2.34.) S 847476 847479 812359 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 157602327 10166272 683 134679101440 94106614812672 94106615891992 140736069164640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94106617990448 94106618037636 94106641580032 140736069170111 140736069170268 140736069170268 140736069177283 0
/proc/847479/statm: 2482 683 602 264 0 133 0
[pid=847481] ppid=847479 vsize=874576 memory=761004 CPUtime=3453.33 cores=0,2
/proc/847481/stat : 847481 (ld-linux-x86-64) R 847479 847479 812359 0 -1 4194304 1726139 0 0 0 343061 2272 0 0 20 0 2 0 157602327 895565824 190251 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
/proc/847481/statm: 218644 190251 3850 46 0 191239 0
[pid=847481/tid=847482] ppid=847479 vsize=874576 memory=2732 CPUtime=3.91 cores=0,2
/proc/847481/task/847482/stat : 847482 (ld-linux-x86-64) S 847479 847479 812359 0 -1 1077936192 219 0 0 0 142 249 0 0 20 0 2 0 157602328 895565824 190251 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
Current children cumulated CPU time: 3453.33 s
Current children cumulated vsize: 884504 KiB
Current children cumulated memory: 763736 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.14 4.11 5/264 849939
/proc/meminfo: memFree=124483808/131524600 swapFree=131071996/131071996
[pid=847479] ppid=847476 vsize=9928 memory=2732 CPUtime=0 cores=0,2
/proc/847479/stat : 847479 (run-glibc-2.34.) S 847476 847479 812359 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 157602327 10166272 683 134679101440 94106614812672 94106615891992 140736069164640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94106617990448 94106618037636 94106641580032 140736069170111 140736069170268 140736069170268 140736069177283 0
/proc/847479/statm: 2482 683 602 264 0 133 0
[pid=847481] ppid=847479 vsize=935544 memory=821972 CPUtime=3513.18 cores=0,2
/proc/847481/stat : 847481 (ld-linux-x86-64) R 847479 847479 812359 0 -1 4194304 1730204 0 0 0 349026 2292 0 0 20 0 2 0 157602327 957997056 205493 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
/proc/847481/statm: 233886 205493 3850 46 0 206481 0
[pid=847481/tid=847482] ppid=847479 vsize=935544 memory=11396 CPUtime=3.98 cores=0,2
/proc/847481/task/847482/stat : 847482 (ld-linux-x86-64) S 847479 847479 812359 0 -1 1077936192 222 0 0 0 144 254 0 0 20 0 2 0 157602328 957997056 205493 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
Current children cumulated CPU time: 3513.18 s
Current children cumulated vsize: 945472 KiB
Current children cumulated memory: 824704 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/264 849949
/proc/meminfo: memFree=124494528/131524600 swapFree=131071996/131071996
[pid=847479] ppid=847476 vsize=9928 memory=2732 CPUtime=0 cores=0,2
/proc/847479/stat : 847479 (run-glibc-2.34.) S 847476 847479 812359 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 157602327 10166272 683 134679101440 94106614812672 94106615891992 140736069164640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94106617990448 94106618037636 94106641580032 140736069170111 140736069170268 140736069170268 140736069177283 0
/proc/847479/statm: 2482 683 602 264 0 133 0
[pid=847481] ppid=847479 vsize=891052 memory=777480 CPUtime=3573 cores=0,2
/proc/847481/stat : 847481 (ld-linux-x86-64) R 847479 847479 812359 0 -1 4194304 1787870 0 0 0 354945 2355 0 0 20 0 2 0 157602327 912437248 194370 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
/proc/847481/statm: 222763 194370 3850 46 0 195358 0
[pid=847481/tid=847482] ppid=847479 vsize=891052 memory=2212 CPUtime=4.04 cores=0,2
/proc/847481/task/847482/stat : 847482 (ld-linux-x86-64) S 847479 847479 812359 0 -1 1077936192 225 0 0 0 146 258 0 0 20 0 2 0 157602328 912437248 194370 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
Current children cumulated CPU time: 3573 s
Current children cumulated vsize: 900980 KiB
Current children cumulated memory: 780212 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.14 4.13 4.11 5/264 850002
/proc/meminfo: memFree=125595672/131524600 swapFree=131071996/131071996
[pid=847479] ppid=847476 vsize=9928 memory=2732 CPUtime=0 cores=0,2
/proc/847479/stat : 847479 (run-glibc-2.34.) S 847476 847479 812359 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 157602327 10166272 683 134679101440 94106614812672 94106615891992 140736069164640 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94106617990448 94106618037636 94106641580032 140736069170111 140736069170268 140736069170268 140736069177283 0
/proc/847479/statm: 2482 683 602 264 0 133 0
[pid=847481] ppid=847479 vsize=891052 memory=777480 CPUtime=3600.03 cores=0,2
/proc/847481/stat : 847481 (ld-linux-x86-64) R 847479 847479 812359 0 -1 4194304 1787896 0 0 0 357640 2363 0 0 20 0 2 0 157602327 912437248 194370 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
/proc/847481/statm: 222763 194370 3850 46 0 195358 0
[pid=847481/tid=847482] ppid=847479 vsize=891052 memory=4259 CPUtime=4.06 cores=0,2
/proc/847481/task/847482/stat : 847482 (ld-linux-x86-64) S 847479 847479 812359 0 -1 1077936192 225 0 0 0 147 259 0 0 20 0 2 0 157602328 912437248 194370 134679101440 140301474914304 140301475101916 140732805422384 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140301477202816 140301477212264 93824996163584 140732805423959 140732805424123 140732805424123 140732805431218 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 900980 KiB
Current children cumulated memory: 780212 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.41 s]
# the end of solver process 847479 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3576.41 s, system=23.6424 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): 3609.41
CPU time (s): 3600.05
CPU user time (s): 3576.41
CPU system time (s): 23.6424
CPU usage (%): 99.7409
Max. virtual memory (cumulated for all children) (KiB): 1066584
Max. memory (cumulated for all children) (KiB): 951764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.41
system time used= 23.6424
maximum resident set size= 949032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1788113
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= 357565
involuntary context switches= 25182
# summary of solver processes directly reported to runsolver:
# pid: 847479
# total CPU time (s): 3600.05
# total CPU user time (s): 3576.41
# total CPU system time (s): 23.6424
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.51873 second user time and 17.8855 second system time
The end