Trace number 4431091

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.07 3607.91

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
MD5SUM800a2d87d48167b6ff5ac999f92ec0b3
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-53
Best CPU time to get the best result obtained on this benchmark3600.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1272
Total number of constraints94289
Number of constraints which are clauses94289
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1272
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 1272
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1272
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

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: 63968 MiB (60159 MiB free)
  memory of node 1: 64473 MiB (62654 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431091-1721057947/watcher-4431091-1721057947 -o /tmp/evaluation-result-4431091-1721057947/solver-4431091-1721057947 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721050746-845372 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4431091-1721057947.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=849997, runsolver pid=849994

[startup+0.100086 s]*
/proc/loadavg: 4.15 4.13 4.11 5/263 849999
/proc/meminfo: memFree=125748204/131524600 swapFree=131071996/131071996
[pid=849997] ppid=849994 vsize=9928 memory=2780 CPUtime=0 cores=5,7
/proc/849997/stat : 849997 (run-glibc-2.34.) S 849994 849997 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157962846 10166272 695 134679101440 94226769010688 94226770090008 140732386338144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94226772188464 94226772235652 94226802696192 140732386345919 140732386346076 140732386346076 140732386353091 0
/proc/849997/statm: 2482 695 614 264 0 133 0
[pid=849999] ppid=849997 vsize=99536 memory=20068 CPUtime=0.09 cores=5,7
/proc/849999/stat : 849999 (ld-linux-x86-64) R 849997 849997 812359 0 -1 4194304 4010 0 0 0 8 1 0 0 20 0 1 0 157962846 101924864 5017 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
/proc/849999/statm: 24884 5017 1709 46 0 5499 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 109464 KiB
Current children cumulated memory: 22848 KiB

[startup+0.205853 s]*
/proc/loadavg: 4.15 4.13 4.11 6/264 850000
/proc/meminfo: memFree=125723452/131524600 swapFree=131071996/131071996
[pid=849997] ppid=849994 vsize=9928 memory=2780 CPUtime=0 cores=5,7
/proc/849997/stat : 849997 (run-glibc-2.34.) S 849994 849997 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157962846 10166272 695 134679101440 94226769010688 94226770090008 140732386338144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94226772188464 94226772235652 94226802696192 140732386345919 140732386346076 140732386346076 140732386353091 0
/proc/849997/statm: 2482 695 614 264 0 133 0
[pid=849999] ppid=849997 vsize=167876 memory=53348 CPUtime=0.19 cores=5,7
/proc/849999/stat : 849999 (ld-linux-x86-64) R 849997 849997 812359 0 -1 4194304 8879 0 0 0 13 6 0 0 20 0 2 0 157962846 171905024 13337 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
/proc/849999/statm: 41969 13337 2705 46 0 14564 0
[pid=849999/tid=850000] ppid=849997 vsize=168008 memory=3471202400344241230 CPUtime=0 cores=5,7
/proc/849999/task/850000/stat : 850000 (ld-linux-x86-64) R 849997 849997 812359 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 157962866 172040192 13403 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 0 0 0 -1 7 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 177804 KiB
Current children cumulated memory: 56128 KiB

[startup+0.305911 s]*
/proc/loadavg: 4.15 4.13 4.11 5/264 850000
/proc/meminfo: memFree=125686868/131524600 swapFree=131071996/131071996
[pid=849997] ppid=849994 vsize=9928 memory=2780 CPUtime=0 cores=5,7
/proc/849997/stat : 849997 (run-glibc-2.34.) S 849994 849997 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157962846 10166272 695 134679101440 94226769010688 94226770090008 140732386338144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94226772188464 94226772235652 94226802696192 140732386345919 140732386346076 140732386346076 140732386353091 0
/proc/849997/statm: 2482 695 614 264 0 133 0
[pid=849999] ppid=849997 vsize=199956 memory=84424 CPUtime=0.29 cores=5,7
/proc/849999/stat : 849999 (ld-linux-x86-64) R 849997 849997 812359 0 -1 4194304 15562 0 0 0 22 7 0 0 20 0 2 0 157962846 204754944 21106 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
/proc/849999/statm: 49989 21106 2721 46 0 22584 0
[pid=849999/tid=850000] ppid=849997 vsize=199956 memory=-8536222962536964707 CPUtime=0 cores=5,7
/proc/849999/task/850000/stat : 850000 (ld-linux-x86-64) R 849997 849997 812359 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 157962866 204754944 21106 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 0 0 0 -1 7 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 209884 KiB
Current children cumulated memory: 87204 KiB

[startup+0.700224 s]
/proc/loadavg: 4.15 4.13 4.11 5/264 850000
/proc/meminfo: memFree=125675296/131524600 swapFree=131071996/131071996
[pid=849997] ppid=849994 vsize=9928 memory=2780 CPUtime=0 cores=5,7
/proc/849997/stat : 849997 (run-glibc-2.34.) S 849994 849997 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157962846 10166272 695 134679101440 94226769010688 94226770090008 140732386338144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94226772188464 94226772235652 94226802696192 140732386345919 140732386346076 140732386346076 140732386353091 0
/proc/849997/statm: 2482 695 614 264 0 133 0
[pid=849999] ppid=849997 vsize=209912 memory=95620 CPUtime=0.68 cores=5,7
/proc/849999/stat : 849999 (ld-linux-x86-64) R 849997 849997 812359 0 -1 4194304 19604 0 0 0 56 12 0 0 20 0 2 0 157962846 214949888 23905 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
/proc/849999/statm: 52478 23905 2721 46 0 25073 0
[pid=849999/tid=850000] ppid=849997 vsize=209912 memory=0 CPUtime=0 cores=5,7
/proc/849999/task/850000/stat : 850000 (ld-linux-x86-64) S 849997 849997 812359 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 157962866 214949888 23905 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 219840 KiB
Current children cumulated memory: 98400 KiB

[startup+1.50022 s]
/proc/loadavg: 4.15 4.13 4.11 5/264 850000
/proc/meminfo: memFree=125675276/131524600 swapFree=131071996/131071996
[pid=849997] ppid=849994 vsize=9928 memory=2780 CPUtime=0 cores=5,7
/proc/849997/stat : 849997 (run-glibc-2.34.) S 849994 849997 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157962846 10166272 695 134679101440 94226769010688 94226770090008 140732386338144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94226772188464 94226772235652 94226802696192 140732386345919 140732386346076 140732386346076 140732386353091 0
/proc/849997/statm: 2482 695 614 264 0 133 0
[pid=849999] ppid=849997 vsize=220060 memory=108168 CPUtime=1.49 cores=5,7
/proc/849999/stat : 849999 (ld-linux-x86-64) R 849997 849997 812359 0 -1 4194304 31511 0 0 0 125 24 0 0 20 0 2 0 157962846 225341440 27042 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
/proc/849999/statm: 55015 27042 3274 46 0 27610 0
[pid=849999/tid=850000] ppid=849997 vsize=220060 memory=107904 CPUtime=0 cores=5,7
/proc/849999/task/850000/stat : 850000 (ld-linux-x86-64) S 849997 849997 812359 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 157962866 225341440 27042 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 229988 KiB
Current children cumulated memory: 110948 KiB

[startup+3.10549 s]
/proc/loadavg: 4.14 4.13 4.11 5/264 850000
/proc/meminfo: memFree=125597980/131524600 swapFree=131071996/131071996
[pid=849997] ppid=849994 vsize=9928 memory=2780 CPUtime=0 cores=5,7
/proc/849997/stat : 849997 (run-glibc-2.34.) S 849994 849997 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157962846 10166272 695 134679101440 94226769010688 94226770090008 140732386338144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94226772188464 94226772235652 94226802696192 140732386345919 140732386346076 140732386346076 140732386353091 0
/proc/849997/statm: 2482 695 614 264 0 133 0
[pid=849999] ppid=849997 vsize=423172 memory=178756 CPUtime=3.08 cores=5,7
/proc/849999/stat : 849999 (ld-linux-x86-64) R 849997 849997 812359 0 -1 4194304 62174 0 0 0 280 28 0 0 20 0 2 0 157962846 433328128 44689 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
/proc/849999/statm: 105793 44689 3733 46 0 78388 0
[pid=849999/tid=850000] ppid=849997 vsize=423172 memory=-8536222962536964707 CPUtime=0 cores=5,7
/proc/849999/task/850000/stat : 850000 (ld-linux-x86-64) S 849997 849997 812359 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 157962866 433328128 44689 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 433100 KiB
Current children cumulated memory: 181536 KiB

[startup+6.30027 s]
/proc/loadavg: 4.14 4.13 4.11 5/264 850098
/proc/meminfo: memFree=127411156/131524600 swapFree=131071996/131071996
[pid=849997] ppid=849994 vsize=9928 memory=2780 CPUtime=0 cores=5,7
/proc/849997/stat : 849997 (run-glibc-2.34.) S 849994 849997 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157962846 10166272 695 134679101440 94226769010688 94226770090008 140732386338144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94226772188464 94226772235652 94226802696192 140732386345919 140732386346076 140732386346076 140732386353091 0
/proc/849997/statm: 2482 695 614 264 0 133 0
[pid=849999] ppid=849997 vsize=423172 memory=178772 CPUtime=6.28 cores=5,7
/proc/849999/stat : 849999 (ld-linux-x86-64) R 849997 849997 812359 0 -1 4194304 64251 0 0 0 599 29 0 0 20 0 2 0 157962846 433328128 44693 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
/proc/849999/statm: 105793 44693 3733 46 0 78388 0
[pid=849999/tid=850000] ppid=849997 vsize=423172 memory=178756 CPUtime=0 cores=5,7
/proc/849999/task/850000/stat : 850000 (ld-linux-x86-64) S 849997 849997 812359 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 2 0 157962866 433328128 44693 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 433100 KiB
Current children cumulated memory: 181552 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.13 4.11 5/264 850098
/proc/meminfo: memFree=127345560/131524600 swapFree=131071996/131071996
[pid=849997] ppid=849994 vsize=9928 memory=2780 CPUtime=0 cores=5,7
/proc/849997/stat : 849997 (run-glibc-2.34.) S 849994 849997 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157962846 10166272 695 134679101440 94226769010688 94226770090008 140732386338144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94226772188464 94226772235652 94226802696192 140732386345919 140732386346076 140732386346076 140732386353091 0
/proc/849997/statm: 2482 695 614 264 0 133 0
[pid=849999] ppid=849997 vsize=423172 memory=178772 CPUtime=12.66 cores=5,7
/proc/849999/stat : 849999 (ld-linux-x86-64) R 849997 849997 812359 0 -1 4194304 68587 0 0 0 1237 29 0 0 20 0 2 0 157962846 433328128 44693 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
/proc/849999/statm: 105793 44693 3733 46 0 78388 0
[pid=849999/tid=850000] ppid=849997 vsize=423172 memory=2780 CPUtime=0 cores=5,7
/proc/849999/task/850000/stat : 850000 (ld-linux-x86-64) S 849997 849997 812359 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 2 0 157962866 433328128 44693 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 433100 KiB
Current children cumulated memory: 181552 KiB

[startup+25.5003 s]
/proc/loadavg: 4.17 4.14 4.11 5/264 850101
/proc/meminfo: memFree=127308588/131524600 swapFree=131071996/131071996
[pid=849997] ppid=849994 vsize=9928 memory=2780 CPUtime=0 cores=5,7
/proc/849997/stat : 849997 (run-glibc-2.34.) S 849994 849997 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157962846 10166272 695 134679101440 94226769010688 94226770090008 140732386338144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94226772188464 94226772235652 94226802696192 140732386345919 140732386346076 140732386346076 140732386353091 0
/proc/849997/statm: 2482 695 614 264 0 133 0
[pid=849999] ppid=849997 vsize=423172 memory=180820 CPUtime=25.43 cores=5,7
/proc/849999/stat : 849999 (ld-linux-x86-64) R 849997 849997 812359 0 -1 4194304 73364 0 0 0 2513 30 0 0 20 0 2 0 157962846 433328128 45205 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
/proc/849999/statm: 105793 45205 3733 46 0 78388 0
[pid=849999/tid=850000] ppid=849997 vsize=423172 memory=2780 CPUtime=0 cores=5,7
/proc/849999/task/850000/stat : 850000 (ld-linux-x86-64) S 849997 849997 812359 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 2 0 157962866 433328128 45205 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 433100 KiB
Current children cumulated memory: 183600 KiB

[startup+51.1058 s]
/proc/loadavg: 4.18 4.14 4.11 5/264 850104
/proc/meminfo: memFree=127193072/131524600 swapFree=131071996/131071996
[pid=849997] ppid=849994 vsize=9928 memory=2780 CPUtime=0 cores=5,7
/proc/849997/stat : 849997 (run-glibc-2.34.) S 849994 849997 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157962846 10166272 695 134679101440 94226769010688 94226770090008 140732386338144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94226772188464 94226772235652 94226802696192 140732386345919 140732386346076 140732386346076 140732386353091 0
/proc/849997/statm: 2482 695 614 264 0 133 0
[pid=849999] ppid=849997 vsize=471000 memory=237004 CPUtime=50.99 cores=5,7
/proc/849999/stat : 849999 (ld-linux-x86-64) R 849997 849997 812359 0 -1 4194304 104907 0 0 0 5059 40 0 0 20 0 2 0 157962846 482304000 59251 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
/proc/849999/statm: 117750 59251 3986 46 0 90345 0
[pid=849999/tid=850000] ppid=849997 vsize=471000 memory=178772 CPUtime=0.02 cores=5,7
/proc/849999/task/850000/stat : 850000 (ld-linux-x86-64) S 849997 849997 812359 0 -1 1077936192 29 0 0 0 1 1 0 0 20 0 2 0 157962866 482304000 59251 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 480928 KiB
Current children cumulated memory: 239784 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.11 5/266 850166
/proc/meminfo: memFree=127649032/131524600 swapFree=131071996/131071996
[pid=849997] ppid=849994 vsize=9928 memory=2780 CPUtime=0 cores=5,7
/proc/849997/stat : 849997 (run-glibc-2.34.) S 849994 849997 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157962846 10166272 695 134679101440 94226769010688 94226770090008 140732386338144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94226772188464 94226772235652 94226802696192 140732386345919 140732386346076 140732386346076 140732386353091 0
/proc/849997/statm: 2482 695 614 264 0 133 0
[pid=849999] ppid=849997 vsize=471000 memory=237024 CPUtime=102.08 cores=5,7
/proc/849999/stat : 849999 (ld-linux-x86-64) R 849997 849997 812359 0 -1 4194304 125813 0 0 0 10165 43 0 0 20 0 2 0 157962846 482304000 59256 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
/proc/849999/statm: 117750 59256 3986 46 0 90345 0
[pid=849999/tid=850000] ppid=849997 vsize=471000 memory=237024 CPUtime=0.04 cores=5,7
/proc/849999/task/850000/stat : 850000 (ld-linux-x86-64) S 849997 849997 812359 0 -1 1077936192 42 0 0 0 1 3 0 0 20 0 2 0 157962866 482304000 59256 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 480928 KiB
Current children cumulated memory: 239804 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/266 850177
/proc/meminfo: memFree=127583988/131524600 swapFree=131071996/131071996

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

[startup+3222.3 s]
/proc/loadavg: 4.30 4.23 4.14 5/268 852027
/proc/meminfo: memFree=126620888/131524600 swapFree=131071996/131071996
[pid=849997] ppid=849994 vsize=9928 memory=2780 CPUtime=0 cores=5,7
/proc/849997/stat : 849997 (run-glibc-2.34.) S 849994 849997 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157962846 10166272 695 134679101440 94226769010688 94226770090008 140732386338144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94226772188464 94226772235652 94226802696192 140732386345919 140732386346076 140732386346076 140732386353091 0
/proc/849997/statm: 2482 695 614 264 0 133 0
[pid=849999] ppid=849997 vsize=762912 memory=544512 CPUtime=3215.22 cores=5,7
/proc/849999/stat : 849999 (ld-linux-x86-64) R 849997 849997 812359 0 -1 4194304 357759 0 0 0 321312 210 0 0 20 0 2 0 157962846 781221888 136128 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
/proc/849999/statm: 190728 136128 4047 46 0 163323 0
[pid=849999/tid=850000] ppid=849997 vsize=762912 memory=11396 CPUtime=1.79 cores=5,7
/proc/849999/task/850000/stat : 850000 (ld-linux-x86-64) S 849997 849997 812359 0 -1 1077936192 113 0 0 0 56 123 0 0 20 0 2 0 157962866 781221888 136128 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
Current children cumulated CPU time: 3215.22 s
Current children cumulated vsize: 772840 KiB
Current children cumulated memory: 547292 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.22 4.14 5/266 852038
/proc/meminfo: memFree=126647460/131524600 swapFree=131071996/131071996
[pid=849997] ppid=849994 vsize=9928 memory=2780 CPUtime=0 cores=5,7
/proc/849997/stat : 849997 (run-glibc-2.34.) S 849994 849997 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157962846 10166272 695 134679101440 94226769010688 94226770090008 140732386338144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94226772188464 94226772235652 94226802696192 140732386345919 140732386346076 140732386346076 140732386353091 0
/proc/849997/statm: 2482 695 614 264 0 133 0
[pid=849999] ppid=849997 vsize=733380 memory=502344 CPUtime=3275.1 cores=5,7
/proc/849999/stat : 849999 (ld-linux-x86-64) R 849997 849997 812359 0 -1 4194304 368704 0 0 0 327296 214 0 0 20 0 2 0 157962846 750981120 125586 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
/proc/849999/statm: 183345 125586 4047 46 0 155940 0
[pid=849999/tid=850000] ppid=849997 vsize=733380 memory=2780 CPUtime=1.83 cores=5,7
/proc/849999/task/850000/stat : 850000 (ld-linux-x86-64) S 849997 849997 812359 0 -1 1077936192 114 0 0 0 58 125 0 0 20 0 2 0 157962866 750981120 125586 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
Current children cumulated CPU time: 3275.1 s
Current children cumulated vsize: 743308 KiB
Current children cumulated memory: 505124 KiB

[startup+3342.3 s]
/proc/loadavg: 4.50 4.30 4.17 5/266 852049
/proc/meminfo: memFree=126627696/131524600 swapFree=131071996/131071996
[pid=849997] ppid=849994 vsize=9928 memory=2780 CPUtime=0 cores=5,7
/proc/849997/stat : 849997 (run-glibc-2.34.) S 849994 849997 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157962846 10166272 695 134679101440 94226769010688 94226770090008 140732386338144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94226772188464 94226772235652 94226802696192 140732386345919 140732386346076 140732386346076 140732386353091 0
/proc/849997/statm: 2482 695 614 264 0 133 0
[pid=849999] ppid=849997 vsize=734852 memory=504420 CPUtime=3334.98 cores=5,7
/proc/849999/stat : 849999 (ld-linux-x86-64) R 849997 849997 812359 0 -1 4194304 387451 0 0 0 333277 221 0 0 20 0 2 0 157962846 752488448 126105 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
/proc/849999/statm: 183713 126105 4047 46 0 156308 0
[pid=849999/tid=850000] ppid=849997 vsize=734852 memory=2780 CPUtime=1.87 cores=5,7
/proc/849999/task/850000/stat : 850000 (ld-linux-x86-64) S 849997 849997 812359 0 -1 1077936192 115 0 0 0 59 128 0 0 20 0 2 0 157962866 752488448 126105 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
Current children cumulated CPU time: 3334.98 s
Current children cumulated vsize: 744780 KiB
Current children cumulated memory: 507200 KiB

[startup+3402.3 s]
/proc/loadavg: 4.30 4.27 4.17 5/263 852060
/proc/meminfo: memFree=126589624/131524600 swapFree=131071996/131071996
[pid=849997] ppid=849994 vsize=9928 memory=2780 CPUtime=0 cores=5,7
/proc/849997/stat : 849997 (run-glibc-2.34.) S 849994 849997 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157962846 10166272 695 134679101440 94226769010688 94226770090008 140732386338144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94226772188464 94226772235652 94226802696192 140732386345919 140732386346076 140732386346076 140732386353091 0
/proc/849997/statm: 2482 695 614 264 0 133 0
[pid=849999] ppid=849997 vsize=773776 memory=526152 CPUtime=3394.87 cores=5,7
/proc/849999/stat : 849999 (ld-linux-x86-64) R 849997 849997 812359 0 -1 4194304 406588 0 0 0 339258 229 0 0 20 0 2 0 157962846 792346624 131538 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
/proc/849999/statm: 193444 131538 4047 46 0 166039 0
[pid=849999/tid=850000] ppid=849997 vsize=773776 memory=2780 CPUtime=1.9 cores=5,7
/proc/849999/task/850000/stat : 850000 (ld-linux-x86-64) S 849997 849997 812359 0 -1 1077936192 116 0 0 0 60 130 0 0 20 0 2 0 157962866 792346624 131538 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
Current children cumulated CPU time: 3394.87 s
Current children cumulated vsize: 783704 KiB
Current children cumulated memory: 528932 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.25 4.17 5/263 852070
/proc/meminfo: memFree=126553780/131524600 swapFree=131071996/131071996
[pid=849997] ppid=849994 vsize=9928 memory=2780 CPUtime=0 cores=5,7
/proc/849997/stat : 849997 (run-glibc-2.34.) S 849994 849997 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157962846 10166272 695 134679101440 94226769010688 94226770090008 140732386338144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94226772188464 94226772235652 94226802696192 140732386345919 140732386346076 140732386346076 140732386353091 0
/proc/849997/statm: 2482 695 614 264 0 133 0
[pid=849999] ppid=849997 vsize=781164 memory=550216 CPUtime=3454.74 cores=5,7
/proc/849999/stat : 849999 (ld-linux-x86-64) R 849997 849997 812359 0 -1 4194304 412957 0 0 0 345241 233 0 0 20 0 2 0 157962846 799911936 137554 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
/proc/849999/statm: 195291 137554 4047 46 0 167886 0
[pid=849999/tid=850000] ppid=849997 vsize=781164 memory=2780 CPUtime=1.94 cores=5,7
/proc/849999/task/850000/stat : 850000 (ld-linux-x86-64) S 849997 849997 812359 0 -1 1077936192 117 0 0 0 61 133 0 0 20 0 2 0 157962866 799911936 137554 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
Current children cumulated CPU time: 3454.74 s
Current children cumulated vsize: 791092 KiB
Current children cumulated memory: 552996 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.22 4.17 5/263 852083
/proc/meminfo: memFree=126525488/131524600 swapFree=131071996/131071996
[pid=849997] ppid=849994 vsize=9928 memory=2780 CPUtime=0 cores=5,7
/proc/849997/stat : 849997 (run-glibc-2.34.) S 849994 849997 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157962846 10166272 695 134679101440 94226769010688 94226770090008 140732386338144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94226772188464 94226772235652 94226802696192 140732386345919 140732386346076 140732386346076 140732386353091 0
/proc/849997/statm: 2482 695 614 264 0 133 0
[pid=849999] ppid=849997 vsize=788096 memory=561988 CPUtime=3514.62 cores=5,7
/proc/849999/stat : 849999 (ld-linux-x86-64) R 849997 849997 812359 0 -1 4194304 417835 0 0 0 351226 236 0 0 20 0 2 0 157962846 807010304 140497 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
/proc/849999/statm: 197024 140497 4047 46 0 169619 0
[pid=849999/tid=850000] ppid=849997 vsize=788096 memory=11396 CPUtime=1.97 cores=5,7
/proc/849999/task/850000/stat : 850000 (ld-linux-x86-64) S 849997 849997 812359 0 -1 1077936192 119 0 0 0 62 135 0 0 20 0 2 0 157962866 807010304 140497 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
Current children cumulated CPU time: 3514.62 s
Current children cumulated vsize: 798024 KiB
Current children cumulated memory: 564768 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.22 4.17 5/263 852093
/proc/meminfo: memFree=126508964/131524600 swapFree=131071996/131071996
[pid=849997] ppid=849994 vsize=9928 memory=2780 CPUtime=0 cores=5,7
/proc/849997/stat : 849997 (run-glibc-2.34.) S 849994 849997 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157962846 10166272 695 134679101440 94226769010688 94226770090008 140732386338144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94226772188464 94226772235652 94226802696192 140732386345919 140732386346076 140732386346076 140732386353091 0
/proc/849997/statm: 2482 695 614 264 0 133 0
[pid=849999] ppid=849997 vsize=793592 memory=566564 CPUtime=3574.5 cores=5,7
/proc/849999/stat : 849999 (ld-linux-x86-64) R 849997 849997 812359 0 -1 4194304 422417 0 0 0 357210 240 0 0 20 0 2 0 157962846 812638208 141641 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
/proc/849999/statm: 198398 141641 4047 46 0 170993 0
[pid=849999/tid=850000] ppid=849997 vsize=793592 memory=13116 CPUtime=2.01 cores=5,7
/proc/849999/task/850000/stat : 850000 (ld-linux-x86-64) S 849997 849997 812359 0 -1 1077936192 120 0 0 0 63 138 0 0 20 0 2 0 157962866 812638208 141641 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
Current children cumulated CPU time: 3574.5 s
Current children cumulated vsize: 803520 KiB
Current children cumulated memory: 569344 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.9 s]
/proc/loadavg: 4.14 4.20 4.17 5/263 852098
/proc/meminfo: memFree=126493032/131524600 swapFree=131071996/131071996
[pid=849997] ppid=849994 vsize=9928 memory=2780 CPUtime=0 cores=5,7
/proc/849997/stat : 849997 (run-glibc-2.34.) S 849994 849997 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157962846 10166272 695 134679101440 94226769010688 94226770090008 140732386338144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94226772188464 94226772235652 94226802696192 140732386345919 140732386346076 140732386346076 140732386353091 0
/proc/849997/statm: 2482 695 614 264 0 133 0
[pid=849999] ppid=849997 vsize=796960 memory=575760 CPUtime=3600.06 cores=5,7
/proc/849999/stat : 849999 (ld-linux-x86-64) R 849997 849997 812359 0 -1 4194304 424343 0 0 0 359765 241 0 0 20 0 2 0 157962846 816087040 143940 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
/proc/849999/statm: 199240 143940 4047 46 0 171835 0
[pid=849999/tid=850000] ppid=849997 vsize=796960 memory=5464 CPUtime=2.02 cores=5,7
/proc/849999/task/850000/stat : 850000 (ld-linux-x86-64) S 849997 849997 812359 0 -1 1077936192 120 0 0 0 64 138 0 0 20 0 2 0 157962866 816087040 143940 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 806888 KiB
Current children cumulated memory: 578540 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3607.91 s]
# the end of solver process 849997 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0 s, system=0.001492 s

