Trace number 4434849

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-02? 3591.37 3601.24

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-stp3d.opb
MD5SUMa4b0cd988cdc47ea50384dbc6c682a43
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables204880
Total number of constraints159488
Number of constraints which are clauses129232
Number of constraints which are cardinality constraints (but not clauses)5805
Number of constraints which are nor clauses,nor cardinality constraints24451
Minimum length of a constraint2
Maximum length of a constraint120
Number of terms in the objective function 75648
Biggest coefficient in the objective function 100303
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 7576266096
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 100303
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 7576266096
Number of bits of the biggest sum of numbers33
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: cdb00f34-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
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.0         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
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.2.1         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)
1.09/1.16	c Default LC presolving (default).
1.09/1.16	c ** Before presolving: virtualMemUsedAtLc = 960696777, getVmSize() = 672456704, SCIPgetMemUsed() = 623544524, SCIPgetMemTotal() = 630974068, SCIPgetMemExternEstim() = 329722709
1.09/1.16	c ** set memory limit for presolving in LC to 8.7958e+12 for SCIP **
42.34/42.59	c ** Estimated virtualMemUsedAtSolver = 868703853, getVmSize() = 1060786176, SCIPgetMemUsed() = 784296487, SCIPgetMemTotal() = 973333071, SCIPgetMemExternEstim() = 329722709
42.34/42.59	c ** set memory limit for solvers to 4.39802e+12 for each SCIP **
42.34/42.59	c Original Problem   :
42.34/42.59	c   Problem name     : instance-4434849-1721126087
42.34/42.59	c   Variables        : 204880 (204880 binary, 0 integer, 0 implicit integer, 0 continuous)
42.34/42.59	c   Constraints      : 159488
42.34/42.59	c   Objective sense  : minimize
42.34/42.59	c Presolved Problem  :
42.34/42.59	c   Variables        : 136040 (136040 binary, 0 integer, 0 implicit integer, 0 continuous)
42.34/42.59	c   Constraints      : 96859
42.34/42.59	c Constraints        : Number
42.34/42.59	c   setppc           : 72863 
42.34/42.59	c   linear           : 23996 
42.34/42.59	c ** Instance transfer method used: 0
42.74/42.95	c ** ParaScipInstance copy does not increase the number of variables. **
43.04/43.25	c LC is working with racing ramp-up and with rebuilding tree after racing.
43.04/43.25	c                                Nodes    Active                                            
43.04/43.25	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
3590.12/3600.06	c      3600              0           1         0                --179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368.0000          -
3590.82/3600.71	c SCIP Status        : c solving was interrupted [hard time limit reached]
3590.82/3600.71	c Total Time         : 3600.7100
3590.82/3600.71	c   solving          : 3600.7100
3590.82/3600.71	c   presolving       : 41.4332 (included in solving)
3590.82/3600.71	c B&B Tree           :
3590.82/3600.71	c   nodes (total)    : 1
3590.82/3600.71	c Solution           :
3590.82/3600.71	c   Solutions found  : 0
3590.82/3600.71	c   Primal Bound     :          -
3590.82/3600.71	c   Dual Bound       :          -
3590.82/3600.71	c Gap                :          -
3591.31/3601.23	s UNKNOWN

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=852814, runsolver pid=852811

[startup+0.100082 s]*
/proc/loadavg: 4.09 4.08 4.02 7/260 852816
/proc/meminfo: memFree=124614212/131524600 swapFree=131071996/131071996
[pid=852814] ppid=852811 vsize=117232 memory=102088 CPUtime=0.09 cores=5,7
/proc/852814/stat : 852814 (fscip) R 852811 852814 850721 0 -1 4194304 23420 0 0 0 6 3 0 0 20 0 1 0 164778463 120045568 25522 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
/proc/852814/statm: 29308 25522 2318 3032 0 25708 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 117232 KiB
Current children cumulated memory: 102088 KiB

