Trace number 4435457

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
mixed-bag 2024-07-02? (TO) 3600.01 3608.6

DiagnosticValue
AM1LB56
LOWERBOUND134
NAM1S56
NCORES78
NEXHAUSTED0
NPBCORES57
NPBREFORM0
NTRIMMED1

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435457-1721092424/watcher-4435457-1721092424 -o /tmp/evaluation-result-4435457-1721092424/solver-4435457-1721092424 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721092436-831066 --watchdog 3760 mixed-bag HOME/instance-4435457-1721092424.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100668 s]*
/proc/loadavg: 3.95 4.19 4.19 8/259 831130
/proc/meminfo: memFree=126423820/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=93160 memory=26060 CPUtime=0.09 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 3002 0 0 0 9 0 0 0 20 0 1 0 161406212 95395840 6515 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 23290 6515 4000 3002 0 7041 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 93160 KiB
Current children cumulated memory: 26060 KiB

[startup+0.205685 s]*
/proc/loadavg: 3.95 4.19 4.19 8/259 831130
/proc/meminfo: memFree=126409704/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=106240 memory=38996 CPUtime=0.18 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 6224 0 0 0 18 0 0 0 20 0 1 0 161406212 108789760 9749 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 26560 9749 4000 3002 0 10311 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 106240 KiB
Current children cumulated memory: 38996 KiB

[startup+0.305044 s]*
/proc/loadavg: 3.95 4.19 4.19 8/259 831130
/proc/meminfo: memFree=126399076/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=116736 memory=49348 CPUtime=0.29 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 8900 0 0 0 28 1 0 0 20 0 1 0 161406212 119537664 12337 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 29184 12337 4000 3002 0 12935 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 116736 KiB
Current children cumulated memory: 49348 KiB

[startup+0.700198 s]
/proc/loadavg: 3.95 4.19 4.19 8/259 831130
/proc/meminfo: memFree=126375988/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=151892 memory=83612 CPUtime=0.67 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 18834 0 0 0 65 2 0 0 20 0 1 0 161406212 155537408 20903 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 37973 20903 4000 3002 0 21724 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 151892 KiB
Current children cumulated memory: 83612 KiB

[startup+1.50018 s]
/proc/loadavg: 3.96 4.19 4.19 8/259 831130
/proc/meminfo: memFree=126189536/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=226960 memory=155684 CPUtime=1.47 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 36892 0 0 0 142 5 0 0 20 0 1 0 161406212 232407040 38921 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 56740 38921 4000 3002 0 40491 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 226960 KiB
Current children cumulated memory: 155684 KiB

[startup+3.105 s]
/proc/loadavg: 3.96 4.19 4.19 8/259 831130
/proc/meminfo: memFree=125898680/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=230456 memory=159016 CPUtime=3.08 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 37719 0 0 0 302 6 0 0 20 0 1 0 161406212 235986944 39754 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 57614 39754 4000 3002 0 41365 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 230456 KiB
Current children cumulated memory: 159016 KiB

[startup+6.30014 s]
/proc/loadavg: 3.96 4.18 4.19 8/259 831130
/proc/meminfo: memFree=125897696/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=230456 memory=159016 CPUtime=6.27 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 37729 0 0 0 621 6 0 0 20 0 1 0 161406212 235986944 39754 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 57614 39754 4000 3002 0 41365 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 230456 KiB
Current children cumulated memory: 159016 KiB

[startup+12.7001 s]
/proc/loadavg: 3.96 4.18 4.19 8/259 831132
/proc/meminfo: memFree=125897280/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=230456 memory=159016 CPUtime=12.65 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 37773 0 0 0 1259 6 0 0 20 0 1 0 161406212 235986944 39754 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 57614 39754 4000 3002 0 41365 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 230456 KiB
Current children cumulated memory: 159016 KiB

