1348.39/1350.69 c initialize IPBHS solver
1348.39/1350.69 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
1348.39/1350.69 c optimizer = "gurobi"
1348.39/1350.69 c pbsolver = "roundingsat"
1348.39/1350.69 c load symmetries from file ""
1348.39/1350.69 c set time limit for symmetry computation to 100 seconds.
1348.39/1350.69 c set interchangeable summation variable limit to 3
1348.39/1350.69 c set abs symmetric core budget per WCE-iteration to 100
1348.39/1350.69 c set rel symmetric core budget per WCE-iteration to 0
1348.39/1350.69 c set lit symmetric core budget per WCE-iteration to 0
1348.39/1350.69 c set sym generation to 's'
1348.39/1350.69 c set abstraction set creation to 10 iterations without LB change
1348.39/1350.69 c set abstraction set inputs to 0
1348.39/1350.69 c set abstraction set cluster min size to 2
1348.39/1350.69 c set abstraction set cluster max size to 100000000
1348.39/1350.69 c set abstraction set cluster activation limit to 2
1348.39/1350.69 c enable abstraction set require equal cost
1348.39/1350.69 c set abstraction set assumptions to 0
1348.39/1350.69 c set abstraction set constraint type to 0
1348.39/1350.69 c set abstract core extraction strategy to b
1348.39/1350.69 c set core extraction strategy to 2
1348.39/1350.69 c set core extraction shuffles 10
1348.39/1350.69 c set cores per iteration to 5
1348.39/1350.69 c set optimizer bound usage strategy to 2
1348.39/1350.69 c set optimizer max non-optimal iterations to 1000
1348.39/1350.69 c set small core cardinality limit to 2
1348.39/1350.69 c set max coef in cores to 1000000000
1348.39/1350.69 c set SIS iterations to 5
1348.39/1350.69 c set SIS budget abs to 1000
1348.39/1350.69 c set SIS budget rel to 0.05
1348.39/1350.69 c limit for coefficient in constraints and objective to 9223372036854775807
1348.39/1350.69 c will solve HOME/instance-4431346-1721150560.opb
1348.39/1350.69 c [1.16] solve iteration 1, LB=-4162422, UB=1
1348.39/1350.69 c [119.16] solve iteration 2, LB=-3072, UB=0
1348.39/1350.69 c [119.26] solve iteration 3, LB=-3072, UB=0
1348.39/1350.69 c [119.36] solve iteration 4, LB=-3072, UB=0
1348.39/1350.69 c [119.47] solve iteration 5, LB=-3072, UB=0
1348.39/1350.69 c [119.57] solve iteration 6, LB=-3072, UB=0
1348.39/1350.69 c [216.08] solve iteration 7, LB=-3072, UB=0
1348.39/1350.69 c [216.2] solve iteration 8, LB=-3072, UB=0
1348.39/1350.69 c [216.31] solve iteration 9, LB=-3072, UB=0
1348.39/1350.69 c [230.92] solve iteration 10, LB=-3072, UB=0
1348.39/1350.69 c [231.03] solve iteration 11, LB=-3072, UB=0
1348.39/1350.69 c [241.94] solve iteration 12, LB=-3072, UB=-2
1348.39/1350.69 c [266.23] solve iteration 13, LB=-3072, UB=-2
1348.39/1350.69 c [266.34] solve iteration 14, LB=-3072, UB=-2
1348.39/1350.69 c [343.41] solve iteration 15, LB=-3072, UB=-2
1348.39/1350.69 c [404.56] solve iteration 16, LB=-3072, UB=-2
1348.39/1350.69 c [768.98] solve iteration 17, LB=-3072, UB=-258
1348.39/1350.69 c [769.1] solve iteration 18, LB=-3072, UB=-258
1348.39/1350.69 c [875.23] solve iteration 19, LB=-3072, UB=-258
1348.39/1350.69 c [915.02] solve iteration 20, LB=-3072, UB=-258
1348.39/1350.69 c [1026.39] solve iteration 21, LB=-3072, UB=-258
1348.39/1350.69 c [1034.78] solve iteration 22, LB=-3072, UB=-272
1348.39/1350.69 c [1034.94] solve iteration 23, LB=-3072, UB=-272
1348.39/1350.69 c [1037.55] solve iteration 24, LB=-3072, UB=-272
1348.39/1350.69 c [1059.5] solve iteration 25, LB=-3072, UB=-272
1348.39/1350.69 c [1059.68] solve iteration 26, LB=-3072, UB=-272
1348.39/1350.69 c [1075.04] solve iteration 27, LB=-3072, UB=-280
1348.39/1350.69 c [1081.31] solve iteration 28, LB=-3072, UB=-280
1348.39/1350.69 c [1086.05] solve iteration 29, LB=-3072, UB=-280
1348.39/1350.69 c [1086.4] solve iteration 30, LB=-3072, UB=-280
1348.39/1350.69 c [1087.86] solve iteration 31, LB=-3072, UB=-280
1348.39/1350.69 c [1095.71] solve iteration 32, LB=-3072, UB=-288
1348.39/1350.69 c [1097.84] solve iteration 33, LB=-3072, UB=-288
1348.39/1350.69 c [1098.27] solve iteration 34, LB=-3072, UB=-288
1348.39/1350.69 c [1099.91] solve iteration 35, LB=-3072, UB=-288
1348.39/1350.69 c [1100.63] solve iteration 36, LB=-3072, UB=-288
1348.39/1350.69 c [1224.25] solve iteration 37, LB=-3072, UB=-308
1348.39/1350.69 c [1230.86] solve iteration 38, LB=-3072, UB=-308
1348.39/1350.69 c [1231.37] solve iteration 39, LB=-3072, UB=-308
1348.39/1350.69 c [1232.6] solve iteration 40, LB=-3072, UB=-308
1348.39/1350.69 c [1247] solve iteration 41, LB=-3072, UB=-308
1348.39/1350.69 c [1252.99] solve iteration 42, LB=-3072, UB=-312
1348.39/1350.69 c [1263.38] solve iteration 43, LB=-3072, UB=-312
1348.39/1350.69 c [1263.55] solve iteration 44, LB=-3072, UB=-312
1348.39/1350.69 c [1263.72] solve iteration 45, LB=-3072, UB=-312
1348.39/1350.69 c [1286.19] solve iteration 46, LB=-3072, UB=-312
1348.39/1350.69 c [1329.31] solve iteration 47, LB=-3072, UB=-320
1348.39/1350.69 c [1329.69] solve iteration 48, LB=-3072, UB=-320
1348.39/1350.69 c [1330.12] solve iteration 49, LB=-3072, UB=-320
1348.39/1350.69 c [1330.95] solve iteration 50, LB=-3072, UB=-320
1348.39/1350.69 c [1337] solve iteration 51, LB=-3072, UB=-320
1348.39/1350.69 c [1341.04] solve iteration 52, LB=-3072, UB=-336
1348.39/1350.69 c [1343.38] solve iteration 53, LB=-3072, UB=-336
1348.39/1350.69 c [1343.89] solve iteration 5
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61890 MiB free)
memory of node 1: 64473 MiB (61318 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431346-1721150560/watcher-4431346-1721150560 -o /tmp/evaluation-result-4431346-1721150560/solver-4431346-1721150560 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721150572-867633 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431346-1721150560.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
Starting watchdog thread
solver pid=867682, runsolver pid=867675
Current StackSize limit: 8192 KiB
[startup+0.101003 s]*
/proc/loadavg: 1.58 3.14 3.78 6/256 867685
/proc/meminfo: memFree=126085120/131524600 swapFree=131071996/131071996
[pid=867682] ppid=867675 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/867682/stat : 867682 (run-glibc-2.34.) S 867675 867682 867620 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 167219858 10166272 693 134679101440 94320535699456 94320536778776 140724030367728 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94320538877232 94320538924420 94320540872704 140724030374859 140724030375004 140724030375004 140724030382019 0
/proc/867682/statm: 2482 693 613 264 0 133 0
[pid=867685] ppid=867682 vsize=107948 memory=27068 CPUtime=0.09 cores=5,7
/proc/867685/stat : 867685 (ld-linux-x86-64) R 867682 867682 867620 0 -1 4194304 5733 0 0 0 8 1 0 0 20 0 1 0 167219859 110538752 6767 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
/proc/867685/statm: 26987 6767 1722 46 0 7602 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 117876 KiB
Current children cumulated memory: 29840 KiB
[startup+0.211986 s]*
/proc/loadavg: 1.58 3.14 3.78 5/259 867688
/proc/meminfo: memFree=125990680/131524600 swapFree=131071996/131071996
[pid=867682] ppid=867675 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/867682/stat : 867682 (run-glibc-2.34.) S 867675 867682 867620 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 167219858 10166272 693 134679101440 94320535699456 94320536778776 140724030367728 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94320538877232 94320538924420 94320540872704 140724030374859 140724030375004 140724030375004 140724030382019 0
/proc/867682/statm: 2482 693 613 264 0 133 0
[pid=867685] ppid=867682 vsize=172460 memory=54856 CPUtime=0.19 cores=5,7
/proc/867685/stat : 867685 (ld-linux-x86-64) R 867682 867682 867620 0 -1 4194304 11045 0 0 0 16 3 0 0 20 0 2 0 167219859 176599040 13714 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 0 0 0 17 7 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
/proc/867685/statm: 43115 13714 2626 46 0 15710 0
[pid=867685/tid=867688] ppid=867682 vsize=172460 memory=8319679323896309298 CPUtime=0 cores=5,7
/proc/867685/task/867688/stat : 867688 (ld-linux-x86-64) S 867682 867682 867620 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 167219877 176599040 13714 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 1 0 0 -1 5 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 182388 KiB
Current children cumulated memory: 57628 KiB
[startup+0.305986 s]*
/proc/loadavg: 1.58 3.14 3.78 6/259 867688
/proc/meminfo: memFree=125967016/131524600 swapFree=131071996/131071996
[pid=867682] ppid=867675 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/867682/stat : 867682 (run-glibc-2.34.) S 867675 867682 867620 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 167219858 10166272 693 134679101440 94320535699456 94320536778776 140724030367728 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94320538877232 94320538924420 94320540872704 140724030374859 140724030375004 140724030375004 140724030382019 0
/proc/867682/statm: 2482 693 613 264 0 133 0
[pid=867685] ppid=867682 vsize=178376 memory=60516 CPUtime=0.28 cores=5,7
/proc/867685/stat : 867685 (ld-linux-x86-64) R 867682 867682 867620 0 -1 4194304 12396 0 0 0 25 3 0 0 20 0 2 0 167219859 182657024 15129 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 0 0 0 17 7 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
/proc/867685/statm: 44594 15129 2658 46 0 17189 0
[pid=867685/tid=867688] ppid=867682 vsize=178376 memory=-8752956512777757793 CPUtime=0 cores=5,7
/proc/867685/task/867688/stat : 867688 (ld-linux-x86-64) S 867682 867682 867620 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 167219877 182657024 15129 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 1 0 0 -1 5 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 188304 KiB
Current children cumulated memory: 63288 KiB
[startup+0.700258 s]
/proc/loadavg: 1.58 3.14 3.78 7/257 867688
/proc/meminfo: memFree=125968676/131524600 swapFree=131071996/131071996
[pid=867682] ppid=867675 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/867682/stat : 867682 (run-glibc-2.34.) S 867675 867682 867620 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 167219858 10166272 693 134679101440 94320535699456 94320536778776 140724030367728 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94320538877232 94320538924420 94320540872704 140724030374859 140724030375004 140724030375004 140724030382019 0
/proc/867682/statm: 2482 693 613 264 0 133 0
[pid=867685] ppid=867682 vsize=178376 memory=60516 CPUtime=0.66 cores=5,7
/proc/867685/stat : 867685 (ld-linux-x86-64) R 867682 867682 867620 0 -1 4194304 12396 0 0 0 63 3 0 0 20 0 2 0 167219859 182657024 15129 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
/proc/867685/statm: 44594 15129 2658 46 0 17189 0
[pid=867685/tid=867688] ppid=867682 vsize=178376 memory=42176 CPUtime=0 cores=5,7
/proc/867685/task/867688/stat : 867688 (ld-linux-x86-64) S 867682 867682 867620 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 167219877 182657024 15129 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 188304 KiB
Current children cumulated memory: 63288 KiB
[startup+1.50027 s]
/proc/loadavg: 1.77 3.16 3.78 6/264 867700
/proc/meminfo: memFree=125864256/131524600 swapFree=131071996/131071996
[pid=867682] ppid=867675 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/867682/stat : 867682 (run-glibc-2.34.) S 867675 867682 867620 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 167219858 10166272 693 134679101440 94320535699456 94320536778776 140724030367728 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94320538877232 94320538924420 94320540872704 140724030374859 140724030375004 140724030375004 140724030382019 0
/proc/867682/statm: 2482 693 613 264 0 133 0
[pid=867685] ppid=867682 vsize=199468 memory=82944 CPUtime=1.47 cores=5,7
/proc/867685/stat : 867685 (ld-linux-x86-64) R 867682 867682 867620 0 -1 4194304 22335 0 0 0 142 5 0 0 20 0 2 0 167219859 204255232 20736 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
/proc/867685/statm: 49867 20736 3482 46 0 22462 0
[pid=867685/tid=867688] ppid=867682 vsize=199468 memory=60516 CPUtime=0 cores=5,7
/proc/867685/task/867688/stat : 867688 (ld-linux-x86-64) S 867682 867682 867620 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 167219877 204255232 20736 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 209396 KiB
Current children cumulated memory: 85716 KiB
[startup+3.10593 s]
/proc/loadavg: 1.77 3.16 3.78 6/264 867702
/proc/meminfo: memFree=125579572/131524600 swapFree=131071996/131071996
[pid=867682] ppid=867675 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/867682/stat : 867682 (run-glibc-2.34.) S 867675 867682 867620 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 167219858 10166272 693 134679101440 94320535699456 94320536778776 140724030367728 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94320538877232 94320538924420 94320540872704 140724030374859 140724030375004 140724030375004 140724030382019 0
/proc/867682/statm: 2482 693 613 264 0 133 0
[pid=867685] ppid=867682 vsize=199912 memory=85768 CPUtime=3.07 cores=5,7
/proc/867685/stat : 867685 (ld-linux-x86-64) R 867682 867682 867620 0 -1 4194304 25518 0 0 0 302 5 0 0 20 0 2 0 167219859 204709888 21442 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
/proc/867685/statm: 49978 21442 3545 46 0 22573 0
[pid=867685/tid=867688] ppid=867682 vsize=199912 memory=11560 CPUtime=0 cores=5,7
/proc/867685/task/867688/stat : 867688 (ld-linux-x86-64) S 867682 867682 867620 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 167219877 204709888 21442 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 209840 KiB
Current children cumulated memory: 88540 KiB
[startup+6.30023 s]
/proc/loadavg: 1.95 3.17 3.79 6/264 867702
/proc/meminfo: memFree=125132488/131524600 swapFree=131071996/131071996
[pid=867682] ppid=867675 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/867682/stat : 867682 (run-glibc-2.34.) S 867675 867682 867620 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 167219858 10166272 693 134679101440 94320535699456 94320536778776 140724030367728 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94320538877232 94320538924420 94320540872704 140724030374859 140724030375004 140724030375004 140724030382019 0
/proc/867682/statm: 2482 693 613 264 0 133 0
[pid=867685] ppid=867682 vsize=211640 memory=95496 CPUtime=6.25 cores=5,7
/proc/867685/stat : 867685 (ld-linux-x86-64) R 867682 867682 867620 0 -1 4194304 31709 0 0 0 620 5 0 0 20 0 2 0 167219859 216719360 23874 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
/proc/867685/statm: 52910 23874 3545 46 0 25505 0
[pid=867685/tid=867688] ppid=867682 vsize=211640 memory=95020 CPUtime=0 cores=5,7
/proc/867685/task/867688/stat : 867688 (ld-linux-x86-64) S 867682 867682 867620 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 2 0 167219877 216719360 23874 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 221568 KiB
Current children cumulated memory: 98268 KiB
[startup+12.7003 s]
/proc/loadavg: 2.11 3.19 3.79 6/265 867703
/proc/meminfo: memFree=124337656/131524600 swapFree=131071996/131071996
[pid=867682] ppid=867675 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/867682/stat : 867682 (run-glibc-2.34.) S 867675 867682 867620 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 167219858 10166272 693 134679101440 94320535699456 94320536778776 140724030367728 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94320538877232 94320538924420 94320540872704 140724030374859 140724030375004 140724030375004 140724030382019 0
/proc/867682/statm: 2482 693 613 264 0 133 0
[pid=867685] ppid=867682 vsize=236820 memory=121952 CPUtime=12.65 cores=5,7
/proc/867685/stat : 867685 (ld-linux-x86-64) R 867682 867682 867620 0 -1 4194304 48715 0 0 0 1258 7 0 0 20 0 2 0 167219859 242503680 30488 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
/proc/867685/statm: 59205 30488 3545 46 0 31800 0
[pid=867685/tid=867688] ppid=867682 vsize=236820 memory=121684 CPUtime=0 cores=5,7
/proc/867685/task/867688/stat : 867688 (ld-linux-x86-64) S 867682 867682 867620 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 2 0 167219877 242503680 30488 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 246748 KiB
Current children cumulated memory: 124724 KiB
[startup+25.5003 s]
/proc/loadavg: 2.40 3.21 3.79 6/265 867706
/proc/meminfo: memFree=124244072/131524600 swapFree=131071996/131071996
[pid=867682] ppid=867675 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/867682/stat : 867682 (run-glibc-2.34.) S 867675 867682 867620 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 167219858 10166272 693 134679101440 94320535699456 94320536778776 140724030367728 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94320538877232 94320538924420 94320540872704 140724030374859 140724030375004 140724030375004 140724030382019 0
/proc/867682/statm: 2482 693 613 264 0 133 0
[pid=867685] ppid=867682 vsize=290584 memory=157540 CPUtime=25.43 cores=5,7
/proc/867685/stat : 867685 (ld-linux-x86-64) R 867682 867682 867620 0 -1 4194304 76830 0 0 0 2532 11 0 0 20 0 2 0 167219859 297558016 39385 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
/proc/867685/statm: 72646 39385 3545 46 0 45241 0
[pid=867685/tid=867688] ppid=867682 vsize=290584 memory=11560 CPUtime=0.01 cores=5,7
/proc/867685/task/867688/stat : 867688 (ld-linux-x86-64) S 867682 867682 867620 0 -1 1077936192 24 0 0 0 0 1 0 0 20 0 2 0 167219877 297558016 39385 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 300512 KiB
Current children cumulated memory: 160312 KiB
[startup+51.106 s]
/proc/loadavg: 3.09 3.31 3.80 6/265 867710
/proc/meminfo: memFree=124094012/131524600 swapFree=131071996/131071996
[pid=867682] ppid=867675 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/867682/stat : 867682 (run-glibc-2.34.) S 867675 867682 867620 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 167219858 10166272 693 134679101440 94320535699456 94320536778776 140724030367728 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94320538877232 94320538924420 94320540872704 140724030374859 140724030375004 140724030375004 140724030382019 0
/proc/867682/statm: 2482 693 613 264 0 133 0
[pid=867685] ppid=867682 vsize=373216 memory=240028 CPUtime=51 cores=5,7
/proc/867685/stat : 867685 (ld-linux-x86-64) R 867682 867682 867620 0 -1 4194304 128062 0 0 0 5084 16 0 0 20 0 2 0 167219859 382173184 60007 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
/proc/867685/statm: 93304 60007 3545 46 0 65899 0
[pid=867685/tid=867688] ppid=867682 vsize=373216 memory=186000 CPUtime=0.03 cores=5,7
/proc/867685/task/867688/stat : 867688 (ld-linux-x86-64) S 867682 867682 867620 0 -1 1077936192 32 0 0 0 1 2 0 0 20 0 2 0 167219877 382173184 60007 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 383144 KiB
Current children cumulated memory: 242800 KiB
[startup+102.3 s]
/proc/loadavg: 3.66 3.43 3.82 6/265 867719
/proc/meminfo: memFree=123759692/131524600 swapFree=131071996/131071996
[pid=867682] ppid=867675 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/867682/stat : 867682 (run-glibc-2.34.) S 867675 867682 867620 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 167219858 10166272 693 134679101440 94320535699456 94320536778776 140724030367728 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94320538877232 94320538924420 94320540872704 140724030374859 140724030375004 140724030375004 140724030382019 0
/proc/867682/statm: 2482 693 613 264 0 133 0
[pid=867685] ppid=867682 vsize=520292 memory=393588 CPUtime=102.13 cores=5,7
/proc/867685/stat : 867685 (ld-linux-x86-64) R 867682 867682 867620 0 -1 4194304 222770 0 0 0 10177 36 0 0 20 0 2 0 167219859 532779008 98397 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
/proc/867685/statm: 130073 98397 3545 46 0 102668 0
[pid=867685/tid=867688] ppid=867682 vsize=520292 memory=2772 CPUtime=0.06 cores=5,7
/proc/867685/task/867688/stat : 867688 (ld-linux-x86-64) S 867682 867682 867620 0 -1 1077936192 40 0 0 0 2 4 0 0 20 0 2 0 167219877 532779008 98397 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
Current children cumulated CPU time: 102.13 s
Current children cumulated vsize: 530220 KiB
Current children cumulated memory: 396360 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 3.55 3.84 6/265 868113
/proc/meminfo: memFree=123450904/131524600 swapFree=131071996/131071996
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/263 869515
/proc/meminfo: memFree=117555680/131524600 swapFree=131071996/131071996
[pid=867682] ppid=867675 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/867682/stat : 867682 (run-glibc-2.34.) S 867675 867682 867620 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 167219858 10166272 693 134679101440 94320535699456 94320536778776 140724030367728 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94320538877232 94320538924420 94320540872704 140724030374859 140724030375004 140724030375004 140724030382019 0
/proc/867682/statm: 2482 693 613 264 0 133 0
[pid=867685] ppid=867682 vsize=2234216 memory=2004984 CPUtime=3157.53 cores=5,7
/proc/867685/stat : 867685 (ld-linux-x86-64) R 867682 867682 867620 0 -1 4194304 2311442 0 0 0 314836 917 0 0 20 0 2 0 167219859 2287837184 501246 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
/proc/867685/statm: 558554 501246 3545 46 0 531149 0
[pid=867685/tid=867688] ppid=867682 vsize=2234216 memory=2772 CPUtime=2.38 cores=5,7
/proc/867685/task/867688/stat : 867688 (ld-linux-x86-64) S 867682 867682 867620 0 -1 1077936192 189 0 0 0 96 142 0 0 20 0 2 0 167219877 2287837184 501246 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
Current children cumulated CPU time: 3157.53 s
Current children cumulated vsize: 2244144 KiB
Current children cumulated memory: 2007756 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.11 4.10 6/263 869525
/proc/meminfo: memFree=117543776/131524600 swapFree=131071996/131071996
[pid=867682] ppid=867675 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/867682/stat : 867682 (run-glibc-2.34.) S 867675 867682 867620 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 167219858 10166272 693 134679101440 94320535699456 94320536778776 140724030367728 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94320538877232 94320538924420 94320540872704 140724030374859 140724030375004 140724030375004 140724030382019 0
/proc/867682/statm: 2482 693 613 264 0 133 0
[pid=867685] ppid=867682 vsize=2234216 memory=2005068 CPUtime=3217.46 cores=5,7
/proc/867685/stat : 867685 (ld-linux-x86-64) R 867682 867682 867620 0 -1 4194304 2318567 0 0 0 320821 925 0 0 20 0 2 0 167219859 2287837184 501267 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
/proc/867685/statm: 558554 501267 3545 46 0 531149 0
[pid=867685/tid=867688] ppid=867682 vsize=2234216 memory=2772 CPUtime=2.42 cores=5,7
/proc/867685/task/867688/stat : 867688 (ld-linux-x86-64) S 867682 867682 867620 0 -1 1077936192 191 0 0 0 98 144 0 0 20 0 2 0 167219877 2287837184 501267 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
Current children cumulated CPU time: 3217.46 s
Current children cumulated vsize: 2244144 KiB
Current children cumulated memory: 2007840 KiB
[startup+3282.3 s]
/proc/loadavg: 4.22 4.12 4.10 6/263 869536
/proc/meminfo: memFree=117398744/131524600 swapFree=131071996/131071996
[pid=867682] ppid=867675 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/867682/stat : 867682 (run-glibc-2.34.) S 867675 867682 867620 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 167219858 10166272 693 134679101440 94320535699456 94320536778776 140724030367728 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94320538877232 94320538924420 94320540872704 140724030374859 140724030375004 140724030375004 140724030382019 0
/proc/867682/statm: 2482 693 613 264 0 133 0
[pid=867685] ppid=867682 vsize=2309508 memory=2092220 CPUtime=3277.37 cores=5,7
/proc/867685/stat : 867685 (ld-linux-x86-64) R 867682 867682 867620 0 -1 4194304 2359440 0 0 0 326800 937 0 0 20 0 2 0 167219859 2364936192 523055 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
/proc/867685/statm: 577377 523055 3545 46 0 549972 0
[pid=867685/tid=867688] ppid=867682 vsize=2309508 memory=2030644 CPUtime=2.47 cores=5,7
/proc/867685/task/867688/stat : 867688 (ld-linux-x86-64) S 867682 867682 867620 0 -1 1077936192 194 0 0 0 100 147 0 0 20 0 2 0 167219877 2364936192 523055 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
Current children cumulated CPU time: 3277.37 s
Current children cumulated vsize: 2319436 KiB
Current children cumulated memory: 2094992 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/262 869546
/proc/meminfo: memFree=117380656/131524600 swapFree=131071996/131071996
[pid=867682] ppid=867675 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/867682/stat : 867682 (run-glibc-2.34.) S 867675 867682 867620 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 167219858 10166272 693 134679101440 94320535699456 94320536778776 140724030367728 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94320538877232 94320538924420 94320540872704 140724030374859 140724030375004 140724030375004 140724030382019 0
/proc/867682/statm: 2482 693 613 264 0 133 0
[pid=867685] ppid=867682 vsize=2309508 memory=2092220 CPUtime=3337.29 cores=5,7
/proc/867685/stat : 867685 (ld-linux-x86-64) R 867682 867682 867620 0 -1 4194304 2369386 0 0 0 332784 945 0 0 20 0 2 0 167219859 2364936192 523055 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
/proc/867685/statm: 577377 523055 3545 46 0 549972 0
[pid=867685/tid=867688] ppid=867682 vsize=2309508 memory=2772 CPUtime=2.52 cores=5,7
/proc/867685/task/867688/stat : 867688 (ld-linux-x86-64) S 867682 867682 867620 0 -1 1077936192 197 0 0 0 102 150 0 0 20 0 2 0 167219877 2364936192 523055 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
Current children cumulated CPU time: 3337.29 s
Current children cumulated vsize: 2319436 KiB
Current children cumulated memory: 2094992 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.09 6/263 869558
/proc/meminfo: memFree=117331756/131524600 swapFree=131071996/131071996
[pid=867682] ppid=867675 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/867682/stat : 867682 (run-glibc-2.34.) S 867675 867682 867620 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 167219858 10166272 693 134679101440 94320535699456 94320536778776 140724030367728 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94320538877232 94320538924420 94320540872704 140724030374859 140724030375004 140724030375004 140724030382019 0
/proc/867682/statm: 2482 693 613 264 0 133 0
[pid=867685] ppid=867682 vsize=2309508 memory=2092220 CPUtime=3397.22 cores=5,7
/proc/867685/stat : 867685 (ld-linux-x86-64) R 867682 867682 867620 0 -1 4194304 2379810 0 0 0 338768 954 0 0 20 0 2 0 167219859 2364936192 523055 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
/proc/867685/statm: 577377 523055 3545 46 0 549972 0
[pid=867685/tid=867688] ppid=867682 vsize=2309508 memory=2772 CPUtime=2.56 cores=5,7
/proc/867685/task/867688/stat : 867688 (ld-linux-x86-64) S 867682 867682 867620 0 -1 1077936192 199 0 0 0 104 152 0 0 20 0 2 0 167219877 2364936192 523055 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
Current children cumulated CPU time: 3397.22 s
Current children cumulated vsize: 2319436 KiB
Current children cumulated memory: 2094992 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/265 869572
/proc/meminfo: memFree=117298132/131524600 swapFree=131071996/131071996
[pid=867682] ppid=867675 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/867682/stat : 867682 (run-glibc-2.34.) S 867675 867682 867620 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 167219858 10166272 693 134679101440 94320535699456 94320536778776 140724030367728 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94320538877232 94320538924420 94320540872704 140724030374859 140724030375004 140724030375004 140724030382019 0
/proc/867682/statm: 2482 693 613 264 0 133 0
[pid=867685] ppid=867682 vsize=2309508 memory=2092220 CPUtime=3457.13 cores=5,7
/proc/867685/stat : 867685 (ld-linux-x86-64) R 867682 867682 867620 0 -1 4194304 2391230 0 0 0 344751 962 0 0 20 0 2 0 167219859 2364936192 523055 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
/proc/867685/statm: 577377 523055 3545 46 0 549972 0
[pid=867685/tid=867688] ppid=867682 vsize=2309508 memory=2772 CPUtime=2.6 cores=5,7
/proc/867685/task/867688/stat : 867688 (ld-linux-x86-64) S 867682 867682 867620 0 -1 1077936192 201 0 0 0 105 155 0 0 20 0 2 0 167219877 2364936192 523055 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
Current children cumulated CPU time: 3457.13 s
Current children cumulated vsize: 2319436 KiB
Current children cumulated memory: 2094992 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/265 869584
/proc/meminfo: memFree=117290156/131524600 swapFree=131071996/131071996
[pid=867682] ppid=867675 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/867682/stat : 867682 (run-glibc-2.34.) S 867675 867682 867620 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 167219858 10166272 693 134679101440 94320535699456 94320536778776 140724030367728 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94320538877232 94320538924420 94320540872704 140724030374859 140724030375004 140724030375004 140724030382019 0
/proc/867682/statm: 2482 693 613 264 0 133 0
[pid=867685] ppid=867682 vsize=2309508 memory=2092220 CPUtime=3517.06 cores=5,7
/proc/867685/stat : 867685 (ld-linux-x86-64) R 867682 867682 867620 0 -1 4194304 2402253 0 0 0 350735 971 0 0 20 0 2 0 167219859 2364936192 523055 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
/proc/867685/statm: 577377 523055 3545 46 0 549972 0
[pid=867685/tid=867688] ppid=867682 vsize=2309508 memory=2772 CPUtime=2.65 cores=5,7
/proc/867685/task/867688/stat : 867688 (ld-linux-x86-64) S 867682 867682 867620 0 -1 1077936192 202 0 0 0 107 158 0 0 20 0 2 0 167219877 2364936192 523055 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
Current children cumulated CPU time: 3517.06 s
Current children cumulated vsize: 2319436 KiB
Current children cumulated memory: 2094992 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/265 869594
/proc/meminfo: memFree=117258072/131524600 swapFree=131071996/131071996
[pid=867682] ppid=867675 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/867682/stat : 867682 (run-glibc-2.34.) S 867675 867682 867620 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 167219858 10166272 693 134679101440 94320535699456 94320536778776 140724030367728 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94320538877232 94320538924420 94320540872704 140724030374859 140724030375004 140724030375004 140724030382019 0
/proc/867682/statm: 2482 693 613 264 0 133 0
[pid=867685] ppid=867682 vsize=2309508 memory=2092220 CPUtime=3576.97 cores=5,7
/proc/867685/stat : 867685 (ld-linux-x86-64) R 867682 867682 867620 0 -1 4194304 2413314 0 0 0 356720 977 0 0 20 0 2 0 167219859 2364936192 523055 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
/proc/867685/statm: 577377 523055 3545 46 0 549972 0
[pid=867685/tid=867688] ppid=867682 vsize=2309508 memory=5496 CPUtime=2.7 cores=5,7
/proc/867685/task/867688/stat : 867688 (ld-linux-x86-64) S 867682 867682 867620 0 -1 1077936192 205 0 0 0 109 161 0 0 20 0 2 0 167219877 2364936192 523055 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
Current children cumulated CPU time: 3576.97 s
Current children cumulated vsize: 2319436 KiB
Current children cumulated memory: 2094992 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3605.4 s]
/proc/loadavg: 4.22 4.12 4.10 6/265 869600
/proc/meminfo: memFree=117246588/131524600 swapFree=131071996/131071996
[pid=867682] ppid=867675 vsize=9928 memory=2772 CPUtime=0 cores=5,7
/proc/867682/stat : 867682 (run-glibc-2.34.) S 867675 867682 867620 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 167219858 10166272 693 134679101440 94320535699456 94320536778776 140724030367728 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94320538877232 94320538924420 94320540872704 140724030374859 140724030375004 140724030375004 140724030382019 0
/proc/867682/statm: 2482 693 613 264 0 133 0
[pid=867685] ppid=867682 vsize=2309508 memory=2092220 CPUtime=3600.05 cores=5,7
/proc/867685/stat : 867685 (ld-linux-x86-64) R 867682 867682 867620 0 -1 4194304 2415086 0 0 0 359025 980 0 0 20 0 2 0 167219859 2364936192 523055 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
/proc/867685/statm: 577377 523055 3545 46 0 549972 0
[pid=867685/tid=867688] ppid=867682 vsize=2309508 memory=4610 CPUtime=2.71 cores=5,7
/proc/867685/task/867688/stat : 867688 (ld-linux-x86-64) S 867682 867682 867620 0 -1 1077936192 207 0 0 0 109 162 0 0 20 0 2 0 167219877 2364936192 523055 134679101440 140547422965760 140547423153372 140723683962144 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140547425254272 140547425263720 93825014095872 140723683967843 140723683967995 140723683967995 140723683975090 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2319436 KiB
Current children cumulated memory: 2094992 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3605.41 s]
# the end of solver process 867682 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000767 s, system=0.000768 s
[startup+3605.42 s]
# the end of solver process 867685 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3590.26 s, system=9.81605 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): 3605.42
CPU time (s): 3600.07
CPU user time (s): 3590.26
CPU system time (s): 9.81605
CPU usage (%): 99.8518
Max. virtual memory (cumulated for all children) (KiB): 2319436
Max. memory (cumulated for all children) (KiB): 2094992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.26
system time used= 9.81605
maximum resident set size= 2092220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2415289
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= 356941
involuntary context switches= 2243
# summary of solver processes directly reported to runsolver:
# pid: 867682,867685
# total CPU time (s): 3600.07
# total CPU user time (s): 3590.26
# total CPU system time (s): 9.81605
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.05195 second user time and 18.1821 second system time
The end