Trace number 4431725

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 2024-07-09? (TO) 3600.07 3606.43

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
MD5SUMa7d39c8a0eed618aa14a4423c4fae159
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 benchmark126
Best CPU time to get the best result obtained on this benchmark1995.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables175232
Total number of constraints2994
Number of constraints which are clauses1368
Number of constraints which are cardinality constraints (but not clauses)1368
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint128
Maximum length of a constraint1369
Number of terms in the objective function 128
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 128
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 482918
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 1101202
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data


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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431725-1721172049/watcher-4431725-1721172049 -o /tmp/evaluation-result-4431725-1721172049/solver-4431725-1721172049 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721164841-890532 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431725-1721172049.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=895665, runsolver pid=895662
Current StackSize limit: 8192 KiB


[startup+0.100098 s]*
/proc/loadavg: 4.11 4.17 4.14 4/260 895667
/proc/meminfo: memFree=127239836/131524600 swapFree=131071996/131071996
[pid=895665] ppid=895662 vsize=9928 memory=2716 CPUtime=0 cores=1,3
/proc/895665/stat : 895665 (run-glibc-2.34.) S 895662 895665 890520 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169367319 10166272 679 134679101440 94920679251968 94920680331288 140737146303584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94920682429744 94920682476932 94920698503168 140737146311627 140737146311772 140737146311772 140737146318787 0
/proc/895665/statm: 2482 679 598 264 0 133 0
[pid=895667] ppid=895665 vsize=114288 memory=32016 CPUtime=0.09 cores=1,3
/proc/895667/stat : 895667 (ld-linux-x86-64) R 895665 895665 890520 0 -1 4194304 6534 0 0 0 8 1 0 0 20 0 1 0 169367319 117030912 8004 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
/proc/895667/statm: 28572 8004 1634 46 0 9187 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 124216 KiB
Current children cumulated memory: 34732 KiB

[startup+0.205967 s]*
/proc/loadavg: 4.11 4.17 4.14 4/259 895681
/proc/meminfo: memFree=127234956/131524600 swapFree=131071996/131071996
[pid=895665] ppid=895662 vsize=9928 memory=2716 CPUtime=0 cores=1,3
/proc/895665/stat : 895665 (run-glibc-2.34.) S 895662 895665 890520 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169367319 10166272 679 134679101440 94920679251968 94920680331288 140737146303584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94920682429744 94920682476932 94920698503168 140737146311627 140737146311772 140737146311772 140737146318787 0
/proc/895665/statm: 2482 679 598 264 0 133 0
[pid=895667] ppid=895665 vsize=121256 memory=38352 CPUtime=0.19 cores=1,3
/proc/895667/stat : 895667 (ld-linux-x86-64) R 895665 895665 890520 0 -1 4194304 8104 0 0 0 18 1 0 0 20 0 1 0 169367319 124166144 9588 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
/proc/895667/statm: 30314 9588 1634 46 0 10929 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 131184 KiB
Current children cumulated memory: 41068 KiB

[startup+0.305631 s]*
/proc/loadavg: 4.11 4.17 4.14 4/256 895698
/proc/meminfo: memFree=127241748/131524600 swapFree=131071996/131071996
[pid=895665] ppid=895662 vsize=9928 memory=2716 CPUtime=0 cores=1,3
/proc/895665/stat : 895665 (run-glibc-2.34.) S 895662 895665 890520 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169367319 10166272 679 134679101440 94920679251968 94920680331288 140737146303584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94920682429744 94920682476932 94920698503168 140737146311627 140737146311772 140737146311772 140737146318787 0
/proc/895665/statm: 2482 679 598 264 0 133 0
[pid=895667] ppid=895665 vsize=164172 memory=81496 CPUtime=0.29 cores=1,3
/proc/895667/stat : 895667 (ld-linux-x86-64) R 895665 895665 890520 0 -1 4194304 14770 0 0 0 27 2 0 0 20 0 1 0 169367319 168112128 20374 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
/proc/895667/statm: 41043 20374 1730 46 0 21658 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 174100 KiB
Current children cumulated memory: 84212 KiB

