243.13/243.91 c initialize IPBHS solver
243.13/243.91 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
243.13/243.91 c optimizer = "gurobi"
243.13/243.91 c pbsolver = "roundingsat"
243.13/243.91 c load symmetries from file ""
243.13/243.91 c set time limit for symmetry computation to 100 seconds.
243.13/243.91 c set interchangeable summation variable limit to 3
243.13/243.91 c set abs symmetric core budget per WCE-iteration to 100
243.13/243.91 c set rel symmetric core budget per WCE-iteration to 0
243.13/243.91 c set lit symmetric core budget per WCE-iteration to 0
243.13/243.91 c set sym generation to 's'
243.13/243.91 c set abstraction set creation to 10 iterations without LB change
243.13/243.91 c set abstraction set inputs to 0
243.13/243.91 c set abstraction set cluster min size to 2
243.13/243.91 c set abstraction set cluster max size to 100000000
243.13/243.91 c set abstraction set cluster activation limit to 2
243.13/243.91 c enable abstraction set require equal cost
243.13/243.91 c set abstraction set assumptions to 0
243.13/243.91 c set abstraction set constraint type to 0
243.13/243.91 c set abstract core extraction strategy to b
243.13/243.91 c set core extraction strategy to 2
243.13/243.91 c set core extraction shuffles 10
243.13/243.91 c set cores per iteration to 5
243.13/243.91 c set optimizer bound usage strategy to 2
243.13/243.91 c set optimizer max non-optimal iterations to 1000
243.13/243.91 c set small core cardinality limit to 2
243.13/243.91 c set max coef in cores to 1000000000
243.13/243.91 c set SIS iterations to 5
243.13/243.91 c set SIS budget abs to 1000
243.13/243.91 c set SIS budget rel to 0.05
243.13/243.91 c limit for coefficient in constraints and objective to 9223372036854775807
243.13/243.91 c will solve HOME/instance-4449860-1721403110.opb
243.13/243.91 c [0.01] solve iteration 1, LB=0, UB=20
243.13/243.91 c [2.09] solve iteration 2, LB=0, UB=19
243.13/243.91 c [7.17] solve iteration 3, LB=1, UB=19
243.13/243.91 c [17.15] solve iteration 4, LB=1, UB=19
243.13/243.91 c [21.09] solve iteration 5, LB=1, UB=19
243.13/243.91 c [26.23] solve iteration 6, LB=1, UB=18
243.13/243.91 c [33.61] solve iteration 7, LB=1, UB=18
243.13/243.91 c [39.84] solve iteration 8, LB=1, UB=18
243.13/243.91 c [44.07] solve iteration 9, LB=1, UB=18
243.13/243.91 c [49.55] solve iteration 10, LB=1, UB=18
243.13/243.91 c [52.26] solve iteration 11, LB=1, UB=17
243.13/243.91 c [56.7] solve iteration 12, LB=1, UB=17
243.13/243.91 c [58.01] solve iteration 13, LB=1, UB=17
243.13/243.91 c [59.1] solve iteration 14, LB=1, UB=17
243.13/243.91 c [59.51] solve iteration 15, LB=1, UB=17
243.13/243.91 c [69.17] solve iteration 16, LB=1, UB=17
243.13/243.91 c [70.84] solve iteration 17, LB=1, UB=17
243.13/243.91 c [74.09] solve iteration 18, LB=1, UB=17
243.13/243.91 c [76.24] solve iteration 19, LB=1, UB=17
243.13/243.91 c [76.51] solve iteration 20, LB=1, UB=17
243.13/243.91 c [85.88] solve iteration 21, LB=1, UB=17
243.13/243.91 c [100.12] solve iteration 22, LB=1, UB=17
243.13/243.91 c [101.77] solve iteration 23, LB=1, UB=17
243.13/243.91 c [102.15] solve iteration 24, LB=1, UB=17
243.13/243.91 c [102.4] solve iteration 25, LB=1, UB=17
243.13/243.91 c [113.79] solve iteration 26, LB=1, UB=17
243.13/243.91 c [114.46] solve iteration 27, LB=1, UB=17
243.13/243.91 c [114.58] solve iteration 28, LB=2, UB=17
243.13/243.91 c [114.61] solve iteration 29, LB=2, UB=17
243.13/243.91 c [114.65] solve iteration 30, LB=2, UB=17
243.13/243.91 c [129.65] solve iteration 31, LB=2, UB=17
243.13/243.91 c [129.97] solve iteration 32, LB=2, UB=17
243.13/243.91 c [130.01] solve iteration 33, LB=2, UB=17
243.13/243.91 c [130.54] solve iteration 34, LB=2, UB=17
243.13/243.91 c [130.58] solve iteration 35, LB=2, UB=17
243.13/243.91 c [143.15] solve iteration 36, LB=2, UB=17
243.13/243.91 c [143.56] solve iteration 37, LB=2, UB=17
243.13/243.91 c [143.63] solve iteration 38, LB=2, UB=17
243.13/243.91 c [143.7] solve iteration 39, LB=2, UB=17
243.13/243.91 c [144.98] solve iteration 40, LB=2, UB=17
243.13/243.91 c [159.57] solve iteration 41, LB=2, UB=17
243.13/243.91 c [159.75] solve iteration 42, LB=2, UB=17
243.13/243.91 c [160.49] solve iteration 43, LB=2, UB=17
243.13/243.91 c [161.08] solve iteration 44, LB=2, UB=17
243.13/243.91 c [161.14] solve iteration 45, LB=2, UB=17
243.13/243.91 c [170.56] solve iteration 46, LB=2, UB=17
243.13/243.91 c [170.63] solve iteration 47, LB=2, UB=17
243.13/243.91 c [170.68] solve iteration 48, LB=2, UB=17
243.13/243.91 c [170.7] solve iteration 49, LB=2, UB=17
243.13/243.91 c [170.72] solve iteration 50, LB=2, UB=17
243.13/243.91 c [186.52] solve iteration 51, LB=2, UB=17
243.13/243.91 c [186.72] solve iteration 52, LB=2, UB=17
243.13/243.91 c [186.74] solve iteration 53, LB=2, UB=17
243.13/243.91 c [186.75] solve iteration 54, LB=2, UB=17
243.13/243.91 c [186.78] solve iteration 55, LB=2, UB=17
243.13/243.91 c [205.79] solve iteration 56, LB=2, UB=17
243.13/243.91 c [205.9] solve iteration 57, LB=2, UB=17
243.13/243.91 c [205.95] solve iteration 58, LB=2, UB=17
243.13/243.91 c [207.92] solve iteration 59, LB=2, UB=17
243.13/243.91 c [208.21] solve iteration 60, LB=2, UB=17
243.13/243.91 c [226.58] solve iteration 61, LB=2, UB=17
243.13/243.91 c [227.25] solve iteration 62, LB=2, UB=17
1104.93/1107.49 c [227.33] solve iteration 63, LB=2, UB=17
1104.93/1107.49 c [227.37] solve iteration 64, LB=2, UB=17
1104.93/1107.49 c [227.43] solve iteration 65, LB=2, UB=17
1104.93/1107.49 c [249.84] solve iteration 66, LB=2, UB=17
1104.93/1107.49 c [250.16] solve iteration 67, LB=2, UB=17
1104.93/1107.49 c [250.23] solve iteration 68, LB=2, UB=17
1104.93/1107.49 c [250.25] solve iteration 69, LB=2, UB=17
1104.93/1107.49 c [250.28] solve iteration 70, LB=2, UB=17
1104.93/1107.49 c [272.91] solve iteration 71, LB=2, UB=17
1104.93/1107.49 c [273.01] solve iteration 72, LB=2, UB=17
1104.93/1107.49 c [273.05] solve iteration 73, LB=2, UB=17
1104.93/1107.49 c [273.08] solve iteration 74, LB=2, UB=17
1104.93/1107.49 c [273.11] solve iteration 75, LB=2, UB=17
1104.93/1107.49 c [290.47] solve iteration 76, LB=2, UB=17
1104.93/1107.49 c [290.61] solve iteration 77, LB=2, UB=17
1104.93/1107.49 c [290.66] solve iteration 78, LB=2, UB=17
1104.93/1107.49 c [290.69] solve iteration 79, LB=2, UB=17
1104.93/1107.49 c [290.71] solve iteration 80, LB=2, UB=17
1104.93/1107.49 c [310.09] solve iteration 81, LB=2, UB=17
1104.93/1107.49 c [310.21] solve iteration 82, LB=2, UB=17
1104.93/1107.49 c [310.23] solve iteration 83, LB=2, UB=17
1104.93/1107.49 c [310.25] solve iteration 84, LB=2, UB=17
1104.93/1107.49 c [310.26] solve iteration 85, LB=2, UB=17
1104.93/1107.49 c [335.27] solve iteration 86, LB=2, UB=17
1104.93/1107.49 c [335.42] solve iteration 87, LB=2, UB=17
1104.93/1107.49 c [335.46] solve iteration 88, LB=2, UB=17
1104.93/1107.49 c [335.52] solve iteration 89, LB=2, UB=17
1104.93/1107.49 c [335.56] solve iteration 90, LB=2, UB=17
1104.93/1107.49 c [364.23] solve iteration 91, LB=2, UB=17
1104.93/1107.49 c [364.35] solve iteration 92, LB=2, UB=17
1104.93/1107.49 c [364.4] solve iteration 93, LB=2, UB=17
1104.93/1107.49 c [364.43] solve iteration 94, LB=2, UB=17
1104.93/1107.49 c [364.48] solve iteration 95, LB=2, UB=17
1104.93/1107.49 c [395.44] solve iteration 96, LB=2, UB=17
1104.93/1107.49 c [395.67] solve iteration 97, LB=2, UB=17
1104.93/1107.49 c [395.73] solve iteration 98, LB=2, UB=17
1104.93/1107.49 c [395.77] solve iteration 99, LB=2, UB=17
1104.93/1107.49 c [395.8] solve iteration 100, LB=2, UB=17
1104.93/1107.49 c [430.89] solve iteration 101, LB=2, UB=17
1104.93/1107.49 c [431.07] solve iteration 102, LB=2, UB=17
1104.93/1107.49 c [431.11] solve iteration 103, LB=2, UB=17
1104.93/1107.49 c [431.14] solve iteration 104, LB=2, UB=17
1104.93/1107.49 c [431.17] solve iteration 105, LB=2, UB=17
1104.93/1107.49 c [472.12] solve iteration 106, LB=2, UB=17
1104.93/1107.49 c [472.35] solve iteration 107, LB=2, UB=17
1104.93/1107.49 c [472.41] solve iteration 108, LB=2, UB=17
1104.93/1107.49 c [472.44] solve iteration 109, LB=2, UB=17
1104.93/1107.49 c [472.48] solve iteration 110, LB=2, UB=17
1104.93/1107.49 c [514.7] solve iteration 111, LB=2, UB=17
1104.93/1107.49 c [514.81] solve iteration 112, LB=2, UB=17
1104.93/1107.49 c [514.87] solve iteration 113, LB=2, UB=17
1104.93/1107.49 c [514.92] solve iteration 114, LB=2, UB=17
1104.93/1107.49 c [514.98] solve iteration 115, LB=2, UB=17
1104.93/1107.49 c [564.96] solve iteration 116, LB=2, UB=17
1104.93/1107.49 c [565.15] solve iteration 117, LB=2, UB=17
1104.93/1107.49 c [565.31] solve iteration 118, LB=2, UB=17
1104.93/1107.49 c [565.36] solve iteration 119, LB=2, UB=17
1104.93/1107.49 c [565.39] solve iteration 120, LB=2, UB=17
1104.93/1107.49 c [616.45] solve iteration 121, LB=2, UB=17
1104.93/1107.49 c [616.94] solve iteration 122, LB=2, UB=17
1104.93/1107.49 c [617] solve iteration 123, LB=2, UB=17
1104.93/1107.49 c [617.03] solve iteration 124, LB=2, UB=17
1104.93/1107.49 c [617.07] solve iteration 125, LB=2, UB=17
1104.93/1107.49 c [673.46] solve iteration 126, LB=2, UB=17
1104.93/1107.49 c [673.65] solve iteration 127, LB=2, UB=17
1104.93/1107.49 c [673.71] solve iteration 128, LB=2, UB=17
1104.93/1107.49 c [673.75] solve iteration 129, LB=2, UB=17
1104.93/1107.49 c [673.78] solve iteration 130, LB=2, UB=17
1104.93/1107.49 c [727.36] solve iteration 131, LB=2, UB=17
1104.93/1107.49 c [727.75] solve iteration 132, LB=2, UB=17
1104.93/1107.49 c [727.82] solve iteration 133, LB=2, UB=17
1104.93/1107.49 c [727.86] solve iteration 134, LB=2, UB=17
1104.93/1107.49 c [727.88] solve iteration 135, LB=2, UB=17
1104.93/1107.49 c [792.19] solve iteration 136, LB=2, UB=17
1104.93/1107.49 c [792.42] solve iteration 137, LB=2, UB=17
1104.93/1107.49 c [792.46] solve iteration 138, LB=2, UB=17
1104.93/1107.49 c [792.49] solve iteration 139, LB=2, UB=17
1104.93/1107.49 c [792.51] solve iteration 140, LB=2, UB=17
1104.93/1107.49 c [854.16] solve iteration 141, LB=2, UB=17
1104.93/1107.49 c [854.49] solve iteration 142, LB=2, UB=17
1104.93/1107.49 c [854.54] solve iteration 143, LB=2, UB=17
1104.93/1107.49 c [854.61] solve iteration 144, LB=2, UB=17
1104.93/1107.49 c [854.64] solve iteration 145, LB=2, UB=17
1104.93/1107.49 c [922.24] solve iteration 146, LB=2, UB=17
1104.93/1107.49 c [922.4] solve iteration 147, LB=2, UB=17
1104.93/1107.49 c [922.45] solve iteration 148, LB=2, UB=17
1104.93/1107.49 c [922.5] solve iteration 149, LB=2, UB=17
1104.93/1107.49 c [922.54] solve iteration 150, LB=2, UB=17
1104.93/1107.49 c [980.48] solve iteration 151, LB=2, UB=17
1104.93/1107.49 c [980.61] solve iteration 152, LB=2, UB=17
1104.93/1107.49 c [980.68] solve iteration 153, LB=2, UB=17
1104.93/1107.49 c [980.73] solve iteration 154, LB=2, UB=17
1104.93/1107.49 c [980.76] solve iteration 155, LB=2, UB=17
1104.93/1107.49 c [1053.37] solve iHOME/run-glibc-2.34.sh: line 2: 1015119 Terminated LD_LIBRARY_PATH=/home/evaluation/evaluation/priv/lib:/home/evaluation/evaluation/tools/lib64:/home/evaluation/evaluation/tools/lib:/usr/local/lib:/home/evaluation/evaluation/tools/glibc-2.34/lib/:/lib64 /home/evaluation/evaluation/tools/glibc-2.34/lib/ld-linux-x86-64.so.2 $*
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61907 MiB free)
memory of node 1: 64510 MiB (63142 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449860-1721403110/watcher-4449860-1721403110 -o /tmp/evaluation-result-4449860-1721403110/solver-4449860-1721403110 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721399515-1013027 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4449860-1721403110.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1015117, runsolver pid=1015114
[startup+0.100084 s]*
/proc/loadavg: 4.17 4.22 4.13 5/263 1015119
/proc/meminfo: memFree=128039108/131524600 swapFree=131071996/131071996
[pid=1015117] ppid=1015114 vsize=9928 memory=2824 CPUtime=0 cores=4,6
/proc/1015117/stat : 1015117 (run-glibc-2.34.) S 1015114 1015117 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471256 10166272 706 134679101440 94897579057152 94897580136472 140730228996016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94897582234928 94897582282116 94897613242368 140730228999113 140730228999258 140730228999258 140730229006275 0
/proc/1015117/statm: 2482 706 626 264 0 133 0
[pid=1015119] ppid=1015117 vsize=95112 memory=17356 CPUtime=0.09 cores=4,6
/proc/1015119/stat : 1015119 (ld-linux-x86-64) R 1015117 1015117 1013016 0 -1 4194304 2823 0 0 0 7 2 0 0 20 0 1 0 192471256 97394688 4339 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
/proc/1015119/statm: 23778 4339 1692 46 0 4393 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 105040 KiB
Current children cumulated memory: 20180 KiB
[startup+0.205667 s]*
/proc/loadavg: 4.17 4.22 4.13 6/264 1015120
/proc/meminfo: memFree=128027464/131524600 swapFree=131071996/131071996
[pid=1015117] ppid=1015114 vsize=9928 memory=2824 CPUtime=0 cores=4,6
/proc/1015117/stat : 1015117 (run-glibc-2.34.) S 1015114 1015117 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471256 10166272 706 134679101440 94897579057152 94897580136472 140730228996016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94897582234928 94897582282116 94897613242368 140730228999113 140730228999258 140730228999258 140730229006275 0
/proc/1015117/statm: 2482 706 626 264 0 133 0
[pid=1015119] ppid=1015117 vsize=144500 memory=34464 CPUtime=0.2 cores=4,6
/proc/1015119/stat : 1015119 (ld-linux-x86-64) R 1015117 1015117 1013016 0 -1 4194304 4151 0 0 0 15 5 0 0 20 0 2 0 192471256 147968000 8616 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
/proc/1015119/statm: 36125 8616 3233 46 0 8720 0
[pid=1015119/tid=1015120] ppid=1015117 vsize=144500 memory=3472328283071214670 CPUtime=0 cores=4,6
/proc/1015119/task/1015120/stat : 1015120 (ld-linux-x86-64) R 1015117 1015117 1013016 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192471270 147968000 8616 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 0 0 0 -1 6 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 154428 KiB
Current children cumulated memory: 37288 KiB
[startup+0.304978 s]*
/proc/loadavg: 4.17 4.22 4.13 5/264 1015120
/proc/meminfo: memFree=128027304/131524600 swapFree=131071996/131071996
[pid=1015117] ppid=1015114 vsize=9928 memory=2824 CPUtime=0 cores=4,6
/proc/1015117/stat : 1015117 (run-glibc-2.34.) S 1015114 1015117 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471256 10166272 706 134679101440 94897579057152 94897580136472 140730228996016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94897582234928 94897582282116 94897613242368 140730228999113 140730228999258 140730228999258 140730229006275 0
/proc/1015117/statm: 2482 706 626 264 0 133 0
[pid=1015119] ppid=1015117 vsize=144652 memory=34464 CPUtime=0.3 cores=4,6
/proc/1015119/stat : 1015119 (ld-linux-x86-64) R 1015117 1015117 1013016 0 -1 4194304 4177 0 0 0 24 6 0 0 20 0 2 0 192471256 148123648 8616 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
/proc/1015119/statm: 36163 8616 3233 46 0 8758 0
[pid=1015119/tid=1015120] ppid=1015117 vsize=144652 memory=4209241035544100993 CPUtime=0 cores=4,6
/proc/1015119/task/1015120/stat : 1015120 (ld-linux-x86-64) S 1015117 1015117 1013016 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192471270 148123648 8616 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 154580 KiB
Current children cumulated memory: 37288 KiB
[startup+0.700242 s]
/proc/loadavg: 4.17 4.22 4.13 5/264 1015122
/proc/meminfo: memFree=128026156/131524600 swapFree=131071996/131071996
[pid=1015117] ppid=1015114 vsize=9928 memory=2824 CPUtime=0 cores=4,6
/proc/1015117/stat : 1015117 (run-glibc-2.34.) S 1015114 1015117 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471256 10166272 706 134679101440 94897579057152 94897580136472 140730228996016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94897582234928 94897582282116 94897613242368 140730228999113 140730228999258 140730228999258 140730229006275 0
/proc/1015117/statm: 2482 706 626 264 0 133 0
[pid=1015119] ppid=1015117 vsize=147296 memory=37604 CPUtime=0.69 cores=4,6
/proc/1015119/stat : 1015119 (ld-linux-x86-64) R 1015117 1015117 1013016 0 -1 4194304 4864 0 0 0 57 12 0 0 20 0 2 0 192471256 150831104 9401 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
/proc/1015119/statm: 36824 9401 3296 46 0 9419 0
[pid=1015119/tid=1015120] ppid=1015117 vsize=147296 memory=0 CPUtime=0 cores=4,6
/proc/1015119/task/1015120/stat : 1015120 (ld-linux-x86-64) S 1015117 1015117 1013016 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192471270 150831104 9401 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 157224 KiB
Current children cumulated memory: 40428 KiB
[startup+1.50021 s]
/proc/loadavg: 4.17 4.22 4.13 5/264 1015122
/proc/meminfo: memFree=128023112/131524600 swapFree=131071996/131071996
[pid=1015117] ppid=1015114 vsize=9928 memory=2824 CPUtime=0 cores=4,6
/proc/1015117/stat : 1015117 (run-glibc-2.34.) S 1015114 1015117 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471256 10166272 706 134679101440 94897579057152 94897580136472 140730228996016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94897582234928 94897582282116 94897613242368 140730228999113 140730228999258 140730228999258 140730229006275 0
/proc/1015117/statm: 2482 706 626 264 0 133 0
[pid=1015119] ppid=1015117 vsize=148092 memory=38660 CPUtime=1.48 cores=4,6
/proc/1015119/stat : 1015119 (ld-linux-x86-64) R 1015117 1015117 1013016 0 -1 4194304 5103 0 0 0 129 19 0 0 20 0 2 0 192471256 151646208 9665 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
/proc/1015119/statm: 37023 9665 3296 46 0 9618 0
[pid=1015119/tid=1015120] ppid=1015117 vsize=148092 memory=38396 CPUtime=0 cores=4,6
/proc/1015119/task/1015120/stat : 1015120 (ld-linux-x86-64) S 1015117 1015117 1013016 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192471270 151646208 9665 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 158020 KiB
Current children cumulated memory: 41484 KiB
[startup+3.10588 s]
/proc/loadavg: 4.15 4.22 4.13 5/264 1015218
/proc/meminfo: memFree=128099552/131524600 swapFree=131071996/131071996
[pid=1015117] ppid=1015114 vsize=9928 memory=2824 CPUtime=0 cores=4,6
/proc/1015117/stat : 1015117 (run-glibc-2.34.) S 1015114 1015117 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471256 10166272 706 134679101440 94897579057152 94897580136472 140730228996016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94897582234928 94897582282116 94897613242368 140730228999113 140730228999258 140730228999258 140730229006275 0
/proc/1015117/statm: 2482 706 626 264 0 133 0
[pid=1015119] ppid=1015117 vsize=151604 memory=40952 CPUtime=3.08 cores=4,6
/proc/1015119/stat : 1015119 (ld-linux-x86-64) R 1015117 1015117 1013016 0 -1 4194304 8364 0 0 0 272 36 0 0 20 0 2 0 192471256 155242496 10238 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
/proc/1015119/statm: 37901 10238 3517 46 0 10496 0
[pid=1015119/tid=1015120] ppid=1015117 vsize=151604 memory=4209241035544100993 CPUtime=0 cores=4,6
/proc/1015119/task/1015120/stat : 1015120 (ld-linux-x86-64) S 1015117 1015117 1013016 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 192471270 155242496 10238 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 161532 KiB
Current children cumulated memory: 43776 KiB
[startup+6.30026 s]
/proc/loadavg: 4.15 4.22 4.13 5/264 1015218
/proc/meminfo: memFree=128091396/131524600 swapFree=131071996/131071996
[pid=1015117] ppid=1015114 vsize=9928 memory=2824 CPUtime=0 cores=4,6
/proc/1015117/stat : 1015117 (run-glibc-2.34.) S 1015114 1015117 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471256 10166272 706 134679101440 94897579057152 94897580136472 140730228996016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94897582234928 94897582282116 94897613242368 140730228999113 140730228999258 140730228999258 140730229006275 0
/proc/1015117/statm: 2482 706 626 264 0 133 0
[pid=1015119] ppid=1015117 vsize=152548 memory=44060 CPUtime=6.27 cores=4,6
/proc/1015119/stat : 1015119 (ld-linux-x86-64) R 1015117 1015117 1013016 0 -1 4194304 12602 0 0 0 567 60 0 0 20 0 2 0 192471256 156209152 11015 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
/proc/1015119/statm: 38137 11015 3517 46 0 10732 0
[pid=1015119/tid=1015120] ppid=1015117 vsize=152548 memory=43572 CPUtime=0 cores=4,6
/proc/1015119/task/1015120/stat : 1015120 (ld-linux-x86-64) S 1015117 1015117 1013016 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 2 0 192471270 156209152 11015 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 162476 KiB
Current children cumulated memory: 46884 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.21 4.13 5/264 1015219
/proc/meminfo: memFree=128084436/131524600 swapFree=131071996/131071996
[pid=1015117] ppid=1015114 vsize=9928 memory=2824 CPUtime=0 cores=4,6
/proc/1015117/stat : 1015117 (run-glibc-2.34.) S 1015114 1015117 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471256 10166272 706 134679101440 94897579057152 94897580136472 140730228996016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94897582234928 94897582282116 94897613242368 140730228999113 140730228999258 140730228999258 140730229006275 0
/proc/1015117/statm: 2482 706 626 264 0 133 0
[pid=1015119] ppid=1015117 vsize=158816 memory=49728 CPUtime=12.65 cores=4,6
/proc/1015119/stat : 1015119 (ld-linux-x86-64) R 1015117 1015117 1013016 0 -1 4194304 21565 0 0 0 1162 103 0 0 20 0 2 0 192471256 162627584 12432 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
/proc/1015119/statm: 39704 12432 3517 46 0 12299 0
[pid=1015119/tid=1015120] ppid=1015117 vsize=158816 memory=43572 CPUtime=0 cores=4,6
/proc/1015119/task/1015120/stat : 1015120 (ld-linux-x86-64) S 1015117 1015117 1013016 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 2 0 192471270 162627584 12432 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 168744 KiB
Current children cumulated memory: 52552 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.20 4.13 5/264 1015221
/proc/meminfo: memFree=128075312/131524600 swapFree=131071996/131071996
[pid=1015117] ppid=1015114 vsize=9928 memory=2824 CPUtime=0 cores=4,6
/proc/1015117/stat : 1015117 (run-glibc-2.34.) S 1015114 1015117 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471256 10166272 706 134679101440 94897579057152 94897580136472 140730228996016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94897582234928 94897582282116 94897613242368 140730228999113 140730228999258 140730228999258 140730229006275 0
/proc/1015117/statm: 2482 706 626 264 0 133 0
[pid=1015119] ppid=1015117 vsize=160436 memory=52004 CPUtime=25.4 cores=4,6
/proc/1015119/stat : 1015119 (ld-linux-x86-64) R 1015117 1015117 1013016 0 -1 4194304 33471 0 0 0 2358 182 0 0 20 0 2 0 192471256 164286464 13001 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
/proc/1015119/statm: 40109 13001 3517 46 0 12704 0
[pid=1015119/tid=1015120] ppid=1015117 vsize=160436 memory=51472 CPUtime=0 cores=4,6
/proc/1015119/task/1015120/stat : 1015120 (ld-linux-x86-64) S 1015117 1015117 1013016 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 2 0 192471270 164286464 13001 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 170364 KiB
Current children cumulated memory: 54828 KiB
[startup+51.1059 s]
/proc/loadavg: 4.15 4.20 4.13 5/264 1015225
/proc/meminfo: memFree=128053488/131524600 swapFree=131071996/131071996
[pid=1015117] ppid=1015114 vsize=9928 memory=2824 CPUtime=0 cores=4,6
/proc/1015117/stat : 1015117 (run-glibc-2.34.) S 1015114 1015117 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471256 10166272 706 134679101440 94897579057152 94897580136472 140730228996016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94897582234928 94897582282116 94897613242368 140730228999113 140730228999258 140730228999258 140730229006275 0
/proc/1015117/statm: 2482 706 626 264 0 133 0
[pid=1015119] ppid=1015117 vsize=176892 memory=66716 CPUtime=50.91 cores=4,6
/proc/1015119/stat : 1015119 (ld-linux-x86-64) R 1015117 1015117 1013016 0 -1 4194304 54907 0 0 0 4748 343 0 0 20 0 2 0 192471256 181137408 16679 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
/proc/1015119/statm: 44223 16679 3517 46 0 16818 0
[pid=1015119/tid=1015120] ppid=1015117 vsize=176892 memory=12740 CPUtime=0.02 cores=4,6
/proc/1015119/task/1015120/stat : 1015120 (ld-linux-x86-64) S 1015117 1015117 1013016 0 -1 1077936192 41 0 0 0 0 2 0 0 20 0 2 0 192471270 181137408 16679 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 186820 KiB
Current children cumulated memory: 69540 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.18 4.12 5/263 1015234
/proc/meminfo: memFree=128008560/131524600 swapFree=131071996/131071996
[pid=1015117] ppid=1015114 vsize=9928 memory=2824 CPUtime=0 cores=4,6
/proc/1015117/stat : 1015117 (run-glibc-2.34.) S 1015114 1015117 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471256 10166272 706 134679101440 94897579057152 94897580136472 140730228996016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94897582234928 94897582282116 94897613242368 140730228999113 140730228999258 140730228999258 140730229006275 0
/proc/1015117/statm: 2482 706 626 264 0 133 0
[pid=1015119] ppid=1015117 vsize=221100 memory=98036 CPUtime=101.92 cores=4,6
/proc/1015119/stat : 1015119 (ld-linux-x86-64) R 1015117 1015117 1013016 0 -1 4194304 78768 0 0 0 9563 629 0 0 20 0 2 0 192471256 226406400 24509 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
/proc/1015119/statm: 55275 24509 3739 46 0 27870 0
[pid=1015119/tid=1015120] ppid=1015117 vsize=221100 memory=12740 CPUtime=0.06 cores=4,6
/proc/1015119/task/1015120/stat : 1015120 (ld-linux-x86-64) S 1015117 1015117 1013016 0 -1 1077936192 51 0 0 0 2 4 0 0 20 0 2 0 192471270 226406400 24509 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 231028 KiB
Current children cumulated memory: 100860 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/263 1015246
/proc/meminfo: memFree=127953016/131524600 swapFree=131071996/131071996
################
# More data... #
################
/proc/1015119/statm: 191859 132867 3818 46 0 164454 0
[pid=1015119/tid=1015120] ppid=1015117 vsize=767436 memory=2824 CPUtime=2.07 cores=4,6
/proc/1015119/task/1015120/stat : 1015120 (ld-linux-x86-64) S 1015117 1015117 1013016 0 -1 1077936192 184 0 0 0 82 125 0 0 20 0 2 0 192471270 785854464 132867 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
Current children cumulated CPU time: 3096.35 s
Current children cumulated vsize: 777364 KiB
Current children cumulated memory: 534292 KiB
[startup+3162.3 s]
/proc/loadavg: 3.18 3.15 3.21 4/255 1016396
/proc/meminfo: memFree=127514588/131524600 swapFree=131071996/131071996
[pid=1015117] ppid=1015114 vsize=9928 memory=2824 CPUtime=0 cores=4,6
/proc/1015117/stat : 1015117 (run-glibc-2.34.) S 1015114 1015117 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471256 10166272 706 134679101440 94897579057152 94897580136472 140730228996016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94897582234928 94897582282116 94897613242368 140730228999113 140730228999258 140730228999258 140730229006275 0
/proc/1015117/statm: 2482 706 626 264 0 133 0
[pid=1015119] ppid=1015117 vsize=770736 memory=534780 CPUtime=3156.27 cores=4,6
/proc/1015119/stat : 1015119 (ld-linux-x86-64) R 1015117 1015117 1013016 0 -1 4194304 655527 0 0 0 305034 10593 0 0 20 0 2 0 192471256 789233664 133695 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
/proc/1015119/statm: 192684 133695 3818 46 0 165279 0
[pid=1015119/tid=1015120] ppid=1015117 vsize=770736 memory=2824 CPUtime=2.13 cores=4,6
/proc/1015119/task/1015120/stat : 1015120 (ld-linux-x86-64) S 1015117 1015117 1013016 0 -1 1077936192 187 0 0 0 85 128 0 0 20 0 2 0 192471270 789233664 133695 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
Current children cumulated CPU time: 3156.27 s
Current children cumulated vsize: 780664 KiB
Current children cumulated memory: 537604 KiB
[startup+3222.3 s]
/proc/loadavg: 3.11 3.14 3.19 4/255 1016794
/proc/meminfo: memFree=127611488/131524600 swapFree=131071996/131071996
[pid=1015117] ppid=1015114 vsize=9928 memory=2824 CPUtime=0 cores=4,6
/proc/1015117/stat : 1015117 (run-glibc-2.34.) S 1015114 1015117 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471256 10166272 706 134679101440 94897579057152 94897580136472 140730228996016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94897582234928 94897582282116 94897613242368 140730228999113 140730228999258 140730228999258 140730229006275 0
/proc/1015117/statm: 2482 706 626 264 0 133 0
[pid=1015119] ppid=1015117 vsize=770736 memory=534780 CPUtime=3216.19 cores=4,6
/proc/1015119/stat : 1015119 (ld-linux-x86-64) R 1015117 1015117 1013016 0 -1 4194304 656279 0 0 0 310892 10727 0 0 20 0 2 0 192471256 789233664 133695 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
/proc/1015119/statm: 192684 133695 3818 46 0 165279 0
[pid=1015119/tid=1015120] ppid=1015117 vsize=770736 memory=2824 CPUtime=2.17 cores=4,6
/proc/1015119/task/1015120/stat : 1015120 (ld-linux-x86-64) S 1015117 1015117 1013016 0 -1 1077936192 190 0 0 0 87 130 0 0 20 0 2 0 192471270 789233664 133695 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
Current children cumulated CPU time: 3216.19 s
Current children cumulated vsize: 780664 KiB
Current children cumulated memory: 537604 KiB
[startup+3282.3 s]
/proc/loadavg: 3.49 3.25 3.23 4/255 1016804
/proc/meminfo: memFree=127601008/131524600 swapFree=131071996/131071996
[pid=1015117] ppid=1015114 vsize=9928 memory=2824 CPUtime=0 cores=4,6
/proc/1015117/stat : 1015117 (run-glibc-2.34.) S 1015114 1015117 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471256 10166272 706 134679101440 94897579057152 94897580136472 140730228996016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94897582234928 94897582282116 94897613242368 140730228999113 140730228999258 140730228999258 140730229006275 0
/proc/1015117/statm: 2482 706 626 264 0 133 0
[pid=1015119] ppid=1015117 vsize=773904 memory=544144 CPUtime=3276.09 cores=4,6
/proc/1015119/stat : 1015119 (ld-linux-x86-64) R 1015117 1015117 1013016 0 -1 4194304 663839 0 0 0 316801 10808 0 0 20 0 2 0 192471256 792477696 136036 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
/proc/1015119/statm: 193476 136036 3818 46 0 166071 0
[pid=1015119/tid=1015120] ppid=1015117 vsize=773904 memory=2824 CPUtime=2.21 cores=4,6
/proc/1015119/task/1015120/stat : 1015120 (ld-linux-x86-64) S 1015117 1015117 1013016 0 -1 1077936192 193 0 0 0 89 132 0 0 20 0 2 0 192471270 792477696 136036 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
Current children cumulated CPU time: 3276.09 s
Current children cumulated vsize: 783832 KiB
Current children cumulated memory: 546968 KiB
[startup+3342.3 s]
/proc/loadavg: 3.23 3.22 3.22 4/255 1016815
/proc/meminfo: memFree=127589084/131524600 swapFree=131071996/131071996
[pid=1015117] ppid=1015114 vsize=9928 memory=2824 CPUtime=0 cores=4,6
/proc/1015117/stat : 1015117 (run-glibc-2.34.) S 1015114 1015117 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471256 10166272 706 134679101440 94897579057152 94897580136472 140730228996016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94897582234928 94897582282116 94897613242368 140730228999113 140730228999258 140730228999258 140730229006275 0
/proc/1015117/statm: 2482 706 626 264 0 133 0
[pid=1015119] ppid=1015117 vsize=773904 memory=554384 CPUtime=3336.01 cores=4,6
/proc/1015119/stat : 1015119 (ld-linux-x86-64) R 1015117 1015117 1013016 0 -1 4194304 665102 0 0 0 322715 10886 0 0 20 0 2 0 192471256 792477696 138596 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
/proc/1015119/statm: 193476 138596 3818 46 0 166071 0
[pid=1015119/tid=1015120] ppid=1015117 vsize=773904 memory=11400 CPUtime=2.26 cores=4,6
/proc/1015119/task/1015120/stat : 1015120 (ld-linux-x86-64) S 1015117 1015117 1013016 0 -1 1077936192 196 0 0 0 91 135 0 0 20 0 2 0 192471270 792477696 138596 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
Current children cumulated CPU time: 3336.01 s
Current children cumulated vsize: 783832 KiB
Current children cumulated memory: 557208 KiB
[startup+3402.3 s]
/proc/loadavg: 3.12 3.19 3.20 4/257 1016995
/proc/meminfo: memFree=127569124/131524600 swapFree=131071996/131071996
[pid=1015117] ppid=1015114 vsize=9928 memory=2824 CPUtime=0 cores=4,6
/proc/1015117/stat : 1015117 (run-glibc-2.34.) S 1015114 1015117 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471256 10166272 706 134679101440 94897579057152 94897580136472 140730228996016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94897582234928 94897582282116 94897613242368 140730228999113 140730228999258 140730228999258 140730229006275 0
/proc/1015117/statm: 2482 706 626 264 0 133 0
[pid=1015119] ppid=1015117 vsize=776148 memory=566836 CPUtime=3395.91 cores=4,6
/proc/1015119/stat : 1015119 (ld-linux-x86-64) R 1015117 1015117 1013016 0 -1 4194304 673010 0 0 0 328602 10989 0 0 20 0 2 0 192471256 794775552 141709 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
/proc/1015119/statm: 194037 141709 3818 46 0 166632 0
[pid=1015119/tid=1015120] ppid=1015117 vsize=776148 memory=2824 CPUtime=2.3 cores=4,6
/proc/1015119/task/1015120/stat : 1015120 (ld-linux-x86-64) S 1015117 1015117 1013016 0 -1 1077936192 199 0 0 0 93 137 0 0 20 0 2 0 192471270 794775552 141709 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
Current children cumulated CPU time: 3395.91 s
Current children cumulated vsize: 786076 KiB
Current children cumulated memory: 569660 KiB
[startup+3462.3 s]
/proc/loadavg: 3.14 3.18 3.20 4/257 1017005
/proc/meminfo: memFree=127566928/131524600 swapFree=131071996/131071996
[pid=1015117] ppid=1015114 vsize=9928 memory=2824 CPUtime=0 cores=4,6
/proc/1015117/stat : 1015117 (run-glibc-2.34.) S 1015114 1015117 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471256 10166272 706 134679101440 94897579057152 94897580136472 140730228996016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94897582234928 94897582282116 94897613242368 140730228999113 140730228999258 140730228999258 140730229006275 0
/proc/1015117/statm: 2482 706 626 264 0 133 0
[pid=1015119] ppid=1015117 vsize=779448 memory=570168 CPUtime=3455.82 cores=4,6
/proc/1015119/stat : 1015119 (ld-linux-x86-64) R 1015117 1015117 1013016 0 -1 4194304 674952 0 0 0 334507 11075 0 0 20 0 2 0 192471256 798154752 142542 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
/proc/1015119/statm: 194862 142542 3818 46 0 167457 0
[pid=1015119/tid=1015120] ppid=1015117 vsize=779448 memory=2824 CPUtime=2.35 cores=4,6
/proc/1015119/task/1015120/stat : 1015120 (ld-linux-x86-64) S 1015117 1015117 1013016 0 -1 1077936192 202 0 0 0 95 140 0 0 20 0 2 0 192471270 798154752 142542 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
Current children cumulated CPU time: 3455.82 s
Current children cumulated vsize: 789376 KiB
Current children cumulated memory: 572992 KiB
[startup+3522.3 s]
/proc/loadavg: 3.65 3.29 3.23 4/257 1017073
/proc/meminfo: memFree=127562448/131524600 swapFree=131071996/131071996
[pid=1015117] ppid=1015114 vsize=9928 memory=2824 CPUtime=0 cores=4,6
/proc/1015117/stat : 1015117 (run-glibc-2.34.) S 1015114 1015117 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471256 10166272 706 134679101440 94897579057152 94897580136472 140730228996016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94897582234928 94897582282116 94897613242368 140730228999113 140730228999258 140730228999258 140730229006275 0
/proc/1015117/statm: 2482 706 626 264 0 133 0
[pid=1015119] ppid=1015117 vsize=779448 memory=570168 CPUtime=3515.74 cores=4,6
/proc/1015119/stat : 1015119 (ld-linux-x86-64) R 1015117 1015117 1013016 0 -1 4194304 675180 0 0 0 340429 11145 0 0 20 0 2 0 192471256 798154752 142542 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
/proc/1015119/statm: 194862 142542 3818 46 0 167457 0
[pid=1015119/tid=1015120] ppid=1015117 vsize=779448 memory=11400 CPUtime=2.4 cores=4,6
/proc/1015119/task/1015120/stat : 1015120 (ld-linux-x86-64) S 1015117 1015117 1013016 0 -1 1077936192 205 0 0 0 97 143 0 0 20 0 2 0 192471270 798154752 142542 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
Current children cumulated CPU time: 3515.74 s
Current children cumulated vsize: 789376 KiB
Current children cumulated memory: 572992 KiB
[startup+3582.3 s]
/proc/loadavg: 3.34 3.27 3.23 4/257 1017084
/proc/meminfo: memFree=127534980/131524600 swapFree=131071996/131071996
[pid=1015117] ppid=1015114 vsize=9928 memory=2824 CPUtime=0 cores=4,6
/proc/1015117/stat : 1015117 (run-glibc-2.34.) S 1015114 1015117 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471256 10166272 706 134679101440 94897579057152 94897580136472 140730228996016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94897582234928 94897582282116 94897613242368 140730228999113 140730228999258 140730228999258 140730229006275 0
/proc/1015117/statm: 2482 706 626 264 0 133 0
[pid=1015119] ppid=1015117 vsize=782088 memory=576864 CPUtime=3575.62 cores=4,6
/proc/1015119/stat : 1015119 (ld-linux-x86-64) R 1015117 1015117 1013016 0 -1 4194304 677778 0 0 0 346323 11239 0 0 20 0 2 0 192471256 800858112 144216 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
/proc/1015119/statm: 195522 144216 3818 46 0 168117 0
[pid=1015119/tid=1015120] ppid=1015117 vsize=782088 memory=11400 CPUtime=2.45 cores=4,6
/proc/1015119/task/1015120/stat : 1015120 (ld-linux-x86-64) S 1015117 1015117 1013016 0 -1 1077936192 208 0 0 0 99 146 0 0 20 0 2 0 192471270 800858112 144216 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
Current children cumulated CPU time: 3575.62 s
Current children cumulated vsize: 792016 KiB
Current children cumulated memory: 579688 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3606.8 s]
/proc/loadavg: 3.23 3.25 3.22 5/257 1017087
/proc/meminfo: memFree=127528612/131524600 swapFree=131071996/131071996
[pid=1015117] ppid=1015114 vsize=9928 memory=2824 CPUtime=0 cores=4,6
/proc/1015117/stat : 1015117 (run-glibc-2.34.) S 1015114 1015117 1013016 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192471256 10166272 706 134679101440 94897579057152 94897580136472 140730228996016 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94897582234928 94897582282116 94897613242368 140730228999113 140730228999258 140730228999258 140730229006275 0
/proc/1015117/statm: 2482 706 626 264 0 133 0
[pid=1015119] ppid=1015117 vsize=782088 memory=576864 CPUtime=3600.06 cores=4,6
/proc/1015119/stat : 1015119 (ld-linux-x86-64) R 1015117 1015117 1013016 0 -1 4194304 677890 0 0 0 348747 11259 0 0 20 0 2 0 192471256 800858112 144216 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
/proc/1015119/statm: 195522 144216 3818 46 0 168117 0
[pid=1015119/tid=1015120] ppid=1015117 vsize=782088 memory=4209241035544100993 CPUtime=2.46 cores=4,6
/proc/1015119/task/1015120/stat : 1015120 (ld-linux-x86-64) S 1015117 1015117 1013016 0 -1 1077936192 208 0 0 0 99 147 0 0 20 0 2 0 192471270 800858112 144216 134679101440 139882290946048 139882291133660 140735475039376 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139882293234560 139882293244008 93825007083520 140735475041121 140735475041273 140735475041273 140735475048370 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 792016 KiB
Current children cumulated memory: 579688 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3606.81 s]
# the end of solver process 1015117 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3487.48 s, system=112.596 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3606.81
CPU time (s): 3600.08
CPU user time (s): 3487.48
CPU system time (s): 112.596
CPU usage (%): 99.8135
Max. virtual memory (cumulated for all children) (KiB): 838636
Max. memory (cumulated for all children) (KiB): 626164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3487.48
system time used= 112.596
maximum resident set size= 623340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 678106
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= 357273
involuntary context switches= 1470
# summary of solver processes directly reported to runsolver:
# pid: 1015117
# total CPU time (s): 3600.08
# total CPU user time (s): 3487.48
# total CPU system time (s): 112.596
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.51865 second user time and 16.0292 second system time
The end