Trace number 4523241

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
roundingsat-ihs-log 63f22ad? (TO) 3600.08 3613.44

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_260_007.opb
MD5SUM19358b71c175af654e98554c4f116d17
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-7944
Best CPU time to get the best result obtained on this benchmark0.165829
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5475
Total number of constraints181
Number of constraints which are clauses9
Number of constraints which are cardinality constraints (but not clauses)172
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint1490
Number of terms in the objective function 5474
Biggest coefficient in the objective function 260
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 629333
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 260
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 629333
Number of bits of the biggest sum of numbers20
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.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.00/0.73	c #variables 5475 #constraints 181
0.00/0.73	c objective is ce32 
0.00/0.74	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.74	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.74	c GLOBAL bounds - >= -629333 @ 0.034729
0.00/0.76	c GLOBAL bounds - >= -629333 @ 0.04844
0.00/0.78	c GLOBAL bounds - >= -629333 @ 0.063976
0.09/0.80	c GLOBAL bounds - >= -629333 @ 0.076153
0.09/0.83	c GLOBAL bounds - >= -629333 @ 0.092915
0.09/0.86	c GLOBAL bounds - >= -629333 @ 0.114743
0.09/0.88	c GLOBAL bounds - >= -629333 @ 0.126593
0.20/0.91	c GLOBAL bounds - >= -629333 @ 0.137843
0.20/0.93	c GLOBAL bounds - >= -629333 @ 0.15575
0.20/0.95	c GLOBAL bounds - >= -629333 @ 0.167825
0.20/0.97	c GLOBAL bounds - >= -629333 @ 0.178679
0.20/0.99	c GLOBAL bounds - >= -629333 @ 0.189859
0.20/1.01	c GLOBAL bounds - >= -629333 @ 0.200676
0.31/1.03	c GLOBAL bounds - >= -629333 @ 0.219018
0.31/1.05	c GLOBAL bounds - >= -629333 @ 0.232067
0.31/1.07	c GLOBAL bounds - >= -629333 @ 0.246027
0.31/1.09	c GLOBAL bounds - >= -629333 @ 0.261724
0.41/1.12	c GLOBAL bounds - >= -629333 @ 0.278329
0.41/1.14	c GLOBAL bounds - >= -629333 @ 0.290688
0.41/1.15	c GLOBAL bounds - >= -629333 @ 0.304313
0.41/1.18	c GLOBAL bounds - >= -629333 @ 0.321648
0.41/1.20	c GLOBAL bounds - >= -629333 @ 0.332852
0.49/1.22	c GLOBAL bounds - >= -629333 @ 0.34885
0.49/1.23	c GLOBAL bounds - >= -629333 @ 0.359179
0.49/1.25	c GLOBAL bounds - >= -629333 @ 0.371033
0.49/1.28	c GLOBAL bounds - >= -629333 @ 0.391747
0.49/1.30	c GLOBAL bounds - >= -629333 @ 0.404902
0.59/1.32	c GLOBAL bounds - >= -629333 @ 0.423916
0.59/1.34	c GLOBAL bounds - >= -629333 @ 0.436747
0.59/1.37	c GLOBAL bounds - >= -629333 @ 0.469365
0.59/1.39	c GLOBAL bounds - >= -629333 @ 0.481893
0.69/1.41	c GLOBAL bounds - >= -629333 @ 0.495697
0.69/1.45	c GLOBAL bounds - >= -629333 @ 0.530596
0.69/1.48	c GLOBAL bounds - >= -629333 @ 0.551567
0.79/1.50	c GLOBAL bounds - >= -629333 @ 0.564004
0.79/1.52	c GLOBAL bounds - >= -629333 @ 0.576056
0.79/1.54	c GLOBAL bounds - >= -629333 @ 0.596299
0.79/1.56	c GLOBAL bounds - >= -629333 @ 0.606803
0.79/1.59	c GLOBAL bounds - >= -629333 @ 0.626209
0.89/1.62	c GLOBAL bounds - >= -629333 @ 0.648243
0.89/1.64	c GLOBAL bounds - >= -629333 @ 0.663318
0.89/1.65	c GLOBAL bounds - >= -629333 @ 0.671903
0.89/1.66	c GLOBAL bounds - >= -629333 @ 0.678163
0.89/1.68	c GLOBAL bounds - >= -629333 @ 0.686982
0.89/1.69	c GLOBAL bounds - >= -629333 @ 0.694979
0.98/1.71	c GLOBAL bounds - >= -629333 @ 0.709476
0.98/1.72	c GLOBAL bounds - >= -629333 @ 0.71973
0.98/1.74	c GLOBAL bounds - >= -629333 @ 0.730554
0.98/1.76	c GLOBAL bounds - >= -629333 @ 0.74385
0.98/1.77	c GLOBAL bounds - >= -629333 @ 0.752777
0.98/1.79	c GLOBAL bounds - >= -629333 @ 0.766283
1.09/1.81	c GLOBAL bounds - >= -629333 @ 0.777824
1.09/1.82	c GLOBAL bounds - >= -629333 @ 0.79149
1.09/1.84	c GLOBAL bounds - >= -629333 @ 0.801521
1.09/1.87	c GLOBAL bounds - >= -629333 @ 0.825361
1.19/1.91	c GLOBAL bounds - >= -629333 @ 0.85853
1.19/1.92	c GLOBAL bounds - >= -629333 @ 0.870354
1.19/1.94	c GLOBAL bounds - >= -629333 @ 0.880368
1.19/1.96	c GLOBAL bounds - >= -629333 @ 0.892183
1.19/1.97	c GLOBAL bounds - >= -629333 @ 0.901313
1.19/1.99	c GLOBAL bounds - >= -629333 @ 0.911791
1.30/2.01	c GLOBAL bounds - >= -629333 @ 0.927404
1.30/2.04	c GLOBAL bounds - >= -629333 @ 0.950523
1.30/2.08	c GLOBAL bounds - >= -629333 @ 0.978967
1.40/2.18	c GLOBAL bounds - >= -629333 @ 1.07774
1.49/2.28	c GLOBAL bounds - >= -629333 @ 1.16533
1.59/2.30	c GLOBAL bounds - >= -629333 @ 1.18513
1.59/2.32	c GLOBAL bounds - >= -629333 @ 1.19446
1.59/2.37	c GLOBAL bounds - >= -629333 @ 1.2374
1.99/2.77	c GLOBAL bounds - >= -629333 @ 1.62756
1.99/2.78	c GLOBAL bounds - >= -629333 @ 1.63964
2.09/2.82	c GLOBAL bounds - >= -629333 @ 1.66998
2.30/3.03	c GLOBAL bounds - >= -629333 @ 1.87334
2.30/3.06	c GLOBAL bounds - >= -629333 @ 1.89793
3.18/3.93	c GLOBAL bounds - >= -629333 @ 2.75164
3.97/4.74	c GLOBAL bounds - >= -629333 @ 3.54531
4.48/5.23	c GLOBAL bounds - >= -629333 @ 4.01848
4.70/5.44	c GLOBAL bounds - >= -629333 @ 4.21601
4.88/5.67	c GLOBAL bounds - >= -629333 @ 4.44766
4.97/5.71	c GLOBAL bounds - >= -629333 @ 4.48295
6.47/7.22	c #Conflicts:       1000 | #Constraints:       1337
6.47/7.22	c GLOBAL bounds - >= -629333 @ 5.97518
6.77/7.50	c GLOBAL bounds - >= -629333 @ 6.25011
7.28/8.06	c GLOBAL bounds - >= -629333 @ 6.80021
7.47/8.22	c GLOBAL bounds - >= -629333 @ 6.95278
7.56/8.35	c GLOBAL bounds - >= -629333 @ 7.0808
7.77/8.51	c GLOBAL bounds - >= -629333 @ 7.23916
7.97/8.75	c GLOBAL bounds - >= -629333 @ 7.47038
8.66/9.49	c GLOBAL bounds - >= -629333 @ 8.19615
9.06/9.88	c GLOBAL bounds - >= -629333 @ 8.57779
9.16/10.01	c GLOBAL bounds - >= -629333 @ 8.70329
9.27/10.10	c GLOBAL bounds - >= -629333 @ 8.79097
9.37/10.16	c GLOBAL bounds - >= -629333 @ 8.84425
10.75/11.54	c GLOBAL bounds - >= -629333 @ 10.212
12.37/13.13	c #Conflicts:       2000 | #Constraints:       2363
12.37/13.13	c INPROCESSING
12.37/13.13	c GARBAGE COLLECT
12.37/13.13	c GLOBAL bounds - >= -629333 @ 11.7837
15.44/16.26	c GLOBAL bounds - >= -629333 @ 14.8825
15.54/16.39	c GLOBAL bounds - >= -629333 @ 15.0126
27.61/28.47	c #Conflicts:       3000 | #Constraints:       2377
27.61/28.47	c #Conflicts:       4000 | #Constraints:       3377
27.61/28.47	c INPROCESSING
27.61/28.47	c GARBAGE COLLECT
27.61/28.47	c GLOBAL bounds - >= -629333 @ 26.9724
27.70/28.52	c GLOBAL bounds - >= -629333 @ 27.0192
27.80/28.66	c GLOBAL bounds - >= -629333 @ 27.1571
27.90/28.70	c GLOBAL bounds - >= -629333 @ 27.1894
30.00/30.83	c GLOBAL bounds - >= -629333 @ 29.2997
30.31/31.12	c GLOBAL bounds - >= -629333 @ 29.5858
30.31/31.19	c GLOBAL bounds - >= -629333 @ 29.6525
30.60/31.41	c GLOBAL bounds - >= -629333 @ 29.8654
32.69/33.57	c GLOBAL bounds - >= -629333 @ 31.9881
32.98/33.87	c GLOBAL bounds - >= -629333 @ 32.2911
34.98/35.82	c #Conflicts:       5000 | #Constraints:       2798
34.98/35.82	c GLOBAL bounds - >= -629333 @ 34.2179
64.29/65.29	c #Conflicts:       6000 | #Constraints:       3800
64.29/65.29	c INPROCESSING
64.29/65.29	c GARBAGE COLLECT
64.29/65.29	c #Conflicts:       7000 | #Constraints:       2809
64.29/65.29	c #Conflicts:       8000 | #Constraints:       3809
64.29/65.29	c #Conflicts:       9000 | #Constraints:       4809
64.29/65.29	c GLOBAL bounds - >= -629333 @ 63.429
64.78/65.70	c GLOBAL bounds - >= -629333 @ 63.8291
64.89/65.83	c GLOBAL bounds - >= -629333 @ 63.9511
64.99/65.90	c GLOBAL bounds - >= -629333 @ 64.0266
66.38/67.39	c INPROCESSING
66.38/67.39	c GARBAGE COLLECT
66.38/67.39	c GLOBAL bounds - >= -629333 @ 65.4833
67.48/68.45	c GLOBAL bounds - >= -629333 @ 66.5313
71.96/72.97	c GLOBAL bounds - >= -629333 @ 71.021
72.46/73.48	c GLOBAL bounds - >= -629333 @ 71.5228
73.26/74.20	c GLOBAL bounds - >= -629333 @ 72.2359
95.10/96.19	c #Conflicts:      10000 | #Constraints:       3529
95.10/96.19	c #Conflicts:      11000 | #Constraints:       4529
95.10/96.19	c GLOBAL bounds - >= -629333 @ 94.0967
113.53/114.65	c #Conflicts:      12000 | #Constraints:       5531
113.53/114.65	c INPROCESSING
113.53/114.65	c GARBAGE COLLECT
113.53/114.65	c GLOBAL bounds - >= -629333 @ 112.427
152.29/153.59	c #Conflicts:      13000 | #Constraints:       3980
152.29/153.59	c #Conflicts:      14000 | #Constraints:       4980
152.29/153.59	c #Conflicts:      15000 | #Constraints:       5980
152.29/153.59	c INPROCESSING
152.29/153.59	c GARBAGE COLLECT
152.29/153.59	c GLOBAL bounds - >= -629333 @ 151.122
153.80/155.03	c GLOBAL bounds - >= -629333 @ 152.56
194.44/195.88	c #Conflicts:      16000 | #Constraints:       4205
194.44/195.88	c #Conflicts:      17000 | #Constraints:       5205
194.44/195.88	c #Conflicts:      18000 | #Constraints:       6205
194.44/195.88	c INPROCESSING
194.44/195.88	c GARBAGE COLLECT
194.44/195.88	c GLOBAL bounds - >= -629333 @ 193.142
258.13/259.75	c #Conflicts:      19000 | #Constraints:       4226
258.13/259.75	c #Conflicts:      20000 | #Constraints:       5226
258.13/259.75	c #Conflicts:      21000 | #Constraints:       6226
258.13/259.75	c INPROCESSING
258.13/259.75	c GARBAGE COLLECT
258.13/259.75	c #Conflicts:      22000 | #Constraints:       4035
258.13/259.75	c #Conflicts:      23000 | #Constraints:       5035
258.13/259.75	c GLOBAL bounds - >= -629333 @ 256.506
258.23/259.88	c GLOBAL bounds - >= -629333 @ 256.635
273.40/275.09	c #Conflicts:      24000 | #Constraints:       6039
273.40/275.09	c GLOBAL bounds - >= -629333 @ 271.752
299.20/300.96	c #Conflicts:      25000 | #Constraints:       7041
299.20/300.96	c INPROCESSING
299.20/300.96	c GARBAGE COLLECT
299.20/300.96	c GLOBAL bounds - >= -629333 @ 297.445
415.11/417.22	c #Conflicts:      26000 | #Constraints:       4651
415.11/417.22	c #Conflicts:      27000 | #Constraints:       5651
415.11/417.22	c #Conflicts:      28000 | #Constraints:       6651
415.11/417.22	c #Conflicts:      29000 | #Constraints:       7651
415.11/417.22	c INPROCESSING
415.11/417.22	c GARBAGE COLLECT
415.11/417.22	c #Conflicts:      30000 | #Constraints:       5063
415.11/417.22	c #Conflicts:      31000 | #Constraints:       6063
415.11/417.22	c #Conflicts:      32000 | #Constraints:       7063
415.11/417.22	c GLOBAL bounds - >= -629333 @ 412.946
607.70/610.59	c #Conflicts:      33000 | #Constraints:       8065
607.70/610.59	c INPROCESSING
607.70/610.59	c GARBAGE COLLECT
607.70/610.59	c #Conflicts:      34000 | #Constraints:       5257
607.70/610.59	c #Conflicts:      35000 | #Constraints:       6257
607.70/610.59	c #Conflicts:      36000 | #Constraints:       7257
607.70/610.59	c #Conflicts:      37000 | #Constraints:       8257
607.70/610.59	c INPROCESSING
607.70/610.59	c GARBAGE COLLECT
607.70/610.59	c #Conflicts:      38000 | #Constraints:       5261
607.70/610.59	c #Conflicts:      39000 | #Constraints:       6261
607.70/610.59	c #Conflicts:      40000 | #Constraints:       7261
607.70/610.59	c #Conflicts:      41000 | #Constraints:       8261
607.70/610.59	c INPROCESSING
607.70/610.59	c GARBAGE COLLECT
607.70/610.59	c #Conflicts:      42000 | #Constraints:       5066
607.70/610.59	c #Conflicts:      43000 | #Constraints:       6066
607.70/610.59	c #Conflicts:      44000 | #Constraints:       7066
607.70/610.59	c #Conflicts:      45000 | #Constraints:       8066
607.70/610.59	c GLOBAL bounds - >= -629333 @ 604.898
642.27/645.21	c #Conflicts:      46000 | #Constraints:       9068
642.27/645.21	c INPROCESSING
642.27/645.21	c GARBAGE COLLECT
642.27/645.21	c #Conflicts:      47000 | #Constraints:       5674
642.27/645.21	c #Conflicts:      48000 | #Constraints:       6674
642.27/645.21	c GLOBAL bounds - >= -629333 @ 639.225
841.03/844.75	c #Conflicts:      49000 | #Constraints:       7676
841.03/844.75	c #Conflicts:      50000 | #Constraints:       8676
841.03/844.75	c #Conflicts:      51000 | #Constraints:       9676
841.03/844.75	c INPROCESSING
841.03/844.75	c GARBAGE COLLECT
841.03/844.75	c #Conflicts:      52000 | #Constraints:       6071
841.03/844.75	c #Conflicts:      53000 | #Constraints:       7071
841.03/844.75	c #Conflicts:      54000 | #Constraints:       8071
841.03/844.75	c #Conflicts:      55000 | #Constraints:       9071
841.03/844.75	c #Conflicts:      56000 | #Constraints:      10071
841.03/844.75	c INPROCESSING
841.03/844.75	c GARBAGE COLLECT
841.03/844.75	c #Conflicts:      57000 | #Constraints:       6278
841.03/844.75	c #Conflicts:      58000 | #Constraints:       7278
841.03/844.75	c #Conflicts:      59000 | #Constraints:       8278
841.03/844.75	c #Conflicts:      60000 | #Constraints:       9278
841.03/844.75	c GLOBAL bounds - >= -629333 @ 837.272
1452.55/1458.58	c #Conflicts:      61000 | #Constraints:      10280
1452.55/1458.58	c INPROCESSING
1452.55/1458.58	c GARBAGE COLLECT
1452.55/1458.58	c #Conflicts:      62000 | #Constraints:       6283
1452.55/1458.58	c #Conflicts:      63000 | #Constraints:       7283
1452.55/1458.58	c #Conflicts:      64000 | #Constraints:       8283
1452.55/1458.58	c #Conflicts:      65000 | #Constraints:       9283
1452.55/1458.58	c #Conflicts:      66000 | #Constraints:      10283
1452.55/1458.58	c INPROCESSING
1452.55/1458.58	c GARBAGE COLLECT
1452.55/1458.58	c #Conflicts:      67000 | #Constraints:       6086
1452.55/1458.58	c #Conflicts:      68000 | #Constraints:       7086
1452.55/1458.58	c #Conflicts:      69000 | #Constraints:       8086
1452.55/1458.58	c #Conflicts:      70000 | #Constraints:       9086
1452.55/1458.58	c #Conflicts:      71000 | #Constraints:      10086
1452.55/1458.58	c #Conflicts:      72000 | #Constraints:      11086
1452.55/1458.58	c INPROCESSING
1452.55/1458.58	c GARBAGE COLLECT
1452.55/1458.58	c #Conflicts:      73000 | #Constraints:       6693
1452.55/1458.58	c #Conflicts:      74000 | #Constraints:       7693
1452.55/1458.58	c #Conflicts:      75000 | #Constraints:       8693
1452.55/1458.58	c #Conflicts:      76000 | #Constraints:       9693
1452.55/1458.58	c #Conflicts:      77000 | #Constraints:      10693
1452.55/1458.58	c #Conflicts:      78000 | #Constraints:      11693
1452.55/1458.58	c INPROCESSING
1452.55/1458.58	c GARBAGE COLLECT
1452.55/1458.58	c #Conflicts:      79000 | #Constraints:       7089
1452.55/1458.58	c #Conflicts:      80000 | #Constraints:       8089
1452.55/1458.58	c #Conflicts:      81000 | #Constraints:       9089
1452.55/1458.58	c #Conflicts:      82000 | #Constraints:      10089
1452.55/1458.58	c #Conflicts:      83000 | #Constraints:      11089
1452.55/1458.58	c #Conflicts:      84000 | #Constraints:      12089
1452.55/1458.58	c INPROCESSING
1452.55/1458.58	c GARBAGE COLLECT
1452.55/1458.58	c #Conflicts:      85000 | #Constraints:       7282
1452.55/1458.58	c #Conflicts:      86000 | #Constraints:       8282
1452.55/1458.58	c #Conflicts:      87000 | #Constraints:       9282
1452.55/1458.58	c #Conflicts:      88000 | #Constraints:      10282
1452.55/1458.58	c #Conflicts:      89000 | #Constraints:      11282
1452.55/1458.58	c #Conflicts:      90000 | #Constraints:      12282
1452.55/1458.58	c INPROCESSING
1452.55/1458.58	c GARBAGE COLLECT
1452.55/1458.58	c #Conflicts:      91000 | #Constraints:       7274
1452.55/1458.58	c #Conflicts:      92000 | #Constraints:       8274
1452.55/1458.58	c #Conflicts:      93000 | #Constraints:       9274
1452.55/1458.58	c #Conflicts:      94000 | #Constraints:      10274
1452.55/1458.58	c #Conflicts:      95000 | #Constraints:      11274
1452.55/1458.58	c #Conflicts:      96000 | #Constraints:      12274
1452.55/1458.58	c INPROCESSING
1452.55/1458.58	c GARBAGE COLLECT
1452.55/1458.58	c #Conflicts:      97000 | #Constraints:       7080
1452.55/1458.58	c GLOBAL bounds - >= -629333 @ 1446.73
1486.32/1492.46	c #Conflicts:      98000 | #Constraints:       8082
1486.32/1492.46	c #Conflicts:      99000 | #Constraints:       9082
1486.32/1492.46	c #Conflicts:     100000 | #Constraints:      10082
1486.32/1492.46	c #Conflicts:     101000 | #Constraints:      11082
1486.32/1492.46	c GLOBAL bounds - >= -629333 @ 1480.29
1507.84/1514.09	c #Conflicts:     102000 | #Constraints:      12084
1507.84/1514.09	c GLOBAL bounds - >= -629333 @ 1501.77
1565.73/1572.16	c #Conflicts:     103000 | #Constraints:      13086
1565.73/1572.16	c INPROCESSING
1565.73/1572.16	c GARBAGE COLLECT
1565.73/1572.16	c #Conflicts:     104000 | #Constraints:       7685
1565.73/1572.16	c #Conflicts:     105000 | #Constraints:       8685
1565.73/1572.16	c #Conflicts:     106000 | #Constraints:       9685
1565.73/1572.16	c GLOBAL bounds - >= -629333 @ 1559.4
1729.90/1736.98	c #Conflicts:     107000 | #Constraints:      10687
1729.90/1736.98	c #Conflicts:     108000 | #Constraints:      11687
1729.90/1736.98	c #Conflicts:     109000 | #Constraints:      12687
1729.90/1736.98	c #Conflicts:     110000 | #Constraints:      13687
1729.90/1736.98	c INPROCESSING
1729.90/1736.98	c GARBAGE COLLECT
1729.90/1736.98	c #Conflicts:     111000 | #Constraints:       8077
1729.90/1736.98	c #Conflicts:     112000 | #Constraints:       9077
1729.90/1736.98	c #Conflicts:     113000 | #Constraints:      10077
1729.90/1736.98	c #Conflicts:     114000 | #Constraints:      11077
1729.90/1736.98	c #Conflicts:     115000 | #Constraints:      12077
1729.90/1736.98	c GLOBAL bounds - >= -629333 @ 1723.06
1731.29/1738.39	c GLOBAL bounds - >= -629333 @ 1724.46
1772.74/1779.92	c #Conflicts:     116000 | #Constraints:      13081
1772.74/1779.92	c #Conflicts:     117000 | #Constraints:      14081
1772.74/1779.92	c INPROCESSING
1772.74/1779.92	c GARBAGE COLLECT
1772.74/1779.92	c GLOBAL bounds - >= -629333 @ 1765.73
1837.09/1844.59	c #Conflicts:     118000 | #Constraints:       8292
1837.09/1844.59	c #Conflicts:     119000 | #Constraints:       9292
1837.09/1844.59	c #Conflicts:     120000 | #Constraints:      10292
1837.09/1844.59	c #Conflicts:     121000 | #Constraints:      11292
1837.09/1844.59	c #Conflicts:     122000 | #Constraints:      12292
1837.09/1844.59	c GLOBAL bounds - >= -629333 @ 1829.86
1858.31/1865.86	c #Conflicts:     123000 | #Constraints:      13294
1858.31/1865.86	c GLOBAL bounds - >= -629333 @ 1850.98
1926.05/1933.87	c #Conflicts:     124000 | #Constraints:      14296
1926.05/1933.87	c INPROCESSING
1926.05/1933.87	c GARBAGE COLLECT
1926.05/1933.87	c #Conflicts:     125000 | #Constraints:       8282
1926.05/1933.87	c #Conflicts:     126000 | #Constraints:       9282
1926.05/1933.87	c GLOBAL bounds - >= -629333 @ 1918.55
1927.16/1934.94	c GLOBAL bounds - >= -629333 @ 1919.61
1952.76/1960.68	c #Conflicts:     127000 | #Constraints:      10286
1952.76/1960.68	c #Conflicts:     128000 | #Constraints:      11286
1952.76/1960.68	c GLOBAL bounds - >= -629333 @ 1945.17
1973.58/1981.57	c #Conflicts:     129000 | #Constraints:      12288
1973.58/1981.57	c GLOBAL bounds - >= -629333 @ 1965.9
2581.76/2591.86	c #Conflicts:     130000 | #Constraints:      13290
2581.76/2591.86	c #Conflicts:     131000 | #Constraints:      14290
2581.76/2591.86	c INPROCESSING
2581.76/2591.86	c GARBAGE COLLECT
2581.76/2591.86	c #Conflicts:     132000 | #Constraints:       8099
2581.76/2591.86	c #Conflicts:     133000 | #Constraints:       9099
2581.76/2591.86	c #Conflicts:     134000 | #Constraints:      10099
2581.76/2591.86	c #Conflicts:     135000 | #Constraints:      11099
2581.76/2591.86	c #Conflicts:     136000 | #Constraints:      12099
2581.76/2591.86	c #Conflicts:     137000 | #Constraints:      13099
2581.76/2591.86	c #Conflicts:     138000 | #Constraints:      14099
2581.76/2591.86	c #Conflicts:     139000 | #Constraints:      15099
2581.76/2591.86	c INPROCESSING
2581.76/2591.86	c GARBAGE COLLECT
2581.76/2591.86	c #Conflicts:     140000 | #Constraints:       8702
2581.76/2591.86	c #Conflicts:     141000 | #Constraints:       9702
2581.76/2591.86	c #Conflicts:     142000 | #Constraints:      10702
2581.76/2591.86	c #Conflicts:     143000 | #Constraints:      11702
2581.76/2591.86	c #Conflicts:     144000 | #Constraints:      12702
2581.76/2591.86	c #Conflicts:     145000 | #Constraints:      13702
2581.76/2591.86	c #Conflicts:     146000 | #Constraints:      14702
2581.76/2591.86	c #Conflicts:     147000 | #Constraints:      15702
2581.76/2591.86	c INPROCESSING
2581.76/2591.86	c GARBAGE COLLECT
2581.76/2591.86	c #Conflicts:     148000 | #Constraints:       9096
2581.76/2591.86	c #Conflicts:     149000 | #Constraints:      10096
2581.76/2591.86	c #Conflicts:     150000 | #Constraints:      11096
2581.76/2591.86	c #Conflicts:     151000 | #Constraints:      12096
2581.76/2591.86	c #Conflicts:     152000 | #Constraints:      13096
2581.76/2591.86	c #Conflicts:     153000 | #Constraints:      14096
2581.76/2591.86	c #Conflicts:     154000 | #Constraints:      15096
2581.76/2591.86	c #Conflicts:     155000 | #Constraints:      16096
2581.76/2591.86	c INPROCESSING
2581.76/2591.86	c GARBAGE COLLECT
2581.76/2591.86	c #Conflicts:     156000 | #Constraints:       9302
2581.76/2591.86	c #Conflicts:     157000 | #Constraints:      10302
2581.76/2591.86	c #Conflicts:     158000 | #Constraints:      11302
2581.76/2591.86	c #Conflicts:     159000 | #Constraints:      12302
2581.76/2591.86	c #Conflicts:     160000 | #Constraints:      13302
2581.76/2591.86	c #Conflicts:     161000 | #Constraints:      14302
2581.76/2591.86	c #Conflicts:     162000 | #Constraints:      15302
2581.76/2591.86	c #Conflicts:     163000 | #Constraints:      16302
2581.76/2591.86	c INPROCESSING
2581.76/2591.86	c GARBAGE COLLECT
2581.76/2591.86	c #Conflicts:     164000 | #Constraints:       9318
2581.76/2591.86	c #Conflicts:     165000 | #Constraints:      10318
2581.76/2591.86	c #Conflicts:     166000 | #Constraints:      11318
2581.76/2591.86	c GLOBAL bounds - >= -629333 @ 2571.55
2689.20/2699.67	c #Conflicts:     167000 | #Constraints:      12320
2689.20/2699.67	c #Conflicts:     168000 | #Constraints:      13320
2689.20/2699.67	c #Conflicts:     169000 | #Constraints:      14320
2689.20/2699.67	c #Conflicts:     170000 | #Constraints:      15320
2689.20/2699.67	c #Conflicts:     171000 | #Constraints:      16320
2689.20/2699.67	c INPROCESSING
2689.20/2699.67	c GARBAGE COLLECT
2689.20/2699.67	c #Conflicts:     172000 | #Constraints:       9106
2689.20/2699.67	c #Conflicts:     173000 | #Constraints:      10106
2689.20/2699.67	c #Conflicts:     174000 | #Constraints:      11106
2689.20/2699.67	c #Conflicts:     175000 | #Constraints:      12106
2689.20/2699.67	c GLOBAL bounds - >= -629333 @ 2678.4
2846.60/2857.56	c #Conflicts:     176000 | #Constraints:      13108
2846.60/2857.56	c #Conflicts:     177000 | #Constraints:      14108
2846.60/2857.56	c #Conflicts:     178000 | #Constraints:      15108
2846.60/2857.56	c #Conflicts:     179000 | #Constraints:      16108
2846.60/2857.56	c #Conflicts:     180000 | #Constraints:      17108
2846.60/2857.56	c INPROCESSING
2846.60/2857.56	c GARBAGE COLLECT
2846.60/2857.56	c #Conflicts:     181000 | #Constraints:       9701
2846.60/2857.56	c #Conflicts:     182000 | #Constraints:      10701
2846.60/2857.56	c #Conflicts:     183000 | #Constraints:      11701
2846.60/2857.56	c #Conflicts:     184000 | #Constraints:      12701
2846.60/2857.56	c #Conflicts:     185000 | #Constraints:      13701
2846.60/2857.56	c #Conflicts:     186000 | #Constraints:      14701
2846.60/2857.56	c #Conflicts:     187000 | #Constraints:      15701
2846.60/2857.56	c #Conflicts:     188000 | #Constraints:      16701
2846.60/2857.56	c GLOBAL bounds - >= -629333 @ 2834.99
2847.00/2857.97	c GLOBAL bounds - >= -629333 @ 2835.4
2847.30/2858.30	c GLOBAL bounds - >= -629333 @ 2835.72
3258.81/3271.06	c #Conflicts:     189000 | #Constraints:      17707
3258.81/3271.06	c INPROCESSING
3258.81/3271.06	c GARBAGE COLLECT
3258.81/3271.06	c #Conflicts:     190000 | #Constraints:      10120
3258.81/3271.06	c #Conflicts:     191000 | #Constraints:      11120
3258.81/3271.06	c #Conflicts:     192000 | #Constraints:      12120
3258.81/3271.06	c #Conflicts:     193000 | #Constraints:      13120
3258.81/3271.06	c #Conflicts:     194000 | #Constraints:      14120
3258.81/3271.06	c #Conflicts:     195000 | #Constraints:      15120
3258.81/3271.06	c #Conflicts:     196000 | #Constraints:      16120
3258.81/3271.06	c #Conflicts:     197000 | #Constraints:      17120
3258.81/3271.06	c #Conflicts:     198000 | #Constraints:      18120
3258.81/3271.06	c INPROCESSING
3258.81/3271.06	c GARBAGE COLLECT
3258.81/3271.06	c #Conflicts:     199000 | #Constraints:      10312
3258.81/3271.06	c #Conflicts:     200000 | #Constraints:      11312
3258.81/3271.06	c #Conflicts:     201000 | #Constraints:      12312
3258.81/3271.06	c #Conflicts:     202000 | #Constraints:      13312
3258.81/3271.06	c #Conflicts:     203000 | #Constraints:      14312
3258.81/3271.06	c #Conflicts:     204000 | #Constraints:      15312
3258.81/3271.06	c #Conflicts:     205000 | #Constraints:      16312
3258.81/3271.06	c #Conflicts:     206000 | #Constraints:      17312
3258.81/3271.06	c #Conflicts:     207000 | #Constraints:      18312
3258.81/3271.06	c INPROCESSING
3258.81/3271.06	c GARBAGE COLLECT
3258.81/3271.06	c #Conflicts:     208000 | #Constraints:      10312
3258.81/3271.06	c #Conflicts:     209000 | #Constraints:      11312
3258.81/3271.06	c #Conflicts:     210000 | #Constraints:      12312
3258.81/3271.06	c #Conflicts:     211000 | #Constraints:      13312
3258.81/3271.06	c #Conflicts:     212000 | #Constraints:      14312
3258.81/3271.06	c #Conflicts:     213000 | #Constraints:      15312
3258.81/3271.06	c #Conflicts:     214000 | #Constraints:      16312
3258.81/3271.06	c #Conflicts:     215000 | #Constraints:      17312
3258.81/3271.06	c #Conflicts:     216000 | #Constraints:      18312
3258.81/3271.06	c INPROCESSING
3258.81/3271.06	c GARBAGE COLLECT
3258.81/3271.06	c #Conflicts:     217000 | #Constraints:      10118
3258.81/3271.06	c #Conflicts:     218000 | #Constraints:      11118
3258.81/3271.06	c GLOBAL bounds - >= -629333 @ 3245.17
3369.75/3382.37	c #Conflicts:     219000 | #Constraints:      12120
3369.75/3382.37	c #Conflicts:     220000 | #Constraints:      13120
3369.75/3382.37	c #Conflicts:     221000 | #Constraints:      14120
3369.75/3382.37	c #Conflicts:     222000 | #Constraints:      15120
3369.75/3382.37	c #Conflicts:     223000 | #Constraints:      16120
3369.75/3382.37	c #Conflicts:     224000 | #Constraints:      17120
3369.75/3382.37	c #Conflicts:     225000 | #Constraints:      18120
3369.75/3382.37	c #Conflicts:     226000 | #Constraints:      19120
3369.75/3382.37	c INPROCESSING
3369.75/3382.37	c GARBAGE COLLECT
3369.75/3382.37	c #Conflicts:     227000 | #Constraints:      10714
3369.75/3382.37	c #Conflicts:     228000 | #Constraints:      11714
3369.75/3382.37	c #Conflicts:     229000 | #Constraints:      12714
3369.75/3382.37	c #Conflicts:     230000 | #Constraints:      13714
3369.75/3382.37	c #Conflicts:     231000 | #Constraints:      14714
3369.75/3382.37	c #Conflicts:     232000 | #Constraints:      15714
3369.75/3382.37	c GLOBAL bounds - >= -629333 @ 3355.43
3600.03/3613.30	c #Conflicts:     233000 | #Constraints:      16716
3600.03/3613.30	c #Conflicts:     234000 | #Constraints:      17716
3600.03/3613.30	c #Conflicts:     235000 | #Constraints:      18716
3600.03/3613.30	c #Conflicts:     236000 | #Constraints:      19716
3600.03/3613.30	c INPROCESSING
3600.03/3613.30	c GARBAGE COLLECT
3600.03/3613.30	c #Conflicts:     237000 | #Constraints:      11106
3600.03/3613.30	c #Conflicts:     238000 | #Constraints:      12106
3600.03/3613.30	c #Conflicts:     239000 | #Constraints:      13106
3600.03/3613.30	c #Conflicts:     240000 | #Constraints:      14106
3600.03/3613.30	c #Conflicts:     241000 | #Constraints:      15106
3600.03/3613.30	c #Conflicts:     242000 | #Constraints:      16106
3600.03/3613.30	c #Conflicts:     243000 | #Constraints:      17106
3600.03/3613.30	c #Conflicts:     244000 | #Constraints:      18106
3600.03/3613.30	c #Conflicts:     245000 | #Constraints:      19106
3600.03/3613.30	c #Conflicts:     246000 | #Constraints:      20106
3600.03/3613.30	c INPROCESSING
3600.03/3613.30	c GARBAGE COLLECT
3600.03/3613.30	c #Conflicts:     247000 | #Constraints:      11309
3600.03/3613.30	c #Conflicts:     248000 | #Constraints:      12309
3600.03/3613.30	c #Conflicts:     249000 | #Constraints:      13309
3600.03/3613.30	c #Conflicts:     250000 | #Constraints:      14309
3600.03/3613.30	c cpu time 3584.57 s
3600.03/3613.30	c deterministic time 1 1.00e+00
3600.03/3613.30	c optimization time 3584.54 s
3600.03/3613.30	c total solve time 0 s
3600.03/3613.30	c core-guided solve time 0 s
3600.03/3613.30	c propagation time 0.00026 s
3600.03/3613.30	c conflict analysis time 0 s
3600.03/3613.30	c propagations 0
3600.03/3613.30	c resolve steps 0
3600.03/3613.30	c decisions 0
3600.03/3613.30	c conflicts 0
3600.03/3613.30	c restarts 0
3600.03/3613.30	c inprocessing phases 0
3600.03/3613.30	c garbage collections 0 ,( -nan )
3600.03/3613.30	c input clauses 9 ,( 4.97 )
3600.03/3613.30	c input cardinalities 172 ,( 95.03 )
3600.03/3613.30	c input general constraints 0 ,( 0.00 )
3600.03/3613.30	c input average constraint length 88.64
3600.03/3613.30	c input average constraint degree 87.64
3600.03/3613.30	c learned clauses 0 ,( 0.00 )
3600.03/3613.30	c learned cardinalities 0 ,( 0.00 )
3600.03/3613.30	c learned general constraints 0 ,( 0.00 )
3600.03/3613.30	c learned average constraint length 0.00
3600.03/3613.30	c learned average constraint degree 0.00
3600.03/3613.30	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.03/3613.30	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.03/3613.30	c watched   constraints 0 ,( -nan ) 
3600.03/3613.30	c counting  constraints 0 ,( -nan ) 
3600.03/3613.30	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.03/3613.30	c gcd simplifications 0
3600.03/3613.30	c detected cardinalities 0
3600.03/3613.30	c weakened non-implied lits 0
3600.03/3613.30	c weakened non-implying lits 0
3600.03/3613.30	c original variables 5475
3600.03/3613.30	c clausal propagations 0
3600.03/3613.30	c cardinality propagations 0
3600.03/3613.30	c watched propagations 0
3600.03/3613.30	c counting propagations 0
3600.03/3613.30	c watch lookups 0
3600.03/3613.30	c watch backjump lookups 0
3600.03/3613.30	c watch checks 0
3600.03/3613.30	c propagation checks 0
3600.03/3613.30	c constraint additions 0
3600.03/3613.30	c trail pops 0
3600.03/3613.30	c formula constraints 181
3600.03/3613.30	c learned constraints 0
3600.03/3613.30	c bound constraints 0
3600.03/3613.30	c core-guided constraints 0
3600.03/3613.30	c encountered formula constraints 0
3600.03/3613.30	c encountered learned constraints 0
3600.03/3613.30	c encountered bound constraints 0
3600.03/3613.30	c encountered core-guided constraints 0
3600.03/3613.30	c LP total time 0 s
3600.03/3613.30	c LP solve time 0 s
3600.03/3613.30	c LP constraints added 0
3600.03/3613.30	c LP constraints removed 0
3600.03/3613.30	c LP pivots internal 0
3600.03/3613.30	c LP pivots root 0
3600.03/3613.30	c LP calls 0
3600.03/3613.30	c LP optimalities 0
3600.03/3613.30	c LP no pivot count 0
3600.03/3613.30	c LP infeasibilities 0
3600.03/3613.30	c LP valid Farkas constraints 0
3600.03/3613.30	c LP learned Farkas constraints 0
3600.03/3613.30	c LP basis resets 0
3600.03/3613.30	c LP cycling count 0
3600.03/3613.30	c LP singular count 0
3600.03/3613.30	c LP no primal count 0
3600.03/3613.30	c LP no farkas count 0
3600.03/3613.30	c LP other issue count 0
3600.03/3613.30	c LP Gomory cuts 0
3600.03/3613.30	c LP learned cuts 0
3600.03/3613.30	c LP deleted cuts 0
3600.03/3613.30	c LP encountered Gomory constraints 0
3600.03/3613.30	c LP encountered Farkas constraints 0
3600.03/3613.30	c LP encountered learned Farkas constraints 0
3600.03/3613.30	c CG auxiliary variables introduced 0
3600.03/3613.30	c CG solutions found 0
3600.03/3613.30	c CG cores constructed 0
3600.03/3613.30	c CG core cardinality constraints returned 0
3600.03/3613.30	c CG unit cores 0
3600.03/3613.30	c CG single cores 0
3600.03/3613.30	c CG blocks removed during cardinality reduction 0
3600.03/3613.30	c CG first core best 0
3600.03/3613.30	c CG decision core best 0
3600.03/3613.30	c CG core reduction tie 0
3600.03/3613.30	c CG core degree average 0.00
3600.03/3613.30	c CG core slack average 0.00
3600.03/3613.30	c CG core upper bound improvements 0
3600.03/3613.30	c STR number of successful calls 0
3600.03/3613.30	c STR number of unsuccessful calls 0
3600.03/3613.30	c STR number of inconclusive calls 0
3600.03/3613.30	c STR number of successful attempts 0
3600.03/3613.30	c STR number of unsuccessful attempts 0
3600.03/3613.30	c STR number of inconclusive attempts 0
3600.03/3613.30	c STR average degree increase per successful call inf
3600.03/3613.30	c STR average degree increase per successful attempt inf
3600.03/3613.30	c STR total number of conflicts for successful attempts 0
3600.03/3613.30	c STR total number of conflicts for unsuccessful attempts 0
3600.03/3613.30	c STR total number of conflicts for inconclusive attempts 0
3600.03/3613.30	c STR average number of conflicts per successful attempt inf
3600.03/3613.30	c STR average number of conflicts per unsuccessful attempt inf
3600.03/3613.30	c STR average number of conflicts per inconclusive attempt inf
3600.03/3613.30	c AVG.sumWPerc -nan 
3600.03/3613.30	c bigint constraints 0 
3600.03/3613.30	s UNKNOWN
3600.03/3613.30	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (61898 MiB free)
  memory of node 1: 64507 MiB (48470 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523241-1751602087/watcher-4523241-1751602087 -o /tmp/evaluation-result-4523241-1751602087/solver-4523241-1751602087 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751594361-84102 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4523241-1751602087.opb PROOFDIR/proof-4523241-1751602087 

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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=85192, runsolver pid=85189
Current StackSize limit: 8192 KiB


[startup+0.100094 s]*
/proc/loadavg: 4.10 4.11 4.14 4/260 85194
/proc/meminfo: memFree=113018976/131382120 swapFree=33010416/33010684
[pid=85192] ppid=85189 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85192/stat : 85192 (run-opt-log.sh) S 85189 85192 84092 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 75888104 4292608 768 18446744073709551615 94551251603456 94551252497989 140721010922512 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94551252737040 94551252784784 94551266402304 140721010923809 140721010924004 140721010924004 140721010929606 0
/proc/85192/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85192 vsize=50796 memory=7552 CPUtime=0 cores=0,2
/proc/85194/stat : 85194 (roundingsat) D 85192 85192 84092 0 -1 4456448 301 0 0 0 0 0 0 0 20 0 1 0 75888104 52015104 1888 18446744073709551615 4227072 8923433 140735201696624 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 25657344 140735201704274 140735201704488 140735201704488 140735201710058 0
/proc/85194/statm: 12699 1888 1792 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB

[startup+0.214766 s]*
/proc/loadavg: 4.10 4.11 4.14 5/260 85194
/proc/meminfo: memFree=113018976/131382120 swapFree=33010416/33010684
[pid=85192] ppid=85189 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85192/stat : 85192 (run-opt-log.sh) S 85189 85192 84092 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 75888104 4292608 768 18446744073709551615 94551251603456 94551252497989 140721010922512 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94551252737040 94551252784784 94551266402304 140721010923809 140721010924004 140721010924004 140721010929606 0
/proc/85192/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85192 vsize=50796 memory=7552 CPUtime=0 cores=0,2
/proc/85194/stat : 85194 (roundingsat) D 85192 85192 84092 0 -1 4456448 301 0 0 0 0 0 0 0 20 0 1 0 75888104 52015104 1888 18446744073709551615 4227072 8923433 140735201696624 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 25657344 140735201704274 140735201704488 140735201704488 140735201710058 0
/proc/85194/statm: 12699 1888 1792 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB

[startup+0.314475 s]*
/proc/loadavg: 4.10 4.11 4.14 4/260 85194
/proc/meminfo: memFree=113018976/131382120 swapFree=33010416/33010684
[pid=85192] ppid=85189 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85192/stat : 85192 (run-opt-log.sh) S 85189 85192 84092 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 75888104 4292608 768 18446744073709551615 94551251603456 94551252497989 140721010922512 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94551252737040 94551252784784 94551266402304 140721010923809 140721010924004 140721010924004 140721010929606 0
/proc/85192/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85192 vsize=50796 memory=7552 CPUtime=0 cores=0,2
/proc/85194/stat : 85194 (roundingsat) D 85192 85192 84092 0 -1 4456448 301 0 0 0 0 0 0 0 20 0 1 0 75888104 52015104 1888 18446744073709551615 4227072 8923433 140735201696624 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 25657344 140735201704274 140735201704488 140735201704488 140735201710058 0
/proc/85194/statm: 12699 1888 1792 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB

[startup+0.700414 s]
/proc/loadavg: 4.10 4.11 4.14 4/260 85194
/proc/meminfo: memFree=113014880/131382120 swapFree=33010416/33010684
[pid=85192] ppid=85189 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85192/stat : 85192 (run-opt-log.sh) S 85189 85192 84092 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 75888104 4292608 768 18446744073709551615 94551251603456 94551252497989 140721010922512 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94551252737040 94551252784784 94551266402304 140721010923809 140721010924004 140721010924004 140721010929606 0
/proc/85192/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85192 vsize=50796 memory=7552 CPUtime=0 cores=0,2
/proc/85194/stat : 85194 (roundingsat) D 85192 85192 84092 0 -1 4456448 301 0 0 0 0 0 0 0 20 0 1 0 75888104 52015104 1888 18446744073709551615 4227072 8923433 140735201696624 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 25657344 140735201704274 140735201704488 140735201704488 140735201710058 0
/proc/85194/statm: 12699 1888 1792 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB

[startup+1.50031 s]
/proc/loadavg: 4.09 4.11 4.14 5/260 85194
/proc/meminfo: memFree=113005196/131382120 swapFree=33010416/33010684
[pid=85192] ppid=85189 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85192/stat : 85192 (run-opt-log.sh) S 85189 85192 84092 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 75888104 4292608 768 18446744073709551615 94551251603456 94551252497989 140721010922512 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94551252737040 94551252784784 94551266402304 140721010923809 140721010924004 140721010924004 140721010929606 0
/proc/85192/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85192 vsize=65584 memory=18084 CPUtime=0.79 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85192 85192 84092 0 -1 4194304 2191 0 0 0 56 23 0 0 20 0 1 0 75888104 67158016 4521 18446744073709551615 4227072 8923433 140735201696624 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25657344 140735201704274 140735201704488 140735201704488 140735201710058 0
/proc/85194/statm: 16396 4521 2368 1147 0 3823 0
Current children cumulated CPU time: 0.79 s
Current children cumulated vsize: 69776 KiB
Current children cumulated memory: 21156 KiB

[startup+3.11406 s]
/proc/loadavg: 4.09 4.11 4.14 5/260 85194
/proc/meminfo: memFree=112942452/131382120 swapFree=33010416/33010684
[pid=85192] ppid=85189 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85192/stat : 85192 (run-opt-log.sh) S 85189 85192 84092 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 75888104 4292608 768 18446744073709551615 94551251603456 94551252497989 140721010922512 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94551252737040 94551252784784 94551266402304 140721010923809 140721010924004 140721010924004 140721010929606 0
/proc/85192/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85192 vsize=82532 memory=35236 CPUtime=2.4 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85192 85192 84092 0 -1 4194304 4958 0 0 0 194 46 0 0 20 0 1 0 75888104 84512768 8809 18446744073709551615 4227072 8923433 140735201696624 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25657344 140735201704274 140735201704488 140735201704488 140735201710058 0
/proc/85194/statm: 20633 8809 2368 1147 0 8060 0
Current children cumulated CPU time: 2.4 s
Current children cumulated vsize: 86724 KiB
Current children cumulated memory: 38308 KiB
heavy processes:

[startup+6.30031 s]
/proc/loadavg: 4.08 4.11 4.14 5/260 85194
/proc/meminfo: memFree=112896140/131382120 swapFree=33010416/33010684
[pid=85192] ppid=85189 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85192/stat : 85192 (run-opt-log.sh) S 85189 85192 84092 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 75888104 4292608 768 18446744073709551615 94551251603456 94551252497989 140721010922512 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94551252737040 94551252784784 94551266402304 140721010923809 140721010924004 140721010924004 140721010929606 0
/proc/85192/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85192 vsize=121948 memory=68148 CPUtime=5.58 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85192 85192 84092 0 -1 4194304 8588 0 0 0 506 52 0 0 20 0 1 0 75888104 124874752 17037 18446744073709551615 4227072 8923433 140735201696624 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25657344 140735201704274 140735201704488 140735201704488 140735201710058 0
/proc/85194/statm: 30487 17037 2368 1147 0 17914 0
Current children cumulated CPU time: 5.58 s
Current children cumulated vsize: 126140 KiB
Current children cumulated memory: 71220 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 4.11 4.14 5/260 85194
/proc/meminfo: memFree=112762888/131382120 swapFree=33010416/33010684
[pid=85192] ppid=85189 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85192/stat : 85192 (run-opt-log.sh) S 85189 85192 84092 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 75888104 4292608 768 18446744073709551615 94551251603456 94551252497989 140721010922512 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94551252737040 94551252784784 94551266402304 140721010923809 140721010924004 140721010924004 140721010929606 0
/proc/85192/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85192 vsize=174832 memory=124492 CPUtime=11.95 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85192 85192 84092 0 -1 4194304 14536 0 0 0 1135 60 0 0 20 0 1 0 75888104 179027968 31123 18446744073709551615 4227072 8923433 140735201696624 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25657344 140735201704274 140735201704488 140735201704488 140735201710058 0
/proc/85194/statm: 43708 31123 2368 1147 0 31135 0
Current children cumulated CPU time: 11.95 s
Current children cumulated vsize: 179024 KiB
Current children cumulated memory: 127564 KiB

[startup+25.5004 s]
/proc/loadavg: 4.15 4.12 4.14 5/261 85195
/proc/meminfo: memFree=112618700/131382120 swapFree=33010416/33010684
[pid=85192] ppid=85189 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85192/stat : 85192 (run-opt-log.sh) S 85189 85192 84092 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 75888104 4292608 768 18446744073709551615 94551251603456 94551252497989 140721010922512 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94551252737040 94551252784784 94551266402304 140721010923809 140721010924004 140721010924004 140721010929606 0
/proc/85192/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85192 vsize=240276 memory=165264 CPUtime=24.72 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85192 85192 84092 0 -1 4194304 18580 0 0 0 2403 69 0 0 20 0 1 0 75888104 246042624 41316 18446744073709551615 4227072 8923433 140735201696624 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25657344 140735201704274 140735201704488 140735201704488 140735201710058 0
/proc/85194/statm: 60069 41316 2368 1147 0 47496 0
Current children cumulated CPU time: 24.72 s
Current children cumulated vsize: 244468 KiB
Current children cumulated memory: 168336 KiB

[startup+51.1139 s]
/proc/loadavg: 4.17 4.12 4.14 4/255 85221
/proc/meminfo: memFree=112843232/131382120 swapFree=33010416/33010684
[pid=85192] ppid=85189 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85192/stat : 85192 (run-opt-log.sh) S 85189 85192 84092 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 75888104 4292608 768 18446744073709551615 94551251603456 94551252497989 140721010922512 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94551252737040 94551252784784 94551266402304 140721010923809 140721010924004 140721010924004 140721010929606 0
/proc/85192/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85192 vsize=350644 memory=223244 CPUtime=50.25 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85192 85192 84092 0 -1 4194304 25937 0 0 0 4937 88 0 0 20 0 1 0 75888104 359059456 55811 18446744073709551615 4227072 8923433 140735201696624 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25657344 140735201704274 140735201704488 140735201704488 140735201710058 0
/proc/85194/statm: 87661 55811 2368 1147 0 75088 0
Current children cumulated CPU time: 50.25 s
Current children cumulated vsize: 354836 KiB
Current children cumulated memory: 226316 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.14 5/263 85244
/proc/meminfo: memFree=123604384/131382120 swapFree=33010416/33010684
[pid=85192] ppid=85189 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85192/stat : 85192 (run-opt-log.sh) S 85189 85192 84092 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 75888104 4292608 768 18446744073709551615 94551251603456 94551252497989 140721010922512 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94551252737040 94551252784784 94551266402304 140721010923809 140721010924004 140721010924004 140721010929606 0
/proc/85192/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85192 vsize=411328 memory=302124 CPUtime=101.27 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85192 85192 84092 0 -1 4194304 38999 0 0 0 10015 112 0 0 20 0 1 0 75888104 421199872 75531 18446744073709551615 4227072 8923433 140735201696624 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25657344 140735201704274 140735201704488 140735201704488 140735201710058 0
/proc/85194/statm: 102832 75531 2368 1147 0 90259 0
Current children cumulated CPU time: 101.27 s
Current children cumulated vsize: 415520 KiB
Current children cumulated memory: 305196 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.14 5/258 85274
/proc/meminfo: memFree=123387664/131382120 swapFree=33010416/33010684
[pid=85192] ppid=85189 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85192/stat : 85192 (run-opt-log.sh) S 85189 85192 84092 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 75888104 4292608 768 18446744073709551615 94551251603456 94551252497989 140721010922512 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94551252737040 94551252784784 94551266402304 140721010923809 140721010924004 140721010924004 140721010929606 0
/proc/85192/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85192 vsize=439464 memory=351728 CPUtime=161.06 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85192 85192 84092 0 -1 4194304 44773 0 0 0 15977 129 0 0 20 0 1 0 75888104 450011136 87932 18446744073709551615 4227072 8923433 140735201696624 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25657344 140735201704274 140735201704488 140735201704488 140735201710058 0
/proc/85194/statm: 109866 87932 2368 1147 0 97293 0
Current children cumulated CPU time: 161.06 s
Current children cumulated vsize: 443656 KiB
Current children cumulated memory: 354800 KiB

[startup+222.3 s]
/proc/loadavg: 4.38 4.17 4.15 5/263 85296
/proc/meminfo: memFree=123176792/131382120 swapFree=33010416/33010684
[pid=85192] ppid=85189 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85192/stat : 85192 (run-opt-log.sh) S 85189 85192 84092 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 75888104 4292608 768 18446744073709551615 94551251603456 94551252497989 140721010922512 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94551252737040 94551252784784 94551266402304 140721010923809 140721010924004 140721010924004 140721010929606 0
/proc/85192/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85192 vsize=494080 memory=397552 CPUtime=220.86 cores=0,2

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

[pid=85194] ppid=85192 vsize=1837412 memory=1587144 CPUtime=3090.58 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85192 85192 84092 0 -1 4194304 258995 0 0 0 307777 1281 0 0 20 0 1 0 75888104 1881509888 396786 18446744073709551615 4227072 8923433 140735201696624 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25657344 140735201704274 140735201704488 140735201704488 140735201710058 0
/proc/85194/statm: 459353 396786 2368 1147 0 446780 0
Current children cumulated CPU time: 3090.58 s
Current children cumulated vsize: 1841604 KiB
Current children cumulated memory: 1590216 KiB

[startup+3162.3 s]
/proc/loadavg: 3.66 4.00 4.11 4/255 85488
/proc/meminfo: memFree=98776288/131382120 swapFree=33010416/33010684
[pid=85192] ppid=85189 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85192/stat : 85192 (run-opt-log.sh) S 85189 85192 84092 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 75888104 4292608 768 18446744073709551615 94551251603456 94551252497989 140721010922512 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94551252737040 94551252784784 94551266402304 140721010923809 140721010924004 140721010924004 140721010929606 0
/proc/85192/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85192 vsize=1846888 memory=1592520 CPUtime=3150.41 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85192 85192 84092 0 -1 4194304 260500 0 0 0 313736 1305 0 0 20 0 1 0 75888104 1891213312 398130 18446744073709551615 4227072 8923433 140735201696624 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25657344 140735201704274 140735201704488 140735201704488 140735201710058 0
/proc/85194/statm: 461722 398130 2368 1147 0 449149 0
Current children cumulated CPU time: 3150.41 s
Current children cumulated vsize: 1851080 KiB
Current children cumulated memory: 1595592 KiB

[startup+3222.3 s]
/proc/loadavg: 3.30 3.83 4.04 4/255 85501
/proc/meminfo: memFree=98148492/131382120 swapFree=33010416/33010684
[pid=85192] ppid=85189 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85192/stat : 85192 (run-opt-log.sh) S 85189 85192 84092 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 75888104 4292608 768 18446744073709551615 94551251603456 94551252497989 140721010922512 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94551252737040 94551252784784 94551266402304 140721010923809 140721010924004 140721010924004 140721010929606 0
/proc/85192/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85192 vsize=1846888 memory=1592520 CPUtime=3210.24 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85192 85192 84092 0 -1 4194304 260500 0 0 0 319684 1340 0 0 20 0 1 0 75888104 1891213312 398130 18446744073709551615 4227072 8923433 140735201696624 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25657344 140735201704274 140735201704488 140735201704488 140735201710058 0
/proc/85194/statm: 461722 398130 2368 1147 0 449149 0
Current children cumulated CPU time: 3210.24 s
Current children cumulated vsize: 1851080 KiB
Current children cumulated memory: 1595592 KiB

[startup+3282.3 s]
/proc/loadavg: 2.62 3.55 3.93 3/249 85537
/proc/meminfo: memFree=102589052/131382120 swapFree=33010416/33010684
[pid=85192] ppid=85189 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85192/stat : 85192 (run-opt-log.sh) S 85189 85192 84092 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 75888104 4292608 768 18446744073709551615 94551251603456 94551252497989 140721010922512 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94551252737040 94551252784784 94551266402304 140721010923809 140721010924004 140721010924004 140721010929606 0
/proc/85192/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85192 vsize=1859944 memory=1600584 CPUtime=3270.06 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85192 85192 84092 0 -1 4194304 262537 0 0 0 325629 1377 0 0 20 0 1 0 75888104 1904582656 400146 18446744073709551615 4227072 8923433 140735201696624 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25657344 140735201704274 140735201704488 140735201704488 140735201710058 0
/proc/85194/statm: 464986 400146 2368 1147 0 452413 0
Current children cumulated CPU time: 3270.06 s
Current children cumulated vsize: 1864136 KiB
Current children cumulated memory: 1603656 KiB

[startup+3342.3 s]
/proc/loadavg: 2.26 3.28 3.81 3/250 85540
/proc/meminfo: memFree=101993996/131382120 swapFree=33010416/33010684
[pid=85192] ppid=85189 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85192/stat : 85192 (run-opt-log.sh) S 85189 85192 84092 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 75888104 4292608 768 18446744073709551615 94551251603456 94551252497989 140721010922512 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94551252737040 94551252784784 94551266402304 140721010923809 140721010924004 140721010924004 140721010929606 0
/proc/85192/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85192 vsize=1881448 memory=1615176 CPUtime=3329.88 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85192 85192 84092 0 -1 4194304 266183 0 0 0 331571 1417 0 0 20 0 1 0 75888104 1926602752 403794 18446744073709551615 4227072 8923433 140735201696624 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25657344 140735201704274 140735201704488 140735201704488 140735201710058 0
/proc/85194/statm: 470362 403794 2368 1147 0 457789 0
Current children cumulated CPU time: 3329.88 s
Current children cumulated vsize: 1885640 KiB
Current children cumulated memory: 1618248 KiB

[startup+3402.3 s]
/proc/loadavg: 2.14 3.06 3.70 3/250 85542
/proc/meminfo: memFree=101292824/131382120 swapFree=33010416/33010684
[pid=85192] ppid=85189 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85192/stat : 85192 (run-opt-log.sh) S 85189 85192 84092 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 75888104 4292608 768 18446744073709551615 94551251603456 94551252497989 140721010922512 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94551252737040 94551252784784 94551266402304 140721010923809 140721010924004 140721010924004 140721010929606 0
/proc/85192/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85192 vsize=1881704 memory=1615304 CPUtime=3389.68 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85192 85192 84092 0 -1 4194304 266385 0 0 0 337520 1448 0 0 20 0 1 0 75888104 1926864896 403826 18446744073709551615 4227072 8923433 140735201696624 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25657344 140735201704274 140735201704488 140735201704488 140735201710058 0
/proc/85194/statm: 470426 403826 2368 1147 0 457853 0
Current children cumulated CPU time: 3389.68 s
Current children cumulated vsize: 1885896 KiB
Current children cumulated memory: 1618376 KiB

[startup+3462.3 s]
/proc/loadavg: 2.17 2.90 3.60 3/250 85544
/proc/meminfo: memFree=100826700/131382120 swapFree=33010416/33010684
[pid=85192] ppid=85189 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85192/stat : 85192 (run-opt-log.sh) S 85189 85192 84092 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 75888104 4292608 768 18446744073709551615 94551251603456 94551252497989 140721010922512 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94551252737040 94551252784784 94551266402304 140721010923809 140721010924004 140721010924004 140721010929606 0
/proc/85192/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85192 vsize=1930856 memory=1649704 CPUtime=3449.5 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85192 85192 84092 0 -1 4194304 273472 0 0 0 343474 1476 0 0 20 0 1 0 75888104 1977196544 412426 18446744073709551615 4227072 8923433 140735201696624 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25657344 140735201704274 140735201704488 140735201704488 140735201710058 0
/proc/85194/statm: 482714 412426 2368 1147 0 470141 0
Current children cumulated CPU time: 3449.5 s
Current children cumulated vsize: 1935048 KiB
Current children cumulated memory: 1652776 KiB

[startup+3522.3 s]
/proc/loadavg: 2.12 2.75 3.50 3/250 85546
/proc/meminfo: memFree=100183296/131382120 swapFree=33010416/33010684
[pid=85192] ppid=85189 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85192/stat : 85192 (run-opt-log.sh) S 85189 85192 84092 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 75888104 4292608 768 18446744073709551615 94551251603456 94551252497989 140721010922512 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94551252737040 94551252784784 94551266402304 140721010923809 140721010924004 140721010924004 140721010929606 0
/proc/85192/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85192 vsize=1930856 memory=1649704 CPUtime=3509.31 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85192 85192 84092 0 -1 4194304 273472 0 0 0 349428 1503 0 0 20 0 1 0 75888104 1977196544 412426 18446744073709551615 4227072 8923433 140735201696624 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25657344 140735201704274 140735201704488 140735201704488 140735201710058 0
/proc/85194/statm: 482714 412426 2368 1147 0 470141 0
Current children cumulated CPU time: 3509.31 s
Current children cumulated vsize: 1935048 KiB
Current children cumulated memory: 1652776 KiB

[startup+3582.3 s]
/proc/loadavg: 2.04 2.61 3.41 3/245 85548
/proc/meminfo: memFree=99409808/131382120 swapFree=33010416/33010684
[pid=85192] ppid=85189 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85192/stat : 85192 (run-opt-log.sh) S 85189 85192 84092 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 75888104 4292608 768 18446744073709551615 94551251603456 94551252497989 140721010922512 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94551252737040 94551252784784 94551266402304 140721010923809 140721010924004 140721010924004 140721010929606 0
/proc/85192/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85192 vsize=1947756 memory=1659432 CPUtime=3569.13 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85192 85192 84092 0 -1 4194304 276005 0 0 0 355387 1526 0 0 20 0 1 0 75888104 1994502144 414858 18446744073709551615 4227072 8923433 140735201696624 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25657344 140735201704274 140735201704488 140735201704488 140735201710058 0
/proc/85194/statm: 486939 414858 2368 1147 0 474366 0
Current children cumulated CPU time: 3569.13 s
Current children cumulated vsize: 1951948 KiB
Current children cumulated memory: 1662504 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.3 s]
/proc/loadavg: 2.08 2.56 3.37 7/248 85555
/proc/meminfo: memFree=98852232/131382120 swapFree=33010416/33010684
[pid=85192] ppid=85189 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/85192/stat : 85192 (run-opt-log.sh) S 85189 85192 84092 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 75888104 4292608 768 18446744073709551615 94551251603456 94551252497989 140721010922512 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94551252737040 94551252784784 94551266402304 140721010923809 140721010924004 140721010924004 140721010929606 0
/proc/85192/statm: 1048 768 704 219 0 110 0
[pid=85194] ppid=85192 vsize=1947756 memory=1659432 CPUtime=3600.03 cores=0,2
/proc/85194/stat : 85194 (roundingsat) R 85192 85192 84092 0 -1 4194304 276046 0 0 0 358457 1546 0 0 20 0 1 0 75888104 1994502144 414858 18446744073709551615 4227072 8923433 140735201696624 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 25657344 140735201704274 140735201704488 140735201704488 140735201710058 0
/proc/85194/statm: 486939 414858 2368 1147 0 474366 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1951948 KiB
Current children cumulated memory: 1662504 KiB

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

