Trace number 4485228

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 63f22ad? (TO) 3600.91 3612.22

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-rail507.opb
MD5SUMa1664c28c3f3eb97ba538bc58cc5b289
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 benchmark174
Best CPU time to get the best result obtained on this benchmark72.1866
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables63009
Total number of constraints508
Number of constraints which are clauses507
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint59416
Number of terms in the objective function 63009
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 122425
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 9256
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 122425
Number of bits of the biggest sum of numbers17
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 pb25
0.00/0.01	c commit 63f22ad
0.09/0.17	c #variables 63009 #constraints 502
0.09/0.17	c objective is ce32 
0.18/0.22	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.18/0.22	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.18/0.22	c GLOBAL bounds - >= 0 @ 0.184531
0.18/0.30	c GLOBAL bounds - >= 0 @ 0.218574
0.99/1.00	c GLOBAL bounds - >= 0 @ 0.870365
1.48/1.54	c GLOBAL bounds - >= 0 @ 1.34864
1.87/1.92	c GLOBAL bounds - >= 0 @ 1.69045
2.38/2.40	c GLOBAL bounds - >= 0 @ 2.08558
2.67/2.78	c GLOBAL bounds - >= 0 @ 2.41147
7.76/7.88	c GLOBAL bounds - >= 0 @ 7.22476
8.66/8.78	c GLOBAL bounds - >= 0 @ 8.04377
11.35/11.42	c GLOBAL bounds - >= 0 @ 10.5532
16.33/16.43	c GLOBAL bounds - >= 0 @ 15.2724
17.04/17.10	c GLOBAL bounds - >= 0 @ 15.8701
17.33/17.42	c GLOBAL bounds - >= 0 @ 16.1521
17.64/17.70	c GLOBAL bounds - >= 0 @ 16.3947
17.94/18.02	c GLOBAL bounds - >= 0 @ 16.6745
18.43/18.58	c GLOBAL bounds - >= 0 @ 17.1862
18.83/18.99	c GLOBAL bounds - >= 0 @ 17.5489
19.23/19.30	c GLOBAL bounds - >= 0 @ 17.816
20.43/20.51	c GLOBAL bounds - >= 0 @ 18.9681
21.82/21.98	c GLOBAL bounds - >= 0 @ 20.3741
28.80/28.91	c #Conflicts:       1000 | #Constraints:       1538
28.80/28.91	c GLOBAL bounds - >= 0 @ 26.9632
30.19/30.31	c GLOBAL bounds - >= 0 @ 28.2576
30.80/30.94	c GLOBAL bounds - >= 0 @ 28.7982
30.90/31.05	c GLOBAL bounds - >= 0 @ 28.8688
32.99/33.18	c GLOBAL bounds - >= 0 @ 30.8697
33.58/33.78	c GLOBAL bounds - >= 0 @ 31.4164
34.18/34.38	c GLOBAL bounds - >= 0 @ 31.9674
35.08/35.20	c GLOBAL bounds - >= 0 @ 32.7373
36.58/36.72	c GLOBAL bounds - >= 0 @ 34.1517
37.88/38.09	c GLOBAL bounds - >= 0 @ 35.4512
41.17/41.39	c GLOBAL bounds - >= 0 @ 38.5822
42.56/42.78	c GLOBAL bounds - >= 0 @ 39.9064
45.96/46.18	c GLOBAL bounds - >= 0 @ 43.1685
47.35/47.59	c GLOBAL bounds - >= 0 @ 44.5395
57.22/57.45	c #Conflicts:       2000 | #Constraints:       2566
57.22/57.45	c INPROCESSING
57.22/57.45	c GARBAGE COLLECT
57.22/57.45	c GLOBAL bounds - >= 0 @ 54.2831
59.11/59.34	c GLOBAL bounds - >= 0 @ 56.0874
82.44/82.70	c #Conflicts:       3000 | #Constraints:       2582
82.44/82.70	c GLOBAL bounds - >= 0 @ 79.2605
93.82/94.18	c GLOBAL bounds - >= 0 @ 90.0668
101.10/101.40	c GLOBAL bounds - >= 0 @ 97.0183
122.43/122.84	c #Conflicts:       4000 | #Constraints:       3588
122.43/122.84	c INPROCESSING
122.43/122.84	c GARBAGE COLLECT
122.43/122.84	c GLOBAL bounds - >= 0 @ 118.021
127.22/127.62	c GLOBAL bounds - >= 0 @ 122.655
128.72/129.14	c GLOBAL bounds - >= 0 @ 124.12
131.21/131.60	c GLOBAL bounds - >= 0 @ 126.493
133.61/134.09	c GLOBAL bounds - >= 0 @ 128.912
134.80/135.25	c GLOBAL bounds - >= 0 @ 129.994
136.49/136.95	c GLOBAL bounds - >= 0 @ 131.615
138.69/139.19	c GLOBAL bounds - >= 0 @ 133.768
141.08/141.56	c GLOBAL bounds - >= 0 @ 136.032
142.38/142.85	c #Conflicts:       5000 | #Constraints:       3023
142.38/142.85	c GLOBAL bounds - >= 0 @ 137.266
143.48/143.90	c GLOBAL bounds - >= 0 @ 138.275
170.79/171.30	c #Conflicts:       6000 | #Constraints:       4027
170.79/171.30	c GLOBAL bounds - >= 0 @ 165.264
201.60/202.24	c INPROCESSING
201.60/202.24	c GARBAGE COLLECT
201.60/202.24	c GLOBAL bounds - >= 0 @ 195.754
247.97/248.77	c #Conflicts:       7000 | #Constraints:       3047
247.97/248.77	c #Conflicts:       8000 | #Constraints:       4047
247.97/248.77	c GLOBAL bounds - >= 0 @ 241.792
253.66/254.47	c GLOBAL bounds - >= 0 @ 247.413
264.12/264.98	c GLOBAL bounds - >= 0 @ 257.759
301.41/302.39	c #Conflicts:       9000 | #Constraints:       5053
301.41/302.39	c INPROCESSING
301.41/302.39	c GARBAGE COLLECT
301.41/302.39	c GLOBAL bounds - >= 0 @ 294.721
311.79/312.75	c #Conflicts:      10000 | #Constraints:       3758
311.79/312.75	c GLOBAL bounds - >= 0 @ 304.914
326.44/327.45	c GLOBAL bounds - >= 0 @ 319.47
398.52/399.79	c #Conflicts:      11000 | #Constraints:       4762
398.52/399.79	c #Conflicts:      12000 | #Constraints:       5762
398.52/399.79	c INPROCESSING
398.52/399.79	c GARBAGE COLLECT
398.52/399.79	c GLOBAL bounds - >= 0 @ 390.517
467.72/469.18	c #Conflicts:      13000 | #Constraints:       4219
467.72/469.18	c #Conflicts:      14000 | #Constraints:       5219
467.72/469.18	c GLOBAL bounds - >= 0 @ 459.26
547.66/549.33	c #Conflicts:      15000 | #Constraints:       6221
547.66/549.33	c INPROCESSING
547.66/549.33	c GARBAGE COLLECT
547.66/549.33	c #Conflicts:      16000 | #Constraints:       4449
547.66/549.33	c GLOBAL bounds - >= 0 @ 538.745
547.87/549.57	c GLOBAL bounds - >= 0 @ 538.966
622.62/624.52	c #Conflicts:      17000 | #Constraints:       5453
622.62/624.52	c #Conflicts:      18000 | #Constraints:       6453
622.62/624.52	c INPROCESSING
622.62/624.52	c GARBAGE COLLECT
622.62/624.52	c GLOBAL bounds - >= 0 @ 613.51
691.21/693.39	c #Conflicts:      19000 | #Constraints:       4470
691.21/693.39	c #Conflicts:      20000 | #Constraints:       5470
691.21/693.39	c GLOBAL bounds - >= 0 @ 681.647
692.61/694.74	c GLOBAL bounds - >= 0 @ 682.916
727.50/729.76	c #Conflicts:      21000 | #Constraints:       6474
727.50/729.76	c GLOBAL bounds - >= 0 @ 717
748.14/750.48	c INPROCESSING
748.14/750.48	c GARBAGE COLLECT
748.14/750.48	c GLOBAL bounds - >= 0 @ 737.545
808.06/810.50	c #Conflicts:      22000 | #Constraints:       4277
808.06/810.50	c #Conflicts:      23000 | #Constraints:       5277
808.06/810.50	c GLOBAL bounds - >= 0 @ 796.856
849.55/852.12	c #Conflicts:      24000 | #Constraints:       6279
849.55/852.12	c GLOBAL bounds - >= 0 @ 837.765
885.03/887.77	c #Conflicts:      25000 | #Constraints:       7281
885.03/887.77	c INPROCESSING
885.03/887.77	c GARBAGE COLLECT
885.03/887.77	c GLOBAL bounds - >= 0 @ 873.049
957.61/960.50	c #Conflicts:      26000 | #Constraints:       4887
957.61/960.50	c #Conflicts:      27000 | #Constraints:       5887
957.61/960.50	c GLOBAL bounds - >= 0 @ 944.934
959.99/962.94	c GLOBAL bounds - >= 0 @ 947.272
960.10/963.05	c GLOBAL bounds - >= 0 @ 947.362
988.31/991.32	c #Conflicts:      28000 | #Constraints:       6893
988.31/991.32	c GLOBAL bounds - >= 0 @ 975.047
988.51/991.53	c GLOBAL bounds - >= 0 @ 975.22
1009.95/1013.04	c #Conflicts:      29000 | #Constraints:       7897
1009.95/1013.04	c INPROCESSING
1009.95/1013.04	c GARBAGE COLLECT
1009.95/1013.04	c GLOBAL bounds - >= 0 @ 996.475
1015.43/1018.56	c GLOBAL bounds - >= 0 @ 1001.84
1016.42/1019.51	c GLOBAL bounds - >= 0 @ 1002.74
1101.07/1104.49	c #Conflicts:      30000 | #Constraints:       5291
1101.07/1104.49	c #Conflicts:      31000 | #Constraints:       6291
1101.07/1104.49	c GLOBAL bounds - >= 0 @ 1086.73
1102.57/1105.91	c GLOBAL bounds - >= 0 @ 1088.09
1130.58/1134.06	c #Conflicts:      32000 | #Constraints:       7295
1130.58/1134.06	c GLOBAL bounds - >= 0 @ 1115.64
1508.22/1512.81	c #Conflicts:      33000 | #Constraints:       8297
1508.22/1512.81	c INPROCESSING
1508.22/1512.81	c GARBAGE COLLECT
1508.22/1512.81	c #Conflicts:      34000 | #Constraints:       5514
1508.22/1512.81	c #Conflicts:      35000 | #Constraints:       6514
1508.22/1512.81	c #Conflicts:      36000 | #Constraints:       7514
1508.22/1512.81	c #Conflicts:      37000 | #Constraints:       8514
1508.22/1512.81	c INPROCESSING
1508.22/1512.81	c GARBAGE COLLECT
1508.22/1512.81	c #Conflicts:      38000 | #Constraints:       5520
1508.22/1512.81	c #Conflicts:      39000 | #Constraints:       6520
1508.22/1512.81	c #Conflicts:      40000 | #Constraints:       7520
1508.22/1512.81	c #Conflicts:      41000 | #Constraints:       8520
1508.22/1512.81	c INPROCESSING
1508.22/1512.81	c GARBAGE COLLECT
1508.22/1512.81	c #Conflicts:      42000 | #Constraints:       5320
1508.22/1512.81	c GLOBAL bounds - >= 0 @ 1492.34
1511.31/1515.97	c GLOBAL bounds - >= 0 @ 1495.45
1632.34/1637.33	c #Conflicts:      43000 | #Constraints:       6324
1632.34/1637.33	c #Conflicts:      44000 | #Constraints:       7324
1632.34/1637.33	c #Conflicts:      45000 | #Constraints:       8324
1632.34/1637.33	c #Conflicts:      46000 | #Constraints:       9324
1632.34/1637.33	c GLOBAL bounds - >= 0 @ 1615.47
1664.23/1669.38	c INPROCESSING
1664.23/1669.38	c GARBAGE COLLECT
1664.23/1669.38	c GLOBAL bounds - >= 0 @ 1647.11
1666.93/1672.05	c GLOBAL bounds - >= 0 @ 1649.71
1670.32/1675.42	c GLOBAL bounds - >= 0 @ 1653.01
1671.31/1676.46	c GLOBAL bounds - >= 0 @ 1654.01
1672.21/1677.38	c GLOBAL bounds - >= 0 @ 1654.85
1673.40/1678.53	c GLOBAL bounds - >= 0 @ 1655.96
1674.10/1679.25	c GLOBAL bounds - >= 0 @ 1656.64
1676.60/1681.70	c GLOBAL bounds - >= 0 @ 1659.02
1725.05/1730.35	c #Conflicts:      47000 | #Constraints:       5932
1725.05/1730.35	c #Conflicts:      48000 | #Constraints:       6932
1725.05/1730.35	c GLOBAL bounds - >= 0 @ 1707.18
1730.23/1735.55	c GLOBAL bounds - >= 0 @ 1712.3
1732.33/1737.65	c GLOBAL bounds - >= 0 @ 1714.33
1747.18/1752.52	c #Conflicts:      49000 | #Constraints:       7938
1747.18/1752.52	c GLOBAL bounds - >= 0 @ 1728.96
1839.70/1845.39	c #Conflicts:      50000 | #Constraints:       8940
1839.70/1845.39	c #Conflicts:      51000 | #Constraints:       9940
1839.70/1845.39	c INPROCESSING
1839.70/1845.39	c GARBAGE COLLECT
1839.70/1845.39	c GLOBAL bounds - >= 0 @ 1820.69
1862.83/1868.57	c GLOBAL bounds - >= 0 @ 1843.68
1904.80/1910.65	c #Conflicts:      52000 | #Constraints:       6347
1904.80/1910.65	c #Conflicts:      53000 | #Constraints:       7347
1904.80/1910.65	c GLOBAL bounds - >= 0 @ 1885.27
2059.22/2065.59	c #Conflicts:      54000 | #Constraints:       8349
2059.22/2065.59	c #Conflicts:      55000 | #Constraints:       9349
2059.22/2065.59	c #Conflicts:      56000 | #Constraints:      10349
2059.22/2065.59	c INPROCESSING
2059.22/2065.59	c GARBAGE COLLECT
2059.22/2065.59	c GLOBAL bounds - >= 0 @ 2038.29
2060.83/2067.12	c GLOBAL bounds - >= 0 @ 2039.75
2090.53/2096.90	c #Conflicts:      57000 | #Constraints:       6567
2090.53/2096.90	c GLOBAL bounds - >= 0 @ 2069.08
2303.46/2310.52	c #Conflicts:      58000 | #Constraints:       7569
2303.46/2310.52	c #Conflicts:      59000 | #Constraints:       8569
2303.46/2310.52	c #Conflicts:      60000 | #Constraints:       9569
2303.46/2310.52	c #Conflicts:      61000 | #Constraints:      10569
2303.46/2310.52	c INPROCESSING
2303.46/2310.52	c GARBAGE COLLECT
2303.46/2310.52	c #Conflicts:      62000 | #Constraints:       6573
2303.46/2310.52	c GLOBAL bounds - >= 0 @ 2280.59
2372.84/2380.14	c #Conflicts:      63000 | #Constraints:       7575
2372.84/2380.14	c #Conflicts:      64000 | #Constraints:       8575
2372.84/2380.14	c GLOBAL bounds - >= 0 @ 2349.6
2412.41/2419.89	c #Conflicts:      65000 | #Constraints:       9577
2412.41/2419.89	c GLOBAL bounds - >= 0 @ 2388.82
2418.49/2425.97	c GLOBAL bounds - >= 0 @ 2394.72
2421.78/2429.26	c GLOBAL bounds - >= 0 @ 2397.88
2423.58/2431.07	c GLOBAL bounds - >= 0 @ 2399.57
2431.15/2438.61	c #Conflicts:      66000 | #Constraints:      10585
2431.15/2438.61	c GLOBAL bounds - >= 0 @ 2406.81
2512.89/2520.60	c INPROCESSING
2512.89/2520.60	c GARBAGE COLLECT
2512.89/2520.60	c #Conflicts:      67000 | #Constraints:       6380
2512.89/2520.60	c GLOBAL bounds - >= 0 @ 2487.72
2516.18/2523.97	c #Conflicts:      68000 | #Constraints:       7382
2516.18/2523.97	c GLOBAL bounds - >= 0 @ 2491
2760.88/2769.46	c #Conflicts:      69000 | #Constraints:       8384
2760.88/2769.46	c #Conflicts:      70000 | #Constraints:       9384
2760.88/2769.46	c #Conflicts:      71000 | #Constraints:      10384
2760.88/2769.46	c #Conflicts:      72000 | #Constraints:      11384
2760.88/2769.46	c INPROCESSING
2760.88/2769.46	c GARBAGE COLLECT
2760.88/2769.46	c #Conflicts:      73000 | #Constraints:       6983
2760.88/2769.46	c GLOBAL bounds - >= 0 @ 2733.91
3203.32/3213.36	c #Conflicts:      74000 | #Constraints:       7985
3203.32/3213.36	c #Conflicts:      75000 | #Constraints:       8985
3203.32/3213.36	c #Conflicts:      76000 | #Constraints:       9985
3203.32/3213.36	c #Conflicts:      77000 | #Constraints:      10985
3203.32/3213.36	c #Conflicts:      78000 | #Constraints:      11985
3203.32/3213.36	c INPROCESSING
3203.32/3213.36	c GARBAGE COLLECT
3203.32/3213.36	c #Conflicts:      79000 | #Constraints:       7384
3203.32/3213.36	c #Conflicts:      80000 | #Constraints:       8384
3203.32/3213.36	c #Conflicts:      81000 | #Constraints:       9384
3203.32/3213.36	c #Conflicts:      82000 | #Constraints:      10384
3203.32/3213.36	c #Conflicts:      83000 | #Constraints:      11384
3203.32/3213.36	c GLOBAL bounds - >= 0 @ 3173.73
3600.09/3611.40	c #Conflicts:      84000 | #Constraints:      12386
3600.09/3611.40	c INPROCESSING
3600.09/3611.40	c GARBAGE COLLECT
3600.09/3611.40	c #Conflicts:      85000 | #Constraints:       7591
3600.09/3611.40	c #Conflicts:      86000 | #Constraints:       8591
3600.09/3611.40	c #Conflicts:      87000 | #Constraints:       9591
3600.09/3611.40	c #Conflicts:      88000 | #Constraints:      10591
3600.09/3611.40	c #Conflicts:      89000 | #Constraints:      11591
3600.09/3611.40	c #Conflicts:      90000 | #Constraints:      12591
3600.09/3611.40	c INPROCESSING
3600.09/3611.40	c GARBAGE COLLECT
3600.09/3611.40	c #Conflicts:      91000 | #Constraints:       7591
3600.09/3611.40	c cpu time 3568.52 s
3600.09/3611.40	c deterministic time 8 8.00e+00
3600.09/3611.40	c optimization time 3568.38 s
3600.09/3611.40	c total solve time 0 s
3600.09/3611.40	c core-guided solve time 0 s
3600.09/3611.40	c propagation time 0.000316 s
3600.09/3611.40	c conflict analysis time 0 s
3600.09/3611.40	c propagations 7
3600.09/3611.40	c resolve steps 0
3600.09/3611.40	c decisions 0
3600.09/3611.40	c conflicts 0
3600.09/3611.40	c restarts 0
3600.09/3611.40	c inprocessing phases 0
3600.09/3611.40	c garbage collections 0 ,( -nan )
3600.09/3611.40	c input clauses 501 ,( 99.80 )
3600.09/3611.40	c input cardinalities 1 ,( 0.20 )
3600.09/3611.40	c input general constraints 0 ,( 0.00 )
3600.09/3611.40	c input average constraint length 932.44
3600.09/3611.40	c input average constraint degree 100.92
3600.09/3611.40	c learned clauses 0 ,( 0.00 )
3600.09/3611.40	c learned cardinalities 0 ,( 0.00 )
3600.09/3611.40	c learned general constraints 0 ,( 0.00 )
3600.09/3611.40	c learned average constraint length 0.00
3600.09/3611.40	c learned average constraint degree 0.00
3600.09/3611.40	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.09/3611.40	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.09/3611.40	c watched   constraints 0 ,( -nan ) 
3600.09/3611.40	c counting  constraints 0 ,( -nan ) 
3600.09/3611.40	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.09/3611.40	c gcd simplifications 0
3600.09/3611.40	c detected cardinalities 0
3600.09/3611.40	c weakened non-implied lits 0
3600.09/3611.40	c weakened non-implying lits 0
3600.09/3611.40	c original variables 63009
3600.09/3611.40	c clausal propagations 0
3600.09/3611.40	c cardinality propagations 0
3600.09/3611.40	c watched propagations 0
3600.09/3611.40	c counting propagations 0
3600.09/3611.40	c watch lookups 0
3600.09/3611.40	c watch backjump lookups 0
3600.09/3611.40	c watch checks 0
3600.09/3611.40	c propagation checks 0
3600.09/3611.40	c constraint additions 0
3600.09/3611.40	c trail pops 0
3600.09/3611.40	c formula constraints 502
3600.09/3611.40	c learned constraints 0
3600.09/3611.40	c bound constraints 0
3600.09/3611.40	c core-guided constraints 0
3600.09/3611.40	c encountered formula constraints 0
3600.09/3611.40	c encountered learned constraints 0
3600.09/3611.40	c encountered bound constraints 0
3600.09/3611.40	c encountered core-guided constraints 0
3600.09/3611.40	c LP total time 0 s
3600.09/3611.40	c LP solve time 0 s
3600.09/3611.40	c LP constraints added 0
3600.09/3611.40	c LP constraints removed 0
3600.09/3611.40	c LP pivots internal 0
3600.09/3611.40	c LP pivots root 0
3600.09/3611.40	c LP calls 0
3600.09/3611.40	c LP optimalities 0
3600.09/3611.40	c LP no pivot count 0
3600.09/3611.40	c LP infeasibilities 0
3600.09/3611.40	c LP valid Farkas constraints 0
3600.09/3611.40	c LP learned Farkas constraints 0
3600.09/3611.40	c LP basis resets 0
3600.09/3611.40	c LP cycling count 0
3600.09/3611.40	c LP singular count 0
3600.09/3611.40	c LP no primal count 0
3600.09/3611.40	c LP no farkas count 0
3600.09/3611.40	c LP other issue count 0
3600.09/3611.40	c LP Gomory cuts 0
3600.09/3611.40	c LP learned cuts 0
3600.09/3611.40	c LP deleted cuts 0
3600.09/3611.40	c LP encountered Gomory constraints 0
3600.09/3611.40	c LP encountered Farkas constraints 0
3600.09/3611.40	c LP encountered learned Farkas constraints 0
3600.09/3611.40	c CG auxiliary variables introduced 0
3600.09/3611.40	c CG solutions found 0
3600.09/3611.40	c CG cores constructed 0
3600.09/3611.40	c CG core cardinality constraints returned 0
3600.09/3611.40	c CG unit cores 0
3600.09/3611.40	c CG single cores 0
3600.09/3611.40	c CG blocks removed during cardinality reduction 0
3600.09/3611.40	c CG first core best 0
3600.09/3611.40	c CG decision core best 0
3600.09/3611.40	c CG core reduction tie 0
3600.09/3611.40	c CG core degree average 0.00
3600.09/3611.40	c CG core slack average 0.00
3600.09/3611.40	c CG core upper bound improvements 0
3600.09/3611.40	c STR number of successful calls 0
3600.09/3611.40	c STR number of unsuccessful calls 0
3600.09/3611.40	c STR number of inconclusive calls 0
3600.09/3611.40	c STR number of successful attempts 0
3600.09/3611.40	c STR number of unsuccessful attempts 0
3600.09/3611.40	c STR number of inconclusive attempts 0
3600.09/3611.40	c STR average degree increase per successful call inf
3600.09/3611.40	c STR average degree increase per successful attempt inf
3600.09/3611.40	c STR total number of conflicts for successful attempts 0
3600.09/3611.40	c STR total number of conflicts for unsuccessful attempts 0
3600.09/3611.40	c STR total number of conflicts for inconclusive attempts 0
3600.09/3611.40	c STR average number of conflicts per successful attempt inf
3600.09/3611.40	c STR average number of conflicts per unsuccessful attempt inf
3600.09/3611.40	c STR average number of conflicts per inconclusive attempt inf
3600.09/3611.40	c AVG.sumWPerc -nan 
3600.09/3611.40	c bigint constraints 0 
3600.09/3611.40	s UNKNOWN
3600.09/3611.40	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: 63708 MiB (63152 MiB free)
  memory of node 1: 64465 MiB (63807 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485228-1751304115/watcher-4485228-1751304115 -o /tmp/evaluation-result-4485228-1751304115/solver-4485228-1751304115 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751304114-41605 --watchdog 3760 run-opt.sh HOME/instance-4485228-1751304115.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 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=41666, runsolver pid=41661
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 0.80 1.13 2.22 5/270 41668
/proc/meminfo: memFree=129933292/131249996 swapFree=33010684/33010684
[pid=41666] ppid=41661 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/41666/stat : 41666 (run-opt.sh) S 41661 41666 41594 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 46090104 4292608 736 18446744073709551615 94515643940864 94515644835397 140730487282432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94515645074448 94515645122192 94515659587584 140730487290221 140730487290344 140730487290344 140730487295946 0
/proc/41666/statm: 1048 736 672 219 0 110 0
[pid=41668] ppid=41666 vsize=67280 memory=22320 CPUtime=0.09 cores=4,6
/proc/41668/stat : 41668 (roundingsat) R 41666 41666 41594 0 -1 4194304 5119 0 0 0 8 1 0 0 20 0 1 0 46090104 68894720 5580 18446744073709551615 4227072 8923433 140728566691888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36478976 140728566696354 140728566696488 140728566696488 140728566702058 0
/proc/41668/statm: 16820 5580 1920 1147 0 4247 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 71472 KiB
Current children cumulated memory: 25264 KiB

[startup+0.205195 s]*
/proc/loadavg: 0.80 1.13 2.22 5/270 41668
/proc/meminfo: memFree=129891132/131249996 swapFree=33010684/33010684
[pid=41666] ppid=41661 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/41666/stat : 41666 (run-opt.sh) S 41661 41666 41594 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 46090104 4292608 736 18446744073709551615 94515643940864 94515644835397 140730487282432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94515645074448 94515645122192 94515659587584 140730487290221 140730487290344 140730487290344 140730487295946 0
/proc/41666/statm: 1048 736 672 219 0 110 0
[pid=41668] ppid=41666 vsize=100428 memory=53780 CPUtime=0.18 cores=4,6
/proc/41668/stat : 41668 (roundingsat) R 41666 41666 41594 0 -1 4194304 12515 0 0 0 16 2 0 0 20 0 1 0 46090104 102838272 13445 18446744073709551615 4227072 8923433 140728566691888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36478976 140728566696354 140728566696488 140728566696488 140728566702058 0
/proc/41668/statm: 25107 13445 2336 1147 0 12534 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 104620 KiB
Current children cumulated memory: 56724 KiB

[startup+0.305503 s]*
/proc/loadavg: 0.80 1.13 2.22 5/270 41668
/proc/meminfo: memFree=129879288/131249996 swapFree=33010684/33010684
[pid=41666] ppid=41661 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/41666/stat : 41666 (run-opt.sh) S 41661 41666 41594 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 46090104 4292608 736 18446744073709551615 94515643940864 94515644835397 140730487282432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94515645074448 94515645122192 94515659587584 140730487290221 140730487290344 140730487290344 140730487295946 0
/proc/41666/statm: 1048 736 672 219 0 110 0
[pid=41668] ppid=41666 vsize=106148 memory=61332 CPUtime=0.29 cores=4,6
/proc/41668/stat : 41668 (roundingsat) R 41666 41666 41594 0 -1 4194304 13890 0 0 0 22 7 0 0 20 0 1 0 46090104 108695552 15333 18446744073709551615 4227072 8923433 140728566691888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36478976 140728566696354 140728566696488 140728566696488 140728566702058 0
/proc/41668/statm: 26537 15333 2336 1147 0 13964 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 110340 KiB
Current children cumulated memory: 64276 KiB

[startup+0.700195 s]
/proc/loadavg: 0.80 1.13 2.22 5/270 41668
/proc/meminfo: memFree=129838720/131249996 swapFree=33010684/33010684
[pid=41666] ppid=41661 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/41666/stat : 41666 (run-opt.sh) S 41661 41666 41594 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 46090104 4292608 736 18446744073709551615 94515643940864 94515644835397 140730487282432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94515645074448 94515645122192 94515659587584 140730487290221 140730487290344 140730487290344 140730487295946 0
/proc/41666/statm: 1048 736 672 219 0 110 0
[pid=41668] ppid=41666 vsize=152900 memory=102004 CPUtime=0.67 cores=4,6
/proc/41668/stat : 41668 (roundingsat) R 41666 41666 41594 0 -1 4194304 20567 0 0 0 57 10 0 0 20 0 1 0 46090104 156569600 25501 18446744073709551615 4227072 8923433 140728566691888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36478976 140728566696354 140728566696488 140728566696488 140728566702058 0
/proc/41668/statm: 38225 25501 2336 1147 0 25652 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 157092 KiB
Current children cumulated memory: 104948 KiB

[startup+1.5002 s]
/proc/loadavg: 0.80 1.13 2.22 5/270 41668
/proc/meminfo: memFree=129714152/131249996 swapFree=33010684/33010684
[pid=41666] ppid=41661 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/41666/stat : 41666 (run-opt.sh) S 41661 41666 41594 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 46090104 4292608 736 18446744073709551615 94515643940864 94515644835397 140730487282432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94515645074448 94515645122192 94515659587584 140730487290221 140730487290344 140730487290344 140730487295946 0
/proc/41666/statm: 1048 736 672 219 0 110 0
[pid=41668] ppid=41666 vsize=267356 memory=203332 CPUtime=1.48 cores=4,6
/proc/41668/stat : 41668 (roundingsat) R 41666 41666 41594 0 -1 4194304 42298 0 0 0 131 17 0 0 20 0 1 0 46090104 273772544 50801 18446744073709551615 4227072 8923433 140728566691888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36478976 140728566696354 140728566696488 140728566696488 140728566702058 0
/proc/41668/statm: 66839 50801 2336 1147 0 54266 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 271548 KiB
Current children cumulated memory: 206276 KiB

[startup+3.10557 s]
/proc/loadavg: 1.05 1.18 2.23 5/270 41668
/proc/meminfo: memFree=129216376/131249996 swapFree=33010684/33010684
[pid=41666] ppid=41661 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/41666/stat : 41666 (run-opt.sh) S 41661 41666 41594 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 46090104 4292608 736 18446744073709551615 94515643940864 94515644835397 140730487282432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94515645074448 94515645122192 94515659587584 140730487290221 140730487290344 140730487290344 140730487295946 0
/proc/41666/statm: 1048 736 672 219 0 110 0
[pid=41668] ppid=41666 vsize=431936 memory=367868 CPUtime=3.07 cores=4,6
/proc/41668/stat : 41668 (roundingsat) R 41666 41666 41594 0 -1 4194304 76274 0 0 0 265 42 0 0 20 0 1 0 46090104 442302464 91967 18446744073709551615 4227072 8923433 140728566691888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36478976 140728566696354 140728566696488 140728566696488 140728566702058 0
/proc/41668/statm: 107984 91967 2368 1147 0 95411 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 436128 KiB
Current children cumulated memory: 370812 KiB

[startup+6.3002 s]
/proc/loadavg: 1.05 1.18 2.23 5/270 41668
/proc/meminfo: memFree=128737336/131249996 swapFree=33010684/33010684
[pid=41666] ppid=41661 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/41666/stat : 41666 (run-opt.sh) S 41661 41666 41594 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 46090104 4292608 736 18446744073709551615 94515643940864 94515644835397 140730487282432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94515645074448 94515645122192 94515659587584 140730487290221 140730487290344 140730487290344 140730487295946 0
/proc/41666/statm: 1048 736 672 219 0 110 0
[pid=41668] ppid=41666 vsize=492712 memory=427748 CPUtime=6.26 cores=4,6
/proc/41668/stat : 41668 (roundingsat) R 41666 41666 41594 0 -1 4194304 79486 0 0 0 579 47 0 0 20 0 1 0 46090104 504537088 106937 18446744073709551615 4227072 8923433 140728566691888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36478976 140728566696354 140728566696488 140728566696488 140728566702058 0
/proc/41668/statm: 123178 106937 2368 1147 0 110605 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 496904 KiB
Current children cumulated memory: 430692 KiB

[startup+12.7002 s]
/proc/loadavg: 1.59 1.29 2.26 5/270 41668
/proc/meminfo: memFree=128182460/131249996 swapFree=33010684/33010684
[pid=41666] ppid=41661 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/41666/stat : 41666 (run-opt.sh) S 41661 41666 41594 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 46090104 4292608 736 18446744073709551615 94515643940864 94515644835397 140730487282432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94515645074448 94515645122192 94515659587584 140730487290221 140730487290344 140730487290344 140730487295946 0
/proc/41666/statm: 1048 736 672 219 0 110 0
[pid=41668] ppid=41666 vsize=1075604 memory=884784 CPUtime=12.64 cores=4,6
/proc/41668/stat : 41668 (roundingsat) R 41666 41666 41594 0 -1 4194304 165132 0 0 0 1173 91 0 0 20 0 1 0 46090104 1101418496 221164 18446744073709551615 4227072 8923433 140728566691888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36478976 140728566696354 140728566696488 140728566696488 140728566702058 0
/proc/41668/statm: 268901 221196 2368 1147 0 256328 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1079796 KiB
Current children cumulated memory: 887728 KiB

[startup+25.5002 s]
/proc/loadavg: 1.96 1.38 2.28 5/268 41668
/proc/meminfo: memFree=126709692/131249996 swapFree=33010684/33010684
[pid=41666] ppid=41661 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/41666/stat : 41666 (run-opt.sh) S 41661 41666 41594 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 46090104 4292608 736 18446744073709551615 94515643940864 94515644835397 140730487282432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94515645074448 94515645122192 94515659587584 140730487290221 140730487290344 140730487290344 140730487295946 0
/proc/41666/statm: 1048 736 672 219 0 110 0
[pid=41668] ppid=41666 vsize=1681996 memory=1493400 CPUtime=25.41 cores=4,6
/proc/41668/stat : 41668 (roundingsat) R 41666 41666 41594 0 -1 4194304 269765 0 0 0 2380 161 0 0 20 0 1 0 46090104 1722363904 373350 18446744073709551615 4227072 8923433 140728566691888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36478976 140728566696354 140728566696488 140728566696488 140728566702058 0
/proc/41668/statm: 420499 373350 2368 1147 0 407926 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1686188 KiB
Current children cumulated memory: 1496344 KiB

[startup+51.1057 s]
/proc/loadavg: 2.66 1.59 2.32 5/269 41670
/proc/meminfo: memFree=124444228/131249996 swapFree=33010684/33010684
[pid=41666] ppid=41661 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/41666/stat : 41666 (run-opt.sh) S 41661 41666 41594 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 46090104 4292608 736 18446744073709551615 94515643940864 94515644835397 140730487282432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94515645074448 94515645122192 94515659587584 140730487290221 140730487290344 140730487290344 140730487295946 0
/proc/41666/statm: 1048 736 672 219 0 110 0
[pid=41668] ppid=41666 vsize=3066400 memory=2867556 CPUtime=50.95 cores=4,6
/proc/41668/stat : 41668 (roundingsat) R 41666 41666 41594 0 -1 4194304 521347 0 0 0 4800 295 0 0 20 0 1 0 46090104 3139993600 716889 18446744073709551615 4227072 8923433 140728566691888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36478976 140728566696354 140728566696488 140728566696488 140728566702058 0
/proc/41668/statm: 766600 716889 2368 1147 0 754027 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 3070592 KiB
Current children cumulated memory: 2870500 KiB

[startup+102.3 s]
/proc/loadavg: 3.50 2.01 2.43 5/269 41671
/proc/meminfo: memFree=122452600/131249996 swapFree=33010684/33010684
[pid=41666] ppid=41661 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/41666/stat : 41666 (run-opt.sh) S 41661 41666 41594 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 46090104 4292608 736 18446744073709551615 94515643940864 94515644835397 140730487282432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94515645074448 94515645122192 94515659587584 140730487290221 140730487290344 140730487290344 140730487295946 0
/proc/41666/statm: 1048 736 672 219 0 110 0
[pid=41668] ppid=41666 vsize=5324732 memory=4257396 CPUtime=102 cores=4,6
/proc/41668/stat : 41668 (roundingsat) R 41666 41666 41594 0 -1 4194304 810982 0 0 0 9786 414 0 0 20 0 1 0 46090104 5452525568 1064349 18446744073709551615 4227072 8923433 140728566691888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36478976 140728566696354 140728566696488 140728566696488 140728566702058 0
/proc/41668/statm: 1331183 1064349 2368 1147 0 1318610 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 5328924 KiB
Current children cumulated memory: 4260340 KiB

[startup+162.3 s]
/proc/loadavg: 3.87 2.39 2.53 5/271 41676
/proc/meminfo: memFree=121285516/131249996 swapFree=33010684/33010684
[pid=41666] ppid=41661 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/41666/stat : 41666 (run-opt.sh) S 41661 41666 41594 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 46090104 4292608 736 18446744073709551615 94515643940864 94515644835397 140730487282432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94515645074448 94515645122192 94515659587584 140730487290221 140730487290344 140730487290344 140730487295946 0
/proc/41666/statm: 1048 736 672 219 0 110 0
[pid=41668] ppid=41666 vsize=5500936 memory=4727872 CPUtime=161.82 cores=4,6
/proc/41668/stat : 41668 (roundingsat) R 41666 41666 41594 0 -1 4194304 887278 0 0 0 15646 536 0 0 20 0 1 0 46090104 5632958464 1181968 18446744073709551615 4227072 8923433 140728566691888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36478976 140728566696354 140728566696488 140728566696488 140728566702058 0
/proc/41668/statm: 1375234 1181968 2368 1147 0 1362661 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 5505128 KiB
Current children cumulated memory: 4730816 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.70 2.63 5/271 41679
/proc/meminfo: memFree=119983964/131249996 swapFree=33010684/33010684
[pid=41666] ppid=41661 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/41666/stat : 41666 (run-opt.sh) S 41661 41666 41594 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 46090104 4292608 736 18446744073709551615 94515643940864 94515644835397 140730487282432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94515645074448 94515645122192 94515659587584 140730487290221 140730487290344 140730487290344 140730487295946 0
/proc/41666/statm: 1048 736 672 219 0 110 0
[pid=41668] ppid=41666 vsize=6637844 memory=5481444 CPUtime=221.64 cores=4,6
/proc/41668/stat : 41668 (roundingsat) R 41666 41666 41594 0 -1 4194304 997488 0 0 0 21560 604 0 0 20 0 1 0 46090104 6797152256 1370361 18446744073709551615 4227072 8923433 140728566691888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36478976 140728566696354 140728566696488 140728566696488 140728566702058 0
/proc/41668/statm: 1659461 1370361 2368 1147 0 1646888 0

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

Current children cumulated memory: 16845692 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.04 5/268 41843
/proc/meminfo: memFree=95688788/131249996 swapFree=33010684/33010684
[pid=41666] ppid=41661 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/41666/stat : 41666 (run-opt.sh) S 41661 41666 41594 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 46090104 4292608 736 18446744073709551615 94515643940864 94515644835397 140730487282432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94515645074448 94515645122192 94515659587584 140730487290221 140730487290344 140730487290344 140730487295946 0
/proc/41666/statm: 1048 736 672 219 0 110 0
[pid=41668] ppid=41666 vsize=21711824 memory=16852092 CPUtime=3152.49 cores=4,6
/proc/41668/stat : 41668 (roundingsat) R 41666 41666 41594 0 -1 4194304 3268783 0 0 0 312311 2938 0 0 20 0 1 0 46090104 22232907776 4213023 18446744073709551615 4227072 8923433 140728566691888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36478976 140728566696354 140728566696488 140728566696488 140728566702058 0
/proc/41668/statm: 5427956 4213023 2368 1147 0 5415383 0
Current children cumulated CPU time: 3152.49 s
Current children cumulated vsize: 21716016 KiB
Current children cumulated memory: 16855036 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.05 5/269 41846
/proc/meminfo: memFree=95213760/131249996 swapFree=33010684/33010684
[pid=41666] ppid=41661 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/41666/stat : 41666 (run-opt.sh) S 41661 41666 41594 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 46090104 4292608 736 18446744073709551615 94515643940864 94515644835397 140730487282432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94515645074448 94515645122192 94515659587584 140730487290221 140730487290344 140730487290344 140730487295946 0
/proc/41666/statm: 1048 736 672 219 0 110 0
[pid=41668] ppid=41666 vsize=22074980 memory=17264584 CPUtime=3212.3 cores=4,6
/proc/41668/stat : 41668 (roundingsat) R 41666 41666 41594 0 -1 4194304 3352030 0 0 0 318247 2983 0 0 20 0 1 0 46090104 22604779520 4316146 18446744073709551615 4227072 8923433 140728566691888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36478976 140728566696354 140728566696488 140728566696488 140728566702058 0
/proc/41668/statm: 5518745 4316146 2368 1147 0 5506172 0
Current children cumulated CPU time: 3212.3 s
Current children cumulated vsize: 22079172 KiB
Current children cumulated memory: 17267528 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.13 4.05 5/269 41850
/proc/meminfo: memFree=94709360/131249996 swapFree=33010684/33010684
[pid=41666] ppid=41661 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/41666/stat : 41666 (run-opt.sh) S 41661 41666 41594 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 46090104 4292608 736 18446744073709551615 94515643940864 94515644835397 140730487282432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94515645074448 94515645122192 94515659587584 140730487290221 140730487290344 140730487290344 140730487295946 0
/proc/41666/statm: 1048 736 672 219 0 110 0
[pid=41668] ppid=41666 vsize=22105828 memory=17564012 CPUtime=3272.09 cores=4,6
/proc/41668/stat : 41668 (roundingsat) R 41666 41666 41594 0 -1 4194304 3388364 0 0 0 324206 3003 0 0 20 0 1 0 46090104 22636367872 4391003 18446744073709551615 4227072 8923433 140728566691888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36478976 140728566696354 140728566696488 140728566696488 140728566702058 0
/proc/41668/statm: 5526457 4391003 2368 1147 0 5513884 0
Current children cumulated CPU time: 3272.09 s
Current children cumulated vsize: 22110020 KiB
Current children cumulated memory: 17566956 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.05 5/269 41857
/proc/meminfo: memFree=94665392/131249996 swapFree=33010684/33010684
[pid=41666] ppid=41661 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/41666/stat : 41666 (run-opt.sh) S 41661 41666 41594 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 46090104 4292608 736 18446744073709551615 94515643940864 94515644835397 140730487282432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94515645074448 94515645122192 94515659587584 140730487290221 140730487290344 140730487290344 140730487295946 0
/proc/41666/statm: 1048 736 672 219 0 110 0
[pid=41668] ppid=41666 vsize=22105828 memory=17564012 CPUtime=3331.89 cores=4,6
/proc/41668/stat : 41668 (roundingsat) R 41666 41666 41594 0 -1 4194304 3388468 0 0 0 330159 3030 0 0 20 0 1 0 46090104 22636367872 4391003 18446744073709551615 4227072 8923433 140728566691888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36478976 140728566696354 140728566696488 140728566696488 140728566702058 0
/proc/41668/statm: 5526457 4391003 2368 1147 0 5513884 0
Current children cumulated CPU time: 3331.89 s
Current children cumulated vsize: 22110020 KiB
Current children cumulated memory: 17566956 KiB

[startup+3402.3 s]
/proc/loadavg: 4.04 4.09 4.05 5/269 41859
/proc/meminfo: memFree=94186824/131249996 swapFree=33010684/33010684
[pid=41666] ppid=41661 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/41666/stat : 41666 (run-opt.sh) S 41661 41666 41594 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 46090104 4292608 736 18446744073709551615 94515643940864 94515644835397 140730487282432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94515645074448 94515645122192 94515659587584 140730487290221 140730487290344 140730487290344 140730487295946 0
/proc/41666/statm: 1048 736 672 219 0 110 0
[pid=41668] ppid=41666 vsize=22105828 memory=17564012 CPUtime=3391.7 cores=4,6
/proc/41668/stat : 41668 (roundingsat) R 41666 41666 41594 0 -1 4194304 3388521 0 0 0 336117 3053 0 0 20 0 1 0 46090104 22636367872 4391003 18446744073709551615 4227072 8923433 140728566691888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36478976 140728566696354 140728566696488 140728566696488 140728566702058 0
/proc/41668/statm: 5526457 4391003 2368 1147 0 5513884 0
Current children cumulated CPU time: 3391.7 s
Current children cumulated vsize: 22110020 KiB
Current children cumulated memory: 17566956 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.05 5/269 41862
/proc/meminfo: memFree=94093824/131249996 swapFree=33010684/33010684
[pid=41666] ppid=41661 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/41666/stat : 41666 (run-opt.sh) S 41661 41666 41594 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 46090104 4292608 736 18446744073709551615 94515643940864 94515644835397 140730487282432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94515645074448 94515645122192 94515659587584 140730487290221 140730487290344 140730487290344 140730487295946 0
/proc/41666/statm: 1048 736 672 219 0 110 0
[pid=41668] ppid=41666 vsize=22105828 memory=17564140 CPUtime=3451.49 cores=4,6
/proc/41668/stat : 41668 (roundingsat) R 41666 41666 41594 0 -1 4194304 3388615 0 0 0 342080 3069 0 0 20 0 1 0 46090104 22636367872 4391035 18446744073709551615 4227072 8923433 140728566691888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36478976 140728566696354 140728566696488 140728566696488 140728566702058 0
/proc/41668/statm: 5526457 4391035 2368 1147 0 5513884 0
Current children cumulated CPU time: 3451.49 s
Current children cumulated vsize: 22110020 KiB
Current children cumulated memory: 17567084 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.05 5/269 41865
/proc/meminfo: memFree=93882292/131249996 swapFree=33010684/33010684
[pid=41666] ppid=41661 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/41666/stat : 41666 (run-opt.sh) S 41661 41666 41594 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 46090104 4292608 736 18446744073709551615 94515643940864 94515644835397 140730487282432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94515645074448 94515645122192 94515659587584 140730487290221 140730487290344 140730487290344 140730487295946 0
/proc/41666/statm: 1048 736 672 219 0 110 0
[pid=41668] ppid=41666 vsize=22138584 memory=17643756 CPUtime=3511.3 cores=4,6
/proc/41668/stat : 41668 (roundingsat) R 41666 41666 41594 0 -1 4194304 3408601 0 0 0 348031 3099 0 0 20 0 1 0 46090104 22669910016 4410939 18446744073709551615 4227072 8923433 140728566691888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36478976 140728566696354 140728566696488 140728566696488 140728566702058 0
/proc/41668/statm: 5534646 4410939 2368 1147 0 5522073 0
Current children cumulated CPU time: 3511.3 s
Current children cumulated vsize: 22142776 KiB
Current children cumulated memory: 17646700 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.05 5/269 41867
/proc/meminfo: memFree=93719640/131249996 swapFree=33010684/33010684
[pid=41666] ppid=41661 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/41666/stat : 41666 (run-opt.sh) S 41661 41666 41594 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 46090104 4292608 736 18446744073709551615 94515643940864 94515644835397 140730487282432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94515645074448 94515645122192 94515659587584 140730487290221 140730487290344 140730487290344 140730487295946 0
/proc/41666/statm: 1048 736 672 219 0 110 0
[pid=41668] ppid=41666 vsize=22140384 memory=17679340 CPUtime=3571.09 cores=4,6
/proc/41668/stat : 41668 (roundingsat) R 41666 41666 41594 0 -1 4194304 3417836 0 0 0 353974 3135 0 0 20 0 1 0 46090104 22671753216 4419835 18446744073709551615 4227072 8923433 140728566691888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36478976 140728566696354 140728566696488 140728566696488 140728566702058 0
/proc/41668/statm: 5535096 4419835 2368 1147 0 5522523 0
Current children cumulated CPU time: 3571.09 s
Current children cumulated vsize: 22144576 KiB
Current children cumulated memory: 17682284 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 4.05 4.08 4.05 4/263 41917
/proc/meminfo: memFree=100966272/131249996 swapFree=33010684/33010684
[pid=41666] ppid=41661 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/41666/stat : 41666 (run-opt.sh) S 41661 41666 41594 0 -1 4194304 201 0 0 0 0 0 0 0 20 0 1 0 46090104 4292608 736 18446744073709551615 94515643940864 94515644835397 140730487282432 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94515645074448 94515645122192 94515659587584 140730487290221 140730487290344 140730487290344 140730487295946 0
/proc/41666/statm: 1048 736 672 219 0 110 0
[pid=41668] ppid=41666 vsize=22140384 memory=17679340 CPUtime=3600.09 cores=4,6
/proc/41668/stat : 41668 (roundingsat) R 41666 41666 41594 0 -1 4194304 3417894 0 0 0 356852 3157 0 0 20 0 1 0 46090104 22671753216 4419835 18446744073709551615 4227072 8923433 140728566691888 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36478976 140728566696354 140728566696488 140728566696488 140728566702058 0
/proc/41668/statm: 5535096 4419835 2368 1147 0 5522523 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 22144576 KiB
Current children cumulated memory: 17682284 KiB

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

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

# cumulated CPU time of all completed processes:  user=0 s, system=0.001931 s

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

# cumulated CPU time of all completed processes:  user=3568.55 s, system=32.3583 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+3612 s]*
/proc/loadavg: 4.04 4.08 4.05 5/268 41962
/proc/meminfo: memFree=116161968/131249996 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.001931 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3612.2 s]
/proc/loadavg: 4.04 4.08 4.05 5/268 41962
/proc/meminfo: memFree=116161968/131249996 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.001931 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3612.22
CPU time (s): 3600.91
CPU user time (s): 3568.55
CPU system time (s): 32.3583
CPU usage (%): 99.6869
Max. virtual memory (cumulated for all children) (KiB): 22144576
Max. memory (cumulated for all children) (KiB): 17682284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.55
system time used= 32.3583
maximum resident set size= 17679596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3418155
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 144
involuntary context switches= 3566


