906.27/907.60 c initialize IPBHS solver
906.27/907.60 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
906.27/907.60 c optimizer = "gurobi"
906.27/907.60 c pbsolver = "roundingsat"
906.27/907.60 c load symmetries from file ""
906.27/907.60 c set time limit for symmetry computation to 100 seconds.
906.27/907.60 c set interchangeable summation variable limit to 3
906.27/907.60 c set abs symmetric core budget per WCE-iteration to 100
906.27/907.60 c set rel symmetric core budget per WCE-iteration to 0
906.27/907.60 c set lit symmetric core budget per WCE-iteration to 0
906.27/907.60 c set sym generation to 's'
906.27/907.60 c set abstraction set creation to 10 iterations without LB change
906.27/907.60 c set abstraction set inputs to 0
906.27/907.60 c set abstraction set cluster min size to 2
906.27/907.60 c set abstraction set cluster max size to 100000000
906.27/907.60 c set abstraction set cluster activation limit to 2
906.27/907.60 c enable abstraction set require equal cost
906.27/907.60 c set abstraction set assumptions to 0
906.27/907.60 c set abstraction set constraint type to 0
906.27/907.60 c set abstract core extraction strategy to b
906.27/907.60 c set core extraction strategy to 2
906.27/907.60 c set core extraction shuffles 10
906.27/907.60 c set cores per iteration to 5
906.27/907.60 c set optimizer bound usage strategy to 2
906.27/907.60 c set optimizer max non-optimal iterations to 1000
906.27/907.60 c set small core cardinality limit to 2
906.27/907.60 c set max coef in cores to 1000000000
906.27/907.60 c set SIS iterations to 5
906.27/907.60 c set SIS budget abs to 1000
906.27/907.60 c set SIS budget rel to 0.05
906.27/907.60 c limit for coefficient in constraints and objective to 9223372036854775807
906.27/907.60 c will solve HOME/instance-4431499-1721054492.opb
906.27/907.60 c [0.02] solve iteration 1, LB=-1407, UB=1384580
906.27/907.60 c [0.13] solve iteration 2, LB=2021, UB=108162
906.27/907.60 c [0.21] solve iteration 3, LB=2021, UB=56118
906.27/907.60 c [0.35] solve iteration 4, LB=3029, UB=3041
906.27/907.60 c [0.48] solve iteration 5, LB=3029, UB=3035
906.27/907.60 c [0.59] solve iteration 6, LB=3029, UB=3035
906.27/907.60 c [0.7] solve iteration 7, LB=3029, UB=3035
906.27/907.60 c [0.82] solve iteration 8, LB=3029, UB=3034
906.27/907.60 c [8.41] solve iteration 9, LB=3029, UB=3032
906.27/907.60 c [8.66] solve iteration 10, LB=3029, UB=3032
906.27/907.60 c [8.94] solve iteration 11, LB=3029, UB=3032
906.27/907.60 c [9.09] solve iteration 12, LB=3029, UB=3032
906.27/907.60 c [9.35] solve iteration 13, LB=3029, UB=3032
906.27/907.60 c [24.51] solve iteration 14, LB=3029, UB=3032
906.27/907.60 c [24.88] solve iteration 15, LB=3029, UB=3032
906.27/907.60 c [25.51] solve iteration 16, LB=3029, UB=3032
906.27/907.60 c [26.15] solve iteration 17, LB=3029, UB=3032
906.27/907.60 c [26.82] solve iteration 18, LB=3029, UB=3031
906.27/907.60 c [59.92] solve iteration 19, LB=3029, UB=3031
906.27/907.60 c [60.52] solve iteration 20, LB=3029, UB=3031
906.27/907.60 c [61.56] solve iteration 21, LB=3029, UB=3031
906.27/907.60 c [62.63] solve iteration 22, LB=3029, UB=3031
906.27/907.60 c [63.23] solve iteration 23, LB=3029, UB=3031
906.27/907.60 c [111.53] solve iteration 24, LB=3029, UB=3031
906.27/907.60 c [112.3] solve iteration 25, LB=3029, UB=3031
906.27/907.60 c [113.06] solve iteration 26, LB=3029, UB=3031
906.27/907.60 c [114.46] solve iteration 27, LB=3029, UB=3031
906.27/907.60 c [115.86] solve iteration 28, LB=3029, UB=3031
906.27/907.60 c [183.33] solve iteration 29, LB=3029, UB=3031
906.27/907.60 c [185.22] solve iteration 30, LB=3029, UB=3031
906.27/907.60 c [187.11] solve iteration 31, LB=3029, UB=3031
906.27/907.60 c [188.14] solve iteration 32, LB=3029, UB=3031
906.27/907.60 c [189.17] solve iteration 33, LB=3029, UB=3031
906.27/907.60 c [277.94] solve iteration 34, LB=3029, UB=3031
906.27/907.60 c [278.99] solve iteration 35, LB=3029, UB=3031
906.27/907.60 c [280.95] solve iteration 36, LB=3029, UB=3031
906.27/907.60 c [282.87] solve iteration 37, LB=3029, UB=3031
906.27/907.60 c [283.95] solve iteration 38, LB=3029, UB=3031
906.27/907.60 c [385.31] solve iteration 39, LB=3029, UB=3031
906.27/907.60 c [386.56] solve iteration 40, LB=3029, UB=3031
906.27/907.60 c [388.85] solve iteration 41, LB=3029, UB=3031
906.27/907.60 c [390.1] solve iteration 42, LB=3029, UB=3031
906.27/907.60 c [391.36] solve iteration 43, LB=3029, UB=3031
906.27/907.60 c [517.46] solve iteration 44, LB=3029, UB=3031
906.27/907.60 c [518.92] solve iteration 45, LB=3029, UB=3031
906.27/907.60 c [521.55] solve iteration 46, LB=3029, UB=3031
906.27/907.60 c [524.25] solve iteration 47, LB=3029, UB=3031
906.27/907.60 c [525.7] solve iteration 48, LB=3029, UB=3031
906.27/907.60 c [698.34] solve iteration 49, LB=3029, UB=3031
906.27/907.60 c [700.07] solve iteration 50, LB=3029, UB=3031
906.27/907.60 c [701.82] solve iteration 51, LB=3029, UB=3031
906.27/907.60 c [703.59] solve iteration 52, LB=3029, UB=3031
906.27/907.60 c [705.32] solve iteration 53, LB=3029, UB=3031
906.27/907.60 c [895.55] solve iteration 54, LB=3029, UB=3031
906.27/907.60 c [897.85] solve iteration 55, LB=3029, UB=3031
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: 64059 MiB (61949 MiB free)
memory of node 1: 64510 MiB (63346 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431499-1721054492/watcher-4431499-1721054492 -o /tmp/evaluation-result-4431499-1721054492/solver-4431499-1721054492 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721050898-799991 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431499-1721054492.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=802035, runsolver pid=802032
[startup+0.100095 s]*
/proc/loadavg: 4.25 4.13 4.10 5/251 802038
/proc/meminfo: memFree=128285924/131655788 swapFree=131071996/131071996
[pid=802035] ppid=802032 vsize=9928 memory=2748 CPUtime=0 cores=1,3
/proc/802035/stat : 802035 (run-glibc-2.34.) S 802032 802035 799979 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157608515 10166272 687 134679101440 94040625405952 94040626485272 140726725327968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94040628583728 94040628630916 94040637169664 140726725329867 140726725330012 140726725330012 140726725337027 0
/proc/802035/statm: 2482 687 607 264 0 133 0
[pid=802037] ppid=802035 vsize=147588 memory=33480 CPUtime=0.09 cores=1,3
/proc/802037/stat : 802037 (ld-linux-x86-64) R 802035 802035 799979 0 -1 4194304 4692 0 0 0 8 1 0 0 20 0 2 0 157608515 151130112 8370 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
/proc/802037/statm: 36897 8370 3716 46 0 9492 0
[pid=802037/tid=802038] ppid=802035 vsize=147588 memory=4026561614 CPUtime=0 cores=1,3
/proc/802037/task/802038/stat : 802038 (ld-linux-x86-64) S 802035 802035 799979 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 157608518 151130112 8370 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 157516 KiB
Current children cumulated memory: 36228 KiB
[startup+0.213332 s]*
/proc/loadavg: 4.25 4.13 4.10 5/251 802038
/proc/meminfo: memFree=128282772/131655788 swapFree=131071996/131071996
[pid=802035] ppid=802032 vsize=9928 memory=2748 CPUtime=0 cores=1,3
/proc/802035/stat : 802035 (run-glibc-2.34.) S 802032 802035 799979 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157608515 10166272 687 134679101440 94040625405952 94040626485272 140726725327968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94040628583728 94040628630916 94040637169664 140726725329867 140726725330012 140726725330012 140726725337027 0
/proc/802035/statm: 2482 687 607 264 0 133 0
[pid=802037] ppid=802035 vsize=147200 memory=35312 CPUtime=0.21 cores=1,3
/proc/802037/stat : 802037 (ld-linux-x86-64) R 802035 802035 799979 0 -1 4194304 5082 0 0 0 18 3 0 0 20 0 2 0 157608515 150732800 8828 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
/proc/802037/statm: 36800 8828 3812 46 0 9395 0
[pid=802037/tid=802038] ppid=802035 vsize=147472 memory=3471202400344241230 CPUtime=0 cores=1,3
/proc/802037/task/802038/stat : 802038 (ld-linux-x86-64) S 802035 802035 799979 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 157608518 151011328 8828 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 157128 KiB
Current children cumulated memory: 38060 KiB
[startup+0.313559 s]*
/proc/loadavg: 4.25 4.13 4.10 5/251 802038
/proc/meminfo: memFree=128281540/131655788 swapFree=131071996/131071996
[pid=802035] ppid=802032 vsize=9928 memory=2748 CPUtime=0 cores=1,3
/proc/802035/stat : 802035 (run-glibc-2.34.) S 802032 802035 799979 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157608515 10166272 687 134679101440 94040625405952 94040626485272 140726725327968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94040628583728 94040628630916 94040637169664 140726725329867 140726725330012 140726725330012 140726725337027 0
/proc/802035/statm: 2482 687 607 264 0 133 0
[pid=802037] ppid=802035 vsize=146440 memory=34792 CPUtime=0.31 cores=1,3
/proc/802037/stat : 802037 (ld-linux-x86-64) R 802035 802035 799979 0 -1 4194304 6100 0 0 0 26 5 0 0 20 0 2 0 157608515 149954560 8698 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
/proc/802037/statm: 36712 8698 3812 46 0 9307 0
[pid=802037/tid=802038] ppid=802035 vsize=147624 memory=-9186716040452991335 CPUtime=0 cores=1,3
/proc/802037/task/802038/stat : 802038 (ld-linux-x86-64) S 802035 802035 799979 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 157608518 151166976 8698 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 156368 KiB
Current children cumulated memory: 37540 KiB
[startup+0.700432 s]
/proc/loadavg: 4.25 4.13 4.10 5/251 802038
/proc/meminfo: memFree=128276056/131655788 swapFree=131071996/131071996
[pid=802035] ppid=802032 vsize=9928 memory=2748 CPUtime=0 cores=1,3
/proc/802035/stat : 802035 (run-glibc-2.34.) S 802032 802035 799979 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157608515 10166272 687 134679101440 94040625405952 94040626485272 140726725327968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94040628583728 94040628630916 94040637169664 140726725329867 140726725330012 140726725330012 140726725337027 0
/proc/802035/statm: 2482 687 607 264 0 133 0
[pid=802037] ppid=802035 vsize=151132 memory=38320 CPUtime=0.69 cores=1,3
/proc/802037/stat : 802037 (ld-linux-x86-64) R 802035 802035 799979 0 -1 4194304 6957 0 0 0 57 12 0 0 20 0 2 0 157608515 154759168 9580 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
/proc/802037/statm: 37783 9580 3828 46 0 10378 0
[pid=802037/tid=802038] ppid=802035 vsize=151132 memory=32604 CPUtime=0 cores=1,3
/proc/802037/task/802038/stat : 802038 (ld-linux-x86-64) S 802035 802035 799979 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 157608518 154759168 9580 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 161060 KiB
Current children cumulated memory: 41068 KiB
[startup+1.50042 s]
/proc/loadavg: 4.25 4.13 4.10 5/247 802052
/proc/meminfo: memFree=128897372/131655788 swapFree=131071996/131071996
[pid=802035] ppid=802032 vsize=9928 memory=2748 CPUtime=0 cores=1,3
/proc/802035/stat : 802035 (run-glibc-2.34.) S 802032 802035 799979 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157608515 10166272 687 134679101440 94040625405952 94040626485272 140726725327968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94040628583728 94040628630916 94040637169664 140726725329867 140726725330012 140726725330012 140726725337027 0
/proc/802035/statm: 2482 687 607 264 0 133 0
[pid=802037] ppid=802035 vsize=153768 memory=42536 CPUtime=1.48 cores=1,3
/proc/802037/stat : 802037 (ld-linux-x86-64) R 802035 802035 799979 0 -1 4194304 7611 0 0 0 123 25 0 0 20 0 2 0 157608515 157458432 10634 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
/proc/802037/statm: 38442 10634 3844 46 0 11037 0
[pid=802037/tid=802038] ppid=802035 vsize=153768 memory=11648 CPUtime=0 cores=1,3
/proc/802037/task/802038/stat : 802038 (ld-linux-x86-64) S 802035 802035 799979 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 157608518 157458432 10634 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 163696 KiB
Current children cumulated memory: 45284 KiB
[startup+3.11285 s]
/proc/loadavg: 4.25 4.13 4.10 5/251 802086
/proc/meminfo: memFree=128854328/131655788 swapFree=131071996/131071996
[pid=802035] ppid=802032 vsize=9928 memory=2748 CPUtime=0 cores=1,3
/proc/802035/stat : 802035 (run-glibc-2.34.) S 802032 802035 799979 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157608515 10166272 687 134679101440 94040625405952 94040626485272 140726725327968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94040628583728 94040628630916 94040637169664 140726725329867 140726725330012 140726725330012 140726725337027 0
/proc/802035/statm: 2482 687 607 264 0 133 0
[pid=802037] ppid=802035 vsize=166912 memory=54276 CPUtime=3.09 cores=1,3
/proc/802037/stat : 802037 (ld-linux-x86-64) R 802035 802035 799979 0 -1 4194304 13889 0 0 0 269 40 0 0 20 0 2 0 157608515 170917888 13569 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
/proc/802037/statm: 41728 13569 3844 46 0 14323 0
[pid=802037/tid=802038] ppid=802035 vsize=166912 memory=2748 CPUtime=0 cores=1,3
/proc/802037/task/802038/stat : 802038 (ld-linux-x86-64) S 802035 802035 799979 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 157608518 170917888 13569 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 176840 KiB
Current children cumulated memory: 57024 KiB
[startup+6.30038 s]
/proc/loadavg: 4.23 4.13 4.10 4/247 802134
/proc/meminfo: memFree=128864668/131655788 swapFree=131071996/131071996
[pid=802035] ppid=802032 vsize=9928 memory=2748 CPUtime=0 cores=1,3
/proc/802035/stat : 802035 (run-glibc-2.34.) S 802032 802035 799979 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157608515 10166272 687 134679101440 94040625405952 94040626485272 140726725327968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94040628583728 94040628630916 94040637169664 140726725329867 140726725330012 140726725330012 140726725337027 0
/proc/802035/statm: 2482 687 607 264 0 133 0
[pid=802037] ppid=802035 vsize=183660 memory=70956 CPUtime=6.28 cores=1,3
/proc/802037/stat : 802037 (ld-linux-x86-64) R 802035 802035 799979 0 -1 4194304 23811 0 0 0 569 59 0 0 20 0 2 0 157608515 188067840 17739 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
/proc/802037/statm: 45915 17739 3844 46 0 18510 0
[pid=802037/tid=802038] ppid=802035 vsize=183660 memory=64656 CPUtime=0 cores=1,3
/proc/802037/task/802038/stat : 802038 (ld-linux-x86-64) S 802035 802035 799979 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 2 0 157608518 188067840 17739 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 193588 KiB
Current children cumulated memory: 73704 KiB
[startup+12.7004 s]
/proc/loadavg: 4.21 4.12 4.10 5/251 802184
/proc/meminfo: memFree=128757948/131655788 swapFree=131071996/131071996
[pid=802035] ppid=802032 vsize=9928 memory=2748 CPUtime=0 cores=1,3
/proc/802035/stat : 802035 (run-glibc-2.34.) S 802032 802035 799979 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157608515 10166272 687 134679101440 94040625405952 94040626485272 140726725327968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94040628583728 94040628630916 94040637169664 140726725329867 140726725330012 140726725330012 140726725337027 0
/proc/802035/statm: 2482 687 607 264 0 133 0
[pid=802037] ppid=802035 vsize=214536 memory=98096 CPUtime=12.67 cores=1,3
/proc/802037/stat : 802037 (ld-linux-x86-64) R 802035 802035 799979 0 -1 4194304 49123 0 0 0 1181 86 0 0 20 0 2 0 157608515 219684864 24524 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
/proc/802037/statm: 53634 24524 3844 46 0 26229 0
[pid=802037/tid=802038] ppid=802035 vsize=214536 memory=11948 CPUtime=0 cores=1,3
/proc/802037/task/802038/stat : 802038 (ld-linux-x86-64) S 802035 802035 799979 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 2 0 157608518 219684864 24524 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 224464 KiB
Current children cumulated memory: 100844 KiB
[startup+25.5005 s]
/proc/loadavg: 4.26 4.14 4.10 5/251 802185
/proc/meminfo: memFree=128684700/131655788 swapFree=131071996/131071996
[pid=802035] ppid=802032 vsize=9928 memory=2748 CPUtime=0 cores=1,3
/proc/802035/stat : 802035 (run-glibc-2.34.) S 802032 802035 799979 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157608515 10166272 687 134679101440 94040625405952 94040626485272 140726725327968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94040628583728 94040628630916 94040637169664 140726725329867 140726725330012 140726725330012 140726725337027 0
/proc/802035/statm: 2482 687 607 264 0 133 0
[pid=802037] ppid=802035 vsize=237652 memory=115692 CPUtime=25.46 cores=1,3
/proc/802037/stat : 802037 (ld-linux-x86-64) R 802035 802035 799979 0 -1 4194304 81108 0 0 0 2433 113 0 0 20 0 2 0 157608515 243355648 28923 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
/proc/802037/statm: 59413 28923 3844 46 0 32008 0
[pid=802037/tid=802038] ppid=802035 vsize=237652 memory=2748 CPUtime=0.03 cores=1,3
/proc/802037/task/802038/stat : 802038 (ld-linux-x86-64) S 802035 802035 799979 0 -1 1077936192 24 0 0 0 1 2 0 0 20 0 2 0 157608518 243355648 28923 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
Current children cumulated CPU time: 25.46 s
Current children cumulated vsize: 247580 KiB
Current children cumulated memory: 118440 KiB
[startup+51.1131 s]
/proc/loadavg: 5.01 4.33 4.17 5/251 802191
/proc/meminfo: memFree=128577704/131655788 swapFree=131071996/131071996
[pid=802035] ppid=802032 vsize=9928 memory=2748 CPUtime=0 cores=1,3
/proc/802035/stat : 802035 (run-glibc-2.34.) S 802032 802035 799979 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157608515 10166272 687 134679101440 94040625405952 94040626485272 140726725327968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94040628583728 94040628630916 94040637169664 140726725329867 140726725330012 140726725330012 140726725337027 0
/proc/802035/statm: 2482 687 607 264 0 133 0
[pid=802037] ppid=802035 vsize=304200 memory=159332 CPUtime=51.03 cores=1,3
/proc/802037/stat : 802037 (ld-linux-x86-64) R 802035 802035 799979 0 -1 4194304 125433 0 0 0 4935 168 0 0 20 0 2 0 157608515 311500800 39833 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
/proc/802037/statm: 76050 39833 3844 46 0 48645 0
[pid=802037/tid=802038] ppid=802035 vsize=304200 memory=153760 CPUtime=0.06 cores=1,3
/proc/802037/task/802038/stat : 802038 (ld-linux-x86-64) S 802035 802035 799979 0 -1 1077936192 32 0 0 0 2 4 0 0 20 0 2 0 157608518 311500800 39833 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 314128 KiB
Current children cumulated memory: 162080 KiB
[startup+102.3 s]
/proc/loadavg: 4.93 4.44 4.22 5/251 802440
/proc/meminfo: memFree=129062308/131655788 swapFree=131071996/131071996
[pid=802035] ppid=802032 vsize=9928 memory=2748 CPUtime=0 cores=1,3
/proc/802035/stat : 802035 (run-glibc-2.34.) S 802032 802035 799979 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157608515 10166272 687 134679101440 94040625405952 94040626485272 140726725327968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94040628583728 94040628630916 94040637169664 140726725329867 140726725330012 140726725330012 140726725337027 0
/proc/802035/statm: 2482 687 607 264 0 133 0
[pid=802037] ppid=802035 vsize=314708 memory=192336 CPUtime=102.14 cores=1,3
/proc/802037/stat : 802037 (ld-linux-x86-64) R 802035 802035 799979 0 -1 4194304 181303 0 0 0 9963 251 0 0 20 0 2 0 157608515 322260992 48084 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
/proc/802037/statm: 78677 48084 3892 46 0 51272 0
[pid=802037/tid=802038] ppid=802035 vsize=314708 memory=188468 CPUtime=0.14 cores=1,3
/proc/802037/task/802038/stat : 802038 (ld-linux-x86-64) S 802035 802035 799979 0 -1 1077936192 45 0 0 0 5 9 0 0 20 0 2 0 157608518 322260992 48084 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
Current children cumulated CPU time: 102.14 s
Current children cumulated vsize: 324636 KiB
Current children cumulated memory: 195084 KiB
[startup+162.3 s]
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.16 4.15 4.14 5/253 804506
/proc/meminfo: memFree=126662308/131655788 swapFree=131071996/131071996
[pid=802035] ppid=802032 vsize=9928 memory=2748 CPUtime=0 cores=1,3
/proc/802035/stat : 802035 (run-glibc-2.34.) S 802032 802035 799979 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157608515 10166272 687 134679101440 94040625405952 94040626485272 140726725327968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94040628583728 94040628630916 94040637169664 140726725329867 140726725330012 140726725330012 140726725337027 0
/proc/802035/statm: 2482 687 607 264 0 133 0
[pid=802037] ppid=802035 vsize=1353020 memory=998848 CPUtime=3158.7 cores=1,3
/proc/802037/stat : 802037 (ld-linux-x86-64) R 802035 802035 799979 0 -1 4194304 1043419 0 0 0 314060 1810 0 0 20 0 2 0 157608515 1385492480 249712 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
/proc/802037/statm: 338255 249712 3892 46 0 310850 0
[pid=802037/tid=802038] ppid=802035 vsize=1353020 memory=2748 CPUtime=5.18 cores=1,3
/proc/802037/task/802038/stat : 802038 (ld-linux-x86-64) S 802035 802035 799979 0 -1 1077936192 137 0 0 0 157 361 0 0 20 0 2 0 157608518 1385492480 249712 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
Current children cumulated CPU time: 3158.7 s
Current children cumulated vsize: 1362948 KiB
Current children cumulated memory: 1001596 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.15 4.14 5/252 804516
/proc/meminfo: memFree=126582280/131655788 swapFree=131071996/131071996
[pid=802035] ppid=802032 vsize=9928 memory=2748 CPUtime=0 cores=1,3
/proc/802035/stat : 802035 (run-glibc-2.34.) S 802032 802035 799979 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157608515 10166272 687 134679101440 94040625405952 94040626485272 140726725327968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94040628583728 94040628630916 94040637169664 140726725329867 140726725330012 140726725330012 140726725337027 0
/proc/802035/statm: 2482 687 607 264 0 133 0
[pid=802037] ppid=802035 vsize=1373360 memory=1004860 CPUtime=3218.59 cores=1,3
/proc/802037/stat : 802037 (ld-linux-x86-64) R 802035 802035 799979 0 -1 4194304 1053398 0 0 0 320024 1835 0 0 20 0 2 0 157608515 1406320640 251215 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
/proc/802037/statm: 343340 251215 3892 46 0 315935 0
[pid=802037/tid=802038] ppid=802035 vsize=1373360 memory=2748 CPUtime=5.28 cores=1,3
/proc/802037/task/802038/stat : 802038 (ld-linux-x86-64) S 802035 802035 799979 0 -1 1077936192 139 0 0 0 161 367 0 0 20 0 2 0 157608518 1406320640 251215 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
Current children cumulated CPU time: 3218.59 s
Current children cumulated vsize: 1383288 KiB
Current children cumulated memory: 1007608 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/249 804527
/proc/meminfo: memFree=126544924/131655788 swapFree=131071996/131071996
[pid=802035] ppid=802032 vsize=9928 memory=2748 CPUtime=0 cores=1,3
/proc/802035/stat : 802035 (run-glibc-2.34.) S 802032 802035 799979 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157608515 10166272 687 134679101440 94040625405952 94040626485272 140726725327968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94040628583728 94040628630916 94040637169664 140726725329867 140726725330012 140726725330012 140726725337027 0
/proc/802035/statm: 2482 687 607 264 0 133 0
[pid=802037] ppid=802035 vsize=1373360 memory=1010528 CPUtime=3278.55 cores=1,3
/proc/802037/stat : 802037 (ld-linux-x86-64) R 802035 802035 799979 0 -1 4194304 1057325 0 0 0 325994 1861 0 0 20 0 2 0 157608515 1406320640 252632 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
/proc/802037/statm: 343340 252632 3892 46 0 315935 0
[pid=802037/tid=802038] ppid=802035 vsize=1373360 memory=11648 CPUtime=5.37 cores=1,3
/proc/802037/task/802038/stat : 802038 (ld-linux-x86-64) S 802035 802035 799979 0 -1 1077936192 141 0 0 0 163 374 0 0 20 0 2 0 157608518 1406320640 252632 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
Current children cumulated CPU time: 3278.55 s
Current children cumulated vsize: 1383288 KiB
Current children cumulated memory: 1013276 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.13 4.12 5/249 804537
/proc/meminfo: memFree=126514596/131655788 swapFree=131071996/131071996
[pid=802035] ppid=802032 vsize=9928 memory=2748 CPUtime=0 cores=1,3
/proc/802035/stat : 802035 (run-glibc-2.34.) S 802032 802035 799979 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157608515 10166272 687 134679101440 94040625405952 94040626485272 140726725327968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94040628583728 94040628630916 94040637169664 140726725329867 140726725330012 140726725330012 140726725337027 0
/proc/802035/statm: 2482 687 607 264 0 133 0
[pid=802037] ppid=802035 vsize=1373360 memory=1016420 CPUtime=3338.5 cores=1,3
/proc/802037/stat : 802037 (ld-linux-x86-64) R 802035 802035 799979 0 -1 4194304 1064118 0 0 0 331972 1878 0 0 20 0 2 0 157608515 1406320640 254105 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
/proc/802037/statm: 343340 254105 3892 46 0 315935 0
[pid=802037/tid=802038] ppid=802035 vsize=1373360 memory=2748 CPUtime=5.47 cores=1,3
/proc/802037/task/802038/stat : 802038 (ld-linux-x86-64) S 802035 802035 799979 0 -1 1077936192 143 0 0 0 166 381 0 0 20 0 2 0 157608518 1406320640 254105 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
Current children cumulated CPU time: 3338.5 s
Current children cumulated vsize: 1383288 KiB
Current children cumulated memory: 1019168 KiB
[startup+3402.3 s]
/proc/loadavg: 4.60 4.23 4.16 5/249 804547
/proc/meminfo: memFree=126490224/131655788 swapFree=131071996/131071996
[pid=802035] ppid=802032 vsize=9928 memory=2748 CPUtime=0 cores=1,3
/proc/802035/stat : 802035 (run-glibc-2.34.) S 802032 802035 799979 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157608515 10166272 687 134679101440 94040625405952 94040626485272 140726725327968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94040628583728 94040628630916 94040637169664 140726725329867 140726725330012 140726725330012 140726725337027 0
/proc/802035/statm: 2482 687 607 264 0 133 0
[pid=802037] ppid=802035 vsize=1373360 memory=1022172 CPUtime=3398.46 cores=1,3
/proc/802037/stat : 802037 (ld-linux-x86-64) R 802035 802035 799979 0 -1 4194304 1071153 0 0 0 337952 1894 0 0 20 0 2 0 157608515 1406320640 255543 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
/proc/802037/statm: 343340 255543 3892 46 0 315935 0
[pid=802037/tid=802038] ppid=802035 vsize=1373360 memory=2748 CPUtime=5.56 cores=1,3
/proc/802037/task/802038/stat : 802038 (ld-linux-x86-64) S 802035 802035 799979 0 -1 1077936192 145 0 0 0 169 387 0 0 20 0 2 0 157608518 1406320640 255543 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
Current children cumulated CPU time: 3398.46 s
Current children cumulated vsize: 1383288 KiB
Current children cumulated memory: 1024920 KiB
[startup+3462.3 s]
/proc/loadavg: 4.97 4.44 4.24 5/249 804559
/proc/meminfo: memFree=126512280/131655788 swapFree=131071996/131071996
[pid=802035] ppid=802032 vsize=9928 memory=2748 CPUtime=0 cores=1,3
/proc/802035/stat : 802035 (run-glibc-2.34.) S 802032 802035 799979 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157608515 10166272 687 134679101440 94040625405952 94040626485272 140726725327968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94040628583728 94040628630916 94040637169664 140726725329867 140726725330012 140726725330012 140726725337027 0
/proc/802035/statm: 2482 687 607 264 0 133 0
[pid=802037] ppid=802035 vsize=1373360 memory=1028076 CPUtime=3458.41 cores=1,3
/proc/802037/stat : 802037 (ld-linux-x86-64) R 802035 802035 799979 0 -1 4194304 1078901 0 0 0 343932 1909 0 0 20 0 2 0 157608515 1406320640 257019 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
/proc/802037/statm: 343340 257019 3892 46 0 315935 0
[pid=802037/tid=802038] ppid=802035 vsize=1373360 memory=7680495025419230108 CPUtime=5.65 cores=1,3
/proc/802037/task/802038/stat : 802038 (ld-linux-x86-64) S 802035 802035 799979 0 -1 1077936192 145 0 0 0 172 393 0 0 20 0 2 0 157608518 1406320640 257019 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
Current children cumulated CPU time: 3458.41 s
Current children cumulated vsize: 1383288 KiB
Current children cumulated memory: 1030824 KiB
[startup+3522.3 s]
/proc/loadavg: 4.39 4.37 4.23 5/249 804569
/proc/meminfo: memFree=126473544/131655788 swapFree=131071996/131071996
[pid=802035] ppid=802032 vsize=9928 memory=2748 CPUtime=0 cores=1,3
/proc/802035/stat : 802035 (run-glibc-2.34.) S 802032 802035 799979 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157608515 10166272 687 134679101440 94040625405952 94040626485272 140726725327968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94040628583728 94040628630916 94040637169664 140726725329867 140726725330012 140726725330012 140726725337027 0
/proc/802035/statm: 2482 687 607 264 0 133 0
[pid=802037] ppid=802035 vsize=1373360 memory=1033936 CPUtime=3518.37 cores=1,3
/proc/802037/stat : 802037 (ld-linux-x86-64) R 802035 802035 799979 0 -1 4194304 1085446 0 0 0 349908 1929 0 0 20 0 2 0 157608515 1406320640 258484 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
/proc/802037/statm: 343340 258484 3892 46 0 315935 0
[pid=802037/tid=802038] ppid=802035 vsize=1373360 memory=40280 CPUtime=5.75 cores=1,3
/proc/802037/task/802038/stat : 802038 (ld-linux-x86-64) S 802035 802035 799979 0 -1 1077936192 147 0 0 0 174 401 0 0 20 0 2 0 157608518 1406320640 258484 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
Current children cumulated CPU time: 3518.37 s
Current children cumulated vsize: 1383288 KiB
Current children cumulated memory: 1036684 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.32 4.21 5/251 804583
/proc/meminfo: memFree=126443996/131655788 swapFree=131071996/131071996
[pid=802035] ppid=802032 vsize=9928 memory=2748 CPUtime=0 cores=1,3
/proc/802035/stat : 802035 (run-glibc-2.34.) S 802032 802035 799979 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157608515 10166272 687 134679101440 94040625405952 94040626485272 140726725327968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94040628583728 94040628630916 94040637169664 140726725329867 140726725330012 140726725330012 140726725337027 0
/proc/802035/statm: 2482 687 607 264 0 133 0
[pid=802037] ppid=802035 vsize=1373360 memory=1042056 CPUtime=3578.33 cores=1,3
/proc/802037/stat : 802037 (ld-linux-x86-64) R 802035 802035 799979 0 -1 4194304 1088895 0 0 0 355885 1948 0 0 20 0 2 0 157608515 1406320640 260514 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
/proc/802037/statm: 343340 260514 3892 46 0 315935 0
[pid=802037/tid=802038] ppid=802035 vsize=1373360 memory=2748 CPUtime=5.85 cores=1,3
/proc/802037/task/802038/stat : 802038 (ld-linux-x86-64) S 802035 802035 799979 0 -1 1077936192 149 0 0 0 177 408 0 0 20 0 2 0 157608518 1406320640 260514 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
Current children cumulated CPU time: 3578.33 s
Current children cumulated vsize: 1383288 KiB
Current children cumulated memory: 1044804 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3604 s]*
/proc/loadavg: 4.28 4.33 4.22 5/251 804586
/proc/meminfo: memFree=126429972/131655788 swapFree=131071996/131071996
[pid=802035] ppid=802032 vsize=9928 memory=2748 CPUtime=0 cores=1,3
/proc/802035/stat : 802035 (run-glibc-2.34.) S 802032 802035 799979 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157608515 10166272 687 134679101440 94040625405952 94040626485272 140726725327968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94040628583728 94040628630916 94040637169664 140726725329867 140726725330012 140726725330012 140726725337027 0
/proc/802035/statm: 2482 687 607 264 0 133 0
[pid=802037] ppid=802035 vsize=1373360 memory=1055052 CPUtime=3600.04 cores=1,3
/proc/802037/stat : 802037 (ld-linux-x86-64) R 802035 802035 799979 0 -1 4194304 1092911 0 0 0 358048 1956 0 0 20 0 2 0 157608515 1406320640 263763 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
/proc/802037/statm: 343340 263763 3892 46 0 315935 0
[pid=802037/tid=802038] ppid=802035 vsize=1373360 memory=8185179658661434529 CPUtime=5.89 cores=1,3
/proc/802037/task/802038/stat : 802038 (ld-linux-x86-64) S 802035 802035 799979 0 -1 1077936192 149 0 0 0 179 410 0 0 20 0 2 0 157608518 1406320640 263763 134679101440 140282833518592 140282833706204 140728949871408 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140282835807104 140282835816552 93825008328704 140728949879651 140728949879803 140728949879803 140728949886898 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1383288 KiB
Current children cumulated memory: 1057800 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3604.02 s]
# the end of solver process 802035 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001895 s, system=0.002149 s
[startup+3604.03 s]
# the end of solver process 802037 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3580.49 s, system=19.5737 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3604.03
CPU time (s): 3600.06
CPU user time (s): 3580.49
CPU system time (s): 19.5737
CPU usage (%): 99.8899
Max. virtual memory (cumulated for all children) (KiB): 1383288
Max. memory (cumulated for all children) (KiB): 1057800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.49
system time used= 19.5737
maximum resident set size= 1055052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1093116
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= 353514
involuntary context switches= 4325
# summary of solver processes directly reported to runsolver:
# pid: 802035,802037
# total CPU time (s): 3600.06
# total CPU user time (s): 3580.49
# total CPU system time (s): 19.5737
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5437 second user time and 37.1331 second system time
The end