Trace number 4434832

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? 3590.49 3601.26

General information on the benchmark

NamePB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12051_4.std.opb
MD5SUMce5fda4b250413a1cb40a57b098d0841
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark218
Best CPU time to get the best result obtained on this benchmark3600.14
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints256145
Number of constraints which are clauses254945
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint95
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
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.29/1.34	c Default LC presolving (default).
1.29/1.34	c ** Before presolving: virtualMemUsedAtLc = 759561716, getVmSize() = 492302336, SCIPgetMemUsed() = 433569199, SCIPgetMemTotal() = 449256495, SCIPgetMemExternEstim() = 310305221
1.29/1.34	c ** set memory limit for presolving in LC to 8.79587e+12 for SCIP **
20.24/20.31	c ** Estimated virtualMemUsedAtSolver = 697141856, getVmSize() = 813473792, SCIPgetMemUsed() = 493179748, SCIPgetMemTotal() = 735407564, SCIPgetMemExternEstim() = 310305221
20.24/20.31	c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
20.24/20.31	c Original Problem   :
20.24/20.31	c   Problem name     : instance-4434832-1721122863
20.24/20.31	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
20.24/20.31	c   Constraints      : 256145
20.24/20.31	c   Objective sense  : minimize
20.24/20.31	c Presolved Problem  :
20.24/20.31	c   Variables        : 53904 (53904 binary, 0 integer, 0 implicit integer, 0 continuous)
20.24/20.31	c   Constraints      : 127154
20.24/20.31	c Constraints        : Number
20.24/20.31	c   knapsack         : 1178 
20.24/20.31	c   setppc           : 102926 
20.24/20.31	c   and              : 23046 
20.24/20.31	c   logicor          : 4 
20.24/20.31	c ** Instance transfer method used: 0
20.43/20.59	c ** ParaScipInstance copy increased the number of variables. **
21.03/21.13	c LC is working with racing ramp-up and with rebuilding tree after racing.
21.03/21.13	c                                Nodes    Active                                            
21.03/21.13	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
3589.24/3600.05	c      3600              0           1         0                --179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368.0000          -
3589.72/3600.60	c SCIP Status        : c solving was interrupted [hard time limit reached]
3589.72/3600.60	c Total Time         : 3600.5900
3589.72/3600.60	c   solving          : 3600.5900
3589.72/3600.60	c   presolving       : 18.9628 (included in solving)
3589.72/3600.60	c B&B Tree           :
3589.72/3600.60	c   nodes (total)    : 1
3589.72/3600.60	c Solution           :
3589.72/3600.60	c   Solutions found  : 0
3589.72/3600.60	c   Primal Bound     :          -
3589.72/3600.60	c   Dual Bound       :          -
3589.72/3600.60	c Gap                :          -
3590.42/3601.25	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: 64059 MiB (61361 MiB free)
  memory of node 1: 64510 MiB (60363 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100109 s]*
/proc/loadavg: 4.13 4.15 4.17 5/247 837483
/proc/meminfo: memFree=124601424/131655788 swapFree=131071996/131071996
[pid=837482] ppid=837479 vsize=69820 memory=57912 CPUtime=0.1 cores=1,3
/proc/837482/stat : 837482 (fscip) R 837479 837482 832856 0 -1 4194304 12363 0 0 0 8 2 0 0 20 0 1 0 164443269 71495680 14478 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
/proc/837482/statm: 17455 14478 2318 3032 0 13855 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 69820 KiB
Current children cumulated memory: 57912 KiB

[startup+0.213132 s]*
/proc/loadavg: 4.13 4.15 4.17 5/247 837483
/proc/meminfo: memFree=124573004/131655788 swapFree=131071996/131071996
[pid=837482] ppid=837479 vsize=95168 memory=83568 CPUtime=0.22 cores=1,3
/proc/837482/stat : 837482 (fscip) R 837479 837482 832856 0 -1 4194304 18830 0 0 0 19 3 0 0 20 0 1 0 164443269 97452032 20892 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
/proc/837482/statm: 23792 20892 2318 3032 0 20192 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 95168 KiB
Current children cumulated memory: 83568 KiB

