Trace number 4435681

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-07-02? (TO) 3601.39 3609.81

DiagnosticValue
AM1LB33684811
LOWERBOUND-71775947
NAM1S237
NCORES11
NEXHAUSTED0
NPBCORES1
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_K192_cod1.opb
MD5SUMc394902a34a3ecc31aded0750ee67503
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-43018
Best CPU time to get the best result obtained on this benchmark72001.1
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 170372
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 105742757
Number of bits of the sum of numbers in the objective function 27
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 105742757
Number of bits of the biggest sum of numbers27
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c with Papilo
0.00/0.00	c with SCIP
0.00/0.00	c [STEP] parsing instance
2.99/3.03	c [STEP] preprocessing with Papilo
7.56/7.62	c [STEP] solving with SCIP
308.50/309.39	c [STEP] preprocessing done, loading into solver
309.11/309.97	c [STEP] solving
309.11/309.97	c #variables 227847 #constraints 229004
309.11/309.97	c SMALL=int, LARGE=long long
309.11/309.98	c bounds - >= -105742757 @ 307.954
309.11/309.98	c stratification level: 999
2414.41/2420.32	c bounds - >= -71789947 @ 319.415
2414.41/2420.32	c bounds - >= -71787947 @ 321.548
2414.41/2420.32	c #Conflicts:       1000 | #Constraints:     230509
2414.41/2420.32	c bounds - >= -71785947 @ 321.587
2414.41/2420.32	c bounds - >= -71782947 @ 321.61
2414.41/2420.32	c bounds - >= -71781947 @ 321.643
2414.41/2420.32	c bounds - >= -71780947 @ 324.319
2414.41/2420.32	c bounds - >= -71779947 @ 326.252
2414.41/2420.32	c bounds - >= -71778947 @ 328.196
2414.41/2420.32	c bounds - >= -71777947 @ 328.56
2414.41/2420.32	c bounds - >= -71776947 @ 329.033
2414.41/2420.32	c bounds - >= -71775947 @ 329.492
2414.41/2420.32	c #Conflicts:       2000 | #Constraints:     231518
2414.41/2420.32	c INPROCESSING
2414.41/2420.32	c GARBAGE COLLECT
2414.41/2420.32	c #Conflicts:       3000 | #Constraints:     223695
2414.41/2420.32	c #Conflicts:       4000 | #Constraints:     224695
2414.41/2420.32	c INPROCESSING
2414.41/2420.32	c GARBAGE COLLECT
2414.41/2420.32	c #Conflicts:       5000 | #Constraints:     224176
2414.41/2420.32	c #Conflicts:       6000 | #Constraints:     225176
2414.41/2420.32	c INPROCESSING
2414.41/2420.32	c GARBAGE COLLECT
2414.41/2420.32	c #Conflicts:       7000 | #Constraints:     224309
2414.41/2420.32	c #Conflicts:       8000 | #Constraints:     225309
2414.41/2420.32	c #Conflicts:       9000 | #Constraints:     226309
2414.41/2420.32	c INPROCESSING
2414.41/2420.32	c GARBAGE COLLECT
2414.41/2420.32	c #Conflicts:      10000 | #Constraints:     224991
2414.41/2420.33	c #Conflicts:      11000 | #Constraints:     225991
2414.41/2420.33	c #Conflicts:      12000 | #Constraints:     226991
2414.41/2420.33	c INPROCESSING
2414.41/2420.33	c GARBAGE COLLECT
2414.41/2420.33	c #Conflicts:      13000 | #Constraints:     225328
2414.41/2420.33	c #Conflicts:      14000 | #Constraints:     226328
2414.41/2420.33	c #Conflicts:      15000 | #Constraints:     227328
2414.41/2420.33	c INPROCESSING
2414.41/2420.33	c GARBAGE COLLECT
2414.41/2420.33	c #Conflicts:      16000 | #Constraints:     225541
2414.41/2420.33	c #Conflicts:      17000 | #Constraints:     226541
2414.41/2420.33	c #Conflicts:      18000 | #Constraints:     227541
2414.41/2420.33	c INPROCESSING
2414.41/2420.33	c GARBAGE COLLECT
2414.41/2420.33	c #Conflicts:      19000 | #Constraints:     225580
2414.41/2420.33	c #Conflicts:      20000 | #Constraints:     226580
2414.41/2420.33	c #Conflicts:      21000 | #Constraints:     227580
2414.41/2420.33	c INPROCESSING
2414.41/2420.33	c GARBAGE COLLECT
2414.41/2420.33	c #Conflicts:      22000 | #Constraints:     225346
2414.41/2420.33	c #Conflicts:      23000 | #Constraints:     226346
2414.41/2420.33	c #Conflicts:      24000 | #Constraints:     227346
2414.41/2420.33	c #Conflicts:      25000 | #Constraints:     228346
2414.41/2420.33	c INPROCESSING
2414.41/2420.33	c GARBAGE COLLECT
2414.41/2420.33	c #Conflicts:      26000 | #Constraints:     225333
2414.41/2420.33	c #Conflicts:      27000 | #Constraints:     226333
2414.41/2420.33	c #Conflicts:      28000 | #Constraints:     227333
2414.41/2420.33	c #Conflicts:      29000 | #Constraints:     228333
2414.41/2420.33	c INPROCESSING
2414.41/2420.33	c GARBAGE COLLECT
2414.41/2420.33	c #Conflicts:      30000 | #Constraints:     225739
2414.41/2420.33	c #Conflicts:      31000 | #Constraints:     226739
2414.41/2420.33	c #Conflicts:      32000 | #Constraints:     227739
2414.41/2420.33	c #Conflicts:      33000 | #Constraints:     228739
2414.41/2420.33	c INPROCESSING
2414.41/2420.33	c GARBAGE COLLECT
2414.41/2420.33	c #Conflicts:      34000 | #Constraints:     226066
2414.41/2420.33	c #Conflicts:      35000 | #Constraints:     227066
2414.41/2420.33	c #Conflicts:      36000 | #Constraints:     228066
2414.41/2420.33	c #Conflicts:      37000 | #Constraints:     229066
2414.41/2420.33	c INPROCESSING
2414.41/2420.33	c GARBAGE COLLECT
2414.41/2420.33	c #Conflicts:      38000 | #Constraints:     226129
2414.41/2420.33	c #Conflicts:      39000 | #Constraints:     227129
2414.41/2420.33	c #Conflicts:      40000 | #Constraints:     228129
2414.41/2420.33	c #Conflicts:      41000 | #Constraints:     229129
2414.41/2420.33	c INPROCESSING
2414.41/2420.33	c GARBAGE COLLECT
2414.41/2420.33	c #Conflicts:      42000 | #Constraints:     225873
2414.41/2420.33	c #Conflicts:      43000 | #Constraints:     226873
2414.41/2420.33	c #Conflicts:      44000 | #Constraints:     227873
2414.41/2420.33	c #Conflicts:      45000 | #Constraints:     228873
2414.41/2420.33	c #Conflicts:      46000 | #Constraints:     229873
2414.41/2420.33	c INPROCESSING
2414.41/2420.33	c GARBAGE COLLECT
2414.41/2420.33	c #Conflicts:      47000 | #Constraints:     226459
2414.41/2420.33	c #Conflicts:      48000 | #Constraints:     227459
2414.41/2420.33	c #Conflicts:      49000 | #Constraints:     228459
2414.41/2420.33	c #Conflicts:      50000 | #Constraints:     229459
2414.41/2420.33	c #Conflicts:      51000 | #Constraints:     230459
2414.41/2420.33	c INPROCESSING
2414.41/2420.33	c GARBAGE COLLECT
2414.41/2420.33	c #Conflicts:      52000 | #Constraints:     226947
2414.41/2420.33	c #Conflicts:      53000 | #Constraints:     227947
2414.41/2420.33	c #Conflicts:      54000 | #Constraints:     228947
2414.41/2420.33	c #Conflicts:      55000 | #Constraints:     229947
2414.41/2420.33	c #Conflicts:      56000 | #Constraints:     230947
2414.41/2420.33	c INPROCESSING
2414.41/2420.33	c GARBAGE COLLECT
2414.41/2420.33	c #Conflicts:      57000 | #Constraints:     227137
2414.41/2420.33	c #Conflicts:      58000 | #Constraints:     228137
2414.41/2420.33	c #Conflicts:      59000 | #Constraints:     229137
2414.41/2420.33	c #Conflicts:      60000 | #Constraints:     230137
2414.41/2420.33	c #Conflicts:      61000 | #Constraints:     231137
2414.41/2420.33	c INPROCESSING
2414.41/2420.33	c GARBAGE COLLECT
3601.17/3609.69	c #Conflicts:      62000 | #Constraints:     227139
3601.17/3609.69	c #Conflicts:      63000 | #Constraints:     228139
3601.17/3609.69	c #Conflicts:      64000 | #Constraints:     229139
3601.17/3609.69	c #Conflicts:      65000 | #Constraints:     230139
3601.17/3609.69	c #Conflicts:      66000 | #Constraints:     231139
3601.17/3609.69	c INPROCESSING
3601.17/3609.69	c GARBAGE COLLECT
3601.17/3609.69	c #Conflicts:      67000 | #Constraints:     226919
3601.17/3609.69	c #Conflicts:      68000 | #Constraints:     227919
3601.17/3609.69	c #Conflicts:      69000 | #Constraints:     228919
3601.17/3609.69	c #Conflicts:      70000 | #Constraints:     229919
3601.17/3609.69	c #Conflicts:      71000 | #Constraints:     230919
3601.17/3609.69	c #Conflicts:      72000 | #Constraints:     231919
3601.17/3609.69	c INPROCESSING
3601.17/3609.69	c GARBAGE COLLECT
3601.17/3609.69	c #Conflicts:      73000 | #Constraints:     227536
3601.17/3609.69	c #Conflicts:      74000 | #Constraints:     228536
3601.17/3609.69	c #Conflicts:      75000 | #Constraints:     229536
3601.17/3609.69	c #Conflicts:      76000 | #Constraints:     230536
3601.17/3609.69	c #Conflicts:      77000 | #Constraints:     231536
3601.17/3609.69	c #Conflicts:      78000 | #Constraints:     232536
3601.17/3609.69	c INPROCESSING
3601.17/3609.69	c GARBAGE COLLECT
3601.17/3609.69	c #Conflicts:      79000 | #Constraints:     227954
3601.17/3609.69	c #Conflicts:      80000 | #Constraints:     228954
3601.17/3609.69	c #Conflicts:      81000 | #Constraints:     229954
3601.17/3609.69	c #Conflicts:      82000 | #Constraints:     230954
3601.17/3609.69	c #Conflicts:      83000 | #Constraints:     231954
3601.17/3609.69	c #Conflicts:      84000 | #Constraints:     232954
3601.17/3609.69	c INPROCESSING
3601.17/3609.69	c GARBAGE COLLECT
3601.17/3609.69	c #Conflicts:      85000 | #Constraints:     228176
3601.17/3609.69	c #Conflicts:      86000 | #Constraints:     229176
3601.17/3609.69	c #Conflicts:      87000 | #Constraints:     230176
3601.17/3609.69	c #Conflicts:      88000 | #Constraints:     231176
3601.17/3609.69	c #Conflicts:      89000 | #Constraints:     232176
3601.17/3609.69	c #Conflicts:      90000 | #Constraints:     233176
3601.17/3609.69	c INPROCESSING
3601.17/3609.69	c GARBAGE COLLECT
3601.17/3609.69	c #Conflicts:      91000 | #Constraints:     228211
3601.17/3609.69	c #Conflicts:      92000 | #Constraints:     229211
3601.17/3609.69	c #Conflicts:      93000 | #Constraints:     230211
3601.17/3609.69	c #Conflicts:      94000 | #Constraints:     231211
3601.17/3609.69	c #Conflicts:      95000 | #Constraints:     232211
3601.17/3609.69	c #Conflicts:      96000 | #Constraints:     233211
3601.17/3609.69	c INPROCESSING
3601.17/3609.69	c GARBAGE COLLECT
3601.17/3609.69	c #Conflicts:      97000 | #Constraints:     228089
3601.17/3609.69	c #Conflicts:      98000 | #Constraints:     229089
3601.17/3609.69	c #Conflicts:      99000 | #Constraints:     230089
3601.17/3609.69	c #Conflicts:     100000 | #Constraints:     231089
3601.17/3609.69	c #Conflicts:     101000 | #Constraints:     232089
3601.17/3609.69	c #Conflicts:     102000 | #Constraints:     233089
3601.17/3609.69	c Program interrupted by user.
3601.17/3609.69	c cpu time 3574.86 s
3601.17/3609.69	c deterministic time 151837419874 1.52e+11
3601.17/3609.69	c optimization time 217.777 s
3601.17/3609.69	c total solve time 3049.14 s
3601.17/3609.69	c core-guided solve time 3049.14 s
3601.17/3609.69	c propagation time 1068.14 s
3601.17/3609.69	c conflict analysis time 1888.21 s
3601.17/3609.69	c propagations 3950067630
3601.17/3609.69	c resolve steps 1218456
3601.17/3609.69	c decisions 34284600
3601.17/3609.69	c conflicts 102989
3601.17/3609.69	c restarts 259
3601.17/3609.69	c inprocessing phases 23
3601.17/3609.69	c input clauses 228421
3601.17/3609.69	c input cardinalities 1086
3601.17/3609.69	c input general constraints 12
3601.17/3609.69	c input average constraint length 14.22
3601.17/3609.69	c input average constraint degree 1621.21
3601.17/3609.69	c learned clauses 45420
3601.17/3609.69	c learned cardinalities 37151
3601.17/3609.69	c learned general constraints 20417
3601.17/3609.69	c learned average constraint length 16834.95
3601.17/3609.69	c learned average constraint degree 289703.07
3601.17/3609.69	c watched constraints 4510
3601.17/3609.69	c counting constraints 15919
3601.17/3609.69	c gcd simplifications 49
3601.17/3609.69	c detected cardinalities 47
3601.17/3609.69	c weakened non-implied lits 3510587797
3601.17/3609.69	c weakened non-implying lits 2976
3601.17/3609.69	c original variables 399113
3601.17/3609.69	c clausal propagations 157436767
3601.17/3609.69	c cardinality propagations 98066352
3601.17/3609.69	c watched propagations 264121
3601.17/3609.69	c counting propagations 3630706476
3601.17/3609.69	c watch lookups 533896346
3601.17/3609.69	c watch backjump lookups 267518630
3601.17/3609.69	c watch checks 2705371472
3601.17/3609.69	c propagation checks 128564910727
3601.17/3609.69	c constraint additions 11797058810
3601.17/3609.69	c trail pops 3984311658
3601.17/3609.69	c formula constraints 229004
3601.17/3609.69	c learned constraints 102988
3601.17/3609.69	c bound constraints 11
3601.17/3609.69	c core-guided constraints 504
3601.17/3609.69	c encountered formula constraints 1068101
3601.17/3609.69	c encountered learned constraints 164837
3601.17/3609.69	c encountered bound constraints 0
3601.17/3609.69	c encountered core-guided constraints 88774
3601.17/3609.69	c LP total time 0 s
3601.17/3609.69	c LP solve time 0 s
3601.17/3609.69	c LP constraints added 0
3601.17/3609.69	c LP constraints removed 0
3601.17/3609.69	c LP pivots internal 0
3601.17/3609.69	c LP pivots root 0
3601.17/3609.69	c LP calls 0
3601.17/3609.69	c LP optimalities 0
3601.17/3609.69	c LP no pivot count 0
3601.17/3609.69	c LP infeasibilities 0
3601.17/3609.69	c LP valid Farkas constraints 0
3601.17/3609.69	c LP learned Farkas constraints 0
3601.17/3609.69	c LP basis resets 0
3601.17/3609.69	c LP cycling count 0
3601.17/3609.69	c LP singular count 0
3601.17/3609.69	c LP no primal count 0
3601.17/3609.69	c LP no farkas count 0
3601.17/3609.69	c LP other issue count 0
3601.17/3609.69	c LP Gomory cuts 0
3601.17/3609.69	c LP learned cuts 0
3601.17/3609.69	c LP deleted cuts 0
3601.17/3609.69	c LP encountered Gomory constraints 0
3601.17/3609.69	c LP encountered Farkas constraints 0
3601.17/3609.69	c LP encountered learned Farkas constraints 0
3601.17/3609.69	c CG auxiliary variables introduced 237
3601.17/3609.69	c CG solutions found 0
3601.17/3609.69	c CG cores constructed 11
3601.17/3609.69	c CG core cardinality constraints returned 3
3601.17/3609.69	c CG unit cores 0
3601.17/3609.69	c CG single cores 11
3601.17/3609.69	c CG blocks removed during cardinality reduction 0
3601.17/3609.69	c CG first core best 0
3601.17/3609.69	c CG decision core best 0
3601.17/3609.69	c CG core reduction tie 0
3601.17/3609.69	c CG core degree average 1.36
3601.17/3609.69	c CG core slack average 19.18
3601.17/3609.69	c CG exhausted 0
3601.17/3609.69	c CG exhaust time 0 s
3601.17/3609.69	c CG trimmed 0
3601.17/3609.69	c CG trim time 0.053858 s
3601.17/3609.69	c CG minimized 0
3601.17/3609.69	c CG minimize time 0 s
3601.17/3609.69	c CG am1 prop time 1.98264 s
3601.17/3609.69	c CG # am1s reformulated 237
3601.17/3609.69	c CG lower bound derived from am1s 33684811
3601.17/3609.69	c CG # clausal cores 7
3601.17/3609.69	c CG # cardinality cores 3
3601.17/3609.69	c CG # pb cores 1
3601.17/3609.69	c CG # pb reforms 0
3601.17/3609.69	c CG # cores discarded because of pb reform 0
3601.17/3609.69	d LOWERBOUND -71775947
3601.17/3609.69	d NCORES 11
3601.17/3609.69	d NPBCORES 1
3601.17/3609.69	d NPBREFORM 0
3601.17/3609.69	d NTRIMMED 0
3601.17/3609.69	d NEXHAUSTED 0
3601.17/3609.69	d NAM1S 237
3601.17/3609.69	d AM1LB 33684811
3601.17/3609.69	c [Papilo Statistics]
3601.17/3609.69	c prepro time 4.58375s
3601.17/3609.69	c # tsx applied 1279
3601.17/3609.69	c # tsx conflicts 115
3601.17/3609.69	c # bound changes 171236
3601.17/3609.69	c # side changes 195
3601.17/3609.69	c # coef changes 241
3601.17/3609.69	c # rounds 4
3601.17/3609.69	c # deted vars 171267
3601.17/3609.69	c # deted constrs 172169
3601.17/3609.69	c # consecutive rounds of only bound changes 0
3601.27/3609.77	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (57776 MiB free)
  memory of node 1: 64510 MiB (52221 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435681-1721153232/watcher-4435681-1721153232 -o /tmp/evaluation-result-4435681-1721153232/solver-4435681-1721153232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721147624-857479 --watchdog 3760 mixed-bag HOME/instance-4435681-1721153232.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100089 s]*