[startup+0.205491 s]*
/proc/loadavg: 4.09 4.08 4.02 5/261 852817
/proc/meminfo: memFree=124542308/131524600 swapFree=131071996/131071996
[pid=852814] ppid=852811 vsize=164532 memory=149428 CPUtime=0.2 cores=5,7
/proc/852814/stat : 852814 (fscip) R 852811 852814 850721 0 -1 4194304 35267 0 0 0 15 5 0 0 20 0 1 0 164778463 168480768 37357 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
/proc/852814/statm: 41133 37357 2318 3032 0 37533 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 164532 KiB
Current children cumulated memory: 149428 KiB

[startup+0.30552 s]*
/proc/loadavg: 4.09 4.08 4.02 5/261 852817
/proc/meminfo: memFree=124449836/131524600 swapFree=131071996/131071996
[pid=852814] ppid=852811 vsize=214776 memory=199392 CPUtime=0.3 cores=5,7
/proc/852814/stat : 852814 (fscip) R 852811 852814 850721 0 -1 4194304 47786 0 0 0 23 7 0 0 20 0 1 0 164778463 219930624 49848 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
/proc/852814/statm: 53694 49848 2318 3032 0 50094 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 214776 KiB
Current children cumulated memory: 199392 KiB

[startup+0.700241 s]
/proc/loadavg: 4.09 4.08 4.02 5/261 852817
/proc/meminfo: memFree=124327308/131524600 swapFree=131071996/131071996
[pid=852814] ppid=852811 vsize=423632 memory=410784 CPUtime=0.69 cores=5,7
/proc/852814/stat : 852814 (fscip) R 852811 852814 850721 0 -1 4194304 104254 0 0 0 54 15 0 0 20 0 1 0 164778463 433799168 102696 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
/proc/852814/statm: 105908 102696 2558 3032 0 102308 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 423632 KiB
Current children cumulated memory: 410784 KiB

[startup+1.50024 s]
/proc/loadavg: 4.09 4.08 4.02 5/261 852817
/proc/meminfo: memFree=124022312/131524600 swapFree=131071996/131071996
[pid=852814] ppid=852811 vsize=709328 memory=688872 CPUtime=1.49 cores=5,7
/proc/852814/stat : 852814 (fscip) R 852811 852814 850721 0 -1 4194304 173739 0 0 0 125 24 0 0 20 0 1 0 164778463 726351872 172218 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
/proc/852814/statm: 177332 172218 2606 3032 0 173732 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 709328 KiB
Current children cumulated memory: 688872 KiB

[startup+3.10546 s]
/proc/loadavg: 4.09 4.08 4.02 5/261 852817
/proc/meminfo: memFree=123808728/131524600 swapFree=131071996/131071996
[pid=852814] ppid=852811 vsize=795780 memory=770848 CPUtime=3.08 cores=5,7
/proc/852814/stat : 852814 (fscip) R 852811 852814 850721 0 -1 4194304 200579 0 0 0 278 30 0 0 20 0 1 0 164778463 814878720 192712 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
/proc/852814/statm: 198945 192712 2702 3032 0 195345 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 795780 KiB
Current children cumulated memory: 770848 KiB

[startup+6.30025 s]
/proc/loadavg: 4.08 4.08 4.02 5/263 852821
/proc/meminfo: memFree=123572524/131524600 swapFree=131071996/131071996
[pid=852814] ppid=852811 vsize=859928 memory=829216 CPUtime=6.27 cores=5,7
/proc/852814/stat : 852814 (fscip) R 852811 852814 850721 0 -1 4194304 206502 0 0 0 595 32 0 0 20 0 1 0 164778463 880566272 207304 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
/proc/852814/statm: 214982 207304 2750 3032 0 211382 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 859928 KiB
Current children cumulated memory: 829216 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.02 5/264 852822
/proc/meminfo: memFree=123396012/131524600 swapFree=131071996/131071996
[pid=852814] ppid=852811 vsize=874508 memory=843940 CPUtime=12.64 cores=5,7
/proc/852814/stat : 852814 (fscip) R 852811 852814 850721 0 -1 4194304 210162 0 0 0 1232 32 0 0 20 0 1 0 164778463 895496192 210985 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
/proc/852814/statm: 218627 210985 2750 3032 0 215027 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 874508 KiB
Current children cumulated memory: 843940 KiB

