0.00/0.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c with Papilo
0.00/0.01	c with SCIP
0.00/0.01	c [STEP] parsing instance
0.19/0.23	c [STEP] preprocessing with Papilo
0.29/0.31	c Papilo could not simplify the problem
0.29/0.31	c [STEP] solving with SCIP
299.56/300.44	c [STEP] preprocessing done, loading into solver
299.67/300.54	c [STEP] solving
299.67/300.54	c #variables 2701 #constraints 43070
299.67/300.54	c SMALL=int, LARGE=long long
299.67/300.54	d SCIPUB 2501
299.67/300.54	c bounds - >= 0 @ 299.48
299.67/300.54	c stratification level: 4
303.86/304.76	c #Conflicts:       1000 | #Constraints:      44069
303.86/304.76	c #Conflicts:       2000 | #Constraints:      45069
303.86/304.76	c INPROCESSING
303.86/304.76	c #Conflicts:       3000 | #Constraints:      45083
303.86/304.76	c #Conflicts:       4000 | #Constraints:      46083
303.86/304.76	c INPROCESSING
303.86/304.76	c #Conflicts:       5000 | #Constraints:      45496
303.86/304.76	c #Conflicts:       6000 | #Constraints:      46496
303.86/304.76	c INPROCESSING
303.86/304.76	c GARBAGE COLLECT
303.86/304.76	c #Conflicts:       7000 | #Constraints:      45516
303.86/304.76	c #Conflicts:       8000 | #Constraints:      46516
303.86/304.76	c #Conflicts:       9000 | #Constraints:      47516
303.86/304.76	c INPROCESSING
303.86/304.76	c #Conflicts:      10000 | #Constraints:      46218
303.86/304.76	c #Conflicts:      11000 | #Constraints:      47218
303.86/304.76	c #Conflicts:      12000 | #Constraints:      48218
303.86/304.76	c INPROCESSING
303.86/304.76	c GARBAGE COLLECT
303.86/304.76	c #Conflicts:      13000 | #Constraints:      46666
303.86/304.76	c #Conflicts:      14000 | #Constraints:      47666
303.86/304.76	c #Conflicts:      15000 | #Constraints:      48666
303.86/304.76	c INPROCESSING
303.86/304.76	c #Conflicts:      16000 | #Constraints:      46909
303.86/304.76	c #Conflicts:      17000 | #Constraints:      47909
303.86/304.76	c #Conflicts:      18000 | #Constraints:      48909
303.86/304.76	c INPROCESSING
303.86/304.76	c GARBAGE COLLECT
303.86/304.76	c #Conflicts:      19000 | #Constraints:      46924
303.86/304.76	c #Conflicts:      20000 | #Constraints:      47924
303.86/304.76	c #Conflicts:      21000 | #Constraints:      48924
303.86/304.76	c INPROCESSING
303.86/304.76	c #Conflicts:      22000 | #Constraints:      46731
303.86/304.76	c #Conflicts:      23000 | #Constraints:      47731
303.86/304.76	c #Conflicts:      24000 | #Constraints:      48731
303.86/304.76	c #Conflicts:      25000 | #Constraints:      49731
303.86/304.76	c INPROCESSING
303.86/304.76	c GARBAGE COLLECT
303.86/304.76	c #Conflicts:      26000 | #Constraints:      47342
303.86/304.76	c #Conflicts:      27000 | #Constraints:      48342
303.86/304.76	c #Conflicts:      28000 | #Constraints:      49342
303.86/304.76	c #Conflicts:      29000 | #Constraints:      50342
303.86/304.76	c INPROCESSING
303.86/304.76	c #Conflicts:      30000 | #Constraints:      47749
303.86/304.76	c #Conflicts:      31000 | #Constraints:      48749
303.86/304.76	c #Conflicts:      32000 | #Constraints:      49749
303.86/304.76	c #Conflicts:      33000 | #Constraints:      50749
303.86/304.76	c INPROCESSING
303.86/304.76	c GARBAGE COLLECT
303.86/304.76	c #Conflicts:      34000 | #Constraints:      47967
303.86/304.76	c #Conflicts:      35000 | #Constraints:      48967
303.86/304.76	c #Conflicts:      36000 | #Constraints:      49967
303.86/304.76	c #Conflicts:      37000 | #Constraints:      50967
303.86/304.76	c INPROCESSING
303.86/304.76	c GARBAGE COLLECT
303.86/304.76	c #Conflicts:      38000 | #Constraints:      47984
303.86/304.76	c #Conflicts:      39000 | #Constraints:      48984
303.86/304.76	c #Conflicts:      40000 | #Constraints:      49984
303.86/304.76	c #Conflicts:      41000 | #Constraints:      50984
303.86/304.76	c INPROCESSING
303.86/304.76	c GARBAGE COLLECT
303.86/304.76	c #Conflicts:      42000 | #Constraints:      47798
303.86/304.76	c #Conflicts:      43000 | #Constraints:      48798
303.86/304.76	c #Conflicts:      44000 | #Constraints:      49798
303.86/304.76	c #Conflicts:      45000 | #Constraints:      50798
303.86/304.76	c #Conflicts:      46000 | #Constraints:      51798
303.86/304.76	c INPROCESSING
303.86/304.76	c GARBAGE COLLECT
303.86/304.76	c #Conflicts:      47000 | #Constraints:      48389
303.86/304.76	c #Conflicts:      48000 | #Constraints:      49389
303.86/304.76	c #Conflicts:      49000 | #Constraints:      50389
303.86/304.76	c #Conflicts:      50000 | #Constraints:      51389
303.86/304.76	c #Conflicts:      51000 | #Constraints:      52389
303.86/304.76	c INPROCESSING
303.86/304.76	c GARBAGE COLLECT
303.86/304.76	c #Conflicts:      52000 | #Constraints:      48792
303.86/304.76	c #Conflicts:      53000 | #Constraints:      49792
303.86/304.76	c #Conflicts:      54000 | #Constraints:      50792
303.86/304.76	c #Conflicts:      55000 | #Constraints:      51792
303.86/304.76	c #Conflicts:      56000 | #Constraints:      52792
303.86/304.76	c INPROCESSING
303.86/304.76	c GARBAGE COLLECT
303.86/304.76	c #Conflicts:      57000 | #Constraints:      49000
303.86/304.76	c #Conflicts:      58000 | #Constraints:      50000
303.86/304.76	c #Conflicts:      59000 | #Constraints:      51000
303.86/304.76	c #Conflicts:      60000 | #Constraints:      52000
303.86/304.76	c #Conflicts:      61000 | #Constraints:      53000
303.86/304.76	c INPROCESSING
303.86/304.76	c GARBAGE COLLECT
303.86/304.76	c #Conflicts:      62000 | #Constraints:      48985
303.86/304.76	c #Conflicts:      63000 | #Constraints:      49985
303.86/304.76	c #Conflicts:      64000 | #Constraints:      50985
303.86/304.76	c #Conflicts:      65000 | #Constraints:      51985
303.86/304.76	c #Conflicts:      66000 | #Constraints:      52985
303.86/304.76	c INPROCESSING
303.86/304.76	c GARBAGE COLLECT
303.86/304.76	c #Conflicts:      67000 | #Constraints:      48778
303.86/304.76	c #Conflicts:      68000 | #Constraints:      49778
303.86/304.76	c #Conflicts:      69000 | #Constraints:      50778
303.86/304.76	c #Conflicts:      70000 | #Constraints:      51778
309.74/310.66	c #Conflicts:      71000 | #Constraints:      52778
309.74/310.66	c #Conflicts:      72000 | #Constraints:      53778
309.74/310.66	c INPROCESSING
309.74/310.66	c GARBAGE COLLECT
309.74/310.66	c #Conflicts:      73000 | #Constraints:      49392
309.74/310.66	c #Conflicts:      74000 | #Constraints:      50392
309.74/310.66	c #Conflicts:      75000 | #Constraints:      51392
309.74/310.66	c #Conflicts:      76000 | #Constraints:      52392
309.74/310.66	c #Conflicts:      77000 | #Constraints:      53392
309.74/310.66	c #Conflicts:      78000 | #Constraints:      54392
309.74/310.66	c INPROCESSING
309.74/310.66	c GARBAGE COLLECT
309.74/310.66	c #Conflicts:      79000 | #Constraints:      49789
309.74/310.66	c #Conflicts:      80000 | #Constraints:      50789
309.74/310.66	c #Conflicts:      81000 | #Constraints:      51789
309.74/310.66	c #Conflicts:      82000 | #Constraints:      52789
309.74/310.66	c #Conflicts:      83000 | #Constraints:      53789
309.74/310.66	c #Conflicts:      84000 | #Constraints:      54789
309.74/310.66	c INPROCESSING
309.74/310.66	c GARBAGE COLLECT
309.74/310.66	c #Conflicts:      85000 | #Constraints:      50003
309.74/310.66	c #Conflicts:      86000 | #Constraints:      51003
309.74/310.66	c #Conflicts:      87000 | #Constraints:      52003
309.74/310.66	c #Conflicts:      88000 | #Constraints:      53003
309.74/310.66	c #Conflicts:      89000 | #Constraints:      54003
309.74/310.66	c #Conflicts:      90000 | #Constraints:      55003
309.74/310.66	c INPROCESSING
309.74/310.66	c GARBAGE COLLECT
309.74/310.66	c #Conflicts:      91000 | #Constraints:      50011
309.74/310.66	c #Conflicts:      92000 | #Constraints:      51011
309.74/310.66	c #Conflicts:      93000 | #Constraints:      52011
309.74/310.66	c #Conflicts:      94000 | #Constraints:      53011
309.74/310.66	c #Conflicts:      95000 | #Constraints:      54011
309.74/310.66	c #Conflicts:      96000 | #Constraints:      55011
309.74/310.66	c INPROCESSING
309.74/310.66	c GARBAGE COLLECT
309.74/310.66	c #Conflicts:      97000 | #Constraints:      49837
309.74/310.66	c #Conflicts:      98000 | #Constraints:      50837
309.74/310.66	c #Conflicts:      99000 | #Constraints:      51837
309.74/310.66	c #Conflicts:     100000 | #Constraints:      52837
309.74/310.66	c #Conflicts:     101000 | #Constraints:      53837
309.74/310.66	c #Conflicts:     102000 | #Constraints:      54837
309.74/310.66	c #Conflicts:     103000 | #Constraints:      55837
309.74/310.66	c INPROCESSING
309.74/310.66	c GARBAGE COLLECT
309.74/310.66	c #Conflicts:     104000 | #Constraints:      50424
309.74/310.66	c #Conflicts:     105000 | #Constraints:      51424
309.74/310.66	c #Conflicts:     106000 | #Constraints:      52424
309.74/310.66	c #Conflicts:     107000 | #Constraints:      53424
309.74/310.66	c #Conflicts:     108000 | #Constraints:      54424
309.74/310.66	c #Conflicts:     109000 | #Constraints:      55424
309.74/310.66	c #Conflicts:     110000 | #Constraints:      56424
309.74/310.66	c INPROCESSING
309.74/310.66	c GARBAGE COLLECT
309.74/310.66	c #Conflicts:     111000 | #Constraints:      50831
309.74/310.66	c #Conflicts:     112000 | #Constraints:      51831
309.74/310.66	c #Conflicts:     113000 | #Constraints:      52831
309.74/310.66	c #Conflicts:     114000 | #Constraints:      53831
309.74/310.66	c #Conflicts:     115000 | #Constraints:      54831
309.74/310.66	c #Conflicts:     116000 | #Constraints:      55831
309.74/310.66	c #Conflicts:     117000 | #Constraints:      56831
309.74/310.66	c INPROCESSING
309.74/310.66	c GARBAGE COLLECT
309.74/310.66	c #Conflicts:     118000 | #Constraints:      51027
309.74/310.66	c #Conflicts:     119000 | #Constraints:      52027
309.74/310.66	c #Conflicts:     120000 | #Constraints:      53027
309.74/310.66	c #Conflicts:     121000 | #Constraints:      54027
309.74/310.66	c #Conflicts:     122000 | #Constraints:      55027
309.74/310.66	c #Conflicts:     123000 | #Constraints:      56027
309.74/310.66	c #Conflicts:     124000 | #Constraints:      57027
309.74/310.66	c INPROCESSING
309.74/310.66	c GARBAGE COLLECT
309.74/310.66	c #Conflicts:     125000 | #Constraints:      51022
309.74/310.66	c #Conflicts:     126000 | #Constraints:      52022
309.74/310.66	c #Conflicts:     127000 | #Constraints:      53022
309.74/310.66	c #Conflicts:     128000 | #Constraints:      54022
309.74/310.66	c #Conflicts:     129000 | #Constraints:      55022
309.74/310.66	c #Conflicts:     130000 | #Constraints:      56022
309.74/310.66	c #Conflicts:     131000 | #Constraints:      57022
309.74/310.66	c INPROCESSING
309.74/310.66	c GARBAGE COLLECT
309.74/310.66	c #Conflicts:     132000 | #Constraints:      50832
309.74/310.66	c #Conflicts:     133000 | #Constraints:      51832
309.74/310.66	c #Conflicts:     134000 | #Constraints:      52832
309.74/310.66	c #Conflicts:     135000 | #Constraints:      53832
309.74/310.66	c #Conflicts:     136000 | #Constraints:      54832
309.74/310.66	c #Conflicts:     137000 | #Constraints:      55832
309.74/310.66	c #Conflicts:     138000 | #Constraints:      56832
309.74/310.66	c #Conflicts:     139000 | #Constraints:      57832
309.74/310.66	c INPROCESSING
309.74/310.66	c GARBAGE COLLECT
309.74/310.66	c #Conflicts:     140000 | #Constraints:      51468
309.74/310.66	c #Conflicts:     141000 | #Constraints:      52468
309.74/310.66	c #Conflicts:     142000 | #Constraints:      53468
317.42/318.37	c #Conflicts:     143000 | #Constraints:      54468
317.42/318.37	c #Conflicts:     144000 | #Constraints:      55468
317.42/318.37	c #Conflicts:     145000 | #Constraints:      56468
317.42/318.37	c #Conflicts:     146000 | #Constraints:      57468
317.42/318.37	c #Conflicts:     147000 | #Constraints:      58468
317.42/318.37	c INPROCESSING
317.42/318.37	c GARBAGE COLLECT
317.42/318.37	c #Conflicts:     148000 | #Constraints:      51887
317.42/318.37	c #Conflicts:     149000 | #Constraints:      52887
317.42/318.37	c #Conflicts:     150000 | #Constraints:      53887
317.42/318.37	c #Conflicts:     151000 | #Constraints:      54887
317.42/318.37	c #Conflicts:     152000 | #Constraints:      55887
317.42/318.37	c #Conflicts:     153000 | #Constraints:      56887
317.42/318.37	c #Conflicts:     154000 | #Constraints:      57887
317.42/318.37	c #Conflicts:     155000 | #Constraints:      58887
317.42/318.37	c INPROCESSING
317.42/318.37	c GARBAGE COLLECT
317.42/318.37	c #Conflicts:     156000 | #Constraints:      52088
317.42/318.37	c #Conflicts:     157000 | #Constraints:      53088
317.42/318.37	c #Conflicts:     158000 | #Constraints:      54088
317.42/318.37	c #Conflicts:     159000 | #Constraints:      55088
317.42/318.37	c #Conflicts:     160000 | #Constraints:      56088
317.42/318.37	c #Conflicts:     161000 | #Constraints:      57088
317.42/318.37	c #Conflicts:     162000 | #Constraints:      58088
317.42/318.37	c #Conflicts:     163000 | #Constraints:      59088
317.42/318.37	c INPROCESSING
317.42/318.37	c GARBAGE COLLECT
317.42/318.37	c #Conflicts:     164000 | #Constraints:      52075
317.42/318.37	c #Conflicts:     165000 | #Constraints:      53075
317.42/318.37	c #Conflicts:     166000 | #Constraints:      54075
317.42/318.37	c #Conflicts:     167000 | #Constraints:      55075
317.42/318.37	c #Conflicts:     168000 | #Constraints:      56075
317.42/318.37	c #Conflicts:     169000 | #Constraints:      57075
317.42/318.37	c #Conflicts:     170000 | #Constraints:      58075
317.42/318.37	c #Conflicts:     171000 | #Constraints:      59075
317.42/318.37	c INPROCESSING
317.42/318.37	c GARBAGE COLLECT
317.42/318.37	c #Conflicts:     172000 | #Constraints:      51893
317.42/318.37	c #Conflicts:     173000 | #Constraints:      52893
317.42/318.37	c #Conflicts:     174000 | #Constraints:      53893
317.42/318.37	c #Conflicts:     175000 | #Constraints:      54893
317.42/318.37	c #Conflicts:     176000 | #Constraints:      55893
317.42/318.37	c #Conflicts:     177000 | #Constraints:      56893
317.42/318.37	c #Conflicts:     178000 | #Constraints:      57893
317.42/318.37	c #Conflicts:     179000 | #Constraints:      58893
317.42/318.38	c #Conflicts:     180000 | #Constraints:      59893
317.42/318.38	c INPROCESSING
317.42/318.38	c GARBAGE COLLECT
317.42/318.38	c #Conflicts:     181000 | #Constraints:      52481
317.42/318.38	c #Conflicts:     182000 | #Constraints:      53481
317.42/318.38	c #Conflicts:     183000 | #Constraints:      54481
317.42/318.38	c #Conflicts:     184000 | #Constraints:      55481
317.42/318.38	c #Conflicts:     185000 | #Constraints:      56481
317.42/318.38	c #Conflicts:     186000 | #Constraints:      57481
317.42/318.38	c #Conflicts:     187000 | #Constraints:      58481
317.42/318.38	c #Conflicts:     188000 | #Constraints:      59481
317.42/318.38	c #Conflicts:     189000 | #Constraints:      60481
317.42/318.38	c INPROCESSING
317.42/318.38	c GARBAGE COLLECT
317.42/318.38	c #Conflicts:     190000 | #Constraints:      52882
317.42/318.38	c #Conflicts:     191000 | #Constraints:      53882
317.42/318.38	c #Conflicts:     192000 | #Constraints:      54882
317.42/318.38	c #Conflicts:     193000 | #Constraints:      55882
317.42/318.38	c #Conflicts:     194000 | #Constraints:      56882
317.42/318.38	c #Conflicts:     195000 | #Constraints:      57882
317.42/318.38	c #Conflicts:     196000 | #Constraints:      58882
317.42/318.38	c #Conflicts:     197000 | #Constraints:      59882
317.42/318.38	c #Conflicts:     198000 | #Constraints:      60882
317.42/318.38	c INPROCESSING
317.42/318.38	c GARBAGE COLLECT
317.42/318.38	c #Conflicts:     199000 | #Constraints:      53085
317.42/318.38	c #Conflicts:     200000 | #Constraints:      54085
317.42/318.38	c #Conflicts:     201000 | #Constraints:      55085
317.42/318.38	c #Conflicts:     202000 | #Constraints:      56085
317.42/318.38	c #Conflicts:     203000 | #Constraints:      57085
317.42/318.38	c #Conflicts:     204000 | #Constraints:      58085
317.42/318.38	c #Conflicts:     205000 | #Constraints:      59085
317.42/318.38	c #Conflicts:     206000 | #Constraints:      60085
317.42/318.38	c #Conflicts:     207000 | #Constraints:      61085
317.42/318.38	c INPROCESSING
317.42/318.38	c GARBAGE COLLECT
317.42/318.38	c #Conflicts:     208000 | #Constraints:      53064
317.42/318.38	c #Conflicts:     209000 | #Constraints:      54064
317.42/318.38	c #Conflicts:     210000 | #Constraints:      55064
317.42/318.38	c #Conflicts:     211000 | #Constraints:      56064
317.42/318.38	c #Conflicts:     212000 | #Constraints:      57064
317.42/318.38	c #Conflicts:     213000 | #Constraints:      58064
317.42/318.38	c #Conflicts:     214000 | #Constraints:      59064
317.42/318.38	c #Conflicts:     215000 | #Constraints:      60064
327.59/328.55	c #Conflicts:     216000 | #Constraints:      61064
327.59/328.55	c INPROCESSING
327.59/328.55	c GARBAGE COLLECT
327.59/328.55	c #Conflicts:     217000 | #Constraints:      52881
327.59/328.55	c #Conflicts:     218000 | #Constraints:      53881
327.59/328.55	c #Conflicts:     219000 | #Constraints:      54881
327.59/328.55	c #Conflicts:     220000 | #Constraints:      55881
327.59/328.55	c #Conflicts:     221000 | #Constraints:      56881
327.59/328.55	c #Conflicts:     222000 | #Constraints:      57881
327.59/328.55	c #Conflicts:     223000 | #Constraints:      58881
327.59/328.55	c #Conflicts:     224000 | #Constraints:      59881
327.59/328.55	c #Conflicts:     225000 | #Constraints:      60881
327.59/328.55	c #Conflicts:     226000 | #Constraints:      61881
327.59/328.55	c INPROCESSING
327.59/328.55	c GARBAGE COLLECT
327.59/328.55	c #Conflicts:     227000 | #Constraints:      53484
327.59/328.55	c #Conflicts:     228000 | #Constraints:      54484
327.59/328.55	c #Conflicts:     229000 | #Constraints:      55484
327.59/328.55	c #Conflicts:     230000 | #Constraints:      56484
327.59/328.55	c #Conflicts:     231000 | #Constraints:      57484
327.59/328.55	c #Conflicts:     232000 | #Constraints:      58484
327.59/328.55	c #Conflicts:     233000 | #Constraints:      59484
327.59/328.55	c #Conflicts:     234000 | #Constraints:      60484
327.59/328.55	c #Conflicts:     235000 | #Constraints:      61484
327.59/328.55	c #Conflicts:     236000 | #Constraints:      62484
327.59/328.55	c INPROCESSING
327.59/328.55	c GARBAGE COLLECT
327.59/328.55	c #Conflicts:     237000 | #Constraints:      53889
327.59/328.55	c #Conflicts:     238000 | #Constraints:      54889
327.59/328.55	c #Conflicts:     239000 | #Constraints:      55889
327.59/328.55	c #Conflicts:     240000 | #Constraints:      56889
327.59/328.55	c #Conflicts:     241000 | #Constraints:      57889
327.59/328.55	c #Conflicts:     242000 | #Constraints:      58889
327.59/328.55	c #Conflicts:     243000 | #Constraints:      59889
327.59/328.55	c #Conflicts:     244000 | #Constraints:      60889
327.59/328.55	c #Conflicts:     245000 | #Constraints:      61889
327.59/328.55	c #Conflicts:     246000 | #Constraints:      62889
327.59/328.55	c INPROCESSING
327.59/328.55	c GARBAGE COLLECT
327.59/328.55	c #Conflicts:     247000 | #Constraints:      54109
327.59/328.55	c #Conflicts:     248000 | #Constraints:      55109
327.59/328.55	c #Conflicts:     249000 | #Constraints:      56109
327.59/328.55	c #Conflicts:     250000 | #Constraints:      57109
327.59/328.55	c #Conflicts:     251000 | #Constraints:      58109
327.59/328.55	c #Conflicts:     252000 | #Constraints:      59109
327.59/328.55	c #Conflicts:     253000 | #Constraints:      60109
327.59/328.55	c #Conflicts:     254000 | #Constraints:      61109
327.59/328.55	c #Conflicts:     255000 | #Constraints:      62109
327.59/328.55	c #Conflicts:     256000 | #Constraints:      63109
327.59/328.55	c INPROCESSING
327.59/328.55	c GARBAGE COLLECT
327.59/328.55	c #Conflicts:     257000 | #Constraints:      54128
327.59/328.55	c #Conflicts:     258000 | #Constraints:      55128
327.59/328.55	c #Conflicts:     259000 | #Constraints:      56128
327.59/328.55	c #Conflicts:     260000 | #Constraints:      57128
327.59/328.55	c #Conflicts:     261000 | #Constraints:      58128
327.59/328.55	c #Conflicts:     262000 | #Constraints:      59128
327.59/328.55	c #Conflicts:     263000 | #Constraints:      60128
327.59/328.55	c #Conflicts:     264000 | #Constraints:      61128
327.59/328.55	c #Conflicts:     265000 | #Constraints:      62128
327.59/328.55	c #Conflicts:     266000 | #Constraints:      63128
327.59/328.55	c INPROCESSING
327.59/328.55	c GARBAGE COLLECT
327.59/328.55	c #Conflicts:     267000 | #Constraints:      53918
327.59/328.55	c #Conflicts:     268000 | #Constraints:      54918
327.59/328.55	c #Conflicts:     269000 | #Constraints:      55918
327.59/328.55	c #Conflicts:     270000 | #Constraints:      56918
327.59/328.55	c #Conflicts:     271000 | #Constraints:      57918
327.59/328.55	c #Conflicts:     272000 | #Constraints:      58918
327.59/328.55	c #Conflicts:     273000 | #Constraints:      59918
327.59/328.55	c #Conflicts:     274000 | #Constraints:      60918
327.59/328.55	c #Conflicts:     275000 | #Constraints:      61918
327.59/328.55	c #Conflicts:     276000 | #Constraints:      62918
327.59/328.55	c #Conflicts:     277000 | #Constraints:      63918
327.59/328.55	c INPROCESSING
327.59/328.55	c GARBAGE COLLECT
327.59/328.55	c #Conflicts:     278000 | #Constraints:      54540
327.59/328.55	c #Conflicts:     279000 | #Constraints:      55540
327.59/328.55	c #Conflicts:     280000 | #Constraints:      56540
327.59/328.55	c #Conflicts:     281000 | #Constraints:      57540
327.59/328.55	c #Conflicts:     282000 | #Constraints:      58540
327.59/328.55	c #Conflicts:     283000 | #Constraints:      59540
327.59/328.55	c #Conflicts:     284000 | #Constraints:      60540
327.59/328.55	c #Conflicts:     285000 | #Constraints:      61540
327.59/328.55	c #Conflicts:     286000 | #Constraints:      62540
327.59/328.55	c #Conflicts:     287000 | #Constraints:      63540
327.59/328.55	c #Conflicts:     288000 | #Constraints:      64540
327.59/328.55	c INPROCESSING
327.59/328.55	c GARBAGE COLLECT
327.59/328.55	c #Conflicts:     289000 | #Constraints:      54942
343.65/344.69	c #Conflicts:     290000 | #Constraints:      55942
343.65/344.69	c #Conflicts:     291000 | #Constraints:      56942
343.65/344.69	c #Conflicts:     292000 | #Constraints:      57942
343.65/344.69	c #Conflicts:     293000 | #Constraints:      58942
343.65/344.69	c #Conflicts:     294000 | #Constraints:      59942
343.65/344.69	c #Conflicts:     295000 | #Constraints:      60942
343.65/344.69	c #Conflicts:     296000 | #Constraints:      61942
343.65/344.69	c #Conflicts:     297000 | #Constraints:      62942
343.65/344.69	c #Conflicts:     298000 | #Constraints:      63942
343.65/344.69	c #Conflicts:     299000 | #Constraints:      64942
343.65/344.69	c INPROCESSING
343.65/344.69	c GARBAGE COLLECT
343.65/344.69	c #Conflicts:     300000 | #Constraints:      55147
343.65/344.69	c #Conflicts:     301000 | #Constraints:      56147
343.65/344.69	c #Conflicts:     302000 | #Constraints:      57147
343.65/344.69	c #Conflicts:     303000 | #Constraints:      58147
343.65/344.69	c #Conflicts:     304000 | #Constraints:      59147
343.65/344.69	c #Conflicts:     305000 | #Constraints:      60147
343.65/344.69	c #Conflicts:     306000 | #Constraints:      61147
343.65/344.69	c #Conflicts:     307000 | #Constraints:      62147
343.65/344.69	c #Conflicts:     308000 | #Constraints:      63147
343.65/344.69	c #Conflicts:     309000 | #Constraints:      64147
343.65/344.69	c #Conflicts:     310000 | #Constraints:      65147
343.65/344.69	c INPROCESSING
343.65/344.69	c GARBAGE COLLECT
343.65/344.69	c #Conflicts:     311000 | #Constraints:      55143
343.65/344.69	c #Conflicts:     312000 | #Constraints:      56143
343.65/344.69	c #Conflicts:     313000 | #Constraints:      57143
343.65/344.69	c #Conflicts:     314000 | #Constraints:      58143
343.65/344.69	c #Conflicts:     315000 | #Constraints:      59143
343.65/344.69	c #Conflicts:     316000 | #Constraints:      60143
343.65/344.69	c #Conflicts:     317000 | #Constraints:      61143
343.65/344.69	c #Conflicts:     318000 | #Constraints:      62143
343.65/344.69	c #Conflicts:     319000 | #Constraints:      63143
343.65/344.69	c #Conflicts:     320000 | #Constraints:      64143
343.65/344.69	c #Conflicts:     321000 | #Constraints:      65143
343.65/344.69	c INPROCESSING
343.65/344.69	c GARBAGE COLLECT
343.65/344.69	c #Conflicts:     322000 | #Constraints:      54944
343.65/344.69	c #Conflicts:     323000 | #Constraints:      55944
343.65/344.69	c #Conflicts:     324000 | #Constraints:      56944
343.65/344.69	c #Conflicts:     325000 | #Constraints:      57944
343.65/344.69	c #Conflicts:     326000 | #Constraints:      58944
343.65/344.69	c #Conflicts:     327000 | #Constraints:      59944
343.65/344.69	c #Conflicts:     328000 | #Constraints:      60944
343.65/344.69	c #Conflicts:     329000 | #Constraints:      61944
343.65/344.69	c #Conflicts:     330000 | #Constraints:      62944
343.65/344.69	c #Conflicts:     331000 | #Constraints:      63944
343.65/344.69	c #Conflicts:     332000 | #Constraints:      64944
343.65/344.69	c #Conflicts:     333000 | #Constraints:      65944
343.65/344.69	c INPROCESSING
343.65/344.69	c GARBAGE COLLECT
343.65/344.69	c #Conflicts:     334000 | #Constraints:      55543
343.65/344.69	c #Conflicts:     335000 | #Constraints:      56543
343.65/344.69	c #Conflicts:     336000 | #Constraints:      57543
343.65/344.69	c #Conflicts:     337000 | #Constraints:      58543
343.65/344.69	c #Conflicts:     338000 | #Constraints:      59543
343.65/344.69	c #Conflicts:     339000 | #Constraints:      60543
343.65/344.69	c #Conflicts:     340000 | #Constraints:      61543
343.65/344.69	c #Conflicts:     341000 | #Constraints:      62543
343.65/344.69	c #Conflicts:     342000 | #Constraints:      63543
343.65/344.69	c #Conflicts:     343000 | #Constraints:      64543
343.65/344.69	c #Conflicts:     344000 | #Constraints:      65543
343.65/344.69	c #Conflicts:     345000 | #Constraints:      66543
343.65/344.69	c INPROCESSING
343.65/344.69	c GARBAGE COLLECT
343.65/344.69	c #Conflicts:     346000 | #Constraints:      55970
343.65/344.69	c #Conflicts:     347000 | #Constraints:      56970
343.65/344.69	c #Conflicts:     348000 | #Constraints:      57970
343.65/344.69	c #Conflicts:     349000 | #Constraints:      58970
343.65/344.69	c #Conflicts:     350000 | #Constraints:      59970
343.65/344.69	c #Conflicts:     351000 | #Constraints:      60970
343.65/344.69	c #Conflicts:     352000 | #Constraints:      61970
343.65/344.69	c #Conflicts:     353000 | #Constraints:      62970
343.65/344.69	c #Conflicts:     354000 | #Constraints:      63970
343.65/344.69	c #Conflicts:     355000 | #Constraints:      64970
343.65/344.69	c #Conflicts:     356000 | #Constraints:      65970
343.65/344.69	c #Conflicts:     357000 | #Constraints:      66970
343.65/344.69	c INPROCESSING
343.65/344.69	c GARBAGE COLLECT
343.65/344.69	c #Conflicts:     358000 | #Constraints:      56162
343.65/344.69	c #Conflicts:     359000 | #Constraints:      57162
343.65/344.69	c #Conflicts:     360000 | #Constraints:      58162
343.65/344.69	c #Conflicts:     361000 | #Constraints:      59162
343.65/344.69	c #Conflicts:     362000 | #Constraints:      60162
343.65/344.69	c #Conflicts:     363000 | #Constraints:      61162
343.65/344.69	c #Conflicts:     364000 | #Constraints:      62162
345.05/346.02	c #Conflicts:     365000 | #Constraints:      63162
345.05/346.02	c #Conflicts:     366000 | #Constraints:      64162
345.05/346.02	c #Conflicts:     367000 | #Constraints:      65162
345.05/346.02	c bounds - >= 4 @ 343.323
345.05/346.02	c #Conflicts:     368000 | #Constraints:      66163
345.05/346.02	c finalizing WCE round: reformulating cores
386.05/387.18	c bounds 328 >= 4 @ 343.653
386.05/387.18	c #Conflicts:     369000 | #Constraints:      67166
386.05/387.18	c INPROCESSING
386.05/387.18	c GARBAGE COLLECT
386.05/387.18	c #Conflicts:     370000 | #Constraints:      56139
386.05/387.18	c #Conflicts:     371000 | #Constraints:      57139
386.05/387.18	c #Conflicts:     372000 | #Constraints:      58139
386.05/387.18	c #Conflicts:     373000 | #Constraints:      59139
386.05/387.18	c #Conflicts:     374000 | #Constraints:      60139
386.05/387.18	c #Conflicts:     375000 | #Constraints:      61139
386.05/387.18	c #Conflicts:     376000 | #Constraints:      62139
386.05/387.18	c #Conflicts:     377000 | #Constraints:      63139
386.05/387.18	c #Conflicts:     378000 | #Constraints:      64139
386.05/387.18	c #Conflicts:     379000 | #Constraints:      65139
386.05/387.18	c #Conflicts:     380000 | #Constraints:      66139
386.05/387.18	c #Conflicts:     381000 | #Constraints:      67139
386.05/387.18	c INPROCESSING
386.05/387.18	c GARBAGE COLLECT
386.05/387.18	c #Conflicts:     382000 | #Constraints:      55910
386.05/387.18	c #Conflicts:     383000 | #Constraints:      56910
386.05/387.18	c #Conflicts:     384000 | #Constraints:      57910
386.05/387.18	c #Conflicts:     385000 | #Constraints:      58910
386.05/387.18	c #Conflicts:     386000 | #Constraints:      59910
386.05/387.18	c #Conflicts:     387000 | #Constraints:      60910
386.05/387.18	c #Conflicts:     388000 | #Constraints:      61910
386.05/387.18	c #Conflicts:     389000 | #Constraints:      62910
386.05/387.18	c #Conflicts:     390000 | #Constraints:      63910
386.05/387.18	c #Conflicts:     391000 | #Constraints:      64910
386.05/387.18	c #Conflicts:     392000 | #Constraints:      65910
386.05/387.18	c #Conflicts:     393000 | #Constraints:      66910
386.05/387.18	c #Conflicts:     394000 | #Constraints:      67910
386.05/387.18	c INPROCESSING
386.05/387.18	c GARBAGE COLLECT
386.05/387.18	c #Conflicts:     395000 | #Constraints:      56517
386.05/387.18	c #Conflicts:     396000 | #Constraints:      57517
386.05/387.18	c #Conflicts:     397000 | #Constraints:      58517
386.05/387.18	c #Conflicts:     398000 | #Constraints:      59517
386.05/387.18	c #Conflicts:     399000 | #Constraints:      60517
386.05/387.18	c #Conflicts:     400000 | #Constraints:      61517
386.05/387.18	c #Conflicts:     401000 | #Constraints:      62517
386.05/387.18	c #Conflicts:     402000 | #Constraints:      63517
386.05/387.18	c #Conflicts:     403000 | #Constraints:      64517
386.05/387.18	c #Conflicts:     404000 | #Constraints:      65517
386.05/387.18	c #Conflicts:     405000 | #Constraints:      66517
386.05/387.18	c #Conflicts:     406000 | #Constraints:      67517
386.05/387.18	c #Conflicts:     407000 | #Constraints:      68517
386.05/387.18	c INPROCESSING
386.05/387.18	c GARBAGE COLLECT
386.05/387.18	c #Conflicts:     408000 | #Constraints:      56926
386.05/387.18	c #Conflicts:     409000 | #Constraints:      57926
386.05/387.18	c #Conflicts:     410000 | #Constraints:      58926
386.05/387.18	c #Conflicts:     411000 | #Constraints:      59926
386.05/387.18	c #Conflicts:     412000 | #Constraints:      60926
386.05/387.18	c #Conflicts:     413000 | #Constraints:      61926
386.05/387.18	c #Conflicts:     414000 | #Constraints:      62926
386.05/387.18	c #Conflicts:     415000 | #Constraints:      63926
386.05/387.18	c #Conflicts:     416000 | #Constraints:      64926
386.05/387.18	c #Conflicts:     417000 | #Constraints:      65926
386.05/387.18	c #Conflicts:     418000 | #Constraints:      66926
386.05/387.18	c #Conflicts:     419000 | #Constraints:      67926
386.05/387.18	c #Conflicts:     420000 | #Constraints:      68926
386.05/387.18	c INPROCESSING
386.05/387.18	c GARBAGE COLLECT
386.05/387.18	c #Conflicts:     421000 | #Constraints:      57145
386.05/387.18	c #Conflicts:     422000 | #Constraints:      58145
386.05/387.18	c #Conflicts:     423000 | #Constraints:      59145
386.05/387.18	c #Conflicts:     424000 | #Constraints:      60145
386.05/387.18	c #Conflicts:     425000 | #Constraints:      61145
386.05/387.18	c #Conflicts:     426000 | #Constraints:      62145
386.05/387.18	c #Conflicts:     427000 | #Constraints:      63145
386.05/387.18	c #Conflicts:     428000 | #Constraints:      64145
386.05/387.18	c #Conflicts:     429000 | #Constraints:      65145
386.05/387.18	c #Conflicts:     430000 | #Constraints:      66145
386.05/387.18	c #Conflicts:     431000 | #Constraints:      67145
386.05/387.18	c #Conflicts:     432000 | #Constraints:      68145
386.05/387.18	c #Conflicts:     433000 | #Constraints:      69145
386.05/387.18	c INPROCESSING
386.05/387.18	c GARBAGE COLLECT
386.05/387.18	c #Conflicts:     434000 | #Constraints:      57146
386.05/387.18	c #Conflicts:     435000 | #Constraints:      58146
386.05/387.18	c #Conflicts:     436000 | #Constraints:      59146
386.05/387.18	c #Conflicts:     437000 | #Constraints:      60146
386.05/387.18	c #Conflicts:     438000 | #Constraints:      61146
386.05/387.18	c #Conflicts:     439000 | #Constraints:      62146
386.05/387.18	c #Conflicts:     440000 | #Constraints:      63146
386.05/387.18	c #Conflicts:     441000 | #Constraints:      64146
386.05/387.18	c #Conflicts:     442000 | #Constraints:      65146
386.05/387.18	c #Conflicts:     443000 | #Constraints:      66146
1117.12/1120.33	c #Conflicts:     444000 | #Constraints:      67146
1117.12/1120.33	c #Conflicts:     445000 | #Constraints:      68146
1117.12/1120.33	c #Conflicts:     446000 | #Constraints:      69146
1117.12/1120.33	c INPROCESSING
1117.12/1120.33	c GARBAGE COLLECT
1117.12/1120.33	c #Conflicts:     447000 | #Constraints:      56980
1117.12/1120.33	c #Conflicts:     448000 | #Constraints:      57980
1117.12/1120.33	c #Conflicts:     449000 | #Constraints:      58980
1117.12/1120.33	c #Conflicts:     450000 | #Constraints:      59980
1117.12/1120.33	c #Conflicts:     451000 | #Constraints:      60980
1117.12/1120.33	c #Conflicts:     452000 | #Constraints:      61980
1117.12/1120.33	c #Conflicts:     453000 | #Constraints:      62980
1117.12/1120.33	c #Conflicts:     454000 | #Constraints:      63980
1117.12/1120.33	c #Conflicts:     455000 | #Constraints:      64980
1117.12/1120.33	c #Conflicts:     456000 | #Constraints:      65980
1117.12/1120.33	c #Conflicts:     457000 | #Constraints:      66980
1117.12/1120.33	c #Conflicts:     458000 | #Constraints:      67980
1117.12/1120.33	c #Conflicts:     459000 | #Constraints:      68980
1117.12/1120.33	c #Conflicts:     460000 | #Constraints:      69980
1117.12/1120.33	c INPROCESSING
1117.12/1120.33	c GARBAGE COLLECT
1117.12/1120.33	c #Conflicts:     461000 | #Constraints:      57604
1117.12/1120.33	c #Conflicts:     462000 | #Constraints:      58604
1117.12/1120.33	c #Conflicts:     463000 | #Constraints:      59604
1117.12/1120.33	c #Conflicts:     464000 | #Constraints:      60604
1117.12/1120.33	c #Conflicts:     465000 | #Constraints:      61604
1117.12/1120.33	c #Conflicts:     466000 | #Constraints:      62604
1117.12/1120.33	c #Conflicts:     467000 | #Constraints:      63604
1117.12/1120.33	c #Conflicts:     468000 | #Constraints:      64604
1117.12/1120.33	c #Conflicts:     469000 | #Constraints:      65604
1117.12/1120.33	c #Conflicts:     470000 | #Constraints:      66604
1117.12/1120.33	c #Conflicts:     471000 | #Constraints:      67604
1117.12/1120.33	c #Conflicts:     472000 | #Constraints:      68604
1117.12/1120.33	c #Conflicts:     473000 | #Constraints:      69604
1117.12/1120.33	c #Conflicts:     474000 | #Constraints:      70604
1117.12/1120.33	c INPROCESSING
1117.12/1120.33	c GARBAGE COLLECT
1117.12/1120.33	c #Conflicts:     475000 | #Constraints:      58015
1117.12/1120.33	c #Conflicts:     476000 | #Constraints:      59015
1117.12/1120.33	c #Conflicts:     477000 | #Constraints:      60015
1117.12/1120.33	c #Conflicts:     478000 | #Constraints:      61015
1117.12/1120.33	c #Conflicts:     479000 | #Constraints:      62015
1117.12/1120.33	c #Conflicts:     480000 | #Constraints:      63015
1117.12/1120.33	c #Conflicts:     481000 | #Constraints:      64015
1117.12/1120.33	c #Conflicts:     482000 | #Constraints:      65015
1117.12/1120.33	c #Conflicts:     483000 | #Constraints:      66015
1117.12/1120.33	c #Conflicts:     484000 | #Constraints:      67015
1117.12/1120.33	c #Conflicts:     485000 | #Constraints:      68015
1117.12/1120.33	c #Conflicts:     486000 | #Constraints:      69015
1117.12/1120.33	c #Conflicts:     487000 | #Constraints:      70015
1117.12/1120.33	c #Conflicts:     488000 | #Constraints:      71015
1117.12/1120.33	c #Conflicts:     489000 | #Constraints:      72015
1117.12/1120.33	c #Conflicts:     490000 | #Constraints:      73015
1117.12/1120.33	c #Conflicts:     491000 | #Constraints:      74015
1117.12/1120.33	c #Conflicts:     492000 | #Constraints:      75015
1117.12/1120.33	c #Conflicts:     493000 | #Constraints:      76015
1117.12/1120.33	c #Conflicts:     494000 | #Constraints:      77015
1117.12/1120.33	c #Conflicts:     495000 | #Constraints:      78015
1117.12/1120.33	c #Conflicts:     496000 | #Constraints:      79015
1117.12/1120.33	c #Conflicts:     497000 | #Constraints:      80015
1117.12/1120.33	c #Conflicts:     498000 | #Constraints:      81015
1117.12/1120.33	c #Conflicts:     499000 | #Constraints:      82015
1117.12/1120.33	c #Conflicts:     500000 | #Constraints:      83015
1117.12/1120.33	c #Conflicts:     501000 | #Constraints:      84015
1117.12/1120.33	c #Conflicts:     502000 | #Constraints:      85015
1117.12/1120.33	c #Conflicts:     503000 | #Constraints:      86015
1117.12/1120.33	c #Conflicts:     504000 | #Constraints:      87015
1117.12/1120.33	c #Conflicts:     505000 | #Constraints:      88015
1117.12/1120.33	c #Conflicts:     506000 | #Constraints:      89015
1117.12/1120.33	c #Conflicts:     507000 | #Constraints:      90015
1117.12/1120.33	c #Conflicts:     508000 | #Constraints:      91015
1117.12/1120.33	c #Conflicts:     509000 | #Constraints:      92015
1117.12/1120.33	c #Conflicts:     510000 | #Constraints:      93015
1117.12/1120.33	c #Conflicts:     511000 | #Constraints:      94015
1117.12/1120.33	c #Conflicts:     512000 | #Constraints:      95015
1117.12/1120.33	c #Conflicts:     513000 | #Constraints:      96015
1117.12/1120.33	c #Conflicts:     514000 | #Constraints:      97015
1117.12/1120.33	c #Conflicts:     515000 | #Constraints:      98015
1117.12/1120.33	c #Conflicts:     516000 | #Constraints:      99015
1117.12/1120.33	c #Conflicts:     517000 | #Constraints:     100015
1117.12/1120.33	c #Conflicts:     518000 | #Constraints:     101015
1117.12/1120.33	c #Conflicts:     519000 | #Constraints:     102015
1117.12/1120.33	c #Conflicts:     520000 | #Constraints:     103015
3090.08/3098.73	c #Conflicts:     521000 | #Constraints:     104015
3090.08/3098.73	c #Conflicts:     522000 | #Constraints:     105015
3090.08/3098.73	c #Conflicts:     523000 | #Constraints:     106015
3090.08/3098.73	c #Conflicts:     524000 | #Constraints:     107015
3090.08/3098.73	c #Conflicts:     525000 | #Constraints:     108015
3090.08/3098.73	c #Conflicts:     526000 | #Constraints:     109015
3090.08/3098.73	c #Conflicts:     527000 | #Constraints:     110015
3090.08/3098.73	c #Conflicts:     528000 | #Constraints:     111015
3090.08/3098.73	c #Conflicts:     529000 | #Constraints:     112015
3090.08/3098.73	c #Conflicts:     530000 | #Constraints:     113015
3090.08/3098.73	c #Conflicts:     531000 | #Constraints:     114015
3090.08/3098.73	c #Conflicts:     532000 | #Constraints:     115015
3090.08/3098.73	c #Conflicts:     533000 | #Constraints:     116015
3090.08/3098.73	c #Conflicts:     534000 | #Constraints:     117015
3090.08/3098.73	c #Conflicts:     535000 | #Constraints:     118015
3090.08/3098.73	c #Conflicts:     536000 | #Constraints:     119015
3090.08/3098.73	c #Conflicts:     537000 | #Constraints:     120015
3090.08/3098.73	c #Conflicts:     538000 | #Constraints:     121015
3090.08/3098.73	c #Conflicts:     539000 | #Constraints:     122015
3090.08/3098.73	c #Conflicts:     540000 | #Constraints:     123015
3090.08/3098.73	c #Conflicts:     541000 | #Constraints:     124015
3090.08/3098.73	c #Conflicts:     542000 | #Constraints:     125015
3090.08/3098.73	c INPROCESSING
3090.08/3098.73	c GARBAGE COLLECT
3090.08/3098.73	c #Conflicts:     543000 | #Constraints:      84743
3090.08/3098.73	c #Conflicts:     544000 | #Constraints:      85743
3090.08/3098.73	c #Conflicts:     545000 | #Constraints:      86743
3090.08/3098.73	c #Conflicts:     546000 | #Constraints:      87743
3090.08/3098.73	c #Conflicts:     547000 | #Constraints:      88743
3090.08/3098.73	c #Conflicts:     548000 | #Constraints:      89743
3090.08/3098.73	c #Conflicts:     549000 | #Constraints:      90743
3090.08/3098.73	c #Conflicts:     550000 | #Constraints:      91743
3090.08/3098.73	c #Conflicts:     551000 | #Constraints:      92743
3090.08/3098.73	c #Conflicts:     552000 | #Constraints:      93743
3090.08/3098.73	c #Conflicts:     553000 | #Constraints:      94743
3090.08/3098.73	c #Conflicts:     554000 | #Constraints:      95743
3090.08/3098.73	c #Conflicts:     555000 | #Constraints:      96743
3090.08/3098.73	c #Conflicts:     556000 | #Constraints:      97743
3090.08/3098.73	c #Conflicts:     557000 | #Constraints:      98743
3090.08/3098.73	c #Conflicts:     558000 | #Constraints:      99743
3090.08/3098.73	c INPROCESSING
3090.08/3098.73	c GARBAGE COLLECT
3090.08/3098.73	c #Conflicts:     559000 | #Constraints:      72592
3090.08/3098.73	c #Conflicts:     560000 | #Constraints:      73592
3090.08/3098.73	c #Conflicts:     561000 | #Constraints:      74592
3090.08/3098.73	c #Conflicts:     562000 | #Constraints:      75592
3090.08/3098.73	c #Conflicts:     563000 | #Constraints:      76592
3090.08/3098.73	c #Conflicts:     564000 | #Constraints:      77592
3090.08/3098.73	c #Conflicts:     565000 | #Constraints:      78592
3090.08/3098.73	c #Conflicts:     566000 | #Constraints:      79592
3090.08/3098.73	c #Conflicts:     567000 | #Constraints:      80592
3090.08/3098.73	c #Conflicts:     568000 | #Constraints:      81592
3090.08/3098.73	c #Conflicts:     569000 | #Constraints:      82592
3090.08/3098.73	c #Conflicts:     570000 | #Constraints:      83592
3090.08/3098.73	c #Conflicts:     571000 | #Constraints:      84592
3090.08/3098.73	c #Conflicts:     572000 | #Constraints:      85592
3090.08/3098.73	c #Conflicts:     573000 | #Constraints:      86592
3090.08/3098.73	c INPROCESSING
3090.08/3098.73	c GARBAGE COLLECT
3090.08/3098.73	c #Conflicts:     574000 | #Constraints:      65861
3090.08/3098.73	c #Conflicts:     575000 | #Constraints:      66861
3090.08/3098.73	c #Conflicts:     576000 | #Constraints:      67861
3090.08/3098.73	c #Conflicts:     577000 | #Constraints:      68861
3090.08/3098.73	c #Conflicts:     578000 | #Constraints:      69861
3090.08/3098.73	c #Conflicts:     579000 | #Constraints:      70861
3090.08/3098.73	c #Conflicts:     580000 | #Constraints:      71861
3090.08/3098.73	c #Conflicts:     581000 | #Constraints:      72861
3090.08/3098.73	c #Conflicts:     582000 | #Constraints:      73861
3090.08/3098.73	c #Conflicts:     583000 | #Constraints:      74861
3090.08/3098.73	c #Conflicts:     584000 | #Constraints:      75861
3090.08/3098.73	c #Conflicts:     585000 | #Constraints:      76861
3090.08/3098.73	c #Conflicts:     586000 | #Constraints:      77861
3090.08/3098.73	c #Conflicts:     587000 | #Constraints:      78861
3090.08/3098.73	c #Conflicts:     588000 | #Constraints:      79861
3090.08/3098.73	c #Conflicts:     589000 | #Constraints:      80861
3090.08/3098.73	c #Conflicts:     590000 | #Constraints:      81861
3090.08/3098.73	c #Conflicts:     591000 | #Constraints:      82861
3090.08/3098.73	c #Conflicts:     592000 | #Constraints:      83861
3090.08/3098.73	c #Conflicts:     593000 | #Constraints:      84861
3090.08/3098.73	c #Conflicts:     594000 | #Constraints:      85861
3090.08/3098.73	c #Conflicts:     595000 | #Constraints:      86861
3090.08/3098.73	c #Conflicts:     596000 | #Constraints:      87861
3090.08/3098.73	c #Conflicts:     597000 | #Constraints:      88861
3600.09/3610.01	c #Conflicts:     598000 | #Constraints:      89861
3600.09/3610.01	c #Conflicts:     599000 | #Constraints:      90861
3600.09/3610.01	c #Conflicts:     600000 | #Constraints:      91861
3600.09/3610.01	c #Conflicts:     601000 | #Constraints:      92861
3600.09/3610.01	c #Conflicts:     602000 | #Constraints:      93861
3600.09/3610.01	c #Conflicts:     603000 | #Constraints:      94861
3600.09/3610.01	c #Conflicts:     604000 | #Constraints:      95861
3600.09/3610.01	c #Conflicts:     605000 | #Constraints:      96861
3600.09/3610.01	c #Conflicts:     606000 | #Constraints:      97861
3600.09/3610.01	c #Conflicts:     607000 | #Constraints:      98861
3600.09/3610.01	c #Conflicts:     608000 | #Constraints:      99861
3600.09/3610.01	c #Conflicts:     609000 | #Constraints:     100861
3600.09/3610.01	c #Conflicts:     610000 | #Constraints:     101861
3600.09/3610.01	c #Conflicts:     611000 | #Constraints:     102861
3600.09/3610.01	c Program interrupted by user.
3600.09/3610.01	c cpu time 3593.45 s
3600.09/3610.01	c deterministic time 237562205742 2.38e+11
3600.09/3610.01	c optimization time 1165.77 s
3600.09/3610.01	c total solve time 2128.2 s
3600.09/3610.01	c core-guided solve time 2128.2 s
3600.09/3610.01	c propagation time 2966.58 s
3600.09/3610.01	c conflict analysis time 311.481 s
3600.09/3610.01	c propagations 139824778
3600.09/3610.01	c resolve steps 10590650
3600.09/3610.01	c decisions 4668599
3600.09/3610.01	c conflicts 611272
3600.09/3610.01	c restarts 1277
3600.09/3610.01	c inprocessing phases 63
3600.09/3610.01	c input clauses 20670
3600.09/3610.01	c input cardinalities 801
3600.09/3610.01	c input general constraints 21603
3600.09/3610.01	c input average constraint length 7.30
3600.09/3610.01	c input average constraint degree 5.30
3600.09/3610.01	c learned clauses 500046
3600.09/3610.01	c learned cardinalities 13428
3600.09/3610.01	c learned general constraints 97798
3600.09/3610.01	c learned average constraint length 175.21
3600.09/3610.01	c learned average constraint degree 1201045.65
3600.09/3610.01	c watched constraints 85562
3600.09/3610.01	c counting constraints 33839
3600.09/3610.01	c gcd simplifications 1169
3600.09/3610.01	c detected cardinalities 13
3600.09/3610.01	c weakened non-implied lits 15394242
3600.09/3610.01	c weakened non-implying lits 6161
3600.09/3610.01	c original variables 2700
3600.09/3610.01	c clausal propagations 62441697
3600.09/3610.01	c cardinality propagations 60934431
3600.09/3610.01	c watched propagations 6310007
3600.09/3610.01	c counting propagations 9502774
3600.09/3610.01	c watch lookups 69934481442
3600.09/3610.01	c watch backjump lookups 67403820197
3600.09/3610.01	c watch checks 86769640334
3600.09/3610.01	c propagation checks 12776584175
3600.09/3610.01	c constraint additions 388081985
3600.09/3610.01	c trail pops 145104231
3600.09/3610.01	c formula constraints 43070
3600.09/3610.01	c learned constraints 611272
3600.09/3610.01	c bound constraints 2
3600.09/3610.01	c core-guided constraints 2
3600.09/3610.01	c encountered formula constraints 5341101
3600.09/3610.01	c encountered learned constraints 5853719
3600.09/3610.01	c encountered bound constraints 0
3600.09/3610.01	c encountered core-guided constraints 7102
3600.09/3610.01	c LP total time 0 s
3600.09/3610.01	c LP solve time 0 s
3600.09/3610.01	c LP constraints added 0
3600.09/3610.01	c LP constraints removed 0
3600.09/3610.01	c LP pivots internal 0
3600.09/3610.01	c LP pivots root 0
3600.09/3610.01	c LP calls 0
3600.09/3610.01	c LP optimalities 0
3600.09/3610.01	c LP no pivot count 0
3600.09/3610.01	c LP infeasibilities 0
3600.09/3610.01	c LP valid Farkas constraints 0
3600.09/3610.01	c LP learned Farkas constraints 0
3600.09/3610.01	c LP basis resets 0
3600.09/3610.01	c LP cycling count 0
3600.09/3610.01	c LP singular count 0
3600.09/3610.01	c LP no primal count 0
3600.09/3610.01	c LP no farkas count 0
3600.09/3610.01	c LP other issue count 0
3600.09/3610.01	c LP Gomory cuts 0
3600.09/3610.01	c LP learned cuts 0
3600.09/3610.01	c LP deleted cuts 0
3600.09/3610.01	c LP encountered Gomory constraints 0
3600.09/3610.01	c LP encountered Farkas constraints 0
3600.09/3610.01	c LP encountered learned Farkas constraints 0
3600.09/3610.01	c CG auxiliary variables introduced 1
3600.09/3610.01	c CG solutions found 1
3600.09/3610.01	c CG cores constructed 1
3600.09/3610.01	c CG core cardinality constraints returned 0
3600.09/3610.01	c CG unit cores 0
3600.09/3610.01	c CG single cores 1
3600.09/3610.01	c CG blocks removed during cardinality reduction 0
3600.09/3610.01	c CG first core best 0
3600.09/3610.01	c CG decision core best 0
3600.09/3610.01	c CG core reduction tie 0
3600.09/3610.01	c CG core degree average 1.00
3600.09/3610.01	c CG core slack average 201.00
3600.09/3610.01	c CG exhausted 0
3600.09/3610.01	c CG exhaust time 0.099127 s
3600.09/3610.01	c CG trimmed 0
3600.09/3610.01	c CG trim time 0.000286 s
3600.09/3610.01	c CG minimized 0
3600.09/3610.01	c CG minimize time 0 s
3600.09/3610.01	c CG am1 prop time 0.00052 s
3600.09/3610.01	c CG # am1s reformulated 0
3600.09/3610.01	c CG lower bound derived from am1s 0
3600.09/3610.01	c CG # clausal cores 1
3600.09/3610.01	c CG # cardinality cores 0
3600.09/3610.01	c CG # pb cores 0
3600.09/3610.01	c CG # pb reforms 0
3600.09/3610.01	c CG # cores discarded because of pb reform 0
3600.09/3610.01	d LOWERBOUND 4
3600.09/3610.01	d NCORES 1
3600.09/3610.01	d NPBCORES 0
3600.09/3610.01	d NPBREFORM 0
3600.09/3610.01	d NTRIMMED 0
3600.09/3610.01	d NEXHAUSTED 0
3600.09/3610.01	d NAM1S 0
3600.09/3610.01	d AM1LB 0
3600.09/3610.01	c [Papilo Statistics]
3600.09/3610.01	c prepro time 0.0852181s
3600.09/3610.01	c # tsx applied 0
3600.09/3610.01	c # tsx conflicts 0
3600.09/3610.01	c # bound changes 0
3600.09/3610.01	c # side changes 0
3600.09/3610.01	c # coef changes 0
3600.09/3610.01	c # rounds 1
3600.09/3610.01	c # deted vars 0
3600.09/3610.01	c # deted constrs 0
3600.09/3610.01	c # consecutive rounds of only bound changes 0
3600.09/3610.01	c [STEP] postprocessing with Papilo
3600.09/3610.01	o 328
3600.09/3610.01	s SATISFIABLE
3600.09/3610.01	v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 x694 -x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 x1269 -x1270 x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 x1340 -x1341 -x1342 -x1343 -x1344 x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 x1409 -x1410 -x1411 x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 x1430 -x1431 x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 x1528 -x1529 -x1530 -x1531 -x1532 -x1533 x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 x1699 -x1700 x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1750 -x1751 -x1752 x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 x1777 -x1778 -x1779 -x1780 x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 x1800 x1801 x1802 x1803 x1804 -x1805 -x1806 -x1807 x1808 x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818 x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x1880 -x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 x1903 -x1904 -x1905 -x1906 x1907 x1908 -x1909 x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 x1948 -x1949 -x1950 -x1951 -x1952 -x1953 x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 x1978 -x1979 -x1980 -x1981 x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 -x1999 x2000 x2001 -x2002 -x2003 -x2004 -x2005 -x2006 x2007 -x2008 -x2009 -x2010 -x2011 -x2012 x2013 -x2014 -x2015 -x2016 -x2017 -x2018 x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 x2048 -x2049 -x2050 -x2051 -x2052 x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 x2078 -x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 x2097 x2098 -x2099 x2100 -x2101 x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 x2122 -x2123 -x2124 -x2125 -x2126 -x2127 x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 x2149 -x2150 -x2151 -x2152 x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 -x2168 -x2169 x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 x2199 -x2200 x2201 x2202 x2203 x2204 x2205 -x2206 -x2207 -x2208 x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 -x2258 -x2259 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 -x2298 x2299 x2300 x2301 x2302 x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 x2398 x2399 -x2400 -x2401 x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x2410 -x2411 -x2412 -x2413 x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 x2465 -x2466 -x2467 x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 -x2493 x2494 -x2495 -x2496 -x2497 x2498 x2499 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 x2537 -x2538 -x2539 x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591 -x2592 x2593 -x2594 x2595 -x2596 x2597 x2598 x2599 -x2600 x2601 -x2602 -x2603 -x2604 x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 x2619 x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 x2637 -x2638 -x2639 x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 x2673 -x2674 -x2675 -x2676 -x2677 -x2678 x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 -x2692 x2693 -x2694 x2695 -x2696 -x2697 x2698 x2699 x2700

