Trace number 4464189

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
FiberSCIP 2024-07-30? (TO) 3600.15 3609.97

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.10-8.opb
MD5SUM94679b926e0f98030bd662dace4c9342
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 benchmark55874
Best CPU time to get the best result obtained on this benchmark19.7955
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables211991
Total number of constraints2595228
Number of constraints which are clauses2595228
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint579
Number of terms in the objective function 18980
Biggest coefficient in the objective function 581
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 10690980
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 581
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 10690980
Number of bits of the biggest sum of numbers24
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.4.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
9.17/9.26	c Default LC presolving (default).
9.27/9.31	c ** Before presolving: virtualMemUsedAtLc = 6023906048, getVmSize() = 3537534976, SCIPgetMemUsed() = 3206615180, SCIPgetMemTotal() = 3312858996, SCIPgetMemExternEstim() = 2711047052
9.27/9.31	c ** set memory limit for presolving in LC to 8.79429e+12 for SCIP **
133.19/133.66	c ** Estimated virtualMemUsedAtSolver = 3956723322, getVmSize() = 4013223936, SCIPgetMemUsed() = 2439382443, SCIPgetMemTotal() = 3224037931, SCIPgetMemExternEstim() = 2711047052
133.19/133.66	c ** set memory limit for solvers to 4.39793e+12 for each SCIP **
133.19/133.66	c Original Problem   :
133.19/133.66	c   Problem name     : instance-4464189-1722383294
133.19/133.66	c   Variables        : 211991 (211991 binary, 0 integer, 0 implicit integer, 0 continuous)
133.19/133.66	c   Constraints      : 2595228
133.19/133.66	c   Objective sense  : minimize
133.19/133.66	c Presolved Problem  :
133.19/133.66	c   Variables        : 63205 (63205 binary, 0 integer, 0 implicit integer, 0 continuous)
133.19/133.66	c   Constraints      : 513789
133.19/133.66	c Constraints        : Number
133.19/133.66	c   setppc           : 354304 
133.19/133.66	c   linear           : 66 
133.19/133.66	c   logicor          : 159419 
133.19/133.66	c ** Instance transfer method used: 0
134.38/134.80	c ** ParaScipInstance copy does not increase the number of variables. **
135.27/135.78	c LC is working with racing ramp-up and with rebuilding tree after racing.
135.27/135.78	c                                Nodes    Active                                            
135.27/135.78	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
162.18/162.77	c *     163              0           1         1     8822430.0000                -          -
162.18/162.77	c       163              0           1         1     8822430.0000                -          -
162.61/163.19	c *     163              0           1         1      715917.0000                -          -

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: 63931 MiB (42104 MiB free)
  memory of node 1: 64510 MiB (60759 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464189-1722383294/watcher-4464189-1722383294 -o /tmp/evaluation-result-4464189-1722383294/solver-4464189-1722383294 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722378594-27904 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464189-1722383294.opb -qsol -t 3600 -sth 1 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.10009 s]*
/proc/loadavg: 4.13 4.14 4.09 5/258 30608
/proc/meminfo: memFree=105276852/131524600 swapFree=131071996/131071996
[pid=30607] ppid=30604 vsize=79620 memory=66404 CPUtime=0.1 cores=4,6
/proc/30607/stat : 30607 (fscip) R 30604 30607 27893 0 -1 4194304 14509 0 0 0 8 2 0 0 20 0 1 0 4927396 81530880 16601 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
/proc/30607/statm: 19905 16601 2347 3035 0 16301 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 79620 KiB
Current children cumulated memory: 66404 KiB

[startup+0.205814 s]*
/proc/loadavg: 4.13 4.14 4.09 6/258 30608
/proc/meminfo: memFree=105242748/131524600 swapFree=131071996/131071996
[pid=30607] ppid=30604 vsize=111900 memory=99880 CPUtime=0.2 cores=4,6
/proc/30607/stat : 30607 (fscip) R 30604 30607 27893 0 -1 4194304 22856 0 0 0 17 3 0 0 20 0 1 0 4927396 114585600 24970 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
/proc/30607/statm: 27975 24970 2347 3035 0 24371 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 111900 KiB
Current children cumulated memory: 99880 KiB

