Trace number 4509333

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs-log 63f22ad? (TO) 3600.44 3610.28

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm99p-opt.opb.negationfix.opb
MD5SUM1d8b9a75b06fe10625c514168771d7f4
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 benchmark64
Best CPU time to get the best result obtained on this benchmark9.60431
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables45696
Total number of constraints1556
Number of constraints which are clauses713
Number of constraints which are cardinality constraints (but not clauses)713
Number of constraints which are nor clauses,nor cardinality constraints130
Minimum length of a constraint64
Maximum length of a constraint714
Number of terms in the objective function 64
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 64
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 264895
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 587012
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.06/0.11	c #variables 45696 #constraints 1555
0.06/0.11	c objective is ce32 
0.06/0.13	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.06/0.13	c initial counting CF 32, 64, 128, Arb: 129 , 0 , 0 , 0
0.06/0.13	c GLOBAL bounds - >= 0 @ 0.087259
0.06/0.17	c GLOBAL bounds - >= 0 @ 0.095385
0.06/0.17	c GLOBAL bounds - >= 64 @ 0.095975
12.43/12.51	c #Conflicts:       1000 | #Constraints:       2554
12.43/12.51	c #Conflicts:       2000 | #Constraints:       3554
12.43/12.51	c INPROCESSING
12.43/12.51	c GARBAGE COLLECT
12.43/12.51	c rational objective 64
14.23/14.35	c GLOBAL bounds - >= 64 @ 13.9378
18.42/18.53	c #Conflicts:       3000 | #Constraints:       3583
18.42/18.53	c #Conflicts:       4000 | #Constraints:       4583
18.42/18.53	c INPROCESSING
18.42/18.53	c GARBAGE COLLECT
18.42/18.53	c rational objective 64
22.61/22.73	c GLOBAL bounds - >= 64 @ 22.06
22.61/22.73	c GLOBAL bounds - >= 64 @ 22.0601
30.49/30.61	c #Conflicts:       5000 | #Constraints:       3998
30.49/30.61	c #Conflicts:       6000 | #Constraints:       4998
30.49/30.61	c INPROCESSING
30.49/30.61	c GARBAGE COLLECT
30.49/30.61	c GLOBAL bounds - >= 64 @ 29.7185
30.49/30.61	c GLOBAL bounds - >= 64 @ 29.7185
57.11/57.38	c #Conflicts:       7000 | #Constraints:       3995
57.11/57.38	c #Conflicts:       8000 | #Constraints:       4996
57.11/57.38	c #Conflicts:       9000 | #Constraints:       5997
57.11/57.38	c INPROCESSING
57.11/57.38	c GARBAGE COLLECT
57.11/57.38	c GLOBAL bounds - >= 64 @ 55.7568
57.11/57.38	c GLOBAL bounds - >= 64 @ 55.7568
83.45/83.73	c #Conflicts:      10000 | #Constraints:       4691
83.45/83.73	c #Conflicts:      11000 | #Constraints:       5692
83.45/83.73	c #Conflicts:      12000 | #Constraints:       6692
83.45/83.73	c INPROCESSING
83.45/83.73	c GARBAGE COLLECT
83.45/83.73	c rational objective 64
86.14/86.45	c GLOBAL bounds - >= 64 @ 84.1512
86.14/86.45	c GLOBAL bounds - >= 64 @ 84.1512
111.07/111.45	c #Conflicts:      13000 | #Constraints:       5178
111.07/111.45	c #Conflicts:      14000 | #Constraints:       6188
111.07/111.45	c #Conflicts:      15000 | #Constraints:       7192
111.07/111.45	c INPROCESSING
111.07/111.45	c GARBAGE COLLECT
111.07/111.45	c GLOBAL bounds - >= 64 @ 108.694
111.07/111.45	c GLOBAL bounds - >= 64 @ 108.694
146.68/147.17	c #Conflicts:      16000 | #Constraints:       5393
146.68/147.17	c #Conflicts:      17000 | #Constraints:       6394
146.68/147.17	c #Conflicts:      18000 | #Constraints:       7396
146.68/147.17	c INPROCESSING
146.68/147.17	c GARBAGE COLLECT
146.68/147.17	c rational objective 64
149.47/149.94	c GLOBAL bounds - >= 64 @ 146.551
149.47/149.94	c GLOBAL bounds - >= 64 @ 146.551
207.72/208.39	c #Conflicts:      19000 | #Constraints:       5423
207.72/208.39	c #Conflicts:      20000 | #Constraints:       6424
207.72/208.39	c #Conflicts:      21000 | #Constraints:       7426
207.72/208.39	c INPROCESSING
207.72/208.39	c GARBAGE COLLECT
207.72/208.39	c rational objective 64
210.91/211.51	c GLOBAL bounds - >= 64 @ 207.057
210.91/211.51	c GLOBAL bounds - >= 64 @ 207.057
232.46/233.16	c #Conflicts:      22000 | #Constraints:       5228
232.46/233.16	c #Conflicts:      23000 | #Constraints:       6234
232.46/233.16	c #Conflicts:      24000 | #Constraints:       7234
232.46/233.16	c #Conflicts:      25000 | #Constraints:       8236
232.46/233.16	c INPROCESSING
232.46/233.16	c GARBAGE COLLECT
232.46/233.16	c rational objective 64
234.95/235.69	c GLOBAL bounds - >= 64 @ 230.75
234.95/235.69	c GLOBAL bounds - >= 64 @ 230.751
276.65/277.47	c #Conflicts:      26000 | #Constraints:       5826
276.65/277.47	c #Conflicts:      27000 | #Constraints:       6830
276.65/277.47	c #Conflicts:      28000 | #Constraints:       7835
276.65/277.47	c #Conflicts:      29000 | #Constraints:       8838
276.65/277.47	c INPROCESSING
276.65/277.47	c GARBAGE COLLECT
276.65/277.47	c rational objective 64
279.54/280.39	c GLOBAL bounds - >= 64 @ 274.656
279.54/280.39	c GLOBAL bounds - >= 64 @ 274.656
319.33/320.26	c #Conflicts:      30000 | #Constraints:       6223
319.33/320.26	c #Conflicts:      31000 | #Constraints:       7225
319.33/320.26	c #Conflicts:      32000 | #Constraints:       8225
319.33/320.26	c #Conflicts:      33000 | #Constraints:       9227
319.33/320.26	c INPROCESSING
319.33/320.26	c GARBAGE COLLECT
319.33/320.26	c rational objective 64
322.02/322.99	c GLOBAL bounds - >= 64 @ 316.399
322.02/322.99	c GLOBAL bounds - >= 64 @ 316.399
363.92/364.98	c #Conflicts:      34000 | #Constraints:       6427
363.92/364.98	c #Conflicts:      35000 | #Constraints:       7429
363.92/364.98	c #Conflicts:      36000 | #Constraints:       8430
363.92/364.98	c #Conflicts:      37000 | #Constraints:       9432
363.92/364.98	c INPROCESSING
363.92/364.98	c GARBAGE COLLECT
363.92/364.98	c rational objective 64
367.01/368.00	c GLOBAL bounds - >= 64 @ 360.737
367.01/368.00	c GLOBAL bounds - >= 64 @ 360.737
404.32/405.47	c #Conflicts:      38000 | #Constraints:       6431
404.32/405.47	c #Conflicts:      39000 | #Constraints:       7433
404.32/405.47	c #Conflicts:      40000 | #Constraints:       8439
404.32/405.47	c #Conflicts:      41000 | #Constraints:       9441
404.32/405.47	c INPROCESSING
404.32/405.47	c GARBAGE COLLECT
404.32/405.47	c rational objective 64
406.50/407.63	c GLOBAL bounds - >= 64 @ 399.738
406.50/407.63	c GLOBAL bounds - >= 64 @ 399.738
450.68/451.91	c #Conflicts:      42000 | #Constraints:       6246
450.68/451.91	c #Conflicts:      43000 | #Constraints:       7266
450.68/451.91	c #Conflicts:      44000 | #Constraints:       8272
450.68/451.91	c #Conflicts:      45000 | #Constraints:       9284
450.68/451.91	c #Conflicts:      46000 | #Constraints:      10296
450.68/451.91	c INPROCESSING
450.68/451.91	c GARBAGE COLLECT
450.68/451.91	c rational objective 64
454.98/456.24	c GLOBAL bounds - >= 64 @ 447.397
454.98/456.24	c GLOBAL bounds - >= 64 @ 447.397
485.00/486.32	c #Conflicts:      47000 | #Constraints:       6863
485.00/486.32	c #Conflicts:      48000 | #Constraints:       7885
485.00/486.32	c #Conflicts:      49000 | #Constraints:       8887
485.00/486.32	c #Conflicts:      50000 | #Constraints:       9894
485.00/486.32	c #Conflicts:      51000 | #Constraints:      10894
485.00/486.32	c INPROCESSING
485.00/486.32	c GARBAGE COLLECT
485.00/486.32	c rational objective 64
488.19/489.57	c GLOBAL bounds - >= 64 @ 480.1
488.19/489.57	c GLOBAL bounds - >= 64 @ 480.1
534.87/536.36	c #Conflicts:      52000 | #Constraints:       7268
534.87/536.36	c #Conflicts:      53000 | #Constraints:       8272
534.87/536.36	c #Conflicts:      54000 | #Constraints:       9279
534.87/536.36	c #Conflicts:      55000 | #Constraints:      10287
534.87/536.36	c #Conflicts:      56000 | #Constraints:      11287
534.87/536.36	c INPROCESSING
534.87/536.36	c GARBAGE COLLECT
534.87/536.36	c rational objective 64
537.96/539.48	c GLOBAL bounds - >= 64 @ 529.24
537.96/539.48	c GLOBAL bounds - >= 64 @ 529.24
557.71/559.27	c #Conflicts:      57000 | #Constraints:       7447
557.71/559.27	c #Conflicts:      58000 | #Constraints:       8447
557.71/559.27	c #Conflicts:      59000 | #Constraints:       9447
557.71/559.27	c #Conflicts:      60000 | #Constraints:      10447
557.71/559.27	c #Conflicts:      61000 | #Constraints:      11448
557.71/559.27	c INPROCESSING
557.71/559.27	c GARBAGE COLLECT
557.71/559.27	c rational objective 64
560.21/561.74	c GLOBAL bounds - >= 64 @ 551.045
560.21/561.74	c GLOBAL bounds - >= 64 @ 551.045
593.72/595.39	c #Conflicts:      62000 | #Constraints:       7459
593.72/595.39	c #Conflicts:      63000 | #Constraints:       8459
593.72/595.39	c #Conflicts:      64000 | #Constraints:       9459
593.72/595.39	c #Conflicts:      65000 | #Constraints:      10459
593.72/595.39	c #Conflicts:      66000 | #Constraints:      11462
593.72/595.39	c INPROCESSING
593.72/595.39	c GARBAGE COLLECT
593.72/595.39	c rational objective 64
596.22/597.82	c GLOBAL bounds - >= 64 @ 586.542
596.22/597.82	c GLOBAL bounds - >= 64 @ 586.542
631.53/633.28	c #Conflicts:      67000 | #Constraints:       7249
631.53/633.28	c #Conflicts:      68000 | #Constraints:       8271
631.53/633.28	c #Conflicts:      69000 | #Constraints:       9299
631.53/633.28	c #Conflicts:      70000 | #Constraints:      10305
631.53/633.28	c #Conflicts:      71000 | #Constraints:      11307
631.53/633.28	c #Conflicts:      72000 | #Constraints:      12311
631.53/633.28	c INPROCESSING
631.53/633.28	c GARBAGE COLLECT
631.53/633.28	c rational objective 64
637.01/638.77	c GLOBAL bounds - >= 64 @ 626.772
637.01/638.77	c GLOBAL bounds - >= 64 @ 626.773
665.04/666.85	c #Conflicts:      73000 | #Constraints:       7857
665.04/666.85	c #Conflicts:      74000 | #Constraints:       8857
665.04/666.85	c #Conflicts:      75000 | #Constraints:       9857
665.04/666.85	c #Conflicts:      76000 | #Constraints:      10857
665.04/666.85	c #Conflicts:      77000 | #Constraints:      11857
665.04/666.85	c #Conflicts:      78000 | #Constraints:      12858
665.04/666.85	c INPROCESSING
665.04/666.85	c GARBAGE COLLECT
665.04/666.85	c rational objective 64
668.94/670.71	c GLOBAL bounds - >= 64 @ 658.082
668.94/670.71	c GLOBAL bounds - >= 64 @ 658.082
716.70/718.64	c #Conflicts:      79000 | #Constraints:       8242
716.70/718.64	c #Conflicts:      80000 | #Constraints:       9246
716.70/718.64	c #Conflicts:      81000 | #Constraints:      10247
716.70/718.64	c #Conflicts:      82000 | #Constraints:      11248
716.70/718.64	c #Conflicts:      83000 | #Constraints:      12248
716.70/718.64	c #Conflicts:      84000 | #Constraints:      13248
716.70/718.64	c INPROCESSING
716.70/718.64	c GARBAGE COLLECT
716.70/718.64	c rational objective 64
718.70/720.68	c GLOBAL bounds - >= 64 @ 707.287
718.70/720.68	c GLOBAL bounds - >= 64 @ 707.287
761.99/764.09	c #Conflicts:      85000 | #Constraints:       8435
761.99/764.09	c #Conflicts:      86000 | #Constraints:       9435
761.99/764.09	c #Conflicts:      87000 | #Constraints:      10435
761.99/764.09	c #Conflicts:      88000 | #Constraints:      11435
761.99/764.09	c #Conflicts:      89000 | #Constraints:      12435
761.99/764.09	c #Conflicts:      90000 | #Constraints:      13435
761.99/764.09	c INPROCESSING
761.99/764.09	c GARBAGE COLLECT
761.99/764.09	c rational objective 64
771.07/773.15	c GLOBAL bounds - >= 64 @ 759.094
771.07/773.15	c GLOBAL bounds - >= 64 @ 759.094
793.71/795.88	c #Conflicts:      91000 | #Constraints:       8417
793.71/795.88	c #Conflicts:      92000 | #Constraints:       9417
793.71/795.88	c #Conflicts:      93000 | #Constraints:      10417
793.71/795.88	c #Conflicts:      94000 | #Constraints:      11417
793.71/795.88	c #Conflicts:      95000 | #Constraints:      12417
793.71/795.88	c #Conflicts:      96000 | #Constraints:      13417
793.71/795.88	c INPROCESSING
793.71/795.88	c GARBAGE COLLECT
793.71/795.88	c rational objective 64
797.20/799.31	c GLOBAL bounds - >= 64 @ 784.82
797.20/799.31	c GLOBAL bounds - >= 64 @ 784.82
833.41/835.68	c #Conflicts:      97000 | #Constraints:       8219
833.41/835.68	c #Conflicts:      98000 | #Constraints:       9219
833.41/835.68	c #Conflicts:      99000 | #Constraints:      10219
833.41/835.68	c #Conflicts:     100000 | #Constraints:      11219
833.41/835.68	c #Conflicts:     101000 | #Constraints:      12223
833.41/835.68	c #Conflicts:     102000 | #Constraints:      13251
833.41/835.68	c #Conflicts:     103000 | #Constraints:      14256
833.41/835.68	c INPROCESSING
833.41/835.68	c GARBAGE COLLECT
833.41/835.68	c rational objective 64
841.58/843.89	c GLOBAL bounds - >= 64 @ 828.766
841.58/843.89	c GLOBAL bounds - >= 64 @ 828.766
858.75/861.08	c #Conflicts:     104000 | #Constraints:       8828
858.75/861.08	c #Conflicts:     105000 | #Constraints:       9828
858.75/861.08	c #Conflicts:     106000 | #Constraints:      10828
858.75/861.08	c #Conflicts:     107000 | #Constraints:      11828
858.75/861.08	c #Conflicts:     108000 | #Constraints:      12828
858.75/861.08	c #Conflicts:     109000 | #Constraints:      13828
858.75/861.08	c #Conflicts:     110000 | #Constraints:      14828
858.75/861.08	c INPROCESSING
858.75/861.08	c GARBAGE COLLECT
858.75/861.08	c rational objective 64
862.53/864.88	c GLOBAL bounds - >= 64 @ 849.142
862.53/864.88	c GLOBAL bounds - >= 64 @ 849.142
892.16/894.58	c #Conflicts:     111000 | #Constraints:       9227
892.16/894.58	c #Conflicts:     112000 | #Constraints:      10227
892.16/894.58	c #Conflicts:     113000 | #Constraints:      11227
892.16/894.58	c #Conflicts:     114000 | #Constraints:      12229
892.16/894.58	c #Conflicts:     115000 | #Constraints:      13231
892.16/894.58	c #Conflicts:     116000 | #Constraints:      14235
892.16/894.58	c #Conflicts:     117000 | #Constraints:      15237
892.16/894.58	c INPROCESSING
892.16/894.58	c GARBAGE COLLECT
892.16/894.58	c rational objective 64
895.15/897.57	c GLOBAL bounds - >= 64 @ 881.006
895.15/897.57	c GLOBAL bounds - >= 64 @ 881.006
1030.00/1032.72	c #Conflicts:     118000 | #Constraints:       9440
1030.00/1032.72	c #Conflicts:     119000 | #Constraints:      10443
1030.00/1032.72	c #Conflicts:     120000 | #Constraints:      11448
1030.00/1032.72	c #Conflicts:     121000 | #Constraints:      12448
1030.00/1032.72	c #Conflicts:     122000 | #Constraints:      13465
1030.00/1032.72	c #Conflicts:     123000 | #Constraints:      14481
1030.00/1032.72	c #Conflicts:     124000 | #Constraints:      15488
1030.00/1032.72	c INPROCESSING
1030.00/1032.72	c GARBAGE COLLECT
1030.00/1032.72	c rational objective 64
1034.49/1037.20	c GLOBAL bounds - >= 64 @ 1018.53
1034.49/1037.20	c GLOBAL bounds - >= 64 @ 1018.53
1120.07/1123.03	c #Conflicts:     125000 | #Constraints:       9450
1120.07/1123.03	c #Conflicts:     126000 | #Constraints:      10454
1120.07/1123.03	c #Conflicts:     127000 | #Constraints:      11460
1120.07/1123.03	c #Conflicts:     128000 | #Constraints:      12463
1120.07/1123.03	c #Conflicts:     129000 | #Constraints:      13465
1120.07/1123.03	c #Conflicts:     130000 | #Constraints:      14472
1120.07/1123.03	c #Conflicts:     131000 | #Constraints:      15473
1120.07/1123.03	c INPROCESSING
1120.07/1123.03	c GARBAGE COLLECT
1120.07/1123.03	c rational objective 64
1123.26/1126.29	c GLOBAL bounds - >= 64 @ 1106.21
1123.26/1126.29	c GLOBAL bounds - >= 64 @ 1106.21
1185.09/1188.27	c #Conflicts:     132000 | #Constraints:       9253
1185.09/1188.27	c #Conflicts:     133000 | #Constraints:      10254
1185.09/1188.27	c #Conflicts:     134000 | #Constraints:      11255
1185.09/1188.27	c #Conflicts:     135000 | #Constraints:      12256
1185.09/1188.27	c #Conflicts:     136000 | #Constraints:      13256
1185.09/1188.27	c #Conflicts:     137000 | #Constraints:      14263
1185.09/1188.27	c #Conflicts:     138000 | #Constraints:      15280
1185.09/1188.27	c #Conflicts:     139000 | #Constraints:      16291
1185.09/1188.27	c INPROCESSING
1185.09/1188.27	c GARBAGE COLLECT
1185.09/1188.27	c rational objective 64
1186.79/1189.97	c GLOBAL bounds - >= 64 @ 1168.93
1186.79/1189.97	c GLOBAL bounds - >= 64 @ 1168.93
1238.46/1241.72	c #Conflicts:     140000 | #Constraints:       9859
1238.46/1241.72	c #Conflicts:     141000 | #Constraints:      10859
1238.46/1241.72	c #Conflicts:     142000 | #Constraints:      11859
1238.46/1241.72	c #Conflicts:     143000 | #Constraints:      12859
1238.46/1241.72	c #Conflicts:     144000 | #Constraints:      13859
1238.46/1241.72	c #Conflicts:     145000 | #Constraints:      14859
1238.46/1241.72	c #Conflicts:     146000 | #Constraints:      15859
1238.46/1241.72	c #Conflicts:     147000 | #Constraints:      16859
1238.46/1241.72	c INPROCESSING
1238.46/1241.72	c GARBAGE COLLECT
1238.46/1241.72	c rational objective 64
1245.93/1249.23	c GLOBAL bounds - >= 64 @ 1227.41
1245.93/1249.23	c GLOBAL bounds - >= 64 @ 1227.41
1280.05/1283.45	c #Conflicts:     148000 | #Constraints:      10252
1280.05/1283.45	c #Conflicts:     149000 | #Constraints:      11252
1280.05/1283.45	c #Conflicts:     150000 | #Constraints:      12252
1280.05/1283.45	c #Conflicts:     151000 | #Constraints:      13252
1280.05/1283.45	c #Conflicts:     152000 | #Constraints:      14252
1280.05/1283.45	c #Conflicts:     153000 | #Constraints:      15252
1280.05/1283.45	c #Conflicts:     154000 | #Constraints:      16252
1280.05/1283.45	c #Conflicts:     155000 | #Constraints:      17252
1280.05/1283.45	c INPROCESSING
1280.05/1283.45	c GARBAGE COLLECT
1280.05/1283.45	c rational objective 64
1283.23/1286.66	c GLOBAL bounds - >= 64 @ 1263.95
1283.23/1286.66	c GLOBAL bounds - >= 64 @ 1263.95
1358.13/1361.75	c #Conflicts:     156000 | #Constraints:      10435
1358.13/1361.75	c #Conflicts:     157000 | #Constraints:      11436
1358.13/1361.75	c #Conflicts:     158000 | #Constraints:      12436
1358.13/1361.75	c #Conflicts:     159000 | #Constraints:      13455
1358.13/1361.75	c #Conflicts:     160000 | #Constraints:      14463
1358.13/1361.75	c #Conflicts:     161000 | #Constraints:      15465
1358.13/1361.75	c #Conflicts:     162000 | #Constraints:      16474
1358.13/1361.75	c #Conflicts:     163000 | #Constraints:      17480
1358.13/1361.75	c INPROCESSING
1358.13/1361.75	c GARBAGE COLLECT
1358.13/1361.75	c rational objective 64
1361.61/1365.23	c GLOBAL bounds - >= 64 @ 1341.23
1361.61/1365.23	c GLOBAL bounds - >= 64 @ 1341.23
1397.92/1401.61	c #Conflicts:     164000 | #Constraints:      10448
1397.92/1401.61	c #Conflicts:     165000 | #Constraints:      11462
1397.92/1401.61	c #Conflicts:     166000 | #Constraints:      12462
1397.92/1401.61	c #Conflicts:     167000 | #Constraints:      13462
1397.92/1401.61	c #Conflicts:     168000 | #Constraints:      14462
1397.92/1401.61	c #Conflicts:     169000 | #Constraints:      15462
1397.92/1401.61	c #Conflicts:     170000 | #Constraints:      16462
1397.92/1401.61	c #Conflicts:     171000 | #Constraints:      17462
1397.92/1401.61	c INPROCESSING
1397.92/1401.61	c GARBAGE COLLECT
1397.92/1401.61	c rational objective 64
1400.32/1404.07	c GLOBAL bounds - >= 64 @ 1379.13
1400.32/1404.07	c GLOBAL bounds - >= 64 @ 1379.13
1435.12/1438.99	c #Conflicts:     172000 | #Constraints:      10249
1435.12/1438.99	c #Conflicts:     173000 | #Constraints:      11249
1435.12/1438.99	c #Conflicts:     174000 | #Constraints:      12249
1435.12/1438.99	c #Conflicts:     175000 | #Constraints:      13249
1435.12/1438.99	c #Conflicts:     176000 | #Constraints:      14249
1435.12/1438.99	c #Conflicts:     177000 | #Constraints:      15249
1435.12/1438.99	c #Conflicts:     178000 | #Constraints:      16249
1435.12/1438.99	c #Conflicts:     179000 | #Constraints:      17249
1435.12/1438.99	c #Conflicts:     180000 | #Constraints:      18250
1435.12/1438.99	c INPROCESSING
1435.12/1438.99	c GARBAGE COLLECT
1435.12/1438.99	c rational objective 64
1438.22/1442.02	c GLOBAL bounds - >= 64 @ 1416.12
1438.22/1442.02	c GLOBAL bounds - >= 64 @ 1416.12
1567.25/1571.44	c #Conflicts:     181000 | #Constraints:      10838
1567.25/1571.44	c #Conflicts:     182000 | #Constraints:      11839
1567.25/1571.44	c #Conflicts:     183000 | #Constraints:      12840
1567.25/1571.44	c #Conflicts:     184000 | #Constraints:      13842
1567.25/1571.44	c #Conflicts:     185000 | #Constraints:      14855
1567.25/1571.44	c #Conflicts:     186000 | #Constraints:      15859
1567.25/1571.44	c #Conflicts:     187000 | #Constraints:      16863
1567.25/1571.44	c #Conflicts:     188000 | #Constraints:      17871
1567.25/1571.44	c #Conflicts:     189000 | #Constraints:      18882
1567.25/1571.44	c INPROCESSING
1567.25/1571.44	c GARBAGE COLLECT
1567.25/1571.44	c rational objective 64
1569.55/1573.72	c GLOBAL bounds - >= 64 @ 1546.45
1569.55/1573.72	c GLOBAL bounds - >= 64 @ 1546.45
1690.01/1694.59	c #Conflicts:     190000 | #Constraints:      11264
1690.01/1694.59	c #Conflicts:     191000 | #Constraints:      12264
1690.01/1694.59	c #Conflicts:     192000 | #Constraints:      13264
1690.01/1694.59	c #Conflicts:     193000 | #Constraints:      14264
1690.01/1694.59	c #Conflicts:     194000 | #Constraints:      15264
1690.01/1694.59	c #Conflicts:     195000 | #Constraints:      16264
1690.01/1694.59	c #Conflicts:     196000 | #Constraints:      17264
1690.01/1694.59	c #Conflicts:     197000 | #Constraints:      18264
1690.01/1694.59	c #Conflicts:     198000 | #Constraints:      19264
1690.01/1694.59	c INPROCESSING
1690.01/1694.59	c GARBAGE COLLECT
1690.01/1694.59	c rational objective 64
1692.71/1697.23	c GLOBAL bounds - >= 64 @ 1668.57
1692.71/1697.23	c GLOBAL bounds - >= 64 @ 1668.57
1779.66/1784.47	c #Conflicts:     199000 | #Constraints:      11507
1779.66/1784.47	c #Conflicts:     200000 | #Constraints:      12508
1779.66/1784.47	c #Conflicts:     201000 | #Constraints:      13512
1779.66/1784.47	c #Conflicts:     202000 | #Constraints:      14519
1779.66/1784.47	c #Conflicts:     203000 | #Constraints:      15525
1779.66/1784.47	c #Conflicts:     204000 | #Constraints:      16530
1779.66/1784.47	c #Conflicts:     205000 | #Constraints:      17547
1779.66/1784.47	c #Conflicts:     206000 | #Constraints:      18559
1779.66/1784.47	c #Conflicts:     207000 | #Constraints:      19559
1779.66/1784.47	c INPROCESSING
1779.66/1784.47	c GARBAGE COLLECT
1779.66/1784.47	c rational objective 64
1781.66/1786.40	c GLOBAL bounds - >= 64 @ 1756.28
1781.66/1786.40	c GLOBAL bounds - >= 64 @ 1756.28
1829.63/1834.51	c #Conflicts:     208000 | #Constraints:      11494
1829.63/1834.51	c #Conflicts:     209000 | #Constraints:      12499
1829.63/1834.51	c #Conflicts:     210000 | #Constraints:      13524
1829.63/1834.51	c #Conflicts:     211000 | #Constraints:      14551
1829.63/1834.51	c #Conflicts:     212000 | #Constraints:      15559
1829.63/1834.51	c #Conflicts:     213000 | #Constraints:      16585
1829.63/1834.51	c #Conflicts:     214000 | #Constraints:      17591
1829.63/1834.51	c #Conflicts:     215000 | #Constraints:      18592
1829.63/1834.51	c #Conflicts:     216000 | #Constraints:      19592
1829.63/1834.51	c INPROCESSING
1829.63/1834.51	c GARBAGE COLLECT
1829.63/1834.51	c rational objective 64
1831.43/1836.33	c GLOBAL bounds - >= 64 @ 1805.55
1831.43/1836.33	c GLOBAL bounds - >= 64 @ 1805.55
1896.97/1902.01	c #Conflicts:     217000 | #Constraints:      11320
1896.97/1902.01	c #Conflicts:     218000 | #Constraints:      12320
1896.97/1902.01	c #Conflicts:     219000 | #Constraints:      13320
1896.97/1902.01	c #Conflicts:     220000 | #Constraints:      14320
1896.97/1902.01	c #Conflicts:     221000 | #Constraints:      15320
1896.97/1902.01	c #Conflicts:     222000 | #Constraints:      16320
1896.97/1902.01	c #Conflicts:     223000 | #Constraints:      17320
1896.97/1902.01	c #Conflicts:     224000 | #Constraints:      18320
1896.97/1902.01	c #Conflicts:     225000 | #Constraints:      19320
1896.97/1902.01	c #Conflicts:     226000 | #Constraints:      20320
1896.97/1902.01	c INPROCESSING
1896.97/1902.01	c GARBAGE COLLECT
1896.97/1902.01	c rational objective 64
1902.96/1908.09	c GLOBAL bounds - >= 64 @ 1876.22
1902.96/1908.09	c GLOBAL bounds - >= 64 @ 1876.22
1941.05/1946.21	c #Conflicts:     227000 | #Constraints:      11863
1941.05/1946.21	c #Conflicts:     228000 | #Constraints:      12863
1941.05/1946.21	c #Conflicts:     229000 | #Constraints:      13863
1941.05/1946.21	c #Conflicts:     230000 | #Constraints:      14863
1941.05/1946.21	c #Conflicts:     231000 | #Constraints:      15863
1941.05/1946.21	c #Conflicts:     232000 | #Constraints:      16863
1941.05/1946.21	c #Conflicts:     233000 | #Constraints:      17863
1941.05/1946.21	c #Conflicts:     234000 | #Constraints:      18863
1941.05/1946.21	c #Conflicts:     235000 | #Constraints:      19863
1941.05/1946.21	c #Conflicts:     236000 | #Constraints:      20863
1941.05/1946.21	c INPROCESSING
1941.05/1946.21	c GARBAGE COLLECT
1941.05/1946.21	c rational objective 64
1945.14/1950.30	c GLOBAL bounds - >= 64 @ 1917.63
1945.14/1950.30	c GLOBAL bounds - >= 64 @ 1917.63
1972.06/1977.31	c #Conflicts:     237000 | #Constraints:      12234
1972.06/1977.31	c #Conflicts:     238000 | #Constraints:      13234
1972.06/1977.31	c #Conflicts:     239000 | #Constraints:      14234
1972.06/1977.31	c #Conflicts:     240000 | #Constraints:      15234
1972.06/1977.31	c #Conflicts:     241000 | #Constraints:      16234
1972.06/1977.31	c #Conflicts:     242000 | #Constraints:      17234
1972.06/1977.31	c #Conflicts:     243000 | #Constraints:      18234
1972.06/1977.31	c #Conflicts:     244000 | #Constraints:      19234
1972.06/1977.31	c #Conflicts:     245000 | #Constraints:      20234
1972.06/1977.31	c #Conflicts:     246000 | #Constraints:      21234
1972.06/1977.31	c INPROCESSING
1972.06/1977.31	c GARBAGE COLLECT
1972.06/1977.31	c rational objective 64
1979.86/1985.12	c GLOBAL bounds - >= 64 @ 1951.56
1979.86/1985.12	c GLOBAL bounds - >= 64 @ 1951.56
2008.77/2014.13	c #Conflicts:     247000 | #Constraints:      12414
2008.77/2014.13	c #Conflicts:     248000 | #Constraints:      13414
2008.77/2014.13	c #Conflicts:     249000 | #Constraints:      14414
2008.77/2014.13	c #Conflicts:     250000 | #Constraints:      15414
2008.77/2014.13	c #Conflicts:     251000 | #Constraints:      16414
2008.77/2014.13	c #Conflicts:     252000 | #Constraints:      17414
2008.77/2014.13	c #Conflicts:     253000 | #Constraints:      18414
2008.77/2014.13	c #Conflicts:     254000 | #Constraints:      19414
2008.77/2014.13	c #Conflicts:     255000 | #Constraints:      20415
2008.77/2014.13	c #Conflicts:     256000 | #Constraints:      21417
2008.77/2014.13	c INPROCESSING
2008.77/2014.13	c GARBAGE COLLECT
2008.77/2014.13	c rational objective 64
2012.56/2017.96	c GLOBAL bounds - >= 64 @ 1983.54
2012.56/2017.96	c GLOBAL bounds - >= 64 @ 1983.54
2118.39/2124.02	c #Conflicts:     257000 | #Constraints:      12429
2118.39/2124.02	c #Conflicts:     258000 | #Constraints:      13433
2118.39/2124.02	c #Conflicts:     259000 | #Constraints:      14434
2118.39/2124.02	c #Conflicts:     260000 | #Constraints:      15436
2118.39/2124.02	c #Conflicts:     261000 | #Constraints:      16447
2118.39/2124.02	c #Conflicts:     262000 | #Constraints:      17456
2118.39/2124.02	c #Conflicts:     263000 | #Constraints:      18466
2118.39/2124.02	c #Conflicts:     264000 | #Constraints:      19476
2118.39/2124.02	c #Conflicts:     265000 | #Constraints:      20503
2118.39/2124.02	c #Conflicts:     266000 | #Constraints:      21506
2118.39/2124.02	c INPROCESSING
2118.39/2124.02	c GARBAGE COLLECT
2118.39/2124.02	c rational objective 64
2120.78/2126.40	c GLOBAL bounds - >= 64 @ 2089.96
2120.78/2126.40	c GLOBAL bounds - >= 64 @ 2089.96
2191.98/2197.90	c #Conflicts:     267000 | #Constraints:      12286
2191.98/2197.90	c #Conflicts:     268000 | #Constraints:      13295
2191.98/2197.90	c #Conflicts:     269000 | #Constraints:      14310
2191.98/2197.90	c #Conflicts:     270000 | #Constraints:      15329
2191.98/2197.90	c #Conflicts:     271000 | #Constraints:      16337
2191.98/2197.90	c #Conflicts:     272000 | #Constraints:      17348
2191.98/2197.90	c #Conflicts:     273000 | #Constraints:      18348
2191.98/2197.90	c #Conflicts:     274000 | #Constraints:      19348
2191.98/2197.90	c #Conflicts:     275000 | #Constraints:      20352
2191.98/2197.90	c #Conflicts:     276000 | #Constraints:      21366
2191.98/2197.90	c #Conflicts:     277000 | #Constraints:      22368
2191.98/2197.90	c INPROCESSING
2191.98/2197.90	c GARBAGE COLLECT
2191.98/2197.90	c rational objective 64
2195.46/2201.36	c GLOBAL bounds - >= 64 @ 2163.84
2195.46/2201.36	c GLOBAL bounds - >= 64 @ 2163.84
2284.23/2290.40	c #Conflicts:     278000 | #Constraints:      12896
2284.23/2290.40	c #Conflicts:     279000 | #Constraints:      13898
2284.23/2290.40	c #Conflicts:     280000 | #Constraints:      14899
2284.23/2290.40	c #Conflicts:     281000 | #Constraints:      15899
2284.23/2290.40	c #Conflicts:     282000 | #Constraints:      16899
2284.23/2290.40	c #Conflicts:     283000 | #Constraints:      17900
2284.23/2290.40	c #Conflicts:     284000 | #Constraints:      18900
2284.23/2290.40	c #Conflicts:     285000 | #Constraints:      19901
2284.23/2290.40	c #Conflicts:     286000 | #Constraints:      20902
2284.23/2290.40	c #Conflicts:     287000 | #Constraints:      21902
2284.23/2290.40	c #Conflicts:     288000 | #Constraints:      22902
2284.23/2290.40	c INPROCESSING
2284.23/2290.40	c GARBAGE COLLECT
2284.23/2290.40	c rational objective 64
2286.63/2292.72	c GLOBAL bounds - >= 64 @ 2253.59
2286.63/2292.72	c GLOBAL bounds - >= 64 @ 2253.59
2459.06/2465.64	c #Conflicts:     289000 | #Constraints:      13261
2459.06/2465.64	c #Conflicts:     290000 | #Constraints:      14263
2459.06/2465.64	c #Conflicts:     291000 | #Constraints:      15277
2459.06/2465.64	c #Conflicts:     292000 | #Constraints:      16283
2459.06/2465.64	c #Conflicts:     293000 | #Constraints:      17297
2459.06/2465.64	c #Conflicts:     294000 | #Constraints:      18299
2459.06/2465.64	c #Conflicts:     295000 | #Constraints:      19309
2459.06/2465.64	c #Conflicts:     296000 | #Constraints:      20319
2459.06/2465.64	c #Conflicts:     297000 | #Constraints:      21324
2459.06/2465.64	c #Conflicts:     298000 | #Constraints:      22335
2459.06/2465.64	c #Conflicts:     299000 | #Constraints:      23346
2459.06/2465.64	c INPROCESSING
2459.06/2465.64	c GARBAGE COLLECT
2459.06/2465.64	c rational objective 64
2462.15/2468.76	c GLOBAL bounds - >= 64 @ 2427.05
2462.15/2468.76	c GLOBAL bounds - >= 64 @ 2427.05
2619.43/2626.40	c #Conflicts:     300000 | #Constraints:      13485
2619.43/2626.40	c #Conflicts:     301000 | #Constraints:      14486
2619.43/2626.40	c #Conflicts:     302000 | #Constraints:      15487
2619.43/2626.40	c #Conflicts:     303000 | #Constraints:      16487
2619.43/2626.40	c #Conflicts:     304000 | #Constraints:      17487
2619.43/2626.40	c #Conflicts:     305000 | #Constraints:      18488
2619.43/2626.40	c #Conflicts:     306000 | #Constraints:      19490
2619.43/2626.40	c #Conflicts:     307000 | #Constraints:      20491
2619.43/2626.40	c #Conflicts:     308000 | #Constraints:      21492
2619.43/2626.40	c #Conflicts:     309000 | #Constraints:      22492
2619.43/2626.40	c #Conflicts:     310000 | #Constraints:      23492
2619.43/2626.40	c INPROCESSING
2619.43/2626.40	c GARBAGE COLLECT
2619.43/2626.40	c rational objective 64
2621.53/2628.51	c GLOBAL bounds - >= 64 @ 2584.25
2621.53/2628.51	c GLOBAL bounds - >= 64 @ 2584.25
2737.41/2744.75	c #Conflicts:     311000 | #Constraints:      13467
2737.41/2744.75	c #Conflicts:     312000 | #Constraints:      14468
2737.41/2744.75	c #Conflicts:     313000 | #Constraints:      15475
2737.41/2744.75	c #Conflicts:     314000 | #Constraints:      16489
2737.41/2744.75	c #Conflicts:     315000 | #Constraints:      17507
2737.41/2744.75	c #Conflicts:     316000 | #Constraints:      18527
2737.41/2744.75	c #Conflicts:     317000 | #Constraints:      19536
2737.41/2744.75	c #Conflicts:     318000 | #Constraints:      20542
2737.41/2744.75	c #Conflicts:     319000 | #Constraints:      21547
2737.41/2744.75	c #Conflicts:     320000 | #Constraints:      22561
2737.41/2744.75	c #Conflicts:     321000 | #Constraints:      23585
2737.41/2744.75	c INPROCESSING
2737.41/2744.75	c GARBAGE COLLECT
2737.41/2744.75	c rational objective 64
2739.80/2747.13	c GLOBAL bounds - >= 64 @ 2701.1
2739.80/2747.13	c GLOBAL bounds - >= 64 @ 2701.1
3020.82/3028.91	c #Conflicts:     322000 | #Constraints:      13317
3020.82/3028.91	c #Conflicts:     323000 | #Constraints:      14321
3020.82/3028.91	c #Conflicts:     324000 | #Constraints:      15322
3020.82/3028.91	c #Conflicts:     325000 | #Constraints:      16322
3020.82/3028.91	c #Conflicts:     326000 | #Constraints:      17323
3020.82/3028.91	c #Conflicts:     327000 | #Constraints:      18323
3020.82/3028.91	c #Conflicts:     328000 | #Constraints:      19324
3020.82/3028.91	c #Conflicts:     329000 | #Constraints:      20324
3020.82/3028.91	c #Conflicts:     330000 | #Constraints:      21324
3020.82/3028.91	c #Conflicts:     331000 | #Constraints:      22325
3020.82/3028.91	c #Conflicts:     332000 | #Constraints:      23326
3020.82/3028.91	c #Conflicts:     333000 | #Constraints:      24326
3020.82/3028.91	c INPROCESSING
3020.82/3028.91	c GARBAGE COLLECT
3020.82/3028.91	c rational objective 64
3025.11/3033.22	c GLOBAL bounds - >= 64 @ 2985.08
3025.11/3033.22	c GLOBAL bounds - >= 64 @ 2985.08
3097.01/3105.37	c #Conflicts:     334000 | #Constraints:      13867
3097.01/3105.37	c #Conflicts:     335000 | #Constraints:      14867
3097.01/3105.37	c #Conflicts:     336000 | #Constraints:      15867
3097.01/3105.37	c #Conflicts:     337000 | #Constraints:      16867
3097.01/3105.37	c #Conflicts:     338000 | #Constraints:      17871
3097.01/3105.37	c #Conflicts:     339000 | #Constraints:      18874
3097.01/3105.37	c #Conflicts:     340000 | #Constraints:      19876
3097.01/3105.37	c #Conflicts:     341000 | #Constraints:      20877
3097.01/3105.37	c #Conflicts:     342000 | #Constraints:      21879
3097.01/3105.37	c #Conflicts:     343000 | #Constraints:      22880
3097.01/3105.37	c #Conflicts:     344000 | #Constraints:      23880
3097.01/3105.37	c #Conflicts:     345000 | #Constraints:      24884
3097.01/3105.37	c INPROCESSING
3097.01/3105.37	c GARBAGE COLLECT
3097.01/3105.37	c rational objective 64
3100.20/3108.59	c GLOBAL bounds - >= 64 @ 3058.75
3100.20/3108.59	c GLOBAL bounds - >= 64 @ 3058.75
3283.30/3292.10	c #Conflicts:     346000 | #Constraints:      14253
3283.30/3292.10	c #Conflicts:     347000 | #Constraints:      15256
3283.30/3292.10	c #Conflicts:     348000 | #Constraints:      16260
3283.30/3292.10	c #Conflicts:     349000 | #Constraints:      17266
3283.30/3292.10	c #Conflicts:     350000 | #Constraints:      18277
3283.30/3292.10	c #Conflicts:     351000 | #Constraints:      19284
3283.30/3292.10	c #Conflicts:     352000 | #Constraints:      20284
3283.30/3292.10	c #Conflicts:     353000 | #Constraints:      21291
3283.30/3292.10	c #Conflicts:     354000 | #Constraints:      22298
3283.30/3292.10	c #Conflicts:     355000 | #Constraints:      23325
3283.30/3292.10	c #Conflicts:     356000 | #Constraints:      24338
3283.30/3292.10	c #Conflicts:     357000 | #Constraints:      25359
3283.30/3292.10	c INPROCESSING
3283.30/3292.10	c GARBAGE COLLECT
3283.30/3292.10	c rational objective 64
3285.69/3294.53	c GLOBAL bounds - >= 64 @ 3241.53
3285.69/3294.53	c GLOBAL bounds - >= 64 @ 3241.53
3397.58/3406.76	c #Conflicts:     358000 | #Constraints:      14486
3397.58/3406.76	c #Conflicts:     359000 | #Constraints:      15486
3397.58/3406.76	c #Conflicts:     360000 | #Constraints:      16488
3397.58/3406.76	c #Conflicts:     361000 | #Constraints:      17489
3397.58/3406.76	c #Conflicts:     362000 | #Constraints:      18498
3397.58/3406.76	c #Conflicts:     363000 | #Constraints:      19514
3397.58/3406.76	c #Conflicts:     364000 | #Constraints:      20533
3397.58/3406.76	c #Conflicts:     365000 | #Constraints:      21538
3397.58/3406.76	c #Conflicts:     366000 | #Constraints:      22548
3397.58/3406.76	c #Conflicts:     367000 | #Constraints:      23559
3397.58/3406.76	c #Conflicts:     368000 | #Constraints:      24568
3397.58/3406.76	c #Conflicts:     369000 | #Constraints:      25581
3397.58/3406.76	c INPROCESSING
3397.58/3406.76	c GARBAGE COLLECT
3397.58/3406.76	c rational objective 64
3400.17/3409.32	c GLOBAL bounds - >= 64 @ 3354.18
3400.17/3409.32	c GLOBAL bounds - >= 64 @ 3354.18
3591.75/3601.46	c #Conflicts:     370000 | #Constraints:      14503
3591.75/3601.46	c #Conflicts:     371000 | #Constraints:      15503
3591.75/3601.46	c #Conflicts:     372000 | #Constraints:      16503
3591.75/3601.46	c #Conflicts:     373000 | #Constraints:      17503
3591.75/3601.46	c #Conflicts:     374000 | #Constraints:      18505
3591.75/3601.46	c #Conflicts:     375000 | #Constraints:      19517
3591.75/3601.46	c #Conflicts:     376000 | #Constraints:      20527
3591.75/3601.46	c #Conflicts:     377000 | #Constraints:      21527
3591.75/3601.46	c #Conflicts:     378000 | #Constraints:      22527
3591.75/3601.46	c #Conflicts:     379000 | #Constraints:      23540
3591.75/3601.46	c #Conflicts:     380000 | #Constraints:      24543
3591.75/3601.46	c #Conflicts:     381000 | #Constraints:      25550
3591.75/3601.46	c INPROCESSING
3591.75/3601.46	c GARBAGE COLLECT
3591.75/3601.46	c rational objective 64
3594.14/3603.84	c GLOBAL bounds - >= 64 @ 3545.88
3594.14/3603.84	c GLOBAL bounds - >= 64 @ 3545.88
3600.02/3609.70	c #Conflicts:     382000 | #Constraints:      14300
3600.02/3609.70	c cpu time 3551.6 s
3600.02/3609.70	c deterministic time 367913854383 3.68e+11
3600.02/3609.70	c optimization time 5.75362 s
3600.02/3609.70	c total solve time 3545.77 s
3600.02/3609.70	c core-guided solve time 0 s
3600.02/3609.70	c propagation time 1950.78 s
3600.02/3609.70	c conflict analysis time 1102.37 s
3600.02/3609.70	c propagations 158849325
3600.02/3609.70	c resolve steps 1575732
3600.02/3609.70	c decisions 20723905
3600.02/3609.70	c conflicts 382323
3600.02/3609.70	c restarts 914
3600.02/3609.70	c inprocessing phases 53
3600.02/3609.70	c garbage collections 53 ,( 100.00 )
3600.02/3609.70	c input clauses 713 ,( 45.85 )
3600.02/3609.70	c input cardinalities 714 ,( 45.92 )
3600.02/3609.70	c input general constraints 128 ,( 8.23 )
3600.02/3609.70	c input average constraint length 117.42
3600.02/3609.70	c input average constraint degree 24560.17
3600.02/3609.70	c learned clauses 6200 ,( 1.61 )
3600.02/3609.70	c learned cardinalities 267 ,( 0.07 )
3600.02/3609.70	c learned general constraints 378226 ,( 98.32 )
3600.02/3609.70	c learned average constraint length 7437.35
3600.02/3609.70	c learned average constraint degree 30567349021.30
3600.02/3609.70	c watched  CF 32, 64, 128, Arb: 138470 , 0 , 0 , 0
3600.02/3609.70	c counting CF 32, 64, 128, Arb: 239885 , 0 , 0 , 0
3600.02/3609.70	c watched   constraints 138470 ,( 36.60 ) 
3600.02/3609.70	c counting  constraints 239884 ,( 63.40 ) 
3600.02/3609.70	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2719673 , 2087730 , 529122171 ,( 115681572 , 413440599 )
3600.02/3609.70	c gcd simplifications 2714
3600.02/3609.70	c detected cardinalities 2
3600.02/3609.70	c weakened non-implied lits 585895703
3600.02/3609.70	c weakened non-implying lits 1067281
3600.02/3609.70	c original variables 45696
3600.02/3609.70	c clausal propagations 773147
3600.02/3609.70	c cardinality propagations 31333252
3600.02/3609.70	c watched propagations 1416369
3600.02/3609.70	c counting propagations 112020069
3600.02/3609.70	c watch lookups 41339612037
3600.02/3609.70	c watch backjump lookups 0
3600.02/3609.70	c watch checks 145353156542
3600.02/3609.70	c propagation checks 173992681943
3600.02/3609.70	c constraint additions 6868333515
3600.02/3609.70	c trail pops 179932733
3600.02/3609.70	c formula constraints 1555
3600.02/3609.70	c learned constraints 381007
3600.02/3609.70	c bound constraints 0
3600.02/3609.70	c core-guided constraints 0
3600.02/3609.70	c encountered formula constraints 1122360
3600.02/3609.70	c encountered learned constraints 718508
3600.02/3609.70	c encountered bound constraints 0
3600.02/3609.70	c encountered core-guided constraints 0
3600.02/3609.70	c LP total time 551.323 s
3600.02/3609.70	c LP solve time 352.86 s
3600.02/3609.70	c LP constraints added 2469
3600.02/3609.70	c LP constraints removed 895
3600.02/3609.70	c LP pivots internal 382332
3600.02/3609.70	c LP pivots root 182050
3600.02/3609.70	c LP calls 15940
3600.02/3609.70	c LP optimalities 14458
3600.02/3609.70	c LP no pivot count 6648
3600.02/3609.70	c LP infeasibilities 1474
3600.02/3609.70	c LP valid Farkas constraints 1465
3600.02/3609.70	c LP learned Farkas constraints 1316
3600.02/3609.70	c LP basis resets 11
3600.02/3609.70	c LP cycling count 0
3600.02/3609.70	c LP singular count 2
3600.02/3609.70	c LP no primal count 0
3600.02/3609.70	c LP no farkas count 9
3600.02/3609.70	c LP other issue count 0
3600.02/3609.70	c LP Gomory cuts 905
3600.02/3609.70	c LP learned cuts 9
3600.02/3609.70	c LP deleted cuts 895
3600.02/3609.70	c LP encountered Gomory constraints 51
3600.02/3609.70	c LP encountered Farkas constraints 108059
3600.02/3609.70	c LP encountered learned Farkas constraints 7761
3600.02/3609.70	c CG auxiliary variables introduced 1
3600.02/3609.70	c CG solutions found 0
3600.02/3609.70	c CG cores constructed 0
3600.02/3609.70	c CG core cardinality constraints returned 0
3600.02/3609.70	c CG unit cores 0
3600.02/3609.70	c CG single cores 0
3600.02/3609.70	c CG blocks removed during cardinality reduction 0
3600.02/3609.70	c CG first core best 0
3600.02/3609.70	c CG decision core best 0
3600.02/3609.70	c CG core reduction tie 0
3600.02/3609.70	c CG core degree average 0.00
3600.02/3609.70	c CG core slack average 0.00
3600.02/3609.70	c CG core upper bound improvements 0
3600.02/3609.70	c STR number of successful calls 0
3600.02/3609.70	c STR number of unsuccessful calls 0
3600.02/3609.70	c STR number of inconclusive calls 0
3600.02/3609.70	c STR number of successful attempts 0
3600.02/3609.70	c STR number of unsuccessful attempts 0
3600.02/3609.70	c STR number of inconclusive attempts 0
3600.02/3609.70	c STR average degree increase per successful call inf
3600.02/3609.70	c STR average degree increase per successful attempt inf
3600.02/3609.70	c STR total number of conflicts for successful attempts 0
3600.02/3609.70	c STR total number of conflicts for unsuccessful attempts 0
3600.02/3609.70	c STR total number of conflicts for inconclusive attempts 0
3600.02/3609.70	c STR average number of conflicts per successful attempt inf
3600.02/3609.70	c STR average number of conflicts per unsuccessful attempt inf
3600.02/3609.70	c STR average number of conflicts per inconclusive attempt inf
3600.02/3609.70	c AVG.sumWPerc 51.21 
3600.02/3609.70	c bigint constraints 0 
3600.02/3609.70	s UNKNOWN
3600.02/3609.70	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: 63665 MiB (62682 MiB free)
  memory of node 1: 64507 MiB (63875 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=79882, runsolver pid=79876

[startup+0.100063 s]*
/proc/loadavg: 4.10 4.12 4.09 5/271 79890
/proc/meminfo: memFree=129561528/131250000 swapFree=33010416/33010684
[pid=79882] ppid=79876 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/79882/stat : 79882 (run-opt-log.sh) S 79876 79882 79423 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67865287 4292608 736 18446744073709551615 94216843128832 94216844023365 140730793502416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94216844262416 94216844310160 94216858247168 140730793507105 140730793507300 140730793507300 140730793512902 0
/proc/79882/statm: 1048 736 672 219 0 110 0
[pid=79884] ppid=79882 vsize=76916 memory=33244 CPUtime=0.06 cores=1,3
/proc/79884/stat : 79884 (roundingsat) R 79882 79882 79423 0 -1 4194304 4840 0 0 0 6 0 0 0 20 0 1 0 67865288 78761984 8311 18446744073709551615 4227072 8923433 140732305879456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30601216 140732305885522 140732305885736 140732305885736 140732305891306 0
/proc/79884/statm: 19229 8311 2240 1147 0 6656 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 81108 KiB
Current children cumulated memory: 36188 KiB

[startup+0.205479 s]*
/proc/loadavg: 4.10 4.12 4.09 5/271 79890
/proc/meminfo: memFree=129398392/131250000 swapFree=33010416/33010684
[pid=79882] ppid=79876 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/79882/stat : 79882 (run-opt-log.sh) S 79876 79882 79423 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67865287 4292608 736 18446744073709551615 94216843128832 94216844023365 140730793502416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94216844262416 94216844310160 94216858247168 140730793507105 140730793507300 140730793507300 140730793512902 0
/proc/79882/statm: 1048 736 672 219 0 110 0
[pid=79884] ppid=79882 vsize=120260 memory=62640 CPUtime=0.18 cores=1,3
/proc/79884/stat : 79884 (roundingsat) R 79882 79882 79423 0 -1 4194304 15581 0 0 0 12 6 0 0 20 0 1 0 67865288 123146240 15660 18446744073709551615 4227072 8923433 140732305879456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30601216 140732305885522 140732305885736 140732305885736 140732305891306 0
/proc/79884/statm: 30065 15660 2368 1147 0 17492 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 124452 KiB
Current children cumulated memory: 65584 KiB

[startup+0.305854 s]*
/proc/loadavg: 4.10 4.12 4.09 5/271 79890
/proc/meminfo: memFree=129326004/131250000 swapFree=33010416/33010684
[pid=79882] ppid=79876 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/79882/stat : 79882 (run-opt-log.sh) S 79876 79882 79423 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67865287 4292608 736 18446744073709551615 94216843128832 94216844023365 140730793502416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94216844262416 94216844310160 94216858247168 140730793507105 140730793507300 140730793507300 140730793512902 0
/proc/79882/statm: 1048 736 672 219 0 110 0
[pid=79884] ppid=79882 vsize=123868 memory=66224 CPUtime=0.27 cores=1,3
/proc/79884/stat : 79884 (roundingsat) R 79882 79882 79423 0 -1 4194304 16478 0 0 0 21 6 0 0 20 0 1 0 67865288 126840832 16556 18446744073709551615 4227072 8923433 140732305879456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30601216 140732305885522 140732305885736 140732305885736 140732305891306 0
/proc/79884/statm: 30967 16556 2368 1147 0 18394 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 128060 KiB
Current children cumulated memory: 69168 KiB

[startup+0.700146 s]
/proc/loadavg: 4.10 4.12 4.09 5/271 79890
/proc/meminfo: memFree=129301812/131250000 swapFree=33010416/33010684
[pid=79882] ppid=79876 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/79882/stat : 79882 (run-opt-log.sh) S 79876 79882 79423 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67865287 4292608 736 18446744073709551615 94216843128832 94216844023365 140730793502416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94216844262416 94216844310160 94216858247168 140730793507105 140730793507300 140730793507300 140730793512902 0
/proc/79882/statm: 1048 736 672 219 0 110 0
[pid=79884] ppid=79882 vsize=124064 memory=66352 CPUtime=0.66 cores=1,3
/proc/79884/stat : 79884 (roundingsat) R 79882 79882 79423 0 -1 4194304 16514 0 0 0 60 6 0 0 20 0 1 0 67865288 127041536 16588 18446744073709551615 4227072 8923433 140732305879456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30601216 140732305885522 140732305885736 140732305885736 140732305891306 0
/proc/79884/statm: 31016 16588 2368 1147 0 18443 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 128256 KiB
Current children cumulated memory: 69296 KiB

[startup+1.50013 s]
/proc/loadavg: 4.10 4.12 4.09 5/271 79890
/proc/meminfo: memFree=129227392/131250000 swapFree=33010416/33010684
[pid=79882] ppid=79876 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/79882/stat : 79882 (run-opt-log.sh) S 79876 79882 79423 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67865287 4292608 736 18446744073709551615 94216843128832 94216844023365 140730793502416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94216844262416 94216844310160 94216858247168 140730793507105 140730793507300 140730793507300 140730793512902 0
/proc/79882/statm: 1048 736 672 219 0 110 0
[pid=79884] ppid=79882 vsize=124064 memory=66352 CPUtime=1.45 cores=1,3
/proc/79884/stat : 79884 (roundingsat) R 79882 79882 79423 0 -1 4194304 16519 0 0 0 139 6 0 0 20 0 1 0 67865288 127041536 16588 18446744073709551615 4227072 8923433 140732305879456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30601216 140732305885522 140732305885736 140732305885736 140732305891306 0
/proc/79884/statm: 31016 16588 2368 1147 0 18443 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 128256 KiB
Current children cumulated memory: 69296 KiB

[startup+3.10536 s]
/proc/loadavg: 4.09 4.12 4.09 5/271 79890
/proc/meminfo: memFree=129058692/131250000 swapFree=33010416/33010684
[pid=79882] ppid=79876 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/79882/stat : 79882 (run-opt-log.sh) S 79876 79882 79423 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67865287 4292608 736 18446744073709551615 94216843128832 94216844023365 140730793502416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94216844262416 94216844310160 94216858247168 140730793507105 140730793507300 140730793507300 140730793512902 0
/proc/79882/statm: 1048 736 672 219 0 110 0
[pid=79884] ppid=79882 vsize=153204 memory=88840 CPUtime=3.06 cores=1,3
/proc/79884/stat : 79884 (roundingsat) R 79882 79882 79423 0 -1 4194304 19536 0 0 0 291 15 0 0 20 0 1 0 67865288 156880896 22210 18446744073709551615 4227072 8923433 140732305879456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30601216 140732305885522 140732305885736 140732305885736 140732305891306 0
/proc/79884/statm: 38301 22210 2400 1147 0 25728 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 157396 KiB
Current children cumulated memory: 91784 KiB

[startup+6.30018 s]
/proc/loadavg: 4.09 4.12 4.09 5/271 79890
/proc/meminfo: memFree=128766924/131250000 swapFree=33010416/33010684
[pid=79882] ppid=79876 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/79882/stat : 79882 (run-opt-log.sh) S 79876 79882 79423 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67865287 4292608 736 18446744073709551615 94216843128832 94216844023365 140730793502416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94216844262416 94216844310160 94216858247168 140730793507105 140730793507300 140730793507300 140730793512902 0
/proc/79882/statm: 1048 736 672 219 0 110 0
[pid=79884] ppid=79882 vsize=206496 memory=145860 CPUtime=6.24 cores=1,3
/proc/79884/stat : 79884 (roundingsat) R 79882 79882 79423 0 -1 4194304 21527 0 0 0 604 20 0 0 20 0 1 0 67865288 211451904 36465 18446744073709551615 4227072 8923433 140732305879456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30601216 140732305885522 140732305885736 140732305885736 140732305891306 0
/proc/79884/statm: 51624 36465 2400 1147 0 39051 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 210688 KiB
Current children cumulated memory: 148804 KiB

[startup+12.7001 s]
/proc/loadavg: 4.08 4.12 4.09 5/271 79890
/proc/meminfo: memFree=128236812/131250000 swapFree=33010416/33010684
[pid=79882] ppid=79876 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/79882/stat : 79882 (run-opt-log.sh) S 79876 79882 79423 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67865287 4292608 736 18446744073709551615 94216843128832 94216844023365 140730793502416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94216844262416 94216844310160 94216858247168 140730793507105 140730793507300 140730793507300 140730793512902 0
/proc/79882/statm: 1048 736 672 219 0 110 0
[pid=79884] ppid=79882 vsize=275672 memory=198440 CPUtime=12.63 cores=1,3
/proc/79884/stat : 79884 (roundingsat) R 79882 79882 79423 0 -1 4194304 26538 0 0 0 1232 31 0 0 20 0 1 0 67865288 282288128 49610 18446744073709551615 4227072 8923433 140732305879456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30601216 140732305885522 140732305885736 140732305885736 140732305891306 0
/proc/79884/statm: 68918 49610 2400 1147 0 56345 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 279864 KiB
Current children cumulated memory: 201384 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.13 4.09 5/271 79891
/proc/meminfo: memFree=127129304/131250000 swapFree=33010416/33010684
[pid=79882] ppid=79876 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/79882/stat : 79882 (run-opt-log.sh) S 79876 79882 79423 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67865287 4292608 736 18446744073709551615 94216843128832 94216844023365 140730793502416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94216844262416 94216844310160 94216858247168 140730793507105 140730793507300 140730793507300 140730793512902 0
/proc/79882/statm: 1048 736 672 219 0 110 0
[pid=79884] ppid=79882 vsize=549680 memory=460176 CPUtime=25.4 cores=1,3
/proc/79884/stat : 79884 (roundingsat) R 79882 79882 79423 0 -1 4194304 87169 0 0 0 2464 76 0 0 20 0 1 0 67865288 562872320 115044 18446744073709551615 4227072 8923433 140732305879456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30601216 140732305885522 140732305885736 140732305885736 140732305891306 0
/proc/79884/statm: 137420 115044 2400 1147 0 124847 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 553872 KiB
Current children cumulated memory: 463120 KiB

[startup+51.1055 s]
/proc/loadavg: 4.16 4.13 4.09 5/269 79891
/proc/meminfo: memFree=125086640/131250000 swapFree=33010416/33010684
[pid=79882] ppid=79876 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/79882/stat : 79882 (run-opt-log.sh) S 79876 79882 79423 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67865287 4292608 736 18446744073709551615 94216843128832 94216844023365 140730793502416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94216844262416 94216844310160 94216858247168 140730793507105 140730793507300 140730793507300 140730793512902 0
/proc/79882/statm: 1048 736 672 219 0 110 0
[pid=79884] ppid=79882 vsize=926780 memory=848124 CPUtime=50.94 cores=1,3
/proc/79884/stat : 79884 (roundingsat) R 79882 79882 79423 0 -1 4194304 160119 0 0 0 4971 123 0 0 20 0 1 0 67865288 949022720 212031 18446744073709551615 4227072 8923433 140732305879456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30601216 140732305885522 140732305885736 140732305885736 140732305891306 0
/proc/79884/statm: 231695 212031 2400 1147 0 219122 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 930972 KiB
Current children cumulated memory: 851068 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/271 79895
/proc/meminfo: memFree=120928384/131250000 swapFree=33010416/33010684
[pid=79882] ppid=79876 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/79882/stat : 79882 (run-opt-log.sh) S 79876 79882 79423 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67865287 4292608 736 18446744073709551615 94216843128832 94216844023365 140730793502416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94216844262416 94216844310160 94216858247168 140730793507105 140730793507300 140730793507300 140730793512902 0
/proc/79882/statm: 1048 736 672 219 0 110 0
[pid=79884] ppid=79882 vsize=1767492 memory=1539008 CPUtime=102 cores=1,3
/proc/79884/stat : 79884 (roundingsat) R 79882 79882 79423 0 -1 4194304 319582 0 0 0 9967 233 0 0 20 0 1 0 67865288 1809911808 384752 18446744073709551615 4227072 8923433 140732305879456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30601216 140732305885522 140732305885736 140732305885736 140732305891306 0
/proc/79884/statm: 441873 384752 2400 1147 0 429300 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1771684 KiB
Current children cumulated memory: 1541952 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/271 79897
/proc/meminfo: memFree=116828704/131250000 swapFree=33010416/33010684
[pid=79882] ppid=79876 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/79882/stat : 79882 (run-opt-log.sh) S 79876 79882 79423 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67865287 4292608 736 18446744073709551615 94216843128832 94216844023365 140730793502416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94216844262416 94216844310160 94216858247168 140730793507105 140730793507300 140730793507300 140730793512902 0
/proc/79882/statm: 1048 736 672 219 0 110 0
[pid=79884] ppid=79882 vsize=2379196 memory=2034724 CPUtime=161.84 cores=1,3
/proc/79884/stat : 79884 (roundingsat) R 79882 79882 79423 0 -1 4194304 418296 0 0 0 15868 316 0 0 20 0 1 0 67865288 2436296704 508681 18446744073709551615 4227072 8923433 140732305879456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30601216 140732305885522 140732305885736 140732305885736 140732305891306 0
/proc/79884/statm: 594799 508681 2400 1147 0 582226 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 2383388 KiB
Current children cumulated memory: 2037668 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/272 79902
/proc/meminfo: memFree=112179132/131250000 swapFree=33010416/33010684
[pid=79882] ppid=79876 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/79882/stat : 79882 (run-opt-log.sh) S 79876 79882 79423 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67865287 4292608 736 18446744073709551615 94216843128832 94216844023365 140730793502416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94216844262416 94216844310160 94216858247168 140730793507105 140730793507300 140730793507300 140730793512902 0
/proc/79882/statm: 1048 736 672 219 0 110 0
[pid=79884] ppid=79882 vsize=2797788 memory=2557812 CPUtime=221.69 cores=1,3
/proc/79884/stat : 79884 (roundingsat) R 79882 79882 79423 0 -1 4194304 521992 0 0 0 21753 416 0 0 20 0 1 0 67865288 2864934912 639453 18446744073709551615 4227072 8923433 140732305879456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30601216 140732305885522 140732305885736 140732305885736 140732305891306 0
/proc/79884/statm: 699447 639453 2400 1147 0 686874 0

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

/proc/loadavg: 4.13 4.10 4.09 5/274 80074
/proc/meminfo: memFree=1320624/131250000 swapFree=33010416/33010684
[pid=79882] ppid=79876 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/79882/stat : 79882 (run-opt-log.sh) S 79876 79882 79423 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67865287 4292608 736 18446744073709551615 94216843128832 94216844023365 140730793502416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94216844262416 94216844310160 94216858247168 140730793507105 140730793507300 140730793507300 140730793512902 0
/proc/79882/statm: 1048 736 672 219 0 110 0
[pid=79884] ppid=79882 vsize=9445232 memory=8044504 CPUtime=3153.85 cores=1,3
/proc/79884/stat : 79884 (roundingsat) R 79882 79882 79423 0 -1 4194304 2226437 0 0 0 311159 4226 0 0 20 0 1 0 67865288 9671917568 2011126 18446744073709551615 4227072 8923433 140732305879456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30601216 140732305885522 140732305885736 140732305885736 140732305891306 0
/proc/79884/statm: 2361308 2011126 2496 1147 0 2348735 0
Current children cumulated CPU time: 3153.85 s
Current children cumulated vsize: 9449424 KiB
Current children cumulated memory: 8047448 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/275 80079
/proc/meminfo: memFree=1373596/131250000 swapFree=33010416/33010684
[pid=79882] ppid=79876 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/79882/stat : 79882 (run-opt-log.sh) S 79876 79882 79423 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67865287 4292608 736 18446744073709551615 94216843128832 94216844023365 140730793502416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94216844262416 94216844310160 94216858247168 140730793507105 140730793507300 140730793507300 140730793512902 0
/proc/79882/statm: 1048 736 672 219 0 110 0
[pid=79884] ppid=79882 vsize=9445232 memory=8054232 CPUtime=3213.69 cores=1,3
/proc/79884/stat : 79884 (roundingsat) R 79882 79882 79423 0 -1 4194304 2261880 0 0 0 317076 4293 0 0 20 0 1 0 67865288 9671917568 2013558 18446744073709551615 4227072 8923433 140732305879456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30601216 140732305885522 140732305885736 140732305885736 140732305891306 0
/proc/79884/statm: 2361308 2013558 2496 1147 0 2348735 0
Current children cumulated CPU time: 3213.69 s
Current children cumulated vsize: 9449424 KiB
Current children cumulated memory: 8057176 KiB

[startup+3282.3 s]
/proc/loadavg: 4.31 4.16 4.11 5/276 80087
/proc/meminfo: memFree=1267996/131250000 swapFree=33010416/33010684
[pid=79882] ppid=79876 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/79882/stat : 79882 (run-opt-log.sh) S 79876 79882 79423 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67865287 4292608 736 18446744073709551615 94216843128832 94216844023365 140730793502416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94216844262416 94216844310160 94216858247168 140730793507105 140730793507300 140730793507300 140730793512902 0
/proc/79882/statm: 1048 736 672 219 0 110 0
[pid=79884] ppid=79882 vsize=9968024 memory=8448472 CPUtime=3273.53 cores=1,3
/proc/79884/stat : 79884 (roundingsat) R 79882 79882 79423 0 -1 4194304 2460198 0 0 0 322951 4402 0 0 20 0 1 0 67865288 10207256576 2112118 18446744073709551615 4227072 8923433 140732305879456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30601216 140732305885522 140732305885736 140732305885736 140732305891306 0
/proc/79884/statm: 2492006 2112118 2496 1147 0 2479433 0
Current children cumulated CPU time: 3273.53 s
Current children cumulated vsize: 9972216 KiB
Current children cumulated memory: 8451416 KiB

[startup+3342.3 s]
/proc/loadavg: 4.35 4.21 4.13 5/276 80089
/proc/meminfo: memFree=1296584/131250000 swapFree=33010416/33010684
[pid=79882] ppid=79876 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/79882/stat : 79882 (run-opt-log.sh) S 79876 79882 79423 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67865287 4292608 736 18446744073709551615 94216843128832 94216844023365 140730793502416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94216844262416 94216844310160 94216858247168 140730793507105 140730793507300 140730793507300 140730793512902 0
/proc/79882/statm: 1048 736 672 219 0 110 0
[pid=79884] ppid=79882 vsize=10036376 memory=8525272 CPUtime=3333.36 cores=1,3
/proc/79884/stat : 79884 (roundingsat) R 79882 79882 79423 0 -1 4194304 2529642 0 0 0 328830 4506 0 0 20 0 1 0 67865288 10277249024 2131318 18446744073709551615 4227072 8923433 140732305879456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30601216 140732305885522 140732305885736 140732305885736 140732305891306 0
/proc/79884/statm: 2509094 2131318 2496 1147 0 2496521 0
Current children cumulated CPU time: 3333.36 s
Current children cumulated vsize: 10040568 KiB
Current children cumulated memory: 8528216 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.19 4.13 5/275 80091
/proc/meminfo: memFree=1451932/131250000 swapFree=33010416/33010684
[pid=79882] ppid=79876 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/79882/stat : 79882 (run-opt-log.sh) S 79876 79882 79423 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67865287 4292608 736 18446744073709551615 94216843128832 94216844023365 140730793502416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94216844262416 94216844310160 94216858247168 140730793507105 140730793507300 140730793507300 140730793512902 0
/proc/79882/statm: 1048 736 672 219 0 110 0
[pid=79884] ppid=79882 vsize=10036376 memory=8525528 CPUtime=3393.2 cores=1,3
/proc/79884/stat : 79884 (roundingsat) R 79882 79882 79423 0 -1 4194304 2555305 0 0 0 334726 4594 0 0 20 0 1 0 67865288 10277249024 2131382 18446744073709551615 4227072 8923433 140732305879456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30601216 140732305885522 140732305885736 140732305885736 140732305891306 0
/proc/79884/statm: 2509094 2131382 2496 1147 0 2496521 0
Current children cumulated CPU time: 3393.2 s
Current children cumulated vsize: 10040568 KiB
Current children cumulated memory: 8528472 KiB

[startup+3462.3 s]
/proc/loadavg: 4.46 4.25 4.15 5/275 80092
/proc/meminfo: memFree=1376348/131250000 swapFree=33010416/33010684
[pid=79882] ppid=79876 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/79882/stat : 79882 (run-opt-log.sh) S 79876 79882 79423 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67865287 4292608 736 18446744073709551615 94216843128832 94216844023365 140730793502416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94216844262416 94216844310160 94216858247168 140730793507105 140730793507300 140730793507300 140730793512902 0
/proc/79882/statm: 1048 736 672 219 0 110 0
[pid=79884] ppid=79882 vsize=10037224 memory=8530392 CPUtime=3453.03 cores=1,3
/proc/79884/stat : 79884 (roundingsat) R 79882 79882 79423 0 -1 4194304 2592166 0 0 0 340638 4665 0 0 20 0 1 0 67865288 10278117376 2132598 18446744073709551615 4227072 8923433 140732305879456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30601216 140732305885522 140732305885736 140732305885736 140732305891306 0
/proc/79884/statm: 2509306 2132598 2496 1147 0 2496733 0
Current children cumulated CPU time: 3453.03 s
Current children cumulated vsize: 10041416 KiB
Current children cumulated memory: 8533336 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.22 4.14 5/275 80095
/proc/meminfo: memFree=1450492/131250000 swapFree=33010416/33010684
[pid=79882] ppid=79876 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/79882/stat : 79882 (run-opt-log.sh) S 79876 79882 79423 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67865287 4292608 736 18446744073709551615 94216843128832 94216844023365 140730793502416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94216844262416 94216844310160 94216858247168 140730793507105 140730793507300 140730793507300 140730793512902 0
/proc/79882/statm: 1048 736 672 219 0 110 0
[pid=79884] ppid=79882 vsize=10037224 memory=8530904 CPUtime=3512.87 cores=1,3
/proc/79884/stat : 79884 (roundingsat) R 79882 79882 79423 0 -1 4194304 2618073 0 0 0 346555 4732 0 0 20 0 1 0 67865288 10278117376 2132726 18446744073709551615 4227072 8923433 140732305879456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30601216 140732305885522 140732305885736 140732305885736 140732305891306 0
/proc/79884/statm: 2509306 2132726 2496 1147 0 2496733 0
Current children cumulated CPU time: 3512.87 s
Current children cumulated vsize: 10041416 KiB
Current children cumulated memory: 8533848 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.20 4.14 5/275 80097
/proc/meminfo: memFree=1317220/131250000 swapFree=33010416/33010684
[pid=79882] ppid=79876 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/79882/stat : 79882 (run-opt-log.sh) S 79876 79882 79423 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67865287 4292608 736 18446744073709551615 94216843128832 94216844023365 140730793502416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94216844262416 94216844310160 94216858247168 140730793507105 140730793507300 140730793507300 140730793512902 0
/proc/79882/statm: 1048 736 672 219 0 110 0
[pid=79884] ppid=79882 vsize=10104636 memory=8577752 CPUtime=3572.69 cores=1,3
/proc/79884/stat : 79884 (roundingsat) R 79882 79882 79423 0 -1 4194304 2728246 0 0 0 352464 4805 0 0 20 0 1 0 67865288 10347147264 2144438 18446744073709551615 4227072 8923433 140732305879456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30601216 140732305885522 140732305885736 140732305885736 140732305891306 0
/proc/79884/statm: 2526159 2144438 2496 1147 0 2513586 0
Current children cumulated CPU time: 3572.69 s
Current children cumulated vsize: 10108828 KiB
Current children cumulated memory: 8580696 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.12 4.18 4.14 5/274 80100
/proc/meminfo: memFree=1424592/131250000 swapFree=33010416/33010684
[pid=79882] ppid=79876 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/79882/stat : 79882 (run-opt-log.sh) S 79876 79882 79423 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67865287 4292608 736 18446744073709551615 94216843128832 94216844023365 140730793502416 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94216844262416 94216844310160 94216858247168 140730793507105 140730793507300 140730793507300 140730793512902 0
/proc/79882/statm: 1048 736 672 219 0 110 0
[pid=79884] ppid=79882 vsize=10109984 memory=8602660 CPUtime=3600.02 cores=1,3
/proc/79884/stat : 79884 (roundingsat) R 79882 79882 79423 0 -1 4194304 2770664 0 0 0 355159 4843 0 0 20 0 1 0 67865288 10352623616 2150665 18446744073709551615 4227072 8923433 140732305879456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30601216 140732305885522 140732305885736 140732305885736 140732305891306 0
/proc/79884/statm: 2527496 2150665 2496 1147 0 2514923 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 10114176 KiB
Current children cumulated memory: 8605604 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=0.000453 s, system=0.001817 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3551.63 s, system=48.8142 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 s]*
/proc/loadavg: 4.12 4.18 4.14 5/272 80100
/proc/meminfo: memFree=15174520/131250000 swapFree=33010416/33010684
[pid=79884] ppid=79876 vsize=8555308 memory=6426772 CPUtime=3600.16 cores=1,3
/proc/79884/stat : 79884 (roundingsat) R 79876 79882 79423 0 -1 4194304 2770804 0 2 0 355162 4854 0 0 20 0 1 0 67865288 8760635392 1606693 18446744073709551615 4227072 8923433 140732305879456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 30601216 140732305885522 140732305885736 140732305885736 140732305891306 0
/proc/79884/statm: 2138827 1606693 2528 1147 0 2126254 0
Current cumulated CPU time of completed processes: 0.00227 s
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 8555308 KiB
Current children cumulated memory: 6426772 KiB