[startup+25.5002 s]
/proc/loadavg: 3.97 4.17 4.18 8/259 831134
/proc/meminfo: memFree=125691200/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=293188 memory=220052 CPUtime=25.42 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 53988 0 0 0 2533 9 0 0 20 0 1 0 161406212 300224512 55013 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 73297 55013 4000 3002 0 57048 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 293188 KiB
Current children cumulated memory: 220052 KiB

[startup+51.105 s]
/proc/loadavg: 4.04 4.17 4.18 8/259 831138
/proc/meminfo: memFree=125688644/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=292768 memory=219636 CPUtime=50.96 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 54004 0 0 0 5085 11 0 0 20 0 1 0 161406212 299794432 54909 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 73192 54909 4000 3002 0 56943 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 292768 KiB
Current children cumulated memory: 219636 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.17 4.18 8/257 831147
/proc/meminfo: memFree=125604424/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=293600 memory=220136 CPUtime=102.05 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 54634 0 0 0 10191 14 0 0 20 0 1 0 161406212 300646400 55034 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 73400 55034 4000 3002 0 57151 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 293600 KiB
Current children cumulated memory: 220136 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.16 4.17 8/257 831159
/proc/meminfo: memFree=125412428/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=308468 memory=238284 CPUtime=161.91 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 59559 0 0 0 16175 16 0 0 20 0 1 0 161406212 315871232 59571 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 77117 59571 4011 3002 0 60868 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 308468 KiB
Current children cumulated memory: 238284 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.14 4.17 8/257 831169
/proc/meminfo: memFree=125334156/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=381836 memory=309828 CPUtime=221.78 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 77448 0 0 0 22158 20 0 0 20 0 1 0 161406212 391000064 77457 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 95459 77457 4011 3002 0 79210 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 381836 KiB
Current children cumulated memory: 309828 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.13 4.16 8/257 831181
/proc/meminfo: memFree=125328632/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=383876 memory=311408 CPUtime=281.64 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 77839 0 0 0 28143 21 0 0 20 0 1 0 161406212 393089024 77852 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 95969 77852 4011 3002 0 79720 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 383876 KiB
Current children cumulated memory: 311408 KiB

[startup+342.3 s]
/proc/loadavg: 4.20 4.15 4.17 8/255 831192
/proc/meminfo: memFree=125497028/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=287832 memory=221988 CPUtime=341.5 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 80665 0 0 0 34075 75 0 0 20 0 1 0 161406212 294739968 55497 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 71958 55497 4170 3002 0 55709 0
Current children cumulated CPU time: 341.5 s
Current children cumulated vsize: 287832 KiB
Current children cumulated memory: 221988 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 4.15 4.17 8/258 831207
/proc/meminfo: memFree=125468076/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=287832 memory=226084 CPUtime=401.36 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 80697 0 0 0 40012 124 0 0 20 0 1 0 161406212 294739968 56521 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 71958 56521 4170 3002 0 55709 0
Current children cumulated CPU time: 401.36 s
Current children cumulated vsize: 287832 KiB
Current children cumulated memory: 226084 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.15 4.17 8/258 831217
/proc/meminfo: memFree=125448528/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=306800 memory=227604 CPUtime=461.22 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 81121 0 0 0 45964 158 0 0 20 0 1 0 161406212 314163200 56901 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 76700 56901 4170 3002 0 60451 0

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

Current children cumulated memory: 255852 KiB

[startup+2862.3 s]
/proc/loadavg: 4.04 4.10 4.14 8/256 832848
/proc/meminfo: memFree=125241752/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=337620 memory=255852 CPUtime=2855.61 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 84129 0 0 0 284773 788 0 0 20 0 1 0 161406212 345722880 63963 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 84405 63963 4170 3002 0 68156 0
Current children cumulated CPU time: 2855.61 s
Current children cumulated vsize: 337620 KiB
Current children cumulated memory: 255852 KiB

