Trace number 4454685

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) 3600.23 3610.92

DiagnosticValue
AM1LB0
LOWERBOUND130
NAM1S0
NCORES130
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0
SCIPUB254

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-ex1010.pi.opb
MD5SUM5479bdae519af5132f8a4c9f9917dcdc
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 benchmark235
Best CPU time to get the best result obtained on this benchmark71175
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables25200
Total number of constraints1468
Number of constraints which are clauses1468
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint9
Maximum length of a constraint172
Number of terms in the objective function 25200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 25200
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 25200
Number of bits of the biggest sum of numbers15
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
0.10/0.22	c [STEP] preprocessing with Papilo
0.22/0.27	c Papilo could not simplify the problem
0.22/0.27	c [STEP] solving with SCIP
299.52/300.36	c [STEP] preprocessing done, loading into solver
299.52/300.37	c [STEP] solving
299.52/300.37	c #variables 25201 #constraints 1468
299.52/300.37	c SMALL=int, LARGE=long long
299.52/300.38	d SCIPUB 254
299.52/300.38	c bounds - >= 0 @ 299.441
299.52/300.38	c stratification level: 0
378.15/379.19	c bounds - >= 1 @ 299.864
378.15/379.19	c bounds - >= 2 @ 299.867
378.15/379.19	c bounds - >= 3 @ 299.87
378.15/379.19	c bounds - >= 4 @ 299.873
378.15/379.19	c bounds - >= 5 @ 299.876
378.15/379.19	c bounds - >= 6 @ 299.88
378.15/379.19	c bounds - >= 7 @ 299.882
378.15/379.19	c bounds - >= 8 @ 299.886
378.15/379.19	c bounds - >= 9 @ 299.888
378.15/379.19	c bounds - >= 10 @ 299.891
378.15/379.19	c bounds - >= 11 @ 299.893
378.15/379.19	c bounds - >= 12 @ 299.896
378.15/379.19	c bounds - >= 13 @ 299.9
378.15/379.19	c bounds - >= 14 @ 299.903
378.15/379.19	c bounds - >= 15 @ 299.908
378.15/379.19	c bounds - >= 16 @ 299.91
378.15/379.19	c bounds - >= 17 @ 299.914
378.15/379.19	c bounds - >= 18 @ 299.917
378.15/379.19	c bounds - >= 19 @ 299.919
378.15/379.19	c bounds - >= 20 @ 299.924
378.15/379.19	c bounds - >= 21 @ 299.929
378.15/379.19	c bounds - >= 22 @ 299.933
378.15/379.19	c bounds - >= 23 @ 299.936
378.15/379.19	c bounds - >= 24 @ 299.94
378.15/379.19	c bounds - >= 25 @ 299.943
378.15/379.19	c bounds - >= 26 @ 299.947
378.15/379.19	c bounds - >= 27 @ 299.951
378.15/379.19	c bounds - >= 28 @ 299.954
378.15/379.19	c bounds - >= 29 @ 299.959
378.15/379.19	c bounds - >= 30 @ 299.962
378.15/379.19	c bounds - >= 31 @ 299.967
378.15/379.19	c bounds - >= 32 @ 299.972
378.15/379.19	c bounds - >= 33 @ 299.976
378.15/379.19	c bounds - >= 34 @ 299.979
378.15/379.19	c bounds - >= 35 @ 299.982
378.15/379.19	c bounds - >= 36 @ 299.987
378.15/379.19	c bounds - >= 37 @ 299.989
378.15/379.19	c bounds - >= 38 @ 299.993
378.15/379.19	c bounds - >= 39 @ 299.998
378.15/379.19	c bounds - >= 40 @ 300.004
378.15/379.19	c bounds - >= 41 @ 300.006
378.15/379.19	c bounds - >= 42 @ 300.01
378.15/379.19	c bounds - >= 43 @ 300.015
378.15/379.19	c bounds - >= 44 @ 300.021
378.15/379.19	c bounds - >= 45 @ 300.026
378.15/379.19	c bounds - >= 46 @ 300.029
378.15/379.19	c bounds - >= 47 @ 300.033
378.15/379.19	c bounds - >= 48 @ 300.037
378.15/379.19	c bounds - >= 49 @ 300.044
378.15/379.19	c bounds - >= 50 @ 300.052
378.15/379.19	c bounds - >= 51 @ 300.054
378.15/379.19	c bounds - >= 52 @ 300.059
378.15/379.19	c bounds - >= 53 @ 300.061
378.15/379.19	c bounds - >= 54 @ 300.068
378.15/379.19	c bounds - >= 55 @ 300.073
378.15/379.19	c bounds - >= 56 @ 300.076
378.15/379.19	c bounds - >= 57 @ 300.083
378.15/379.19	c bounds - >= 58 @ 300.087
378.15/379.19	c bounds - >= 59 @ 300.092
378.15/379.19	c bounds - >= 60 @ 300.098
378.15/379.19	c bounds - >= 61 @ 300.104
378.15/379.19	c bounds - >= 62 @ 300.11
378.15/379.19	c bounds - >= 63 @ 300.116
378.15/379.19	c bounds - >= 64 @ 300.124
378.15/379.19	c bounds - >= 65 @ 300.131
378.15/379.19	c bounds - >= 66 @ 300.136
378.15/379.19	c bounds - >= 67 @ 300.14
378.15/379.19	c bounds - >= 68 @ 300.143
378.15/379.19	c bounds - >= 69 @ 300.149
378.15/379.19	c bounds - >= 70 @ 300.154
378.15/379.19	c bounds - >= 71 @ 300.157
378.15/379.19	c bounds - >= 72 @ 300.163
378.15/379.19	c bounds - >= 73 @ 300.167
378.15/379.19	c bounds - >= 74 @ 300.171
378.15/379.19	c bounds - >= 75 @ 300.177
378.15/379.19	c bounds - >= 76 @ 300.181
378.15/379.19	c bounds - >= 77 @ 300.188
378.15/379.19	c bounds - >= 78 @ 300.194
378.15/379.19	c bounds - >= 79 @ 300.198
378.15/379.19	c bounds - >= 80 @ 300.204
378.15/379.19	c bounds - >= 81 @ 300.207
378.15/379.19	c bounds - >= 82 @ 300.212
378.15/379.19	c bounds - >= 83 @ 300.215
378.15/379.19	c bounds - >= 84 @ 300.22
378.15/379.19	c bounds - >= 85 @ 300.226
378.15/379.19	c bounds - >= 86 @ 300.231
378.15/379.19	c bounds - >= 87 @ 300.234
378.15/379.19	c bounds - >= 88 @ 300.242
378.15/379.19	c bounds - >= 89 @ 300.248
378.15/379.19	c bounds - >= 90 @ 300.253
378.15/379.19	c bounds - >= 91 @ 300.259
378.15/379.19	c bounds - >= 92 @ 300.264
378.15/379.19	c bounds - >= 93 @ 300.271
378.15/379.19	c bounds - >= 94 @ 300.278
378.15/379.19	c bounds - >= 95 @ 300.285
378.15/379.19	c bounds - >= 96 @ 300.291
378.15/379.19	c bounds - >= 97 @ 300.299
378.15/379.19	c bounds - >= 98 @ 300.306
378.15/379.19	c bounds - >= 99 @ 300.31
378.15/379.19	c bounds - >= 100 @ 300.316
378.15/379.19	c bounds - >= 101 @ 300.322
378.15/379.19	c bounds - >= 102 @ 300.329
378.15/379.19	c bounds - >= 103 @ 300.336
378.15/379.19	c bounds - >= 104 @ 300.343
378.15/379.19	c bounds - >= 105 @ 300.349
378.15/379.19	c bounds - >= 106 @ 300.355
378.15/379.19	c bounds - >= 107 @ 300.36
378.15/379.19	c bounds - >= 108 @ 300.368
378.15/379.19	c bounds - >= 109 @ 300.373
378.15/379.19	c bounds - >= 110 @ 300.38
378.15/379.19	c bounds - >= 111 @ 300.384
378.15/379.19	c bounds - >= 112 @ 300.394
378.15/379.19	c bounds - >= 113 @ 300.4
378.15/379.19	c bounds - >= 114 @ 300.406
378.15/379.19	c bounds - >= 115 @ 300.413
378.15/379.19	c bounds - >= 116 @ 300.42
378.15/379.19	c bounds - >= 117 @ 300.429
378.15/379.19	c bounds - >= 118 @ 300.437
378.15/379.19	c bounds - >= 119 @ 300.447
378.15/379.19	c bounds - >= 120 @ 300.454
378.15/379.19	c bounds - >= 121 @ 300.463
378.15/379.19	c bounds - >= 122 @ 300.465
378.15/379.19	c bounds - >= 123 @ 300.468
378.15/379.19	c bounds - >= 124 @ 300.475
378.15/379.19	c bounds - >= 125 @ 300.479
378.15/379.19	c bounds - >= 126 @ 300.486
378.15/379.19	c bounds - >= 127 @ 300.492
378.15/379.19	c bounds - >= 128 @ 300.5
378.15/379.19	c bounds - >= 129 @ 300.51
378.15/379.19	c #Conflicts:       1000 | #Constraints:       2597
378.15/379.19	c #Conflicts:       2000 | #Constraints:       3597
378.15/379.19	c INPROCESSING
378.15/379.19	c GARBAGE COLLECT
378.15/379.19	c #Conflicts:       3000 | #Constraints:       3491
378.15/379.19	c #Conflicts:       4000 | #Constraints:       4491
378.15/379.19	c INPROCESSING
378.15/379.19	c GARBAGE COLLECT
378.15/379.19	c #Conflicts:       5000 | #Constraints:       3911
378.15/379.19	c #Conflicts:       6000 | #Constraints:       4911
378.15/379.19	c INPROCESSING
378.15/379.19	c GARBAGE COLLECT
378.15/379.19	c #Conflicts:       7000 | #Constraints:       3938
378.15/379.19	c #Conflicts:       8000 | #Constraints:       4938
378.15/379.19	c #Conflicts:       9000 | #Constraints:       5938
378.15/379.19	c INPROCESSING
378.15/379.19	c GARBAGE COLLECT
378.15/379.19	c #Conflicts:      10000 | #Constraints:       4616
1513.52/1517.92	c #Conflicts:      11000 | #Constraints:       5616
1513.52/1517.92	c #Conflicts:      12000 | #Constraints:       6616
1513.52/1517.92	c INPROCESSING
1513.52/1517.92	c GARBAGE COLLECT
1513.52/1517.92	c #Conflicts:      13000 | #Constraints:       5071
1513.52/1517.92	c #Conflicts:      14000 | #Constraints:       6071
1513.52/1517.92	c #Conflicts:      15000 | #Constraints:       7071
1513.52/1517.92	c INPROCESSING
1513.52/1517.92	c GARBAGE COLLECT
1513.52/1517.92	c #Conflicts:      16000 | #Constraints:       5298
1513.52/1517.92	c #Conflicts:      17000 | #Constraints:       6298
1513.52/1517.92	c #Conflicts:      18000 | #Constraints:       7298
1513.52/1517.92	c INPROCESSING
1513.52/1517.92	c GARBAGE COLLECT
1513.52/1517.92	c #Conflicts:      19000 | #Constraints:       5310
1513.52/1517.92	c #Conflicts:      20000 | #Constraints:       6310
1513.52/1517.92	c #Conflicts:      21000 | #Constraints:       7310
1513.52/1517.92	c INPROCESSING
1513.52/1517.92	c GARBAGE COLLECT
1513.52/1517.92	c #Conflicts:      22000 | #Constraints:       5114
1513.52/1517.92	c #Conflicts:      23000 | #Constraints:       6114
1513.52/1517.92	c #Conflicts:      24000 | #Constraints:       7114
1513.52/1517.92	c #Conflicts:      25000 | #Constraints:       8114
1513.52/1517.92	c INPROCESSING
1513.52/1517.92	c GARBAGE COLLECT
1513.52/1517.92	c #Conflicts:      26000 | #Constraints:       5712
1513.52/1517.92	c #Conflicts:      27000 | #Constraints:       6712
1513.52/1517.92	c #Conflicts:      28000 | #Constraints:       7712
1513.52/1517.92	c #Conflicts:      29000 | #Constraints:       8712
1513.52/1517.92	c INPROCESSING
1513.52/1517.92	c GARBAGE COLLECT
1513.52/1517.92	c #Conflicts:      30000 | #Constraints:       6110
1513.52/1517.92	c #Conflicts:      31000 | #Constraints:       7110
1513.52/1517.92	c #Conflicts:      32000 | #Constraints:       8110
1513.52/1517.92	c #Conflicts:      33000 | #Constraints:       9110
1513.52/1517.92	c INPROCESSING
1513.52/1517.92	c GARBAGE COLLECT
1513.52/1517.92	c #Conflicts:      34000 | #Constraints:       6345
1513.52/1517.92	c #Conflicts:      35000 | #Constraints:       7345
1513.52/1517.92	c #Conflicts:      36000 | #Constraints:       8345
1513.52/1517.92	c #Conflicts:      37000 | #Constraints:       9345
1513.52/1517.92	c INPROCESSING
1513.52/1517.92	c GARBAGE COLLECT
1513.52/1517.92	c #Conflicts:      38000 | #Constraints:       6369
1513.52/1517.92	c #Conflicts:      39000 | #Constraints:       7369
1513.52/1517.92	c #Conflicts:      40000 | #Constraints:       8369
1513.52/1517.92	c #Conflicts:      41000 | #Constraints:       9369
1513.52/1517.92	c INPROCESSING
1513.52/1517.92	c GARBAGE COLLECT
1513.52/1517.92	c #Conflicts:      42000 | #Constraints:       6184
1513.52/1517.92	c #Conflicts:      43000 | #Constraints:       7184
1513.52/1517.92	c #Conflicts:      44000 | #Constraints:       8184
1513.52/1517.92	c bounds - >= 130 @ 815.135
1513.52/1517.92	c #Conflicts:      45000 | #Constraints:       9185
1513.52/1517.92	c #Conflicts:      46000 | #Constraints:      10185
1513.52/1517.92	c INPROCESSING
1513.52/1517.92	c GARBAGE COLLECT
1513.52/1517.92	c #Conflicts:      47000 | #Constraints:       6750
1513.52/1517.92	c #Conflicts:      48000 | #Constraints:       7750
1513.52/1517.92	c #Conflicts:      49000 | #Constraints:       8750
1513.52/1517.92	c #Conflicts:      50000 | #Constraints:       9750
1513.52/1517.92	c #Conflicts:      51000 | #Constraints:      10750
1513.52/1517.92	c INPROCESSING
1513.52/1517.92	c GARBAGE COLLECT
1513.52/1517.92	c #Conflicts:      52000 | #Constraints:       7141
1513.52/1517.92	c #Conflicts:      53000 | #Constraints:       8141
1513.52/1517.92	c #Conflicts:      54000 | #Constraints:       9141
1513.52/1517.92	c #Conflicts:      55000 | #Constraints:      10141
1513.52/1517.92	c #Conflicts:      56000 | #Constraints:      11141
1513.52/1517.92	c INPROCESSING
1513.52/1517.92	c GARBAGE COLLECT
1513.52/1517.92	c #Conflicts:      57000 | #Constraints:       7320
1513.52/1517.92	c #Conflicts:      58000 | #Constraints:       8320
1513.52/1517.92	c #Conflicts:      59000 | #Constraints:       9320
1513.52/1517.92	c #Conflicts:      60000 | #Constraints:      10320
1513.52/1517.92	c #Conflicts:      61000 | #Constraints:      11320
1513.52/1517.92	c INPROCESSING
1513.52/1517.92	c GARBAGE COLLECT
1513.52/1517.92	c #Conflicts:      62000 | #Constraints:       7320
1513.52/1517.92	c #Conflicts:      63000 | #Constraints:       8320
1513.52/1517.92	c #Conflicts:      64000 | #Constraints:       9320
1513.52/1517.92	c #Conflicts:      65000 | #Constraints:      10320
1513.52/1517.92	c #Conflicts:      66000 | #Constraints:      11320
1513.52/1517.92	c INPROCESSING
1513.52/1517.92	c GARBAGE COLLECT
1513.52/1517.92	c #Conflicts:      67000 | #Constraints:       7117
1513.52/1517.92	c #Conflicts:      68000 | #Constraints:       8117
1513.52/1517.92	c #Conflicts:      69000 | #Constraints:       9117
1513.52/1517.92	c #Conflicts:      70000 | #Constraints:      10117
1513.52/1517.92	c #Conflicts:      71000 | #Constraints:      11117
1513.52/1517.92	c #Conflicts:      72000 | #Constraints:      12117
1513.52/1517.92	c INPROCESSING
1513.52/1517.92	c GARBAGE COLLECT
1513.52/1517.92	c #Conflicts:      73000 | #Constraints:       7708
1513.52/1517.92	c #Conflicts:      74000 | #Constraints:       8708
1513.52/1517.92	c #Conflicts:      75000 | #Constraints:       9708
1513.52/1517.92	c #Conflicts:      76000 | #Constraints:      10708
1513.52/1517.92	c #Conflicts:      77000 | #Constraints:      11708
1513.52/1517.92	c #Conflicts:      78000 | #Constraints:      12708
2750.06/2758.23	c INPROCESSING
2750.06/2758.23	c GARBAGE COLLECT
2750.06/2758.23	c #Conflicts:      79000 | #Constraints:       8104
2750.06/2758.23	c #Conflicts:      80000 | #Constraints:       9104
2750.06/2758.23	c #Conflicts:      81000 | #Constraints:      10104
2750.06/2758.23	c #Conflicts:      82000 | #Constraints:      11104
2750.06/2758.23	c #Conflicts:      83000 | #Constraints:      12104
2750.06/2758.23	c #Conflicts:      84000 | #Constraints:      13104
2750.06/2758.23	c INPROCESSING
2750.06/2758.23	c GARBAGE COLLECT
2750.06/2758.23	c #Conflicts:      85000 | #Constraints:       8314
2750.06/2758.23	c #Conflicts:      86000 | #Constraints:       9314
2750.06/2758.23	c #Conflicts:      87000 | #Constraints:      10314
2750.06/2758.23	c #Conflicts:      88000 | #Constraints:      11314
2750.06/2758.23	c #Conflicts:      89000 | #Constraints:      12314
2750.06/2758.23	c #Conflicts:      90000 | #Constraints:      13314
2750.06/2758.23	c INPROCESSING
2750.06/2758.23	c GARBAGE COLLECT
2750.06/2758.23	c #Conflicts:      91000 | #Constraints:       8318
2750.06/2758.23	c #Conflicts:      92000 | #Constraints:       9318
2750.06/2758.23	c #Conflicts:      93000 | #Constraints:      10318
2750.06/2758.23	c #Conflicts:      94000 | #Constraints:      11318
2750.06/2758.23	c #Conflicts:      95000 | #Constraints:      12318
2750.06/2758.23	c #Conflicts:      96000 | #Constraints:      13318
2750.06/2758.23	c INPROCESSING
2750.06/2758.23	c GARBAGE COLLECT
2750.06/2758.23	c #Conflicts:      97000 | #Constraints:       8130
2750.06/2758.23	c #Conflicts:      98000 | #Constraints:       9130
2750.06/2758.23	c #Conflicts:      99000 | #Constraints:      10130
2750.06/2758.23	c #Conflicts:     100000 | #Constraints:      11130
2750.06/2758.23	c #Conflicts:     101000 | #Constraints:      12130
2750.06/2758.23	c #Conflicts:     102000 | #Constraints:      13130
2750.06/2758.23	c #Conflicts:     103000 | #Constraints:      14130
2750.06/2758.23	c INPROCESSING
2750.06/2758.23	c GARBAGE COLLECT
2750.06/2758.23	c #Conflicts:     104000 | #Constraints:       8739
2750.06/2758.23	c #Conflicts:     105000 | #Constraints:       9739
2750.06/2758.23	c #Conflicts:     106000 | #Constraints:      10739
2750.06/2758.23	c #Conflicts:     107000 | #Constraints:      11739
2750.06/2758.23	c #Conflicts:     108000 | #Constraints:      12739
2750.06/2758.23	c #Conflicts:     109000 | #Constraints:      13739
2750.06/2758.23	c #Conflicts:     110000 | #Constraints:      14739
2750.06/2758.23	c INPROCESSING
2750.06/2758.23	c GARBAGE COLLECT
2750.06/2758.23	c #Conflicts:     111000 | #Constraints:       9151
2750.06/2758.23	c #Conflicts:     112000 | #Constraints:      10151
2750.06/2758.23	c #Conflicts:     113000 | #Constraints:      11151
2750.06/2758.23	c #Conflicts:     114000 | #Constraints:      12151
2750.06/2758.23	c #Conflicts:     115000 | #Constraints:      13151
2750.06/2758.23	c #Conflicts:     116000 | #Constraints:      14151
2750.06/2758.23	c #Conflicts:     117000 | #Constraints:      15151
2750.06/2758.23	c INPROCESSING
2750.06/2758.23	c GARBAGE COLLECT
2750.06/2758.23	c #Conflicts:     118000 | #Constraints:       9334
2750.06/2758.23	c #Conflicts:     119000 | #Constraints:      10334
2750.06/2758.23	c #Conflicts:     120000 | #Constraints:      11334
2750.06/2758.23	c #Conflicts:     121000 | #Constraints:      12334
2750.06/2758.23	c #Conflicts:     122000 | #Constraints:      13334
2750.06/2758.23	c #Conflicts:     123000 | #Constraints:      14334
2750.06/2758.23	c #Conflicts:     124000 | #Constraints:      15334
2750.06/2758.23	c INPROCESSING
2750.06/2758.23	c GARBAGE COLLECT
2750.06/2758.23	c #Conflicts:     125000 | #Constraints:       9334
2750.06/2758.23	c #Conflicts:     126000 | #Constraints:      10334
2750.06/2758.23	c #Conflicts:     127000 | #Constraints:      11334
2750.06/2758.23	c #Conflicts:     128000 | #Constraints:      12334
2750.06/2758.23	c #Conflicts:     129000 | #Constraints:      13334
2750.06/2758.23	c #Conflicts:     130000 | #Constraints:      14334
2750.06/2758.23	c #Conflicts:     131000 | #Constraints:      15334
2750.06/2758.23	c INPROCESSING
2750.06/2758.23	c GARBAGE COLLECT
2750.06/2758.23	c #Conflicts:     132000 | #Constraints:       9114
2750.06/2758.24	c #Conflicts:     133000 | #Constraints:      10114
2750.06/2758.24	c #Conflicts:     134000 | #Constraints:      11114
2750.06/2758.24	c #Conflicts:     135000 | #Constraints:      12114
2750.06/2758.24	c #Conflicts:     136000 | #Constraints:      13114
2750.06/2758.24	c #Conflicts:     137000 | #Constraints:      14114
2750.06/2758.24	c #Conflicts:     138000 | #Constraints:      15114
2750.06/2758.24	c #Conflicts:     139000 | #Constraints:      16114
2750.06/2758.24	c INPROCESSING
2750.06/2758.24	c GARBAGE COLLECT
2750.06/2758.24	c #Conflicts:     140000 | #Constraints:       9714
2750.06/2758.24	c #Conflicts:     141000 | #Constraints:      10714
2750.06/2758.24	c #Conflicts:     142000 | #Constraints:      11714
2750.06/2758.24	c #Conflicts:     143000 | #Constraints:      12714
2750.06/2758.24	c #Conflicts:     144000 | #Constraints:      13714
2750.06/2758.24	c #Conflicts:     145000 | #Constraints:      14714
2750.06/2758.24	c #Conflicts:     146000 | #Constraints:      15714
2750.06/2758.24	c #Conflicts:     147000 | #Constraints:      16714
2750.06/2758.24	c INPROCESSING
2750.06/2758.24	c GARBAGE COLLECT
2750.06/2758.24	c #Conflicts:     148000 | #Constraints:      10121
2750.06/2758.24	c #Conflicts:     149000 | #Constraints:      11121
2750.06/2758.24	c #Conflicts:     150000 | #Constraints:      12121
3600.00/3610.70	c #Conflicts:     151000 | #Constraints:      13121
3600.00/3610.70	c #Conflicts:     152000 | #Constraints:      14121
3600.00/3610.70	c #Conflicts:     153000 | #Constraints:      15121
3600.00/3610.70	c #Conflicts:     154000 | #Constraints:      16121
3600.00/3610.70	c #Conflicts:     155000 | #Constraints:      17121
3600.00/3610.70	c INPROCESSING
3600.00/3610.70	c GARBAGE COLLECT
3600.00/3610.70	c #Conflicts:     156000 | #Constraints:      10312
3600.00/3610.70	c #Conflicts:     157000 | #Constraints:      11312
3600.00/3610.70	c #Conflicts:     158000 | #Constraints:      12312
3600.00/3610.70	c #Conflicts:     159000 | #Constraints:      13312
3600.00/3610.70	c #Conflicts:     160000 | #Constraints:      14312
3600.00/3610.70	c #Conflicts:     161000 | #Constraints:      15312
3600.00/3610.70	c #Conflicts:     162000 | #Constraints:      16312
3600.00/3610.70	c #Conflicts:     163000 | #Constraints:      17312
3600.00/3610.70	c INPROCESSING
3600.00/3610.70	c GARBAGE COLLECT
3600.00/3610.70	c #Conflicts:     164000 | #Constraints:      10301
3600.00/3610.70	c #Conflicts:     165000 | #Constraints:      11301
3600.00/3610.70	c #Conflicts:     166000 | #Constraints:      12301
3600.00/3610.70	c #Conflicts:     167000 | #Constraints:      13301
3600.00/3610.70	c #Conflicts:     168000 | #Constraints:      14301
3600.00/3610.70	c #Conflicts:     169000 | #Constraints:      15301
3600.00/3610.70	c #Conflicts:     170000 | #Constraints:      16301
3600.00/3610.70	c #Conflicts:     171000 | #Constraints:      17301
3600.00/3610.70	c INPROCESSING
3600.00/3610.70	c GARBAGE COLLECT
3600.00/3610.70	c #Conflicts:     172000 | #Constraints:      10100
3600.00/3610.70	c #Conflicts:     173000 | #Constraints:      11100
3600.00/3610.70	c #Conflicts:     174000 | #Constraints:      12100
3600.00/3610.70	c #Conflicts:     175000 | #Constraints:      13100
3600.00/3610.70	c #Conflicts:     176000 | #Constraints:      14100
3600.00/3610.70	c #Conflicts:     177000 | #Constraints:      15100
3600.00/3610.70	c #Conflicts:     178000 | #Constraints:      16100
3600.00/3610.70	c #Conflicts:     179000 | #Constraints:      17100
3600.00/3610.70	c #Conflicts:     180000 | #Constraints:      18100
3600.00/3610.70	c INPROCESSING
3600.00/3610.70	c GARBAGE COLLECT
3600.00/3610.70	c #Conflicts:     181000 | #Constraints:      10699
3600.00/3610.70	c #Conflicts:     182000 | #Constraints:      11699
3600.00/3610.70	c #Conflicts:     183000 | #Constraints:      12699
3600.00/3610.70	c #Conflicts:     184000 | #Constraints:      13699
3600.00/3610.70	c #Conflicts:     185000 | #Constraints:      14699
3600.00/3610.70	c #Conflicts:     186000 | #Constraints:      15699
3600.00/3610.70	c #Conflicts:     187000 | #Constraints:      16699
3600.00/3610.70	c #Conflicts:     188000 | #Constraints:      17699
3600.00/3610.70	c #Conflicts:     189000 | #Constraints:      18699
3600.00/3610.70	c INPROCESSING
3600.00/3610.70	c GARBAGE COLLECT
3600.00/3610.70	c #Conflicts:     190000 | #Constraints:      11102
3600.00/3610.70	c #Conflicts:     191000 | #Constraints:      12102
3600.00/3610.70	c #Conflicts:     192000 | #Constraints:      13102
3600.00/3610.70	c #Conflicts:     193000 | #Constraints:      14102
3600.00/3610.70	c #Conflicts:     194000 | #Constraints:      15102
3600.00/3610.70	c #Conflicts:     195000 | #Constraints:      16102
3600.00/3610.70	c #Conflicts:     196000 | #Constraints:      17102
3600.00/3610.70	c #Conflicts:     197000 | #Constraints:      18102
3600.00/3610.70	c Program interrupted by user.
3600.00/3610.70	c cpu time 3556.98 s
3600.00/3610.70	c deterministic time 376073382781 3.76e+11
3600.00/3610.70	c optimization time 163.215 s
3600.00/3610.70	c total solve time 3094.33 s
3600.00/3610.70	c core-guided solve time 3094.33 s
3600.00/3610.70	c propagation time 1969.68 s
3600.00/3610.70	c conflict analysis time 903.599 s
3600.00/3610.70	c propagations 394757359
3600.00/3610.70	c resolve steps 474917
3600.00/3610.70	c decisions 49569114
3600.00/3610.70	c conflicts 197474
3600.00/3610.70	c restarts 509
3600.00/3610.70	c inprocessing phases 35
3600.00/3610.70	c input clauses 1469
3600.00/3610.70	c input cardinalities 130
3600.00/3610.70	c input general constraints 0
3600.00/3610.70	c input average constraint length 2128.40
3600.00/3610.70	c input average constraint degree 21.84
3600.00/3610.70	c learned clauses 6729
3600.00/3610.70	c learned cardinalities 1554
3600.00/3610.70	c learned general constraints 189190
3600.00/3610.70	c learned average constraint length 20909.91
3600.00/3610.70	c learned average constraint degree 9395949.12
3600.00/3610.70	c watched constraints 724
3600.00/3610.70	c counting constraints 188466
3600.00/3610.70	c gcd simplifications 216
3600.00/3610.70	c detected cardinalities 0
3600.00/3610.70	c weakened non-implied lits 313838939
3600.00/3610.70	c weakened non-implying lits 2557
3600.00/3610.70	c original variables 25200
3600.00/3610.70	c clausal propagations 2403032
3600.00/3610.70	c cardinality propagations 37179
3600.00/3610.70	c watched propagations 42280
3600.00/3610.70	c counting propagations 385735330
3600.00/3610.70	c watch lookups 11518329017
3600.00/3610.70	c watch backjump lookups 11499120566
3600.00/3610.70	c watch checks 506196144
3600.00/3610.70	c propagation checks 344378639881
3600.00/3610.70	c constraint additions 7282269839
3600.00/3610.70	c trail pops 444500860
3600.00/3610.70	c formula constraints 1468
3600.00/3610.70	c learned constraints 197473
3600.00/3610.70	c bound constraints 131
3600.00/3610.70	c core-guided constraints 0
3600.00/3610.70	c encountered formula constraints 350255
3600.00/3610.70	c encountered learned constraints 322133
3600.00/3610.70	c encountered bound constraints 3
3600.00/3610.70	c encountered core-guided constraints 0
3600.00/3610.70	c LP total time 0 s
3600.00/3610.70	c LP solve time 0 s
3600.00/3610.70	c LP constraints added 0
3600.00/3610.70	c LP constraints removed 0
3600.00/3610.70	c LP pivots internal 0
3600.00/3610.70	c LP pivots root 0
3600.00/3610.70	c LP calls 0
3600.00/3610.70	c LP optimalities 0
3600.00/3610.70	c LP no pivot count 0
3600.00/3610.70	c LP infeasibilities 0
3600.00/3610.70	c LP valid Farkas constraints 0
3600.00/3610.70	c LP learned Farkas constraints 0
3600.00/3610.70	c LP basis resets 0
3600.00/3610.70	c LP cycling count 0
3600.00/3610.70	c LP singular count 0
3600.00/3610.70	c LP no primal count 0
3600.00/3610.70	c LP no farkas count 0
3600.00/3610.70	c LP other issue count 0
3600.00/3610.70	c LP Gomory cuts 0
3600.00/3610.70	c LP learned cuts 0
3600.00/3610.70	c LP deleted cuts 0
3600.00/3610.70	c LP encountered Gomory constraints 0
3600.00/3610.70	c LP encountered Farkas constraints 0
3600.00/3610.70	c LP encountered learned Farkas constraints 0
3600.00/3610.70	c CG auxiliary variables introduced 0
3600.00/3610.70	c CG solutions found 0
3600.00/3610.70	c CG cores constructed 130
3600.00/3610.70	c CG core cardinality constraints returned 0
3600.00/3610.70	c CG unit cores 0
3600.00/3610.70	c CG single cores 130
3600.00/3610.70	c CG blocks removed during cardinality reduction 0
3600.00/3610.70	c CG first core best 0
3600.00/3610.70	c CG decision core best 0
3600.00/3610.70	c CG core reduction tie 0
3600.00/3610.70	c CG core degree average 1.00
3600.00/3610.70	c CG core slack average 69.68
3600.00/3610.70	c CG exhausted 0
3600.00/3610.70	c CG exhaust time 0 s
3600.00/3610.70	c CG trimmed 0
3600.00/3610.70	c CG trim time 0.543165 s
3600.00/3610.70	c CG minimized 0
3600.00/3610.70	c CG minimize time 0 s
3600.00/3610.70	c CG am1 prop time 0.029711 s
3600.00/3610.70	c CG # am1s reformulated 0
3600.00/3610.70	c CG lower bound derived from am1s 0
3600.00/3610.70	c CG # clausal cores 130
3600.00/3610.70	c CG # cardinality cores 0
3600.00/3610.70	c CG # pb cores 0
3600.00/3610.70	c CG # pb reforms 0
3600.00/3610.70	c CG # cores discarded because of pb reform 0
3600.00/3610.70	d LOWERBOUND 130
3600.00/3610.70	d NCORES 130
3600.00/3610.70	d NPBCORES 0
3600.00/3610.70	d NPBREFORM 0
3600.00/3610.70	d NTRIMMED 0
3600.00/3610.70	d NEXHAUSTED 0
3600.00/3610.70	d NAM1S 0
3600.00/3610.70	d AM1LB 0
3600.00/3610.70	c [Papilo Statistics]
3600.00/3610.70	c prepro time 0.0458389s
3600.00/3610.70	c # tsx applied 0
3600.00/3610.70	c # tsx conflicts 0
3600.00/3610.70	c # bound changes 0
3600.00/3610.70	c # side changes 0
3600.00/3610.70	c # coef changes 0
3600.00/3610.70	c # rounds 1
3600.00/3610.70	c # deted vars 0
3600.00/3610.70	c # deted constrs 0
3600.00/3610.70	c # consecutive rounds of only bound changes 0
3600.10/3610.83	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454685-1721471324/watcher-4454685-1721471324 -o /tmp/evaluation-result-4454685-1721471324/solver-4454685-1721471324 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721467725-1064087 --watchdog 3760 mixed-bag HOME/instance-4454685-1721471324.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=1066209, runsolver pid=1066206

