Trace number 4454934

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) 3602.42 3610.58

DiagnosticValue
AM1LB429121428
LOWERBOUND-159618070
NAM1S2889
NCORES8
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0
SCIPUB594102827

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_20null10mast_rapportOE1.0_TMAX180_K192_cod1.opb
MD5SUMf42bed8b206e9691e6e5fc670f14b50f
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-214739
Best CPU time to get the best result obtained on this benchmark66957.9
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables399113
Total number of constraints400980
Number of constraints which are clauses399002
Number of constraints which are cardinality constraints (but not clauses)1977
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint397089
Number of terms in the objective function 272557
Biggest coefficient in the objective function 10946
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 594102826
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 10946
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 594102826
Number of bits of the biggest sum of numbers30
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.27/2.34	c [STEP] preprocessing with Papilo
7.07/7.16	c [STEP] solving with SCIP
308.82/309.86	c [STEP] preprocessing done, loading into solver
309.72/310.76	c [STEP] solving
309.72/310.76	c #variables 329997 #constraints 331689
309.72/310.77	c SMALL=int, LARGE=long long
309.72/310.77	d SCIPUB 594102827
309.72/310.78	c bounds - >= -594102826 @ 308.072
309.72/310.78	c stratification level: 6765
3601.83/3610.06	c bounds - >= -161650776 @ 334.203
3601.83/3610.06	c bounds - >= -160396458 @ 334.346
3601.83/3610.06	c bounds - >= -159684768 @ 334.365
3601.83/3610.06	c bounds - >= -159650478 @ 334.384
3601.83/3610.06	c bounds - >= -159643713 @ 334.89
3601.83/3610.06	c bounds - >= -159634364 @ 338.602
3601.83/3610.06	c bounds - >= -159624845 @ 340.015
3601.83/3610.06	c bounds - >= -159618070 @ 344.197
3601.83/3610.06	c #Conflicts:       1000 | #Constraints:     335919
3601.83/3610.06	c #Conflicts:       2000 | #Constraints:     336919
3601.83/3610.06	c INPROCESSING
3601.83/3610.06	c GARBAGE COLLECT
3601.83/3610.06	c #Conflicts:       3000 | #Constraints:     334284
3601.83/3610.06	c #Conflicts:       4000 | #Constraints:     335284
3601.83/3610.06	c INPROCESSING
3601.83/3610.06	c GARBAGE COLLECT
3601.83/3610.06	c #Conflicts:       5000 | #Constraints:     327924
3601.83/3610.06	c #Conflicts:       6000 | #Constraints:     328924
3601.83/3610.06	c INPROCESSING
3601.83/3610.06	c GARBAGE COLLECT
3601.83/3610.06	c #Conflicts:       7000 | #Constraints:     328086
3601.83/3610.06	c #Conflicts:       8000 | #Constraints:     329086
3601.83/3610.06	c #Conflicts:       9000 | #Constraints:     330086
3601.83/3610.06	c INPROCESSING
3601.83/3610.06	c GARBAGE COLLECT
3601.83/3610.06	c #Conflicts:      10000 | #Constraints:     328839
3601.83/3610.06	c #Conflicts:      11000 | #Constraints:     329839
3601.83/3610.06	c #Conflicts:      12000 | #Constraints:     330839
3601.83/3610.06	c INPROCESSING
3601.83/3610.06	c GARBAGE COLLECT
3601.83/3610.06	c #Conflicts:      13000 | #Constraints:     329325
3601.83/3610.06	c #Conflicts:      14000 | #Constraints:     330325
3601.83/3610.06	c #Conflicts:      15000 | #Constraints:     331325
3601.83/3610.06	c INPROCESSING
3601.83/3610.06	c GARBAGE COLLECT
3601.83/3610.06	c #Conflicts:      16000 | #Constraints:     329588
3601.83/3610.06	c #Conflicts:      17000 | #Constraints:     330588
3601.83/3610.06	c #Conflicts:      18000 | #Constraints:     331588
3601.83/3610.06	c INPROCESSING
3601.83/3610.06	c GARBAGE COLLECT
3601.83/3610.06	c #Conflicts:      19000 | #Constraints:     329668
3601.83/3610.06	c #Conflicts:      20000 | #Constraints:     330668
3601.83/3610.06	c #Conflicts:      21000 | #Constraints:     331668
3601.83/3610.06	c INPROCESSING
3601.83/3610.06	c GARBAGE COLLECT
3601.83/3610.06	c #Conflicts:      22000 | #Constraints:     329494
3601.83/3610.06	c #Conflicts:      23000 | #Constraints:     330494
3601.83/3610.06	c #Conflicts:      24000 | #Constraints:     331494
3601.83/3610.06	c #Conflicts:      25000 | #Constraints:     332494
3601.83/3610.06	c INPROCESSING
3601.83/3610.06	c GARBAGE COLLECT
3601.83/3610.06	c #Conflicts:      26000 | #Constraints:     330138
3601.83/3610.06	c #Conflicts:      27000 | #Constraints:     331138
3601.83/3610.06	c #Conflicts:      28000 | #Constraints:     332138
3601.83/3610.06	c #Conflicts:      29000 | #Constraints:     333138
3601.83/3610.06	c INPROCESSING
3601.83/3610.06	c GARBAGE COLLECT
3601.83/3610.06	c #Conflicts:      30000 | #Constraints:     330563
3601.83/3610.06	c #Conflicts:      31000 | #Constraints:     331563
3601.83/3610.06	c #Conflicts:      32000 | #Constraints:     332563
3601.83/3610.06	c #Conflicts:      33000 | #Constraints:     333563
3601.83/3610.06	c #Conflicts:      34000 | #Constraints:     334563
3601.83/3610.06	c #Conflicts:      35000 | #Constraints:     335563
3601.83/3610.06	c #Conflicts:      36000 | #Constraints:     336563
3601.83/3610.06	c #Conflicts:      37000 | #Constraints:     337563
3601.83/3610.06	c #Conflicts:      38000 | #Constraints:     338563
3601.83/3610.06	c #Conflicts:      39000 | #Constraints:     339563
3601.83/3610.06	c #Conflicts:      40000 | #Constraints:     340563
3601.83/3610.06	c Program interrupted by user.
3601.83/3610.06	c cpu time 3518.77 s
3601.83/3610.06	c deterministic time 68002303121 6.80e+10
3601.83/3610.06	c optimization time 1076.59 s
3601.83/3610.06	c total solve time 2134.12 s
3601.83/3610.06	c core-guided solve time 2134.12 s
3601.83/3610.06	c propagation time 1118.76 s
3601.83/3610.06	c conflict analysis time 1660.32 s
3601.83/3610.06	c propagations 1401534154
3601.83/3610.06	c resolve steps 698193
3601.83/3610.06	c decisions 110155920
3601.83/3610.06	c conflicts 40544
3601.83/3610.06	c restarts 126
3601.83/3610.06	c inprocessing phases 10
3601.83/3610.06	c input clauses 333290
3601.83/3610.06	c input cardinalities 1621
3601.83/3610.06	c input general constraints 9
3601.83/3610.06	c input average constraint length 12.58
3601.83/3610.06	c input average constraint degree 10294.22
3601.83/3610.06	c learned clauses 8209
3601.83/3610.06	c learned cardinalities 5761
3601.83/3610.06	c learned general constraints 26573
3601.83/3610.06	c learned average constraint length 69788.89
3601.83/3610.06	c learned average constraint degree 2568515.25
3601.83/3610.06	c watched constraints 3646
3601.83/3610.06	c counting constraints 22936
3601.83/3610.06	c gcd simplifications 19
3601.83/3610.06	c detected cardinalities 47
3601.83/3610.06	c weakened non-implied lits 2895077197
3601.83/3610.06	c weakened non-implying lits 10287
3601.83/3610.06	c original variables 399113
3601.83/3610.06	c clausal propagations 465754835
3601.83/3610.06	c cardinality propagations 31295424
3601.83/3610.06	c watched propagations 109480
3601.83/3610.06	c counting propagations 849123784
3601.83/3610.06	c watch lookups 1622356522
3601.83/3610.06	c watch backjump lookups 1143946762
3601.83/3610.06	c watch checks 2269595233
3601.83/3610.06	c propagation checks 50987794040
3601.83/3610.06	c constraint additions 8955488308
3601.83/3610.06	c trail pops 1511432181
3601.83/3610.06	c formula constraints 331689
3601.83/3610.06	c learned constraints 40543
3601.83/3610.06	c bound constraints 8
3601.83/3610.06	c core-guided constraints 3223
3601.83/3610.06	c encountered formula constraints 655414
3601.83/3610.06	c encountered learned constraints 57381
3601.83/3610.06	c encountered bound constraints 0
3601.83/3610.06	c encountered core-guided constraints 26276
3601.83/3610.06	c LP total time 0 s
3601.83/3610.06	c LP solve time 0 s
3601.83/3610.06	c LP constraints added 0
3601.83/3610.06	c LP constraints removed 0
3601.83/3610.06	c LP pivots internal 0
3601.83/3610.06	c LP pivots root 0
3601.83/3610.06	c LP calls 0
3601.83/3610.06	c LP optimalities 0
3601.83/3610.06	c LP no pivot count 0
3601.83/3610.06	c LP infeasibilities 0
3601.83/3610.06	c LP valid Farkas constraints 0
3601.83/3610.06	c LP learned Farkas constraints 0
3601.83/3610.06	c LP basis resets 0
3601.83/3610.06	c LP cycling count 0
3601.83/3610.06	c LP singular count 0
3601.83/3610.06	c LP no primal count 0
3601.83/3610.06	c LP no farkas count 0
3601.83/3610.06	c LP other issue count 0
3601.83/3610.06	c LP Gomory cuts 0
3601.83/3610.06	c LP learned cuts 0
3601.83/3610.06	c LP deleted cuts 0
3601.83/3610.06	c LP encountered Gomory constraints 0
3601.83/3610.06	c LP encountered Farkas constraints 0
3601.83/3610.06	c LP encountered learned Farkas constraints 0
3601.83/3610.06	c CG auxiliary variables introduced 2889
3601.83/3610.06	c CG solutions found 0
3601.83/3610.06	c CG cores constructed 8
3601.83/3610.06	c CG core cardinality constraints returned 4
3601.83/3610.06	c CG unit cores 0
3601.83/3610.06	c CG single cores 8
3601.83/3610.06	c CG blocks removed during cardinality reduction 8
3601.83/3610.06	c CG first core best 0
3601.83/3610.06	c CG decision core best 0
3601.83/3610.06	c CG core reduction tie 0
3601.83/3610.06	c CG core degree average 35.88
3601.83/3610.06	c CG core slack average 19.88
3601.83/3610.06	c CG exhausted 0
3601.83/3610.06	c CG exhaust time 0 s
3601.83/3610.06	c CG trimmed 0
3601.83/3610.06	c CG trim time 0.033921 s
3601.83/3610.06	c CG minimized 0
3601.83/3610.06	c CG minimize time 0 s
3601.83/3610.06	c CG am1 prop time 5.21044 s
3601.83/3610.06	c CG # am1s reformulated 2889
3601.83/3610.06	c CG lower bound derived from am1s 429121428
3601.83/3610.06	c CG # clausal cores 4
3601.83/3610.06	c CG # cardinality cores 4
3601.83/3610.06	c CG # pb cores 0
3601.83/3610.06	c CG # pb reforms 0
3601.83/3610.06	c CG # cores discarded because of pb reform 0
3601.83/3610.06	d LOWERBOUND -159618070
3601.83/3610.06	d NCORES 8
3601.83/3610.06	d NPBCORES 0
3601.83/3610.06	d NPBREFORM 0
3601.83/3610.06	d NTRIMMED 0
3601.83/3610.06	d NEXHAUSTED 0
3601.83/3610.06	d NAM1S 2889
3601.83/3610.06	d AM1LB 429121428
3601.83/3610.06	c [Papilo Statistics]
3601.83/3610.06	c prepro time 4.81799s
3601.83/3610.06	c # tsx applied 1315
3601.83/3610.06	c # tsx conflicts 115
3601.83/3610.06	c # bound changes 69115
3601.83/3610.06	c # side changes 195
3601.83/3610.06	c # coef changes 9
3601.83/3610.06	c # rounds 4
3601.83/3610.06	c # deted vars 69117
3601.83/3610.06	c # deted constrs 69484
3601.83/3610.06	c # consecutive rounds of only bound changes 0

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 (57638 MiB free)
  memory of node 1: 64510 MiB (55364 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454934-1721476839/watcher-4454934-1721476839 -o /tmp/evaluation-result-4454934-1721476839/solver-4454934-1721476839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721469279-1030641 --watchdog 3760 mixed-bag HOME/instance-4454934-1721476839.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
Current StackSize limit: 8192 KiB

solver pid=1035915, runsolver pid=1035912

[startup+0.100813 s]*
/proc/loadavg: 4.09 4.09 4.09 5/258 1035916
/proc/meminfo: memFree=115606552/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=195688 memory=95676 CPUtime=0.09 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 15082 0 0 0 6 3 0 0 20 0 1 0 199844539 200384512 23919 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 48922 23919 1636 3002 0 33210 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 195688 KiB
Current children cumulated memory: 95676 KiB

[startup+0.205793 s]*
/proc/loadavg: 4.09 4.09 4.09 5/258 1035916
/proc/meminfo: memFree=115586784/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=182264 memory=97336 CPUtime=0.2 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 19219 0 0 0 16 4 0 0 20 0 1 0 199844539 186638336 24334 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 45566 24334 1704 3002 0 29854 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 182264 KiB
Current children cumulated memory: 97336 KiB

[startup+0.305599 s]*
/proc/loadavg: 4.09 4.09 4.09 5/258 1035918
/proc/meminfo: memFree=115555384/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=190456 memory=108944 CPUtime=0.29 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 20061 0 0 0 25 4 0 0 20 0 1 0 199844539 195026944 27236 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 47614 27236 1704 3002 0 31902 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 190456 KiB
Current children cumulated memory: 108944 KiB

[startup+0.70022 s]
/proc/loadavg: 4.09 4.09 4.09 5/258 1035918
/proc/meminfo: memFree=115516572/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=206884 memory=122220 CPUtime=0.68 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 21319 0 0 0 63 5 0 0 20 0 1 0 199844539 211849216 30555 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 51721 30555 1704 3002 0 36009 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 206884 KiB
Current children cumulated memory: 122220 KiB

[startup+1.50022 s]
/proc/loadavg: 4.09 4.09 4.09 6/258 1035918
/proc/meminfo: memFree=115393888/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=239652 memory=163808 CPUtime=1.48 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 22497 0 0 0 141 7 0 0 20 0 1 0 199844539 245403648 40952 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 59913 40952 1704 3002 0 44201 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 239652 KiB
Current children cumulated memory: 163808 KiB

[startup+3.10576 s]
/proc/loadavg: 4.09 4.09 4.09 6/258 1035918
/proc/meminfo: memFree=114665524/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=641844 memory=509244 CPUtime=3.08 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 49151 0 0 0 286 22 0 0 20 0 1 0 199844539 657248256 127311 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 160461 127311 1906 3002 0 144210 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 641844 KiB
Current children cumulated memory: 509244 KiB

[startup+6.30022 s]
/proc/loadavg: 4.08 4.09 4.09 6/258 1035918
/proc/meminfo: memFree=114086408/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=656256 memory=523620 CPUtime=6.27 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 50273 0 0 0 604 23 0 0 20 0 1 0 199844539 672006144 130905 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 164064 130905 1906 3002 0 147813 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 656256 KiB
Current children cumulated memory: 523620 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.09 4.09 6/258 1035930
/proc/meminfo: memFree=111049656/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=2095532 memory=1941828 CPUtime=12.65 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 354472 0 0 0 1187 78 0 0 20 0 1 0 199844539 2145824768 485457 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 523883 485457 3839 3002 0 507632 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2095532 KiB
Current children cumulated memory: 1941828 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.09 7/258 1035932
/proc/meminfo: memFree=107379964/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=2509872 memory=2360652 CPUtime=25.42 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 497125 0 0 0 2442 100 0 0 20 0 1 0 199844539 2570108928 590163 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 627468 590163 3871 3002 0 611217 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2509872 KiB
Current children cumulated memory: 2360652 KiB

[startup+51.1057 s]
/proc/loadavg: 4.12 4.09 4.09 7/258 1035983
/proc/meminfo: memFree=105020280/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=2628460 memory=2480008 CPUtime=50.95 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 512661 0 0 0 4992 103 0 0 20 0 1 0 199844539 2691543040 620002 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 657115 620002 3871 3002 0 640864 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2628460 KiB
Current children cumulated memory: 2480008 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/258 1035991
/proc/meminfo: memFree=95747540/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=2628460 memory=2480036 CPUtime=102.02 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 512819 0 0 0 10098 104 0 0 20 0 1 0 199844539 2691543040 620009 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 657115 620009 3871 3002 0 640864 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2628460 KiB
Current children cumulated memory: 2480036 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/257 1036004
/proc/meminfo: memFree=108880892/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=3841208 memory=3547120 CPUtime=161.84 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 659157 0 0 0 16046 138 0 0 20 0 1 0 199844539 3933396992 886780 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 960302 886780 3942 3002 0 944051 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 3841208 KiB
Current children cumulated memory: 3547120 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/256 1036068
/proc/meminfo: memFree=113263564/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=4155412 memory=3792976 CPUtime=221.61 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 691686 0 0 0 22015 146 0 0 20 0 1 0 199844539 4255141888 948244 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 1038853 948244 4070 3002 0 1022602 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 4155412 KiB
Current children cumulated memory: 3792976 KiB

[startup+282.3 s]
/proc/loadavg: 4.33 4.17 4.12 6/256 1036078
/proc/meminfo: memFree=112971216/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=4165552 memory=3796192 CPUtime=281.41 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 691999 0 0 0 27994 147 0 0 20 0 1 0 199844539 4265525248 949048 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 1041388 949048 4086 3002 0 1025137 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 4165552 KiB
Current children cumulated memory: 3796192 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.15 4.11 6/256 1036089
/proc/meminfo: memFree=113544920/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=3666656 memory=3562044 CPUtime=341.24 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 701303 0 0 0 33932 192 0 0 20 0 1 0 199844539 3754655744 890511 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 916664 890511 4214 3002 0 900413 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 3666656 KiB
Current children cumulated memory: 3562044 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 4.15 4.11 6/256 1036100
/proc/meminfo: memFree=112681092/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=4176136 memory=3890956 CPUtime=401.1 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 704001 0 0 0 39805 305 0 0 20 0 1 0 199844539 4276363264 972739 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 1044034 972739 4214 3002 0 1027783 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 4176136 KiB
Current children cumulated memory: 3890956 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.14 4.10 6/256 1036111
/proc/meminfo: memFree=111892608/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=4525384 memory=4279956 CPUtime=460.96 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 705961 0 0 0 45624 472 0 0 20 0 1 0 199844539 4633993216 1069989 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 1131346 1069989 4214 3002 0 1115095 0

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


[startup+3102.3 s]
/proc/loadavg: 4.04 4.08 4.08 6/257 1037261
/proc/meminfo: memFree=98900736/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=12106596 memory=9617628 CPUtime=3095.23 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 1288125 0 0 0 303180 6343 0 0 20 0 1 0 199844539 12397154304 2404407 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 3026649 2404407 4245 3002 0 3010398 0
Current children cumulated CPU time: 3095.23 s
Current children cumulated vsize: 12106596 KiB
Current children cumulated memory: 9617628 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.11 4.09 6/257 1037271
/proc/meminfo: memFree=97518316/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=13391860 memory=10735960 CPUtime=3155.1 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 1480124 0 0 0 308932 6578 0 0 20 0 1 0 199844539 13713264640 2683990 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 3347965 2683990 4245 3002 0 3331714 0
Current children cumulated CPU time: 3155.1 s
Current children cumulated vsize: 13391860 KiB
Current children cumulated memory: 10735960 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/257 1037283
/proc/meminfo: memFree=94721468/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=16744468 memory=13282336 CPUtime=3214.97 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 2027466 0 0 0 314504 6993 0 0 20 0 1 0 199844539 17146335232 3320584 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 4186117 3320584 4245 3002 0 4169866 0
Current children cumulated CPU time: 3214.97 s
Current children cumulated vsize: 16744468 KiB
Current children cumulated memory: 13282336 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/259 1037678
/proc/meminfo: memFree=93758312/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=16768892 memory=13965376 CPUtime=3274.85 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 2093346 0 0 0 320117 7368 0 0 20 0 1 0 199844539 17171345408 3491344 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 4192223 3491344 4245 3002 0 4175972 0
Current children cumulated CPU time: 3274.85 s
Current children cumulated vsize: 16768892 KiB
Current children cumulated memory: 13965376 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/256 1037688
/proc/meminfo: memFree=93068072/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=16769152 memory=14515352 CPUtime=3334.72 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 2143541 0 0 0 325923 7549 0 0 20 0 1 0 199844539 17171611648 3628838 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 4192288 3628838 4245 3002 0 4176037 0
Current children cumulated CPU time: 3334.72 s
Current children cumulated vsize: 16769152 KiB
Current children cumulated memory: 14515352 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/256 1037699
/proc/meminfo: memFree=92325560/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=16769152 memory=15149620 CPUtime=3394.59 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 2202841 0 0 0 331642 7817 0 0 20 0 1 0 199844539 17171611648 3787405 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 4192288 3787405 4245 3002 0 4176037 0
Current children cumulated CPU time: 3394.59 s
Current children cumulated vsize: 16769152 KiB
Current children cumulated memory: 15149620 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/256 1037877
/proc/meminfo: memFree=91229904/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=16775108 memory=15693032 CPUtime=3454.45 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 2253341 0 0 0 337399 8046 0 0 20 0 1 0 199844539 17177710592 3923258 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 4193777 3923258 4245 3002 0 4177526 0
Current children cumulated CPU time: 3454.45 s
Current children cumulated vsize: 16775108 KiB
Current children cumulated memory: 15693032 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.09 6/257 1037889
/proc/meminfo: memFree=90616552/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=20732432 memory=16196692 CPUtime=3514.32 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 2298814 0 0 0 343303 8129 0 0 20 0 1 0 199844539 21230010368 4049173 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 5183108 4049173 4245 3002 0 5166857 0
Current children cumulated CPU time: 3514.32 s
Current children cumulated vsize: 20732432 KiB
Current children cumulated memory: 16196692 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.09 4.09 6/257 1037901
/proc/meminfo: memFree=89994436/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=20732432 memory=16621648 CPUtime=3574.19 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 2338149 0 0 0 349151 8268 0 0 20 0 1 0 199844539 21230010368 4155412 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 5183108 4155412 4245 3002 0 5166857 0
Current children cumulated CPU time: 3574.19 s
Current children cumulated vsize: 20732432 KiB
Current children cumulated memory: 16621648 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.2 s]
/proc/loadavg: 4.09 4.08 4.09 5/253 1037925
/proc/meminfo: memFree=99563532/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=20732432 memory=16882764 CPUtime=3600.04 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 2361498 0 0 0 351691 8313 0 0 20 0 1 0 199844539 21230010368 4220691 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 5183108 4220691 4245 3002 0 5166857 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 20732432 KiB
Current children cumulated memory: 16882764 KiB

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

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 4.00 4.07 4.08 4/249 1037947
/proc/meminfo: memFree=100713036/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=20730372 memory=15640660 CPUtime=3602.04 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 2361952 0 0 0 351886 8318 0 0 20 0 1 0 199844539 21227900928 3910165 134679101440 4194304 16488053 140721990896288 0 0 256 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 5182593 3910165 4361 3002 0 5166342 0
??? kill 1035915 sig 9
??? end of watcher thread

