Trace number 4454939

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-19? (TO) 3601.53 3614.86

DiagnosticValue
AM1LB33684811
LOWERBOUND-71775947
NAM1S237
NCORES11
NEXHAUSTED0
NPBCORES1
NPBREFORM0
NTRIMMED0
SCIPUB105742758

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.17/2.21	c [STEP] preprocessing with Papilo
6.76/6.82	c [STEP] solving with SCIP
307.08/308.55	c [STEP] preprocessing done, loading into solver
307.68/309.13	c [STEP] solving
307.68/309.13	c #variables 227847 #constraints 229004
307.68/309.13	c SMALL=int, LARGE=long long
307.68/309.14	d SCIPUB 105742758
307.68/309.14	c bounds - >= -105742757 @ 306.54
307.68/309.14	c stratification level: 999
2395.23/2404.24	c bounds - >= -71789947 @ 318.397
2395.23/2404.24	c bounds - >= -71787947 @ 320.534
2395.23/2404.24	c #Conflicts:       1000 | #Constraints:     230509
2395.23/2404.24	c bounds - >= -71785947 @ 320.568
2395.23/2404.24	c bounds - >= -71782947 @ 320.59
2395.23/2404.24	c bounds - >= -71781947 @ 320.624
2395.23/2404.24	c bounds - >= -71780947 @ 323.372
2395.23/2404.24	c bounds - >= -71779947 @ 325.324
2395.23/2404.24	c bounds - >= -71778947 @ 327.346
2395.23/2404.24	c bounds - >= -71777947 @ 327.737
2395.23/2404.24	c bounds - >= -71776947 @ 328.234
2395.23/2404.24	c bounds - >= -71775947 @ 328.697
2395.23/2404.24	c #Conflicts:       2000 | #Constraints:     231518
2395.23/2404.24	c INPROCESSING
2395.23/2404.24	c GARBAGE COLLECT
2395.23/2404.24	c #Conflicts:       3000 | #Constraints:     223695
2395.23/2404.24	c #Conflicts:       4000 | #Constraints:     224695
2395.23/2404.24	c INPROCESSING
2395.23/2404.24	c GARBAGE COLLECT
2395.23/2404.24	c #Conflicts:       5000 | #Constraints:     224176
2395.23/2404.24	c #Conflicts:       6000 | #Constraints:     225176
2395.23/2404.24	c INPROCESSING
2395.23/2404.24	c GARBAGE COLLECT
2395.23/2404.24	c #Conflicts:       7000 | #Constraints:     224309
2395.23/2404.24	c #Conflicts:       8000 | #Constraints:     225309
2395.23/2404.24	c #Conflicts:       9000 | #Constraints:     226309
2395.23/2404.24	c INPROCESSING
2395.23/2404.24	c GARBAGE COLLECT
2395.23/2404.24	c #Conflicts:      10000 | #Constraints:     224991
2395.23/2404.24	c #Conflicts:      11000 | #Constraints:     225991
2395.23/2404.24	c #Conflicts:      12000 | #Constraints:     226991
2395.23/2404.24	c INPROCESSING
2395.23/2404.24	c GARBAGE COLLECT
2395.23/2404.24	c #Conflicts:      13000 | #Constraints:     225328
2395.23/2404.24	c #Conflicts:      14000 | #Constraints:     226328
2395.23/2404.24	c #Conflicts:      15000 | #Constraints:     227328
2395.23/2404.24	c INPROCESSING
2395.23/2404.24	c GARBAGE COLLECT
2395.23/2404.24	c #Conflicts:      16000 | #Constraints:     225541
2395.23/2404.24	c #Conflicts:      17000 | #Constraints:     226541
2395.23/2404.24	c #Conflicts:      18000 | #Constraints:     227541
2395.23/2404.24	c INPROCESSING
2395.23/2404.24	c GARBAGE COLLECT
2395.23/2404.24	c #Conflicts:      19000 | #Constraints:     225580
2395.23/2404.24	c #Conflicts:      20000 | #Constraints:     226580
2395.23/2404.24	c #Conflicts:      21000 | #Constraints:     227580
2395.23/2404.24	c INPROCESSING
2395.23/2404.24	c GARBAGE COLLECT
2395.23/2404.24	c #Conflicts:      22000 | #Constraints:     225346
2395.23/2404.24	c #Conflicts:      23000 | #Constraints:     226346
2395.23/2404.24	c #Conflicts:      24000 | #Constraints:     227346
2395.23/2404.24	c #Conflicts:      25000 | #Constraints:     228346
2395.23/2404.24	c INPROCESSING
2395.23/2404.24	c GARBAGE COLLECT
2395.23/2404.24	c #Conflicts:      26000 | #Constraints:     225333
2395.23/2404.24	c #Conflicts:      27000 | #Constraints:     226333
2395.23/2404.24	c #Conflicts:      28000 | #Constraints:     227333
2395.23/2404.24	c #Conflicts:      29000 | #Constraints:     228333
2395.23/2404.24	c INPROCESSING
2395.23/2404.24	c GARBAGE COLLECT
2395.23/2404.24	c #Conflicts:      30000 | #Constraints:     225739
2395.23/2404.24	c #Conflicts:      31000 | #Constraints:     226739
2395.23/2404.24	c #Conflicts:      32000 | #Constraints:     227739
2395.23/2404.24	c #Conflicts:      33000 | #Constraints:     228739
2395.23/2404.24	c INPROCESSING
2395.23/2404.24	c GARBAGE COLLECT
2395.23/2404.24	c #Conflicts:      34000 | #Constraints:     226066
2395.23/2404.24	c #Conflicts:      35000 | #Constraints:     227066
2395.23/2404.24	c #Conflicts:      36000 | #Constraints:     228066
2395.23/2404.24	c #Conflicts:      37000 | #Constraints:     229066
2395.23/2404.24	c INPROCESSING
2395.23/2404.24	c GARBAGE COLLECT
2395.23/2404.24	c #Conflicts:      38000 | #Constraints:     226129
2395.23/2404.24	c #Conflicts:      39000 | #Constraints:     227129
2395.23/2404.24	c #Conflicts:      40000 | #Constraints:     228129
2395.23/2404.24	c #Conflicts:      41000 | #Constraints:     229129
2395.23/2404.24	c INPROCESSING
2395.23/2404.24	c GARBAGE COLLECT
2395.23/2404.24	c #Conflicts:      42000 | #Constraints:     225873
2395.23/2404.24	c #Conflicts:      43000 | #Constraints:     226873
2395.23/2404.24	c #Conflicts:      44000 | #Constraints:     227873
2395.23/2404.24	c #Conflicts:      45000 | #Constraints:     228873
2395.23/2404.24	c #Conflicts:      46000 | #Constraints:     229873
2395.23/2404.24	c INPROCESSING
2395.23/2404.24	c GARBAGE COLLECT
2395.23/2404.24	c #Conflicts:      47000 | #Constraints:     226459
2395.23/2404.24	c #Conflicts:      48000 | #Constraints:     227459
2395.23/2404.24	c #Conflicts:      49000 | #Constraints:     228459
2395.23/2404.24	c #Conflicts:      50000 | #Constraints:     229459
2395.23/2404.24	c #Conflicts:      51000 | #Constraints:     230459
2395.23/2404.24	c INPROCESSING
2395.23/2404.24	c GARBAGE COLLECT
2395.23/2404.24	c #Conflicts:      52000 | #Constraints:     226947
2395.23/2404.24	c #Conflicts:      53000 | #Constraints:     227947
2395.23/2404.24	c #Conflicts:      54000 | #Constraints:     228947
2395.23/2404.24	c #Conflicts:      55000 | #Constraints:     229947
2395.23/2404.24	c #Conflicts:      56000 | #Constraints:     230947
2395.23/2404.24	c INPROCESSING
2395.23/2404.24	c GARBAGE COLLECT
2395.23/2404.24	c #Conflicts:      57000 | #Constraints:     227137
2395.23/2404.24	c #Conflicts:      58000 | #Constraints:     228137
2395.23/2404.24	c #Conflicts:      59000 | #Constraints:     229137
2395.23/2404.24	c #Conflicts:      60000 | #Constraints:     230137
2395.23/2404.24	c #Conflicts:      61000 | #Constraints:     231137
2395.23/2404.24	c INPROCESSING
2395.23/2404.24	c GARBAGE COLLECT
3601.35/3614.70	c #Conflicts:      62000 | #Constraints:     227139
3601.35/3614.70	c #Conflicts:      63000 | #Constraints:     228139
3601.35/3614.70	c #Conflicts:      64000 | #Constraints:     229139
3601.35/3614.70	c #Conflicts:      65000 | #Constraints:     230139
3601.35/3614.70	c #Conflicts:      66000 | #Constraints:     231139
3601.35/3614.70	c INPROCESSING
3601.35/3614.70	c GARBAGE COLLECT
3601.35/3614.70	c #Conflicts:      67000 | #Constraints:     226919
3601.35/3614.70	c #Conflicts:      68000 | #Constraints:     227919
3601.35/3614.70	c #Conflicts:      69000 | #Constraints:     228919
3601.35/3614.70	c #Conflicts:      70000 | #Constraints:     229919
3601.35/3614.70	c #Conflicts:      71000 | #Constraints:     230919
3601.35/3614.70	c #Conflicts:      72000 | #Constraints:     231919
3601.35/3614.70	c INPROCESSING
3601.35/3614.70	c GARBAGE COLLECT
3601.35/3614.70	c #Conflicts:      73000 | #Constraints:     227536
3601.35/3614.70	c #Conflicts:      74000 | #Constraints:     228536
3601.35/3614.70	c #Conflicts:      75000 | #Constraints:     229536
3601.35/3614.70	c #Conflicts:      76000 | #Constraints:     230536
3601.35/3614.70	c #Conflicts:      77000 | #Constraints:     231536
3601.35/3614.70	c #Conflicts:      78000 | #Constraints:     232536
3601.35/3614.70	c INPROCESSING
3601.35/3614.70	c GARBAGE COLLECT
3601.35/3614.70	c #Conflicts:      79000 | #Constraints:     227954
3601.35/3614.71	c #Conflicts:      80000 | #Constraints:     228954
3601.35/3614.71	c #Conflicts:      81000 | #Constraints:     229954
3601.35/3614.71	c #Conflicts:      82000 | #Constraints:     230954
3601.35/3614.71	c #Conflicts:      83000 | #Constraints:     231954
3601.35/3614.71	c #Conflicts:      84000 | #Constraints:     232954
3601.35/3614.71	c INPROCESSING
3601.35/3614.71	c GARBAGE COLLECT
3601.35/3614.71	c #Conflicts:      85000 | #Constraints:     228176
3601.35/3614.71	c #Conflicts:      86000 | #Constraints:     229176
3601.35/3614.71	c #Conflicts:      87000 | #Constraints:     230176
3601.35/3614.71	c #Conflicts:      88000 | #Constraints:     231176
3601.35/3614.71	c #Conflicts:      89000 | #Constraints:     232176
3601.35/3614.71	c #Conflicts:      90000 | #Constraints:     233176
3601.35/3614.71	c INPROCESSING
3601.35/3614.71	c GARBAGE COLLECT
3601.35/3614.71	c #Conflicts:      91000 | #Constraints:     228211
3601.35/3614.71	c #Conflicts:      92000 | #Constraints:     229211
3601.35/3614.71	c #Conflicts:      93000 | #Constraints:     230211
3601.35/3614.71	c #Conflicts:      94000 | #Constraints:     231211
3601.35/3614.71	c #Conflicts:      95000 | #Constraints:     232211
3601.35/3614.71	c #Conflicts:      96000 | #Constraints:     233211
3601.35/3614.71	c INPROCESSING
3601.35/3614.71	c GARBAGE COLLECT
3601.35/3614.71	c #Conflicts:      97000 | #Constraints:     228089
3601.35/3614.71	c #Conflicts:      98000 | #Constraints:     229089
3601.35/3614.71	c #Conflicts:      99000 | #Constraints:     230089
3601.35/3614.71	c #Conflicts:     100000 | #Constraints:     231089
3601.35/3614.71	c #Conflicts:     101000 | #Constraints:     232089
3601.35/3614.71	c #Conflicts:     102000 | #Constraints:     233089
3601.35/3614.71	c Program interrupted by user.
3601.35/3614.71	c cpu time 3575.27 s
3601.35/3614.71	c deterministic time 151700437990 1.52e+11
3601.35/3614.71	c optimization time 209.737 s
3601.35/3614.71	c total solve time 3059 s
3601.35/3614.71	c core-guided solve time 3059 s
3601.35/3614.71	c propagation time 1055.55 s
3601.35/3614.71	c conflict analysis time 1899.73 s
3601.35/3614.71	c propagations 3945949776
3601.35/3614.71	c resolve steps 1213032
3601.35/3614.71	c decisions 34047056
3601.35/3614.71	c conflicts 102691
3601.35/3614.71	c restarts 257
3601.35/3614.71	c inprocessing phases 23
3601.35/3614.71	c input clauses 228421
3601.35/3614.71	c input cardinalities 1086
3601.35/3614.71	c input general constraints 12
3601.35/3614.71	c input average constraint length 14.22
3601.35/3614.71	c input average constraint degree 1621.21
3601.35/3614.71	c learned clauses 45328
3601.35/3614.71	c learned cardinalities 37096
3601.35/3614.71	c learned general constraints 20267
3601.35/3614.71	c learned average constraint length 16825.03
3601.35/3614.71	c learned average constraint degree 281414.92
3601.35/3614.71	c watched constraints 4497
3601.35/3614.71	c counting constraints 15782
3601.35/3614.71	c gcd simplifications 49
3601.35/3614.71	c detected cardinalities 47
3601.35/3614.71	c weakened non-implied lits 3505268528
3601.35/3614.71	c weakened non-implying lits 2976
3601.35/3614.71	c original variables 399113
3601.35/3614.71	c clausal propagations 156593793
3601.35/3614.71	c cardinality propagations 97960222
3601.35/3614.71	c watched propagations 262558
3601.35/3614.71	c counting propagations 3627580740
3601.35/3614.71	c watch lookups 527528259
3601.35/3614.71	c watch backjump lookups 262433467
3601.35/3614.71	c watch checks 2697843641
3601.35/3614.71	c propagation checks 128481995706
3601.35/3614.71	c constraint additions 11770678783
3601.35/3614.71	c trail pops 3979961301
3601.35/3614.71	c formula constraints 229004
3601.35/3614.71	c learned constraints 102691
3601.35/3614.71	c bound constraints 11
3601.35/3614.71	c core-guided constraints 504
3601.35/3614.71	c encountered formula constraints 1063180
3601.35/3614.71	c encountered learned constraints 164288
3601.35/3614.71	c encountered bound constraints 0
3601.35/3614.71	c encountered core-guided constraints 88522
3601.35/3614.71	c LP total time 0 s
3601.35/3614.71	c LP solve time 0 s
3601.35/3614.71	c LP constraints added 0
3601.35/3614.71	c LP constraints removed 0
3601.35/3614.71	c LP pivots internal 0
3601.35/3614.71	c LP pivots root 0
3601.35/3614.71	c LP calls 0
3601.35/3614.71	c LP optimalities 0
3601.35/3614.71	c LP no pivot count 0
3601.35/3614.71	c LP infeasibilities 0
3601.35/3614.71	c LP valid Farkas constraints 0
3601.35/3614.71	c LP learned Farkas constraints 0
3601.35/3614.71	c LP basis resets 0
3601.35/3614.71	c LP cycling count 0
3601.35/3614.71	c LP singular count 0
3601.35/3614.71	c LP no primal count 0
3601.35/3614.71	c LP no farkas count 0
3601.35/3614.71	c LP other issue count 0
3601.35/3614.71	c LP Gomory cuts 0
3601.35/3614.71	c LP learned cuts 0
3601.35/3614.71	c LP deleted cuts 0
3601.35/3614.71	c LP encountered Gomory constraints 0
3601.35/3614.71	c LP encountered Farkas constraints 0
3601.35/3614.71	c LP encountered learned Farkas constraints 0
3601.35/3614.71	c CG auxiliary variables introduced 237
3601.35/3614.71	c CG solutions found 0
3601.35/3614.71	c CG cores constructed 11
3601.35/3614.71	c CG core cardinality constraints returned 3
3601.35/3614.71	c CG unit cores 0
3601.35/3614.71	c CG single cores 11
3601.35/3614.71	c CG blocks removed during cardinality reduction 0
3601.35/3614.71	c CG first core best 0
3601.35/3614.71	c CG decision core best 0
3601.35/3614.71	c CG core reduction tie 0
3601.35/3614.71	c CG core degree average 1.36
3601.35/3614.71	c CG core slack average 19.18
3601.35/3614.71	c CG exhausted 0
3601.35/3614.71	c CG exhaust time 0 s
3601.35/3614.71	c CG trimmed 0
3601.35/3614.71	c CG trim time 0.057914 s
3601.35/3614.71	c CG minimized 0
3601.35/3614.71	c CG minimize time 0 s
3601.35/3614.71	c CG am1 prop time 2.09721 s
3601.35/3614.71	c CG # am1s reformulated 237
3601.35/3614.71	c CG lower bound derived from am1s 33684811
3601.35/3614.71	c CG # clausal cores 7
3601.35/3614.71	c CG # cardinality cores 3
3601.35/3614.71	c CG # pb cores 1
3601.35/3614.71	c CG # pb reforms 0
3601.35/3614.71	c CG # cores discarded because of pb reform 0
3601.35/3614.71	d LOWERBOUND -71775947
3601.35/3614.71	d NCORES 11
3601.35/3614.71	d NPBCORES 1
3601.35/3614.71	d NPBREFORM 0
3601.35/3614.71	d NTRIMMED 0
3601.35/3614.71	d NEXHAUSTED 0
3601.35/3614.71	d NAM1S 237
3601.35/3614.71	d AM1LB 33684811
3601.35/3614.71	c [Papilo Statistics]
3601.35/3614.71	c prepro time 4.61696s
3601.35/3614.71	c # tsx applied 1279
3601.35/3614.71	c # tsx conflicts 115
3601.35/3614.71	c # bound changes 171236
3601.35/3614.71	c # side changes 195
3601.35/3614.71	c # coef changes 241
3601.35/3614.71	c # rounds 4
3601.35/3614.71	c # deted vars 171267
3601.35/3614.71	c # deted constrs 172169
3601.35/3614.71	c # consecutive rounds of only bound changes 0
3601.35/3614.79	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (58941 MiB free)
  memory of node 1: 64510 MiB (49140 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454939-1721476867/watcher-4454939-1721476867 -o /tmp/evaluation-result-4454939-1721476867/solver-4454939-1721476867 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721469279-1030640 --watchdog 3760 mixed-bag HOME/instance-4454939-1721476867.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=1035977, runsolver pid=1035974

[startup+0.100468 s]*
/proc/loadavg: 4.06 4.08 4.09 5/258 1035978
/proc/meminfo: memFree=110573484/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=176948 memory=87136 CPUtime=0.09 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 14266 0 0 0 7 2 0 0 20 0 1 0 199847303 181194752 21784 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 44237 21784 1583 3002 0 28525 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 176948 KiB
Current children cumulated memory: 87136 KiB

[startup+0.205764 s]*
/proc/loadavg: 4.06 4.08 4.09 5/258 1035978
/proc/meminfo: memFree=110542436/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=189032 memory=103580 CPUtime=0.19 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 18761 0 0 0 16 3 0 0 20 0 1 0 199847303 193568768 25895 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 47258 25895 1631 3002 0 31546 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 189032 KiB
Current children cumulated memory: 103580 KiB

[startup+0.30587 s]*
/proc/loadavg: 4.06 4.08 4.09 5/258 1035978
/proc/meminfo: memFree=110503672/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=205416 memory=120544 CPUtime=0.29 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 19426 0 0 0 26 3 0 0 20 0 1 0 199847303 210345984 30136 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 51354 30136 1631 3002 0 35642 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 205416 KiB
Current children cumulated memory: 120544 KiB

[startup+0.700223 s]
/proc/loadavg: 4.06 4.08 4.09 5/258 1035978
/proc/meminfo: memFree=110448008/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=205460 memory=126496 CPUtime=0.68 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 20369 0 0 0 64 4 0 0 20 0 1 0 199847303 210391040 31112 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 51365 31112 1631 3002 0 35653 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 205460 KiB
Current children cumulated memory: 126496 KiB

[startup+1.50023 s]
/proc/loadavg: 4.06 4.08 4.09 5/258 1035978
/proc/meminfo: memFree=110318128/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=270956 memory=192760 CPUtime=1.48 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 24745 0 0 0 141 7 0 0 20 0 1 0 199847303 277458944 48190 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 67739 48190 1631 3002 0 52027 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 270956 KiB
Current children cumulated memory: 192760 KiB

[startup+3.10579 s]
/proc/loadavg: 4.05 4.08 4.09 5/258 1035980
/proc/meminfo: memFree=109571228/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=644288 memory=512020 CPUtime=3.08 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 47817 0 0 0 286 22 0 0 20 0 1 0 199847303 659750912 128005 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 161072 128005 1846 3002 0 144821 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 644288 KiB
Current children cumulated memory: 512020 KiB

[startup+6.30022 s]
/proc/loadavg: 4.05 4.08 4.09 5/258 1035980
/proc/meminfo: memFree=109022128/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=651528 memory=515956 CPUtime=6.27 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 48286 0 0 0 604 23 0 0 20 0 1 0 199847303 667164672 128989 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 162882 128989 1846 3002 0 146631 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 651528 KiB
Current children cumulated memory: 515956 KiB

[startup+12.7002 s]
/proc/loadavg: 4.04 4.08 4.08 5/258 1035980
/proc/meminfo: memFree=107046692/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=1712072 memory=1573792 CPUtime=12.64 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 320967 0 0 0 1198 66 0 0 20 0 1 0 199847303 1753161728 393448 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 428018 393448 3810 3002 0 411767 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1712072 KiB
Current children cumulated memory: 1573792 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.09 4.09 5/258 1035983
/proc/meminfo: memFree=104727128/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=1967476 memory=1828176 CPUtime=25.39 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 359848 0 0 0 2465 74 0 0 20 0 1 0 199847303 2014695424 457044 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 491869 457044 3826 3002 0 475618 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1967476 KiB
Current children cumulated memory: 1828176 KiB

[startup+51.1059 s]
/proc/loadavg: 4.08 4.08 4.09 5/258 1035986
/proc/meminfo: memFree=99859136/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=1973620 memory=1834504 CPUtime=50.9 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 361553 0 0 0 5016 74 0 0 20 0 1 0 199847303 2020986880 458626 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 493405 458626 3826 3002 0 477154 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1973620 KiB
Current children cumulated memory: 1834504 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/258 1035994
/proc/meminfo: memFree=90506488/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=2716116 memory=2499528 CPUtime=101.89 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 451127 0 0 0 10095 94 0 0 20 0 1 0 199847303 2781302784 624882 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 679029 624882 3900 3002 0 662778 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 2716116 KiB
Current children cumulated memory: 2499528 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/256 1036060
/proc/meminfo: memFree=114048460/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=2893468 memory=2645284 CPUtime=161.59 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 473281 0 0 0 16060 99 0 0 20 0 1 0 199847303 2962911232 661321 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 723367 661321 4044 3002 0 707116 0
Current children cumulated CPU time: 161.59 s
Current children cumulated vsize: 2893468 KiB
Current children cumulated memory: 2645284 KiB

[startup+222.3 s]
/proc/loadavg: 4.35 4.16 4.11 5/256 1036072
/proc/meminfo: memFree=112992212/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=2893468 memory=2645576 CPUtime=221.27 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 473525 0 0 0 22027 100 0 0 20 0 1 0 199847303 2962911232 661394 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 723367 661394 4044 3002 0 707116 0
Current children cumulated CPU time: 221.27 s
Current children cumulated vsize: 2893468 KiB
Current children cumulated memory: 2645576 KiB

[startup+282.3 s]
/proc/loadavg: 4.28 4.17 4.12 5/256 1036083
/proc/meminfo: memFree=112969944/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=2893468 memory=2645840 CPUtime=280.99 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 473783 0 0 0 27998 101 0 0 20 0 1 0 199847303 2962911232 661460 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 723367 661460 4044 3002 0 707116 0
Current children cumulated CPU time: 280.99 s
Current children cumulated vsize: 2893468 KiB
Current children cumulated memory: 2645840 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/256 1036093
/proc/meminfo: memFree=113266036/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=2574532 memory=2496380 CPUtime=340.75 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 481102 0 0 0 33921 154 0 0 20 0 1 0 199847303 2636320768 624095 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 643633 624095 4172 3002 0 627382 0
Current children cumulated CPU time: 340.75 s
Current children cumulated vsize: 2574532 KiB
Current children cumulated memory: 2496380 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/256 1036105
/proc/meminfo: memFree=112194260/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=3053192 memory=2771072 CPUtime=400.53 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 484433 0 0 0 39868 185 0 0 20 0 1 0 199847303 3126468608 692768 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 763298 692768 4203 3002 0 747047 0
Current children cumulated CPU time: 400.53 s
Current children cumulated vsize: 3053192 KiB
Current children cumulated memory: 2771072 KiB

[startup+462.3 s]
/proc/loadavg: 4.28 4.17 4.11 5/254 1036115
/proc/meminfo: memFree=112250552/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=3053192 memory=2910612 CPUtime=460.3 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 485336 0 0 0 45763 267 0 0 20 0 1 0 199847303 3126468608 727653 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 763298 727653 4203 3002 0 747047 0

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

/proc/1035977/statm: 1135315 995750 4203 3002 0 1119064 0
Current children cumulated CPU time: 2971.24 s
Current children cumulated vsize: 4541260 KiB
Current children cumulated memory: 3983000 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 1037254
/proc/meminfo: memFree=99428908/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=4541260 memory=3983000 CPUtime=3031.02 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 684460 0 0 0 300892 2210 0 0 20 0 1 0 199847303 4650250240 995750 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 1135315 995750 4203 3002 0 1119064 0
Current children cumulated CPU time: 3031.02 s
Current children cumulated vsize: 4541260 KiB
Current children cumulated memory: 3983000 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/257 1037264
/proc/meminfo: memFree=98630324/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=4541260 memory=3983000 CPUtime=3090.81 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 684952 0 0 0 306846 2235 0 0 20 0 1 0 199847303 4650250240 995750 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 1135315 995750 4203 3002 0 1119064 0
Current children cumulated CPU time: 3090.81 s
Current children cumulated vsize: 4541260 KiB
Current children cumulated memory: 3983000 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 1037275
/proc/meminfo: memFree=95172588/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=4541260 memory=3983000 CPUtime=3150.59 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 685394 0 0 0 312767 2292 0 0 20 0 1 0 199847303 4650250240 995750 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 1135315 995750 4203 3002 0 1119064 0
Current children cumulated CPU time: 3150.59 s
Current children cumulated vsize: 4541260 KiB
Current children cumulated memory: 3983000 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/257 1037286
/proc/meminfo: memFree=94353188/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=4541260 memory=3983000 CPUtime=3210.38 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 685765 0 0 0 318708 2330 0 0 20 0 1 0 199847303 4650250240 995750 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 1135315 995750 4203 3002 0 1119064 0
Current children cumulated CPU time: 3210.38 s
Current children cumulated vsize: 4541260 KiB
Current children cumulated memory: 3983000 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/256 1037681
/proc/meminfo: memFree=93381100/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=4541260 memory=3983000 CPUtime=3270.15 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 686248 0 0 0 324638 2377 0 0 20 0 1 0 199847303 4650250240 995750 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 1135315 995750 4203 3002 0 1119064 0
Current children cumulated CPU time: 3270.15 s
Current children cumulated vsize: 4541260 KiB
Current children cumulated memory: 3983000 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/256 1037691
/proc/meminfo: memFree=92728672/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=4541260 memory=3983000 CPUtime=3329.93 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 686629 0 0 0 330545 2448 0 0 20 0 1 0 199847303 4650250240 995750 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 1135315 995750 4203 3002 0 1119064 0
Current children cumulated CPU time: 3329.93 s
Current children cumulated vsize: 4541260 KiB
Current children cumulated memory: 3983000 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/256 1037702
/proc/meminfo: memFree=91773964/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=5110752 memory=4328312 CPUtime=3389.72 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 709267 0 0 0 336477 2495 0 0 20 0 1 0 199847303 5233410048 1082078 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 1277688 1082078 4203 3002 0 1261437 0
Current children cumulated CPU time: 3389.72 s
Current children cumulated vsize: 5110752 KiB
Current children cumulated memory: 4328312 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 1037880
/proc/meminfo: memFree=90889264/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=5128384 memory=4512404 CPUtime=3449.5 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 728625 0 0 0 342398 2552 0 0 20 0 1 0 199847303 5251465216 1128101 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 1282096 1128101 4203 3002 0 1265845 0
Current children cumulated CPU time: 3449.5 s
Current children cumulated vsize: 5128384 KiB
Current children cumulated memory: 4512404 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 1037892
/proc/meminfo: memFree=90302420/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=5128384 memory=4512404 CPUtime=3509.28 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 728996 0 0 0 348359 2569 0 0 20 0 1 0 199847303 5251465216 1128101 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 1282096 1128101 4203 3002 0 1265845 0
Current children cumulated CPU time: 3509.28 s
Current children cumulated vsize: 5128384 KiB
Current children cumulated memory: 4512404 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.08 4.09 4/249 1037947
/proc/meminfo: memFree=99613696/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=5128384 memory=4512404 CPUtime=3569.06 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 729396 0 0 0 354328 2578 0 0 20 0 1 0 199847303 5251465216 1128101 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 1282096 1128101 4203 3002 0 1265845 0
Current children cumulated CPU time: 3569.06 s
Current children cumulated vsize: 5128384 KiB
Current children cumulated memory: 4512404 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.4 s]
/proc/loadavg: 3.27 3.88 4.02 3/242 1037984
/proc/meminfo: memFree=116564004/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=5128384 memory=4512404 CPUtime=3600.05 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 729627 0 0 0 357396 2609 0 0 20 0 1 0 199847303 5251465216 1128101 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 1282096 1128101 4203 3002 0 1265845 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 5128384 KiB
Current children cumulated memory: 4512404 KiB

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

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