[startup+3607.91 s]
# the end of solver process 849999 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=3597.65 s, system=2.41897 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3607.9 s]
/proc/loadavg: 4.14 4.20 4.17 5/263 852098
/proc/meminfo: memFree=126493032/131524600 swapFree=131071996/131071996
[pid=849997] ppid=849994 vsize=9928 memory=2780 CPUtime=0 cores=5,7
/proc/849997/stat : 849997 (run-glibc-2.34.) S 849994 849997 812359 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 157962846 10166272 695 134679101440 94226769010688 94226770090008 140732386338144 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94226772188464 94226772235652 94226802696192 140732386345919 140732386346076 140732386346076 140732386353091 0
/proc/849997/statm: 2482 695 614 264 0 133 0
[pid=849999] ppid=849997 vsize=796960 memory=575760 CPUtime=3600.06 cores=5,7
/proc/849999/stat : 849999 (ld-linux-x86-64) R 849997 849997 812359 0 -1 4194304 424343 0 0 0 359765 241 0 0 20 0 2 0 157962846 816087040 143940 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
/proc/849999/statm: 199240 143940 4047 46 0 171835 0
[pid=849999/tid=850000] ppid=849997 vsize=796960 memory=5464 CPUtime=2.02 cores=5,7
/proc/849999/task/850000/stat : 850000 (ld-linux-x86-64) S 849997 849997 812359 0 -1 1077936192 120 0 0 0 64 138 0 0 20 0 2 0 157962866 816087040 143940 134679101440 140464661778432 140464661966044 140726498029008 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140464664066944 140464664076392 93824994398208 140726498030423 140726498030587 140726498030587 140726498037682 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 806888 KiB
Current children cumulated memory: 578540 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3607.91
CPU time (s): 3600.07
CPU user time (s): 3597.65
CPU system time (s): 2.41897
CPU usage (%): 99.7828
Max. virtual memory (cumulated for all children) (KiB): 806888
Max. memory (cumulated for all children) (KiB): 578540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.65
system time used= 2.41897
maximum resident set size= 575760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 424548
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= 357251
involuntary context switches= 2016


