Trace number 4431716

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.11 3608.71

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay60.lin.opb
MD5SUMfc1ceaa3d3fa0c232aeb6fc161f41804
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 benchmark1521089
Best CPU time to get the best result obtained on this benchmark72002
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables90685
Total number of constraints246269
Number of constraints which are clauses157354
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints88914
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 90684
Biggest coefficient in the objective function 2306839
Number of bits for the biggest coefficient in the objective function 22
Sum of the numbers in the objective function 21217725
Number of bits of the sum of numbers in the objective function 25
Biggest number in a constraint 2306839
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 21217725
Number of bits of the biggest sum of numbers25
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 (61407 MiB free)
  memory of node 1: 64473 MiB (63063 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100519 s]*
/proc/loadavg: 4.16 4.10 4.05 5/264 893686
/proc/meminfo: memFree=127435728/131524600 swapFree=131071996/131071996
[pid=893684] ppid=893681 vsize=9928 memory=2788 CPUtime=0 cores=0,2
/proc/893684/stat : 893684 (run-glibc-2.34.) S 893681 893684 890520 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 169006447 10166272 697 134679101440 94312286932992 94312288012312 140728306838544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94312290110768 94312290157956 94312310304768 140728306840523 140728306840668 140728306840668 140728306847683 0
/proc/893684/statm: 2482 697 617 264 0 133 0
[pid=893686] ppid=893684 vsize=111432 memory=28444 CPUtime=0.08 cores=0,2
/proc/893686/stat : 893686 (ld-linux-x86-64) R 893684 893684 890520 0 -1 4194304 5633 0 0 0 8 0 0 0 20 0 1 0 169006447 114106368 7111 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 0 0 0 0 0 17 2 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
/proc/893686/statm: 27858 7111 1627 46 0 8473 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 121360 KiB
Current children cumulated memory: 31232 KiB

[startup+0.206521 s]*
/proc/loadavg: 4.16 4.10 4.05 5/264 893686
/proc/meminfo: memFree=127424448/131524600 swapFree=131071996/131071996
[pid=893684] ppid=893681 vsize=9928 memory=2788 CPUtime=0 cores=0,2
/proc/893684/stat : 893684 (run-glibc-2.34.) S 893681 893684 890520 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 169006447 10166272 697 134679101440 94312286932992 94312288012312 140728306838544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94312290110768 94312290157956 94312310304768 140728306840523 140728306840668 140728306840668 140728306847683 0
/proc/893684/statm: 2482 697 617 264 0 133 0
[pid=893686] ppid=893684 vsize=122128 memory=39100 CPUtime=0.19 cores=0,2
/proc/893686/stat : 893686 (ld-linux-x86-64) R 893684 893684 890520 0 -1 4194304 7790 0 0 0 18 1 0 0 20 0 1 0 169006447 125059072 9775 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
/proc/893686/statm: 30532 9775 1627 46 0 11147 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 132056 KiB
Current children cumulated memory: 41888 KiB

[startup+0.305598 s]*
/proc/loadavg: 4.16 4.10 4.05 5/264 893686
/proc/meminfo: memFree=127410164/131524600 swapFree=131071996/131071996
[pid=893684] ppid=893681 vsize=9928 memory=2788 CPUtime=0 cores=0,2
/proc/893684/stat : 893684 (run-glibc-2.34.) S 893681 893684 890520 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 169006447 10166272 697 134679101440 94312286932992 94312288012312 140728306838544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94312290110768 94312290157956 94312310304768 140728306840523 140728306840668 140728306840668 140728306847683 0
/proc/893684/statm: 2482 697 617 264 0 133 0
[pid=893686] ppid=893684 vsize=134556 memory=53588 CPUtime=0.29 cores=0,2
/proc/893686/stat : 893686 (ld-linux-x86-64) R 893684 893684 890520 0 -1 4194304 10832 0 0 0 26 3 0 0 20 0 1 0 169006447 137785344 13397 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
/proc/893686/statm: 33639 13397 1707 46 0 14254 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 144484 KiB
Current children cumulated memory: 56376 KiB