[startup+25.5003 s]
/proc/loadavg: 4.06 4.08 4.02 5/264 852823
/proc/meminfo: memFree=123295140/131524600 swapFree=131071996/131071996
[pid=852814] ppid=852811 vsize=888816 memory=857812 CPUtime=25.41 cores=5,7
/proc/852814/stat : 852814 (fscip) R 852811 852814 850721 0 -1 4194304 213164 0 0 0 2507 34 0 0 20 0 1 0 164778463 910147584 214453 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
/proc/852814/statm: 222204 214453 2750 3032 0 218604 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 888816 KiB
Current children cumulated memory: 857812 KiB

[startup+51.1056 s]
/proc/loadavg: 4.10 4.09 4.02 5/266 852830
/proc/meminfo: memFree=122494952/131524600 swapFree=131071996/131071996
[pid=852814] ppid=852811 vsize=1814400 memory=1649220 CPUtime=50.89 cores=5,7
/proc/852814/stat : 852814 (fscip) S 852811 852814 850721 0 -1 1077936128 418549 0 0 0 5021 68 0 0 20 0 3 0 164778463 1857945600 412305 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
/proc/852814/statm: 453600 412305 2798 3032 0 441047 0
[pid=852814/tid=852827] ppid=852811 vsize=1814400 memory=1642096 CPUtime=8.08 cores=5,7
/proc/852814/task/852827/stat : 852827 (fscip) R 852811 852814 850721 0 -1 4194368 140387 0 0 0 786 22 0 0 20 0 3 0 164782723 1857945600 412305 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
[pid=852814/tid=852828] ppid=852811 vsize=1814400 memory=869056 CPUtime=0 cores=5,7
/proc/852814/task/852828/stat : 852828 (fscip) S 852811 852814 850721 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 164782790 1857945600 412305 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1814400 KiB
Current children cumulated memory: 1649220 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.10 4.03 5/264 852838
/proc/meminfo: memFree=122077440/131524600 swapFree=131071996/131071996
[pid=852814] ppid=852811 vsize=2207616 memory=1996852 CPUtime=101.92 cores=5,7
/proc/852814/stat : 852814 (fscip) S 852811 852814 850721 0 -1 1077936128 716874 0 0 0 10095 97 0 0 20 0 3 0 164778463 2260598784 499213 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
/proc/852814/statm: 551904 499213 2910 3032 0 529959 0
[pid=852814/tid=852827] ppid=852811 vsize=2207616 memory=1994476 CPUtime=59.11 cores=5,7
/proc/852814/task/852827/stat : 852827 (fscip) R 852811 852814 850721 0 -1 4194368 438692 0 0 0 5860 51 0 0 20 0 3 0 164782723 2260598784 499213 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
[pid=852814/tid=852828] ppid=852811 vsize=2207616 memory=6735269665583770266 CPUtime=0 cores=5,7
/proc/852814/task/852828/stat : 852828 (fscip) S 852811 852814 850721 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 164782790 2260598784 499213 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 2207616 KiB
Current children cumulated memory: 1996852 KiB

