0.26/0.33 c initialize IPBHS solver
0.26/0.33 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.26/0.33 c optimizer = "gurobi"
0.26/0.33 c pbsolver = "roundingsat"
0.26/0.33 c load symmetries from file ""
0.26/0.33 c set time limit for symmetry computation to 100 seconds.
0.26/0.33 c set interchangeable summation variable limit to 3
0.26/0.33 c find symmetric cores by applying each permutation and add them to optimizer
0.26/0.33 c set abs symmetric core budget per WCE-iteration to 100
0.26/0.33 c set rel symmetric core budget per WCE-iteration to 0
0.26/0.33 c set lit symmetric core budget per WCE-iteration to 0
0.26/0.33 c set sym generation to 's'
0.26/0.33 c set abstraction set creation to 10 iterations without LB change
0.26/0.33 c set abstraction set inputs to 0
0.26/0.33 c set abstraction set cluster min size to 2
0.26/0.33 c set abstraction set cluster max size to 100000000
0.26/0.33 c set abstraction set cluster activation limit to 2
0.26/0.33 c enable abstraction set require equal cost
0.26/0.33 c set abstraction set assumptions to 0
0.26/0.33 c set abstraction set constraint type to 0
0.26/0.33 c set abstract core extraction strategy to b
0.26/0.33 c set core extraction strategy to 2
0.26/0.33 c set core extraction shuffles 10
0.26/0.33 c set cores per iteration to 5
0.26/0.33 c set optimizer bound usage strategy to 2
0.26/0.33 c set optimizer max non-optimal iterations to 1000
0.26/0.33 c set small core cardinality limit to 2
0.26/0.33 c set max coef in cores to 1000000000
0.26/0.33 c set SIS iterations to 5
0.26/0.33 c set SIS budget abs to 1000
0.26/0.33 c set SIS budget rel to 0.05
0.26/0.33 c limit for coefficient in constraints and objective to 9223372036854775807
0.26/0.33 c will solve HOME/instance-4449719-1721399502.opb
894.54/896.70 c [1.43] solve iteration 1, LB=0, UB=21
894.54/896.70 c [6.12] solve iteration 2, LB=0, UB=19
894.54/896.70 c [15.35] solve iteration 3, LB=1, UB=19
894.54/896.70 c [27.57] solve iteration 4, LB=2, UB=19
894.54/896.70 c [46.44] solve iteration 5, LB=2, UB=19
894.54/896.70 c [61.85] solve iteration 6, LB=2, UB=18
894.54/896.70 c [83.37] solve iteration 7, LB=2, UB=18
894.54/896.70 c [123.76] solve iteration 8, LB=2, UB=18
894.54/896.70 c [131.61] solve iteration 9, LB=2, UB=18
894.54/896.70 c [145.99] solve iteration 10, LB=2, UB=18
894.54/896.70 c [160.7] solve iteration 11, LB=2, UB=18
894.54/896.70 c [162.15] solve iteration 12, LB=2, UB=18
894.54/896.70 c [164.63] solve iteration 13, LB=2, UB=18
894.54/896.70 c [166.89] solve iteration 14, LB=5, UB=18
894.54/896.70 c [168.46] solve iteration 15, LB=5, UB=18
894.54/896.70 c [190.54] solve iteration 16, LB=5, UB=18
894.54/896.70 c [194.29] solve iteration 17, LB=5, UB=18
894.54/896.70 c [194.85] solve iteration 18, LB=5, UB=18
894.54/896.70 c [194.92] solve iteration 19, LB=5, UB=18
894.54/896.70 c [195.09] solve iteration 20, LB=5, UB=18
894.54/896.70 c [214.69] solve iteration 21, LB=5, UB=18
894.54/896.70 c [215.89] solve iteration 22, LB=5, UB=18
894.54/896.70 c [216.24] solve iteration 23, LB=5, UB=18
894.54/896.70 c [216.34] solve iteration 24, LB=5, UB=18
894.54/896.70 c [216.4] solve iteration 25, LB=5, UB=18
894.54/896.70 c [238.86] solve iteration 26, LB=5, UB=18
894.54/896.70 c [239.93] solve iteration 27, LB=5, UB=18
894.54/896.70 c [240.2] solve iteration 28, LB=5, UB=18
894.54/896.70 c [241.85] solve iteration 29, LB=5, UB=18
894.54/896.70 c [242.36] solve iteration 30, LB=5, UB=18
894.54/896.70 c [268.52] solve iteration 31, LB=5, UB=18
894.54/896.70 c [268.9] solve iteration 32, LB=5, UB=18
894.54/896.70 c [269.01] solve iteration 33, LB=5, UB=18
894.54/896.70 c [269.09] solve iteration 34, LB=5, UB=18
894.54/896.70 c [269.17] solve iteration 35, LB=5, UB=18
894.54/896.70 c [294.53] solve iteration 36, LB=5, UB=18
894.54/896.70 c [294.9] solve iteration 37, LB=5, UB=18
894.54/896.70 c [294.98] solve iteration 38, LB=5, UB=18
894.54/896.70 c [295.07] solve iteration 39, LB=5, UB=18
894.54/896.70 c [295.14] solve iteration 40, LB=5, UB=18
894.54/896.70 c [321.78] solve iteration 41, LB=5, UB=18
894.54/896.70 c [322.04] solve iteration 42, LB=5, UB=18
894.54/896.70 c [322.11] solve iteration 43, LB=5, UB=18
894.54/896.70 c [322.18] solve iteration 44, LB=5, UB=18
894.54/896.70 c [322.26] solve iteration 45, LB=5, UB=18
894.54/896.70 c [352.21] solve iteration 46, LB=5, UB=18
894.54/896.70 c [352.56] solve iteration 47, LB=5, UB=18
894.54/896.70 c [352.65] solve iteration 48, LB=5, UB=18
894.54/896.70 c [352.72] solve iteration 49, LB=5, UB=18
894.54/896.70 c [352.8] solve iteration 50, LB=5, UB=18
894.54/896.70 c [386.21] solve iteration 51, LB=5, UB=18
894.54/896.70 c [386.77] solve iteration 52, LB=5, UB=18
894.54/896.70 c [386.85] solve iteration 53, LB=5, UB=18
894.54/896.70 c [386.99] solve iteration 54, LB=5, UB=18
894.54/896.70 c [387.1] solve iteration 55, LB=5, UB=18
894.54/896.70 c [421.36] solve iteration 56, LB=5, UB=18
894.54/896.70 c [421.8] solve iteration 57, LB=5, UB=18
894.54/896.70 c [421.93] solve iteration 58, LB=5, UB=18
894.54/896.70 c [422.03] solve iteration 59, LB=5, UB=18
894.54/896.70 c [422.14] solve iteration 60, LB=5, UB=18
894.54/896.70 c [462.46] solve iteration 61, LB=5, UB=18
894.54/896.70 c [462.84] solve iteration 62, LB=5, UB=18
894.54/896.70 c [462.96] solve iteration 63, LB=5, UB=18
894.54/896.70 c [463.15] solve iteration 64, LB=5, UB=18
894.54/896.70 c [463.26] solve iteration 65, LB=5, UB=18
894.54/896.70 c [503.04] solve iteration 66, LB=5, UB=18
894.54/896.70 c [503.31] solve iteration 67, LB=5, UB=18
894.54/896.70 c [503.47] solve iteration 68, LB=5, UB=18
894.54/896.70 c [503.61] solve iteration 69, LB=5, UB=18
894.54/896.70 c [503.72] solve iteration 70, LB=5, UB=18
894.54/896.70 c [548.72] solve iteration 71, LB=5, UB=18
894.54/896.70 c [548.99] solve iteration 72, LB=5, UB=18
894.54/896.70 c [549.65] solve iteration 73, LB=5, UB=18
894.54/896.70 c [549.74] solve iteration 74, LB=5, UB=18
894.54/896.70 c [549.84] solve iteration 75, LB=5, UB=18
894.54/896.70 c [592.13] solve iteration 76, LB=5, UB=18
894.54/896.70 c [592.49] solve iteration 77, LB=5, UB=18
894.54/896.70 c [592.69] solve iteration 78, LB=5, UB=18
894.54/896.70 c [592.85] solve iteration 79, LB=5, UB=18
894.54/896.70 c [592.96] solve iteration 80, LB=5, UB=18
894.54/896.70 c [647.23] solve iteration 81, LB=5, UB=18
894.54/896.70 c [647.63] solve iteration 82, LB=5, UB=18
894.54/896.70 c [647.82] solve iteration 83, LB=5, UB=18
894.54/896.70 c [647.97] solve iteration 84, LB=5, UB=18
894.54/896.70 c [648.15] solve iteration 85, LB=5, UB=18
894.54/896.70 c [708.32] solve iteration 86, LB=5, UB=18
894.54/896.70 c [708.8] solve iteration 87, LB=5, UB=18
894.54/896.70 c [708.96] solve iteration 88, LB=5, UB=18
894.54/896.70 c [709.11] solve iteration 89, LB=5, UB=18
894.54/896.70 c [709.24] solve iteration 90, LB=5, UB=18
894.54/896.70 c [774.86] solve iteration 91, LB=5, UB=18
894.54/896.70 c [775.15] solve iteration 92, LB=5, UB=18
894.54/896.70 c [775.32] solve iteration 93, LB=5, UB=18
894.54/896.70 c [775.47] solve iteration 94, LB=5, UB=18
894.54/896.70 c [775.61] solve iteration 95, LB=5, UB=18
894.54/896.70 c [845.97] solve iteration 96, LB=5, UHOME/run-glibc-2.34.sh: line 2: 1019796 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: 63931 MiB (61267 MiB free)
memory of node 1: 64510 MiB (61614 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449719-1721399502/watcher-4449719-1721399502 -o /tmp/evaluation-result-4449719-1721399502/solver-4449719-1721399502 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721399515-1019729 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4449719-1721399502.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=1019794, runsolver pid=1019791
[startup+0.100084 s]*
/proc/loadavg: 0.50 0.20 0.12 4/266 1019798
/proc/meminfo: memFree=125789932/131524600 swapFree=130799640/131071996
[pid=1019794] ppid=1019791 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/1019794/stat : 1019794 (run-glibc-2.34.) S 1019791 1019794 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192109410 10166272 671 134679101440 94912621826048 94912622905368 140728828506544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94912625003824 94912625051012 94912633765888 140728828515261 140728828515418 140728828515418 140728828522435 0
/proc/1019794/statm: 2482 671 590 264 0 133 0
[pid=1019796] ppid=1019794 vsize=97108 memory=16860 CPUtime=0.05 cores=4,6
/proc/1019796/stat : 1019796 (ld-linux-x86-64) R 1019794 1019794 1019718 0 -1 4194304 3153 0 1 0 5 0 0 0 20 0 1 0 192109410 99438592 4215 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 0 0 0 0 0 17 4 0 0 3 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
/proc/1019796/statm: 24277 4215 1723 46 0 4892 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 107036 KiB
Current children cumulated memory: 19544 KiB
[startup+0.205722 s]*
/proc/loadavg: 0.50 0.20 0.12 4/259 1019806
/proc/meminfo: memFree=125769768/131524600 swapFree=130799640/131071996
[pid=1019794] ppid=1019791 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/1019794/stat : 1019794 (run-glibc-2.34.) S 1019791 1019794 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192109410 10166272 671 134679101440 94912621826048 94912622905368 140728828506544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94912625003824 94912625051012 94912633765888 140728828515261 140728828515418 140728828515418 140728828522435 0
/proc/1019794/statm: 2482 671 590 264 0 133 0
[pid=1019796] ppid=1019794 vsize=147764 memory=38264 CPUtime=0.17 cores=4,6
/proc/1019796/stat : 1019796 (ld-linux-x86-64) R 1019794 1019794 1019718 0 -1 4194304 6227 0 1 0 11 6 0 0 20 0 1 0 192109410 151310336 9566 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 2147221247 0 0 0 0 0 17 4 0 0 3 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
/proc/1019796/statm: 36941 9566 2592 46 0 9537 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 157692 KiB
Current children cumulated memory: 40948 KiB
[startup+0.305598 s]*
/proc/loadavg: 0.50 0.20 0.12 4/260 1019807
/proc/meminfo: memFree=125715096/131524600 swapFree=130799640/131071996
[pid=1019794] ppid=1019791 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/1019794/stat : 1019794 (run-glibc-2.34.) S 1019791 1019794 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192109410 10166272 671 134679101440 94912621826048 94912622905368 140728828506544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94912625003824 94912625051012 94912633765888 140728828515261 140728828515418 140728828515418 140728828522435 0
/proc/1019794/statm: 2482 671 590 264 0 133 0
[pid=1019796] ppid=1019794 vsize=194928 memory=79992 CPUtime=0.26 cores=4,6
/proc/1019796/stat : 1019796 (ld-linux-x86-64) R 1019794 1019794 1019718 0 -1 4194304 15955 0 1 0 19 7 0 0 20 0 2 0 192109410 199606272 19998 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 0 0 0 17 4 0 0 3 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
/proc/1019796/statm: 48732 19998 2758 46 0 21327 0
[pid=1019796/tid=1019807] ppid=1019794 vsize=194928 memory=-7027409196973593960 CPUtime=0 cores=4,6
/proc/1019796/task/1019807/stat : 1019807 (ld-linux-x86-64) R 1019794 1019794 1019718 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192109431 199606272 19998 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 0 0 0 -1 6 0 0 0 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 204856 KiB
Current children cumulated memory: 82676 KiB
[startup+0.700216 s]
/proc/loadavg: 0.50 0.20 0.12 4/261 1019808
/proc/meminfo: memFree=125628452/131524600 swapFree=130799640/131071996
[pid=1019794] ppid=1019791 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/1019794/stat : 1019794 (run-glibc-2.34.) S 1019791 1019794 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192109410 10166272 671 134679101440 94912621826048 94912622905368 140728828506544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94912625003824 94912625051012 94912633765888 140728828515261 140728828515418 140728828515418 140728828522435 0
/proc/1019794/statm: 2482 671 590 264 0 133 0
[pid=1019796] ppid=1019794 vsize=200732 memory=85120 CPUtime=0.64 cores=4,6
/proc/1019796/stat : 1019796 (ld-linux-x86-64) R 1019794 1019794 1019718 0 -1 4194304 17263 0 1 0 57 7 0 0 20 0 2 0 192109410 205549568 21280 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 0 0 0 17 4 0 0 3 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
/proc/1019796/statm: 50183 21280 2758 46 0 22778 0
[pid=1019796/tid=1019807] ppid=1019794 vsize=200732 memory=27784 CPUtime=0 cores=4,6
/proc/1019796/task/1019807/stat : 1019807 (ld-linux-x86-64) S 1019794 1019794 1019718 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192109431 205549568 21280 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 210660 KiB
Current children cumulated memory: 87804 KiB
[startup+1.50021 s]
/proc/loadavg: 0.50 0.20 0.12 5/268 1019848
/proc/meminfo: memFree=125583104/131524600 swapFree=130799640/131071996
[pid=1019794] ppid=1019791 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/1019794/stat : 1019794 (run-glibc-2.34.) S 1019791 1019794 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192109410 10166272 671 134679101440 94912621826048 94912622905368 140728828506544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94912625003824 94912625051012 94912633765888 140728828515261 140728828515418 140728828515418 140728828522435 0
/proc/1019794/statm: 2482 671 590 264 0 133 0
[pid=1019796] ppid=1019794 vsize=200732 memory=85120 CPUtime=1.44 cores=4,6
/proc/1019796/stat : 1019796 (ld-linux-x86-64) R 1019794 1019794 1019718 0 -1 4194304 17294 0 1 0 137 7 0 0 20 0 2 0 192109410 205549568 21280 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 0 0 0 17 4 0 0 3 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
/proc/1019796/statm: 50183 21280 2758 46 0 22778 0
[pid=1019796/tid=1019807] ppid=1019794 vsize=200732 memory=213168423 CPUtime=0 cores=4,6
/proc/1019796/task/1019807/stat : 1019807 (ld-linux-x86-64) S 1019794 1019794 1019718 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192109431 205549568 21280 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 210660 KiB
Current children cumulated memory: 87804 KiB
[startup+3.10537 s]
/proc/loadavg: 0.50 0.20 0.12 5/268 1019848
/proc/meminfo: memFree=125574508/131524600 swapFree=130799640/131071996
[pid=1019794] ppid=1019791 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/1019794/stat : 1019794 (run-glibc-2.34.) S 1019791 1019794 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192109410 10166272 671 134679101440 94912621826048 94912622905368 140728828506544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94912625003824 94912625051012 94912633765888 140728828515261 140728828515418 140728828515418 140728828522435 0
/proc/1019794/statm: 2482 671 590 264 0 133 0
[pid=1019796] ppid=1019794 vsize=205692 memory=92016 CPUtime=3.05 cores=4,6
/proc/1019796/stat : 1019796 (ld-linux-x86-64) R 1019794 1019794 1019718 0 -1 4194304 21564 0 1 0 283 22 0 0 20 0 2 0 192109410 210628608 23004 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 0 0 0 17 4 0 0 3 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
/proc/1019796/statm: 51423 23004 3419 46 0 24018 0
[pid=1019796/tid=1019807] ppid=1019794 vsize=205692 memory=92016 CPUtime=0 cores=4,6
/proc/1019796/task/1019807/stat : 1019807 (ld-linux-x86-64) S 1019794 1019794 1019718 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 192109431 210628608 23004 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 215620 KiB
Current children cumulated memory: 94700 KiB
[startup+6.30018 s]
/proc/loadavg: 0.78 0.26 0.14 5/268 1019848
/proc/meminfo: memFree=125570600/131524600 swapFree=130799640/131071996
[pid=1019794] ppid=1019791 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/1019794/stat : 1019794 (run-glibc-2.34.) S 1019791 1019794 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192109410 10166272 671 134679101440 94912621826048 94912622905368 140728828506544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94912625003824 94912625051012 94912633765888 140728828515261 140728828515418 140728828515418 140728828522435 0
/proc/1019794/statm: 2482 671 590 264 0 133 0
[pid=1019796] ppid=1019794 vsize=205692 memory=93864 CPUtime=6.24 cores=4,6
/proc/1019796/stat : 1019796 (ld-linux-x86-64) R 1019794 1019794 1019718 0 -1 4194304 25116 0 1 0 572 52 0 0 20 0 2 0 192109410 210628608 23466 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 0 0 0 17 4 0 0 3 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
/proc/1019796/statm: 51423 23466 3419 46 0 24018 0
[pid=1019796/tid=1019807] ppid=1019794 vsize=205692 memory=2684 CPUtime=0 cores=4,6
/proc/1019796/task/1019807/stat : 1019807 (ld-linux-x86-64) S 1019794 1019794 1019718 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 2 0 192109431 210628608 23466 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 215620 KiB
Current children cumulated memory: 96548 KiB
[startup+12.7002 s]
/proc/loadavg: 1.04 0.32 0.16 5/268 1019850
/proc/meminfo: memFree=125564176/131524600 swapFree=130799640/131071996
[pid=1019794] ppid=1019791 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/1019794/stat : 1019794 (run-glibc-2.34.) S 1019791 1019794 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192109410 10166272 671 134679101440 94912621826048 94912622905368 140728828506544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94912625003824 94912625051012 94912633765888 140728828515261 140728828515418 140728828515418 140728828522435 0
/proc/1019794/statm: 2482 671 590 264 0 133 0
[pid=1019796] ppid=1019794 vsize=210112 memory=99052 CPUtime=12.61 cores=4,6
/proc/1019796/stat : 1019796 (ld-linux-x86-64) R 1019794 1019794 1019718 0 -1 4194304 36274 0 1 0 1157 104 0 0 20 0 2 0 192109410 215154688 24763 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 0 0 0 17 4 0 0 3 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
/proc/1019796/statm: 52528 24763 3658 46 0 25123 0
[pid=1019796/tid=1019807] ppid=1019794 vsize=210112 memory=2684 CPUtime=0 cores=4,6
/proc/1019796/task/1019807/stat : 1019807 (ld-linux-x86-64) S 1019794 1019794 1019718 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 2 0 192109431 215154688 24763 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 220040 KiB
Current children cumulated memory: 101736 KiB
[startup+25.5002 s]
/proc/loadavg: 1.49 0.45 0.20 5/268 1019851
/proc/meminfo: memFree=125552732/131524600 swapFree=130799640/131071996
[pid=1019794] ppid=1019791 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/1019794/stat : 1019794 (run-glibc-2.34.) S 1019791 1019794 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192109410 10166272 671 134679101440 94912621826048 94912622905368 140728828506544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94912625003824 94912625051012 94912633765888 140728828515261 140728828515418 140728828515418 140728828522435 0
/proc/1019794/statm: 2482 671 590 264 0 133 0
[pid=1019796] ppid=1019794 vsize=217292 memory=100740 CPUtime=25.37 cores=4,6
/proc/1019796/stat : 1019796 (ld-linux-x86-64) R 1019794 1019794 1019718 0 -1 4194304 50457 0 1 0 2352 185 0 0 20 0 2 0 192109410 222507008 25185 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 0 0 0 17 4 0 0 3 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
/proc/1019796/statm: 54323 25185 3833 46 0 26918 0
[pid=1019796/tid=1019807] ppid=1019794 vsize=217292 memory=2684 CPUtime=0 cores=4,6
/proc/1019796/task/1019807/stat : 1019807 (ld-linux-x86-64) S 1019794 1019794 1019718 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 2 0 192109431 222507008 25185 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 227220 KiB
Current children cumulated memory: 103424 KiB
[startup+51.1054 s]
/proc/loadavg: 2.56 0.80 0.33 5/268 1019856
/proc/meminfo: memFree=125531888/131524600 swapFree=130799640/131071996
[pid=1019794] ppid=1019791 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/1019794/stat : 1019794 (run-glibc-2.34.) S 1019791 1019794 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192109410 10166272 671 134679101440 94912621826048 94912622905368 140728828506544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94912625003824 94912625051012 94912633765888 140728828515261 140728828515418 140728828515418 140728828522435 0
/proc/1019794/statm: 2482 671 590 264 0 133 0
[pid=1019796] ppid=1019794 vsize=217292 memory=107044 CPUtime=50.93 cores=4,6
/proc/1019796/stat : 1019796 (ld-linux-x86-64) R 1019794 1019794 1019718 0 -1 4194304 67424 0 1 0 4767 326 0 0 20 0 2 0 192109410 222507008 26761 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 0 0 0 17 4 0 0 3 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
/proc/1019796/statm: 54323 26761 3848 46 0 26918 0
[pid=1019796/tid=1019807] ppid=1019794 vsize=217292 memory=2684 CPUtime=0.01 cores=4,6
/proc/1019796/task/1019807/stat : 1019807 (ld-linux-x86-64) S 1019794 1019794 1019718 0 -1 1077936192 36 0 0 0 0 1 0 0 20 0 2 0 192109431 222507008 26761 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 227220 KiB
Current children cumulated memory: 109728 KiB
[startup+102.3 s]
/proc/loadavg: 3.49 1.33 0.53 5/267 1019866
/proc/meminfo: memFree=125506532/131524600 swapFree=130799640/131071996
[pid=1019794] ppid=1019791 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/1019794/stat : 1019794 (run-glibc-2.34.) S 1019791 1019794 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192109410 10166272 671 134679101440 94912621826048 94912622905368 140728828506544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94912625003824 94912625051012 94912633765888 140728828515261 140728828515418 140728828515418 140728828522435 0
/proc/1019794/statm: 2482 671 590 264 0 133 0
[pid=1019796] ppid=1019794 vsize=245764 memory=119724 CPUtime=102 cores=4,6
/proc/1019796/stat : 1019796 (ld-linux-x86-64) R 1019794 1019794 1019718 0 -1 4194304 98292 0 1 0 9630 570 0 0 20 0 2 0 192109410 251662336 29931 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 0 0 0 17 4 0 0 3 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
/proc/1019796/statm: 61441 29931 3848 46 0 34036 0
[pid=1019796/tid=1019807] ppid=1019794 vsize=245764 memory=7804 CPUtime=0.03 cores=4,6
/proc/1019796/task/1019807/stat : 1019807 (ld-linux-x86-64) S 1019794 1019794 1019718 0 -1 1077936192 51 0 0 0 1 2 0 0 20 0 2 0 192109431 251662336 29931 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 255692 KiB
Current children cumulated memory: 122408 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 1.83 0.76 5/267 1019878
/proc/meminfo: memFree=125479924/131524600 swapFree=130799640/131071996
[pid=1019794] ppid=1019791 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/1019794/stat : 1019794 (run-glibc-2.34.) S 1019791 1019794 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192109410 10166272 671 134679101440 94912621826048 94912622905368 140728828506544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94912625003824 94912625051012 94912633765888 140728828515261 140728828515418 140728828515418 140728828522435 0
################
# More data... #
################
/proc/1019796/statm: 231262 154838 3848 46 0 203857 0
[pid=1019796/tid=1019807] ppid=1019794 vsize=925048 memory=2684 CPUtime=1.87 cores=4,6
/proc/1019796/task/1019807/stat : 1019807 (ld-linux-x86-64) S 1019794 1019794 1019718 0 -1 1077936192 189 0 0 0 76 111 0 0 20 0 2 0 192109431 947249152 154838 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
Current children cumulated CPU time: 3095.99 s
Current children cumulated vsize: 934976 KiB
Current children cumulated memory: 622036 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.01 5/266 1021047
/proc/meminfo: memFree=124257508/131524600 swapFree=130799640/131071996
[pid=1019794] ppid=1019791 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/1019794/stat : 1019794 (run-glibc-2.34.) S 1019791 1019794 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192109410 10166272 671 134679101440 94912621826048 94912622905368 140728828506544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94912625003824 94912625051012 94912633765888 140728828515261 140728828515418 140728828515418 140728828522435 0
/proc/1019794/statm: 2482 671 590 264 0 133 0
[pid=1019796] ppid=1019794 vsize=927488 memory=617828 CPUtime=3155.89 cores=4,6
/proc/1019796/stat : 1019796 (ld-linux-x86-64) R 1019794 1019794 1019718 0 -1 4194304 965268 0 1 0 303917 11672 0 0 20 0 2 0 192109410 949747712 154457 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 0 0 0 17 4 0 0 3 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
/proc/1019796/statm: 231872 154457 3848 46 0 204467 0
[pid=1019796/tid=1019807] ppid=1019794 vsize=927488 memory=2684 CPUtime=1.91 cores=4,6
/proc/1019796/task/1019807/stat : 1019807 (ld-linux-x86-64) S 1019794 1019794 1019718 0 -1 1077936192 192 0 0 0 78 113 0 0 20 0 2 0 192109431 949747712 154457 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
Current children cumulated CPU time: 3155.89 s
Current children cumulated vsize: 937416 KiB
Current children cumulated memory: 620512 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.01 5/267 1021440
/proc/meminfo: memFree=124243320/131524600 swapFree=130799640/131071996
[pid=1019794] ppid=1019791 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/1019794/stat : 1019794 (run-glibc-2.34.) S 1019791 1019794 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192109410 10166272 671 134679101440 94912621826048 94912622905368 140728828506544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94912625003824 94912625051012 94912633765888 140728828515261 140728828515418 140728828515418 140728828522435 0
/proc/1019794/statm: 2482 671 590 264 0 133 0
[pid=1019796] ppid=1019794 vsize=934616 memory=624932 CPUtime=3215.79 cores=4,6
/proc/1019796/stat : 1019796 (ld-linux-x86-64) R 1019794 1019794 1019718 0 -1 4194304 968314 0 1 0 309767 11812 0 0 20 0 2 0 192109410 957046784 156233 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 0 0 0 17 4 0 0 3 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
/proc/1019796/statm: 233654 156233 3848 46 0 206249 0
[pid=1019796/tid=1019807] ppid=1019794 vsize=934616 memory=2684 CPUtime=1.95 cores=4,6
/proc/1019796/task/1019807/stat : 1019807 (ld-linux-x86-64) S 1019794 1019794 1019718 0 -1 1077936192 195 0 0 0 79 116 0 0 20 0 2 0 192109431 957046784 156233 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
Current children cumulated CPU time: 3215.79 s
Current children cumulated vsize: 944544 KiB
Current children cumulated memory: 627616 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.02 5/264 1021450
/proc/meminfo: memFree=124232672/131524600 swapFree=130799640/131071996
[pid=1019794] ppid=1019791 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/1019794/stat : 1019794 (run-glibc-2.34.) S 1019791 1019794 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192109410 10166272 671 134679101440 94912621826048 94912622905368 140728828506544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94912625003824 94912625051012 94912633765888 140728828515261 140728828515418 140728828515418 140728828522435 0
/proc/1019794/statm: 2482 671 590 264 0 133 0
[pid=1019796] ppid=1019794 vsize=934616 memory=624932 CPUtime=3275.69 cores=4,6
/proc/1019796/stat : 1019796 (ld-linux-x86-64) R 1019794 1019794 1019718 0 -1 4194304 968628 0 1 0 315586 11983 0 0 20 0 2 0 192109410 957046784 156233 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 0 0 0 17 4 0 0 3 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
/proc/1019796/statm: 233654 156233 3848 46 0 206249 0
[pid=1019796/tid=1019807] ppid=1019794 vsize=934616 memory=2684 CPUtime=2 cores=4,6
/proc/1019796/task/1019807/stat : 1019807 (ld-linux-x86-64) S 1019794 1019794 1019718 0 -1 1077936192 198 0 0 0 81 119 0 0 20 0 2 0 192109431 957046784 156233 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
Current children cumulated CPU time: 3275.69 s
Current children cumulated vsize: 944544 KiB
Current children cumulated memory: 627616 KiB
[startup+3342.3 s]
/proc/loadavg: 4.32 4.16 4.03 5/264 1021461
/proc/meminfo: memFree=124209548/131524600 swapFree=130799640/131071996
[pid=1019794] ppid=1019791 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/1019794/stat : 1019794 (run-glibc-2.34.) S 1019791 1019794 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192109410 10166272 671 134679101440 94912621826048 94912622905368 140728828506544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94912625003824 94912625051012 94912633765888 140728828515261 140728828515418 140728828515418 140728828522435 0
/proc/1019794/statm: 2482 671 590 264 0 133 0
[pid=1019796] ppid=1019794 vsize=937520 memory=627824 CPUtime=3335.59 cores=4,6
/proc/1019796/stat : 1019796 (ld-linux-x86-64) R 1019794 1019794 1019718 0 -1 4194304 972933 0 1 0 321414 12145 0 0 20 0 2 0 192109410 960020480 156956 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 0 0 0 17 4 0 0 3 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
/proc/1019796/statm: 234380 156956 3848 46 0 206975 0
[pid=1019796/tid=1019807] ppid=1019794 vsize=937520 memory=7804 CPUtime=2.03 cores=4,6
/proc/1019796/task/1019807/stat : 1019807 (ld-linux-x86-64) S 1019794 1019794 1019718 0 -1 1077936192 201 0 0 0 81 122 0 0 20 0 2 0 192109431 960020480 156956 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
Current children cumulated CPU time: 3335.59 s
Current children cumulated vsize: 947448 KiB
Current children cumulated memory: 630508 KiB
[startup+3402.3 s]
/proc/loadavg: 4.30 4.20 4.06 5/266 1021642
/proc/meminfo: memFree=124198960/131524600 swapFree=130799640/131071996
[pid=1019794] ppid=1019791 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/1019794/stat : 1019794 (run-glibc-2.34.) S 1019791 1019794 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192109410 10166272 671 134679101440 94912621826048 94912622905368 140728828506544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94912625003824 94912625051012 94912633765888 140728828515261 140728828515418 140728828515418 140728828522435 0
/proc/1019794/statm: 2482 671 590 264 0 133 0
[pid=1019796] ppid=1019794 vsize=937520 memory=627824 CPUtime=3395.49 cores=4,6
/proc/1019796/stat : 1019796 (ld-linux-x86-64) R 1019794 1019794 1019718 0 -1 4194304 973244 0 1 0 327315 12234 0 0 20 0 2 0 192109410 960020480 156956 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 0 0 0 17 4 0 0 3 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
/proc/1019796/statm: 234380 156956 3848 46 0 206975 0
[pid=1019796/tid=1019807] ppid=1019794 vsize=937520 memory=627824 CPUtime=2.07 cores=4,6
/proc/1019796/task/1019807/stat : 1019807 (ld-linux-x86-64) S 1019794 1019794 1019718 0 -1 1077936192 204 0 0 0 83 124 0 0 20 0 2 0 192109431 960020480 156956 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
Current children cumulated CPU time: 3395.49 s
Current children cumulated vsize: 947448 KiB
Current children cumulated memory: 630508 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.19 4.06 5/266 1021652
/proc/meminfo: memFree=124181472/131524600 swapFree=130799640/131071996
[pid=1019794] ppid=1019791 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/1019794/stat : 1019794 (run-glibc-2.34.) S 1019791 1019794 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192109410 10166272 671 134679101440 94912621826048 94912622905368 140728828506544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94912625003824 94912625051012 94912633765888 140728828515261 140728828515418 140728828515418 140728828522435 0
/proc/1019794/statm: 2482 671 590 264 0 133 0
[pid=1019796] ppid=1019794 vsize=988236 memory=631216 CPUtime=3455.4 cores=4,6
/proc/1019796/stat : 1019796 (ld-linux-x86-64) R 1019794 1019794 1019718 0 -1 4194304 976876 0 1 0 333227 12313 0 0 20 0 2 0 192109410 1011953664 157804 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 0 0 0 17 4 0 0 3 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
/proc/1019796/statm: 247059 157804 3848 46 0 219654 0
[pid=1019796/tid=1019807] ppid=1019794 vsize=988236 memory=631216 CPUtime=2.12 cores=4,6
/proc/1019796/task/1019807/stat : 1019807 (ld-linux-x86-64) S 1019794 1019794 1019718 0 -1 1077936192 207 0 0 0 85 127 0 0 20 0 2 0 192109431 1011953664 157804 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
Current children cumulated CPU time: 3455.4 s
Current children cumulated vsize: 998164 KiB
Current children cumulated memory: 633900 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.17 4.06 5/266 1021721
/proc/meminfo: memFree=124180216/131524600 swapFree=130799640/131071996
[pid=1019794] ppid=1019791 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/1019794/stat : 1019794 (run-glibc-2.34.) S 1019791 1019794 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192109410 10166272 671 134679101440 94912621826048 94912622905368 140728828506544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94912625003824 94912625051012 94912633765888 140728828515261 140728828515418 140728828515418 140728828522435 0
/proc/1019794/statm: 2482 671 590 264 0 133 0
[pid=1019796] ppid=1019794 vsize=988236 memory=631216 CPUtime=3515.3 cores=4,6
/proc/1019796/stat : 1019796 (ld-linux-x86-64) R 1019794 1019794 1019718 0 -1 4194304 977096 0 1 0 339113 12417 0 0 20 0 2 0 192109410 1011953664 157804 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 0 0 0 17 4 0 0 3 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
/proc/1019796/statm: 247059 157804 3848 46 0 219654 0
[pid=1019796/tid=1019807] ppid=1019794 vsize=988236 memory=7804 CPUtime=2.16 cores=4,6
/proc/1019796/task/1019807/stat : 1019807 (ld-linux-x86-64) S 1019794 1019794 1019718 0 -1 1077936192 209 0 0 0 87 129 0 0 20 0 2 0 192109431 1011953664 157804 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
Current children cumulated CPU time: 3515.3 s
Current children cumulated vsize: 998164 KiB
Current children cumulated memory: 633900 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.17 4.07 5/266 1021733
/proc/meminfo: memFree=124149356/131524600 swapFree=130799640/131071996
[pid=1019794] ppid=1019791 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/1019794/stat : 1019794 (run-glibc-2.34.) S 1019791 1019794 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192109410 10166272 671 134679101440 94912621826048 94912622905368 140728828506544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94912625003824 94912625051012 94912633765888 140728828515261 140728828515418 140728828515418 140728828522435 0
/proc/1019794/statm: 2482 671 590 264 0 133 0
[pid=1019796] ppid=1019794 vsize=988236 memory=651696 CPUtime=3575.2 cores=4,6
/proc/1019796/stat : 1019796 (ld-linux-x86-64) R 1019794 1019794 1019718 0 -1 4194304 977911 0 1 0 345036 12484 0 0 20 0 2 0 192109410 1011953664 162924 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 0 0 0 17 4 0 0 3 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
/proc/1019796/statm: 247059 162924 3848 46 0 219654 0
[pid=1019796/tid=1019807] ppid=1019794 vsize=988236 memory=2684 CPUtime=2.2 cores=4,6
/proc/1019796/task/1019807/stat : 1019807 (ld-linux-x86-64) S 1019794 1019794 1019718 0 -1 1077936192 212 0 0 0 88 132 0 0 20 0 2 0 192109431 1011953664 162924 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
Current children cumulated CPU time: 3575.2 s
Current children cumulated vsize: 998164 KiB
Current children cumulated memory: 654380 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3607.2 s]
/proc/loadavg: 4.10 4.15 4.07 4/258 1021750
/proc/meminfo: memFree=124870240/131524600 swapFree=130799640/131071996
[pid=1019794] ppid=1019791 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/1019794/stat : 1019794 (run-glibc-2.34.) S 1019791 1019794 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192109410 10166272 671 134679101440 94912621826048 94912622905368 140728828506544 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94912625003824 94912625051012 94912633765888 140728828515261 140728828515418 140728828515418 140728828522435 0
/proc/1019794/statm: 2482 671 590 264 0 133 0
[pid=1019796] ppid=1019794 vsize=988236 memory=651696 CPUtime=3600.06 cores=4,6
/proc/1019796/stat : 1019796 (ld-linux-x86-64) R 1019794 1019794 1019718 0 -1 4194304 978030 0 1 0 347503 12503 0 0 20 0 2 0 192109410 1011953664 162924 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 0 0 0 17 4 0 0 3 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
/proc/1019796/statm: 247059 162924 3848 46 0 219654 0
[pid=1019796/tid=1019807] ppid=1019794 vsize=988236 memory=7804 CPUtime=2.22 cores=4,6
/proc/1019796/task/1019807/stat : 1019807 (ld-linux-x86-64) S 1019794 1019794 1019718 0 -1 1077936192 213 0 0 0 89 133 0 0 20 0 2 0 192109431 1011953664 162924 134679101440 139926408810496 139926408998108 140724880980592 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139926411099008 139926411108456 93825021984768 140724880986965 140724880987129 140724880987129 140724880994226 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 998164 KiB
Current children cumulated memory: 654380 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3607.21 s]
# the end of solver process 1019794 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3475.04 s, system=125.038 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): 3607.21
CPU time (s): 3600.08
CPU user time (s): 3475.04
CPU system time (s): 125.038
CPU usage (%): 99.8023
Max. virtual memory (cumulated for all children) (KiB): 1044784
Max. memory (cumulated for all children) (KiB): 700768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3475.04
system time used= 125.038
maximum resident set size= 698084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 978247
page faults= 1
swaps= 0
block input operations= 24
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 357399
involuntary context switches= 1479
# summary of solver processes directly reported to runsolver:
# pid: 1019794
# total CPU time (s): 3600.08
# total CPU user time (s): 3475.04
# total CPU system time (s): 125.038
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.37877 second user time and 18.47 second system time
The end