[startup+2922.3 s]
/proc/loadavg: 4.19 4.13 4.15 8/256 832858
/proc/meminfo: memFree=125241076/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=337620 memory=255852 CPUtime=2915.47 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 84200 0 0 0 290748 799 0 0 20 0 1 0 161406212 345722880 63963 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 84405 63963 4170 3002 0 68156 0
Current children cumulated CPU time: 2915.47 s
Current children cumulated vsize: 337620 KiB
Current children cumulated memory: 255852 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.14 8/254 832869
/proc/meminfo: memFree=125240524/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=337620 memory=255852 CPUtime=2975.32 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 84264 0 0 0 296720 812 0 0 20 0 1 0 161406212 345722880 63963 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 84405 63963 4170 3002 0 68156 0
Current children cumulated CPU time: 2975.32 s
Current children cumulated vsize: 337620 KiB
Current children cumulated memory: 255852 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.14 8/254 832881
/proc/meminfo: memFree=125236208/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=337620 memory=255852 CPUtime=3035.17 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 84335 0 0 0 302689 828 0 0 20 0 1 0 161406212 345722880 63963 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 84405 63963 4170 3002 0 68156 0
Current children cumulated CPU time: 3035.17 s
Current children cumulated vsize: 337620 KiB
Current children cumulated memory: 255852 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.10 4.13 8/254 832891
/proc/meminfo: memFree=125235436/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=337620 memory=255852 CPUtime=3095.02 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 84408 0 0 0 308661 841 0 0 20 0 1 0 161406212 345722880 63963 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 84405 63963 4170 3002 0 68156 0
Current children cumulated CPU time: 3095.02 s
Current children cumulated vsize: 337620 KiB
Current children cumulated memory: 255852 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.13 8/254 832901
/proc/meminfo: memFree=125232616/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=337620 memory=257900 CPUtime=3154.88 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 84472 0 0 0 314632 856 0 0 20 0 1 0 161406212 345722880 64475 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 84405 64475 4170 3002 0 68156 0
Current children cumulated CPU time: 3154.88 s
Current children cumulated vsize: 337620 KiB
Current children cumulated memory: 257900 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.11 4.13 8/254 832912
/proc/meminfo: memFree=125229904/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=337620 memory=257900 CPUtime=3214.73 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 84543 0 0 0 320604 869 0 0 20 0 1 0 161406212 345722880 64475 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 84405 64475 4170 3002 0 68156 0
Current children cumulated CPU time: 3214.73 s
Current children cumulated vsize: 337620 KiB
Current children cumulated memory: 257900 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.11 8/255 832923
/proc/meminfo: memFree=125229100/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=337620 memory=257900 CPUtime=3274.57 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 84617 0 0 0 326575 882 0 0 20 0 1 0 161406212 345722880 64475 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 84405 64475 4170 3002 0 68156 0
Current children cumulated CPU time: 3274.57 s
Current children cumulated vsize: 337620 KiB
Current children cumulated memory: 257900 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.11 8/255 832933
/proc/meminfo: memFree=125226316/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=337620 memory=257900 CPUtime=3334.41 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 84693 0 0 0 332547 894 0 0 20 0 1 0 161406212 345722880 64475 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 84405 64475 4170 3002 0 68156 0
Current children cumulated CPU time: 3334.41 s
Current children cumulated vsize: 337620 KiB
Current children cumulated memory: 257900 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.11 8/257 832948
/proc/meminfo: memFree=125223488/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=337620 memory=257900 CPUtime=3394.25 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 84758 0 0 0 338513 912 0 0 20 0 1 0 161406212 345722880 64475 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 84405 64475 4170 3002 0 68156 0
Current children cumulated CPU time: 3394.25 s
Current children cumulated vsize: 337620 KiB
Current children cumulated memory: 257900 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.11 8/257 832959
/proc/meminfo: memFree=125222796/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=337620 memory=257900 CPUtime=3454.09 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 84832 0 0 0 344485 924 0 0 20 0 1 0 161406212 345722880 64475 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 84405 64475 4170 3002 0 68156 0
Current children cumulated CPU time: 3454.09 s
Current children cumulated vsize: 337620 KiB
Current children cumulated memory: 257900 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.12 4.11 8/257 832969
/proc/meminfo: memFree=125219568/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=337620 memory=257900 CPUtime=3513.93 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 84910 0 0 0 350458 935 0 0 20 0 1 0 161406212 345722880 64475 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 84405 64475 4170 3002 0 68156 0
Current children cumulated CPU time: 3513.93 s
Current children cumulated vsize: 337620 KiB
Current children cumulated memory: 257900 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.10 8/256 832980
/proc/meminfo: memFree=125215060/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=337620 memory=259948 CPUtime=3573.77 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 84976 0 0 0 356424 953 0 0 20 0 1 0 161406212 345722880 64987 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 84405 64987 4170 3002 0 68156 0
Current children cumulated CPU time: 3573.77 s
Current children cumulated vsize: 337620 KiB
Current children cumulated memory: 259948 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.6 s]
/proc/loadavg: 4.16 4.12 4.10 8/256 832984
/proc/meminfo: memFree=125214916/131524600 swapFree=131071996/131071996
[pid=831129] ppid=831120 vsize=337620 memory=259948 CPUtime=3600 cores=4,6
/proc/831129/stat : 831129 (mixed-bag) R 831120 831129 831055 0 -1 4194304 84978 0 0 0 359042 958 0 0 20 0 1 0 161406212 345722880 64987 134679101440 4194304 16487941 140727885666176 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 26066944 140727885669399 140727885669476 140727885669476 140727885676491 0
/proc/831129/statm: 84405 64987 4170 3002 0 68156 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 337620 KiB
Current children cumulated memory: 259948 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.43 s, system=9.58361 s

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