[startup+0.700173 s]
/proc/loadavg: 4.10 4.17 4.14 6/265 895716
/proc/meminfo: memFree=127169964/131524600 swapFree=131071996/131071996
[pid=895665] ppid=895662 vsize=9928 memory=2716 CPUtime=0 cores=1,3
/proc/895665/stat : 895665 (run-glibc-2.34.) S 895662 895665 890520 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169367319 10166272 679 134679101440 94920679251968 94920680331288 140737146303584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94920682429744 94920682476932 94920698503168 140737146311627 140737146311772 140737146311772 140737146318787 0
/proc/895665/statm: 2482 679 598 264 0 133 0
[pid=895667] ppid=895665 vsize=216544 memory=99204 CPUtime=0.68 cores=1,3
/proc/895667/stat : 895667 (ld-linux-x86-64) R 895665 895665 890520 0 -1 4194304 17669 0 0 0 65 3 0 0 20 0 2 0 169367319 221741056 24801 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
/proc/895667/statm: 54136 24801 2615 46 0 26731 0
[pid=895667/tid=895704] ppid=895665 vsize=216544 memory=44184 CPUtime=0 cores=1,3
/proc/895667/task/895704/stat : 895704 (ld-linux-x86-64) S 895665 895665 890520 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 169367359 221741056 24801 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 226472 KiB
Current children cumulated memory: 101920 KiB

[startup+1.50016 s]
/proc/loadavg: 4.10 4.17 4.14 5/265 895716
/proc/meminfo: memFree=127157864/131524600 swapFree=131071996/131071996
[pid=895665] ppid=895662 vsize=9928 memory=2716 CPUtime=0 cores=1,3
/proc/895665/stat : 895665 (run-glibc-2.34.) S 895662 895665 890520 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169367319 10166272 679 134679101440 94920679251968 94920680331288 140737146303584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94920682429744 94920682476932 94920698503168 140737146311627 140737146311772 140737146311772 140737146318787 0
/proc/895665/statm: 2482 679 598 264 0 133 0
[pid=895667] ppid=895665 vsize=216544 memory=99204 CPUtime=1.47 cores=1,3
/proc/895667/stat : 895667 (ld-linux-x86-64) R 895665 895665 890520 0 -1 4194304 17669 0 0 0 144 3 0 0 20 0 2 0 169367319 221741056 24801 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
/proc/895667/statm: 54136 24801 2615 46 0 26731 0
[pid=895667/tid=895704] ppid=895665 vsize=216544 memory=99204 CPUtime=0 cores=1,3
/proc/895667/task/895704/stat : 895704 (ld-linux-x86-64) S 895665 895665 890520 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 169367359 221741056 24801 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 226472 KiB
Current children cumulated memory: 101920 KiB

[startup+3.1055 s]
/proc/loadavg: 4.10 4.17 4.14 5/265 895764
/proc/meminfo: memFree=127112464/131524600 swapFree=131071996/131071996
[pid=895665] ppid=895662 vsize=9928 memory=2716 CPUtime=0 cores=1,3
/proc/895665/stat : 895665 (run-glibc-2.34.) S 895662 895665 890520 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169367319 10166272 679 134679101440 94920679251968 94920680331288 140737146303584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94920682429744 94920682476932 94920698503168 140737146311627 140737146311772 140737146311772 140737146318787 0
/proc/895665/statm: 2482 679 598 264 0 133 0
[pid=895667] ppid=895665 vsize=241248 memory=125268 CPUtime=3.08 cores=1,3
/proc/895667/stat : 895667 (ld-linux-x86-64) R 895665 895665 890520 0 -1 4194304 26618 0 0 0 292 16 0 0 20 0 2 0 169367319 247037952 31317 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
/proc/895667/statm: 60312 31317 3511 46 0 32907 0
[pid=895667/tid=895704] ppid=895665 vsize=241248 memory=12304 CPUtime=0 cores=1,3
/proc/895667/task/895704/stat : 895704 (ld-linux-x86-64) S 895665 895665 890520 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 169367359 247037952 31317 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 251176 KiB
Current children cumulated memory: 127984 KiB

