Trace number 4529137

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
mixed-bag-2024 2025-07-10? (TO) 3601.35 3611.49

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_20null0mast_rapportOE2.0_TMAX300_K192_cod1.opb
MD5SUM98a5f88ebd5d10d5c10cd6435ed09c83
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 benchmark-423611
Best CPU time to get the best result obtained on this benchmark71671.6
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables399113
Total number of constraints400980
Number of constraints which are clauses399002
Number of constraints which are cardinality constraints (but not clauses)1977
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint397089
Number of terms in the objective function 272557
Biggest coefficient in the objective function 6765
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 246044672
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 6765
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 246044672
Number of bits of the biggest sum of numbers28
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.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c with Papilo
0.00/0.01	c with SCIP
0.00/0.01	c [STEP] parsing instance
2.18/2.25	c [STEP] preprocessing with Papilo
5.87/5.99	c [STEP] solving with SCIP
307.32/308.43	c [STEP] preprocessing done, loading into solver
308.13/309.28	c [STEP] solving
308.13/309.28	c #variables 329997 #constraints 331689
308.13/309.29	c SMALL=int, LARGE=long long
308.22/309.31	d SCIPUB -190030
308.22/309.33	c bounds - >= -246044672 @ 306.395
308.22/309.33	c stratification level: 4181
2545.17/2552.29	c bounds - >= -97508550 @ 321.073
2545.17/2552.29	c bounds - >= -96621374 @ 321.174
2545.17/2552.29	c bounds - >= -96519710 @ 321.198
2545.17/2552.29	c bounds - >= -96394010 @ 321.221
2545.17/2552.29	c bounds - >= -96353789 @ 321.241
2545.17/2552.29	c bounds - >= -95713637 @ 321.264
2545.17/2552.29	c #Conflicts:       1000 | #Constraints:     334405
2545.17/2552.29	c #Conflicts:       2000 | #Constraints:     335405
2545.17/2552.29	c INPROCESSING
2545.17/2552.29	c GARBAGE COLLECT
2545.17/2552.29	c #Conflicts:       3000 | #Constraints:     335232
2545.17/2552.29	c #Conflicts:       4000 | #Constraints:     336232
2545.17/2552.29	c INPROCESSING
2545.17/2552.29	c GARBAGE COLLECT
2545.17/2552.29	c #Conflicts:       5000 | #Constraints:     335622
2545.17/2552.29	c #Conflicts:       6000 | #Constraints:     336622
2545.17/2552.29	c INPROCESSING
2545.17/2552.29	c GARBAGE COLLECT
2545.17/2552.29	c #Conflicts:       7000 | #Constraints:     335660
2545.17/2552.29	c #Conflicts:       8000 | #Constraints:     336660
2545.17/2552.29	c #Conflicts:       9000 | #Constraints:     337660
2545.17/2552.29	c INPROCESSING
2545.17/2552.29	c GARBAGE COLLECT
2545.17/2552.29	c #Conflicts:      10000 | #Constraints:     336374
2545.17/2552.29	c #Conflicts:      11000 | #Constraints:     337374
2545.17/2552.29	c #Conflicts:      12000 | #Constraints:     338374
2545.17/2552.29	c INPROCESSING
2545.17/2552.29	c GARBAGE COLLECT
2545.17/2552.29	c #Conflicts:      13000 | #Constraints:     336825
2545.17/2552.29	c #Conflicts:      14000 | #Constraints:     337825
2545.17/2552.29	c #Conflicts:      15000 | #Constraints:     338825
2545.17/2552.29	c INPROCESSING
2545.17/2552.29	c #Conflicts:      16000 | #Constraints:     337143
2545.17/2552.29	c #Conflicts:      17000 | #Constraints:     338143
2545.17/2552.29	c #Conflicts:      18000 | #Constraints:     339143
2545.17/2552.29	c INPROCESSING
2545.17/2552.29	c GARBAGE COLLECT
2545.17/2552.29	c #Conflicts:      19000 | #Constraints:     337115
2545.17/2552.29	c #Conflicts:      20000 | #Constraints:     338115
2545.17/2552.29	c #Conflicts:      21000 | #Constraints:     339115
2545.17/2552.29	c INPROCESSING
2545.17/2552.29	c #Conflicts:      22000 | #Constraints:     336907
2545.17/2552.29	c #Conflicts:      23000 | #Constraints:     337907
2545.17/2552.29	c #Conflicts:      24000 | #Constraints:     338907
2545.17/2552.29	c #Conflicts:      25000 | #Constraints:     339907
2545.17/2552.29	c INPROCESSING
2545.17/2552.29	c GARBAGE COLLECT
2545.17/2552.29	c #Conflicts:      26000 | #Constraints:     337558
2545.17/2552.29	c #Conflicts:      27000 | #Constraints:     338558
2545.17/2552.29	c #Conflicts:      28000 | #Constraints:     339558
2545.17/2552.29	c #Conflicts:      29000 | #Constraints:     340558
2545.17/2552.29	c INPROCESSING
2545.17/2552.29	c #Conflicts:      30000 | #Constraints:     337884
2545.17/2552.29	c #Conflicts:      31000 | #Constraints:     338884
2545.17/2552.29	c #Conflicts:      32000 | #Constraints:     339884
2545.17/2552.29	c #Conflicts:      33000 | #Constraints:     340884
2545.17/2552.29	c INPROCESSING
2545.17/2552.29	c GARBAGE COLLECT
2545.17/2552.29	c #Conflicts:      34000 | #Constraints:     338046
2545.17/2552.29	c #Conflicts:      35000 | #Constraints:     339046
2545.17/2552.29	c #Conflicts:      36000 | #Constraints:     340046
2545.17/2552.29	c #Conflicts:      37000 | #Constraints:     341046
2545.17/2552.29	c INPROCESSING
2545.17/2552.29	c #Conflicts:      38000 | #Constraints:     338113
2545.17/2552.29	c #Conflicts:      39000 | #Constraints:     339113
2545.17/2552.29	c #Conflicts:      40000 | #Constraints:     340113
2545.17/2552.29	c #Conflicts:      41000 | #Constraints:     341113
2545.17/2552.29	c INPROCESSING
2545.17/2552.29	c GARBAGE COLLECT
2545.17/2552.29	c #Conflicts:      42000 | #Constraints:     337868
2545.17/2552.29	c #Conflicts:      43000 | #Constraints:     338868
2545.17/2552.29	c #Conflicts:      44000 | #Constraints:     339868
2545.17/2552.29	c #Conflicts:      45000 | #Constraints:     340868
2545.17/2552.29	c #Conflicts:      46000 | #Constraints:     341868
2545.17/2552.29	c INPROCESSING
2545.17/2552.29	c #Conflicts:      47000 | #Constraints:     338448
2545.17/2552.29	c #Conflicts:      48000 | #Constraints:     339448
2545.17/2552.29	c #Conflicts:      49000 | #Constraints:     340448
2545.17/2552.29	c #Conflicts:      50000 | #Constraints:     341448
2545.17/2552.29	c #Conflicts:      51000 | #Constraints:     342448
2545.17/2552.29	c INPROCESSING
2545.17/2552.29	c #Conflicts:      52000 | #Constraints:     338918
2545.17/2552.29	c #Conflicts:      53000 | #Constraints:     339918
2545.17/2552.29	c #Conflicts:      54000 | #Constraints:     340918
2545.17/2552.29	c #Conflicts:      55000 | #Constraints:     341918
2545.17/2552.29	c #Conflicts:      56000 | #Constraints:     342918
2545.17/2552.29	c INPROCESSING
2545.17/2552.29	c GARBAGE COLLECT
2545.17/2552.29	c #Conflicts:      57000 | #Constraints:     339064
2545.17/2552.29	c #Conflicts:      58000 | #Constraints:     340064
2545.17/2552.29	c #Conflicts:      59000 | #Constraints:     341064
2545.17/2552.29	c #Conflicts:      60000 | #Constraints:     342064
2545.17/2552.29	c #Conflicts:      61000 | #Constraints:     343064
2545.17/2552.29	c INPROCESSING
2545.17/2552.29	c GARBAGE COLLECT
2545.17/2552.29	c #Conflicts:      62000 | #Constraints:     339156
2545.17/2552.29	c #Conflicts:      63000 | #Constraints:     340156
2545.17/2552.29	c #Conflicts:      64000 | #Constraints:     341156
2545.17/2552.29	c #Conflicts:      65000 | #Constraints:     342156
2545.17/2552.29	c #Conflicts:      66000 | #Constraints:     343156
2545.17/2552.29	c INPROCESSING
3601.14/3611.31	c GARBAGE COLLECT
3601.14/3611.31	c #Conflicts:      67000 | #Constraints:     338877
3601.14/3611.31	c #Conflicts:      68000 | #Constraints:     339877
3601.14/3611.31	c #Conflicts:      69000 | #Constraints:     340877
3601.14/3611.31	c #Conflicts:      70000 | #Constraints:     341877
3601.14/3611.31	c #Conflicts:      71000 | #Constraints:     342877
3601.14/3611.31	c #Conflicts:      72000 | #Constraints:     343877
3601.14/3611.31	c INPROCESSING
3601.14/3611.31	c GARBAGE COLLECT
3601.14/3611.31	c #Conflicts:      73000 | #Constraints:     339443
3601.14/3611.31	c #Conflicts:      74000 | #Constraints:     340443
3601.14/3611.31	c #Conflicts:      75000 | #Constraints:     341443
3601.14/3611.31	c #Conflicts:      76000 | #Constraints:     342443
3601.14/3611.31	c #Conflicts:      77000 | #Constraints:     343443
3601.14/3611.31	c #Conflicts:      78000 | #Constraints:     344443
3601.14/3611.31	c INPROCESSING
3601.14/3611.31	c GARBAGE COLLECT
3601.14/3611.31	c #Conflicts:      79000 | #Constraints:     339902
3601.14/3611.31	c #Conflicts:      80000 | #Constraints:     340902
3601.14/3611.31	c #Conflicts:      81000 | #Constraints:     341902
3601.14/3611.31	c #Conflicts:      82000 | #Constraints:     342902
3601.14/3611.31	c #Conflicts:      83000 | #Constraints:     343902
3601.14/3611.31	c #Conflicts:      84000 | #Constraints:     344902
3601.14/3611.31	c INPROCESSING
3601.14/3611.31	c GARBAGE COLLECT
3601.14/3611.31	c #Conflicts:      85000 | #Constraints:     340126
3601.14/3611.31	c #Conflicts:      86000 | #Constraints:     341126
3601.14/3611.31	c #Conflicts:      87000 | #Constraints:     342126
3601.14/3611.31	c #Conflicts:      88000 | #Constraints:     343126
3601.14/3611.31	c #Conflicts:      89000 | #Constraints:     344126
3601.14/3611.31	c #Conflicts:      90000 | #Constraints:     345126
3601.14/3611.31	c INPROCESSING
3601.14/3611.31	c #Conflicts:      91000 | #Constraints:     339933
3601.14/3611.31	c #Conflicts:      92000 | #Constraints:     340933
3601.14/3611.31	c #Conflicts:      93000 | #Constraints:     341933
3601.14/3611.31	c #Conflicts:      94000 | #Constraints:     342933
3601.14/3611.31	c #Conflicts:      95000 | #Constraints:     343933
3601.14/3611.31	c #Conflicts:      96000 | #Constraints:     344933
3601.14/3611.31	c INPROCESSING
3601.14/3611.31	c GARBAGE COLLECT
3601.14/3611.31	c Program interrupted by user.
3601.14/3611.31	c cpu time 3578.16 s
3601.14/3611.31	c deterministic time 136052127347 1.36e+11
3601.14/3611.31	c optimization time 32.2353 s
3601.14/3611.31	c total solve time 3239.56 s
3601.14/3611.31	c core-guided solve time 3239.56 s
3601.14/3611.31	c propagation time 778.254 s
3601.14/3611.31	c conflict analysis time 2273.66 s
3601.14/3611.31	c propagations 4781001347
3601.14/3611.31	c resolve steps 153767
3601.14/3611.31	c decisions 30687925
3601.14/3611.31	c conflicts 96913
3601.14/3611.31	c restarts 254
3601.14/3611.31	c inprocessing phases 23
3601.14/3611.31	c input clauses 331777
3601.14/3611.31	c input cardinalities 1621
3601.14/3611.31	c input general constraints 8
3601.14/3611.31	c input average constraint length 11.72
3601.14/3611.31	c input average constraint degree 2675.40
3601.14/3611.31	c learned clauses 61513
3601.14/3611.31	c learned cardinalities 25998
3601.14/3611.31	c learned general constraints 9401
3601.14/3611.31	c learned average constraint length 14038.91
3601.14/3611.31	c learned average constraint degree 16525.99
3601.14/3611.31	c watched constraints 27
3601.14/3611.31	c counting constraints 9382
3601.14/3611.31	c gcd simplifications 0
3601.14/3611.31	c detected cardinalities 0
3601.14/3611.31	c weakened non-implied lits 4577262001
3601.14/3611.31	c weakened non-implying lits 44
3601.14/3611.31	c original variables 399113
3601.14/3611.31	c clausal propagations 49445933
3601.14/3611.31	c cardinality propagations 10326663
3601.14/3611.31	c watched propagations 4488
3601.14/3611.31	c counting propagations 4699351303
3601.14/3611.31	c watch lookups 331277981
3601.14/3611.31	c watch backjump lookups 233270351
3601.14/3611.31	c watch checks 1534875419
3601.14/3611.31	c propagation checks 93998058423
3601.14/3611.31	c constraint additions 30331296802
3601.14/3611.31	c trail pops 4811659098
3601.14/3611.31	c formula constraints 331689
3601.14/3611.31	c learned constraints 96912
3601.14/3611.31	c bound constraints 7
3601.14/3611.31	c core-guided constraints 1710
3601.14/3611.31	c encountered formula constraints 110181
3601.14/3611.31	c encountered learned constraints 44738
3601.14/3611.31	c encountered bound constraints 0
3601.14/3611.31	c encountered core-guided constraints 95988
3601.14/3611.31	c LP total time 0 s
3601.14/3611.31	c LP solve time 0 s
3601.14/3611.31	c LP constraints added 0
3601.14/3611.31	c LP constraints removed 0
3601.14/3611.31	c LP pivots internal 0
3601.14/3611.31	c LP pivots root 0
3601.14/3611.31	c LP calls 0
3601.14/3611.31	c LP optimalities 0
3601.14/3611.31	c LP no pivot count 0
3601.14/3611.31	c LP infeasibilities 0
3601.14/3611.31	c LP valid Farkas constraints 0
3601.14/3611.31	c LP learned Farkas constraints 0
3601.14/3611.31	c LP basis resets 0
3601.14/3611.31	c LP cycling count 0
3601.14/3611.31	c LP singular count 0
3601.14/3611.31	c LP no primal count 0
3601.14/3611.31	c LP no farkas count 0
3601.14/3611.31	c LP other issue count 0
3601.14/3611.31	c LP Gomory cuts 0
3601.14/3611.31	c LP learned cuts 0
3601.14/3611.31	c LP deleted cuts 0
3601.14/3611.31	c LP encountered Gomory constraints 0
3601.14/3611.31	c LP encountered Farkas constraints 0
3601.14/3611.31	c LP encountered learned Farkas constraints 0
3601.14/3611.31	c CG auxiliary variables introduced 1483
3601.14/3611.31	c CG solutions found 0
3601.14/3611.31	c CG cores constructed 6
3601.14/3611.31	c CG core cardinality constraints returned 6
3601.14/3611.31	c CG unit cores 0
3601.14/3611.31	c CG single cores 6
3601.14/3611.31	c CG blocks removed during cardinality reduction 30
3601.14/3611.31	c CG first core best 0
3601.14/3611.31	c CG decision core best 0
3601.14/3611.31	c CG core reduction tie 0
3601.14/3611.31	c CG core degree average 68.00
3601.14/3611.31	c CG core slack average 1.00
3601.14/3611.31	c CG exhausted 0
3601.14/3611.31	c CG exhaust time 0 s
3601.14/3611.31	c CG trimmed 0
3601.14/3611.31	c CG trim time 0.005492 s
3601.14/3611.31	c CG minimized 0
3601.14/3611.31	c CG minimize time 0 s
3601.14/3611.31	c CG am1 prop time 3.10051 s
3601.14/3611.31	c CG # am1s reformulated 1483
3601.14/3611.31	c CG lower bound derived from am1s 147311003
3601.14/3611.31	c CG # clausal cores 0
3601.14/3611.31	c CG # cardinality cores 6
3601.14/3611.31	c CG # pb cores 0
3601.14/3611.31	c CG # pb reforms 0
3601.14/3611.31	c CG # cores discarded because of pb reform 0
3601.14/3611.31	d LOWERBOUND -95713637
3601.14/3611.31	d NCORES 6
3601.14/3611.31	d NPBCORES 0
3601.14/3611.31	d NPBREFORM 0
3601.14/3611.31	d NTRIMMED 0
3601.14/3611.31	d NEXHAUSTED 0
3601.14/3611.31	d NAM1S 1483
3601.14/3611.31	d AM1LB 147311003
3601.14/3611.31	c [Papilo Statistics]
3601.14/3611.31	c prepro time 3.73807s
3601.14/3611.31	c # tsx applied 1315
3601.14/3611.31	c # tsx conflicts 115
3601.14/3611.31	c # bound changes 69115
3601.14/3611.31	c # side changes 195
3601.14/3611.31	c # coef changes 9
3601.14/3611.31	c # rounds 4
3601.14/3611.31	c # deted vars 69117
3601.14/3611.31	c # deted constrs 69484
3601.14/3611.31	c # consecutive rounds of only bound changes 0
3601.14/3611.37	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: 63708 MiB (46059 MiB free)
  memory of node 1: 64465 MiB (62184 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529137-1752261256/watcher-4529137-1752261256 -o /tmp/evaluation-result-4529137-1752261256/solver-4529137-1752261256 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752257588-122190 --watchdog 3760 mixed-bag HOME/instance-4529137-1752261256.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=123062, runsolver pid=123059

[startup+0.100064 s]*
/proc/loadavg: 4.10 4.10 4.09 5/263 123063
/proc/meminfo: memFree=110738104/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=201568 memory=97384 CPUtime=0.08 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 15595 0 0 0 5 3 0 0 20 0 1 0 141802208 206405632 24346 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 50392 24346 2144 2834 0 33144 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 201568 KiB
Current children cumulated memory: 97384 KiB

[startup+0.205369 s]*
/proc/loadavg: 4.10 4.10 4.09 6/263 123063
/proc/meminfo: memFree=110730292/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=188368 memory=98544 CPUtime=0.19 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 19573 0 0 0 15 4 0 0 20 0 1 0 141802208 192888832 24636 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 47092 24636 2144 2834 0 29844 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 188368 KiB
Current children cumulated memory: 98544 KiB

[startup+0.305248 s]*
/proc/loadavg: 4.10 4.10 4.09 5/263 123063
/proc/meminfo: memFree=110722228/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=196560 memory=109172 CPUtime=0.29 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 20682 0 0 0 25 4 0 0 20 0 1 0 141802208 201277440 27293 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 49140 27293 2144 2834 0 31892 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 196560 KiB
Current children cumulated memory: 109172 KiB

[startup+0.700143 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 123063
/proc/meminfo: memFree=110701748/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=212988 memory=125656 CPUtime=0.68 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 21707 0 0 0 62 6 0 0 20 0 1 0 141802208 218099712 31414 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 53247 31414 2144 2834 0 35999 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 212988 KiB
Current children cumulated memory: 125656 KiB

[startup+1.50012 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 123063
/proc/meminfo: memFree=110668980/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=245756 memory=169340 CPUtime=1.48 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 22950 0 0 0 140 8 0 0 20 0 1 0 141802208 251654144 42335 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 61439 42335 2144 2834 0 44191 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 245756 KiB
Current children cumulated memory: 169340 KiB

[startup+3.10512 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 123063
/proc/meminfo: memFree=110173404/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=658420 memory=522140 CPUtime=3.07 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 51140 0 0 0 283 24 0 0 20 0 1 0 141802208 674222080 130535 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 164605 130535 2304 2834 0 146810 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 658420 KiB
Current children cumulated memory: 522140 KiB

[startup+6.30016 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 123063
/proc/meminfo: memFree=110317840/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=911084 memory=780604 CPUtime=6.26 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 144583 0 0 0 587 39 0 0 20 0 1 0 141802208 932950016 195151 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 227771 195151 3680 2834 0 209976 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 911084 KiB
Current children cumulated memory: 780604 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 123063
/proc/meminfo: memFree=108641016/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=2299512 memory=2141776 CPUtime=12.64 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 471024 0 0 0 1165 99 0 0 20 0 1 0 141802208 2354700288 535444 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 574878 535444 4032 2834 0 557083 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2299512 KiB
Current children cumulated memory: 2141776 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 123063
/proc/meminfo: memFree=108286248/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=2598356 memory=2439368 CPUtime=25.42 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 510162 0 0 0 2434 108 0 0 20 0 1 0 141802208 2660716544 609842 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 649589 609842 4064 2834 0 631794 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2598356 KiB
Current children cumulated memory: 2439368 KiB

[startup+51.1053 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 123064
/proc/meminfo: memFree=108345352/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=2634676 memory=2476616 CPUtime=50.94 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 516462 0 0 0 4985 109 0 0 20 0 1 0 141802208 2697908224 619154 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 658669 619154 4064 2834 0 640874 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2634676 KiB
Current children cumulated memory: 2476616 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/263 123066
/proc/meminfo: memFree=108351004/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=2634676 memory=2476616 CPUtime=101.96 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 516509 0 0 0 10086 110 0 0 20 0 1 0 141802208 2697908224 619154 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 658669 619154 4064 2834 0 640874 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 2634676 KiB
Current children cumulated memory: 2476616 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 123068
/proc/meminfo: memFree=107085576/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=4065280 memory=3740912 CPUtime=161.74 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 695250 0 0 0 16018 156 0 0 20 0 1 0 141802208 4162846720 935228 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 1016320 935228 4256 2834 0 998525 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 4065280 KiB
Current children cumulated memory: 3740912 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/263 123070
/proc/meminfo: memFree=107016872/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=4142460 memory=3799400 CPUtime=221.5 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 698123 0 0 0 21992 158 0 0 20 0 1 0 141802208 4241879040 949850 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 1035615 949850 4256 2834 0 1017820 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 4142460 KiB
Current children cumulated memory: 3799400 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/264 123169
/proc/meminfo: memFree=106175920/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=4200604 memory=3847112 CPUtime=281.3 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 699419 0 0 0 27970 160 0 0 20 0 1 0 141802208 4301418496 961778 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 1050151 961778 4256 2834 0 1032356 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 4200604 KiB
Current children cumulated memory: 3847112 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/264 123171
/proc/meminfo: memFree=103643508/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=3694920 memory=3574260 CPUtime=341.13 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 702761 0 0 0 33904 209 0 0 20 0 1 0 141802208 3783598080 893565 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 923730 893565 4448 2834 0 905935 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 3694920 KiB
Current children cumulated memory: 3574260 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/264 123172
/proc/meminfo: memFree=103007824/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=3958656 memory=3724908 CPUtime=400.97 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 705176 0 0 0 39837 260 0 0 20 0 1 0 141802208 4053663744 931227 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 989664 931227 4448 2834 0 971869 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 3958656 KiB
Current children cumulated memory: 3724908 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 123174
/proc/meminfo: memFree=101545552/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=3958656 memory=3827364 CPUtime=460.81 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 706400 0 0 0 45777 304 0 0 20 0 1 0 141802208 4053663744 956841 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 989664 956841 4448 2834 0 971869 0
Current children cumulated CPU time: 460.81 s

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

/proc/123062/statm: 1636733 1568727 4448 2834 0 1618938 0
Current children cumulated CPU time: 2974 s
Current children cumulated vsize: 6546932 KiB
Current children cumulated memory: 6274908 KiB

[startup+3042.3 s]
/proc/loadavg: 4.24 4.17 4.11 5/264 123448
/proc/meminfo: memFree=95162924/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=6546932 memory=6274908 CPUtime=3033.82 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 829592 0 0 0 301292 2090 0 0 20 0 1 0 141802208 6704058368 1568727 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 1636733 1568727 4448 2834 0 1618938 0
Current children cumulated CPU time: 3033.82 s
Current children cumulated vsize: 6546932 KiB
Current children cumulated memory: 6274908 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/264 123450
/proc/meminfo: memFree=95165060/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=6546932 memory=6274908 CPUtime=3093.64 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 830342 0 0 0 307258 2106 0 0 20 0 1 0 141802208 6704058368 1568727 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 1636733 1568727 4448 2834 0 1618938 0
Current children cumulated CPU time: 3093.64 s
Current children cumulated vsize: 6546932 KiB
Current children cumulated memory: 6274908 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/264 123452
/proc/meminfo: memFree=95162796/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=6546932 memory=6274908 CPUtime=3153.46 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 830880 0 0 0 313205 2141 0 0 20 0 1 0 141802208 6704058368 1568727 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 1636733 1568727 4448 2834 0 1618938 0
Current children cumulated CPU time: 3153.46 s
Current children cumulated vsize: 6546932 KiB
Current children cumulated memory: 6274908 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/263 123454
/proc/meminfo: memFree=95161560/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=6546932 memory=6274908 CPUtime=3213.3 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 831618 0 0 0 319159 2171 0 0 20 0 1 0 141802208 6704058368 1568727 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 1636733 1568727 4448 2834 0 1618938 0
Current children cumulated CPU time: 3213.3 s
Current children cumulated vsize: 6546932 KiB
Current children cumulated memory: 6274908 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/265 123464
/proc/meminfo: memFree=95160200/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=6546932 memory=6274908 CPUtime=3273.11 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 831657 0 0 0 325128 2183 0 0 20 0 1 0 141802208 6704058368 1568727 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 1636733 1568727 4448 2834 0 1618938 0
Current children cumulated CPU time: 3273.11 s
Current children cumulated vsize: 6546932 KiB
Current children cumulated memory: 6274908 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.16 4.11 5/264 123466
/proc/meminfo: memFree=95160484/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=6546932 memory=6274908 CPUtime=3332.95 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 832044 0 0 0 331097 2198 0 0 20 0 1 0 141802208 6704058368 1568727 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 1636733 1568727 4448 2834 0 1618938 0
Current children cumulated CPU time: 3332.95 s
Current children cumulated vsize: 6546932 KiB
Current children cumulated memory: 6274908 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/264 123468
/proc/meminfo: memFree=95145616/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=6546932 memory=6274908 CPUtime=3392.77 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 832663 0 0 0 337027 2250 0 0 20 0 1 0 141802208 6704058368 1568727 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 1636733 1568727 4448 2834 0 1618938 0
Current children cumulated CPU time: 3392.77 s
Current children cumulated vsize: 6546932 KiB
Current children cumulated memory: 6274908 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/264 123470
/proc/meminfo: memFree=95144532/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=6546932 memory=6274908 CPUtime=3452.6 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 832838 0 0 0 342996 2264 0 0 20 0 1 0 141802208 6704058368 1568727 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 1636733 1568727 4448 2834 0 1618938 0
Current children cumulated CPU time: 3452.6 s
Current children cumulated vsize: 6546932 KiB
Current children cumulated memory: 6274908 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/264 123472
/proc/meminfo: memFree=95143624/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=6546932 memory=6274908 CPUtime=3512.42 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 833478 0 0 0 348967 2275 0 0 20 0 1 0 141802208 6704058368 1568727 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 1636733 1568727 4448 2834 0 1618938 0
Current children cumulated CPU time: 3512.42 s
Current children cumulated vsize: 6546932 KiB
Current children cumulated memory: 6274908 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/263 123519
/proc/meminfo: memFree=98827816/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=6546932 memory=6274908 CPUtime=3572.23 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 833519 0 0 0 354934 2289 0 0 20 0 1 0 141802208 6704058368 1568727 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 1636733 1568727 4448 2834 0 1618938 0
Current children cumulated CPU time: 3572.23 s
Current children cumulated vsize: 6546932 KiB
Current children cumulated memory: 6274908 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.12 4.14 4.10 5/263 123520
/proc/meminfo: memFree=98695256/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=6546932 memory=6274908 CPUtime=3600.05 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 833857 0 0 0 357705 2300 0 0 20 0 1 0 141802208 6704058368 1568727 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 1636733 1568727 4448 2834 0 1618938 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 6546932 KiB
Current children cumulated memory: 6274908 KiB

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

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

# cumulated CPU time of all completed processes:  user=3578.21 s, system=23.1423 s

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

[startup+3610.4 s]
/proc/loadavg: 4.12 4.14 4.10 5/263 123520
/proc/meminfo: memFree=98695256/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=6546932 memory=6275292 CPUtime=3600.25 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 833969 0 0 0 357725 2300 0 0 20 0 1 0 141802208 6704058368 1568823 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 1636733 1568823 4544 2834 0 1618938 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 6546932 KiB
Current children cumulated memory: 6275292 KiB

[startup+3611.2 s]
/proc/loadavg: 4.12 4.14 4.10 5/263 123520
/proc/meminfo: memFree=98674904/131250000 swapFree=33008356/33010684
[pid=123062] ppid=123059 vsize=6546932 memory=6275292 CPUtime=3601.04 cores=4,6
/proc/123062/stat : 123062 (mixed-bag) R 123059 123062 122179 0 -1 4194304 833980 0 0 0 357804 2300 0 0 20 0 1 0 141802208 6704058368 1568823 18446744073709551615 4235264 15840557 140722852522560 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 49631232 140722852526490 140722852526567 140722852526567 140722852532171 0
/proc/123062/statm: 1636733 1568823 4544 2834 0 1618938 0
Current children cumulated CPU time: 3601.04 s
Current children cumulated vsize: 6546932 KiB
Current children cumulated memory: 6275292 KiB

[startup+3611.4 s]*
/proc/loadavg: 4.12 4.14 4.10 5/263 123520
/proc/meminfo: memFree=100017288/131250000 swapFree=33008356/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3611.49
CPU time (s): 3601.35
CPU user time (s): 3578.21
CPU system time (s): 23.1423
CPU usage (%): 99.7191
Max. virtual memory (cumulated for all children) (KiB): 6546932
Max. memory (cumulated for all children) (KiB): 6275292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.21
system time used= 23.1423
maximum resident set size= 6275292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 834070
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= 108
involuntary context switches= 3507


# summary of solver processes directly reported to runsolver:
#   pid: 123062
#   total CPU time (s): 3601.35
#   total CPU user time (s): 3578.21
#   total CPU system time (s): 23.1423

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.50258 second user time and 16.402 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2025-07-11 21:14:16
IDJOB=4529137
IDBENCH=157342
IDSOLVER=3386
FILE ID=nodeC014/4529137-1752261256
RUNJOBID= nodeC014-1752257588-122190
SLURM_JOB_ID= 9682608
Free space on /tmp= 430436 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_fibo_20null0mast_rapportOE2.0_TMAX300_K192_cod1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529137-1752261256/watcher-4529137-1752261256 -o /tmp/evaluation-result-4529137-1752261256/solver-4529137-1752261256 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1752257588-122190 --watchdog 3760  mixed-bag HOME/instance-4529137-1752261256.opb

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

MD5SUM BENCH= 98a5f88ebd5d10d5c10cd6435ed09c83
RANDOM SEED=684294217

nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3600.109
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3600.149
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3610.046
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3700.000
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3601.275
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3600.126
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3599.886
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
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		: 3700.000
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        110841624 kB
MemAvailable:   128385944 kB
Buffers:             696 kB
Cached:         18294252 kB
SwapCached:         1628 kB
Active:          1749124 kB
Inactive:       17923552 kB
Active(anon):    1371336 kB
Inactive(anon):    31012 kB
Active(file):     377788 kB
Inactive(file): 17892540 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008356 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             45836 kB
Writeback:             0 kB
AnonPages:       1375876 kB
Mapped:           140420 kB
Shmem:             24596 kB
KReclaimable:     226460 kB
Slab:             320832 kB
SReclaimable:     226460 kB
SUnreclaim:        94372 kB
KernelStack:        4256 kB
PageTables:         6048 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    1833320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    829440 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430392 MiB
End job on nodeC014 at 2025-07-11 22:14:28