[startup+0.313088 s]*
/proc/loadavg: 4.13 4.15 4.17 5/247 837483
/proc/meminfo: memFree=124555056/131655788 swapFree=131071996/131071996
[pid=837482] ppid=837479 vsize=112332 memory=100804 CPUtime=0.32 cores=1,3
/proc/837482/stat : 837482 (fscip) R 837479 837482 832856 0 -1 4194304 23088 0 0 0 28 4 0 0 20 0 1 0 164443269 115027968 25201 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
/proc/837482/statm: 28083 25201 2318 3032 0 24483 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 112332 KiB
Current children cumulated memory: 100804 KiB

[startup+0.700365 s]
/proc/loadavg: 4.13 4.15 4.17 5/247 837483
/proc/meminfo: memFree=124509220/131655788 swapFree=131071996/131071996
[pid=837482] ppid=837479 vsize=204636 memory=192612 CPUtime=0.68 cores=1,3
/proc/837482/stat : 837482 (fscip) R 837479 837482 832856 0 -1 4194304 45589 0 0 0 60 8 0 0 20 0 1 0 164443269 209547264 48153 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
/proc/837482/statm: 51159 48153 2318 3032 0 47559 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 204636 KiB
Current children cumulated memory: 192612 KiB

[startup+1.50034 s]
/proc/loadavg: 4.13 4.15 4.17 5/247 837483
/proc/meminfo: memFree=124321560/131655788 swapFree=131071996/131071996
[pid=837482] ppid=837479 vsize=500120 memory=485708 CPUtime=1.49 cores=1,3
/proc/837482/stat : 837482 (fscip) R 837479 837482 832856 0 -1 4194304 119317 0 0 0 128 21 0 0 20 0 1 0 164443269 512122880 121427 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
/proc/837482/statm: 125030 121427 2606 3032 0 121430 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 500120 KiB
Current children cumulated memory: 485708 KiB

[startup+3.11289 s]
/proc/loadavg: 4.12 4.15 4.17 5/247 837483
/proc/meminfo: memFree=124016392/131655788 swapFree=131071996/131071996
[pid=837482] ppid=837479 vsize=656368 memory=638536 CPUtime=3.09 cores=1,3
/proc/837482/stat : 837482 (fscip) R 837479 837482 832856 0 -1 4194304 143530 0 0 0 282 27 0 0 20 0 1 0 164443269 672120832 159634 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
/proc/837482/statm: 164092 159634 2686 3032 0 160492 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 656368 KiB
Current children cumulated memory: 638536 KiB

[startup+6.30032 s]
/proc/loadavg: 4.12 4.15 4.17 5/247 837484
/proc/meminfo: memFree=124016196/131655788 swapFree=131071996/131071996
[pid=837482] ppid=837479 vsize=656368 memory=638536 CPUtime=6.28 cores=1,3
/proc/837482/stat : 837482 (fscip) R 837479 837482 832856 0 -1 4194304 143568 0 0 0 600 28 0 0 20 0 1 0 164443269 672120832 159634 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
/proc/837482/statm: 164092 159634 2686 3032 0 160492 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 656368 KiB
Current children cumulated memory: 638536 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.14 4.17 5/247 837484
/proc/meminfo: memFree=124016132/131655788 swapFree=131071996/131071996
[pid=837482] ppid=837479 vsize=656368 memory=638620 CPUtime=12.66 cores=1,3
/proc/837482/stat : 837482 (fscip) R 837479 837482 832856 0 -1 4194304 143610 0 0 0 1238 28 0 0 20 0 1 0 164443269 672120832 159655 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
/proc/837482/statm: 164092 159655 2702 3032 0 160492 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 656368 KiB
Current children cumulated memory: 638620 KiB

