Trace number 4431662

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.16 3607.53

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_4.opb
MD5SUM21308a801a9cbe43fb5a50efc40ff8ff
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5141383
Best CPU time to get the best result obtained on this benchmark66218.4
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14620
Total number of constraints21851
Number of constraints which are clauses170
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints21675
Minimum length of a constraint2
Maximum length of a constraint3570
Number of terms in the objective function 14365
Biggest coefficient in the objective function 169112377
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 146273936801
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 169112377
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 146273936801
Number of bits of the biggest sum of numbers38
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: 64059 MiB (62459 MiB free)
  memory of node 1: 64510 MiB (60570 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431662-1721131279/watcher-4431662-1721131279 -o /tmp/evaluation-result-4431662-1721131279/solver-4431662-1721131279 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721127684-841753 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431662-1721131279.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
Current StackSize limit: 8192 KiB

solver pid=843895, runsolver pid=843892

[startup+0.100291 s]*
/proc/loadavg: 4.32 4.29 4.24 5/253 843897
/proc/meminfo: memFree=125974996/131655788 swapFree=131071996/131071996
[pid=843895] ppid=843892 vsize=9928 memory=2852 CPUtime=0 cores=0,2
/proc/843895/stat : 843895 (run-glibc-2.34.) S 843892 843895 841743 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 165284935 10166272 713 134679101440 94620792963072 94620794042392 140729525231968 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94620796140848 94620796188036 94620816240640 140729525240779 140729525240924 140729525240924 140729525247939 0
/proc/843895/statm: 2482 713 632 264 0 133 0
[pid=843897] ppid=843895 vsize=97508 memory=17372 CPUtime=0.1 cores=0,2
/proc/843897/stat : 843897 (ld-linux-x86-64) R 843895 843895 841743 0 -1 4194304 3297 0 0 0 9 1 0 0 20 0 1 0 165284935 99848192 4343 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
/proc/843897/statm: 24377 4343 1727 46 0 4992 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 107436 KiB
Current children cumulated memory: 20224 KiB

[startup+0.213582 s]*
/proc/loadavg: 4.32 4.29 4.24 5/254 843898
/proc/meminfo: memFree=125951936/131655788 swapFree=131071996/131071996
[pid=843895] ppid=843892 vsize=9928 memory=2852 CPUtime=0 cores=0,2
/proc/843895/stat : 843895 (run-glibc-2.34.) S 843892 843895 841743 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 165284935 10166272 713 134679101440 94620792963072 94620794042392 140729525231968 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94620796140848 94620796188036 94620816240640 140729525240779 140729525240924 140729525240924 140729525247939 0
/proc/843895/statm: 2482 713 632 264 0 133 0
[pid=843897] ppid=843895 vsize=154016 memory=40420 CPUtime=0.21 cores=0,2
/proc/843897/stat : 843897 (ld-linux-x86-64) R 843895 843895 841743 0 -1 4194304 6618 0 0 0 18 3 0 0 20 0 2 0 165284935 157712384 10105 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
/proc/843897/statm: 38504 10105 2747 46 0 11099 0
[pid=843897/tid=843898] ppid=843895 vsize=154016 memory=3471202400344241230 CPUtime=0 cores=0,2
/proc/843897/task/843898/stat : 843898 (ld-linux-x86-64) R 843895 843895 841743 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 165284953 157712384 10105 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 163944 KiB
Current children cumulated memory: 43272 KiB

[startup+0.313331 s]*
/proc/loadavg: 4.32 4.29 4.24 5/254 843898
/proc/meminfo: memFree=125947276/131655788 swapFree=131071996/131071996
[pid=843895] ppid=843892 vsize=9928 memory=2852 CPUtime=0 cores=0,2
/proc/843895/stat : 843895 (run-glibc-2.34.) S 843892 843895 841743 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 165284935 10166272 713 134679101440 94620792963072 94620794042392 140729525231968 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94620796140848 94620796188036 94620816240640 140729525240779 140729525240924 140729525240924 140729525247939 0
/proc/843895/statm: 2482 713 632 264 0 133 0
[pid=843897] ppid=843895 vsize=158492 memory=44640 CPUtime=0.31 cores=0,2
/proc/843897/stat : 843897 (ld-linux-x86-64) R 843895 843895 841743 0 -1 4194304 7663 0 0 0 24 7 0 0 20 0 2 0 165284935 162295808 11160 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
/proc/843897/statm: 39623 11160 2747 46 0 12218 0
[pid=843897/tid=843898] ppid=843895 vsize=158492 memory=-8609969415025158243 CPUtime=0 cores=0,2
/proc/843897/task/843898/stat : 843898 (ld-linux-x86-64) S 843895 843895 841743 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 165284953 162295808 11160 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 168420 KiB
Current children cumulated memory: 47492 KiB

[startup+0.700392 s]
/proc/loadavg: 4.32 4.29 4.24 5/254 843898
/proc/meminfo: memFree=125929776/131655788 swapFree=131071996/131071996
[pid=843895] ppid=843892 vsize=9928 memory=2852 CPUtime=0 cores=0,2
/proc/843895/stat : 843895 (run-glibc-2.34.) S 843892 843895 841743 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 165284935 10166272 713 134679101440 94620792963072 94620794042392 140729525231968 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94620796140848 94620796188036 94620816240640 140729525240779 140729525240924 140729525240924 140729525247939 0
/proc/843895/statm: 2482 713 632 264 0 133 0
[pid=843897] ppid=843895 vsize=175608 memory=62208 CPUtime=0.68 cores=0,2
/proc/843897/stat : 843897 (ld-linux-x86-64) R 843895 843895 841743 0 -1 4194304 12344 0 0 0 58 10 0 0 20 0 2 0 165284935 179822592 15552 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
/proc/843897/statm: 43902 15552 3112 46 0 16497 0
[pid=843897/tid=843898] ppid=843895 vsize=175608 memory=0 CPUtime=0 cores=0,2
/proc/843897/task/843898/stat : 843898 (ld-linux-x86-64) S 843895 843895 841743 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 165284953 179822592 15552 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 185536 KiB
Current children cumulated memory: 65060 KiB

[startup+1.50037 s]
/proc/loadavg: 4.32 4.29 4.24 5/254 843898
/proc/meminfo: memFree=125896532/131655788 swapFree=131071996/131071996
[pid=843895] ppid=843892 vsize=9928 memory=2852 CPUtime=0 cores=0,2
/proc/843895/stat : 843895 (run-glibc-2.34.) S 843892 843895 841743 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 165284935 10166272 713 134679101440 94620792963072 94620794042392 140729525231968 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94620796140848 94620796188036 94620816240640 140729525240779 140729525240924 140729525240924 140729525247939 0
/proc/843895/statm: 2482 713 632 264 0 133 0
[pid=843897] ppid=843895 vsize=223400 memory=101920 CPUtime=1.49 cores=0,2
/proc/843897/stat : 843897 (ld-linux-x86-64) R 843895 843895 841743 0 -1 4194304 20012 0 0 0 137 12 0 0 20 0 2 0 165284935 228761600 25480 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
/proc/843897/statm: 55850 25480 3904 46 0 28445 0
[pid=843897/tid=843898] ppid=843895 vsize=223400 memory=101920 CPUtime=0 cores=0,2
/proc/843897/task/843898/stat : 843898 (ld-linux-x86-64) S 843895 843895 841743 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 165284953 228761600 25480 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 233328 KiB
Current children cumulated memory: 104772 KiB

[startup+3.11311 s]
/proc/loadavg: 4.29 4.28 4.24 5/254 843898
/proc/meminfo: memFree=125874556/131655788 swapFree=131071996/131071996
[pid=843895] ppid=843892 vsize=9928 memory=2852 CPUtime=0 cores=0,2
/proc/843895/stat : 843895 (run-glibc-2.34.) S 843892 843895 841743 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 165284935 10166272 713 134679101440 94620792963072 94620794042392 140729525231968 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94620796140848 94620796188036 94620816240640 140729525240779 140729525240924 140729525240924 140729525247939 0
/proc/843895/statm: 2482 713 632 264 0 133 0
[pid=843897] ppid=843895 vsize=240068 memory=118472 CPUtime=3.09 cores=0,2
/proc/843897/stat : 843897 (ld-linux-x86-64) R 843895 843895 841743 0 -1 4194304 29892 0 0 0 296 13 0 0 20 0 2 0 165284935 245829632 29618 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
/proc/843897/statm: 60017 29618 3935 46 0 32612 0
[pid=843897/tid=843898] ppid=843895 vsize=240068 memory=-8609969415025158243 CPUtime=0 cores=0,2
/proc/843897/task/843898/stat : 843898 (ld-linux-x86-64) S 843895 843895 841743 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 2 0 165284953 245829632 29618 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 249996 KiB
Current children cumulated memory: 121324 KiB

[startup+6.30037 s]
/proc/loadavg: 4.29 4.28 4.24 5/254 843898
/proc/meminfo: memFree=125867548/131655788 swapFree=131071996/131071996
[pid=843895] ppid=843892 vsize=9928 memory=2852 CPUtime=0 cores=0,2
/proc/843895/stat : 843895 (run-glibc-2.34.) S 843892 843895 841743 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 165284935 10166272 713 134679101440 94620792963072 94620794042392 140729525231968 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94620796140848 94620796188036 94620816240640 140729525240779 140729525240924 140729525240924 140729525247939 0
/proc/843895/statm: 2482 713 632 264 0 133 0
[pid=843897] ppid=843895 vsize=244920 memory=123392 CPUtime=6.27 cores=0,2
/proc/843897/stat : 843897 (ld-linux-x86-64) R 843895 843895 841743 0 -1 4194304 42287 0 0 0 609 18 0 0 20 0 2 0 165284935 250798080 30848 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
/proc/843897/statm: 61230 30848 3998 46 0 33825 0
[pid=843897/tid=843898] ppid=843895 vsize=244920 memory=121560 CPUtime=0 cores=0,2
/proc/843897/task/843898/stat : 843898 (ld-linux-x86-64) S 843895 843895 841743 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 2 0 165284953 250798080 30848 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 254848 KiB
Current children cumulated memory: 126244 KiB

[startup+12.7004 s]
/proc/loadavg: 4.33 4.29 4.24 6/254 843900
/proc/meminfo: memFree=125846276/131655788 swapFree=131071996/131071996
[pid=843895] ppid=843892 vsize=9928 memory=2852 CPUtime=0 cores=0,2
/proc/843895/stat : 843895 (run-glibc-2.34.) S 843892 843895 841743 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 165284935 10166272 713 134679101440 94620792963072 94620794042392 140729525231968 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94620796140848 94620796188036 94620816240640 140729525240779 140729525240924 140729525240924 140729525247939 0
/proc/843895/statm: 2482 713 632 264 0 133 0
[pid=843897] ppid=843895 vsize=244920 memory=123744 CPUtime=12.67 cores=0,2
/proc/843897/stat : 843897 (ld-linux-x86-64) R 843895 843895 841743 0 -1 4194304 47692 0 0 0 1189 78 0 0 20 0 2 0 165284935 250798080 30936 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
/proc/843897/statm: 61230 30936 3998 46 0 33825 0
[pid=843897/tid=843898] ppid=843895 vsize=244920 memory=11404 CPUtime=0 cores=0,2
/proc/843897/task/843898/stat : 843898 (ld-linux-x86-64) S 843895 843895 841743 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 2 0 165284953 250798080 30936 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 254848 KiB
Current children cumulated memory: 126596 KiB

[startup+25.5005 s]
/proc/loadavg: 4.28 4.28 4.24 5/254 843901
/proc/meminfo: memFree=125782372/131655788 swapFree=131071996/131071996
[pid=843895] ppid=843892 vsize=9928 memory=2852 CPUtime=0 cores=0,2
/proc/843895/stat : 843895 (run-glibc-2.34.) S 843892 843895 841743 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 165284935 10166272 713 134679101440 94620792963072 94620794042392 140729525231968 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94620796140848 94620796188036 94620816240640 140729525240779 140729525240924 140729525240924 140729525247939 0
/proc/843895/statm: 2482 713 632 264 0 133 0
[pid=843897] ppid=843895 vsize=247640 memory=126912 CPUtime=25.45 cores=0,2
/proc/843897/stat : 843897 (ld-linux-x86-64) R 843895 843895 841743 0 -1 4194304 55673 0 0 0 2349 196 0 0 20 0 2 0 165284935 253583360 31728 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
/proc/843897/statm: 61910 31728 3998 46 0 34505 0
[pid=843897/tid=843898] ppid=843895 vsize=247640 memory=2852 CPUtime=0.01 cores=0,2
/proc/843897/task/843898/stat : 843898 (ld-linux-x86-64) S 843895 843895 841743 0 -1 1077936192 24 0 0 0 0 1 0 0 20 0 2 0 165284953 253583360 31728 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 257568 KiB
Current children cumulated memory: 129764 KiB

[startup+51.1133 s]
/proc/loadavg: 4.26 4.27 4.24 5/254 843906
/proc/meminfo: memFree=125625084/131655788 swapFree=131071996/131071996
[pid=843895] ppid=843892 vsize=9928 memory=2852 CPUtime=0 cores=0,2
/proc/843895/stat : 843895 (run-glibc-2.34.) S 843892 843895 841743 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 165284935 10166272 713 134679101440 94620792963072 94620794042392 140729525231968 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94620796140848 94620796188036 94620816240640 140729525240779 140729525240924 140729525240924 140729525247939 0
/proc/843895/statm: 2482 713 632 264 0 133 0
[pid=843897] ppid=843895 vsize=259240 memory=135696 CPUtime=51.01 cores=0,2
/proc/843897/stat : 843897 (ld-linux-x86-64) R 843895 843895 841743 0 -1 4194304 71613 0 0 0 4662 439 0 0 20 0 2 0 165284935 265461760 33924 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
/proc/843897/statm: 64810 33924 3998 46 0 37405 0
[pid=843897/tid=843898] ppid=843895 vsize=259240 memory=133648 CPUtime=0.04 cores=0,2
/proc/843897/task/843898/stat : 843898 (ld-linux-x86-64) S 843895 843895 841743 0 -1 1077936192 39 0 0 0 1 3 0 0 20 0 2 0 165284953 265461760 33924 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 269168 KiB
Current children cumulated memory: 138548 KiB

[startup+102.3 s]
/proc/loadavg: 4.22 4.26 4.23 5/254 843914
/proc/meminfo: memFree=125302072/131655788 swapFree=131071996/131071996
[pid=843895] ppid=843892 vsize=9928 memory=2852 CPUtime=0 cores=0,2
/proc/843895/stat : 843895 (run-glibc-2.34.) S 843892 843895 841743 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 165284935 10166272 713 134679101440 94620792963072 94620794042392 140729525231968 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94620796140848 94620796188036 94620816240640 140729525240779 140729525240924 140729525240924 140729525247939 0
/proc/843895/statm: 2482 713 632 264 0 133 0
[pid=843897] ppid=843895 vsize=346560 memory=196772 CPUtime=102.12 cores=0,2
/proc/843897/stat : 843897 (ld-linux-x86-64) R 843895 843895 841743 0 -1 4194304 105552 0 0 0 9343 869 0 0 20 0 2 0 165284935 354877440 49193 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
/proc/843897/statm: 86640 49193 3998 46 0 59235 0
[pid=843897/tid=843898] ppid=843895 vsize=346560 memory=12556 CPUtime=0.1 cores=0,2
/proc/843897/task/843898/stat : 843898 (ld-linux-x86-64) S 843895 843895 841743 0 -1 1077936192 49 0 0 0 3 7 0 0 20 0 2 0 165284953 354877440 49193 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
Current children cumulated CPU time: 102.12 s
Current children cumulated vsize: 356488 KiB
Current children cumulated memory: 199624 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.22 4.22 5/254 843926
/proc/meminfo: memFree=123268624/131655788 swapFree=131071996/131071996

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

/proc/843897/statm: 5795658 4605640 4122 46 0 5768253 0
[pid=843897/tid=843898] ppid=843895 vsize=23182632 memory=2852 CPUtime=4.08 cores=0,2
/proc/843897/task/843898/stat : 843898 (ld-linux-x86-64) S 843895 843895 841743 0 -1 1077936192 276 0 0 0 124 284 0 0 20 0 2 0 165284953 23739015168 4605640 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
Current children cumulated CPU time: 3155.65 s
Current children cumulated vsize: 23192560 KiB
Current children cumulated memory: 18425412 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.18 5/252 845098
/proc/meminfo: memFree=91681468/131655788 swapFree=131071996/131071996
[pid=843895] ppid=843892 vsize=9928 memory=2852 CPUtime=0 cores=0,2
/proc/843895/stat : 843895 (run-glibc-2.34.) S 843892 843895 841743 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 165284935 10166272 713 134679101440 94620792963072 94620794042392 140729525231968 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94620796140848 94620796188036 94620816240640 140729525240779 140729525240924 140729525240924 140729525247939 0
/proc/843895/statm: 2482 713 632 264 0 133 0
[pid=843897] ppid=843895 vsize=23182632 memory=18423116 CPUtime=3215.56 cores=0,2
/proc/843897/stat : 843897 (ld-linux-x86-64) R 843895 843895 841743 0 -1 4194304 4088330 0 0 0 302386 19170 0 0 20 0 2 0 165284935 23739015168 4605779 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
/proc/843897/statm: 5795658 4605779 4122 46 0 5768253 0
[pid=843897/tid=843898] ppid=843895 vsize=23182632 memory=2852 CPUtime=4.18 cores=0,2
/proc/843897/task/843898/stat : 843898 (ld-linux-x86-64) S 843895 843895 841743 0 -1 1077936192 276 0 0 0 127 291 0 0 20 0 2 0 165284953 23739015168 4605779 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
Current children cumulated CPU time: 3215.56 s
Current children cumulated vsize: 23192560 KiB
Current children cumulated memory: 18425968 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.12 4.17 5/253 845491
/proc/meminfo: memFree=94654968/131655788 swapFree=131071996/131071996
[pid=843895] ppid=843892 vsize=9928 memory=2852 CPUtime=0 cores=0,2
/proc/843895/stat : 843895 (run-glibc-2.34.) S 843892 843895 841743 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 165284935 10166272 713 134679101440 94620792963072 94620794042392 140729525231968 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94620796140848 94620796188036 94620816240640 140729525240779 140729525240924 140729525240924 140729525247939 0
/proc/843895/statm: 2482 713 632 264 0 133 0
[pid=843897] ppid=843895 vsize=20244764 memory=15487460 CPUtime=3275.48 cores=0,2
/proc/843897/stat : 843897 (ld-linux-x86-64) R 843895 843895 841743 0 -1 4194304 4124008 0 0 0 308258 19290 0 0 20 0 2 0 165284935 20730638336 3871865 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
/proc/843897/statm: 5061191 3871865 4122 46 0 5033786 0
[pid=843897/tid=843898] ppid=843895 vsize=20244764 memory=139901312232673 CPUtime=4.28 cores=0,2
/proc/843897/task/843898/stat : 843898 (ld-linux-x86-64) S 843895 843895 841743 0 -1 1077936192 276 0 0 0 130 298 0 0 20 0 2 0 165284953 20730638336 3871865 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
Current children cumulated CPU time: 3275.48 s
Current children cumulated vsize: 20254692 KiB
Current children cumulated memory: 15490312 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.11 4.16 5/252 845501
/proc/meminfo: memFree=93115152/131655788 swapFree=131071996/131071996
[pid=843895] ppid=843892 vsize=9928 memory=2852 CPUtime=0 cores=0,2
/proc/843895/stat : 843895 (run-glibc-2.34.) S 843892 843895 841743 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 165284935 10166272 713 134679101440 94620792963072 94620794042392 140729525231968 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94620796140848 94620796188036 94620816240640 140729525240779 140729525240924 140729525240924 140729525247939 0
/proc/843895/statm: 2482 713 632 264 0 133 0
[pid=843897] ppid=843895 vsize=23227724 memory=16829908 CPUtime=3335.37 cores=0,2
/proc/843897/stat : 843897 (ld-linux-x86-64) R 843895 843895 841743 0 -1 4194304 4143178 0 0 0 314186 19351 0 0 20 0 2 0 165284935 23785189376 4207477 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
/proc/843897/statm: 5806931 4207477 4138 46 0 5779526 0
[pid=843897/tid=843898] ppid=843895 vsize=23227724 memory=2852 CPUtime=4.38 cores=0,2
/proc/843897/task/843898/stat : 843898 (ld-linux-x86-64) S 843895 843895 841743 0 -1 1077936192 276 0 0 0 133 305 0 0 20 0 2 0 165284953 23785189376 4207477 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
Current children cumulated CPU time: 3335.37 s
Current children cumulated vsize: 23237652 KiB
Current children cumulated memory: 16832760 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.16 5/252 845512
/proc/meminfo: memFree=93879508/131655788 swapFree=131071996/131071996
[pid=843895] ppid=843892 vsize=9928 memory=2852 CPUtime=0 cores=0,2
/proc/843895/stat : 843895 (run-glibc-2.34.) S 843892 843895 841743 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 165284935 10166272 713 134679101440 94620792963072 94620794042392 140729525231968 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94620796140848 94620796188036 94620816240640 140729525240779 140729525240924 140729525240924 140729525247939 0
/proc/843895/statm: 2482 713 632 264 0 133 0
[pid=843897] ppid=843895 vsize=22453924 memory=16711152 CPUtime=3395.28 cores=0,2
/proc/843897/stat : 843897 (ld-linux-x86-64) R 843895 843895 841743 0 -1 4194304 4225930 0 0 0 319926 19602 0 0 20 0 2 0 165284935 22992818176 4177788 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
/proc/843897/statm: 5613481 4177788 4147 46 0 5586076 0
[pid=843897/tid=843898] ppid=843895 vsize=22453924 memory=16623944 CPUtime=4.48 cores=0,2
/proc/843897/task/843898/stat : 843898 (ld-linux-x86-64) S 843895 843895 841743 0 -1 1077936192 276 0 0 0 136 312 0 0 20 0 2 0 165284953 22992818176 4177788 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
Current children cumulated CPU time: 3395.28 s
Current children cumulated vsize: 22463852 KiB
Current children cumulated memory: 16714004 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.13 4.16 5/253 845692
/proc/meminfo: memFree=92769684/131655788 swapFree=131071996/131071996
[pid=843895] ppid=843892 vsize=9928 memory=2852 CPUtime=0 cores=0,2
/proc/843895/stat : 843895 (run-glibc-2.34.) S 843892 843895 841743 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 165284935 10166272 713 134679101440 94620792963072 94620794042392 140729525231968 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94620796140848 94620796188036 94620816240640 140729525240779 140729525240924 140729525240924 140729525247939 0
/proc/843895/statm: 2482 713 632 264 0 133 0
[pid=843897] ppid=843895 vsize=22451340 memory=16714652 CPUtime=3455.17 cores=0,2
/proc/843897/stat : 843897 (ld-linux-x86-64) R 843895 843895 841743 0 -1 4194304 4317194 0 0 0 325572 19945 0 0 20 0 2 0 165284935 22990172160 4178663 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
/proc/843897/statm: 5612835 4178663 4147 46 0 5585430 0
[pid=843897/tid=843898] ppid=843895 vsize=22451340 memory=16623944 CPUtime=4.58 cores=0,2
/proc/843897/task/843898/stat : 843898 (ld-linux-x86-64) S 843895 843895 841743 0 -1 1077936192 276 0 0 0 139 319 0 0 20 0 2 0 165284953 22990172160 4178663 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
Current children cumulated CPU time: 3455.17 s
Current children cumulated vsize: 22461268 KiB
Current children cumulated memory: 16717504 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.16 5/253 845702
/proc/meminfo: memFree=92107120/131655788 swapFree=131071996/131071996
[pid=843895] ppid=843892 vsize=9928 memory=2852 CPUtime=0 cores=0,2
/proc/843895/stat : 843895 (run-glibc-2.34.) S 843892 843895 841743 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 165284935 10166272 713 134679101440 94620792963072 94620794042392 140729525231968 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94620796140848 94620796188036 94620816240640 140729525240779 140729525240924 140729525240924 140729525247939 0
/proc/843895/statm: 2482 713 632 264 0 133 0
[pid=843897] ppid=843895 vsize=22715088 memory=16935332 CPUtime=3515.07 cores=0,2
/proc/843897/stat : 843897 (ld-linux-x86-64) R 843895 843895 841743 0 -1 4194304 4506120 0 0 0 331184 20323 0 0 20 0 2 0 165284935 23260250112 4233833 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
/proc/843897/statm: 5678772 4233833 4147 46 0 5651367 0
[pid=843897/tid=843898] ppid=843895 vsize=22715088 memory=11404 CPUtime=4.68 cores=0,2
/proc/843897/task/843898/stat : 843898 (ld-linux-x86-64) S 843895 843895 841743 0 -1 1077936192 284 0 0 0 143 325 0 0 20 0 2 0 165284953 23260250112 4233833 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
Current children cumulated CPU time: 3515.07 s
Current children cumulated vsize: 22725016 KiB
Current children cumulated memory: 16938184 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.16 5/254 845728
/proc/meminfo: memFree=93142968/131655788 swapFree=131071996/131071996
[pid=843895] ppid=843892 vsize=9928 memory=2852 CPUtime=0 cores=0,2
/proc/843895/stat : 843895 (run-glibc-2.34.) S 843892 843895 841743 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 165284935 10166272 713 134679101440 94620792963072 94620794042392 140729525231968 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94620796140848 94620796188036 94620816240640 140729525240779 140729525240924 140729525240924 140729525247939 0
/proc/843895/statm: 2482 713 632 264 0 133 0
[pid=843897] ppid=843895 vsize=22950812 memory=16918792 CPUtime=3574.97 cores=0,2
/proc/843897/stat : 843897 (ld-linux-x86-64) R 843895 843895 841743 0 -1 4194304 4829721 0 0 0 336804 20693 0 0 20 0 2 0 165284935 23501631488 4229698 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
/proc/843897/statm: 5737703 4229698 4147 46 0 5710298 0
[pid=843897/tid=843898] ppid=843895 vsize=22950812 memory=11404 CPUtime=4.77 cores=0,2
/proc/843897/task/843898/stat : 843898 (ld-linux-x86-64) S 843895 843895 841743 0 -1 1077936192 294 0 0 0 146 331 0 0 20 0 2 0 165284953 23501631488 4229698 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
Current children cumulated CPU time: 3574.97 s
Current children cumulated vsize: 22960740 KiB
Current children cumulated memory: 16921644 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.4 s]
/proc/loadavg: 4.15 4.13 4.16 5/254 845875
/proc/meminfo: memFree=108693784/131655788 swapFree=131071996/131071996
[pid=843895] ppid=843892 vsize=9928 memory=2852 CPUtime=0 cores=0,2
/proc/843895/stat : 843895 (run-glibc-2.34.) S 843892 843895 841743 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 165284935 10166272 713 134679101440 94620792963072 94620794042392 140729525231968 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94620796140848 94620796188036 94620816240640 140729525240779 140729525240924 140729525240924 140729525247939 0
/proc/843895/statm: 2482 713 632 264 0 133 0
[pid=843897] ppid=843895 vsize=22714508 memory=16937136 CPUtime=3600.01 cores=0,2
/proc/843897/stat : 843897 (ld-linux-x86-64) R 843895 843895 841743 0 -1 4194304 4977078 0 0 0 339129 20872 0 0 20 0 2 0 165284935 23259656192 4234284 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
/proc/843897/statm: 5678627 4234284 4147 46 0 5651222 0
[pid=843897/tid=843898] ppid=843895 vsize=22714508 memory=12556 CPUtime=4.81 cores=0,2
/proc/843897/task/843898/stat : 843898 (ld-linux-x86-64) S 843895 843895 841743 0 -1 1077936192 299 0 0 0 147 334 0 0 20 0 2 0 165284953 23259656192 4234284 134679101440 140038756098048 140038756285660 140730644039632 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 140038758386560 140038758396008 93825023442944 140730644042595 140730644042747 140730644042747 140730644049842 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 22724436 KiB
Current children cumulated memory: 16939988 KiB

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

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

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

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

