Trace number 4509332

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.35 3609.54

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.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.00/0.09	c #variables 45696 #constraints 1555
0.00/0.09	c objective is ce32 
0.00/0.09	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.09	c initial counting CF 32, 64, 128, Arb: 129 , 0 , 0 , 0
0.00/0.09	c GLOBAL bounds - >= 0 @ 0.065155
0.08/0.14	c GLOBAL bounds - >= 0 @ 0.082072
0.08/0.14	c GLOBAL bounds - >= 64 @ 0.082072
11.84/11.90	c #Conflicts:       1000 | #Constraints:       2554
11.84/11.90	c #Conflicts:       2000 | #Constraints:       3554
11.84/11.90	c INPROCESSING
11.84/11.90	c GARBAGE COLLECT
11.84/11.90	c rational objective 64
12.65/12.74	c GLOBAL bounds - >= 64 @ 12.4224
15.84/15.98	c #Conflicts:       3000 | #Constraints:       3583
15.84/15.98	c #Conflicts:       4000 | #Constraints:       4583
15.84/15.98	c INPROCESSING
15.84/15.98	c GARBAGE COLLECT
15.84/15.98	c rational objective 64
17.73/17.87	c GLOBAL bounds - >= 64 @ 17.3792
17.73/17.87	c GLOBAL bounds - >= 64 @ 17.3792
24.93/25.05	c #Conflicts:       5000 | #Constraints:       3998
24.93/25.05	c #Conflicts:       6000 | #Constraints:       4998
24.93/25.05	c INPROCESSING
24.93/25.05	c GARBAGE COLLECT
24.93/25.05	c GLOBAL bounds - >= 64 @ 24.3938
24.93/25.05	c GLOBAL bounds - >= 64 @ 24.3938
46.67/46.87	c #Conflicts:       7000 | #Constraints:       3995
46.67/46.87	c #Conflicts:       8000 | #Constraints:       4996
46.67/46.87	c #Conflicts:       9000 | #Constraints:       5997
46.67/46.87	c INPROCESSING
46.67/46.87	c GARBAGE COLLECT
46.67/46.87	c GLOBAL bounds - >= 64 @ 45.7337
46.67/46.87	c GLOBAL bounds - >= 64 @ 45.7338
68.42/68.65	c #Conflicts:      10000 | #Constraints:       4691
68.42/68.65	c #Conflicts:      11000 | #Constraints:       5692
68.42/68.65	c #Conflicts:      12000 | #Constraints:       6692
68.42/68.65	c INPROCESSING
68.42/68.65	c GARBAGE COLLECT
68.42/68.65	c rational objective 64
69.72/69.97	c GLOBAL bounds - >= 64 @ 68.3488
69.72/69.97	c GLOBAL bounds - >= 64 @ 68.3488
89.68/89.94	c #Conflicts:      13000 | #Constraints:       5178
89.68/89.94	c #Conflicts:      14000 | #Constraints:       6188
89.68/89.94	c #Conflicts:      15000 | #Constraints:       7192
89.68/89.94	c INPROCESSING
89.68/89.94	c GARBAGE COLLECT
89.68/89.94	c GLOBAL bounds - >= 64 @ 88.0678
89.68/89.94	c GLOBAL bounds - >= 64 @ 88.0679
118.71/119.01	c #Conflicts:      16000 | #Constraints:       5393
118.71/119.01	c #Conflicts:      17000 | #Constraints:       6394
118.71/119.01	c #Conflicts:      18000 | #Constraints:       7396
118.71/119.01	c INPROCESSING
118.71/119.01	c GARBAGE COLLECT
118.71/119.01	c rational objective 64
120.10/120.46	c GLOBAL bounds - >= 64 @ 118.231
120.10/120.46	c GLOBAL bounds - >= 64 @ 118.231
170.58/171.07	c #Conflicts:      19000 | #Constraints:       5423
170.58/171.07	c #Conflicts:      20000 | #Constraints:       6424
170.58/171.07	c #Conflicts:      21000 | #Constraints:       7426
170.58/171.07	c INPROCESSING
170.58/171.07	c GARBAGE COLLECT
170.58/171.07	c rational objective 64
172.17/172.63	c GLOBAL bounds - >= 64 @ 169.763
172.17/172.63	c GLOBAL bounds - >= 64 @ 169.763
190.42/190.92	c #Conflicts:      22000 | #Constraints:       5228
190.42/190.92	c #Conflicts:      23000 | #Constraints:       6234
190.42/190.92	c #Conflicts:      24000 | #Constraints:       7234
190.42/190.92	c #Conflicts:      25000 | #Constraints:       8236
190.42/190.92	c INPROCESSING
190.42/190.92	c GARBAGE COLLECT
190.42/190.92	c rational objective 64
191.52/192.10	c GLOBAL bounds - >= 64 @ 188.962
191.52/192.10	c GLOBAL bounds - >= 64 @ 188.962
226.34/226.96	c #Conflicts:      26000 | #Constraints:       5826
226.34/226.96	c #Conflicts:      27000 | #Constraints:       6830
226.34/226.96	c #Conflicts:      28000 | #Constraints:       7835
226.34/226.96	c #Conflicts:      29000 | #Constraints:       8838
226.34/226.96	c INPROCESSING
226.34/226.96	c GARBAGE COLLECT
226.34/226.96	c rational objective 64
227.73/228.30	c GLOBAL bounds - >= 64 @ 224.683
227.73/228.31	c GLOBAL bounds - >= 64 @ 224.683
267.04/267.71	c #Conflicts:      30000 | #Constraints:       6223
267.04/267.71	c #Conflicts:      31000 | #Constraints:       7225
267.04/267.71	c #Conflicts:      32000 | #Constraints:       8225
267.04/267.71	c #Conflicts:      33000 | #Constraints:       9227
267.04/267.71	c INPROCESSING
267.04/267.71	c GARBAGE COLLECT
267.04/267.71	c rational objective 64
268.44/269.14	c GLOBAL bounds - >= 64 @ 264.857
268.44/269.14	c GLOBAL bounds - >= 64 @ 264.857
302.36/303.15	c #Conflicts:      34000 | #Constraints:       6427
302.36/303.15	c #Conflicts:      35000 | #Constraints:       7429
302.36/303.15	c #Conflicts:      36000 | #Constraints:       8430
302.36/303.15	c #Conflicts:      37000 | #Constraints:       9432
302.36/303.15	c INPROCESSING
302.36/303.15	c GARBAGE COLLECT
302.36/303.15	c rational objective 64
303.85/304.62	c GLOBAL bounds - >= 64 @ 300.126
303.85/304.62	c GLOBAL bounds - >= 64 @ 300.126
336.28/337.19	c #Conflicts:      38000 | #Constraints:       6431
336.28/337.19	c #Conflicts:      39000 | #Constraints:       7433
336.28/337.19	c #Conflicts:      40000 | #Constraints:       8439
336.28/337.19	c #Conflicts:      41000 | #Constraints:       9441
336.28/337.19	c INPROCESSING
336.28/337.19	c GARBAGE COLLECT
336.28/337.19	c rational objective 64
337.37/338.23	c GLOBAL bounds - >= 64 @ 333.438
337.37/338.23	c GLOBAL bounds - >= 64 @ 333.438
373.48/374.47	c #Conflicts:      42000 | #Constraints:       6246
373.48/374.47	c #Conflicts:      43000 | #Constraints:       7266
373.48/374.47	c #Conflicts:      44000 | #Constraints:       8272
373.48/374.47	c #Conflicts:      45000 | #Constraints:       9284
373.48/374.47	c #Conflicts:      46000 | #Constraints:      10296
373.48/374.47	c INPROCESSING
373.48/374.47	c GARBAGE COLLECT
373.48/374.47	c rational objective 64
375.38/376.38	c GLOBAL bounds - >= 64 @ 371.181
375.38/376.38	c GLOBAL bounds - >= 64 @ 371.181
401.42/402.49	c #Conflicts:      47000 | #Constraints:       6863
401.42/402.49	c #Conflicts:      48000 | #Constraints:       7885
401.42/402.49	c #Conflicts:      49000 | #Constraints:       8887
401.42/402.49	c #Conflicts:      50000 | #Constraints:       9894
401.42/402.49	c #Conflicts:      51000 | #Constraints:      10894
401.42/402.49	c INPROCESSING
401.42/402.49	c GARBAGE COLLECT
401.42/402.49	c rational objective 64
402.92/403.95	c GLOBAL bounds - >= 64 @ 398.406
402.92/403.95	c GLOBAL bounds - >= 64 @ 398.406
444.52/445.67	c #Conflicts:      52000 | #Constraints:       7268
444.52/445.67	c #Conflicts:      53000 | #Constraints:       8272
444.52/445.67	c #Conflicts:      54000 | #Constraints:       9279
444.52/445.67	c #Conflicts:      55000 | #Constraints:      10287
444.52/445.67	c #Conflicts:      56000 | #Constraints:      11287
444.52/445.67	c INPROCESSING
444.52/445.67	c GARBAGE COLLECT
444.52/445.67	c rational objective 64
446.12/447.22	c GLOBAL bounds - >= 64 @ 441.235
446.12/447.22	c GLOBAL bounds - >= 64 @ 441.235
462.57/463.79	c #Conflicts:      57000 | #Constraints:       7447
462.57/463.79	c #Conflicts:      58000 | #Constraints:       8447
462.57/463.79	c #Conflicts:      59000 | #Constraints:       9447
462.57/463.79	c #Conflicts:      60000 | #Constraints:      10447
462.57/463.79	c #Conflicts:      61000 | #Constraints:      11448
462.57/463.79	c INPROCESSING
462.57/463.79	c GARBAGE COLLECT
462.57/463.79	c rational objective 64
463.87/465.01	c GLOBAL bounds - >= 64 @ 458.765
463.87/465.01	c GLOBAL bounds - >= 64 @ 458.765
492.70/493.98	c #Conflicts:      62000 | #Constraints:       7459
492.70/493.98	c #Conflicts:      63000 | #Constraints:       8459
492.70/493.98	c #Conflicts:      64000 | #Constraints:       9459
492.70/493.98	c #Conflicts:      65000 | #Constraints:      10459
492.70/493.98	c #Conflicts:      66000 | #Constraints:      11462
492.70/493.98	c INPROCESSING
492.70/493.98	c GARBAGE COLLECT
492.70/493.98	c rational objective 64
493.90/495.11	c GLOBAL bounds - >= 64 @ 488.543
493.90/495.11	c GLOBAL bounds - >= 64 @ 488.543
522.83/524.17	c #Conflicts:      67000 | #Constraints:       7249
522.83/524.17	c #Conflicts:      68000 | #Constraints:       8271
522.83/524.17	c #Conflicts:      69000 | #Constraints:       9299
522.83/524.17	c #Conflicts:      70000 | #Constraints:      10305
522.83/524.17	c #Conflicts:      71000 | #Constraints:      11307
522.83/524.17	c #Conflicts:      72000 | #Constraints:      12311
522.83/524.17	c INPROCESSING
522.83/524.17	c GARBAGE COLLECT
522.83/524.17	c rational objective 64
525.62/526.90	c GLOBAL bounds - >= 64 @ 519.957
525.62/526.90	c GLOBAL bounds - >= 64 @ 519.957
549.07/550.48	c #Conflicts:      73000 | #Constraints:       7857
549.07/550.48	c #Conflicts:      74000 | #Constraints:       8857
549.07/550.48	c #Conflicts:      75000 | #Constraints:       9857
549.07/550.48	c #Conflicts:      76000 | #Constraints:      10857
549.07/550.48	c #Conflicts:      77000 | #Constraints:      11857
549.07/550.48	c #Conflicts:      78000 | #Constraints:      12858
549.07/550.48	c INPROCESSING
549.07/550.48	c GARBAGE COLLECT
549.07/550.48	c rational objective 64
550.96/552.30	c GLOBAL bounds - >= 64 @ 544.998
550.96/552.30	c GLOBAL bounds - >= 64 @ 544.998
589.17/590.67	c #Conflicts:      79000 | #Constraints:       8242
589.17/590.67	c #Conflicts:      80000 | #Constraints:       9246
589.17/590.67	c #Conflicts:      81000 | #Constraints:      10247
589.17/590.67	c #Conflicts:      82000 | #Constraints:      11248
589.17/590.67	c #Conflicts:      83000 | #Constraints:      12248
589.17/590.67	c #Conflicts:      84000 | #Constraints:      13248
589.17/590.67	c INPROCESSING
589.17/590.67	c GARBAGE COLLECT
589.17/590.67	c rational objective 64
590.17/591.68	c GLOBAL bounds - >= 64 @ 584.025
590.17/591.68	c GLOBAL bounds - >= 64 @ 584.025
629.08/630.62	c #Conflicts:      85000 | #Constraints:       8435
629.08/630.62	c #Conflicts:      86000 | #Constraints:       9435
629.08/630.62	c #Conflicts:      87000 | #Constraints:      10435
629.08/630.62	c #Conflicts:      88000 | #Constraints:      11435
629.08/630.62	c #Conflicts:      89000 | #Constraints:      12435
629.08/630.62	c #Conflicts:      90000 | #Constraints:      13435
629.08/630.62	c INPROCESSING
629.08/630.62	c GARBAGE COLLECT
629.08/630.62	c rational objective 64
633.66/635.24	c GLOBAL bounds - >= 64 @ 627.281
633.66/635.24	c GLOBAL bounds - >= 64 @ 627.281
652.42/654.03	c #Conflicts:      91000 | #Constraints:       8417
652.42/654.03	c #Conflicts:      92000 | #Constraints:       9417
652.42/654.03	c #Conflicts:      93000 | #Constraints:      10417
652.42/654.03	c #Conflicts:      94000 | #Constraints:      11417
652.42/654.03	c #Conflicts:      95000 | #Constraints:      12417
652.42/654.03	c #Conflicts:      96000 | #Constraints:      13417
652.42/654.03	c INPROCESSING
652.42/654.03	c GARBAGE COLLECT
652.42/654.03	c rational objective 64
654.12/655.72	c GLOBAL bounds - >= 64 @ 647.587
654.12/655.72	c GLOBAL bounds - >= 64 @ 647.587
688.74/690.46	c #Conflicts:      97000 | #Constraints:       8219
688.74/690.46	c #Conflicts:      98000 | #Constraints:       9219
688.74/690.46	c #Conflicts:      99000 | #Constraints:      10219
688.74/690.46	c #Conflicts:     100000 | #Constraints:      11219
688.74/690.46	c #Conflicts:     101000 | #Constraints:      12223
688.74/690.46	c #Conflicts:     102000 | #Constraints:      13251
688.74/690.46	c #Conflicts:     103000 | #Constraints:      14256
688.74/690.46	c INPROCESSING
688.74/690.46	c GARBAGE COLLECT
688.74/690.46	c rational objective 64
692.93/694.62	c GLOBAL bounds - >= 64 @ 686.182
692.93/694.62	c GLOBAL bounds - >= 64 @ 686.182
707.49/709.25	c #Conflicts:     104000 | #Constraints:       8828
707.49/709.25	c #Conflicts:     105000 | #Constraints:       9828
707.49/709.25	c #Conflicts:     106000 | #Constraints:      10828
707.49/709.25	c #Conflicts:     107000 | #Constraints:      11828
707.49/709.25	c #Conflicts:     108000 | #Constraints:      12828
707.49/709.25	c #Conflicts:     109000 | #Constraints:      13828
707.49/709.25	c #Conflicts:     110000 | #Constraints:      14828
707.49/709.25	c INPROCESSING
707.49/709.25	c GARBAGE COLLECT
707.49/709.25	c rational objective 64
709.39/711.12	c GLOBAL bounds - >= 64 @ 702.269
709.39/711.12	c GLOBAL bounds - >= 64 @ 702.269
734.53/736.34	c #Conflicts:     111000 | #Constraints:       9227
734.53/736.34	c #Conflicts:     112000 | #Constraints:      10227
734.53/736.34	c #Conflicts:     113000 | #Constraints:      11227
734.53/736.34	c #Conflicts:     114000 | #Constraints:      12229
734.53/736.34	c #Conflicts:     115000 | #Constraints:      13231
734.53/736.34	c #Conflicts:     116000 | #Constraints:      14235
734.53/736.34	c #Conflicts:     117000 | #Constraints:      15237
734.53/736.34	c INPROCESSING
734.53/736.34	c GARBAGE COLLECT
734.53/736.34	c rational objective 64
736.02/737.83	c GLOBAL bounds - >= 64 @ 728.475
736.02/737.83	c GLOBAL bounds - >= 64 @ 728.475
857.62/859.77	c #Conflicts:     118000 | #Constraints:       9440
857.62/859.77	c #Conflicts:     119000 | #Constraints:      10443
857.62/859.77	c #Conflicts:     120000 | #Constraints:      11448
857.62/859.77	c #Conflicts:     121000 | #Constraints:      12448
857.62/859.77	c #Conflicts:     122000 | #Constraints:      13465
857.62/859.77	c #Conflicts:     123000 | #Constraints:      14481
857.62/859.77	c #Conflicts:     124000 | #Constraints:      15488
857.62/859.77	c INPROCESSING
857.62/859.77	c GARBAGE COLLECT
857.62/859.77	c rational objective 64
859.81/861.92	c GLOBAL bounds - >= 64 @ 851.258
859.81/861.92	c GLOBAL bounds - >= 64 @ 851.258
933.54/935.86	c #Conflicts:     125000 | #Constraints:       9450
933.54/935.86	c #Conflicts:     126000 | #Constraints:      10454
933.54/935.86	c #Conflicts:     127000 | #Constraints:      11460
933.54/935.86	c #Conflicts:     128000 | #Constraints:      12463
933.54/935.86	c #Conflicts:     129000 | #Constraints:      13465
933.54/935.86	c #Conflicts:     130000 | #Constraints:      14472
933.54/935.86	c #Conflicts:     131000 | #Constraints:      15473
933.54/935.86	c INPROCESSING
933.54/935.86	c GARBAGE COLLECT
933.54/935.86	c rational objective 64
935.13/937.44	c GLOBAL bounds - >= 64 @ 926.019
935.13/937.44	c GLOBAL bounds - >= 64 @ 926.019
988.50/990.92	c #Conflicts:     132000 | #Constraints:       9253
988.50/990.92	c #Conflicts:     133000 | #Constraints:      10254
988.50/990.92	c #Conflicts:     134000 | #Constraints:      11255
988.50/990.92	c #Conflicts:     135000 | #Constraints:      12256
988.50/990.92	c #Conflicts:     136000 | #Constraints:      13256
988.50/990.92	c #Conflicts:     137000 | #Constraints:      14263
988.50/990.92	c #Conflicts:     138000 | #Constraints:      15280
988.50/990.92	c #Conflicts:     139000 | #Constraints:      16291
988.50/990.92	c INPROCESSING
988.50/990.92	c GARBAGE COLLECT
988.50/990.92	c rational objective 64
989.40/991.81	c GLOBAL bounds - >= 64 @ 979.894
989.40/991.81	c GLOBAL bounds - >= 64 @ 979.894
1036.18/1038.74	c #Conflicts:     140000 | #Constraints:       9859
1036.18/1038.74	c #Conflicts:     141000 | #Constraints:      10859
1036.18/1038.74	c #Conflicts:     142000 | #Constraints:      11859
1036.18/1038.74	c #Conflicts:     143000 | #Constraints:      12859
1036.18/1038.74	c #Conflicts:     144000 | #Constraints:      13859
1036.18/1038.74	c #Conflicts:     145000 | #Constraints:      14859
1036.18/1038.74	c #Conflicts:     146000 | #Constraints:      15859
1036.18/1038.74	c #Conflicts:     147000 | #Constraints:      16859
1036.18/1038.74	c INPROCESSING
1036.18/1038.74	c GARBAGE COLLECT
1036.18/1038.74	c rational objective 64
1040.08/1042.61	c GLOBAL bounds - >= 64 @ 1030.33
1040.08/1042.61	c GLOBAL bounds - >= 64 @ 1030.33
1068.60/1071.23	c #Conflicts:     148000 | #Constraints:      10252
1068.60/1071.23	c #Conflicts:     149000 | #Constraints:      11252
1068.60/1071.23	c #Conflicts:     150000 | #Constraints:      12252
1068.60/1071.23	c #Conflicts:     151000 | #Constraints:      13252
1068.60/1071.23	c #Conflicts:     152000 | #Constraints:      14252
1068.60/1071.23	c #Conflicts:     153000 | #Constraints:      15252
1068.60/1071.23	c #Conflicts:     154000 | #Constraints:      16252
1068.60/1071.23	c #Conflicts:     155000 | #Constraints:      17252
1068.60/1071.23	c INPROCESSING
1068.60/1071.23	c GARBAGE COLLECT
1068.60/1071.23	c rational objective 64
1070.20/1072.82	c GLOBAL bounds - >= 64 @ 1059.98
1070.20/1072.82	c GLOBAL bounds - >= 64 @ 1059.98
1134.54/1137.30	c #Conflicts:     156000 | #Constraints:      10435
1134.54/1137.30	c #Conflicts:     157000 | #Constraints:      11436
1134.54/1137.30	c #Conflicts:     158000 | #Constraints:      12436
1134.54/1137.30	c #Conflicts:     159000 | #Constraints:      13455
1134.54/1137.30	c #Conflicts:     160000 | #Constraints:      14463
1134.54/1137.30	c #Conflicts:     161000 | #Constraints:      15465
1134.54/1137.30	c #Conflicts:     162000 | #Constraints:      16474
1134.54/1137.30	c #Conflicts:     163000 | #Constraints:      17480
1134.54/1137.30	c INPROCESSING
1134.54/1137.30	c GARBAGE COLLECT
1134.54/1137.30	c rational objective 64
1136.13/1138.98	c GLOBAL bounds - >= 64 @ 1125.42
1136.13/1138.98	c GLOBAL bounds - >= 64 @ 1125.42
1165.97/1168.83	c #Conflicts:     164000 | #Constraints:      10448
1165.97/1168.83	c #Conflicts:     165000 | #Constraints:      11462
1165.97/1168.83	c #Conflicts:     166000 | #Constraints:      12462
1165.97/1168.83	c #Conflicts:     167000 | #Constraints:      13462
1165.97/1168.83	c #Conflicts:     168000 | #Constraints:      14462
1165.97/1168.83	c #Conflicts:     169000 | #Constraints:      15462
1165.97/1168.83	c #Conflicts:     170000 | #Constraints:      16462
1165.97/1168.83	c #Conflicts:     171000 | #Constraints:      17462
1165.97/1168.83	c INPROCESSING
1165.97/1168.83	c GARBAGE COLLECT
1165.97/1168.83	c rational objective 64
1167.17/1170.07	c GLOBAL bounds - >= 64 @ 1155.95
1167.17/1170.07	c GLOBAL bounds - >= 64 @ 1155.95
1195.60/1198.57	c #Conflicts:     172000 | #Constraints:      10249
1195.60/1198.57	c #Conflicts:     173000 | #Constraints:      11249
1195.60/1198.57	c #Conflicts:     174000 | #Constraints:      12249
1195.60/1198.57	c #Conflicts:     175000 | #Constraints:      13249
1195.60/1198.57	c #Conflicts:     176000 | #Constraints:      14249
1195.60/1198.57	c #Conflicts:     177000 | #Constraints:      15249
1195.60/1198.57	c #Conflicts:     178000 | #Constraints:      16249
1195.60/1198.57	c #Conflicts:     179000 | #Constraints:      17249
1195.60/1198.57	c #Conflicts:     180000 | #Constraints:      18250
1195.60/1198.57	c INPROCESSING
1195.60/1198.57	c GARBAGE COLLECT
1195.60/1198.57	c rational objective 64
1197.20/1200.12	c GLOBAL bounds - >= 64 @ 1185.43
1197.20/1200.12	c GLOBAL bounds - >= 64 @ 1185.43
1312.10/1315.30	c #Conflicts:     181000 | #Constraints:      10838
1312.10/1315.30	c #Conflicts:     182000 | #Constraints:      11839
1312.10/1315.30	c #Conflicts:     183000 | #Constraints:      12840
1312.10/1315.30	c #Conflicts:     184000 | #Constraints:      13842
1312.10/1315.30	c #Conflicts:     185000 | #Constraints:      14855
1312.10/1315.30	c #Conflicts:     186000 | #Constraints:      15859
1312.10/1315.30	c #Conflicts:     187000 | #Constraints:      16863
1312.10/1315.30	c #Conflicts:     188000 | #Constraints:      17871
1312.10/1315.30	c #Conflicts:     189000 | #Constraints:      18882
1312.10/1315.30	c INPROCESSING
1312.10/1315.30	c GARBAGE COLLECT
1312.10/1315.30	c rational objective 64
1313.20/1316.47	c GLOBAL bounds - >= 64 @ 1301.24
1313.20/1316.47	c GLOBAL bounds - >= 64 @ 1301.24
1425.02/1428.54	c #Conflicts:     190000 | #Constraints:      11264
1425.02/1428.54	c #Conflicts:     191000 | #Constraints:      12264
1425.02/1428.54	c #Conflicts:     192000 | #Constraints:      13264
1425.02/1428.54	c #Conflicts:     193000 | #Constraints:      14264
1425.02/1428.54	c #Conflicts:     194000 | #Constraints:      15264
1425.02/1428.54	c #Conflicts:     195000 | #Constraints:      16264
1425.02/1428.54	c #Conflicts:     196000 | #Constraints:      17264
1425.02/1428.54	c #Conflicts:     197000 | #Constraints:      18264
1425.02/1428.54	c #Conflicts:     198000 | #Constraints:      19264
1425.02/1428.54	c INPROCESSING
1425.02/1428.54	c GARBAGE COLLECT
1425.02/1428.54	c rational objective 64
1426.42/1429.95	c GLOBAL bounds - >= 64 @ 1414.23
1426.42/1429.95	c GLOBAL bounds - >= 64 @ 1414.23
1496.34/1500.02	c #Conflicts:     199000 | #Constraints:      11507
1496.34/1500.02	c #Conflicts:     200000 | #Constraints:      12508
1496.34/1500.02	c #Conflicts:     201000 | #Constraints:      13512
1496.34/1500.02	c #Conflicts:     202000 | #Constraints:      14519
1496.34/1500.02	c #Conflicts:     203000 | #Constraints:      15525
1496.34/1500.02	c #Conflicts:     204000 | #Constraints:      16530
1496.34/1500.02	c #Conflicts:     205000 | #Constraints:      17547
1496.34/1500.02	c #Conflicts:     206000 | #Constraints:      18559
1496.34/1500.02	c #Conflicts:     207000 | #Constraints:      19559
1496.34/1500.02	c INPROCESSING
1496.34/1500.02	c GARBAGE COLLECT
1496.34/1500.02	c rational objective 64
1497.34/1501.06	c GLOBAL bounds - >= 64 @ 1484.87
1497.34/1501.06	c GLOBAL bounds - >= 64 @ 1484.87
1540.92/1544.77	c #Conflicts:     208000 | #Constraints:      11494
1540.92/1544.77	c #Conflicts:     209000 | #Constraints:      12499
1540.92/1544.77	c #Conflicts:     210000 | #Constraints:      13524
1540.92/1544.77	c #Conflicts:     211000 | #Constraints:      14551
1540.92/1544.77	c #Conflicts:     212000 | #Constraints:      15559
1540.92/1544.77	c #Conflicts:     213000 | #Constraints:      16585
1540.92/1544.77	c #Conflicts:     214000 | #Constraints:      17591
1540.92/1544.77	c #Conflicts:     215000 | #Constraints:      18592
1540.92/1544.77	c #Conflicts:     216000 | #Constraints:      19592
1540.92/1544.77	c INPROCESSING
1540.92/1544.77	c GARBAGE COLLECT
1540.92/1544.77	c rational objective 64
1541.92/1545.79	c GLOBAL bounds - >= 64 @ 1529.37
1541.92/1545.79	c GLOBAL bounds - >= 64 @ 1529.37
1598.59/1602.54	c #Conflicts:     217000 | #Constraints:      11320
1598.59/1602.54	c #Conflicts:     218000 | #Constraints:      12320
1598.59/1602.54	c #Conflicts:     219000 | #Constraints:      13320
1598.59/1602.54	c #Conflicts:     220000 | #Constraints:      14320
1598.59/1602.54	c #Conflicts:     221000 | #Constraints:      15320
1598.59/1602.54	c #Conflicts:     222000 | #Constraints:      16320
1598.59/1602.54	c #Conflicts:     223000 | #Constraints:      17320
1598.59/1602.54	c #Conflicts:     224000 | #Constraints:      18320
1598.59/1602.54	c #Conflicts:     225000 | #Constraints:      19320
1598.59/1602.54	c #Conflicts:     226000 | #Constraints:      20320
1598.59/1602.54	c INPROCESSING
1598.59/1602.54	c GARBAGE COLLECT
1598.59/1602.54	c rational objective 64
1601.78/1605.70	c GLOBAL bounds - >= 64 @ 1588.9
1601.78/1605.70	c GLOBAL bounds - >= 64 @ 1588.9
1633.11/1637.16	c #Conflicts:     227000 | #Constraints:      11863
1633.11/1637.16	c #Conflicts:     228000 | #Constraints:      12863
1633.11/1637.16	c #Conflicts:     229000 | #Constraints:      13863
1633.11/1637.16	c #Conflicts:     230000 | #Constraints:      14863
1633.11/1637.16	c #Conflicts:     231000 | #Constraints:      15863
1633.11/1637.16	c #Conflicts:     232000 | #Constraints:      16863
1633.11/1637.16	c #Conflicts:     233000 | #Constraints:      17863
1633.11/1637.16	c #Conflicts:     234000 | #Constraints:      18863
1633.11/1637.16	c #Conflicts:     235000 | #Constraints:      19863
1633.11/1637.16	c #Conflicts:     236000 | #Constraints:      20863
1633.11/1637.16	c INPROCESSING
1633.11/1637.16	c GARBAGE COLLECT
1633.11/1637.16	c rational objective 64
1635.11/1639.17	c GLOBAL bounds - >= 64 @ 1621.88
1635.11/1639.17	c GLOBAL bounds - >= 64 @ 1621.88
1656.45/1660.57	c #Conflicts:     237000 | #Constraints:      12234
1656.45/1660.57	c #Conflicts:     238000 | #Constraints:      13234
1656.45/1660.57	c #Conflicts:     239000 | #Constraints:      14234
1656.45/1660.57	c #Conflicts:     240000 | #Constraints:      15234
1656.45/1660.57	c #Conflicts:     241000 | #Constraints:      16234
1656.45/1660.57	c #Conflicts:     242000 | #Constraints:      17234
1656.45/1660.57	c #Conflicts:     243000 | #Constraints:      18234
1656.45/1660.57	c #Conflicts:     244000 | #Constraints:      19234
1656.45/1660.57	c #Conflicts:     245000 | #Constraints:      20234
1656.45/1660.57	c #Conflicts:     246000 | #Constraints:      21234
1656.45/1660.57	c INPROCESSING
1656.45/1660.57	c GARBAGE COLLECT
1656.45/1660.57	c rational objective 64
1660.34/1664.41	c GLOBAL bounds - >= 64 @ 1646.64
1660.34/1664.41	c GLOBAL bounds - >= 64 @ 1646.64
1682.29/1686.40	c #Conflicts:     247000 | #Constraints:      12414
1682.29/1686.40	c #Conflicts:     248000 | #Constraints:      13414
1682.29/1686.40	c #Conflicts:     249000 | #Constraints:      14414
1682.29/1686.40	c #Conflicts:     250000 | #Constraints:      15414
1682.29/1686.40	c #Conflicts:     251000 | #Constraints:      16414
1682.29/1686.40	c #Conflicts:     252000 | #Constraints:      17414
1682.29/1686.40	c #Conflicts:     253000 | #Constraints:      18414
1682.29/1686.40	c #Conflicts:     254000 | #Constraints:      19414
1682.29/1686.40	c #Conflicts:     255000 | #Constraints:      20415
1682.29/1686.40	c #Conflicts:     256000 | #Constraints:      21417
1682.29/1686.40	c INPROCESSING
1682.29/1686.40	c GARBAGE COLLECT
1682.29/1686.40	c rational objective 64
1684.18/1688.35	c GLOBAL bounds - >= 64 @ 1670.1
1684.18/1688.35	c GLOBAL bounds - >= 64 @ 1670.1
1766.37/1770.79	c #Conflicts:     257000 | #Constraints:      12429
1766.37/1770.79	c #Conflicts:     258000 | #Constraints:      13433
1766.37/1770.79	c #Conflicts:     259000 | #Constraints:      14434
1766.37/1770.79	c #Conflicts:     260000 | #Constraints:      15436
1766.37/1770.79	c #Conflicts:     261000 | #Constraints:      16447
1766.37/1770.79	c #Conflicts:     262000 | #Constraints:      17456
1766.37/1770.79	c #Conflicts:     263000 | #Constraints:      18466
1766.37/1770.79	c #Conflicts:     264000 | #Constraints:      19476
1766.37/1770.79	c #Conflicts:     265000 | #Constraints:      20503
1766.37/1770.79	c #Conflicts:     266000 | #Constraints:      21506
1766.37/1770.79	c INPROCESSING
1766.37/1770.79	c GARBAGE COLLECT
1766.37/1770.79	c rational objective 64
1767.77/1772.12	c GLOBAL bounds - >= 64 @ 1752.94
1767.77/1772.12	c GLOBAL bounds - >= 64 @ 1752.94
1833.21/1837.79	c #Conflicts:     267000 | #Constraints:      12286
1833.21/1837.79	c #Conflicts:     268000 | #Constraints:      13295
1833.21/1837.79	c #Conflicts:     269000 | #Constraints:      14310
1833.21/1837.79	c #Conflicts:     270000 | #Constraints:      15329
1833.21/1837.79	c #Conflicts:     271000 | #Constraints:      16337
1833.21/1837.79	c #Conflicts:     272000 | #Constraints:      17348
1833.21/1837.79	c #Conflicts:     273000 | #Constraints:      18348
1833.21/1837.79	c #Conflicts:     274000 | #Constraints:      19348
1833.21/1837.79	c #Conflicts:     275000 | #Constraints:      20352
1833.21/1837.79	c #Conflicts:     276000 | #Constraints:      21366
1833.21/1837.79	c #Conflicts:     277000 | #Constraints:      22368
1833.21/1837.79	c INPROCESSING
1833.21/1837.79	c GARBAGE COLLECT
1833.21/1837.79	c rational objective 64
1835.00/1839.56	c GLOBAL bounds - >= 64 @ 1819.82
1835.00/1839.56	c GLOBAL bounds - >= 64 @ 1819.82
1912.11/1916.87	c #Conflicts:     278000 | #Constraints:      12896
1912.11/1916.87	c #Conflicts:     279000 | #Constraints:      13898
1912.11/1916.87	c #Conflicts:     280000 | #Constraints:      14899
1912.11/1916.87	c #Conflicts:     281000 | #Constraints:      15899
1912.11/1916.87	c #Conflicts:     282000 | #Constraints:      16899
1912.11/1916.87	c #Conflicts:     283000 | #Constraints:      17900
1912.11/1916.87	c #Conflicts:     284000 | #Constraints:      18900
1912.11/1916.87	c #Conflicts:     285000 | #Constraints:      19901
1912.11/1916.87	c #Conflicts:     286000 | #Constraints:      20902
1912.11/1916.87	c #Conflicts:     287000 | #Constraints:      21902
1912.11/1916.87	c #Conflicts:     288000 | #Constraints:      22902
1912.11/1916.87	c INPROCESSING
1912.11/1916.87	c GARBAGE COLLECT
1912.11/1916.87	c rational objective 64
1913.41/1918.14	c GLOBAL bounds - >= 64 @ 1897.51
1913.41/1918.14	c GLOBAL bounds - >= 64 @ 1897.51
2063.82/2068.94	c #Conflicts:     289000 | #Constraints:      13261
2063.82/2068.94	c #Conflicts:     290000 | #Constraints:      14263
2063.82/2068.94	c #Conflicts:     291000 | #Constraints:      15277
2063.82/2068.94	c #Conflicts:     292000 | #Constraints:      16283
2063.82/2068.94	c #Conflicts:     293000 | #Constraints:      17297
2063.82/2068.94	c #Conflicts:     294000 | #Constraints:      18299
2063.82/2068.94	c #Conflicts:     295000 | #Constraints:      19309
2063.82/2068.94	c #Conflicts:     296000 | #Constraints:      20319
2063.82/2068.94	c #Conflicts:     297000 | #Constraints:      21324
2063.82/2068.94	c #Conflicts:     298000 | #Constraints:      22335
2063.82/2068.94	c #Conflicts:     299000 | #Constraints:      23346
2063.82/2068.94	c INPROCESSING
2063.82/2068.94	c GARBAGE COLLECT
2063.82/2068.94	c rational objective 64
2065.43/2070.54	c GLOBAL bounds - >= 64 @ 2048.58
2065.43/2070.54	c GLOBAL bounds - >= 64 @ 2048.58
2199.78/2205.28	c #Conflicts:     300000 | #Constraints:      13485
2199.78/2205.28	c #Conflicts:     301000 | #Constraints:      14486
2199.78/2205.28	c #Conflicts:     302000 | #Constraints:      15487
2199.78/2205.28	c #Conflicts:     303000 | #Constraints:      16487
2199.78/2205.28	c #Conflicts:     304000 | #Constraints:      17487
2199.78/2205.28	c #Conflicts:     305000 | #Constraints:      18488
2199.78/2205.28	c #Conflicts:     306000 | #Constraints:      19490
2199.78/2205.28	c #Conflicts:     307000 | #Constraints:      20491
2199.78/2205.28	c #Conflicts:     308000 | #Constraints:      21492
2199.78/2205.28	c #Conflicts:     309000 | #Constraints:      22492
2199.78/2205.28	c #Conflicts:     310000 | #Constraints:      23492
2199.78/2205.28	c INPROCESSING
2199.78/2205.28	c GARBAGE COLLECT
2199.78/2205.28	c rational objective 64
2200.98/2206.49	c GLOBAL bounds - >= 64 @ 2183.24
2200.98/2206.49	c GLOBAL bounds - >= 64 @ 2183.24
2296.44/2302.19	c #Conflicts:     311000 | #Constraints:      13467
2296.44/2302.19	c #Conflicts:     312000 | #Constraints:      14468
2296.44/2302.19	c #Conflicts:     313000 | #Constraints:      15475
2296.44/2302.19	c #Conflicts:     314000 | #Constraints:      16489
2296.44/2302.19	c #Conflicts:     315000 | #Constraints:      17507
2296.44/2302.19	c #Conflicts:     316000 | #Constraints:      18527
2296.44/2302.19	c #Conflicts:     317000 | #Constraints:      19536
2296.44/2302.19	c #Conflicts:     318000 | #Constraints:      20542
2296.44/2302.19	c #Conflicts:     319000 | #Constraints:      21547
2296.44/2302.19	c #Conflicts:     320000 | #Constraints:      22561
2296.44/2302.19	c #Conflicts:     321000 | #Constraints:      23585
2296.44/2302.19	c INPROCESSING
2296.44/2302.19	c GARBAGE COLLECT
2296.44/2302.19	c rational objective 64
2297.73/2303.43	c GLOBAL bounds - >= 64 @ 2279.65
2297.73/2303.43	c GLOBAL bounds - >= 64 @ 2279.65
2571.39/2577.80	c #Conflicts:     322000 | #Constraints:      13317
2571.39/2577.80	c #Conflicts:     323000 | #Constraints:      14321
2571.39/2577.80	c #Conflicts:     324000 | #Constraints:      15322
2571.39/2577.80	c #Conflicts:     325000 | #Constraints:      16322
2571.39/2577.80	c #Conflicts:     326000 | #Constraints:      17323
2571.39/2577.80	c #Conflicts:     327000 | #Constraints:      18323
2571.39/2577.80	c #Conflicts:     328000 | #Constraints:      19324
2571.39/2577.80	c #Conflicts:     329000 | #Constraints:      20324
2571.39/2577.80	c #Conflicts:     330000 | #Constraints:      21324
2571.39/2577.80	c #Conflicts:     331000 | #Constraints:      22325
2571.39/2577.80	c #Conflicts:     332000 | #Constraints:      23326
2571.39/2577.80	c #Conflicts:     333000 | #Constraints:      24326
2571.39/2577.80	c INPROCESSING
2571.39/2577.80	c GARBAGE COLLECT
2571.39/2577.80	c rational objective 64
2573.59/2580.06	c GLOBAL bounds - >= 64 @ 2555.01
2573.59/2580.06	c GLOBAL bounds - >= 64 @ 2555.01
2634.64/2641.21	c #Conflicts:     334000 | #Constraints:      13867
2634.64/2641.21	c #Conflicts:     335000 | #Constraints:      14867
2634.64/2641.21	c #Conflicts:     336000 | #Constraints:      15867
2634.64/2641.21	c #Conflicts:     337000 | #Constraints:      16867
2634.64/2641.21	c #Conflicts:     338000 | #Constraints:      17871
2634.64/2641.21	c #Conflicts:     339000 | #Constraints:      18874
2634.64/2641.21	c #Conflicts:     340000 | #Constraints:      19876
2634.64/2641.21	c #Conflicts:     341000 | #Constraints:      20877
2634.64/2641.21	c #Conflicts:     342000 | #Constraints:      21879
2634.64/2641.21	c #Conflicts:     343000 | #Constraints:      22880
2634.64/2641.21	c #Conflicts:     344000 | #Constraints:      23880
2634.64/2641.21	c #Conflicts:     345000 | #Constraints:      24884
2634.64/2641.21	c INPROCESSING
2634.64/2641.21	c GARBAGE COLLECT
2634.64/2641.21	c rational objective 64
2636.23/2642.86	c GLOBAL bounds - >= 64 @ 2616.89
2636.23/2642.86	c GLOBAL bounds - >= 64 @ 2616.89
2789.64/2796.69	c #Conflicts:     346000 | #Constraints:      14253
2789.64/2796.69	c #Conflicts:     347000 | #Constraints:      15256
2789.64/2796.69	c #Conflicts:     348000 | #Constraints:      16260
2789.64/2796.69	c #Conflicts:     349000 | #Constraints:      17266
2789.64/2796.69	c #Conflicts:     350000 | #Constraints:      18277
2789.64/2796.69	c #Conflicts:     351000 | #Constraints:      19284
2789.64/2796.69	c #Conflicts:     352000 | #Constraints:      20284
2789.64/2796.69	c #Conflicts:     353000 | #Constraints:      21291
2789.64/2796.69	c #Conflicts:     354000 | #Constraints:      22298
2789.64/2796.69	c #Conflicts:     355000 | #Constraints:      23325
2789.64/2796.69	c #Conflicts:     356000 | #Constraints:      24338
2789.64/2796.69	c #Conflicts:     357000 | #Constraints:      25359
2789.64/2796.69	c INPROCESSING
2789.64/2796.69	c GARBAGE COLLECT
2789.64/2796.69	c rational objective 64
2790.93/2797.94	c GLOBAL bounds - >= 64 @ 2770.57
2790.93/2797.94	c GLOBAL bounds - >= 64 @ 2770.57
2883.10/2890.37	c #Conflicts:     358000 | #Constraints:      14486
2883.10/2890.37	c #Conflicts:     359000 | #Constraints:      15486
2883.10/2890.37	c #Conflicts:     360000 | #Constraints:      16488
2883.10/2890.37	c #Conflicts:     361000 | #Constraints:      17489
2883.10/2890.37	c #Conflicts:     362000 | #Constraints:      18498
2883.10/2890.37	c #Conflicts:     363000 | #Constraints:      19514
2883.10/2890.37	c #Conflicts:     364000 | #Constraints:      20533
2883.10/2890.37	c #Conflicts:     365000 | #Constraints:      21538
2883.10/2890.37	c #Conflicts:     366000 | #Constraints:      22548
2883.10/2890.37	c #Conflicts:     367000 | #Constraints:      23559
2883.10/2890.37	c #Conflicts:     368000 | #Constraints:      24568
2883.10/2890.37	c #Conflicts:     369000 | #Constraints:      25581
2883.10/2890.37	c INPROCESSING
2883.10/2890.37	c GARBAGE COLLECT
2883.10/2890.37	c rational objective 64
2884.40/2891.69	c GLOBAL bounds - >= 64 @ 2863.34
2884.40/2891.69	c GLOBAL bounds - >= 64 @ 2863.34
3046.09/3053.78	c #Conflicts:     370000 | #Constraints:      14503
3046.09/3053.78	c #Conflicts:     371000 | #Constraints:      15503
3046.09/3053.78	c #Conflicts:     372000 | #Constraints:      16503
3046.09/3053.78	c #Conflicts:     373000 | #Constraints:      17503
3046.09/3053.78	c #Conflicts:     374000 | #Constraints:      18505
3046.09/3053.78	c #Conflicts:     375000 | #Constraints:      19517
3046.09/3053.78	c #Conflicts:     376000 | #Constraints:      20527
3046.09/3053.78	c #Conflicts:     377000 | #Constraints:      21527
3046.09/3053.78	c #Conflicts:     378000 | #Constraints:      22527
3046.09/3053.78	c #Conflicts:     379000 | #Constraints:      23540
3046.09/3053.78	c #Conflicts:     380000 | #Constraints:      24543
3046.09/3053.78	c #Conflicts:     381000 | #Constraints:      25550
3046.09/3053.78	c INPROCESSING
3046.09/3053.78	c GARBAGE COLLECT
3046.09/3053.78	c rational objective 64
3047.39/3055.03	c GLOBAL bounds - >= 64 @ 3025.65
3047.39/3055.03	c GLOBAL bounds - >= 64 @ 3025.65
3212.34/3220.49	c #Conflicts:     382000 | #Constraints:      14300
3212.34/3220.49	c #Conflicts:     383000 | #Constraints:      15315
3212.34/3220.49	c #Conflicts:     384000 | #Constraints:      16322
3212.34/3220.49	c #Conflicts:     385000 | #Constraints:      17323
3212.34/3220.49	c #Conflicts:     386000 | #Constraints:      18324
3212.34/3220.49	c #Conflicts:     387000 | #Constraints:      19324
3212.34/3220.49	c #Conflicts:     388000 | #Constraints:      20327
3212.34/3220.49	c #Conflicts:     389000 | #Constraints:      21331
3212.34/3220.49	c #Conflicts:     390000 | #Constraints:      22334
3212.34/3220.49	c #Conflicts:     391000 | #Constraints:      23337
3212.34/3220.49	c #Conflicts:     392000 | #Constraints:      24342
3212.34/3220.49	c #Conflicts:     393000 | #Constraints:      25345
3212.34/3220.49	c #Conflicts:     394000 | #Constraints:      26346
3212.34/3220.49	c INPROCESSING
3212.34/3220.49	c GARBAGE COLLECT
3212.34/3220.49	c rational objective 64
3213.75/3221.84	c GLOBAL bounds - >= 64 @ 3190.93
3213.75/3221.84	c GLOBAL bounds - >= 64 @ 3190.93
3382.25/3390.84	c #Conflicts:     395000 | #Constraints:      14894
3382.25/3390.84	c #Conflicts:     396000 | #Constraints:      15903
3382.25/3390.84	c #Conflicts:     397000 | #Constraints:      16908
3382.25/3390.84	c #Conflicts:     398000 | #Constraints:      17947
3382.25/3390.84	c #Conflicts:     399000 | #Constraints:      18954
3382.25/3390.84	c #Conflicts:     400000 | #Constraints:      19979
3382.25/3390.84	c #Conflicts:     401000 | #Constraints:      20993
3382.25/3390.84	c #Conflicts:     402000 | #Constraints:      22016
3382.25/3390.84	c #Conflicts:     403000 | #Constraints:      23025
3382.25/3390.84	c #Conflicts:     404000 | #Constraints:      24026
3382.25/3390.84	c #Conflicts:     405000 | #Constraints:      25027
3382.25/3390.84	c #Conflicts:     406000 | #Constraints:      26027
3382.25/3390.84	c #Conflicts:     407000 | #Constraints:      27027
3382.25/3390.84	c INPROCESSING
3382.25/3390.84	c GARBAGE COLLECT
3382.25/3390.84	c rational objective 64
3383.55/3392.19	c GLOBAL bounds - >= 64 @ 3359.68
3383.55/3392.19	c GLOBAL bounds - >= 64 @ 3359.68
3551.75/3560.84	c #Conflicts:     408000 | #Constraints:      15318
3551.75/3560.84	c #Conflicts:     409000 | #Constraints:      16321
3551.75/3560.84	c #Conflicts:     410000 | #Constraints:      17330
3551.75/3560.84	c #Conflicts:     411000 | #Constraints:      18333
3551.75/3560.84	c #Conflicts:     412000 | #Constraints:      19334
3551.75/3560.84	c #Conflicts:     413000 | #Constraints:      20334
3551.75/3560.84	c #Conflicts:     414000 | #Constraints:      21334
3551.75/3560.84	c #Conflicts:     415000 | #Constraints:      22334
3551.75/3560.84	c #Conflicts:     416000 | #Constraints:      23334
3551.75/3560.84	c #Conflicts:     417000 | #Constraints:      24334
3551.75/3560.84	c #Conflicts:     418000 | #Constraints:      25334
3551.75/3560.84	c #Conflicts:     419000 | #Constraints:      26334
3551.75/3560.84	c #Conflicts:     420000 | #Constraints:      27334
3551.75/3560.84	c INPROCESSING
3551.75/3560.84	c GARBAGE COLLECT
3551.75/3560.84	c rational objective 64
3555.33/3564.40	c GLOBAL bounds - >= 64 @ 3530.15
3555.33/3564.40	c GLOBAL bounds - >= 64 @ 3530.15
3600.00/3609.20	c #Conflicts:     421000 | #Constraints:      15472
3600.00/3609.20	c #Conflicts:     422000 | #Constraints:      16472
3600.00/3609.20	c #Conflicts:     423000 | #Constraints:      17472
3600.00/3609.20	c #Conflicts:     424000 | #Constraints:      18472
3600.00/3609.20	c #Conflicts:     425000 | #Constraints:      19472
3600.00/3609.20	c #Conflicts:     426000 | #Constraints:      20472
3600.00/3609.20	c cpu time 3574.64 s
3600.00/3609.20	c deterministic time 426947556173 4.27e+11
3600.00/3609.20	c optimization time 44.5186 s
3600.00/3609.20	c total solve time 3530.06 s
3600.00/3609.20	c core-guided solve time 0 s
3600.00/3609.20	c propagation time 2215.07 s
3600.00/3609.20	c conflict analysis time 909.44 s
3600.00/3609.20	c propagations 193837356
3600.00/3609.20	c resolve steps 1746061
3600.00/3609.20	c decisions 23558974
3600.00/3609.20	c conflicts 426909
3600.00/3609.20	c restarts 1020
3600.00/3609.20	c inprocessing phases 56
3600.00/3609.20	c garbage collections 56 ,( 100.00 )
3600.00/3609.20	c input clauses 713 ,( 45.85 )
3600.00/3609.20	c input cardinalities 714 ,( 45.92 )
3600.00/3609.20	c input general constraints 128 ,( 8.23 )
3600.00/3609.20	c input average constraint length 117.42
3600.00/3609.20	c input average constraint degree 24560.17
3600.00/3609.20	c learned clauses 7246 ,( 1.69 )
3600.00/3609.20	c learned cardinalities 375 ,( 0.09 )
3600.00/3609.20	c learned general constraints 421899 ,( 98.23 )
3600.00/3609.20	c learned average constraint length 7629.68
3600.00/3609.20	c learned average constraint degree 31722242177.49
3600.00/3609.20	c watched  CF 32, 64, 128, Arb: 147343 , 0 , 0 , 0
3600.00/3609.20	c counting CF 32, 64, 128, Arb: 274685 , 0 , 0 , 0
3600.00/3609.20	c watched   constraints 147343 ,( 34.91 ) 
3600.00/3609.20	c counting  constraints 274684 ,( 65.09 ) 
3600.00/3609.20	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2996273 , 2360883 , 622169884 ,( 119481816 , 502688068 )
3600.00/3609.20	c gcd simplifications 2856
3600.00/3609.20	c detected cardinalities 2
3600.00/3609.20	c weakened non-implied lits 682604134
3600.00/3609.20	c weakened non-implying lits 1200566
3600.00/3609.20	c original variables 45696
3600.00/3609.20	c clausal propagations 857533
3600.00/3609.20	c cardinality propagations 37881410
3600.00/3609.20	c watched propagations 1572149
3600.00/3609.20	c counting propagations 138082489
3600.00/3609.20	c watch lookups 59502647905
3600.00/3609.20	c watch backjump lookups 0
3600.00/3609.20	c watch checks 147955411437
3600.00/3609.20	c propagation checks 211224805244
3600.00/3609.20	c constraint additions 7828816283
3600.00/3609.20	c trail pops 217804822
3600.00/3609.20	c formula constraints 1555
3600.00/3609.20	c learned constraints 425403
3600.00/3609.20	c bound constraints 0
3600.00/3609.20	c core-guided constraints 0
3600.00/3609.20	c encountered formula constraints 1247662
3600.00/3609.20	c encountered learned constraints 792070
3600.00/3609.20	c encountered bound constraints 0
3600.00/3609.20	c encountered core-guided constraints 0
3600.00/3609.20	c LP total time 534.236 s
3600.00/3609.20	c LP solve time 414.27 s
3600.00/3609.20	c LP constraints added 2511
3600.00/3609.20	c LP constraints removed 937
3600.00/3609.20	c LP pivots internal 475195
3600.00/3609.20	c LP pivots root 198956
3600.00/3609.20	c LP calls 17247
3600.00/3609.20	c LP optimalities 15575
3600.00/3609.20	c LP no pivot count 7489
3600.00/3609.20	c LP infeasibilities 1663
3600.00/3609.20	c LP valid Farkas constraints 1654
3600.00/3609.20	c LP learned Farkas constraints 1505
3600.00/3609.20	c LP basis resets 11
3600.00/3609.20	c LP cycling count 0
3600.00/3609.20	c LP singular count 2
3600.00/3609.20	c LP no primal count 0
3600.00/3609.20	c LP no farkas count 9
3600.00/3609.20	c LP other issue count 0
3600.00/3609.20	c LP Gomory cuts 958
3600.00/3609.20	c LP learned cuts 9
3600.00/3609.20	c LP deleted cuts 956
3600.00/3609.20	c LP encountered Gomory constraints 51
3600.00/3609.20	c LP encountered Farkas constraints 122979
3600.00/3609.20	c LP encountered learned Farkas constraints 8703
3600.00/3609.20	c CG auxiliary variables introduced 1
3600.00/3609.20	c CG solutions found 0
3600.00/3609.20	c CG cores constructed 0
3600.00/3609.20	c CG core cardinality constraints returned 0
3600.00/3609.20	c CG unit cores 0
3600.00/3609.20	c CG single cores 0
3600.00/3609.20	c CG blocks removed during cardinality reduction 0
3600.00/3609.20	c CG first core best 0
3600.00/3609.20	c CG decision core best 0
3600.00/3609.20	c CG core reduction tie 0
3600.00/3609.20	c CG core degree average 0.00
3600.00/3609.20	c CG core slack average 0.00
3600.00/3609.20	c CG core upper bound improvements 0
3600.00/3609.20	c STR number of successful calls 0
3600.00/3609.20	c STR number of unsuccessful calls 0
3600.00/3609.20	c STR number of inconclusive calls 0
3600.00/3609.20	c STR number of successful attempts 0
3600.00/3609.20	c STR number of unsuccessful attempts 0
3600.00/3609.20	c STR number of inconclusive attempts 0
3600.00/3609.20	c STR average degree increase per successful call inf
3600.00/3609.20	c STR average degree increase per successful attempt inf
3600.00/3609.20	c STR total number of conflicts for successful attempts 0
3600.00/3609.20	c STR total number of conflicts for unsuccessful attempts 0
3600.00/3609.20	c STR total number of conflicts for inconclusive attempts 0
3600.00/3609.20	c STR average number of conflicts per successful attempt inf
3600.00/3609.20	c STR average number of conflicts per unsuccessful attempt inf
3600.00/3609.20	c STR average number of conflicts per inconclusive attempt inf
3600.00/3609.20	c AVG.sumWPerc 52.06 
3600.00/3609.20	c bigint constraints 0 
3600.00/3609.20	s UNKNOWN
3600.00/3609.20	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 (60224 MiB free)
  memory of node 1: 64507 MiB (49838 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509332-1751525050/watcher-4509332-1751525050 -o /tmp/evaluation-result-4509332-1751525050/solver-4509332-1751525050 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751521021-72981 --watchdog 3760 run-opt.sh HOME/instance-4509332-1751525050.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=73485, runsolver pid=73482

[startup+0.10006 s]*
/proc/loadavg: 4.13 4.10 4.08 5/268 73487
/proc/meminfo: memFree=112680948/131249996 swapFree=33010416/33010684
[pid=73485] ppid=73482 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73485/stat : 73485 (run-opt.sh) S 73482 73485 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68184630 4292608 768 18446744073709551615 94834286190592 94834287085125 140729883723376 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834287324176 94834287371920 94834312585216 140729883728237 140729883728360 140729883728360 140729883733962 0
/proc/73485/statm: 1048 768 704 219 0 110 0
[pid=73487] ppid=73485 vsize=89136 memory=41264 CPUtime=0.08 cores=4,6
/proc/73487/stat : 73487 (roundingsat) R 73485 73485 72970 0 -1 4194304 9169 0 0 0 6 2 0 0 20 0 1 0 68184631 91275264 10316 18446744073709551615 4227072 8923433 140732107802576 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 12259328 140732107811234 140732107811368 140732107811368 140732107816938 0
/proc/73487/statm: 22284 10316 2336 1147 0 9711 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 93328 KiB
Current children cumulated memory: 44336 KiB

[startup+0.205812 s]*
/proc/loadavg: 4.20 4.12 4.08 5/268 73487
/proc/meminfo: memFree=112651212/131249996 swapFree=33010416/33010684
[pid=73485] ppid=73482 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73485/stat : 73485 (run-opt.sh) S 73482 73485 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68184630 4292608 768 18446744073709551615 94834286190592 94834287085125 140729883723376 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834287324176 94834287371920 94834312585216 140729883728237 140729883728360 140729883728360 140729883733962 0
/proc/73485/statm: 1048 768 704 219 0 110 0
[pid=73487] ppid=73485 vsize=122400 memory=65256 CPUtime=0.18 cores=4,6
/proc/73487/stat : 73487 (roundingsat) R 73485 73485 72970 0 -1 4194304 16701 0 0 0 13 5 0 0 20 0 1 0 68184631 125337600 16314 18446744073709551615 4227072 8923433 140732107802576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140732107811234 140732107811368 140732107811368 140732107816938 0
/proc/73487/statm: 30600 16314 2368 1147 0 18027 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 126592 KiB
Current children cumulated memory: 68328 KiB

[startup+0.305669 s]*
/proc/loadavg: 4.20 4.12 4.08 5/268 73487
/proc/meminfo: memFree=112651212/131249996 swapFree=33010416/33010684
[pid=73485] ppid=73482 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73485/stat : 73485 (run-opt.sh) S 73482 73485 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68184630 4292608 768 18446744073709551615 94834286190592 94834287085125 140729883723376 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834287324176 94834287371920 94834312585216 140729883728237 140729883728360 140729883728360 140729883733962 0
/proc/73485/statm: 1048 768 704 219 0 110 0
[pid=73487] ppid=73485 vsize=122616 memory=65640 CPUtime=0.28 cores=4,6
/proc/73487/stat : 73487 (roundingsat) R 73485 73485 72970 0 -1 4194304 16774 0 0 0 23 5 0 0 20 0 1 0 68184631 125558784 16410 18446744073709551615 4227072 8923433 140732107802576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140732107811234 140732107811368 140732107811368 140732107816938 0
/proc/73487/statm: 30654 16410 2368 1147 0 18081 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 126808 KiB
Current children cumulated memory: 68712 KiB

[startup+0.700125 s]
/proc/loadavg: 4.20 4.12 4.08 5/268 73487
/proc/meminfo: memFree=112651216/131249996 swapFree=33010416/33010684
[pid=73485] ppid=73482 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73485/stat : 73485 (run-opt.sh) S 73482 73485 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68184630 4292608 768 18446744073709551615 94834286190592 94834287085125 140729883723376 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834287324176 94834287371920 94834312585216 140729883728237 140729883728360 140729883728360 140729883733962 0
/proc/73485/statm: 1048 768 704 219 0 110 0
[pid=73487] ppid=73485 vsize=122812 memory=65640 CPUtime=0.67 cores=4,6
/proc/73487/stat : 73487 (roundingsat) R 73485 73485 72970 0 -1 4194304 16803 0 0 0 62 5 0 0 20 0 1 0 68184631 125759488 16410 18446744073709551615 4227072 8923433 140732107802576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140732107811234 140732107811368 140732107811368 140732107816938 0
/proc/73487/statm: 30703 16410 2368 1147 0 18130 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 127004 KiB
Current children cumulated memory: 68712 KiB

[startup+1.50013 s]
/proc/loadavg: 4.20 4.12 4.08 5/268 73487
/proc/meminfo: memFree=112643168/131249996 swapFree=33010416/33010684
[pid=73485] ppid=73482 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73485/stat : 73485 (run-opt.sh) S 73482 73485 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68184630 4292608 768 18446744073709551615 94834286190592 94834287085125 140729883723376 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834287324176 94834287371920 94834312585216 140729883728237 140729883728360 140729883728360 140729883733962 0
/proc/73485/statm: 1048 768 704 219 0 110 0
[pid=73487] ppid=73485 vsize=122812 memory=65768 CPUtime=1.47 cores=4,6
/proc/73487/stat : 73487 (roundingsat) R 73485 73485 72970 0 -1 4194304 16808 0 0 0 142 5 0 0 20 0 1 0 68184631 125759488 16442 18446744073709551615 4227072 8923433 140732107802576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140732107811234 140732107811368 140732107811368 140732107816938 0
/proc/73487/statm: 30703 16442 2368 1147 0 18130 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 127004 KiB
Current children cumulated memory: 68840 KiB

[startup+3.10548 s]
/proc/loadavg: 4.20 4.12 4.08 5/268 73487
/proc/meminfo: memFree=112611728/131249996 swapFree=33010416/33010684
[pid=73485] ppid=73482 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73485/stat : 73485 (run-opt.sh) S 73482 73485 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68184630 4292608 768 18446744073709551615 94834286190592 94834287085125 140729883723376 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834287324176 94834287371920 94834312585216 140729883728237 140729883728360 140729883728360 140729883733962 0
/proc/73485/statm: 1048 768 704 219 0 110 0
[pid=73487] ppid=73485 vsize=151316 memory=90356 CPUtime=3.07 cores=4,6
/proc/73487/stat : 73487 (roundingsat) R 73485 73485 72970 0 -1 4194304 19347 0 0 0 294 13 0 0 20 0 1 0 68184631 154947584 22589 18446744073709551615 4227072 8923433 140732107802576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140732107811234 140732107811368 140732107811368 140732107816938 0
/proc/73487/statm: 37829 22589 2400 1147 0 25256 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 155508 KiB
Current children cumulated memory: 93428 KiB

[startup+6.30017 s]
/proc/loadavg: 4.18 4.11 4.08 5/268 73487
/proc/meminfo: memFree=112514696/131249996 swapFree=33010416/33010684
[pid=73485] ppid=73482 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73485/stat : 73485 (run-opt.sh) S 73482 73485 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68184630 4292608 768 18446744073709551615 94834286190592 94834287085125 140729883723376 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834287324176 94834287371920 94834312585216 140729883728237 140729883728360 140729883728360 140729883733962 0
/proc/73485/statm: 1048 768 704 219 0 110 0
[pid=73487] ppid=73485 vsize=204592 memory=147280 CPUtime=6.26 cores=4,6
/proc/73487/stat : 73487 (roundingsat) R 73485 73485 72970 0 -1 4194304 21343 0 0 0 607 19 0 0 20 0 1 0 68184631 209502208 36820 18446744073709551615 4227072 8923433 140732107802576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140732107811234 140732107811368 140732107811368 140732107816938 0
/proc/73487/statm: 51148 36820 2400 1147 0 38575 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 208784 KiB
Current children cumulated memory: 150352 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.11 4.08 5/268 73487
/proc/meminfo: memFree=112377852/131249996 swapFree=33010416/33010684
[pid=73485] ppid=73482 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73485/stat : 73485 (run-opt.sh) S 73482 73485 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68184630 4292608 768 18446744073709551615 94834286190592 94834287085125 140729883723376 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834287324176 94834287371920 94834312585216 140729883728237 140729883728360 140729883728360 140729883733962 0
/proc/73485/statm: 1048 768 704 219 0 110 0
[pid=73487] ppid=73485 vsize=289228 memory=214004 CPUtime=12.65 cores=4,6
/proc/73487/stat : 73487 (roundingsat) R 73485 73485 72970 0 -1 4194304 30380 0 0 0 1238 27 0 0 20 0 1 0 68184631 296169472 53501 18446744073709551615 4227072 8923433 140732107802576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140732107811234 140732107811368 140732107811368 140732107816938 0
/proc/73487/statm: 72307 53501 2400 1147 0 59734 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 293420 KiB
Current children cumulated memory: 217076 KiB

[startup+25.5001 s]
/proc/loadavg: 4.14 4.11 4.08 5/268 73487
/proc/meminfo: memFree=111661420/131249996 swapFree=33010416/33010684
[pid=73485] ppid=73482 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73485/stat : 73485 (run-opt.sh) S 73482 73485 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68184630 4292608 768 18446744073709551615 94834286190592 94834287085125 140729883723376 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834287324176 94834287371920 94834312585216 140729883728237 140729883728360 140729883728360 140729883733962 0
/proc/73485/statm: 1048 768 704 219 0 110 0
[pid=73487] ppid=73485 vsize=483460 memory=402912 CPUtime=25.42 cores=4,6
/proc/73487/stat : 73487 (roundingsat) R 73485 73485 72970 0 -1 4194304 72799 0 0 0 2483 59 0 0 20 0 1 0 68184631 495063040 100728 18446744073709551615 4227072 8923433 140732107802576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140732107811234 140732107811368 140732107811368 140732107816938 0
/proc/73487/statm: 120865 100728 2400 1147 0 108292 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 487652 KiB
Current children cumulated memory: 405984 KiB

[startup+51.1055 s]
/proc/loadavg: 4.15 4.11 4.08 5/267 73488
/proc/meminfo: memFree=110675516/131249996 swapFree=33010416/33010684
[pid=73485] ppid=73482 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73485/stat : 73485 (run-opt.sh) S 73482 73485 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68184630 4292608 768 18446744073709551615 94834286190592 94834287085125 140729883723376 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834287324176 94834287371920 94834312585216 140729883728237 140729883728360 140729883728360 140729883733962 0
/proc/73485/statm: 1048 768 704 219 0 110 0
[pid=73487] ppid=73485 vsize=1235560 memory=1037188 CPUtime=50.97 cores=4,6
/proc/73487/stat : 73487 (roundingsat) R 73485 73485 72970 0 -1 4194304 195080 0 0 0 4986 111 0 0 20 0 1 0 68184631 1265213440 259297 18446744073709551615 4227072 8923433 140732107802576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140732107811234 140732107811368 140732107811368 140732107816938 0
/proc/73487/statm: 308890 259297 2400 1147 0 296317 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1239752 KiB
Current children cumulated memory: 1040260 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.09 4.08 5/266 73490
/proc/meminfo: memFree=110015960/131249996 swapFree=33010416/33010684
[pid=73485] ppid=73482 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73485/stat : 73485 (run-opt.sh) S 73482 73485 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68184630 4292608 768 18446744073709551615 94834286190592 94834287085125 140729883723376 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834287324176 94834287371920 94834312585216 140729883728237 140729883728360 140729883728360 140729883733962 0
/proc/73485/statm: 1048 768 704 219 0 110 0
[pid=73487] ppid=73485 vsize=1853812 memory=1639248 CPUtime=102.05 cores=4,6
/proc/73487/stat : 73487 (roundingsat) R 73485 73485 72970 0 -1 4194304 341004 0 0 0 10031 174 0 0 20 0 1 0 68184631 1898303488 409812 18446744073709551615 4227072 8923433 140732107802576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140732107811234 140732107811368 140732107811368 140732107816938 0
/proc/73487/statm: 463453 409812 2400 1147 0 450880 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 1858004 KiB
Current children cumulated memory: 1642320 KiB

[startup+162.3 s]
/proc/loadavg: 4.36 4.15 4.10 5/266 73537
/proc/meminfo: memFree=117049172/131249996 swapFree=33010416/33010684
[pid=73485] ppid=73482 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73485/stat : 73485 (run-opt.sh) S 73482 73485 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68184630 4292608 768 18446744073709551615 94834286190592 94834287085125 140729883723376 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834287324176 94834287371920 94834312585216 140729883728237 140729883728360 140729883728360 140729883733962 0
/proc/73485/statm: 1048 768 704 219 0 110 0
[pid=73487] ppid=73485 vsize=2640368 memory=2329104 CPUtime=161.89 cores=4,6
/proc/73487/stat : 73487 (roundingsat) R 73485 73485 72970 0 -1 4194304 480089 0 0 0 15953 236 0 0 20 0 1 0 68184631 2703736832 582276 18446744073709551615 4227072 8923433 140732107802576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140732107811234 140732107811368 140732107811368 140732107816938 0
/proc/73487/statm: 660092 582276 2400 1147 0 647519 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 2644560 KiB
Current children cumulated memory: 2332176 KiB

[startup+222.3 s]
/proc/loadavg: 4.30 4.18 4.11 5/266 73539
/proc/meminfo: memFree=115435056/131249996 swapFree=33010416/33010684
[pid=73485] ppid=73482 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73485/stat : 73485 (run-opt.sh) S 73482 73485 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68184630 4292608 768 18446744073709551615 94834286190592 94834287085125 140729883723376 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834287324176 94834287371920 94834312585216 140729883728237 140729883728360 140729883728360 140729883733962 0
/proc/73485/statm: 1048 768 704 219 0 110 0
[pid=73487] ppid=73485 vsize=3013816 memory=2758752 CPUtime=221.75 cores=4,6
/proc/73487/stat : 73487 (roundingsat) R 73485 73485 72970 0 -1 4194304 573717 0 0 0 21875 300 0 0 20 0 1 0 68184631 3086147584 689688 18446744073709551615 4227072 8923433 140732107802576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140732107811234 140732107811368 140732107811368 140732107816938 0
/proc/73487/statm: 753454 689688 2400 1147 0 740881 0
Current children cumulated CPU time: 221.75 s

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

/proc/loadavg: 4.04 4.07 4.08 5/268 73694
/proc/meminfo: memFree=71449496/131249996 swapFree=33010416/33010684
[pid=73485] ppid=73482 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73485/stat : 73485 (run-opt.sh) S 73482 73485 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68184630 4292608 768 18446744073709551615 94834286190592 94834287085125 140729883723376 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834287324176 94834287371920 94834312585216 140729883728237 140729883728360 140729883728360 140729883733962 0
/proc/73485/statm: 1048 768 704 219 0 110 0
[pid=73487] ppid=73485 vsize=10072372 memory=8544144 CPUtime=3154.42 cores=4,6
/proc/73487/stat : 73487 (roundingsat) R 73485 73485 72970 0 -1 4194304 1917190 0 0 0 313182 2260 0 0 20 0 1 0 68184631 10314108928 2136036 18446744073709551615 4227072 8923433 140732107802576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140732107811234 140732107811368 140732107811368 140732107816938 0
/proc/73487/statm: 2518093 2136036 2496 1147 0 2505520 0
Current children cumulated CPU time: 3154.42 s
Current children cumulated vsize: 10076564 KiB
Current children cumulated memory: 8547216 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/268 73788
/proc/meminfo: memFree=111553264/131249996 swapFree=33010416/33010684
[pid=73485] ppid=73482 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73485/stat : 73485 (run-opt.sh) S 73482 73485 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68184630 4292608 768 18446744073709551615 94834286190592 94834287085125 140729883723376 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834287324176 94834287371920 94834312585216 140729883728237 140729883728360 140729883728360 140729883733962 0
/proc/73485/statm: 1048 768 704 219 0 110 0
[pid=73487] ppid=73485 vsize=10144460 memory=8609424 CPUtime=3214.24 cores=4,6
/proc/73487/stat : 73487 (roundingsat) R 73485 73485 72970 0 -1 4194304 1934538 0 0 0 319136 2288 0 0 20 0 1 0 68184631 10387927040 2152356 18446744073709551615 4227072 8923433 140732107802576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140732107811234 140732107811368 140732107811368 140732107816938 0
/proc/73487/statm: 2536115 2152356 2496 1147 0 2523542 0
Current children cumulated CPU time: 3214.24 s
Current children cumulated vsize: 10148652 KiB
Current children cumulated memory: 8612496 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/268 73792
/proc/meminfo: memFree=110713348/131249996 swapFree=33010416/33010684
[pid=73485] ppid=73482 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73485/stat : 73485 (run-opt.sh) S 73482 73485 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68184630 4292608 768 18446744073709551615 94834286190592 94834287085125 140729883723376 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834287324176 94834287371920 94834312585216 140729883728237 140729883728360 140729883728360 140729883733962 0
/proc/73485/statm: 1048 768 704 219 0 110 0
[pid=73487] ppid=73485 vsize=10148028 memory=8613136 CPUtime=3274.07 cores=4,6
/proc/73487/stat : 73487 (roundingsat) R 73485 73485 72970 0 -1 4194304 1935887 0 0 0 325080 2327 0 0 20 0 1 0 68184631 10391580672 2153284 18446744073709551615 4227072 8923433 140732107802576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140732107811234 140732107811368 140732107811368 140732107816938 0
/proc/73487/statm: 2537007 2153284 2496 1147 0 2524434 0
Current children cumulated CPU time: 3274.07 s
Current children cumulated vsize: 10152220 KiB
Current children cumulated memory: 8616208 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/267 73794
/proc/meminfo: memFree=110077572/131249996 swapFree=33010416/33010684
[pid=73485] ppid=73482 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73485/stat : 73485 (run-opt.sh) S 73482 73485 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68184630 4292608 768 18446744073709551615 94834286190592 94834287085125 140729883723376 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834287324176 94834287371920 94834312585216 140729883728237 140729883728360 140729883728360 140729883733962 0
/proc/73485/statm: 1048 768 704 219 0 110 0
[pid=73487] ppid=73485 vsize=10341940 memory=8737808 CPUtime=3333.89 cores=4,6
/proc/73487/stat : 73487 (roundingsat) R 73485 73485 72970 0 -1 4194304 1967607 0 0 0 331018 2371 0 0 20 0 1 0 68184631 10590146560 2184452 18446744073709551615 4227072 8923433 140732107802576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140732107811234 140732107811368 140732107811368 140732107816938 0
/proc/73487/statm: 2585485 2184452 2496 1147 0 2572912 0
Current children cumulated CPU time: 3333.89 s
Current children cumulated vsize: 10346132 KiB
Current children cumulated memory: 8740880 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 73796
/proc/meminfo: memFree=109464820/131249996 swapFree=33010416/33010684
[pid=73485] ppid=73482 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73485/stat : 73485 (run-opt.sh) S 73482 73485 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68184630 4292608 768 18446744073709551615 94834286190592 94834287085125 140729883723376 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834287324176 94834287371920 94834312585216 140729883728237 140729883728360 140729883728360 140729883733962 0
/proc/73485/statm: 1048 768 704 219 0 110 0
[pid=73487] ppid=73485 vsize=10375300 memory=8794768 CPUtime=3393.72 cores=4,6
/proc/73487/stat : 73487 (roundingsat) R 73485 73485 72970 0 -1 4194304 1982812 0 0 0 336967 2405 0 0 20 0 1 0 68184631 10624307200 2198692 18446744073709551615 4227072 8923433 140732107802576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140732107811234 140732107811368 140732107811368 140732107816938 0
/proc/73487/statm: 2593825 2198692 2496 1147 0 2581252 0
Current children cumulated CPU time: 3393.72 s
Current children cumulated vsize: 10379492 KiB
Current children cumulated memory: 8797840 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 73803
/proc/meminfo: memFree=108952036/131249996 swapFree=33010416/33010684
[pid=73485] ppid=73482 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73485/stat : 73485 (run-opt.sh) S 73482 73485 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68184630 4292608 768 18446744073709551615 94834286190592 94834287085125 140729883723376 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834287324176 94834287371920 94834312585216 140729883728237 140729883728360 140729883728360 140729883733962 0
/proc/73485/statm: 1048 768 704 219 0 110 0
[pid=73487] ppid=73485 vsize=10379732 memory=8799248 CPUtime=3453.54 cores=4,6
/proc/73487/stat : 73487 (roundingsat) R 73485 73485 72970 0 -1 4194304 1984830 0 0 0 342903 2451 0 0 20 0 1 0 68184631 10628845568 2199812 18446744073709551615 4227072 8923433 140732107802576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140732107811234 140732107811368 140732107811368 140732107816938 0
/proc/73487/statm: 2594933 2199812 2496 1147 0 2582360 0
Current children cumulated CPU time: 3453.54 s
Current children cumulated vsize: 10383924 KiB
Current children cumulated memory: 8802320 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/267 73805
/proc/meminfo: memFree=108220836/131249996 swapFree=33010416/33010684
[pid=73485] ppid=73482 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73485/stat : 73485 (run-opt.sh) S 73482 73485 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68184630 4292608 768 18446744073709551615 94834286190592 94834287085125 140729883723376 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834287324176 94834287371920 94834312585216 140729883728237 140729883728360 140729883728360 140729883733962 0
/proc/73485/statm: 1048 768 704 219 0 110 0
[pid=73487] ppid=73485 vsize=10819632 memory=9187984 CPUtime=3513.36 cores=4,6
/proc/73487/stat : 73487 (roundingsat) R 73485 73485 72970 0 -1 4194304 2082947 0 0 0 348848 2488 0 0 20 0 1 0 68184631 11079303168 2296996 18446744073709551615 4227072 8923433 140732107802576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140732107811234 140732107811368 140732107811368 140732107816938 0
/proc/73487/statm: 2704908 2296996 2496 1147 0 2692335 0
Current children cumulated CPU time: 3513.36 s
Current children cumulated vsize: 10823824 KiB
Current children cumulated memory: 9191056 KiB

[startup+3582.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/267 73807
/proc/meminfo: memFree=106641632/131249996 swapFree=33010416/33010684
[pid=73485] ppid=73482 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73485/stat : 73485 (run-opt.sh) S 73482 73485 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68184630 4292608 768 18446744073709551615 94834286190592 94834287085125 140729883723376 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834287324176 94834287371920 94834312585216 140729883728237 140729883728360 140729883728360 140729883733962 0
/proc/73485/statm: 1048 768 704 219 0 110 0
[pid=73487] ppid=73485 vsize=11667112 memory=9759888 CPUtime=3573.18 cores=4,6
/proc/73487/stat : 73487 (roundingsat) R 73485 73485 72970 0 -1 4194304 2226882 0 0 0 354786 2532 0 0 20 0 1 0 68184631 11947122688 2439972 18446744073709551615 4227072 8923433 140732107802576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140732107811234 140732107811368 140732107811368 140732107816938 0
/proc/73487/statm: 2916778 2439972 2496 1147 0 2904205 0
Current children cumulated CPU time: 3573.18 s
Current children cumulated vsize: 11671304 KiB
Current children cumulated memory: 9762960 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 73808
/proc/meminfo: memFree=106245312/131249996 swapFree=33010416/33010684
[pid=73485] ppid=73482 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/73485/stat : 73485 (run-opt.sh) S 73482 73485 72970 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68184630 4292608 768 18446744073709551615 94834286190592 94834287085125 140729883723376 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94834287324176 94834287371920 94834312585216 140729883728237 140729883728360 140729883728360 140729883733962 0
/proc/73485/statm: 1048 768 704 219 0 110 0
[pid=73487] ppid=73485 vsize=11667112 memory=9759888 CPUtime=3600 cores=4,6
/proc/73487/stat : 73487 (roundingsat) R 73485 73485 72970 0 -1 4194304 2226884 0 0 0 357463 2537 0 0 20 0 1 0 68184631 11947122688 2439972 18446744073709551615 4227072 8923433 140732107802576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140732107811234 140732107811368 140732107811368 140732107816938 0
/proc/73487/statm: 2916778 2439972 2496 1147 0 2904205 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 11671304 KiB
Current children cumulated memory: 9762960 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3609.2 s]
# the end of solver process 73485 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.001979 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3574.66 s, system=25.6876 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+3609.41 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 73808
/proc/meminfo: memFree=108277500/131249996 swapFree=33010416/33010684
[pid=73487] ppid=73482 vsize=5965348 memory=4930276 CPUtime=3600.21 cores=4,6
/proc/73487/stat : 73487 (roundingsat) R 73482 73485 72970 0 -1 4194304 2226895 0 0 0 357466 2555 0 0 20 0 1 0 68184631 6108516352 1233081 18446744073709551615 4227072 8923433 140732107802576 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12259328 140732107811234 140732107811368 140732107811368 140732107816938 0
/proc/73487/statm: 1491337 1232569 2560 1147 0 1478764 0
Current cumulated CPU time of completed processes: 0.001979 s
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 5965348 KiB
Current children cumulated memory: 4930276 KiB

[startup+3609.5 s]*
/proc/loadavg: 4.11 4.09 4.09 5/266 73808
/proc/meminfo: memFree=115193608/131249996 swapFree=33010416/33010684
Current cumulated CPU time of completed processes: 0.001979 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): 3609.54
CPU time (s): 3600.35
CPU user time (s): 3574.66
CPU system time (s): 25.6876
CPU usage (%): 99.7454
Max. virtual memory (cumulated for all children) (KiB): 11671304
Max. memory (cumulated for all children) (KiB): 9762960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.66
system time used= 25.6876
maximum resident set size= 9760144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2227118
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= 255
involuntary context switches= 3893