[startup+6.30021 s]
/proc/loadavg: 4.17 4.18 4.15 5/265 895764
/proc/meminfo: memFree=127079220/131524600 swapFree=131071996/131071996
[pid=895665] ppid=895662 vsize=9928 memory=2716 CPUtime=0 cores=1,3
/proc/895665/stat : 895665 (run-glibc-2.34.) S 895662 895665 890520 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169367319 10166272 679 134679101440 94920679251968 94920680331288 140737146303584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94920682429744 94920682476932 94920698503168 140737146311627 140737146311772 140737146311772 140737146318787 0
/proc/895665/statm: 2482 679 598 264 0 133 0
[pid=895667] ppid=895665 vsize=248620 memory=133836 CPUtime=6.27 cores=1,3
/proc/895667/stat : 895667 (ld-linux-x86-64) R 895665 895665 890520 0 -1 4194304 35383 0 0 0 599 28 0 0 20 0 2 0 169367319 254586880 33459 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
/proc/895667/statm: 62155 33459 3511 46 0 34750 0
[pid=895667/tid=895704] ppid=895665 vsize=248620 memory=2716 CPUtime=0 cores=1,3
/proc/895667/task/895704/stat : 895704 (ld-linux-x86-64) S 895665 895665 890520 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 2 0 169367359 254586880 33459 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 258548 KiB
Current children cumulated memory: 136552 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.18 4.15 5/264 895766
/proc/meminfo: memFree=127015796/131524600 swapFree=131071996/131071996
[pid=895665] ppid=895662 vsize=9928 memory=2716 CPUtime=0 cores=1,3
/proc/895665/stat : 895665 (run-glibc-2.34.) S 895662 895665 890520 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169367319 10166272 679 134679101440 94920679251968 94920680331288 140737146303584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94920682429744 94920682476932 94920698503168 140737146311627 140737146311772 140737146311772 140737146318787 0
/proc/895665/statm: 2482 679 598 264 0 133 0
[pid=895667] ppid=895665 vsize=260872 memory=142776 CPUtime=12.66 cores=1,3
/proc/895667/stat : 895667 (ld-linux-x86-64) R 895665 895665 890520 0 -1 4194304 45870 0 0 0 1237 29 0 0 20 0 2 0 169367319 267132928 35694 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
/proc/895667/statm: 65218 35694 3511 46 0 37813 0
[pid=895667/tid=895704] ppid=895665 vsize=260872 memory=-8681458578781791838 CPUtime=0 cores=1,3
/proc/895667/task/895704/stat : 895704 (ld-linux-x86-64) S 895665 895665 890520 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 2 0 169367359 267132928 35694 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 270800 KiB
Current children cumulated memory: 145492 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.17 4.15 5/264 895767
/proc/meminfo: memFree=126873752/131524600 swapFree=131071996/131071996
[pid=895665] ppid=895662 vsize=9928 memory=2716 CPUtime=0 cores=1,3
/proc/895665/stat : 895665 (run-glibc-2.34.) S 895662 895665 890520 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169367319 10166272 679 134679101440 94920679251968 94920680331288 140737146303584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94920682429744 94920682476932 94920698503168 140737146311627 140737146311772 140737146311772 140737146318787 0
/proc/895665/statm: 2482 679 598 264 0 133 0
[pid=895667] ppid=895665 vsize=281568 memory=159020 CPUtime=25.44 cores=1,3
/proc/895667/stat : 895667 (ld-linux-x86-64) R 895665 895665 890520 0 -1 4194304 60044 0 0 0 2511 33 0 0 20 0 2 0 169367319 288325632 39755 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
/proc/895667/statm: 70392 39755 3511 46 0 42987 0
[pid=895667/tid=895704] ppid=895665 vsize=281568 memory=2716 CPUtime=0 cores=1,3
/proc/895667/task/895704/stat : 895704 (ld-linux-x86-64) S 895665 895665 890520 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 2 0 169367359 288325632 39755 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 291496 KiB
Current children cumulated memory: 161736 KiB

