Trace number 4454715

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
mixed-bag 2024-07-19? (TO) 3600.11 3612.11

DiagnosticValue
AM1LB56
LOWERBOUND134
NAM1S56
NCORES78
NEXHAUSTED0
NPBCORES57
NPBREFORM0
NTRIMMED1
SCIPUB195

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454715-1721468771/watcher-4454715-1721468771 -o /tmp/evaluation-result-4454715-1721468771/solver-4454715-1721468771 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721468784-1048074 --watchdog 3760 mixed-bag HOME/instance-4454715-1721468771.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100087 s]*
/proc/loadavg: 1.27 1.92 2.62 5/257 1048140
/proc/meminfo: memFree=129045372/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=93168 memory=26160 CPUtime=0.06 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 3004 0 6 0 6 0 0 0 20 0 1 0 199044180 95404032 6540 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 23292 6540 4024 3002 0 7041 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 93168 KiB
Current children cumulated memory: 26160 KiB

[startup+0.206436 s]*
/proc/loadavg: 1.27 1.92 2.62 5/257 1048140
/proc/meminfo: memFree=129038124/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=100844 memory=33552 CPUtime=0.18 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 4891 0 6 0 17 1 0 0 20 0 1 0 199044180 103264256 8388 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 25211 8388 4024 3002 0 8960 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 100844 KiB
Current children cumulated memory: 33552 KiB

[startup+0.30589 s]*
/proc/loadavg: 1.27 1.92 2.62 7/257 1048140
/proc/meminfo: memFree=129025640/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=111624 memory=44436 CPUtime=0.27 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 7605 0 6 0 26 1 0 0 20 0 1 0 199044180 114302976 11109 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 27906 11109 4024 3002 0 11655 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 111624 KiB
Current children cumulated memory: 44436 KiB

[startup+0.700221 s]
/proc/loadavg: 1.27 1.92 2.62 7/257 1048140
/proc/meminfo: memFree=128997304/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=150884 memory=83184 CPUtime=0.66 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 18694 0 6 0 62 4 0 0 20 0 1 0 199044180 154505216 20796 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 37721 20796 4024 3002 0 21470 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 150884 KiB
Current children cumulated memory: 83184 KiB

[startup+1.50023 s]
/proc/loadavg: 1.27 1.92 2.62 5/257 1048140
/proc/meminfo: memFree=128815752/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=226968 memory=155784 CPUtime=1.46 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 36894 0 6 0 140 6 0 0 20 0 1 0 199044180 232415232 38946 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 56742 38946 4024 3002 0 40491 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 226968 KiB
Current children cumulated memory: 155784 KiB

[startup+3.10618 s]
/proc/loadavg: 1.65 1.99 2.64 5/257 1048140
/proc/meminfo: memFree=128519664/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=230464 memory=159116 CPUtime=3.05 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 37721 0 6 0 299 6 0 0 20 0 1 0 199044180 235995136 39779 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 57616 39779 4024 3002 0 41365 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 230464 KiB
Current children cumulated memory: 159116 KiB

[startup+6.30014 s]
/proc/loadavg: 1.65 1.99 2.64 5/257 1048140
/proc/meminfo: memFree=128518956/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=230464 memory=159116 CPUtime=6.24 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 37731 0 6 0 618 6 0 0 20 0 1 0 199044180 235995136 39779 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 57616 39779 4024 3002 0 41365 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 230464 KiB
Current children cumulated memory: 159116 KiB

[startup+12.7001 s]
/proc/loadavg: 2.01 2.05 2.66 5/257 1048142
/proc/meminfo: memFree=128516696/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=230464 memory=159256 CPUtime=12.62 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 37782 0 6 0 1256 6 0 0 20 0 1 0 199044180 235995136 39814 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 57616 39814 4024 3002 0 41365 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 230464 KiB
Current children cumulated memory: 159256 KiB

