0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.00/0.09	c #variables 900 #constraints 19855
3.36/3.47	c #Conflicts:       1000 | #Constraints:      20854
3.36/3.47	c #Conflicts:       2000 | #Constraints:      21854
3.36/3.47	c INPROCESSING
3.36/3.47	c #Conflicts:       3000 | #Constraints:      21857
3.36/3.47	c #Conflicts:       4000 | #Constraints:      22857
3.36/3.47	c INPROCESSING
3.36/3.47	c GARBAGE COLLECT
3.36/3.47	c #Conflicts:       5000 | #Constraints:      22260
3.36/3.47	c #Conflicts:       6000 | #Constraints:      23260
3.36/3.47	c INPROCESSING
3.36/3.47	c GARBAGE COLLECT
3.36/3.47	c #Conflicts:       7000 | #Constraints:      22262
3.36/3.47	c #Conflicts:       8000 | #Constraints:      23262
3.36/3.47	c #Conflicts:       9000 | #Constraints:      24262
3.36/3.47	c INPROCESSING
3.36/3.47	c GARBAGE COLLECT
3.36/3.47	c #Conflicts:      10000 | #Constraints:      22965
3.36/3.47	c #Conflicts:      11000 | #Constraints:      23965
3.36/3.47	c #Conflicts:      12000 | #Constraints:      24965
3.36/3.47	c INPROCESSING
3.36/3.47	c GARBAGE COLLECT
3.36/3.47	c #Conflicts:      13000 | #Constraints:      23414
3.36/3.47	c #Conflicts:      14000 | #Constraints:      24414
3.36/3.47	c #Conflicts:      15000 | #Constraints:      25414
3.36/3.47	c INPROCESSING
3.36/3.47	c GARBAGE COLLECT
3.36/3.47	c #Conflicts:      16000 | #Constraints:      23640
3.36/3.47	c #Conflicts:      17000 | #Constraints:      24640
3.36/3.47	c #Conflicts:      18000 | #Constraints:      25640
3.36/3.47	c INPROCESSING
3.36/3.47	c GARBAGE COLLECT
3.36/3.47	c #Conflicts:      19000 | #Constraints:      23655
3.36/3.47	c #Conflicts:      20000 | #Constraints:      24655
3.36/3.47	c #Conflicts:      21000 | #Constraints:      25655
3.36/3.47	c INPROCESSING
3.36/3.47	c GARBAGE COLLECT
3.36/3.47	c #Conflicts:      22000 | #Constraints:      23459
3.36/3.47	c #Conflicts:      23000 | #Constraints:      24459
3.36/3.47	c #Conflicts:      24000 | #Constraints:      25459
3.36/3.47	c #Conflicts:      25000 | #Constraints:      26459
3.36/3.47	c INPROCESSING
3.36/3.47	c GARBAGE COLLECT
3.36/3.47	c #Conflicts:      26000 | #Constraints:      24065
3.36/3.47	c #Conflicts:      27000 | #Constraints:      25065
3.36/3.47	c #Conflicts:      28000 | #Constraints:      26065
3.36/3.47	c #Conflicts:      29000 | #Constraints:      27065
3.36/3.47	c INPROCESSING
3.36/3.47	c GARBAGE COLLECT
3.36/3.47	c #Conflicts:      30000 | #Constraints:      24468
3.36/3.47	c #Conflicts:      31000 | #Constraints:      25468
3.36/3.47	c #Conflicts:      32000 | #Constraints:      26468
3.36/3.47	c #Conflicts:      33000 | #Constraints:      27468
3.36/3.47	c INPROCESSING
3.36/3.47	c GARBAGE COLLECT
3.36/3.47	c rational objective 450
7.06/7.14	c #Conflicts:      34000 | #Constraints:      24671
7.06/7.14	c #Conflicts:      35000 | #Constraints:      25671
7.06/7.14	c #Conflicts:      36000 | #Constraints:      26671
7.06/7.14	c #Conflicts:      37000 | #Constraints:      27671
7.06/7.14	c INPROCESSING
7.06/7.14	c GARBAGE COLLECT
7.06/7.14	c #Conflicts:      38000 | #Constraints:      24672
7.06/7.14	c #Conflicts:      39000 | #Constraints:      25672
7.06/7.14	c #Conflicts:      40000 | #Constraints:      26672
7.06/7.14	c #Conflicts:      41000 | #Constraints:      27672
7.06/7.14	c INPROCESSING
7.06/7.14	c GARBAGE COLLECT
7.06/7.14	c #Conflicts:      42000 | #Constraints:      24473
7.06/7.14	c #Conflicts:      43000 | #Constraints:      25473
7.06/7.14	c #Conflicts:      44000 | #Constraints:      26473
7.06/7.14	c #Conflicts:      45000 | #Constraints:      27473
7.06/7.14	c #Conflicts:      46000 | #Constraints:      28473
7.06/7.14	c INPROCESSING
7.06/7.14	c GARBAGE COLLECT
7.06/7.14	c #Conflicts:      47000 | #Constraints:      25069
7.06/7.14	c #Conflicts:      48000 | #Constraints:      26069
7.06/7.14	c #Conflicts:      49000 | #Constraints:      27069
7.06/7.14	c #Conflicts:      50000 | #Constraints:      28069
7.06/7.14	c #Conflicts:      51000 | #Constraints:      29069
7.06/7.14	c INPROCESSING
7.06/7.14	c GARBAGE COLLECT
7.06/7.14	c #Conflicts:      52000 | #Constraints:      25470
7.06/7.14	c #Conflicts:      53000 | #Constraints:      26470
7.06/7.14	c #Conflicts:      54000 | #Constraints:      27470
7.06/7.14	c #Conflicts:      55000 | #Constraints:      28470
7.06/7.14	c #Conflicts:      56000 | #Constraints:      29470
7.06/7.14	c INPROCESSING
7.06/7.14	c GARBAGE COLLECT
7.06/7.14	c #Conflicts:      57000 | #Constraints:      25673
7.06/7.14	c #Conflicts:      58000 | #Constraints:      26673
7.06/7.14	c #Conflicts:      59000 | #Constraints:      27673
7.06/7.14	c #Conflicts:      60000 | #Constraints:      28673
7.06/7.14	c #Conflicts:      61000 | #Constraints:      29673
7.06/7.14	c INPROCESSING
7.06/7.14	c GARBAGE COLLECT
7.06/7.14	c #Conflicts:      62000 | #Constraints:      25669
7.06/7.14	c #Conflicts:      63000 | #Constraints:      26669
7.06/7.14	c #Conflicts:      64000 | #Constraints:      27669
7.06/7.14	c #Conflicts:      65000 | #Constraints:      28669
7.06/7.14	c #Conflicts:      66000 | #Constraints:      29669
7.06/7.14	c INPROCESSING
7.06/7.14	c GARBAGE COLLECT
7.06/7.14	c rational objective 451.778
10.54/10.69	c #Conflicts:      67000 | #Constraints:      25476
10.54/10.69	c #Conflicts:      68000 | #Constraints:      26476
10.54/10.69	c #Conflicts:      69000 | #Constraints:      27476
10.54/10.69	c #Conflicts:      70000 | #Constraints:      28476
10.54/10.69	c #Conflicts:      71000 | #Constraints:      29476
10.54/10.69	c #Conflicts:      72000 | #Constraints:      30476
10.54/10.69	c INPROCESSING
10.54/10.69	c GARBAGE COLLECT
10.54/10.69	c #Conflicts:      73000 | #Constraints:      26073
10.54/10.69	c #Conflicts:      74000 | #Constraints:      27073
10.54/10.69	c #Conflicts:      75000 | #Constraints:      28073
10.54/10.69	c #Conflicts:      76000 | #Constraints:      29073
10.54/10.69	c #Conflicts:      77000 | #Constraints:      30073
10.54/10.69	c #Conflicts:      78000 | #Constraints:      31073
10.54/10.69	c INPROCESSING
10.54/10.69	c GARBAGE COLLECT
10.54/10.69	c #Conflicts:      79000 | #Constraints:      26470
10.54/10.69	c #Conflicts:      80000 | #Constraints:      27470
10.54/10.69	c #Conflicts:      81000 | #Constraints:      28470
10.54/10.69	c #Conflicts:      82000 | #Constraints:      29470
10.54/10.69	c #Conflicts:      83000 | #Constraints:      30470
10.54/10.69	c #Conflicts:      84000 | #Constraints:      31470
10.54/10.69	c INPROCESSING
10.54/10.69	c GARBAGE COLLECT
10.54/10.69	c #Conflicts:      85000 | #Constraints:      26670
10.54/10.69	c #Conflicts:      86000 | #Constraints:      27670
10.54/10.69	c #Conflicts:      87000 | #Constraints:      28670
10.54/10.69	c #Conflicts:      88000 | #Constraints:      29670
10.54/10.69	c #Conflicts:      89000 | #Constraints:      30670
10.54/10.69	c #Conflicts:      90000 | #Constraints:      31670
10.54/10.69	c INPROCESSING
10.54/10.69	c GARBAGE COLLECT
10.54/10.69	c #Conflicts:      91000 | #Constraints:      26672
10.54/10.69	c #Conflicts:      92000 | #Constraints:      27672
10.54/10.69	c #Conflicts:      93000 | #Constraints:      28672
10.54/10.69	c #Conflicts:      94000 | #Constraints:      29672
10.54/10.69	c #Conflicts:      95000 | #Constraints:      30672
10.54/10.69	c #Conflicts:      96000 | #Constraints:      31672
10.54/10.69	c INPROCESSING
10.54/10.69	c GARBAGE COLLECT
10.54/10.69	c rational objective 453.364
12.94/13.04	c #Conflicts:      97000 | #Constraints:      26483
12.94/13.04	c #Conflicts:      98000 | #Constraints:      27483
12.94/13.04	c #Conflicts:      99000 | #Constraints:      28483
12.94/13.04	c #Conflicts:     100000 | #Constraints:      29483
12.94/13.04	c #Conflicts:     101000 | #Constraints:      30483
12.94/13.04	c #Conflicts:     102000 | #Constraints:      31483
12.94/13.04	c #Conflicts:     103000 | #Constraints:      32483
12.94/13.04	c INPROCESSING
12.94/13.04	c GARBAGE COLLECT
12.94/13.04	c #Conflicts:     104000 | #Constraints:      27073
12.94/13.04	c #Conflicts:     105000 | #Constraints:      28073
12.94/13.04	c #Conflicts:     106000 | #Constraints:      29073
12.94/13.04	c #Conflicts:     107000 | #Constraints:      30073
12.94/13.04	c #Conflicts:     108000 | #Constraints:      31073
12.94/13.04	c #Conflicts:     109000 | #Constraints:      32073
12.94/13.04	c #Conflicts:     110000 | #Constraints:      33073
12.94/13.04	c INPROCESSING
12.94/13.04	c GARBAGE COLLECT
12.94/13.04	c #Conflicts:     111000 | #Constraints:      27479
12.94/13.04	c #Conflicts:     112000 | #Constraints:      28479
12.94/13.04	c #Conflicts:     113000 | #Constraints:      29479
12.94/13.04	c #Conflicts:     114000 | #Constraints:      30479
12.94/13.04	c #Conflicts:     115000 | #Constraints:      31479
12.94/13.04	c #Conflicts:     116000 | #Constraints:      32479
12.94/13.04	c #Conflicts:     117000 | #Constraints:      33479
12.94/13.04	c INPROCESSING
12.94/13.04	c GARBAGE COLLECT
12.94/13.04	c rational objective 454.253
17.62/17.79	c #Conflicts:     118000 | #Constraints:      27685
17.62/17.79	c #Conflicts:     119000 | #Constraints:      28685
17.62/17.79	c #Conflicts:     120000 | #Constraints:      29685
17.62/17.79	c #Conflicts:     121000 | #Constraints:      30685
17.62/17.79	c #Conflicts:     122000 | #Constraints:      31685
17.62/17.79	c #Conflicts:     123000 | #Constraints:      32686
17.62/17.79	c #Conflicts:     124000 | #Constraints:      33686
17.62/17.79	c INPROCESSING
17.62/17.79	c GARBAGE COLLECT
17.62/17.79	c #Conflicts:     125000 | #Constraints:      27678
17.62/17.79	c #Conflicts:     126000 | #Constraints:      28678
17.62/17.79	c #Conflicts:     127000 | #Constraints:      29679
17.62/17.79	c #Conflicts:     128000 | #Constraints:      30679
17.62/17.79	c #Conflicts:     129000 | #Constraints:      31679
17.62/17.79	c #Conflicts:     130000 | #Constraints:      32680
17.62/17.79	c #Conflicts:     131000 | #Constraints:      33680
17.62/17.79	c INPROCESSING
17.62/17.79	c GARBAGE COLLECT
17.62/17.79	c #Conflicts:     132000 | #Constraints:      27474
17.62/17.79	c #Conflicts:     133000 | #Constraints:      28476
17.62/17.79	c #Conflicts:     134000 | #Constraints:      29594
17.62/17.79	c #Conflicts:     135000 | #Constraints:      30595
17.62/17.79	c #Conflicts:     136000 | #Constraints:      31596
17.62/17.79	c #Conflicts:     137000 | #Constraints:      32722
17.62/17.79	c #Conflicts:     138000 | #Constraints:      34139
17.62/17.79	c #Conflicts:     139000 | #Constraints:      35356
17.62/17.79	c INPROCESSING
17.62/17.79	c GARBAGE COLLECT
17.62/17.79	c #Conflicts:     140000 | #Constraints:      28563
17.62/17.79	c #Conflicts:     141000 | #Constraints:      29563
17.62/17.79	c #Conflicts:     142000 | #Constraints:      30563
17.62/17.79	c #Conflicts:     143000 | #Constraints:      31563
17.62/17.79	c #Conflicts:     144000 | #Constraints:      32563
17.62/17.79	c #Conflicts:     145000 | #Constraints:      33563
17.62/17.79	c #Conflicts:     146000 | #Constraints:      34563
17.62/17.79	c #Conflicts:     147000 | #Constraints:      35563
17.62/17.79	c INPROCESSING
17.62/17.79	c GARBAGE COLLECT
17.62/17.79	c rational objective 455.405
18.72/18.80	c #Conflicts:     148000 | #Constraints:      28729
18.72/18.80	c #Conflicts:     149000 | #Constraints:      29729
18.72/18.80	c #Conflicts:     150000 | #Constraints:      30729
18.72/18.80	c #Conflicts:     151000 | #Constraints:      31729
18.72/18.80	c #Conflicts:     152000 | #Constraints:      32729
18.72/18.80	c #Conflicts:     153000 | #Constraints:      33729
18.72/18.80	c #Conflicts:     154000 | #Constraints:      34729
18.72/18.80	c #Conflicts:     155000 | #Constraints:      35729
18.72/18.80	c INPROCESSING
18.72/18.80	c GARBAGE COLLECT
18.72/18.80	c rational objective 456.794
19.72/19.82	c #Conflicts:     156000 | #Constraints:      28812
19.72/19.82	c #Conflicts:     157000 | #Constraints:      29812
19.72/19.82	c #Conflicts:     158000 | #Constraints:      30812
19.72/19.82	c #Conflicts:     159000 | #Constraints:      31812
19.72/19.82	c #Conflicts:     160000 | #Constraints:      32812
19.72/19.82	c #Conflicts:     161000 | #Constraints:      33812
19.72/19.82	c #Conflicts:     162000 | #Constraints:      34812
19.72/19.82	c #Conflicts:     163000 | #Constraints:      35812
19.72/19.82	c INPROCESSING
19.72/19.82	c GARBAGE COLLECT
19.72/19.82	c rational objective 456.954
20.82/20.94	c #Conflicts:     164000 | #Constraints:      28749
20.82/20.94	c #Conflicts:     165000 | #Constraints:      29749
20.82/20.94	c #Conflicts:     166000 | #Constraints:      30749
20.82/20.94	c #Conflicts:     167000 | #Constraints:      31749
20.82/20.94	c #Conflicts:     168000 | #Constraints:      32749
20.82/20.94	c #Conflicts:     169000 | #Constraints:      33750
20.82/20.94	c #Conflicts:     170000 | #Constraints:      34750
20.82/20.94	c #Conflicts:     171000 | #Constraints:      35750
20.82/20.94	c INPROCESSING
20.82/20.94	c GARBAGE COLLECT
20.82/20.94	WSVECS04 Frhs2[34]: 6 -1.00005 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[37]: 6 -1.00008 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[38]: 6 -3.00003 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[44]: 6 -0.400071 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[47]: 6 -0.40007 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[48]: 6 -1.00009 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[49]: 6 -0.600063 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[63]: 6 -1.50007 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[70]: 6 -1.00004 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[81]: 6 -1.0001 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[82]: 6 -1.00006 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[84]: 6 -1.00008 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[85]: 6 -1.00006 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[86]: 6 -1.00008 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[87]: 6 -1.00005 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[88]: 6 -1.00002 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[89]: 6 -1.00004 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[90]: 6 -1.00003 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[181]: 6 -1.00009 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[267]: 6 -1.00007 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[297]: 6 -1.00009 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[298]: 6 -1.00004 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[299]: 6 -1.00008 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[300]: 6 -1.00002 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[310]: 6 -1.00005 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[311]: 6 -1.00009 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[312]: 6 -1.00004 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[313]: 6 -1.00006 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[314]: 6 -1.00002 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[315]: 6 -1.00001 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[381]: 6 -3.00009 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[382]: 6 -1.00003 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[383]: 6 -1.00008 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[400]: 6 -1.00009 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[401]: 6 -1.00007 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[402]: 6 -1.00001 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[403]: 6 -1.00003 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[404]: 6 -1.00007 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[405]: 6 -1.00009 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[451]: 6 -1.00006 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[453]: 6 -1.00002 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[454]: 6 -1.0001 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[455]: 6 -1.00008 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[456]: 6 -1.00004 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[457]: 6 -1.00009 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[458]: 6 -1.00007 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[459]: 6 -1.00007 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[461]: 6 -1.00001 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[462]: 6 -1.00008 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[463]: 6 -1.00007 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[464]: 6 -1.00001 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[465]: 6 -1.00003 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[466]: 6 -1.00008 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[467]: 6 -1.00008 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[475]: 6 -1.00003 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[476]: 6 -1.00007 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[477]: 6 -1.00009 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[478]: 6 -1.00004 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[479]: 6 -1.00009 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[480]: 6 -1.00005 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[481]: 6 -1.00008 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[482]: 6 -1.00005 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[483]: 6 -1.00005 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[484]: 6 -1.00008 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[485]: 6 -1.00005 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[486]: 6 -1.00002 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[487]: 6 -1.0001 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[488]: 6 -1.00007 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[489]: 6 -1.00006 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[490]: 6 -1.00005 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[491]: 6 -1.00005 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[492]: 6 -1.0001 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[493]: 6 -1.00006 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[494]: 6 -1.00006 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[495]: 6 -1.00007 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[586]: 6 -1.00004 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[672]: 6 -1.00004 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[702]: 6 -1.00006 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[703]: 6 -1.00006 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[704]: 6 -1.00001 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[705]: 6 -1.00004 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[715]: 6 -1.00003 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[716]: 6 -0.600087 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[717]: 6 -1.60005 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[718]: 6 -1.00009 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[719]: 6 -1.00005 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[720]: 6 -1.20003 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[787]: 6 -1.0001 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[789]: 6 -1.00007 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[806]: 6 -1.00004 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[807]: 6 -1.0001 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[808]: 6 -1.00004 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[809]: 6 -3.00002 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[810]: 6 -1.00006 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[856]: 6 -1.00008 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[858]: 6 -1.00006 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[859]: 6 -1.00009 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[860]: 6 -1.00002 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[861]: 6 -1.00001 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[862]: 6 -1.00005 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[863]: 6 -1.00007 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[864]: 6 -1.00009 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[866]: 6 -1.00005 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[867]: 6 -1.00007 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[868]: 6 -1.00003 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[869]: 6 -1.00007 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[870]: 6 -1.00009 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[871]: 6 -1.00003 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[872]: 6 -1.00009 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[880]: 6 -1.0001 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[881]: 6 -1.00007 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[882]: 6 -1.00004 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[883]: 6 -1.00006 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[884]: 6 -1.00007 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[885]: 6 -1.0001 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[886]: 6 -1.00002 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[887]: 6 -1.00007 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[888]: 6 -1.0001 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[889]: 6 -1.00003 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[890]: 6 -1.00001 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[891]: 6 -1.00003 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[892]: 6 -1.00006 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[893]: 6 -1.00006 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[894]: 6 -1.00003 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[895]: 6 -1.00008 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[896]: 6 -1.00001 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[897]: 6 -1.00007 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[898]: 6 -1.00009 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[899]: 6 -1.00007 0 shouldn't be
20.82/20.94	WSVECS04 Frhs2[900]: 6 -1.00007 0 shouldn't be
23.02/23.17	c #Conflicts:     172000 | #Constraints:      28511
23.02/23.17	c #Conflicts:     173000 | #Constraints:      29511
23.02/23.17	c #Conflicts:     174000 | #Constraints:      30511
23.02/23.17	c #Conflicts:     175000 | #Constraints:      31511
23.02/23.17	c #Conflicts:     176000 | #Constraints:      32511
23.02/23.17	c #Conflicts:     177000 | #Constraints:      33511
23.02/23.17	c #Conflicts:     178000 | #Constraints:      34512
23.02/23.17	c #Conflicts:     179000 | #Constraints:      35512
23.02/23.17	c #Conflicts:     180000 | #Constraints:      36512
23.02/23.17	c INPROCESSING
23.02/23.17	c GARBAGE COLLECT
23.02/23.17	c #Conflicts:     181000 | #Constraints:      29099
23.02/23.17	c #Conflicts:     182000 | #Constraints:      30099
23.02/23.17	c #Conflicts:     183000 | #Constraints:      31099
23.02/23.17	c #Conflicts:     184000 | #Constraints:      32099
23.02/23.17	c #Conflicts:     185000 | #Constraints:      33099
23.02/23.17	c #Conflicts:     186000 | #Constraints:      34099
23.02/23.17	c #Conflicts:     187000 | #Constraints:      35099
23.02/23.17	c #Conflicts:     188000 | #Constraints:      36099
23.02/23.17	c #Conflicts:     189000 | #Constraints:      37099
23.02/23.17	c INPROCESSING
23.02/23.17	c GARBAGE COLLECT
23.02/23.17	c rational objective 457.378
30.59/30.73	c #Conflicts:     190000 | #Constraints:      29500
30.59/30.73	c #Conflicts:     191000 | #Constraints:      30500
30.59/30.73	c #Conflicts:     192000 | #Constraints:      31500
30.59/30.73	c #Conflicts:     193000 | #Constraints:      32501
30.59/30.73	c #Conflicts:     194000 | #Constraints:      33501
30.59/30.73	c #Conflicts:     195000 | #Constraints:      34501
30.59/30.73	c #Conflicts:     196000 | #Constraints:      35502
30.59/30.73	c #Conflicts:     197000 | #Constraints:      36504
30.59/30.73	c #Conflicts:     198000 | #Constraints:      37504
30.59/30.73	c INPROCESSING
30.59/30.73	c GARBAGE COLLECT
30.59/30.73	c #Conflicts:     199000 | #Constraints:      29697
30.59/30.73	c #Conflicts:     200000 | #Constraints:      30697
30.59/30.73	c #Conflicts:     201000 | #Constraints:      31926
30.59/30.73	c #Conflicts:     202000 | #Constraints:      33384
30.59/30.73	c #Conflicts:     203000 | #Constraints:      34849
30.59/30.73	c #Conflicts:     204000 | #Constraints:      36319
30.59/30.73	c #Conflicts:     205000 | #Constraints:      37806
30.59/30.73	c #Conflicts:     206000 | #Constraints:      39285
30.59/30.73	c #Conflicts:     207000 | #Constraints:      40765
30.59/30.73	c INPROCESSING
30.59/30.73	c GARBAGE COLLECT
30.59/30.73	c #Conflicts:     208000 | #Constraints:      31276
30.59/30.73	c #Conflicts:     209000 | #Constraints:      32276
30.59/30.73	c #Conflicts:     210000 | #Constraints:      33276
30.59/30.73	c #Conflicts:     211000 | #Constraints:      34276
30.59/30.73	c #Conflicts:     212000 | #Constraints:      35276
30.59/30.73	c #Conflicts:     213000 | #Constraints:      36276
30.59/30.73	c #Conflicts:     214000 | #Constraints:      37276
30.59/30.73	c #Conflicts:     215000 | #Constraints:      38276
30.59/30.73	c #Conflicts:     216000 | #Constraints:      39276
30.59/30.73	c INPROCESSING
30.59/30.73	c GARBAGE COLLECT
30.59/30.73	c rational objective 458.113
31.79/31.91	c #Conflicts:     217000 | #Constraints:      30282
31.79/31.91	c #Conflicts:     218000 | #Constraints:      31282
31.79/31.91	c #Conflicts:     219000 | #Constraints:      32282
31.79/31.91	c #Conflicts:     220000 | #Constraints:      33282
31.79/31.91	c #Conflicts:     221000 | #Constraints:      34282
31.79/31.91	c #Conflicts:     222000 | #Constraints:      35282
31.79/31.91	c #Conflicts:     223000 | #Constraints:      36282
31.79/31.91	c #Conflicts:     224000 | #Constraints:      37282
31.79/31.91	c #Conflicts:     225000 | #Constraints:      38282
31.79/31.91	c #Conflicts:     226000 | #Constraints:      39282
31.79/31.91	c INPROCESSING
31.79/31.91	c GARBAGE COLLECT
31.79/31.91	c rational objective 458.594
42.07/42.25	c #Conflicts:     227000 | #Constraints:      30491
42.07/42.25	c #Conflicts:     228000 | #Constraints:      31491
42.07/42.25	c #Conflicts:     229000 | #Constraints:      32492
42.07/42.25	c #Conflicts:     230000 | #Constraints:      33492
42.07/42.25	c #Conflicts:     231000 | #Constraints:      34492
42.07/42.25	c #Conflicts:     232000 | #Constraints:      35492
42.07/42.25	c #Conflicts:     233000 | #Constraints:      36492
42.07/42.25	c #Conflicts:     234000 | #Constraints:      37493
42.07/42.25	c #Conflicts:     235000 | #Constraints:      38528
42.07/42.25	c #Conflicts:     236000 | #Constraints:      39531
42.07/42.25	c INPROCESSING
42.07/42.25	c GARBAGE COLLECT
42.07/42.25	c #Conflicts:     237000 | #Constraints:      30714
42.07/42.25	c #Conflicts:     238000 | #Constraints:      31714
42.07/42.25	c #Conflicts:     239000 | #Constraints:      32714
42.07/42.25	c #Conflicts:     240000 | #Constraints:      33714
42.07/42.25	c #Conflicts:     241000 | #Constraints:      34714
42.07/42.25	c #Conflicts:     242000 | #Constraints:      35714
42.07/42.25	c #Conflicts:     243000 | #Constraints:      36714
42.07/42.25	c #Conflicts:     244000 | #Constraints:      37714
42.07/42.25	c #Conflicts:     245000 | #Constraints:      38714
42.07/42.25	c #Conflicts:     246000 | #Constraints:      39714
42.07/42.25	c INPROCESSING
42.07/42.25	c GARBAGE COLLECT
42.07/42.25	c #Conflicts:     247000 | #Constraints:      30797
42.07/42.25	c #Conflicts:     248000 | #Constraints:      31797
42.07/42.25	c #Conflicts:     249000 | #Constraints:      32797
42.07/42.25	c #Conflicts:     250000 | #Constraints:      33797
42.07/42.25	c #Conflicts:     251000 | #Constraints:      34797
42.07/42.25	c #Conflicts:     252000 | #Constraints:      35797
42.07/42.25	c #Conflicts:     253000 | #Constraints:      36797
42.07/42.25	c #Conflicts:     254000 | #Constraints:      37797
42.07/42.25	c #Conflicts:     255000 | #Constraints:      38797
42.07/42.25	c #Conflicts:     256000 | #Constraints:      39797
42.07/42.25	c INPROCESSING
42.07/42.25	c GARBAGE COLLECT
42.07/42.25	c #Conflicts:     257000 | #Constraints:      30744
42.07/42.25	c #Conflicts:     258000 | #Constraints:      31745
42.07/42.25	c #Conflicts:     259000 | #Constraints:      32745
42.07/42.25	c #Conflicts:     260000 | #Constraints:      33745
42.07/42.25	c #Conflicts:     261000 | #Constraints:      34745
42.07/42.25	c #Conflicts:     262000 | #Constraints:      35745
42.07/42.25	c #Conflicts:     263000 | #Constraints:      36745
42.07/42.25	c #Conflicts:     264000 | #Constraints:      37745
42.07/42.25	c #Conflicts:     265000 | #Constraints:      38745
42.07/42.25	c #Conflicts:     266000 | #Constraints:      39745
42.07/42.25	c INPROCESSING
42.07/42.25	c GARBAGE COLLECT
42.07/42.25	c #Conflicts:     267000 | #Constraints:      30513
42.07/42.25	c #Conflicts:     268000 | #Constraints:      31514
42.07/42.25	c #Conflicts:     269000 | #Constraints:      32514
42.07/42.25	c #Conflicts:     270000 | #Constraints:      33514
42.07/42.25	c #Conflicts:     271000 | #Constraints:      34514
42.07/42.25	c #Conflicts:     272000 | #Constraints:      35514
42.07/42.25	c #Conflicts:     273000 | #Constraints:      36514
42.07/42.25	c #Conflicts:     274000 | #Constraints:      37514
42.07/42.25	c #Conflicts:     275000 | #Constraints:      38514
42.07/42.25	c #Conflicts:     276000 | #Constraints:      39514
42.07/42.25	c #Conflicts:     277000 | #Constraints:      40514
42.07/42.25	c INPROCESSING
42.07/42.25	c GARBAGE COLLECT
42.07/42.25	c #Conflicts:     278000 | #Constraints:      31107
42.07/42.25	c #Conflicts:     279000 | #Constraints:      32107
42.07/42.25	c #Conflicts:     280000 | #Constraints:      33108
42.07/42.25	c #Conflicts:     281000 | #Constraints:      34108
42.07/42.25	c #Conflicts:     282000 | #Constraints:      35108
42.07/42.25	c #Conflicts:     283000 | #Constraints:      36108
42.07/42.25	c #Conflicts:     284000 | #Constraints:      37108
42.07/42.25	c #Conflicts:     285000 | #Constraints:      38108
42.07/42.25	c #Conflicts:     286000 | #Constraints:      39108
42.07/42.25	c #Conflicts:     287000 | #Constraints:      40108
42.07/42.25	c #Conflicts:     288000 | #Constraints:      41108
42.07/42.25	c INPROCESSING
42.07/42.25	c GARBAGE COLLECT
42.07/42.25	c #Conflicts:     289000 | #Constraints:      31495
42.07/42.25	c #Conflicts:     290000 | #Constraints:      32495
42.07/42.25	c #Conflicts:     291000 | #Constraints:      33495
42.07/42.25	c #Conflicts:     292000 | #Constraints:      34495
42.07/42.25	c #Conflicts:     293000 | #Constraints:      35496
42.07/42.25	c #Conflicts:     294000 | #Constraints:      36496
42.07/42.25	c #Conflicts:     295000 | #Constraints:      37496
42.07/42.25	c #Conflicts:     296000 | #Constraints:      38496
42.07/42.25	c #Conflicts:     297000 | #Constraints:      39496
42.07/42.25	c #Conflicts:     298000 | #Constraints:      40496
42.07/42.25	c #Conflicts:     299000 | #Constraints:      41496
42.07/42.25	c INPROCESSING
42.07/42.25	c GARBAGE COLLECT
42.07/42.25	c #Conflicts:     300000 | #Constraints:      31694
42.07/42.25	c #Conflicts:     301000 | #Constraints:      32694
51.74/51.96	c #Conflicts:     302000 | #Constraints:      33694
51.74/51.96	c #Conflicts:     303000 | #Constraints:      34694
51.74/51.96	c #Conflicts:     304000 | #Constraints:      35694
51.74/51.96	c #Conflicts:     305000 | #Constraints:      36694
51.74/51.96	c #Conflicts:     306000 | #Constraints:      37694
51.74/51.96	c #Conflicts:     307000 | #Constraints:      38694
51.74/51.96	c #Conflicts:     308000 | #Constraints:      39694
51.74/51.96	c #Conflicts:     309000 | #Constraints:      40695
51.74/51.96	c #Conflicts:     310000 | #Constraints:      41695
51.74/51.96	c INPROCESSING
51.74/51.96	c GARBAGE COLLECT
51.74/51.96	c #Conflicts:     311000 | #Constraints:      31696
51.74/51.96	c #Conflicts:     312000 | #Constraints:      32696
51.74/51.96	c #Conflicts:     313000 | #Constraints:      33696
51.74/51.96	c #Conflicts:     314000 | #Constraints:      34696
51.74/51.96	c #Conflicts:     315000 | #Constraints:      35696
51.74/51.96	c #Conflicts:     316000 | #Constraints:      36696
51.74/51.96	c #Conflicts:     317000 | #Constraints:      37696
51.74/51.96	c #Conflicts:     318000 | #Constraints:      38696
51.74/51.96	c #Conflicts:     319000 | #Constraints:      39696
51.74/51.96	c #Conflicts:     320000 | #Constraints:      40696
51.74/51.96	c #Conflicts:     321000 | #Constraints:      41696
51.74/51.96	c INPROCESSING
51.74/51.96	c GARBAGE COLLECT
51.74/51.96	c #Conflicts:     322000 | #Constraints:      31496
51.74/51.96	c #Conflicts:     323000 | #Constraints:      32496
51.74/51.96	c #Conflicts:     324000 | #Constraints:      33497
51.74/51.96	c #Conflicts:     325000 | #Constraints:      34497
51.74/51.96	c #Conflicts:     326000 | #Constraints:      35497
51.74/51.96	c #Conflicts:     327000 | #Constraints:      36497
51.74/51.96	c #Conflicts:     328000 | #Constraints:      37497
51.74/51.96	c #Conflicts:     329000 | #Constraints:      38497
51.74/51.96	c #Conflicts:     330000 | #Constraints:      39497
51.74/51.96	c #Conflicts:     331000 | #Constraints:      40497
51.74/51.96	c #Conflicts:     332000 | #Constraints:      41497
51.74/51.96	c #Conflicts:     333000 | #Constraints:      42498
51.74/51.96	c INPROCESSING
51.74/51.96	c GARBAGE COLLECT
51.74/51.96	c #Conflicts:     334000 | #Constraints:      32096
51.74/51.96	c #Conflicts:     335000 | #Constraints:      33096
51.74/51.96	c #Conflicts:     336000 | #Constraints:      34096
51.74/51.96	c #Conflicts:     337000 | #Constraints:      35096
51.74/51.96	c #Conflicts:     338000 | #Constraints:      36096
51.74/51.96	c #Conflicts:     339000 | #Constraints:      37096
51.74/51.96	c #Conflicts:     340000 | #Constraints:      38096
51.74/51.96	c #Conflicts:     341000 | #Constraints:      39097
51.74/51.96	c #Conflicts:     342000 | #Constraints:      40097
51.74/51.96	c #Conflicts:     343000 | #Constraints:      41097
51.74/51.96	c #Conflicts:     344000 | #Constraints:      42097
51.74/51.96	c #Conflicts:     345000 | #Constraints:      43097
51.74/51.96	c INPROCESSING
51.74/51.96	c GARBAGE COLLECT
51.74/51.96	c #Conflicts:     346000 | #Constraints:      32500
51.74/51.96	c #Conflicts:     347000 | #Constraints:      33500
51.74/51.96	c #Conflicts:     348000 | #Constraints:      34500
51.74/51.96	c #Conflicts:     349000 | #Constraints:      35500
51.74/51.96	c #Conflicts:     350000 | #Constraints:      36500
51.74/51.96	c #Conflicts:     351000 | #Constraints:      37500
51.74/51.96	c #Conflicts:     352000 | #Constraints:      38500
51.74/51.96	c #Conflicts:     353000 | #Constraints:      39500
51.74/51.96	c #Conflicts:     354000 | #Constraints:      40501
51.74/51.96	c #Conflicts:     355000 | #Constraints:      41503
51.74/51.96	c #Conflicts:     356000 | #Constraints:      42503
51.74/51.96	c #Conflicts:     357000 | #Constraints:      43504
51.74/51.96	c INPROCESSING
51.74/51.96	c GARBAGE COLLECT
51.74/51.96	c #Conflicts:     358000 | #Constraints:      32690
51.74/51.96	c #Conflicts:     359000 | #Constraints:      33690
51.74/51.96	c #Conflicts:     360000 | #Constraints:      34690
51.74/51.96	c #Conflicts:     361000 | #Constraints:      35690
51.74/51.96	c #Conflicts:     362000 | #Constraints:      36690
51.74/51.96	c #Conflicts:     363000 | #Constraints:      37690
51.74/51.96	c #Conflicts:     364000 | #Constraints:      38690
51.74/51.96	c #Conflicts:     365000 | #Constraints:      39690
51.74/51.96	c #Conflicts:     366000 | #Constraints:      40690
51.74/51.96	c #Conflicts:     367000 | #Constraints:      41690
51.74/51.96	c #Conflicts:     368000 | #Constraints:      42690
51.74/51.96	c #Conflicts:     369000 | #Constraints:      43690
51.74/51.96	c INPROCESSING
51.74/51.96	c GARBAGE COLLECT
51.74/51.96	c #Conflicts:     370000 | #Constraints:      32692
51.74/51.96	c #Conflicts:     371000 | #Constraints:      33692
51.74/51.96	c #Conflicts:     372000 | #Constraints:      34692
51.74/51.96	c #Conflicts:     373000 | #Constraints:      35692
51.74/51.96	c #Conflicts:     374000 | #Constraints:      36692
51.74/51.96	c #Conflicts:     375000 | #Constraints:      37692
51.74/51.96	c #Conflicts:     376000 | #Constraints:      38692
63.51/63.73	c #Conflicts:     377000 | #Constraints:      39692
63.51/63.73	c #Conflicts:     378000 | #Constraints:      40692
63.51/63.73	c #Conflicts:     379000 | #Constraints:      41692
63.51/63.73	c #Conflicts:     380000 | #Constraints:      42692
63.51/63.73	c #Conflicts:     381000 | #Constraints:      43692
63.51/63.73	c INPROCESSING
63.51/63.73	c GARBAGE COLLECT
63.51/63.73	c #Conflicts:     382000 | #Constraints:      32488
63.51/63.73	c #Conflicts:     383000 | #Constraints:      33488
63.51/63.73	c #Conflicts:     384000 | #Constraints:      34488
63.51/63.73	c #Conflicts:     385000 | #Constraints:      35488
63.51/63.73	c #Conflicts:     386000 | #Constraints:      36488
63.51/63.73	c #Conflicts:     387000 | #Constraints:      37488
63.51/63.73	c #Conflicts:     388000 | #Constraints:      38489
63.51/63.73	c #Conflicts:     389000 | #Constraints:      39490
63.51/63.73	c #Conflicts:     390000 | #Constraints:      40490
63.51/63.73	c #Conflicts:     391000 | #Constraints:      41491
63.51/63.73	c #Conflicts:     392000 | #Constraints:      42557
63.51/63.73	c #Conflicts:     393000 | #Constraints:      43557
63.51/63.73	c #Conflicts:     394000 | #Constraints:      44558
63.51/63.73	c INPROCESSING
63.51/63.73	c GARBAGE COLLECT
63.51/63.73	c #Conflicts:     395000 | #Constraints:      33127
63.51/63.73	c #Conflicts:     396000 | #Constraints:      34128
63.51/63.73	c #Conflicts:     397000 | #Constraints:      35128
63.51/63.73	c #Conflicts:     398000 | #Constraints:      36128
63.51/63.73	c #Conflicts:     399000 | #Constraints:      37128
63.51/63.73	c #Conflicts:     400000 | #Constraints:      38128
63.51/63.73	c #Conflicts:     401000 | #Constraints:      39128
63.51/63.73	c #Conflicts:     402000 | #Constraints:      40128
63.51/63.73	c #Conflicts:     403000 | #Constraints:      41128
63.51/63.73	c #Conflicts:     404000 | #Constraints:      42128
63.51/63.73	c #Conflicts:     405000 | #Constraints:      43128
63.51/63.73	c #Conflicts:     406000 | #Constraints:      44128
63.51/63.73	c #Conflicts:     407000 | #Constraints:      45128
63.51/63.73	c INPROCESSING
63.51/63.73	c GARBAGE COLLECT
63.51/63.73	c #Conflicts:     408000 | #Constraints:      33508
63.51/63.73	c #Conflicts:     409000 | #Constraints:      34508
63.51/63.73	c #Conflicts:     410000 | #Constraints:      35508
63.51/63.73	c #Conflicts:     411000 | #Constraints:      36508
63.51/63.73	c #Conflicts:     412000 | #Constraints:      37508
63.51/63.73	c #Conflicts:     413000 | #Constraints:      38508
63.51/63.73	c #Conflicts:     414000 | #Constraints:      39508
63.51/63.73	c #Conflicts:     415000 | #Constraints:      40508
63.51/63.73	c #Conflicts:     416000 | #Constraints:      41508
63.51/63.73	c #Conflicts:     417000 | #Constraints:      42508
63.51/63.73	c #Conflicts:     418000 | #Constraints:      43508
63.51/63.73	c #Conflicts:     419000 | #Constraints:      44794
63.51/63.73	c #Conflicts:     420000 | #Constraints:      46242
63.51/63.73	c INPROCESSING
63.51/63.73	c GARBAGE COLLECT
63.51/63.73	c #Conflicts:     421000 | #Constraints:      33679
63.51/63.73	c #Conflicts:     422000 | #Constraints:      34679
63.51/63.73	c #Conflicts:     423000 | #Constraints:      35679
63.51/63.73	c #Conflicts:     424000 | #Constraints:      36679
63.51/63.73	c #Conflicts:     425000 | #Constraints:      37679
63.51/63.73	c #Conflicts:     426000 | #Constraints:      38679
63.51/63.73	c #Conflicts:     427000 | #Constraints:      39679
63.51/63.73	c #Conflicts:     428000 | #Constraints:      40679
63.51/63.73	c #Conflicts:     429000 | #Constraints:      41679
63.51/63.73	c #Conflicts:     430000 | #Constraints:      42679
63.51/63.73	c #Conflicts:     431000 | #Constraints:      43679
63.51/63.73	c #Conflicts:     432000 | #Constraints:      44679
63.51/63.73	c #Conflicts:     433000 | #Constraints:      45679
63.51/63.73	c INPROCESSING
63.51/63.73	c GARBAGE COLLECT
63.51/63.73	c #Conflicts:     434000 | #Constraints:      33687
63.51/63.73	c #Conflicts:     435000 | #Constraints:      34687
63.51/63.73	c #Conflicts:     436000 | #Constraints:      35687
63.51/63.73	c #Conflicts:     437000 | #Constraints:      36687
63.51/63.73	c #Conflicts:     438000 | #Constraints:      37687
63.51/63.73	c #Conflicts:     439000 | #Constraints:      38687
63.51/63.73	c #Conflicts:     440000 | #Constraints:      39687
63.51/63.73	c #Conflicts:     441000 | #Constraints:      40687
63.51/63.73	c #Conflicts:     442000 | #Constraints:      41687
63.51/63.73	c #Conflicts:     443000 | #Constraints:      42687
63.51/63.73	c #Conflicts:     444000 | #Constraints:      43687
63.51/63.73	c #Conflicts:     445000 | #Constraints:      44687
63.51/63.73	c #Conflicts:     446000 | #Constraints:      45687
63.51/63.73	c INPROCESSING
63.51/63.73	c GARBAGE COLLECT
63.51/63.73	c #Conflicts:     447000 | #Constraints:      33488
63.51/63.73	c #Conflicts:     448000 | #Constraints:      34488
63.51/63.73	c #Conflicts:     449000 | #Constraints:      35488
63.51/63.73	c #Conflicts:     450000 | #Constraints:      36488
63.51/63.73	c #Conflicts:     451000 | #Constraints:      37488
65.11/65.35	c #Conflicts:     452000 | #Constraints:      38488
65.11/65.35	c #Conflicts:     453000 | #Constraints:      39488
65.11/65.35	c #Conflicts:     454000 | #Constraints:      40489
65.11/65.35	c #Conflicts:     455000 | #Constraints:      41489
65.11/65.35	c #Conflicts:     456000 | #Constraints:      42489
65.11/65.35	c #Conflicts:     457000 | #Constraints:      43489
65.11/65.35	c #Conflicts:     458000 | #Constraints:      44489
65.11/65.35	c #Conflicts:     459000 | #Constraints:      45489
65.11/65.35	c #Conflicts:     460000 | #Constraints:      46489
65.11/65.35	c INPROCESSING
65.11/65.35	c GARBAGE COLLECT
65.11/65.35	WSVECS04 Frhs2[32]: 6 -23.8479 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[33]: 6 -37.1522 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[34]: 6 -31.6522 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[37]: 6 -29.8044 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[38]: 6 -46.3261 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[39]: 6 -27.5 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[40]: 6 -17 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[51]: 6 -0.81032 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[72]: 6 -0.412714 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[73]: 6 -0.000951177 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[82]: 6 -0.00716696 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[235]: 6 -1.00007 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[236]: 6 -1.00001 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[239]: 6 -11 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[240]: 6 -1.00004 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[241]: 6 -1.00001 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[242]: 6 -1.00008 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[243]: 6 -7.00004 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[246]: 6 -1.00008 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[247]: 6 -1.00005 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[248]: 6 -20.5218 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[253]: 6 -4.5218 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[254]: 6 -1.00009 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[255]: 6 -1.00003 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[265]: 6 -1.00006 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[266]: 6 -1.00009 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[267]: 6 -1.00008 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[268]: 6 -1.00001 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[269]: 6 -1.00009 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[270]: 6 -1.00002 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[406]: 6 -0.0882561 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[409]: 6 -0.906265 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[415]: 6 -1.41922 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[417]: 6 -0.933922 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[419]: 6 -0.0883023 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[424]: 6 -0.433868 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[437]: 6 -1.00006 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[452]: 6 -0.742885 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[453]: 6 -0.0143005 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[454]: 6 -0.614341 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[459]: 6 -1.00005 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[460]: 6 -0.271512 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[461]: 6 -0.400076 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[462]: 6 -0.614381 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[467]: 6 -1.00005 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[468]: 6 -1.00003 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[469]: 6 -0.871483 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[474]: 6 -1.00003 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[475]: 6 -1.00009 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[480]: 6 -0.400089 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[485]: 6 -1.00004 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[640]: 6 -13 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[641]: 6 -2.0001 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[644]: 6 -13.0001 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[645]: 6 -1.00006 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[646]: 6 -1.00009 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[648]: 6 -1.00006 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[651]: 6 -1.00008 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[653]: 6 -1.00005 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[654]: 6 -2.56529 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[657]: 6 -1.00009 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[658]: 6 -4.13048 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[659]: 6 -1.00006 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[660]: 6 -1.00008 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[670]: 6 -14.5218 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[671]: 6 -5.69574 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[673]: 6 -9.00006 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[675]: 6 -1.0001 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[811]: 6 -1.00008 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[812]: 6 -0.933893 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[814]: 6 -0.906294 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[816]: 6 -0.54413 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[820]: 6 -0.544209 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[824]: 6 -0.125051 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[829]: 6 -0.0625398 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[831]: 6 -0.088294 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[842]: 6 -1.00007 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[856]: 6 -1.0001 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[857]: 6 -1.00005 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[858]: 6 -1.00003 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[859]: 6 -0.271521 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[864]: 6 -1.00008 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[865]: 6 -1.0001 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[866]: 6 -1.00009 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[867]: 6 -0.742946 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[873]: 6 -1.00009 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[874]: 6 -1.00002 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[879]: 6 -1.00002 0 shouldn't be
65.11/65.35	WSVECS04 Frhs2[880]: 6 -0.742932 0 shouldn't be
68.70/68.92	c #Conflicts:     461000 | #Constraints:      34091
68.70/68.92	c #Conflicts:     462000 | #Constraints:      35091
68.70/68.92	c #Conflicts:     463000 | #Constraints:      36091
68.70/68.92	c #Conflicts:     464000 | #Constraints:      37092
68.70/68.92	c #Conflicts:     465000 | #Constraints:      38092
68.70/68.92	c #Conflicts:     466000 | #Constraints:      39092
68.70/68.92	c #Conflicts:     467000 | #Constraints:      40092
68.70/68.92	c #Conflicts:     468000 | #Constraints:      41092
68.70/68.92	c #Conflicts:     469000 | #Constraints:      42092
68.70/68.92	c #Conflicts:     470000 | #Constraints:      43092
68.70/68.92	c #Conflicts:     471000 | #Constraints:      44092
68.70/68.92	c #Conflicts:     472000 | #Constraints:      45092
68.70/68.92	c #Conflicts:     473000 | #Constraints:      46092
68.70/68.92	c #Conflicts:     474000 | #Constraints:      47092
68.70/68.92	c INPROCESSING
68.70/68.92	c GARBAGE COLLECT
68.70/68.92	c #Conflicts:     475000 | #Constraints:      34496
68.70/68.92	c #Conflicts:     476000 | #Constraints:      35499
68.70/68.92	c #Conflicts:     477000 | #Constraints:      36500
68.70/68.92	c #Conflicts:     478000 | #Constraints:      37503
68.70/68.92	c #Conflicts:     479000 | #Constraints:      38505
68.70/68.92	c #Conflicts:     480000 | #Constraints:      39506
68.70/68.92	c #Conflicts:     481000 | #Constraints:      40508
68.70/68.92	c #Conflicts:     482000 | #Constraints:      41512
68.70/68.92	c cpu time 67.0456 s
68.70/68.92	c deterministic time 2915433131 2.92e+09
68.70/68.92	c optimization time 6.7e-05 s
68.70/68.92	c total solve time 66.9898 s
68.70/68.92	c core-guided solve time 0 s
68.70/68.92	c propagation time 46.818 s
68.70/68.92	c conflict analysis time 12.6546 s
68.70/68.92	c propagations 96001828
68.70/68.92	c resolve steps 7816333
68.70/68.92	c decisions 585151
68.70/68.92	c conflicts 482663
68.70/68.92	c restarts 1022
68.70/68.92	c inprocessing phases 60
68.70/68.92	c garbage collections 59 ,( 98.33 )
68.70/68.92	c input clauses 19045 ,( 95.92 )
68.70/68.92	c input cardinalities 0 ,( 0.00 )
68.70/68.92	c input general constraints 810 ,( 4.08 )
68.70/68.92	c input average constraint length 2.45
68.70/68.92	c input average constraint degree 1.04
68.70/68.92	c learned clauses 482663 ,( 98.96 )
68.70/68.92	c learned cardinalities 3 ,( 0.00 )
68.70/68.92	c learned general constraints 5073 ,( 1.04 )
68.70/68.92	c learned average constraint length 46.33
68.70/68.92	c learned average constraint degree 23027383.49
68.70/68.92	c watched  CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
68.70/68.92	c counting CF 32, 64, 128, Arb: 5882 , 0 , 0 , 0
68.70/68.92	c watched   constraints 1 ,( 0.02 ) 
68.70/68.92	c counting  constraints 5882 ,( 99.98 ) 
68.70/68.92	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 644216484 , 126185 , 79631624 ,( 603 , 79631021 )
68.70/68.92	c gcd simplifications 239
68.70/68.92	c detected cardinalities 0
68.70/68.92	c weakened non-implied lits 723677
68.70/68.92	c weakened non-implying lits 341
68.70/68.92	c original variables 900
68.70/68.92	c clausal propagations 66439881
68.70/68.92	c cardinality propagations 870
68.70/68.92	c watched propagations 3
68.70/68.92	c counting propagations 29078412
68.70/68.92	c watch lookups 740371373
68.70/68.92	c watch backjump lookups 0
68.70/68.92	c watch checks 1652015219
68.70/68.92	c propagation checks 255793207
68.70/68.92	c constraint additions 73500704
68.70/68.92	c trail pops 97068968
68.70/68.92	c formula constraints 19855
68.70/68.92	c learned constraints 482662
68.70/68.92	c bound constraints 0
68.70/68.92	c core-guided constraints 0
68.70/68.92	c encountered formula constraints 6349721
68.70/68.92	c encountered learned constraints 1925323
68.70/68.92	c encountered bound constraints 0
68.70/68.92	c encountered core-guided constraints 0
68.70/68.92	c LP total time 14.3864 s
68.70/68.92	c LP solve time 10.56 s
68.70/68.92	c LP constraints added 19890
68.70/68.92	c LP constraints removed 3
68.70/68.92	c LP pivots internal 48619
68.70/68.92	c LP pivots root 48061
68.70/68.92	c LP calls 5094
68.70/68.92	c LP optimalities 30
68.70/68.92	c LP no pivot count 2
68.70/68.92	c LP infeasibilities 5043
68.70/68.92	c LP valid Farkas constraints 5042
68.70/68.92	c LP learned Farkas constraints 0
68.70/68.92	c LP basis resets 19
68.70/68.92	c LP cycling count 0
68.70/68.92	c LP singular count 2
68.70/68.92	c LP no primal count 0
68.70/68.92	c LP no farkas count 0
68.70/68.92	c LP other issue count 17
68.70/68.92	c LP Gomory cuts 35
68.70/68.92	c LP learned cuts 0
68.70/68.92	c LP deleted cuts 3
68.70/68.92	c LP encountered Gomory constraints 11387
68.70/68.92	c LP encountered Farkas constraints 12565
68.70/68.92	c LP encountered learned Farkas constraints 0
68.70/68.92	c CG auxiliary variables introduced 0
68.70/68.92	c CG solutions found 0
68.70/68.92	c CG cores constructed 0
68.70/68.92	c CG core cardinality constraints returned 0
68.70/68.92	c CG unit cores 0
68.70/68.92	c CG single cores 0
68.70/68.92	c CG blocks removed during cardinality reduction 0
68.70/68.92	c CG first core best 0
68.70/68.92	c CG decision core best 0
68.70/68.92	c CG core reduction tie 0
68.70/68.92	c CG core degree average 0.00
68.70/68.92	c CG core slack average 0.00
68.70/68.92	c CG core upper bound improvements 0
68.70/68.92	c STR number of successful calls 0
68.70/68.92	c STR number of unsuccessful calls 0
68.70/68.92	c STR number of inconclusive calls 0
68.70/68.92	c STR number of successful attempts 0
68.70/68.92	c STR number of unsuccessful attempts 0
68.70/68.92	c STR number of inconclusive attempts 0
68.70/68.92	c STR average degree increase per successful call inf
68.70/68.92	c STR average degree increase per successful attempt inf
68.70/68.92	c STR total number of conflicts for successful attempts 0
68.70/68.92	c STR total number of conflicts for unsuccessful attempts 0
68.70/68.92	c STR total number of conflicts for inconclusive attempts 0
68.70/68.92	c STR average number of conflicts per successful attempt inf
68.70/68.92	c STR average number of conflicts per unsuccessful attempt inf
68.70/68.92	c STR average number of conflicts per inconclusive attempt inf
68.70/68.92	c AVG.sumWPerc 84.27 
68.70/68.92	c bigint constraints 0 
68.70/68.92	s UNSATISFIABLE