[startup+51.1056 s]
/proc/loadavg: 4.13 4.17 4.15 5/265 895773
/proc/meminfo: memFree=126675644/131524600 swapFree=131071996/131071996
[pid=895665] ppid=895662 vsize=9928 memory=2716 CPUtime=0 cores=1,3
/proc/895665/stat : 895665 (run-glibc-2.34.) S 895662 895665 890520 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169367319 10166272 679 134679101440 94920679251968 94920680331288 140737146303584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94920682429744 94920682476932 94920698503168 140737146311627 140737146311772 140737146311772 140737146318787 0
/proc/895665/statm: 2482 679 598 264 0 133 0
[pid=895667] ppid=895665 vsize=315920 memory=191208 CPUtime=51.01 cores=1,3
/proc/895667/stat : 895667 (ld-linux-x86-64) R 895665 895665 890520 0 -1 4194304 87407 0 0 0 5061 40 0 0 20 0 2 0 169367319 323502080 47802 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
/proc/895667/statm: 78980 47802 3511 46 0 51575 0
[pid=895667/tid=895704] ppid=895665 vsize=315920 memory=2716 CPUtime=0.01 cores=1,3
/proc/895667/task/895704/stat : 895704 (ld-linux-x86-64) S 895665 895665 890520 0 -1 1077936192 38 0 0 0 0 1 0 0 20 0 2 0 169367359 323502080 47802 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 325848 KiB
Current children cumulated memory: 193924 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.16 4.14 5/265 895781
/proc/meminfo: memFree=126275936/131524600 swapFree=131071996/131071996
[pid=895665] ppid=895662 vsize=9928 memory=2716 CPUtime=0 cores=1,3
/proc/895665/stat : 895665 (run-glibc-2.34.) S 895662 895665 890520 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169367319 10166272 679 134679101440 94920679251968 94920680331288 140737146303584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94920682429744 94920682476932 94920698503168 140737146311627 140737146311772 140737146311772 140737146318787 0
/proc/895665/statm: 2482 679 598 264 0 133 0
[pid=895667] ppid=895665 vsize=372316 memory=249772 CPUtime=102.13 cores=1,3
/proc/895667/stat : 895667 (ld-linux-x86-64) R 895665 895665 890520 0 -1 4194304 127510 0 0 0 10165 48 0 0 20 0 2 0 169367319 381251584 62443 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
/proc/895667/statm: 93079 62443 3511 46 0 65674 0
[pid=895667/tid=895704] ppid=895665 vsize=372316 memory=236976 CPUtime=0.03 cores=1,3
/proc/895667/task/895704/stat : 895704 (ld-linux-x86-64) S 895665 895665 890520 0 -1 1077936192 52 0 0 0 1 2 0 0 20 0 2 0 169367359 381251584 62443 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
Current children cumulated CPU time: 102.13 s
Current children cumulated vsize: 382244 KiB
Current children cumulated memory: 252488 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.16 4.14 5/265 895791
/proc/meminfo: memFree=125735876/131524600 swapFree=131071996/131071996
[pid=895665] ppid=895662 vsize=9928 memory=2716 CPUtime=0 cores=1,3
/proc/895665/stat : 895665 (run-glibc-2.34.) S 895662 895665 890520 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169367319 10166272 679 134679101440 94920679251968 94920680331288 140737146303584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94920682429744 94920682476932 94920698503168 140737146311627 140737146311772 140737146311772 140737146318787 0
/proc/895665/statm: 2482 679 598 264 0 133 0
[pid=895667] ppid=895665 vsize=460112 memory=329952 CPUtime=162.04 cores=1,3

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