[startup+25.501 s]
/proc/loadavg: 4.08 4.14 4.17 5/249 837488
/proc/meminfo: memFree=123366936/131655788 swapFree=131071996/131071996
[pid=837482] ppid=837479 vsize=1463068 memory=1285000 CPUtime=25.37 cores=1,3
/proc/837482/stat : 837482 (fscip) S 837479 837482 832856 0 -1 1077936128 326572 0 0 0 2472 65 0 0 20 0 3 0 164443269 1498181632 321250 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
/proc/837482/statm: 365767 321250 2798 3032 0 347068 0
[pid=837482/tid=837487] ppid=837479 vsize=1463068 memory=903536 CPUtime=4.84 cores=1,3
/proc/837482/task/837487/stat : 837487 (fscip) R 837479 837482 832856 0 -1 4194368 112911 0 0 0 459 25 0 0 20 0 3 0 164445301 1498181632 321250 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
[pid=837482/tid=837488] ppid=837479 vsize=1463068 memory=11404 CPUtime=0 cores=1,3
/proc/837482/task/837488/stat : 837488 (fscip) S 837479 837482 832856 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 164445384 1498181632 321250 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1463068 KiB
Current children cumulated memory: 1285000 KiB

[startup+51.1131 s]
/proc/loadavg: 4.19 4.16 4.17 5/249 837492
/proc/meminfo: memFree=123363716/131655788 swapFree=131071996/131071996
[pid=837482] ppid=837479 vsize=1463068 memory=1288196 CPUtime=50.87 cores=1,3
/proc/837482/stat : 837482 (fscip) S 837479 837482 832856 0 -1 1077936128 416138 0 0 0 5015 72 0 0 20 0 3 0 164443269 1498181632 322049 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
/proc/837482/statm: 365767 322049 2798 3032 0 347836 0
[pid=837482/tid=837487] ppid=837479 vsize=1463068 memory=0 CPUtime=30.33 cores=1,3
/proc/837482/task/837487/stat : 837487 (fscip) R 837479 837482 832856 0 -1 4194368 202468 0 0 0 3002 31 0 0 20 0 3 0 164445301 1498181632 322049 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
[pid=837482/tid=837488] ppid=837479 vsize=1463068 memory=41484 CPUtime=0 cores=1,3
/proc/837482/task/837488/stat : 837488 (fscip) S 837479 837482 832856 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 164445384 1498181632 322049 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 1463068 KiB
Current children cumulated memory: 1288196 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.16 4.17 5/249 837549
/proc/meminfo: memFree=122720220/131655788 swapFree=131071996/131071996
[pid=837482] ppid=837479 vsize=1735668 memory=1550744 CPUtime=101.91 cores=1,3
/proc/837482/stat : 837482 (fscip) S 837479 837482 832856 0 -1 1077936128 561764 0 0 0 10102 89 0 0 20 0 3 0 164443269 1777324032 387686 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
/proc/837482/statm: 433917 387686 2910 3032 0 413977 0
[pid=837482/tid=837487] ppid=837479 vsize=1735668 memory=41484 CPUtime=81.36 cores=1,3
/proc/837482/task/837487/stat : 837487 (fscip) R 837479 837482 832856 0 -1 4194368 348075 0 0 0 8088 48 0 0 20 0 3 0 164445301 1777324032 387686 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
[pid=837482/tid=837488] ppid=837479 vsize=1735668 memory=11404 CPUtime=0 cores=1,3
/proc/837482/task/837488/stat : 837488 (fscip) S 837479 837482 832856 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 164445384 1777324032 387686 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 1735668 KiB
Current children cumulated memory: 1550744 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.16 4.17 5/249 837559
/proc/meminfo: memFree=122227496/131655788 swapFree=131071996/131071996
[pid=837482] ppid=837479 vsize=1735668 memory=1550912 CPUtime=161.74 cores=1,3
/proc/837482/stat : 837482 (fscip) S 837479 837482 832856 0 -1 1077936128 582507 0 0 0 16082 92 0 0 20 0 3 0 164443269 1777324032 387728 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
/proc/837482/statm: 433917 387728 2910 3032 0 414013 0
[pid=837482/tid=837487] ppid=837479 vsize=1735668 memory=11404 CPUtime=141.19 cores=1,3
/proc/837482/task/837487/stat : 837487 (fscip) R 837479 837482 832856 0 -1 4194368 368804 0 0 0 14068 51 0 0 20 0 3 0 164445301 1777324032 387728 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
[pid=837482/tid=837488] ppid=837479 vsize=1735668 memory=41484 CPUtime=0 cores=1,3
/proc/837482/task/837488/stat : 837488 (fscip) S 837479 837482 832856 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 164445384 1777324032 387728 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 1735668 KiB
Current children cumulated memory: 1550912 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/251 837573
/proc/meminfo: memFree=121718976/131655788 swapFree=131071996/131071996
[pid=837482] ppid=837479 vsize=1735668 memory=1551760 CPUtime=221.56 cores=1,3
/proc/837482/stat : 837482 (fscip) S 837479 837482 832856 0 -1 1077936128 604122 0 0 0 22061 95 0 0 20 0 3 0 164443269 1777324032 387940 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
/proc/837482/statm: 433917 387940 2910 3032 0 414888 0
[pid=837482/tid=837487] ppid=837479 vsize=1735668 memory=41484 CPUtime=201.01 cores=1,3
/proc/837482/task/837487/stat : 837487 (fscip) R 837479 837482 832856 0 -1 4194368 390409 0 0 0 20047 54 0 0 20 0 3 0 164445301 1777324032 387940 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
[pid=837482/tid=837488] ppid=837479 vsize=1735668 memory=1551760 CPUtime=0 cores=1,3
/proc/837482/task/837488/stat : 837488 (fscip) S 837479 837482 832856 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 164445384 1777324032 387940 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 1735668 KiB
Current children cumulated memory: 1551760 KiB