[startup+0.700241 s]
/proc/loadavg: 4.16 4.10 4.05 5/264 893686
/proc/meminfo: memFree=127383248/131524600 swapFree=131071996/131071996
[pid=893684] ppid=893681 vsize=9928 memory=2788 CPUtime=0 cores=0,2
/proc/893684/stat : 893684 (run-glibc-2.34.) S 893681 893684 890520 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 169006447 10166272 697 134679101440 94312286932992 94312288012312 140728306838544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94312290110768 94312290157956 94312310304768 140728306840523 140728306840668 140728306840668 140728306847683 0
/proc/893684/statm: 2482 697 617 264 0 133 0
[pid=893686] ppid=893684 vsize=184944 memory=103044 CPUtime=0.68 cores=0,2
/proc/893686/stat : 893686 (ld-linux-x86-64) R 893684 893684 890520 0 -1 4194304 20114 0 0 0 49 19 0 0 20 0 1 0 169006447 189382656 25761 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
/proc/893686/statm: 46236 25761 1707 46 0 26851 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 194872 KiB
Current children cumulated memory: 105832 KiB

[startup+1.50024 s]
/proc/loadavg: 4.16 4.10 4.05 5/265 893687
/proc/meminfo: memFree=127298704/131524600 swapFree=131071996/131071996
[pid=893684] ppid=893681 vsize=9928 memory=2788 CPUtime=0 cores=0,2
/proc/893684/stat : 893684 (run-glibc-2.34.) S 893681 893684 890520 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 169006447 10166272 697 134679101440 94312286932992 94312288012312 140728306838544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94312290110768 94312290157956 94312310304768 140728306840523 140728306840668 140728306840668 140728306847683 0
/proc/893684/statm: 2482 697 617 264 0 133 0
[pid=893686] ppid=893684 vsize=309352 memory=185892 CPUtime=1.48 cores=0,2
/proc/893686/stat : 893686 (ld-linux-x86-64) R 893684 893684 890520 0 -1 4194304 35902 0 0 0 102 46 0 0 20 0 2 0 169006447 316776448 46473 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
/proc/893686/statm: 77338 46473 2676 46 0 49933 0
[pid=893686/tid=893687] ppid=893684 vsize=309352 memory=12304 CPUtime=0 cores=0,2
/proc/893686/task/893687/stat : 893687 (ld-linux-x86-64) S 893684 893684 890520 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 169006520 316776448 46473 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 319280 KiB
Current children cumulated memory: 188680 KiB

[startup+3.10559 s]
/proc/loadavg: 4.16 4.10 4.05 5/265 893687
/proc/meminfo: memFree=127212960/131524600 swapFree=131071996/131071996
[pid=893684] ppid=893681 vsize=9928 memory=2788 CPUtime=0 cores=0,2
/proc/893684/stat : 893684 (run-glibc-2.34.) S 893681 893684 890520 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 169006447 10166272 697 134679101440 94312286932992 94312288012312 140728306838544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94312290110768 94312290157956 94312310304768 140728306840523 140728306840668 140728306840668 140728306847683 0
/proc/893684/statm: 2482 697 617 264 0 133 0
[pid=893686] ppid=893684 vsize=508204 memory=335708 CPUtime=3.06 cores=0,2
/proc/893686/stat : 893686 (ld-linux-x86-64) R 893684 893684 890520 0 -1 4194304 89305 0 0 0 206 100 0 0 20 0 2 0 169006447 520400896 83927 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
/proc/893686/statm: 127051 83927 3098 46 0 99646 0
[pid=893686/tid=893687] ppid=893684 vsize=508204 memory=0 CPUtime=0 cores=0,2
/proc/893686/task/893687/stat : 893687 (ld-linux-x86-64) S 893684 893684 890520 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 2 0 169006520 520400896 83927 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 518132 KiB
Current children cumulated memory: 338496 KiB