# summary of solver processes directly reported to runsolver:
#   pid: 849997,849999
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3597.65
#   total CPU system time (s): 2.41897

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.0201 second user time and 17.4688 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-15 17:39:20
IDJOB=4431091
IDBENCH=146673
IDSOLVER=3055
FILE ID=nodeC030/4431091-1721057947
RUNJOBID= nodeC030-1721050746-845372
SLURM_JOB_ID= 7505481
Free space on /tmp= 889952 MiB

SOLVER NAME= IPBHS-GUROBI-SYM 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.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-4431091-1721057947/watcher-4431091-1721057947 -o /tmp/evaluation-result-4431091-1721057947/solver-4431091-1721057947 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721050746-845372 --watchdog 3760  run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4431091-1721057947.opb

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

MD5SUM BENCH= 800a2d87d48167b6ff5ac999f92ec0b3
RANDOM SEED=553026876

nodeC030.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	: 0xb00002a
cpu MHz		: 3669.769
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.28
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	: 0xb00002a
cpu MHz		: 3673.263
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.11
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	: 0xb00002a
cpu MHz		: 3599.671
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.28
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	: 0xb00002a
cpu MHz		: 3600.833
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.11
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	: 0xb00002a
cpu MHz		: 3669.793
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.28
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	: 0xb00002a
cpu MHz		: 3672.212
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.11
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	: 0xb00002a
cpu MHz		: 3599.720
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.28
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	: 0xb00002a
cpu MHz		: 3666.637
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125762052 kB
MemAvailable:   127179580 kB
Buffers:          365836 kB
Cached:          1878232 kB
SwapCached:            0 kB
Active:           825216 kB
Inactive:        4316916 kB
Active(anon):       1604 kB
Inactive(anon):  2934172 kB
Active(file):     823612 kB
Inactive(file):  1382744 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             43480 kB
Writeback:            20 kB
AnonPages:       2889892 kB
Mapped:           121384 kB
Shmem:             37720 kB
KReclaimable:     101988 kB
Slab:             208344 kB
SReclaimable:     101988 kB
SUnreclaim:       106356 kB
KernelStack:        4184 kB
PageTables:        15812 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3745236 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62144 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2521088 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:      234196 kB
DirectMap2M:    18413568 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 889912 MiB
End job on nodeC030 at 2024-07-15 18:39:29