[startup+3610.21 s]
/proc/loadavg: 4.12 4.18 4.14 5/272 80100
/proc/meminfo: memFree=20620844/131250000 swapFree=33010416/33010684
Current cumulated CPU time of completed processes: 0.00227 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): 3610.28
CPU time (s): 3600.44
CPU user time (s): 3551.63
CPU system time (s): 48.8142
CPU usage (%): 99.7276
Max. virtual memory (cumulated for all children) (KiB): 10114176
Max. memory (cumulated for all children) (KiB): 8605604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3551.63
system time used= 48.8142
maximum resident set size= 8602788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2771030
page faults= 2
swaps= 0
block input operations= 3528
block output operations= 77635808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4884
involuntary context switches= 8127


# summary of solver processes directly reported to runsolver:
#   pid: 79882,79884
#   total CPU time (s): 3600.44
#   total CPU user time (s): 3551.63
#   total CPU system time (s): 48.8142

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.25912 second user time and 16.6133 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-03 07:51:14
IDJOB=4509333
IDBENCH=158611
IDSOLVER=3351
FILE ID=nodeC018/4509333-1751521874
RUNJOBID= nodeC018-1751518261-79435
SLURM_JOB_ID= 9598637
Free space on /tmp= 432904 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm99p-opt.opb.negationfix.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509333-1751521874/watcher-4509333-1751521874 -o /tmp/evaluation-result-4509333-1751521874/solver-4509333-1751521874 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751518261-79435 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4509333-1751521874.opb PROOFDIR/proof-4509333-1751521874

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

MD5SUM BENCH= 1d8b9a75b06fe10625c514168771d7f4
RANDOM SEED=1434517627

nodeC018 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.838
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.66
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		: 3518.969
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.66
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		: 3598.560
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.66
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		: 3599.892
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.66
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		: 3600.090
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.66
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		: 3599.826
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.66
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.606
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.66
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		: 3599.843
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129602068 kB
MemAvailable:   129561772 kB
Buffers:            2128 kB
Cached:           724788 kB
SwapCached:           32 kB
Active:           660132 kB
Inactive:         307956 kB
Active(anon):     258932 kB
Inactive(anon):      288 kB
Active(file):     401200 kB
Inactive(file):   307668 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             40260 kB
Writeback:             0 kB
AnonPages:        244296 kB
Mapped:           111660 kB
Shmem:             18044 kB
KReclaimable:     179752 kB
Slab:             270728 kB
SReclaimable:     179752 kB
SUnreclaim:        90976 kB
KernelStack:        4256 kB
PageTables:         3180 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     561960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432888 MiB
End job on nodeC018 at 2025-07-03 08:51:25