Trace number 4431121

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.1 3603.81

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
MD5SUM529ae296d86301d65a8fd4e36abb4ed9
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 benchmark21
Best CPU time to get the best result obtained on this benchmark90.3129
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6076
Total number of constraints21401
Number of constraints which are clauses21392
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint666
Number of terms in the objective function 666
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 666
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 697
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.27/0.35	c initialize IPBHS solver
0.27/0.35	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.27/0.35	c optimizer = "gurobi"
0.27/0.35	c pbsolver = "roundingsat"
0.27/0.35	c load symmetries from file ""
0.27/0.35	c set time limit for symmetry computation to 100 seconds.
0.27/0.35	c set interchangeable summation variable limit to 3
0.27/0.35	c find symmetric cores by applying each permutation and add them to optimizer
0.27/0.35	c set abs symmetric core budget per WCE-iteration to 100
0.27/0.35	c set rel symmetric core budget per WCE-iteration to 0
0.27/0.35	c set lit symmetric core budget per WCE-iteration to 0
0.27/0.35	c set sym generation to 's'
0.27/0.35	c set abstraction set creation to 10 iterations without LB change
0.27/0.35	c set abstraction set inputs to 0
0.27/0.35	c set abstraction set cluster min size to 2
0.27/0.35	c set abstraction set cluster max size to 100000000
0.27/0.35	c set abstraction set cluster activation limit to 2
0.27/0.35	c enable abstraction set require equal cost
0.27/0.35	c set abstraction set assumptions to 0
0.27/0.35	c set abstraction set constraint type to 0
0.27/0.35	c set abstract core extraction strategy to b
0.27/0.35	c set core extraction strategy to 2
0.27/0.35	c set core extraction shuffles 10
0.27/0.35	c set cores per iteration to 5
0.27/0.35	c set optimizer bound usage strategy to 2
0.27/0.35	c set optimizer max non-optimal iterations to 1000
0.27/0.35	c set small core cardinality limit to 2
0.27/0.35	c set max coef in cores to 1000000000
0.27/0.35	c set SIS iterations to 5
0.27/0.35	c set SIS budget abs to 1000
0.27/0.35	c set SIS budget rel to 0.05
0.27/0.35	c limit for coefficient in constraints and objective to 9223372036854775807
0.27/0.35	c will solve HOME/instance-4431121-1721115338.opb
3600.07/3603.80	HOME/run-glibc-2.34.sh: line 2: 845138 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: 64059 MiB (62829 MiB free)
  memory of node 1: 64510 MiB (61196 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431121-1721115338/watcher-4431121-1721115338 -o /tmp/evaluation-result-4431121-1721115338/solver-4431121-1721115338 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721108140-840469 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4431121-1721115338.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
solver pid=845136, runsolver pid=845133
Current StackSize limit: 8192 KiB


[startup+0.1002 s]*
/proc/loadavg: 4.13 4.11 4.13 5/250 845138
/proc/meminfo: memFree=126995940/131655788 swapFree=131071996/131071996
[pid=845136] ppid=845133 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/845136/stat : 845136 (run-glibc-2.34.) S 845133 845136 840458 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 163691912 10166272 671 134679101440 94372908412928 94372909492248 140720798710272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94372911590704 94372911637892 94372918136832 140720798712767 140720798712924 140720798712924 140720798719939 0
/proc/845136/statm: 2482 671 591 264 0 133 0
[pid=845138] ppid=845136 vsize=91848 memory=12052 CPUtime=0.09 cores=4,6
/proc/845138/stat : 845138 (ld-linux-x86-64) R 845136 845136 840458 0 -1 4194304 1814 0 0 0 7 2 0 0 20 0 1 0 163691913 94052352 3013 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
/proc/845138/statm: 22962 3013 1687 46 0 3577 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 101776 KiB
Current children cumulated memory: 14736 KiB

[startup+0.223201 s]*
/proc/loadavg: 4.13 4.11 4.13 5/251 845139
/proc/meminfo: memFree=126981624/131655788 swapFree=131071996/131071996
[pid=845136] ppid=845133 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/845136/stat : 845136 (run-glibc-2.34.) S 845133 845136 840458 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 163691912 10166272 671 134679101440 94372908412928 94372909492248 140720798710272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94372911590704 94372911637892 94372918136832 140720798712767 140720798712924 140720798712924 140720798719939 0
/proc/845136/statm: 2482 671 591 264 0 133 0
[pid=845138] ppid=845136 vsize=146400 memory=30212 CPUtime=0.19 cores=4,6
/proc/845138/stat : 845138 (ld-linux-x86-64) R 845136 845136 840458 0 -1 4194304 4406 0 0 0 13 6 0 0 20 0 2 0 163691913 149913600 7553 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 0 0 0 17 6 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
/proc/845138/statm: 36600 7553 2683 46 0 9195 0
[pid=845138/tid=845139] ppid=845136 vsize=146400 memory=3471202400344241230 CPUtime=0 cores=4,6
/proc/845138/task/845139/stat : 845139 (ld-linux-x86-64) S 845136 845136 840458 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 163691932 149913600 7553 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 1 0 0 -1 4 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 156328 KiB
Current children cumulated memory: 32896 KiB

[startup+0.314194 s]*
/proc/loadavg: 4.13 4.11 4.13 5/251 845139
/proc/meminfo: memFree=126971880/131655788 swapFree=131071996/131071996
[pid=845136] ppid=845133 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/845136/stat : 845136 (run-glibc-2.34.) S 845133 845136 840458 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 163691912 10166272 671 134679101440 94372908412928 94372909492248 140720798710272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94372911590704 94372911637892 94372918136832 140720798712767 140720798712924 140720798712924 140720798719939 0
/proc/845136/statm: 2482 671 591 264 0 133 0
[pid=845138] ppid=845136 vsize=156400 memory=39968 CPUtime=0.27 cores=4,6
/proc/845138/stat : 845138 (ld-linux-x86-64) R 845136 845136 840458 0 -1 4194304 6938 0 0 0 20 7 0 0 20 0 2 0 163691913 160153600 9992 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 0 0 0 17 6 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
/proc/845138/statm: 39100 9992 2699 46 0 11695 0
[pid=845138/tid=845139] ppid=845136 vsize=156400 memory=-9113809619143386723 CPUtime=0 cores=4,6
/proc/845138/task/845139/stat : 845139 (ld-linux-x86-64) S 845136 845136 840458 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 163691932 160153600 9992 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 1 0 0 -1 4 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 166328 KiB
Current children cumulated memory: 42652 KiB

[startup+0.700371 s]
/proc/loadavg: 4.13 4.11 4.13 5/251 845139
/proc/meminfo: memFree=126968464/131655788 swapFree=131071996/131071996
[pid=845136] ppid=845133 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/845136/stat : 845136 (run-glibc-2.34.) S 845133 845136 840458 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 163691912 10166272 671 134679101440 94372908412928 94372909492248 140720798710272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94372911590704 94372911637892 94372918136832 140720798712767 140720798712924 140720798712924 140720798719939 0
/proc/845136/statm: 2482 671 591 264 0 133 0
[pid=845138] ppid=845136 vsize=159640 memory=45028 CPUtime=0.63 cores=4,6
/proc/845138/stat : 845138 (ld-linux-x86-64) R 845136 845136 840458 0 -1 4194304 8341 0 0 0 55 8 0 0 20 0 2 0 163691913 163471360 11257 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
/proc/845138/statm: 39910 11257 3147 46 0 12505 0
[pid=845138/tid=845139] ppid=845136 vsize=159640 memory=0 CPUtime=0 cores=4,6
/proc/845138/task/845139/stat : 845139 (ld-linux-x86-64) S 845136 845136 840458 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 163691932 163471360 11257 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 169568 KiB
Current children cumulated memory: 47712 KiB

[startup+1.5004 s]
/proc/loadavg: 4.13 4.11 4.13 5/245 845162
/proc/meminfo: memFree=127554084/131655788 swapFree=131071996/131071996
[pid=845136] ppid=845133 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/845136/stat : 845136 (run-glibc-2.34.) S 845133 845136 840458 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 163691912 10166272 671 134679101440 94372908412928 94372909492248 140720798710272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94372911590704 94372911637892 94372918136832 140720798712767 140720798712924 140720798712924 140720798719939 0
/proc/845136/statm: 2482 671 591 264 0 133 0
[pid=845138] ppid=845136 vsize=159640 memory=49248 CPUtime=1.43 cores=4,6
/proc/845138/stat : 845138 (ld-linux-x86-64) R 845136 845136 840458 0 -1 4194304 8459 0 0 0 131 12 0 0 20 0 2 0 163691913 163471360 12312 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
/proc/845138/statm: 39910 12312 3586 46 0 12505 0
[pid=845138/tid=845139] ppid=845136 vsize=159640 memory=49248 CPUtime=0 cores=4,6
/proc/845138/task/845139/stat : 845139 (ld-linux-x86-64) S 845136 845136 840458 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 163691932 163471360 12312 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 169568 KiB
Current children cumulated memory: 51932 KiB

[startup+3.11268 s]
/proc/loadavg: 4.13 4.11 4.13 5/251 845187
/proc/meminfo: memFree=127533584/131655788 swapFree=131071996/131071996
[pid=845136] ppid=845133 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/845136/stat : 845136 (run-glibc-2.34.) S 845133 845136 840458 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 163691912 10166272 671 134679101440 94372908412928 94372909492248 140720798710272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94372911590704 94372911637892 94372918136832 140720798712767 140720798712924 140720798712924 140720798719939 0
/proc/845136/statm: 2482 671 591 264 0 133 0
[pid=845138] ppid=845136 vsize=166780 memory=56312 CPUtime=3.04 cores=4,6
/proc/845138/stat : 845138 (ld-linux-x86-64) R 845136 845136 840458 0 -1 4194304 11597 0 0 0 290 14 0 0 20 0 2 0 163691913 170782720 14078 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
/proc/845138/statm: 41695 14078 3586 46 0 14290 0
[pid=845138/tid=845139] ppid=845136 vsize=166780 memory=50444 CPUtime=0 cores=4,6
/proc/845138/task/845139/stat : 845139 (ld-linux-x86-64) S 845136 845136 840458 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 163691932 170782720 14078 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 176708 KiB
Current children cumulated memory: 58996 KiB

[startup+6.3004 s]
/proc/loadavg: 4.12 4.11 4.13 5/251 845189
/proc/meminfo: memFree=127482508/131655788 swapFree=131071996/131071996
[pid=845136] ppid=845133 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/845136/stat : 845136 (run-glibc-2.34.) S 845133 845136 840458 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 163691912 10166272 671 134679101440 94372908412928 94372909492248 140720798710272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94372911590704 94372911637892 94372918136832 140720798712767 140720798712924 140720798712924 140720798719939 0
/proc/845136/statm: 2482 671 591 264 0 133 0
[pid=845138] ppid=845136 vsize=173960 memory=60732 CPUtime=6.22 cores=4,6
/proc/845138/stat : 845138 (ld-linux-x86-64) R 845136 845136 840458 0 -1 4194304 17159 0 0 0 606 16 0 0 20 0 2 0 163691913 178135040 15183 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
/proc/845138/statm: 43490 15183 3586 46 0 16085 0
[pid=845138/tid=845139] ppid=845136 vsize=173960 memory=12440 CPUtime=0 cores=4,6
/proc/845138/task/845139/stat : 845139 (ld-linux-x86-64) S 845136 845136 840458 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 2 0 163691932 178135040 15183 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 183888 KiB
Current children cumulated memory: 63416 KiB

[startup+12.7004 s]
/proc/loadavg: 4.11 4.11 4.13 5/249 845189
/proc/meminfo: memFree=127374508/131655788 swapFree=131071996/131071996
[pid=845136] ppid=845133 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/845136/stat : 845136 (run-glibc-2.34.) S 845133 845136 840458 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 163691912 10166272 671 134679101440 94372908412928 94372909492248 140720798710272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94372911590704 94372911637892 94372918136832 140720798712767 140720798712924 140720798712924 140720798719939 0
/proc/845136/statm: 2482 671 591 264 0 133 0
[pid=845138] ppid=845136 vsize=185636 memory=69016 CPUtime=12.61 cores=4,6
/proc/845138/stat : 845138 (ld-linux-x86-64) R 845136 845136 840458 0 -1 4194304 30751 0 0 0 1239 22 0 0 20 0 2 0 163691913 190091264 17254 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
/proc/845138/statm: 46409 17254 3586 46 0 19004 0
[pid=845138/tid=845139] ppid=845136 vsize=185636 memory=56392 CPUtime=0 cores=4,6
/proc/845138/task/845139/stat : 845139 (ld-linux-x86-64) S 845136 845136 840458 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 2 0 163691932 190091264 17254 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 195564 KiB
Current children cumulated memory: 71700 KiB

[startup+25.5005 s]
/proc/loadavg: 4.09 4.10 4.13 5/249 845240
/proc/meminfo: memFree=127135264/131655788 swapFree=131071996/131071996
[pid=845136] ppid=845133 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/845136/stat : 845136 (run-glibc-2.34.) S 845133 845136 840458 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 163691912 10166272 671 134679101440 94372908412928 94372909492248 140720798710272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94372911590704 94372911637892 94372918136832 140720798712767 140720798712924 140720798712924 140720798719939 0
/proc/845136/statm: 2482 671 591 264 0 133 0
[pid=845138] ppid=845136 vsize=185636 memory=75244 CPUtime=25.4 cores=4,6
/proc/845138/stat : 845138 (ld-linux-x86-64) R 845136 845136 840458 0 -1 4194304 44967 0 0 0 2511 29 0 0 20 0 2 0 163691913 190091264 18811 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
/proc/845138/statm: 46409 18811 3586 46 0 19004 0
[pid=845138/tid=845139] ppid=845136 vsize=185636 memory=2684 CPUtime=0.02 cores=4,6
/proc/845138/task/845139/stat : 845139 (ld-linux-x86-64) S 845136 845136 840458 0 -1 1077936192 26 0 0 0 1 1 0 0 20 0 2 0 163691932 190091264 18811 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 195564 KiB
Current children cumulated memory: 77928 KiB

[startup+51.1128 s]
/proc/loadavg: 4.12 4.11 4.13 5/249 845243
/proc/meminfo: memFree=126946252/131655788 swapFree=131071996/131071996
[pid=845136] ppid=845133 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/845136/stat : 845136 (run-glibc-2.34.) S 845133 845136 840458 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 163691912 10166272 671 134679101440 94372908412928 94372909492248 140720798710272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94372911590704 94372911637892 94372918136832 140720798712767 140720798712924 140720798712924 140720798719939 0
/proc/845136/statm: 2482 671 591 264 0 133 0
[pid=845138] ppid=845136 vsize=206704 memory=89800 CPUtime=50.97 cores=4,6
/proc/845138/stat : 845138 (ld-linux-x86-64) R 845136 845136 840458 0 -1 4194304 79830 0 0 0 5057 40 0 0 20 0 2 0 163691913 211664896 22450 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
/proc/845138/statm: 51676 22450 3586 46 0 24271 0
[pid=845138/tid=845139] ppid=845136 vsize=206704 memory=2684 CPUtime=0.05 cores=4,6
/proc/845138/task/845139/stat : 845139 (ld-linux-x86-64) S 845136 845136 840458 0 -1 1077936192 41 0 0 0 1 4 0 0 20 0 2 0 163691932 211664896 22450 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 216632 KiB
Current children cumulated memory: 92484 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.09 4.12 5/249 845251
/proc/meminfo: memFree=126851636/131655788 swapFree=131071996/131071996
[pid=845136] ppid=845133 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/845136/stat : 845136 (run-glibc-2.34.) S 845133 845136 840458 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 163691912 10166272 671 134679101440 94372908412928 94372909492248 140720798710272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94372911590704 94372911637892 94372918136832 140720798712767 140720798712924 140720798712924 140720798719939 0
/proc/845136/statm: 2482 671 591 264 0 133 0
[pid=845138] ppid=845136 vsize=213488 memory=101592 CPUtime=102.08 cores=4,6
/proc/845138/stat : 845138 (ld-linux-x86-64) R 845136 845136 840458 0 -1 4194304 109160 0 0 0 10148 60 0 0 20 0 2 0 163691913 218611712 25398 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
/proc/845138/statm: 53372 25398 3586 46 0 25967 0
[pid=845138/tid=845139] ppid=845136 vsize=213488 memory=2684 CPUtime=0.1 cores=4,6
/proc/845138/task/845139/stat : 845139 (ld-linux-x86-64) S 845136 845136 840458 0 -1 1077936192 51 0 0 0 3 7 0 0 20 0 2 0 163691932 218611712 25398 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 223416 KiB
Current children cumulated memory: 104276 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.09 4.11 5/249 845263
/proc/meminfo: memFree=126708928/131655788 swapFree=131071996/131071996

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

/proc/845138/statm: 105943 72530 3586 46 0 78538 0
[pid=845138/tid=845139] ppid=845136 vsize=423772 memory=-9113809619143386723 CPUtime=3.97 cores=4,6
/proc/845138/task/845139/stat : 845139 (ld-linux-x86-64) S 845136 845136 840458 0 -1 1077936192 167 0 0 0 135 262 0 0 20 0 2 0 163691932 433942528 72530 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
Current children cumulated CPU time: 3098.98 s
Current children cumulated vsize: 433700 KiB
Current children cumulated memory: 292804 KiB

[startup+3162.3 s]
/proc/loadavg: 3.05 3.29 3.71 4/243 847283
/proc/meminfo: memFree=127001768/131655788 swapFree=131071996/131071996
[pid=845136] ppid=845133 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/845136/stat : 845136 (run-glibc-2.34.) S 845133 845136 840458 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 163691912 10166272 671 134679101440 94372908412928 94372909492248 140720798710272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94372911590704 94372911637892 94372918136832 140720798712767 140720798712924 140720798712924 140720798719939 0
/proc/845136/statm: 2482 671 591 264 0 133 0
[pid=845138] ppid=845136 vsize=423772 memory=290120 CPUtime=3158.93 cores=4,6
/proc/845138/stat : 845138 (ld-linux-x86-64) R 845136 845136 840458 0 -1 4194304 368810 0 0 0 314734 1159 0 0 20 0 2 0 163691913 433942528 72530 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
/proc/845138/statm: 105943 72530 3586 46 0 78538 0
[pid=845138/tid=845139] ppid=845136 vsize=423772 memory=2684 CPUtime=4.05 cores=4,6
/proc/845138/task/845139/stat : 845139 (ld-linux-x86-64) S 845136 845136 840458 0 -1 1077936192 169 0 0 0 137 268 0 0 20 0 2 0 163691932 433942528 72530 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
Current children cumulated CPU time: 3158.93 s
Current children cumulated vsize: 433700 KiB
Current children cumulated memory: 292804 KiB

[startup+3222.3 s]
/proc/loadavg: 3.14 3.27 3.68 4/246 847465
/proc/meminfo: memFree=126976300/131655788 swapFree=131071996/131071996
[pid=845136] ppid=845133 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/845136/stat : 845136 (run-glibc-2.34.) S 845133 845136 840458 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 163691912 10166272 671 134679101440 94372908412928 94372909492248 140720798710272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94372911590704 94372911637892 94372918136832 140720798712767 140720798712924 140720798712924 140720798719939 0
/proc/845136/statm: 2482 671 591 264 0 133 0
[pid=845138] ppid=845136 vsize=424016 memory=314936 CPUtime=3218.88 cores=4,6
/proc/845138/stat : 845138 (ld-linux-x86-64) R 845136 845136 840458 0 -1 4194304 369457 0 0 0 320708 1180 0 0 20 0 2 0 163691913 434192384 78734 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
/proc/845138/statm: 106004 78734 3586 46 0 78599 0
[pid=845138/tid=845139] ppid=845136 vsize=424016 memory=12440 CPUtime=4.12 cores=4,6
/proc/845138/task/845139/stat : 845139 (ld-linux-x86-64) S 845136 845136 840458 0 -1 1077936192 171 0 0 0 139 273 0 0 20 0 2 0 163691932 434192384 78734 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
Current children cumulated CPU time: 3218.88 s
Current children cumulated vsize: 433944 KiB
Current children cumulated memory: 317620 KiB

[startup+3282.3 s]
/proc/loadavg: 3.11 3.23 3.64 4/246 847476
/proc/meminfo: memFree=126975532/131655788 swapFree=131071996/131071996
[pid=845136] ppid=845133 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/845136/stat : 845136 (run-glibc-2.34.) S 845133 845136 840458 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 163691912 10166272 671 134679101440 94372908412928 94372909492248 140720798710272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94372911590704 94372911637892 94372918136832 140720798712767 140720798712924 140720798712924 140720798719939 0
/proc/845136/statm: 2482 671 591 264 0 133 0
[pid=845138] ppid=845136 vsize=424016 memory=314940 CPUtime=3278.83 cores=4,6
/proc/845138/stat : 845138 (ld-linux-x86-64) R 845136 845136 840458 0 -1 4194304 370159 0 0 0 326683 1200 0 0 20 0 2 0 163691913 434192384 78735 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
/proc/845138/statm: 106004 78735 3586 46 0 78599 0
[pid=845138/tid=845139] ppid=845136 vsize=424016 memory=2684 CPUtime=4.2 cores=4,6
/proc/845138/task/845139/stat : 845139 (ld-linux-x86-64) S 845136 845136 840458 0 -1 1077936192 173 0 0 0 142 278 0 0 20 0 2 0 163691932 434192384 78735 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
Current children cumulated CPU time: 3278.83 s
Current children cumulated vsize: 433944 KiB
Current children cumulated memory: 317624 KiB

[startup+3342.3 s]
/proc/loadavg: 3.09 3.20 3.60 4/245 847545
/proc/meminfo: memFree=126974252/131655788 swapFree=131071996/131071996
[pid=845136] ppid=845133 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/845136/stat : 845136 (run-glibc-2.34.) S 845133 845136 840458 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 163691912 10166272 671 134679101440 94372908412928 94372909492248 140720798710272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94372911590704 94372911637892 94372918136832 140720798712767 140720798712924 140720798712924 140720798719939 0
/proc/845136/statm: 2482 671 591 264 0 133 0
[pid=845138] ppid=845136 vsize=424016 memory=314988 CPUtime=3338.78 cores=4,6
/proc/845138/stat : 845138 (ld-linux-x86-64) R 845136 845136 840458 0 -1 4194304 370677 0 0 0 332658 1220 0 0 20 0 2 0 163691913 434192384 78747 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
/proc/845138/statm: 106004 78747 3586 46 0 78599 0
[pid=845138/tid=845139] ppid=845136 vsize=424016 memory=2684 CPUtime=4.28 cores=4,6
/proc/845138/task/845139/stat : 845139 (ld-linux-x86-64) S 845136 845136 840458 0 -1 1077936192 175 0 0 0 144 284 0 0 20 0 2 0 163691932 434192384 78747 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
Current children cumulated CPU time: 3338.78 s
Current children cumulated vsize: 433944 KiB
Current children cumulated memory: 317672 KiB

[startup+3402.3 s]
/proc/loadavg: 3.22 3.21 3.58 4/245 847556
/proc/meminfo: memFree=126973344/131655788 swapFree=131071996/131071996
[pid=845136] ppid=845133 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/845136/stat : 845136 (run-glibc-2.34.) S 845133 845136 840458 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 163691912 10166272 671 134679101440 94372908412928 94372909492248 140720798710272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94372911590704 94372911637892 94372918136832 140720798712767 140720798712924 140720798712924 140720798719939 0
/proc/845136/statm: 2482 671 591 264 0 133 0
[pid=845138] ppid=845136 vsize=424148 memory=315068 CPUtime=3398.74 cores=4,6
/proc/845138/stat : 845138 (ld-linux-x86-64) R 845136 845136 840458 0 -1 4194304 371328 0 0 0 338631 1243 0 0 20 0 2 0 163691913 434327552 78767 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
/proc/845138/statm: 106037 78767 3586 46 0 78632 0
[pid=845138/tid=845139] ppid=845136 vsize=424148 memory=2684 CPUtime=4.36 cores=4,6
/proc/845138/task/845139/stat : 845139 (ld-linux-x86-64) S 845136 845136 840458 0 -1 1077936192 177 0 0 0 147 289 0 0 20 0 2 0 163691932 434327552 78767 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
Current children cumulated CPU time: 3398.74 s
Current children cumulated vsize: 434076 KiB
Current children cumulated memory: 317752 KiB

[startup+3462.3 s]
/proc/loadavg: 3.13 3.19 3.54 4/245 847567
/proc/meminfo: memFree=126972352/131655788 swapFree=131071996/131071996
[pid=845136] ppid=845133 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/845136/stat : 845136 (run-glibc-2.34.) S 845133 845136 840458 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 163691912 10166272 671 134679101440 94372908412928 94372909492248 140720798710272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94372911590704 94372911637892 94372918136832 140720798712767 140720798712924 140720798712924 140720798719939 0
/proc/845136/statm: 2482 671 591 264 0 133 0
[pid=845138] ppid=845136 vsize=424464 memory=315384 CPUtime=3458.69 cores=4,6
/proc/845138/stat : 845138 (ld-linux-x86-64) R 845136 845136 840458 0 -1 4194304 372053 0 0 0 344603 1266 0 0 20 0 2 0 163691913 434651136 78846 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
/proc/845138/statm: 106116 78846 3586 46 0 78711 0
[pid=845138/tid=845139] ppid=845136 vsize=424464 memory=12440 CPUtime=4.44 cores=4,6
/proc/845138/task/845139/stat : 845139 (ld-linux-x86-64) S 845136 845136 840458 0 -1 1077936192 179 0 0 0 149 295 0 0 20 0 2 0 163691932 434651136 78846 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
Current children cumulated CPU time: 3458.69 s
Current children cumulated vsize: 434392 KiB
Current children cumulated memory: 318068 KiB

[startup+3522.3 s]
/proc/loadavg: 3.09 3.17 3.51 4/242 847577
/proc/meminfo: memFree=126969736/131655788 swapFree=131071996/131071996
[pid=845136] ppid=845133 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/845136/stat : 845136 (run-glibc-2.34.) S 845133 845136 840458 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 163691912 10166272 671 134679101440 94372908412928 94372909492248 140720798710272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94372911590704 94372911637892 94372918136832 140720798712767 140720798712924 140720798712924 140720798719939 0
/proc/845136/statm: 2482 671 591 264 0 133 0
[pid=845138] ppid=845136 vsize=424612 memory=315500 CPUtime=3518.64 cores=4,6
/proc/845138/stat : 845138 (ld-linux-x86-64) R 845136 845136 840458 0 -1 4194304 372863 0 0 0 350575 1289 0 0 20 0 2 0 163691913 434802688 78875 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
/proc/845138/statm: 106153 78875 3586 46 0 78748 0
[pid=845138/tid=845139] ppid=845136 vsize=424612 memory=12440 CPUtime=4.52 cores=4,6
/proc/845138/task/845139/stat : 845139 (ld-linux-x86-64) S 845136 845136 840458 0 -1 1077936192 181 0 0 0 152 300 0 0 20 0 2 0 163691932 434802688 78875 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
Current children cumulated CPU time: 3518.64 s
Current children cumulated vsize: 434540 KiB
Current children cumulated memory: 318184 KiB

[startup+3582.3 s]
/proc/loadavg: 3.06 3.15 3.48 4/242 847589
/proc/meminfo: memFree=126962616/131655788 swapFree=131071996/131071996
[pid=845136] ppid=845133 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/845136/stat : 845136 (run-glibc-2.34.) S 845133 845136 840458 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 163691912 10166272 671 134679101440 94372908412928 94372909492248 140720798710272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94372911590704 94372911637892 94372918136832 140720798712767 140720798712924 140720798712924 140720798719939 0
/proc/845136/statm: 2482 671 591 264 0 133 0
[pid=845138] ppid=845136 vsize=424612 memory=315532 CPUtime=3578.59 cores=4,6
/proc/845138/stat : 845138 (ld-linux-x86-64) R 845136 845136 840458 0 -1 4194304 373400 0 0 0 356547 1312 0 0 20 0 2 0 163691913 434802688 78883 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
/proc/845138/statm: 106153 78883 3586 46 0 78748 0
[pid=845138/tid=845139] ppid=845136 vsize=424612 memory=12440 CPUtime=4.6 cores=4,6
/proc/845138/task/845139/stat : 845139 (ld-linux-x86-64) S 845136 845136 840458 0 -1 1077936192 183 0 0 0 154 306 0 0 20 0 2 0 163691932 434802688 78883 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
Current children cumulated CPU time: 3578.59 s
Current children cumulated vsize: 434540 KiB
Current children cumulated memory: 318216 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.8 s]
/proc/loadavg: 3.04 3.14 3.47 4/242 847594
/proc/meminfo: memFree=126961916/131655788 swapFree=131071996/131071996
[pid=845136] ppid=845133 vsize=9928 memory=2684 CPUtime=0 cores=4,6
/proc/845136/stat : 845136 (run-glibc-2.34.) S 845133 845136 840458 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 163691912 10166272 671 134679101440 94372908412928 94372909492248 140720798710272 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94372911590704 94372911637892 94372918136832 140720798712767 140720798712924 140720798712924 140720798719939 0
/proc/845136/statm: 2482 671 591 264 0 133 0
[pid=845138] ppid=845136 vsize=425176 memory=315848 CPUtime=3600.07 cores=4,6
/proc/845138/stat : 845138 (ld-linux-x86-64) R 845136 845136 840458 0 -1 4194304 373704 0 0 0 358687 1320 0 0 20 0 2 0 163691913 435380224 78962 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
/proc/845138/statm: 106294 78962 3586 46 0 78889 0
[pid=845138/tid=845139] ppid=845136 vsize=425176 memory=315848 CPUtime=4.63 cores=4,6
/proc/845138/task/845139/stat : 845139 (ld-linux-x86-64) S 845136 845136 840458 0 -1 1077936192 185 0 0 0 155 308 0 0 20 0 2 0 163691932 435380224 78962 134679101440 140164106969088 140164107156700 140734348349984 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 140164109257600 140164109267048 93824996245504 140734348358487 140734348358651 140734348358651 140734348365746 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 435104 KiB
Current children cumulated memory: 318532 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3586.88 s, system=13.2109 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): 3603.81
CPU time (s): 3600.1
CPU user time (s): 3586.88
CPU system time (s): 13.2109
CPU usage (%): 99.897
Max. virtual memory (cumulated for all children) (KiB): 435104
Max. memory (cumulated for all children) (KiB): 318532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.88
system time used= 13.2109
maximum resident set size= 316024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 373922
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= 353642
involuntary context switches= 1877


