Trace number 4489129

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
mixed-bag-2024 2025-05-06? (TO) 3600.08 3609.61

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
MD5SUM1da12ebdd4ab5e725928f3bf845b8b1e
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 benchmark186
Best CPU time to get the best result obtained on this benchmark3585.57
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables479
Total number of constraints479
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints479
Minimum length of a constraint4
Maximum length of a constraint17
Number of terms in the objective function 479
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 479
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 479
Number of bits of the biggest sum of numbers9
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.15	c RoundingSat 2
0.00/0.15	c branch 
0.00/0.15	c commit 
0.00/0.15	c with Papilo
0.00/0.15	c with SCIP
0.00/0.15	c [STEP] parsing instance
0.00/0.16	c [STEP] preprocessing with Papilo
0.00/0.19	c [STEP] solving with SCIP
299.38/300.49	c [STEP] preprocessing done, loading into solver
299.38/300.49	c [STEP] solving
299.38/300.49	c #variables 480 #constraints 479
299.38/300.49	c SMALL=int, LARGE=long long
299.38/300.49	d SCIPUB 195
299.38/300.49	c bounds - >= 0 @ 299.281
299.38/300.49	c stratification level: 0
320.23/321.31	c bounds - >= 57 @ 299.282
320.23/321.31	c bounds - >= 58 @ 299.282
320.23/321.31	c bounds - >= 59 @ 299.282
320.23/321.31	c bounds - >= 60 @ 299.282
320.23/321.31	c bounds - >= 61 @ 299.282
320.23/321.31	c bounds - >= 62 @ 299.282
320.23/321.31	c bounds - >= 63 @ 299.282
320.23/321.31	c bounds - >= 64 @ 299.282
320.23/321.31	c bounds - >= 65 @ 299.282
320.23/321.31	c bounds - >= 66 @ 299.282
320.23/321.31	c bounds - >= 67 @ 299.282
320.23/321.31	c bounds - >= 68 @ 299.282
320.23/321.31	c bounds - >= 69 @ 299.282
320.23/321.31	c bounds - >= 70 @ 299.282
320.23/321.31	c bounds - >= 71 @ 299.282
320.23/321.31	c bounds - >= 72 @ 299.282
320.23/321.31	c bounds - >= 73 @ 299.282
320.23/321.31	c bounds - >= 74 @ 299.282
320.23/321.31	c bounds - >= 75 @ 299.282
320.23/321.31	c bounds - >= 76 @ 299.282
320.23/321.31	c bounds - >= 77 @ 299.282
320.23/321.31	c bounds - >= 78 @ 299.282
320.23/321.31	c bounds - >= 79 @ 299.282
320.23/321.31	c bounds - >= 80 @ 299.282
320.23/321.31	c bounds - >= 81 @ 299.283
320.23/321.31	c bounds - >= 82 @ 299.283
320.23/321.31	c bounds - >= 83 @ 299.283
320.23/321.31	c bounds - >= 84 @ 299.283
320.23/321.31	c bounds - >= 85 @ 299.283
320.23/321.31	c bounds - >= 86 @ 299.283
320.23/321.31	c bounds - >= 87 @ 299.283
320.23/321.31	c bounds - >= 88 @ 299.283
320.23/321.31	c bounds - >= 89 @ 299.283
320.23/321.31	c bounds - >= 90 @ 299.283
320.23/321.31	c bounds - >= 91 @ 299.283
320.23/321.31	c bounds - >= 92 @ 299.283
320.23/321.31	c bounds - >= 93 @ 299.283
320.23/321.31	c bounds - >= 94 @ 299.283
320.23/321.31	c bounds - >= 95 @ 299.283
320.23/321.31	c bounds - >= 96 @ 299.283
320.23/321.31	c bounds - >= 97 @ 299.283
320.23/321.31	c bounds - >= 98 @ 299.283
320.23/321.31	c bounds - >= 99 @ 299.283
320.23/321.31	c bounds - >= 100 @ 299.283
320.23/321.31	c bounds - >= 101 @ 299.283
320.23/321.31	c bounds - >= 102 @ 299.283
320.23/321.31	c bounds - >= 103 @ 299.283
320.23/321.31	c bounds - >= 104 @ 299.283
320.23/321.31	c bounds - >= 105 @ 299.283
320.23/321.31	c bounds - >= 106 @ 299.283
320.23/321.31	c bounds - >= 107 @ 299.283
320.23/321.31	c bounds - >= 108 @ 299.283
320.23/321.31	c bounds - >= 109 @ 299.283
320.23/321.31	c bounds - >= 110 @ 299.283
320.23/321.31	c bounds - >= 111 @ 299.283
320.23/321.31	c bounds - >= 112 @ 299.284
320.23/321.31	c bounds - >= 113 @ 299.284
320.23/321.31	c bounds - >= 114 @ 299.284
320.23/321.31	c bounds - >= 115 @ 299.284
320.23/321.31	c bounds - >= 116 @ 299.285
320.23/321.31	c bounds - >= 117 @ 299.285
320.23/321.31	c bounds - >= 118 @ 299.285
320.23/321.31	c bounds - >= 119 @ 299.285
320.23/321.31	c bounds - >= 120 @ 299.285
320.23/321.31	c bounds - >= 121 @ 299.285
320.23/321.31	c bounds - >= 122 @ 299.285
320.23/321.31	c bounds - >= 123 @ 299.285
320.23/321.31	c bounds - >= 124 @ 299.285
320.23/321.31	c bounds - >= 125 @ 299.285
320.23/321.31	c bounds - >= 126 @ 299.285
320.23/321.31	c bounds - >= 127 @ 299.285
320.23/321.31	c bounds - >= 128 @ 299.285
320.23/321.31	c bounds - >= 129 @ 299.285
320.23/321.31	c bounds - >= 130 @ 299.286
320.23/321.31	c bounds - >= 131 @ 299.286
320.23/321.31	c bounds - >= 132 @ 299.286
320.23/321.31	c bounds - >= 133 @ 299.286
320.23/321.31	c bounds - >= 134 @ 299.286
320.23/321.31	c #Conflicts:       1000 | #Constraints:       1621
320.23/321.31	c #Conflicts:       2000 | #Constraints:       2621
320.23/321.31	c INPROCESSING
320.23/321.31	c GARBAGE COLLECT
320.23/321.31	c #Conflicts:       3000 | #Constraints:       2549
320.23/321.31	c #Conflicts:       4000 | #Constraints:       3549
320.23/321.31	c INPROCESSING
320.23/321.31	c GARBAGE COLLECT
320.23/321.31	c #Conflicts:       5000 | #Constraints:       2947
320.23/321.31	c #Conflicts:       6000 | #Constraints:       3947
320.23/321.31	c INPROCESSING
320.23/321.31	c GARBAGE COLLECT
320.23/321.31	c #Conflicts:       7000 | #Constraints:       2951
320.23/321.31	c #Conflicts:       8000 | #Constraints:       3951
320.23/321.31	c #Conflicts:       9000 | #Constraints:       4951
320.23/321.31	c INPROCESSING
320.23/321.31	c GARBAGE COLLECT
320.23/321.31	c #Conflicts:      10000 | #Constraints:       3652
320.23/321.31	c #Conflicts:      11000 | #Constraints:       4652
320.23/321.31	c #Conflicts:      12000 | #Constraints:       5652
320.23/321.31	c INPROCESSING
320.23/321.31	c GARBAGE COLLECT
320.23/321.31	c #Conflicts:      13000 | #Constraints:       4101
320.23/321.31	c #Conflicts:      14000 | #Constraints:       5101
320.23/321.31	c #Conflicts:      15000 | #Constraints:       6101
320.23/321.31	c INPROCESSING
320.23/321.31	c GARBAGE COLLECT
320.23/321.31	c #Conflicts:      16000 | #Constraints:       4333
320.23/321.31	c #Conflicts:      17000 | #Constraints:       5333
320.23/321.31	c #Conflicts:      18000 | #Constraints:       6333
320.23/321.31	c INPROCESSING
320.23/321.31	c GARBAGE COLLECT
320.23/321.31	c #Conflicts:      19000 | #Constraints:       4346
320.23/321.31	c #Conflicts:      20000 | #Constraints:       5346
320.23/321.31	c #Conflicts:      21000 | #Constraints:       6346
320.23/321.31	c INPROCESSING
320.23/321.31	c GARBAGE COLLECT
320.23/321.31	c #Conflicts:      22000 | #Constraints:       4148
320.23/321.31	c #Conflicts:      23000 | #Constraints:       5148
320.23/321.31	c #Conflicts:      24000 | #Constraints:       6148
320.23/321.31	c #Conflicts:      25000 | #Constraints:       7148
320.23/321.31	c INPROCESSING
320.23/321.31	c GARBAGE COLLECT
320.23/321.31	c #Conflicts:      26000 | #Constraints:       4748
320.23/321.31	c #Conflicts:      27000 | #Constraints:       5748
320.23/321.31	c #Conflicts:      28000 | #Constraints:       6748
320.23/321.31	c #Conflicts:      29000 | #Constraints:       7748
320.23/321.31	c INPROCESSING
320.23/321.31	c GARBAGE COLLECT
320.23/321.31	c #Conflicts:      30000 | #Constraints:       5146
320.23/321.31	c #Conflicts:      31000 | #Constraints:       6146
320.23/321.31	c #Conflicts:      32000 | #Constraints:       7146
511.49/513.18	c #Conflicts:      33000 | #Constraints:       8146
511.49/513.18	c INPROCESSING
511.49/513.18	c GARBAGE COLLECT
511.49/513.18	c #Conflicts:      34000 | #Constraints:       5347
511.49/513.18	c #Conflicts:      35000 | #Constraints:       6347
511.49/513.18	c #Conflicts:      36000 | #Constraints:       7347
511.49/513.18	c #Conflicts:      37000 | #Constraints:       8347
511.49/513.18	c INPROCESSING
511.49/513.18	c GARBAGE COLLECT
511.49/513.18	c #Conflicts:      38000 | #Constraints:       5352
511.49/513.18	c #Conflicts:      39000 | #Constraints:       6352
511.49/513.18	c #Conflicts:      40000 | #Constraints:       7352
511.49/513.18	c #Conflicts:      41000 | #Constraints:       8352
511.49/513.18	c INPROCESSING
511.49/513.18	c GARBAGE COLLECT
511.49/513.18	c #Conflicts:      42000 | #Constraints:       5154
511.49/513.18	c #Conflicts:      43000 | #Constraints:       6154
511.49/513.18	c #Conflicts:      44000 | #Constraints:       7154
511.49/513.18	c #Conflicts:      45000 | #Constraints:       8154
511.49/513.18	c #Conflicts:      46000 | #Constraints:       9154
511.49/513.18	c INPROCESSING
511.49/513.18	c GARBAGE COLLECT
511.49/513.18	c #Conflicts:      47000 | #Constraints:       5749
511.49/513.18	c #Conflicts:      48000 | #Constraints:       6749
511.49/513.18	c #Conflicts:      49000 | #Constraints:       7749
511.49/513.18	c #Conflicts:      50000 | #Constraints:       8749
511.49/513.18	c #Conflicts:      51000 | #Constraints:       9749
511.49/513.18	c INPROCESSING
511.49/513.18	c GARBAGE COLLECT
511.49/513.18	c #Conflicts:      52000 | #Constraints:       6146
511.49/513.18	c #Conflicts:      53000 | #Constraints:       7146
511.49/513.18	c #Conflicts:      54000 | #Constraints:       8146
511.49/513.18	c #Conflicts:      55000 | #Constraints:       9146
511.49/513.18	c #Conflicts:      56000 | #Constraints:      10146
511.49/513.18	c INPROCESSING
511.49/513.18	c GARBAGE COLLECT
511.49/513.18	c #Conflicts:      57000 | #Constraints:       6350
511.49/513.18	c #Conflicts:      58000 | #Constraints:       7350
511.49/513.18	c #Conflicts:      59000 | #Constraints:       8350
511.49/513.18	c #Conflicts:      60000 | #Constraints:       9350
511.49/513.18	c #Conflicts:      61000 | #Constraints:      10350
511.49/513.18	c INPROCESSING
511.49/513.18	c GARBAGE COLLECT
511.49/513.18	c #Conflicts:      62000 | #Constraints:       6357
511.49/513.18	c #Conflicts:      63000 | #Constraints:       7357
511.49/513.18	c #Conflicts:      64000 | #Constraints:       8357
511.49/513.18	c #Conflicts:      65000 | #Constraints:       9357
511.49/513.18	c #Conflicts:      66000 | #Constraints:      10357
511.49/513.18	c INPROCESSING
511.49/513.19	c GARBAGE COLLECT
511.49/513.19	c #Conflicts:      67000 | #Constraints:       6157
511.49/513.19	c #Conflicts:      68000 | #Constraints:       7157
511.49/513.19	c #Conflicts:      69000 | #Constraints:       8157
511.49/513.19	c #Conflicts:      70000 | #Constraints:       9157
511.49/513.19	c #Conflicts:      71000 | #Constraints:      10157
511.49/513.19	c #Conflicts:      72000 | #Constraints:      11157
511.49/513.19	c INPROCESSING
511.49/513.19	c GARBAGE COLLECT
511.49/513.19	c #Conflicts:      73000 | #Constraints:       6754
511.49/513.19	c #Conflicts:      74000 | #Constraints:       7754
511.49/513.19	c #Conflicts:      75000 | #Constraints:       8754
511.49/513.19	c #Conflicts:      76000 | #Constraints:       9754
511.49/513.19	c #Conflicts:      77000 | #Constraints:      10754
511.49/513.19	c #Conflicts:      78000 | #Constraints:      11754
511.49/513.19	c INPROCESSING
511.49/513.19	c GARBAGE COLLECT
511.49/513.19	c #Conflicts:      79000 | #Constraints:       7152
511.49/513.19	c #Conflicts:      80000 | #Constraints:       8152
511.49/513.19	c #Conflicts:      81000 | #Constraints:       9152
511.49/513.19	c #Conflicts:      82000 | #Constraints:      10152
511.49/513.19	c #Conflicts:      83000 | #Constraints:      11152
511.49/513.19	c #Conflicts:      84000 | #Constraints:      12152
511.49/513.19	c INPROCESSING
511.49/513.19	c GARBAGE COLLECT
511.49/513.19	c #Conflicts:      85000 | #Constraints:       7354
511.49/513.19	c #Conflicts:      86000 | #Constraints:       8354
511.49/513.19	c #Conflicts:      87000 | #Constraints:       9354
511.49/513.19	c #Conflicts:      88000 | #Constraints:      10354
511.49/513.19	c #Conflicts:      89000 | #Constraints:      11354
511.49/513.19	c #Conflicts:      90000 | #Constraints:      12354
511.49/513.19	c INPROCESSING
511.49/513.19	c GARBAGE COLLECT
511.49/513.19	c #Conflicts:      91000 | #Constraints:       7357
511.49/513.19	c #Conflicts:      92000 | #Constraints:       8357
511.49/513.19	c #Conflicts:      93000 | #Constraints:       9357
511.49/513.19	c #Conflicts:      94000 | #Constraints:      10357
511.49/513.19	c #Conflicts:      95000 | #Constraints:      11357
511.49/513.19	c #Conflicts:      96000 | #Constraints:      12357
511.49/513.19	c INPROCESSING
511.49/513.19	c GARBAGE COLLECT
511.49/513.19	c #Conflicts:      97000 | #Constraints:       7162
511.49/513.19	c #Conflicts:      98000 | #Constraints:       8162
511.49/513.19	c #Conflicts:      99000 | #Constraints:       9162
511.49/513.19	c #Conflicts:     100000 | #Constraints:      10162
511.49/513.19	c #Conflicts:     101000 | #Constraints:      11162
511.49/513.19	c #Conflicts:     102000 | #Constraints:      12162
1237.46/1241.07	c #Conflicts:     103000 | #Constraints:      13162
1237.46/1241.07	c INPROCESSING
1237.46/1241.07	c GARBAGE COLLECT
1237.46/1241.07	c #Conflicts:     104000 | #Constraints:       7759
1237.46/1241.07	c #Conflicts:     105000 | #Constraints:       8759
1237.46/1241.07	c #Conflicts:     106000 | #Constraints:       9759
1237.46/1241.07	c #Conflicts:     107000 | #Constraints:      10759
1237.46/1241.07	c #Conflicts:     108000 | #Constraints:      11759
1237.46/1241.07	c #Conflicts:     109000 | #Constraints:      12759
1237.46/1241.07	c #Conflicts:     110000 | #Constraints:      13759
1237.46/1241.07	c INPROCESSING
1237.46/1241.07	c GARBAGE COLLECT
1237.46/1241.07	c #Conflicts:     111000 | #Constraints:       8161
1237.46/1241.07	c #Conflicts:     112000 | #Constraints:       9161
1237.46/1241.07	c #Conflicts:     113000 | #Constraints:      10161
1237.46/1241.07	c #Conflicts:     114000 | #Constraints:      11161
1237.46/1241.07	c #Conflicts:     115000 | #Constraints:      12161
1237.46/1241.07	c #Conflicts:     116000 | #Constraints:      13161
1237.46/1241.07	c #Conflicts:     117000 | #Constraints:      14161
1237.46/1241.07	c INPROCESSING
1237.46/1241.07	c GARBAGE COLLECT
1237.46/1241.07	c #Conflicts:     118000 | #Constraints:       8359
1237.46/1241.07	c #Conflicts:     119000 | #Constraints:       9359
1237.46/1241.07	c #Conflicts:     120000 | #Constraints:      10359
1237.46/1241.07	c #Conflicts:     121000 | #Constraints:      11359
1237.46/1241.07	c #Conflicts:     122000 | #Constraints:      12359
1237.46/1241.07	c #Conflicts:     123000 | #Constraints:      13359
1237.46/1241.07	c #Conflicts:     124000 | #Constraints:      14359
1237.46/1241.07	c INPROCESSING
1237.46/1241.07	c GARBAGE COLLECT
1237.46/1241.07	c #Conflicts:     125000 | #Constraints:       8359
1237.46/1241.07	c #Conflicts:     126000 | #Constraints:       9359
1237.46/1241.07	c #Conflicts:     127000 | #Constraints:      10359
1237.46/1241.07	c #Conflicts:     128000 | #Constraints:      11359
1237.46/1241.07	c #Conflicts:     129000 | #Constraints:      12359
1237.46/1241.07	c #Conflicts:     130000 | #Constraints:      13359
1237.46/1241.07	c #Conflicts:     131000 | #Constraints:      14359
1237.46/1241.07	c INPROCESSING
1237.46/1241.07	c GARBAGE COLLECT
1237.46/1241.07	c #Conflicts:     132000 | #Constraints:       8155
1237.46/1241.07	c #Conflicts:     133000 | #Constraints:       9155
1237.46/1241.07	c #Conflicts:     134000 | #Constraints:      10155
1237.46/1241.07	c #Conflicts:     135000 | #Constraints:      11155
1237.46/1241.07	c #Conflicts:     136000 | #Constraints:      12155
1237.46/1241.07	c #Conflicts:     137000 | #Constraints:      13155
1237.46/1241.07	c #Conflicts:     138000 | #Constraints:      14155
1237.46/1241.07	c #Conflicts:     139000 | #Constraints:      15155
1237.46/1241.07	c INPROCESSING
1237.46/1241.07	c GARBAGE COLLECT
1237.46/1241.07	c #Conflicts:     140000 | #Constraints:       8756
1237.46/1241.07	c #Conflicts:     141000 | #Constraints:       9756
1237.46/1241.07	c #Conflicts:     142000 | #Constraints:      10756
1237.46/1241.07	c #Conflicts:     143000 | #Constraints:      11756
1237.46/1241.07	c #Conflicts:     144000 | #Constraints:      12756
1237.46/1241.07	c #Conflicts:     145000 | #Constraints:      13756
1237.46/1241.07	c #Conflicts:     146000 | #Constraints:      14756
1237.46/1241.07	c #Conflicts:     147000 | #Constraints:      15756
1237.46/1241.07	c INPROCESSING
1237.46/1241.07	c GARBAGE COLLECT
1237.46/1241.07	c #Conflicts:     148000 | #Constraints:       9161
1237.46/1241.07	c #Conflicts:     149000 | #Constraints:      10161
1237.46/1241.07	c #Conflicts:     150000 | #Constraints:      11161
1237.46/1241.07	c #Conflicts:     151000 | #Constraints:      12161
1237.46/1241.07	c #Conflicts:     152000 | #Constraints:      13161
1237.46/1241.07	c #Conflicts:     153000 | #Constraints:      14161
1237.46/1241.07	c #Conflicts:     154000 | #Constraints:      15161
1237.46/1241.07	c #Conflicts:     155000 | #Constraints:      16161
1237.46/1241.07	c INPROCESSING
1237.46/1241.07	c GARBAGE COLLECT
1237.46/1241.07	c #Conflicts:     156000 | #Constraints:       9357
1237.46/1241.07	c #Conflicts:     157000 | #Constraints:      10357
1237.46/1241.07	c #Conflicts:     158000 | #Constraints:      11357
1237.46/1241.07	c #Conflicts:     159000 | #Constraints:      12357
1237.46/1241.07	c #Conflicts:     160000 | #Constraints:      13357
1237.46/1241.07	c #Conflicts:     161000 | #Constraints:      14357
1237.46/1241.07	c #Conflicts:     162000 | #Constraints:      15357
1237.46/1241.07	c #Conflicts:     163000 | #Constraints:      16357
1237.46/1241.07	c INPROCESSING
1237.46/1241.07	c GARBAGE COLLECT
1237.46/1241.07	c #Conflicts:     164000 | #Constraints:       9363
1237.46/1241.07	c #Conflicts:     165000 | #Constraints:      10363
1237.46/1241.07	c #Conflicts:     166000 | #Constraints:      11363
1237.46/1241.07	c #Conflicts:     167000 | #Constraints:      12363
1237.46/1241.07	c #Conflicts:     168000 | #Constraints:      13363
1237.46/1241.07	c #Conflicts:     169000 | #Constraints:      14363
1237.46/1241.07	c #Conflicts:     170000 | #Constraints:      15363
1237.46/1241.07	c #Conflicts:     171000 | #Constraints:      16363
1237.46/1241.07	c INPROCESSING
1237.46/1241.07	c GARBAGE COLLECT
1237.46/1241.07	c #Conflicts:     172000 | #Constraints:       9163
1237.46/1241.07	c #Conflicts:     173000 | #Constraints:      10163
1237.46/1241.07	c #Conflicts:     174000 | #Constraints:      11163
1237.46/1241.07	c #Conflicts:     175000 | #Constraints:      12163
2327.94/2334.28	c #Conflicts:     176000 | #Constraints:      13163
2327.94/2334.28	c #Conflicts:     177000 | #Constraints:      14163
2327.94/2334.28	c #Conflicts:     178000 | #Constraints:      15163
2327.94/2334.28	c #Conflicts:     179000 | #Constraints:      16163
2327.94/2334.28	c #Conflicts:     180000 | #Constraints:      17163
2327.94/2334.28	c INPROCESSING
2327.94/2334.28	c GARBAGE COLLECT
2327.94/2334.28	c #Conflicts:     181000 | #Constraints:       9761
2327.94/2334.28	c #Conflicts:     182000 | #Constraints:      10761
2327.94/2334.28	c #Conflicts:     183000 | #Constraints:      11761
2327.94/2334.28	c #Conflicts:     184000 | #Constraints:      12761
2327.94/2334.28	c #Conflicts:     185000 | #Constraints:      13761
2327.94/2334.28	c #Conflicts:     186000 | #Constraints:      14761
2327.94/2334.28	c #Conflicts:     187000 | #Constraints:      15761
2327.94/2334.28	c #Conflicts:     188000 | #Constraints:      16761
2327.94/2334.28	c #Conflicts:     189000 | #Constraints:      17761
2327.94/2334.28	c INPROCESSING
2327.94/2334.28	c GARBAGE COLLECT
2327.94/2334.28	c #Conflicts:     190000 | #Constraints:      10160
2327.94/2334.28	c #Conflicts:     191000 | #Constraints:      11160
2327.94/2334.28	c #Conflicts:     192000 | #Constraints:      12160
2327.94/2334.28	c #Conflicts:     193000 | #Constraints:      13160
2327.94/2334.28	c #Conflicts:     194000 | #Constraints:      14160
2327.94/2334.28	c #Conflicts:     195000 | #Constraints:      15160
2327.94/2334.28	c #Conflicts:     196000 | #Constraints:      16160
2327.94/2334.28	c #Conflicts:     197000 | #Constraints:      17160
2327.94/2334.28	c #Conflicts:     198000 | #Constraints:      18160
2327.94/2334.28	c INPROCESSING
2327.94/2334.28	c GARBAGE COLLECT
2327.94/2334.28	c #Conflicts:     199000 | #Constraints:      10361
2327.94/2334.28	c #Conflicts:     200000 | #Constraints:      11361
2327.94/2334.28	c #Conflicts:     201000 | #Constraints:      12361
2327.94/2334.28	c #Conflicts:     202000 | #Constraints:      13361
2327.94/2334.28	c #Conflicts:     203000 | #Constraints:      14361
2327.94/2334.28	c #Conflicts:     204000 | #Constraints:      15361
2327.94/2334.28	c #Conflicts:     205000 | #Constraints:      16361
2327.94/2334.28	c #Conflicts:     206000 | #Constraints:      17361
2327.94/2334.28	c #Conflicts:     207000 | #Constraints:      18361
2327.94/2334.28	c INPROCESSING
2327.94/2334.28	c GARBAGE COLLECT
2327.94/2334.28	c #Conflicts:     208000 | #Constraints:      10361
2327.94/2334.28	c #Conflicts:     209000 | #Constraints:      11361
2327.94/2334.28	c #Conflicts:     210000 | #Constraints:      12361
2327.94/2334.28	c #Conflicts:     211000 | #Constraints:      13361
2327.94/2334.28	c #Conflicts:     212000 | #Constraints:      14361
2327.94/2334.28	c #Conflicts:     213000 | #Constraints:      15361
2327.94/2334.28	c #Conflicts:     214000 | #Constraints:      16361
2327.94/2334.28	c #Conflicts:     215000 | #Constraints:      17361
2327.94/2334.28	c #Conflicts:     216000 | #Constraints:      18361
2327.94/2334.28	c INPROCESSING
2327.94/2334.28	c GARBAGE COLLECT
2327.94/2334.28	c #Conflicts:     217000 | #Constraints:      10162
2327.94/2334.28	c #Conflicts:     218000 | #Constraints:      11162
2327.94/2334.28	c #Conflicts:     219000 | #Constraints:      12162
2327.94/2334.28	c #Conflicts:     220000 | #Constraints:      13162
2327.94/2334.28	c #Conflicts:     221000 | #Constraints:      14162
2327.94/2334.28	c #Conflicts:     222000 | #Constraints:      15162
2327.94/2334.28	c #Conflicts:     223000 | #Constraints:      16162
2327.94/2334.28	c #Conflicts:     224000 | #Constraints:      17162
2327.94/2334.28	c #Conflicts:     225000 | #Constraints:      18162
2327.94/2334.28	c #Conflicts:     226000 | #Constraints:      19162
2327.94/2334.28	c INPROCESSING
2327.94/2334.28	c GARBAGE COLLECT
2327.94/2334.28	c #Conflicts:     227000 | #Constraints:      10768
2327.94/2334.28	c #Conflicts:     228000 | #Constraints:      11768
2327.94/2334.28	c #Conflicts:     229000 | #Constraints:      12768
2327.94/2334.28	c #Conflicts:     230000 | #Constraints:      13768
2327.94/2334.28	c #Conflicts:     231000 | #Constraints:      14768
2327.94/2334.28	c #Conflicts:     232000 | #Constraints:      15768
2327.94/2334.28	c #Conflicts:     233000 | #Constraints:      16768
2327.94/2334.28	c #Conflicts:     234000 | #Constraints:      17768
2327.94/2334.28	c #Conflicts:     235000 | #Constraints:      18768
2327.94/2334.28	c #Conflicts:     236000 | #Constraints:      19768
2327.94/2334.28	c INPROCESSING
2327.94/2334.28	c GARBAGE COLLECT
2327.94/2334.28	c #Conflicts:     237000 | #Constraints:      11172
2327.94/2334.28	c #Conflicts:     238000 | #Constraints:      12172
2327.94/2334.28	c #Conflicts:     239000 | #Constraints:      13172
2327.94/2334.28	c #Conflicts:     240000 | #Constraints:      14172
2327.94/2334.28	c #Conflicts:     241000 | #Constraints:      15172
2327.94/2334.28	c #Conflicts:     242000 | #Constraints:      16172
2327.94/2334.28	c #Conflicts:     243000 | #Constraints:      17172
2327.94/2334.28	c #Conflicts:     244000 | #Constraints:      18172
2327.94/2334.28	c #Conflicts:     245000 | #Constraints:      19172
2327.94/2334.28	c #Conflicts:     246000 | #Constraints:      20172
2327.94/2334.28	c INPROCESSING
2327.94/2334.28	c GARBAGE COLLECT
2327.94/2334.28	c #Conflicts:     247000 | #Constraints:      11365
2327.94/2334.28	c #Conflicts:     248000 | #Constraints:      12365
3575.34/3584.85	c #Conflicts:     249000 | #Constraints:      13365
3575.34/3584.85	c #Conflicts:     250000 | #Constraints:      14365
3575.34/3584.85	c #Conflicts:     251000 | #Constraints:      15365
3575.34/3584.85	c #Conflicts:     252000 | #Constraints:      16365
3575.34/3584.85	c #Conflicts:     253000 | #Constraints:      17365
3575.34/3584.85	c #Conflicts:     254000 | #Constraints:      18365
3575.34/3584.85	c #Conflicts:     255000 | #Constraints:      19365
3575.34/3584.85	c #Conflicts:     256000 | #Constraints:      20365
3575.34/3584.85	c INPROCESSING
3575.34/3584.85	c GARBAGE COLLECT
3575.34/3584.85	c #Conflicts:     257000 | #Constraints:      11359
3575.34/3584.85	c #Conflicts:     258000 | #Constraints:      12359
3575.34/3584.85	c #Conflicts:     259000 | #Constraints:      13359
3575.34/3584.85	c #Conflicts:     260000 | #Constraints:      14359
3575.34/3584.85	c #Conflicts:     261000 | #Constraints:      15359
3575.34/3584.85	c #Conflicts:     262000 | #Constraints:      16359
3575.34/3584.85	c #Conflicts:     263000 | #Constraints:      17359
3575.34/3584.85	c #Conflicts:     264000 | #Constraints:      18359
3575.34/3584.85	c #Conflicts:     265000 | #Constraints:      19359
3575.34/3584.85	c #Conflicts:     266000 | #Constraints:      20359
3575.34/3584.85	c INPROCESSING
3575.34/3584.85	c GARBAGE COLLECT
3575.34/3584.85	c #Conflicts:     267000 | #Constraints:      11160
3575.34/3584.85	c #Conflicts:     268000 | #Constraints:      12160
3575.34/3584.85	c #Conflicts:     269000 | #Constraints:      13160
3575.34/3584.85	c #Conflicts:     270000 | #Constraints:      14160
3575.34/3584.85	c #Conflicts:     271000 | #Constraints:      15160
3575.34/3584.85	c #Conflicts:     272000 | #Constraints:      16160
3575.34/3584.85	c #Conflicts:     273000 | #Constraints:      17160
3575.34/3584.85	c #Conflicts:     274000 | #Constraints:      18160
3575.34/3584.85	c #Conflicts:     275000 | #Constraints:      19160
3575.34/3584.85	c #Conflicts:     276000 | #Constraints:      20160
3575.34/3584.85	c #Conflicts:     277000 | #Constraints:      21160
3575.34/3584.85	c INPROCESSING
3575.34/3584.85	c GARBAGE COLLECT
3575.34/3584.85	c #Conflicts:     278000 | #Constraints:      11762
3575.34/3584.85	c #Conflicts:     279000 | #Constraints:      12762
3575.34/3584.85	c #Conflicts:     280000 | #Constraints:      13762
3575.34/3584.85	c #Conflicts:     281000 | #Constraints:      14762
3575.34/3584.85	c #Conflicts:     282000 | #Constraints:      15762
3575.34/3584.85	c #Conflicts:     283000 | #Constraints:      16762
3575.34/3584.85	c #Conflicts:     284000 | #Constraints:      17762
3575.34/3584.85	c #Conflicts:     285000 | #Constraints:      18762
3575.34/3584.85	c #Conflicts:     286000 | #Constraints:      19762
3575.34/3584.85	c #Conflicts:     287000 | #Constraints:      20762
3575.34/3584.85	c #Conflicts:     288000 | #Constraints:      21762
3575.34/3584.85	c INPROCESSING
3575.34/3584.85	c GARBAGE COLLECT
3575.34/3584.85	c #Conflicts:     289000 | #Constraints:      12167
3575.34/3584.85	c #Conflicts:     290000 | #Constraints:      13167
3575.34/3584.85	c #Conflicts:     291000 | #Constraints:      14167
3575.34/3584.85	c #Conflicts:     292000 | #Constraints:      15167
3575.34/3584.85	c #Conflicts:     293000 | #Constraints:      16167
3575.34/3584.85	c #Conflicts:     294000 | #Constraints:      17167
3575.34/3584.85	c #Conflicts:     295000 | #Constraints:      18167
3575.34/3584.85	c #Conflicts:     296000 | #Constraints:      19167
3575.34/3584.85	c #Conflicts:     297000 | #Constraints:      20167
3575.34/3584.85	c #Conflicts:     298000 | #Constraints:      21167
3575.34/3584.85	c #Conflicts:     299000 | #Constraints:      22167
3575.34/3584.85	c INPROCESSING
3575.34/3584.85	c GARBAGE COLLECT
3575.34/3584.85	c #Conflicts:     300000 | #Constraints:      12362
3575.34/3584.85	c #Conflicts:     301000 | #Constraints:      13362
3575.34/3584.85	c #Conflicts:     302000 | #Constraints:      14362
3575.34/3584.85	c #Conflicts:     303000 | #Constraints:      15362
3575.34/3584.85	c #Conflicts:     304000 | #Constraints:      16362
3575.34/3584.85	c #Conflicts:     305000 | #Constraints:      17362
3575.34/3584.85	c #Conflicts:     306000 | #Constraints:      18362
3575.34/3584.85	c #Conflicts:     307000 | #Constraints:      19362
3575.34/3584.85	c #Conflicts:     308000 | #Constraints:      20362
3575.34/3584.85	c #Conflicts:     309000 | #Constraints:      21362
3575.34/3584.85	c #Conflicts:     310000 | #Constraints:      22362
3575.34/3584.85	c INPROCESSING
3575.34/3584.85	c GARBAGE COLLECT
3575.34/3584.85	c #Conflicts:     311000 | #Constraints:      12361
3575.34/3584.85	c #Conflicts:     312000 | #Constraints:      13361
3575.34/3584.85	c #Conflicts:     313000 | #Constraints:      14361
3575.34/3584.85	c #Conflicts:     314000 | #Constraints:      15361
3575.34/3584.85	c #Conflicts:     315000 | #Constraints:      16361
3575.34/3584.85	c #Conflicts:     316000 | #Constraints:      17361
3575.34/3584.85	c #Conflicts:     317000 | #Constraints:      18361
3575.34/3584.85	c #Conflicts:     318000 | #Constraints:      19361
3575.34/3584.85	c #Conflicts:     319000 | #Constraints:      20361
3575.34/3584.85	c #Conflicts:     320000 | #Constraints:      21361
3575.34/3584.85	c #Conflicts:     321000 | #Constraints:      22361
3575.34/3584.85	c INPROCESSING
3575.34/3584.85	c GARBAGE COLLECT
3575.34/3584.85	c #Conflicts:     322000 | #Constraints:      12164
3575.34/3584.85	c #Conflicts:     323000 | #Constraints:      13164
3600.07/3609.60	c #Conflicts:     324000 | #Constraints:      14164
3600.07/3609.60	c Program interrupted by user.
3600.07/3609.60	c cpu time 3590.93 s
3600.07/3609.60	c deterministic time 326973209512 3.27e+11
3600.07/3609.60	c optimization time 39.0497 s
3600.07/3609.60	c total solve time 3252.6 s
3600.07/3609.60	c core-guided solve time 3252.6 s
3600.07/3609.60	c propagation time 3181.19 s
3600.07/3609.60	c conflict analysis time 86.6822 s
3600.07/3609.60	c propagations 26408778
3600.07/3609.60	c resolve steps 1480730
3600.07/3609.60	c decisions 6973381
3600.07/3609.60	c conflicts 324991
3600.07/3609.60	c restarts 765
3600.07/3609.60	c inprocessing phases 48
3600.07/3609.60	c input clauses 58
3600.07/3609.60	c input cardinalities 79
3600.07/3609.60	c input general constraints 477
3600.07/3609.60	c input average constraint length 68.90
3600.07/3609.60	c input average constraint degree 35.09
3600.07/3609.60	c learned clauses 17244
3600.07/3609.60	c learned cardinalities 219
3600.07/3609.60	c learned general constraints 307536
3600.07/3609.60	c learned average constraint length 331.80
3600.07/3609.60	c learned average constraint degree 137296.85
3600.07/3609.60	c watched constraints 253028
3600.07/3609.60	c counting constraints 54985
3600.07/3609.60	c gcd simplifications 14178
3600.07/3609.60	c detected cardinalities 170
3600.07/3609.60	c weakened non-implied lits 2922262
3600.07/3609.60	c weakened non-implying lits 7707
3600.07/3609.60	c original variables 479
3600.07/3609.60	c clausal propagations 1161737
3600.07/3609.60	c cardinality propagations 39905
3600.07/3609.60	c watched propagations 10546680
3600.07/3609.60	c counting propagations 14517479
3600.07/3609.60	c watch lookups 54361633831
3600.07/3609.60	c watch backjump lookups 53196892189
3600.07/3609.60	c watch checks 210837895194
3600.07/3609.60	c propagation checks 8221534581
3600.07/3609.60	c constraint additions 288164744
3600.07/3609.60	c trail pops 33706813
3600.07/3609.60	c formula constraints 479
3600.07/3609.60	c learned constraints 324999
3600.07/3609.60	c bound constraints 79
3600.07/3609.60	c core-guided constraints 56
3600.07/3609.60	c encountered formula constraints 929178
3600.07/3609.60	c encountered learned constraints 835675
3600.07/3609.60	c encountered bound constraints 59
3600.07/3609.60	c encountered core-guided constraints 40809
3600.07/3609.60	c LP total time 0 s
3600.07/3609.60	c LP solve time 0 s
3600.07/3609.60	c LP constraints added 0
3600.07/3609.60	c LP constraints removed 0
3600.07/3609.60	c LP pivots internal 0
3600.07/3609.60	c LP pivots root 0
3600.07/3609.60	c LP calls 0
3600.07/3609.60	c LP optimalities 0
3600.07/3609.60	c LP no pivot count 0
3600.07/3609.60	c LP infeasibilities 0
3600.07/3609.60	c LP valid Farkas constraints 0
3600.07/3609.60	c LP learned Farkas constraints 0
3600.07/3609.60	c LP basis resets 0
3600.07/3609.60	c LP cycling count 0
3600.07/3609.60	c LP singular count 0
3600.07/3609.60	c LP no primal count 0
3600.07/3609.60	c LP no farkas count 0
3600.07/3609.60	c LP other issue count 0
3600.07/3609.60	c LP Gomory cuts 0
3600.07/3609.60	c LP learned cuts 0
3600.07/3609.60	c LP deleted cuts 0
3600.07/3609.60	c LP encountered Gomory constraints 0
3600.07/3609.60	c LP encountered Farkas constraints 0
3600.07/3609.60	c LP encountered learned Farkas constraints 0
3600.07/3609.60	c CG auxiliary variables introduced 56
3600.07/3609.60	c CG solutions found 0
3600.07/3609.60	c CG cores constructed 78
3600.07/3609.60	c CG core cardinality constraints returned 0
3600.07/3609.60	c CG unit cores 0
3600.07/3609.60	c CG single cores 78
3600.07/3609.60	c CG blocks removed during cardinality reduction 0
3600.07/3609.60	c CG first core best 0
3600.07/3609.60	c CG decision core best 0
3600.07/3609.60	c CG core reduction tie 0
3600.07/3609.60	c CG core degree average 1.00
3600.07/3609.60	c CG core slack average 2.62
3600.07/3609.60	c CG exhausted 0
3600.07/3609.60	c CG exhaust time 0 s
3600.07/3609.60	c CG trimmed 1
3600.07/3609.60	c CG trim time 0.000232 s
3600.07/3609.60	c CG minimized 0
3600.07/3609.60	c CG minimize time 0 s
3600.07/3609.60	c CG am1 prop time 0.000265 s
3600.07/3609.60	c CG # am1s reformulated 56
3600.07/3609.60	c CG lower bound derived from am1s 56
3600.07/3609.60	c CG # clausal cores 21
3600.07/3609.60	c CG # cardinality cores 0
3600.07/3609.60	c CG # pb cores 57
3600.07/3609.60	c CG # pb reforms 0
3600.07/3609.60	c CG # cores discarded because of pb reform 0
3600.07/3609.60	d LOWERBOUND 134
3600.07/3609.60	d NCORES 78
3600.07/3609.60	d NPBCORES 57
3600.07/3609.60	d NPBREFORM 0
3600.07/3609.60	d NTRIMMED 1
3600.07/3609.60	d NEXHAUSTED 0
3600.07/3609.60	d NAM1S 56
3600.07/3609.60	d AM1LB 56
3600.07/3609.60	c [Papilo Statistics]
3600.07/3609.60	c prepro time 0.00417302s
3600.07/3609.60	c # tsx applied 15
3600.07/3609.60	c # tsx conflicts 0
3600.07/3609.60	c # bound changes 0
3600.07/3609.60	c # side changes 0
3600.07/3609.60	c # coef changes 29
3600.07/3609.60	c # rounds 3
3600.07/3609.60	c # deted vars 0
3600.07/3609.60	c # deted constrs 0
3600.07/3609.60	c # consecutive rounds of only bound changes 0
3600.07/3609.61	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: 63794 MiB (60677 MiB free)
  memory of node 1: 64507 MiB (59593 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100157 s]*