/proc/loadavg: 4.23 4.29 4.22 5/241 860577
/proc/meminfo: memFree=112577304/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=158316 memory=71332 CPUtime=0.1 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 11803 0 0 0 6 4 0 0 20 0 1 0 167479370 162115584 17833 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 39579 17833 1604 3002 0 23869 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 158316 KiB
Current children cumulated memory: 71332 KiB

[startup+0.209841 s]*
/proc/loadavg: 4.23 4.29 4.22 5/241 860577
/proc/meminfo: memFree=112555468/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=176940 memory=88012 CPUtime=0.21 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 14664 0 0 0 15 6 0 0 20 0 1 0 167479370 181186560 22003 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 44235 22003 1604 3002 0 28525 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 176940 KiB
Current children cumulated memory: 88012 KiB

[startup+0.309202 s]*
/proc/loadavg: 4.23 4.29 4.22 5/242 860578
/proc/meminfo: memFree=112556012/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=173152 memory=88104 CPUtime=0.31 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 17834 0 0 0 24 7 0 0 20 0 1 0 167479370 177307648 22026 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 43288 22026 1636 3002 0 27578 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 173152 KiB
Current children cumulated memory: 88104 KiB

[startup+0.700328 s]
/proc/loadavg: 4.23 4.29 4.22 5/242 860578
/proc/meminfo: memFree=112545812/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=189024 memory=105980 CPUtime=0.68 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 19808 0 0 0 60 8 0 0 20 0 1 0 167479370 193560576 26495 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 47256 26495 1636 3002 0 31546 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 189024 KiB
Current children cumulated memory: 105980 KiB