[startup+6.30027 s]
/proc/loadavg: 4.15 4.10 4.05 5/265 893689
/proc/meminfo: memFree=127031756/131524600 swapFree=131071996/131071996
[pid=893684] ppid=893681 vsize=9928 memory=2788 CPUtime=0 cores=0,2
/proc/893684/stat : 893684 (run-glibc-2.34.) S 893681 893684 890520 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 169006447 10166272 697 134679101440 94312286932992 94312288012312 140728306838544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94312290110768 94312290157956 94312310304768 140728306840523 140728306840668 140728306840668 140728306847683 0
/proc/893684/statm: 2482 697 617 264 0 133 0
[pid=893686] ppid=893684 vsize=550276 memory=412044 CPUtime=6.24 cores=0,2
/proc/893686/stat : 893686 (ld-linux-x86-64) R 893684 893684 890520 0 -1 4194304 114014 0 0 0 521 103 0 0 20 0 2 0 169006447 563482624 103011 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
/proc/893686/statm: 137569 103011 3205 46 0 110164 0
[pid=893686/tid=893687] ppid=893684 vsize=550276 memory=2788 CPUtime=0 cores=0,2
/proc/893686/task/893687/stat : 893687 (ld-linux-x86-64) S 893684 893684 890520 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 2 0 169006520 563482624 103011 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 560204 KiB
Current children cumulated memory: 414832 KiB

[startup+12.7003 s]
/proc/loadavg: 4.22 4.12 4.06 5/265 893689
/proc/meminfo: memFree=127026508/131524600 swapFree=131071996/131071996
[pid=893684] ppid=893681 vsize=9928 memory=2788 CPUtime=0 cores=0,2
/proc/893684/stat : 893684 (run-glibc-2.34.) S 893681 893684 890520 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 169006447 10166272 697 134679101440 94312286932992 94312288012312 140728306838544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94312290110768 94312290157956 94312310304768 140728306840523 140728306840668 140728306840668 140728306847683 0
/proc/893684/statm: 2482 697 617 264 0 133 0
[pid=893686] ppid=893684 vsize=550276 memory=413096 CPUtime=12.63 cores=0,2
/proc/893686/stat : 893686 (ld-linux-x86-64) R 893684 893684 890520 0 -1 4194304 128688 0 0 0 1158 105 0 0 20 0 2 0 169006447 563482624 103274 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
/proc/893686/statm: 137569 103274 3205 46 0 110164 0
[pid=893686/tid=893687] ppid=893684 vsize=550276 memory=2788 CPUtime=0 cores=0,2
/proc/893686/task/893687/stat : 893687 (ld-linux-x86-64) S 893684 893684 890520 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 2 0 169006520 563482624 103274 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 560204 KiB
Current children cumulated memory: 415884 KiB

[startup+25.5003 s]
/proc/loadavg: 4.17 4.11 4.05 5/265 893690
/proc/meminfo: memFree=126989000/131524600 swapFree=131071996/131071996
[pid=893684] ppid=893681 vsize=9928 memory=2788 CPUtime=0 cores=0,2
/proc/893684/stat : 893684 (run-glibc-2.34.) S 893681 893684 890520 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 169006447 10166272 697 134679101440 94312286932992 94312288012312 140728306838544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94312290110768 94312290157956 94312310304768 140728306840523 140728306840668 140728306840668 140728306847683 0
/proc/893684/statm: 2482 697 617 264 0 133 0
[pid=893686] ppid=893684 vsize=550276 memory=413448 CPUtime=25.4 cores=0,2
/proc/893686/stat : 893686 (ld-linux-x86-64) R 893684 893684 890520 0 -1 4194304 149913 0 0 0 2433 107 0 0 20 0 2 0 169006447 563482624 103362 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
/proc/893686/statm: 137569 103362 3205 46 0 110164 0
[pid=893686/tid=893687] ppid=893684 vsize=550276 memory=2788 CPUtime=0.02 cores=0,2
/proc/893686/task/893687/stat : 893687 (ld-linux-x86-64) S 893684 893684 890520 0 -1 1077936192 14 0 0 0 1 1 0 0 20 0 2 0 169006520 563482624 103362 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 560204 KiB
Current children cumulated memory: 416236 KiB