/proc/loadavg: 1.52 2.56 3.78 5/251 50769
/proc/meminfo: memFree=123153940/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=40272 memory=1152 CPUtime=0 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 124 0 5 0 0 0 0 0 20 0 1 0 50639434 41238528 288 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 10068 288 256 2842 0 1377 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 40272 KiB
Current children cumulated memory: 1152 KiB

[startup+0.212682 s]*
/proc/loadavg: 1.52 2.56 3.78 8/252 50770
/proc/meminfo: memFree=123144848/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=97296 memory=23296 CPUtime=0.05 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 2240 0 14 0 4 1 0 0 20 0 1 0 50639434 99631104 5824 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 24324 5824 4032 2842 0 6018 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 97296 KiB
Current children cumulated memory: 23296 KiB

[startup+0.312703 s]*
/proc/loadavg: 1.52 2.56 3.78 8/252 50770
/proc/meminfo: memFree=123130484/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=101092 memory=27008 CPUtime=0.15 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 3024 0 14 0 14 1 0 0 20 0 1 0 50639434 103518208 6752 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 25273 6752 4256 2842 0 6967 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 101092 KiB
Current children cumulated memory: 27008 KiB

[startup+0.700281 s]
/proc/loadavg: 1.52 2.56 3.78 8/252 50770
/proc/meminfo: memFree=123127712/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=112412 memory=38016 CPUtime=0.53 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 5787 0 14 0 50 3 0 0 20 0 1 0 50639434 115109888 9504 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 28103 9504 4256 2842 0 9797 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 112412 KiB
Current children cumulated memory: 38016 KiB