[startup+3610.58 s]
# the end of solver process 1035915 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3518.87 s, system=83.5511 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3609.6 s]
/proc/loadavg: 4.09 4.08 4.09 4/249 1037936
/proc/meminfo: memFree=99613904/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=20732432 memory=16883300 CPUtime=3601.43 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 2361757 0 0 0 351830 8313 0 0 20 0 1 0 199844539 21230010368 4220825 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 5183108 4220825 4361 3002 0 5166857 0
Current children cumulated CPU time: 3601.43 s
Current children cumulated vsize: 20732432 KiB
Current children cumulated memory: 16883300 KiB

[startup+3610 s]*
/proc/loadavg: 4.00 4.07 4.08 4/249 1037947
/proc/meminfo: memFree=99613704/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=20732432 memory=16883300 CPUtime=3601.83 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 2361758 0 0 0 351870 8313 0 0 20 0 1 0 199844539 21230010368 4220825 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 5183108 4220825 4361 3002 0 5166857 0
Current children cumulated CPU time: 3601.83 s
Current children cumulated vsize: 20732432 KiB
Current children cumulated memory: 16883300 KiB

[startup+3610.2 s]
/proc/loadavg: 4.00 4.07 4.08 4/249 1037947
/proc/meminfo: memFree=99613704/131524600 swapFree=131071996/131071996
[pid=1035915] ppid=1035912 vsize=20730372 memory=16019616 CPUtime=3602.03 cores=4,6
/proc/1035915/stat : 1035915 (mixed-bag) R 1035912 1035915 1030630 0 -1 4194304 2361952 0 0 0 351886 8317 0 0 20 0 1 0 199844539 21227900928 4005769 134679101440 4194304 16488053 140721990896288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 53080064 140721990898709 140721990898786 140721990898786 140721990905803 0
/proc/1035915/statm: 5182593 4005352 4361 3002 0 5166342 0
Current children cumulated CPU time: 3602.03 s
Current children cumulated vsize: 20730372 KiB
Current children cumulated memory: 16019616 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3610.58
CPU time (s): 3602.42
CPU user time (s): 3518.87
CPU system time (s): 83.5511
CPU usage (%): 99.7739
Max. virtual memory (cumulated for all children) (KiB): 20732432
Max. memory (cumulated for all children) (KiB): 16883300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3518.87
system time used= 83.5511
maximum resident set size= 16883300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2361952
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= 90
involuntary context switches= 2308