[startup+51.1056 s]
/proc/loadavg: 4.23 4.13 4.06 5/265 893695
/proc/meminfo: memFree=126640704/131524600 swapFree=131071996/131071996
[pid=893684] ppid=893681 vsize=9928 memory=2788 CPUtime=0 cores=0,2
/proc/893684/stat : 893684 (run-glibc-2.34.) S 893681 893684 890520 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 169006447 10166272 697 134679101440 94312286932992 94312288012312 140728306838544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94312290110768 94312290157956 94312310304768 140728306840523 140728306840668 140728306840668 140728306847683 0
/proc/893684/statm: 2482 697 617 264 0 133 0
[pid=893686] ppid=893684 vsize=936084 memory=743792 CPUtime=50.91 cores=0,2
/proc/893686/stat : 893686 (ld-linux-x86-64) R 893684 893684 890520 0 -1 4194304 293197 0 0 0 4963 128 0 0 20 0 2 0 169006447 958550016 185948 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
/proc/893686/statm: 234021 185948 3706 46 0 206616 0
[pid=893686/tid=893687] ppid=893684 vsize=936084 memory=2788 CPUtime=0.03 cores=0,2
/proc/893686/task/893687/stat : 893687 (ld-linux-x86-64) S 893684 893684 890520 0 -1 1077936192 23 0 0 0 1 2 0 0 20 0 2 0 169006520 958550016 185948 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 946012 KiB
Current children cumulated memory: 746580 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.13 4.06 5/265 893704
/proc/meminfo: memFree=126394372/131524600 swapFree=131071996/131071996
[pid=893684] ppid=893681 vsize=9928 memory=2788 CPUtime=0 cores=0,2
/proc/893684/stat : 893684 (run-glibc-2.34.) S 893681 893684 890520 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 169006447 10166272 697 134679101440 94312286932992 94312288012312 140728306838544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94312290110768 94312290157956 94312310304768 140728306840523 140728306840668 140728306840668 140728306847683 0
/proc/893684/statm: 2482 697 617 264 0 133 0
[pid=893686] ppid=893684 vsize=1213640 memory=962236 CPUtime=101.98 cores=0,2
/proc/893686/stat : 893686 (ld-linux-x86-64) R 893684 893684 890520 0 -1 4194304 581278 0 0 0 10017 181 0 0 20 0 2 0 169006447 1242767360 240559 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
/proc/893686/statm: 303410 240559 3942 46 0 276005 0
[pid=893686/tid=893687] ppid=893684 vsize=1213640 memory=2788 CPUtime=0.08 cores=0,2
/proc/893686/task/893687/stat : 893687 (ld-linux-x86-64) S 893684 893684 890520 0 -1 1077936192 27 0 0 0 3 5 0 0 20 0 2 0 169006520 1242767360 240559 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1223568 KiB
Current children cumulated memory: 965024 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/265 893714
/proc/meminfo: memFree=126304660/131524600 swapFree=131071996/131071996
[pid=893684] ppid=893681 vsize=9928 memory=2788 CPUtime=0 cores=0,2
/proc/893684/stat : 893684 (run-glibc-2.34.) S 893681 893684 890520 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 169006447 10166272 697 134679101440 94312286932992 94312288012312 140728306838544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94312290110768 94312290157956 94312310304768 140728306840523 140728306840668 140728306840668 140728306847683 0
/proc/893684/statm: 2482 697 617 264 0 133 0
[pid=893686] ppid=893684 vsize=1221216 memory=1029936 CPUtime=161.83 cores=0,2
/proc/893686/stat : 893686 (ld-linux-x86-64) R 893684 893684 890520 0 -1 4194304 630159 0 0 0 15993 190 0 0 20 0 2 0 169006447 1250525184 257484 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
/proc/893686/statm: 305304 257484 3942 46 0 277899 0

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