[startup+0.100098 s]*
/proc/loadavg: 4.16 4.12 4.06 5/247 1066210
/proc/meminfo: memFree=126620716/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=82636 memory=16128 CPUtime=0.1 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 3612 0 0 0 10 0 0 0 20 0 1 0 199288995 84619264 4032 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 20659 4032 1624 3002 0 4947 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 82636 KiB
Current children cumulated memory: 16128 KiB

[startup+0.213738 s]*
/proc/loadavg: 4.16 4.12 4.06 7/247 1066210
/proc/meminfo: memFree=126606364/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=104220 memory=27588 CPUtime=0.22 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 7441 0 0 0 20 2 0 0 20 0 1 0 199288995 106721280 6897 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 26055 6897 1730 3002 0 9804 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 104220 KiB
Current children cumulated memory: 27588 KiB

[startup+0.312881 s]*
/proc/loadavg: 4.16 4.12 4.06 6/247 1066210
/proc/meminfo: memFree=126514668/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=142528 memory=75224 CPUtime=0.31 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 18145 0 0 0 26 5 0 0 20 0 1 0 199288995 145948672 18806 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 35632 18806 3647 3002 0 19381 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 142528 KiB
Current children cumulated memory: 75224 KiB

[startup+0.700359 s]
/proc/loadavg: 4.16 4.12 4.06 5/247 1066210
/proc/meminfo: memFree=126384060/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=192588 memory=122540 CPUtime=0.69 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 30738 0 0 0 60 9 0 0 20 0 1 0 199288995 197210112 30635 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 48147 30635 3759 3002 0 31896 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 192588 KiB
Current children cumulated memory: 122540 KiB