[startup+3613.31 s]
# the end of solver process 85192 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.001374 s, system=0.001367 s

[startup+3613.44 s]
# the end of solver process 85194 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3584.58 s, system=15.5043 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3613.4 s]*
/proc/loadavg: 2.08 2.56 3.37 4/247 85555
/proc/meminfo: memFree=98868580/131382120 swapFree=33010416/33010684
[pid=85194] ppid=85189 vsize=1947756 memory=1659688 CPUtime=3600.06 cores=0,2
/proc/85194/stat : 85194 (roundingsat) D 85189 85192 84092 0 -1 4194304 276051 0 0 0 358457 1549 0 0 20 0 1 0 75888104 1994502144 414922 18446744073709551615 4227072 8923433 140735201696624 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 25657344 140735201704274 140735201704488 140735201704488 140735201710058 0
/proc/85194/statm: 486939 414922 2432 1147 0 474366 0
Current cumulated CPU time of completed processes: 0.002741 s
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1947756 KiB
Current children cumulated memory: 1659688 KiB

Child status: 2

Real time (s): 3613.44
CPU time (s): 3600.08
CPU user time (s): 3584.58
CPU system time (s): 15.5043
CPU usage (%): 99.6304
Max. virtual memory (cumulated for all children) (KiB): 1951948
Max. memory (cumulated for all children) (KiB): 1662504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.58
system time used= 15.5043
maximum resident set size= 1659688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276277
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22228944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5009
involuntary context switches= 9542