[startup+0.305596 s]*
/proc/loadavg: 4.13 4.14 4.09 5/258 30608
/proc/meminfo: memFree=105212704/131524600 swapFree=131071996/131071996
[pid=30607] ppid=30604 vsize=142252 memory=130044 CPUtime=0.3 cores=4,6
/proc/30607/stat : 30607 (fscip) R 30604 30607 27893 0 -1 4194304 30402 0 0 0 26 4 0 0 20 0 1 0 4927396 145666048 32511 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
/proc/30607/statm: 35563 32511 2347 3035 0 31959 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 142252 KiB
Current children cumulated memory: 130044 KiB

[startup+0.700228 s]
/proc/loadavg: 4.13 4.14 4.09 5/258 30608
/proc/meminfo: memFree=105150708/131524600 swapFree=131071996/131071996
[pid=30607] ppid=30604 vsize=255952 memory=243556 CPUtime=0.69 cores=4,6
/proc/30607/stat : 30607 (fscip) R 30604 30607 27893 0 -1 4194304 58268 0 0 0 60 9 0 0 20 0 1 0 4927396 262094848 60889 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
/proc/30607/statm: 63988 60889 2347 3035 0 60384 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 255952 KiB
Current children cumulated memory: 243556 KiB

[startup+1.50024 s]
/proc/loadavg: 4.20 4.16 4.10 5/258 30608
/proc/meminfo: memFree=105007128/131524600 swapFree=131071996/131071996
[pid=30607] ppid=30604 vsize=488540 memory=476276 CPUtime=1.48 cores=4,6
/proc/30607/stat : 30607 (fscip) R 30604 30607 27893 0 -1 4194304 114380 0 0 0 132 16 0 0 20 0 1 0 4927396 500264960 119069 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
/proc/30607/statm: 122135 119069 2347 3035 0 118531 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 488540 KiB
Current children cumulated memory: 476276 KiB

[startup+3.10565 s]
/proc/loadavg: 4.20 4.16 4.10 5/258 30608
/proc/meminfo: memFree=104426080/131524600 swapFree=131071996/131071996
[pid=30607] ppid=30604 vsize=953828 memory=940628 CPUtime=3.09 cores=4,6
/proc/30607/stat : 30607 (fscip) R 30604 30607 27893 0 -1 4194304 225346 0 0 0 273 36 0 0 20 0 1 0 4927396 976719872 235091 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
/proc/30607/statm: 238457 235091 2347 3035 0 234853 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 953828 KiB
Current children cumulated memory: 940628 KiB

[startup+6.30018 s]
/proc/loadavg: 4.18 4.15 4.10 6/258 30608
/proc/meminfo: memFree=103325548/131524600 swapFree=131071996/131071996
[pid=30607] ppid=30604 vsize=2181504 memory=2154488 CPUtime=6.27 cores=4,6
/proc/30607/stat : 30607 (fscip) R 30604 30607 27893 0 -1 4194304 502511 0 0 0 549 78 0 0 20 0 1 0 4927396 2233860096 538622 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
/proc/30607/statm: 545376 538622 2555 3035 0 541772 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2181504 KiB
Current children cumulated memory: 2154488 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.15 4.09 5/258 30610
/proc/meminfo: memFree=101818056/131524600 swapFree=131071996/131071996
[pid=30607] ppid=30604 vsize=3580864 memory=3541956 CPUtime=12.66 cores=4,6
/proc/30607/stat : 30607 (fscip) R 30604 30607 27893 0 -1 4194304 752349 0 0 0 1143 123 0 0 20 0 1 0 4927396 3666804736 885489 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
/proc/30607/statm: 895216 885489 2614 3035 0 891612 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 3580864 KiB
Current children cumulated memory: 3541956 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.14 4.09 5/258 30611
/proc/meminfo: memFree=101467184/131524600 swapFree=131071996/131071996
[pid=30607] ppid=30604 vsize=3911536 memory=3866584 CPUtime=25.42 cores=4,6
/proc/30607/stat : 30607 (fscip) R 30604 30607 27893 0 -1 4194304 773101 0 0 0 2407 135 0 0 20 0 1 0 4927396 4005412864 966646 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
/proc/30607/statm: 977884 966646 2726 3035 0 974280 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 3911536 KiB
Current children cumulated memory: 3866584 KiB