[startup+1.50026 s]
/proc/loadavg: 4.16 4.12 4.06 4/244 1066224
/proc/meminfo: memFree=126330208/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=237488 memory=147920 CPUtime=1.48 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 36847 0 0 0 138 10 0 0 20 0 1 0 199288995 243187712 36980 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 59372 36980 3997 3002 0 43121 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 237488 KiB
Current children cumulated memory: 147920 KiB

[startup+3.11341 s]
/proc/loadavg: 4.16 4.12 4.06 4/244 1066362
/proc/meminfo: memFree=126792740/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=237488 memory=147920 CPUtime=3.09 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 36847 0 0 0 299 10 0 0 20 0 1 0 199288995 243187712 36980 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 59372 36980 3997 3002 0 43121 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 237488 KiB
Current children cumulated memory: 147920 KiB

[startup+6.30029 s]
/proc/loadavg: 4.14 4.12 4.06 5/247 1066486
/proc/meminfo: memFree=126649104/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=240908 memory=150884 CPUtime=6.27 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 37569 0 0 0 617 10 0 0 20 0 1 0 199288995 246689792 37721 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 60227 37721 4013 3002 0 43976 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 240908 KiB
Current children cumulated memory: 150884 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.12 4.05 6/247 1066533
/proc/meminfo: memFree=126709256/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=252456 memory=160976 CPUtime=12.64 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 40531 0 0 0 1254 10 0 0 20 0 1 0 199288995 258514944 40244 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 63114 40244 4029 3002 0 46863 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 252456 KiB
Current children cumulated memory: 160976 KiB