# cumulated CPU time of all completed processes:  user=3391.3 s, system=208.854 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.51 s]*
/proc/loadavg: 4.15 4.13 4.16 5/252 845875
/proc/meminfo: memFree=122114248/131655788 swapFree=131071996/131071996
Current cumulated CPU time of completed processes: 0.001653 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3607.53
CPU time (s): 3600.16
CPU user time (s): 3391.3
CPU system time (s): 208.854
CPU usage (%): 99.7956
Max. virtual memory (cumulated for all children) (KiB): 24333304
Max. memory (cumulated for all children) (KiB): 19392856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3391.31
system time used= 208.854
maximum resident set size= 19451412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4977315
page faults= 0
swaps= 0
block input operations= 32
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 353952
involuntary context switches= 24689


# summary of solver processes directly reported to runsolver:
#   pid: 843895,843897
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3391.3
#   total CPU system time (s): 208.854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6252 second user time and 37.03 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-16 14:01:32
IDJOB=4431662
IDBENCH=155628
IDSOLVER=3056
FILE ID=nodeC012/4431662-1721131279
RUNJOBID= nodeC012-1721127684-841753
SLURM_JOB_ID= 7505686
Free space on /tmp= 723652 MiB

SOLVER NAME= IPBHS-GUROBI 2024-07-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat85_4_27_4.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-4431662-1721131279/watcher-4431662-1721131279 -o /tmp/evaluation-result-4431662-1721131279/solver-4431662-1721131279 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721127684-841753 --watchdog 3760  run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431662-1721131279.opb

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

MD5SUM BENCH= 21308a801a9cbe43fb5a50efc40ff8ff
RANDOM SEED=552213952

nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3570.786
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 2065.809
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.322
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.446
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 2664.514
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3537.079
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.435
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.357
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        125983184 kB
MemAvailable:   129666264 kB
Buffers:          408316 kB
Cached:          4072632 kB
SwapCached:            0 kB
Active:           742568 kB
Inactive:        4307168 kB
Active(anon):       1472 kB
Inactive(anon):   604688 kB
Active(file):     741096 kB
Inactive(file):  3702480 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            171000 kB
Writeback:             0 kB
AnonPages:        566728 kB
Mapped:           120580 kB
Shmem:             37704 kB
KReclaimable:     159068 kB
Slab:             263532 kB
SReclaimable:     159068 kB
SUnreclaim:       104464 kB
KernelStack:        4064 kB
PageTables:        10548 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1104328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52992 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 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:      303944 kB
DirectMap2M:    33155072 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723572 MiB
End job on nodeC012 at 2024-07-16 15:01:40