[startup+1.50028 s]
/proc/loadavg: 1.52 2.56 3.78 8/252 50770
/proc/meminfo: memFree=123098732/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=154028 memory=79208 CPUtime=1.31 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 16792 0 14 0 125 6 0 0 20 0 1 0 50639434 157724672 19802 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 38507 19802 4256 2842 0 20201 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 154028 KiB
Current children cumulated memory: 79208 KiB

[startup+3.11266 s]
/proc/loadavg: 1.88 2.61 3.79 8/252 50770
/proc/meminfo: memFree=122653892/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=238968 memory=159920 CPUtime=2.92 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 37682 0 14 0 282 10 0 0 20 0 1 0 50639434 244703232 39980 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 59742 39980 4256 2842 0 41436 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 238968 KiB
Current children cumulated memory: 159920 KiB

[startup+6.30024 s]
/proc/loadavg: 1.88 2.61 3.79 8/252 50770
/proc/meminfo: memFree=122573272/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=238736 memory=160432 CPUtime=6.1 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 37877 0 14 0 599 11 0 0 20 0 1 0 50639434 244465664 40108 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 59684 40108 4256 2842 0 41378 0
Current children cumulated CPU time: 6.1 s
Current children cumulated vsize: 238736 KiB
Current children cumulated memory: 160432 KiB