[startup+25.5003 s]
/proc/loadavg: 4.04 4.09 4.05 5/247 1066905
/proc/meminfo: memFree=126537684/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=312600 memory=217088 CPUtime=25.4 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 54544 0 0 0 2528 12 0 0 20 0 1 0 199288995 320102400 54272 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 78150 54272 4029 3002 0 61899 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 312600 KiB
Current children cumulated memory: 217088 KiB

[startup+51.113 s]
/proc/loadavg: 4.10 4.10 4.05 5/246 1066909
/proc/meminfo: memFree=126385956/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=326724 memory=233812 CPUtime=50.96 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 58294 0 0 0 5082 14 0 0 20 0 1 0 199288995 334565376 58453 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 81681 58453 4029 3002 0 65430 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 326724 KiB
Current children cumulated memory: 233812 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/248 1067022
/proc/meminfo: memFree=126209576/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=327100 memory=238248 CPUtime=102.02 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 58481 0 0 0 10188 14 0 0 20 0 1 0 199288995 334950400 59562 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 81775 59562 4029 3002 0 65524 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 327100 KiB
Current children cumulated memory: 238248 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.05 5/248 1067077
/proc/meminfo: memFree=125820068/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=313692 memory=240108 CPUtime=161.86 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 61739 0 0 0 16171 15 0 0 20 0 1 0 199288995 321220608 60027 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 78423 60027 4038 3002 0 62172 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 313692 KiB
Current children cumulated memory: 240108 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.10 4.06 5/248 1067134
/proc/meminfo: memFree=126179116/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=313692 memory=241756 CPUtime=221.71 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 61828 0 0 0 22156 15 0 0 20 0 1 0 199288995 321220608 60439 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 78423 60439 4038 3002 0 62172 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 313692 KiB
Current children cumulated memory: 241756 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.06 5/248 1067189
/proc/meminfo: memFree=126110072/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=313692 memory=241756 CPUtime=281.56 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 61923 0 0 0 28140 16 0 0 20 0 1 0 199288995 321220608 60439 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 78423 60439 4038 3002 0 62172 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 313692 KiB
Current children cumulated memory: 241756 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.06 5/246 1067660
/proc/meminfo: memFree=125255972/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=1370412 memory=1183760 CPUtime=341.43 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 190225 0 0 0 33938 205 0 0 20 0 1 0 199288995 1403301888 295940 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 342603 295940 4182 3002 0 326352 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 1370412 KiB
Current children cumulated memory: 1183760 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.12 4.07 5/242 1067854
/proc/meminfo: memFree=123055076/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=2281368 memory=1820452 CPUtime=401.26 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 293772 0 0 0 39765 361 0 0 20 0 1 0 199288995 2336120832 455113 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 570342 455113 4182 3002 0 554091 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 2281368 KiB
Current children cumulated memory: 1820452 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.07 5/242 1067865
/proc/meminfo: memFree=122651044/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=2446084 memory=2177936 CPUtime=461.07 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 339672 0 0 0 45631 476 0 0 20 0 1 0 199288995 2504790016 544484 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 611521 544484 4182 3002 0 595270 0

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

