4.56/4.67 c initialize IPBHS solver
4.56/4.67 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
4.56/4.67 c optimizer = "gurobi"
4.56/4.67 c pbsolver = "roundingsat"
4.56/4.67 c load symmetries from file ""
4.56/4.67 c set time limit for symmetry computation to 100 seconds.
4.56/4.67 c set interchangeable summation variable limit to 3
4.56/4.67 c find symmetric cores by applying each permutation and add them to optimizer
4.56/4.67 c set abs symmetric core budget per WCE-iteration to 100
4.56/4.67 c set rel symmetric core budget per WCE-iteration to 0
4.56/4.67 c set lit symmetric core budget per WCE-iteration to 0
4.56/4.67 c set sym generation to 's'
4.56/4.67 c set abstraction set creation to 10 iterations without LB change
4.56/4.67 c set abstraction set inputs to 0
4.56/4.67 c set abstraction set cluster min size to 2
4.56/4.67 c set abstraction set cluster max size to 100000000
4.56/4.67 c set abstraction set cluster activation limit to 2
4.56/4.67 c enable abstraction set require equal cost
4.56/4.67 c set abstraction set assumptions to 0
4.56/4.67 c set abstraction set constraint type to 0
4.56/4.67 c set abstract core extraction strategy to b
4.56/4.67 c set core extraction strategy to 2
4.56/4.67 c set core extraction shuffles 10
4.56/4.67 c set cores per iteration to 5
4.56/4.67 c set optimizer bound usage strategy to 2
4.56/4.67 c set optimizer max non-optimal iterations to 1000
4.56/4.67 c set small core cardinality limit to 2
4.56/4.67 c set max coef in cores to 1000000000
4.56/4.67 c set SIS iterations to 5
4.56/4.67 c set SIS budget abs to 1000
4.56/4.67 c set SIS budget rel to 0.05
4.56/4.67 c limit for coefficient in constraints and objective to 9223372036854775807
4.56/4.67 c will solve HOME/instance-4431237-1721158841.opb
793.51/795.09 c [20.44] solve iteration 1, LB=0, UB=1575761
793.51/795.09 c [24.04] solve iteration 2, LB=2, UB=22572
793.51/795.09 c [26.55] solve iteration 3, LB=4794, UB=17464
793.51/795.09 c [28.18] solve iteration 4, LB=4794, UB=12002
793.51/795.09 c [30.05] solve iteration 5, LB=4794, UB=12002
793.51/795.09 c [32.68] solve iteration 6, LB=4795, UB=12001
793.51/795.09 c [34.11] solve iteration 7, LB=4796, UB=11312
793.51/795.09 c [35.28] solve iteration 8, LB=4797, UB=11312
793.51/795.09 c [36.71] solve iteration 9, LB=4797, UB=8921
793.51/795.09 c [37.74] solve iteration 10, LB=4797, UB=8921
793.51/795.09 c [38.69] solve iteration 11, LB=4797, UB=5860
793.51/795.09 c [41.11] solve iteration 12, LB=4797, UB=5179
793.51/795.09 c [42.6] solve iteration 13, LB=4799, UB=5179
793.51/795.09 c [43.67] solve iteration 14, LB=4799, UB=5174
793.51/795.09 c [44.61] solve iteration 15, LB=4799, UB=5168
793.51/795.09 c [46.46] solve iteration 16, LB=4799, UB=5167
793.51/795.09 c [47.18] solve iteration 17, LB=4799, UB=5159
793.51/795.09 c [48.62] solve iteration 18, LB=4799, UB=5159
793.51/795.09 c [49.97] solve iteration 19, LB=4800, UB=4827
793.51/795.09 c [50.89] solve iteration 20, LB=4800, UB=4827
793.51/795.09 c [51.54] solve iteration 21, LB=4800, UB=4823
793.51/795.09 c [52.27] solve iteration 22, LB=4800, UB=4821
793.51/795.09 c [52.7] solve iteration 23, LB=4800, UB=4811
793.51/795.09 c [53.16] solve iteration 24, LB=4805, UB=4811
793.51/795.09 c [53.76] solve iteration 25, LB=4805, UB=4811
793.51/795.09 c [54.84] solve iteration 26, LB=4805, UB=4811
793.51/795.09 c [55.69] solve iteration 27, LB=4805, UB=4811
793.51/795.09 c [56.91] solve iteration 28, LB=4805, UB=4811
793.51/795.09 c [61.43] solve iteration 29, LB=4805, UB=4810
793.51/795.09 c [62.53] solve iteration 30, LB=4805, UB=4810
793.51/795.09 c [63.25] solve iteration 31, LB=4805, UB=4810
793.51/795.09 c [64.05] solve iteration 32, LB=4805, UB=4810
793.51/795.09 c [64.72] solve iteration 33, LB=4805, UB=4810
793.51/795.09 c [72.89] solve iteration 34, LB=4805, UB=4810
793.51/795.09 c [73.71] solve iteration 35, LB=4805, UB=4810
793.51/795.09 c [74.75] solve iteration 36, LB=4805, UB=4810
793.51/795.09 c [75.71] solve iteration 37, LB=4805, UB=4810
793.51/795.09 c [76.75] solve iteration 38, LB=4805, UB=4810
793.51/795.09 c [87.35] solve iteration 39, LB=4805, UB=4810
793.51/795.09 c [88.58] solve iteration 40, LB=4805, UB=4810
793.51/795.09 c [89.56] solve iteration 41, LB=4805, UB=4810
793.51/795.09 c [91.23] solve iteration 42, LB=4805, UB=4810
793.51/795.09 c [92.29] solve iteration 43, LB=4805, UB=4810
793.51/795.09 c [102.83] solve iteration 44, LB=4805, UB=4810
793.51/795.09 c [104.07] solve iteration 45, LB=4805, UB=4810
793.51/795.09 c [105.32] solve iteration 46, LB=4805, UB=4810
793.51/795.09 c [106.62] solve iteration 47, LB=4805, UB=4810
793.51/795.09 c [107.98] solve iteration 48, LB=4805, UB=4810
793.51/795.09 c [111.21] solve iteration 49, LB=4805, UB=4809
793.51/795.09 c [112.59] solve iteration 50, LB=4805, UB=4809
793.51/795.09 c [114.01] solve iteration 51, LB=4805, UB=4809
793.51/795.09 c [115.41] solve iteration 52, LB=4805, UB=4809
793.51/795.09 c [117.21] solve iteration 53, LB=4805, UB=4809
793.51/795.09 c [135.71] solve iteration 54, LB=4805, UB=4809
793.51/795.09 c [136.99] solve iteration 55, LB=4805, UB=4809
793.51/795.09 c [138.51] solve iteration 56, LB=4805, UB=4809
793.51/795.09 c [139.82] solve iteration 57, LB=4805, UB=4809
793.51/795.09 c [141.06] solve iteration 58, LB=4805, UB=4809
793.51/795.09 c [146.3] solve iteration 59, LB=4805, UB=4808
793.51/795.09 c [147.61] solve iteration 60, LB=4805, UB=4808
793.51/795.09 c [148.97] solve iteration 61, LB=4805, UB=4808
793.51/795.09 c [150.32] solve iteration 62, LB=4805, UB=4808
793.51/795.09 c [151.8] solve iteration 63, LB=4805, UB=4808
793.51/795.09 c [185.55] solve iteration 64, LB=4805, UB=4808
793.51/795.09 c [188.16] solve iteration 65, LB=4805, UB=4808
793.51/795.09 c [191.5] solve iteration 66, LB=4805, UB=4808
793.51/795.09 c [192.77] solve iteration 67, LB=4805, UB=4807
793.51/795.09 c [196.56] solve iteration 68, LB=4806, UB=4807
793.51/795.09 c [199.01] solve iteration 69, LB=4806, UB=4807
793.51/795.09 c [201.38] solve iteration 70, LB=4806, UB=4807
793.51/795.09 c [204.16] solve iteration 71, LB=4806, UB=4807
793.51/795.09 c [207.47] solve iteration 72, LB=4806, UB=4807
793.51/795.09 c [393.02] solve iteration 73, LB=4806, UB=4807
793.51/795.09 c [396.7] solve iteration 74, LB=4806, UB=4807
793.51/795.09 c [400.19] solve iteration 75, LB=4806, UB=4807
793.51/795.09 c [403.85] solve iteration 76, LB=4806, UB=4807
793.51/795.09 c [407.53] solve iteration 77, LB=4806, UB=4807
793.51/795.09 c [486.33] solve iteration 78, LB=4806, UB=4807
793.51/795.09 c [493.28] solve iteration 79, LB=4806, UB=4807
793.51/795.09 c [497.94] solve iteration 80, LB=4806, UB=4807
793.51/795.09 c [502.89] solve iteration 81, LB=4806, UB=4807
793.51/795.09 c [507.94] solve iteration 82, LB=4806, UB=4807
793.51/795.09 c [760.8] solve iteration 83, LB=4806, UB=4807
793.51/795.09 c [764.25] solve iteration 84, LB=4806, UB=4807
793.51/795.09 c [767.52] solve iteration 85, LB=4806, UB=4807
793.51/795.09 c [770.06] solve iteration 86, LB=4806, UB=4807
793.51/795.09 c [773.05] solve iterat
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 (61137 MiB free)
memory of node 1: 64510 MiB (62851 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431237-1721158841/watcher-4431237-1721158841 -o /tmp/evaluation-result-4431237-1721158841/solver-4431237-1721158841 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721151642-855136 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4431237-1721158841.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=859283, runsolver pid=859280
Current StackSize limit: 8192 KiB
[startup+0.100438 s]*
/proc/loadavg: 4.13 4.13 4.12 5/243 859285
/proc/meminfo: memFree=126947344/131655788 swapFree=131071996/131071996
[pid=859283] ppid=859280 vsize=9928 memory=2740 CPUtime=0 cores=5,7
/proc/859283/stat : 859283 (run-glibc-2.34.) S 859280 859283 855123 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 168043736 10166272 685 134679101440 94426749313024 94426750392344 140734497103872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94426752490800 94426752537988 94426761424896 140734497113023 140734497113180 140734497113180 140734497120195 0
/proc/859283/statm: 2482 685 604 264 0 133 0
[pid=859285] ppid=859283 vsize=93588 memory=12748 CPUtime=0.09 cores=5,7
/proc/859285/stat : 859285 (ld-linux-x86-64) R 859283 859283 855123 0 -1 4194304 2365 0 0 0 9 0 0 0 20 0 1 0 168043736 95834112 3187 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
/proc/859285/statm: 23397 3187 1571 46 0 4012 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 103516 KiB
Current children cumulated memory: 15488 KiB
[startup+0.213591 s]*
/proc/loadavg: 4.13 4.13 4.12 5/250 859296
/proc/meminfo: memFree=126918848/131655788 swapFree=131071996/131071996
[pid=859283] ppid=859280 vsize=9928 memory=2740 CPUtime=0 cores=5,7
/proc/859283/stat : 859283 (run-glibc-2.34.) S 859280 859283 855123 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 168043736 10166272 685 134679101440 94426749313024 94426750392344 140734497103872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94426752490800 94426752537988 94426761424896 140734497113023 140734497113180 140734497113180 140734497120195 0
/proc/859283/statm: 2482 685 604 264 0 133 0
[pid=859285] ppid=859283 vsize=101336 memory=20560 CPUtime=0.21 cores=5,7
/proc/859285/stat : 859285 (ld-linux-x86-64) R 859283 859283 855123 0 -1 4194304 4474 0 0 0 20 1 0 0 20 0 1 0 168043736 103768064 5140 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
/proc/859285/statm: 25334 5140 1571 46 0 5949 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 111264 KiB
Current children cumulated memory: 23300 KiB
[startup+0.313731 s]*
/proc/loadavg: 4.13 4.13 4.12 5/250 859296
/proc/meminfo: memFree=126894360/131655788 swapFree=131071996/131071996
[pid=859283] ppid=859280 vsize=9928 memory=2740 CPUtime=0 cores=5,7
/proc/859283/stat : 859283 (run-glibc-2.34.) S 859280 859283 855123 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 168043736 10166272 685 134679101440 94426749313024 94426750392344 140734497103872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94426752490800 94426752537988 94426761424896 140734497113023 140734497113180 140734497113180 140734497120195 0
/proc/859283/statm: 2482 685 604 264 0 133 0
[pid=859285] ppid=859283 vsize=110216 memory=28172 CPUtime=0.31 cores=5,7
/proc/859285/stat : 859285 (ld-linux-x86-64) R 859283 859283 855123 0 -1 4194304 5830 0 0 0 30 1 0 0 20 0 1 0 168043736 112861184 7043 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
/proc/859285/statm: 27554 7043 1571 46 0 8169 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 120144 KiB
Current children cumulated memory: 30912 KiB
[startup+0.700439 s]
/proc/loadavg: 4.13 4.13 4.12 5/250 859296
/proc/meminfo: memFree=126858812/131655788 swapFree=131071996/131071996
[pid=859283] ppid=859280 vsize=9928 memory=2740 CPUtime=0 cores=5,7
/proc/859283/stat : 859283 (run-glibc-2.34.) S 859280 859283 855123 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 168043736 10166272 685 134679101440 94426749313024 94426750392344 140734497103872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94426752490800 94426752537988 94426761424896 140734497113023 140734497113180 140734497113180 140734497120195 0
/proc/859283/statm: 2482 685 604 264 0 133 0
[pid=859285] ppid=859283 vsize=136976 memory=54544 CPUtime=0.68 cores=5,7
/proc/859285/stat : 859285 (ld-linux-x86-64) R 859283 859283 855123 0 -1 4194304 10881 0 0 0 65 3 0 0 20 0 1 0 168043736 140263424 13636 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
/proc/859285/statm: 34244 13636 1571 46 0 14859 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 146904 KiB
Current children cumulated memory: 57284 KiB
[startup+1.5004 s]
/proc/loadavg: 4.13 4.13 4.12 5/250 859296
/proc/meminfo: memFree=126744628/131655788 swapFree=131071996/131071996
[pid=859283] ppid=859280 vsize=9928 memory=2740 CPUtime=0 cores=5,7
/proc/859283/stat : 859283 (run-glibc-2.34.) S 859280 859283 855123 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 168043736 10166272 685 134679101440 94426749313024 94426750392344 140734497103872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94426752490800 94426752537988 94426761424896 140734497113023 140734497113180 140734497113180 140734497120195 0
/proc/859283/statm: 2482 685 604 264 0 133 0
[pid=859285] ppid=859283 vsize=218120 memory=131996 CPUtime=1.48 cores=5,7
/proc/859285/stat : 859285 (ld-linux-x86-64) R 859283 859283 855123 0 -1 4194304 24520 0 0 0 133 15 0 0 20 0 1 0 168043736 223354880 32999 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
/proc/859285/statm: 54530 32999 1699 46 0 35145 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 228048 KiB
Current children cumulated memory: 134736 KiB
[startup+3.11365 s]
/proc/loadavg: 4.13 4.13 4.12 6/251 859297
/proc/meminfo: memFree=125962880/131655788 swapFree=131071996/131071996
[pid=859283] ppid=859280 vsize=9928 memory=2740 CPUtime=0 cores=5,7
/proc/859283/stat : 859283 (run-glibc-2.34.) S 859280 859283 855123 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 168043736 10166272 685 134679101440 94426749313024 94426750392344 140734497103872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94426752490800 94426752537988 94426761424896 140734497113023 140734497113180 140734497113180 140734497120195 0
/proc/859283/statm: 2482 685 604 264 0 133 0
[pid=859285] ppid=859283 vsize=739556 memory=603364 CPUtime=3.08 cores=5,7
/proc/859285/stat : 859285 (ld-linux-x86-64) R 859283 859283 855123 0 -1 4194304 113923 0 0 0 256 52 0 0 20 0 2 0 168043736 757305344 150841 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
/proc/859285/statm: 184889 150841 2719 46 0 157484 0
[pid=859285/tid=859297] ppid=859283 vsize=739556 memory=61144 CPUtime=0 cores=5,7
/proc/859285/task/859297/stat : 859297 (ld-linux-x86-64) S 859283 859283 855123 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 168043961 757305344 150841 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 749484 KiB
Current children cumulated memory: 606104 KiB
[startup+6.30037 s]
/proc/loadavg: 4.12 4.13 4.12 5/252 859300
/proc/meminfo: memFree=124868816/131655788 swapFree=131071996/131071996
[pid=859283] ppid=859280 vsize=9928 memory=2740 CPUtime=0 cores=5,7
/proc/859283/stat : 859283 (run-glibc-2.34.) S 859280 859283 855123 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 168043736 10166272 685 134679101440 94426749313024 94426750392344 140734497103872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94426752490800 94426752537988 94426761424896 140734497113023 140734497113180 140734497113180 140734497120195 0
/proc/859283/statm: 2482 685 604 264 0 133 0
[pid=859285] ppid=859283 vsize=918148 memory=755440 CPUtime=6.26 cores=5,7
/proc/859285/stat : 859285 (ld-linux-x86-64) R 859283 859283 855123 0 -1 4194304 138611 0 0 0 568 58 0 0 20 0 2 0 168043736 940183552 188860 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
/proc/859285/statm: 229537 188860 2719 46 0 202132 0
[pid=859285/tid=859297] ppid=859283 vsize=918148 memory=61144 CPUtime=0 cores=5,7
/proc/859285/task/859297/stat : 859297 (ld-linux-x86-64) S 859283 859283 855123 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 2 0 168043961 940183552 188860 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 928076 KiB
Current children cumulated memory: 758180 KiB
[startup+12.7004 s]
/proc/loadavg: 4.11 4.12 4.12 5/252 859300
/proc/meminfo: memFree=124451796/131655788 swapFree=131071996/131071996
[pid=859283] ppid=859280 vsize=9928 memory=2740 CPUtime=0 cores=5,7
/proc/859283/stat : 859283 (run-glibc-2.34.) S 859280 859283 855123 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 168043736 10166272 685 134679101440 94426749313024 94426750392344 140734497103872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94426752490800 94426752537988 94426761424896 140734497113023 140734497113180 140734497113180 140734497120195 0
/proc/859283/statm: 2482 685 604 264 0 133 0
[pid=859285] ppid=859283 vsize=918148 memory=755648 CPUtime=12.65 cores=5,7
/proc/859285/stat : 859285 (ld-linux-x86-64) R 859283 859283 855123 0 -1 4194304 146071 0 0 0 1206 59 0 0 20 0 2 0 168043736 940183552 188912 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
/proc/859285/statm: 229537 188912 2719 46 0 202132 0
[pid=859285/tid=859297] ppid=859283 vsize=918148 memory=0 CPUtime=0 cores=5,7
/proc/859285/task/859297/stat : 859297 (ld-linux-x86-64) S 859283 859283 855123 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 2 0 168043961 940183552 188912 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 928076 KiB
Current children cumulated memory: 758388 KiB
[startup+25.5004 s]
/proc/loadavg: 4.16 4.13 4.12 5/252 859303
/proc/meminfo: memFree=124237600/131655788 swapFree=131071996/131071996
[pid=859283] ppid=859280 vsize=9928 memory=2740 CPUtime=0 cores=5,7
/proc/859283/stat : 859283 (run-glibc-2.34.) S 859280 859283 855123 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 168043736 10166272 685 134679101440 94426749313024 94426750392344 140734497103872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94426752490800 94426752537988 94426761424896 140734497113023 140734497113180 140734497113180 140734497120195 0
/proc/859283/statm: 2482 685 604 264 0 133 0
[pid=859285] ppid=859283 vsize=967116 memory=835564 CPUtime=25.43 cores=5,7
/proc/859285/stat : 859285 (ld-linux-x86-64) R 859283 859283 855123 0 -1 4194304 274835 0 0 0 2409 134 0 0 20 0 2 0 168043736 990326784 208891 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
/proc/859285/statm: 241779 208891 3557 46 0 214374 0
[pid=859285/tid=859297] ppid=859283 vsize=967116 memory=11464 CPUtime=0.02 cores=5,7
/proc/859285/task/859297/stat : 859297 (ld-linux-x86-64) S 859283 859283 855123 0 -1 1077936192 10 0 0 0 1 1 0 0 20 0 2 0 168043961 990326784 208891 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 977044 KiB
Current children cumulated memory: 838304 KiB
[startup+51.1134 s]
/proc/loadavg: 4.23 4.15 4.13 5/252 859306
/proc/meminfo: memFree=124162172/131655788 swapFree=131071996/131071996
[pid=859283] ppid=859280 vsize=9928 memory=2740 CPUtime=0 cores=5,7
/proc/859283/stat : 859283 (run-glibc-2.34.) S 859280 859283 855123 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 168043736 10166272 685 134679101440 94426749313024 94426750392344 140734497103872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94426752490800 94426752537988 94426761424896 140734497113023 140734497113180 140734497113180 140734497120195 0
/proc/859283/statm: 2482 685 604 264 0 133 0
[pid=859285] ppid=859283 vsize=967116 memory=836792 CPUtime=50.91 cores=5,7
/proc/859285/stat : 859285 (ld-linux-x86-64) R 859283 859283 855123 0 -1 4194304 322906 0 0 0 4416 675 0 0 20 0 2 0 168043736 990326784 209198 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
/proc/859285/statm: 241779 209198 3828 46 0 214374 0
[pid=859285/tid=859297] ppid=859283 vsize=967116 memory=2740 CPUtime=0.04 cores=5,7
/proc/859285/task/859297/stat : 859297 (ld-linux-x86-64) S 859283 859283 855123 0 -1 1077936192 14 0 0 0 1 3 0 0 20 0 2 0 168043961 990326784 209198 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 977044 KiB
Current children cumulated memory: 839532 KiB
[startup+102.301 s]
/proc/loadavg: 4.14 4.14 4.12 5/252 859315
/proc/meminfo: memFree=123983780/131655788 swapFree=131071996/131071996
[pid=859283] ppid=859280 vsize=9928 memory=2740 CPUtime=0 cores=5,7
/proc/859283/stat : 859283 (run-glibc-2.34.) S 859280 859283 855123 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 168043736 10166272 685 134679101440 94426749313024 94426750392344 140734497103872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94426752490800 94426752537988 94426761424896 140734497113023 140734497113180 140734497113180 140734497120195 0
/proc/859283/statm: 2482 685 604 264 0 133 0
[pid=859285] ppid=859283 vsize=1028580 memory=900872 CPUtime=101.91 cores=5,7
/proc/859285/stat : 859285 (ld-linux-x86-64) R 859283 859283 855123 0 -1 4194304 423748 0 0 0 9106 1085 0 0 20 0 2 0 168043736 1053265920 225218 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
/proc/859285/statm: 257145 225218 4032 46 0 229740 0
[pid=859285/tid=859297] ppid=859283 vsize=1028580 memory=0 CPUtime=0.1 cores=5,7
/proc/859285/task/859297/stat : 859297 (ld-linux-x86-64) S 859283 859283 855123 0 -1 1077936192 24 0 0 0 3 7 0 0 20 0 2 0 168043961 1053265920 225218 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 1038508 KiB
Current children cumulated memory: 903612 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.16 4.13 5/252 859325
/proc/meminfo: memFree=123756172/131655788 swapFree=131071996/131071996
[pid=859283] ppid=859280 vsize=9928 memory=2740 CPUtime=0 cores=5,7
/proc/859283/stat : 859283 (run-glibc-2.34.) S 859280 859283 855123 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 168043736 10166272 685 134679101440 94426749313024 94426750392344 140734497103872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94426752490800 94426752537988 94426761424896 140734497113023 140734497113180 140734497113180 140734497120195 0
/proc/859283/statm: 2482 685 604 264 0 133 0
[pid=859285] ppid=859283 vsize=1028580 memory=902920 CPUtime=161.73 cores=5,7
/proc/859285/stat : 859285 (ld-linux-x86-64) R 859283 859283 855123 0 -1 4194304 544340 0 0 0 14855 1318 0 0 20 0 2 0 168043736 1053265920 225730 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
/proc/859285/statm: 257145 225730 4032 46 0 229740 0
[pid=859285/tid=859297] ppid=859283 vsize=1028580 memory=2740 CPUtime=0.17 cores=5,7
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.64 4.45 4.29 5/250 861153
/proc/meminfo: memFree=121334380/131655788 swapFree=131071996/131071996
[pid=859283] ppid=859280 vsize=9928 memory=2740 CPUtime=0 cores=5,7
/proc/859283/stat : 859283 (run-glibc-2.34.) S 859280 859283 855123 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 168043736 10166272 685 134679101440 94426749313024 94426750392344 140734497103872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94426752490800 94426752537988 94426761424896 140734497113023 140734497113180 140734497113180 140734497120195 0
/proc/859283/statm: 2482 685 604 264 0 133 0
[pid=859285] ppid=859283 vsize=2040048 memory=1911552 CPUtime=3218 cores=5,7
/proc/859285/stat : 859285 (ld-linux-x86-64) R 859283 859283 855123 0 -1 4194304 2192539 0 0 0 318551 3249 0 0 20 0 2 0 168043736 2089009152 477888 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
/proc/859285/statm: 510012 477888 4048 46 0 482607 0
[pid=859285/tid=859297] ppid=859283 vsize=2040048 memory=11464 CPUtime=3.99 cores=5,7
/proc/859285/task/859297/stat : 859297 (ld-linux-x86-64) S 859283 859283 855123 0 -1 1077936192 199 0 0 0 130 269 0 0 20 0 2 0 168043961 2089009152 477888 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
Current children cumulated CPU time: 3218 s
Current children cumulated vsize: 2049976 KiB
Current children cumulated memory: 1914292 KiB
[startup+3282.3 s]
/proc/loadavg: 4.31 4.40 4.27 5/250 861163
/proc/meminfo: memFree=121276720/131655788 swapFree=131071996/131071996
[pid=859283] ppid=859280 vsize=9928 memory=2740 CPUtime=0 cores=5,7
/proc/859283/stat : 859283 (run-glibc-2.34.) S 859280 859283 855123 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 168043736 10166272 685 134679101440 94426749313024 94426750392344 140734497103872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94426752490800 94426752537988 94426761424896 140734497113023 140734497113180 140734497113180 140734497120195 0
/proc/859283/statm: 2482 685 604 264 0 133 0
[pid=859285] ppid=859283 vsize=2040048 memory=1911552 CPUtime=3277.94 cores=5,7
/proc/859285/stat : 859285 (ld-linux-x86-64) R 859283 859283 855123 0 -1 4194304 2194463 0 0 0 324530 3264 0 0 20 0 2 0 168043736 2089009152 477888 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
/proc/859285/statm: 510012 477888 4048 46 0 482607 0
[pid=859285/tid=859297] ppid=859283 vsize=2040048 memory=2740 CPUtime=4.06 cores=5,7
/proc/859285/task/859297/stat : 859297 (ld-linux-x86-64) S 859283 859283 855123 0 -1 1077936192 202 0 0 0 132 274 0 0 20 0 2 0 168043961 2089009152 477888 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
Current children cumulated CPU time: 3277.94 s
Current children cumulated vsize: 2049976 KiB
Current children cumulated memory: 1914292 KiB
[startup+3342.3 s]
/proc/loadavg: 4.18 4.34 4.26 5/252 861178
/proc/meminfo: memFree=121230768/131655788 swapFree=131071996/131071996
[pid=859283] ppid=859280 vsize=9928 memory=2740 CPUtime=0 cores=5,7
/proc/859283/stat : 859283 (run-glibc-2.34.) S 859280 859283 855123 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 168043736 10166272 685 134679101440 94426749313024 94426750392344 140734497103872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94426752490800 94426752537988 94426761424896 140734497113023 140734497113180 140734497113180 140734497120195 0
/proc/859283/statm: 2482 685 604 264 0 133 0
[pid=859285] ppid=859283 vsize=2040048 memory=1911572 CPUtime=3337.89 cores=5,7
/proc/859285/stat : 859285 (ld-linux-x86-64) R 859283 859283 855123 0 -1 4194304 2196651 0 0 0 330507 3282 0 0 20 0 2 0 168043736 2089009152 477893 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
/proc/859285/statm: 510012 477893 4048 46 0 482607 0
[pid=859285/tid=859297] ppid=859283 vsize=2040048 memory=2740 CPUtime=4.13 cores=5,7
/proc/859285/task/859297/stat : 859297 (ld-linux-x86-64) S 859283 859283 855123 0 -1 1077936192 205 0 0 0 134 279 0 0 20 0 2 0 168043961 2089009152 477893 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
Current children cumulated CPU time: 3337.89 s
Current children cumulated vsize: 2049976 KiB
Current children cumulated memory: 1914312 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.29 4.25 5/252 861188
/proc/meminfo: memFree=121156052/131655788 swapFree=131071996/131071996
[pid=859283] ppid=859280 vsize=9928 memory=2740 CPUtime=0 cores=5,7
/proc/859283/stat : 859283 (run-glibc-2.34.) S 859280 859283 855123 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 168043736 10166272 685 134679101440 94426749313024 94426750392344 140734497103872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94426752490800 94426752537988 94426761424896 140734497113023 140734497113180 140734497113180 140734497120195 0
/proc/859283/statm: 2482 685 604 264 0 133 0
[pid=859285] ppid=859283 vsize=2389296 memory=1944496 CPUtime=3397.83 cores=5,7
/proc/859285/stat : 859285 (ld-linux-x86-64) R 859283 859283 855123 0 -1 4194304 2199506 0 0 0 336485 3298 0 0 20 0 2 0 168043736 2446639104 486124 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
/proc/859285/statm: 597324 486124 4048 46 0 569919 0
[pid=859285/tid=859297] ppid=859283 vsize=2389296 memory=2740 CPUtime=4.21 cores=5,7
/proc/859285/task/859297/stat : 859297 (ld-linux-x86-64) S 859283 859283 855123 0 -1 1077936192 209 0 0 0 137 284 0 0 20 0 2 0 168043961 2446639104 486124 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
Current children cumulated CPU time: 3397.83 s
Current children cumulated vsize: 2399224 KiB
Current children cumulated memory: 1947236 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.25 4.24 5/252 861198
/proc/meminfo: memFree=121080796/131655788 swapFree=131071996/131071996
[pid=859283] ppid=859280 vsize=9928 memory=2740 CPUtime=0 cores=5,7
/proc/859283/stat : 859283 (run-glibc-2.34.) S 859280 859283 855123 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 168043736 10166272 685 134679101440 94426749313024 94426750392344 140734497103872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94426752490800 94426752537988 94426761424896 140734497113023 140734497113180 140734497113180 140734497120195 0
/proc/859283/statm: 2482 685 604 264 0 133 0
[pid=859285] ppid=859283 vsize=2409100 memory=1971184 CPUtime=3457.72 cores=5,7
/proc/859285/stat : 859285 (ld-linux-x86-64) R 859283 859283 855123 0 -1 4194304 2236856 0 0 0 342428 3344 0 0 20 0 2 0 168043736 2466918400 492796 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
/proc/859285/statm: 602275 492796 4048 46 0 574870 0
[pid=859285/tid=859297] ppid=859283 vsize=2409100 memory=2740 CPUtime=4.28 cores=5,7
/proc/859285/task/859297/stat : 859297 (ld-linux-x86-64) S 859283 859283 855123 0 -1 1077936192 213 0 0 0 140 288 0 0 20 0 2 0 168043961 2466918400 492796 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
Current children cumulated CPU time: 3457.72 s
Current children cumulated vsize: 2419028 KiB
Current children cumulated memory: 1973924 KiB
[startup+3522.3 s]
/proc/loadavg: 3.56 4.08 4.18 4/242 861239
/proc/meminfo: memFree=125556336/131655788 swapFree=131071996/131071996
[pid=859283] ppid=859280 vsize=9928 memory=2740 CPUtime=0 cores=5,7
/proc/859283/stat : 859283 (run-glibc-2.34.) S 859280 859283 855123 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 168043736 10166272 685 134679101440 94426749313024 94426750392344 140734497103872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94426752490800 94426752537988 94426761424896 140734497113023 140734497113180 140734497113180 140734497120195 0
/proc/859283/statm: 2482 685 604 264 0 133 0
[pid=859285] ppid=859283 vsize=2409100 memory=1977328 CPUtime=3517.67 cores=5,7
/proc/859285/stat : 859285 (ld-linux-x86-64) R 859283 859283 855123 0 -1 4194304 2239264 0 0 0 348417 3350 0 0 20 0 2 0 168043736 2466918400 494332 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
/proc/859285/statm: 602275 494332 4048 46 0 574870 0
[pid=859285/tid=859297] ppid=859283 vsize=2409100 memory=1977328 CPUtime=4.36 cores=5,7
/proc/859285/task/859297/stat : 859297 (ld-linux-x86-64) S 859283 859283 855123 0 -1 1077936192 216 0 0 0 143 293 0 0 20 0 2 0 168043961 2466918400 494332 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
Current children cumulated CPU time: 3517.67 s
Current children cumulated vsize: 2419028 KiB
Current children cumulated memory: 1980068 KiB
[startup+3582.3 s]
/proc/loadavg: 3.30 3.91 4.11 4/242 861249
/proc/meminfo: memFree=125546940/131655788 swapFree=131071996/131071996
[pid=859283] ppid=859280 vsize=9928 memory=2740 CPUtime=0 cores=5,7
/proc/859283/stat : 859283 (run-glibc-2.34.) S 859280 859283 855123 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 168043736 10166272 685 134679101440 94426749313024 94426750392344 140734497103872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94426752490800 94426752537988 94426761424896 140734497113023 140734497113180 140734497113180 140734497120195 0
/proc/859283/statm: 2482 685 604 264 0 133 0
[pid=859285] ppid=859283 vsize=2409100 memory=1981424 CPUtime=3577.62 cores=5,7
/proc/859285/stat : 859285 (ld-linux-x86-64) R 859283 859283 855123 0 -1 4194304 2241897 0 0 0 354391 3371 0 0 20 0 2 0 168043736 2466918400 495356 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
/proc/859285/statm: 602275 495356 4048 46 0 574870 0
[pid=859285/tid=859297] ppid=859283 vsize=2409100 memory=2740 CPUtime=4.43 cores=5,7
/proc/859285/task/859297/stat : 859297 (ld-linux-x86-64) S 859283 859283 855123 0 -1 1077936192 220 0 0 0 145 298 0 0 20 0 2 0 168043961 2466918400 495356 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
Current children cumulated CPU time: 3577.62 s
Current children cumulated vsize: 2419028 KiB
Current children cumulated memory: 1984164 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3604.7 s]
/proc/loadavg: 3.28 3.87 4.09 4/244 861258
/proc/meminfo: memFree=125544752/131655788 swapFree=131071996/131071996
[pid=859283] ppid=859280 vsize=9928 memory=2740 CPUtime=0 cores=5,7
/proc/859283/stat : 859283 (run-glibc-2.34.) S 859280 859283 855123 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 168043736 10166272 685 134679101440 94426749313024 94426750392344 140734497103872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94426752490800 94426752537988 94426761424896 140734497113023 140734497113180 140734497113180 140734497120195 0
/proc/859283/statm: 2482 685 604 264 0 133 0
[pid=859285] ppid=859283 vsize=2409100 memory=1983472 CPUtime=3600 cores=5,7
/proc/859285/stat : 859285 (ld-linux-x86-64) R 859283 859283 855123 0 -1 4194304 2242262 0 0 0 356617 3383 0 0 20 0 2 0 168043736 2466918400 495868 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
/proc/859285/statm: 602275 495868 4048 46 0 574870 0
[pid=859285/tid=859297] ppid=859283 vsize=2409100 memory=2740 CPUtime=4.45 cores=5,7
/proc/859285/task/859297/stat : 859297 (ld-linux-x86-64) S 859283 859283 855123 0 -1 1077936192 220 0 0 0 145 300 0 0 20 0 2 0 168043961 2466918400 495868 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2419028 KiB
Current children cumulated memory: 1986212 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3604.71 s]
# the end of solver process 859283 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000869 s, system=0.001724 s
[startup+3604.71 s]
# the end of solver process 859285 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3566.18 s, system=33.8442 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+3604.7 s]
/proc/loadavg: 3.28 3.87 4.09 4/244 861258
/proc/meminfo: memFree=125544752/131655788 swapFree=131071996/131071996
[pid=859283] ppid=859280 vsize=9928 memory=2740 CPUtime=0 cores=5,7
/proc/859283/stat : 859283 (run-glibc-2.34.) S 859280 859283 855123 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 168043736 10166272 685 134679101440 94426749313024 94426750392344 140734497103872 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94426752490800 94426752537988 94426761424896 140734497113023 140734497113180 140734497113180 140734497120195 0
/proc/859283/statm: 2482 685 604 264 0 133 0
[pid=859285] ppid=859283 vsize=2409100 memory=1983472 CPUtime=3600 cores=5,7
/proc/859285/stat : 859285 (ld-linux-x86-64) R 859283 859283 855123 0 -1 4194304 2242262 0 0 0 356617 3383 0 0 20 0 2 0 168043736 2466918400 495868 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
/proc/859285/statm: 602275 495868 4048 46 0 574870 0
[pid=859285/tid=859297] ppid=859283 vsize=2409100 memory=2740 CPUtime=4.45 cores=5,7
/proc/859285/task/859297/stat : 859297 (ld-linux-x86-64) S 859283 859283 855123 0 -1 1077936192 220 0 0 0 145 300 0 0 20 0 2 0 168043961 2466918400 495868 134679101440 140383374856192 140383375043804 140732460071728 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140383377144704 140383377154152 93824997793792 140732460073815 140732460073979 140732460073979 140732460081074 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2419028 KiB
Current children cumulated memory: 1986212 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3604.71
CPU time (s): 3600.03
CPU user time (s): 3566.18
CPU system time (s): 33.8442
CPU usage (%): 99.87
Max. virtual memory (cumulated for all children) (KiB): 2454680
Max. memory (cumulated for all children) (KiB): 2008816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.18
system time used= 33.8442
maximum resident set size= 2006508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2242468
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= 353576
involuntary context switches= 2145
# summary of solver processes directly reported to runsolver:
# pid: 859283,859285
# total CPU time (s): 3600.03
# total CPU user time (s): 3566.18
# total CPU system time (s): 33.8442
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.9936 second user time and 37.4311 second system time
The end