[startup+1.5003 s]
/proc/loadavg: 4.23 4.29 4.22 5/242 860578
/proc/meminfo: memFree=112520320/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=205452 memory=129300 CPUtime=1.48 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 21014 0 0 0 138 10 0 0 20 0 1 0 167479370 210382848 32325 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 51363 32325 1636 3002 0 35653 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 205452 KiB
Current children cumulated memory: 129300 KiB

[startup+3.11309 s]
/proc/loadavg: 4.22 4.29 4.22 6/242 860579
/proc/meminfo: memFree=112219816/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=684624 memory=552660 CPUtime=3.09 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 42864 0 0 0 282 27 0 0 20 0 1 0 167479370 701054976 138165 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 171156 138165 1726 3002 0 154907 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 684624 KiB
Current children cumulated memory: 552660 KiB

[startup+6.30029 s]
/proc/loadavg: 4.22 4.29 4.22 6/242 860579
/proc/meminfo: memFree=112128152/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=651520 memory=516652 CPUtime=6.27 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 49079 0 0 0 598 29 0 0 20 0 1 0 167479370 667156480 129163 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 162880 129163 1822 3002 0 146631 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 651520 KiB
Current children cumulated memory: 516652 KiB

[startup+12.7003 s]
/proc/loadavg: 4.18 4.28 4.22 5/242 860581
/proc/meminfo: memFree=111298056/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=1712064 memory=1575608 CPUtime=12.65 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 324036 0 0 0 1193 72 0 0 20 0 1 0 167479370 1753153536 393902 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 428016 393902 3771 3002 0 411767 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1712064 KiB
Current children cumulated memory: 1575608 KiB