/proc/1066209/statm: 1926443 1539519 4182 3002 0 1910192 0
Current children cumulated CPU time: 2913.61 s
Current children cumulated vsize: 7705772 KiB
Current children cumulated memory: 6158076 KiB

[startup+2982.3 s]
/proc/loadavg: 4.23 4.23 4.25 5/242 1068934
/proc/meminfo: memFree=120057444/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=7706600 memory=6159044 CPUtime=2973.43 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 960667 0 0 0 293774 3569 0 0 20 0 1 0 199288995 7891558400 1539761 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 1926650 1539761 4182 3002 0 1910399 0
Current children cumulated CPU time: 2973.43 s
Current children cumulated vsize: 7706600 KiB
Current children cumulated memory: 6159044 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.20 4.23 5/242 1068945
/proc/meminfo: memFree=119910528/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=7709424 memory=6254960 CPUtime=3033.24 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 973171 0 0 0 299712 3612 0 0 20 0 1 0 199288995 7894450176 1563740 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 1927356 1563740 4182 3002 0 1911105 0
Current children cumulated CPU time: 3033.24 s
Current children cumulated vsize: 7709424 KiB
Current children cumulated memory: 6254960 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.17 4.22 5/246 1068961
/proc/meminfo: memFree=119895792/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=7709424 memory=6254960 CPUtime=3093.05 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 974088 0 0 0 305567 3738 0 0 20 0 1 0 199288995 7894450176 1563740 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 1927356 1563740 4182 3002 0 1911105 0
Current children cumulated CPU time: 3093.05 s
Current children cumulated vsize: 7709424 KiB
Current children cumulated memory: 6254960 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.18 4.22 6/246 1068971
/proc/meminfo: memFree=119883744/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=7709740 memory=6255640 CPUtime=3152.86 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 976809 0 0 0 311465 3821 0 0 20 0 1 0 199288995 7894773760 1563910 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 1927435 1563910 4182 3002 0 1911184 0
Current children cumulated CPU time: 3152.86 s
Current children cumulated vsize: 7709740 KiB
Current children cumulated memory: 6255640 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.16 4.21 5/246 1068982
/proc/meminfo: memFree=119870768/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=7709740 memory=6255640 CPUtime=3212.68 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 977599 0 0 0 317353 3915 0 0 20 0 1 0 199288995 7894773760 1563910 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 1927435 1563910 4182 3002 0 1911184 0
Current children cumulated CPU time: 3212.68 s
Current children cumulated vsize: 7709740 KiB
Current children cumulated memory: 6255640 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.16 4.20 5/246 1068992
/proc/meminfo: memFree=119850068/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=7711984 memory=6275820 CPUtime=3272.5 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 984768 0 0 0 323223 4027 0 0 20 0 1 0 199288995 7897071616 1568955 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 1927996 1568955 4182 3002 0 1911745 0
Current children cumulated CPU time: 3272.5 s
Current children cumulated vsize: 7711984 KiB
Current children cumulated memory: 6275820 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.15 4.19 5/246 1069002
/proc/meminfo: memFree=119846944/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=7711984 memory=6275876 CPUtime=3332.34 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 986276 0 0 0 329147 4087 0 0 20 0 1 0 199288995 7897071616 1568969 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 1927996 1568969 4182 3002 0 1911745 0
Current children cumulated CPU time: 3332.34 s
Current children cumulated vsize: 7711984 KiB
Current children cumulated memory: 6275876 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.19 5/247 1069396
/proc/meminfo: memFree=119846108/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=7711984 memory=6275912 CPUtime=3392.17 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 987922 0 0 0 335093 4124 0 0 20 0 1 0 199288995 7897071616 1568978 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 1927996 1568978 4182 3002 0 1911745 0
Current children cumulated CPU time: 3392.17 s
Current children cumulated vsize: 7711984 KiB
Current children cumulated memory: 6275912 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.15 4.18 5/243 1069407
/proc/meminfo: memFree=119335652/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=8379992 memory=6785040 CPUtime=3452 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 1088979 0 0 0 341009 4191 0 0 20 0 1 0 199288995 8581111808 1696260 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 2094998 1696260 4182 3002 0 2078747 0
Current children cumulated CPU time: 3452 s
Current children cumulated vsize: 8379992 KiB
Current children cumulated memory: 6785040 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.18 5/243 1069417
/proc/meminfo: memFree=119332864/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=8379992 memory=6785164 CPUtime=3511.85 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 1090133 0 0 0 346949 4236 0 0 20 0 1 0 199288995 8581111808 1696291 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 2094998 1696291 4182 3002 0 2078747 0
Current children cumulated CPU time: 3511.85 s
Current children cumulated vsize: 8379992 KiB
Current children cumulated memory: 6785164 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.18 5/245 1069597
/proc/meminfo: memFree=119324776/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=8379992 memory=6785176 CPUtime=3571.68 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 1092745 0 0 0 352882 4286 0 0 20 0 1 0 199288995 8581111808 1696294 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 2094998 1696294 4182 3002 0 2078747 0
Current children cumulated CPU time: 3571.68 s
Current children cumulated vsize: 8379992 KiB
Current children cumulated memory: 6785176 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.09 4.12 4.17 5/245 1069602
/proc/meminfo: memFree=119324760/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=8379992 memory=6785256 CPUtime=3600 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 1093540 0 0 0 355698 4302 0 0 20 0 1 0 199288995 8581111808 1696314 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 2094998 1696314 4182 3002 0 2078747 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 8379992 KiB
Current children cumulated memory: 6785256 KiB

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

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