[startup+12.7002 s]
/proc/loadavg: 2.21 2.67 3.81 8/252 50770
/proc/meminfo: memFree=122572840/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=238736 memory=160560 CPUtime=12.48 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 37922 0 14 0 1237 11 0 0 20 0 1 0 50639434 244465664 40140 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 59684 40140 4256 2842 0 41378 0
Current children cumulated CPU time: 12.48 s
Current children cumulated vsize: 238736 KiB
Current children cumulated memory: 160560 KiB

[startup+25.5003 s]
/proc/loadavg: 3.12 2.85 3.85 8/252 50770
/proc/meminfo: memFree=122385836/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=305508 memory=225840 CPUtime=25.23 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 54248 0 14 0 2510 13 0 0 20 0 1 0 50639434 312840192 56460 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 76377 56460 4256 2842 0 58071 0
Current children cumulated CPU time: 25.23 s
Current children cumulated vsize: 305508 KiB
Current children cumulated memory: 225840 KiB

[startup+51.1123 s]
/proc/loadavg: 4.26 3.14 3.92 8/253 50772
/proc/meminfo: memFree=122353256/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=301048 memory=221504 CPUtime=50.76 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 54264 0 14 0 5063 13 0 0 20 0 1 0 50639434 308273152 55376 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 75262 55376 4256 2842 0 56956 0
Current children cumulated CPU time: 50.76 s
Current children cumulated vsize: 301048 KiB
Current children cumulated memory: 221504 KiB