ERROR: no interpretation found !

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (53929 MiB free)
  memory of node 1: 64465 MiB (55723 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4544491-1753217658/watcher-4544491-1753217658 -o /tmp/evaluation-result-4544491-1753217658/solver-4544491-1753217658 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753211592-171554 --watchdog 3760 run-dec.sh HOME/instance-4544491-1753217658.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=174728, runsolver pid=174725

[startup+0.100062 s]*
/proc/loadavg: 4.09 4.10 4.09 5/268 174730
/proc/meminfo: memFree=112280196/131249996 swapFree=33010160/33010684
[pid=174728] ppid=174725 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/174728/stat : 174728 (run-dec.sh) S 174725 174728 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237444388 4292608 768 18446744073709551615 94098618978304 94098619872837 140734218580848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098620111888 94098620159632 94098640519168 140734218582379 140734218582502 140734218582502 140734218588106 0
/proc/174728/statm: 1048 768 704 219 0 110 0
[pid=174730] ppid=174728 vsize=85096 memory=32948 CPUtime=0.08 cores=5,7
/proc/174730/stat : 174730 (roundingsat) R 174728 174728 171541 0 -1 4194304 5930 0 0 0 6 2 0 0 20 0 1 0 237444389 87138304 8237 18446744073709551615 4227072 8923433 140729861565072 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 9932800 140729861568949 140729861569062 140729861569062 140729861574634 0
/proc/174730/statm: 21274 8237 2176 1147 0 8701 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 89288 KiB
Current children cumulated memory: 36020 KiB

[startup+0.20572 s]*
/proc/loadavg: 4.09 4.10 4.09 5/268 174730
/proc/meminfo: memFree=112280196/131249996 swapFree=33010160/33010684
[pid=174728] ppid=174725 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/174728/stat : 174728 (run-dec.sh) S 174725 174728 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237444388 4292608 768 18446744073709551615 94098618978304 94098619872837 140734218580848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098620111888 94098620159632 94098640519168 140734218582379 140734218582502 140734218582502 140734218588106 0
/proc/174728/statm: 1048 768 704 219 0 110 0
[pid=174730] ppid=174728 vsize=85096 memory=33588 CPUtime=0.18 cores=5,7
/proc/174730/stat : 174730 (roundingsat) R 174728 174728 171541 0 -1 4194304 5997 0 0 0 16 2 0 0 20 0 1 0 237444389 87138304 8397 18446744073709551615 4227072 8923433 140729861565072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 9932800 140729861568949 140729861569062 140729861569062 140729861574634 0
/proc/174730/statm: 21274 8397 2272 1147 0 8701 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 89288 KiB
Current children cumulated memory: 36660 KiB

[startup+0.305663 s]*
/proc/loadavg: 4.09 4.10 4.09 5/268 174730
/proc/meminfo: memFree=112280196/131249996 swapFree=33010160/33010684
[pid=174728] ppid=174725 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/174728/stat : 174728 (run-dec.sh) S 174725 174728 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237444388 4292608 768 18446744073709551615 94098618978304 94098619872837 140734218580848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098620111888 94098620159632 94098640519168 140734218582379 140734218582502 140734218582502 140734218588106 0
/proc/174728/statm: 1048 768 704 219 0 110 0
[pid=174730] ppid=174728 vsize=85096 memory=33972 CPUtime=0.28 cores=5,7
/proc/174730/stat : 174730 (roundingsat) R 174728 174728 171541 0 -1 4194304 6065 0 0 0 26 2 0 0 20 0 1 0 237444389 87138304 8493 18446744073709551615 4227072 8923433 140729861565072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 9932800 140729861568949 140729861569062 140729861569062 140729861574634 0
/proc/174730/statm: 21274 8493 2304 1147 0 8701 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 89288 KiB
Current children cumulated memory: 37044 KiB

[startup+0.700154 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 174730
/proc/meminfo: memFree=112280196/131249996 swapFree=33010160/33010684
[pid=174728] ppid=174725 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/174728/stat : 174728 (run-dec.sh) S 174725 174728 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237444388 4292608 768 18446744073709551615 94098618978304 94098619872837 140734218580848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098620111888 94098620159632 94098640519168 140734218582379 140734218582502 140734218582502 140734218588106 0
/proc/174728/statm: 1048 768 704 219 0 110 0
[pid=174730] ppid=174728 vsize=85096 memory=34356 CPUtime=0.67 cores=5,7
/proc/174730/stat : 174730 (roundingsat) R 174728 174728 171541 0 -1 4194304 6166 0 0 0 63 4 0 0 20 0 1 0 237444389 87138304 8589 18446744073709551615 4227072 8923433 140729861565072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 9932800 140729861568949 140729861569062 140729861569062 140729861574634 0
/proc/174730/statm: 21274 8589 2304 1147 0 8701 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 89288 KiB
Current children cumulated memory: 37428 KiB

[startup+1.50015 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 174730
/proc/meminfo: memFree=112280624/131249996 swapFree=33010160/33010684
[pid=174728] ppid=174725 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/174728/stat : 174728 (run-dec.sh) S 174725 174728 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237444388 4292608 768 18446744073709551615 94098618978304 94098619872837 140734218580848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098620111888 94098620159632 94098640519168 140734218582379 140734218582502 140734218582502 140734218588106 0
/proc/174728/statm: 1048 768 704 219 0 110 0
[pid=174730] ppid=174728 vsize=85096 memory=34612 CPUtime=1.47 cores=5,7
/proc/174730/stat : 174730 (roundingsat) R 174728 174728 171541 0 -1 4194304 6208 0 0 0 139 8 0 0 20 0 1 0 237444389 87138304 8653 18446744073709551615 4227072 8923433 140729861565072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 9932800 140729861568949 140729861569062 140729861569062 140729861574634 0
/proc/174730/statm: 21274 8653 2304 1147 0 8701 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 89288 KiB
Current children cumulated memory: 37684 KiB

[startup+3.1055 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 174730
/proc/meminfo: memFree=112280948/131249996 swapFree=33010160/33010684
[pid=174728] ppid=174725 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/174728/stat : 174728 (run-dec.sh) S 174725 174728 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237444388 4292608 768 18446744073709551615 94098618978304 94098619872837 140734218580848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098620111888 94098620159632 94098640519168 140734218582379 140734218582502 140734218582502 140734218588106 0
/proc/174728/statm: 1048 768 704 219 0 110 0
[pid=174730] ppid=174728 vsize=85096 memory=34868 CPUtime=3.07 cores=5,7
/proc/174730/stat : 174730 (roundingsat) R 174728 174728 171541 0 -1 4194304 6290 0 0 0 295 12 0 0 20 0 1 0 237444389 87138304 8717 18446744073709551615 4227072 8923433 140729861565072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 9932800 140729861568949 140729861569062 140729861569062 140729861574634 0
/proc/174730/statm: 21274 8717 2304 1147 0 8701 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 89288 KiB
Current children cumulated memory: 37940 KiB

[startup+6.30014 s]
/proc/loadavg: 4.07 4.09 4.09 5/268 174730
/proc/meminfo: memFree=112281000/131249996 swapFree=33010160/33010684
[pid=174728] ppid=174725 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/174728/stat : 174728 (run-dec.sh) S 174725 174728 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237444388 4292608 768 18446744073709551615 94098618978304 94098619872837 140734218580848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098620111888 94098620159632 94098640519168 140734218582379 140734218582502 140734218582502 140734218588106 0
/proc/174728/statm: 1048 768 704 219 0 110 0
[pid=174730] ppid=174728 vsize=88804 memory=39884 CPUtime=6.26 cores=5,7
/proc/174730/stat : 174730 (roundingsat) R 174728 174728 171541 0 -1 4194304 7020 0 0 0 604 22 0 0 20 0 1 0 237444389 90935296 9971 18446744073709551615 4227072 8923433 140729861565072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 9932800 140729861568949 140729861569062 140729861569062 140729861574634 0
/proc/174730/statm: 22201 9971 2304 1147 0 9628 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 92996 KiB
Current children cumulated memory: 42956 KiB

[startup+12.7001 s]
/proc/loadavg: 4.15 4.11 4.09 5/268 174730
/proc/meminfo: memFree=112281024/131249996 swapFree=33010160/33010684
[pid=174728] ppid=174725 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/174728/stat : 174728 (run-dec.sh) S 174725 174728 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237444388 4292608 768 18446744073709551615 94098618978304 94098619872837 140734218580848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098620111888 94098620159632 94098640519168 140734218582379 140734218582502 140734218582502 140734218588106 0
/proc/174728/statm: 1048 768 704 219 0 110 0
[pid=174730] ppid=174728 vsize=90740 memory=41532 CPUtime=12.64 cores=5,7
/proc/174730/stat : 174730 (roundingsat) R 174728 174728 171541 0 -1 4194304 7512 0 0 0 1225 39 0 0 20 0 1 0 237444389 92917760 10383 18446744073709551615 4227072 8923433 140729861565072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 9932800 140729861568949 140729861569062 140729861569062 140729861574634 0
/proc/174730/statm: 22685 10383 2304 1147 0 10112 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 94932 KiB
Current children cumulated memory: 44604 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 174730
/proc/meminfo: memFree=112257152/131249996 swapFree=33010160/33010684
[pid=174728] ppid=174725 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/174728/stat : 174728 (run-dec.sh) S 174725 174728 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237444388 4292608 768 18446744073709551615 94098618978304 94098619872837 140734218580848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098620111888 94098620159632 94098640519168 140734218582379 140734218582502 140734218582502 140734218588106 0
/proc/174728/statm: 1048 768 704 219 0 110 0
[pid=174730] ppid=174728 vsize=98120 memory=48956 CPUtime=25.41 cores=5,7
/proc/174730/stat : 174730 (roundingsat) R 174728 174728 171541 0 -1 4194304 9366 0 0 0 2473 68 0 0 20 0 1 0 237444389 100474880 12239 18446744073709551615 4227072 8923433 140729861565072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 9932800 140729861568949 140729861569062 140729861569062 140729861574634 0
/proc/174730/statm: 24530 12239 2304 1147 0 11957 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 102312 KiB
Current children cumulated memory: 52028 KiB

[startup+51.1055 s]
/proc/loadavg: 4.07 4.09 4.09 5/268 174730
/proc/meminfo: memFree=112237336/131249996 swapFree=33010160/33010684
[pid=174728] ppid=174725 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/174728/stat : 174728 (run-dec.sh) S 174725 174728 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237444388 4292608 768 18446744073709551615 94098618978304 94098619872837 140734218580848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098620111888 94098620159632 94098640519168 140734218582379 140734218582502 140734218582502 140734218588106 0
/proc/174728/statm: 1048 768 704 219 0 110 0
[pid=174730] ppid=174728 vsize=103736 memory=52924 CPUtime=50.94 cores=5,7
/proc/174730/stat : 174730 (roundingsat) R 174728 174728 171541 0 -1 4194304 10358 0 0 0 4964 130 0 0 20 0 1 0 237444389 106225664 13231 18446744073709551615 4227072 8923433 140729861565072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 9932800 140729861568949 140729861569062 140729861569062 140729861574634 0
/proc/174730/statm: 25934 13231 2304 1147 0 13361 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 107928 KiB
Current children cumulated memory: 55996 KiB

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

# cumulated CPU time of all completed processes:  user=67.0497 s, system=1.68884 s

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

[startup+51.2002 s]
/proc/loadavg: 4.07 4.09 4.09 5/268 174730
/proc/meminfo: memFree=112237336/131249996 swapFree=33010160/33010684
[pid=174728] ppid=174725 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/174728/stat : 174728 (run-dec.sh) S 174725 174728 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237444388 4292608 768 18446744073709551615 94098618978304 94098619872837 140734218580848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098620111888 94098620159632 94098640519168 140734218582379 140734218582502 140734218582502 140734218588106 0
/proc/174728/statm: 1048 768 704 219 0 110 0
[pid=174730] ppid=174728 vsize=103736 memory=52924 CPUtime=51.04 cores=5,7
/proc/174730/stat : 174730 (roundingsat) R 174728 174728 171541 0 -1 4194304 10358 0 0 0 4973 131 0 0 20 0 1 0 237444389 106225664 13231 18446744073709551615 4227072 8923433 140729861565072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 9932800 140729861568949 140729861569062 140729861569062 140729861574634 0
/proc/174730/statm: 25934 13231 2304 1147 0 13361 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 107928 KiB
Current children cumulated memory: 55996 KiB

[startup+57.6001 s]
/proc/loadavg: 4.07 4.09 4.09 5/268 174731
/proc/meminfo: memFree=112237400/131249996 swapFree=33010160/33010684
[pid=174728] ppid=174725 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/174728/stat : 174728 (run-dec.sh) S 174725 174728 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237444388 4292608 768 18446744073709551615 94098618978304 94098619872837 140734218580848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098620111888 94098620159632 94098640519168 140734218582379 140734218582502 140734218582502 140734218588106 0
/proc/174728/statm: 1048 768 704 219 0 110 0
[pid=174730] ppid=174728 vsize=104664 memory=54204 CPUtime=57.43 cores=5,7
/proc/174730/stat : 174730 (roundingsat) R 174728 174728 171541 0 -1 4194304 10703 0 0 0 5595 148 0 0 20 0 1 0 237444389 107175936 13551 18446744073709551615 4227072 8923433 140729861565072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 9932800 140729861568949 140729861569062 140729861569062 140729861574634 0
/proc/174730/statm: 26166 13551 2304 1147 0 13593 0
Current children cumulated CPU time: 57.43 s
Current children cumulated vsize: 108856 KiB
Current children cumulated memory: 57276 KiB

[startup+64.0001 s]*
/proc/loadavg: 4.06 4.09 4.09 5/267 174732
/proc/meminfo: memFree=112184588/131249996 swapFree=33010160/33010684
[pid=174728] ppid=174725 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/174728/stat : 174728 (run-dec.sh) S 174725 174728 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237444388 4292608 768 18446744073709551615 94098618978304 94098619872837 140734218580848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098620111888 94098620159632 94098640519168 140734218582379 140734218582502 140734218582502 140734218588106 0
/proc/174728/statm: 1048 768 704 219 0 110 0
[pid=174730] ppid=174728 vsize=104664 memory=55100 CPUtime=63.82 cores=5,7
/proc/174730/stat : 174730 (roundingsat) R 174728 174728 171541 0 -1 4194304 10801 0 0 0 6223 159 0 0 20 0 1 0 237444389 107175936 13775 18446744073709551615 4227072 8923433 140729861565072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 9932800 140729861568949 140729861569062 140729861569062 140729861574634 0
/proc/174730/statm: 26166 13775 2432 1147 0 13593 0
Current children cumulated CPU time: 63.82 s
Current children cumulated vsize: 108856 KiB
Current children cumulated memory: 58172 KiB

[startup+67.2002 s]
/proc/loadavg: 4.06 4.09 4.09 5/267 174732
/proc/meminfo: memFree=112160176/131249996 swapFree=33010160/33010684
[pid=174728] ppid=174725 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/174728/stat : 174728 (run-dec.sh) S 174725 174728 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237444388 4292608 768 18446744073709551615 94098618978304 94098619872837 140734218580848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098620111888 94098620159632 94098640519168 140734218582379 140734218582502 140734218582502 140734218588106 0
/proc/174728/statm: 1048 768 704 219 0 110 0
[pid=174730] ppid=174728 vsize=104820 memory=55228 CPUtime=67 cores=5,7
/proc/174730/stat : 174730 (roundingsat) R 174728 174728 171541 0 -1 4194304 10841 0 0 0 6536 164 0 0 20 0 1 0 237444389 107335680 13807 18446744073709551615 4227072 8923433 140729861565072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 9932800 140729861568949 140729861569062 140729861569062 140729861574634 0
/proc/174730/statm: 26205 13807 2432 1147 0 13632 0
Current children cumulated CPU time: 67 s
Current children cumulated vsize: 109012 KiB
Current children cumulated memory: 58300 KiB

[startup+68.0001 s]*
/proc/loadavg: 4.06 4.09 4.09 5/267 174732
/proc/meminfo: memFree=112155832/131249996 swapFree=33010160/33010684
[pid=174728] ppid=174725 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/174728/stat : 174728 (run-dec.sh) S 174725 174728 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237444388 4292608 768 18446744073709551615 94098618978304 94098619872837 140734218580848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098620111888 94098620159632 94098640519168 140734218582379 140734218582502 140734218582502 140734218588106 0
/proc/174728/statm: 1048 768 704 219 0 110 0
[pid=174730] ppid=174728 vsize=104820 memory=55356 CPUtime=67.81 cores=5,7
/proc/174730/stat : 174730 (roundingsat) R 174728 174728 171541 0 -1 4194304 10877 0 0 0 6615 166 0 0 20 0 1 0 237444389 107335680 13839 18446744073709551615 4227072 8923433 140729861565072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 9932800 140729861568949 140729861569062 140729861569062 140729861574634 0
/proc/174730/statm: 26205 13839 2432 1147 0 13632 0
Current children cumulated CPU time: 67.81 s
Current children cumulated vsize: 109012 KiB
Current children cumulated memory: 58428 KiB

[startup+68.4001 s]
/proc/loadavg: 4.06 4.09 4.09 5/267 174732
/proc/meminfo: memFree=112155832/131249996 swapFree=33010160/33010684
[pid=174728] ppid=174725 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/174728/stat : 174728 (run-dec.sh) S 174725 174728 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237444388 4292608 768 18446744073709551615 94098618978304 94098619872837 140734218580848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098620111888 94098620159632 94098640519168 140734218582379 140734218582502 140734218582502 140734218588106 0
/proc/174728/statm: 1048 768 704 219 0 110 0
[pid=174730] ppid=174728 vsize=104820 memory=55356 CPUtime=68.21 cores=5,7
/proc/174730/stat : 174730 (roundingsat) R 174728 174728 171541 0 -1 4194304 10877 0 0 0 6654 167 0 0 20 0 1 0 237444389 107335680 13839 18446744073709551615 4227072 8923433 140729861565072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 9932800 140729861568949 140729861569062 140729861569062 140729861574634 0
/proc/174730/statm: 26205 13839 2432 1147 0 13632 0
Current children cumulated CPU time: 68.21 s
Current children cumulated vsize: 109012 KiB
Current children cumulated memory: 58428 KiB

[startup+68.8001 s]
/proc/loadavg: 4.06 4.09 4.09 5/267 174732
/proc/meminfo: memFree=112155832/131249996 swapFree=33010160/33010684
[pid=174728] ppid=174725 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/174728/stat : 174728 (run-dec.sh) S 174725 174728 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237444388 4292608 768 18446744073709551615 94098618978304 94098619872837 140734218580848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098620111888 94098620159632 94098640519168 140734218582379 140734218582502 140734218582502 140734218588106 0
/proc/174728/statm: 1048 768 704 219 0 110 0
[pid=174730] ppid=174728 vsize=104820 memory=55356 CPUtime=68.6 cores=5,7
/proc/174730/stat : 174730 (roundingsat) R 174728 174728 171541 0 -1 4194304 10877 0 0 0 6692 168 0 0 20 0 1 0 237444389 107335680 13839 18446744073709551615 4227072 8923433 140729861565072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 9932800 140729861568949 140729861569062 140729861569062 140729861574634 0
/proc/174730/statm: 26205 13839 2432 1147 0 13632 0
Current children cumulated CPU time: 68.6 s
Current children cumulated vsize: 109012 KiB
Current children cumulated memory: 58428 KiB

[startup+68.9002 s]
/proc/loadavg: 4.06 4.09 4.09 5/267 174732
/proc/meminfo: memFree=112155832/131249996 swapFree=33010160/33010684
[pid=174728] ppid=174725 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/174728/stat : 174728 (run-dec.sh) S 174725 174728 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 237444388 4292608 768 18446744073709551615 94098618978304 94098619872837 140734218580848 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098620111888 94098620159632 94098640519168 140734218582379 140734218582502 140734218582502 140734218588106 0
/proc/174728/statm: 1048 768 704 219 0 110 0
[pid=174730] ppid=174728 vsize=104820 memory=55356 CPUtime=68.7 cores=5,7
/proc/174730/stat : 174730 (roundingsat) R 174728 174728 171541 0 -1 4194304 10877 0 0 0 6702 168 0 0 20 0 1 0 237444389 107335680 13839 18446744073709551615 4227072 8923433 140729861565072 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 9932800 140729861568949 140729861569062 140729861569062 140729861574634 0
/proc/174730/statm: 26205 13839 2432 1147 0 13632 0
Current children cumulated CPU time: 68.7 s
Current children cumulated vsize: 109012 KiB
Current children cumulated memory: 58428 KiB

Child status: 0

Real time (s): 68.9271
CPU time (s): 68.7386
CPU user time (s): 67.0497
CPU system time (s): 1.68884
CPU usage (%): 99.7265
Max. virtual memory (cumulated for all children) (KiB): 109012
Max. memory (cumulated for all children) (KiB): 58428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 67.0497
system time used= 1.68884
maximum resident set size= 55356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11108
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= 145
involuntary context switches= 420


# summary of solver processes directly reported to runsolver:
#   pid: 174728
#   total CPU time (s): 68.7386
#   total CPU user time (s): 67.0497
#   total CPU system time (s): 1.68884

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.137568 second user time and 0.327534 second system time

The end

Begin job on nodeC032 at 2025-07-22 22:54:18
IDJOB=4544491
IDBENCH=180673
IDSOLVER=3349
FILE ID=nodeC032/4544491-1753217658
RUNJOBID= nodeC032-1753211592-171554
SLURM_JOB_ID= 9687796
Free space on /tmp= 432484 MiB

SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB25/normalized-PB25/DEC-LIN/koops/normalized-mat10_9identity_complement.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4544491-1753217658/watcher-4544491-1753217658 -o /tmp/evaluation-result-4544491-1753217658/solver-4544491-1753217658 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753211592-171554 --watchdog 3760  run-dec.sh HOME/instance-4544491-1753217658.opb

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

MD5SUM BENCH= ab67e3b90eb3931507bbeeb5ae959313
RANDOM SEED=2101190664

nodeC032 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.868
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.69
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.814
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.69
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		: 3599.030
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.570
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.847
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.69
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.045
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.838
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.69
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.844
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        112284608 kB
MemAvailable:   124416196 kB
Buffers:            2728 kB
Cached:         12810988 kB
SwapCached:           20 kB
Active:          6382944 kB
Inactive:       11680296 kB
Active(anon):    5272660 kB
Inactive(anon):     3124 kB
Active(file):    1110284 kB
Inactive(file): 11677172 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7800 kB
Writeback:             0 kB
AnonPages:       5247660 kB
Mapped:           121720 kB
Shmem:             26240 kB
KReclaimable:     366744 kB
Slab:             465816 kB
SReclaimable:     366744 kB
SUnreclaim:        99072 kB
KernelStack:        4320 kB
PageTables:        13768 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    5982780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3819520 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432476 MiB
End job on nodeC032 at 2025-07-22 22:55:27