Trace number 4431686

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.08 3605.22

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_8_mh.opb
MD5SUMa9be8bbda8fc39e79dda84fd9030ec23
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 benchmark7163838
Best CPU time to get the best result obtained on this benchmark2683.78
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables31350
Total number of constraints73332
Number of constraints which are clauses57050
Number of constraints which are cardinality constraints (but not clauses)32
Number of constraints which are nor clauses,nor cardinality constraints16250
Minimum length of a constraint2
Maximum length of a constraint925
Number of terms in the objective function 16825
Biggest coefficient in the objective function 119095488
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 17168297281
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 119095488
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 17168297281
Number of bits of the biggest sum of numbers34
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 (58595 MiB free)
  memory of node 1: 64473 MiB (62673 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431686-1721132789/watcher-4431686-1721132789 -o /tmp/evaluation-result-4431686-1721132789/solver-4431686-1721132789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721129116-857501 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431686-1721132789.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=859676, runsolver pid=859673
Current StackSize limit: 8192 KiB


[startup+0.100271 s]*
/proc/loadavg: 4.12 4.09 4.09 5/264 859678
/proc/meminfo: memFree=124158928/131524600 swapFree=131071996/131071996
[pid=859676] ppid=859673 vsize=9928 memory=2756 CPUtime=0 cores=1,3
/proc/859676/stat : 859676 (run-glibc-2.34.) S 859673 859676 857489 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 165445131 10166272 689 134679101440 94528101212160 94528102291480 140734507410048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94528104389936 94528104437124 94528106954752 140734507414475 140734507414620 140734507414620 140734507421635 0
/proc/859676/statm: 2482 689 612 264 0 133 0
[pid=859678] ppid=859676 vsize=107448 memory=27472 CPUtime=0.08 cores=1,3
/proc/859678/stat : 859678 (ld-linux-x86-64) R 859676 859676 857489 0 -1 4194304 5838 0 0 0 8 0 0 0 20 0 1 0 165445131 110026752 6868 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
/proc/859678/statm: 26862 6868 1723 46 0 7477 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 117376 KiB
Current children cumulated memory: 30228 KiB

[startup+0.206287 s]*
/proc/loadavg: 4.12 4.09 4.09 5/264 859678
/proc/meminfo: memFree=124153520/131524600 swapFree=131071996/131071996
[pid=859676] ppid=859673 vsize=9928 memory=2756 CPUtime=0 cores=1,3
/proc/859676/stat : 859676 (run-glibc-2.34.) S 859673 859676 857489 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 165445131 10166272 689 134679101440 94528101212160 94528102291480 140734507410048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94528104389936 94528104437124 94528106954752 140734507414475 140734507414620 140734507414620 140734507421635 0
/proc/859676/statm: 2482 689 612 264 0 133 0
[pid=859678] ppid=859676 vsize=109228 memory=32420 CPUtime=0.19 cores=1,3
/proc/859678/stat : 859678 (ld-linux-x86-64) R 859676 859676 857489 0 -1 4194304 6584 0 0 0 14 5 0 0 20 0 1 0 165445131 111849472 8105 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
/proc/859678/statm: 27307 8105 1723 46 0 7922 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 119156 KiB
Current children cumulated memory: 35176 KiB

[startup+0.306287 s]*
/proc/loadavg: 4.12 4.09 4.09 5/265 859679
/proc/meminfo: memFree=124137776/131524600 swapFree=131071996/131071996
[pid=859676] ppid=859673 vsize=9928 memory=2756 CPUtime=0 cores=1,3
/proc/859676/stat : 859676 (run-glibc-2.34.) S 859673 859676 857489 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 165445131 10166272 689 134679101440 94528101212160 94528102291480 140734507410048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94528104389936 94528104437124 94528106954752 140734507414475 140734507414620 140734507414620 140734507421635 0
/proc/859676/statm: 2482 689 612 264 0 133 0
[pid=859678] ppid=859676 vsize=165476 memory=51772 CPUtime=0.28 cores=1,3
/proc/859678/stat : 859678 (ld-linux-x86-64) R 859676 859676 857489 0 -1 4194304 9510 0 0 0 22 6 0 0 20 0 2 0 165445131 169447424 12943 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
/proc/859678/statm: 41369 12943 2661 46 0 13964 0
[pid=859678/tid=859679] ppid=859676 vsize=165476 memory=-8752394649467839074 CPUtime=0 cores=1,3
/proc/859678/task/859679/stat : 859679 (ld-linux-x86-64) S 859676 859676 857489 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 165445153 169447424 12943 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 1 0 0 -1 1 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 175404 KiB
Current children cumulated memory: 54528 KiB

[startup+0.700264 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 859679
/proc/meminfo: memFree=124133492/131524600 swapFree=131071996/131071996
[pid=859676] ppid=859673 vsize=9928 memory=2756 CPUtime=0 cores=1,3
/proc/859676/stat : 859676 (run-glibc-2.34.) S 859673 859676 857489 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 165445131 10166272 689 134679101440 94528101212160 94528102291480 140734507410048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94528104389936 94528104437124 94528106954752 140734507414475 140734507414620 140734507414620 140734507421635 0
/proc/859676/statm: 2482 689 612 264 0 133 0
[pid=859678] ppid=859676 vsize=207876 memory=94272 CPUtime=0.66 cores=1,3
/proc/859678/stat : 859678 (ld-linux-x86-64) R 859676 859676 857489 0 -1 4194304 19400 0 0 0 50 16 0 0 20 0 2 0 165445131 212865024 23568 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
/proc/859678/statm: 51969 23568 3064 46 0 24564 0
[pid=859678/tid=859679] ppid=859676 vsize=207876 memory=0 CPUtime=0 cores=1,3
/proc/859678/task/859679/stat : 859679 (ld-linux-x86-64) S 859676 859676 857489 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 165445153 212865024 23568 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 217804 KiB
Current children cumulated memory: 97028 KiB

[startup+1.50023 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 859679
/proc/meminfo: memFree=124062596/131524600 swapFree=131071996/131071996
[pid=859676] ppid=859673 vsize=9928 memory=2756 CPUtime=0 cores=1,3
/proc/859676/stat : 859676 (run-glibc-2.34.) S 859673 859676 857489 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 165445131 10166272 689 134679101440 94528101212160 94528102291480 140734507410048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94528104389936 94528104437124 94528106954752 140734507414475 140734507414620 140734507414620 140734507421635 0
/proc/859676/statm: 2482 689 612 264 0 133 0
[pid=859678] ppid=859676 vsize=260160 memory=138088 CPUtime=1.46 cores=1,3
/proc/859678/stat : 859678 (ld-linux-x86-64) R 859676 859676 857489 0 -1 4194304 31609 0 0 0 125 21 0 0 20 0 2 0 165445131 266403840 34522 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
/proc/859678/statm: 65040 34522 3776 46 0 37635 0
[pid=859678/tid=859679] ppid=859676 vsize=260160 memory=0 CPUtime=0 cores=1,3
/proc/859678/task/859679/stat : 859679 (ld-linux-x86-64) S 859676 859676 857489 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 165445153 266403840 34522 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 270088 KiB
Current children cumulated memory: 140844 KiB

[startup+3.10565 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 859679
/proc/meminfo: memFree=124054720/131524600 swapFree=131071996/131071996
[pid=859676] ppid=859673 vsize=9928 memory=2756 CPUtime=0 cores=1,3
/proc/859676/stat : 859676 (run-glibc-2.34.) S 859673 859676 857489 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 165445131 10166272 689 134679101440 94528101212160 94528102291480 140734507410048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94528104389936 94528104437124 94528106954752 140734507414475 140734507414620 140734507414620 140734507421635 0
/proc/859676/statm: 2482 689 612 264 0 133 0
[pid=859678] ppid=859676 vsize=260160 memory=138372 CPUtime=3.06 cores=1,3
/proc/859678/stat : 859678 (ld-linux-x86-64) R 859676 859676 857489 0 -1 4194304 33581 0 0 0 276 30 0 0 20 0 2 0 165445131 266403840 34593 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
/proc/859678/statm: 65040 34593 3824 46 0 37635 0
[pid=859678/tid=859679] ppid=859676 vsize=260160 memory=2756 CPUtime=0 cores=1,3
/proc/859678/task/859679/stat : 859679 (ld-linux-x86-64) S 859676 859676 857489 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 165445153 266403840 34593 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 270088 KiB
Current children cumulated memory: 141128 KiB

[startup+6.30023 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 859681
/proc/meminfo: memFree=124051476/131524600 swapFree=131071996/131071996
[pid=859676] ppid=859673 vsize=9928 memory=2756 CPUtime=0 cores=1,3
/proc/859676/stat : 859676 (run-glibc-2.34.) S 859673 859676 857489 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 165445131 10166272 689 134679101440 94528101212160 94528102291480 140734507410048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94528104389936 94528104437124 94528106954752 140734507414475 140734507414620 140734507414620 140734507421635 0
/proc/859676/statm: 2482 689 612 264 0 133 0
[pid=859678] ppid=859676 vsize=260160 memory=138560 CPUtime=6.26 cores=1,3
/proc/859678/stat : 859678 (ld-linux-x86-64) R 859676 859676 857489 0 -1 4194304 35804 0 0 0 575 51 0 0 20 0 2 0 165445131 266403840 34640 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
/proc/859678/statm: 65040 34640 3824 46 0 37635 0
[pid=859678/tid=859679] ppid=859676 vsize=260160 memory=2756 CPUtime=0 cores=1,3
/proc/859678/task/859679/stat : 859679 (ld-linux-x86-64) S 859676 859676 857489 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 2 0 165445153 266403840 34640 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 270088 KiB
Current children cumulated memory: 141316 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 859681
/proc/meminfo: memFree=124046788/131524600 swapFree=131071996/131071996
[pid=859676] ppid=859673 vsize=9928 memory=2756 CPUtime=0 cores=1,3
/proc/859676/stat : 859676 (run-glibc-2.34.) S 859673 859676 857489 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 165445131 10166272 689 134679101440 94528101212160 94528102291480 140734507410048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94528104389936 94528104437124 94528106954752 140734507414475 140734507414620 140734507414620 140734507421635 0
/proc/859676/statm: 2482 689 612 264 0 133 0
[pid=859678] ppid=859676 vsize=262880 memory=138900 CPUtime=12.65 cores=1,3
/proc/859678/stat : 859678 (ld-linux-x86-64) R 859676 859676 857489 0 -1 4194304 40426 0 0 0 1171 94 0 0 20 0 2 0 165445131 269189120 34725 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
/proc/859678/statm: 65720 34725 3824 46 0 38315 0
[pid=859678/tid=859679] ppid=859676 vsize=262880 memory=164 CPUtime=0 cores=1,3
/proc/859678/task/859679/stat : 859679 (ld-linux-x86-64) S 859676 859676 857489 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 2 0 165445153 269189120 34725 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 272808 KiB
Current children cumulated memory: 141656 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 859684
/proc/meminfo: memFree=124036316/131524600 swapFree=131071996/131071996
[pid=859676] ppid=859673 vsize=9928 memory=2756 CPUtime=0 cores=1,3
/proc/859676/stat : 859676 (run-glibc-2.34.) S 859673 859676 857489 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 165445131 10166272 689 134679101440 94528101212160 94528102291480 140734507410048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94528104389936 94528104437124 94528106954752 140734507414475 140734507414620 140734507414620 140734507421635 0
/proc/859676/statm: 2482 689 612 264 0 133 0
[pid=859678] ppid=859676 vsize=262880 memory=139420 CPUtime=25.43 cores=1,3
/proc/859678/stat : 859678 (ld-linux-x86-64) R 859676 859676 857489 0 -1 4194304 46765 0 0 0 2358 185 0 0 20 0 2 0 165445131 269189120 34855 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
/proc/859678/statm: 65720 34855 3824 46 0 38315 0
[pid=859678/tid=859679] ppid=859676 vsize=262880 memory=139328 CPUtime=0 cores=1,3
/proc/859678/task/859679/stat : 859679 (ld-linux-x86-64) S 859676 859676 857489 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 2 0 165445153 269189120 34855 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 272808 KiB
Current children cumulated memory: 142176 KiB

[startup+51.1057 s]
/proc/loadavg: 4.05 4.08 4.08 5/265 859688
/proc/meminfo: memFree=124010240/131524600 swapFree=131071996/131071996
[pid=859676] ppid=859673 vsize=9928 memory=2756 CPUtime=0 cores=1,3
/proc/859676/stat : 859676 (run-glibc-2.34.) S 859673 859676 857489 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 165445131 10166272 689 134679101440 94528101212160 94528102291480 140734507410048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94528104389936 94528104437124 94528106954752 140734507414475 140734507414620 140734507414620 140734507421635 0
/proc/859676/statm: 2482 689 612 264 0 133 0
[pid=859678] ppid=859676 vsize=262880 memory=141224 CPUtime=51 cores=1,3
/proc/859678/stat : 859678 (ld-linux-x86-64) R 859676 859676 857489 0 -1 4194304 57311 0 0 0 4717 383 0 0 20 0 2 0 165445131 269189120 35306 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
/proc/859678/statm: 65720 35306 3824 46 0 38315 0
[pid=859678/tid=859679] ppid=859676 vsize=262880 memory=2756 CPUtime=0.01 cores=1,3
/proc/859678/task/859679/stat : 859679 (ld-linux-x86-64) S 859676 859676 857489 0 -1 1077936192 37 0 0 0 0 1 0 0 20 0 2 0 165445153 269189120 35306 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 272808 KiB
Current children cumulated memory: 143980 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.08 5/267 859866
/proc/meminfo: memFree=123964364/131524600 swapFree=131071996/131071996
[pid=859676] ppid=859673 vsize=9928 memory=2756 CPUtime=0 cores=1,3
/proc/859676/stat : 859676 (run-glibc-2.34.) S 859673 859676 857489 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 165445131 10166272 689 134679101440 94528101212160 94528102291480 140734507410048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94528104389936 94528104437124 94528106954752 140734507414475 140734507414620 140734507414620 140734507421635 0
/proc/859676/statm: 2482 689 612 264 0 133 0
[pid=859678] ppid=859676 vsize=274480 memory=148056 CPUtime=102.12 cores=1,3
/proc/859678/stat : 859678 (ld-linux-x86-64) R 859676 859676 857489 0 -1 4194304 67889 0 0 0 9421 791 0 0 20 0 2 0 165445131 281067520 37014 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
/proc/859678/statm: 68620 37014 3824 46 0 41215 0
[pid=859678/tid=859679] ppid=859676 vsize=274480 memory=2756 CPUtime=0.03 cores=1,3
/proc/859678/task/859679/stat : 859679 (ld-linux-x86-64) S 859676 859676 857489 0 -1 1077936192 44 0 0 0 0 3 0 0 20 0 2 0 165445153 281067520 37014 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
Current children cumulated CPU time: 102.12 s
Current children cumulated vsize: 284408 KiB
Current children cumulated memory: 150812 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.08 5/267 859876
/proc/meminfo: memFree=122540436/131524600 swapFree=131071996/131071996
[pid=859676] ppid=859673 vsize=9928 memory=2756 CPUtime=0 cores=1,3
/proc/859676/stat : 859676 (run-glibc-2.34.) S 859673 859676 857489 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 165445131 10166272 689 134679101440 94528101212160 94528102291480 140734507410048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94528104389936 94528104437124 94528106954752 140734507414475 140734507414620 140734507414620 140734507421635 0

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

[startup+3162.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/262 861095
/proc/meminfo: memFree=122547596/131524600 swapFree=131071996/131071996
[pid=859676] ppid=859673 vsize=9928 memory=2756 CPUtime=0 cores=1,3
/proc/859676/stat : 859676 (run-glibc-2.34.) S 859673 859676 857489 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 165445131 10166272 689 134679101440 94528101212160 94528102291480 140734507410048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94528104389936 94528104437124 94528106954752 140734507414475 140734507414620 140734507414620 140734507421635 0
/proc/859676/statm: 2482 689 612 264 0 133 0
[pid=859678] ppid=859676 vsize=2595208 memory=1915736 CPUtime=3157.76 cores=1,3
/proc/859678/stat : 859678 (ld-linux-x86-64) R 859676 859676 857489 0 -1 4194304 2156583 0 0 0 293098 22678 0 0 20 0 2 0 165445131 2657492992 478934 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
/proc/859678/statm: 648802 478934 4132 46 0 621397 0
[pid=859678/tid=859679] ppid=859676 vsize=2595208 memory=2756 CPUtime=1.7 cores=1,3
/proc/859678/task/859679/stat : 859679 (ld-linux-x86-64) S 859676 859676 857489 0 -1 1077936192 364 0 0 0 58 112 0 0 20 0 2 0 165445153 2657492992 478934 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
Current children cumulated CPU time: 3157.76 s
Current children cumulated vsize: 2605136 KiB
Current children cumulated memory: 1918492 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/265 861110
/proc/meminfo: memFree=122524380/131524600 swapFree=131071996/131071996
[pid=859676] ppid=859673 vsize=9928 memory=2756 CPUtime=0 cores=1,3
/proc/859676/stat : 859676 (run-glibc-2.34.) S 859673 859676 857489 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 165445131 10166272 689 134679101440 94528101212160 94528102291480 140734507410048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94528104389936 94528104437124 94528106954752 140734507414475 140734507414620 140734507414620 140734507421635 0
/proc/859676/statm: 2482 689 612 264 0 133 0
[pid=859678] ppid=859676 vsize=2595208 memory=1915740 CPUtime=3217.68 cores=1,3
/proc/859678/stat : 859678 (ld-linux-x86-64) R 859676 859676 857489 0 -1 4194304 2180592 0 0 0 298597 23171 0 0 20 0 2 0 165445131 2657492992 478935 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
/proc/859678/statm: 648802 478935 4132 46 0 621397 0
[pid=859678/tid=859679] ppid=859676 vsize=2595208 memory=2756 CPUtime=1.74 cores=1,3
/proc/859678/task/859679/stat : 859679 (ld-linux-x86-64) S 859676 859676 857489 0 -1 1077936192 374 0 0 0 59 115 0 0 20 0 2 0 165445153 2657492992 478935 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
Current children cumulated CPU time: 3217.68 s
Current children cumulated vsize: 2605136 KiB
Current children cumulated memory: 1918496 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.16 5/265 861122
/proc/meminfo: memFree=122497320/131524600 swapFree=131071996/131071996
[pid=859676] ppid=859673 vsize=9928 memory=2756 CPUtime=0 cores=1,3
/proc/859676/stat : 859676 (run-glibc-2.34.) S 859673 859676 857489 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 165445131 10166272 689 134679101440 94528101212160 94528102291480 140734507410048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94528104389936 94528104437124 94528106954752 140734507414475 140734507414620 140734507414620 140734507421635 0
/proc/859676/statm: 2482 689 612 264 0 133 0
[pid=859678] ppid=859676 vsize=2595208 memory=1915740 CPUtime=3277.61 cores=1,3
/proc/859678/stat : 859678 (ld-linux-x86-64) R 859676 859676 857489 0 -1 4194304 2209163 0 0 0 304133 23628 0 0 20 0 2 0 165445131 2657492992 478935 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
/proc/859678/statm: 648802 478935 4132 46 0 621397 0
[pid=859678/tid=859679] ppid=859676 vsize=2595208 memory=2756 CPUtime=1.77 cores=1,3
/proc/859678/task/859679/stat : 859679 (ld-linux-x86-64) S 859676 859676 857489 0 -1 1077936192 382 0 0 0 60 117 0 0 20 0 2 0 165445153 2657492992 478935 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
Current children cumulated CPU time: 3277.61 s
Current children cumulated vsize: 2605136 KiB
Current children cumulated memory: 1918496 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/265 861132
/proc/meminfo: memFree=121875352/131524600 swapFree=131071996/131071996
[pid=859676] ppid=859673 vsize=9928 memory=2756 CPUtime=0 cores=1,3
/proc/859676/stat : 859676 (run-glibc-2.34.) S 859673 859676 857489 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 165445131 10166272 689 134679101440 94528101212160 94528102291480 140734507410048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94528104389936 94528104437124 94528106954752 140734507414475 140734507414620 140734507414620 140734507421635 0
/proc/859676/statm: 2482 689 612 264 0 133 0
[pid=859678] ppid=859676 vsize=3248740 memory=2513964 CPUtime=3337.5 cores=1,3
/proc/859678/stat : 859678 (ld-linux-x86-64) R 859676 859676 857489 0 -1 4194304 2272282 0 0 0 309783 23967 0 0 20 0 2 0 165445131 3326709760 628491 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
/proc/859678/statm: 812185 628491 4132 46 0 784780 0
[pid=859678/tid=859679] ppid=859676 vsize=3248740 memory=2756 CPUtime=1.8 cores=1,3
/proc/859678/task/859679/stat : 859679 (ld-linux-x86-64) S 859676 859676 857489 0 -1 1077936192 390 0 0 0 61 119 0 0 20 0 2 0 165445153 3326709760 628491 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
Current children cumulated CPU time: 3337.5 s
Current children cumulated vsize: 3258668 KiB
Current children cumulated memory: 2516720 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.15 5/265 861143
/proc/meminfo: memFree=121937616/131524600 swapFree=131071996/131071996
[pid=859676] ppid=859673 vsize=9928 memory=2756 CPUtime=0 cores=1,3
/proc/859676/stat : 859676 (run-glibc-2.34.) S 859673 859676 857489 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 165445131 10166272 689 134679101440 94528101212160 94528102291480 140734507410048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94528104389936 94528104437124 94528106954752 140734507414475 140734507414620 140734507414620 140734507421635 0
/proc/859676/statm: 2482 689 612 264 0 133 0
[pid=859678] ppid=859676 vsize=3696844 memory=2425600 CPUtime=3397.41 cores=1,3
/proc/859678/stat : 859678 (ld-linux-x86-64) R 859676 859676 857489 0 -1 4194304 2316105 0 0 0 315636 24105 0 0 20 0 2 0 165445131 3785568256 606400 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
/proc/859678/statm: 924211 606400 4132 46 0 896806 0
[pid=859678/tid=859679] ppid=859676 vsize=3696844 memory=2135920 CPUtime=1.85 cores=1,3
/proc/859678/task/859679/stat : 859679 (ld-linux-x86-64) S 859676 859676 857489 0 -1 1077936192 393 0 0 0 63 122 0 0 20 0 2 0 165445153 3785568256 606400 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
Current children cumulated CPU time: 3397.41 s
Current children cumulated vsize: 3706772 KiB
Current children cumulated memory: 2428356 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/265 861154
/proc/meminfo: memFree=122149840/131524600 swapFree=131071996/131071996
[pid=859676] ppid=859673 vsize=9928 memory=2756 CPUtime=0 cores=1,3
/proc/859676/stat : 859676 (run-glibc-2.34.) S 859673 859676 857489 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 165445131 10166272 689 134679101440 94528101212160 94528102291480 140734507410048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94528104389936 94528104437124 94528106954752 140734507414475 140734507414620 140734507414620 140734507421635 0
/proc/859676/statm: 2482 689 612 264 0 133 0
[pid=859678] ppid=859676 vsize=2930964 memory=2196188 CPUtime=3457.33 cores=1,3
/proc/859678/stat : 859678 (ld-linux-x86-64) R 859676 859676 857489 0 -1 4194304 2424995 0 0 0 321323 24410 0 0 20 0 2 0 165445131 3001307136 549047 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
/proc/859678/statm: 732741 549047 4132 46 0 705336 0
[pid=859678/tid=859679] ppid=859676 vsize=2930964 memory=2756 CPUtime=1.88 cores=1,3
/proc/859678/task/859679/stat : 859679 (ld-linux-x86-64) S 859676 859676 857489 0 -1 1077936192 400 0 0 0 64 124 0 0 20 0 2 0 165445153 3001307136 549047 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
Current children cumulated CPU time: 3457.33 s
Current children cumulated vsize: 2940892 KiB
Current children cumulated memory: 2198944 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.15 4.16 5/263 861546
/proc/meminfo: memFree=122127948/131524600 swapFree=131071996/131071996
[pid=859676] ppid=859673 vsize=9928 memory=2756 CPUtime=0 cores=1,3
/proc/859676/stat : 859676 (run-glibc-2.34.) S 859673 859676 857489 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 165445131 10166272 689 134679101440 94528101212160 94528102291480 140734507410048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94528104389936 94528104437124 94528106954752 140734507414475 140734507414620 140734507414620 140734507421635 0
/proc/859676/statm: 2482 689 612 264 0 133 0
[pid=859678] ppid=859676 vsize=2930964 memory=2196188 CPUtime=3517.26 cores=1,3
/proc/859678/stat : 859678 (ld-linux-x86-64) R 859676 859676 857489 0 -1 4194304 2450105 0 0 0 326890 24836 0 0 20 0 2 0 165445131 3001307136 549047 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
/proc/859678/statm: 732741 549047 4132 46 0 705336 0
[pid=859678/tid=859679] ppid=859676 vsize=2930964 memory=2756 CPUtime=1.91 cores=1,3
/proc/859678/task/859679/stat : 859679 (ld-linux-x86-64) S 859676 859676 857489 0 -1 1077936192 409 0 0 0 65 126 0 0 20 0 2 0 165445153 3001307136 549047 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
Current children cumulated CPU time: 3517.26 s
Current children cumulated vsize: 2940892 KiB
Current children cumulated memory: 2198944 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.15 4.16 5/263 861652
/proc/meminfo: memFree=122959032/131524600 swapFree=131071996/131071996
[pid=859676] ppid=859673 vsize=9928 memory=2756 CPUtime=0 cores=1,3
/proc/859676/stat : 859676 (run-glibc-2.34.) S 859673 859676 857489 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 165445131 10166272 689 134679101440 94528101212160 94528102291480 140734507410048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94528104389936 94528104437124 94528106954752 140734507414475 140734507414620 140734507414620 140734507421635 0
/proc/859676/statm: 2482 689 612 264 0 133 0
[pid=859678] ppid=859676 vsize=2930964 memory=2196188 CPUtime=3577.18 cores=1,3
/proc/859678/stat : 859678 (ld-linux-x86-64) R 859676 859676 857489 0 -1 4194304 2479585 0 0 0 332421 25297 0 0 20 0 2 0 165445131 3001307136 549047 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
/proc/859678/statm: 732741 549047 4132 46 0 705336 0
[pid=859678/tid=859679] ppid=859676 vsize=2930964 memory=11664 CPUtime=1.94 cores=1,3
/proc/859678/task/859679/stat : 859679 (ld-linux-x86-64) S 859676 859676 857489 0 -1 1077936192 417 0 0 0 66 128 0 0 20 0 2 0 165445153 3001307136 549047 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
Current children cumulated CPU time: 3577.18 s
Current children cumulated vsize: 2940892 KiB
Current children cumulated memory: 2198944 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3605.2 s]
/proc/loadavg: 4.12 4.14 4.15 5/263 861657
/proc/meminfo: memFree=122958620/131524600 swapFree=131071996/131071996
[pid=859676] ppid=859673 vsize=9928 memory=2756 CPUtime=0 cores=1,3
/proc/859676/stat : 859676 (run-glibc-2.34.) S 859673 859676 857489 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 165445131 10166272 689 134679101440 94528101212160 94528102291480 140734507410048 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94528104389936 94528104437124 94528106954752 140734507414475 140734507414620 140734507414620 140734507421635 0
/proc/859676/statm: 2482 689 612 264 0 133 0
[pid=859678] ppid=859676 vsize=2930964 memory=2196188 CPUtime=3600.04 cores=1,3
/proc/859678/stat : 859678 (ld-linux-x86-64) R 859676 859676 857489 0 -1 4194304 2493414 0 0 0 334524 25480 0 0 20 0 2 0 165445131 3001307136 549047 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
/proc/859678/statm: 732741 549047 4132 46 0 705336 0
[pid=859678/tid=859679] ppid=859676 vsize=2930964 memory=12420 CPUtime=1.95 cores=1,3
/proc/859678/task/859679/stat : 859679 (ld-linux-x86-64) S 859676 859676 857489 0 -1 1077936192 420 0 0 0 66 129 0 0 20 0 2 0 165445153 3001307136 549047 134679101440 140239003299840 140239003487452 140722454602384 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140239005588352 140239005597800 93824993554432 140722454610787 140722454610939 140722454610939 140722454618034 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2940892 KiB
Current children cumulated memory: 2198944 KiB

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

[startup+3605.21 s]
# the end of solver process 859676 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.001495 s

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

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

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3605.22
CPU time (s): 3600.08
CPU user time (s): 3345.25
CPU system time (s): 254.823
CPU usage (%): 99.8574
Max. virtual memory (cumulated for all children) (KiB): 4291360
Max. memory (cumulated for all children) (KiB): 3436368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3345.25
system time used= 254.823
maximum resident set size= 3517872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2493620
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= 357010
involuntary context switches= 1725


# summary of solver processes directly reported to runsolver:
#   pid: 859676,859678
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3345.25
#   total CPU system time (s): 254.823

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.09985 second user time and 18.3931 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-16 14:26:42
IDJOB=4431686
IDBENCH=155648
IDSOLVER=3056
FILE ID=nodeC026/4431686-1721132789
RUNJOBID= nodeC026-1721129116-857501
SLURM_JOB_ID= 7505694
Free space on /tmp= 889932 MiB

SOLVER NAME= IPBHS-GUROBI 2024-07-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat25_6_4_8_mh.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-4431686-1721132789/watcher-4431686-1721132789 -o /tmp/evaluation-result-4431686-1721132789/solver-4431686-1721132789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721129116-857501 --watchdog 3760  run-glibc-2.34.sh ./ipbhs_gurobi HOME/instance-4431686-1721132789.opb

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

MD5SUM BENCH= a9be8bbda8fc39e79dda84fd9030ec23
RANDOM SEED=176532898

nodeC026.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		: 3674.077
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.74
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		: 3679.287
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.45
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		: 3600.174
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.74
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		: 3665.332
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.45
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		: 3674.091
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.74
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		: 3675.672
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.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.187
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.74
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.096
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.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124180340 kB
MemAvailable:   125368064 kB
Buffers:          420952 kB
Cached:          1598144 kB
SwapCached:            0 kB
Active:           814624 kB
Inactive:        5913312 kB
Active(anon):       1604 kB
Inactive(anon):  4744948 kB
Active(file):     813020 kB
Inactive(file):  1168364 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             44532 kB
Writeback:             0 kB
AnonPages:       4702252 kB
Mapped:           122448 kB
Shmem:             37720 kB
KReclaimable:      92328 kB
Slab:             198904 kB
SReclaimable:      92328 kB
SUnreclaim:       106576 kB
KernelStack:        4268 kB
PageTables:        19028 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    6855036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63104 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2916352 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:      232148 kB
DirectMap2M:    20512768 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 889820 MiB
End job on nodeC026 at 2024-07-16 15:26:48