[startup+51.1058 s]
/proc/loadavg: 4.08 4.13 4.09 5/258 30616
/proc/meminfo: memFree=101568568/131524600 swapFree=131071996/131071996
[pid=30607] ppid=30604 vsize=3806876 memory=3762524 CPUtime=50.93 cores=4,6
/proc/30607/stat : 30607 (fscip) R 30604 30607 27893 0 -1 4194304 810559 0 0 0 4950 143 0 0 20 0 1 0 4927396 3898241024 940631 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
/proc/30607/statm: 951719 940631 2758 3035 0 948115 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 3806876 KiB
Current children cumulated memory: 3762524 KiB

[startup+102.3 s]
/proc/loadavg: 4.33 4.20 4.11 5/259 30626
/proc/meminfo: memFree=101481256/131524600 swapFree=131071996/131071996
[pid=30607] ppid=30604 vsize=3919156 memory=3847052 CPUtime=101.97 cores=4,6
/proc/30607/stat : 30607 (fscip) R 30604 30607 27893 0 -1 4194304 812040 0 0 0 10050 147 0 0 20 0 1 0 4927396 4013215744 961763 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
/proc/30607/statm: 979789 961763 2774 3035 0 976185 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 3919156 KiB
Current children cumulated memory: 3847052 KiB

[startup+162.3 s]
/proc/loadavg: 4.29 4.21 4.12 5/264 30644
/proc/meminfo: memFree=100024284/131524600 swapFree=131071996/131071996
[pid=30607] ppid=30604 vsize=5442884 memory=5298356 CPUtime=161.78 cores=4,6
/proc/30607/stat : 30607 (fscip) S 30604 30607 27893 0 -1 1077936128 1199401 0 0 0 15968 210 0 0 20 0 3 0 4927396 5573513216 1324589 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
/proc/30607/statm: 1360721 1324589 2966 3035 0 1346470 0
[pid=30607/tid=30633] ppid=30604 vsize=5442884 memory=3847848 CPUtime=27.38 cores=4,6
/proc/30607/task/30633/stat : 30633 (fscip) R 30604 30607 27893 0 -1 4194368 387196 0 0 0 2676 62 0 0 20 0 3 0 4940763 5573513216 1324589 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
[pid=30607/tid=30634] ppid=30604 vsize=5442884 memory=5298236 CPUtime=0 cores=4,6
/proc/30607/task/30634/stat : 30634 (fscip) S 30604 30607 27893 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4940976 5573513216 1324589 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 5442884 KiB
Current children cumulated memory: 5298356 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.18 4.11 6/264 30655
/proc/meminfo: memFree=99929776/131524600 swapFree=131071996/131071996
[pid=30607] ppid=30604 vsize=5573956 memory=5390620 CPUtime=221.6 cores=4,6
/proc/30607/stat : 30607 (fscip) S 30604 30607 27893 0 -1 1077936128 1356916 0 0 0 21938 222 0 0 20 0 3 0 4927396 5707730944 1347655 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
/proc/30607/statm: 1393489 1347655 3030 3035 0 1371206 0
[pid=30607/tid=30633] ppid=30604 vsize=5573956 memory=11712 CPUtime=87.15 cores=4,6
/proc/30607/task/30633/stat : 30633 (fscip) R 30604 30607 27893 0 -1 4194368 520631 0 0 0 8643 72 0 0 20 0 3 0 4940763 5707730944 1347655 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
[pid=30607/tid=30634] ppid=30604 vsize=5573956 memory=5390516 CPUtime=0 cores=4,6
/proc/30607/task/30634/stat : 30634 (fscip) S 30604 30607 27893 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 4940976 5707730944 1347655 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 5573956 KiB
Current children cumulated memory: 5390620 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/264 30665
/proc/meminfo: memFree=99880692/131524600 swapFree=131071996/131071996
[pid=30607] ppid=30604 vsize=5573956 memory=5395480 CPUtime=281.4 cores=4,6
/proc/30607/stat : 30607 (fscip) S 30604 30607 27893 0 -1 1077936128 1401415 0 0 0 27913 227 0 0 20 0 3 0 4927396 5707730944 1348870 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
/proc/30607/statm: 1393489 1348870 3030 3035 0 1372192 0
[pid=30607/tid=30633] ppid=30604 vsize=5573956 memory=5394120 CPUtime=146.95 cores=4,6
/proc/30607/task/30633/stat : 30633 (fscip) R 30604 30607 27893 0 -1 4194368 565116 0 0 0 14618 77 0 0 20 0 3 0 4940763 5707730944 1348870 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
[pid=30607/tid=30634] ppid=30604 vsize=5573956 memory=5394044 CPUtime=0 cores=4,6
/proc/30607/task/30634/stat : 30634 (fscip) S 30604 30607 27893 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 4940976 5707730944 1348870 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 5573956 KiB
Current children cumulated memory: 5395480 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.15 4.10 5/266 30678
/proc/meminfo: memFree=87653952/131524600 swapFree=131071996/131071996
[pid=30607] ppid=30604 vsize=5687624 memory=5465768 CPUtime=341.27 cores=4,6
/proc/30607/stat : 30607 (fscip) S 30604 30607 27893 0 -1 1077936128 1630333 0 0 0 33887 240 0 0 20 0 3 0 4927396 5824126976 1366442 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
/proc/30607/statm: 1421906 1366442 3030 3035 0 1401323 0
[pid=30607/tid=30633] ppid=30604 vsize=5687624 memory=5394120 CPUtime=206.82 cores=4,6
/proc/30607/task/30633/stat : 30633 (fscip) R 30604 30607 27893 0 -1 4194368 794025 0 0 0 20592 90 0 0 20 0 3 0 4940763 5824126976 1366442 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
[pid=30607/tid=30634] ppid=30604 vsize=5687624 memory=5394044 CPUtime=0 cores=4,6
/proc/30607/task/30634/stat : 30634 (fscip) S 30604 30607 27893 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 4940976 5824126976 1366442 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 5687624 KiB
Current children cumulated memory: 5465768 KiB


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