[startup+3222.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/266 895453
/proc/meminfo: memFree=124332588/131524600 swapFree=131071996/131071996
[pid=893684] ppid=893681 vsize=9928 memory=2788 CPUtime=0 cores=0,2
/proc/893684/stat : 893684 (run-glibc-2.34.) S 893681 893684 890520 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 169006447 10166272 697 134679101440 94312286932992 94312288012312 140728306838544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94312290110768 94312290157956 94312310304768 140728306840523 140728306840668 140728306840668 140728306847683 0
/proc/893684/statm: 2482 697 617 264 0 133 0
[pid=893686] ppid=893684 vsize=1846256 memory=1670156 CPUtime=3214.48 cores=0,2
/proc/893686/stat : 893686 (ld-linux-x86-64) R 893684 893684 890520 0 -1 4194304 1948856 0 0 0 320840 608 0 0 20 0 2 0 169006447 1890566144 417539 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
/proc/893686/statm: 461564 417539 3942 46 0 434159 0
[pid=893686/tid=893687] ppid=893684 vsize=1846256 memory=2788 CPUtime=3.57 cores=0,2
/proc/893686/task/893687/stat : 893687 (ld-linux-x86-64) S 893684 893684 890520 0 -1 1077936192 127 0 0 0 132 225 0 0 20 0 2 0 169006520 1890566144 417539 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
Current children cumulated CPU time: 3214.48 s
Current children cumulated vsize: 1856184 KiB
Current children cumulated memory: 1672944 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.15 4.13 5/266 895463
/proc/meminfo: memFree=124303868/131524600 swapFree=131071996/131071996
[pid=893684] ppid=893681 vsize=9928 memory=2788 CPUtime=0 cores=0,2
/proc/893684/stat : 893684 (run-glibc-2.34.) S 893681 893684 890520 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 169006447 10166272 697 134679101440 94312286932992 94312288012312 140728306838544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94312290110768 94312290157956 94312310304768 140728306840523 140728306840668 140728306840668 140728306847683 0
/proc/893684/statm: 2482 697 617 264 0 133 0
[pid=893686] ppid=893684 vsize=1922104 memory=1665040 CPUtime=3274.35 cores=0,2
/proc/893686/stat : 893686 (ld-linux-x86-64) R 893684 893684 890520 0 -1 4194304 1949783 0 0 0 326821 614 0 0 20 0 2 0 169006447 1968234496 416260 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
/proc/893686/statm: 480526 416260 3942 46 0 453121 0
[pid=893686/tid=893687] ppid=893684 vsize=1922104 memory=2788 CPUtime=3.65 cores=0,2
/proc/893686/task/893687/stat : 893687 (ld-linux-x86-64) S 893684 893684 890520 0 -1 1077936192 128 0 0 0 135 230 0 0 20 0 2 0 169006520 1968234496 416260 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
Current children cumulated CPU time: 3274.35 s
Current children cumulated vsize: 1932032 KiB
Current children cumulated memory: 1667828 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.15 4.13 5/264 895474
/proc/meminfo: memFree=124278932/131524600 swapFree=131071996/131071996
[pid=893684] ppid=893681 vsize=9928 memory=2788 CPUtime=0 cores=0,2
/proc/893684/stat : 893684 (run-glibc-2.34.) S 893681 893684 890520 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 169006447 10166272 697 134679101440 94312286932992 94312288012312 140728306838544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94312290110768 94312290157956 94312310304768 140728306840523 140728306840668 140728306840668 140728306847683 0
/proc/893684/statm: 2482 697 617 264 0 133 0
[pid=893686] ppid=893684 vsize=1922104 memory=1669136 CPUtime=3334.24 cores=0,2
/proc/893686/stat : 893686 (ld-linux-x86-64) R 893684 893684 890520 0 -1 4194304 1950348 0 0 0 332805 619 0 0 20 0 2 0 169006447 1968234496 417284 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
/proc/893686/statm: 480526 417284 3942 46 0 453121 0
[pid=893686/tid=893687] ppid=893684 vsize=1922104 memory=2328 CPUtime=3.72 cores=0,2
/proc/893686/task/893687/stat : 893687 (ld-linux-x86-64) S 893684 893684 890520 0 -1 1077936192 130 0 0 0 138 234 0 0 20 0 2 0 169006520 1968234496 417284 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
Current children cumulated CPU time: 3334.24 s
Current children cumulated vsize: 1932032 KiB
Current children cumulated memory: 1671924 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.15 4.13 5/264 895485
/proc/meminfo: memFree=124251944/131524600 swapFree=131071996/131071996
[pid=893684] ppid=893681 vsize=9928 memory=2788 CPUtime=0 cores=0,2
/proc/893684/stat : 893684 (run-glibc-2.34.) S 893681 893684 890520 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 169006447 10166272 697 134679101440 94312286932992 94312288012312 140728306838544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94312290110768 94312290157956 94312310304768 140728306840523 140728306840668 140728306840668 140728306847683 0
/proc/893684/statm: 2482 697 617 264 0 133 0
[pid=893686] ppid=893684 vsize=1922104 memory=1673232 CPUtime=3394.12 cores=0,2
/proc/893686/stat : 893686 (ld-linux-x86-64) R 893684 893684 890520 0 -1 4194304 1950950 0 0 0 338786 626 0 0 20 0 2 0 169006447 1968234496 418308 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
/proc/893686/statm: 480526 418308 3942 46 0 453121 0
[pid=893686/tid=893687] ppid=893684 vsize=1922104 memory=12304 CPUtime=3.79 cores=0,2
/proc/893686/task/893687/stat : 893687 (ld-linux-x86-64) S 893684 893684 890520 0 -1 1077936192 132 0 0 0 141 238 0 0 20 0 2 0 169006520 1968234496 418308 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
Current children cumulated CPU time: 3394.12 s
Current children cumulated vsize: 1932032 KiB
Current children cumulated memory: 1676020 KiB

[startup+3462.3 s]
/proc/loadavg: 4.37 4.23 4.16 5/263 895495
/proc/meminfo: memFree=124213636/131524600 swapFree=131071996/131071996
[pid=893684] ppid=893681 vsize=9928 memory=2788 CPUtime=0 cores=0,2
/proc/893684/stat : 893684 (run-glibc-2.34.) S 893681 893684 890520 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 169006447 10166272 697 134679101440 94312286932992 94312288012312 140728306838544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94312290110768 94312290157956 94312310304768 140728306840523 140728306840668 140728306840668 140728306847683 0
/proc/893684/statm: 2482 697 617 264 0 133 0
[pid=893686] ppid=893684 vsize=1922104 memory=1677328 CPUtime=3454 cores=0,2
/proc/893686/stat : 893686 (ld-linux-x86-64) R 893684 893684 890520 0 -1 4194304 1951478 0 0 0 344769 631 0 0 20 0 2 0 169006447 1968234496 419332 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
/proc/893686/statm: 480526 419332 3942 46 0 453121 0
[pid=893686/tid=893687] ppid=893684 vsize=1922104 memory=2788 CPUtime=3.87 cores=0,2
/proc/893686/task/893687/stat : 893687 (ld-linux-x86-64) S 893684 893684 890520 0 -1 1077936192 133 0 0 0 144 243 0 0 20 0 2 0 169006520 1968234496 419332 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
Current children cumulated CPU time: 3454 s
Current children cumulated vsize: 1932032 KiB
Current children cumulated memory: 1680116 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.20 4.15 5/263 895505
/proc/meminfo: memFree=124188408/131524600 swapFree=131071996/131071996
[pid=893684] ppid=893681 vsize=9928 memory=2788 CPUtime=0 cores=0,2
/proc/893684/stat : 893684 (run-glibc-2.34.) S 893681 893684 890520 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 169006447 10166272 697 134679101440 94312286932992 94312288012312 140728306838544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94312290110768 94312290157956 94312310304768 140728306840523 140728306840668 140728306840668 140728306847683 0
/proc/893684/statm: 2482 697 617 264 0 133 0
[pid=893686] ppid=893684 vsize=1922104 memory=1679376 CPUtime=3513.88 cores=0,2
/proc/893686/stat : 893686 (ld-linux-x86-64) R 893684 893684 890520 0 -1 4194304 1952054 0 0 0 350752 636 0 0 20 0 2 0 169006447 1968234496 419844 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
/proc/893686/statm: 480526 419844 3942 46 0 453121 0
[pid=893686/tid=893687] ppid=893684 vsize=1922104 memory=1679376 CPUtime=3.93 cores=0,2
/proc/893686/task/893687/stat : 893687 (ld-linux-x86-64) S 893684 893684 890520 0 -1 1077936192 134 0 0 0 146 247 0 0 20 0 2 0 169006520 1968234496 419844 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
Current children cumulated CPU time: 3513.88 s
Current children cumulated vsize: 1932032 KiB
Current children cumulated memory: 1682164 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.19 4.15 5/265 895519
/proc/meminfo: memFree=124152960/131524600 swapFree=131071996/131071996
[pid=893684] ppid=893681 vsize=9928 memory=2788 CPUtime=0 cores=0,2
/proc/893684/stat : 893684 (run-glibc-2.34.) S 893681 893684 890520 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 169006447 10166272 697 134679101440 94312286932992 94312288012312 140728306838544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94312290110768 94312290157956 94312310304768 140728306840523 140728306840668 140728306840668 140728306847683 0
/proc/893684/statm: 2482 697 617 264 0 133 0
[pid=893686] ppid=893684 vsize=1922104 memory=1685520 CPUtime=3573.76 cores=0,2
/proc/893686/stat : 893686 (ld-linux-x86-64) R 893684 893684 890520 0 -1 4194304 1952652 0 0 0 356735 641 0 0 20 0 2 0 169006447 1968234496 421380 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
/proc/893686/statm: 480526 421380 3942 46 0 453121 0
[pid=893686/tid=893687] ppid=893684 vsize=1922104 memory=2788 CPUtime=4 cores=0,2
/proc/893686/task/893687/stat : 893687 (ld-linux-x86-64) S 893684 893684 890520 0 -1 1077936192 136 0 0 0 149 251 0 0 20 0 2 0 169006520 1968234496 421380 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
Current children cumulated CPU time: 3573.76 s
Current children cumulated vsize: 1932032 KiB
Current children cumulated memory: 1688308 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.7 s]
/proc/loadavg: 4.11 4.17 4.14 5/265 895620
/proc/meminfo: memFree=124451900/131524600 swapFree=131071996/131071996
[pid=893684] ppid=893681 vsize=9928 memory=2788 CPUtime=0 cores=0,2
/proc/893684/stat : 893684 (run-glibc-2.34.) S 893681 893684 890520 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 169006447 10166272 697 134679101440 94312286932992 94312288012312 140728306838544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94312290110768 94312290157956 94312310304768 140728306840523 140728306840668 140728306840668 140728306847683 0
/proc/893684/statm: 2482 697 617 264 0 133 0
[pid=893686] ppid=893684 vsize=1922104 memory=1687568 CPUtime=3600.09 cores=0,2
/proc/893686/stat : 893686 (ld-linux-x86-64) R 893684 893684 890520 0 -1 4194304 1953066 0 0 0 359365 644 0 0 20 0 2 0 169006447 1968234496 421892 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
/proc/893686/statm: 480526 421892 3942 46 0 453121 0
[pid=893686/tid=893687] ppid=893684 vsize=1922104 memory=12304 CPUtime=4.04 cores=0,2
/proc/893686/task/893687/stat : 893687 (ld-linux-x86-64) S 893684 893684 890520 0 -1 1077936192 136 0 0 0 150 254 0 0 20 0 2 0 169006520 1968234496 421892 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1932032 KiB
Current children cumulated memory: 1690356 KiB

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