[startup+25.5004 s]
/proc/loadavg: 4.23 4.28 4.22 5/242 860582
/proc/meminfo: memFree=110814464/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=1967468 memory=1830424 CPUtime=25.42 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 362979 0 0 0 2461 81 0 0 20 0 1 0 167479370 2014687232 457606 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 491867 457606 3803 3002 0 475618 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1967468 KiB
Current children cumulated memory: 1830424 KiB

[startup+51.1126 s]
/proc/loadavg: 4.50 4.34 4.24 6/242 860585
/proc/meminfo: memFree=110807972/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=1973612 memory=1836736 CPUtime=50.98 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 364630 0 0 0 5016 82 0 0 20 0 1 0 167479370 2020978688 459184 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 493403 459184 3803 3002 0 477154 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 1973612 KiB
Current children cumulated memory: 1836736 KiB

[startup+102.3 s]
/proc/loadavg: 4.71 4.45 4.29 5/242 860597
/proc/meminfo: memFree=110129320/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=2716108 memory=2501852 CPUtime=102.04 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 453660 0 0 0 10104 100 0 0 20 0 1 0 167479370 2781294592 625463 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 679027 625463 3882 3002 0 662778 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 2716108 KiB
Current children cumulated memory: 2501852 KiB

[startup+162.3 s]
/proc/loadavg: 4.67 4.46 4.30 6/242 860607
/proc/meminfo: memFree=109951732/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=2893460 memory=2646208 CPUtime=161.88 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 475580 0 0 0 16083 105 0 0 20 0 1 0 167479370 2962903040 661552 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 723365 661552 4026 3002 0 707116 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 2893460 KiB
Current children cumulated memory: 2646208 KiB