[startup+3162.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/264 897509
/proc/meminfo: memFree=114035196/131524600 swapFree=131071996/131071996
[pid=895665] ppid=895662 vsize=9928 memory=2716 CPUtime=0 cores=1,3
/proc/895665/stat : 895665 (run-glibc-2.34.) S 895662 895665 890520 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169367319 10166272 679 134679101440 94920679251968 94920680331288 140737146303584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94920682429744 94920682476932 94920698503168 140737146311627 140737146311772 140737146311772 140737146318787 0
/proc/895665/statm: 2482 679 598 264 0 133 0
[pid=895667] ppid=895665 vsize=4466608 memory=4117704 CPUtime=3156.62 cores=1,3
/proc/895667/stat : 895667 (ld-linux-x86-64) R 895665 895665 890520 0 -1 4194304 5463675 0 0 0 312142 3520 0 0 20 0 2 0 169367319 4573806592 1029426 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
/proc/895667/statm: 1116652 1029426 3511 46 0 1089247 0
[pid=895667/tid=895704] ppid=895665 vsize=4466608 memory=4108972 CPUtime=2.11 cores=1,3
/proc/895667/task/895704/stat : 895704 (ld-linux-x86-64) S 895665 895665 890520 0 -1 1077936192 215 0 0 0 77 134 0 0 20 0 2 0 169367359 4573806592 1029426 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
Current children cumulated CPU time: 3156.62 s
Current children cumulated vsize: 4476536 KiB
Current children cumulated memory: 4120420 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.16 4.16 5/264 897521
/proc/meminfo: memFree=113867120/131524600 swapFree=131071996/131071996
[pid=895665] ppid=895662 vsize=9928 memory=2716 CPUtime=0 cores=1,3
/proc/895665/stat : 895665 (run-glibc-2.34.) S 895662 895665 890520 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169367319 10166272 679 134679101440 94920679251968 94920680331288 140737146303584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94920682429744 94920682476932 94920698503168 140737146311627 140737146311772 140737146311772 140737146318787 0
/proc/895665/statm: 2482 679 598 264 0 133 0
[pid=895667] ppid=895665 vsize=4482508 memory=4138512 CPUtime=3216.52 cores=1,3
/proc/895667/stat : 895667 (ld-linux-x86-64) R 895665 895665 890520 0 -1 4194304 5570007 0 0 0 318057 3595 0 0 20 0 2 0 169367319 4590088192 1034628 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
/proc/895667/statm: 1120627 1034628 3511 46 0 1093222 0
[pid=895667/tid=895704] ppid=895665 vsize=4482508 memory=2716 CPUtime=2.15 cores=1,3
/proc/895667/task/895704/stat : 895704 (ld-linux-x86-64) S 895665 895665 890520 0 -1 1077936192 219 0 0 0 79 136 0 0 20 0 2 0 169367359 4590088192 1034628 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
Current children cumulated CPU time: 3216.52 s
Current children cumulated vsize: 4492436 KiB
Current children cumulated memory: 4141228 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.16 4.16 5/264 897531
/proc/meminfo: memFree=113766968/131524600 swapFree=131071996/131071996
[pid=895665] ppid=895662 vsize=9928 memory=2716 CPUtime=0 cores=1,3
/proc/895665/stat : 895665 (run-glibc-2.34.) S 895662 895665 890520 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169367319 10166272 679 134679101440 94920679251968 94920680331288 140737146303584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94920682429744 94920682476932 94920698503168 140737146311627 140737146311772 140737146311772 140737146318787 0
/proc/895665/statm: 2482 679 598 264 0 133 0
[pid=895667] ppid=895665 vsize=4487388 memory=4142456 CPUtime=3276.42 cores=1,3
/proc/895667/stat : 895667 (ld-linux-x86-64) R 895665 895665 890520 0 -1 4194304 5688191 0 0 0 323941 3701 0 0 20 0 2 0 169367319 4595085312 1035614 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
/proc/895667/statm: 1121847 1035614 3511 46 0 1094442 0
[pid=895667/tid=895704] ppid=895665 vsize=4487388 memory=2716 CPUtime=2.21 cores=1,3
/proc/895667/task/895704/stat : 895704 (ld-linux-x86-64) S 895665 895665 890520 0 -1 1077936192 223 0 0 0 81 140 0 0 20 0 2 0 169367359 4595085312 1035614 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
Current children cumulated CPU time: 3276.42 s
Current children cumulated vsize: 4497316 KiB
Current children cumulated memory: 4145172 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.12 4.15 5/262 897541
/proc/meminfo: memFree=113687184/131524600 swapFree=131071996/131071996
[pid=895665] ppid=895662 vsize=9928 memory=2716 CPUtime=0 cores=1,3
/proc/895665/stat : 895665 (run-glibc-2.34.) S 895662 895665 890520 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169367319 10166272 679 134679101440 94920679251968 94920680331288 140737146303584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94920682429744 94920682476932 94920698503168 140737146311627 140737146311772 140737146311772 140737146318787 0
/proc/895665/statm: 2482 679 598 264 0 133 0
[pid=895667] ppid=895665 vsize=4535872 memory=4187504 CPUtime=3336.33 cores=1,3
/proc/895667/stat : 895667 (ld-linux-x86-64) R 895665 895665 890520 0 -1 4194304 5703472 0 0 0 329911 3722 0 0 20 0 2 0 169367319 4644732928 1046876 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
/proc/895667/statm: 1133968 1046876 3511 46 0 1106563 0
[pid=895667/tid=895704] ppid=895665 vsize=4535872 memory=2716 CPUtime=2.27 cores=1,3
/proc/895667/task/895704/stat : 895704 (ld-linux-x86-64) S 895665 895665 890520 0 -1 1077936192 226 0 0 0 84 143 0 0 20 0 2 0 169367359 4644732928 1046876 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
Current children cumulated CPU time: 3336.33 s
Current children cumulated vsize: 4545800 KiB
Current children cumulated memory: 4190220 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/262 897553
/proc/meminfo: memFree=113495604/131524600 swapFree=131071996/131071996
[pid=895665] ppid=895662 vsize=9928 memory=2716 CPUtime=0 cores=1,3
/proc/895665/stat : 895665 (run-glibc-2.34.) S 895662 895665 890520 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169367319 10166272 679 134679101440 94920679251968 94920680331288 140737146303584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94920682429744 94920682476932 94920698503168 140737146311627 140737146311772 140737146311772 140737146318787 0
/proc/895665/statm: 2482 679 598 264 0 133 0
[pid=895667] ppid=895665 vsize=4635392 memory=4270456 CPUtime=3396.25 cores=1,3
/proc/895667/stat : 895667 (ld-linux-x86-64) R 895665 895665 890520 0 -1 4194304 5737022 0 0 0 335885 3740 0 0 20 0 2 0 169367319 4746641408 1067614 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
/proc/895667/statm: 1158848 1067614 3511 46 0 1131443 0
[pid=895667/tid=895704] ppid=895665 vsize=4635392 memory=2716 CPUtime=2.32 cores=1,3
/proc/895667/task/895704/stat : 895704 (ld-linux-x86-64) S 895665 895665 890520 0 -1 1077936192 229 0 0 0 86 146 0 0 20 0 2 0 169367359 4746641408 1067614 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
Current children cumulated CPU time: 3396.25 s
Current children cumulated vsize: 4645320 KiB
Current children cumulated memory: 4273172 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.14 4.15 5/262 897563
/proc/meminfo: memFree=113350032/131524600 swapFree=131071996/131071996
[pid=895665] ppid=895662 vsize=9928 memory=2716 CPUtime=0 cores=1,3
/proc/895665/stat : 895665 (run-glibc-2.34.) S 895662 895665 890520 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169367319 10166272 679 134679101440 94920679251968 94920680331288 140737146303584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94920682429744 94920682476932 94920698503168 140737146311627 140737146311772 140737146311772 140737146318787 0
/proc/895665/statm: 2482 679 598 264 0 133 0
[pid=895667] ppid=895665 vsize=4719552 memory=4340760 CPUtime=3456.15 cores=1,3
/proc/895667/stat : 895667 (ld-linux-x86-64) R 895665 895665 890520 0 -1 4194304 5817508 0 0 0 341853 3762 0 0 20 0 2 0 169367319 4832821248 1085190 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
/proc/895667/statm: 1179888 1085190 3511 46 0 1152483 0
[pid=895667/tid=895704] ppid=895665 vsize=4719552 memory=5628 CPUtime=2.38 cores=1,3
/proc/895667/task/895704/stat : 895704 (ld-linux-x86-64) S 895665 895665 890520 0 -1 1077936192 233 0 0 0 88 150 0 0 20 0 2 0 169367359 4832821248 1085190 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
Current children cumulated CPU time: 3456.15 s
Current children cumulated vsize: 4729480 KiB
Current children cumulated memory: 4343476 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/262 897573
/proc/meminfo: memFree=113265304/131524600 swapFree=131071996/131071996
[pid=895665] ppid=895662 vsize=9928 memory=2716 CPUtime=0 cores=1,3
/proc/895665/stat : 895665 (run-glibc-2.34.) S 895662 895665 890520 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169367319 10166272 679 134679101440 94920679251968 94920680331288 140737146303584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94920682429744 94920682476932 94920698503168 140737146311627 140737146311772 140737146311772 140737146318787 0
/proc/895665/statm: 2482 679 598 264 0 133 0
[pid=895667] ppid=895665 vsize=4742092 memory=4361084 CPUtime=3516.07 cores=1,3
/proc/895667/stat : 895667 (ld-linux-x86-64) R 895665 895665 890520 0 -1 4194304 5825476 0 0 0 347828 3779 0 0 20 0 2 0 169367319 4855902208 1090271 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
/proc/895667/statm: 1185523 1090271 3511 46 0 1158118 0
[pid=895667/tid=895704] ppid=895665 vsize=4742092 memory=12304 CPUtime=2.44 cores=1,3
/proc/895667/task/895704/stat : 895704 (ld-linux-x86-64) S 895665 895665 890520 0 -1 1077936192 236 0 0 0 90 154 0 0 20 0 2 0 169367359 4855902208 1090271 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
Current children cumulated CPU time: 3516.07 s
Current children cumulated vsize: 4752020 KiB
Current children cumulated memory: 4363800 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/265 897588
/proc/meminfo: memFree=113213636/131524600 swapFree=131071996/131071996
[pid=895665] ppid=895662 vsize=9928 memory=2716 CPUtime=0 cores=1,3
/proc/895665/stat : 895665 (run-glibc-2.34.) S 895662 895665 890520 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169367319 10166272 679 134679101440 94920679251968 94920680331288 140737146303584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94920682429744 94920682476932 94920698503168 140737146311627 140737146311772 140737146311772 140737146318787 0
/proc/895665/statm: 2482 679 598 264 0 133 0
[pid=895667] ppid=895665 vsize=4767236 memory=4384492 CPUtime=3575.97 cores=1,3
/proc/895667/stat : 895667 (ld-linux-x86-64) R 895665 895665 890520 0 -1 4194304 5863447 0 0 0 353801 3796 0 0 20 0 2 0 169367319 4881649664 1096123 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
/proc/895667/statm: 1191809 1096123 3511 46 0 1164404 0
[pid=895667/tid=895704] ppid=895665 vsize=4767236 memory=2852 CPUtime=2.49 cores=1,3
/proc/895667/task/895704/stat : 895704 (ld-linux-x86-64) S 895665 895665 890520 0 -1 1077936192 239 0 0 0 92 157 0 0 20 0 2 0 169367359 4881649664 1096123 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
Current children cumulated CPU time: 3575.97 s
Current children cumulated vsize: 4777164 KiB
Current children cumulated memory: 4387208 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.4 s]
/proc/loadavg: 3.91 4.07 4.13 3/247 897654
/proc/meminfo: memFree=120897596/131524600 swapFree=131071996/131071996
[pid=895665] ppid=895662 vsize=9928 memory=2716 CPUtime=0 cores=1,3
/proc/895665/stat : 895665 (run-glibc-2.34.) S 895662 895665 890520 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 169367319 10166272 679 134679101440 94920679251968 94920680331288 140737146303584 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94920682429744 94920682476932 94920698503168 140737146311627 140737146311772 140737146311772 140737146318787 0
/proc/895665/statm: 2482 679 598 264 0 133 0
[pid=895667] ppid=895665 vsize=4788568 memory=4403592 CPUtime=3600.03 cores=1,3
/proc/895667/stat : 895667 (ld-linux-x86-64) R 895665 895665 890520 0 -1 4194304 5869702 0 0 0 356202 3801 0 0 20 0 2 0 169367319 4903493632 1100898 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
/proc/895667/statm: 1197142 1100898 3511 46 0 1169737 0
[pid=895667/tid=895704] ppid=895665 vsize=4788568 memory=4403592 CPUtime=2.51 cores=1,3
/proc/895667/task/895704/stat : 895704 (ld-linux-x86-64) S 895665 895665 890520 0 -1 1077936192 239 0 0 0 93 158 0 0 20 0 2 0 169367359 4903493632 1100898 134679101440 140615433039872 140615433227484 140721028229248 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140615435328384 140615435337832 93825003618304 140721028236131 140721028236283 140721028236283 140721028243378 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 4798496 KiB
Current children cumulated memory: 4406308 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.0014 s, system=0.000162 s

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

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

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3606.43
CPU time (s): 3600.07
CPU user time (s): 3562.04
CPU system time (s): 38.037
CPU usage (%): 99.8238
Max. virtual memory (cumulated for all children) (KiB): 4798496
Max. memory (cumulated for all children) (KiB): 4406308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.04
system time used= 38.037
maximum resident set size= 4403612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5869904
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= 357451
involuntary context switches= 4489


