Trace number 4520664

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.3 3610.21

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_430.opb
MD5SUMb3bab28fe93ea42b1817acfaffdcfb3a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2044
Best CPU time to get the best result obtained on this benchmark3586.66
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8170
Total number of constraints8170
Number of constraints which are clauses8170
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint4
Number of terms in the objective function 8170
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 8170
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 8170
Number of bits of the biggest sum of numbers13
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.03	c RoundingSat 2
0.00/0.03	c branch pb25
0.00/0.03	c commit 63f22ad
0.07/0.16	c #variables 8170 #constraints 8170
0.07/0.16	c objective is ce32 
0.07/0.20	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.07/0.20	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.07/0.20	c GLOBAL bounds - >= 0 @ 0.104541
0.17/0.24	c GLOBAL bounds - >= 0 @ 0.111392
0.34/0.44	c GLOBAL bounds - >= 0 @ 0.271637
0.42/0.53	c GLOBAL bounds - >= 0 @ 0.347223
0.69/0.83	c GLOBAL bounds - >= 0 @ 0.616668
0.90/1.01	c GLOBAL bounds - >= 0 @ 0.773859
1.19/1.33	c GLOBAL bounds - >= 0 @ 1.0749
1.49/1.60	c GLOBAL bounds - >= 0 @ 1.31171
1.58/1.76	c GLOBAL bounds - >= 0 @ 1.46234
1.88/2.00	c GLOBAL bounds - >= 0 @ 1.69706
2.87/3.01	c GLOBAL bounds - >= 0 @ 2.64027
3.57/3.79	c #Conflicts:       1000 | #Constraints:       9188
3.57/3.79	c GLOBAL bounds - >= 0 @ 3.39776
3.97/4.15	c GLOBAL bounds - >= 0 @ 3.73994
10.15/10.38	c #Conflicts:       2000 | #Constraints:      10192
10.15/10.38	c INPROCESSING
10.15/10.38	c GARBAGE COLLECT
10.15/10.38	c #Conflicts:       3000 | #Constraints:      10240
10.15/10.38	c GLOBAL bounds - >= 0 @ 9.77905
11.64/11.82	c GLOBAL bounds - >= 0 @ 11.1848
16.04/16.28	c #Conflicts:       4000 | #Constraints:      11244
16.04/16.28	c INPROCESSING
16.04/16.28	c GARBAGE COLLECT
16.04/16.28	c GLOBAL bounds - >= 0 @ 15.4678
16.73/16.91	c GLOBAL bounds - >= 0 @ 16.0959
18.03/18.20	c #Conflicts:       5000 | #Constraints:      10682
18.03/18.20	c GLOBAL bounds - >= 0 @ 17.3608
18.84/19.11	c GLOBAL bounds - >= 0 @ 18.2516
28.60/28.88	c #Conflicts:       6000 | #Constraints:      11686
28.60/28.88	c INPROCESSING
28.60/28.88	c GARBAGE COLLECT
28.60/28.88	c #Conflicts:       7000 | #Constraints:      10705
28.60/28.88	c #Conflicts:       8000 | #Constraints:      11705
28.60/28.88	c GLOBAL bounds - >= 0 @ 27.8757
29.81/30.03	c GLOBAL bounds - >= 0 @ 29.0015
31.40/31.67	c GLOBAL bounds - >= 0 @ 30.6051
33.39/33.69	c #Conflicts:       9000 | #Constraints:      12711
33.39/33.69	c INPROCESSING
33.39/33.69	c GARBAGE COLLECT
33.39/33.69	c GLOBAL bounds - >= 0 @ 32.4575
43.47/43.75	c #Conflicts:      10000 | #Constraints:      11441
43.47/43.75	c #Conflicts:      11000 | #Constraints:      12441
43.47/43.75	c GLOBAL bounds - >= 0 @ 42.2134
45.16/45.47	c #Conflicts:      12000 | #Constraints:      13443
45.16/45.47	c INPROCESSING
45.16/45.47	c GARBAGE COLLECT
45.16/45.47	c GLOBAL bounds - >= 0 @ 43.9104
51.04/51.39	c #Conflicts:      13000 | #Constraints:      11887
51.04/51.39	c GLOBAL bounds - >= 0 @ 49.7677
62.42/62.74	c #Conflicts:      14000 | #Constraints:      12889
62.42/62.74	c #Conflicts:      15000 | #Constraints:      13889
62.42/62.74	c INPROCESSING
62.42/62.74	c GARBAGE COLLECT
62.42/62.74	c #Conflicts:      16000 | #Constraints:      12136
62.42/62.74	c GLOBAL bounds - >= 0 @ 60.8938
79.38/79.77	c #Conflicts:      17000 | #Constraints:      13138
79.38/79.77	c #Conflicts:      18000 | #Constraints:      14138
79.38/79.77	c INPROCESSING
79.38/79.77	c GARBAGE COLLECT
79.38/79.77	c #Conflicts:      19000 | #Constraints:      12165
79.38/79.77	c #Conflicts:      20000 | #Constraints:      13165
79.38/79.77	c #Conflicts:      21000 | #Constraints:      14165
79.38/79.77	c INPROCESSING
79.38/79.77	c GARBAGE COLLECT
79.38/79.77	c GLOBAL bounds - >= 0 @ 77.6816
88.36/88.74	c #Conflicts:      22000 | #Constraints:      11959
88.36/88.74	c #Conflicts:      23000 | #Constraints:      12959
88.36/88.74	c #Conflicts:      24000 | #Constraints:      13959
88.36/88.74	c GLOBAL bounds - >= 0 @ 86.4876
106.51/106.98	c #Conflicts:      25000 | #Constraints:      14961
106.51/106.98	c INPROCESSING
106.51/106.98	c GARBAGE COLLECT
106.51/106.98	c #Conflicts:      26000 | #Constraints:      12552
106.51/106.98	c #Conflicts:      27000 | #Constraints:      13552
106.51/106.98	c #Conflicts:      28000 | #Constraints:      14552
106.51/106.98	c GLOBAL bounds - >= 0 @ 104.488
107.72/108.16	c GLOBAL bounds - >= 0 @ 105.652
109.40/109.80	c #Conflicts:      29000 | #Constraints:      15556
109.40/109.80	c INPROCESSING
109.40/109.80	c GARBAGE COLLECT
109.40/109.80	c GLOBAL bounds - >= 0 @ 107.284
110.40/110.83	c GLOBAL bounds - >= 0 @ 108.29
111.09/111.55	c GLOBAL bounds - >= 0 @ 109.001
111.99/112.41	c GLOBAL bounds - >= 0 @ 109.85
113.49/113.91	c #Conflicts:      30000 | #Constraints:      12956
113.49/113.91	c GLOBAL bounds - >= 0 @ 111.328
120.47/120.90	c #Conflicts:      31000 | #Constraints:      13958
120.47/120.90	c #Conflicts:      32000 | #Constraints:      14958
120.47/120.90	c GLOBAL bounds - >= 0 @ 118.18
127.35/127.85	c #Conflicts:      33000 | #Constraints:      15960
127.35/127.85	c INPROCESSING
127.35/127.85	c GARBAGE COLLECT
127.35/127.85	c GLOBAL bounds - >= 0 @ 125.019
129.56/130.04	c #Conflicts:      34000 | #Constraints:      13210
129.56/130.04	c GLOBAL bounds - >= 0 @ 127.188
182.60/183.24	c #Conflicts:      35000 | #Constraints:      14212
182.60/183.24	c #Conflicts:      36000 | #Constraints:      15212
182.60/183.24	c #Conflicts:      37000 | #Constraints:      16212
182.60/183.24	c INPROCESSING
182.60/183.24	c GARBAGE COLLECT
182.60/183.24	c #Conflicts:      38000 | #Constraints:      13242
182.60/183.24	c #Conflicts:      39000 | #Constraints:      14242
182.60/183.24	c #Conflicts:      40000 | #Constraints:      15242
182.60/183.24	c #Conflicts:      41000 | #Constraints:      16242
182.60/183.24	c INPROCESSING
182.60/183.24	c GARBAGE COLLECT
182.60/183.24	c #Conflicts:      42000 | #Constraints:      13076
182.60/183.24	c #Conflicts:      43000 | #Constraints:      14076
182.60/183.24	c #Conflicts:      44000 | #Constraints:      15076
182.60/183.24	c #Conflicts:      45000 | #Constraints:      16076
182.60/183.24	c #Conflicts:      46000 | #Constraints:      17076
182.60/183.24	c INPROCESSING
182.60/183.24	c GARBAGE COLLECT
182.60/183.24	c GLOBAL bounds - >= 0 @ 180.051
186.39/187.05	c #Conflicts:      47000 | #Constraints:      13675
186.39/187.05	c GLOBAL bounds - >= 0 @ 183.805
198.47/199.18	c #Conflicts:      48000 | #Constraints:      14677
198.47/199.18	c #Conflicts:      49000 | #Constraints:      15677
198.47/199.18	c #Conflicts:      50000 | #Constraints:      16677
198.47/199.18	c GLOBAL bounds - >= 0 @ 195.764
202.05/202.77	c GLOBAL bounds - >= 0 @ 199.283
205.54/206.23	c #Conflicts:      51000 | #Constraints:      17681
205.54/206.23	c INPROCESSING
205.54/206.23	c GARBAGE COLLECT
205.54/206.23	c GLOBAL bounds - >= 0 @ 202.705
213.02/213.79	c #Conflicts:      52000 | #Constraints:      14088
213.02/213.79	c #Conflicts:      53000 | #Constraints:      15088
213.02/213.79	c GLOBAL bounds - >= 0 @ 210.211
219.90/220.68	c #Conflicts:      54000 | #Constraints:      16090
219.90/220.68	c #Conflicts:      55000 | #Constraints:      17090
219.90/220.68	c GLOBAL bounds - >= 0 @ 217.02
228.47/229.24	c #Conflicts:      56000 | #Constraints:      18092
228.47/229.24	c INPROCESSING
228.47/229.24	c GARBAGE COLLECT
228.47/229.24	c GLOBAL bounds - >= 0 @ 225.466
237.15/237.98	c #Conflicts:      57000 | #Constraints:      14289
237.15/237.98	c #Conflicts:      58000 | #Constraints:      15289
237.15/237.98	c GLOBAL bounds - >= 0 @ 234.096
238.95/239.71	c GLOBAL bounds - >= 0 @ 235.795
240.14/240.93	c #Conflicts:      59000 | #Constraints:      16293
240.14/240.93	c GLOBAL bounds - >= 0 @ 236.993
240.94/241.72	c GLOBAL bounds - >= 0 @ 237.778
249.42/250.21	c #Conflicts:      60000 | #Constraints:      17297
249.42/250.21	c #Conflicts:      61000 | #Constraints:      18297
249.42/250.21	c INPROCESSING
249.42/250.21	c GARBAGE COLLECT
249.42/250.21	c GLOBAL bounds - >= 0 @ 246.169
250.33/251.18	c GLOBAL bounds - >= 0 @ 247.128
253.01/253.88	c #Conflicts:      62000 | #Constraints:      14304
253.01/253.88	c GLOBAL bounds - >= 0 @ 249.809
255.01/255.84	c #Conflicts:      63000 | #Constraints:      15306
255.01/255.84	c GLOBAL bounds - >= 0 @ 251.756
272.76/273.65	c #Conflicts:      64000 | #Constraints:      16308
272.76/273.65	c #Conflicts:      65000 | #Constraints:      17308
272.76/273.65	c #Conflicts:      66000 | #Constraints:      18308
272.76/273.65	c INPROCESSING
272.76/273.65	c GARBAGE COLLECT
272.76/273.65	c GLOBAL bounds - >= 0 @ 269.403
276.05/276.93	c #Conflicts:      67000 | #Constraints:      14112
276.05/276.93	c #Conflicts:      68000 | #Constraints:      15112
276.05/276.93	c GLOBAL bounds - >= 0 @ 272.648
360.04/361.12	c #Conflicts:      69000 | #Constraints:      16114
360.04/361.12	c #Conflicts:      70000 | #Constraints:      17114
360.04/361.12	c #Conflicts:      71000 | #Constraints:      18114
360.04/361.12	c #Conflicts:      72000 | #Constraints:      19114
360.04/361.12	c INPROCESSING
360.04/361.12	c GARBAGE COLLECT
360.04/361.12	c #Conflicts:      73000 | #Constraints:      14715
360.04/361.12	c #Conflicts:      74000 | #Constraints:      15715
360.04/361.12	c #Conflicts:      75000 | #Constraints:      16715
360.04/361.12	c #Conflicts:      76000 | #Constraints:      17715
360.04/361.12	c #Conflicts:      77000 | #Constraints:      18715
360.04/361.12	c #Conflicts:      78000 | #Constraints:      19715
360.04/361.12	c INPROCESSING
360.04/361.12	c GARBAGE COLLECT
360.04/361.12	c #Conflicts:      79000 | #Constraints:      15116
360.04/361.12	c #Conflicts:      80000 | #Constraints:      16116
360.04/361.12	c #Conflicts:      81000 | #Constraints:      17116
360.04/361.12	c #Conflicts:      82000 | #Constraints:      18116
360.04/361.12	c #Conflicts:      83000 | #Constraints:      19116
360.04/361.12	c #Conflicts:      84000 | #Constraints:      20116
360.04/361.12	c INPROCESSING
360.04/361.12	c GARBAGE COLLECT
360.04/361.12	c GLOBAL bounds - >= 0 @ 355.666
407.81/409.04	c #Conflicts:      85000 | #Constraints:      15318
407.81/409.04	c #Conflicts:      86000 | #Constraints:      16318
407.81/409.04	c #Conflicts:      87000 | #Constraints:      17318
407.81/409.04	c #Conflicts:      88000 | #Constraints:      18318
407.81/409.04	c #Conflicts:      89000 | #Constraints:      19318
407.81/409.04	c #Conflicts:      90000 | #Constraints:      20318
407.81/409.04	c INPROCESSING
407.81/409.04	c GARBAGE COLLECT
407.81/409.04	c #Conflicts:      91000 | #Constraints:      15343
407.81/409.04	c #Conflicts:      92000 | #Constraints:      16343
407.81/409.04	c #Conflicts:      93000 | #Constraints:      17343
407.81/409.04	c GLOBAL bounds - >= 0 @ 403.282
455.68/457.08	c #Conflicts:      94000 | #Constraints:      18345
455.68/457.08	c #Conflicts:      95000 | #Constraints:      19345
455.68/457.08	c #Conflicts:      96000 | #Constraints:      20345
455.68/457.08	c INPROCESSING
455.68/457.08	c GARBAGE COLLECT
455.68/457.08	c #Conflicts:      97000 | #Constraints:      15136
455.68/457.08	c #Conflicts:      98000 | #Constraints:      16136
455.68/457.08	c #Conflicts:      99000 | #Constraints:      17136
455.68/457.08	c #Conflicts:     100000 | #Constraints:      18136
455.68/457.08	c #Conflicts:     101000 | #Constraints:      19136
455.68/457.08	c #Conflicts:     102000 | #Constraints:      20136
455.68/457.08	c #Conflicts:     103000 | #Constraints:      21136
455.68/457.08	c INPROCESSING
455.68/457.08	c GARBAGE COLLECT
455.68/457.08	c #Conflicts:     104000 | #Constraints:      15750
455.68/457.08	c GLOBAL bounds - >= 0 @ 450.875
468.24/469.61	c #Conflicts:     105000 | #Constraints:      16752
468.24/469.61	c #Conflicts:     106000 | #Constraints:      17752
468.24/469.61	c #Conflicts:     107000 | #Constraints:      18752
468.24/469.61	c GLOBAL bounds - >= 0 @ 463.216
479.80/481.29	c #Conflicts:     108000 | #Constraints:      19754
479.80/481.29	c #Conflicts:     109000 | #Constraints:      20754
479.80/481.29	c GLOBAL bounds - >= 0 @ 474.754
484.89/486.34	c #Conflicts:     110000 | #Constraints:      21756
484.89/486.34	c INPROCESSING
484.89/486.34	c GARBAGE COLLECT
484.89/486.34	c GLOBAL bounds - >= 0 @ 479.733
486.70/488.13	c GLOBAL bounds - >= 0 @ 481.502
495.16/496.61	c #Conflicts:     111000 | #Constraints:      16136
495.16/496.61	c #Conflicts:     112000 | #Constraints:      17136
495.16/496.61	c GLOBAL bounds - >= 0 @ 489.912
501.04/502.59	c #Conflicts:     113000 | #Constraints:      18138
501.04/502.59	c GLOBAL bounds - >= 0 @ 495.839
505.54/507.04	c #Conflicts:     114000 | #Constraints:      19140
505.54/507.04	c GLOBAL bounds - >= 0 @ 500.234
508.02/509.59	c #Conflicts:     115000 | #Constraints:      20142
508.02/509.59	c GLOBAL bounds - >= 0 @ 502.755
509.43/510.93	c GLOBAL bounds - >= 0 @ 504.077
529.86/531.40	c #Conflicts:     116000 | #Constraints:      21146
529.86/531.40	c #Conflicts:     117000 | #Constraints:      22146
529.86/531.40	c INPROCESSING
529.86/531.40	c GARBAGE COLLECT
529.86/531.40	c #Conflicts:     118000 | #Constraints:      16344
529.86/531.40	c #Conflicts:     119000 | #Constraints:      17344
529.86/531.40	c GLOBAL bounds - >= 0 @ 524.281
532.85/534.40	c #Conflicts:     120000 | #Constraints:      18346
532.85/534.40	c GLOBAL bounds - >= 0 @ 527.255
536.04/537.66	c GLOBAL bounds - >= 0 @ 530.497
537.24/538.85	c #Conflicts:     121000 | #Constraints:      19350
537.24/538.85	c GLOBAL bounds - >= 0 @ 531.68
538.45/540.07	c GLOBAL bounds - >= 0 @ 532.888
540.63/542.25	c #Conflicts:     122000 | #Constraints:      20354
540.63/542.25	c GLOBAL bounds - >= 0 @ 535.047
573.03/574.74	c #Conflicts:     123000 | #Constraints:      21356
573.03/574.74	c #Conflicts:     124000 | #Constraints:      22356
573.03/574.74	c INPROCESSING
573.03/574.74	c GARBAGE COLLECT
573.03/574.74	c #Conflicts:     125000 | #Constraints:      16364
573.03/574.74	c #Conflicts:     126000 | #Constraints:      17364
573.03/574.74	c #Conflicts:     127000 | #Constraints:      18364
573.03/574.74	c GLOBAL bounds - >= 0 @ 567.252
575.63/577.31	c #Conflicts:     128000 | #Constraints:      19366
575.63/577.31	c GLOBAL bounds - >= 0 @ 569.788
578.11/579.83	c GLOBAL bounds - >= 0 @ 572.282
580.61/582.36	c #Conflicts:     129000 | #Constraints:      20370
580.61/582.36	c GLOBAL bounds - >= 0 @ 574.787
582.20/583.94	c GLOBAL bounds - >= 0 @ 576.346
596.06/597.85	c #Conflicts:     130000 | #Constraints:      21374
596.06/597.85	c #Conflicts:     131000 | #Constraints:      22374
596.06/597.85	c INPROCESSING
596.06/597.85	c GARBAGE COLLECT
596.06/597.85	c #Conflicts:     132000 | #Constraints:      16170
596.06/597.85	c GLOBAL bounds - >= 0 @ 590.135
708.82/710.94	c #Conflicts:     133000 | #Constraints:      17172
708.82/710.94	c #Conflicts:     134000 | #Constraints:      18172
708.82/710.94	c #Conflicts:     135000 | #Constraints:      19172
708.82/710.94	c #Conflicts:     136000 | #Constraints:      20172
708.82/710.94	c #Conflicts:     137000 | #Constraints:      21172
708.82/710.94	c #Conflicts:     138000 | #Constraints:      22172
708.82/710.94	c #Conflicts:     139000 | #Constraints:      23172
708.82/710.94	c INPROCESSING
708.82/710.94	c GARBAGE COLLECT
708.82/710.94	c #Conflicts:     140000 | #Constraints:      16773
708.82/710.94	c #Conflicts:     141000 | #Constraints:      17773
708.82/710.94	c #Conflicts:     142000 | #Constraints:      18773
708.82/710.94	c #Conflicts:     143000 | #Constraints:      19773
708.82/710.94	c #Conflicts:     144000 | #Constraints:      20773
708.82/710.94	c #Conflicts:     145000 | #Constraints:      21773
708.82/710.94	c #Conflicts:     146000 | #Constraints:      22773
708.82/710.94	c #Conflicts:     147000 | #Constraints:      23773
708.82/710.94	c INPROCESSING
708.82/710.94	c GARBAGE COLLECT
708.82/710.94	c #Conflicts:     148000 | #Constraints:      17171
708.82/710.94	c #Conflicts:     149000 | #Constraints:      18171
708.82/710.94	c #Conflicts:     150000 | #Constraints:      19171
708.82/710.94	c GLOBAL bounds - >= 0 @ 702.493
737.14/739.39	c #Conflicts:     151000 | #Constraints:      20173
737.14/739.39	c #Conflicts:     152000 | #Constraints:      21173
737.14/739.39	c #Conflicts:     153000 | #Constraints:      22173
737.14/739.39	c #Conflicts:     154000 | #Constraints:      23173
737.14/739.39	c GLOBAL bounds - >= 0 @ 730.741
739.14/741.34	c GLOBAL bounds - >= 0 @ 732.655
746.31/748.59	c #Conflicts:     155000 | #Constraints:      24177
746.31/748.59	c INPROCESSING
746.31/748.59	c GARBAGE COLLECT
746.31/748.59	c GLOBAL bounds - >= 0 @ 739.814
762.88/765.13	c #Conflicts:     156000 | #Constraints:      17384
762.88/765.13	c #Conflicts:     157000 | #Constraints:      18384
762.88/765.13	c #Conflicts:     158000 | #Constraints:      19384
762.88/765.13	c GLOBAL bounds - >= 0 @ 756.171
764.16/766.42	c #Conflicts:     159000 | #Constraints:      20386
764.16/766.42	c GLOBAL bounds - >= 0 @ 757.449
767.86/770.18	c GLOBAL bounds - >= 0 @ 761.175
775.22/777.55	c #Conflicts:     160000 | #Constraints:      21390
775.22/777.55	c #Conflicts:     161000 | #Constraints:      22390
775.22/777.55	c GLOBAL bounds - >= 0 @ 768.473
779.61/782.00	c GLOBAL bounds - >= 0 @ 772.882
782.41/784.75	c #Conflicts:     162000 | #Constraints:      23394
782.41/784.75	c GLOBAL bounds - >= 0 @ 775.611
784.50/786.85	c GLOBAL bounds - >= 0 @ 777.698
786.29/788.67	c GLOBAL bounds - >= 0 @ 779.483
787.39/789.79	c GLOBAL bounds - >= 0 @ 780.595
790.28/792.67	c #Conflicts:     163000 | #Constraints:      24402
790.28/792.67	c GLOBAL bounds - >= 0 @ 783.435
794.16/796.58	c INPROCESSING
794.16/796.58	c GARBAGE COLLECT
794.16/796.58	c GLOBAL bounds - >= 0 @ 787.304
796.26/798.64	c GLOBAL bounds - >= 0 @ 789.34
798.36/800.75	c #Conflicts:     164000 | #Constraints:      17366
798.36/800.75	c GLOBAL bounds - >= 0 @ 791.421
800.45/802.83	c GLOBAL bounds - >= 0 @ 793.487
801.66/804.05	c GLOBAL bounds - >= 0 @ 794.691
841.83/844.37	c #Conflicts:     165000 | #Constraints:      18372
841.83/844.37	c #Conflicts:     166000 | #Constraints:      19372
841.83/844.37	c #Conflicts:     167000 | #Constraints:      20372
841.83/844.37	c #Conflicts:     168000 | #Constraints:      21372
841.83/844.37	c #Conflicts:     169000 | #Constraints:      22372
841.83/844.37	c #Conflicts:     170000 | #Constraints:      23372
841.83/844.37	c #Conflicts:     171000 | #Constraints:      24372
841.83/844.37	c INPROCESSING
841.83/844.37	c GARBAGE COLLECT
841.83/844.37	c #Conflicts:     172000 | #Constraints:      17225
841.83/844.37	c GLOBAL bounds - >= 0 @ 834.654
850.52/853.08	c #Conflicts:     173000 | #Constraints:      18227
850.52/853.08	c GLOBAL bounds - >= 0 @ 843.287
860.68/863.21	c #Conflicts:     174000 | #Constraints:      19229
860.68/863.21	c #Conflicts:     175000 | #Constraints:      20229
860.68/863.21	c GLOBAL bounds - >= 0 @ 853.27
863.87/866.46	c #Conflicts:     176000 | #Constraints:      21231
863.87/866.46	c GLOBAL bounds - >= 0 @ 856.49
865.07/867.68	c GLOBAL bounds - >= 0 @ 857.697
867.26/869.80	c GLOBAL bounds - >= 0 @ 859.799
879.82/882.42	c #Conflicts:     177000 | #Constraints:      22237
879.82/882.42	c #Conflicts:     178000 | #Constraints:      23237
879.82/882.42	c #Conflicts:     179000 | #Constraints:      24237
879.82/882.42	c GLOBAL bounds - >= 0 @ 872.295
892.09/894.71	c #Conflicts:     180000 | #Constraints:      25239
892.09/894.71	c INPROCESSING
892.09/894.71	c GARBAGE COLLECT
892.09/894.71	c GLOBAL bounds - >= 0 @ 884.452
907.46/910.17	c #Conflicts:     181000 | #Constraints:      17857
907.46/910.17	c #Conflicts:     182000 | #Constraints:      18857
907.46/910.17	c #Conflicts:     183000 | #Constraints:      19857
907.46/910.17	c GLOBAL bounds - >= 0 @ 899.761
911.04/913.78	c #Conflicts:     184000 | #Constraints:      20859
911.04/913.78	c GLOBAL bounds - >= 0 @ 903.339
988.63/991.55	c #Conflicts:     185000 | #Constraints:      21861
988.63/991.55	c #Conflicts:     186000 | #Constraints:      22861
988.63/991.55	c #Conflicts:     187000 | #Constraints:      23861
988.63/991.55	c #Conflicts:     188000 | #Constraints:      24861
988.63/991.55	c #Conflicts:     189000 | #Constraints:      25861
988.63/991.55	c INPROCESSING
988.63/991.55	c GARBAGE COLLECT
988.63/991.55	c #Conflicts:     190000 | #Constraints:      18279
988.63/991.55	c #Conflicts:     191000 | #Constraints:      19279
988.63/991.55	c #Conflicts:     192000 | #Constraints:      20279
988.63/991.55	c #Conflicts:     193000 | #Constraints:      21279
988.63/991.55	c #Conflicts:     194000 | #Constraints:      22279
988.63/991.55	c #Conflicts:     195000 | #Constraints:      23279
988.63/991.55	c #Conflicts:     196000 | #Constraints:      24279
988.63/991.55	c GLOBAL bounds - >= 0 @ 980.663
1114.81/1118.03	c #Conflicts:     197000 | #Constraints:      25281
1114.81/1118.03	c #Conflicts:     198000 | #Constraints:      26281
1114.81/1118.03	c INPROCESSING
1114.81/1118.03	c GARBAGE COLLECT
1114.81/1118.03	c #Conflicts:     199000 | #Constraints:      18470
1114.81/1118.03	c #Conflicts:     200000 | #Constraints:      19470
1114.81/1118.03	c #Conflicts:     201000 | #Constraints:      20470
1114.81/1118.03	c #Conflicts:     202000 | #Constraints:      21470
1114.81/1118.03	c #Conflicts:     203000 | #Constraints:      22470
1114.81/1118.03	c #Conflicts:     204000 | #Constraints:      23470
1114.81/1118.03	c #Conflicts:     205000 | #Constraints:      24470
1114.81/1118.03	c #Conflicts:     206000 | #Constraints:      25470
1114.81/1118.03	c #Conflicts:     207000 | #Constraints:      26470
1114.81/1118.03	c INPROCESSING
1114.81/1118.03	c GARBAGE COLLECT
1114.81/1118.03	c #Conflicts:     208000 | #Constraints:      18478
1114.81/1118.03	c #Conflicts:     209000 | #Constraints:      19478
1114.81/1118.03	c #Conflicts:     210000 | #Constraints:      20478
1114.81/1118.03	c #Conflicts:     211000 | #Constraints:      21478
1114.81/1118.03	c #Conflicts:     212000 | #Constraints:      22478
1114.81/1118.03	c #Conflicts:     213000 | #Constraints:      23478
1114.81/1118.03	c GLOBAL bounds - >= 0 @ 1106.63
1136.86/1140.15	c #Conflicts:     214000 | #Constraints:      24480
1136.86/1140.15	c #Conflicts:     215000 | #Constraints:      25480
1136.86/1140.15	c #Conflicts:     216000 | #Constraints:      26480
1136.86/1140.15	c INPROCESSING
1136.86/1140.15	c GARBAGE COLLECT
1136.86/1140.15	c #Conflicts:     217000 | #Constraints:      18266
1136.86/1140.15	c #Conflicts:     218000 | #Constraints:      19266
1136.86/1140.15	c GLOBAL bounds - >= 0 @ 1128.59
1166.78/1170.12	c #Conflicts:     219000 | #Constraints:      20268
1166.78/1170.12	c #Conflicts:     220000 | #Constraints:      21268
1166.78/1170.12	c #Conflicts:     221000 | #Constraints:      22268
1166.78/1170.12	c #Conflicts:     222000 | #Constraints:      23268
1166.78/1170.12	c #Conflicts:     223000 | #Constraints:      24268
1166.78/1170.12	c #Conflicts:     224000 | #Constraints:      25268
1166.78/1170.12	c #Conflicts:     225000 | #Constraints:      26268
1166.78/1170.12	c #Conflicts:     226000 | #Constraints:      27268
1166.78/1170.12	c INPROCESSING
1166.78/1170.12	c GARBAGE COLLECT
1166.78/1170.12	c GLOBAL bounds - >= 0 @ 1158.41
1169.67/1173.11	c #Conflicts:     227000 | #Constraints:      18860
1169.67/1173.11	c GLOBAL bounds - >= 0 @ 1161.34
1206.96/1210.40	c #Conflicts:     228000 | #Constraints:      19862
1206.96/1210.40	c #Conflicts:     229000 | #Constraints:      20862
1206.96/1210.40	c #Conflicts:     230000 | #Constraints:      21862
1206.96/1210.40	c #Conflicts:     231000 | #Constraints:      22862
1206.96/1210.40	c #Conflicts:     232000 | #Constraints:      23862
1206.96/1210.40	c #Conflicts:     233000 | #Constraints:      24862
1206.96/1210.40	c #Conflicts:     234000 | #Constraints:      25862
1206.96/1210.40	c #Conflicts:     235000 | #Constraints:      26862
1206.96/1210.40	c #Conflicts:     236000 | #Constraints:      27862
1206.96/1210.40	c INPROCESSING
1206.96/1210.40	c GARBAGE COLLECT
1206.96/1210.40	c GLOBAL bounds - >= 0 @ 1198.24
1211.56/1215.06	c #Conflicts:     237000 | #Constraints:      19254
1211.56/1215.06	c GLOBAL bounds - >= 0 @ 1202.84
1223.62/1227.11	c #Conflicts:     238000 | #Constraints:      20256
1223.62/1227.11	c #Conflicts:     239000 | #Constraints:      21256
1223.62/1227.11	c GLOBAL bounds - >= 0 @ 1214.77
1228.62/1232.16	c #Conflicts:     240000 | #Constraints:      22258
1228.62/1232.16	c GLOBAL bounds - >= 0 @ 1219.77
1230.39/1233.95	c GLOBAL bounds - >= 0 @ 1221.54
1239.87/1243.47	c #Conflicts:     241000 | #Constraints:      23262
1239.87/1243.47	c #Conflicts:     242000 | #Constraints:      24262
1239.87/1243.47	c #Conflicts:     243000 | #Constraints:      25262
1239.87/1243.47	c GLOBAL bounds - >= 0 @ 1231.02
1244.96/1248.53	c GLOBAL bounds - >= 0 @ 1236.03
1257.12/1260.70	c #Conflicts:     244000 | #Constraints:      26266
1257.12/1260.70	c #Conflicts:     245000 | #Constraints:      27266
1257.12/1260.70	c GLOBAL bounds - >= 0 @ 1248.1
1285.37/1289.10	c #Conflicts:     246000 | #Constraints:      28268
1285.37/1289.10	c INPROCESSING
1285.37/1289.10	c GARBAGE COLLECT
1285.37/1289.10	c #Conflicts:     247000 | #Constraints:      19474
1285.37/1289.10	c #Conflicts:     248000 | #Constraints:      20474
1285.37/1289.10	c #Conflicts:     249000 | #Constraints:      21474
1285.37/1289.10	c #Conflicts:     250000 | #Constraints:      22474
1285.37/1289.10	c GLOBAL bounds - >= 0 @ 1276.23
1314.77/1318.55	c #Conflicts:     251000 | #Constraints:      23476
1314.77/1318.55	c #Conflicts:     252000 | #Constraints:      24476
1314.77/1318.55	c #Conflicts:     253000 | #Constraints:      25476
1314.77/1318.55	c #Conflicts:     254000 | #Constraints:      26476
1314.77/1318.55	c #Conflicts:     255000 | #Constraints:      27476
1314.77/1318.55	c #Conflicts:     256000 | #Constraints:      28476
1314.77/1318.55	c GLOBAL bounds - >= 0 @ 1305.48
1319.96/1323.75	c INPROCESSING
1319.96/1323.75	c GARBAGE COLLECT
1319.96/1323.75	c GLOBAL bounds - >= 0 @ 1310.64
1338.12/1341.90	c #Conflicts:     257000 | #Constraints:      19457
1338.12/1341.90	c #Conflicts:     258000 | #Constraints:      20457
1338.12/1341.90	c #Conflicts:     259000 | #Constraints:      21457
1338.12/1341.90	c GLOBAL bounds - >= 0 @ 1328.61
1343.80/1347.61	c #Conflicts:     260000 | #Constraints:      22459
1343.80/1347.61	c #Conflicts:     261000 | #Constraints:      23459
1343.80/1347.61	c GLOBAL bounds - >= 0 @ 1334.27
1381.22/1385.19	c #Conflicts:     262000 | #Constraints:      24461
1381.22/1385.19	c #Conflicts:     263000 | #Constraints:      25461
1381.22/1385.19	c #Conflicts:     264000 | #Constraints:      26461
1381.22/1385.19	c #Conflicts:     265000 | #Constraints:      27461
1381.22/1385.19	c #Conflicts:     266000 | #Constraints:      28461
1381.22/1385.19	c INPROCESSING
1381.22/1385.19	c GARBAGE COLLECT
1381.22/1385.19	c #Conflicts:     267000 | #Constraints:      19296
1381.22/1385.19	c GLOBAL bounds - >= 0 @ 1371.47
1385.79/1389.71	c #Conflicts:     268000 | #Constraints:      20298
1385.79/1389.71	c GLOBAL bounds - >= 0 @ 1375.95
1388.09/1392.10	c GLOBAL bounds - >= 0 @ 1378.31
1393.48/1397.49	c #Conflicts:     269000 | #Constraints:      21302
1393.48/1397.49	c GLOBAL bounds - >= 0 @ 1383.66
1396.07/1400.11	c #Conflicts:     270000 | #Constraints:      22304
1396.07/1400.11	c GLOBAL bounds - >= 0 @ 1386.25
1452.32/1456.42	c #Conflicts:     271000 | #Constraints:      23306
1452.32/1456.42	c #Conflicts:     272000 | #Constraints:      24306
1452.32/1456.42	c #Conflicts:     273000 | #Constraints:      25306
1452.32/1456.42	c #Conflicts:     274000 | #Constraints:      26306
1452.32/1456.42	c #Conflicts:     275000 | #Constraints:      27306
1452.32/1456.42	c #Conflicts:     276000 | #Constraints:      28306
1452.32/1456.42	c #Conflicts:     277000 | #Constraints:      29306
1452.32/1456.42	c INPROCESSING
1452.32/1456.42	c GARBAGE COLLECT
1452.32/1456.42	c #Conflicts:     278000 | #Constraints:      19929
1452.32/1456.42	c #Conflicts:     279000 | #Constraints:      20929
1452.32/1456.42	c #Conflicts:     280000 | #Constraints:      21929
1452.32/1456.42	c #Conflicts:     281000 | #Constraints:      22929
1452.32/1456.42	c GLOBAL bounds - >= 0 @ 1442.24
1515.05/1519.38	c #Conflicts:     282000 | #Constraints:      23931
1515.05/1519.38	c #Conflicts:     283000 | #Constraints:      24931
1515.05/1519.38	c #Conflicts:     284000 | #Constraints:      25931
1515.05/1519.38	c #Conflicts:     285000 | #Constraints:      26931
1515.05/1519.38	c #Conflicts:     286000 | #Constraints:      27931
1515.05/1519.38	c #Conflicts:     287000 | #Constraints:      28931
1515.05/1519.38	c #Conflicts:     288000 | #Constraints:      29931
1515.05/1519.38	c INPROCESSING
1515.05/1519.38	c GARBAGE COLLECT
1515.05/1519.38	c #Conflicts:     289000 | #Constraints:      20308
1515.05/1519.38	c #Conflicts:     290000 | #Constraints:      21308
1515.05/1519.38	c GLOBAL bounds - >= 0 @ 1504.66
1523.03/1527.35	c #Conflicts:     291000 | #Constraints:      22310
1523.03/1527.35	c GLOBAL bounds - >= 0 @ 1512.55
1532.30/1536.66	c #Conflicts:     292000 | #Constraints:      23312
1532.30/1536.66	c #Conflicts:     293000 | #Constraints:      24312
1532.30/1536.66	c GLOBAL bounds - >= 0 @ 1521.78
1549.96/1554.34	c #Conflicts:     294000 | #Constraints:      25314
1549.96/1554.34	c #Conflicts:     295000 | #Constraints:      26314
1549.96/1554.34	c #Conflicts:     296000 | #Constraints:      27314
1549.96/1554.34	c GLOBAL bounds - >= 0 @ 1539.33
1577.98/1582.42	c #Conflicts:     297000 | #Constraints:      28316
1577.98/1582.42	c #Conflicts:     298000 | #Constraints:      29316
1577.98/1582.42	c #Conflicts:     299000 | #Constraints:      30316
1577.98/1582.42	c INPROCESSING
1577.98/1582.42	c GARBAGE COLLECT
1577.98/1582.42	c #Conflicts:     300000 | #Constraints:      20510
1577.98/1582.42	c #Conflicts:     301000 | #Constraints:      21510
1577.98/1582.42	c GLOBAL bounds - >= 0 @ 1567.18
1643.11/1647.72	c #Conflicts:     302000 | #Constraints:      22512
1643.11/1647.72	c #Conflicts:     303000 | #Constraints:      23512
1643.11/1647.72	c #Conflicts:     304000 | #Constraints:      24512
1643.11/1647.72	c #Conflicts:     305000 | #Constraints:      25512
1643.11/1647.72	c #Conflicts:     306000 | #Constraints:      26512
1643.11/1647.72	c #Conflicts:     307000 | #Constraints:      27512
1643.11/1647.72	c #Conflicts:     308000 | #Constraints:      28512
1643.11/1647.72	c #Conflicts:     309000 | #Constraints:      29512
1643.11/1647.72	c GLOBAL bounds - >= 0 @ 1631.95
1709.73/1714.52	c #Conflicts:     310000 | #Constraints:      30514
1709.73/1714.52	c INPROCESSING
1709.73/1714.52	c GARBAGE COLLECT
1709.73/1714.52	c #Conflicts:     311000 | #Constraints:      20489
1709.73/1714.52	c #Conflicts:     312000 | #Constraints:      21489
1709.73/1714.52	c #Conflicts:     313000 | #Constraints:      22489
1709.73/1714.52	c #Conflicts:     314000 | #Constraints:      23489
1709.73/1714.52	c #Conflicts:     315000 | #Constraints:      24489
1709.73/1714.52	c #Conflicts:     316000 | #Constraints:      25489
1709.73/1714.52	c #Conflicts:     317000 | #Constraints:      26489
1709.73/1714.52	c #Conflicts:     318000 | #Constraints:      27489
1709.73/1714.52	c #Conflicts:     319000 | #Constraints:      28489
1709.73/1714.52	c #Conflicts:     320000 | #Constraints:      29489
1709.73/1714.52	c GLOBAL bounds - >= 0 @ 1698.16
1745.33/1750.28	c #Conflicts:     321000 | #Constraints:      30491
1745.33/1750.28	c INPROCESSING
1745.33/1750.28	c GARBAGE COLLECT
1745.33/1750.28	c #Conflicts:     322000 | #Constraints:      20305
1745.33/1750.28	c #Conflicts:     323000 | #Constraints:      21305
1745.33/1750.28	c #Conflicts:     324000 | #Constraints:      22305
1745.33/1750.28	c #Conflicts:     325000 | #Constraints:      23305
1745.33/1750.28	c #Conflicts:     326000 | #Constraints:      24305
1745.33/1750.28	c #Conflicts:     327000 | #Constraints:      25305
1745.33/1750.28	c #Conflicts:     328000 | #Constraints:      26305
1745.33/1750.28	c GLOBAL bounds - >= 0 @ 1733.66
1801.77/1806.84	c #Conflicts:     329000 | #Constraints:      27307
1801.77/1806.84	c #Conflicts:     330000 | #Constraints:      28307
1801.77/1806.84	c #Conflicts:     331000 | #Constraints:      29307
1801.77/1806.84	c #Conflicts:     332000 | #Constraints:      30307
1801.77/1806.84	c #Conflicts:     333000 | #Constraints:      31307
1801.77/1806.84	c INPROCESSING
1801.77/1806.84	c GARBAGE COLLECT
1801.77/1806.84	c #Conflicts:     334000 | #Constraints:      20919
1801.77/1806.84	c #Conflicts:     335000 | #Constraints:      21919
1801.77/1806.84	c #Conflicts:     336000 | #Constraints:      22919
1801.77/1806.84	c #Conflicts:     337000 | #Constraints:      23919
1801.77/1806.84	c #Conflicts:     338000 | #Constraints:      24919
1801.77/1806.84	c #Conflicts:     339000 | #Constraints:      25919
1801.77/1806.84	c GLOBAL bounds - >= 0 @ 1789.96
1806.66/1811.74	c #Conflicts:     340000 | #Constraints:      26921
1806.66/1811.74	c GLOBAL bounds - >= 0 @ 1794.82
1814.85/1819.96	c #Conflicts:     341000 | #Constraints:      27923
1814.85/1819.96	c GLOBAL bounds - >= 0 @ 1802.97
1820.63/1825.72	c #Conflicts:     342000 | #Constraints:      28925
1820.63/1825.72	c GLOBAL bounds - >= 0 @ 1808.69
1822.03/1827.15	c #Conflicts:     343000 | #Constraints:      29927
1822.03/1827.15	c GLOBAL bounds - >= 0 @ 1810.11
1823.71/1828.82	c GLOBAL bounds - >= 0 @ 1811.77
1827.03/1832.16	c GLOBAL bounds - >= 0 @ 1815.07
1829.30/1834.44	c #Conflicts:     344000 | #Constraints:      30933
1829.30/1834.44	c GLOBAL bounds - >= 0 @ 1817.33
1833.90/1839.08	c GLOBAL bounds - >= 0 @ 1821.91
1836.28/1841.43	c GLOBAL bounds - >= 0 @ 1824.23
1842.36/1847.53	c #Conflicts:     345000 | #Constraints:      31939
1842.36/1847.53	c INPROCESSING
1842.36/1847.53	c GARBAGE COLLECT
1842.36/1847.53	c GLOBAL bounds - >= 0 @ 1830.27
1850.55/1855.77	c #Conflicts:     346000 | #Constraints:      21298
1850.55/1855.77	c GLOBAL bounds - >= 0 @ 1838.43
1862.02/1867.20	c #Conflicts:     347000 | #Constraints:      22300
1862.02/1867.20	c #Conflicts:     348000 | #Constraints:      23300
1862.02/1867.20	c #Conflicts:     349000 | #Constraints:      24300
1862.02/1867.20	c GLOBAL bounds - >= 0 @ 1849.79
1890.04/1895.38	c #Conflicts:     350000 | #Constraints:      25302
1890.04/1895.38	c #Conflicts:     351000 | #Constraints:      26302
1890.04/1895.38	c #Conflicts:     352000 | #Constraints:      27302
1890.04/1895.38	c #Conflicts:     353000 | #Constraints:      28302
1890.04/1895.38	c GLOBAL bounds - >= 0 @ 1877.75
1903.01/1908.34	c #Conflicts:     354000 | #Constraints:      29304
1903.01/1908.34	c GLOBAL bounds - >= 0 @ 1890.57
1905.60/1910.99	c #Conflicts:     355000 | #Constraints:      30306
1905.60/1910.99	c GLOBAL bounds - >= 0 @ 1893.19
1908.99/1914.30	c GLOBAL bounds - >= 0 @ 1896.49
1911.38/1916.73	c #Conflicts:     356000 | #Constraints:      31310
1911.38/1916.73	c GLOBAL bounds - >= 0 @ 1898.68
1917.56/1922.93	c #Conflicts:     357000 | #Constraints:      32312
1917.56/1922.93	c INPROCESSING
1917.56/1922.93	c GARBAGE COLLECT
1917.56/1922.93	c GLOBAL bounds - >= 0 @ 1904.76
1924.15/1929.52	c #Conflicts:     358000 | #Constraints:      21559
1924.15/1929.52	c GLOBAL bounds - >= 0 @ 1911.3
1926.45/1931.85	c #Conflicts:     359000 | #Constraints:      22561
1926.45/1931.85	c GLOBAL bounds - >= 0 @ 1913.61
1931.92/1937.35	c #Conflicts:     360000 | #Constraints:      23563
1931.92/1937.35	c GLOBAL bounds - >= 0 @ 1919.07
1945.61/1951.07	c #Conflicts:     361000 | #Constraints:      24565
1945.61/1951.07	c #Conflicts:     362000 | #Constraints:      25565
1945.61/1951.07	c GLOBAL bounds - >= 0 @ 1932.69
1977.10/1982.67	c #Conflicts:     363000 | #Constraints:      26567
1977.10/1982.67	c #Conflicts:     364000 | #Constraints:      27567
1977.10/1982.67	c #Conflicts:     365000 | #Constraints:      28567
1977.10/1982.67	c #Conflicts:     366000 | #Constraints:      29567
1977.10/1982.67	c #Conflicts:     367000 | #Constraints:      30567
1977.10/1982.67	c GLOBAL bounds - >= 0 @ 1963.98
2004.14/2009.79	c #Conflicts:     368000 | #Constraints:      31569
2004.14/2009.79	c #Conflicts:     369000 | #Constraints:      32569
2004.14/2009.79	c INPROCESSING
2004.14/2009.79	c GARBAGE COLLECT
2004.14/2009.79	c #Conflicts:     370000 | #Constraints:      21592
2004.14/2009.79	c GLOBAL bounds - >= 0 @ 1990.84
2015.10/2020.74	c #Conflicts:     371000 | #Constraints:      22594
2015.10/2020.74	c #Conflicts:     372000 | #Constraints:      23594
2015.10/2020.74	c GLOBAL bounds - >= 0 @ 2001.69
2019.20/2024.87	c #Conflicts:     373000 | #Constraints:      24596
2019.20/2024.87	c GLOBAL bounds - >= 0 @ 2005.78
2023.29/2028.92	c #Conflicts:     374000 | #Constraints:      25598
2023.29/2028.92	c GLOBAL bounds - >= 0 @ 2009.79
2025.18/2030.81	c GLOBAL bounds - >= 0 @ 2011.66
2028.97/2034.61	c #Conflicts:     375000 | #Constraints:      26602
2028.97/2034.61	c GLOBAL bounds - >= 0 @ 2015.44
2034.85/2040.52	c #Conflicts:     376000 | #Constraints:      27604
2034.85/2040.52	c GLOBAL bounds - >= 0 @ 2021.28
2091.21/2097.10	c #Conflicts:     377000 | #Constraints:      28606
2091.21/2097.10	c #Conflicts:     378000 | #Constraints:      29606
2091.21/2097.10	c #Conflicts:     379000 | #Constraints:      30606
2091.21/2097.10	c #Conflicts:     380000 | #Constraints:      31606
2091.21/2097.10	c #Conflicts:     381000 | #Constraints:      32606
2091.21/2097.10	c INPROCESSING
2091.21/2097.10	c GARBAGE COLLECT
2091.21/2097.10	c #Conflicts:     382000 | #Constraints:      21408
2091.21/2097.10	c #Conflicts:     383000 | #Constraints:      22408
2091.21/2097.10	c #Conflicts:     384000 | #Constraints:      23408
2091.21/2097.10	c #Conflicts:     385000 | #Constraints:      24408
2091.21/2097.10	c #Conflicts:     386000 | #Constraints:      25408
2091.21/2097.10	c #Conflicts:     387000 | #Constraints:      26408
2091.21/2097.10	c GLOBAL bounds - >= 0 @ 2077.5
2183.07/2189.12	c #Conflicts:     388000 | #Constraints:      27410
2183.07/2189.12	c #Conflicts:     389000 | #Constraints:      28410
2183.07/2189.12	c #Conflicts:     390000 | #Constraints:      29410
2183.07/2189.12	c #Conflicts:     391000 | #Constraints:      30410
2183.07/2189.12	c #Conflicts:     392000 | #Constraints:      31410
2183.07/2189.12	c #Conflicts:     393000 | #Constraints:      32410
2183.07/2189.12	c #Conflicts:     394000 | #Constraints:      33410
2183.07/2189.12	c INPROCESSING
2183.07/2189.12	c GARBAGE COLLECT
2183.07/2189.12	c #Conflicts:     395000 | #Constraints:      22010
2183.07/2189.12	c #Conflicts:     396000 | #Constraints:      23010
2183.07/2189.12	c #Conflicts:     397000 | #Constraints:      24010
2183.07/2189.12	c #Conflicts:     398000 | #Constraints:      25010
2183.07/2189.12	c #Conflicts:     399000 | #Constraints:      26010
2183.07/2189.12	c GLOBAL bounds - >= 0 @ 2168.8
2187.54/2193.67	c #Conflicts:     400000 | #Constraints:      27012
2187.54/2193.67	c GLOBAL bounds - >= 0 @ 2173.3
2206.59/2212.76	c #Conflicts:     401000 | #Constraints:      28014
2206.59/2212.76	c #Conflicts:     402000 | #Constraints:      29014
2206.59/2212.76	c #Conflicts:     403000 | #Constraints:      30014
2206.59/2212.76	c GLOBAL bounds - >= 0 @ 2192.29
2226.13/2232.37	c #Conflicts:     404000 | #Constraints:      31016
2226.13/2232.37	c #Conflicts:     405000 | #Constraints:      32016
2226.13/2232.37	c #Conflicts:     406000 | #Constraints:      33016
2226.13/2232.37	c #Conflicts:     407000 | #Constraints:      34016
2226.13/2232.37	c INPROCESSING
2226.13/2232.37	c GARBAGE COLLECT
2226.13/2232.37	c GLOBAL bounds - >= 0 @ 2211.74
2235.41/2241.66	c #Conflicts:     408000 | #Constraints:      22416
2235.41/2241.66	c GLOBAL bounds - >= 0 @ 2220.92
2243.29/2249.51	c #Conflicts:     409000 | #Constraints:      23418
2243.29/2249.51	c #Conflicts:     410000 | #Constraints:      24418
2243.29/2249.51	c GLOBAL bounds - >= 0 @ 2228.71
2245.28/2251.58	c GLOBAL bounds - >= 0 @ 2230.75
2247.18/2253.47	c #Conflicts:     411000 | #Constraints:      25422
2247.18/2253.47	c GLOBAL bounds - >= 0 @ 2232.63
2250.08/2256.32	c GLOBAL bounds - >= 0 @ 2235.46
2252.57/2258.81	c GLOBAL bounds - >= 0 @ 2237.92
2275.60/2281.98	c #Conflicts:     412000 | #Constraints:      26428
2275.60/2281.98	c #Conflicts:     413000 | #Constraints:      27428
2275.60/2281.98	c #Conflicts:     414000 | #Constraints:      28428
2275.60/2281.98	c #Conflicts:     415000 | #Constraints:      29428
2275.60/2281.98	c GLOBAL bounds - >= 0 @ 2260.92
2312.41/2318.89	c #Conflicts:     416000 | #Constraints:      30430
2312.41/2318.89	c #Conflicts:     417000 | #Constraints:      31430
2312.41/2318.89	c #Conflicts:     418000 | #Constraints:      32430
2312.41/2318.89	c #Conflicts:     419000 | #Constraints:      33430
2312.41/2318.89	c GLOBAL bounds - >= 0 @ 2297.49
2341.53/2348.01	c #Conflicts:     420000 | #Constraints:      34432
2341.53/2348.01	c INPROCESSING
2341.53/2348.01	c GARBAGE COLLECT
2341.53/2348.01	c #Conflicts:     421000 | #Constraints:      22579
2341.53/2348.01	c #Conflicts:     422000 | #Constraints:      23579
2341.53/2348.01	c #Conflicts:     423000 | #Constraints:      24579
2341.53/2348.01	c #Conflicts:     424000 | #Constraints:      25579
2341.53/2348.01	c GLOBAL bounds - >= 0 @ 2326.42
2366.25/2372.84	c #Conflicts:     425000 | #Constraints:      26581
2366.25/2372.84	c #Conflicts:     426000 | #Constraints:      27581
2366.25/2372.84	c #Conflicts:     427000 | #Constraints:      28581
2366.25/2372.84	c #Conflicts:     428000 | #Constraints:      29581
2366.25/2372.84	c #Conflicts:     429000 | #Constraints:      30581
2366.25/2372.84	c GLOBAL bounds - >= 0 @ 2351.13
2621.46/2628.71	c #Conflicts:     430000 | #Constraints:      31583
2621.46/2628.71	c #Conflicts:     431000 | #Constraints:      32583
2621.46/2628.71	c #Conflicts:     432000 | #Constraints:      33583
2621.46/2628.71	c #Conflicts:     433000 | #Constraints:      34583
2621.46/2628.71	c INPROCESSING
2621.46/2628.71	c GARBAGE COLLECT
2621.46/2628.71	c #Conflicts:     434000 | #Constraints:      22605
2621.46/2628.71	c #Conflicts:     435000 | #Constraints:      23605
2621.46/2628.71	c #Conflicts:     436000 | #Constraints:      24605
2621.46/2628.71	c #Conflicts:     437000 | #Constraints:      25605
2621.46/2628.71	c #Conflicts:     438000 | #Constraints:      26605
2621.46/2628.71	c #Conflicts:     439000 | #Constraints:      27605
2621.46/2628.71	c #Conflicts:     440000 | #Constraints:      28605
2621.46/2628.71	c #Conflicts:     441000 | #Constraints:      29605
2621.46/2628.71	c #Conflicts:     442000 | #Constraints:      30605
2621.46/2628.71	c #Conflicts:     443000 | #Constraints:      31605
2621.46/2628.71	c #Conflicts:     444000 | #Constraints:      32605
2621.46/2628.71	c #Conflicts:     445000 | #Constraints:      33605
2621.46/2628.71	c #Conflicts:     446000 | #Constraints:      34605
2621.46/2628.71	c INPROCESSING
2621.46/2628.71	c GARBAGE COLLECT
2621.46/2628.71	c #Conflicts:     447000 | #Constraints:      22428
2621.46/2628.71	c #Conflicts:     448000 | #Constraints:      23428
2621.46/2628.71	c #Conflicts:     449000 | #Constraints:      24428
2621.46/2628.71	c #Conflicts:     450000 | #Constraints:      25428
2621.46/2628.71	c #Conflicts:     451000 | #Constraints:      26428
2621.46/2628.71	c #Conflicts:     452000 | #Constraints:      27428
2621.46/2628.71	c #Conflicts:     453000 | #Constraints:      28428
2621.46/2628.71	c #Conflicts:     454000 | #Constraints:      29428
2621.46/2628.71	c #Conflicts:     455000 | #Constraints:      30428
2621.46/2628.71	c #Conflicts:     456000 | #Constraints:      31428
2621.46/2628.71	c #Conflicts:     457000 | #Constraints:      32428
2621.46/2628.71	c #Conflicts:     458000 | #Constraints:      33428
2621.46/2628.71	c #Conflicts:     459000 | #Constraints:      34428
2621.46/2628.71	c #Conflicts:     460000 | #Constraints:      35428
2621.46/2628.71	c INPROCESSING
2621.46/2628.71	c GARBAGE COLLECT
2621.46/2628.71	c #Conflicts:     461000 | #Constraints:      23051
2621.46/2628.71	c #Conflicts:     462000 | #Constraints:      24051
2621.46/2628.71	c #Conflicts:     463000 | #Constraints:      25051
2621.46/2628.71	c #Conflicts:     464000 | #Constraints:      26051
2621.46/2628.71	c #Conflicts:     465000 | #Constraints:      27051
2621.46/2628.71	c #Conflicts:     466000 | #Constraints:      28051
2621.46/2628.71	c #Conflicts:     467000 | #Constraints:      29051
2621.46/2628.71	c #Conflicts:     468000 | #Constraints:      30051
2621.46/2628.71	c #Conflicts:     469000 | #Constraints:      31051
2621.46/2628.71	c #Conflicts:     470000 | #Constraints:      32051
2621.46/2628.71	c #Conflicts:     471000 | #Constraints:      33051
2621.46/2628.71	c #Conflicts:     472000 | #Constraints:      34051
2621.46/2628.71	c #Conflicts:     473000 | #Constraints:      35051
2621.46/2628.71	c #Conflicts:     474000 | #Constraints:      36051
2621.46/2628.71	c INPROCESSING
2621.46/2628.71	c GARBAGE COLLECT
2621.46/2628.71	c GLOBAL bounds - >= 0 @ 2605.93
2672.52/2679.98	c #Conflicts:     475000 | #Constraints:      23448
2672.52/2679.98	c #Conflicts:     476000 | #Constraints:      24448
2672.52/2679.98	c #Conflicts:     477000 | #Constraints:      25448
2672.52/2679.98	c #Conflicts:     478000 | #Constraints:      26448
2672.52/2679.98	c #Conflicts:     479000 | #Constraints:      27448
2672.52/2679.98	c #Conflicts:     480000 | #Constraints:      28448
2672.52/2679.98	c #Conflicts:     481000 | #Constraints:      29448
2672.52/2679.98	c #Conflicts:     482000 | #Constraints:      30448
2672.52/2679.98	c #Conflicts:     483000 | #Constraints:      31448
2672.52/2679.98	c #Conflicts:     484000 | #Constraints:      32448
2672.52/2679.98	c #Conflicts:     485000 | #Constraints:      33448
2672.52/2679.98	c #Conflicts:     486000 | #Constraints:      34448
2672.52/2679.98	c #Conflicts:     487000 | #Constraints:      35448
2672.52/2679.98	c #Conflicts:     488000 | #Constraints:      36448
2672.52/2679.98	c INPROCESSING
2672.52/2679.98	c GARBAGE COLLECT
2672.52/2679.98	c GLOBAL bounds - >= 0 @ 2656.95
2840.97/2848.81	c #Conflicts:     489000 | #Constraints:      23644
2840.97/2848.81	c #Conflicts:     490000 | #Constraints:      24644
2840.97/2848.81	c #Conflicts:     491000 | #Constraints:      25644
2840.97/2848.81	c #Conflicts:     492000 | #Constraints:      26644
2840.97/2848.81	c #Conflicts:     493000 | #Constraints:      27644
2840.97/2848.81	c #Conflicts:     494000 | #Constraints:      28644
2840.97/2848.81	c #Conflicts:     495000 | #Constraints:      29644
2840.97/2848.81	c #Conflicts:     496000 | #Constraints:      30644
2840.97/2848.81	c #Conflicts:     497000 | #Constraints:      31644
2840.97/2848.81	c #Conflicts:     498000 | #Constraints:      32644
2840.97/2848.81	c #Conflicts:     499000 | #Constraints:      33644
2840.97/2848.81	c #Conflicts:     500000 | #Constraints:      34644
2840.97/2848.81	c #Conflicts:     501000 | #Constraints:      35644
2840.97/2848.81	c #Conflicts:     502000 | #Constraints:      36644
2840.97/2848.81	c INPROCESSING
2840.97/2848.81	c GARBAGE COLLECT
2840.97/2848.81	c #Conflicts:     503000 | #Constraints:      23636
2840.97/2848.81	c #Conflicts:     504000 | #Constraints:      24636
2840.97/2848.81	c #Conflicts:     505000 | #Constraints:      25636
2840.97/2848.81	c #Conflicts:     506000 | #Constraints:      26636
2840.97/2848.81	c #Conflicts:     507000 | #Constraints:      27636
2840.97/2848.81	c #Conflicts:     508000 | #Constraints:      28636
2840.97/2848.81	c #Conflicts:     509000 | #Constraints:      29636
2840.97/2848.81	c #Conflicts:     510000 | #Constraints:      30636
2840.97/2848.81	c #Conflicts:     511000 | #Constraints:      31636
2840.97/2848.81	c #Conflicts:     512000 | #Constraints:      32636
2840.97/2848.81	c #Conflicts:     513000 | #Constraints:      33636
2840.97/2848.81	c #Conflicts:     514000 | #Constraints:      34636
2840.97/2848.81	c #Conflicts:     515000 | #Constraints:      35636
2840.97/2848.81	c #Conflicts:     516000 | #Constraints:      36636
2840.97/2848.81	c INPROCESSING
2840.97/2848.81	c GARBAGE COLLECT
2840.97/2848.81	c #Conflicts:     517000 | #Constraints:      23431
2840.97/2848.81	c #Conflicts:     518000 | #Constraints:      24431
2840.97/2848.81	c #Conflicts:     519000 | #Constraints:      25431
2840.97/2848.81	c #Conflicts:     520000 | #Constraints:      26431
2840.97/2848.81	c #Conflicts:     521000 | #Constraints:      27431
2840.97/2848.81	c #Conflicts:     522000 | #Constraints:      28431
2840.97/2848.81	c #Conflicts:     523000 | #Constraints:      29431
2840.97/2848.81	c #Conflicts:     524000 | #Constraints:      30431
2840.97/2848.81	c #Conflicts:     525000 | #Constraints:      31431
2840.97/2848.81	c #Conflicts:     526000 | #Constraints:      32431
2840.97/2848.81	c #Conflicts:     527000 | #Constraints:      33431
2840.97/2848.81	c #Conflicts:     528000 | #Constraints:      34431
2840.97/2848.81	c #Conflicts:     529000 | #Constraints:      35431
2840.97/2848.81	c GLOBAL bounds - >= 0 @ 2824.93
2842.66/2850.54	c GLOBAL bounds - >= 0 @ 2826.65
2845.35/2853.27	c GLOBAL bounds - >= 0 @ 2829.36
2861.02/2868.92	c #Conflicts:     530000 | #Constraints:      36437
2861.02/2868.92	c #Conflicts:     531000 | #Constraints:      37437
2861.02/2868.92	c INPROCESSING
2861.02/2868.92	c GARBAGE COLLECT
2861.02/2868.92	c #Conflicts:     532000 | #Constraints:      24015
2861.02/2868.92	c GLOBAL bounds - >= 0 @ 2844.88
2865.60/2873.54	c GLOBAL bounds - >= 0 @ 2849.46
2869.40/2877.32	c #Conflicts:     533000 | #Constraints:      25019
2869.40/2877.32	c GLOBAL bounds - >= 0 @ 2853.19
2936.61/2944.70	c #Conflicts:     534000 | #Constraints:      26021
2936.61/2944.70	c #Conflicts:     535000 | #Constraints:      27021
2936.61/2944.70	c #Conflicts:     536000 | #Constraints:      28021
2936.61/2944.70	c #Conflicts:     537000 | #Constraints:      29021
2936.61/2944.70	c #Conflicts:     538000 | #Constraints:      30021
2936.61/2944.70	c #Conflicts:     539000 | #Constraints:      31021
2936.61/2944.70	c #Conflicts:     540000 | #Constraints:      32021
2936.61/2944.70	c #Conflicts:     541000 | #Constraints:      33021
2936.61/2944.70	c #Conflicts:     542000 | #Constraints:      34021
2936.61/2944.70	c GLOBAL bounds - >= 0 @ 2920.08
2990.56/2998.85	c #Conflicts:     543000 | #Constraints:      35023
2990.56/2998.85	c #Conflicts:     544000 | #Constraints:      36023
2990.56/2998.85	c #Conflicts:     545000 | #Constraints:      37023
2990.56/2998.85	c #Conflicts:     546000 | #Constraints:      38023
2990.56/2998.85	c INPROCESSING
2990.56/2998.85	c GARBAGE COLLECT
2990.56/2998.85	c #Conflicts:     547000 | #Constraints:      24435
2990.56/2998.85	c GLOBAL bounds - >= 0 @ 2973.67
2998.54/3006.82	c #Conflicts:     548000 | #Constraints:      25437
2998.54/3006.82	c GLOBAL bounds - >= 0 @ 2981.56
3003.84/3012.18	c #Conflicts:     549000 | #Constraints:      26439
3003.84/3012.18	c GLOBAL bounds - >= 0 @ 2986.87
3013.72/3022.08	c #Conflicts:     550000 | #Constraints:      27441
3013.72/3022.08	c #Conflicts:     551000 | #Constraints:      28441
3013.72/3022.08	c GLOBAL bounds - >= 0 @ 2996.69
3028.06/3036.45	c #Conflicts:     552000 | #Constraints:      29443
3028.06/3036.45	c #Conflicts:     553000 | #Constraints:      30443
3028.06/3036.45	c GLOBAL bounds - >= 0 @ 3010.94
3032.55/3040.95	c #Conflicts:     554000 | #Constraints:      31445
3032.55/3040.95	c GLOBAL bounds - >= 0 @ 3015.43
3041.53/3049.97	c #Conflicts:     555000 | #Constraints:      32447
3041.53/3049.97	c GLOBAL bounds - >= 0 @ 3024.37
3046.11/3054.51	c #Conflicts:     556000 | #Constraints:      33449
3046.11/3054.51	c GLOBAL bounds - >= 0 @ 3028.88
3077.42/3085.92	c #Conflicts:     557000 | #Constraints:      34451
3077.42/3085.92	c #Conflicts:     558000 | #Constraints:      35451
3077.42/3085.92	c #Conflicts:     559000 | #Constraints:      36451
3077.42/3085.92	c #Conflicts:     560000 | #Constraints:      37451
3077.42/3085.92	c GLOBAL bounds - >= 0 @ 3060.04
3081.01/3089.56	c GLOBAL bounds - >= 0 @ 3063.61
3098.86/3107.46	c #Conflicts:     561000 | #Constraints:      38455
3098.86/3107.46	c INPROCESSING
3098.86/3107.46	c GARBAGE COLLECT
3098.86/3107.46	c #Conflicts:     562000 | #Constraints:      24602
3098.86/3107.46	c #Conflicts:     563000 | #Constraints:      25602
3098.86/3107.46	c #Conflicts:     564000 | #Constraints:      26602
3098.86/3107.46	c GLOBAL bounds - >= 0 @ 3081.43
3101.26/3109.85	c GLOBAL bounds - >= 0 @ 3083.79
3127.88/3136.50	c #Conflicts:     565000 | #Constraints:      27606
3127.88/3136.50	c #Conflicts:     566000 | #Constraints:      28606
3127.88/3136.50	c #Conflicts:     567000 | #Constraints:      29606
3127.88/3136.50	c #Conflicts:     568000 | #Constraints:      30606
3127.88/3136.50	c GLOBAL bounds - >= 0 @ 3110.33
3132.77/3141.40	c #Conflicts:     569000 | #Constraints:      31608
3132.77/3141.40	c GLOBAL bounds - >= 0 @ 3115.18
3152.61/3161.32	c #Conflicts:     570000 | #Constraints:      32610
3152.61/3161.32	c #Conflicts:     571000 | #Constraints:      33610
3152.61/3161.32	c GLOBAL bounds - >= 0 @ 3134.91
3157.90/3166.66	c #Conflicts:     572000 | #Constraints:      34612
3157.90/3166.66	c GLOBAL bounds - >= 0 @ 3140.21
3165.29/3174.06	c #Conflicts:     573000 | #Constraints:      35614
3165.29/3174.06	c GLOBAL bounds - >= 0 @ 3147.55
3170.76/3179.52	c GLOBAL bounds - >= 0 @ 3152.96
3173.76/3182.50	c #Conflicts:     574000 | #Constraints:      36618
3173.76/3182.50	c GLOBAL bounds - >= 0 @ 3155.91
3186.82/3195.68	c #Conflicts:     575000 | #Constraints:      37620
3186.82/3195.68	c GLOBAL bounds - >= 0 @ 3168.98
3238.77/3247.71	c #Conflicts:     576000 | #Constraints:      38622
3238.77/3247.71	c INPROCESSING
3238.77/3247.71	c GARBAGE COLLECT
3238.77/3247.71	c #Conflicts:     577000 | #Constraints:      24649
3238.77/3247.71	c #Conflicts:     578000 | #Constraints:      25649
3238.77/3247.71	c #Conflicts:     579000 | #Constraints:      26649
3238.77/3247.71	c #Conflicts:     580000 | #Constraints:      27649
3238.77/3247.71	c #Conflicts:     581000 | #Constraints:      28649
3238.77/3247.71	c GLOBAL bounds - >= 0 @ 3220.55
3285.45/3294.53	c #Conflicts:     582000 | #Constraints:      29651
3285.45/3294.53	c #Conflicts:     583000 | #Constraints:      30651
3285.45/3294.53	c #Conflicts:     584000 | #Constraints:      31651
3285.45/3294.53	c #Conflicts:     585000 | #Constraints:      32651
3285.45/3294.53	c #Conflicts:     586000 | #Constraints:      33651
3285.45/3294.53	c #Conflicts:     587000 | #Constraints:      34651
3285.45/3294.53	c #Conflicts:     588000 | #Constraints:      35651
3285.45/3294.53	c GLOBAL bounds - >= 0 @ 3267.07
3308.90/3318.04	c #Conflicts:     589000 | #Constraints:      36653
3308.90/3318.04	c #Conflicts:     590000 | #Constraints:      37653
3308.90/3318.04	c #Conflicts:     591000 | #Constraints:      38653
3308.90/3318.04	c GLOBAL bounds - >= 0 @ 3290.4
3328.03/3337.22	c INPROCESSING
3328.03/3337.22	c GARBAGE COLLECT
3328.03/3337.22	c #Conflicts:     592000 | #Constraints:      24471
3328.03/3337.22	c #Conflicts:     593000 | #Constraints:      25471
3328.03/3337.22	c GLOBAL bounds - >= 0 @ 3309.43
3358.86/3368.19	c #Conflicts:     594000 | #Constraints:      26473
3358.86/3368.19	c #Conflicts:     595000 | #Constraints:      27473
3358.86/3368.19	c #Conflicts:     596000 | #Constraints:      28473
3358.86/3368.19	c #Conflicts:     597000 | #Constraints:      29473
3358.86/3368.19	c GLOBAL bounds - >= 0 @ 3340.18
3379.89/3389.25	c #Conflicts:     598000 | #Constraints:      30475
3379.89/3389.25	c #Conflicts:     599000 | #Constraints:      31475
3379.89/3389.25	c GLOBAL bounds - >= 0 @ 3361.07
3381.70/3391.02	c #Conflicts:     600000 | #Constraints:      32477
3381.70/3391.02	c GLOBAL bounds - >= 0 @ 3362.83
3390.56/3399.98	c #Conflicts:     601000 | #Constraints:      33479
3390.56/3399.98	c GLOBAL bounds - >= 0 @ 3371.73
3394.35/3403.70	c GLOBAL bounds - >= 0 @ 3375.42
3396.84/3406.26	c #Conflicts:     602000 | #Constraints:      34483
3396.84/3406.26	c GLOBAL bounds - >= 0 @ 3377.96
3424.67/3434.17	c #Conflicts:     603000 | #Constraints:      35485
3424.67/3434.17	c #Conflicts:     604000 | #Constraints:      36485
3424.67/3434.17	c #Conflicts:     605000 | #Constraints:      37485
3424.67/3434.17	c GLOBAL bounds - >= 0 @ 3405.68
3556.39/3566.22	c #Conflicts:     606000 | #Constraints:      38487
3556.39/3566.22	c #Conflicts:     607000 | #Constraints:      39487
3556.39/3566.22	c INPROCESSING
3556.39/3566.22	c GARBAGE COLLECT
3556.39/3566.22	c #Conflicts:     608000 | #Constraints:      25076
3556.39/3566.22	c #Conflicts:     609000 | #Constraints:      26076
3556.39/3566.22	c #Conflicts:     610000 | #Constraints:      27076
3556.39/3566.22	c #Conflicts:     611000 | #Constraints:      28076
3556.39/3566.22	c #Conflicts:     612000 | #Constraints:      29076
3556.39/3566.22	c #Conflicts:     613000 | #Constraints:      30076
3556.39/3566.22	c #Conflicts:     614000 | #Constraints:      31076
3556.39/3566.22	c #Conflicts:     615000 | #Constraints:      32076
3556.39/3566.22	c #Conflicts:     616000 | #Constraints:      33076
3556.39/3566.22	c #Conflicts:     617000 | #Constraints:      34076
3556.39/3566.22	c #Conflicts:     618000 | #Constraints:      35076
3556.39/3566.22	c #Conflicts:     619000 | #Constraints:      36076
3556.39/3566.22	c #Conflicts:     620000 | #Constraints:      37076
3556.39/3566.22	c #Conflicts:     621000 | #Constraints:      38076
3556.39/3566.22	c #Conflicts:     622000 | #Constraints:      39076
3556.39/3566.22	c #Conflicts:     623000 | #Constraints:      40076
3556.39/3566.22	c INPROCESSING
3556.39/3566.22	c GARBAGE COLLECT
3556.39/3566.22	c GLOBAL bounds - >= 0 @ 3536.93
3600.10/3610.01	c #Conflicts:     624000 | #Constraints:      25484
3600.10/3610.01	c #Conflicts:     625000 | #Constraints:      26484
3600.10/3610.01	c #Conflicts:     626000 | #Constraints:      27484
3600.10/3610.01	c #Conflicts:     627000 | #Constraints:      28484
3600.10/3610.01	c #Conflicts:     628000 | #Constraints:      29484
3600.10/3610.01	c #Conflicts:     629000 | #Constraints:      30484
3600.10/3610.01	c cpu time 3580.49 s
3600.10/3610.01	c deterministic time 1 1.00e+00
3600.10/3610.01	c optimization time 3580.41 s
3600.10/3610.01	c total solve time 0 s
3600.10/3610.01	c core-guided solve time 0 s
3600.10/3610.01	c propagation time 0.007056 s
3600.10/3610.01	c conflict analysis time 0 s
3600.10/3610.01	c propagations 0
3600.10/3610.01	c resolve steps 0
3600.10/3610.01	c decisions 0
3600.10/3610.01	c conflicts 0
3600.10/3610.01	c restarts 0
3600.10/3610.01	c inprocessing phases 0
3600.10/3610.01	c garbage collections 0 ,( -nan )
3600.10/3610.01	c input clauses 8170 ,( 100.00 )
3600.10/3610.01	c input cardinalities 0 ,( 0.00 )
3600.10/3610.01	c input general constraints 0 ,( 0.00 )
3600.10/3610.01	c input average constraint length 4.00
3600.10/3610.01	c input average constraint degree 1.00
3600.10/3610.01	c learned clauses 0 ,( 0.00 )
3600.10/3610.01	c learned cardinalities 0 ,( 0.00 )
3600.10/3610.01	c learned general constraints 0 ,( 0.00 )
3600.10/3610.01	c learned average constraint length 0.00
3600.10/3610.01	c learned average constraint degree 0.00
3600.10/3610.01	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.10/3610.01	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.10/3610.01	c watched   constraints 0 ,( -nan ) 
3600.10/3610.01	c counting  constraints 0 ,( -nan ) 
3600.10/3610.01	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.10/3610.01	c gcd simplifications 0
3600.10/3610.01	c detected cardinalities 0
3600.10/3610.01	c weakened non-implied lits 0
3600.10/3610.01	c weakened non-implying lits 0
3600.10/3610.01	c original variables 8170
3600.10/3610.01	c clausal propagations 0
3600.10/3610.01	c cardinality propagations 0
3600.10/3610.01	c watched propagations 0
3600.10/3610.01	c counting propagations 0
3600.10/3610.01	c watch lookups 0
3600.10/3610.01	c watch backjump lookups 0
3600.10/3610.01	c watch checks 0
3600.10/3610.01	c propagation checks 0
3600.10/3610.01	c constraint additions 0
3600.10/3610.01	c trail pops 0
3600.10/3610.01	c formula constraints 8170
3600.10/3610.01	c learned constraints 0
3600.10/3610.01	c bound constraints 0
3600.10/3610.01	c core-guided constraints 0
3600.10/3610.01	c encountered formula constraints 0
3600.10/3610.01	c encountered learned constraints 0
3600.10/3610.01	c encountered bound constraints 0
3600.10/3610.01	c encountered core-guided constraints 0
3600.10/3610.01	c LP total time 0 s
3600.10/3610.01	c LP solve time 0 s
3600.10/3610.01	c LP constraints added 0
3600.10/3610.01	c LP constraints removed 0
3600.10/3610.01	c LP pivots internal 0
3600.10/3610.01	c LP pivots root 0
3600.10/3610.01	c LP calls 0
3600.10/3610.01	c LP optimalities 0
3600.10/3610.01	c LP no pivot count 0
3600.10/3610.01	c LP infeasibilities 0
3600.10/3610.01	c LP valid Farkas constraints 0
3600.10/3610.01	c LP learned Farkas constraints 0
3600.10/3610.01	c LP basis resets 0
3600.10/3610.01	c LP cycling count 0
3600.10/3610.01	c LP singular count 0
3600.10/3610.01	c LP no primal count 0
3600.10/3610.01	c LP no farkas count 0
3600.10/3610.01	c LP other issue count 0
3600.10/3610.01	c LP Gomory cuts 0
3600.10/3610.01	c LP learned cuts 0
3600.10/3610.01	c LP deleted cuts 0
3600.10/3610.01	c LP encountered Gomory constraints 0
3600.10/3610.01	c LP encountered Farkas constraints 0
3600.10/3610.01	c LP encountered learned Farkas constraints 0
3600.10/3610.01	c CG auxiliary variables introduced 0
3600.10/3610.01	c CG solutions found 0
3600.10/3610.01	c CG cores constructed 0
3600.10/3610.01	c CG core cardinality constraints returned 0
3600.10/3610.01	c CG unit cores 0
3600.10/3610.01	c CG single cores 0
3600.10/3610.01	c CG blocks removed during cardinality reduction 0
3600.10/3610.01	c CG first core best 0
3600.10/3610.01	c CG decision core best 0
3600.10/3610.01	c CG core reduction tie 0
3600.10/3610.01	c CG core degree average 0.00
3600.10/3610.01	c CG core slack average 0.00
3600.10/3610.01	c CG core upper bound improvements 0
3600.10/3610.01	c STR number of successful calls 0
3600.10/3610.01	c STR number of unsuccessful calls 0
3600.10/3610.01	c STR number of inconclusive calls 0
3600.10/3610.01	c STR number of successful attempts 0
3600.10/3610.01	c STR number of unsuccessful attempts 0
3600.10/3610.01	c STR number of inconclusive attempts 0
3600.10/3610.01	c STR average degree increase per successful call inf
3600.10/3610.01	c STR average degree increase per successful attempt inf
3600.10/3610.01	c STR total number of conflicts for successful attempts 0
3600.10/3610.01	c STR total number of conflicts for unsuccessful attempts 0
3600.10/3610.01	c STR total number of conflicts for inconclusive attempts 0
3600.10/3610.01	c STR average number of conflicts per successful attempt inf
3600.10/3610.01	c STR average number of conflicts per unsuccessful attempt inf
3600.10/3610.01	c STR average number of conflicts per inconclusive attempt inf
3600.10/3610.01	c AVG.sumWPerc -nan 
3600.10/3610.01	c bigint constraints 0 
3600.10/3610.01	s UNKNOWN
3600.10/3610.01	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: 63837 MiB (63105 MiB free)
  memory of node 1: 64465 MiB (63735 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520664-1751578586/watcher-4520664-1751578586 -o /tmp/evaluation-result-4520664-1751578586/solver-4520664-1751578586 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751574973-81855 --watchdog 3760 run-opt.sh HOME/instance-4520664-1751578586.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
solver pid=82273, runsolver pid=82267
Current StackSize limit: 8192 KiB


[startup+0.100068 s]*
/proc/loadavg: 4.09 4.13 4.16 5/256 82293
/proc/meminfo: memFree=129894572/131382120 swapFree=33010160/33010684
[pid=82273] ppid=82267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82273/stat : 82273 (run-opt.sh) S 82267 82273 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73537740 4292608 768 18446744073709551615 94598154862592 94598155757125 140725514958768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94598155996176 94598156043920 94598182703104 140725514967405 140725514967528 140725514967528 140725514973130 0
/proc/82273/statm: 1048 768 704 219 0 110 0
[pid=82276] ppid=82273 vsize=58096 memory=12164 CPUtime=0.07 cores=4,6
/proc/82276/stat : 82276 (roundingsat) R 82273 82273 81821 0 -1 4194304 1301 0 0 0 5 2 0 0 20 0 1 0 73537741 59490304 3041 18446744073709551615 4227072 8923433 140734555532016 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 41476096 140734555535778 140734555535912 140734555535912 140734555541482 0
/proc/82276/statm: 14524 3041 2208 1147 0 1951 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62288 KiB
Current children cumulated memory: 15236 KiB

[startup+0.220148 s]*
/proc/loadavg: 4.09 4.13 4.16 5/256 82293
/proc/meminfo: memFree=129862012/131382120 swapFree=33010160/33010684
[pid=82273] ppid=82267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82273/stat : 82273 (run-opt.sh) S 82267 82273 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73537740 4292608 768 18446744073709551615 94598154862592 94598155757125 140725514958768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94598155996176 94598156043920 94598182703104 140725514967405 140725514967528 140725514967528 140725514973130 0
/proc/82273/statm: 1048 768 704 219 0 110 0
[pid=82276] ppid=82273 vsize=74112 memory=25124 CPUtime=0.17 cores=4,6
/proc/82276/stat : 82276 (roundingsat) R 82273 82273 81821 0 -1 4194304 4970 0 0 0 11 6 0 0 20 0 1 0 73537741 75890688 6281 18446744073709551615 4227072 8923433 140734555532016 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 41476096 140734555535778 140734555535912 140734555535912 140734555541482 0
/proc/82276/statm: 18528 6281 2336 1147 0 5955 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 78304 KiB
Current children cumulated memory: 28196 KiB

[startup+0.313824 s]*
/proc/loadavg: 4.09 4.13 4.16 5/256 82293
/proc/meminfo: memFree=129849916/131382120 swapFree=33010160/33010684
[pid=82273] ppid=82267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82273/stat : 82273 (run-opt.sh) S 82267 82273 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73537740 4292608 768 18446744073709551615 94598154862592 94598155757125 140725514958768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94598155996176 94598156043920 94598182703104 140725514967405 140725514967528 140725514967528 140725514973130 0
/proc/82273/statm: 1048 768 704 219 0 110 0
[pid=82276] ppid=82273 vsize=74112 memory=25764 CPUtime=0.25 cores=4,6
/proc/82276/stat : 82276 (roundingsat) R 82273 82273 81821 0 -1 4194304 5145 0 0 0 17 8 0 0 20 0 1 0 73537741 75890688 6441 18446744073709551615 4227072 8923433 140734555532016 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 41476096 140734555535778 140734555535912 140734555535912 140734555541482 0
/proc/82276/statm: 18528 6441 2336 1147 0 5955 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 78304 KiB
Current children cumulated memory: 28836 KiB

[startup+0.700342 s]
/proc/loadavg: 4.09 4.13 4.16 5/256 82293
/proc/meminfo: memFree=129810104/131382120 swapFree=33010160/33010684
[pid=82273] ppid=82267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82273/stat : 82273 (run-opt.sh) S 82267 82273 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73537740 4292608 768 18446744073709551615 94598154862592 94598155757125 140725514958768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94598155996176 94598156043920 94598182703104 140725514967405 140725514967528 140725514967528 140725514973130 0
/proc/82273/statm: 1048 768 704 219 0 110 0
[pid=82276] ppid=82273 vsize=92132 memory=46508 CPUtime=0.59 cores=4,6
/proc/82276/stat : 82276 (roundingsat) R 82273 82273 81821 0 -1 4194304 9296 0 0 0 49 10 0 0 20 0 1 0 73537741 94343168 11627 18446744073709551615 4227072 8923433 140734555532016 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 41476096 140734555535778 140734555535912 140734555535912 140734555541482 0
/proc/82276/statm: 23033 11627 2336 1147 0 10460 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 96324 KiB
Current children cumulated memory: 49580 KiB

[startup+1.50027 s]
/proc/loadavg: 4.09 4.13 4.16 5/256 82293
/proc/meminfo: memFree=129687692/131382120 swapFree=33010160/33010684
[pid=82273] ppid=82267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82273/stat : 82273 (run-opt.sh) S 82267 82273 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73537740 4292608 768 18446744073709551615 94598154862592 94598155757125 140725514958768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94598155996176 94598156043920 94598182703104 140725514967405 140725514967528 140725514967528 140725514973130 0
/proc/82273/statm: 1048 768 704 219 0 110 0
[pid=82276] ppid=82273 vsize=155960 memory=110716 CPUtime=1.39 cores=4,6
/proc/82276/stat : 82276 (roundingsat) R 82273 82273 81821 0 -1 4194304 23288 0 0 0 122 17 0 0 20 0 1 0 73537741 159703040 27679 18446744073709551615 4227072 8923433 140734555532016 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 41476096 140734555535778 140734555535912 140734555535912 140734555541482 0
/proc/82276/statm: 38990 27679 2368 1147 0 26417 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 160152 KiB
Current children cumulated memory: 113788 KiB

[startup+3.10571 s]
/proc/loadavg: 4.09 4.13 4.16 5/256 82293
/proc/meminfo: memFree=129242464/131382120 swapFree=33010160/33010684
[pid=82273] ppid=82267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82273/stat : 82273 (run-opt.sh) S 82267 82273 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73537740 4292608 768 18446744073709551615 94598154862592 94598155757125 140725514958768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94598155996176 94598156043920 94598182703104 140725514967405 140725514967528 140725514967528 140725514973130 0
/proc/82273/statm: 1048 768 704 219 0 110 0
[pid=82276] ppid=82273 vsize=286436 memory=210532 CPUtime=2.97 cores=4,6
/proc/82276/stat : 82276 (roundingsat) R 82273 82273 81821 0 -1 4194304 41629 0 0 0 272 25 0 0 20 0 1 0 73537741 293310464 52633 18446744073709551615 4227072 8923433 140734555532016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41476096 140734555535778 140734555535912 140734555535912 140734555541482 0
/proc/82276/statm: 71609 52633 2368 1147 0 59036 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 290628 KiB
Current children cumulated memory: 213604 KiB

[startup+6.30038 s]
/proc/loadavg: 4.08 4.13 4.16 5/256 82293
/proc/meminfo: memFree=128715736/131382120 swapFree=33010160/33010684
[pid=82273] ppid=82267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82273/stat : 82273 (run-opt.sh) S 82267 82273 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73537740 4292608 768 18446744073709551615 94598154862592 94598155757125 140725514958768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94598155996176 94598156043920 94598182703104 140725514967405 140725514967528 140725514967528 140725514973130 0
/proc/82273/statm: 1048 768 704 219 0 110 0
[pid=82276] ppid=82273 vsize=473664 memory=373704 CPUtime=6.16 cores=4,6
/proc/82276/stat : 82276 (roundingsat) R 82273 82273 81821 0 -1 4194304 71712 0 0 0 577 39 0 0 20 0 1 0 73537741 485031936 93426 18446744073709551615 4227072 8923433 140734555532016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41476096 140734555535778 140734555535912 140734555535912 140734555541482 0
/proc/82276/statm: 118416 93426 2368 1147 0 105843 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 477856 KiB
Current children cumulated memory: 376776 KiB

[startup+12.7004 s]
/proc/loadavg: 4.08 4.13 4.16 5/256 82293
/proc/meminfo: memFree=128290976/131382120 swapFree=33010160/33010684
[pid=82273] ppid=82267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82273/stat : 82273 (run-opt.sh) S 82267 82273 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73537740 4292608 768 18446744073709551615 94598154862592 94598155757125 140725514958768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94598155996176 94598156043920 94598182703104 140725514967405 140725514967528 140725514967528 140725514973130 0
/proc/82273/statm: 1048 768 704 219 0 110 0
[pid=82276] ppid=82273 vsize=822032 memory=586908 CPUtime=12.54 cores=4,6
/proc/82276/stat : 82276 (roundingsat) R 82273 82273 81821 0 -1 4194304 115820 0 0 0 1199 55 0 0 20 0 1 0 73537741 841760768 146727 18446744073709551615 4227072 8923433 140734555532016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41476096 140734555535778 140734555535912 140734555535912 140734555541482 0
/proc/82276/statm: 205508 146727 2368 1147 0 192935 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 826224 KiB
Current children cumulated memory: 589980 KiB

[startup+25.5004 s]
/proc/loadavg: 4.13 4.14 4.16 5/256 82294
/proc/meminfo: memFree=127224184/131382120 swapFree=33010160/33010684
[pid=82273] ppid=82267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82273/stat : 82273 (run-opt.sh) S 82267 82273 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73537740 4292608 768 18446744073709551615 94598154862592 94598155757125 140725514958768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94598155996176 94598156043920 94598182703104 140725514967405 140725514967528 140725514967528 140725514973130 0
/proc/82273/statm: 1048 768 704 219 0 110 0
[pid=82276] ppid=82273 vsize=961192 memory=755512 CPUtime=25.32 cores=4,6
/proc/82276/stat : 82276 (roundingsat) R 82273 82273 81821 0 -1 4194304 138532 0 0 0 2454 78 0 0 20 0 1 0 73537741 984260608 188878 18446744073709551615 4227072 8923433 140734555532016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41476096 140734555535778 140734555535912 140734555535912 140734555541482 0
/proc/82276/statm: 240298 188878 2368 1147 0 227725 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 965384 KiB
Current children cumulated memory: 758584 KiB

[startup+51.1132 s]
/proc/loadavg: 4.09 4.12 4.15 5/255 82294
/proc/meminfo: memFree=126246728/131382120 swapFree=33010160/33010684
[pid=82273] ppid=82267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82273/stat : 82273 (run-opt.sh) S 82267 82273 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73537740 4292608 768 18446744073709551615 94598154862592 94598155757125 140725514958768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94598155996176 94598156043920 94598182703104 140725514967405 140725514967528 140725514967528 140725514973130 0
/proc/82273/statm: 1048 768 704 219 0 110 0
[pid=82276] ppid=82273 vsize=1489544 memory=1353588 CPUtime=50.86 cores=4,6
/proc/82276/stat : 82276 (roundingsat) R 82273 82273 81821 0 -1 4194304 275803 0 0 0 4950 136 0 0 20 0 1 0 73537741 1525293056 338397 18446744073709551615 4227072 8923433 140734555532016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41476096 140734555535778 140734555535912 140734555535912 140734555541482 0
/proc/82276/statm: 372386 338397 2368 1147 0 359813 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 1493736 KiB
Current children cumulated memory: 1356660 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/255 82296
/proc/meminfo: memFree=125511796/131382120 swapFree=33010160/33010684
[pid=82273] ppid=82267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82273/stat : 82273 (run-opt.sh) S 82267 82273 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73537740 4292608 768 18446744073709551615 94598154862592 94598155757125 140725514958768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94598155996176 94598156043920 94598182703104 140725514967405 140725514967528 140725514967528 140725514973130 0
/proc/82273/statm: 1048 768 704 219 0 110 0
[pid=82276] ppid=82273 vsize=2050236 memory=1751940 CPUtime=101.92 cores=4,6
/proc/82276/stat : 82276 (roundingsat) R 82273 82273 81821 0 -1 4194304 361685 0 0 0 9986 206 0 0 20 0 1 0 73537741 2099441664 437985 18446744073709551615 4227072 8923433 140734555532016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41476096 140734555535778 140734555535912 140734555535912 140734555541482 0
/proc/82276/statm: 512559 437985 2368 1147 0 499986 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 2054428 KiB
Current children cumulated memory: 1755012 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/255 82298
/proc/meminfo: memFree=125123356/131382120 swapFree=33010160/33010684
[pid=82273] ppid=82267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82273/stat : 82273 (run-opt.sh) S 82267 82273 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73537740 4292608 768 18446744073709551615 94598154862592 94598155757125 140725514958768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94598155996176 94598156043920 94598182703104 140725514967405 140725514967528 140725514967528 140725514973130 0
/proc/82273/statm: 1048 768 704 219 0 110 0
[pid=82276] ppid=82273 vsize=2275616 memory=1879112 CPUtime=161.76 cores=4,6
/proc/82276/stat : 82276 (roundingsat) R 82273 82273 81821 0 -1 4194304 380131 0 0 0 15926 250 0 0 20 0 1 0 73537741 2330230784 469778 18446744073709551615 4227072 8923433 140734555532016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41476096 140734555535778 140734555535912 140734555535912 140734555541482 0
/proc/82276/statm: 568904 469778 2368 1147 0 556331 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 2279808 KiB
Current children cumulated memory: 1882184 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/255 82300
/proc/meminfo: memFree=124416512/131382120 swapFree=33010160/33010684
[pid=82273] ppid=82267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82273/stat : 82273 (run-opt.sh) S 82267 82273 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73537740 4292608 768 18446744073709551615 94598154862592 94598155757125 140725514958768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94598155996176 94598156043920 94598182703104 140725514967405 140725514967528 140725514967528 140725514973130 0
/proc/82273/statm: 1048 768 704 219 0 110 0
[pid=82276] ppid=82273 vsize=2298136 memory=2073960 CPUtime=221.6 cores=4,6
/proc/82276/stat : 82276 (roundingsat) R 82273 82273 81821 0 -1 4194304 407406 0 0 0 21862 298 0 0 20 0 1 0 73537741 2353291264 518490 18446744073709551615 4227072 8923433 140734555532016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41476096 140734555535778 140734555535912 140734555535912 140734555541482 0
/proc/82276/statm: 574534 518490 2368 1147 0 561961 0
Current children cumulated CPU time: 221.6 s

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

[pid=82276] ppid=82273 vsize=6582224 memory=5679972 CPUtime=3093.78 cores=4,6
/proc/82276/stat : 82276 (roundingsat) R 82273 82273 81821 0 -1 4194304 1088995 0 0 0 307629 1749 0 0 20 0 1 0 73537741 6740197376 1419993 18446744073709551615 4227072 8923433 140734555532016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41476096 140734555535778 140734555535912 140734555535912 140734555541482 0
/proc/82276/statm: 1645556 1419993 2368 1147 0 1632983 0
Current children cumulated CPU time: 3093.78 s
Current children cumulated vsize: 6586416 KiB
Current children cumulated memory: 5683044 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.11 4.15 5/255 82464
/proc/meminfo: memFree=114713804/131382120 swapFree=33010160/33010684
[pid=82273] ppid=82267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82273/stat : 82273 (run-opt.sh) S 82267 82273 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73537740 4292608 768 18446744073709551615 94598154862592 94598155757125 140725514958768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94598155996176 94598156043920 94598182703104 140725514967405 140725514967528 140725514967528 140725514973130 0
/proc/82273/statm: 1048 768 704 219 0 110 0
[pid=82276] ppid=82273 vsize=6582224 memory=5679972 CPUtime=3153.61 cores=4,6
/proc/82276/stat : 82276 (roundingsat) R 82273 82273 81821 0 -1 4194304 1089116 0 0 0 313587 1774 0 0 20 0 1 0 73537741 6740197376 1419993 18446744073709551615 4227072 8923433 140734555532016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41476096 140734555535778 140734555535912 140734555535912 140734555541482 0
/proc/82276/statm: 1645556 1419993 2368 1147 0 1632983 0
Current children cumulated CPU time: 3153.61 s
Current children cumulated vsize: 6586416 KiB
Current children cumulated memory: 5683044 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.15 5/255 82466
/proc/meminfo: memFree=114618052/131382120 swapFree=33010160/33010684
[pid=82273] ppid=82267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82273/stat : 82273 (run-opt.sh) S 82267 82273 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73537740 4292608 768 18446744073709551615 94598154862592 94598155757125 140725514958768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94598155996176 94598156043920 94598182703104 140725514967405 140725514967528 140725514967528 140725514973130 0
/proc/82273/statm: 1048 768 704 219 0 110 0
[pid=82276] ppid=82273 vsize=6586608 memory=5686756 CPUtime=3213.44 cores=4,6
/proc/82276/stat : 82276 (roundingsat) R 82273 82273 81821 0 -1 4194304 1091543 0 0 0 319536 1808 0 0 20 0 1 0 73537741 6744686592 1421689 18446744073709551615 4227072 8923433 140734555532016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41476096 140734555535778 140734555535912 140734555535912 140734555541482 0
/proc/82276/statm: 1646652 1421689 2368 1147 0 1634079 0
Current children cumulated CPU time: 3213.44 s
Current children cumulated vsize: 6590800 KiB
Current children cumulated memory: 5689828 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.14 5/254 82473
/proc/meminfo: memFree=114489412/131382120 swapFree=33010160/33010684
[pid=82273] ppid=82267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82273/stat : 82273 (run-opt.sh) S 82267 82273 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73537740 4292608 768 18446744073709551615 94598154862592 94598155757125 140725514958768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94598155996176 94598156043920 94598182703104 140725514967405 140725514967528 140725514967528 140725514973130 0
/proc/82273/statm: 1048 768 704 219 0 110 0
[pid=82276] ppid=82273 vsize=6586608 memory=5686884 CPUtime=3273.28 cores=4,6
/proc/82276/stat : 82276 (roundingsat) R 82273 82273 81821 0 -1 4194304 1092149 0 0 0 325488 1840 0 0 20 0 1 0 73537741 6744686592 1421721 18446744073709551615 4227072 8923433 140734555532016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41476096 140734555535778 140734555535912 140734555535912 140734555541482 0
/proc/82276/statm: 1646652 1421721 2368 1147 0 1634079 0
Current children cumulated CPU time: 3273.28 s
Current children cumulated vsize: 6590800 KiB
Current children cumulated memory: 5689956 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.10 4.14 5/253 82475
/proc/meminfo: memFree=114439520/131382120 swapFree=33010160/33010684
[pid=82273] ppid=82267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82273/stat : 82273 (run-opt.sh) S 82267 82273 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73537740 4292608 768 18446744073709551615 94598154862592 94598155757125 140725514958768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94598155996176 94598156043920 94598182703104 140725514967405 140725514967528 140725514967528 140725514973130 0
/proc/82273/statm: 1048 768 704 219 0 110 0
[pid=82276] ppid=82273 vsize=6591560 memory=5691620 CPUtime=3333.12 cores=4,6
/proc/82276/stat : 82276 (roundingsat) R 82273 82273 81821 0 -1 4194304 1093625 0 0 0 331447 1865 0 0 20 0 1 0 73537741 6749757440 1422905 18446744073709551615 4227072 8923433 140734555532016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41476096 140734555535778 140734555535912 140734555535912 140734555541482 0
/proc/82276/statm: 1647890 1422905 2368 1147 0 1635317 0
Current children cumulated CPU time: 3333.12 s
Current children cumulated vsize: 6595752 KiB
Current children cumulated memory: 5694692 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.13 5/253 82476
/proc/meminfo: memFree=114435752/131382120 swapFree=33010160/33010684
[pid=82273] ppid=82267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82273/stat : 82273 (run-opt.sh) S 82267 82273 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73537740 4292608 768 18446744073709551615 94598154862592 94598155757125 140725514958768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94598155996176 94598156043920 94598182703104 140725514967405 140725514967528 140725514967528 140725514973130 0
/proc/82273/statm: 1048 768 704 219 0 110 0
[pid=82276] ppid=82273 vsize=6591560 memory=5691748 CPUtime=3392.95 cores=4,6
/proc/82276/stat : 82276 (roundingsat) R 82273 82273 81821 0 -1 4194304 1094403 0 0 0 337403 1892 0 0 20 0 1 0 73537741 6749757440 1422937 18446744073709551615 4227072 8923433 140734555532016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41476096 140734555535778 140734555535912 140734555535912 140734555541482 0
/proc/82276/statm: 1647890 1422937 2368 1147 0 1635317 0
Current children cumulated CPU time: 3392.95 s
Current children cumulated vsize: 6595752 KiB
Current children cumulated memory: 5694820 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.13 5/254 82479
/proc/meminfo: memFree=114351388/131382120 swapFree=33010160/33010684
[pid=82273] ppid=82267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82273/stat : 82273 (run-opt.sh) S 82267 82273 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73537740 4292608 768 18446744073709551615 94598154862592 94598155757125 140725514958768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94598155996176 94598156043920 94598182703104 140725514967405 140725514967528 140725514967528 140725514973130 0
/proc/82273/statm: 1048 768 704 219 0 110 0
[pid=82276] ppid=82273 vsize=6613384 memory=5791244 CPUtime=3452.79 cores=4,6
/proc/82276/stat : 82276 (roundingsat) R 82273 82273 81821 0 -1 4194304 1109387 0 0 0 343351 1928 0 0 20 0 1 0 73537741 6772105216 1447811 18446744073709551615 4227072 8923433 140734555532016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41476096 140734555535778 140734555535912 140734555535912 140734555541482 0
/proc/82276/statm: 1653346 1447811 2368 1147 0 1640773 0
Current children cumulated CPU time: 3452.79 s
Current children cumulated vsize: 6617576 KiB
Current children cumulated memory: 5794316 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/254 82481
/proc/meminfo: memFree=114337204/131382120 swapFree=33010160/33010684
[pid=82273] ppid=82267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82273/stat : 82273 (run-opt.sh) S 82267 82273 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73537740 4292608 768 18446744073709551615 94598154862592 94598155757125 140725514958768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94598155996176 94598156043920 94598182703104 140725514967405 140725514967528 140725514967528 140725514973130 0
/proc/82273/statm: 1048 768 704 219 0 110 0
[pid=82276] ppid=82273 vsize=6613384 memory=5791244 CPUtime=3512.62 cores=4,6
/proc/82276/stat : 82276 (roundingsat) R 82273 82273 81821 0 -1 4194304 1109871 0 0 0 349321 1941 0 0 20 0 1 0 73537741 6772105216 1447811 18446744073709551615 4227072 8923433 140734555532016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41476096 140734555535778 140734555535912 140734555535912 140734555541482 0
/proc/82276/statm: 1653346 1447811 2368 1147 0 1640773 0
Current children cumulated CPU time: 3512.62 s
Current children cumulated vsize: 6617576 KiB
Current children cumulated memory: 5794316 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.08 4.11 5/254 82485
/proc/meminfo: memFree=114322436/131382120 swapFree=33010160/33010684
[pid=82273] ppid=82267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82273/stat : 82273 (run-opt.sh) S 82267 82273 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73537740 4292608 768 18446744073709551615 94598154862592 94598155757125 140725514958768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94598155996176 94598156043920 94598182703104 140725514967405 140725514967528 140725514967528 140725514973130 0
/proc/82273/statm: 1048 768 704 219 0 110 0
[pid=82276] ppid=82273 vsize=6613384 memory=5791372 CPUtime=3572.45 cores=4,6
/proc/82276/stat : 82276 (roundingsat) R 82273 82273 81821 0 -1 4194304 1110630 0 0 0 355293 1952 0 0 20 0 1 0 73537741 6772105216 1447843 18446744073709551615 4227072 8923433 140734555532016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41476096 140734555535778 140734555535912 140734555535912 140734555541482 0
/proc/82276/statm: 1653346 1447843 2368 1147 0 1640773 0
Current children cumulated CPU time: 3572.45 s
Current children cumulated vsize: 6617576 KiB
Current children cumulated memory: 5794444 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.08 4.08 4.11 5/254 82487
/proc/meminfo: memFree=114323776/131382120 swapFree=33010160/33010684
[pid=82273] ppid=82267 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82273/stat : 82273 (run-opt.sh) S 82267 82273 81821 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 73537740 4292608 768 18446744073709551615 94598154862592 94598155757125 140725514958768 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94598155996176 94598156043920 94598182703104 140725514967405 140725514967528 140725514967528 140725514973130 0
/proc/82273/statm: 1048 768 704 219 0 110 0
[pid=82276] ppid=82273 vsize=6613384 memory=5791372 CPUtime=3600.1 cores=4,6
/proc/82276/stat : 82276 (roundingsat) R 82273 82273 81821 0 -1 4194304 1110630 0 0 0 358049 1961 0 0 20 0 1 0 73537741 6772105216 1447843 18446744073709551615 4227072 8923433 140734555532016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41476096 140734555535778 140734555535912 140734555535912 140734555541482 0
/proc/82276/statm: 1653346 1447843 2368 1147 0 1640773 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 6617576 KiB
Current children cumulated memory: 5794444 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.003361 s, system=0.002257 s

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

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

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

[startup+3610.12 s]*
/proc/loadavg: 4.08 4.08 4.11 5/253 82487
/proc/meminfo: memFree=116218852/131382120 swapFree=33010160/33010684
[pid=82276] ppid=82267 vsize=4331924 memory=3657680 CPUtime=3600.2 cores=4,6
/proc/82276/stat : 82276 (roundingsat) R 82267 82273 81821 0 -1 4194304 1110756 0 0 0 358049 1971 0 0 20 0 1 0 73537741 4435890176 914420 18446744073709551615 4227072 8923433 140734555532016 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41476096 140734555535778 140734555535912 140734555535912 140734555541482 0
/proc/82276/statm: 1082981 914420 2432 1147 0 1070408 0
Current cumulated CPU time of completed processes: 0.005618 s
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 4331924 KiB
Current children cumulated memory: 3657680 KiB

Child status: 2

Real time (s): 3610.21
CPU time (s): 3600.3
CPU user time (s): 3580.5
CPU system time (s): 19.7998
CPU usage (%): 99.7256
Max. virtual memory (cumulated for all children) (KiB): 6617576
Max. memory (cumulated for all children) (KiB): 5794444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.5
system time used= 19.7998
maximum resident set size= 5791628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1110981
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= 362
involuntary context switches= 2984


# summary of solver processes directly reported to runsolver:
#   pid: 82273,82276
#   total CPU time (s): 3600.3
#   total CPU user time (s): 3580.5
#   total CPU system time (s): 19.7998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9937 second user time and 37.1959 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-03 23:36:26
IDJOB=4520664
IDBENCH=178115
IDSOLVER=3350
FILE ID=nodeC008/4520664-1751578586
RUNJOBID= nodeC008-1751574973-81855
SLURM_JOB_ID= 9598800
Free space on /tmp= 432816 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_430.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4520664-1751578586/watcher-4520664-1751578586 -o /tmp/evaluation-result-4520664-1751578586/solver-4520664-1751578586 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751574973-81855 --watchdog 3760  run-opt.sh HOME/instance-4520664-1751578586.opb

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

MD5SUM BENCH= b3bab28fe93ea42b1817acfaffdcfb3a
RANDOM SEED=1114294367

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129891900 kB
MemAvailable:   129953812 kB
Buffers:            2128 kB
Cached:           856648 kB
SwapCached:           16 kB
Active:           592956 kB
Inactive:         337804 kB
Active(anon):      53496 kB
Inactive(anon):    36408 kB
Active(file):     539460 kB
Inactive(file):   301396 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             22860 kB
Writeback:             0 kB
AnonPages:         75100 kB
Mapped:           103416 kB
Shmem:             17920 kB
KReclaimable:     121368 kB
Slab:             206328 kB
SReclaimable:     121368 kB
SUnreclaim:        84960 kB
KernelStack:        3892 kB
PageTables:         2800 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     331364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432784 MiB
End job on nodeC008 at 2025-07-04 00:36:37