[startup+222.3 s]
/proc/loadavg: 4.69 4.53 4.33 5/244 860621
/proc/meminfo: memFree=109950976/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=2893460 memory=2646768 CPUtime=221.73 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 475799 0 0 0 22067 106 0 0 20 0 1 0 167479370 2962903040 661692 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 723365 661692 4026 3002 0 707116 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 2893460 KiB
Current children cumulated memory: 2646768 KiB

[startup+282.3 s]
/proc/loadavg: 4.29 4.44 4.32 6/244 860631
/proc/meminfo: memFree=109950200/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=2893460 memory=2646980 CPUtime=281.57 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 476018 0 0 0 28050 107 0 0 20 0 1 0 167479370 2962903040 661745 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 723365 661745 4026 3002 0 707116 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 2893460 KiB
Current children cumulated memory: 2646980 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.38 4.30 5/243 860643
/proc/meminfo: memFree=110085584/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=2574524 memory=2495556 CPUtime=341.44 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 483816 0 0 0 33986 158 0 0 20 0 1 0 167479370 2636312576 623889 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 643631 623889 4185 3002 0 627382 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 2574524 KiB
Current children cumulated memory: 2495556 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.32 4.28 5/243 860653
/proc/meminfo: memFree=109663412/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=3053184 memory=2772084 CPUtime=401.3 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 486698 0 0 0 39940 190 0 0 20 0 1 0 167479370 3126460416 693021 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 763296 693021 4195 3002 0 747047 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 3053184 KiB
Current children cumulated memory: 2772084 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.29 4.27 5/243 860664
/proc/meminfo: memFree=109470088/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=3053184 memory=2909404 CPUtime=461.18 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 487020 0 0 0 45849 269 0 0 20 0 1 0 167479370 3126460416 727351 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 763296 727351 4195 3002 0 747047 0

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