Current children cumulated memory: 5620036 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/264 32527
/proc/meminfo: memFree=114470536/131524600 swapFree=131071996/131071996
[pid=30607] ppid=30604 vsize=6119916 memory=5628072 CPUtime=3153.47 cores=4,6
/proc/30607/stat : 30607 (fscip) S 30604 30607 27893 0 -1 1077936128 4627309 0 0 0 314910 437 0 0 20 0 3 0 4927396 6266793984 1407018 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
/proc/30607/statm: 1529979 1407018 3030 3035 0 1499915 0
[pid=30607/tid=30633] ppid=30604 vsize=6119916 memory=13204 CPUtime=3018.97 cores=4,6
/proc/30607/task/30633/stat : 30633 (fscip) R 30604 30607 27893 0 -1 4194368 3790280 0 0 0 301613 284 0 0 20 0 3 0 4940763 6266793984 1407018 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
[pid=30607/tid=30634] ppid=30604 vsize=6119916 memory=11712 CPUtime=0.03 cores=4,6
/proc/30607/task/30634/stat : 30634 (fscip) S 30604 30607 27893 0 -1 1077936192 772 0 0 0 1 2 0 0 20 0 3 0 4940976 6266793984 1407018 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
Current children cumulated CPU time: 3153.47 s
Current children cumulated vsize: 6119916 KiB
Current children cumulated memory: 5628072 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/264 32538
/proc/meminfo: memFree=114461892/131524600 swapFree=131071996/131071996
[pid=30607] ppid=30604 vsize=6121504 memory=5629980 CPUtime=3213.32 cores=4,6
/proc/30607/stat : 30607 (fscip) S 30604 30607 27893 0 -1 1077936128 4630004 0 0 0 320895 437 0 0 20 0 3 0 4927396 6268420096 1407495 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
/proc/30607/statm: 1530376 1407495 3030 3035 0 1500312 0
[pid=30607/tid=30633] ppid=30604 vsize=6121504 memory=13204 CPUtime=3078.83 cores=4,6
/proc/30607/task/30633/stat : 30633 (fscip) R 30604 30607 27893 0 -1 4194368 3792962 0 0 0 307599 284 0 0 20 0 3 0 4940763 6268420096 1407495 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
[pid=30607/tid=30634] ppid=30604 vsize=6121504 memory=11712 CPUtime=0.03 cores=4,6
/proc/30607/task/30634/stat : 30634 (fscip) S 30604 30607 27893 0 -1 1077936192 785 0 0 0 1 2 0 0 20 0 3 0 4940976 6268420096 1407495 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
Current children cumulated CPU time: 3213.32 s
Current children cumulated vsize: 6121504 KiB
Current children cumulated memory: 5629980 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/264 32548
/proc/meminfo: memFree=114470292/131524600 swapFree=131071996/131071996
[pid=30607] ppid=30604 vsize=6102572 memory=5620852 CPUtime=3273.21 cores=4,6
/proc/30607/stat : 30607 (fscip) S 30604 30607 27893 0 -1 1077936128 4753396 0 0 0 326877 444 0 0 20 0 3 0 4927396 6249033728 1405213 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
/proc/30607/statm: 1525643 1405213 3030 3035 0 1509924 0
[pid=30607/tid=30633] ppid=30604 vsize=6102572 memory=11712 CPUtime=3138.71 cores=4,6
/proc/30607/task/30633/stat : 30633 (fscip) R 30604 30607 27893 0 -1 4194368 3916341 0 0 0 313580 291 0 0 20 0 3 0 4940763 6249033728 1405213 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
[pid=30607/tid=30634] ppid=30604 vsize=6102572 memory=5620852 CPUtime=0.03 cores=4,6
/proc/30607/task/30634/stat : 30634 (fscip) S 30604 30607 27893 0 -1 1077936192 798 0 0 0 1 2 0 0 20 0 3 0 4940976 6249033728 1405213 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
Current children cumulated CPU time: 3273.21 s
Current children cumulated vsize: 6102572 KiB
Current children cumulated memory: 5620852 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 32558
/proc/meminfo: memFree=114470492/131524600 swapFree=131071996/131071996
[pid=30607] ppid=30604 vsize=6198972 memory=5625520 CPUtime=3333.07 cores=4,6
/proc/30607/stat : 30607 (fscip) S 30604 30607 27893 0 -1 1077936128 4812111 0 0 0 332858 449 0 0 20 0 3 0 4927396 6347747328 1406380 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
/proc/30607/statm: 1549743 1406380 3030 3035 0 1534024 0
[pid=30607/tid=30633] ppid=30604 vsize=6198972 memory=5625140 CPUtime=3198.58 cores=4,6
/proc/30607/task/30633/stat : 30633 (fscip) R 30604 30607 27893 0 -1 4194368 3975047 0 0 0 319562 296 0 0 20 0 3 0 4940763 6347747328 1406380 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
[pid=30607/tid=30634] ppid=30604 vsize=6198972 memory=11712 CPUtime=0.03 cores=4,6
/proc/30607/task/30634/stat : 30634 (fscip) S 30604 30607 27893 0 -1 1077936192 807 0 0 0 1 2 0 0 20 0 3 0 4940976 6347747328 1406380 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
Current children cumulated CPU time: 3333.07 s
Current children cumulated vsize: 6198972 KiB
Current children cumulated memory: 5625520 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 32571
/proc/meminfo: memFree=114466168/131524600 swapFree=131071996/131071996
[pid=30607] ppid=30604 vsize=6295400 memory=5629068 CPUtime=3392.93 cores=4,6
/proc/30607/stat : 30607 (fscip) S 30604 30607 27893 0 -1 1077936128 4866626 0 0 0 338841 452 0 0 20 0 3 0 4927396 6446489600 1407267 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
/proc/30607/statm: 1573850 1407267 3030 3035 0 1558132 0
[pid=30607/tid=30633] ppid=30604 vsize=6295400 memory=5628104 CPUtime=3258.44 cores=4,6
/proc/30607/task/30633/stat : 30633 (fscip) R 30604 30607 27893 0 -1 4194368 4029555 0 0 0 325545 299 0 0 20 0 3 0 4940763 6446489600 1407267 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
[pid=30607/tid=30634] ppid=30604 vsize=6295400 memory=5492 CPUtime=0.03 cores=4,6
/proc/30607/task/30634/stat : 30634 (fscip) S 30604 30607 27893 0 -1 1077936192 814 0 0 0 1 2 0 0 20 0 3 0 4940976 6446489600 1407267 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
Current children cumulated CPU time: 3392.93 s
Current children cumulated vsize: 6295400 KiB
Current children cumulated memory: 5629068 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/262 32581
/proc/meminfo: memFree=114464060/131524600 swapFree=131071996/131071996
[pid=30607] ppid=30604 vsize=6488280 memory=5630528 CPUtime=3452.81 cores=4,6
/proc/30607/stat : 30607 (fscip) S 30604 30607 27893 0 -1 1077936128 4935457 0 0 0 344824 457 0 0 20 0 3 0 4927396 6643998720 1407632 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
/proc/30607/statm: 1622070 1407632 3030 3035 0 1606583 0
[pid=30607/tid=30633] ppid=30604 vsize=6488280 memory=11712 CPUtime=3318.31 cores=4,6
/proc/30607/task/30633/stat : 30633 (fscip) R 30604 30607 27893 0 -1 4194368 4098376 0 0 0 331527 304 0 0 20 0 3 0 4940763 6643998720 1407632 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
[pid=30607/tid=30634] ppid=30604 vsize=6488280 memory=5630524 CPUtime=0.04 cores=4,6
/proc/30607/task/30634/stat : 30634 (fscip) S 30604 30607 27893 0 -1 1077936192 824 0 0 0 1 3 0 0 20 0 3 0 4940976 6643998720 1407632 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
Current children cumulated CPU time: 3452.81 s
Current children cumulated vsize: 6488280 KiB
Current children cumulated memory: 5630528 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/262 32591
/proc/meminfo: memFree=114463252/131524600 swapFree=131071996/131071996
[pid=30607] ppid=30604 vsize=6632928 memory=5630540 CPUtime=3512.68 cores=4,6
/proc/30607/stat : 30607 (fscip) S 30604 30607 27893 0 -1 1077936128 4979370 0 0 0 350808 460 0 0 20 0 3 0 4927396 6792118272 1407635 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
/proc/30607/statm: 1658232 1407635 3030 3035 0 1642745 0
[pid=30607/tid=30633] ppid=30604 vsize=6632928 memory=5492 CPUtime=3378.18 cores=4,6
/proc/30607/task/30633/stat : 30633 (fscip) R 30604 30607 27893 0 -1 4194368 4142278 0 0 0 337511 307 0 0 20 0 3 0 4940763 6792118272 1407635 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
[pid=30607/tid=30634] ppid=30604 vsize=6632928 memory=5630540 CPUtime=0.04 cores=4,6
/proc/30607/task/30634/stat : 30634 (fscip) S 30604 30607 27893 0 -1 1077936192 835 0 0 0 1 3 0 0 20 0 3 0 4940976 6792118272 1407635 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
Current children cumulated CPU time: 3512.68 s
Current children cumulated vsize: 6632928 KiB
Current children cumulated memory: 5630540 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/262 32604
/proc/meminfo: memFree=114461712/131524600 swapFree=131071996/131071996
[pid=30607] ppid=30604 vsize=6729324 memory=5631080 CPUtime=3572.53 cores=4,6
/proc/30607/stat : 30607 (fscip) S 30604 30607 27893 0 -1 1077936128 5001218 0 0 0 356792 461 0 0 20 0 3 0 4927396 6890827776 1407770 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
/proc/30607/statm: 1682331 1407770 3030 3035 0 1666844 0
[pid=30607/tid=30633] ppid=30604 vsize=6729324 memory=1836 CPUtime=3438.03 cores=4,6
/proc/30607/task/30633/stat : 30633 (fscip) R 30604 30607 27893 0 -1 4194368 4164122 0 0 0 343495 308 0 0 20 0 3 0 4940763 6890827776 1407770 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
[pid=30607/tid=30634] ppid=30604 vsize=6729324 memory=5631080 CPUtime=0.04 cores=4,6
/proc/30607/task/30634/stat : 30634 (fscip) S 30604 30607 27893 0 -1 1077936192 839 0 0 0 1 3 0 0 20 0 3 0 4940976 6890827776 1407770 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
Current children cumulated CPU time: 3572.53 s
Current children cumulated vsize: 6729324 KiB
Current children cumulated memory: 5631080 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.11 4.10 4.09 5/262 32608
/proc/meminfo: memFree=114461424/131524600 swapFree=131071996/131071996
[pid=30607] ppid=30604 vsize=6729324 memory=5631080 CPUtime=3600.07 cores=4,6
/proc/30607/stat : 30607 (fscip) S 30604 30607 27893 0 -1 1077936128 5002318 0 0 0 359546 461 0 0 20 0 3 0 4927396 6890827776 1407770 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
/proc/30607/statm: 1682331 1407770 3030 3035 0 1666844 0
[pid=30607/tid=30633] ppid=30604 vsize=6729324 memory=5631080 CPUtime=3465.57 cores=4,6
/proc/30607/task/30633/stat : 30633 (fscip) R 30604 30607 27893 0 -1 4194368 4165216 0 0 0 346249 308 0 0 20 0 3 0 4940763 6890827776 1407770 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
[pid=30607/tid=30634] ppid=30604 vsize=6729324 memory=5631080 CPUtime=0.04 cores=4,6
/proc/30607/task/30634/stat : 30634 (fscip) S 30604 30607 27893 0 -1 1077936192 845 0 0 0 1 3 0 0 20 0 3 0 4940976 6890827776 1407770 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 6729324 KiB
Current children cumulated memory: 5631080 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.47 s, system=4.68309 s

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