# summary of solver processes directly reported to runsolver:
#   pid: 73485,73487
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3574.66
#   total CPU system time (s): 25.6876

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.30735 second user time and 16.6584 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2025-07-03 08:44:11
IDJOB=4509332
IDBENCH=158611
IDSOLVER=3350
FILE ID=nodeC030/4509332-1751525050
RUNJOBID= nodeC030-1751521021-72981
SLURM_JOB_ID= 9598643
Free space on /tmp= 432464 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm99p-opt.opb.negationfix.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509332-1751525050/watcher-4509332-1751525050 -o /tmp/evaluation-result-4509332-1751525050/solver-4509332-1751525050 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751521021-72981 --watchdog 3760  run-opt.sh HOME/instance-4509332-1751525050.opb

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

MD5SUM BENCH= 1d8b9a75b06fe10625c514168771d7f4
RANDOM SEED=1669554265

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.149
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	: 7000.62
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		: 3600.351
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	: 7000.62
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		: 3795.825
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	: 7000.62
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		: 3700.000
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	: 7000.62
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		: 3658.539
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	: 7000.62
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		: 3600.324
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	: 7000.62
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.326
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	: 7000.62
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		: 3700.000
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	: 7000.62
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        112712816 kB
MemAvailable:   113414576 kB
Buffers:            2564 kB
Cached:          1493512 kB
SwapCached:           16 kB
Active:         16806512 kB
Inactive:        1049984 kB
Active(anon):   16373920 kB
Inactive(anon):     4548 kB
Active(file):     432592 kB
Inactive(file):  1045436 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              9076 kB
Writeback:           136 kB
AnonPages:      16363472 kB
Mapped:           117484 kB
Shmem:             18048 kB
KReclaimable:     125540 kB
Slab:             214128 kB
SReclaimable:     125540 kB
SUnreclaim:        88588 kB
KernelStack:        4384 kB
PageTables:        37600 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   19457884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2439168 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:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432476 MiB
End job on nodeC030 at 2025-07-03 09:44:20