[startup+282.3 s]
/proc/loadavg: 4.56 4.26 4.21 5/252 837584
/proc/meminfo: memFree=121588484/131655788 swapFree=131071996/131071996
[pid=837482] ppid=837479 vsize=1735668 memory=1551908 CPUtime=281.39 cores=1,3
/proc/837482/stat : 837482 (fscip) S 837479 837482 832856 0 -1 1077936128 613961 0 0 0 28043 96 0 0 20 0 3 0 164443269 1777324032 387977 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
/proc/837482/statm: 433917 387977 2910 3032 0 414888 0
[pid=837482/tid=837487] ppid=837479 vsize=1735668 memory=1551760 CPUtime=260.84 cores=1,3
/proc/837482/task/837487/stat : 837487 (fscip) R 837479 837482 832856 0 -1 4194368 400241 0 0 0 26029 55 0 0 20 0 3 0 164445301 1777324032 387977 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
[pid=837482/tid=837488] ppid=837479 vsize=1735668 memory=1551908 CPUtime=0 cores=1,3
/proc/837482/task/837488/stat : 837488 (fscip) S 837479 837482 832856 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 164445384 1777324032 387977 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 1735668 KiB
Current children cumulated memory: 1551908 KiB

[startup+342.3 s]
/proc/loadavg: 4.65 4.36 4.25 5/250 837594

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

Current children cumulated vsize: 1735668 KiB
Current children cumulated memory: 1579292 KiB