[startup+162.3 s]
/proc/loadavg: 4.34 4.17 4.06 5/264 852849
/proc/meminfo: memFree=121970736/131524600 swapFree=131071996/131071996
[pid=852814] ppid=852811 vsize=2207616 memory=2001500 CPUtime=161.71 cores=5,7
/proc/852814/stat : 852814 (fscip) S 852811 852814 850721 0 -1 1077936128 738700 0 0 0 16072 99 0 0 20 0 3 0 164778463 2260598784 500375 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
/proc/852814/statm: 551904 500375 2910 3032 0 530721 0
[pid=852814/tid=852827] ppid=852811 vsize=2207616 memory=12312 CPUtime=118.9 cores=5,7
/proc/852814/task/852827/stat : 852827 (fscip) R 852811 852814 850721 0 -1 4194368 460501 0 0 0 11837 53 0 0 20 0 3 0 164782723 2260598784 500375 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
[pid=852814/tid=852828] ppid=852811 vsize=2207616 memory=2001140 CPUtime=0 cores=5,7
/proc/852814/task/852828/stat : 852828 (fscip) S 852811 852814 850721 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 164782790 2260598784 500375 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 2207616 KiB
Current children cumulated memory: 2001500 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 4.15 4.06 5/264 852859
/proc/meminfo: memFree=121956748/131524600 swapFree=131071996/131071996
[pid=852814] ppid=852811 vsize=2207616 memory=2002292 CPUtime=221.51 cores=5,7
/proc/852814/stat : 852814 (fscip) S 852811 852814 850721 0 -1 1077936128 758885 0 0 0 22050 101 0 0 20 0 3 0 164778463 2260598784 500573 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
/proc/852814/statm: 551904 500573 2910 3032 0 530868 0
[pid=852814/tid=852827] ppid=852811 vsize=2207616 memory=2001760 CPUtime=178.7 cores=5,7
/proc/852814/task/852827/stat : 852827 (fscip) R 852811 852814 850721 0 -1 4194368 480672 0 0 0 17815 55 0 0 20 0 3 0 164782723 2260598784 500573 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
[pid=852814/tid=852828] ppid=852811 vsize=2207616 memory=12340 CPUtime=0 cores=5,7
/proc/852814/task/852828/stat : 852828 (fscip) S 852811 852814 850721 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 3 0 164782790 2260598784 500573 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 2207616 KiB
Current children cumulated memory: 2002292 KiB

[startup+282.3 s]
/proc/loadavg: 4.57 4.26 4.10 5/264 852869
/proc/meminfo: memFree=121918720/131524600 swapFree=131071996/131071996
[pid=852814] ppid=852811 vsize=2207616 memory=2002476 CPUtime=281.31 cores=5,7
/proc/852814/stat : 852814 (fscip) S 852811 852814 850721 0 -1 1077936128 782591 0 0 0 28027 104 0 0 20 0 3 0 164778463 2260598784 500619 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
/proc/852814/statm: 551904 500619 2910 3032 0 530894 0
[pid=852814/tid=852827] ppid=852811 vsize=2207616 memory=2002472 CPUtime=238.5 cores=5,7
/proc/852814/task/852827/stat : 852827 (fscip) R 852811 852814 850721 0 -1 4194368 504367 0 0 0 23792 58 0 0 20 0 3 0 164782723 2260598784 500619 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
[pid=852814/tid=852828] ppid=852811 vsize=2207616 memory=2002476 CPUtime=0 cores=5,7
/proc/852814/task/852828/stat : 852828 (fscip) S 852811 852814 850721 0 -1 1077936192 65 0 0 0 0 0 0 0 20 0 3 0 164782790 2260598784 500619 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 2207616 KiB
Current children cumulated memory: 2002476 KiB

[startup+342.3 s]
/proc/loadavg: 4.32 4.25 4.10 5/262 852879
/proc/meminfo: memFree=121890068/131524600 swapFree=131071996/131071996
[pid=852814] ppid=852811 vsize=2207616 memory=2004564 CPUtime=341.1 cores=5,7
/proc/852814/stat : 852814 (fscip) S 852811 852814 850721 0 -1 1077936128 805821 0 0 0 34004 106 0 0 20 0 3 0 164778463 2260598784 501141 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
/proc/852814/statm: 551904 501141 2910 3032 0 530894 0

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

/proc/loadavg: 4.49 4.23 4.13 5/265 854703
/proc/meminfo: memFree=119834680/131524600 swapFree=131071996/131071996
[pid=852814] ppid=852811 vsize=2442660 memory=2298384 CPUtime=3392.96 cores=5,7
/proc/852814/stat : 852814 (fscip) S 852811 852814 850721 0 -1 1077936128 1559124 0 0 0 339085 211 0 0 20 0 3 0 164778463 2501283840 574596 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
/proc/852814/statm: 610665 574596 2942 3032 0 602587 0
[pid=852814/tid=852827] ppid=852811 vsize=2442660 memory=2298384 CPUtime=3350.11 cores=5,7
/proc/852814/task/852827/stat : 852827 (fscip) R 852811 852814 850721 0 -1 4194368 1280367 0 0 0 334849 162 0 0 20 0 3 0 164782723 2501283840 574596 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
[pid=852814/tid=852828] ppid=852811 vsize=2442660 memory=2298384 CPUtime=0.03 cores=5,7
/proc/852814/task/852828/stat : 852828 (fscip) S 852811 852814 850721 0 -1 1077936192 598 0 0 0 1 2 0 0 20 0 3 0 164782790 2501283840 574596 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
Current children cumulated CPU time: 3392.96 s
Current children cumulated vsize: 2442660 KiB
Current children cumulated memory: 2298384 KiB