Child status: 0

Real time (s): 3608.6
CPU time (s): 3600.01
CPU user time (s): 3590.43
CPU system time (s): 9.58361
CPU usage (%): 99.7618
Max. virtual memory (cumulated for all children) (KiB): 383876
Max. memory (cumulated for all children) (KiB): 311408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.43
system time used= 9.58361
maximum resident set size= 311408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85006
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= 49
involuntary context switches= 1217


# summary of solver processes directly reported to runsolver:
#   pid: 831129
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3590.43
#   total CPU system time (s): 9.58361

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.64101 second user time and 16.4432 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-16 03:13:56
IDJOB=4435457
IDBENCH=147541
IDSOLVER=3066
FILE ID=nodeC021/4435457-1721092424
RUNJOBID= nodeC021-1721092436-831066
SLURM_JOB_ID= 7505590
Free space on /tmp= 890060 MiB

SOLVER NAME= mixed-bag 2024-07-02
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 --file-size-limit 102400 -w /tmp/evaluation-result-4435457-1721092424/watcher-4435457-1721092424 -o /tmp/evaluation-result-4435457-1721092424/solver-4435457-1721092424 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721092436-831066 --watchdog 3760  mixed-bag HOME/instance-4435457-1721092424.opb

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

MD5SUM BENCH= 1da12ebdd4ab5e725928f3bf845b8b1e
RANDOM SEED=988679644

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3549.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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126466892 kB
MemAvailable:   129692772 kB
Buffers:          380768 kB
Cached:          3647524 kB
SwapCached:            0 kB
Active:           715108 kB
Inactive:        3673132 kB
Active(anon):       1452 kB
Inactive(anon):   396264 kB
Active(file):     713656 kB
Inactive(file):  3276868 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             65296 kB
Writeback:            16 kB
AnonPages:        359300 kB
Mapped:           103492 kB
Shmem:             37720 kB
KReclaimable:     150356 kB
Slab:             263604 kB
SReclaimable:     150356 kB
SUnreclaim:       113248 kB
KernelStack:        3872 kB
PageTables:        10092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     802512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61472 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 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:      256724 kB
DirectMap2M:    23633920 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 890020 MiB
End job on nodeC021 at 2024-07-16 04:14:05