[startup+3402.3 s]
/proc/loadavg: 4.65 4.33 4.23 5/249 840792
/proc/meminfo: memFree=98871408/131655788 swapFree=131071996/131071996
[pid=837482] ppid=837479 vsize=1735668 memory=1579340 CPUtime=3392.19 cores=1,3
/proc/837482/stat : 837482 (fscip) S 837479 837482 832856 0 -1 1077936128 1004251 0 0 0 339080 139 0 0 20 0 3 0 164443269 1777324032 394835 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
/proc/837482/statm: 433917 394835 2910 3032 0 415686 0
[pid=837482/tid=837487] ppid=837479 vsize=1735668 memory=1579336 CPUtime=3371.58 cores=1,3
/proc/837482/task/837487/stat : 837487 (fscip) R 837479 837482 832856 0 -1 4194368 789967 0 0 0 337064 94 0 0 20 0 3 0 164445301 1777324032 394835 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
[pid=837482/tid=837488] ppid=837479 vsize=1735668 memory=1579336 CPUtime=0.07 cores=1,3
/proc/837482/task/837488/stat : 837488 (fscip) S 837479 837482 832856 0 -1 1077936192 627 0 0 0 2 5 0 0 20 0 3 0 164445384 1777324032 394835 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
Current children cumulated CPU time: 3392.19 s
Current children cumulated vsize: 1735668 KiB
Current children cumulated memory: 1579340 KiB

[startup+3462.3 s]
/proc/loadavg: 4.28 4.29 4.22 5/249 840802
/proc/meminfo: memFree=98868448/131655788 swapFree=131071996/131071996
[pid=837482] ppid=837479 vsize=1735668 memory=1579360 CPUtime=3451.99 cores=1,3
/proc/837482/stat : 837482 (fscip) S 837479 837482 832856 0 -1 1077936128 1005481 0 0 0 345059 140 0 0 20 0 3 0 164443269 1777324032 394840 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
/proc/837482/statm: 433917 394840 2910 3032 0 415695 0
[pid=837482/tid=837487] ppid=837479 vsize=1735668 memory=1579360 CPUtime=3431.37 cores=1,3
/proc/837482/task/837487/stat : 837487 (fscip) R 837479 837482 832856 0 -1 4194368 791187 0 0 0 343043 94 0 0 20 0 3 0 164445301 1777324032 394840 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
[pid=837482/tid=837488] ppid=837479 vsize=1735668 memory=-7737878667768128889 CPUtime=0.07 cores=1,3
/proc/837482/task/837488/stat : 837488 (fscip) S 837479 837482 832856 0 -1 1077936192 637 0 0 0 2 5 0 0 20 0 3 0 164445384 1777324032 394840 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
Current children cumulated CPU time: 3451.99 s
Current children cumulated vsize: 1735668 KiB
Current children cumulated memory: 1579360 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.26 4.22 5/249 840812
/proc/meminfo: memFree=98865768/131655788 swapFree=131071996/131071996
[pid=837482] ppid=837479 vsize=1735668 memory=1581616 CPUtime=3511.79 cores=1,3
/proc/837482/stat : 837482 (fscip) S 837479 837482 832856 0 -1 1077936128 1008015 0 0 0 351039 140 0 0 20 0 3 0 164443269 1777324032 395404 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
/proc/837482/statm: 433917 395404 2910 3032 0 416255 0
[pid=837482/tid=837487] ppid=837479 vsize=1735668 memory=11404 CPUtime=3491.17 cores=1,3
/proc/837482/task/837487/stat : 837487 (fscip) R 837479 837482 832856 0 -1 4194368 793710 0 0 0 349023 94 0 0 20 0 3 0 164445301 1777324032 395404 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
[pid=837482/tid=837488] ppid=837479 vsize=1735668 memory=1581612 CPUtime=0.07 cores=1,3
/proc/837482/task/837488/stat : 837488 (fscip) S 837479 837482 832856 0 -1 1077936192 648 0 0 0 2 5 0 0 20 0 3 0 164445384 1777324032 395404 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
Current children cumulated CPU time: 3511.79 s
Current children cumulated vsize: 1735668 KiB
Current children cumulated memory: 1581616 KiB