# cumulated CPU time of all completed processes:  user=3575.33 s, system=26.1947 s

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

[startup+3613.6 s]
/proc/loadavg: 3.27 3.88 4.02 3/242 1037984
/proc/meminfo: memFree=116564004/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=5128384 memory=4512936 CPUtime=3600.25 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 730215 0 0 0 357416 2609 0 0 20 0 1 0 199847303 5251465216 1128234 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 1282096 1128234 4336 3002 0 1265845 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 5128384 KiB
Current children cumulated memory: 4512936 KiB

[startup+3614.4 s]
/proc/loadavg: 3.27 3.88 4.02 3/242 1037984
/proc/meminfo: memFree=116563996/131524600 swapFree=131071996/131071996
[pid=1035977] ppid=1035974 vsize=5128384 memory=4512936 CPUtime=3601.05 cores=0,2
/proc/1035977/stat : 1035977 (mixed-bag) R 1035974 1035977 1030630 0 -1 4194304 730508 0 0 0 357496 2609 0 0 20 0 1 0 199847303 5251465216 1128234 134679101440 4194304 16488053 140723600775296 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 49111040 140723600782357 140723600782434 140723600782434 140723600789451 0
/proc/1035977/statm: 1282096 1128234 4336 3002 0 1265845 0
Current children cumulated CPU time: 3601.05 s
Current children cumulated vsize: 5128384 KiB
Current children cumulated memory: 4512936 KiB

