Trace number 4459231

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
IPBHS-GUROBI-SYM 2024-07-09? (TO) 3600.06 3606.21

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-graph20-20-1rand.opb
MD5SUM53ac01e64d721626b24a83e925858f90
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-9
Best CPU time to get the best result obtained on this benchmark2.45108
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2183
Total number of constraints5587
Number of constraints which are clauses5513
Number of constraints which are cardinality constraints (but not clauses)74
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint38
Number of terms in the objective function 37
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 37
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 39
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.09/0.11	c initialize IPBHS solver
0.09/0.11	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
0.09/0.11	c optimizer = "gurobi"
0.09/0.11	c pbsolver = "roundingsat"
0.09/0.11	c load symmetries from file ""
0.09/0.11	c set time limit for symmetry computation to 100 seconds.
0.09/0.11	c set interchangeable summation variable limit to 3
0.09/0.11	c find symmetric cores by applying each permutation and add them to optimizer
0.09/0.11	c set abs symmetric core budget per WCE-iteration to 100
0.09/0.11	c set rel symmetric core budget per WCE-iteration to 0
0.09/0.11	c set lit symmetric core budget per WCE-iteration to 0
0.09/0.11	c set sym generation to 's'
0.09/0.11	c set abstraction set creation to 10 iterations without LB change
0.09/0.11	c set abstraction set inputs to 0
0.09/0.11	c set abstraction set cluster min size to 2
0.09/0.11	c set abstraction set cluster max size to 100000000
0.09/0.11	c set abstraction set cluster activation limit to 2
0.09/0.11	c enable abstraction set require equal cost
0.09/0.11	c set abstraction set assumptions to 0
0.09/0.11	c set abstraction set constraint type to 0
0.09/0.11	c set abstract core extraction strategy to b
0.09/0.13	c set core extraction strategy to 2
0.09/0.13	c set core extraction shuffles 10
0.09/0.13	c set cores per iteration to 5
0.09/0.13	c set optimizer bound usage strategy to 2
0.09/0.13	c set optimizer max non-optimal iterations to 1000
0.09/0.13	c set small core cardinality limit to 2
0.09/0.13	c set max coef in cores to 1000000000
0.09/0.13	c set SIS iterations to 5
0.09/0.13	c set SIS budget abs to 1000
0.09/0.13	c set SIS budget rel to 0.05
0.09/0.13	c limit for coefficient in constraints and objective to 9223372036854775807
0.09/0.13	c will solve HOME/instance-4459231-1721892969.opb
3600.05/3606.20	HOME/run-glibc-2.34.sh: line 2: 227654 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 $*

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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: 64096 MiB (48946 MiB free)
  memory of node 1: 64473 MiB (56134 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459231-1721892969/watcher-4459231-1721892969 -o /tmp/evaluation-result-4459231-1721892969/solver-4459231-1721892969 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721888517-224271 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4459231-1721892969.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
Current StackSize limit: 8192 KiB

solver pid=227652, runsolver pid=227649

[startup+0.105124 s]*
/proc/loadavg: 4.32 4.25 4.24 5/249 227655
/proc/meminfo: memFree=107587364/131655788 swapFree=131071472/131071996
[pid=227652] ppid=227649 vsize=9928 memory=2860 CPUtime=0 cores=5,7
/proc/227652/stat : 227652 (run-glibc-2.34.) S 227649 227652 224258 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 25285923 10166272 715 134679101440 94478431313920 94478432393240 140729399491328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478434491696 94478434538884 94478435770368 140729399493567 140729399493724 140729399493724 140729399500739 0
/proc/227652/statm: 2482 715 635 264 0 133 0
[pid=227654] ppid=227652 vsize=142048 memory=25676 CPUtime=0.09 cores=5,7
/proc/227654/stat : 227654 (ld-linux-x86-64) R 227652 227652 224258 0 -1 4194304 3070 0 0 0 7 2 0 0 20 0 2 0 25285923 145457152 6419 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 0 0 0 17 7 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
/proc/227654/statm: 35512 6419 2683 46 0 8107 0
[pid=227654/tid=227655] ppid=227652 vsize=142048 memory=4026561614 CPUtime=0 cores=5,7
/proc/227654/task/227655/stat : 227655 (ld-linux-x86-64) S 227652 227652 224258 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 25285930 145457152 6419 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 1 0 0 -1 5 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 151976 KiB
Current children cumulated memory: 28536 KiB

[startup+0.235133 s]*
/proc/loadavg: 4.32 4.25 4.24 5/249 227655
/proc/meminfo: memFree=107583524/131655788 swapFree=131071472/131071996
[pid=227652] ppid=227649 vsize=9928 memory=2860 CPUtime=0 cores=5,7
/proc/227652/stat : 227652 (run-glibc-2.34.) S 227649 227652 224258 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 25285923 10166272 715 134679101440 94478431313920 94478432393240 140729399491328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478434491696 94478434538884 94478435770368 140729399493567 140729399493724 140729399493724 140729399500739 0
/proc/227652/statm: 2482 715 635 264 0 133 0
[pid=227654] ppid=227652 vsize=143252 memory=31088 CPUtime=0.21 cores=5,7
/proc/227654/stat : 227654 (ld-linux-x86-64) R 227652 227652 224258 0 -1 4194304 3478 0 0 0 18 3 0 0 20 0 2 0 25285923 146690048 7772 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 0 0 0 17 7 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
/proc/227654/statm: 35813 7772 3207 46 0 8408 0
[pid=227654/tid=227655] ppid=227652 vsize=143252 memory=3471202400344241230 CPUtime=0 cores=5,7
/proc/227654/task/227655/stat : 227655 (ld-linux-x86-64) S 227652 227652 224258 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 25285930 146690048 7772 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 1 0 0 -1 5 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 153180 KiB
Current children cumulated memory: 33948 KiB

[startup+0.312133 s]*
/proc/loadavg: 4.32 4.25 4.24 5/249 227655
/proc/meminfo: memFree=107583524/131655788 swapFree=131071472/131071996
[pid=227652] ppid=227649 vsize=9928 memory=2860 CPUtime=0 cores=5,7
/proc/227652/stat : 227652 (run-glibc-2.34.) S 227649 227652 224258 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 25285923 10166272 715 134679101440 94478431313920 94478432393240 140729399491328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478434491696 94478434538884 94478435770368 140729399493567 140729399493724 140729399493724 140729399500739 0
/proc/227652/statm: 2482 715 635 264 0 133 0
[pid=227654] ppid=227652 vsize=143252 memory=31088 CPUtime=0.28 cores=5,7
/proc/227654/stat : 227654 (ld-linux-x86-64) R 227652 227652 224258 0 -1 4194304 3478 0 0 0 25 3 0 0 20 0 2 0 25285923 146690048 7772 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
/proc/227654/statm: 35813 7772 3207 46 0 8408 0
[pid=227654/tid=227655] ppid=227652 vsize=143252 memory=-8752960940939371621 CPUtime=0 cores=5,7
/proc/227654/task/227655/stat : 227655 (ld-linux-x86-64) R 227652 227652 224258 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 25285930 146690048 7772 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 0 0 0 -1 5 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 153180 KiB
Current children cumulated memory: 33948 KiB

[startup+0.700436 s]
/proc/loadavg: 4.32 4.25 4.24 7/249 227655
/proc/meminfo: memFree=107583252/131655788 swapFree=131071472/131071996
[pid=227652] ppid=227649 vsize=9928 memory=2860 CPUtime=0 cores=5,7
/proc/227652/stat : 227652 (run-glibc-2.34.) S 227649 227652 224258 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 25285923 10166272 715 134679101440 94478431313920 94478432393240 140729399491328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478434491696 94478434538884 94478435770368 140729399493567 140729399493724 140729399493724 140729399500739 0
/proc/227652/statm: 2482 715 635 264 0 133 0
[pid=227654] ppid=227652 vsize=143252 memory=31088 CPUtime=0.65 cores=5,7
/proc/227654/stat : 227654 (ld-linux-x86-64) R 227652 227652 224258 0 -1 4194304 3478 0 0 0 62 3 0 0 20 0 2 0 25285923 146690048 7772 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
/proc/227654/statm: 35813 7772 3207 46 0 8408 0
[pid=227654/tid=227655] ppid=227652 vsize=143252 memory=1848 CPUtime=0 cores=5,7
/proc/227654/task/227655/stat : 227655 (ld-linux-x86-64) S 227652 227652 224258 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 25285930 146690048 7772 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 153180 KiB
Current children cumulated memory: 33948 KiB

[startup+1.50046 s]
/proc/loadavg: 4.32 4.25 4.24 5/249 227655
/proc/meminfo: memFree=107583384/131655788 swapFree=131071472/131071996
[pid=227652] ppid=227649 vsize=9928 memory=2860 CPUtime=0 cores=5,7
/proc/227652/stat : 227652 (run-glibc-2.34.) S 227649 227652 224258 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 25285923 10166272 715 134679101440 94478431313920 94478432393240 140729399491328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478434491696 94478434538884 94478435770368 140729399493567 140729399493724 140729399493724 140729399500739 0
/proc/227652/statm: 2482 715 635 264 0 133 0
[pid=227654] ppid=227652 vsize=143252 memory=31088 CPUtime=1.45 cores=5,7
/proc/227654/stat : 227654 (ld-linux-x86-64) R 227652 227652 224258 0 -1 4194304 3478 0 0 0 141 4 0 0 20 0 2 0 25285923 146690048 7772 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
/proc/227654/statm: 35813 7772 3207 46 0 8408 0
[pid=227654/tid=227655] ppid=227652 vsize=143252 memory=13560 CPUtime=0 cores=5,7
/proc/227654/task/227655/stat : 227655 (ld-linux-x86-64) S 227652 227652 224258 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 25285930 146690048 7772 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 153180 KiB
Current children cumulated memory: 33948 KiB

[startup+3.11362 s]
/proc/loadavg: 4.30 4.25 4.24 5/249 227657
/proc/meminfo: memFree=107583236/131655788 swapFree=131071472/131071996
[pid=227652] ppid=227649 vsize=9928 memory=2860 CPUtime=0 cores=5,7
/proc/227652/stat : 227652 (run-glibc-2.34.) S 227649 227652 224258 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 25285923 10166272 715 134679101440 94478431313920 94478432393240 140729399491328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478434491696 94478434538884 94478435770368 140729399493567 140729399493724 140729399493724 140729399500739 0
/proc/227652/statm: 2482 715 635 264 0 133 0
[pid=227654] ppid=227652 vsize=143252 memory=31664 CPUtime=3.07 cores=5,7
/proc/227654/stat : 227654 (ld-linux-x86-64) R 227652 227652 224258 0 -1 4194304 4166 0 0 0 300 7 0 0 20 0 2 0 25285923 146690048 7916 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
/proc/227654/statm: 35813 7916 3348 46 0 8408 0
[pid=227654/tid=227655] ppid=227652 vsize=143252 memory=2860 CPUtime=0 cores=5,7
/proc/227654/task/227655/stat : 227655 (ld-linux-x86-64) S 227652 227652 224258 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 2 0 25285930 146690048 7916 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 153180 KiB
Current children cumulated memory: 34524 KiB

[startup+6.30043 s]
/proc/loadavg: 4.30 4.25 4.24 5/249 227657
/proc/meminfo: memFree=107582928/131655788 swapFree=131071472/131071996
[pid=227652] ppid=227649 vsize=9928 memory=2860 CPUtime=0 cores=5,7
/proc/227652/stat : 227652 (run-glibc-2.34.) S 227649 227652 224258 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 25285923 10166272 715 134679101440 94478431313920 94478432393240 140729399491328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478434491696 94478434538884 94478435770368 140729399493567 140729399493724 140729399493724 140729399500739 0
/proc/227652/statm: 2482 715 635 264 0 133 0
[pid=227654] ppid=227652 vsize=143252 memory=31996 CPUtime=6.25 cores=5,7
/proc/227654/stat : 227654 (ld-linux-x86-64) R 227652 227652 224258 0 -1 4194304 5171 0 0 0 613 12 0 0 20 0 2 0 25285923 146690048 7999 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
/proc/227654/statm: 35813 7999 3348 46 0 8408 0
[pid=227654/tid=227655] ppid=227652 vsize=143252 memory=2860 CPUtime=0 cores=5,7
/proc/227654/task/227655/stat : 227655 (ld-linux-x86-64) S 227652 227652 224258 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 2 0 25285930 146690048 7999 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 153180 KiB
Current children cumulated memory: 34856 KiB

[startup+12.7004 s]
/proc/loadavg: 4.33 4.26 4.24 5/249 227658
/proc/meminfo: memFree=107581840/131655788 swapFree=131071472/131071996
[pid=227652] ppid=227649 vsize=9928 memory=2860 CPUtime=0 cores=5,7
/proc/227652/stat : 227652 (run-glibc-2.34.) S 227649 227652 224258 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 25285923 10166272 715 134679101440 94478431313920 94478432393240 140729399491328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478434491696 94478434538884 94478435770368 140729399493567 140729399493724 140729399493724 140729399500739 0
/proc/227652/statm: 2482 715 635 264 0 133 0
[pid=227654] ppid=227652 vsize=143252 memory=32856 CPUtime=12.64 cores=5,7
/proc/227654/stat : 227654 (ld-linux-x86-64) R 227652 227652 224258 0 -1 4194304 7529 0 0 0 1244 20 0 0 20 0 2 0 25285923 146690048 8214 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
/proc/227654/statm: 35813 8214 3348 46 0 8408 0
[pid=227654/tid=227655] ppid=227652 vsize=143252 memory=2860 CPUtime=0.01 cores=5,7
/proc/227654/task/227655/stat : 227655 (ld-linux-x86-64) S 227652 227652 224258 0 -1 1077936192 13 0 0 0 0 1 0 0 20 0 2 0 25285930 146690048 8214 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 153180 KiB
Current children cumulated memory: 35716 KiB

[startup+25.5005 s]
/proc/loadavg: 4.28 4.25 4.24 5/249 227660
/proc/meminfo: memFree=107577336/131655788 swapFree=131071472/131071996
[pid=227652] ppid=227649 vsize=9928 memory=2860 CPUtime=0 cores=5,7
/proc/227652/stat : 227652 (run-glibc-2.34.) S 227649 227652 224258 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 25285923 10166272 715 134679101440 94478431313920 94478432393240 140729399491328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478434491696 94478434538884 94478435770368 140729399493567 140729399493724 140729399493724 140729399500739 0
/proc/227652/statm: 2482 715 635 264 0 133 0
[pid=227654] ppid=227652 vsize=159588 memory=45904 CPUtime=25.43 cores=5,7
/proc/227654/stat : 227654 (ld-linux-x86-64) R 227652 227652 224258 0 -1 4194304 16784 0 0 0 2509 34 0 0 20 0 2 0 25285923 163418112 11476 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
/proc/227654/statm: 39897 11476 3348 46 0 12492 0
[pid=227654/tid=227655] ppid=227652 vsize=159588 memory=44284 CPUtime=0.02 cores=5,7
/proc/227654/task/227655/stat : 227655 (ld-linux-x86-64) S 227652 227652 224258 0 -1 1077936192 20 0 0 0 0 2 0 0 20 0 2 0 25285930 163418112 11476 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 169516 KiB
Current children cumulated memory: 48764 KiB

[startup+51.114 s]
/proc/loadavg: 4.18 4.23 4.23 5/249 227663
/proc/meminfo: memFree=107556400/131655788 swapFree=131071472/131071996
[pid=227652] ppid=227649 vsize=9928 memory=2860 CPUtime=0 cores=5,7
/proc/227652/stat : 227652 (run-glibc-2.34.) S 227649 227652 224258 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 25285923 10166272 715 134679101440 94478431313920 94478432393240 140729399491328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478434491696 94478434538884 94478435770368 140729399493567 140729399493724 140729399493724 140729399500739 0
/proc/227652/statm: 2482 715 635 264 0 133 0
[pid=227654] ppid=227652 vsize=175360 memory=58068 CPUtime=51.01 cores=5,7
/proc/227654/stat : 227654 (ld-linux-x86-64) R 227652 227652 224258 0 -1 4194304 33069 0 0 0 5042 59 0 0 20 0 2 0 25285923 179568640 14517 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
/proc/227654/statm: 43840 14517 3348 46 0 16435 0
[pid=227654/tid=227655] ppid=227652 vsize=175360 memory=2860 CPUtime=0.06 cores=5,7
/proc/227654/task/227655/stat : 227655 (ld-linux-x86-64) S 227652 227652 224258 0 -1 1077936192 31 0 0 0 1 5 0 0 20 0 2 0 25285930 179568640 14517 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 185288 KiB
Current children cumulated memory: 60928 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.22 4.23 5/249 227673
/proc/meminfo: memFree=107549584/131655788 swapFree=131071472/131071996
[pid=227652] ppid=227649 vsize=9928 memory=2860 CPUtime=0 cores=5,7
/proc/227652/stat : 227652 (run-glibc-2.34.) S 227649 227652 224258 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 25285923 10166272 715 134679101440 94478431313920 94478432393240 140729399491328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478434491696 94478434538884 94478435770368 140729399493567 140729399493724 140729399493724 140729399500739 0
/proc/227652/statm: 2482 715 635 264 0 133 0
[pid=227654] ppid=227652 vsize=177996 memory=64620 CPUtime=102.13 cores=5,7
/proc/227654/stat : 227654 (ld-linux-x86-64) R 227652 227652 224258 0 -1 4194304 52116 0 0 0 10105 108 0 0 20 0 2 0 25285923 182267904 16155 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
/proc/227654/statm: 44499 16155 3348 46 0 17094 0
[pid=227654/tid=227655] ppid=227652 vsize=177996 memory=13560 CPUtime=0.13 cores=5,7
/proc/227654/task/227655/stat : 227655 (ld-linux-x86-64) S 227652 227652 224258 0 -1 1077936192 42 0 0 0 4 9 0 0 20 0 2 0 25285930 182267904 16155 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
Current children cumulated CPU time: 102.13 s
Current children cumulated vsize: 187924 KiB
Current children cumulated memory: 67480 KiB

[startup+162.3 s]

################
# More data... #
################

/proc/227654/statm: 76846 41310 3348 46 0 49441 0
[pid=227654/tid=227655] ppid=227652 vsize=307384 memory=165240 CPUtime=4.02 cores=5,7
/proc/227654/task/227655/stat : 227655 (ld-linux-x86-64) S 227652 227652 224258 0 -1 1077936192 231 0 0 0 133 269 0 0 20 0 2 0 25285930 314761216 41310 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
Current children cumulated CPU time: 3097.09 s
Current children cumulated vsize: 317312 KiB
Current children cumulated memory: 168100 KiB

[startup+3162.3 s]
/proc/loadavg: 3.18 3.19 3.53 5/243 229778
/proc/meminfo: memFree=114910444/131655788 swapFree=131071472/131071996
[pid=227652] ppid=227649 vsize=9928 memory=2860 CPUtime=0 cores=5,7
/proc/227652/stat : 227652 (run-glibc-2.34.) S 227649 227652 224258 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 25285923 10166272 715 134679101440 94478431313920 94478432393240 140729399491328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478434491696 94478434538884 94478435770368 140729399493567 140729399493724 140729399493724 140729399500739 0
/proc/227652/statm: 2482 715 635 264 0 133 0
[pid=227654] ppid=227652 vsize=307704 memory=165492 CPUtime=3156.97 cores=5,7
/proc/227654/stat : 227654 (ld-linux-x86-64) R 227652 227652 224258 0 -1 4194304 576653 0 0 0 313110 2587 0 0 20 0 2 0 25285923 315088896 41373 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
/proc/227654/statm: 76926 41373 3348 46 0 49521 0
[pid=227654/tid=227655] ppid=227652 vsize=307704 memory=165240 CPUtime=4.1 cores=5,7
/proc/227654/task/227655/stat : 227655 (ld-linux-x86-64) S 227652 227652 224258 0 -1 1077936192 234 0 0 0 136 274 0 0 20 0 2 0 25285930 315088896 41373 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
Current children cumulated CPU time: 3156.97 s
Current children cumulated vsize: 317632 KiB
Current children cumulated memory: 168352 KiB

[startup+3222.3 s]
/proc/loadavg: 3.17 3.19 3.51 6/243 229788
/proc/meminfo: memFree=114907232/131655788 swapFree=131071472/131071996
[pid=227652] ppid=227649 vsize=9928 memory=2860 CPUtime=0 cores=5,7
/proc/227652/stat : 227652 (run-glibc-2.34.) S 227649 227652 224258 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 25285923 10166272 715 134679101440 94478431313920 94478432393240 140729399491328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478434491696 94478434538884 94478435770368 140729399493567 140729399493724 140729399493724 140729399500739 0
/proc/227652/statm: 2482 715 635 264 0 133 0
[pid=227654] ppid=227652 vsize=307992 memory=165752 CPUtime=3216.86 cores=5,7
/proc/227654/stat : 227654 (ld-linux-x86-64) R 227652 227652 224258 0 -1 4194304 578682 0 0 0 319056 2630 0 0 20 0 2 0 25285923 315383808 41438 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
/proc/227654/statm: 76998 41438 3348 46 0 49593 0
[pid=227654/tid=227655] ppid=227652 vsize=307992 memory=165240 CPUtime=4.16 cores=5,7
/proc/227654/task/227655/stat : 227655 (ld-linux-x86-64) S 227652 227652 224258 0 -1 1077936192 237 0 0 0 138 278 0 0 20 0 2 0 25285930 315383808 41438 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
Current children cumulated CPU time: 3216.86 s
Current children cumulated vsize: 317920 KiB
Current children cumulated memory: 168612 KiB

[startup+3282.3 s]
/proc/loadavg: 3.24 3.20 3.49 5/245 229857
/proc/meminfo: memFree=114894912/131655788 swapFree=131071472/131071996
[pid=227652] ppid=227649 vsize=9928 memory=2860 CPUtime=0 cores=5,7
/proc/227652/stat : 227652 (run-glibc-2.34.) S 227649 227652 224258 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 25285923 10166272 715 134679101440 94478431313920 94478432393240 140729399491328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478434491696 94478434538884 94478435770368 140729399493567 140729399493724 140729399493724 140729399500739 0
/proc/227652/statm: 2482 715 635 264 0 133 0
[pid=227654] ppid=227652 vsize=308344 memory=166036 CPUtime=3276.75 cores=5,7
/proc/227654/stat : 227654 (ld-linux-x86-64) R 227652 227652 224258 0 -1 4194304 580245 0 0 0 324999 2676 0 0 20 0 2 0 25285923 315744256 41509 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
/proc/227654/statm: 77086 41509 3348 46 0 49681 0
[pid=227654/tid=227655] ppid=227652 vsize=308344 memory=2860 CPUtime=4.24 cores=5,7
/proc/227654/task/227655/stat : 227655 (ld-linux-x86-64) S 227652 227652 224258 0 -1 1077936192 240 0 0 0 140 284 0 0 20 0 2 0 25285930 315744256 41509 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
Current children cumulated CPU time: 3276.75 s
Current children cumulated vsize: 318272 KiB
Current children cumulated memory: 168896 KiB

[startup+3342.3 s]
/proc/loadavg: 3.16 3.18 3.46 5/245 229869
/proc/meminfo: memFree=114894828/131655788 swapFree=131071472/131071996
[pid=227652] ppid=227649 vsize=9928 memory=2860 CPUtime=0 cores=5,7
/proc/227652/stat : 227652 (run-glibc-2.34.) S 227649 227652 224258 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 25285923 10166272 715 134679101440 94478431313920 94478432393240 140729399491328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478434491696 94478434538884 94478435770368 140729399493567 140729399493724 140729399493724 140729399500739 0
/proc/227652/statm: 2482 715 635 264 0 133 0
[pid=227654] ppid=227652 vsize=308472 memory=166164 CPUtime=3336.64 cores=5,7
/proc/227654/stat : 227654 (ld-linux-x86-64) R 227652 227652 224258 0 -1 4194304 581794 0 0 0 330950 2714 0 0 20 0 2 0 25285923 315875328 41541 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
/proc/227654/statm: 77118 41541 3348 46 0 49713 0
[pid=227654/tid=227655] ppid=227652 vsize=308472 memory=2860 CPUtime=4.31 cores=5,7
/proc/227654/task/227655/stat : 227655 (ld-linux-x86-64) S 227652 227652 224258 0 -1 1077936192 243 0 0 0 142 289 0 0 20 0 2 0 25285930 315875328 41541 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
Current children cumulated CPU time: 3336.64 s
Current children cumulated vsize: 318400 KiB
Current children cumulated memory: 169024 KiB

[startup+3402.3 s]
/proc/loadavg: 4.65 3.57 3.58 5/245 229879
/proc/meminfo: memFree=114892152/131655788 swapFree=131071472/131071996
[pid=227652] ppid=227649 vsize=9928 memory=2860 CPUtime=0 cores=5,7
/proc/227652/stat : 227652 (run-glibc-2.34.) S 227649 227652 224258 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 25285923 10166272 715 134679101440 94478431313920 94478432393240 140729399491328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478434491696 94478434538884 94478435770368 140729399493567 140729399493724 140729399493724 140729399500739 0
/proc/227652/statm: 2482 715 635 264 0 133 0
[pid=227654] ppid=227652 vsize=308600 memory=166292 CPUtime=3396.53 cores=5,7
/proc/227654/stat : 227654 (ld-linux-x86-64) R 227652 227652 224258 0 -1 4194304 582890 0 0 0 336902 2751 0 0 20 0 2 0 25285923 316006400 41573 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
/proc/227654/statm: 77150 41573 3348 46 0 49745 0
[pid=227654/tid=227655] ppid=227652 vsize=308600 memory=13560 CPUtime=4.38 cores=5,7
/proc/227654/task/227655/stat : 227655 (ld-linux-x86-64) S 227652 227652 224258 0 -1 1077936192 246 0 0 0 144 294 0 0 20 0 2 0 25285930 316006400 41573 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
Current children cumulated CPU time: 3396.53 s
Current children cumulated vsize: 318528 KiB
Current children cumulated memory: 169152 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 3.66 3.61 5/244 229890
/proc/meminfo: memFree=114888776/131655788 swapFree=131071472/131071996
[pid=227652] ppid=227649 vsize=9928 memory=2860 CPUtime=0 cores=5,7
/proc/227652/stat : 227652 (run-glibc-2.34.) S 227649 227652 224258 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 25285923 10166272 715 134679101440 94478431313920 94478432393240 140729399491328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478434491696 94478434538884 94478435770368 140729399493567 140729399493724 140729399493724 140729399500739 0
/proc/227652/statm: 2482 715 635 264 0 133 0
[pid=227654] ppid=227652 vsize=308856 memory=166520 CPUtime=3456.42 cores=5,7
/proc/227654/stat : 227654 (ld-linux-x86-64) R 227652 227652 224258 0 -1 4194304 584442 0 0 0 342851 2791 0 0 20 0 2 0 25285923 316268544 41630 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
/proc/227654/statm: 77214 41630 3348 46 0 49809 0
[pid=227654/tid=227655] ppid=227652 vsize=308856 memory=13560 CPUtime=4.45 cores=5,7
/proc/227654/task/227655/stat : 227655 (ld-linux-x86-64) S 227652 227652 224258 0 -1 1077936192 249 0 0 0 146 299 0 0 20 0 2 0 25285930 316268544 41630 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
Current children cumulated CPU time: 3456.42 s
Current children cumulated vsize: 318784 KiB
Current children cumulated memory: 169380 KiB

[startup+3522.3 s]
/proc/loadavg: 3.50 3.57 3.58 5/244 229901
/proc/meminfo: memFree=114886480/131655788 swapFree=131071472/131071996
[pid=227652] ppid=227649 vsize=9928 memory=2860 CPUtime=0 cores=5,7
/proc/227652/stat : 227652 (run-glibc-2.34.) S 227649 227652 224258 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 25285923 10166272 715 134679101440 94478431313920 94478432393240 140729399491328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478434491696 94478434538884 94478435770368 140729399493567 140729399493724 140729399493724 140729399500739 0
/proc/227652/statm: 2482 715 635 264 0 133 0
[pid=227654] ppid=227652 vsize=309064 memory=166696 CPUtime=3516.3 cores=5,7
/proc/227654/stat : 227654 (ld-linux-x86-64) R 227652 227652 224258 0 -1 4194304 586077 0 0 0 348800 2830 0 0 20 0 2 0 25285923 316481536 41674 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
/proc/227654/statm: 77266 41674 3348 46 0 49861 0
[pid=227654/tid=227655] ppid=227652 vsize=309064 memory=2860 CPUtime=4.53 cores=5,7
/proc/227654/task/227655/stat : 227655 (ld-linux-x86-64) S 227652 227652 224258 0 -1 1077936192 252 0 0 0 148 305 0 0 20 0 2 0 25285930 316481536 41674 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
Current children cumulated CPU time: 3516.3 s
Current children cumulated vsize: 318992 KiB
Current children cumulated memory: 169556 KiB

[startup+3582.3 s]
/proc/loadavg: 3.29 3.49 3.56 5/240 229911
/proc/meminfo: memFree=114866108/131655788 swapFree=131071472/131071996
[pid=227652] ppid=227649 vsize=9928 memory=2860 CPUtime=0 cores=5,7
/proc/227652/stat : 227652 (run-glibc-2.34.) S 227649 227652 224258 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 25285923 10166272 715 134679101440 94478431313920 94478432393240 140729399491328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478434491696 94478434538884 94478435770368 140729399493567 140729399493724 140729399493724 140729399500739 0
/proc/227652/statm: 2482 715 635 264 0 133 0
[pid=227654] ppid=227652 vsize=309064 memory=166696 CPUtime=3576.19 cores=5,7
/proc/227654/stat : 227654 (ld-linux-x86-64) R 227652 227652 224258 0 -1 4194304 587650 0 0 0 354746 2873 0 0 20 0 2 0 25285923 316481536 41674 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
/proc/227654/statm: 77266 41674 3348 46 0 49861 0
[pid=227654/tid=227655] ppid=227652 vsize=309064 memory=2860 CPUtime=4.61 cores=5,7
/proc/227654/task/227655/stat : 227655 (ld-linux-x86-64) S 227652 227652 224258 0 -1 1077936192 255 0 0 0 151 310 0 0 20 0 2 0 25285930 316481536 41674 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
Current children cumulated CPU time: 3576.19 s
Current children cumulated vsize: 318992 KiB
Current children cumulated memory: 169556 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.2 s]
/proc/loadavg: 3.25 3.47 3.54 5/240 229914
/proc/meminfo: memFree=114865968/131655788 swapFree=131071472/131071996
[pid=227652] ppid=227649 vsize=9928 memory=2860 CPUtime=0 cores=5,7
/proc/227652/stat : 227652 (run-glibc-2.34.) S 227649 227652 224258 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 25285923 10166272 715 134679101440 94478431313920 94478432393240 140729399491328 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94478434491696 94478434538884 94478435770368 140729399493567 140729399493724 140729399493724 140729399500739 0
/proc/227652/statm: 2482 715 635 264 0 133 0
[pid=227654] ppid=227652 vsize=309064 memory=166700 CPUtime=3600.05 cores=5,7
/proc/227654/stat : 227654 (ld-linux-x86-64) R 227652 227652 224258 0 -1 4194304 588208 0 0 0 357116 2889 0 0 20 0 2 0 25285923 316481536 41675 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
/proc/227654/statm: 77266 41675 3348 46 0 49861 0
[pid=227654/tid=227655] ppid=227652 vsize=309064 memory=8114250137783802014 CPUtime=4.63 cores=5,7
/proc/227654/task/227655/stat : 227655 (ld-linux-x86-64) S 227652 227652 224258 0 -1 1077936192 255 0 0 0 152 311 0 0 20 0 2 0 25285930 316481536 41675 134679101440 140612877639680 140612877827292 140735427526480 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140612879928192 140612879937640 93825017831424 140735427531607 140735427531771 140735427531771 140735427538866 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 318992 KiB
Current children cumulated memory: 169560 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3606.21 s]
# the end of solver process 227652 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3571.17 s, system=28.893 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.21
CPU time (s): 3600.06
CPU user time (s): 3571.17
CPU system time (s): 28.893
CPU usage (%): 99.8297
Max. virtual memory (cumulated for all children) (KiB): 320512
Max. memory (cumulated for all children) (KiB): 170780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.17
system time used= 28.893
maximum resident set size= 168152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 588428
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= 353615
involuntary context switches= 1890