[startup+3582.3 s]
/proc/loadavg: 3.52 4.06 4.15 4/242 840857
/proc/meminfo: memFree=100848468/131655788 swapFree=131071996/131071996
[pid=837482] ppid=837479 vsize=1735668 memory=1581704 CPUtime=3571.59 cores=1,3
/proc/837482/stat : 837482 (fscip) S 837479 837482 832856 0 -1 1077936128 1011040 0 0 0 357019 140 0 0 20 0 3 0 164443269 1777324032 395426 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
/proc/837482/statm: 433917 395426 2910 3032 0 416277 0
[pid=837482/tid=837487] ppid=837479 vsize=1735668 memory=1581612 CPUtime=3550.97 cores=1,3
/proc/837482/task/837487/stat : 837487 (fscip) R 837479 837482 832856 0 -1 4194368 796721 0 0 0 355003 94 0 0 20 0 3 0 164445301 1777324032 395426 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
[pid=837482/tid=837488] ppid=837479 vsize=1735668 memory=11404 CPUtime=0.07 cores=1,3
/proc/837482/task/837488/stat : 837488 (fscip) S 837479 837482 832856 0 -1 1077936192 662 0 0 0 2 5 0 0 20 0 3 0 164445384 1777324032 395426 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
Current children cumulated CPU time: 3571.59 s
Current children cumulated vsize: 1735668 KiB
Current children cumulated memory: 1581704 KiB

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

# cumulated CPU time of all completed processes:  user=3589.05 s, system=1.43887 s

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

[startup+3584 s]*
/proc/loadavg: 3.52 4.06 4.15 4/242 840857
/proc/meminfo: memFree=100848436/131655788 swapFree=131071996/131071996
[pid=837482] ppid=837479 vsize=1735668 memory=1581704 CPUtime=3573.29 cores=1,3
/proc/837482/stat : 837482 (fscip) S 837479 837482 832856 0 -1 1077936128 1011050 0 0 0 357189 140 0 0 20 0 3 0 164443269 1777324032 395426 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
/proc/837482/statm: 433917 395426 2910 3032 0 416277 0
[pid=837482/tid=837487] ppid=837479 vsize=1735668 memory=6720663246816755054 CPUtime=3552.67 cores=1,3
/proc/837482/task/837487/stat : 837487 (fscip) R 837479 837482 832856 0 -1 4194368 796728 0 0 0 355173 94 0 0 20 0 3 0 164445301 1777324032 395426 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
[pid=837482/tid=837488] ppid=837479 vsize=1735668 memory=-8621784580748723612 CPUtime=0.07 cores=1,3
/proc/837482/task/837488/stat : 837488 (fscip) S 837479 837482 832856 0 -1 1077936192 665 0 0 0 2 5 0 0 20 0 3 0 164445384 1777324032 395426 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
Current children cumulated CPU time: 3573.29 s
Current children cumulated vsize: 1735668 KiB
Current children cumulated memory: 1581704 KiB

[startup+3590.4 s]
/proc/loadavg: 3.48 4.04 4.14 4/242 840860
/proc/meminfo: memFree=100848200/131655788 swapFree=131071996/131071996
[pid=837482] ppid=837479 vsize=1735668 memory=1581704 CPUtime=3579.66 cores=1,3
/proc/837482/stat : 837482 (fscip) S 837479 837482 832856 0 -1 1077936128 1011157 0 0 0 357826 140 0 0 20 0 3 0 164443269 1777324032 395426 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
/proc/837482/statm: 433917 395426 2910 3032 0 416277 0
[pid=837482/tid=837487] ppid=837479 vsize=1735668 memory=11404 CPUtime=3559.04 cores=1,3
/proc/837482/task/837487/stat : 837487 (fscip) R 837479 837482 832856 0 -1 4194368 796835 0 0 0 355810 94 0 0 20 0 3 0 164445301 1777324032 395426 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
[pid=837482/tid=837488] ppid=837479 vsize=1735668 memory=1581704 CPUtime=0.07 cores=1,3
/proc/837482/task/837488/stat : 837488 (fscip) S 837479 837482 832856 0 -1 1077936192 665 0 0 0 2 5 0 0 20 0 3 0 164445384 1777324032 395426 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
Current children cumulated CPU time: 3579.66 s
Current children cumulated vsize: 1735668 KiB
Current children cumulated memory: 1581704 KiB

