Trace number 4431643

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

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_0null50mast_rapportOE2.0_TMAX180_K192_cod2.opb
MD5SUMccc767bd01ae3f57d23f9938eef5a5f9
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-250538
Best CPU time to get the best result obtained on this benchmark72002.3
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 1783
Biggest coefficient in the objective function 10946
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 10548534
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 10946
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 10548534
Number of bits of the biggest sum of numbers24
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 (60545 MiB free)
  memory of node 1: 64473 MiB (60525 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431643-1721154171/watcher-4431643-1721154171 -o /tmp/evaluation-result-4431643-1721154171/solver-4431643-1721154171 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721150572-867630 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431643-1721154171.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=869741, runsolver pid=869738

[startup+0.100086 s]*
/proc/loadavg: 4.28 4.13 4.10 5/264 869743
/proc/meminfo: memFree=123958436/131524600 swapFree=131071996/131071996
[pid=869741] ppid=869738 vsize=9928 memory=2692 CPUtime=0 cores=0,2
/proc/869741/stat : 869741 (run-glibc-2.34.) S 869738 869741 867620 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167580967 10166272 673 134679101440 94381714018304 94381715097624 140730814343984 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94381717196080 94381717243268 94381739208704 140730814346187 140730814346332 140730814346332 140730814353347 0
/proc/869741/statm: 2482 673 593 264 0 133 0
[pid=869743] ppid=869741 vsize=104236 memory=24124 CPUtime=0.09 cores=0,2
/proc/869743/stat : 869743 (ld-linux-x86-64) R 869741 869741 867620 0 -1 4194304 5351 0 0 0 9 0 0 0 20 0 1 0 167580967 106737664 6031 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
/proc/869743/statm: 26059 6031 1599 46 0 6674 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 114164 KiB
Current children cumulated memory: 26816 KiB

[startup+0.205579 s]*
/proc/loadavg: 4.28 4.13 4.10 5/264 869743
/proc/meminfo: memFree=123939112/131524600 swapFree=131071996/131071996
[pid=869741] ppid=869738 vsize=9928 memory=2692 CPUtime=0 cores=0,2
/proc/869741/stat : 869741 (run-glibc-2.34.) S 869738 869741 867620 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167580967 10166272 673 134679101440 94381714018304 94381715097624 140730814343984 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94381717196080 94381717243268 94381739208704 140730814346187 140730814346332 140730814346332 140730814353347 0
/proc/869741/statm: 2482 673 593 264 0 133 0
[pid=869743] ppid=869741 vsize=129224 memory=44844 CPUtime=0.19 cores=0,2
/proc/869743/stat : 869743 (ld-linux-x86-64) R 869741 869741 867620 0 -1 4194304 10055 0 0 0 18 1 0 0 20 0 1 0 167580967 132325376 11211 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
/proc/869743/statm: 32306 11211 1599 46 0 12921 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 139152 KiB
Current children cumulated memory: 47536 KiB

[startup+0.305576 s]*
/proc/loadavg: 4.28 4.13 4.10 5/264 869743
/proc/meminfo: memFree=123923788/131524600 swapFree=131071996/131071996
[pid=869741] ppid=869738 vsize=9928 memory=2692 CPUtime=0 cores=0,2
/proc/869741/stat : 869741 (run-glibc-2.34.) S 869738 869741 867620 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167580967 10166272 673 134679101440 94381714018304 94381715097624 140730814343984 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94381717196080 94381717243268 94381739208704 140730814346187 140730814346332 140730814346332 140730814353347 0
/proc/869741/statm: 2482 673 593 264 0 133 0
[pid=869743] ppid=869741 vsize=140520 memory=58240 CPUtime=0.3 cores=0,2
/proc/869743/stat : 869743 (ld-linux-x86-64) R 869741 869741 867620 0 -1 4194304 12915 0 0 0 28 2 0 0 20 0 1 0 167580967 143892480 14560 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
/proc/869743/statm: 35130 14560 1599 46 0 15745 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 150448 KiB
Current children cumulated memory: 60932 KiB

[startup+0.700257 s]
/proc/loadavg: 4.26 4.13 4.10 5/264 869743
/proc/meminfo: memFree=123885968/131524600 swapFree=131071996/131071996
[pid=869741] ppid=869738 vsize=9928 memory=2692 CPUtime=0 cores=0,2
/proc/869741/stat : 869741 (run-glibc-2.34.) S 869738 869741 867620 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167580967 10166272 673 134679101440 94381714018304 94381715097624 140730814343984 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94381717196080 94381717243268 94381739208704 140730814346187 140730814346332 140730814346332 140730814353347 0
/proc/869741/statm: 2482 673 593 264 0 133 0
[pid=869743] ppid=869741 vsize=194468 memory=107112 CPUtime=0.68 cores=0,2
/proc/869743/stat : 869743 (ld-linux-x86-64) R 869741 869741 867620 0 -1 4194304 22054 0 0 0 64 4 0 0 20 0 1 0 167580967 199135232 26778 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
/proc/869743/statm: 48617 26778 1599 46 0 29232 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 204396 KiB
Current children cumulated memory: 109804 KiB

[startup+1.50026 s]
/proc/loadavg: 4.26 4.13 4.10 5/264 869743
/proc/meminfo: memFree=123816672/131524600 swapFree=131071996/131071996
[pid=869741] ppid=869738 vsize=9928 memory=2692 CPUtime=0 cores=0,2
/proc/869741/stat : 869741 (run-glibc-2.34.) S 869738 869741 867620 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167580967 10166272 673 134679101440 94381714018304 94381715097624 140730814343984 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94381717196080 94381717243268 94381739208704 140730814346187 140730814346332 140730814346332 140730814353347 0
/proc/869741/statm: 2482 673 593 264 0 133 0
[pid=869743] ppid=869741 vsize=328268 memory=238396 CPUtime=1.48 cores=0,2
/proc/869743/stat : 869743 (ld-linux-x86-64) R 869741 869741 867620 0 -1 4194304 37879 0 0 0 122 26 0 0 20 0 1 0 167580967 336146432 59599 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
/proc/869743/statm: 82067 59599 1727 46 0 62682 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 338196 KiB
Current children cumulated memory: 241088 KiB

[startup+3.10533 s]
/proc/loadavg: 4.26 4.13 4.10 5/265 869745
/proc/meminfo: memFree=123635552/131524600 swapFree=131071996/131071996
[pid=869741] ppid=869738 vsize=9928 memory=2692 CPUtime=0 cores=0,2
/proc/869741/stat : 869741 (run-glibc-2.34.) S 869738 869741 867620 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167580967 10166272 673 134679101440 94381714018304 94381715097624 140730814343984 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94381717196080 94381717243268 94381739208704 140730814346187 140730814346332 140730814346332 140730814353347 0
/proc/869741/statm: 2482 673 593 264 0 133 0
[pid=869743] ppid=869741 vsize=495972 memory=349320 CPUtime=3.08 cores=0,2
/proc/869743/stat : 869743 (ld-linux-x86-64) R 869741 869741 867620 0 -1 4194304 58492 0 0 0 272 36 0 0 20 0 2 0 167580967 507875328 87330 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
/proc/869743/statm: 123993 87330 2725 46 0 96588 0
[pid=869743/tid=869745] ppid=869741 vsize=495972 memory=0 CPUtime=0 cores=0,2
/proc/869743/task/869745/stat : 869745 (ld-linux-x86-64) S 869741 869741 867620 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 2 0 167581144 507875328 87330 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 505900 KiB
Current children cumulated memory: 352012 KiB

[startup+6.30017 s]
/proc/loadavg: 4.24 4.13 4.10 5/265 869745
/proc/meminfo: memFree=123635292/131524600 swapFree=131071996/131071996
[pid=869741] ppid=869738 vsize=9928 memory=2692 CPUtime=0 cores=0,2
/proc/869741/stat : 869741 (run-glibc-2.34.) S 869738 869741 867620 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167580967 10166272 673 134679101440 94381714018304 94381715097624 140730814343984 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94381717196080 94381717243268 94381739208704 140730814346187 140730814346332 140730814346332 140730814353347 0
/proc/869741/statm: 2482 673 593 264 0 133 0
[pid=869743] ppid=869741 vsize=495972 memory=349320 CPUtime=6.27 cores=0,2
/proc/869743/stat : 869743 (ld-linux-x86-64) R 869741 869741 867620 0 -1 4194304 58633 0 0 0 591 36 0 0 20 0 2 0 167580967 507875328 87330 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
/proc/869743/statm: 123993 87330 2725 46 0 96588 0
[pid=869743/tid=869745] ppid=869741 vsize=495972 memory=349320 CPUtime=0 cores=0,2
/proc/869743/task/869745/stat : 869745 (ld-linux-x86-64) S 869741 869741 867620 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 2 0 167581144 507875328 87330 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 505900 KiB
Current children cumulated memory: 352012 KiB

[startup+12.7002 s]
/proc/loadavg: 4.30 4.14 4.11 5/265 869747
/proc/meminfo: memFree=123290880/131524600 swapFree=131071996/131071996
[pid=869741] ppid=869738 vsize=9928 memory=2692 CPUtime=0 cores=0,2
/proc/869741/stat : 869741 (run-glibc-2.34.) S 869738 869741 867620 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167580967 10166272 673 134679101440 94381714018304 94381715097624 140730814343984 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94381717196080 94381717243268 94381739208704 140730814346187 140730814346332 140730814346332 140730814353347 0
/proc/869741/statm: 2482 673 593 264 0 133 0
[pid=869743] ppid=869741 vsize=683952 memory=528528 CPUtime=12.66 cores=0,2
/proc/869743/stat : 869743 (ld-linux-x86-64) R 869741 869741 867620 0 -1 4194304 156257 0 0 0 1213 53 0 0 20 0 2 0 167580967 700366848 132132 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
/proc/869743/statm: 170988 132132 3789 46 0 143583 0
[pid=869743/tid=869745] ppid=869741 vsize=683952 memory=11560 CPUtime=0 cores=0,2
/proc/869743/task/869745/stat : 869745 (ld-linux-x86-64) S 869741 869741 867620 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 2 0 167581144 700366848 132132 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 693880 KiB
Current children cumulated memory: 531220 KiB

[startup+25.5002 s]
/proc/loadavg: 4.25 4.14 4.10 5/265 869749
/proc/meminfo: memFree=123265204/131524600 swapFree=131071996/131071996
[pid=869741] ppid=869738 vsize=9928 memory=2692 CPUtime=0 cores=0,2
/proc/869741/stat : 869741 (run-glibc-2.34.) S 869738 869741 867620 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167580967 10166272 673 134679101440 94381714018304 94381715097624 140730814343984 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94381717196080 94381717243268 94381739208704 140730814346187 140730814346332 140730814346332 140730814353347 0
/proc/869741/statm: 2482 673 593 264 0 133 0
[pid=869743] ppid=869741 vsize=702920 memory=542592 CPUtime=25.44 cores=0,2
/proc/869743/stat : 869743 (ld-linux-x86-64) R 869741 869741 867620 0 -1 4194304 183777 0 0 0 2487 57 0 0 20 0 2 0 167580967 719790080 135648 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
/proc/869743/statm: 175730 135648 3789 46 0 148325 0
[pid=869743/tid=869745] ppid=869741 vsize=702920 memory=2692 CPUtime=0 cores=0,2
/proc/869743/task/869745/stat : 869745 (ld-linux-x86-64) S 869741 869741 867620 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 2 0 167581144 719790080 135648 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 712848 KiB
Current children cumulated memory: 545284 KiB

[startup+51.1055 s]
/proc/loadavg: 4.28 4.16 4.11 5/265 869752
/proc/meminfo: memFree=123091700/131524600 swapFree=131071996/131071996
[pid=869741] ppid=869738 vsize=9928 memory=2692 CPUtime=0 cores=0,2
/proc/869741/stat : 869741 (run-glibc-2.34.) S 869738 869741 867620 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167580967 10166272 673 134679101440 94381714018304 94381715097624 140730814343984 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94381717196080 94381717243268 94381739208704 140730814346187 140730814346332 140730814346332 140730814353347 0
/proc/869741/statm: 2482 673 593 264 0 133 0
[pid=869743] ppid=869741 vsize=782604 memory=612208 CPUtime=50.99 cores=0,2
/proc/869743/stat : 869743 (ld-linux-x86-64) R 869741 869741 867620 0 -1 4194304 233702 0 0 0 5030 69 0 0 20 0 2 0 167580967 801386496 153052 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
/proc/869743/statm: 195651 153052 3789 46 0 168246 0
[pid=869743/tid=869745] ppid=869741 vsize=782604 memory=607728 CPUtime=0.01 cores=0,2
/proc/869743/task/869745/stat : 869745 (ld-linux-x86-64) S 869741 869741 867620 0 -1 1077936192 28 0 0 0 0 1 0 0 20 0 2 0 167581144 801386496 153052 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 792532 KiB
Current children cumulated memory: 614900 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/264 869763
/proc/meminfo: memFree=122957360/131524600 swapFree=131071996/131071996
[pid=869741] ppid=869738 vsize=9928 memory=2692 CPUtime=0 cores=0,2
/proc/869741/stat : 869741 (run-glibc-2.34.) S 869738 869741 867620 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167580967 10166272 673 134679101440 94381714018304 94381715097624 140730814343984 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94381717196080 94381717243268 94381739208704 140730814346187 140730814346332 140730814346332 140730814353347 0
/proc/869741/statm: 2482 673 593 264 0 133 0
[pid=869743] ppid=869741 vsize=784276 memory=626164 CPUtime=102.08 cores=0,2
/proc/869743/stat : 869743 (ld-linux-x86-64) R 869741 869741 867620 0 -1 4194304 271997 0 0 0 10135 73 0 0 20 0 2 0 167580967 803098624 156541 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
/proc/869743/statm: 196069 156541 3789 46 0 168664 0
[pid=869743/tid=869745] ppid=869741 vsize=784276 memory=11560 CPUtime=0.03 cores=0,2
/proc/869743/task/869745/stat : 869745 (ld-linux-x86-64) S 869741 869741 867620 0 -1 1077936192 38 0 0 0 1 2 0 0 20 0 2 0 167581144 803098624 156541 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 794204 KiB
Current children cumulated memory: 628856 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/264 870160
/proc/meminfo: memFree=122862672/131524600 swapFree=131071996/131071996
[pid=869741] ppid=869738 vsize=9928 memory=2692 CPUtime=0 cores=0,2
/proc/869741/stat : 869741 (run-glibc-2.34.) S 869738 869741 867620 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167580967 10166272 673 134679101440 94381714018304 94381715097624 140730814343984 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94381717196080 94381717243268 94381739208704 140730814346187 140730814346332 140730814346332 140730814353347 0
/proc/869741/statm: 2482 673 593 264 0 133 0
[pid=869743] ppid=869741 vsize=785048 memory=628776 CPUtime=161.97 cores=0,2
/proc/869743/stat : 869743 (ld-linux-x86-64) R 869741 869741 867620 0 -1 4194304 305031 0 0 0 16119 78 0 0 20 0 2 0 167580967 803889152 157194 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
/proc/869743/statm: 196262 157194 3789 46 0 168857 0
[pid=869743/tid=869745] ppid=869741 vsize=785048 memory=2692 CPUtime=0.06 cores=0,2

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

[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/262 871564
/proc/meminfo: memFree=115235140/131524600 swapFree=131071996/131071996
[pid=869741] ppid=869738 vsize=9928 memory=2692 CPUtime=0 cores=0,2
/proc/869741/stat : 869741 (run-glibc-2.34.) S 869738 869741 867620 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167580967 10166272 673 134679101440 94381714018304 94381715097624 140730814343984 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94381717196080 94381717243268 94381739208704 140730814346187 140730814346332 140730814346332 140730814353347 0
/proc/869741/statm: 2482 673 593 264 0 133 0
[pid=869743] ppid=869741 vsize=4003304 memory=3235504 CPUtime=3215.86 cores=0,2
/proc/869743/stat : 869743 (ld-linux-x86-64) R 869741 869741 867620 0 -1 4194304 8534834 0 0 0 320215 1371 0 0 20 0 2 0 167580967 4099383296 808876 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
/proc/869743/statm: 1000826 808876 3835 46 0 973421 0
[pid=869743/tid=869745] ppid=869741 vsize=4003304 memory=3179752 CPUtime=1.38 cores=0,2
/proc/869743/task/869745/stat : 869745 (ld-linux-x86-64) S 869741 869741 867620 0 -1 1077936192 230 0 0 0 42 96 0 0 20 0 2 0 167581144 4099383296 808876 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
Current children cumulated CPU time: 3215.86 s
Current children cumulated vsize: 4013232 KiB
Current children cumulated memory: 3238196 KiB

[startup+3282.3 s]
/proc/loadavg: 4.33 4.18 4.12 5/262 871576
/proc/meminfo: memFree=115130660/131524600 swapFree=131071996/131071996
[pid=869741] ppid=869738 vsize=9928 memory=2692 CPUtime=0 cores=0,2
/proc/869741/stat : 869741 (run-glibc-2.34.) S 869738 869741 867620 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167580967 10166272 673 134679101440 94381714018304 94381715097624 140730814343984 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94381717196080 94381717243268 94381739208704 140730814346187 140730814346332 140730814346332 140730814353347 0
/proc/869741/statm: 2482 673 593 264 0 133 0
[pid=869743] ppid=869741 vsize=4018420 memory=3328080 CPUtime=3275.73 cores=0,2
/proc/869743/stat : 869743 (ld-linux-x86-64) R 869741 869741 867620 0 -1 4194304 8840405 0 0 0 326155 1418 0 0 20 0 2 0 167580967 4114862080 832020 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
/proc/869743/statm: 1004605 832020 3835 46 0 977200 0
[pid=869743/tid=869745] ppid=869741 vsize=4018420 memory=2692 CPUtime=1.41 cores=0,2
/proc/869743/task/869745/stat : 869745 (ld-linux-x86-64) S 869741 869741 867620 0 -1 1077936192 234 0 0 0 43 98 0 0 20 0 2 0 167581144 4114862080 832020 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
Current children cumulated CPU time: 3275.73 s
Current children cumulated vsize: 4028348 KiB
Current children cumulated memory: 3330772 KiB

[startup+3342.3 s]
/proc/loadavg: 4.39 4.23 4.14 5/262 871586
/proc/meminfo: memFree=115100036/131524600 swapFree=131071996/131071996
[pid=869741] ppid=869738 vsize=9928 memory=2692 CPUtime=0 cores=0,2
/proc/869741/stat : 869741 (run-glibc-2.34.) S 869738 869741 867620 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167580967 10166272 673 134679101440 94381714018304 94381715097624 140730814343984 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94381717196080 94381717243268 94381739208704 140730814346187 140730814346332 140730814346332 140730814353347 0
/proc/869741/statm: 2482 673 593 264 0 133 0
[pid=869743] ppid=869741 vsize=4018420 memory=3350888 CPUtime=3335.61 cores=0,2
/proc/869743/stat : 869743 (ld-linux-x86-64) R 869741 869741 867620 0 -1 4194304 8917767 0 0 0 332122 1439 0 0 20 0 2 0 167580967 4114862080 837722 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
/proc/869743/statm: 1004605 837722 3835 46 0 977200 0
[pid=869743/tid=869745] ppid=869741 vsize=4018420 memory=16152 CPUtime=1.44 cores=0,2
/proc/869743/task/869745/stat : 869745 (ld-linux-x86-64) S 869741 869741 867620 0 -1 1077936192 238 0 0 0 43 101 0 0 20 0 2 0 167581144 4114862080 837722 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
Current children cumulated CPU time: 3335.61 s
Current children cumulated vsize: 4028348 KiB
Current children cumulated memory: 3353580 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.22 4.14 5/262 871596
/proc/meminfo: memFree=115061956/131524600 swapFree=131071996/131071996
[pid=869741] ppid=869738 vsize=9928 memory=2692 CPUtime=0 cores=0,2
/proc/869741/stat : 869741 (run-glibc-2.34.) S 869738 869741 867620 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167580967 10166272 673 134679101440 94381714018304 94381715097624 140730814343984 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94381717196080 94381717243268 94381739208704 140730814346187 140730814346332 140730814346332 140730814353347 0
/proc/869741/statm: 2482 673 593 264 0 133 0
[pid=869743] ppid=869741 vsize=4018420 memory=3373340 CPUtime=3395.49 cores=0,2
/proc/869743/stat : 869743 (ld-linux-x86-64) R 869741 869741 867620 0 -1 4194304 9029923 0 0 0 338093 1456 0 0 20 0 2 0 167580967 4114862080 843335 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
/proc/869743/statm: 1004605 843335 3835 46 0 977200 0
[pid=869743/tid=869745] ppid=869741 vsize=4018420 memory=2692 CPUtime=1.47 cores=0,2
/proc/869743/task/869745/stat : 869745 (ld-linux-x86-64) S 869741 869741 867620 0 -1 1077936192 241 0 0 0 45 102 0 0 20 0 2 0 167581144 4114862080 843335 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
Current children cumulated CPU time: 3395.49 s
Current children cumulated vsize: 4028348 KiB
Current children cumulated memory: 3376032 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.19 4.14 5/264 871611
/proc/meminfo: memFree=115027532/131524600 swapFree=131071996/131071996
[pid=869741] ppid=869738 vsize=9928 memory=2692 CPUtime=0 cores=0,2
/proc/869741/stat : 869741 (run-glibc-2.34.) S 869738 869741 867620 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167580967 10166272 673 134679101440 94381714018304 94381715097624 140730814343984 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94381717196080 94381717243268 94381739208704 140730814346187 140730814346332 140730814346332 140730814353347 0
/proc/869741/statm: 2482 673 593 264 0 133 0
[pid=869743] ppid=869741 vsize=4018420 memory=3396124 CPUtime=3455.37 cores=0,2
/proc/869743/stat : 869743 (ld-linux-x86-64) R 869741 869741 867620 0 -1 4194304 9151800 0 0 0 344055 1482 0 0 20 0 2 0 167580967 4114862080 849031 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
/proc/869743/statm: 1004605 849031 3835 46 0 977200 0
[pid=869743/tid=869745] ppid=869741 vsize=4018420 memory=2692 CPUtime=1.49 cores=0,2
/proc/869743/task/869745/stat : 869745 (ld-linux-x86-64) S 869741 869741 867620 0 -1 1077936192 245 0 0 0 45 104 0 0 20 0 2 0 167581144 4114862080 849031 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
Current children cumulated CPU time: 3455.37 s
Current children cumulated vsize: 4028348 KiB
Current children cumulated memory: 3398816 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.17 4.13 5/264 871622
/proc/meminfo: memFree=114996732/131524600 swapFree=131071996/131071996
[pid=869741] ppid=869738 vsize=9928 memory=2692 CPUtime=0 cores=0,2
/proc/869741/stat : 869741 (run-glibc-2.34.) S 869738 869741 867620 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167580967 10166272 673 134679101440 94381714018304 94381715097624 140730814343984 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94381717196080 94381717243268 94381739208704 140730814346187 140730814346332 140730814346332 140730814353347 0
/proc/869741/statm: 2482 673 593 264 0 133 0
[pid=869743] ppid=869741 vsize=4018420 memory=3415416 CPUtime=3515.25 cores=0,2
/proc/869743/stat : 869743 (ld-linux-x86-64) R 869741 869741 867620 0 -1 4194304 9249229 0 0 0 350031 1494 0 0 20 0 2 0 167580967 4114862080 853854 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
/proc/869743/statm: 1004605 853854 3835 46 0 977200 0
[pid=869743/tid=869745] ppid=869741 vsize=4018420 memory=2692 CPUtime=1.52 cores=0,2
/proc/869743/task/869745/stat : 869745 (ld-linux-x86-64) S 869741 869741 867620 0 -1 1077936192 248 0 0 0 47 105 0 0 20 0 2 0 167581144 4114862080 853854 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
Current children cumulated CPU time: 3515.25 s
Current children cumulated vsize: 4028348 KiB
Current children cumulated memory: 3418108 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.17 4.13 5/264 871633
/proc/meminfo: memFree=114966612/131524600 swapFree=131071996/131071996
[pid=869741] ppid=869738 vsize=9928 memory=2692 CPUtime=0 cores=0,2
/proc/869741/stat : 869741 (run-glibc-2.34.) S 869738 869741 867620 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167580967 10166272 673 134679101440 94381714018304 94381715097624 140730814343984 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94381717196080 94381717243268 94381739208704 140730814346187 140730814346332 140730814346332 140730814353347 0
/proc/869741/statm: 2482 673 593 264 0 133 0
[pid=869743] ppid=869741 vsize=4018420 memory=3433320 CPUtime=3575.12 cores=0,2
/proc/869743/stat : 869743 (ld-linux-x86-64) R 869741 869741 867620 0 -1 4194304 9407443 0 0 0 355969 1543 0 0 20 0 2 0 167580967 4114862080 858330 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
/proc/869743/statm: 1004605 858330 3835 46 0 977200 0
[pid=869743/tid=869745] ppid=869741 vsize=4018420 memory=3430752 CPUtime=1.54 cores=0,2
/proc/869743/task/869745/stat : 869745 (ld-linux-x86-64) S 869741 869741 867620 0 -1 1077936192 251 0 0 0 47 107 0 0 20 0 2 0 167581144 4114862080 858330 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
Current children cumulated CPU time: 3575.12 s
Current children cumulated vsize: 4028348 KiB
Current children cumulated memory: 3436012 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.3 s]
/proc/loadavg: 4.09 4.15 4.13 5/262 871731
/proc/meminfo: memFree=119454824/131524600 swapFree=131071996/131071996
[pid=869741] ppid=869738 vsize=9928 memory=2692 CPUtime=0 cores=0,2
/proc/869741/stat : 869741 (run-glibc-2.34.) S 869738 869741 867620 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167580967 10166272 673 134679101440 94381714018304 94381715097624 140730814343984 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94381717196080 94381717243268 94381739208704 140730814346187 140730814346332 140730814346332 140730814353347 0
/proc/869741/statm: 2482 673 593 264 0 133 0
[pid=869743] ppid=869741 vsize=4018420 memory=3434188 CPUtime=3600.07 cores=0,2
/proc/869743/stat : 869743 (ld-linux-x86-64) R 869741 869741 867620 0 -1 4194304 9508785 0 0 0 358452 1555 0 0 20 0 2 0 167580967 4114862080 858547 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
/proc/869743/statm: 1004605 858547 3835 46 0 977200 0
[pid=869743/tid=869745] ppid=869741 vsize=4018420 memory=2692 CPUtime=1.56 cores=0,2
/proc/869743/task/869745/stat : 869745 (ld-linux-x86-64) S 869741 869741 867620 0 -1 1077936192 255 0 0 0 48 108 0 0 20 0 2 0 167581144 4114862080 858547 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 4028348 KiB
Current children cumulated memory: 3436880 KiB

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

[startup+3607.31 s]
# the end of solver process 869741 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.001515 s

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

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

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

[startup+3607.3 s]
/proc/loadavg: 4.09 4.15 4.13 5/262 871731
/proc/meminfo: memFree=119454824/131524600 swapFree=131071996/131071996
[pid=869741] ppid=869738 vsize=9928 memory=2692 CPUtime=0 cores=0,2
/proc/869741/stat : 869741 (run-glibc-2.34.) S 869738 869741 867620 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 167580967 10166272 673 134679101440 94381714018304 94381715097624 140730814343984 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94381717196080 94381717243268 94381739208704 140730814346187 140730814346332 140730814346332 140730814353347 0
/proc/869741/statm: 2482 673 593 264 0 133 0
[pid=869743] ppid=869741 vsize=4018420 memory=3434188 CPUtime=3600.07 cores=0,2
/proc/869743/stat : 869743 (ld-linux-x86-64) R 869741 869741 867620 0 -1 4194304 9508785 0 0 0 358452 1555 0 0 20 0 2 0 167580967 4114862080 858547 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
/proc/869743/statm: 1004605 858547 3835 46 0 977200 0
[pid=869743/tid=869745] ppid=869741 vsize=4018420 memory=2692 CPUtime=1.56 cores=0,2
/proc/869743/task/869745/stat : 869745 (ld-linux-x86-64) S 869741 869741 867620 0 -1 1077936192 255 0 0 0 48 108 0 0 20 0 2 0 167581144 4114862080 858547 134679101440 140634433183744 140634433371356 140727348485152 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140634435472256 140634435481704 93825017606144 140727348491107 140727348491259 140727348491259 140727348498354 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 4028348 KiB
Current children cumulated memory: 3436880 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3607.33
CPU time (s): 3600.1
CPU user time (s): 3584.53
CPU system time (s): 15.5758
CPU usage (%): 99.7998
Max. virtual memory (cumulated for all children) (KiB): 4028348
Max. memory (cumulated for all children) (KiB): 3436880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.53
system time used= 15.5758
maximum resident set size= 3434188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9508989
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= 357048
involuntary context switches= 24698


# summary of solver processes directly reported to runsolver:
#   pid: 869741,869743
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3584.53
#   total CPU system time (s): 15.5758

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01017 second user time and 16.289 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-16 20:23:04
IDJOB=4431643
IDBENCH=158030
IDSOLVER=3056
FILE ID=nodeC021/4431643-1721154171
RUNJOBID= nodeC021-1721150572-867630
SLURM_JOB_ID= 7505747
Free space on /tmp= 889848 MiB

SOLVER NAME= IPBHS-GUROBI 2024-07-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_fibo_0null50mast_rapportOE2.0_TMAX180_K192_cod2.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-4431643-1721154171/watcher-4431643-1721154171 -o /tmp/evaluation-result-4431643-1721154171/solver-4431643-1721154171 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721150572-867630 --watchdog 3760  run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431643-1721154171.opb

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

MD5SUM BENCH= ccc767bd01ae3f57d23f9938eef5a5f9
RANDOM SEED=1393178911

nodeC021.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		: 3675.534
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.42
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		: 3682.810
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.23
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.722
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.42
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.089
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.23
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		: 3675.300
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.42
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		: 3682.796
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.23
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		: 3601.632
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.42
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		: 3600.051
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.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123976304 kB
MemAvailable:   127634024 kB
Buffers:          429292 kB
Cached:          4026900 kB
SwapCached:            0 kB
Active:           866296 kB
Inactive:        5994160 kB
Active(anon):       1592 kB
Inactive(anon):  2440716 kB
Active(file):     864704 kB
Inactive(file):  3553444 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            211480 kB
Writeback:             0 kB
AnonPages:       2401492 kB
Mapped:           119900 kB
Shmem:             37720 kB
KReclaimable:     158792 kB
Slab:             273892 kB
SReclaimable:     158792 kB
SUnreclaim:       115100 kB
KernelStack:        4252 kB
PageTables:        14356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2767060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63520 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1783808 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:      256724 kB
DirectMap2M:    23633920 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 889676 MiB
End job on nodeC021 at 2024-07-16 21:23:11