[startup+3462.3 s]
/proc/loadavg: 4.41 4.27 4.15 5/265 854714
/proc/meminfo: memFree=119833800/131524600 swapFree=131071996/131071996
[pid=852814] ppid=852811 vsize=2442660 memory=2298384 CPUtime=3452.8 cores=5,7
/proc/852814/stat : 852814 (fscip) S 852811 852814 850721 0 -1 1077936128 1562851 0 0 0 345067 213 0 0 20 0 3 0 164778463 2501283840 574596 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
/proc/852814/statm: 610665 574596 2942 3032 0 602587 0
[pid=852814/tid=852827] ppid=852811 vsize=2442660 memory=2298384 CPUtime=3409.95 cores=5,7
/proc/852814/task/852827/stat : 852827 (fscip) R 852811 852814 850721 0 -1 4194368 1284087 0 0 0 340831 164 0 0 20 0 3 0 164782723 2501283840 574596 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
[pid=852814/tid=852828] ppid=852811 vsize=2442660 memory=2298384 CPUtime=0.03 cores=5,7
/proc/852814/task/852828/stat : 852828 (fscip) S 852811 852814 850721 0 -1 1077936192 605 0 0 0 1 2 0 0 20 0 3 0 164782790 2501283840 574596 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
Current children cumulated CPU time: 3452.8 s
Current children cumulated vsize: 2442660 KiB
Current children cumulated memory: 2298384 KiB

[startup+3522.3 s]
/proc/loadavg: 4.36 4.28 4.16 5/265 854724
/proc/meminfo: memFree=119830184/131524600 swapFree=131071996/131071996
[pid=852814] ppid=852811 vsize=2442660 memory=2298384 CPUtime=3512.61 cores=5,7
/proc/852814/stat : 852814 (fscip) S 852811 852814 850721 0 -1 1077936128 1571621 0 0 0 351045 216 0 0 20 0 3 0 164778463 2501283840 574596 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
/proc/852814/statm: 610665 574596 2942 3032 0 602587 0
[pid=852814/tid=852827] ppid=852811 vsize=2442660 memory=2298384 CPUtime=3469.76 cores=5,7
/proc/852814/task/852827/stat : 852827 (fscip) R 852811 852814 850721 0 -1 4194368 1292843 0 0 0 346809 167 0 0 20 0 3 0 164782723 2501283840 574596 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
[pid=852814/tid=852828] ppid=852811 vsize=2442660 memory=2298384 CPUtime=0.03 cores=5,7
/proc/852814/task/852828/stat : 852828 (fscip) S 852811 852814 850721 0 -1 1077936192 619 0 0 0 1 2 0 0 20 0 3 0 164782790 2501283840 574596 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
Current children cumulated CPU time: 3512.61 s
Current children cumulated vsize: 2442660 KiB
Current children cumulated memory: 2298384 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.24 4.15 5/263 854735
/proc/meminfo: memFree=119823828/131524600 swapFree=131071996/131071996
[pid=852814] ppid=852811 vsize=2442660 memory=2298384 CPUtime=3572.47 cores=5,7
/proc/852814/stat : 852814 (fscip) S 852811 852814 850721 0 -1 1077936128 1572309 0 0 0 357030 217 0 0 20 0 3 0 164778463 2501283840 574596 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
/proc/852814/statm: 610665 574596 2942 3032 0 602587 0
[pid=852814/tid=852827] ppid=852811 vsize=2442660 memory=2298384 CPUtime=3529.62 cores=5,7
/proc/852814/task/852827/stat : 852827 (fscip) R 852811 852814 850721 0 -1 4194368 1293524 0 0 0 352794 168 0 0 20 0 3 0 164782723 2501283840 574596 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
[pid=852814/tid=852828] ppid=852811 vsize=2442660 memory=5492 CPUtime=0.03 cores=5,7
/proc/852814/task/852828/stat : 852828 (fscip) S 852811 852814 850721 0 -1 1077936192 626 0 0 0 1 2 0 0 20 0 3 0 164782790 2501283840 574596 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
Current children cumulated CPU time: 3572.47 s
Current children cumulated vsize: 2442660 KiB
Current children cumulated memory: 2298384 KiB