[startup+3596.8 s]
/proc/loadavg: 3.44 4.02 4.13 4/242 840861
/proc/meminfo: memFree=100847528/131655788 swapFree=131071996/131071996
[pid=837482] ppid=837479 vsize=1735668 memory=1581704 CPUtime=3586.04 cores=1,3
/proc/837482/stat : 837482 (fscip) S 837479 837482 832856 0 -1 1077936128 1011161 0 0 0 358464 140 0 0 20 0 3 0 164443269 1777324032 395426 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
/proc/837482/statm: 433917 395426 2910 3032 0 416281 0
[pid=837482/tid=837487] ppid=837479 vsize=1735668 memory=-6225775046558923619 CPUtime=3565.42 cores=1,3
/proc/837482/task/837487/stat : 837487 (fscip) R 837479 837482 832856 0 -1 4194368 796839 0 0 0 356448 94 0 0 20 0 3 0 164445301 1777324032 395426 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
[pid=837482/tid=837488] ppid=837479 vsize=1735668 memory=1581704 CPUtime=0.07 cores=1,3
/proc/837482/task/837488/stat : 837488 (fscip) S 837479 837482 832856 0 -1 1077936192 665 0 0 0 2 5 0 0 20 0 3 0 164445384 1777324032 395426 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
Current children cumulated CPU time: 3586.04 s
Current children cumulated vsize: 1735668 KiB
Current children cumulated memory: 1581704 KiB

[startup+3598.4 s]
/proc/loadavg: 3.41 4.01 4.13 4/242 840861
/proc/meminfo: memFree=100847500/131655788 swapFree=131071996/131071996
[pid=837482] ppid=837479 vsize=1735668 memory=1581704 CPUtime=3587.63 cores=1,3
/proc/837482/stat : 837482 (fscip) S 837479 837482 832856 0 -1 1077936128 1011161 0 0 0 358623 140 0 0 20 0 3 0 164443269 1777324032 395426 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
/proc/837482/statm: 433917 395426 2910 3032 0 416281 0
[pid=837482/tid=837487] ppid=837479 vsize=1735668 memory=41604 CPUtime=3567.01 cores=1,3
/proc/837482/task/837487/stat : 837487 (fscip) R 837479 837482 832856 0 -1 4194368 796839 0 0 0 356607 94 0 0 20 0 3 0 164445301 1777324032 395426 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
[pid=837482/tid=837488] ppid=837479 vsize=1735668 memory=12556 CPUtime=0.07 cores=1,3
/proc/837482/task/837488/stat : 837488 (fscip) S 837479 837482 832856 0 -1 1077936192 665 0 0 0 2 5 0 0 20 0 3 0 164445384 1777324032 395426 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
Current children cumulated CPU time: 3587.63 s
Current children cumulated vsize: 1735668 KiB
Current children cumulated memory: 1581704 KiB

[startup+3600 s]*
/proc/loadavg: 3.41 4.01 4.13 4/242 840861
/proc/meminfo: memFree=100847492/131655788 swapFree=131071996/131071996
[pid=837482] ppid=837479 vsize=1735668 memory=1581704 CPUtime=3589.24 cores=1,3
/proc/837482/stat : 837482 (fscip) S 837479 837482 832856 0 -1 1077936128 1011166 0 0 0 358784 140 0 0 20 0 3 0 164443269 1777324032 395426 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
/proc/837482/statm: 433917 395426 2910 3032 0 416281 0
[pid=837482/tid=837487] ppid=837479 vsize=1735668 memory=30248 CPUtime=3568.62 cores=1,3
/proc/837482/task/837487/stat : 837487 (fscip) R 837479 837482 832856 0 -1 4194368 796844 0 0 0 356768 94 0 0 20 0 3 0 164445301 1777324032 395426 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
[pid=837482/tid=837488] ppid=837479 vsize=1735668 memory=-8621784580748723612 CPUtime=0.07 cores=1,3
/proc/837482/task/837488/stat : 837488 (fscip) S 837479 837482 832856 0 -1 1077936192 665 0 0 0 2 5 0 0 20 0 3 0 164445384 1777324032 395426 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
Current children cumulated CPU time: 3589.24 s
Current children cumulated vsize: 1735668 KiB
Current children cumulated memory: 1581704 KiB