# summary of solver processes directly reported to runsolver:
#   pid: 845136
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3586.88
#   total CPU system time (s): 13.2109

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9494 second user time and 36.2836 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-16 09:35:51
IDJOB=4431121
IDBENCH=148194
IDSOLVER=3055
FILE ID=nodeC002/4431121-1721115338
RUNJOBID= nodeC002-1721108140-840469
SLURM_JOB_ID= 7505639
Free space on /tmp= 723652 MiB

SOLVER NAME= IPBHS-GUROBI-SYM 2024-07-09
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.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-4431121-1721115338/watcher-4431121-1721115338 -o /tmp/evaluation-result-4431121-1721115338/solver-4431121-1721115338 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721108140-840469 --watchdog 3760  run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4431121-1721115338.opb

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

MD5SUM BENCH= 529ae296d86301d65a8fd4e36abb4ed9
RANDOM SEED=933846211

nodeC002.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		: 3667.316
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	: 6983.38
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		: 3658.888
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.31
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.288
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	: 6983.38
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.286
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.31
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		: 3491.418
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	: 6983.38
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		: 3669.202
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.31
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.153
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	: 6983.38
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.355
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127002744 kB
MemAvailable:   128631432 kB
Buffers:          423908 kB
Cached:          2030728 kB
SwapCached:            0 kB
Active:           720920 kB
Inactive:        3367180 kB
Active(anon):       2716 kB
Inactive(anon):  1668444 kB
Active(file):     718204 kB
Inactive(file):  1698736 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             42172 kB
Writeback:             0 kB
AnonPages:       1629852 kB
Mapped:           121232 kB
Shmem:             37704 kB
KReclaimable:     103560 kB
Slab:             202772 kB
SReclaimable:     103560 kB
SUnreclaim:        99212 kB
KernelStack:        3968 kB
PageTables:        13044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2300928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53856 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1073152 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:      201544 kB
DirectMap2M:    20674560 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 723644 MiB
End job on nodeC002 at 2024-07-16 10:35:55