[startup+3608.71 s]
# the end of solver process 893684 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.001488 s

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

# cumulated CPU time of all completed processes:  user=3593.66 s, system=6.45242 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+3608.7 s]
/proc/loadavg: 4.11 4.17 4.14 5/265 895620
/proc/meminfo: memFree=124451900/131524600 swapFree=131071996/131071996
[pid=893684] ppid=893681 vsize=9928 memory=2788 CPUtime=0 cores=0,2
/proc/893684/stat : 893684 (run-glibc-2.34.) S 893681 893684 890520 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 169006447 10166272 697 134679101440 94312286932992 94312288012312 140728306838544 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94312290110768 94312290157956 94312310304768 140728306840523 140728306840668 140728306840668 140728306847683 0
/proc/893684/statm: 2482 697 617 264 0 133 0
[pid=893686] ppid=893684 vsize=1922104 memory=1687568 CPUtime=3600.09 cores=0,2
/proc/893686/stat : 893686 (ld-linux-x86-64) R 893684 893684 890520 0 -1 4194304 1953066 0 0 0 359365 644 0 0 20 0 2 0 169006447 1968234496 421892 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
/proc/893686/statm: 480526 421892 3942 46 0 453121 0
[pid=893686/tid=893687] ppid=893684 vsize=1922104 memory=12304 CPUtime=4.04 cores=0,2
/proc/893686/task/893687/stat : 893687 (ld-linux-x86-64) S 893684 893684 890520 0 -1 1077936192 136 0 0 0 150 254 0 0 20 0 2 0 169006520 1968234496 421892 134679101440 139873835761664 139873835949276 140731439102864 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139873838050176 139873838059624 93824993734656 140731439108963 140731439109115 140731439109115 140731439116210 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1932032 KiB
Current children cumulated memory: 1690356 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3608.71
CPU time (s): 3600.11
CPU user time (s): 3593.66
CPU system time (s): 6.45242
CPU usage (%): 99.7618
Max. virtual memory (cumulated for all children) (KiB): 2166036
Max. memory (cumulated for all children) (KiB): 1790880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.66
system time used= 6.45242
maximum resident set size= 1788092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1953269
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= 357342
involuntary context switches= 24659