[startup+3609.9 s]
/proc/loadavg: 4.11 4.10 4.09 5/262 32608
/proc/meminfo: memFree=114461424/131524600 swapFree=131071996/131071996
[pid=30607] ppid=30604 vsize=6729324 memory=5631080 CPUtime=3600.07 cores=4,6
/proc/30607/stat : 30607 (fscip) S 30604 30607 27893 0 -1 1077936128 5002318 0 0 0 359546 461 0 0 20 0 3 0 4927396 6890827776 1407770 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
/proc/30607/statm: 1682331 1407770 3030 3035 0 1666844 0
[pid=30607/tid=30633] ppid=30604 vsize=6729324 memory=5631080 CPUtime=3465.57 cores=4,6
/proc/30607/task/30633/stat : 30633 (fscip) R 30604 30607 27893 0 -1 4194368 4165216 0 0 0 346249 308 0 0 20 0 3 0 4940763 6890827776 1407770 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
[pid=30607/tid=30634] ppid=30604 vsize=6729324 memory=5631080 CPUtime=0.04 cores=4,6
/proc/30607/task/30634/stat : 30634 (fscip) S 30604 30607 27893 0 -1 1077936192 845 0 0 0 1 3 0 0 20 0 3 0 4940976 6890827776 1407770 134679101440 4194304 16623229 140733569334464 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 57237504 140733569336342 140733569336458 140733569336458 140733569343472 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 6729324 KiB
Current children cumulated memory: 5631080 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3609.97
CPU time (s): 3600.15
CPU user time (s): 3595.47
CPU system time (s): 4.68309
CPU usage (%): 99.728
Max. virtual memory (cumulated for all children) (KiB): 6729324
Max. memory (cumulated for all children) (KiB): 5633092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.47
system time used= 4.68309
maximum resident set size= 5663232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5002319
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= 3574
involuntary context switches= 1374