[startup+3601.24 s]
# the end of solver process 852814 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3589.14 s, system=2.22226 s

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

[startup+3584 s]*
/proc/loadavg: 4.19 4.24 4.15 5/263 854735
/proc/meminfo: memFree=119823812/131524600 swapFree=131071996/131071996
[pid=852814] ppid=852811 vsize=2442660 memory=2298384 CPUtime=3574.17 cores=5,7
/proc/852814/stat : 852814 (fscip) S 852811 852814 850721 0 -1 1077936128 1572309 0 0 0 357200 217 0 0 20 0 3 0 164778463 2501283840 574596 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
/proc/852814/statm: 610665 574596 2942 3032 0 602587 0
[pid=852814/tid=852827] ppid=852811 vsize=2442660 memory=19296 CPUtime=3531.32 cores=5,7
/proc/852814/task/852827/stat : 852827 (fscip) R 852811 852814 850721 0 -1 4194368 1293524 0 0 0 352964 168 0 0 20 0 3 0 164782723 2501283840 574596 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
[pid=852814/tid=852828] ppid=852811 vsize=2442660 memory=-7449366816639837562 CPUtime=0.03 cores=5,7
/proc/852814/task/852828/stat : 852828 (fscip) S 852811 852814 850721 0 -1 1077936192 626 0 0 0 1 2 0 0 20 0 3 0 164782790 2501283840 574596 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
Current children cumulated CPU time: 3574.17 s
Current children cumulated vsize: 2442660 KiB
Current children cumulated memory: 2298384 KiB

[startup+3590.4 s]
/proc/loadavg: 4.18 4.23 4.15 5/263 854737
/proc/meminfo: memFree=119823660/131524600 swapFree=131071996/131071996
[pid=852814] ppid=852811 vsize=2442660 memory=2298384 CPUtime=3580.55 cores=5,7
/proc/852814/stat : 852814 (fscip) S 852811 852814 850721 0 -1 1077936128 1572375 0 0 0 357838 217 0 0 20 0 3 0 164778463 2501283840 574596 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
/proc/852814/statm: 610665 574596 2942 3032 0 602587 0
[pid=852814/tid=852827] ppid=852811 vsize=2442660 memory=2298384 CPUtime=3537.7 cores=5,7
/proc/852814/task/852827/stat : 852827 (fscip) R 852811 852814 850721 0 -1 4194368 1293590 0 0 0 353602 168 0 0 20 0 3 0 164782723 2501283840 574596 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
[pid=852814/tid=852828] ppid=852811 vsize=2442660 memory=2298384 CPUtime=0.03 cores=5,7
/proc/852814/task/852828/stat : 852828 (fscip) S 852811 852814 850721 0 -1 1077936192 626 0 0 0 1 2 0 0 20 0 3 0 164782790 2501283840 574596 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
Current children cumulated CPU time: 3580.55 s
Current children cumulated vsize: 2442660 KiB
Current children cumulated memory: 2298384 KiB

[startup+3596.8 s]
/proc/loadavg: 4.15 4.23 4.15 5/263 854739
/proc/meminfo: memFree=119823604/131524600 swapFree=131071996/131071996
[pid=852814] ppid=852811 vsize=2442660 memory=2298384 CPUtime=3586.93 cores=5,7
/proc/852814/stat : 852814 (fscip) S 852811 852814 850721 0 -1 1077936128 1575469 0 0 0 358476 217 0 0 20 0 3 0 164778463 2501283840 574596 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
/proc/852814/statm: 610665 574596 2942 3032 0 602587 0
[pid=852814/tid=852827] ppid=852811 vsize=2442660 memory=5568 CPUtime=3544.08 cores=5,7
/proc/852814/task/852827/stat : 852827 (fscip) R 852811 852814 850721 0 -1 4194368 1296681 0 0 0 354240 168 0 0 20 0 3 0 164782723 2501283840 574596 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
[pid=852814/tid=852828] ppid=852811 vsize=2442660 memory=-6657000199847852907 CPUtime=0.03 cores=5,7
/proc/852814/task/852828/stat : 852828 (fscip) S 852811 852814 850721 0 -1 1077936192 629 0 0 0 1 2 0 0 20 0 3 0 164782790 2501283840 574596 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
Current children cumulated CPU time: 3586.93 s
Current children cumulated vsize: 2442660 KiB
Current children cumulated memory: 2298384 KiB