[startup+3614.8 s]*
/proc/loadavg: 3.27 3.88 4.02 3/242 1037984
/proc/meminfo: memFree=117678916/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3614.86
CPU time (s): 3601.53
CPU user time (s): 3575.33
CPU system time (s): 26.1947
CPU usage (%): 99.631
Max. virtual memory (cumulated for all children) (KiB): 5128384
Max. memory (cumulated for all children) (KiB): 4512936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.33
system time used= 26.1947
maximum resident set size= 4512936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 730748
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= 11
involuntary context switches= 24797


# summary of solver processes directly reported to runsolver:
#   pid: 1035977
#   total CPU time (s): 3601.53
#   total CPU user time (s): 3575.33
#   total CPU system time (s): 26.1947

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.15164 second user time and 18.1587 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-20 14:01:19
IDJOB=4454939
IDBENCH=158125
IDSOLVER=3083
FILE ID=nodeC016/4454939-1721476867
RUNJOBID= nodeC016-1721469279-1030640
SLURM_JOB_ID= 7545728
Free space on /tmp= 889920 MiB

SOLVER NAME= mixed-bag 2024-07-19
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-4454939-1721476867/watcher-4454939-1721476867 -o /tmp/evaluation-result-4454939-1721476867/solver-4454939-1721476867 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721469279-1030640 --watchdog 3760  mixed-bag HOME/instance-4454939-1721476867.opb

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

MD5SUM BENCH= c394902a34a3ecc31aded0750ee67503
RANDOM SEED=1264699446

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        110689028 kB
MemAvailable:   114793932 kB
Buffers:          447984 kB
Cached:          4496320 kB
SwapCached:            0 kB
Active:           835604 kB
Inactive:       19344948 kB
Active(anon):       1544 kB
Inactive(anon): 15280620 kB
Active(file):     834060 kB
Inactive(file):  4064328 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            137404 kB
Writeback:             0 kB
AnonPages:      15232272 kB
Mapped:           139448 kB
Shmem:             45912 kB
KReclaimable:      92328 kB
Slab:             204224 kB
SReclaimable:      92328 kB
SUnreclaim:       111896 kB
KernelStack:        4144 kB
PageTables:        39324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   15771124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            74528 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2445312 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:      207572 kB
DirectMap2M:    13197312 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 890016 MiB
End job on nodeC016 at 2024-07-20 15:01:34