[startup+102.3 s]
/proc/loadavg: 5.44 3.64 4.05 8/253 50785
/proc/meminfo: memFree=122289972/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=301732 memory=224832 CPUtime=101.81 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 54464 0 14 0 10167 14 0 0 20 0 1 0 50639434 308973568 56208 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 75433 56208 4256 2842 0 57127 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 301732 KiB
Current children cumulated memory: 224832 KiB

[startup+162.3 s]
/proc/loadavg: 4.72 3.78 4.07 8/253 50787
/proc/meminfo: memFree=122143376/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=316536 memory=241064 CPUtime=161.64 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 58316 0 14 0 16149 15 0 0 20 0 1 0 50639434 324132864 60266 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 79134 60266 4256 2842 0 60828 0
Current children cumulated CPU time: 161.64 s
Current children cumulated vsize: 316536 KiB
Current children cumulated memory: 241064 KiB

[startup+222.3 s]
/proc/loadavg: 4.31 3.84 4.07 8/253 50789
/proc/meminfo: memFree=121963320/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=389900 memory=320424 CPUtime=221.49 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 76117 0 14 0 22131 18 0 0 20 0 1 0 50639434 399257600 80106 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 97475 80106 4256 2842 0 79169 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 389900 KiB
Current children cumulated memory: 320424 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 3.88 4.07 8/252 50791
/proc/meminfo: memFree=121940540/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=391940 memory=321832 CPUtime=281.33 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 76491 0 14 0 28114 19 0 0 20 0 1 0 50639434 401346560 80458 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 97985 80458 4256 2842 0 79679 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 391940 KiB
Current children cumulated memory: 321832 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.92 4.07 8/251 50793
/proc/meminfo: memFree=122113296/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=295896 memory=228452 CPUtime=341.17 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 78821 0 14 0 34048 69 0 0 20 0 1 0 50639434 302997504 57113 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 73974 57113 4416 2842 0 55668 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 295896 KiB
Current children cumulated memory: 228452 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 3.97 4.08 8/250 50795
/proc/meminfo: memFree=122102192/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=295896 memory=232548 CPUtime=401 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 78826 0 14 0 39986 114 0 0 20 0 1 0 50639434 302997504 58137 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 73974 58137 4416 2842 0 55668 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 295896 KiB
Current children cumulated memory: 232548 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.99 4.08 8/250 50797
/proc/meminfo: memFree=122074300/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=314864 memory=233828 CPUtime=460.82 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 79188 0 14 0 45937 145 0 0 20 0 1 0 50639434 322420736 58457 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 78716 58457 4416 2842 0 60410 0

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