# summary of solver processes directly reported to runsolver:
#   pid: 895665,895667
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3562.04
#   total CPU system time (s): 38.037

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45586 second user time and 16.9791 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-17 01:21:01
IDJOB=4431725
IDBENCH=158606
IDSOLVER=3056
FILE ID=nodeC018/4431725-1721172049
RUNJOBID= nodeC018-1721164841-890532
SLURM_JOB_ID= 7505786
Free space on /tmp= 889932 MiB

SOLVER NAME= IPBHS-GUROBI 2024-07-09
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
COMMAND LINE= run-glibc-2.34.sh ./ipbhs_gurobi BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431725-1721172049/watcher-4431725-1721172049 -o /tmp/evaluation-result-4431725-1721172049/solver-4431725-1721172049 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721164841-890532 --watchdog 3760  run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431725-1721172049.opb

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

MD5SUM BENCH= a7d39c8a0eed618aa14a4423c4fae159
RANDOM SEED=1437148235

nodeC018.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		: 3676.997
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.52
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		: 3663.473
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.30
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.912
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.52
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		: 3676.482
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.30
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		: 3677.024
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.52
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		: 3674.327
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.30
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.979
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.52
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		: 3601.192
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125592800 kB
MemAvailable:   127821264 kB
Buffers:          416244 kB
Cached:          2629236 kB
SwapCached:            0 kB
Active:           818676 kB
Inactive:        4463024 kB
Active(anon):       1576 kB
Inactive(anon):  2272720 kB
Active(file):     817100 kB
Inactive(file):  2190304 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            146772 kB
Writeback:            48 kB
AnonPages:       2235832 kB
Mapped:           123620 kB
Shmem:             37720 kB
KReclaimable:     121764 kB
Slab:             235224 kB
SReclaimable:     121764 kB
SUnreclaim:       113460 kB
KernelStack:        4192 kB
PageTables:        13980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2715888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63552 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1931264 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:    17364992 kB
DirectMap1G:    118489088 kB

Free space on /tmp at the end= 889992 MiB
End job on nodeC018 at 2024-07-17 02:21:08