# cumulated CPU time of all completed processes:  user=3557 s, system=43.2303 s

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

[startup+3610.8 s]
/proc/loadavg: 4.09 4.12 4.17 5/245 1069602
/proc/meminfo: memFree=119324760/131655788 swapFree=131071996/131071996
[pid=1066209] ppid=1066206 vsize=6225208 memory=4872556 CPUtime=3600.1 cores=1,3
/proc/1066209/stat : 1066209 (mixed-bag) R 1066206 1066209 1064075 0 -1 4194304 1093600 0 0 0 355699 4311 0 0 20 0 1 0 199288995 6374612992 1218139 134679101440 4194304 16488053 140720781606400 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 28606464 140720781607957 140720781608034 140720781608034 140720781615051 0
/proc/1066209/statm: 1556302 1218139 4285 3002 0 1540051 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 6225208 KiB
Current children cumulated memory: 4872556 KiB

[startup+3610.9 s]*
/proc/loadavg: 4.09 4.12 4.17 5/245 1069602
/proc/meminfo: memFree=124934120/131655788 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): 3610.92
CPU time (s): 3600.23
CPU user time (s): 3557
CPU system time (s): 43.2303
CPU usage (%): 99.704
Max. virtual memory (cumulated for all children) (KiB): 8379992
Max. memory (cumulated for all children) (KiB): 6785256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3557
system time used= 43.2303
maximum resident set size= 6785676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1093611
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= 123
involuntary context switches= 2601