Current children cumulated memory: 255244 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.12 4.09 8/249 50906
/proc/meminfo: memFree=121943468/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=345684 memory=257292 CPUtime=2854.7 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 80283 0 14 0 284713 757 0 0 20 0 1 0 50639434 353980416 64323 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 86421 64323 4416 2842 0 68115 0
Current children cumulated CPU time: 2854.7 s
Current children cumulated vsize: 345684 KiB
Current children cumulated memory: 257292 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 8/249 50908
/proc/meminfo: memFree=121939628/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=345684 memory=257292 CPUtime=2914.56 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 80283 0 14 0 290686 770 0 0 20 0 1 0 50639434 353980416 64323 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 86421 64323 4416 2842 0 68115 0
Current children cumulated CPU time: 2914.56 s
Current children cumulated vsize: 345684 KiB
Current children cumulated memory: 257292 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.09 8/251 50913
/proc/meminfo: memFree=121949216/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=345684 memory=257292 CPUtime=2974.4 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 80283 0 14 0 296661 779 0 0 20 0 1 0 50639434 353980416 64323 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 86421 64323 4416 2842 0 68115 0
Current children cumulated CPU time: 2974.4 s
Current children cumulated vsize: 345684 KiB
Current children cumulated memory: 257292 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.13 4.09 8/252 50922
/proc/meminfo: memFree=121957084/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=345684 memory=257292 CPUtime=3034.26 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 80284 0 14 0 302632 794 0 0 20 0 1 0 50639434 353980416 64323 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 86421 64323 4416 2842 0 68115 0
Current children cumulated CPU time: 3034.26 s
Current children cumulated vsize: 345684 KiB
Current children cumulated memory: 257292 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.13 4.09 8/252 50924
/proc/meminfo: memFree=121956804/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=345684 memory=257292 CPUtime=3094.11 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 80284 0 14 0 308603 808 0 0 20 0 1 0 50639434 353980416 64323 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 86421 64323 4416 2842 0 68115 0
Current children cumulated CPU time: 3094.11 s
Current children cumulated vsize: 345684 KiB
Current children cumulated memory: 257292 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.09 8/252 50926
/proc/meminfo: memFree=121968296/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=345684 memory=257292 CPUtime=3153.95 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 80284 0 14 0 314575 820 0 0 20 0 1 0 50639434 353980416 64323 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 86421 64323 4416 2842 0 68115 0
Current children cumulated CPU time: 3153.95 s
Current children cumulated vsize: 345684 KiB
Current children cumulated memory: 257292 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.12 4.09 8/252 50927
/proc/meminfo: memFree=121966692/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=345684 memory=259340 CPUtime=3213.81 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 80285 0 14 0 320544 837 0 0 20 0 1 0 50639434 353980416 64835 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 86421 64835 4416 2842 0 68115 0
Current children cumulated CPU time: 3213.81 s
Current children cumulated vsize: 345684 KiB
Current children cumulated memory: 259340 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.09 8/250 50929
/proc/meminfo: memFree=121962532/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=345684 memory=259340 CPUtime=3273.66 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 80285 0 14 0 326515 851 0 0 20 0 1 0 50639434 353980416 64835 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 86421 64835 4416 2842 0 68115 0
Current children cumulated CPU time: 3273.66 s
Current children cumulated vsize: 345684 KiB
Current children cumulated memory: 259340 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.10 4.09 8/249 50931
/proc/meminfo: memFree=121962396/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=345684 memory=259340 CPUtime=3333.5 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 80285 0 14 0 332489 861 0 0 20 0 1 0 50639434 353980416 64835 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 86421 64835 4416 2842 0 68115 0
Current children cumulated CPU time: 3333.5 s
Current children cumulated vsize: 345684 KiB
Current children cumulated memory: 259340 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.09 8/249 50933
/proc/meminfo: memFree=121958324/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=345684 memory=259340 CPUtime=3393.35 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 80285 0 14 0 338459 876 0 0 20 0 1 0 50639434 353980416 64835 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 86421 64835 4416 2842 0 68115 0
Current children cumulated CPU time: 3393.35 s
Current children cumulated vsize: 345684 KiB
Current children cumulated memory: 259340 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 8/249 50935
/proc/meminfo: memFree=121954688/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=345684 memory=259340 CPUtime=3453.19 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 80352 0 14 0 344433 886 0 0 20 0 1 0 50639434 353980416 64835 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 86421 64835 4416 2842 0 68115 0
Current children cumulated CPU time: 3453.19 s
Current children cumulated vsize: 345684 KiB
Current children cumulated memory: 259340 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.12 4.10 8/249 50937
/proc/meminfo: memFree=121959304/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=345684 memory=259340 CPUtime=3513.02 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 80356 0 14 0 350405 897 0 0 20 0 1 0 50639434 353980416 64835 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 86421 64835 4416 2842 0 68115 0
Current children cumulated CPU time: 3513.02 s
Current children cumulated vsize: 345684 KiB
Current children cumulated memory: 259340 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.13 4.10 8/249 50939
/proc/meminfo: memFree=121959272/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=345684 memory=261388 CPUtime=3572.84 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 80359 0 14 0 356378 906 0 0 20 0 1 0 50639434 353980416 65347 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 86421 65347 4416 2842 0 68115 0
Current children cumulated CPU time: 3572.84 s
Current children cumulated vsize: 345684 KiB
Current children cumulated memory: 261388 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.12 4.11 4.09 8/250 50948
/proc/meminfo: memFree=121958860/131382112 swapFree=33010684/33010684
[pid=50768] ppid=50753 vsize=345684 memory=261388 CPUtime=3600.07 cores=5,7
/proc/50768/stat : 50768 (mixed-bag) R 50753 50768 50699 0 -1 4194304 80359 0 14 0 359093 914 0 0 20 0 1 0 50639434 353980416 65347 18446744073709551615 4235264 15874749 140736533451760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 32260096 140736533457308 140736533457385 140736533457385 140736533462987 0
/proc/50768/statm: 86421 65347 4416 2842 0 68115 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 345684 KiB
Current children cumulated memory: 261388 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.93 s, system=9.1502 s

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

