3.37/3.42 c initialize IPBHS solver
3.37/3.42 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
3.37/3.42 c optimizer = "gurobi"
3.37/3.42 c pbsolver = "roundingsat"
3.37/3.42 c load symmetries from file ""
3.37/3.42 c set time limit for symmetry computation to 100 seconds.
3.37/3.42 c set interchangeable summation variable limit to 3
3.37/3.42 c find symmetric cores by applying each permutation and add them to optimizer
3.37/3.42 c set abs symmetric core budget per WCE-iteration to 100
3.37/3.42 c set rel symmetric core budget per WCE-iteration to 0
3.37/3.42 c set lit symmetric core budget per WCE-iteration to 0
3.37/3.42 c set sym generation to 's'
3.37/3.42 c set abstraction set creation to 10 iterations without LB change
3.37/3.42 c set abstraction set inputs to 0
3.37/3.42 c set abstraction set cluster min size to 2
3.37/3.42 c set abstraction set cluster max size to 100000000
3.37/3.42 c set abstraction set cluster activation limit to 2
3.37/3.42 c enable abstraction set require equal cost
3.37/3.42 c set abstraction set assumptions to 0
3.37/3.42 c set abstraction set constraint type to 0
3.37/3.42 c set abstract core extraction strategy to b
3.37/3.42 c set core extraction strategy to 2
3.37/3.42 c set core extraction shuffles 10
3.37/3.42 c set cores per iteration to 5
3.37/3.42 c set optimizer bound usage strategy to 2
3.37/3.42 c set optimizer max non-optimal iterations to 1000
3.37/3.42 c set small core cardinality limit to 2
3.37/3.42 c set max coef in cores to 1000000000
3.37/3.42 c set SIS iterations to 5
3.37/3.42 c set SIS budget abs to 1000
3.37/3.42 c set SIS budget rel to 0.05
3.37/3.42 c limit for coefficient in constraints and objective to 9223372036854775807
3.37/3.42 c will solve HOME/instance-4431238-1721158707.opb
1001.46/1003.97 c [102.11] solve iteration 1, LB=0, UB=3451261
1001.46/1003.97 c [120.78] solve iteration 2, LB=5, UB=74789
1001.46/1003.97 c [128.52] solve iteration 3, LB=15724, UB=30459
1001.46/1003.97 c [138.85] solve iteration 4, LB=15724, UB=29771
1001.46/1003.97 c [144.08] solve iteration 5, LB=15726, UB=21248
1001.46/1003.97 c [166.13] solve iteration 6, LB=15726, UB=21248
1001.46/1003.97 c [171.03] solve iteration 7, LB=15726, UB=21248
1001.46/1003.97 c [175.38] solve iteration 8, LB=15727, UB=21238
1001.46/1003.97 c [180.51] solve iteration 9, LB=15727, UB=19532
1001.46/1003.97 c [183.6] solve iteration 10, LB=15727, UB=18502
1001.46/1003.97 c [204.39] solve iteration 11, LB=15727, UB=18502
1001.46/1003.97 c [206.89] solve iteration 12, LB=15727, UB=18499
1001.46/1003.97 c [209.43] solve iteration 13, LB=15728, UB=18495
1001.46/1003.97 c [210.13] solve iteration 14, LB=15728, UB=18490
1001.46/1003.97 c [210.78] solve iteration 15, LB=15728, UB=18490
1001.46/1003.97 c [234.04] solve iteration 16, LB=15728, UB=18490
1001.46/1003.97 c [234.95] solve iteration 17, LB=15728, UB=18489
1001.46/1003.97 c [235.56] solve iteration 18, LB=15728, UB=18488
1001.46/1003.97 c [236.45] solve iteration 19, LB=15728, UB=18488
1001.46/1003.97 c [238.18] solve iteration 20, LB=15728, UB=18488
1001.46/1003.97 c [261.57] solve iteration 21, LB=15729, UB=18488
1001.46/1003.97 c [262.92] solve iteration 22, LB=15729, UB=18488
1001.46/1003.97 c [263.59] solve iteration 23, LB=15729, UB=18488
1001.46/1003.97 c [263.98] solve iteration 24, LB=15729, UB=18487
1001.46/1003.97 c [271.84] solve iteration 25, LB=15733, UB=15789
1001.46/1003.97 c [279.06] solve iteration 26, LB=15733, UB=15789
1001.46/1003.97 c [283.15] solve iteration 27, LB=15733, UB=15774
1001.46/1003.97 c [287.71] solve iteration 28, LB=15733, UB=15771
1001.46/1003.97 c [291.81] solve iteration 29, LB=15733, UB=15771
1001.46/1003.97 c [325.5] solve iteration 30, LB=15733, UB=15771
1001.46/1003.97 c [328.39] solve iteration 31, LB=15733, UB=15762
1001.46/1003.97 c [332.46] solve iteration 32, LB=15734, UB=15762
1001.46/1003.97 c [336.48] solve iteration 33, LB=15734, UB=15762
1001.46/1003.97 c [339.57] solve iteration 34, LB=15734, UB=15762
1001.46/1003.97 c [376.02] solve iteration 35, LB=15734, UB=15762
1001.46/1003.97 c [379.85] solve iteration 36, LB=15734, UB=15762
1001.46/1003.97 c [384] solve iteration 37, LB=15735, UB=15762
1001.46/1003.97 c [386.85] solve iteration 38, LB=15736, UB=15762
1001.46/1003.97 c [390.34] solve iteration 39, LB=15736, UB=15762
1001.46/1003.97 c [429.09] solve iteration 40, LB=15736, UB=15762
1001.46/1003.97 c [432.66] solve iteration 41, LB=15737, UB=15762
1001.46/1003.97 c [436.51] solve iteration 42, LB=15737, UB=15762
1001.46/1003.97 c [439] solve iteration 43, LB=15737, UB=15756
1001.46/1003.97 c [441.24] solve iteration 44, LB=15737, UB=15756
1001.46/1003.97 c [475.53] solve iteration 45, LB=15737, UB=15756
1001.46/1003.97 c [479.27] solve iteration 46, LB=15737, UB=15756
1001.46/1003.97 c [481.96] solve iteration 47, LB=15738, UB=15756
1001.46/1003.97 c [484.55] solve iteration 48, LB=15738, UB=15756
1001.46/1003.97 c [487.35] solve iteration 49, LB=15738, UB=15756
1001.46/1003.97 c [490.21] solve iteration 50, LB=15738, UB=15754
1001.46/1003.97 c [492.4] solve iteration 51, LB=15738, UB=15752
1001.46/1003.97 c [494.85] solve iteration 52, LB=15738, UB=15752
1001.46/1003.97 c [496.87] solve iteration 53, LB=15738, UB=15752
1001.46/1003.97 c [498.76] solve iteration 54, LB=15738, UB=15752
1001.46/1003.97 c [542.16] solve iteration 55, LB=15738, UB=15752
1001.46/1003.97 c [545.79] solve iteration 56, LB=15738, UB=15752
1001.46/1003.97 c [548.88] solve iteration 57, LB=15738, UB=15752
1001.46/1003.97 c [551.48] solve iteration 58, LB=15738, UB=15752
1001.46/1003.97 c [552.54] solve iteration 59, LB=15738, UB=15749
1001.46/1003.97 c [556.14] solve iteration 60, LB=15746, UB=15749
1001.46/1003.97 c [559.84] solve iteration 61, LB=15746, UB=15749
1001.46/1003.97 c [562.6] solve iteration 62, LB=15746, UB=15749
1001.46/1003.97 c [565.14] solve iteration 63, LB=15746, UB=15749
1001.46/1003.97 c [567.88] solve iteration 64, LB=15746, UB=15749
1001.46/1003.97 c [617.54] solve iteration 65, LB=15746, UB=15749
1001.46/1003.97 c [620.47] solve iteration 66, LB=15746, UB=15749
1001.46/1003.97 c [625.73] solve iteration 67, LB=15746, UB=15749
1001.46/1003.97 c [630.01] solve iteration 68, LB=15746, UB=15749
1001.46/1003.97 c [634.19] solve iteration 69, LB=15746, UB=15749
1001.46/1003.97 c [699.85] solve iteration 70, LB=15746, UB=15749
1001.46/1003.97 c [704.95] solve iteration 71, LB=15746, UB=15749
1001.46/1003.97 c [708.07] solve iteration 72, LB=15746, UB=15749
1001.46/1003.97 c [712.37] solve iteration 73, LB=15746, UB=15749
1001.46/1003.97 c [715.47] solve iteration 74, LB=15746, UB=15749
1001.46/1003.97 c [800.88] solve iteration 75, LB=15746, UB=15749
1001.46/1003.97 c [805.07] solve iteration 76, LB=15746, UB=15749
1001.46/1003.97 c [809.37] solve iteration 77, LB=15746, UB=15749
1001.46/1003.97 c [815.1] solve iteration 78, LB=15746, UB=15749
1001.46/1003.97 c [820.96] solve iteration 79, LB=15746, UB=15749
1001.46/1003.97 c [903.73] solve iteration 80, LB=15746, UB=15749
1001.46/1003.97 c [907.71] solve iteration 81, LB=15746, UB=15749
1001.46/1003.97 c [912.71] solve iteration 82, LB=15746, UB=15749
1001.46/1003.97 c [915.64] solve itera
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 (58694 MiB free)
memory of node 1: 64510 MiB (60164 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431238-1721158707/watcher-4431238-1721158707 -o /tmp/evaluation-result-4431238-1721158707/solver-4431238-1721158707 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721151642-855133 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4431238-1721158707.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=859125, runsolver pid=859122
Current StackSize limit: 8192 KiB
[startup+0.100512 s]*
/proc/loadavg: 4.19 4.13 4.12 5/249 859127
/proc/meminfo: memFree=121702332/131655788 swapFree=131071996/131071996
[pid=859125] ppid=859122 vsize=9928 memory=2764 CPUtime=0 cores=0,2
/proc/859125/stat : 859125 (run-glibc-2.34.) S 859122 859125 855123 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 168030334 10166272 691 134679101440 93874696204288 93874697283608 140721887061696 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93874699382064 93874699429252 93874727976960 140721887065023 140721887065180 140721887065180 140721887072195 0
/proc/859125/statm: 2482 691 610 264 0 133 0
[pid=859127] ppid=859125 vsize=96096 memory=15776 CPUtime=0.09 cores=0,2
/proc/859127/stat : 859127 (ld-linux-x86-64) R 859125 859125 855123 0 -1 4194304 3134 0 0 0 8 1 0 0 20 0 1 0 168030334 98402304 3944 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
/proc/859127/statm: 24024 3944 1618 46 0 4639 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 106024 KiB
Current children cumulated memory: 18540 KiB
[startup+0.208675 s]*
/proc/loadavg: 4.19 4.13 4.12 5/249 859127
/proc/meminfo: memFree=121696764/131655788 swapFree=131071996/131071996
[pid=859125] ppid=859122 vsize=9928 memory=2764 CPUtime=0 cores=0,2
/proc/859125/stat : 859125 (run-glibc-2.34.) S 859122 859125 855123 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 168030334 10166272 691 134679101440 93874696204288 93874697283608 140721887061696 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93874699382064 93874699429252 93874727976960 140721887065023 140721887065180 140721887065180 140721887072195 0
/proc/859125/statm: 2482 691 610 264 0 133 0
[pid=859127] ppid=859125 vsize=101312 memory=20840 CPUtime=0.2 cores=0,2
/proc/859127/stat : 859127 (ld-linux-x86-64) R 859125 859125 855123 0 -1 4194304 4435 0 0 0 19 1 0 0 20 0 1 0 168030334 103743488 5210 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
/proc/859127/statm: 25328 5210 1618 46 0 5943 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 111240 KiB
Current children cumulated memory: 23604 KiB
[startup+0.309073 s]*
/proc/loadavg: 4.19 4.13 4.12 5/249 859127
/proc/meminfo: memFree=121691848/131655788 swapFree=131071996/131071996
[pid=859125] ppid=859122 vsize=9928 memory=2764 CPUtime=0 cores=0,2
/proc/859125/stat : 859125 (run-glibc-2.34.) S 859122 859125 855123 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 168030334 10166272 691 134679101440 93874696204288 93874697283608 140721887061696 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93874699382064 93874699429252 93874727976960 140721887065023 140721887065180 140721887065180 140721887072195 0
/proc/859125/statm: 2482 691 610 264 0 133 0
[pid=859127] ppid=859125 vsize=109332 memory=26080 CPUtime=0.3 cores=0,2
/proc/859127/stat : 859127 (ld-linux-x86-64) R 859125 859125 855123 0 -1 4194304 5952 0 0 0 28 2 0 0 20 0 1 0 168030334 111955968 6520 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
/proc/859127/statm: 27333 6520 1618 46 0 7948 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 119260 KiB
Current children cumulated memory: 28844 KiB
[startup+0.700393 s]
/proc/loadavg: 4.19 4.13 4.12 5/249 859127
/proc/meminfo: memFree=121682380/131655788 swapFree=131071996/131071996
[pid=859125] ppid=859122 vsize=9928 memory=2764 CPUtime=0 cores=0,2
/proc/859125/stat : 859125 (run-glibc-2.34.) S 859122 859125 855123 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 168030334 10166272 691 134679101440 93874696204288 93874697283608 140721887061696 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93874699382064 93874699429252 93874727976960 140721887065023 140721887065180 140721887065180 140721887072195 0
/proc/859125/statm: 2482 691 610 264 0 133 0
[pid=859127] ppid=859125 vsize=130432 memory=45788 CPUtime=0.69 cores=0,2
/proc/859127/stat : 859127 (ld-linux-x86-64) R 859125 859125 855123 0 -1 4194304 9891 0 0 0 65 4 0 0 20 0 1 0 168030334 133562368 11447 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
/proc/859127/statm: 32608 11447 1618 46 0 13223 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 140360 KiB
Current children cumulated memory: 48552 KiB
[startup+1.50043 s]
/proc/loadavg: 4.19 4.13 4.12 5/249 859127
/proc/meminfo: memFree=121653164/131655788 swapFree=131071996/131071996
[pid=859125] ppid=859122 vsize=9928 memory=2764 CPUtime=0 cores=0,2
/proc/859125/stat : 859125 (run-glibc-2.34.) S 859122 859125 855123 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 168030334 10166272 691 134679101440 93874696204288 93874697283608 140721887061696 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93874699382064 93874699429252 93874727976960 140721887065023 140721887065180 140721887065180 140721887072195 0
/proc/859125/statm: 2482 691 610 264 0 133 0
[pid=859127] ppid=859125 vsize=203952 memory=111104 CPUtime=1.48 cores=0,2
/proc/859127/stat : 859127 (ld-linux-x86-64) R 859125 859125 855123 0 -1 4194304 21511 0 0 0 127 21 0 0 20 0 1 0 168030334 208846848 27776 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
/proc/859127/statm: 50988 27776 1730 46 0 31603 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 213880 KiB
Current children cumulated memory: 113868 KiB
[startup+3.11335 s]
/proc/loadavg: 4.17 4.13 4.12 5/250 859128
/proc/meminfo: memFree=121257392/131655788 swapFree=131071996/131071996
[pid=859125] ppid=859122 vsize=9928 memory=2764 CPUtime=0 cores=0,2
/proc/859125/stat : 859125 (run-glibc-2.34.) S 859122 859125 855123 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 168030334 10166272 691 134679101440 93874696204288 93874697283608 140721887061696 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93874699382064 93874699429252 93874727976960 140721887065023 140721887065180 140721887065180 140721887072195 0
/proc/859125/statm: 2482 691 610 264 0 133 0
[pid=859127] ppid=859125 vsize=641476 memory=474060 CPUtime=3.07 cores=0,2
/proc/859127/stat : 859127 (ld-linux-x86-64) R 859125 859125 855123 0 -1 4194304 94908 0 0 0 263 44 0 0 20 0 2 0 168030334 656871424 118515 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
/proc/859127/statm: 160369 118515 2712 46 0 132964 0
[pid=859127/tid=859128] ppid=859125 vsize=641476 memory=0 CPUtime=0 cores=0,2
/proc/859127/task/859128/stat : 859128 (ld-linux-x86-64) S 859125 859125 855123 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 2 0 168030524 656871424 118515 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 651404 KiB
Current children cumulated memory: 476824 KiB
[startup+6.30045 s]
/proc/loadavg: 4.17 4.13 4.12 5/250 859128
/proc/meminfo: memFree=121210332/131655788 swapFree=131071996/131071996
[pid=859125] ppid=859122 vsize=9928 memory=2764 CPUtime=0 cores=0,2
/proc/859125/stat : 859125 (run-glibc-2.34.) S 859122 859125 855123 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 168030334 10166272 691 134679101440 93874696204288 93874697283608 140721887061696 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93874699382064 93874699429252 93874727976960 140721887065023 140721887065180 140721887065180 140721887072195 0
/proc/859125/statm: 2482 691 610 264 0 133 0
[pid=859127] ppid=859125 vsize=690860 memory=510312 CPUtime=6.26 cores=0,2
/proc/859127/stat : 859127 (ld-linux-x86-64) R 859125 859125 855123 0 -1 4194304 134563 0 0 0 578 48 0 0 20 0 2 0 168030334 707440640 127578 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
/proc/859127/statm: 172715 127578 2712 46 0 145310 0
[pid=859127/tid=859128] ppid=859125 vsize=690860 memory=510312 CPUtime=0 cores=0,2
/proc/859127/task/859128/stat : 859128 (ld-linux-x86-64) S 859125 859125 855123 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 168030524 707440640 127578 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 700788 KiB
Current children cumulated memory: 513076 KiB
[startup+12.7004 s]
/proc/loadavg: 4.16 4.12 4.12 6/250 859129
/proc/meminfo: memFree=121205564/131655788 swapFree=131071996/131071996
[pid=859125] ppid=859122 vsize=9928 memory=2764 CPUtime=0 cores=0,2
/proc/859125/stat : 859125 (run-glibc-2.34.) S 859122 859125 855123 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 168030334 10166272 691 134679101440 93874696204288 93874697283608 140721887061696 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93874699382064 93874699429252 93874727976960 140721887065023 140721887065180 140721887065180 140721887072195 0
/proc/859125/statm: 2482 691 610 264 0 133 0
[pid=859127] ppid=859125 vsize=690860 memory=513332 CPUtime=12.64 cores=0,2
/proc/859127/stat : 859127 (ld-linux-x86-64) R 859125 859125 855123 0 -1 4194304 155906 0 0 0 1214 50 0 0 20 0 2 0 168030334 707440640 128333 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
/proc/859127/statm: 172715 128333 2712 46 0 145310 0
[pid=859127/tid=859128] ppid=859125 vsize=690860 memory=11464 CPUtime=0 cores=0,2
/proc/859127/task/859128/stat : 859128 (ld-linux-x86-64) S 859125 859125 855123 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 2 0 168030524 707440640 128333 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 700788 KiB
Current children cumulated memory: 516096 KiB
[startup+25.5005 s]
/proc/loadavg: 4.28 4.15 4.13 5/250 859132
/proc/meminfo: memFree=121185656/131655788 swapFree=131071996/131071996
[pid=859125] ppid=859122 vsize=9928 memory=2764 CPUtime=0 cores=0,2
/proc/859125/stat : 859125 (run-glibc-2.34.) S 859122 859125 855123 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 168030334 10166272 691 134679101440 93874696204288 93874697283608 140721887061696 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93874699382064 93874699429252 93874727976960 140721887065023 140721887065180 140721887065180 140721887072195 0
/proc/859125/statm: 2482 691 610 264 0 133 0
[pid=859127] ppid=859125 vsize=701392 memory=524048 CPUtime=25.42 cores=0,2
/proc/859127/stat : 859127 (ld-linux-x86-64) R 859125 859125 855123 0 -1 4194304 178509 0 0 0 2489 53 0 0 20 0 2 0 168030334 718225408 131012 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
/proc/859127/statm: 175348 131012 2712 46 0 147943 0
[pid=859127/tid=859128] ppid=859125 vsize=701392 memory=2764 CPUtime=0.01 cores=0,2
/proc/859127/task/859128/stat : 859128 (ld-linux-x86-64) S 859125 859125 855123 0 -1 1077936192 23 0 0 0 0 1 0 0 20 0 2 0 168030524 718225408 131012 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 711320 KiB
Current children cumulated memory: 526812 KiB
[startup+51.1128 s]
/proc/loadavg: 4.18 4.14 4.12 5/250 859136
/proc/meminfo: memFree=121123556/131655788 swapFree=131071996/131071996
[pid=859125] ppid=859122 vsize=9928 memory=2764 CPUtime=0 cores=0,2
/proc/859125/stat : 859125 (run-glibc-2.34.) S 859122 859125 855123 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 168030334 10166272 691 134679101440 93874696204288 93874697283608 140721887061696 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93874699382064 93874699429252 93874727976960 140721887065023 140721887065180 140721887065180 140721887072195 0
/proc/859125/statm: 2482 691 610 264 0 133 0
[pid=859127] ppid=859125 vsize=701392 memory=524048 CPUtime=50.98 cores=0,2
/proc/859127/stat : 859127 (ld-linux-x86-64) R 859125 859125 855123 0 -1 4194304 193698 0 0 0 5041 57 0 0 20 0 2 0 168030334 718225408 131012 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
/proc/859127/statm: 175348 131012 2712 46 0 147943 0
[pid=859127/tid=859128] ppid=859125 vsize=701392 memory=524048 CPUtime=0.05 cores=0,2
/proc/859127/task/859128/stat : 859128 (ld-linux-x86-64) S 859125 859125 855123 0 -1 1077936192 36 0 0 0 1 4 0 0 20 0 2 0 168030524 718225408 131012 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 711320 KiB
Current children cumulated memory: 526812 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.13 4.12 5/250 859145
/proc/meminfo: memFree=121113000/131655788 swapFree=131071996/131071996
[pid=859125] ppid=859122 vsize=9928 memory=2764 CPUtime=0 cores=0,2
/proc/859125/stat : 859125 (run-glibc-2.34.) S 859122 859125 855123 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 168030334 10166272 691 134679101440 93874696204288 93874697283608 140721887061696 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93874699382064 93874699429252 93874727976960 140721887065023 140721887065180 140721887065180 140721887072195 0
/proc/859125/statm: 2482 691 610 264 0 133 0
[pid=859127] ppid=859125 vsize=701392 memory=524240 CPUtime=102.05 cores=0,2
/proc/859127/stat : 859127 (ld-linux-x86-64) R 859125 859125 855123 0 -1 4194304 242207 0 0 0 10141 64 0 0 20 0 2 0 168030334 718225408 131060 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
/proc/859127/statm: 175348 131060 2712 46 0 147943 0
[pid=859127/tid=859128] ppid=859125 vsize=701392 memory=11464 CPUtime=0.1 cores=0,2
/proc/859127/task/859128/stat : 859128 (ld-linux-x86-64) S 859125 859125 855123 0 -1 1077936192 47 0 0 0 2 8 0 0 20 0 2 0 168030524 718225408 131060 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 711320 KiB
Current children cumulated memory: 527004 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.13 4.12 5/252 859303
/proc/meminfo: memFree=124237544/131655788 swapFree=131071996/131071996
[pid=859125] ppid=859122 vsize=9928 memory=2764 CPUtime=0 cores=0,2
/proc/859125/stat : 859125 (run-glibc-2.34.) S 859122 859125 855123 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 168030334 10166272 691 134679101440 93874696204288 93874697283608 140721887061696 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93874699382064 93874699429252 93874727976960 140721887065023 140721887065180 140721887065180 140721887072195 0
/proc/859125/statm: 2482 691 610 264 0 133 0
[pid=859127] ppid=859125 vsize=751444 memory=591124 CPUtime=161.94 cores=0,2
/proc/859127/stat : 859127 (ld-linux-x86-64) R 859125 859125 855123 0 -1 4194304 339785 0 0 0 14901 1293 0 0 20 0 2 0 168030334 769478656 147781 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
/proc/859127/statm: 187861 147781 3819 46 0 160456 0
[pid=859127/tid=859128] ppid=859125 vsize=751444 memory=589408 CPUtime=0.17 cores=0,2
/proc/859127/task/859128/stat : 859128 (ld-linux-x86-64) S 859125 859125 855123 0 -1 1077936192 54 0 0 0 4 13 0 0 20 0 2 0 168030524 769478656 147781 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.16 5/251 861128
/proc/meminfo: memFree=121420504/131655788 swapFree=131071996/131071996
[pid=859125] ppid=859122 vsize=9928 memory=2764 CPUtime=0 cores=0,2
/proc/859125/stat : 859125 (run-glibc-2.34.) S 859122 859125 855123 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 168030334 10166272 691 134679101440 93874696204288 93874697283608 140721887061696 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93874699382064 93874699429252 93874727976960 140721887065023 140721887065180 140721887065180 140721887072195 0
/proc/859125/statm: 2482 691 610 264 0 133 0
[pid=859127] ppid=859125 vsize=5403088 memory=4177336 CPUtime=3215.36 cores=0,2
/proc/859127/stat : 859127 (ld-linux-x86-64) R 859125 859125 855123 0 -1 4194304 9938087 0 0 0 300093 21443 0 0 20 0 2 0 168030334 5532762112 1044334 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
/proc/859127/statm: 1350772 1044334 4070 46 0 1323367 0
[pid=859127/tid=859128] ppid=859125 vsize=5403088 memory=2764 CPUtime=3.8 cores=0,2
/proc/859127/task/859128/stat : 859128 (ld-linux-x86-64) S 859125 859125 855123 0 -1 1077936192 196 0 0 0 110 270 0 0 20 0 2 0 168030524 5532762112 1044334 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
Current children cumulated CPU time: 3215.36 s
Current children cumulated vsize: 5413016 KiB
Current children cumulated memory: 4180100 KiB
[startup+3282.3 s]
/proc/loadavg: 5.33 4.44 4.27 5/251 861139
/proc/meminfo: memFree=121375904/131655788 swapFree=131071996/131071996
[pid=859125] ppid=859122 vsize=9928 memory=2764 CPUtime=0 cores=0,2
/proc/859125/stat : 859125 (run-glibc-2.34.) S 859122 859125 855123 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 168030334 10166272 691 134679101440 93874696204288 93874697283608 140721887061696 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93874699382064 93874699429252 93874727976960 140721887065023 140721887065180 140721887065180 140721887072195 0
/proc/859125/statm: 2482 691 610 264 0 133 0
[pid=859127] ppid=859125 vsize=5403088 memory=4218320 CPUtime=3275.25 cores=0,2
/proc/859127/stat : 859127 (ld-linux-x86-64) R 859125 859125 855123 0 -1 4194304 10108863 0 0 0 305299 22226 0 0 20 0 2 0 168030334 5532762112 1054580 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
/proc/859127/statm: 1350772 1054580 4070 46 0 1323367 0
[pid=859127/tid=859128] ppid=859125 vsize=5403088 memory=2764 CPUtime=3.88 cores=0,2
/proc/859127/task/859128/stat : 859128 (ld-linux-x86-64) S 859125 859125 855123 0 -1 1077936192 200 0 0 0 113 275 0 0 20 0 2 0 168030524 5532762112 1054580 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
Current children cumulated CPU time: 3275.25 s
Current children cumulated vsize: 5413016 KiB
Current children cumulated memory: 4221084 KiB
[startup+3342.3 s]
/proc/loadavg: 4.82 4.47 4.29 5/250 861151
/proc/meminfo: memFree=121333872/131655788 swapFree=131071996/131071996
[pid=859125] ppid=859122 vsize=9928 memory=2764 CPUtime=0 cores=0,2
/proc/859125/stat : 859125 (run-glibc-2.34.) S 859122 859125 855123 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 168030334 10166272 691 134679101440 93874696204288 93874697283608 140721887061696 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93874699382064 93874699429252 93874727976960 140721887065023 140721887065180 140721887065180 140721887072195 0
/proc/859125/statm: 2482 691 610 264 0 133 0
[pid=859127] ppid=859125 vsize=5403088 memory=4259324 CPUtime=3335.15 cores=0,2
/proc/859127/stat : 859127 (ld-linux-x86-64) R 859125 859125 855123 0 -1 4194304 10296599 0 0 0 310651 22864 0 0 20 0 2 0 168030334 5532762112 1064831 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
/proc/859127/statm: 1350772 1064831 4070 46 0 1323367 0
[pid=859127/tid=859128] ppid=859125 vsize=5403088 memory=2764 CPUtime=3.95 cores=0,2
/proc/859127/task/859128/stat : 859128 (ld-linux-x86-64) S 859125 859125 855123 0 -1 1077936192 203 0 0 0 115 280 0 0 20 0 2 0 168030524 5532762112 1064831 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
Current children cumulated CPU time: 3335.15 s
Current children cumulated vsize: 5413016 KiB
Current children cumulated memory: 4262088 KiB
[startup+3402.3 s]
/proc/loadavg: 4.41 4.42 4.28 5/250 861161
/proc/meminfo: memFree=121283696/131655788 swapFree=131071996/131071996
[pid=859125] ppid=859122 vsize=9928 memory=2764 CPUtime=0 cores=0,2
/proc/859125/stat : 859125 (run-glibc-2.34.) S 859122 859125 855123 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 168030334 10166272 691 134679101440 93874696204288 93874697283608 140721887061696 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93874699382064 93874699429252 93874727976960 140721887065023 140721887065180 140721887065180 140721887072195 0
/proc/859125/statm: 2482 691 610 264 0 133 0
[pid=859127] ppid=859125 vsize=5418004 memory=4302088 CPUtime=3394.99 cores=0,2
/proc/859127/stat : 859127 (ld-linux-x86-64) R 859125 859125 855123 0 -1 4194304 10474843 0 0 0 316473 23026 0 0 20 0 2 0 168030334 5548036096 1075522 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
/proc/859127/statm: 1354501 1075522 4070 46 0 1327096 0
[pid=859127/tid=859128] ppid=859125 vsize=5418004 memory=2764 CPUtime=4.03 cores=0,2
/proc/859127/task/859128/stat : 859128 (ld-linux-x86-64) S 859125 859125 855123 0 -1 1077936192 207 0 0 0 117 286 0 0 20 0 2 0 168030524 5548036096 1075522 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
Current children cumulated CPU time: 3394.99 s
Current children cumulated vsize: 5427932 KiB
Current children cumulated memory: 4304852 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.34 4.26 5/252 861176
/proc/meminfo: memFree=121239960/131655788 swapFree=131071996/131071996
[pid=859125] ppid=859122 vsize=9928 memory=2764 CPUtime=0 cores=0,2
/proc/859125/stat : 859125 (run-glibc-2.34.) S 859122 859125 855123 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 168030334 10166272 691 134679101440 93874696204288 93874697283608 140721887061696 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93874699382064 93874699429252 93874727976960 140721887065023 140721887065180 140721887065180 140721887072195 0
/proc/859125/statm: 2482 691 610 264 0 133 0
[pid=859127] ppid=859125 vsize=5418004 memory=4343092 CPUtime=3454.89 cores=0,2
/proc/859127/stat : 859127 (ld-linux-x86-64) R 859125 859125 855123 0 -1 4194304 10700922 0 0 0 322202 23287 0 0 20 0 2 0 168030334 5548036096 1085773 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
/proc/859127/statm: 1354501 1085773 4070 46 0 1327096 0
[pid=859127/tid=859128] ppid=859125 vsize=5418004 memory=7754528441852271515 CPUtime=4.11 cores=0,2
/proc/859127/task/859128/stat : 859128 (ld-linux-x86-64) S 859125 859125 855123 0 -1 1077936192 211 0 0 0 121 290 0 0 20 0 2 0 168030524 5548036096 1085773 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
Current children cumulated CPU time: 3454.89 s
Current children cumulated vsize: 5427932 KiB
Current children cumulated memory: 4345856 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.31 4.25 5/252 861186
/proc/meminfo: memFree=121182364/131655788 swapFree=131071996/131071996
[pid=859125] ppid=859122 vsize=9928 memory=2764 CPUtime=0 cores=0,2
/proc/859125/stat : 859125 (run-glibc-2.34.) S 859122 859125 855123 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 168030334 10166272 691 134679101440 93874696204288 93874697283608 140721887061696 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93874699382064 93874699429252 93874727976960 140721887065023 140721887065180 140721887065180 140721887072195 0
/proc/859125/statm: 2482 691 610 264 0 133 0
[pid=859127] ppid=859125 vsize=5418004 memory=4384072 CPUtime=3514.78 cores=0,2
/proc/859127/stat : 859127 (ld-linux-x86-64) R 859125 859125 855123 0 -1 4194304 10935068 0 0 0 327831 23647 0 0 20 0 2 0 168030334 5548036096 1096018 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
/proc/859127/statm: 1354501 1096018 4070 46 0 1327096 0
[pid=859127/tid=859128] ppid=859125 vsize=5418004 memory=4377160 CPUtime=4.19 cores=0,2
/proc/859127/task/859128/stat : 859128 (ld-linux-x86-64) S 859125 859125 855123 0 -1 1077936192 215 0 0 0 123 296 0 0 20 0 2 0 168030524 5548036096 1096018 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
Current children cumulated CPU time: 3514.78 s
Current children cumulated vsize: 5427932 KiB
Current children cumulated memory: 4386836 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.26 4.24 5/252 861196
/proc/meminfo: memFree=121100156/131655788 swapFree=131071996/131071996
[pid=859125] ppid=859122 vsize=9928 memory=2764 CPUtime=0 cores=0,2
/proc/859125/stat : 859125 (run-glibc-2.34.) S 859122 859125 855123 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 168030334 10166272 691 134679101440 93874696204288 93874697283608 140721887061696 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93874699382064 93874699429252 93874727976960 140721887065023 140721887065180 140721887065180 140721887072195 0
/proc/859125/statm: 2482 691 610 264 0 133 0
[pid=859127] ppid=859125 vsize=5418004 memory=4418312 CPUtime=3574.68 cores=0,2
/proc/859127/stat : 859127 (ld-linux-x86-64) R 859125 859125 855123 0 -1 4194304 11165559 0 0 0 333664 23804 0 0 20 0 2 0 168030334 5548036096 1104578 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
/proc/859127/statm: 1354501 1104578 4070 46 0 1327096 0
[pid=859127/tid=859128] ppid=859125 vsize=5418004 memory=2764 CPUtime=4.27 cores=0,2
/proc/859127/task/859128/stat : 859128 (ld-linux-x86-64) S 859125 859125 855123 0 -1 1077936192 218 0 0 0 126 301 0 0 20 0 2 0 168030524 5548036096 1104578 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
Current children cumulated CPU time: 3574.68 s
Current children cumulated vsize: 5427932 KiB
Current children cumulated memory: 4421076 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3607.7 s]
/proc/loadavg: 4.14 4.26 4.24 5/252 861199
/proc/meminfo: memFree=121071744/131655788 swapFree=131071996/131071996
[pid=859125] ppid=859122 vsize=9928 memory=2764 CPUtime=0 cores=0,2
/proc/859125/stat : 859125 (run-glibc-2.34.) S 859122 859125 855123 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 168030334 10166272 691 134679101440 93874696204288 93874697283608 140721887061696 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93874699382064 93874699429252 93874727976960 140721887065023 140721887065180 140721887065180 140721887072195 0
/proc/859125/statm: 2482 691 610 264 0 133 0
[pid=859127] ppid=859125 vsize=5418004 memory=4438728 CPUtime=3600.03 cores=0,2
/proc/859127/stat : 859127 (ld-linux-x86-64) R 859125 859125 855123 0 -1 4194304 11371923 0 0 0 336046 23957 0 0 20 0 2 0 168030334 5548036096 1109682 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
/proc/859127/statm: 1354501 1109682 4070 46 0 1327096 0
[pid=859127/tid=859128] ppid=859125 vsize=5418004 memory=42120 CPUtime=4.3 cores=0,2
/proc/859127/task/859128/stat : 859128 (ld-linux-x86-64) S 859125 859125 855123 0 -1 1077936192 218 0 0 0 127 303 0 0 20 0 2 0 168030524 5548036096 1109682 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 5427932 KiB
Current children cumulated memory: 4441492 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3607.71 s]
# the end of solver process 859125 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002407 s, system=0.001465 s
[startup+3607.74 s]
# the end of solver process 859127 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3360.48 s, system=239.613 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
[startup+3607.7 s]
/proc/loadavg: 4.14 4.26 4.24 5/252 861199
/proc/meminfo: memFree=121071744/131655788 swapFree=131071996/131071996
[pid=859125] ppid=859122 vsize=9928 memory=2764 CPUtime=0 cores=0,2
/proc/859125/stat : 859125 (run-glibc-2.34.) S 859122 859125 855123 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 168030334 10166272 691 134679101440 93874696204288 93874697283608 140721887061696 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93874699382064 93874699429252 93874727976960 140721887065023 140721887065180 140721887065180 140721887072195 0
/proc/859125/statm: 2482 691 610 264 0 133 0
[pid=859127] ppid=859125 vsize=5418004 memory=4438728 CPUtime=3600.03 cores=0,2
/proc/859127/stat : 859127 (ld-linux-x86-64) R 859125 859125 855123 0 -1 4194304 11371923 0 0 0 336046 23957 0 0 20 0 2 0 168030334 5548036096 1109682 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
/proc/859127/statm: 1354501 1109682 4070 46 0 1327096 0
[pid=859127/tid=859128] ppid=859125 vsize=5418004 memory=42120 CPUtime=4.3 cores=0,2
/proc/859127/task/859128/stat : 859128 (ld-linux-x86-64) S 859125 859125 855123 0 -1 1077936192 218 0 0 0 127 303 0 0 20 0 2 0 168030524 5548036096 1109682 134679101440 139796346023936 139796346211548 140728331745024 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139796348312448 139796348321896 93825007284224 140728331752279 140728331752443 140728331752443 140728331759538 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 5427932 KiB
Current children cumulated memory: 4441492 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3607.74
CPU time (s): 3600.09
CPU user time (s): 3360.48
CPU system time (s): 239.613
CPU usage (%): 99.7878
Max. virtual memory (cumulated for all children) (KiB): 5455136
Max. memory (cumulated for all children) (KiB): 4441492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3360.48
system time used= 239.613
maximum resident set size= 4438728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11372188
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= 357032
involuntary context switches= 24610
# summary of solver processes directly reported to runsolver:
# pid: 859125,859127
# total CPU time (s): 3600.09
# total CPU user time (s): 3360.48
# total CPU system time (s): 239.613
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.9384 second user time and 35.418 second system time
The end