[startup+25.5002 s]
/proc/loadavg: 2.32 2.12 2.67 5/257 1048143
/proc/meminfo: memFree=128312088/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=292776 memory=220256 CPUtime=25.38 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 54017 0 6 0 2529 9 0 0 20 0 1 0 199044180 299802624 55064 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 73194 55064 4024 3002 0 56943 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 292776 KiB
Current children cumulated memory: 220256 KiB

[startup+51.1062 s]
/proc/loadavg: 2.97 2.29 2.71 5/257 1048148
/proc/meminfo: memFree=128308280/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=292776 memory=221736 CPUtime=50.91 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 54084 0 6 0 5082 9 0 0 20 0 1 0 199044180 299802624 55434 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 73194 55434 4024 3002 0 56943 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 292776 KiB
Current children cumulated memory: 221736 KiB

[startup+102.3 s]
/proc/loadavg: 3.73 2.61 2.80 5/257 1048156
/proc/meminfo: memFree=128221696/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=293608 memory=225048 CPUtime=101.94 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 54386 0 6 0 10185 9 0 0 20 0 1 0 199044180 300654592 56262 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 73402 56262 4024 3002 0 57151 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 293608 KiB
Current children cumulated memory: 225048 KiB

[startup+162.3 s]
/proc/loadavg: 3.95 2.88 2.88 5/257 1048167
/proc/meminfo: memFree=128026776/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=308476 memory=245716 CPUtime=161.76 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 58138 0 6 0 16166 10 0 0 20 0 1 0 199044180 315879424 61429 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 77119 61429 4047 3002 0 60868 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 308476 KiB
Current children cumulated memory: 245716 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 3.12 2.97 5/259 1048182
/proc/meminfo: memFree=127949384/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=381844 memory=316580 CPUtime=221.57 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 76030 0 6 0 22144 13 0 0 20 0 1 0 199044180 391008256 79145 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 95461 79145 4047 3002 0 79210 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 381844 KiB
Current children cumulated memory: 316580 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.30 3.04 5/259 1048192
/proc/meminfo: memFree=127946856/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=383884 memory=318144 CPUtime=281.39 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 76428 0 6 0 28126 13 0 0 20 0 1 0 199044180 393097216 79536 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 95971 79536 4047 3002 0 79720 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 383884 KiB
Current children cumulated memory: 318144 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 3.46 3.11 5/256 1048202
/proc/meminfo: memFree=128112352/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=287840 memory=227512 CPUtime=341.2 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 79227 0 6 0 34056 64 0 0 20 0 1 0 199044180 294748160 56878 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 71960 56878 4174 3002 0 55709 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 287840 KiB
Current children cumulated memory: 227512 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.58 3.18 5/256 1048214
/proc/meminfo: memFree=128086476/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=287840 memory=231608 CPUtime=401 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 79262 0 6 0 39984 116 0 0 20 0 1 0 199044180 294748160 57902 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 71960 57902 4174 3002 0 55709 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 287840 KiB
Current children cumulated memory: 231608 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.67 3.24 5/256 1048224
/proc/meminfo: memFree=128070472/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=306808 memory=232824 CPUtime=460.8 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 79640 0 6 0 45934 146 0 0 20 0 1 0 199044180 314171392 58206 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 76702 58206 4174 3002 0 60451 0

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