# summary of solver processes directly reported to runsolver:
#   pid: 1066209
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3557
#   total CPU system time (s): 43.2303

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.035 second user time and 35.8935 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-20 12:28:56
IDJOB=4454685
IDBENCH=147648
IDSOLVER=3083
FILE ID=nodeC007/4454685-1721471324
RUNJOBID= nodeC007-1721467725-1064087
SLURM_JOB_ID= 7545722
Free space on /tmp= 723728 MiB

SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-ex1010.pi.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454685-1721471324/watcher-4454685-1721471324 -o /tmp/evaluation-result-4454685-1721471324/solver-4454685-1721471324 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721467725-1064087 --watchdog 3760  mixed-bag HOME/instance-4454685-1721471324.opb

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

MD5SUM BENCH= 5479bdae519af5132f8a4c9f9917dcdc
RANDOM SEED=1903244474

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126641800 kB
MemAvailable:   129322340 kB
Buffers:          556748 kB
Cached:          2963812 kB
SwapCached:            0 kB
Active:          1154064 kB
Inactive:        3292384 kB
Active(anon):       1460 kB
Inactive(anon):   970320 kB
Active(file):    1152604 kB
Inactive(file):  2322064 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             54380 kB
Writeback:             4 kB
AnonPages:        925008 kB
Mapped:           131416 kB
Shmem:             45896 kB
KReclaimable:      91804 kB
Slab:             194744 kB
SReclaimable:      91804 kB
SUnreclaim:       102940 kB
KernelStack:        3876 kB
PageTables:        11216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1415992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62112 kB
HardwareCorrupted:     0 kB
AnonHugePages:    516096 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:      279368 kB
DirectMap2M:    27936768 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723712 MiB
End job on nodeC007 at 2024-07-20 13:29:07