Trace number 4464496

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 NameAnswerCPU timeWall clock time
FiberSCIP 2024-07-30? 3585.36 3598.28

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K197.opb
MD5SUMcd0a69270cffb0a3df5915a64d0aa68c
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark34.2303
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables23443
Total number of constraints23839
Number of constraints which are clauses23642
Number of constraints which are cardinality constraints (but not clauses)197
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint197
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 198
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c External libraries: 
0.00/0.00	c   Soplex 7.1.1         Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 690e9e7      AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 2.4.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   Nauty 2.8.8          Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00	c   sassy 1.1            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.09/0.14	c Default LC presolving (default).
0.09/0.14	c ** Before presolving: virtualMemUsedAtLc = 136246154, getVmSize() = 115142656, SCIPgetMemUsed() = 83365838, SCIPgetMemTotal() = 90685470, SCIPgetMemExternEstim() = 45560684
0.09/0.14	c ** set memory limit for presolving in LC to 8.79605e+12 for SCIP **
56.69/56.97	c ** Estimated virtualMemUsedAtSolver = 287174339, getVmSize() = 419590144, SCIPgetMemUsed() = 291601617, SCIPgetMemTotal() = 385200825, SCIPgetMemExternEstim() = 45560684
56.69/56.97	c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
56.69/56.97	c Original Problem   :
56.69/56.97	c   Problem name     : instance-4464496-1722384880
56.69/56.97	c   Variables        : 23443 (23443 binary, 0 integer, 0 implicit integer, 0 continuous)
56.69/56.97	c   Constraints      : 23839
56.69/56.97	c   Objective sense  : minimize
56.69/56.97	c Presolved Problem  :
56.69/56.97	c   Variables        : 21868 (21868 binary, 0 integer, 0 implicit integer, 0 continuous)
56.69/56.97	c   Constraints      : 22179
56.69/56.97	c Constraints        : Number
56.69/56.97	c   knapsack         : 1 
56.69/56.97	c   setppc           : 2689 
56.69/56.97	c   orbitope         : 1 
56.69/56.97	c   logicor          : 19488 
56.69/56.97	c ** Instance transfer method used: 0
56.80/57.02	c ** ParaScipInstance copy increased the number of variables. **
56.80/57.08	c LC is working with racing ramp-up and with rebuilding tree after racing.
56.80/57.08	c                                Nodes    Active                                            
56.80/57.08	c      Time          Nodes        Left   Solvers     Best Integer        Best Node        Gap     Best Node(S)     Gap(S)
3585.09/3598.05	c      3598              0           1         0                --179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368.0000          -
3585.19/3598.18	c SCIP Status        : c solving was interrupted [hard time limit reached]
3585.19/3598.18	c Total Time         : 3598.1700
3585.19/3598.18	c   solving          : 3598.1700
3585.19/3598.18	c   presolving       : 56.8242 (included in solving)
3585.19/3598.18	c B&B Tree           :
3585.19/3598.18	c   nodes (total)    : 1
3585.19/3598.18	c Solution           :
3585.19/3598.18	c   Solutions found  : 0
3585.19/3598.18	c   Primal Bound     :          -
3585.19/3598.18	c   Dual Bound       :          -
3585.19/3598.18	c Gap                :          -
3585.28/3598.26	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 (61263 MiB free)
  memory of node 1: 64510 MiB (58089 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=32502, runsolver pid=32499

[startup+0.100603 s]*
/proc/loadavg: 4.14 4.13 4.09 5/262 32503
/proc/meminfo: memFree=122151896/131524592 swapFree=131071996/131071996
[pid=32502] ppid=32499 vsize=87356 memory=77068 CPUtime=0.09 cores=0,2
/proc/32502/stat : 32502 (fscip) R 32499 32502 29025 0 -1 4194304 17044 0 0 0 7 2 0 0 20 0 1 0 5085121 89452544 19267 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
/proc/32502/statm: 21839 19267 2539 3035 0 18235 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 87356 KiB
Current children cumulated memory: 77068 KiB

[startup+0.205462 s]*
/proc/loadavg: 4.14 4.13 4.09 5/262 32503
/proc/meminfo: memFree=122119796/131524592 swapFree=131071996/131071996
[pid=32502] ppid=32499 vsize=121432 memory=107384 CPUtime=0.19 cores=0,2
/proc/32502/stat : 32502 (fscip) R 32499 32502 29025 0 -1 4194304 24588 0 0 0 16 3 0 0 20 0 1 0 5085121 124346368 26846 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
/proc/32502/statm: 30358 26846 2598 3035 0 26754 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 121432 KiB
Current children cumulated memory: 107384 KiB

[startup+0.305485 s]*
/proc/loadavg: 4.14 4.13 4.09 5/262 32503
/proc/meminfo: memFree=122088064/131524592 swapFree=131071996/131071996
[pid=32502] ppid=32499 vsize=153184 memory=139140 CPUtime=0.3 cores=0,2
/proc/32502/stat : 32502 (fscip) R 32499 32502 29025 0 -1 4194304 33401 0 0 0 25 5 0 0 20 0 1 0 5085121 156860416 34785 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
/proc/32502/statm: 38296 34785 2662 3035 0 34692 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 153184 KiB
Current children cumulated memory: 139140 KiB

[startup+0.70023 s]
/proc/loadavg: 4.14 4.13 4.09 5/262 32503
/proc/meminfo: memFree=122087924/131524592 swapFree=131071996/131071996
[pid=32502] ppid=32499 vsize=161904 memory=148680 CPUtime=0.69 cores=0,2
/proc/32502/stat : 32502 (fscip) R 32499 32502 29025 0 -1 4194304 39087 0 0 0 63 6 0 0 20 0 1 0 5085121 165789696 37170 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
/proc/32502/statm: 40476 37170 2710 3035 0 36872 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 161904 KiB
Current children cumulated memory: 148680 KiB

[startup+1.50023 s]
/proc/loadavg: 4.14 4.13 4.09 5/262 32503
/proc/meminfo: memFree=122071744/131524592 swapFree=131071996/131071996
[pid=32502] ppid=32499 vsize=208772 memory=192640 CPUtime=1.48 cores=0,2
/proc/32502/stat : 32502 (fscip) R 32499 32502 29025 0 -1 4194304 47266 0 0 0 141 7 0 0 20 0 1 0 5085121 213782528 48160 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
/proc/32502/statm: 52193 48160 2774 3035 0 48589 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 208772 KiB
Current children cumulated memory: 192640 KiB

[startup+3.10534 s]
/proc/loadavg: 4.14 4.13 4.09 5/262 32503
/proc/meminfo: memFree=122026556/131524592 swapFree=131071996/131071996
[pid=32502] ppid=32499 vsize=217128 memory=200824 CPUtime=3.08 cores=0,2
/proc/32502/stat : 32502 (fscip) R 32499 32502 29025 0 -1 4194304 49298 0 0 0 301 7 0 0 20 0 1 0 5085121 222339072 50206 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
/proc/32502/statm: 54282 50206 2774 3035 0 50678 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 217128 KiB
Current children cumulated memory: 200824 KiB

[startup+6.30021 s]
/proc/loadavg: 4.13 4.13 4.09 5/262 32503
/proc/meminfo: memFree=122023296/131524592 swapFree=131071996/131071996
[pid=32502] ppid=32499 vsize=220488 memory=203964 CPUtime=6.27 cores=0,2
/proc/32502/stat : 32502 (fscip) R 32499 32502 29025 0 -1 4194304 50144 0 0 0 619 8 0 0 20 0 1 0 5085121 225779712 50991 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
/proc/32502/statm: 55122 50991 2774 3035 0 51518 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 220488 KiB
Current children cumulated memory: 203964 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.12 4.09 5/262 32505
/proc/meminfo: memFree=122017272/131524592 swapFree=131071996/131071996
[pid=32502] ppid=32499 vsize=226276 memory=209764 CPUtime=12.64 cores=0,2
/proc/32502/stat : 32502 (fscip) R 32499 32502 29025 0 -1 4194304 51651 0 0 0 1256 8 0 0 20 0 1 0 5085121 231706624 52441 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
/proc/32502/statm: 56569 52441 2774 3035 0 52965 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 226276 KiB
Current children cumulated memory: 209764 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.12 4.09 5/260 32553
/proc/meminfo: memFree=122517504/131524592 swapFree=131071996/131071996
[pid=32502] ppid=32499 vsize=227908 memory=211580 CPUtime=25.4 cores=0,2
/proc/32502/stat : 32502 (fscip) R 32499 32502 29025 0 -1 4194304 52086 0 0 0 2531 9 0 0 20 0 1 0 5085121 233377792 52895 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
/proc/32502/statm: 56977 52895 2774 3035 0 53373 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 227908 KiB
Current children cumulated memory: 211580 KiB

[startup+51.1055 s]
/proc/loadavg: 4.12 4.12 4.09 5/260 32557
/proc/meminfo: memFree=122502984/131524592 swapFree=131071996/131071996
[pid=32502] ppid=32499 vsize=229956 memory=213676 CPUtime=50.92 cores=0,2
/proc/32502/stat : 32502 (fscip) R 32499 32502 29025 0 -1 4194304 52602 0 0 0 5083 9 0 0 20 0 1 0 5085121 235474944 53419 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
/proc/32502/statm: 57489 53419 2774 3035 0 53885 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 229956 KiB
Current children cumulated memory: 213676 KiB

[startup+102.301 s]
/proc/loadavg: 4.10 4.12 4.09 5/262 32570
/proc/meminfo: memFree=121833180/131524592 swapFree=131071996/131071996
[pid=32502] ppid=32499 vsize=724960 memory=589612 CPUtime=101.68 cores=0,2
/proc/32502/stat : 32502 (fscip) S 32499 32502 29025 0 -1 1077936128 241563 0 0 0 10139 29 0 0 20 0 3 0 5085121 742359040 147403 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
/proc/32502/statm: 181240 147403 2966 3035 0 170468 0
[pid=32502/tid=32558] ppid=32499 vsize=724960 memory=589564 CPUtime=44.85 cores=0,2
/proc/32502/task/32558/stat : 32558 (fscip) R 32499 32502 29025 0 -1 4194368 152377 0 0 0 4471 14 0 0 20 0 3 0 5090818 742359040 147403 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
[pid=32502/tid=32561] ppid=32499 vsize=724960 memory=589512 CPUtime=0 cores=0,2
/proc/32502/task/32561/stat : 32561 (fscip) S 32499 32502 29025 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 5090830 742359040 147403 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
Current children cumulated CPU time: 101.68 s
Current children cumulated vsize: 724960 KiB
Current children cumulated memory: 589612 KiB

[startup+162.301 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 32581
/proc/meminfo: memFree=121818872/131524592 swapFree=131071996/131071996
[pid=32502] ppid=32499 vsize=724960 memory=596404 CPUtime=161.14 cores=0,2
/proc/32502/stat : 32502 (fscip) S 32499 32502 29025 0 -1 1077936128 261384 0 0 0 16083 31 0 0 20 0 3 0 5085121 742359040 149101 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
/proc/32502/statm: 181240 149101 2966 3035 0 171465 0
[pid=32502/tid=32558] ppid=32499 vsize=724960 memory=595488 CPUtime=104.31 cores=0,2
/proc/32502/task/32558/stat : 32558 (fscip) R 32499 32502 29025 0 -1 4194368 172177 0 0 0 10415 16 0 0 20 0 3 0 5090818 742359040 149101 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
[pid=32502/tid=32561] ppid=32499 vsize=724960 memory=595488 CPUtime=0 cores=0,2
/proc/32502/task/32561/stat : 32561 (fscip) S 32499 32502 29025 0 -1 1077936192 69 0 0 0 0 0 0 0 20 0 3 0 5090830 742359040 149101 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
Current children cumulated CPU time: 161.14 s
Current children cumulated vsize: 724960 KiB
Current children cumulated memory: 596404 KiB

[startup+222.301 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 32595
/proc/meminfo: memFree=121767200/131524592 swapFree=131071996/131071996
[pid=32502] ppid=32499 vsize=724960 memory=624736 CPUtime=220.6 cores=0,2
/proc/32502/stat : 32502 (fscip) S 32499 32502 29025 0 -1 1077936128 270058 0 0 0 22028 32 0 0 20 0 3 0 5085121 742359040 156184 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
/proc/32502/statm: 181240 156184 2966 3035 0 171761 0
[pid=32502/tid=32558] ppid=32499 vsize=724960 memory=11576 CPUtime=163.77 cores=0,2
/proc/32502/task/32558/stat : 32558 (fscip) R 32499 32502 29025 0 -1 4194368 180839 0 0 0 16360 17 0 0 20 0 3 0 5090818 742359040 156184 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
[pid=32502/tid=32561] ppid=32499 vsize=724960 memory=614068 CPUtime=0 cores=0,2
/proc/32502/task/32561/stat : 32561 (fscip) S 32499 32502 29025 0 -1 1077936192 81 0 0 0 0 0 0 0 20 0 3 0 5090830 742359040 156184 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
Current children cumulated CPU time: 220.6 s
Current children cumulated vsize: 724960 KiB
Current children cumulated memory: 624736 KiB

[startup+282.3 s]
/proc/loadavg: 4.45 4.20 4.12 5/263 32605
/proc/meminfo: memFree=121679144/131524592 swapFree=131071996/131071996
[pid=32502] ppid=32499 vsize=724960 memory=637304 CPUtime=280.13 cores=0,2
/proc/32502/stat : 32502 (fscip) S 32499 32502 29025 0 -1 1077936128 277154 0 0 0 27980 33 0 0 20 0 3 0 5085121 742359040 159326 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
/proc/32502/statm: 181240 159326 2966 3035 0 171761 0
[pid=32502/tid=32558] ppid=32499 vsize=724960 memory=633752 CPUtime=223.3 cores=0,2
/proc/32502/task/32558/stat : 32558 (fscip) R 32499 32502 29025 0 -1 4194368 187928 0 0 0 22312 18 0 0 20 0 3 0 5090818 742359040 159326 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
[pid=32502/tid=32561] ppid=32499 vsize=724960 memory=637304 CPUtime=0 cores=0,2
/proc/32502/task/32561/stat : 32561 (fscip) S 32499 32502 29025 0 -1 1077936192 88 0 0 0 0 0 0 0 20 0 3 0 5090830 742359040 159326 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
Current children cumulated CPU time: 280.13 s
Current children cumulated vsize: 724960 KiB
Current children cumulated memory: 637304 KiB

[startup+342.3 s]
/proc/loadavg: 4.23 4.18 4.12 5/263 32615
/proc/meminfo: memFree=121653048/131524592 swapFree=131071996/131071996
[pid=32502] ppid=32499 vsize=724960 memory=642948 CPUtime=339.95 cores=0,2
/proc/32502/stat : 32502 (fscip) S 32499 32502 29025 0 -1 1077936128 285458 0 0 0 33961 34 0 0 20 0 3 0 5085121 742359040 160737 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
/proc/32502/statm: 181240 160737 2966 3035 0 172043 0
[pid=32502/tid=32558] ppid=32499 vsize=724960 memory=638820 CPUtime=283.12 cores=0,2
/proc/32502/task/32558/stat : 32558 (fscip) R 32499 32502 29025 0 -1 4194368 196225 0 0 0 28293 19 0 0 20 0 3 0 5090818 742359040 160737 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
[pid=32502/tid=32561] ppid=32499 vsize=724960 memory=642192 CPUtime=0 cores=0,2
/proc/32502/task/32561/stat : 32561 (fscip) S 32499 32502 29025 0 -1 1077936192 95 0 0 0 0 0 0 0 20 0 3 0 5090830 742359040 160737 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0

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

[pid=32502] ppid=32499 vsize=998112 memory=939440 CPUtime=3390.03 cores=0,2
/proc/32502/stat : 32502 (fscip) S 32499 32502 29025 0 -1 1077936128 461474 0 0 0 338923 80 0 0 20 0 3 0 5085121 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
/proc/32502/statm: 249528 234860 3286 3035 0 244969 0
[pid=32502/tid=32558] ppid=32499 vsize=998112 memory=939440 CPUtime=3333.18 cores=0,2
/proc/32502/task/32558/stat : 32558 (fscip) R 32499 32502 29025 0 -1 4194368 371823 0 0 0 333254 64 0 0 20 0 3 0 5090818 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
[pid=32502/tid=32561] ppid=32499 vsize=998112 memory=12408 CPUtime=0.02 cores=0,2
/proc/32502/task/32561/stat : 32561 (fscip) S 32499 32502 29025 0 -1 1077936192 513 0 0 0 0 2 0 0 20 0 3 0 5090830 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
Current children cumulated CPU time: 3390.03 s
Current children cumulated vsize: 998112 KiB
Current children cumulated memory: 939440 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/266 34472
/proc/meminfo: memFree=121385364/131524592 swapFree=131071996/131071996
[pid=32502] ppid=32499 vsize=998112 memory=939440 CPUtime=3449.83 cores=0,2
/proc/32502/stat : 32502 (fscip) S 32499 32502 29025 0 -1 1077936128 461861 0 0 0 344903 80 0 0 20 0 3 0 5085121 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
/proc/32502/statm: 249528 234860 3286 3035 0 244969 0
[pid=32502/tid=32558] ppid=32499 vsize=998112 memory=939440 CPUtime=3392.98 cores=0,2
/proc/32502/task/32558/stat : 32558 (fscip) R 32499 32502 29025 0 -1 4194368 372200 0 0 0 339234 64 0 0 20 0 3 0 5090818 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
[pid=32502/tid=32561] ppid=32499 vsize=998112 memory=13000 CPUtime=0.02 cores=0,2
/proc/32502/task/32561/stat : 32561 (fscip) S 32499 32502 29025 0 -1 1077936192 523 0 0 0 0 2 0 0 20 0 3 0 5090830 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
Current children cumulated CPU time: 3449.83 s
Current children cumulated vsize: 998112 KiB
Current children cumulated memory: 939440 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 34483
/proc/meminfo: memFree=121384620/131524592 swapFree=131071996/131071996
[pid=32502] ppid=32499 vsize=998112 memory=939440 CPUtime=3509.63 cores=0,2
/proc/32502/stat : 32502 (fscip) S 32499 32502 29025 0 -1 1077936128 462369 0 0 0 350882 81 0 0 20 0 3 0 5085121 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
/proc/32502/statm: 249528 234860 3286 3035 0 244969 0
[pid=32502/tid=32558] ppid=32499 vsize=998112 memory=13000 CPUtime=3452.78 cores=0,2
/proc/32502/task/32558/stat : 32558 (fscip) R 32499 32502 29025 0 -1 4194368 372700 0 0 0 345213 65 0 0 20 0 3 0 5090818 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
[pid=32502/tid=32561] ppid=32499 vsize=998112 memory=939440 CPUtime=0.03 cores=0,2
/proc/32502/task/32561/stat : 32561 (fscip) S 32499 32502 29025 0 -1 1077936192 531 0 0 0 1 2 0 0 20 0 3 0 5090830 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
Current children cumulated CPU time: 3509.63 s
Current children cumulated vsize: 998112 KiB
Current children cumulated memory: 939440 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 34494
/proc/meminfo: memFree=121383712/131524592 swapFree=131071996/131071996
[pid=32502] ppid=32499 vsize=998112 memory=939440 CPUtime=3569.44 cores=0,2
/proc/32502/stat : 32502 (fscip) S 32499 32502 29025 0 -1 1077936128 462652 0 0 0 356862 82 0 0 20 0 3 0 5085121 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
/proc/32502/statm: 249528 234860 3286 3035 0 244969 0
[pid=32502/tid=32558] ppid=32499 vsize=998112 memory=939440 CPUtime=3512.57 cores=0,2
/proc/32502/task/32558/stat : 32558 (fscip) R 32499 32502 29025 0 -1 4194368 372973 0 0 0 351192 65 0 0 20 0 3 0 5090818 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
[pid=32502/tid=32561] ppid=32499 vsize=998112 memory=5448 CPUtime=0.03 cores=0,2
/proc/32502/task/32561/stat : 32561 (fscip) S 32499 32502 29025 0 -1 1077936192 541 0 0 0 1 2 0 0 20 0 3 0 5090830 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
Current children cumulated CPU time: 3569.44 s
Current children cumulated vsize: 998112 KiB
Current children cumulated memory: 939440 KiB

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

# cumulated CPU time of all completed processes:  user=3584.52 s, system=0.832695 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.11 4.09 5/265 34494
/proc/meminfo: memFree=121383712/131524592 swapFree=131071996/131071996
[pid=32502] ppid=32499 vsize=998112 memory=939440 CPUtime=3571.14 cores=0,2
/proc/32502/stat : 32502 (fscip) S 32499 32502 29025 0 -1 1077936128 462652 0 0 0 357032 82 0 0 20 0 3 0 5085121 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
/proc/32502/statm: 249528 234860 3286 3035 0 244969 0
[pid=32502/tid=32558] ppid=32499 vsize=998112 memory=7686721470247706567 CPUtime=3514.27 cores=0,2
/proc/32502/task/32558/stat : 32558 (fscip) R 32499 32502 29025 0 -1 4194368 372973 0 0 0 351362 65 0 0 20 0 3 0 5090818 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
[pid=32502/tid=32561] ppid=32499 vsize=998112 memory=6600 CPUtime=0.03 cores=0,2
/proc/32502/task/32561/stat : 32561 (fscip) S 32499 32502 29025 0 -1 1077936192 541 0 0 0 1 2 0 0 20 0 3 0 5090830 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
Current children cumulated CPU time: 3571.14 s
Current children cumulated vsize: 998112 KiB
Current children cumulated memory: 939440 KiB

[startup+3590.4 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 34495
/proc/meminfo: memFree=121383628/131524592 swapFree=131071996/131071996
[pid=32502] ppid=32499 vsize=998112 memory=939440 CPUtime=3577.51 cores=0,2
/proc/32502/stat : 32502 (fscip) S 32499 32502 29025 0 -1 1077936128 462653 0 0 0 357669 82 0 0 20 0 3 0 5085121 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
/proc/32502/statm: 249528 234860 3286 3035 0 244969 0
[pid=32502/tid=32558] ppid=32499 vsize=998112 memory=939440 CPUtime=3520.65 cores=0,2
/proc/32502/task/32558/stat : 32558 (fscip) R 32499 32502 29025 0 -1 4194368 372974 0 0 0 352000 65 0 0 20 0 3 0 5090818 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
[pid=32502/tid=32561] ppid=32499 vsize=998112 memory=939440 CPUtime=0.03 cores=0,2
/proc/32502/task/32561/stat : 32561 (fscip) S 32499 32502 29025 0 -1 1077936192 541 0 0 0 1 2 0 0 20 0 3 0 5090830 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
Current children cumulated CPU time: 3577.51 s
Current children cumulated vsize: 998112 KiB
Current children cumulated memory: 939440 KiB

[startup+3593.6 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 34495
/proc/meminfo: memFree=121383628/131524592 swapFree=131071996/131071996
[pid=32502] ppid=32499 vsize=998112 memory=939440 CPUtime=3580.7 cores=0,2
/proc/32502/stat : 32502 (fscip) S 32499 32502 29025 0 -1 1077936128 462653 0 0 0 357988 82 0 0 20 0 3 0 5085121 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
/proc/32502/statm: 249528 234860 3286 3035 0 244969 0
[pid=32502/tid=32558] ppid=32499 vsize=998112 memory=939440 CPUtime=3523.84 cores=0,2
/proc/32502/task/32558/stat : 32558 (fscip) R 32499 32502 29025 0 -1 4194368 372974 0 0 0 352319 65 0 0 20 0 3 0 5090818 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
[pid=32502/tid=32561] ppid=32499 vsize=998112 memory=38580 CPUtime=0.03 cores=0,2
/proc/32502/task/32561/stat : 32561 (fscip) S 32499 32502 29025 0 -1 1077936192 541 0 0 0 1 2 0 0 20 0 3 0 5090830 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
Current children cumulated CPU time: 3580.7 s
Current children cumulated vsize: 998112 KiB
Current children cumulated memory: 939440 KiB

[startup+3596.8 s]
/proc/loadavg: 4.16 4.12 4.09 5/265 34495
/proc/meminfo: memFree=121383628/131524592 swapFree=131071996/131071996
[pid=32502] ppid=32499 vsize=998112 memory=939440 CPUtime=3583.89 cores=0,2
/proc/32502/stat : 32502 (fscip) S 32499 32502 29025 0 -1 1077936128 462658 0 0 0 358307 82 0 0 20 0 3 0 5085121 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
/proc/32502/statm: 249528 234860 3286 3035 0 244969 0
[pid=32502/tid=32558] ppid=32499 vsize=998112 memory=939440 CPUtime=3527.03 cores=0,2
/proc/32502/task/32558/stat : 32558 (fscip) R 32499 32502 29025 0 -1 4194368 372979 0 0 0 352638 65 0 0 20 0 3 0 5090818 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
[pid=32502/tid=32561] ppid=32499 vsize=998112 memory=939440 CPUtime=0.03 cores=0,2
/proc/32502/task/32561/stat : 32561 (fscip) S 32499 32502 29025 0 -1 1077936192 541 0 0 0 1 2 0 0 20 0 3 0 5090830 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
Current children cumulated CPU time: 3583.89 s
Current children cumulated vsize: 998112 KiB
Current children cumulated memory: 939440 KiB

[startup+3597.6 s]
/proc/loadavg: 4.16 4.12 4.09 7/265 34495
/proc/meminfo: memFree=121383628/131524592 swapFree=131071996/131071996
[pid=32502] ppid=32499 vsize=998112 memory=939440 CPUtime=3584.69 cores=0,2
/proc/32502/stat : 32502 (fscip) S 32499 32502 29025 0 -1 1077936128 462661 0 0 0 358387 82 0 0 20 0 3 0 5085121 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
/proc/32502/statm: 249528 234860 3286 3035 0 244969 0
[pid=32502/tid=32558] ppid=32499 vsize=998112 memory=15884 CPUtime=3527.82 cores=0,2
/proc/32502/task/32558/stat : 32558 (fscip) R 32499 32502 29025 0 -1 4194368 372979 0 0 0 352717 65 0 0 20 0 3 0 5090818 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
[pid=32502/tid=32561] ppid=32499 vsize=998112 memory=2268 CPUtime=0.03 cores=0,2
/proc/32502/task/32561/stat : 32561 (fscip) S 32499 32502 29025 0 -1 1077936192 544 0 0 0 1 2 0 0 20 0 3 0 5090830 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
Current children cumulated CPU time: 3584.69 s
Current children cumulated vsize: 998112 KiB
Current children cumulated memory: 939440 KiB

[startup+3598 s]*
/proc/loadavg: 4.16 4.12 4.09 5/265 34497
/proc/meminfo: memFree=121383132/131524592 swapFree=131071996/131071996
[pid=32502] ppid=32499 vsize=998112 memory=939440 CPUtime=3585.09 cores=0,2
/proc/32502/stat : 32502 (fscip) S 32499 32502 29025 0 -1 1077936128 462807 0 0 0 358427 82 0 0 20 0 3 0 5085121 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
/proc/32502/statm: 249528 234860 3286 3035 0 244969 0
[pid=32502/tid=32558] ppid=32499 vsize=998112 memory=7686721470247706567 CPUtime=3528.23 cores=0,2
/proc/32502/task/32558/stat : 32558 (fscip) R 32499 32502 29025 0 -1 4194368 373199 0 0 0 352758 65 0 0 20 0 3 0 5090818 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
[pid=32502/tid=32561] ppid=32499 vsize=998112 memory=-7449981232481598146 CPUtime=0.03 cores=0,2
/proc/32502/task/32561/stat : 32561 (fscip) S 32499 32502 29025 0 -1 1077936192 544 0 0 0 1 2 0 0 20 0 3 0 5090830 1022066688 234860 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
Current children cumulated CPU time: 3585.09 s
Current children cumulated vsize: 998112 KiB
Current children cumulated memory: 939440 KiB

[startup+3598.2 s]
/proc/loadavg: 4.16 4.12 4.09 5/265 34497
/proc/meminfo: memFree=121383132/131524592 swapFree=131071996/131071996
[pid=32502] ppid=32499 vsize=921916 memory=863624 CPUtime=3585.28 cores=0,2
/proc/32502/stat : 32502 (fscip) R 32499 32502 29025 0 -1 4194304 466140 0 0 0 358446 82 0 0 20 0 2 0 5085121 944041984 215906 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
/proc/32502/statm: 230479 215906 3334 3035 0 225920 0
[pid=32502/tid=32561] ppid=32499 vsize=921916 memory=2632 CPUtime=0.03 cores=0,2
/proc/32502/task/32561/stat : 32561 (fscip) S 32499 32502 29025 0 -1 1077936192 544 0 0 0 1 2 0 0 20 0 2 0 5090830 944041984 215906 134679101440 4194304 16623229 140721349805920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26730496 140721349809174 140721349809290 140721349809290 140721349816304 0
Current children cumulated CPU time: 3585.28 s
Current children cumulated vsize: 921916 KiB
Current children cumulated memory: 863624 KiB

Child status: 0

Real time (s): 3598.28
CPU time (s): 3585.36
CPU user time (s): 3584.52
CPU system time (s): 0.832695
CPU usage (%): 99.641
Max. virtual memory (cumulated for all children) (KiB): 998112
Max. memory (cumulated for all children) (KiB): 939440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.52
system time used= 0.832695
maximum resident set size= 939440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 468572
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= 3582
involuntary context switches= 26261


# summary of solver processes directly reported to runsolver:
#   pid: 32502
#   total CPU time (s): 3585.36
#   total CPU user time (s): 3584.52
#   total CPU system time (s): 0.832695

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.53538 second user time and 14.909 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-31 02:14:40
IDJOB=4464496
IDBENCH=158277
IDSOLVER=3092
FILE ID=nodeC016/4464496-1722384880
RUNJOBID= nodeC016-1722378594-29035
SLURM_JOB_ID= 8249829
Free space on /tmp= 889996 MiB

SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K197.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-4464496-1722384880/watcher-4464496-1722384880 -o /tmp/evaluation-result-4464496-1722384880/solver-4464496-1722384880 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722378594-29035 --watchdog 3760  ./fscip settings/racing.prm HOME/instance-4464496-1722384880.opb -qsol -t 3600 -sth 1

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

MD5SUM BENCH= cd0a69270cffb0a3df5915a64d0aa68c
RANDOM SEED=1765878430

nodeC016.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		: 3666.492
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.92
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		: 3685.750
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.47
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		: 3658.290
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131524592 kB
MemFree:        122217872 kB
MemAvailable:   127659928 kB
Buffers:          106828 kB
Cached:          6140484 kB
SwapCached:            0 kB
Active:           278400 kB
Inactive:        8483048 kB
Active(anon):       1556 kB
Inactive(anon):  2533968 kB
Active(file):     276844 kB
Inactive(file):  5949080 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             30240 kB
Writeback:             0 kB
AnonPages:       2514188 kB
Mapped:           124632 kB
Shmem:             21336 kB
KReclaimable:     111872 kB
Slab:             198752 kB
SReclaimable:     111872 kB
SUnreclaim:        86880 kB
KernelStack:        4208 kB
PageTables:        14108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:    1291064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             9984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2152448 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:      275156 kB
DirectMap2M:     7886848 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 889968 MiB
End job on nodeC016 at 2024-07-31 03:14:39