# summary of solver processes directly reported to runsolver:
#   pid: 1035915
#   total CPU time (s): 3602.42
#   total CPU user time (s): 3518.87
#   total CPU system time (s): 83.5511

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.78728 second user time and 16.9702 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-20 14:00:51
IDJOB=4454934
IDBENCH=157943
IDSOLVER=3083
FILE ID=nodeC016/4454934-1721476839
RUNJOBID= nodeC016-1721469279-1030641
SLURM_JOB_ID= 7545728
Free space on /tmp= 889944 MiB

SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_fibo_20null10mast_rapportOE1.0_TMAX180_K192_cod1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454934-1721476839/watcher-4454934-1721476839 -o /tmp/evaluation-result-4454934-1721476839/solver-4454934-1721476839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721469279-1030641 --watchdog 3760  mixed-bag HOME/instance-4454934-1721476839.opb

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

MD5SUM BENCH= f42bed8b206e9691e6e5fc670f14b50f
RANDOM SEED=1214671019

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		: 3673.406
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		: 3689.317
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		: 3643.847
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.140
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		: 3673.385
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		: 3689.319
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		: 3659.987
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.107
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:        115719440 kB
MemAvailable:   119796216 kB
Buffers:          447952 kB
Cached:          4468604 kB
SwapCached:            0 kB
Active:           807748 kB
Inactive:       14352928 kB
Active(anon):       1544 kB
Inactive(anon): 10288496 kB
Active(file):     806204 kB
Inactive(file):  4064432 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             90972 kB
Writeback:             0 kB
AnonPages:      10242276 kB
Mapped:           123980 kB
Shmem:             45912 kB
KReclaimable:      91572 kB
Slab:             203376 kB
SReclaimable:      91572 kB
SUnreclaim:       111804 kB
KernelStack:        4144 kB
PageTables:        29584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   11511932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            74528 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3751936 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= 889972 MiB
End job on nodeC016 at 2024-07-20 15:01:02