[startup+3600.8 s]
/proc/loadavg: 3.41 4.01 4.13 4/242 840861
/proc/meminfo: memFree=100847492/131655788 swapFree=131071996/131071996
[pid=837482] ppid=837479 vsize=1735668 memory=1522304 CPUtime=3590.03 cores=1,3
/proc/837482/stat : 837482 (fscip) R 837479 837482 832856 0 -1 4194304 1018340 0 0 0 358862 141 0 0 20 0 1 0 164443269 1777324032 380576 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
/proc/837482/statm: 433917 380576 2958 3032 0 412020 0
Current children cumulated CPU time: 3590.03 s
Current children cumulated vsize: 1735668 KiB
Current children cumulated memory: 1522304 KiB

[startup+3601.2 s]
/proc/loadavg: 3.41 4.01 4.13 4/240 840861
/proc/meminfo: memFree=100904552/131655788 swapFree=131071996/131071996
[pid=837482] ppid=837479 vsize=1645164 memory=1431800 CPUtime=3590.42 cores=1,3
/proc/837482/stat : 837482 (fscip) R 837479 837482 832856 0 -1 4194304 1025128 0 0 0 358900 142 0 0 20 0 1 0 164443269 1684647936 357950 134679101440 4194304 16613245 140727625380016 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 44371968 140727625384981 140727625385097 140727625385097 140727625392112 0
/proc/837482/statm: 411291 357950 2958 3032 0 389394 0
Current children cumulated CPU time: 3590.42 s
Current children cumulated vsize: 1645164 KiB
Current children cumulated memory: 1431800 KiB

Child status: 0

Real time (s): 3601.26
CPU time (s): 3590.49
CPU user time (s): 3589.05
CPU system time (s): 1.43887
CPU usage (%): 99.7008
Max. virtual memory (cumulated for all children) (KiB): 1735668
Max. memory (cumulated for all children) (KiB): 1581720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.05
system time used= 1.43887
maximum resident set size= 1581720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1028860
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= 3609
involuntary context switches= 1934


# summary of solver processes directly reported to runsolver:
#   pid: 837482
#   total CPU time (s): 3590.49
#   total CPU user time (s): 3589.05
#   total CPU system time (s): 1.43887

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8583 second user time and 37.8747 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-16 11:41:15
IDJOB=4434832
IDBENCH=149353
IDSOLVER=3064
FILE ID=nodeC012/4434832-1721122863
RUNJOBID= nodeC012-1721115597-832868
SLURM_JOB_ID= 7505652
Free space on /tmp= 723672 MiB

SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB10/OPT-LIN/oliveras/j120opt/normalized-j12051_4.std.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-4434832-1721122863/watcher-4434832-1721122863 -o /tmp/evaluation-result-4434832-1721122863/solver-4434832-1721122863 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721115597-832868 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4434832-1721122863.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= ce5fda4b250413a1cb40a57b098d0841
RANDOM SEED=36525804

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124646016 kB
MemAvailable:   128279980 kB
Buffers:          403076 kB
Cached:          4029580 kB
SwapCached:            0 kB
Active:           693872 kB
Inactive:        5691264 kB
Active(anon):       1464 kB
Inactive(anon):  1988752 kB
Active(file):     692408 kB
Inactive(file):  3702512 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             36048 kB
Writeback:             0 kB
AnonPages:       1950776 kB
Mapped:           141628 kB
Shmem:             37704 kB
KReclaimable:     158148 kB
Slab:             262236 kB
SReclaimable:     158148 kB
SUnreclaim:       104088 kB
KernelStack:        4012 kB
PageTables:        12968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1803692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52800 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1232896 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      303944 kB
DirectMap2M:    33155072 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723448 MiB
End job on nodeC012 at 2024-07-16 12:41:17