# summary of solver processes directly reported to runsolver:
#   pid: 41666,41668
#   total CPU time (s): 3600.91
#   total CPU user time (s): 3568.55
#   total CPU system time (s): 32.3583

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.16401 second user time and 18.2033 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-06-30 19:21:55
IDJOB=4485228
IDBENCH=146777
IDSOLVER=3350
FILE ID=nodeC032/4485228-1751304115
RUNJOBID= nodeC032-1751304114-41605
SLURM_JOB_ID= 9594298
Free space on /tmp= 432040 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-rail507.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485228-1751304115/watcher-4485228-1751304115 -o /tmp/evaluation-result-4485228-1751304115/solver-4485228-1751304115 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751304114-41605 --watchdog 3760  run-opt.sh HOME/instance-4485228-1751304115.opb

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

MD5SUM BENCH= a1664c28c3f3eb97ba538bc58cc5b289
RANDOM SEED=157430855

nodeC032 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	: 0xb00002a
cpu MHz		: 3600.114
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 pti ibrs ibpb stibp 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	: 6999.69
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		: 2729.320
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 pti ibrs ibpb stibp 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	: 6999.69
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		: 3599.326
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 pti ibrs ibpb stibp 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	: 6999.69
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		: 1684.296
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 pti ibrs ibpb stibp 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	: 6999.69
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		: 3599.842
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 pti ibrs ibpb stibp 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	: 6999.69
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		: 3306.283
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 pti ibrs ibpb stibp 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	: 6999.69
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		: 3601.222
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 pti ibrs ibpb stibp 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	: 6999.69
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		: 1825.245
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 pti ibrs ibpb stibp 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	: 6999.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        130013604 kB
MemAvailable:   129789072 kB
Buffers:            3280 kB
Cached:           583668 kB
SwapCached:            0 kB
Active:           320140 kB
Inactive:         330288 kB
Active(anon):      81548 kB
Inactive(anon):        0 kB
Active(file):     238592 kB
Inactive(file):   330288 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             36004 kB
Writeback:             0 kB
AnonPages:         66684 kB
Mapped:           102764 kB
Shmem:             18068 kB
KReclaimable:      91656 kB
Slab:             176372 kB
SReclaimable:      91656 kB
SUnreclaim:        84716 kB
KernelStack:        4208 kB
PageTables:         2976 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     334088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432024 MiB
End job on nodeC032 at 2025-06-30 20:22:07