# summary of solver processes directly reported to runsolver:
#   pid: 30607
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3595.47
#   total CPU system time (s): 4.68309

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.36819 second user time and 16.9759 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-31 01:48:15
IDJOB=4464189
IDBENCH=158163
IDSOLVER=3092
FILE ID=nodeC020/4464189-1722383294
RUNJOBID= nodeC020-1722378594-27904
SLURM_JOB_ID= 8249843
Free space on /tmp= 889704 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/OPT-LIN/graca/normalized-ped2.G.recomb10-0.10-8.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464189-1722383294/watcher-4464189-1722383294 -o /tmp/evaluation-result-4464189-1722383294/solver-4464189-1722383294 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722378594-27904 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464189-1722383294.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= 94679b926e0f98030bd662dace4c9342
RANDOM SEED=1765878430

nodeC020.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		: 3667.789
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	: 7000.38
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		: 3688.901
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	: 7007.00
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		: 3601.778
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	: 7000.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        105332348 kB
MemAvailable:   113328004 kB
Buffers:          100456 kB
Cached:          8706412 kB
SwapCached:            0 kB
Active:           483428 kB
Inactive:       25154052 kB
Active(anon):       1568 kB
Inactive(anon): 16850380 kB
Active(file):     481860 kB
Inactive(file):  8303672 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            109152 kB
Writeback:             0 kB
AnonPages:      16828908 kB
Mapped:           123652 kB
Shmem:             21336 kB
KReclaimable:      99544 kB
Slab:             181800 kB
SReclaimable:      99544 kB
SUnreclaim:        82256 kB
KernelStack:        4144 kB
PageTables:        42332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   16710432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9824 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4747264 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:      193236 kB
DirectMap2M:    10065920 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 889888 MiB
End job on nodeC020 at 2024-07-31 02:48:25