# summary of solver processes directly reported to runsolver:
#   pid: 227652
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3571.17
#   total CPU system time (s): 28.893

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.7872 second user time and 38.9478 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-25 09:36:09
IDJOB=4459231
IDBENCH=178643
IDSOLVER=3055
FILE ID=nodeC004/4459231-1721892969
RUNJOBID= nodeC004-1721888517-224271
SLURM_JOB_ID= 8089308
Free space on /tmp= 723468 MiB

SOLVER NAME= IPBHS-GUROBI-SYM 2024-07-09
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-graph20-20-1rand.opb
COMMAND LINE= run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459231-1721892969/watcher-4459231-1721892969 -o /tmp/evaluation-result-4459231-1721892969/solver-4459231-1721892969 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721888517-224271 --watchdog 3760  run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4459231-1721892969.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 53ac01e64d721626b24a83e925858f90
RANDOM SEED=232442920

nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3671.004
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3653.562
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.397
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.400
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3641.064
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3492.073
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.443
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.281
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        107603580 kB
MemAvailable:   118726896 kB
Buffers:          314116 kB
Cached:         11596796 kB
SwapCached:           60 kB
Active:          2894956 kB
Inactive:       20488764 kB
Active(anon):       1460 kB
Inactive(anon): 11525232 kB
Active(file):    2893496 kB
Inactive(file):  8963532 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:             41744 kB
Writeback:            12 kB
AnonPages:      11470180 kB
Mapped:           133060 kB
Shmem:             53860 kB
KReclaimable:     212976 kB
Slab:             325564 kB
SReclaimable:     212976 kB
SUnreclaim:       112588 kB
KernelStack:        3936 kB
PageTables:        32524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   12492196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20128 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6301696 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      392008 kB
DirectMap2M:    50892800 kB
DirectMap1G:    84934656 kB

Free space on /tmp at the end= 723648 MiB
End job on nodeC004 at 2024-07-25 10:36:16