Trace number 4517996

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.07 3610.92

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/
normalized-knapPI_3_200_10000_5_-93992.opb
MD5SUMcd82cadc3025252f43f8d787a9347bc3
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-141992
Best CPU time to get the best result obtained on this benchmark0.123928
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000
Total number of constraints1
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1000
Maximum length of a constraint1000
Number of terms in the objective function 1000
Biggest coefficient in the objective function 10984
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 6085234
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 48992
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 6085234
Number of bits of the biggest sum of numbers23
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.00/0.01	c #variables 1000 #constraints 1
0.00/0.01	c objective is ce32 
0.00/0.01	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.01	c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
0.00/0.01	c GLOBAL bounds - >= -6085234 @ 0.001124
0.00/0.01	c GLOBAL bounds - >= -6085234 @ 0.002116
0.00/0.02	c GLOBAL bounds - >= -6085234 @ 0.003099
0.00/0.02	c GLOBAL bounds - >= -6085234 @ 0.004114
0.00/0.02	c GLOBAL bounds - >= -6085234 @ 0.005164
0.00/0.02	c GLOBAL bounds - >= -6085234 @ 0.006185
0.00/0.02	c GLOBAL bounds - >= -6085234 @ 0.007028
0.00/0.02	c GLOBAL bounds - >= -6085234 @ 0.007035
0.00/0.02	c GLOBAL bounds - >= -6085234 @ 0.007041
0.00/0.02	c GLOBAL bounds - >= -6085234 @ 0.007325
0.00/0.02	c GLOBAL bounds - >= -6085234 @ 0.00804
0.00/0.02	c GLOBAL bounds - >= -6085234 @ 0.008405
0.00/0.03	c GLOBAL bounds - >= -6085234 @ 0.009039
0.00/0.03	c GLOBAL bounds - >= -6085234 @ 0.009497
0.00/0.03	c GLOBAL bounds - >= -6085234 @ 0.010038
0.00/0.03	c GLOBAL bounds - >= -6085234 @ 0.010645
0.00/0.03	c GLOBAL bounds - >= -6085234 @ 0.011009
0.00/0.03	c GLOBAL bounds - >= -6085234 @ 0.012081
0.00/0.03	c GLOBAL bounds - >= -6085234 @ 0.013102
0.00/0.03	c GLOBAL bounds - >= -6085234 @ 0.014391
0.00/0.04	c GLOBAL bounds - >= -6085234 @ 0.014997
0.00/0.04	c GLOBAL bounds - >= -6085234 @ 0.014999
0.00/0.04	c GLOBAL bounds - >= -6085234 @ 0.015148
0.00/0.04	c GLOBAL bounds - >= -6085234 @ 0.016504
0.00/0.04	c GLOBAL bounds - >= -6085234 @ 0.019329
0.00/0.05	c GLOBAL bounds - >= -6085234 @ 0.023179
0.00/0.05	c GLOBAL bounds - >= -6085234 @ 0.025864
0.00/0.06	c GLOBAL bounds - >= -6085234 @ 0.035311
0.00/0.07	c GLOBAL bounds - >= -6085234 @ 0.036044
0.00/0.07	c GLOBAL bounds - >= -6085234 @ 0.037119
0.00/0.07	c GLOBAL bounds - >= -6085234 @ 0.040701
0.00/0.07	c GLOBAL bounds - >= -6085234 @ 0.04305
0.00/0.10	c GLOBAL bounds - >= -6085234 @ 0.065119
0.00/0.10	c GLOBAL bounds - >= -6085234 @ 0.06694
0.08/0.20	c GLOBAL bounds - >= -6085234 @ 0.163568
0.18/0.22	c GLOBAL bounds - >= -6085234 @ 0.177616
0.18/0.23	c GLOBAL bounds - >= -6085234 @ 0.195062
0.18/0.24	c GLOBAL bounds - >= -6085234 @ 0.196565
0.18/0.24	c GLOBAL bounds - >= -6085234 @ 0.204535
0.18/0.25	c GLOBAL bounds - >= -6085234 @ 0.208796
0.29/0.33	c GLOBAL bounds - >= -6085234 @ 0.289761
0.29/0.40	c GLOBAL bounds - >= -6085234 @ 0.355122
2.38/2.48	c #Conflicts:       1000 | #Constraints:       1081
2.38/2.48	c GLOBAL bounds - >= -6085234 @ 2.39218
2.38/2.48	c GLOBAL bounds - >= -6085234 @ 2.39659
2.38/2.49	c GLOBAL bounds - >= -6085234 @ 2.40139
2.47/2.50	c GLOBAL bounds - >= -6085234 @ 2.40935
2.57/2.60	c GLOBAL bounds - >= -6085234 @ 2.51473
2.77/2.84	c #Conflicts:       2000 | #Constraints:       2091
2.77/2.84	c INPROCESSING
2.77/2.84	c GARBAGE COLLECT
2.77/2.84	c GLOBAL bounds - >= -6085234 @ 2.74819
2.77/2.84	c GLOBAL bounds - >= -6085234 @ 2.74971
2.77/2.84	c GLOBAL bounds - >= -6085234 @ 2.75119
2.77/2.85	c GLOBAL bounds - >= -6085234 @ 2.7528
2.77/2.85	c GLOBAL bounds - >= -6085234 @ 2.75553
2.77/2.85	c GLOBAL bounds - >= -6085234 @ 2.75837
2.77/2.85	c GLOBAL bounds - >= -6085234 @ 2.76146
2.77/2.86	c GLOBAL bounds - >= -6085234 @ 2.76466
2.77/2.86	c GLOBAL bounds - >= -6085234 @ 2.76686
2.77/2.86	c GLOBAL bounds - >= -6085234 @ 2.76996
2.77/2.87	c GLOBAL bounds - >= -6085234 @ 2.77312
2.77/2.87	c GLOBAL bounds - >= -6085234 @ 2.77442
2.77/2.87	c GLOBAL bounds - >= -6085234 @ 2.77787
2.87/2.91	c GLOBAL bounds - >= -6085234 @ 2.80987
2.87/3.00	c GLOBAL bounds - >= -6085234 @ 2.89848
2.87/3.00	c GLOBAL bounds - >= -6085234 @ 2.90294
2.98/3.01	c GLOBAL bounds - >= -6085234 @ 2.91156
2.98/3.02	c GLOBAL bounds - >= -6085234 @ 2.9188
5.46/5.54	c #Conflicts:       3000 | #Constraints:       2132
5.46/5.54	c GLOBAL bounds - >= -6085234 @ 5.41462
5.46/5.54	c GLOBAL bounds - >= -6085234 @ 5.42063
5.46/5.55	c GLOBAL bounds - >= -6085234 @ 5.42723
5.46/5.56	c GLOBAL bounds - >= -6085234 @ 5.43459
5.46/5.56	c GLOBAL bounds - >= -6085234 @ 5.44103
5.46/5.57	c GLOBAL bounds - >= -6085234 @ 5.44885
5.46/5.58	c GLOBAL bounds - >= -6085234 @ 5.45681
5.46/5.59	c GLOBAL bounds - >= -6085234 @ 5.46333
5.46/5.60	c GLOBAL bounds - >= -6085234 @ 5.47166
5.56/5.60	c GLOBAL bounds - >= -6085234 @ 5.48014
5.56/5.69	c GLOBAL bounds - >= -6085234 @ 5.568
5.66/5.80	c GLOBAL bounds - >= -6085234 @ 5.66435
5.96/6.03	c GLOBAL bounds - >= -6085234 @ 5.8914
6.36/6.46	c GLOBAL bounds - >= -6085234 @ 6.31436
6.97/7.02	c GLOBAL bounds - >= -6085234 @ 6.87476
9.75/9.86	c #Conflicts:       4000 | #Constraints:       3162
9.75/9.86	c INPROCESSING
9.75/9.86	c GARBAGE COLLECT
9.75/9.86	c GLOBAL bounds - >= -6085234 @ 9.68575
21.72/21.80	c #Conflicts:       5000 | #Constraints:       2571
21.72/21.80	c #Conflicts:       6000 | #Constraints:       3571
21.72/21.80	c INPROCESSING
21.72/21.80	c GARBAGE COLLECT
21.72/21.80	c #Conflicts:       7000 | #Constraints:       2575
21.72/21.80	c #Conflicts:       8000 | #Constraints:       3575
21.72/21.80	c GLOBAL bounds - >= -6085234 @ 21.5417
21.72/21.81	c GLOBAL bounds - >= -6085234 @ 21.5503
21.72/21.82	c GLOBAL bounds - >= -6085234 @ 21.5589
21.72/21.83	c GLOBAL bounds - >= -6085234 @ 21.5672
21.81/21.98	c GLOBAL bounds - >= -6085234 @ 21.7086
22.02/22.18	c GLOBAL bounds - >= -6085234 @ 21.9168
51.13/51.35	c #Conflicts:       9000 | #Constraints:       4587
51.13/51.35	c INPROCESSING
51.13/51.35	c GARBAGE COLLECT
51.13/51.35	c #Conflicts:      10000 | #Constraints:       3291
51.13/51.35	c #Conflicts:      11000 | #Constraints:       4291
51.13/51.35	c #Conflicts:      12000 | #Constraints:       5291
51.13/51.35	c INPROCESSING
51.13/51.35	c GARBAGE COLLECT
51.13/51.35	c #Conflicts:      13000 | #Constraints:       3738
51.13/51.35	c #Conflicts:      14000 | #Constraints:       4738
51.13/51.35	c #Conflicts:      15000 | #Constraints:       5738
51.13/51.35	c INPROCESSING
51.13/51.35	c GARBAGE COLLECT
51.13/51.35	c GLOBAL bounds - >= -6085234 @ 50.9129
51.23/51.42	c GLOBAL bounds - >= -6085234 @ 50.9776
51.64/51.84	c GLOBAL bounds - >= -6085234 @ 51.3977
53.03/53.25	c #Conflicts:      16000 | #Constraints:       3965
53.03/53.25	c GLOBAL bounds - >= -6085234 @ 52.7931
66.99/67.21	c #Conflicts:      17000 | #Constraints:       4967
66.99/67.21	c #Conflicts:      18000 | #Constraints:       5967
66.99/67.21	c INPROCESSING
66.99/67.21	c GARBAGE COLLECT
66.99/67.21	c #Conflicts:      19000 | #Constraints:       3988
66.99/67.21	c GLOBAL bounds - >= -6085234 @ 66.6926
79.55/79.81	c #Conflicts:      20000 | #Constraints:       4990
79.55/79.81	c #Conflicts:      21000 | #Constraints:       5990
79.55/79.81	c GLOBAL bounds - >= -6085234 @ 79.2316
95.81/96.19	c INPROCESSING
95.81/96.19	c GARBAGE COLLECT
95.81/96.19	c #Conflicts:      22000 | #Constraints:       3799
95.81/96.19	c #Conflicts:      23000 | #Constraints:       4799
95.81/96.19	c #Conflicts:      24000 | #Constraints:       5799
95.81/96.19	c GLOBAL bounds - >= -6085234 @ 95.5196
102.89/103.22	c #Conflicts:      25000 | #Constraints:       6801
102.89/103.22	c GLOBAL bounds - >= -6085234 @ 102.503
268.71/269.56	c INPROCESSING
268.71/269.56	c GARBAGE COLLECT
268.71/269.56	c #Conflicts:      26000 | #Constraints:       4398
268.71/269.56	c #Conflicts:      27000 | #Constraints:       5398
268.71/269.56	c #Conflicts:      28000 | #Constraints:       6398
268.71/269.56	c #Conflicts:      29000 | #Constraints:       7398
268.71/269.56	c INPROCESSING
268.71/269.56	c GARBAGE COLLECT
268.71/269.56	c #Conflicts:      30000 | #Constraints:       4803
268.71/269.56	c #Conflicts:      31000 | #Constraints:       5803
268.71/269.56	c #Conflicts:      32000 | #Constraints:       6803
268.71/269.56	c #Conflicts:      33000 | #Constraints:       7803
268.71/269.56	c INPROCESSING
268.71/269.56	c GARBAGE COLLECT
268.71/269.56	c #Conflicts:      34000 | #Constraints:       5006
268.71/269.56	c #Conflicts:      35000 | #Constraints:       6006
268.71/269.56	c #Conflicts:      36000 | #Constraints:       7006
268.71/269.56	c #Conflicts:      37000 | #Constraints:       8006
268.71/269.56	c INPROCESSING
268.71/269.56	c GARBAGE COLLECT
268.71/269.56	c #Conflicts:      38000 | #Constraints:       5008
268.71/269.56	c #Conflicts:      39000 | #Constraints:       6008
268.71/269.56	c #Conflicts:      40000 | #Constraints:       7008
268.71/269.56	c #Conflicts:      41000 | #Constraints:       8008
268.71/269.56	c INPROCESSING
268.71/269.56	c GARBAGE COLLECT
268.71/269.56	c #Conflicts:      42000 | #Constraints:       4802
268.71/269.56	c #Conflicts:      43000 | #Constraints:       5802
268.71/269.56	c #Conflicts:      44000 | #Constraints:       6802
268.71/269.56	c #Conflicts:      45000 | #Constraints:       7802
268.71/269.56	c #Conflicts:      46000 | #Constraints:       8802
268.71/269.56	c INPROCESSING
268.71/269.56	c GARBAGE COLLECT
268.71/269.56	c #Conflicts:      47000 | #Constraints:       5405
268.71/269.56	c #Conflicts:      48000 | #Constraints:       6405
268.71/269.56	c #Conflicts:      49000 | #Constraints:       7405
268.71/269.56	c #Conflicts:      50000 | #Constraints:       8405
268.71/269.56	c #Conflicts:      51000 | #Constraints:       9405
268.71/269.56	c INPROCESSING
268.71/269.56	c GARBAGE COLLECT
268.71/269.56	c #Conflicts:      52000 | #Constraints:       5806
268.71/269.56	c GLOBAL bounds - >= -6085234 @ 268.101
268.71/269.58	c GLOBAL bounds - >= -6085234 @ 268.116
268.81/269.60	c GLOBAL bounds - >= -6085234 @ 268.133
268.81/269.64	c GLOBAL bounds - >= -6085234 @ 268.174
269.50/270.39	c GLOBAL bounds - >= -6085234 @ 268.924
274.59/275.42	c #Conflicts:      53000 | #Constraints:       6816
274.59/275.42	c GLOBAL bounds - >= -6085234 @ 273.929
312.59/313.51	c #Conflicts:      54000 | #Constraints:       7818
312.59/313.51	c #Conflicts:      55000 | #Constraints:       8818
312.59/313.51	c #Conflicts:      56000 | #Constraints:       9818
312.59/313.51	c INPROCESSING
312.59/313.51	c GARBAGE COLLECT
312.59/313.51	c #Conflicts:      57000 | #Constraints:       6022
312.59/313.51	c #Conflicts:      58000 | #Constraints:       7022
312.59/313.51	c GLOBAL bounds - >= -6085234 @ 311.847
366.94/368.02	c #Conflicts:      59000 | #Constraints:       8024
366.94/368.02	c #Conflicts:      60000 | #Constraints:       9024
366.94/368.02	c #Conflicts:      61000 | #Constraints:      10024
366.94/368.02	c INPROCESSING
366.94/368.02	c GARBAGE COLLECT
366.94/368.02	c #Conflicts:      62000 | #Constraints:       6022
366.94/368.02	c #Conflicts:      63000 | #Constraints:       7022
366.94/368.02	c #Conflicts:      64000 | #Constraints:       8022
366.94/368.02	c #Conflicts:      65000 | #Constraints:       9022
366.94/368.02	c #Conflicts:      66000 | #Constraints:      10022
366.94/368.02	c GLOBAL bounds - >= -6085234 @ 366.121
366.94/368.08	c GLOBAL bounds - >= -6085234 @ 366.174
423.07/424.33	c INPROCESSING
423.07/424.33	c GARBAGE COLLECT
423.07/424.33	c #Conflicts:      67000 | #Constraints:       5816
423.07/424.33	c #Conflicts:      68000 | #Constraints:       6816
423.07/424.33	c #Conflicts:      69000 | #Constraints:       7816
423.07/424.33	c #Conflicts:      70000 | #Constraints:       8816
423.07/424.33	c #Conflicts:      71000 | #Constraints:       9816
423.07/424.33	c #Conflicts:      72000 | #Constraints:      10816
423.07/424.33	c INPROCESSING
423.07/424.33	c GARBAGE COLLECT
423.07/424.33	c #Conflicts:      73000 | #Constraints:       6429
423.07/424.33	c GLOBAL bounds - >= -6085234 @ 422.182
423.07/424.35	c GLOBAL bounds - >= -6085234 @ 422.203
423.26/424.58	c GLOBAL bounds - >= -6085234 @ 422.43
423.47/424.71	c GLOBAL bounds - >= -6085234 @ 422.556
423.57/424.80	c GLOBAL bounds - >= -6085234 @ 422.653
423.67/424.96	c GLOBAL bounds - >= -6085234 @ 422.806
423.87/425.19	c GLOBAL bounds - >= -6085234 @ 423.04
423.97/425.26	c GLOBAL bounds - >= -6085234 @ 423.108
430.05/431.35	c #Conflicts:      74000 | #Constraints:       7445
430.05/431.35	c GLOBAL bounds - >= -6085234 @ 429.169
430.15/431.48	c GLOBAL bounds - >= -6085234 @ 429.297
633.66/635.54	c #Conflicts:      75000 | #Constraints:       8449
633.66/635.54	c #Conflicts:      76000 | #Constraints:       9449
633.66/635.54	c #Conflicts:      77000 | #Constraints:      10449
633.66/635.54	c #Conflicts:      78000 | #Constraints:      11449
633.66/635.54	c INPROCESSING
633.66/635.54	c GARBAGE COLLECT
633.66/635.54	c #Conflicts:      79000 | #Constraints:       6845
633.66/635.54	c #Conflicts:      80000 | #Constraints:       7845
633.66/635.54	c #Conflicts:      81000 | #Constraints:       8845
633.66/635.54	c #Conflicts:      82000 | #Constraints:       9845
633.66/635.54	c #Conflicts:      83000 | #Constraints:      10845
633.66/635.54	c #Conflicts:      84000 | #Constraints:      11845
633.66/635.54	c INPROCESSING
633.66/635.54	c GARBAGE COLLECT
633.66/635.54	c #Conflicts:      85000 | #Constraints:       7046
633.66/635.54	c #Conflicts:      86000 | #Constraints:       8046
633.66/635.54	c #Conflicts:      87000 | #Constraints:       9046
633.66/635.54	c #Conflicts:      88000 | #Constraints:      10046
633.66/635.54	c #Conflicts:      89000 | #Constraints:      11046
633.66/635.54	c #Conflicts:      90000 | #Constraints:      12046
633.66/635.54	c INPROCESSING
633.66/635.54	c GARBAGE COLLECT
633.66/635.54	c #Conflicts:      91000 | #Constraints:       7050
633.66/635.54	c #Conflicts:      92000 | #Constraints:       8050
633.66/635.54	c #Conflicts:      93000 | #Constraints:       9050
633.66/635.54	c #Conflicts:      94000 | #Constraints:      10050
633.66/635.54	c #Conflicts:      95000 | #Constraints:      11050
633.66/635.54	c #Conflicts:      96000 | #Constraints:      12050
633.66/635.54	c GLOBAL bounds - >= -6085234 @ 632.576
731.89/734.01	c INPROCESSING
731.89/734.01	c GARBAGE COLLECT
731.89/734.01	c #Conflicts:      97000 | #Constraints:       6851
731.89/734.01	c #Conflicts:      98000 | #Constraints:       7851
731.89/734.01	c #Conflicts:      99000 | #Constraints:       8851
731.89/734.01	c #Conflicts:     100000 | #Constraints:       9851
731.89/734.01	c #Conflicts:     101000 | #Constraints:      10851
731.89/734.01	c #Conflicts:     102000 | #Constraints:      11851
731.89/734.01	c #Conflicts:     103000 | #Constraints:      12851
731.89/734.01	c INPROCESSING
731.89/734.01	c GARBAGE COLLECT
731.89/734.01	c #Conflicts:     104000 | #Constraints:       7448
731.89/734.01	c #Conflicts:     105000 | #Constraints:       8448
731.89/734.01	c #Conflicts:     106000 | #Constraints:       9448
731.89/734.01	c #Conflicts:     107000 | #Constraints:      10448
731.89/734.01	c GLOBAL bounds - >= -6085234 @ 730.652
1544.25/1548.81	c #Conflicts:     108000 | #Constraints:      11450
1544.25/1548.81	c #Conflicts:     109000 | #Constraints:      12450
1544.25/1548.81	c #Conflicts:     110000 | #Constraints:      13450
1544.25/1548.81	c INPROCESSING
1544.25/1548.81	c GARBAGE COLLECT
1544.25/1548.81	c #Conflicts:     111000 | #Constraints:       7845
1544.25/1548.81	c #Conflicts:     112000 | #Constraints:       8845
1544.25/1548.81	c #Conflicts:     113000 | #Constraints:       9845
1544.25/1548.81	c #Conflicts:     114000 | #Constraints:      10845
1544.25/1548.81	c #Conflicts:     115000 | #Constraints:      11845
1544.25/1548.81	c #Conflicts:     116000 | #Constraints:      12845
1544.25/1548.81	c #Conflicts:     117000 | #Constraints:      13845
1544.25/1548.81	c INPROCESSING
1544.25/1548.81	c GARBAGE COLLECT
1544.25/1548.81	c #Conflicts:     118000 | #Constraints:       8049
1544.25/1548.81	c #Conflicts:     119000 | #Constraints:       9049
1544.25/1548.81	c #Conflicts:     120000 | #Constraints:      10049
1544.25/1548.81	c #Conflicts:     121000 | #Constraints:      11049
1544.25/1548.81	c #Conflicts:     122000 | #Constraints:      12049
1544.25/1548.81	c #Conflicts:     123000 | #Constraints:      13049
1544.25/1548.81	c #Conflicts:     124000 | #Constraints:      14049
1544.25/1548.81	c INPROCESSING
1544.25/1548.81	c GARBAGE COLLECT
1544.25/1548.81	c #Conflicts:     125000 | #Constraints:       8050
1544.25/1548.81	c #Conflicts:     126000 | #Constraints:       9050
1544.25/1548.81	c #Conflicts:     127000 | #Constraints:      10050
1544.25/1548.81	c #Conflicts:     128000 | #Constraints:      11050
1544.25/1548.81	c #Conflicts:     129000 | #Constraints:      12050
1544.25/1548.81	c #Conflicts:     130000 | #Constraints:      13050
1544.25/1548.81	c #Conflicts:     131000 | #Constraints:      14050
1544.25/1548.81	c INPROCESSING
1544.25/1548.81	c GARBAGE COLLECT
1544.25/1548.81	c #Conflicts:     132000 | #Constraints:       7848
1544.25/1548.81	c #Conflicts:     133000 | #Constraints:       8848
1544.25/1548.81	c #Conflicts:     134000 | #Constraints:       9848
1544.25/1548.81	c #Conflicts:     135000 | #Constraints:      10848
1544.25/1548.81	c #Conflicts:     136000 | #Constraints:      11848
1544.25/1548.81	c #Conflicts:     137000 | #Constraints:      12848
1544.25/1548.81	c #Conflicts:     138000 | #Constraints:      13848
1544.25/1548.81	c #Conflicts:     139000 | #Constraints:      14848
1544.25/1548.81	c INPROCESSING
1544.25/1548.81	c GARBAGE COLLECT
1544.25/1548.81	c #Conflicts:     140000 | #Constraints:       8446
1544.25/1548.81	c #Conflicts:     141000 | #Constraints:       9446
1544.25/1548.81	c #Conflicts:     142000 | #Constraints:      10446
1544.25/1548.81	c #Conflicts:     143000 | #Constraints:      11446
1544.25/1548.81	c #Conflicts:     144000 | #Constraints:      12446
1544.25/1548.81	c #Conflicts:     145000 | #Constraints:      13446
1544.25/1548.81	c #Conflicts:     146000 | #Constraints:      14446
1544.25/1548.81	c #Conflicts:     147000 | #Constraints:      15446
1544.25/1548.81	c INPROCESSING
1544.25/1548.81	c GARBAGE COLLECT
1544.25/1548.81	c #Conflicts:     148000 | #Constraints:       8846
1544.25/1548.81	c #Conflicts:     149000 | #Constraints:       9846
1544.25/1548.81	c #Conflicts:     150000 | #Constraints:      10846
1544.25/1548.81	c #Conflicts:     151000 | #Constraints:      11846
1544.25/1548.81	c #Conflicts:     152000 | #Constraints:      12846
1544.25/1548.81	c #Conflicts:     153000 | #Constraints:      13846
1544.25/1548.81	c #Conflicts:     154000 | #Constraints:      14846
1544.25/1548.81	c #Conflicts:     155000 | #Constraints:      15846
1544.25/1548.81	c INPROCESSING
1544.25/1548.81	c GARBAGE COLLECT
1544.25/1548.81	c #Conflicts:     156000 | #Constraints:       9052
1544.25/1548.81	c #Conflicts:     157000 | #Constraints:      10052
1544.25/1548.81	c #Conflicts:     158000 | #Constraints:      11052
1544.25/1548.81	c #Conflicts:     159000 | #Constraints:      12052
1544.25/1548.81	c #Conflicts:     160000 | #Constraints:      13052
1544.25/1548.81	c #Conflicts:     161000 | #Constraints:      14052
1544.25/1548.81	c #Conflicts:     162000 | #Constraints:      15052
1544.25/1548.81	c #Conflicts:     163000 | #Constraints:      16052
1544.25/1548.81	c INPROCESSING
1544.25/1548.81	c GARBAGE COLLECT
1544.25/1548.81	c #Conflicts:     164000 | #Constraints:       9043
1544.25/1548.81	c #Conflicts:     165000 | #Constraints:      10043
1544.25/1548.81	c #Conflicts:     166000 | #Constraints:      11043
1544.25/1548.81	c #Conflicts:     167000 | #Constraints:      12043
1544.25/1548.81	c #Conflicts:     168000 | #Constraints:      13043
1544.25/1548.81	c #Conflicts:     169000 | #Constraints:      14043
1544.25/1548.81	c #Conflicts:     170000 | #Constraints:      15043
1544.25/1548.81	c #Conflicts:     171000 | #Constraints:      16043
1544.25/1548.81	c INPROCESSING
1544.25/1548.81	c GARBAGE COLLECT
1544.25/1548.81	c #Conflicts:     172000 | #Constraints:       8848
1544.25/1548.81	c #Conflicts:     173000 | #Constraints:       9848
1544.25/1548.81	c #Conflicts:     174000 | #Constraints:      10848
1544.25/1548.81	c #Conflicts:     175000 | #Constraints:      11848
1544.25/1548.81	c #Conflicts:     176000 | #Constraints:      12848
1544.25/1548.81	c #Conflicts:     177000 | #Constraints:      13848
1544.25/1548.81	c #Conflicts:     178000 | #Constraints:      14848
1544.25/1548.81	c #Conflicts:     179000 | #Constraints:      15848
1544.25/1548.81	c #Conflicts:     180000 | #Constraints:      16848
1544.25/1548.81	c INPROCESSING
2511.94/2519.41	c GARBAGE COLLECT
2511.94/2519.41	c #Conflicts:     181000 | #Constraints:       9442
2511.94/2519.41	c #Conflicts:     182000 | #Constraints:      10442
2511.94/2519.41	c #Conflicts:     183000 | #Constraints:      11442
2511.94/2519.41	c #Conflicts:     184000 | #Constraints:      12442
2511.94/2519.41	c #Conflicts:     185000 | #Constraints:      13442
2511.94/2519.41	c #Conflicts:     186000 | #Constraints:      14442
2511.94/2519.41	c #Conflicts:     187000 | #Constraints:      15442
2511.94/2519.41	c #Conflicts:     188000 | #Constraints:      16442
2511.94/2519.41	c #Conflicts:     189000 | #Constraints:      17442
2511.94/2519.41	c INPROCESSING
2511.94/2519.41	c GARBAGE COLLECT
2511.94/2519.41	c #Conflicts:     190000 | #Constraints:       9848
2511.94/2519.41	c #Conflicts:     191000 | #Constraints:      10848
2511.94/2519.41	c #Conflicts:     192000 | #Constraints:      11848
2511.94/2519.41	c #Conflicts:     193000 | #Constraints:      12848
2511.94/2519.41	c #Conflicts:     194000 | #Constraints:      13848
2511.94/2519.41	c #Conflicts:     195000 | #Constraints:      14848
2511.94/2519.41	c #Conflicts:     196000 | #Constraints:      15848
2511.94/2519.41	c #Conflicts:     197000 | #Constraints:      16848
2511.94/2519.41	c #Conflicts:     198000 | #Constraints:      17848
2511.94/2519.41	c INPROCESSING
2511.94/2519.41	c GARBAGE COLLECT
2511.94/2519.41	c #Conflicts:     199000 | #Constraints:      10045
2511.94/2519.41	c #Conflicts:     200000 | #Constraints:      11045
2511.94/2519.41	c #Conflicts:     201000 | #Constraints:      12045
2511.94/2519.41	c #Conflicts:     202000 | #Constraints:      13045
2511.94/2519.41	c #Conflicts:     203000 | #Constraints:      14045
2511.94/2519.41	c #Conflicts:     204000 | #Constraints:      15045
2511.94/2519.41	c #Conflicts:     205000 | #Constraints:      16045
2511.94/2519.41	c #Conflicts:     206000 | #Constraints:      17045
2511.94/2519.41	c #Conflicts:     207000 | #Constraints:      18045
2511.94/2519.41	c INPROCESSING
2511.94/2519.41	c GARBAGE COLLECT
2511.94/2519.41	c #Conflicts:     208000 | #Constraints:      10049
2511.94/2519.41	c #Conflicts:     209000 | #Constraints:      11049
2511.94/2519.41	c #Conflicts:     210000 | #Constraints:      12049
2511.94/2519.41	c #Conflicts:     211000 | #Constraints:      13049
2511.94/2519.41	c #Conflicts:     212000 | #Constraints:      14049
2511.94/2519.41	c #Conflicts:     213000 | #Constraints:      15049
2511.94/2519.41	c #Conflicts:     214000 | #Constraints:      16049
2511.94/2519.41	c #Conflicts:     215000 | #Constraints:      17049
2511.94/2519.41	c #Conflicts:     216000 | #Constraints:      18049
2511.94/2519.41	c INPROCESSING
2511.94/2519.41	c GARBAGE COLLECT
2511.94/2519.41	c #Conflicts:     217000 | #Constraints:       9849
2511.94/2519.41	c #Conflicts:     218000 | #Constraints:      10849
2511.94/2519.41	c #Conflicts:     219000 | #Constraints:      11849
2511.94/2519.41	c #Conflicts:     220000 | #Constraints:      12849
2511.94/2519.41	c #Conflicts:     221000 | #Constraints:      13849
2511.94/2519.41	c #Conflicts:     222000 | #Constraints:      14849
2511.94/2519.41	c #Conflicts:     223000 | #Constraints:      15849
2511.94/2519.41	c #Conflicts:     224000 | #Constraints:      16849
2511.94/2519.41	c #Conflicts:     225000 | #Constraints:      17849
2511.94/2519.41	c #Conflicts:     226000 | #Constraints:      18849
2511.94/2519.41	c INPROCESSING
2511.94/2519.41	c GARBAGE COLLECT
2511.94/2519.41	c #Conflicts:     227000 | #Constraints:      10448
2511.94/2519.41	c #Conflicts:     228000 | #Constraints:      11448
2511.94/2519.41	c #Conflicts:     229000 | #Constraints:      12448
2511.94/2519.41	c #Conflicts:     230000 | #Constraints:      13448
2511.94/2519.41	c #Conflicts:     231000 | #Constraints:      14448
2511.94/2519.41	c #Conflicts:     232000 | #Constraints:      15448
2511.94/2519.41	c #Conflicts:     233000 | #Constraints:      16448
2511.94/2519.41	c #Conflicts:     234000 | #Constraints:      17448
2511.94/2519.41	c #Conflicts:     235000 | #Constraints:      18448
2511.94/2519.41	c #Conflicts:     236000 | #Constraints:      19448
2511.94/2519.41	c INPROCESSING
2511.94/2519.41	c GARBAGE COLLECT
2511.94/2519.41	c #Conflicts:     237000 | #Constraints:      10845
2511.94/2519.41	c #Conflicts:     238000 | #Constraints:      11845
2511.94/2519.41	c #Conflicts:     239000 | #Constraints:      12845
2511.94/2519.41	c #Conflicts:     240000 | #Constraints:      13845
2511.94/2519.41	c #Conflicts:     241000 | #Constraints:      14845
2511.94/2519.41	c #Conflicts:     242000 | #Constraints:      15845
2511.94/2519.41	c #Conflicts:     243000 | #Constraints:      16845
2511.94/2519.41	c #Conflicts:     244000 | #Constraints:      17845
2511.94/2519.41	c #Conflicts:     245000 | #Constraints:      18845
2511.94/2519.41	c #Conflicts:     246000 | #Constraints:      19845
2511.94/2519.41	c INPROCESSING
2511.94/2519.41	c GARBAGE COLLECT
2511.94/2519.41	c #Conflicts:     247000 | #Constraints:      11053
2511.94/2519.41	c #Conflicts:     248000 | #Constraints:      12053
2511.94/2519.41	c #Conflicts:     249000 | #Constraints:      13053
2511.94/2519.41	c #Conflicts:     250000 | #Constraints:      14053
2511.94/2519.41	c #Conflicts:     251000 | #Constraints:      15053
2511.94/2519.41	c #Conflicts:     252000 | #Constraints:      16053
2511.94/2519.41	c #Conflicts:     253000 | #Constraints:      17053
2511.94/2519.41	c #Conflicts:     254000 | #Constraints:      18053
3559.54/3570.34	c #Conflicts:     255000 | #Constraints:      19053
3559.54/3570.34	c #Conflicts:     256000 | #Constraints:      20053
3559.54/3570.34	c INPROCESSING
3559.54/3570.34	c GARBAGE COLLECT
3559.54/3570.34	c #Conflicts:     257000 | #Constraints:      11049
3559.54/3570.34	c #Conflicts:     258000 | #Constraints:      12049
3559.54/3570.34	c #Conflicts:     259000 | #Constraints:      13049
3559.54/3570.34	c #Conflicts:     260000 | #Constraints:      14049
3559.54/3570.34	c #Conflicts:     261000 | #Constraints:      15049
3559.54/3570.34	c #Conflicts:     262000 | #Constraints:      16049
3559.54/3570.34	c #Conflicts:     263000 | #Constraints:      17049
3559.54/3570.34	c #Conflicts:     264000 | #Constraints:      18049
3559.54/3570.34	c #Conflicts:     265000 | #Constraints:      19049
3559.54/3570.34	c #Conflicts:     266000 | #Constraints:      20049
3559.54/3570.34	c INPROCESSING
3559.54/3570.34	c GARBAGE COLLECT
3559.54/3570.34	c #Conflicts:     267000 | #Constraints:      10841
3559.54/3570.34	c #Conflicts:     268000 | #Constraints:      11841
3559.54/3570.34	c #Conflicts:     269000 | #Constraints:      12841
3559.54/3570.34	c #Conflicts:     270000 | #Constraints:      13841
3559.54/3570.34	c #Conflicts:     271000 | #Constraints:      14841
3559.54/3570.34	c #Conflicts:     272000 | #Constraints:      15841
3559.54/3570.34	c #Conflicts:     273000 | #Constraints:      16841
3559.54/3570.34	c #Conflicts:     274000 | #Constraints:      17841
3559.54/3570.34	c #Conflicts:     275000 | #Constraints:      18841
3559.54/3570.34	c #Conflicts:     276000 | #Constraints:      19841
3559.54/3570.34	c #Conflicts:     277000 | #Constraints:      20841
3559.54/3570.34	c INPROCESSING
3559.54/3570.34	c GARBAGE COLLECT
3559.54/3570.34	c #Conflicts:     278000 | #Constraints:      11440
3559.54/3570.34	c #Conflicts:     279000 | #Constraints:      12440
3559.54/3570.34	c #Conflicts:     280000 | #Constraints:      13440
3559.54/3570.34	c #Conflicts:     281000 | #Constraints:      14440
3559.54/3570.34	c #Conflicts:     282000 | #Constraints:      15440
3559.54/3570.34	c #Conflicts:     283000 | #Constraints:      16440
3559.54/3570.34	c #Conflicts:     284000 | #Constraints:      17440
3559.54/3570.34	c #Conflicts:     285000 | #Constraints:      18440
3559.54/3570.34	c #Conflicts:     286000 | #Constraints:      19440
3559.54/3570.34	c #Conflicts:     287000 | #Constraints:      20440
3559.54/3570.34	c #Conflicts:     288000 | #Constraints:      21440
3559.54/3570.34	c INPROCESSING
3559.54/3570.34	c GARBAGE COLLECT
3559.54/3570.34	c #Conflicts:     289000 | #Constraints:      11843
3559.54/3570.34	c #Conflicts:     290000 | #Constraints:      12843
3559.54/3570.34	c #Conflicts:     291000 | #Constraints:      13843
3559.54/3570.34	c #Conflicts:     292000 | #Constraints:      14843
3559.54/3570.34	c #Conflicts:     293000 | #Constraints:      15843
3559.54/3570.34	c #Conflicts:     294000 | #Constraints:      16843
3559.54/3570.34	c #Conflicts:     295000 | #Constraints:      17843
3559.54/3570.34	c #Conflicts:     296000 | #Constraints:      18843
3559.54/3570.34	c #Conflicts:     297000 | #Constraints:      19843
3559.54/3570.34	c #Conflicts:     298000 | #Constraints:      20843
3559.54/3570.34	c #Conflicts:     299000 | #Constraints:      21843
3559.54/3570.34	c INPROCESSING
3559.54/3570.34	c GARBAGE COLLECT
3559.54/3570.34	c #Conflicts:     300000 | #Constraints:      12040
3559.54/3570.34	c #Conflicts:     301000 | #Constraints:      13040
3559.54/3570.34	c #Conflicts:     302000 | #Constraints:      14040
3559.54/3570.34	c #Conflicts:     303000 | #Constraints:      15040
3559.54/3570.34	c #Conflicts:     304000 | #Constraints:      16040
3559.54/3570.34	c #Conflicts:     305000 | #Constraints:      17040
3559.54/3570.34	c #Conflicts:     306000 | #Constraints:      18040
3559.54/3570.34	c #Conflicts:     307000 | #Constraints:      19040
3559.54/3570.34	c #Conflicts:     308000 | #Constraints:      20040
3559.54/3570.34	c #Conflicts:     309000 | #Constraints:      21040
3559.54/3570.34	c #Conflicts:     310000 | #Constraints:      22040
3559.54/3570.34	c INPROCESSING
3559.54/3570.34	c GARBAGE COLLECT
3559.54/3570.34	c #Conflicts:     311000 | #Constraints:      12047
3559.54/3570.34	c #Conflicts:     312000 | #Constraints:      13047
3559.54/3570.34	c #Conflicts:     313000 | #Constraints:      14047
3559.54/3570.34	c #Conflicts:     314000 | #Constraints:      15047
3559.54/3570.34	c #Conflicts:     315000 | #Constraints:      16047
3559.54/3570.34	c #Conflicts:     316000 | #Constraints:      17047
3559.54/3570.34	c #Conflicts:     317000 | #Constraints:      18047
3559.54/3570.34	c #Conflicts:     318000 | #Constraints:      19047
3559.54/3570.34	c #Conflicts:     319000 | #Constraints:      20047
3559.54/3570.34	c #Conflicts:     320000 | #Constraints:      21047
3559.54/3570.34	c #Conflicts:     321000 | #Constraints:      22047
3559.54/3570.34	c INPROCESSING
3559.54/3570.34	c GARBAGE COLLECT
3559.54/3570.34	c #Conflicts:     322000 | #Constraints:      11849
3559.54/3570.34	c #Conflicts:     323000 | #Constraints:      12849
3559.54/3570.34	c #Conflicts:     324000 | #Constraints:      13849
3559.54/3570.34	c #Conflicts:     325000 | #Constraints:      14849
3559.54/3570.34	c #Conflicts:     326000 | #Constraints:      15849
3559.54/3570.34	c #Conflicts:     327000 | #Constraints:      16849
3559.54/3570.34	c #Conflicts:     328000 | #Constraints:      17849
3559.54/3570.34	c #Conflicts:     329000 | #Constraints:      18849
3600.04/3610.90	c #Conflicts:     330000 | #Constraints:      19849
3600.04/3610.90	c #Conflicts:     331000 | #Constraints:      20849
3600.04/3610.90	c cpu time 3596.67 s
3600.04/3610.90	c deterministic time 1 1.00e+00
3600.04/3610.90	c optimization time 3596.67 s
3600.04/3610.90	c total solve time 0 s
3600.04/3610.90	c core-guided solve time 0 s
3600.04/3610.90	c propagation time 0 s
3600.04/3610.90	c conflict analysis time 0 s
3600.04/3610.90	c propagations 0
3600.04/3610.90	c resolve steps 0
3600.04/3610.90	c decisions 0
3600.04/3610.90	c conflicts 0
3600.04/3610.90	c restarts 0
3600.04/3610.90	c inprocessing phases 0
3600.04/3610.90	c garbage collections 0 ,( -nan )
3600.04/3610.90	c input clauses 0 ,( 0.00 )
3600.04/3610.90	c input cardinalities 0 ,( 0.00 )
3600.04/3610.90	c input general constraints 1 ,( 100.00 )
3600.04/3610.90	c input average constraint length 1000.00
3600.04/3610.90	c input average constraint degree 5036242.00
3600.04/3610.90	c learned clauses 0 ,( 0.00 )
3600.04/3610.90	c learned cardinalities 0 ,( 0.00 )
3600.04/3610.90	c learned general constraints 0 ,( 0.00 )
3600.04/3610.90	c learned average constraint length 0.00
3600.04/3610.90	c learned average constraint degree 0.00
3600.04/3610.90	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.04/3610.90	c counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3600.04/3610.90	c watched   constraints 0 ,( 0.00 ) 
3600.04/3610.90	c counting  constraints 1 ,( 100.00 ) 
3600.04/3610.90	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.04/3610.90	c gcd simplifications 0
3600.04/3610.90	c detected cardinalities 0
3600.04/3610.90	c weakened non-implied lits 0
3600.04/3610.90	c weakened non-implying lits 0
3600.04/3610.90	c original variables 1000
3600.04/3610.90	c clausal propagations 0
3600.04/3610.90	c cardinality propagations 0
3600.04/3610.90	c watched propagations 0
3600.04/3610.90	c counting propagations 0
3600.04/3610.90	c watch lookups 0
3600.04/3610.90	c watch backjump lookups 0
3600.04/3610.90	c watch checks 0
3600.04/3610.90	c propagation checks 0
3600.04/3610.90	c constraint additions 0
3600.04/3610.90	c trail pops 0
3600.04/3610.90	c formula constraints 1
3600.04/3610.90	c learned constraints 0
3600.04/3610.90	c bound constraints 0
3600.04/3610.90	c core-guided constraints 0
3600.04/3610.90	c encountered formula constraints 0
3600.04/3610.90	c encountered learned constraints 0
3600.04/3610.90	c encountered bound constraints 0
3600.04/3610.90	c encountered core-guided constraints 0
3600.04/3610.90	c LP total time 0 s
3600.04/3610.90	c LP solve time 0 s
3600.04/3610.90	c LP constraints added 0
3600.04/3610.90	c LP constraints removed 0
3600.04/3610.90	c LP pivots internal 0
3600.04/3610.90	c LP pivots root 0
3600.04/3610.90	c LP calls 0
3600.04/3610.90	c LP optimalities 0
3600.04/3610.90	c LP no pivot count 0
3600.04/3610.90	c LP infeasibilities 0
3600.04/3610.90	c LP valid Farkas constraints 0
3600.04/3610.90	c LP learned Farkas constraints 0
3600.04/3610.90	c LP basis resets 0
3600.04/3610.90	c LP cycling count 0
3600.04/3610.90	c LP singular count 0
3600.04/3610.90	c LP no primal count 0
3600.04/3610.90	c LP no farkas count 0
3600.04/3610.90	c LP other issue count 0
3600.04/3610.90	c LP Gomory cuts 0
3600.04/3610.90	c LP learned cuts 0
3600.04/3610.90	c LP deleted cuts 0
3600.04/3610.90	c LP encountered Gomory constraints 0
3600.04/3610.90	c LP encountered Farkas constraints 0
3600.04/3610.90	c LP encountered learned Farkas constraints 0
3600.04/3610.90	c CG auxiliary variables introduced 0
3600.04/3610.90	c CG solutions found 0
3600.04/3610.90	c CG cores constructed 0
3600.04/3610.90	c CG core cardinality constraints returned 0
3600.04/3610.90	c CG unit cores 0
3600.04/3610.90	c CG single cores 0
3600.04/3610.90	c CG blocks removed during cardinality reduction 0
3600.04/3610.90	c CG first core best 0
3600.04/3610.90	c CG decision core best 0
3600.04/3610.90	c CG core reduction tie 0
3600.04/3610.90	c CG core degree average 0.00
3600.04/3610.90	c CG core slack average 0.00
3600.04/3610.90	c CG core upper bound improvements 0
3600.04/3610.90	c STR number of successful calls 0
3600.04/3610.90	c STR number of unsuccessful calls 0
3600.04/3610.90	c STR number of inconclusive calls 0
3600.04/3610.90	c STR number of successful attempts 0
3600.04/3610.90	c STR number of unsuccessful attempts 0
3600.04/3610.90	c STR number of inconclusive attempts 0
3600.04/3610.90	c STR average degree increase per successful call inf
3600.04/3610.90	c STR average degree increase per successful attempt inf
3600.04/3610.90	c STR total number of conflicts for successful attempts 0
3600.04/3610.90	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3610.90	c STR total number of conflicts for inconclusive attempts 0
3600.04/3610.90	c STR average number of conflicts per successful attempt inf
3600.04/3610.90	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3610.90	c STR average number of conflicts per inconclusive attempt inf
3600.04/3610.90	c AVG.sumWPerc 99.70 
3600.04/3610.90	c bigint constraints 0 
3600.04/3610.90	s UNKNOWN
3600.04/3610.90	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 (49972 MiB free)
  memory of node 1: 64465 MiB (58049 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517996-1751540160/watcher-4517996-1751540160 -o /tmp/evaluation-result-4517996-1751540160/solver-4517996-1751540160 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751531763-75753 --watchdog 3760 run-opt.sh HOME/instance-4517996-1751540160.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=77136, runsolver pid=77133

[startup+0.100066 s]*
/proc/loadavg: 4.14 4.12 4.09 5/268 77138
/proc/meminfo: memFree=110610904/131249996 swapFree=33004236/33010684
[pid=77136] ppid=77133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (run-opt.sh) S 77133 77136 75740 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69693836 4292608 768 18446744073709551615 94081028485120 94081029379653 140721258929216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94081029618704 94081029666448 94081053569024 140721258936685 140721258936808 140721258936808 140721258942410 0
/proc/77136/statm: 1048 768 704 219 0 110 0
[pid=77138] ppid=77136 vsize=64140 memory=16976 CPUtime=0.08 cores=5,7
/proc/77138/stat : 77138 (roundingsat) R 77136 77136 75740 0 -1 4194304 1590 0 0 0 6 2 0 0 20 0 1 0 69693836 65679360 4244 18446744073709551615 4227072 8923433 140728042282368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20496384 140728042289570 140728042289704 140728042289704 140728042295274 0
/proc/77138/statm: 16035 4244 2368 1147 0 3462 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 68332 KiB
Current children cumulated memory: 20048 KiB

[startup+0.205766 s]*
/proc/loadavg: 4.14 4.12 4.09 5/268 77138
/proc/meminfo: memFree=110606872/131249996 swapFree=33004236/33010684
[pid=77136] ppid=77133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (run-opt.sh) S 77133 77136 75740 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69693836 4292608 768 18446744073709551615 94081028485120 94081029379653 140721258929216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94081029618704 94081029666448 94081053569024 140721258936685 140721258936808 140721258936808 140721258942410 0
/proc/77136/statm: 1048 768 704 219 0 110 0
[pid=77138] ppid=77136 vsize=67624 memory=20688 CPUtime=0.18 cores=5,7
/proc/77138/stat : 77138 (roundingsat) R 77136 77136 75740 0 -1 4194304 2508 0 0 0 16 2 0 0 20 0 1 0 69693836 69246976 5172 18446744073709551615 4227072 8923433 140728042282368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20496384 140728042289570 140728042289704 140728042289704 140728042295274 0
/proc/77138/statm: 16906 5172 2368 1147 0 4333 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 71816 KiB
Current children cumulated memory: 23760 KiB

[startup+0.305667 s]*
/proc/loadavg: 4.14 4.12 4.09 5/268 77138
/proc/meminfo: memFree=110598808/131249996 swapFree=33004236/33010684
[pid=77136] ppid=77133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (run-opt.sh) S 77133 77136 75740 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69693836 4292608 768 18446744073709551615 94081028485120 94081029379653 140721258929216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94081029618704 94081029666448 94081053569024 140721258936685 140721258936808 140721258936808 140721258942410 0
/proc/77136/statm: 1048 768 704 219 0 110 0
[pid=77138] ppid=77136 vsize=73492 memory=26576 CPUtime=0.29 cores=5,7
/proc/77138/stat : 77138 (roundingsat) R 77136 77136 75740 0 -1 4194304 4005 0 0 0 26 3 0 0 20 0 1 0 69693836 75255808 6644 18446744073709551615 4227072 8923433 140728042282368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20496384 140728042289570 140728042289704 140728042289704 140728042295274 0
/proc/77138/statm: 18373 6644 2368 1147 0 5800 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 77684 KiB
Current children cumulated memory: 29648 KiB

[startup+0.700203 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 77138
/proc/meminfo: memFree=110598696/131249996 swapFree=33004236/33010684
[pid=77136] ppid=77133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (run-opt.sh) S 77133 77136 75740 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69693836 4292608 768 18446744073709551615 94081028485120 94081029379653 140721258929216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94081029618704 94081029666448 94081053569024 140721258936685 140721258936808 140721258936808 140721258942410 0
/proc/77136/statm: 1048 768 704 219 0 110 0
[pid=77138] ppid=77136 vsize=88816 memory=39376 CPUtime=0.68 cores=5,7
/proc/77138/stat : 77138 (roundingsat) R 77136 77136 75740 0 -1 4194304 7198 0 0 0 64 4 0 0 20 0 1 0 69693836 90947584 9844 18446744073709551615 4227072 8923433 140728042282368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20496384 140728042289570 140728042289704 140728042289704 140728042295274 0
/proc/77138/statm: 22204 9844 2368 1147 0 9631 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 93008 KiB
Current children cumulated memory: 42448 KiB

[startup+1.5002 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 77138
/proc/meminfo: memFree=110583576/131249996 swapFree=33004236/33010684
[pid=77136] ppid=77133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (run-opt.sh) S 77133 77136 75740 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69693836 4292608 768 18446744073709551615 94081028485120 94081029379653 140721258929216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94081029618704 94081029666448 94081053569024 140721258936685 140721258936808 140721258936808 140721258942410 0
/proc/77136/statm: 1048 768 704 219 0 110 0
[pid=77138] ppid=77136 vsize=95756 memory=49480 CPUtime=1.48 cores=5,7
/proc/77138/stat : 77138 (roundingsat) R 77136 77136 75740 0 -1 4194304 9214 0 0 0 143 5 0 0 20 0 1 0 69693836 98054144 12370 18446744073709551615 4227072 8923433 140728042282368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20496384 140728042289570 140728042289704 140728042289704 140728042295274 0
/proc/77138/statm: 23939 12370 2368 1147 0 11366 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 99948 KiB
Current children cumulated memory: 52552 KiB

[startup+3.10561 s]
/proc/loadavg: 4.13 4.11 4.09 5/268 77138
/proc/meminfo: memFree=110559636/131249996 swapFree=33004236/33010684
[pid=77136] ppid=77133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (run-opt.sh) S 77133 77136 75740 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69693836 4292608 768 18446744073709551615 94081028485120 94081029379653 140721258929216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94081029618704 94081029666448 94081053569024 140721258936685 140721258936808 140721258936808 140721258942410 0
/proc/77136/statm: 1048 768 704 219 0 110 0
[pid=77138] ppid=77136 vsize=125912 memory=71428 CPUtime=3.08 cores=5,7
/proc/77138/stat : 77138 (roundingsat) R 77136 77136 75740 0 -1 4194304 13669 0 0 0 300 8 0 0 20 0 1 0 69693836 128933888 17857 18446744073709551615 4227072 8923433 140728042282368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20496384 140728042289570 140728042289704 140728042289704 140728042295274 0
/proc/77138/statm: 31478 17857 2368 1147 0 18905 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 130104 KiB
Current children cumulated memory: 74500 KiB

[startup+6.30019 s]
/proc/loadavg: 4.13 4.11 4.09 5/268 77138
/proc/meminfo: memFree=110551576/131249996 swapFree=33004236/33010684
[pid=77136] ppid=77133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (run-opt.sh) S 77133 77136 75740 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69693836 4292608 768 18446744073709551615 94081028485120 94081029379653 140721258929216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94081029618704 94081029666448 94081053569024 140721258936685 140721258936808 140721258936808 140721258942410 0
/proc/77136/statm: 1048 768 704 219 0 110 0
[pid=77138] ppid=77136 vsize=140604 memory=80132 CPUtime=6.26 cores=5,7
/proc/77138/stat : 77138 (roundingsat) R 77136 77136 75740 0 -1 4194304 15847 0 0 0 615 11 0 0 20 0 1 0 69693836 143978496 20033 18446744073709551615 4227072 8923433 140728042282368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20496384 140728042289570 140728042289704 140728042289704 140728042295274 0
/proc/77138/statm: 35151 20033 2368 1147 0 22578 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 144796 KiB
Current children cumulated memory: 83204 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.09 5/268 77138
/proc/meminfo: memFree=110496176/131249996 swapFree=33004236/33010684
[pid=77136] ppid=77133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (run-opt.sh) S 77133 77136 75740 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69693836 4292608 768 18446744073709551615 94081028485120 94081029379653 140721258929216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94081029618704 94081029666448 94081053569024 140721258936685 140721258936808 140721258936808 140721258942410 0
/proc/77136/statm: 1048 768 704 219 0 110 0
[pid=77138] ppid=77136 vsize=144444 memory=93544 CPUtime=12.64 cores=5,7
/proc/77138/stat : 77138 (roundingsat) R 77136 77136 75740 0 -1 4194304 17671 0 0 0 1249 15 0 0 20 0 1 0 69693836 147910656 23386 18446744073709551615 4227072 8923433 140728042282368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20496384 140728042289570 140728042289704 140728042289704 140728042295274 0
/proc/77138/statm: 36111 23386 2368 1147 0 23538 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 148636 KiB
Current children cumulated memory: 96616 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 77138
/proc/meminfo: memFree=110330344/131249996 swapFree=33004236/33010684
[pid=77136] ppid=77133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (run-opt.sh) S 77133 77136 75740 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69693836 4292608 768 18446744073709551615 94081028485120 94081029379653 140721258929216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94081029618704 94081029666448 94081053569024 140721258936685 140721258936808 140721258936808 140721258942410 0
/proc/77136/statm: 1048 768 704 219 0 110 0
[pid=77138] ppid=77136 vsize=213516 memory=140004 CPUtime=25.41 cores=5,7
/proc/77138/stat : 77138 (roundingsat) R 77136 77136 75740 0 -1 4194304 27258 0 0 0 2520 21 0 0 20 0 1 0 69693836 218640384 35001 18446744073709551615 4227072 8923433 140728042282368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20496384 140728042289570 140728042289704 140728042289704 140728042295274 0
/proc/77138/statm: 53379 35001 2368 1147 0 40806 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 217708 KiB
Current children cumulated memory: 143076 KiB

[startup+51.1057 s]
/proc/loadavg: 4.13 4.11 4.09 5/267 77138
/proc/meminfo: memFree=110258920/131249996 swapFree=33004236/33010684
[pid=77136] ppid=77133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (run-opt.sh) S 77133 77136 75740 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69693836 4292608 768 18446744073709551615 94081028485120 94081029379653 140721258929216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94081029618704 94081029666448 94081053569024 140721258936685 140721258936808 140721258936808 140721258942410 0
/proc/77136/statm: 1048 768 704 219 0 110 0
[pid=77138] ppid=77136 vsize=216472 memory=155664 CPUtime=50.94 cores=5,7
/proc/77138/stat : 77138 (roundingsat) R 77136 77136 75740 0 -1 4194304 29630 0 0 0 5066 28 0 0 20 0 1 0 69693836 221667328 38916 18446744073709551615 4227072 8923433 140728042282368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20496384 140728042289570 140728042289704 140728042289704 140728042295274 0
/proc/77138/statm: 54118 38916 2368 1147 0 41545 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 220664 KiB
Current children cumulated memory: 158736 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/268 77145
/proc/meminfo: memFree=110249768/131249996 swapFree=33004236/33010684
[pid=77136] ppid=77133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (run-opt.sh) S 77133 77136 75740 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69693836 4292608 768 18446744073709551615 94081028485120 94081029379653 140721258929216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94081029618704 94081029666448 94081053569024 140721258936685 140721258936808 140721258936808 140721258942410 0
/proc/77136/statm: 1048 768 704 219 0 110 0
[pid=77138] ppid=77136 vsize=251976 memory=171676 CPUtime=101.99 cores=5,7
/proc/77138/stat : 77138 (roundingsat) R 77136 77136 75740 0 -1 4194304 32625 0 0 0 10159 40 0 0 20 0 1 0 69693836 258023424 42919 18446744073709551615 4227072 8923433 140728042282368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20496384 140728042289570 140728042289704 140728042289704 140728042295274 0
/proc/77138/statm: 62994 42919 2368 1147 0 50421 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 256168 KiB
Current children cumulated memory: 174748 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/268 77147
/proc/meminfo: memFree=110127864/131249996 swapFree=33004236/33010684
[pid=77136] ppid=77133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (run-opt.sh) S 77133 77136 75740 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69693836 4292608 768 18446744073709551615 94081028485120 94081029379653 140721258929216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94081029618704 94081029666448 94081053569024 140721258936685 140721258936808 140721258936808 140721258942410 0
/proc/77136/statm: 1048 768 704 219 0 110 0
[pid=77138] ppid=77136 vsize=343740 memory=232920 CPUtime=161.82 cores=5,7
/proc/77138/stat : 77138 (roundingsat) R 77136 77136 75740 0 -1 4194304 45901 0 0 0 16130 52 0 0 20 0 1 0 69693836 351989760 58230 18446744073709551615 4227072 8923433 140728042282368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20496384 140728042289570 140728042289704 140728042289704 140728042295274 0
/proc/77138/statm: 85935 58230 2368 1147 0 73362 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 347932 KiB
Current children cumulated memory: 235992 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 77150
/proc/meminfo: memFree=110039752/131249996 swapFree=33004236/33010684
[pid=77136] ppid=77133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (run-opt.sh) S 77133 77136 75740 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69693836 4292608 768 18446744073709551615 94081028485120 94081029379653 140721258929216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94081029618704 94081029666448 94081053569024 140721258936685 140721258936808 140721258936808 140721258942410 0
/proc/77136/statm: 1048 768 704 219 0 110 0
[pid=77138] ppid=77136 vsize=350576 memory=246444 CPUtime=221.64 cores=5,7
/proc/77138/stat : 77138 (roundingsat) R 77136 77136 75740 0 -1 4194304 48647 0 0 0 22105 59 0 0 20 0 1 0 69693836 358989824 61611 18446744073709551615 4227072 8923433 140728042282368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20496384 140728042289570 140728042289704 140728042289704 140728042295274 0
/proc/77138/statm: 87644 61611 2368 1147 0 75071 0
Current children cumulated CPU time: 221.64 s

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

/proc/77138/statm: 174655 145087 2368 1147 0 162082 0
Current children cumulated CPU time: 3092.98 s
Current children cumulated vsize: 702812 KiB
Current children cumulated memory: 583420 KiB

[startup+3162.3 s]
/proc/loadavg: 2.36 2.96 3.47 3/253 77407
/proc/meminfo: memFree=111572460/131249996 swapFree=33004236/33010684
[pid=77136] ppid=77133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (run-opt.sh) S 77133 77136 75740 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69693836 4292608 768 18446744073709551615 94081028485120 94081029379653 140721258929216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94081029618704 94081029666448 94081053569024 140721258936685 140721258936808 140721258936808 140721258942410 0
/proc/77136/statm: 1048 768 704 219 0 110 0
[pid=77138] ppid=77136 vsize=699196 memory=585272 CPUtime=3152.78 cores=5,7
/proc/77138/stat : 77138 (roundingsat) R 77136 77136 75740 0 -1 4194304 121366 0 0 0 314965 313 0 0 20 0 1 0 69693836 715976704 146318 18446744073709551615 4227072 8923433 140728042282368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20496384 140728042289570 140728042289704 140728042289704 140728042295274 0
/proc/77138/statm: 174799 146318 2368 1147 0 162226 0
Current children cumulated CPU time: 3152.78 s
Current children cumulated vsize: 703388 KiB
Current children cumulated memory: 588344 KiB

[startup+3222.3 s]
/proc/loadavg: 2.24 2.81 3.38 3/254 77414
/proc/meminfo: memFree=111509944/131249996 swapFree=33004236/33010684
[pid=77136] ppid=77133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (run-opt.sh) S 77133 77136 75740 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69693836 4292608 768 18446744073709551615 94081028485120 94081029379653 140721258929216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94081029618704 94081029666448 94081053569024 140721258936685 140721258936808 140721258936808 140721258942410 0
/proc/77136/statm: 1048 768 704 219 0 110 0
[pid=77138] ppid=77136 vsize=699452 memory=585428 CPUtime=3212.58 cores=5,7
/proc/77138/stat : 77138 (roundingsat) R 77136 77136 75740 0 -1 4194304 121461 0 0 0 320940 318 0 0 20 0 1 0 69693836 716238848 146357 18446744073709551615 4227072 8923433 140728042282368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20496384 140728042289570 140728042289704 140728042289704 140728042295274 0
/proc/77138/statm: 174863 146357 2368 1147 0 162290 0
Current children cumulated CPU time: 3212.58 s
Current children cumulated vsize: 703644 KiB
Current children cumulated memory: 588500 KiB

[startup+3282.3 s]
/proc/loadavg: 2.14 2.68 3.30 3/254 77416
/proc/meminfo: memFree=111488084/131249996 swapFree=33004236/33010684
[pid=77136] ppid=77133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (run-opt.sh) S 77133 77136 75740 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69693836 4292608 768 18446744073709551615 94081028485120 94081029379653 140721258929216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94081029618704 94081029666448 94081053569024 140721258936685 140721258936808 140721258936808 140721258942410 0
/proc/77136/statm: 1048 768 704 219 0 110 0
[pid=77138] ppid=77136 vsize=699452 memory=585428 CPUtime=3272.39 cores=5,7
/proc/77138/stat : 77138 (roundingsat) R 77136 77136 75740 0 -1 4194304 121469 0 0 0 326917 322 0 0 20 0 1 0 69693836 716238848 146357 18446744073709551615 4227072 8923433 140728042282368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20496384 140728042289570 140728042289704 140728042289704 140728042295274 0
/proc/77138/statm: 174863 146357 2368 1147 0 162290 0
Current children cumulated CPU time: 3272.39 s
Current children cumulated vsize: 703644 KiB
Current children cumulated memory: 588500 KiB

[startup+3342.3 s]
/proc/loadavg: 2.10 2.57 3.22 3/254 77419
/proc/meminfo: memFree=111370492/131249996 swapFree=33004236/33010684
[pid=77136] ppid=77133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (run-opt.sh) S 77133 77136 75740 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69693836 4292608 768 18446744073709551615 94081028485120 94081029379653 140721258929216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94081029618704 94081029666448 94081053569024 140721258936685 140721258936808 140721258936808 140721258942410 0
/proc/77136/statm: 1048 768 704 219 0 110 0
[pid=77138] ppid=77136 vsize=699288 memory=588316 CPUtime=3332.18 cores=5,7
/proc/77138/stat : 77138 (roundingsat) R 77136 77136 75740 0 -1 4194304 121695 0 0 0 332894 324 0 0 20 0 1 0 69693836 716070912 147079 18446744073709551615 4227072 8923433 140728042282368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20496384 140728042289570 140728042289704 140728042289704 140728042295274 0
/proc/77138/statm: 174822 147079 2368 1147 0 162249 0
Current children cumulated CPU time: 3332.18 s
Current children cumulated vsize: 703480 KiB
Current children cumulated memory: 591388 KiB

[startup+3402.3 s]
/proc/loadavg: 1.91 2.44 3.14 2/246 77454
/proc/meminfo: memFree=113316716/131249996 swapFree=33004236/33010684
[pid=77136] ppid=77133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (run-opt.sh) S 77133 77136 75740 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69693836 4292608 768 18446744073709551615 94081028485120 94081029379653 140721258929216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94081029618704 94081029666448 94081053569024 140721258936685 140721258936808 140721258936808 140721258942410 0
/proc/77136/statm: 1048 768 704 219 0 110 0
[pid=77138] ppid=77136 vsize=699288 memory=588316 CPUtime=3392 cores=5,7
/proc/77138/stat : 77138 (roundingsat) R 77136 77136 75740 0 -1 4194304 121695 0 0 0 338872 328 0 0 20 0 1 0 69693836 716070912 147079 18446744073709551615 4227072 8923433 140728042282368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20496384 140728042289570 140728042289704 140728042289704 140728042295274 0
/proc/77138/statm: 174822 147079 2368 1147 0 162249 0
Current children cumulated CPU time: 3392 s
Current children cumulated vsize: 703480 KiB
Current children cumulated memory: 591388 KiB

[startup+3462.3 s]
/proc/loadavg: 1.38 2.19 3.00 2/246 77456
/proc/meminfo: memFree=113317252/131249996 swapFree=33004236/33010684
[pid=77136] ppid=77133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (run-opt.sh) S 77133 77136 75740 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69693836 4292608 768 18446744073709551615 94081028485120 94081029379653 140721258929216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94081029618704 94081029666448 94081053569024 140721258936685 140721258936808 140721258936808 140721258942410 0
/proc/77136/statm: 1048 768 704 219 0 110 0
[pid=77138] ppid=77136 vsize=699288 memory=588444 CPUtime=3451.83 cores=5,7
/proc/77138/stat : 77138 (roundingsat) R 77136 77136 75740 0 -1 4194304 121738 0 0 0 344853 330 0 0 20 0 1 0 69693836 716070912 147111 18446744073709551615 4227072 8923433 140728042282368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20496384 140728042289570 140728042289704 140728042289704 140728042295274 0
/proc/77138/statm: 174822 147111 2368 1147 0 162249 0
Current children cumulated CPU time: 3451.83 s
Current children cumulated vsize: 703480 KiB
Current children cumulated memory: 591516 KiB

[startup+3522.3 s]
/proc/loadavg: 1.26 2.00 2.89 2/246 77459
/proc/meminfo: memFree=113313012/131249996 swapFree=33004236/33010684
[pid=77136] ppid=77133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (run-opt.sh) S 77133 77136 75740 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69693836 4292608 768 18446744073709551615 94081028485120 94081029379653 140721258929216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94081029618704 94081029666448 94081053569024 140721258936685 140721258936808 140721258936808 140721258942410 0
/proc/77136/statm: 1048 768 704 219 0 110 0
[pid=77138] ppid=77136 vsize=699288 memory=593656 CPUtime=3511.68 cores=5,7
/proc/77138/stat : 77138 (roundingsat) R 77136 77136 75740 0 -1 4194304 122014 0 0 0 350835 333 0 0 20 0 1 0 69693836 716070912 148414 18446744073709551615 4227072 8923433 140728042282368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20496384 140728042289570 140728042289704 140728042289704 140728042295274 0
/proc/77138/statm: 174822 148414 2368 1147 0 162249 0
Current children cumulated CPU time: 3511.68 s
Current children cumulated vsize: 703480 KiB
Current children cumulated memory: 596728 KiB

[startup+3582.3 s]
/proc/loadavg: 1.15 1.84 2.77 2/246 77461
/proc/meminfo: memFree=113313312/131249996 swapFree=33004236/33010684
[pid=77136] ppid=77133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (run-opt.sh) S 77133 77136 75740 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69693836 4292608 768 18446744073709551615 94081028485120 94081029379653 140721258929216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94081029618704 94081029666448 94081053569024 140721258936685 140721258936808 140721258936808 140721258942410 0
/proc/77136/statm: 1048 768 704 219 0 110 0
[pid=77138] ppid=77136 vsize=699288 memory=593656 CPUtime=3571.51 cores=5,7
/proc/77138/stat : 77138 (roundingsat) R 77136 77136 75740 0 -1 4194304 122014 0 0 0 356815 336 0 0 20 0 1 0 69693836 716070912 148414 18446744073709551615 4227072 8923433 140728042282368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20496384 140728042289570 140728042289704 140728042289704 140728042295274 0
/proc/77138/statm: 174822 148414 2368 1147 0 162249 0
Current children cumulated CPU time: 3571.51 s
Current children cumulated vsize: 703480 KiB
Current children cumulated memory: 596728 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 1.17 1.78 2.73 2/246 77461
/proc/meminfo: memFree=113313312/131249996 swapFree=33004236/33010684
[pid=77136] ppid=77133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (run-opt.sh) S 77133 77136 75740 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69693836 4292608 768 18446744073709551615 94081028485120 94081029379653 140721258929216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94081029618704 94081029666448 94081053569024 140721258936685 140721258936808 140721258936808 140721258942410 0
/proc/77136/statm: 1048 768 704 219 0 110 0
[pid=77138] ppid=77136 vsize=699288 memory=593656 CPUtime=3600.04 cores=5,7
/proc/77138/stat : 77138 (roundingsat) R 77136 77136 75740 0 -1 4194304 122017 0 0 0 359666 338 0 0 20 0 1 0 69693836 716070912 148414 18446744073709551615 4227072 8923433 140728042282368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20496384 140728042289570 140728042289704 140728042289704 140728042295274 0
/proc/77138/statm: 174822 148414 2368 1147 0 162249 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 703480 KiB
Current children cumulated memory: 596728 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3610.9 s]
# the end of solver process 77136 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.002572 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3596.67 s, system=3.39747 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+3610.9 s]
/proc/loadavg: 1.17 1.78 2.73 2/246 77461
/proc/meminfo: memFree=113313312/131249996 swapFree=33004236/33010684
[pid=77136] ppid=77133 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (run-opt.sh) S 77133 77136 75740 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 69693836 4292608 768 18446744073709551615 94081028485120 94081029379653 140721258929216 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94081029618704 94081029666448 94081053569024 140721258936685 140721258936808 140721258936808 140721258942410 0
/proc/77136/statm: 1048 768 704 219 0 110 0
[pid=77138] ppid=77136 vsize=699288 memory=593656 CPUtime=3600.04 cores=5,7
/proc/77138/stat : 77138 (roundingsat) R 77136 77136 75740 0 -1 4194304 122017 0 0 0 359666 338 0 0 20 0 1 0 69693836 716070912 148414 18446744073709551615 4227072 8923433 140728042282368 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20496384 140728042289570 140728042289704 140728042289704 140728042295274 0
/proc/77138/statm: 174822 148414 2368 1147 0 162249 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 703480 KiB
Current children cumulated memory: 596728 KiB

Child status: 2

Real time (s): 3610.92
CPU time (s): 3600.07
CPU user time (s): 3596.67
CPU system time (s): 3.39747
CPU usage (%): 99.6995
Max. virtual memory (cumulated for all children) (KiB): 703644
Max. memory (cumulated for all children) (KiB): 596728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.67
system time used= 3.39747
maximum resident set size= 594040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122246
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= 178
involuntary context switches= 19294


# summary of solver processes directly reported to runsolver:
#   pid: 77136,77138
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3596.67
#   total CPU system time (s): 3.39747

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.60665 second user time and 16.3595 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-03 12:56:00
IDJOB=4517996
IDBENCH=176273
IDSOLVER=3350
FILE ID=nodeC023/4517996-1751540160
RUNJOBID= nodeC023-1751531763-75753
SLURM_JOB_ID= 9598675
Free space on /tmp= 431848 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/normalized-knapPI_3_200_10000_5_-93992.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517996-1751540160/watcher-4517996-1751540160 -o /tmp/evaluation-result-4517996-1751540160/solver-4517996-1751540160 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751531763-75753 --watchdog 3760  run-opt.sh HOME/instance-4517996-1751540160.opb

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

MD5SUM BENCH= cd82cadc3025252f43f8d787a9347bc3
RANDOM SEED=931260017

nodeC023 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		: 3599.885
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.78
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		: 3599.884
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.78
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		: 3600.328
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.78
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		: 3602.340
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.78
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.883
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.78
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		: 3520.533
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.78
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		: 3600.234
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.78
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		: 3600.310
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        110614460 kB
MemAvailable:   126375824 kB
Buffers:              16 kB
Cached:         16505656 kB
SwapCached:          592 kB
Active:          3593644 kB
Inactive:       16300560 kB
Active(anon):    3381484 kB
Inactive(anon):    20452 kB
Active(file):     212160 kB
Inactive(file): 16280108 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33004236 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7192 kB
Writeback:             8 kB
AnonPages:       3391028 kB
Mapped:           113268 kB
Shmem:             13404 kB
KReclaimable:     216672 kB
Slab:             306924 kB
SReclaimable:     216672 kB
SUnreclaim:        90252 kB
KernelStack:        4284 kB
PageTables:        11104 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4445540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1196032 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431864 MiB
End job on nodeC023 at 2025-07-03 13:56:11