# summary of solver processes directly reported to runsolver:
#   pid: 85192,85194
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3584.58
#   total CPU system time (s): 15.5043

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8176 second user time and 38.75 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-07-04 06:08:07
IDJOB=4523241
IDBENCH=179855
IDSOLVER=3351
FILE ID=nodeC006/4523241-1751602087
RUNJOBID= nodeC006-1751594361-84102
SLURM_JOB_ID= 9598859
Free space on /tmp= 431988 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_260_007.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523241-1751602087/watcher-4523241-1751602087 -o /tmp/evaluation-result-4523241-1751602087/solver-4523241-1751602087 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751594361-84102 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4523241-1751602087.opb PROOFDIR/proof-4523241-1751602087

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

MD5SUM BENCH= 19358b71c175af654e98554c4f116d17
RANDOM SEED=2043974467

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        113018976 kB
MemAvailable:   127438620 kB
Buffers:            2128 kB
Cached:         15176976 kB
SwapCached:           12 kB
Active:          2983724 kB
Inactive:       14711992 kB
Active(anon):    2523652 kB
Inactive(anon):    10992 kB
Active(file):     460072 kB
Inactive(file): 14701000 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             74028 kB
Writeback:             0 kB
AnonPages:       2517496 kB
Mapped:           117264 kB
Shmem:             17948 kB
KReclaimable:     196016 kB
Slab:             285456 kB
SReclaimable:     196016 kB
SUnreclaim:        89440 kB
KernelStack:        4176 kB
PageTables:         8336 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    3267320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149512 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1159168 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432004 MiB
End job on nodeC006 at 2025-07-04 07:08:21