Current children cumulated memory: 3981712 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.15 4.13 5/245 862675
/proc/meminfo: memFree=122678824/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=4541252 memory=3981712 CPUtime=3094.96 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 696209 0 0 0 307236 2260 0 0 20 0 1 0 167479370 4650242048 995428 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 1135313 995428 4195 3002 0 1119064 0
Current children cumulated CPU time: 3094.96 s
Current children cumulated vsize: 4541252 KiB
Current children cumulated memory: 3981712 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.15 4.13 5/245 862685
/proc/meminfo: memFree=122677584/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=4541252 memory=3981712 CPUtime=3154.83 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 697351 0 0 0 313170 2313 0 0 20 0 1 0 167479370 4650242048 995428 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 1135313 995428 4195 3002 0 1119064 0
Current children cumulated CPU time: 3154.83 s
Current children cumulated vsize: 4541252 KiB
Current children cumulated memory: 3981712 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.15 4.13 5/245 862710
/proc/meminfo: memFree=122674924/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=4541252 memory=3981712 CPUtime=3214.69 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 698284 0 0 0 319122 2347 0 0 20 0 1 0 167479370 4650242048 995428 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 1135313 995428 4195 3002 0 1119064 0
Current children cumulated CPU time: 3214.69 s
Current children cumulated vsize: 4541252 KiB
Current children cumulated memory: 3981712 KiB