# summary of solver processes directly reported to runsolver:
#   pid: 893684,893686
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3593.66
#   total CPU system time (s): 6.45242

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.1557 second user time and 19.7785 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-17 00:20:52
IDJOB=4431716
IDBENCH=158479
IDSOLVER=3056
FILE ID=nodeC018/4431716-1721168440
RUNJOBID= nodeC018-1721164841-890530
SLURM_JOB_ID= 7505786
Free space on /tmp= 889948 MiB

SOLVER NAME= IPBHS-GUROBI 2024-07-09
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay60.lin.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-4431716-1721168440/watcher-4431716-1721168440 -o /tmp/evaluation-result-4431716-1721168440/solver-4431716-1721168440 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721164841-890530 --watchdog 3760  run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431716-1721168440.opb

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

MD5SUM BENCH= fc1ceaa3d3fa0c232aeb6fc161f41804
RANDOM SEED=236269638

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		: 3661.986
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		: 3677.762
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		: 3671.904
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		: 3600.204
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		: 3670.393
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		: 3677.754
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		: 3600.984
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		: 3599.800
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:        127458608 kB
MemAvailable:   129648260 kB
Buffers:          414616 kB
Cached:          2591528 kB
SwapCached:            0 kB
Active:           796828 kB
Inactive:        2623664 kB
Active(anon):       1552 kB
Inactive(anon):   450188 kB
Active(file):     795276 kB
Inactive(file):  2173476 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            178348 kB
Writeback:             0 kB
AnonPages:        414512 kB
Mapped:           123764 kB
Shmem:             37720 kB
KReclaimable:     121448 kB
Slab:             235040 kB
SReclaimable:     121448 kB
SUnreclaim:       113592 kB
KernelStack:        4232 kB
PageTables:        10696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     890712 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63488 kB
HardwareCorrupted:     0 kB
AnonHugePages:    225280 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= 889892 MiB
End job on nodeC018 at 2024-07-17 01:21:01