OK	328

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (52524 MiB free)
  memory of node 1: 64507 MiB (62884 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528895-1752256211/watcher-4528895-1752256211 -o /tmp/evaluation-result-4528895-1752256211/solver-4528895-1752256211 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1752256208-133552 --watchdog 3760 mixed-bag HOME/instance-4528895-1752256211.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=133697, runsolver pid=133693
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 1.05 1.12 1.82 5/265 133702
/proc/meminfo: memFree=118164448/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=90140 memory=15984 CPUtime=0.08 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 2603 0 0 0 8 0 0 0 20 0 1 0 141301315 92303360 3996 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 22535 3996 2144 2834 0 5287 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 90140 KiB
Current children cumulated memory: 15984 KiB

[startup+0.205398 s]*
/proc/loadavg: 1.05 1.12 1.82 5/265 133702
/proc/meminfo: memFree=118132504/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=107876 memory=32520 CPUtime=0.19 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 4649 0 0 0 18 1 0 0 20 0 1 0 141301315 110465024 8130 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 26969 8130 2176 2834 0 9721 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 107876 KiB
Current children cumulated memory: 32520 KiB

[startup+0.30548 s]*
/proc/loadavg: 1.05 1.12 1.82 5/265 133702
/proc/meminfo: memFree=118106104/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=146316 memory=62912 CPUtime=0.29 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 9254 0 0 0 27 2 0 0 20 0 1 0 141301315 149827584 15728 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 36579 15728 2304 2834 0 18784 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 146316 KiB
Current children cumulated memory: 62912 KiB

[startup+0.700166 s]
/proc/loadavg: 1.05 1.12 1.82 5/265 133702
/proc/meminfo: memFree=118025716/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=243380 memory=163648 CPUtime=0.66 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 38826 0 0 0 60 6 0 0 20 0 1 0 141301315 249221120 40912 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 60845 40912 4000 2834 0 43050 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 243380 KiB
Current children cumulated memory: 163648 KiB

[startup+1.50013 s]
/proc/loadavg: 1.05 1.12 1.82 5/265 133702
/proc/meminfo: memFree=117925476/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=281024 memory=201920 CPUtime=1.46 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 48326 0 0 0 139 7 0 0 20 0 1 0 141301315 287768576 50480 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 70256 50480 4064 2834 0 52461 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 281024 KiB
Current children cumulated memory: 201920 KiB

[startup+3.10522 s]
/proc/loadavg: 1.05 1.12 1.82 5/266 133703
/proc/meminfo: memFree=117659704/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=558340 memory=438192 CPUtime=3.06 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 81414 0 0 0 290 16 0 0 20 0 1 0 141301315 571740160 109548 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 139585 109548 4256 2834 0 121790 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 558340 KiB
Current children cumulated memory: 438192 KiB

[startup+6.30012 s]
/proc/loadavg: 1.29 1.17 1.84 5/266 133703
/proc/meminfo: memFree=117660060/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=559896 memory=438704 CPUtime=6.25 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 81543 0 0 0 609 16 0 0 20 0 1 0 141301315 573333504 109676 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 139974 109676 4256 2834 0 122179 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 559896 KiB
Current children cumulated memory: 438704 KiB

[startup+12.7001 s]
/proc/loadavg: 1.51 1.22 1.85 5/266 133704
/proc/meminfo: memFree=117643996/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=560168 memory=439600 CPUtime=12.63 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 81778 0 0 0 1247 16 0 0 20 0 1 0 141301315 573612032 109900 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 140042 109900 4256 2834 0 122247 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 560168 KiB
Current children cumulated memory: 439600 KiB

[startup+25.5001 s]
/proc/loadavg: 2.06 1.35 1.88 5/266 133704
/proc/meminfo: memFree=117540692/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=560868 memory=439984 CPUtime=25.4 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 81895 0 0 0 2524 16 0 0 20 0 1 0 141301315 574328832 109996 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 140217 109996 4256 2834 0 122422 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 560868 KiB
Current children cumulated memory: 439984 KiB

[startup+51.1054 s]
/proc/loadavg: 2.79 1.58 1.95 5/266 133704
/proc/meminfo: memFree=117471072/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=584476 memory=454996 CPUtime=50.94 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 84632 0 0 0 5077 17 0 0 20 0 1 0 141301315 598503424 113749 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 146119 113749 4256 2834 0 128324 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 584476 KiB
Current children cumulated memory: 454996 KiB

[startup+102.3 s]
/proc/loadavg: 3.60 1.99 2.07 5/266 133706
/proc/meminfo: memFree=117440460/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=606924 memory=462024 CPUtime=102 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 85360 0 0 0 10182 18 0 0 20 0 1 0 141301315 621490176 115506 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 151731 115506 4256 2834 0 133936 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 606924 KiB
Current children cumulated memory: 462024 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.37 2.20 5/267 133713
/proc/meminfo: memFree=117356244/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=626944 memory=462024 CPUtime=161.84 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 85382 0 0 0 16166 18 0 0 20 0 1 0 141301315 641990656 115506 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 156736 115506 4256 2834 0 138941 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 626944 KiB
Current children cumulated memory: 462024 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.69 2.32 5/267 133715
/proc/meminfo: memFree=117260516/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=626944 memory=462024 CPUtime=221.67 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 85393 0 0 0 22149 18 0 0 20 0 1 0 141301315 641990656 115506 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 156736 115506 4256 2834 0 138941 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 626944 KiB
Current children cumulated memory: 462024 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 2.94 2.43 5/267 133717
/proc/meminfo: memFree=117132096/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=698336 memory=532296 CPUtime=281.51 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 102937 0 0 0 28130 21 0 0 20 0 1 0 141301315 715096064 133074 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 174584 133074 4288 2834 0 156789 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 698336 KiB
Current children cumulated memory: 532296 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 3.15 2.54 5/264 133764
/proc/meminfo: memFree=117382172/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=560232 memory=445272 CPUtime=341.36 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 104489 0 0 0 33989 147 0 0 20 0 1 0 141301315 573677568 111318 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 140058 111318 4448 2834 0 122263 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 560232 KiB
Current children cumulated memory: 445272 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.34 2.64 5/264 133766
/proc/meminfo: memFree=117337588/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=571908 memory=453464 CPUtime=401.2 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 105005 0 0 0 39897 223 0 0 20 0 1 0 141301315 585633792 113366 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 142977 113366 4448 2834 0 125182 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 571908 KiB
Current children cumulated memory: 453464 KiB

[startup+462.3 s]
/proc/loadavg: 4.04 3.46 2.73 5/263 133768
/proc/meminfo: memFree=117298372/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=590876 memory=457432 CPUtime=461.04 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 105491 0 0 0 45844 260 0 0 20 0 1 0 141301315 605057024 114358 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 147719 114358 4448 2834 0 129924 0
Current children cumulated CPU time: 461.04 s

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

Current children cumulated memory: 601012 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.16 4.05 5/264 133891
/proc/meminfo: memFree=117069284/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=753172 memory=601012 CPUtime=2854.28 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 108083 0 0 0 284825 603 0 0 20 0 1 0 141301315 771248128 150253 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 188293 150253 4448 2834 0 170498 0
Current children cumulated CPU time: 2854.28 s
Current children cumulated vsize: 753172 KiB
Current children cumulated memory: 601012 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.14 4.05 5/264 133893
/proc/meminfo: memFree=117069476/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=753172 memory=601012 CPUtime=2914.12 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 108085 0 0 0 290803 609 0 0 20 0 1 0 141301315 771248128 150253 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 188293 150253 4448 2834 0 170498 0
Current children cumulated CPU time: 2914.12 s
Current children cumulated vsize: 753172 KiB
Current children cumulated memory: 601012 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.14 4.06 5/264 133897
/proc/meminfo: memFree=117061500/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=753172 memory=601012 CPUtime=2973.97 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 108220 0 0 0 296784 613 0 0 20 0 1 0 141301315 771248128 150253 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 188293 150253 4448 2834 0 170498 0
Current children cumulated CPU time: 2973.97 s
Current children cumulated vsize: 753172 KiB
Current children cumulated memory: 601012 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.13 4.06 5/263 133899
/proc/meminfo: memFree=117062652/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=753172 memory=601012 CPUtime=3033.81 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 108222 0 0 0 302762 619 0 0 20 0 1 0 141301315 771248128 150253 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 188293 150253 4448 2834 0 170498 0
Current children cumulated CPU time: 3033.81 s
Current children cumulated vsize: 753172 KiB
Current children cumulated memory: 601012 KiB

[startup+3102.3 s]
/proc/loadavg: 4.22 4.15 4.07 5/263 133901
/proc/meminfo: memFree=117053140/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=753172 memory=601012 CPUtime=3093.66 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 108224 0 0 0 308742 624 0 0 20 0 1 0 141301315 771248128 150253 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 188293 150253 4448 2834 0 170498 0
Current children cumulated CPU time: 3093.66 s
Current children cumulated vsize: 753172 KiB
Current children cumulated memory: 601012 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.07 5/264 133908
/proc/meminfo: memFree=117043640/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=753172 memory=601012 CPUtime=3153.51 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 108226 0 0 0 314723 628 0 0 20 0 1 0 141301315 771248128 150253 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 188293 150253 4448 2834 0 170498 0
Current children cumulated CPU time: 3153.51 s
Current children cumulated vsize: 753172 KiB
Current children cumulated memory: 601012 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.07 5/264 133910
/proc/meminfo: memFree=117048444/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=753172 memory=601012 CPUtime=3213.37 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 108228 0 0 0 320704 633 0 0 20 0 1 0 141301315 771248128 150253 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 188293 150253 4448 2834 0 170498 0
Current children cumulated CPU time: 3213.37 s
Current children cumulated vsize: 753172 KiB
Current children cumulated memory: 601012 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.12 4.07 5/264 133912
/proc/meminfo: memFree=117043484/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=753172 memory=601012 CPUtime=3273.22 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 108230 0 0 0 326683 639 0 0 20 0 1 0 141301315 771248128 150253 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 188293 150253 4448 2834 0 170498 0
Current children cumulated CPU time: 3273.22 s
Current children cumulated vsize: 753172 KiB
Current children cumulated memory: 601012 KiB

[startup+3342.3 s]
/proc/loadavg: 4.36 4.17 4.09 5/264 133914
/proc/meminfo: memFree=117043396/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=753172 memory=601012 CPUtime=3333.07 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 108232 0 0 0 332664 643 0 0 20 0 1 0 141301315 771248128 150253 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 188293 150253 4448 2834 0 170498 0
Current children cumulated CPU time: 3333.07 s
Current children cumulated vsize: 753172 KiB
Current children cumulated memory: 601012 KiB

[startup+3402.3 s]
/proc/loadavg: 4.32 4.20 4.11 5/264 133916
/proc/meminfo: memFree=117039444/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=753172 memory=601012 CPUtime=3392.93 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 108235 0 0 0 338646 647 0 0 20 0 1 0 141301315 771248128 150253 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 188293 150253 4448 2834 0 170498 0
Current children cumulated CPU time: 3392.93 s
Current children cumulated vsize: 753172 KiB
Current children cumulated memory: 601012 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.18 4.10 5/263 133918
/proc/meminfo: memFree=117037548/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=753172 memory=601012 CPUtime=3452.78 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 108236 0 0 0 344627 651 0 0 20 0 1 0 141301315 771248128 150253 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 188293 150253 4448 2834 0 170498 0
Current children cumulated CPU time: 3452.78 s
Current children cumulated vsize: 753172 KiB
Current children cumulated memory: 601012 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.14 4.09 5/263 133920
/proc/meminfo: memFree=117031548/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=753172 memory=601012 CPUtime=3512.63 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 108238 0 0 0 350608 655 0 0 20 0 1 0 141301315 771248128 150253 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 188293 150253 4448 2834 0 170498 0
Current children cumulated CPU time: 3512.63 s
Current children cumulated vsize: 753172 KiB
Current children cumulated memory: 601012 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/264 133925
/proc/meminfo: memFree=117030744/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=753172 memory=601012 CPUtime=3572.48 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 108239 0 0 0 356588 660 0 0 20 0 1 0 141301315 771248128 150253 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 188293 150253 4448 2834 0 170498 0
Current children cumulated CPU time: 3572.48 s
Current children cumulated vsize: 753172 KiB
Current children cumulated memory: 601012 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.14 4.15 4.09 5/260 134007
/proc/meminfo: memFree=117615640/131250000 swapFree=33008868/33010684
[pid=133697] ppid=133693 vsize=753172 memory=601012 CPUtime=3600.09 cores=4,6
/proc/133697/stat : 133697 (mixed-bag) R 133693 133697 133541 0 -1 4194304 108240 0 0 0 359344 665 0 0 20 0 1 0 141301315 771248128 150253 18446744073709551615 4235264 15840557 140731743152080 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 28651520 140731743156634 140731743156711 140731743156711 140731743162315 0
/proc/133697/statm: 188293 150253 4448 2834 0 170498 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 753172 KiB
Current children cumulated memory: 601012 KiB

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

[startup+3610.02 s]
# the end of solver process 133697 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3593.46 s, system=6.65422 s

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

Child status: 0

Real time (s): 3610.02
CPU time (s): 3600.11
CPU user time (s): 3593.46
CPU system time (s): 6.65422
CPU usage (%): 99.7255
Max. virtual memory (cumulated for all children) (KiB): 753172
Max. memory (cumulated for all children) (KiB): 601012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.46
system time used= 6.65422
maximum resident set size= 601524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108277
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= 183
involuntary context switches= 1726


# summary of solver processes directly reported to runsolver:
#   pid: 133697
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3593.46
#   total CPU system time (s): 6.65422

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.55464 second user time and 16.2288 second system time

The end

Begin job on nodeC013 at 2025-07-11 19:50:11
IDJOB=4528895
IDBENCH=147019
IDSOLVER=3386
FILE ID=nodeC013/4528895-1752256211
RUNJOBID= nodeC013-1752256208-133552
SLURM_JOB_ID= 9682595
Free space on /tmp= 432216 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ10_3.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528895-1752256211/watcher-4528895-1752256211 -o /tmp/evaluation-result-4528895-1752256211/solver-4528895-1752256211 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1752256208-133552 --watchdog 3760  mixed-bag HOME/instance-4528895-1752256211.opb

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

MD5SUM BENCH= aa9fde9a58805e0fa430d773484bcae7
RANDOM SEED=334604998

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        118179068 kB
MemAvailable:   129337452 kB
Buffers:            1668 kB
Cached:         11904704 kB
SwapCached:          160 kB
Active:           874064 kB
Inactive:       11462264 kB
Active(anon):     446404 kB
Inactive(anon):     4868 kB
Active(file):     427660 kB
Inactive(file): 11457396 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008868 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             66612 kB
Writeback:             0 kB
AnonPages:        432952 kB
Mapped:           125028 kB
Shmem:             21308 kB
KReclaimable:     224736 kB
Slab:             319580 kB
SReclaimable:     224736 kB
SUnreclaim:        94844 kB
KernelStack:        4240 kB
PageTables:         3924 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     797988 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150456 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     47104 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432184 MiB
End job on nodeC013 at 2025-07-11 20:50:21