[startup+3282.3 s]
/proc/loadavg: 4.75 4.33 4.19 6/245 862720
/proc/meminfo: memFree=122674400/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=4541252 memory=3981712 CPUtime=3274.56 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 699772 0 0 0 325039 2417 0 0 20 0 1 0 167479370 4650242048 995428 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 1135313 995428 4195 3002 0 1119064 0
Current children cumulated CPU time: 3274.56 s
Current children cumulated vsize: 4541252 KiB
Current children cumulated memory: 3981712 KiB

[startup+3342.3 s]
/proc/loadavg: 4.37 4.29 4.18 5/245 862731
/proc/meminfo: memFree=122667528/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=4541252 memory=3981712 CPUtime=3334.44 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 700689 0 0 0 330969 2475 0 0 20 0 1 0 167479370 4650242048 995428 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 1135313 995428 4195 3002 0 1119064 0
Current children cumulated CPU time: 3334.44 s
Current children cumulated vsize: 4541252 KiB
Current children cumulated memory: 3981712 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.25 4.18 5/243 862741
/proc/meminfo: memFree=122127740/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=5128376 memory=4512932 CPUtime=3394.31 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 743245 0 0 0 336911 2520 0 0 20 0 1 0 167479370 5251457024 1128233 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 1282094 1128233 4195 3002 0 1265845 0
Current children cumulated CPU time: 3394.31 s
Current children cumulated vsize: 5128376 KiB
Current children cumulated memory: 4512932 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.24 4.18 5/243 862752
/proc/meminfo: memFree=122126884/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=5128376 memory=4513164 CPUtime=3454.19 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 744397 0 0 0 342846 2573 0 0 20 0 1 0 167479370 5251457024 1128291 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 1282094 1128291 4195 3002 0 1265845 0
Current children cumulated CPU time: 3454.19 s
Current children cumulated vsize: 5128376 KiB
Current children cumulated memory: 4513164 KiB

[startup+3522.3 s]
/proc/loadavg: 4.84 4.41 4.24 5/242 862764
/proc/meminfo: memFree=122123264/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=5128376 memory=4513164 CPUtime=3514.07 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 745692 0 0 0 348824 2583 0 0 20 0 1 0 167479370 5251457024 1128291 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 1282094 1128291 4195 3002 0 1265845 0
Current children cumulated CPU time: 3514.07 s
Current children cumulated vsize: 5128376 KiB
Current children cumulated memory: 4513164 KiB

[startup+3582.3 s]
/proc/loadavg: 4.41 4.36 4.23 5/242 862774
/proc/meminfo: memFree=122122744/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=5128376 memory=4513164 CPUtime=3573.93 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 746815 0 0 0 354785 2608 0 0 20 0 1 0 167479370 5251457024 1128291 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 1282094 1128291 4195 3002 0 1265845 0
Current children cumulated CPU time: 3573.93 s
Current children cumulated vsize: 5128376 KiB
Current children cumulated memory: 4513164 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.5 s]
/proc/loadavg: 4.33 4.35 4.23 5/242 862777
/proc/meminfo: memFree=122122520/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=5128376 memory=4513164 CPUtime=3600.07 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 747476 0 0 0 357367 2640 0 0 20 0 1 0 167479370 5251457024 1128291 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 1282094 1128291 4195 3002 0 1265845 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 5128376 KiB
Current children cumulated memory: 4513164 KiB

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

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

# cumulated CPU time of all completed processes:  user=3574.92 s, system=26.4712 s

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