Current children cumulated memory: 256380 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/255 1049845
/proc/meminfo: memFree=127886824/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=337628 memory=256380 CPUtime=2912.55 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 82621 0 6 0 290438 817 0 0 20 0 1 0 199044180 345731072 64095 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 84407 64095 4174 3002 0 68156 0
Current children cumulated CPU time: 2912.55 s
Current children cumulated vsize: 337628 KiB
Current children cumulated memory: 256380 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.08 4.01 5/254 1049855
/proc/meminfo: memFree=127886520/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=337628 memory=256380 CPUtime=2972.35 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 82693 0 6 0 296409 826 0 0 20 0 1 0 199044180 345731072 64095 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 84407 64095 4174 3002 0 68156 0
Current children cumulated CPU time: 2972.35 s
Current children cumulated vsize: 337628 KiB
Current children cumulated memory: 256380 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/254 1049865
/proc/meminfo: memFree=127884204/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=337628 memory=256380 CPUtime=3032.16 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 82756 0 6 0 302371 845 0 0 20 0 1 0 199044180 345731072 64095 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 84407 64095 4174 3002 0 68156 0
Current children cumulated CPU time: 3032.16 s
Current children cumulated vsize: 337628 KiB
Current children cumulated memory: 256380 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.10 4.02 5/254 1049876
/proc/meminfo: memFree=127880584/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=337628 memory=256380 CPUtime=3091.97 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 82824 0 6 0 308337 860 0 0 20 0 1 0 199044180 345731072 64095 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 84407 64095 4174 3002 0 68156 0
Current children cumulated CPU time: 3091.97 s
Current children cumulated vsize: 337628 KiB
Current children cumulated memory: 256380 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/254 1049886
/proc/meminfo: memFree=127877360/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=337628 memory=258428 CPUtime=3151.77 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 82898 0 6 0 314303 874 0 0 20 0 1 0 199044180 345731072 64607 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 84407 64607 4174 3002 0 68156 0
Current children cumulated CPU time: 3151.77 s
Current children cumulated vsize: 337628 KiB
Current children cumulated memory: 258428 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.09 4.02 5/256 1049900
/proc/meminfo: memFree=127877108/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=337628 memory=258428 CPUtime=3211.57 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 82960 0 6 0 320265 892 0 0 20 0 1 0 199044180 345731072 64607 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 84407 64607 4174 3002 0 68156 0
Current children cumulated CPU time: 3211.57 s
Current children cumulated vsize: 337628 KiB
Current children cumulated memory: 258428 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.02 5/257 1049912
/proc/meminfo: memFree=127876696/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=337628 memory=258428 CPUtime=3271.36 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 83029 0 6 0 326227 909 0 0 20 0 1 0 199044180 345731072 64607 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 84407 64607 4174 3002 0 68156 0
Current children cumulated CPU time: 3271.36 s
Current children cumulated vsize: 337628 KiB
Current children cumulated memory: 258428 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/257 1049922
/proc/meminfo: memFree=127875452/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=337628 memory=258428 CPUtime=3331.16 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 83101 0 6 0 332194 922 0 0 20 0 1 0 199044180 345731072 64607 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 84407 64607 4174 3002 0 68156 0
Current children cumulated CPU time: 3331.16 s
Current children cumulated vsize: 337628 KiB
Current children cumulated memory: 258428 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.12 4.04 5/257 1049933
/proc/meminfo: memFree=127871160/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=337628 memory=258428 CPUtime=3390.97 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 83164 0 6 0 338159 938 0 0 20 0 1 0 199044180 345731072 64607 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 84407 64607 4174 3002 0 68156 0
Current children cumulated CPU time: 3390.97 s
Current children cumulated vsize: 337628 KiB
Current children cumulated memory: 258428 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.04 5/257 1049943
/proc/meminfo: memFree=127868832/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=337628 memory=258428 CPUtime=3450.77 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 83233 0 6 0 344129 948 0 0 20 0 1 0 199044180 345731072 64607 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 84407 64607 4174 3002 0 68156 0
Current children cumulated CPU time: 3450.77 s
Current children cumulated vsize: 337628 KiB
Current children cumulated memory: 258428 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.04 5/257 1049954
/proc/meminfo: memFree=127866440/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=337628 memory=258428 CPUtime=3510.57 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 83305 0 6 0 350096 961 0 0 20 0 1 0 199044180 345731072 64607 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 84407 64607 4174 3002 0 68156 0
Current children cumulated CPU time: 3510.57 s
Current children cumulated vsize: 337628 KiB
Current children cumulated memory: 258428 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.11 4.04 5/254 1049964
/proc/meminfo: memFree=127864188/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=337628 memory=260476 CPUtime=3570.38 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 83379 0 6 0 356062 976 0 0 20 0 1 0 199044180 345731072 65119 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 84407 65119 4174 3002 0 68156 0
Current children cumulated CPU time: 3570.38 s
Current children cumulated vsize: 337628 KiB
Current children cumulated memory: 260476 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.11 s]
/proc/loadavg: 4.16 4.12 4.04 5/254 1050108
/proc/meminfo: memFree=128527196/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=337628 memory=260476 CPUtime=3600.09 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 83443 0 6 0 359026 983 0 0 20 0 1 0 199044180 345731072 65119 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 84407 65119 4174 3002 0 68156 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 337628 KiB
Current children cumulated memory: 260476 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.27 s, system=9.83718 s

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