Child status: 0

Real time (s): 3609.61
CPU time (s): 3600.08
CPU user time (s): 3590.93
CPU system time (s): 9.1502
CPU usage (%): 99.736
Max. virtual memory (cumulated for all children) (KiB): 391940
Max. memory (cumulated for all children) (KiB): 321960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.93
system time used= 9.1502
maximum resident set size= 321960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80387
page faults= 15
swaps= 0
block input operations= 1384
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 1165


# summary of solver processes directly reported to runsolver:
#   pid: 50768
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3590.93
#   total CPU system time (s): 9.1502

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9484 second user time and 32.2268 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-07-01 07:59:56
IDJOB=4489129
IDBENCH=147541
IDSOLVER=3340
FILE ID=nodeC009/4489129-1751349596
RUNJOBID= nodeC009-1751349596-50712
SLURM_JOB_ID= 9598132
Free space on /tmp= 432656 MiB

SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489129-1751349596/watcher-4489129-1751349596 -o /tmp/evaluation-result-4489129-1751349596/solver-4489129-1751349596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751349596-50712 --watchdog 3760  mixed-bag HOME/instance-4489129-1751349596.opb

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

MD5SUM BENCH= 1da12ebdd4ab5e725928f3bf845b8b1e
RANDOM SEED=81006127

nodeC009 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.243
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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.225
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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.221
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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.378
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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		: 3700.000
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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		: 3700.000
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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.232
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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.235
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        123159300 kB
MemAvailable:   129898704 kB
Buffers:            3280 kB
Cached:          7511256 kB
SwapCached:            0 kB
Active:           366364 kB
Inactive:        7213096 kB
Active(anon):      82004 kB
Inactive(anon):      968 kB
Active(file):     284360 kB
Inactive(file):  7212128 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             62044 kB
Writeback:             0 kB
AnonPages:         68084 kB
Mapped:           102916 kB
Shmem:             17960 kB
KReclaimable:     164700 kB
Slab:             248112 kB
SReclaimable:     164700 kB
SUnreclaim:        83412 kB
KernelStack:        3808 kB
PageTables:         2776 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     330576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149240 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432596 MiB
End job on nodeC009 at 2025-07-01 09:00:06