Trace number 4505851

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-05-06? (TO) 3601.06 3610.34

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.10	c RoundingSat 2
0.00/0.10	c branch 
0.00/0.10	c commit 
0.00/0.10	c with Papilo
0.00/0.10	c with SCIP
0.00/0.10	c [STEP] parsing instance
2.28/2.46	c [STEP] preprocessing with Papilo
6.27/6.42	c [STEP] solving with SCIP
307.58/308.83	c [STEP] preprocessing done, loading into solver
308.47/309.72	c [STEP] solving
308.47/309.72	c #variables 329997 #constraints 331689
308.47/309.73	c SMALL=int, LARGE=long long
308.47/309.75	d SCIPUB -190030
308.47/309.76	c bounds - >= -246044672 @ 306.814
308.47/309.76	c stratification level: 4181
2519.36/2526.05	c bounds - >= -97508550 @ 320.682
2519.36/2526.05	c bounds - >= -96621374 @ 320.781
2519.36/2526.05	c bounds - >= -96519710 @ 320.805
2519.36/2526.05	c bounds - >= -96394010 @ 320.829
2519.36/2526.05	c bounds - >= -96353789 @ 320.848
2519.36/2526.05	c bounds - >= -95713637 @ 320.87
2519.36/2526.05	c #Conflicts:       1000 | #Constraints:     334405
2519.36/2526.05	c #Conflicts:       2000 | #Constraints:     335405
2519.36/2526.05	c INPROCESSING
2519.36/2526.05	c GARBAGE COLLECT
2519.36/2526.05	c #Conflicts:       3000 | #Constraints:     335232
2519.36/2526.05	c #Conflicts:       4000 | #Constraints:     336232
2519.36/2526.05	c INPROCESSING
2519.36/2526.05	c GARBAGE COLLECT
2519.36/2526.05	c #Conflicts:       5000 | #Constraints:     335622
2519.36/2526.05	c #Conflicts:       6000 | #Constraints:     336622
2519.36/2526.05	c INPROCESSING
2519.36/2526.05	c GARBAGE COLLECT
2519.36/2526.05	c #Conflicts:       7000 | #Constraints:     335660
2519.36/2526.05	c #Conflicts:       8000 | #Constraints:     336660
2519.36/2526.05	c #Conflicts:       9000 | #Constraints:     337660
2519.36/2526.05	c INPROCESSING
2519.36/2526.05	c GARBAGE COLLECT
2519.36/2526.05	c #Conflicts:      10000 | #Constraints:     336374
2519.36/2526.05	c #Conflicts:      11000 | #Constraints:     337374
2519.36/2526.05	c #Conflicts:      12000 | #Constraints:     338374
2519.36/2526.05	c INPROCESSING
2519.36/2526.05	c GARBAGE COLLECT
2519.36/2526.05	c #Conflicts:      13000 | #Constraints:     336825
2519.36/2526.05	c #Conflicts:      14000 | #Constraints:     337825
2519.36/2526.05	c #Conflicts:      15000 | #Constraints:     338825
2519.36/2526.05	c INPROCESSING
2519.36/2526.05	c #Conflicts:      16000 | #Constraints:     337143
2519.36/2526.05	c #Conflicts:      17000 | #Constraints:     338143
2519.36/2526.05	c #Conflicts:      18000 | #Constraints:     339143
2519.36/2526.05	c INPROCESSING
2519.36/2526.05	c GARBAGE COLLECT
2519.36/2526.05	c #Conflicts:      19000 | #Constraints:     337115
2519.36/2526.05	c #Conflicts:      20000 | #Constraints:     338115
2519.36/2526.05	c #Conflicts:      21000 | #Constraints:     339115
2519.36/2526.05	c INPROCESSING
2519.36/2526.05	c #Conflicts:      22000 | #Constraints:     336907
2519.36/2526.05	c #Conflicts:      23000 | #Constraints:     337907
2519.36/2526.05	c #Conflicts:      24000 | #Constraints:     338907
2519.36/2526.05	c #Conflicts:      25000 | #Constraints:     339907
2519.36/2526.05	c INPROCESSING
2519.36/2526.05	c GARBAGE COLLECT
2519.36/2526.05	c #Conflicts:      26000 | #Constraints:     337558
2519.36/2526.05	c #Conflicts:      27000 | #Constraints:     338558
2519.36/2526.05	c #Conflicts:      28000 | #Constraints:     339558
2519.36/2526.05	c #Conflicts:      29000 | #Constraints:     340558
2519.36/2526.05	c INPROCESSING
2519.36/2526.05	c #Conflicts:      30000 | #Constraints:     337884
2519.36/2526.05	c #Conflicts:      31000 | #Constraints:     338884
2519.36/2526.05	c #Conflicts:      32000 | #Constraints:     339884
2519.36/2526.05	c #Conflicts:      33000 | #Constraints:     340884
2519.36/2526.05	c INPROCESSING
2519.36/2526.05	c GARBAGE COLLECT
2519.36/2526.05	c #Conflicts:      34000 | #Constraints:     338046
2519.36/2526.05	c #Conflicts:      35000 | #Constraints:     339046
2519.36/2526.05	c #Conflicts:      36000 | #Constraints:     340046
2519.36/2526.05	c #Conflicts:      37000 | #Constraints:     341046
2519.36/2526.05	c INPROCESSING
2519.36/2526.05	c #Conflicts:      38000 | #Constraints:     338113
2519.36/2526.05	c #Conflicts:      39000 | #Constraints:     339113
2519.36/2526.05	c #Conflicts:      40000 | #Constraints:     340113
2519.36/2526.05	c #Conflicts:      41000 | #Constraints:     341113
2519.36/2526.05	c INPROCESSING
2519.36/2526.05	c GARBAGE COLLECT
2519.36/2526.05	c #Conflicts:      42000 | #Constraints:     337868
2519.36/2526.05	c #Conflicts:      43000 | #Constraints:     338868
2519.36/2526.05	c #Conflicts:      44000 | #Constraints:     339868
2519.36/2526.05	c #Conflicts:      45000 | #Constraints:     340868
2519.36/2526.05	c #Conflicts:      46000 | #Constraints:     341868
2519.36/2526.05	c INPROCESSING
2519.36/2526.05	c #Conflicts:      47000 | #Constraints:     338448
2519.36/2526.05	c #Conflicts:      48000 | #Constraints:     339448
2519.36/2526.05	c #Conflicts:      49000 | #Constraints:     340448
2519.36/2526.05	c #Conflicts:      50000 | #Constraints:     341448
2519.36/2526.05	c #Conflicts:      51000 | #Constraints:     342448
2519.36/2526.05	c INPROCESSING
2519.36/2526.05	c #Conflicts:      52000 | #Constraints:     338918
2519.36/2526.05	c #Conflicts:      53000 | #Constraints:     339918
2519.36/2526.05	c #Conflicts:      54000 | #Constraints:     340918
2519.36/2526.05	c #Conflicts:      55000 | #Constraints:     341918
2519.36/2526.05	c #Conflicts:      56000 | #Constraints:     342918
2519.36/2526.05	c INPROCESSING
2519.36/2526.05	c GARBAGE COLLECT
2519.36/2526.05	c #Conflicts:      57000 | #Constraints:     339064
2519.36/2526.05	c #Conflicts:      58000 | #Constraints:     340064
2519.36/2526.05	c #Conflicts:      59000 | #Constraints:     341064
2519.36/2526.05	c #Conflicts:      60000 | #Constraints:     342064
2519.36/2526.05	c #Conflicts:      61000 | #Constraints:     343064
2519.36/2526.05	c INPROCESSING
2519.36/2526.05	c GARBAGE COLLECT
2519.36/2526.05	c #Conflicts:      62000 | #Constraints:     339156
2519.36/2526.05	c #Conflicts:      63000 | #Constraints:     340156
2519.36/2526.05	c #Conflicts:      64000 | #Constraints:     341156
2519.36/2526.05	c #Conflicts:      65000 | #Constraints:     342156
2519.36/2526.05	c #Conflicts:      66000 | #Constraints:     343156
2519.36/2526.05	c INPROCESSING
3600.91/3610.28	c GARBAGE COLLECT
3600.91/3610.28	c #Conflicts:      67000 | #Constraints:     338877
3600.91/3610.28	c #Conflicts:      68000 | #Constraints:     339877
3600.91/3610.28	c #Conflicts:      69000 | #Constraints:     340877
3600.91/3610.28	c #Conflicts:      70000 | #Constraints:     341877
3600.91/3610.28	c #Conflicts:      71000 | #Constraints:     342877
3600.91/3610.28	c #Conflicts:      72000 | #Constraints:     343877
3600.91/3610.28	c INPROCESSING
3600.91/3610.28	c GARBAGE COLLECT
3600.91/3610.28	c #Conflicts:      73000 | #Constraints:     339443
3600.91/3610.28	c #Conflicts:      74000 | #Constraints:     340443
3600.91/3610.28	c #Conflicts:      75000 | #Constraints:     341443
3600.91/3610.28	c #Conflicts:      76000 | #Constraints:     342443
3600.91/3610.28	c #Conflicts:      77000 | #Constraints:     343443
3600.91/3610.28	c #Conflicts:      78000 | #Constraints:     344443
3600.91/3610.28	c INPROCESSING
3600.91/3610.28	c GARBAGE COLLECT
3600.91/3610.28	c #Conflicts:      79000 | #Constraints:     339902
3600.91/3610.28	c #Conflicts:      80000 | #Constraints:     340902
3600.91/3610.28	c #Conflicts:      81000 | #Constraints:     341902
3600.91/3610.28	c #Conflicts:      82000 | #Constraints:     342902
3600.91/3610.28	c #Conflicts:      83000 | #Constraints:     343902
3600.91/3610.28	c #Conflicts:      84000 | #Constraints:     344902
3600.91/3610.28	c INPROCESSING
3600.91/3610.28	c GARBAGE COLLECT
3600.91/3610.28	c #Conflicts:      85000 | #Constraints:     340126
3600.91/3610.28	c #Conflicts:      86000 | #Constraints:     341126
3600.91/3610.28	c #Conflicts:      87000 | #Constraints:     342126
3600.91/3610.28	c #Conflicts:      88000 | #Constraints:     343126
3600.91/3610.28	c #Conflicts:      89000 | #Constraints:     344126
3600.91/3610.28	c #Conflicts:      90000 | #Constraints:     345126
3600.91/3610.28	c INPROCESSING
3600.91/3610.28	c #Conflicts:      91000 | #Constraints:     339933
3600.91/3610.28	c #Conflicts:      92000 | #Constraints:     340933
3600.91/3610.28	c #Conflicts:      93000 | #Constraints:     341933
3600.91/3610.28	c #Conflicts:      94000 | #Constraints:     342933
3600.91/3610.28	c #Conflicts:      95000 | #Constraints:     343933
3600.91/3610.28	c #Conflicts:      96000 | #Constraints:     344933
3600.91/3610.28	c INPROCESSING
3600.91/3610.28	c GARBAGE COLLECT
3600.91/3610.28	c #Conflicts:      97000 | #Constraints:     339433
3600.91/3610.28	c Program interrupted by user.
3600.91/3610.28	c cpu time 3578.59 s
3600.91/3610.28	c deterministic time 140420549398 1.40e+11
3600.91/3610.28	c optimization time 77.6734 s
3600.91/3610.28	c total solve time 3194.13 s
3600.91/3610.28	c core-guided solve time 3194.13 s
3600.91/3610.28	c propagation time 789.446 s
3600.91/3610.28	c conflict analysis time 2265.53 s
3600.91/3610.28	c propagations 4930584847
3600.91/3610.28	c resolve steps 155177
3600.91/3610.28	c decisions 30777710
3600.91/3610.28	c conflicts 97724
3600.91/3610.28	c restarts 254
3600.91/3610.28	c inprocessing phases 23
3600.91/3610.28	c input clauses 331777
3600.91/3610.28	c input cardinalities 1621
3600.91/3610.28	c input general constraints 8
3600.91/3610.28	c input average constraint length 11.72
3600.91/3610.28	c input average constraint degree 2675.40
3600.91/3610.28	c learned clauses 61817
3600.91/3610.28	c learned cardinalities 25998
3600.91/3610.28	c learned general constraints 9908
3600.91/3610.28	c learned average constraint length 14158.72
3600.91/3610.28	c learned average constraint degree 17225.69
3600.91/3610.28	c watched constraints 27
3600.91/3610.28	c counting constraints 9889
3600.91/3610.28	c gcd simplifications 0
3600.91/3610.28	c detected cardinalities 0
3600.91/3610.28	c weakened non-implied lits 4692975660
3600.91/3610.28	c weakened non-implying lits 44
3600.91/3610.28	c original variables 399113
3600.91/3610.28	c clausal propagations 49455352
3600.91/3610.28	c cardinality propagations 10334719
3600.91/3610.28	c watched propagations 4488
3600.91/3610.28	c counting propagations 4848916739
3600.91/3610.28	c watch lookups 332408330
3600.91/3610.28	c watch backjump lookups 234382939
3600.91/3610.28	c watch checks 1544963793
3600.91/3610.28	c propagation checks 97778495465
3600.91/3610.28	c constraint additions 30607766613
3600.91/3610.28	c trail pops 4961169700
3600.91/3610.28	c formula constraints 331689
3600.91/3610.28	c learned constraints 97723
3600.91/3610.28	c bound constraints 7
3600.91/3610.28	c core-guided constraints 1710
3600.91/3610.28	c encountered formula constraints 111279
3600.91/3610.28	c encountered learned constraints 45331
3600.91/3610.28	c encountered bound constraints 0
3600.91/3610.28	c encountered core-guided constraints 96518
3600.91/3610.28	c LP total time 0 s
3600.91/3610.28	c LP solve time 0 s
3600.91/3610.28	c LP constraints added 0
3600.91/3610.28	c LP constraints removed 0
3600.91/3610.28	c LP pivots internal 0
3600.91/3610.28	c LP pivots root 0
3600.91/3610.28	c LP calls 0
3600.91/3610.28	c LP optimalities 0
3600.91/3610.28	c LP no pivot count 0
3600.91/3610.28	c LP infeasibilities 0
3600.91/3610.28	c LP valid Farkas constraints 0
3600.91/3610.28	c LP learned Farkas constraints 0
3600.91/3610.28	c LP basis resets 0
3600.91/3610.28	c LP cycling count 0
3600.91/3610.28	c LP singular count 0
3600.91/3610.28	c LP no primal count 0
3600.91/3610.28	c LP no farkas count 0
3600.91/3610.28	c LP other issue count 0
3600.91/3610.28	c LP Gomory cuts 0
3600.91/3610.28	c LP learned cuts 0
3600.91/3610.28	c LP deleted cuts 0
3600.91/3610.28	c LP encountered Gomory constraints 0
3600.91/3610.28	c LP encountered Farkas constraints 0
3600.91/3610.28	c LP encountered learned Farkas constraints 0
3600.91/3610.28	c CG auxiliary variables introduced 1483
3600.91/3610.28	c CG solutions found 0
3600.91/3610.28	c CG cores constructed 6
3600.91/3610.28	c CG core cardinality constraints returned 6
3600.91/3610.28	c CG unit cores 0
3600.91/3610.28	c CG single cores 6
3600.91/3610.28	c CG blocks removed during cardinality reduction 30
3600.91/3610.28	c CG first core best 0
3600.91/3610.28	c CG decision core best 0
3600.91/3610.28	c CG core reduction tie 0
3600.91/3610.28	c CG core degree average 68.00
3600.91/3610.28	c CG core slack average 1.00
3600.91/3610.28	c CG exhausted 0
3600.91/3610.28	c CG exhaust time 0 s
3600.91/3610.28	c CG trimmed 0
3600.91/3610.28	c CG trim time 0.005455 s
3600.91/3610.28	c CG minimized 0
3600.91/3610.28	c CG minimize time 0 s
3600.91/3610.28	c CG am1 prop time 2.82017 s
3600.91/3610.28	c CG # am1s reformulated 1483
3600.91/3610.28	c CG lower bound derived from am1s 147311003
3600.91/3610.28	c CG # clausal cores 0
3600.91/3610.28	c CG # cardinality cores 6
3600.91/3610.28	c CG # pb cores 0
3600.91/3610.28	c CG # pb reforms 0
3600.91/3610.28	c CG # cores discarded because of pb reform 0
3600.91/3610.28	d LOWERBOUND -95713637
3600.91/3610.28	d NCORES 6
3600.91/3610.28	d NPBCORES 0
3600.91/3610.28	d NPBREFORM 0
3600.91/3610.28	d NTRIMMED 0
3600.91/3610.28	d NEXHAUSTED 0
3600.91/3610.28	d NAM1S 1483
3600.91/3610.28	d AM1LB 147311003
3600.91/3610.28	c [Papilo Statistics]
3600.91/3610.28	c prepro time 3.95845s
3600.91/3610.28	c # tsx applied 1315
3600.91/3610.28	c # tsx conflicts 115
3600.91/3610.28	c # bound changes 69115
3600.91/3610.28	c # side changes 195
3600.91/3610.28	c # coef changes 9
3600.91/3610.28	c # rounds 4
3600.91/3610.28	c # deted vars 69117
3600.91/3610.28	c # deted constrs 69484
3600.91/3610.28	c # consecutive rounds of only bound changes 0
3601.01/3610.32	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 (61825 MiB free)
  memory of node 1: 64465 MiB (63447 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4505851-1751491800/watcher-4505851-1751491800 -o /tmp/evaluation-result-4505851-1751491800/solver-4505851-1751491800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751491800-63924 --watchdog 3760 mixed-bag HOME/instance-4505851-1751491800.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=63974, runsolver pid=63962

[startup+0.100071 s]*
/proc/loadavg: 0.70 2.11 3.20 2/266 63982
/proc/meminfo: memFree=128279780/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=84612 memory=11520 CPUtime=0 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 1046 0 9 0 0 0 0 0 20 0 1 0 64857585 86642688 2848 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 21153 2880 2080 2842 0 3386 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 84612 KiB
Current children cumulated memory: 11520 KiB

[startup+0.205525 s]*
/proc/loadavg: 0.70 2.11 3.20 6/266 63982
/proc/meminfo: memFree=128087456/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=203732 memory=97032 CPUtime=0.11 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 15208 0 9 0 8 3 0 0 20 0 1 0 64857585 208621568 24258 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 50933 24258 2080 2842 0 33166 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 203732 KiB
Current children cumulated memory: 97032 KiB

[startup+0.305863 s]*
/proc/loadavg: 0.70 2.11 3.20 4/266 63982
/proc/meminfo: memFree=127991312/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=190532 memory=100276 CPUtime=0.2 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 18595 0 9 0 17 3 0 0 20 0 1 0 64857585 195104768 25069 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 47633 25069 2112 2842 0 29866 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 190532 KiB
Current children cumulated memory: 100276 KiB

[startup+0.700168 s]
/proc/loadavg: 0.70 2.11 3.20 6/266 63982
/proc/meminfo: memFree=127915204/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=215152 memory=118956 CPUtime=0.6 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 19165 0 9 0 55 5 0 0 20 0 1 0 64857585 220315648 29739 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 53788 29739 2112 2842 0 36021 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 215152 KiB
Current children cumulated memory: 118956 KiB

[startup+1.50015 s]
/proc/loadavg: 0.70 2.11 3.20 6/266 63982
/proc/meminfo: memFree=127579832/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=247920 memory=160284 CPUtime=1.38 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 20313 0 9 0 132 6 0 0 20 0 1 0 64857585 253870080 40071 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 61980 40071 2112 2842 0 44213 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 247920 KiB
Current children cumulated memory: 160284 KiB

[startup+3.10581 s]
/proc/loadavg: 0.70 2.11 3.20 6/266 63982
/proc/meminfo: memFree=126640524/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=650112 memory=511836 CPUtime=2.99 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 49680 0 9 0 276 23 0 0 20 0 1 0 64857585 665714688 127959 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 162528 127959 2304 2842 0 144222 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 650112 KiB
Current children cumulated memory: 511836 KiB

[startup+6.30015 s]
/proc/loadavg: 1.05 2.16 3.21 6/266 63982
/proc/meminfo: memFree=126567648/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=678920 memory=534336 CPUtime=6.17 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 51832 0 9 0 594 23 0 0 20 0 1 0 64857585 695214080 133584 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 169730 133584 2304 2842 0 151424 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 678920 KiB
Current children cumulated memory: 534336 KiB

[startup+12.7001 s]
/proc/loadavg: 1.29 2.19 3.22 6/266 63983
/proc/meminfo: memFree=123890424/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=2124056 memory=1963572 CPUtime=12.54 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 426551 0 9 0 1164 90 0 0 20 0 1 0 64857585 2175033344 490893 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 531014 490893 4032 2842 0 512708 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 2124056 KiB
Current children cumulated memory: 1963572 KiB

[startup+25.5002 s]
/proc/loadavg: 1.89 2.28 3.23 6/266 63983
/proc/meminfo: memFree=122938632/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=2580052 memory=2418208 CPUtime=25.31 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 506453 0 9 0 2425 106 0 0 20 0 1 0 64857585 2641973248 604552 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 645013 604552 4064 2842 0 626707 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 2580052 KiB
Current children cumulated memory: 2418208 KiB

[startup+51.1058 s]
/proc/loadavg: 2.69 2.43 3.26 6/266 63983
/proc/meminfo: memFree=122896076/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=2636820 memory=2476448 CPUtime=50.82 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 515905 0 9 0 4974 108 0 0 20 0 1 0 64857585 2700103680 619112 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 659205 619112 4064 2842 0 640899 0
Current children cumulated CPU time: 50.82 s
Current children cumulated vsize: 2636820 KiB
Current children cumulated memory: 2476448 KiB

[startup+102.3 s]
/proc/loadavg: 3.43 2.68 3.30 6/266 63985
/proc/meminfo: memFree=122114596/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=2636820 memory=2476448 CPUtime=101.82 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 516009 0 9 0 10074 108 0 0 20 0 1 0 64857585 2700103680 619112 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 659205 619112 4064 2842 0 640899 0
Current children cumulated CPU time: 101.82 s
Current children cumulated vsize: 2636820 KiB
Current children cumulated memory: 2476448 KiB

[startup+162.3 s]
/proc/loadavg: 3.84 2.94 3.35 6/265 63987
/proc/meminfo: memFree=120719656/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=4114660 memory=3767704 CPUtime=161.61 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 694008 0 9 0 16014 147 0 0 20 0 1 0 64857585 4213411840 941926 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 1028665 941926 4256 2842 0 1010359 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 4114660 KiB
Current children cumulated memory: 3767704 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.16 3.40 6/266 63992
/proc/meminfo: memFree=120548644/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=4160704 memory=3820020 CPUtime=221.4 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 696972 0 9 0 21991 149 0 0 20 0 1 0 64857585 4260560896 955005 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 1040176 955005 4256 2842 0 1021870 0
Current children cumulated CPU time: 221.4 s
Current children cumulated vsize: 4160704 KiB
Current children cumulated memory: 3820020 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 3.33 3.45 6/266 63995
/proc/meminfo: memFree=120501300/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=4209536 memory=3845888 CPUtime=281.17 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 697325 0 9 0 27968 149 0 0 20 0 1 0 64857585 4310564864 961472 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 1052384 961472 4256 2842 0 1034078 0
Current children cumulated CPU time: 281.17 s
Current children cumulated vsize: 4209536 KiB
Current children cumulated memory: 3845888 KiB

[startup+342.3 s]
/proc/loadavg: 4.03 3.46 3.49 6/266 63997
/proc/meminfo: memFree=118852840/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=3709872 memory=3588204 CPUtime=341 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 701217 0 9 0 33902 198 0 0 20 0 1 0 64857585 3798908928 897051 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 927468 897051 4448 2842 0 909162 0
Current children cumulated CPU time: 341 s
Current children cumulated vsize: 3709872 KiB
Current children cumulated memory: 3588204 KiB

[startup+402.3 s]
/proc/loadavg: 4.51 3.68 3.56 6/265 63999
/proc/meminfo: memFree=113543684/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=3973608 memory=3737612 CPUtime=400.85 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 704155 0 9 0 39836 249 0 0 20 0 1 0 64857585 4068974592 934403 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 993402 934403 4448 2842 0 975096 0
Current children cumulated CPU time: 400.85 s
Current children cumulated vsize: 3973608 KiB
Current children cumulated memory: 3737612 KiB

[startup+462.3 s]
/proc/loadavg: 4.24 3.76 3.60 6/265 64001
/proc/meminfo: memFree=111939688/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=3973608 memory=3845116 CPUtime=460.7 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 704981 0 9 0 45776 294 0 0 20 0 1 0 64857585 4068974592 961279 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 993402 961279 4448 2842 0 975096 0

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

Current children cumulated memory: 6413404 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.10 4.07 6/265 64164
/proc/meminfo: memFree=98794448/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=6551060 memory=6413404 CPUtime=3094.24 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 837309 0 9 0 307349 2075 0 0 20 0 1 0 64857585 6708285440 1603351 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 1637765 1603351 4448 2842 0 1619459 0
Current children cumulated CPU time: 3094.24 s
Current children cumulated vsize: 6551060 KiB
Current children cumulated memory: 6413404 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.09 4.07 6/264 64166
/proc/meminfo: memFree=98794360/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=6551060 memory=6413404 CPUtime=3154.09 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 838806 0 9 0 313316 2093 0 0 20 0 1 0 64857585 6708285440 1603351 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 1637765 1603351 4448 2842 0 1619459 0
Current children cumulated CPU time: 3154.09 s
Current children cumulated vsize: 6551060 KiB
Current children cumulated memory: 6413404 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.09 4.07 6/265 64172
/proc/meminfo: memFree=98759192/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=6551060 memory=6413404 CPUtime=3213.95 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 838882 0 9 0 319272 2123 0 0 20 0 1 0 64857585 6708285440 1603351 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 1637765 1603351 4448 2842 0 1619459 0
Current children cumulated CPU time: 3213.95 s
Current children cumulated vsize: 6551060 KiB
Current children cumulated memory: 6413404 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.08 6/265 64174
/proc/meminfo: memFree=98742968/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=6551060 memory=6413404 CPUtime=3273.81 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 841235 0 9 0 325244 2137 0 0 20 0 1 0 64857585 6708285440 1603351 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 1637765 1603351 4448 2842 0 1619459 0
Current children cumulated CPU time: 3273.81 s
Current children cumulated vsize: 6551060 KiB
Current children cumulated memory: 6413404 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.08 6/265 64176
/proc/meminfo: memFree=98743064/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=6551060 memory=6413404 CPUtime=3333.66 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 841514 0 9 0 331180 2186 0 0 20 0 1 0 64857585 6708285440 1603351 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 1637765 1603351 4448 2842 0 1619459 0
Current children cumulated CPU time: 3333.66 s
Current children cumulated vsize: 6551060 KiB
Current children cumulated memory: 6413404 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.11 4.08 6/264 64178
/proc/meminfo: memFree=98686452/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=6551060 memory=6413404 CPUtime=3393.51 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 843267 0 9 0 337151 2200 0 0 20 0 1 0 64857585 6708285440 1603351 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 1637765 1603351 4448 2842 0 1619459 0
Current children cumulated CPU time: 3393.51 s
Current children cumulated vsize: 6551060 KiB
Current children cumulated memory: 6413404 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.08 6/265 64181
/proc/meminfo: memFree=98544248/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=6551060 memory=6413404 CPUtime=3453.37 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 844056 0 9 0 343127 2210 0 0 20 0 1 0 64857585 6708285440 1603351 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 1637765 1603351 4448 2842 0 1619459 0
Current children cumulated CPU time: 3453.37 s
Current children cumulated vsize: 6551060 KiB
Current children cumulated memory: 6413404 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.08 6/264 64183
/proc/meminfo: memFree=98543300/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=6551060 memory=6413404 CPUtime=3513.22 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 844208 0 9 0 349101 2221 0 0 20 0 1 0 64857585 6708285440 1603351 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 1637765 1603351 4448 2842 0 1619459 0
Current children cumulated CPU time: 3513.22 s
Current children cumulated vsize: 6551060 KiB
Current children cumulated memory: 6413404 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.09 6/264 64186
/proc/meminfo: memFree=98544152/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=6551060 memory=6413404 CPUtime=3573.08 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 846507 0 9 0 355072 2236 0 0 20 0 1 0 64857585 6708285440 1603351 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 1637765 1603351 4448 2842 0 1619459 0
Current children cumulated CPU time: 3573.08 s
Current children cumulated vsize: 6551060 KiB
Current children cumulated memory: 6413404 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/266 64193
/proc/meminfo: memFree=98527420/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=6551060 memory=6413404 CPUtime=3600.01 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 846559 0 9 0 357760 2241 0 0 20 0 1 0 64857585 6708285440 1603351 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 1637765 1603351 4448 2842 0 1619459 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 6551060 KiB
Current children cumulated memory: 6413404 KiB

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

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

# cumulated CPU time of all completed processes:  user=3578.62 s, system=22.4341 s

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

[startup+3609.6 s]
/proc/loadavg: 4.10 4.11 4.09 6/266 64193
/proc/meminfo: memFree=98527420/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=6551060 memory=6413916 CPUtime=3600.31 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 846635 0 9 0 357790 2241 0 0 20 0 1 0 64857585 6708285440 1603479 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 1637765 1603479 4576 2842 0 1619459 0
Current children cumulated CPU time: 3600.31 s
Current children cumulated vsize: 6551060 KiB
Current children cumulated memory: 6413916 KiB

[startup+3610 s]*
/proc/loadavg: 4.10 4.11 4.09 5/262 64201
/proc/meminfo: memFree=100767124/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=6551060 memory=6413916 CPUtime=3600.71 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 846636 0 9 0 357830 2241 0 0 20 0 1 0 64857585 6708285440 1603479 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 1637765 1603479 4576 2842 0 1619459 0
Current children cumulated CPU time: 3600.71 s
Current children cumulated vsize: 6551060 KiB
Current children cumulated memory: 6413916 KiB

[startup+3610.2 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 64201
/proc/meminfo: memFree=100767124/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=6551060 memory=6413916 CPUtime=3600.91 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 846637 0 9 0 357850 2241 0 0 20 0 1 0 64857585 6708285440 1603479 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 1637765 1603479 4576 2842 0 1619459 0
Current children cumulated CPU time: 3600.91 s
Current children cumulated vsize: 6551060 KiB
Current children cumulated memory: 6413916 KiB

[startup+3610.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 64201
/proc/meminfo: memFree=100767124/131250000 swapFree=33007332/33010684
[pid=63974] ppid=63962 vsize=6549000 memory=6412660 CPUtime=3601.01 cores=1,3
/proc/63974/stat : 63974 (mixed-bag) R 63962 63974 63907 0 -1 4194304 846666 0 9 0 357860 2241 0 0 20 0 1 0 64857585 6706176000 1603165 18446744073709551615 4235264 15874749 140720449664112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 27013120 140720449669532 140720449669609 140720449669609 140720449675211 0
/proc/63974/statm: 1637250 1603165 4576 2842 0 1618944 0
Current children cumulated CPU time: 3601.01 s
Current children cumulated vsize: 6549000 KiB
Current children cumulated memory: 6412660 KiB

Child status: 0

Real time (s): 3610.34
CPU time (s): 3601.06
CPU user time (s): 3578.62
CPU system time (s): 22.4341
CPU usage (%): 99.743
Max. virtual memory (cumulated for all children) (KiB): 6551060
Max. memory (cumulated for all children) (KiB): 6413916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.62
system time used= 22.4341
maximum resident set size= 6413916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 846689
page faults= 9
swaps= 0
block input operations= 272
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 250
involuntary context switches= 5734


# summary of solver processes directly reported to runsolver:
#   pid: 63974
#   total CPU time (s): 3601.06
#   total CPU user time (s): 3578.62
#   total CPU system time (s): 22.4341

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.98164 second user time and 15.9925 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-07-02 23:30:01
IDJOB=4505851
IDBENCH=157342
IDSOLVER=3340
FILE ID=nodeC019/4505851-1751491800
RUNJOBID= nodeC019-1751491800-63924
SLURM_JOB_ID= 9598556
Free space on /tmp= 431664 MiB

SOLVER NAME= mixed-bag-2024 2025-05-06
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-4505851-1751491800/watcher-4505851-1751491800 -o /tmp/evaluation-result-4505851-1751491800/solver-4505851-1751491800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751491800-63924 --watchdog 3760  mixed-bag HOME/instance-4505851-1751491800.opb

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

MD5SUM BENCH= 98a5f88ebd5d10d5c10cd6435ed09c83
RANDOM SEED=1217985912

nodeC019 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		: 3599.900
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	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128288048 kB
MemAvailable:   129741084 kB
Buffers:             904 kB
Cached:          2257116 kB
SwapCached:          440 kB
Active:           210844 kB
Inactive:        2112868 kB
Active(anon):      53140 kB
Inactive(anon):    27772 kB
Active(file):     157704 kB
Inactive(file):  2085096 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33007332 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            112000 kB
Writeback:            12 kB
AnonPages:         68356 kB
Mapped:           103180 kB
Shmem:             15192 kB
KReclaimable:      98948 kB
Slab:             186952 kB
SReclaimable:      98948 kB
SUnreclaim:        88004 kB
KernelStack:        4048 kB
PageTables:         2816 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     329580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431616 MiB
End job on nodeC019 at 2025-07-03 00:30:11