[startup+3612.11 s]
/proc/loadavg: 4.16 4.12 4.04 5/254 1050108
/proc/meminfo: memFree=128527196/131524600 swapFree=131071996/131071996
[pid=1048119] ppid=1048114 vsize=337628 memory=260476 CPUtime=3600.09 cores=0,2
/proc/1048119/stat : 1048119 (mixed-bag) R 1048114 1048119 1048064 0 -1 4194304 83443 0 6 0 359026 983 0 0 20 0 1 0 199044180 345731072 65119 134679101440 4194304 16488053 140737458975632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2 0 0 18731784 18742840 24625152 140737458983957 140737458984034 140737458984034 140737458991051 0
/proc/1048119/statm: 84407 65119 4174 3002 0 68156 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 337628 KiB
Current children cumulated memory: 260476 KiB

Child status: 0

Real time (s): 3612.11
CPU time (s): 3600.11
CPU user time (s): 3590.27
CPU system time (s): 9.83718
CPU usage (%): 99.6677
Max. virtual memory (cumulated for all children) (KiB): 383884
Max. memory (cumulated for all children) (KiB): 318144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.27
system time used= 9.83718
maximum resident set size= 318144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83466
page faults= 6
swaps= 0
block input operations= 1312
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 93
involuntary context switches= 24694


# summary of solver processes directly reported to runsolver:
#   pid: 1048119
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3590.27
#   total CPU system time (s): 9.83718

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.35026 second user time and 20.6077 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2024-07-20 11:46:24
IDJOB=4454715
IDBENCH=147541
IDSOLVER=3083
FILE ID=nodeC028/4454715-1721468771
RUNJOBID= nodeC028-1721468784-1048074
SLURM_JOB_ID= 7545726
Free space on /tmp= 890068 MiB

SOLVER NAME= mixed-bag 2024-07-19
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-4454715-1721468771/watcher-4454715-1721468771 -o /tmp/evaluation-result-4454715-1721468771/solver-4454715-1721468771 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721468784-1048074 --watchdog 3760  mixed-bag HOME/instance-4454715-1721468771.opb

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

MD5SUM BENCH= 1da12ebdd4ab5e725928f3bf845b8b1e
RANDOM SEED=1274062913

nodeC028.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		: 3744.925
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.56
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		: 3751.980
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.59
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		: 3673.532
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.56
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		: 3811.926
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.59
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		: 3646.198
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.56
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		: 3610.951
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.59
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		: 3912.679
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.56
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		: 3879.983
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.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129092916 kB
MemAvailable:   129738536 kB
Buffers:          553432 kB
Cached:           940904 kB
SwapCached:            0 kB
Active:          1096432 kB
Inactive:         737476 kB
Active(anon):       1440 kB
Inactive(anon):   384044 kB
Active(file):    1094992 kB
Inactive(file):   353432 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             65172 kB
Writeback:            12 kB
AnonPages:        336784 kB
Mapped:           107260 kB
Shmem:             45912 kB
KReclaimable:      74040 kB
Slab:             181868 kB
SReclaimable:      74040 kB
SUnreclaim:       107828 kB
KernelStack:        3808 kB
PageTables:         9500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     727148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            66336 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 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:      197332 kB
DirectMap2M:    20547584 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 890004 MiB
End job on nodeC028 at 2024-07-20 12:46:36