[startup+3598.4 s]
/proc/loadavg: 4.15 4.23 4.15 5/263 854739
/proc/meminfo: memFree=119823524/131524600 swapFree=131071996/131071996
[pid=852814] ppid=852811 vsize=2442660 memory=2298384 CPUtime=3588.52 cores=5,7
/proc/852814/stat : 852814 (fscip) S 852811 852814 850721 0 -1 1077936128 1575475 0 0 0 358635 217 0 0 20 0 3 0 164778463 2501283840 574596 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
/proc/852814/statm: 610665 574596 2942 3032 0 602587 0
[pid=852814/tid=852827] ppid=852811 vsize=2442660 memory=2220 CPUtime=3545.67 cores=5,7
/proc/852814/task/852827/stat : 852827 (fscip) R 852811 852814 850721 0 -1 4194368 1296687 0 0 0 354399 168 0 0 20 0 3 0 164782723 2501283840 574596 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
[pid=852814/tid=852828] ppid=852811 vsize=2442660 memory=5568 CPUtime=0.03 cores=5,7
/proc/852814/task/852828/stat : 852828 (fscip) S 852811 852814 850721 0 -1 1077936192 629 0 0 0 1 2 0 0 20 0 3 0 164782790 2501283840 574596 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
Current children cumulated CPU time: 3588.52 s
Current children cumulated vsize: 2442660 KiB
Current children cumulated memory: 2298384 KiB

[startup+3600 s]*
/proc/loadavg: 4.15 4.23 4.15 5/263 854739
/proc/meminfo: memFree=119825460/131524600 swapFree=131071996/131071996
[pid=852814] ppid=852811 vsize=2442660 memory=2298384 CPUtime=3590.12 cores=5,7
/proc/852814/stat : 852814 (fscip) S 852811 852814 850721 0 -1 1077936128 1575750 0 0 0 358795 217 0 0 20 0 3 0 164778463 2501283840 574596 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
/proc/852814/statm: 610665 574596 2942 3032 0 602587 0
[pid=852814/tid=852827] ppid=852811 vsize=2442660 memory=100 CPUtime=3547.27 cores=5,7
/proc/852814/task/852827/stat : 852827 (fscip) R 852811 852814 850721 0 -1 4194368 1296962 0 0 0 354559 168 0 0 20 0 3 0 164782723 2501283840 574596 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
[pid=852814/tid=852828] ppid=852811 vsize=2442660 memory=-7449366816639837562 CPUtime=0.03 cores=5,7
/proc/852814/task/852828/stat : 852828 (fscip) S 852811 852814 850721 0 -1 1077936192 629 0 0 0 1 2 0 0 20 0 3 0 164782790 2501283840 574596 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
Current children cumulated CPU time: 3590.12 s
Current children cumulated vsize: 2442660 KiB
Current children cumulated memory: 2298384 KiB

[startup+3600.8 s]
/proc/loadavg: 4.15 4.23 4.15 5/263 854739
/proc/meminfo: memFree=119825460/131524600 swapFree=131071996/131071996
[pid=852814] ppid=852811 vsize=2104484 memory=1959524 CPUtime=3590.92 cores=5,7
/proc/852814/stat : 852814 (fscip) R 852811 852814 850721 0 -1 4194304 1597457 0 0 0 358872 220 0 0 20 0 2 0 164778463 2154991616 489881 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
/proc/852814/statm: 526121 489881 2990 3032 0 518297 0
[pid=852814/tid=852828] ppid=852811 vsize=2104484 memory=-6657000199847852907 CPUtime=0.03 cores=5,7
/proc/852814/task/852828/stat : 852828 (fscip) S 852811 852814 850721 0 -1 1077936192 629 0 0 0 1 2 0 0 20 0 2 0 164782790 2154991616 489881 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
Current children cumulated CPU time: 3590.92 s
Current children cumulated vsize: 2104484 KiB
Current children cumulated memory: 1959524 KiB