[startup+3608.8 s]
/proc/loadavg: 4.33 4.35 4.23 5/242 862777
/proc/meminfo: memFree=122122520/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=5128376 memory=4513516 CPUtime=3600.37 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 747923 0 0 0 357397 2640 0 0 20 0 1 0 167479370 5251457024 1128379 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 1282094 1128379 4283 3002 0 1265845 0
Current children cumulated CPU time: 3600.37 s
Current children cumulated vsize: 5128376 KiB
Current children cumulated memory: 4513516 KiB

[startup+3609.2 s]
/proc/loadavg: 4.33 4.35 4.23 6/242 862777
/proc/meminfo: memFree=122122520/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=5128376 memory=4513516 CPUtime=3600.77 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 748002 0 0 0 357437 2640 0 0 20 0 1 0 167479370 5251457024 1128379 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 1282094 1128379 4283 3002 0 1265845 0
Current children cumulated CPU time: 3600.77 s
Current children cumulated vsize: 5128376 KiB
Current children cumulated memory: 4513516 KiB

[startup+3609.6 s]
/proc/loadavg: 4.33 4.35 4.23 6/242 862777
/proc/meminfo: memFree=122122520/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=5128376 memory=4513516 CPUtime=3601.17 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 748129 0 0 0 357477 2640 0 0 20 0 1 0 167479370 5251457024 1128379 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 1282094 1128379 4283 3002 0 1265845 0
Current children cumulated CPU time: 3601.17 s
Current children cumulated vsize: 5128376 KiB
Current children cumulated memory: 4513516 KiB

[startup+3609.7 s]
/proc/loadavg: 4.33 4.35 4.23 6/242 862777
/proc/meminfo: memFree=122122520/131655788 swapFree=131071996/131071996
[pid=860576] ppid=860573 vsize=5127340 memory=4512616 CPUtime=3601.27 cores=4,6
/proc/860576/stat : 860576 (mixed-bag) R 860573 860576 857468 0 -1 4194304 748160 0 0 0 357487 2640 0 0 20 0 1 0 167479370 5250396160 1128154 134679101440 4194304 16487941 140737087149712 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 55271424 140737087153175 140737087153252 140737087153252 140737087160267 0
/proc/860576/statm: 1281835 1128154 4283 3002 0 1265586 0
Current children cumulated CPU time: 3601.27 s
Current children cumulated vsize: 5127340 KiB
Current children cumulated memory: 4512616 KiB

Child status: 0

Real time (s): 3609.81
CPU time (s): 3601.39
CPU user time (s): 3574.92
CPU system time (s): 26.4712
CPU usage (%): 99.7667
Max. virtual memory (cumulated for all children) (KiB): 5128376
Max. memory (cumulated for all children) (KiB): 4513516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.92
system time used= 26.4712
maximum resident set size= 4513516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 748214
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= 73
involuntary context switches= 1940


# summary of solver processes directly reported to runsolver:
#   pid: 860576
#   total CPU time (s): 3601.39
#   total CPU user time (s): 3574.92
#   total CPU system time (s): 26.4712

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4768 second user time and 32.2638 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-16 20:07:25
IDJOB=4435681
IDBENCH=158125
IDSOLVER=3066
FILE ID=nodeC003/4435681-1721153232
RUNJOBID= nodeC003-1721147624-857479
SLURM_JOB_ID= 7505741
Free space on /tmp= 723620 MiB

SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_K192_cod1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435681-1721153232/watcher-4435681-1721153232 -o /tmp/evaluation-result-4435681-1721153232/solver-4435681-1721153232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721147624-857479 --watchdog 3760  mixed-bag HOME/instance-4435681-1721153232.opb

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

MD5SUM BENCH= c394902a34a3ecc31aded0750ee67503
RANDOM SEED=1030681995

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        112638692 kB
MemAvailable:   115113636 kB
Buffers:          430336 kB
Cached:          2859208 kB
SwapCached:            0 kB
Active:           820360 kB
Inactive:       17581728 kB
Active(anon):       1452 kB
Inactive(anon): 15148800 kB
Active(file):     818908 kB
Inactive(file):  2432928 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             45896 kB
Writeback:             4 kB
AnonPages:      15109792 kB
Mapped:           138364 kB
Shmem:             37704 kB
KReclaimable:     126276 kB
Slab:             227272 kB
SReclaimable:     126276 kB
SUnreclaim:       100996 kB
KernelStack:        3872 kB
PageTables:        39112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   16821188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53152 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6205440 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      254792 kB
DirectMap2M:    22718464 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723684 MiB
End job on nodeC003 at 2024-07-16 21:07:35