[startup+3601.2 s]
/proc/loadavg: 4.14 4.22 4.15 5/254 854820
/proc/meminfo: memFree=121958228/131524600 swapFree=131071996/131071996
[pid=852814] ppid=852811 vsize=1973084 memory=1828588 CPUtime=3591.31 cores=5,7
/proc/852814/stat : 852814 (fscip) R 852811 852814 850721 0 -1 4194304 1605862 0 0 0 358911 220 0 0 20 0 2 0 164778463 2020438016 457147 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
/proc/852814/statm: 493271 457147 2990 3032 0 485447 0
[pid=852814/tid=852828] ppid=852811 vsize=1973084 memory=30192 CPUtime=0.03 cores=5,7
/proc/852814/task/852828/stat : 852828 (fscip) S 852811 852814 850721 0 -1 1077936192 629 0 0 0 1 2 0 0 20 0 2 0 164782790 2020438016 457147 134679101440 4194304 16613245 140724963602640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 53633024 140724963611669 140724963611785 140724963611785 140724963618800 0
Current children cumulated CPU time: 3591.31 s
Current children cumulated vsize: 1973084 KiB
Current children cumulated memory: 1828588 KiB

Child status: 0

Real time (s): 3601.24
CPU time (s): 3591.37
CPU user time (s): 3589.14
CPU system time (s): 2.22226
CPU usage (%): 99.7257
Max. virtual memory (cumulated for all children) (KiB): 2508196
Max. memory (cumulated for all children) (KiB): 2298384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.14
system time used= 2.22226
maximum resident set size= 2300432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1610342
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= 3601
involuntary context switches= 2830


# summary of solver processes directly reported to runsolver:
#   pid: 852814
#   total CPU time (s): 3591.37
#   total CPU user time (s): 3589.14
#   total CPU system time (s): 2.22226

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.47707 second user time and 17.3628 second system time

The end

Launcher Data

Begin job on nodeC033 at 2024-07-16 12:35:00
IDJOB=4434849
IDBENCH=155358
IDSOLVER=3064
FILE ID=nodeC033/4434849-1721126087
RUNJOBID= nodeC033-1721122498-850734
SLURM_JOB_ID= 7505674
Free space on /tmp= 889992 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-stp3d.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-4434849-1721126087/watcher-4434849-1721126087 -o /tmp/evaluation-result-4434849-1721126087/solver-4434849-1721126087 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721122498-850734 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434849-1721126087.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= a4b0cd988cdc47ea50384dbc6c682a43
RANDOM SEED=985858961

nodeC033.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		: 3617.163
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.50
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		: 3675.836
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	: 7006.25
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		: 3665.935
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.50
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		: 3666.461
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	: 7006.25
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		: 3664.331
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.50
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		: 3672.404
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	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124779144 kB
MemAvailable:   129557652 kB
Buffers:          433864 kB
Cached:          5124924 kB
SwapCached:            0 kB
Active:           690608 kB
Inactive:        5337404 kB
Active(anon):       1588 kB
Inactive(anon):   505352 kB
Active(file):     689020 kB
Inactive(file):  4832052 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            122152 kB
Writeback:             0 kB
AnonPages:        466780 kB
Mapped:           136520 kB
Shmem:             37716 kB
KReclaimable:     194168 kB
Slab:             311448 kB
SReclaimable:     194168 kB
SUnreclaim:       117280 kB
KernelStack:        4104 kB
PageTables:         9180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     832932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62048 kB
HardwareCorrupted:     0 kB
AnonHugePages:    460800 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:      262868 kB
DirectMap2M:    25724928 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 889808 MiB
End job on nodeC033 at 2024-07-16 13:35:01