0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.08 c #variables 2025 #constraints 30912
2.78/2.81 c bounds - >= -317 @ 0.061848
2.78/2.81 c bounds 0 >= -317 @ 0.573153
2.78/2.81 c bounds 0 >= -313 @ 0.573153
2.78/2.81 c bounds 0 >= -309 @ 0.573153
2.78/2.81 c bounds 0 >= -305 @ 0.573153
2.78/2.81 c bounds 0 >= -301 @ 0.573153
2.78/2.81 c bounds 0 >= -297 @ 0.573153
2.78/2.81 c bounds 0 >= -293 @ 0.573153
2.78/2.81 c bounds 0 >= -289 @ 0.573153
2.78/2.81 c bounds 0 >= -285 @ 0.573153
2.78/2.81 c bounds 0 >= -281 @ 0.573153
2.78/2.81 c bounds 0 >= -277 @ 0.573264
2.78/2.81 c bounds -12 >= -277 @ 0.575152
2.78/2.81 c bounds -12 >= -273 @ 0.575152
2.78/2.81 c bounds -12 >= -269 @ 0.575152
2.78/2.81 c bounds -12 >= -266 @ 0.575152
2.78/2.81 c bounds -12 >= -263 @ 0.575182
2.78/2.81 c bounds -12 >= -259 @ 0.575213
2.78/2.81 c bounds -12 >= -255 @ 0.57526
2.78/2.81 c bounds -12 >= -252 @ 0.575308
2.78/2.81 c bounds -12 >= -249 @ 0.575376
2.78/2.81 c bounds -12 >= -246 @ 0.575488
2.78/2.81 c bounds -12 >= -243 @ 0.575531
2.78/2.81 c bounds -12 >= -240 @ 0.575583
2.78/2.81 c bounds -12 >= -237 @ 0.575618
2.78/2.81 c bounds -12 >= -234 @ 0.57568
2.78/2.81 c bounds -12 >= -231 @ 0.575717
2.78/2.81 c bounds -12 >= -228 @ 0.575755
2.78/2.81 c bounds -12 >= -225 @ 0.575789
2.78/2.81 c bounds -12 >= -222 @ 0.575829
2.78/2.81 c bounds -12 >= -219 @ 0.576548
2.78/2.81 c bounds -12 >= -216 @ 0.576736
2.78/2.81 c bounds -12 >= -213 @ 0.577089
2.78/2.82 c bounds -12 >= -210 @ 0.577336
2.78/2.82 c bounds -14 >= -210 @ 0.57824
2.78/2.82 c bounds -14 >= -207 @ 0.578463
2.78/2.82 c bounds -14 >= -204 @ 0.579332
2.78/2.82 c bounds -15 >= -204 @ 0.581136
2.78/2.82 c bounds -17 >= -204 @ 0.583586
2.78/2.82 c bounds -19 >= -204 @ 0.584214
2.78/2.82 c bounds -19 >= -201 @ 0.584925
2.78/2.82 c bounds -22 >= -201 @ 0.586126
2.78/2.82 c bounds -25 >= -201 @ 0.586235
2.78/2.82 c bounds -25 >= -198 @ 0.587429
2.78/2.82 c bounds -27 >= -198 @ 0.589119
2.78/2.82 c bounds -31 >= -198 @ 0.590115
2.78/2.82 c bounds -32 >= -198 @ 0.59085
2.78/2.82 c bounds -32 >= -195 @ 0.592794
2.78/2.82 c bounds -33 >= -195 @ 0.594107
2.78/2.82 c bounds -35 >= -195 @ 0.594108
2.78/2.82 c bounds -36 >= -195 @ 0.596105
2.78/2.82 c bounds -37 >= -195 @ 0.597683
2.78/2.82 c bounds -37 >= -192 @ 0.602484
2.78/2.82 c bounds -38 >= -192 @ 0.603091
2.78/2.82 c bounds -39 >= -192 @ 0.604088
2.78/2.82 c bounds -40 >= -192 @ 0.605245
2.78/2.82 c bounds -42 >= -192 @ 0.606087
2.78/2.82 c bounds -46 >= -192 @ 0.608072
2.78/2.82 c bounds -46 >= -189 @ 0.616808
2.78/2.82 c bounds -50 >= -189 @ 0.619846
2.78/2.82 c bounds -54 >= -189 @ 0.620037
2.78/2.82 c bounds -55 >= -189 @ 0.62104
2.78/2.82 c bounds -56 >= -189 @ 0.62491
2.78/2.82 c bounds -58 >= -189 @ 0.624912
2.78/2.82 c bounds -61 >= -189 @ 0.625911
2.78/2.82 c #Conflicts: 1000 | #Constraints: 32124
2.78/2.82 c bounds -62 >= -189 @ 0.629366
2.78/2.82 c bounds -63 >= -189 @ 0.631048
2.78/2.82 c bounds -63 >= -180 @ 0.642878
2.78/2.82 c bounds -64 >= -180 @ 0.644939
2.78/2.82 c bounds -67 >= -180 @ 0.65585
2.78/2.82 c #Conflicts: 2000 | #Constraints: 33140
2.78/2.82 c INPROCESSING
2.78/2.82 WSVECS04 Frhs2[8]: 6 0 4.00008 shouldn't be
2.78/2.82 WSVECS04 Frhs2[16]: 6 0 4.00002 shouldn't be
2.78/2.82 WSVECS04 Frhs2[17]: 6 -26.7501 0 shouldn't be
2.78/2.82 WSVECS04 Frhs2[25]: 6 0 4.00002 shouldn't be
2.78/2.82 WSVECS04 Frhs2[45]: 6 -12.6667 0 shouldn't be
2.78/2.82 WSVECS04 Frhs2[58]: 6 0 4.00004 shouldn't be
2.78/2.82 WSVECS04 Frhs2[65]: 6 0 8.00007 shouldn't be
2.78/2.82 WSVECS04 Frhs2[88]: 6 0 3.00008 shouldn't be
2.78/2.82 WSVECS04 Frhs2[91]: 6 0 4.00003 shouldn't be
2.78/2.82 WSVECS04 Frhs2[95]: 6 0 5.00006 shouldn't be
2.78/2.82 WSVECS04 Frhs2[100]: 6 0 4.00004 shouldn't be
2.78/2.82 WSVECS04 Frhs2[101]: 6 0 2.00009 shouldn't be
2.78/2.82 WSVECS04 Frhs2[103]: 6 0 4.00007 shouldn't be
2.78/2.82 WSVECS04 Frhs2[108]: 6 0 6.00005 shouldn't be
2.78/2.82 WSVECS04 Frhs2[113]: 6 0 4.00005 shouldn't be
2.78/2.82 WSVECS04 Frhs2[125]: 6 0 4.00009 shouldn't be
2.78/2.82 WSVECS04 Frhs2[126]: 6 0 7.00009 shouldn't be
2.78/2.82 WSVECS04 Frhs2[1491]: 6 0 2.25009 shouldn't be
14.64/14.72 c bounds -68 >= -180 @ 7.74398
14.64/14.72 c bounds -68 >= -176 @ 7.74402
14.64/14.72 c bounds -68 >= -174 @ 7.74413
14.64/14.72 c bounds -68 >= -172 @ 7.74418
14.64/14.72 c bounds -68 >= -170 @ 7.74426
14.64/14.72 c bounds -68 >= -168 @ 7.74433
14.64/14.72 c bounds -68 >= -166 @ 7.74437
14.64/14.72 c bounds -68 >= -164 @ 7.74443
14.64/14.72 c bounds -68 >= -162 @ 7.74449
14.64/14.72 c bounds -68 >= -160 @ 7.74456
14.64/14.72 c bounds -68 >= -158 @ 7.74461
14.64/14.72 c bounds -68 >= -156 @ 7.74466
14.64/14.72 c bounds -68 >= -154 @ 7.74469
14.64/14.72 c bounds -68 >= -152 @ 7.74476
14.64/14.72 c bounds -68 >= -150 @ 7.74489
14.64/14.72 c bounds -68 >= -148 @ 7.74525
14.64/14.72 c #Conflicts: 3000 | #Constraints: 33113
14.64/14.72 c #Conflicts: 4000 | #Constraints: 34113
14.64/14.72 c INPROCESSING
14.64/14.72 c GARBAGE COLLECT
14.64/14.72 c bounds -68 >= -140 @ 7.85653
14.64/14.72 c bounds -68 >= -138 @ 7.85659
14.64/14.72 c bounds -68 >= -136 @ 7.85928
14.64/14.72 c bounds -68 >= -134 @ 7.86281
14.64/14.72 c bounds -68 >= -132 @ 7.87204
14.64/14.72 c #Conflicts: 5000 | #Constraints: 33557
14.64/14.72 c bounds -68 >= -130 @ 7.89322
14.64/14.72 c bounds -68 >= -128 @ 7.92701
14.64/14.72 c #Conflicts: 6000 | #Constraints: 34587
14.64/14.72 c INPROCESSING
14.64/14.72 c GARBAGE COLLECT
14.64/14.72 c #Conflicts: 7000 | #Constraints: 33613
14.64/14.72 c bounds -68 >= -126 @ 12.2456
14.64/14.72 c #Conflicts: 8000 | #Constraints: 34628
14.64/14.72 c #Conflicts: 9000 | #Constraints: 35628
14.64/14.72 c INPROCESSING
14.64/14.72 c GARBAGE COLLECT
14.64/14.72 c rational objective -126
18.53/18.68 c #Conflicts: 10000 | #Constraints: 34351
18.53/18.68 c #Conflicts: 11000 | #Constraints: 35351
18.53/18.68 c bounds -68 >= -124 @ 14.89
18.53/18.68 c #Conflicts: 12000 | #Constraints: 36366
18.53/18.68 c INPROCESSING
18.53/18.68 c GARBAGE COLLECT
18.53/18.68 c #Conflicts: 13000 | #Constraints: 34833
18.53/18.68 c bounds -69 >= -124 @ 14.9709
18.53/18.68 c #Conflicts: 14000 | #Constraints: 35834
18.53/18.68 c #Conflicts: 15000 | #Constraints: 36834
18.53/18.68 c #Conflicts: 16000 | #Constraints: 37834
18.53/18.68 c #Conflicts: 17000 | #Constraints: 38834
18.53/18.68 c bounds -69 >= -122 @ 17.709
18.53/18.68 c bounds -70 >= -122 @ 17.7098
18.53/18.68 c #Conflicts: 18000 | #Constraints: 39850
18.53/18.68 c #Conflicts: 19000 | #Constraints: 40850
18.53/18.68 c #Conflicts: 20000 | #Constraints: 41850
18.53/18.68 c INPROCESSING
18.53/18.68 c GARBAGE COLLECT
18.53/18.68 WSVECS04 Frhs2[126]: 6 0 3.00006 shouldn't be
24.31/24.47 WSVECS04 Frhs2[29]: 6 0 3.00004 shouldn't be
24.31/24.47 WSVECS04 Frhs2[51]: 6 0 2.0001 shouldn't be
24.31/24.47 WSVECS04 Frhs2[67]: 6 0 3.00006 shouldn't be
24.31/24.47 WSVECS04 Frhs2[69]: 6 0 1.00008 shouldn't be
24.31/24.47 WSVECS04 Frhs2[77]: 6 0 4.00007 shouldn't be
24.31/24.47 WSVECS04 Frhs2[93]: 6 0 3.00009 shouldn't be
24.31/24.47 WSVECS04 Frhs2[120]: 6 0 4.00001 shouldn't be
24.31/24.47 WSVECS04 Frhs2[133]: 6 0 4.00007 shouldn't be
36.18/36.34 c #Conflicts: 21000 | #Constraints: 37377
36.18/36.34 c #Conflicts: 22000 | #Constraints: 38377
36.18/36.34 c #Conflicts: 23000 | #Constraints: 39377
36.18/36.34 c #Conflicts: 24000 | #Constraints: 40377
36.18/36.34 c INPROCESSING
36.18/36.34 c GARBAGE COLLECT
36.18/36.34 c #Conflicts: 25000 | #Constraints: 36601
36.18/36.34 c #Conflicts: 26000 | #Constraints: 37601
36.18/36.34 c #Conflicts: 27000 | #Constraints: 38601
36.18/36.34 c #Conflicts: 28000 | #Constraints: 39601
36.18/36.34 c INPROCESSING
36.18/36.34 c GARBAGE COLLECT
36.18/36.34 c #Conflicts: 29000 | #Constraints: 36058
36.18/36.34 c #Conflicts: 30000 | #Constraints: 37058
36.18/36.34 c #Conflicts: 31000 | #Constraints: 38058
36.18/36.34 c #Conflicts: 32000 | #Constraints: 39058
36.18/36.34 c #Conflicts: 33000 | #Constraints: 40058
36.18/36.34 c INPROCESSING
36.18/36.34 c GARBAGE COLLECT
36.18/36.34 c rational objective -122
58.01/58.27 c #Conflicts: 34000 | #Constraints: 36547
58.01/58.27 c #Conflicts: 35000 | #Constraints: 37547
58.01/58.27 c #Conflicts: 36000 | #Constraints: 38548
58.01/58.27 c #Conflicts: 37000 | #Constraints: 39548
58.01/58.27 c #Conflicts: 38000 | #Constraints: 40549
58.01/58.27 c INPROCESSING
58.01/58.27 c GARBAGE COLLECT
58.01/58.27 c rational objective -122
95.48/95.89 c #Conflicts: 39000 | #Constraints: 36931
95.48/95.89 c #Conflicts: 40000 | #Constraints: 37931
95.48/95.89 c #Conflicts: 41000 | #Constraints: 38931
95.48/95.89 c bounds -70 >= -120 @ 71.0659
95.48/95.89 c #Conflicts: 42000 | #Constraints: 39943
95.48/95.89 c INPROCESSING
95.48/95.89 c GARBAGE COLLECT
95.48/95.89 c #Conflicts: 43000 | #Constraints: 36184
95.48/95.89 c #Conflicts: 44000 | #Constraints: 37184
95.48/95.89 c #Conflicts: 45000 | #Constraints: 38184
95.48/95.89 c #Conflicts: 46000 | #Constraints: 39184
95.48/95.89 c #Conflicts: 47000 | #Constraints: 40184
95.48/95.89 c #Conflicts: 48000 | #Constraints: 41184
95.48/95.89 c #Conflicts: 49000 | #Constraints: 42184
95.48/95.89 c #Conflicts: 50000 | #Constraints: 43184
95.48/95.89 c #Conflicts: 51000 | #Constraints: 44184
95.48/95.89 c #Conflicts: 52000 | #Constraints: 45184
95.48/95.89 c #Conflicts: 53000 | #Constraints: 46184
95.48/95.89 c #Conflicts: 54000 | #Constraints: 47184
95.48/95.89 c #Conflicts: 55000 | #Constraints: 48184
95.48/95.89 c bounds -70 >= -118 @ 73.1029
95.48/95.89 c #Conflicts: 56000 | #Constraints: 49196
95.48/95.89 c #Conflicts: 57000 | #Constraints: 50196
95.48/95.89 c #Conflicts: 58000 | #Constraints: 51196
95.48/95.89 c INPROCESSING
95.48/95.89 c GARBAGE COLLECT
95.48/95.89 c rational objective -118
96.27/96.64 c #Conflicts: 59000 | #Constraints: 41851
96.27/96.64 WSVECS04 Frhs2[1]: 6 0 2.00002 shouldn't be
96.27/96.64 WSVECS04 Frhs2[4]: 6 0 2.00003 shouldn't be
96.27/96.64 WSVECS04 Frhs2[8]: 6 0 4.00009 shouldn't be
96.27/96.64 WSVECS04 Frhs2[14]: 6 0 1.00001 shouldn't be
96.27/96.64 WSVECS04 Frhs2[17]: 6 0 1.00009 shouldn't be
96.27/96.64 WSVECS04 Frhs2[35]: 6 0 3.00003 shouldn't be
96.27/96.64 WSVECS04 Frhs2[40]: 6 0 1.00007 shouldn't be
96.27/96.64 WSVECS04 Frhs2[43]: 6 0 3.00002 shouldn't be
96.27/96.64 WSVECS04 Frhs2[45]: 6 0 4.00002 shouldn't be
96.27/96.64 WSVECS04 Frhs2[59]: 6 0 1.00002 shouldn't be
96.27/96.64 WSVECS04 Frhs2[63]: 6 0 1.00004 shouldn't be
96.27/96.64 WSVECS04 Frhs2[81]: 6 0 1.00005 shouldn't be
96.27/96.64 WSVECS04 Frhs2[86]: 6 0 2.00004 shouldn't be
96.27/96.64 WSVECS04 Frhs2[91]: 6 0 4.00009 shouldn't be
96.27/96.64 WSVECS04 Frhs2[102]: 6 0 6.00007 shouldn't be
96.27/96.64 WSVECS04 Frhs2[132]: 6 0 1.00003 shouldn't be
106.54/106.99 c #Conflicts: 60000 | #Constraints: 42853
106.54/106.99 c #Conflicts: 61000 | #Constraints: 43853
106.54/106.99 c #Conflicts: 62000 | #Constraints: 44853
106.54/106.99 c #Conflicts: 63000 | #Constraints: 45853
106.54/106.99 c #Conflicts: 64000 | #Constraints: 46853
106.54/106.99 c #Conflicts: 65000 | #Constraints: 47853
106.54/106.99 c INPROCESSING
106.54/106.99 c GARBAGE COLLECT
106.54/106.99 c #Conflicts: 66000 | #Constraints: 40598
106.54/106.99 c #Conflicts: 67000 | #Constraints: 41598
106.54/106.99 c #Conflicts: 68000 | #Constraints: 42598
106.54/106.99 c #Conflicts: 69000 | #Constraints: 43598
106.54/106.99 c #Conflicts: 70000 | #Constraints: 44598
106.54/106.99 c #Conflicts: 71000 | #Constraints: 45598
106.54/106.99 c INPROCESSING
106.54/106.99 c GARBAGE COLLECT
106.54/106.99 c #Conflicts: 72000 | #Constraints: 39281
106.54/106.99 c #Conflicts: 73000 | #Constraints: 40281
106.54/106.99 c #Conflicts: 74000 | #Constraints: 41281
106.54/106.99 c #Conflicts: 75000 | #Constraints: 42281
106.54/106.99 c #Conflicts: 76000 | #Constraints: 43281
106.54/106.99 WSVECS04 Frhs2[21]: 6 0 5.00006 shouldn't be
106.54/106.99 WSVECS04 Frhs2[28]: 6 0 4.00005 shouldn't be
106.54/106.99 WSVECS04 Frhs2[32]: 6 0 4.00008 shouldn't be
106.54/106.99 WSVECS04 Frhs2[43]: 6 0 3.00004 shouldn't be
106.54/106.99 WSVECS04 Frhs2[77]: 6 0 5.55557 shouldn't be
106.54/106.99 WSVECS04 Frhs2[86]: 6 0 2.00004 shouldn't be
106.54/106.99 WSVECS04 Frhs2[104]: 6 0 1.00005 shouldn't be
106.54/106.99 WSVECS04 Frhs2[133]: 6 0 4.00003 shouldn't be
112.13/112.52 WSVECS04 Frhs2[37]: 6 -10.0556 0 shouldn't be
112.13/112.52 WSVECS04 Frhs2[196]: 6 -0.0556223 0 shouldn't be
123.50/123.92 WSVECS04 Frhs2[1340]: 6 -0.666717 0 shouldn't be
127.28/127.76 WSVECS04 Frhs2[22]: 6 0 3.00008 shouldn't be
127.28/127.76 WSVECS04 Frhs2[29]: 6 0 3.00009 shouldn't be
127.28/127.76 WSVECS04 Frhs2[46]: 6 0 2.00005 shouldn't be
127.28/127.76 WSVECS04 Frhs2[79]: 6 0 1.00005 shouldn't be
143.13/143.67 c #Conflicts: 77000 | #Constraints: 44281
143.13/143.67 c #Conflicts: 78000 | #Constraints: 45281
143.13/143.67 c INPROCESSING
143.13/143.67 c GARBAGE COLLECT
143.13/143.67 c #Conflicts: 79000 | #Constraints: 39326
143.13/143.67 c #Conflicts: 80000 | #Constraints: 40326
143.13/143.67 c #Conflicts: 81000 | #Constraints: 41326
143.13/143.67 c #Conflicts: 82000 | #Constraints: 42326
143.13/143.67 c #Conflicts: 83000 | #Constraints: 43326
143.13/143.67 c #Conflicts: 84000 | #Constraints: 44326
143.13/143.67 c INPROCESSING
143.13/143.67 c GARBAGE COLLECT
143.13/143.67 c rational objective -118
190.17/190.87 c #Conflicts: 85000 | #Constraints: 38463
190.17/190.87 c #Conflicts: 86000 | #Constraints: 39463
190.17/190.87 c #Conflicts: 87000 | #Constraints: 40463
190.17/190.87 c #Conflicts: 88000 | #Constraints: 41463
190.17/190.87 c #Conflicts: 89000 | #Constraints: 42463
190.17/190.87 c #Conflicts: 90000 | #Constraints: 43463
190.17/190.87 c #Conflicts: 91000 | #Constraints: 44463
190.17/190.87 c INPROCESSING
190.17/190.87 c GARBAGE COLLECT
190.17/190.87 c #Conflicts: 92000 | #Constraints: 38513
190.17/190.87 c #Conflicts: 93000 | #Constraints: 39513
190.17/190.87 c #Conflicts: 94000 | #Constraints: 40513
190.17/190.87 c #Conflicts: 95000 | #Constraints: 41513
190.17/190.87 c #Conflicts: 96000 | #Constraints: 42513
190.17/190.87 c #Conflicts: 97000 | #Constraints: 43513
190.17/190.87 c #Conflicts: 98000 | #Constraints: 44513
190.17/190.87 c #Conflicts: 99000 | #Constraints: 45513
190.17/190.87 c INPROCESSING
190.17/190.87 c GARBAGE COLLECT
190.17/190.87 c #Conflicts: 100000 | #Constraints: 39452
190.17/190.87 c #Conflicts: 101000 | #Constraints: 40452
190.17/190.87 c #Conflicts: 102000 | #Constraints: 41452
190.17/190.87 c #Conflicts: 103000 | #Constraints: 42452
190.17/190.87 c #Conflicts: 104000 | #Constraints: 43452
190.17/190.87 c #Conflicts: 105000 | #Constraints: 44452
190.17/190.87 c #Conflicts: 106000 | #Constraints: 45452
190.17/190.87 c INPROCESSING
190.17/190.87 c GARBAGE COLLECT
190.17/190.87 c #Conflicts: 107000 | #Constraints: 39207
190.17/190.87 c #Conflicts: 108000 | #Constraints: 40207
190.17/190.87 WSVECS04 Frhs2[25]: 6 -0.833353 0 shouldn't be
190.17/190.87 WSVECS04 Frhs2[29]: 6 0 6.83343 shouldn't be
190.17/190.87 WSVECS04 Frhs2[39]: 6 -9.50002 0 shouldn't be
190.17/190.87 WSVECS04 Frhs2[147]: 6 -14.6667 0 shouldn't be
190.17/190.87 WSVECS04 Frhs2[184]: 6 -1.8334 0 shouldn't be
190.17/190.87 WSVECS04 Frhs2[194]: 6 -2.16668 0 shouldn't be
190.17/190.87 WSVECS04 Frhs2[345]: 6 0 0.833392 shouldn't be
190.17/190.87 WSVECS04 Frhs2[429]: 6 -1.50003 0 shouldn't be
190.17/190.87 WSVECS04 Frhs2[574]: 6 -4.00008 0 shouldn't be
190.17/190.87 WSVECS04 Frhs2[816]: 6 -0.500053 0 shouldn't be
190.17/190.87 WSVECS04 Frhs2[868]: 6 0 4.66672 shouldn't be
190.17/190.87 WSVECS04 Frhs2[888]: 6 0 4.00006 shouldn't be
190.17/190.87 WSVECS04 Frhs2[940]: 6 -5.3334 0 shouldn't be
190.17/190.87 WSVECS04 Frhs2[1230]: 6 0 1.00005 shouldn't be
190.17/190.87 WSVECS04 Frhs2[1340]: 6 -6.50002 0 shouldn't be
190.17/190.87 WSVECS04 Frhs2[1392]: 6 0 1.00007 shouldn't be
190.17/190.87 WSVECS04 Frhs2[1423]: 6 0 3.66671 shouldn't be
190.17/190.87 WSVECS04 Frhs2[1557]: 6 -0.833391 0 shouldn't be
190.17/190.87 WSVECS04 Frhs2[1606]: 6 -1.1667 0 shouldn't be
190.17/190.87 WSVECS04 Frhs2[1607]: 6 0 1.00002 shouldn't be
190.17/190.87 WSVECS04 Frhs2[1662]: 6 0 1.50005 shouldn't be
190.17/190.87 WSVECS04 Frhs2[1737]: 6 -1.00006 0 shouldn't be
190.17/190.87 WSVECS04 Frhs2[1822]: 6 0 1.66668 shouldn't be
190.17/190.87 WSVECS04 Frhs2[1849]: 6 0 2.33338 shouldn't be
190.17/190.87 WSVECS04 Frhs2[1864]: 6 0 3.33336 shouldn't be
190.17/190.87 WSVECS04 Frhs2[1878]: 6 -3.33342 0 shouldn't be
190.17/190.87 WSVECS04 Frhs2[1959]: 6 0 5.50008 shouldn't be
190.17/190.87 WSVECS04 Frhs2[1969]: 6 0 2.00006 shouldn't be
191.47/192.17 WSVECS04 Frhs2[276]: 6 -5.3334 0 shouldn't be
191.47/192.17 WSVECS04 Frhs2[530]: 6 0 1.16673 shouldn't be
191.47/192.17 WSVECS04 Frhs2[1223]: 6 0 4.00005 shouldn't be
191.47/192.17 WSVECS04 Frhs2[1417]: 6 0 1.66673 shouldn't be
191.47/192.17 WSVECS04 Frhs2[1539]: 6 0 2.00004 shouldn't be
191.47/192.17 WSVECS04 Frhs2[1620]: 6 0 5.50003 shouldn't be
191.47/192.17 WSVECS04 Frhs2[1670]: 6 -3.50004 0 shouldn't be
191.47/192.17 WSVECS04 Frhs2[1732]: 6 -1.0001 0 shouldn't be
191.47/192.17 WSVECS04 Frhs2[1829]: 6 0 1.0001 shouldn't be
193.06/193.74 WSVECS04 Frhs2[23]: 6 0 10.0001 shouldn't be
193.06/193.74 WSVECS04 Frhs2[73]: 6 0 2.00006 shouldn't be
193.06/193.74 WSVECS04 Frhs2[215]: 6 -14.5 0 shouldn't be
193.06/193.74 WSVECS04 Frhs2[299]: 6 -1.50007 0 shouldn't be
193.06/193.74 WSVECS04 Frhs2[315]: 6 -11.0001 0 shouldn't be
193.06/193.74 WSVECS04 Frhs2[427]: 6 -0.666762 0 shouldn't be
193.06/193.74 WSVECS04 Frhs2[484]: 6 -1.00008 0 shouldn't be
193.06/193.74 WSVECS04 Frhs2[611]: 6 -26.3334 0 shouldn't be
193.06/193.74 WSVECS04 Frhs2[701]: 6 -0.500042 0 shouldn't be
193.06/193.74 WSVECS04 Frhs2[792]: 6 0 2.0001 shouldn't be
193.06/193.74 WSVECS04 Frhs2[883]: 6 0 8.66673 shouldn't be
193.06/193.74 WSVECS04 Frhs2[1015]: 6 -1.5001 0 shouldn't be
193.06/193.74 WSVECS04 Frhs2[1055]: 6 -3.00006 0 shouldn't be
193.06/193.74 WSVECS04 Frhs2[1075]: 6 0 7.00007 shouldn't be
193.06/193.74 WSVECS04 Frhs2[1285]: 6 -4.00006 0 shouldn't be
193.06/193.74 WSVECS04 Frhs2[1310]: 6 -2.00002 0 shouldn't be
193.06/193.74 WSVECS04 Frhs2[1379]: 6 0 0.500052 shouldn't be
193.06/193.74 WSVECS04 Frhs2[1479]: 6 0 16.8334 shouldn't be
193.06/193.74 WSVECS04 Frhs2[1935]: 6 -19.3334 0 shouldn't be
194.66/195.35 WSVECS04 Frhs2[78]: 6 0 4.00004 shouldn't be
194.66/195.35 WSVECS04 Frhs2[139]: 6 -2.33337 0 shouldn't be
194.66/195.35 WSVECS04 Frhs2[1648]: 6 0 3.00006 shouldn't be
198.24/198.95 WSVECS04 Frhs2[163]: 6 -8.83342 0 shouldn't be
198.24/198.95 WSVECS04 Frhs2[488]: 6 0 1.00009 shouldn't be
198.24/198.95 WSVECS04 Frhs2[898]: 6 -6.33338 0 shouldn't be
198.24/198.95 WSVECS04 Frhs2[1206]: 6 0 5.33339 shouldn't be
198.24/198.95 WSVECS04 Frhs2[1344]: 6 0 3.00009 shouldn't be
198.24/198.95 WSVECS04 Frhs2[1492]: 6 -27.0001 0 shouldn't be
198.24/198.95 WSVECS04 Frhs2[1777]: 6 0 4.00007 shouldn't be
198.24/198.95 WSVECS04 Frhs2[1941]: 6 0 7.50009 shouldn't be
199.93/200.66 WSVECS04 Frhs2[282]: 6 0 1.0001 shouldn't be
199.93/200.66 WSVECS04 Frhs2[1231]: 6 0 7.50006 shouldn't be
199.93/200.66 WSVECS04 Frhs2[1262]: 6 0 14.1667 shouldn't be
203.62/204.31 WSVECS04 Frhs2[18]: 6 -14.8334 0 shouldn't be
203.62/204.31 WSVECS04 Frhs2[777]: 6 0 8.83341 shouldn't be
203.62/204.31 WSVECS04 Frhs2[1372]: 6 -7.16671 0 shouldn't be
205.21/205.97 WSVECS04 Frhs2[557]: 6 -3.00002 0 shouldn't be
207.21/207.97 WSVECS04 Frhs2[921]: 6 0 3.00009 shouldn't be
210.41/211.16 WSVECS04 Frhs2[499]: 6 -8.33342 0 shouldn't be
220.46/221.26 WSVECS04 Frhs2[157]: 6 -4.00001 0 shouldn't be
260.43/261.36 c #Conflicts: 109000 | #Constraints: 41207
260.43/261.36 c bounds -70 >= -116 @ 254.711
260.43/261.36 c #Conflicts: 110000 | #Constraints: 42219
260.43/261.36 c #Conflicts: 111000 | #Constraints: 43219
260.43/261.36 c #Conflicts: 112000 | #Constraints: 44219
260.43/261.36 c #Conflicts: 113000 | #Constraints: 45219
260.43/261.36 c #Conflicts: 114000 | #Constraints: 46219
260.43/261.36 c INPROCESSING
260.43/261.36 c GARBAGE COLLECT
260.43/261.36 c #Conflicts: 115000 | #Constraints: 39807
260.43/261.36 c #Conflicts: 116000 | #Constraints: 40807
260.43/261.36 c #Conflicts: 117000 | #Constraints: 41807
260.43/261.36 c #Conflicts: 118000 | #Constraints: 42807
260.43/261.36 c #Conflicts: 119000 | #Constraints: 43807
260.43/261.36 c #Conflicts: 120000 | #Constraints: 44807
260.43/261.36 c #Conflicts: 121000 | #Constraints: 45807
260.43/261.36 c INPROCESSING
260.43/261.36 c GARBAGE COLLECT
260.43/261.36 c #Conflicts: 122000 | #Constraints: 35976
260.43/261.36 c #Conflicts: 123000 | #Constraints: 36976
260.43/261.36 c #Conflicts: 124000 | #Constraints: 37976
260.43/261.36 c #Conflicts: 125000 | #Constraints: 38976
260.43/261.36 c #Conflicts: 126000 | #Constraints: 39976
260.43/261.36 c #Conflicts: 127000 | #Constraints: 40976
260.43/261.36 c #Conflicts: 128000 | #Constraints: 41976
260.43/261.36 c bounds -70 >= -111 @ 257.272
260.43/261.36 c #Conflicts: 129000 | #Constraints: 42987
260.43/261.36 c INPROCESSING
260.43/261.36 c GARBAGE COLLECT
260.43/261.36 c bounds -70 >= -107 @ 257.542
260.43/261.36 c #Conflicts: 130000 | #Constraints: 37467
260.43/261.36 c bounds -70 >= -103 @ 257.58
260.43/261.36 c #Conflicts: 131000 | #Constraints: 38468
260.43/261.36 c #Conflicts: 132000 | #Constraints: 39468
260.43/261.36 c #Conflicts: 133000 | #Constraints: 40468
260.43/261.36 c bounds -70 >= -101 @ 258.055
260.43/261.36 c #Conflicts: 134000 | #Constraints: 41480
260.43/261.36 c #Conflicts: 135000 | #Constraints: 42480
260.43/261.36 c bounds -70 >= -101 @ 258.44
260.43/261.36 c cpu time 258.44 s
260.43/261.36 c deterministic time 1708883968 1.71e+09
260.43/261.36 c optimization time 0.003122 s
260.43/261.36 c total solve time 258.375 s
260.43/261.36 c core-guided solve time 166.779 s
260.43/261.36 c propagation time 136.896 s
260.43/261.36 c conflict analysis time 3.82324 s
260.43/261.36 c propagations 8949829
260.43/261.36 c resolve steps 2084294
260.43/261.36 c decisions 227071
260.43/261.36 c conflicts 135545
260.43/261.36 c restarts 378
260.43/261.36 c inprocessing phases 22
260.43/261.36 c input clauses 31061
260.43/261.36 c input cardinalities 58
260.43/261.36 c input general constraints 290
260.43/261.36 c input average constraint length 3.37
260.43/261.36 c input average constraint degree 1.23
260.43/261.36 c learned clauses 122864
260.43/261.36 c learned cardinalities 422
260.43/261.36 c learned general constraints 12264
260.43/261.36 c learned average constraint length 62.71
260.43/261.36 c learned average constraint degree 716419.25
260.43/261.36 c watched constraints 12073
260.43/261.36 c counting constraints 481
260.43/261.36 c gcd simplifications 21293
260.43/261.36 c detected cardinalities 9
260.43/261.36 c weakened non-implied lits 1372050
260.43/261.36 c weakened non-implying lits 44932
260.43/261.36 c original variables 2025
260.43/261.36 c clausal propagations 5807212
260.43/261.36 c cardinality propagations 90232
260.43/261.36 c watched propagations 1448832
260.43/261.36 c counting propagations 1459380
260.43/261.36 c watch lookups 222663762
260.43/261.36 c watch backjump lookups 56548781
260.43/261.36 c watch checks 1301665547
260.43/261.36 c propagation checks 80484455
260.43/261.36 c constraint additions 28634160
260.43/261.36 c trail pops 9312195
260.43/261.36 c formula constraints 30912
260.43/261.36 c learned constraints 135540
260.43/261.36 c bound constraints 104
260.43/261.36 c core-guided constraints 393
260.43/261.36 c encountered formula constraints 654707
260.43/261.36 c encountered learned constraints 1181965
260.43/261.36 c encountered bound constraints 18048
260.43/261.36 c encountered core-guided constraints 364996
260.43/261.36 c LP total time 241.632 s
260.43/261.36 c LP solve time 240.19 s
260.43/261.36 c LP constraints added 31028
260.43/261.36 c LP constraints removed 92
260.43/261.36 c LP pivots internal 236186
260.43/261.36 c LP pivots root 161981
260.43/261.36 c LP calls 23
260.43/261.36 c LP optimalities 11
260.43/261.36 c LP no pivot count 0
260.43/261.36 c LP infeasibilities 4
260.43/261.36 c LP valid Farkas constraints 4
260.43/261.36 c LP learned Farkas constraints 4
260.43/261.36 c LP basis resets 0
260.43/261.36 c LP cycling count 0
260.43/261.36 c LP singular count 0
260.43/261.36 c LP no primal count 0
260.43/261.36 c LP no farkas count 0
260.43/261.36 c LP other issue count 0
260.43/261.36 c LP Gomory cuts 2
260.43/261.36 c LP learned cuts 114
260.43/261.36 c LP deleted cuts 92
260.43/261.36 c LP encountered Gomory constraints 0
260.43/261.36 c LP encountered Farkas constraints 115
260.43/261.36 c LP encountered learned Farkas constraints 4
260.43/261.36 c CG auxiliary variables introduced 147
260.43/261.36 c CG solutions found 33
260.43/261.36 c CG cores constructed 71
260.43/261.36 c CG core cardinality constraints returned 0
260.43/261.36 c CG unit cores 1
260.43/261.36 c CG single cores 66
260.43/261.36 c CG blocks removed during cardinality reduction 0
260.43/261.36 c CG first core best 0
260.43/261.36 c CG decision core best 4
260.43/261.36 c CG core reduction tie 0
260.43/261.36 c CG core degree average 1.00
260.43/261.37 c CG core slack average 2.30
260.43/261.37 o -70
260.43/261.37 s OPTIMUM FOUND
260.43/261.37 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
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: 63968 MiB (62161 MiB free)
memory of node 1: 64473 MiB (61944 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455266-1721461832/watcher-4455266-1721461832 -o /tmp/evaluation-result-4455266-1721461832/solver-4455266-1721461832 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721461845-1098064 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455266-1721461832.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1098120, runsolver pid=1098111
[startup+0.101074 s]*
/proc/loadavg: 3.84 4.08 4.09 8/260 1098128
/proc/meminfo: memFree=127036516/131524600 swapFree=131071996/131071996
[pid=1098120] ppid=1098111 vsize=53364 memory=24516 CPUtime=0.09 cores=0,2
/proc/1098120/stat : 1098120 (roundingsat) R 1098111 1098120 1098054 0 -1 4194304 7299 0 0 0 7 2 0 0 20 0 1 0 198351282 54644736 6129 134679101440 4194304 7968373 140735951053984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33546240 140735951057852 140735951058016 140735951058016 140735951065033 0
/proc/1098120/statm: 13341 6129 1660 922 0 5293 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53364 KiB
Current children cumulated memory: 24516 KiB
[startup+0.206381 s]*
/proc/loadavg: 3.84 4.08 4.09 7/260 1098128
/proc/meminfo: memFree=126962472/131524600 swapFree=131071996/131071996
[pid=1098120] ppid=1098111 vsize=53364 memory=24516 CPUtime=0.2 cores=0,2
/proc/1098120/stat : 1098120 (roundingsat) R 1098111 1098120 1098054 0 -1 4194304 7304 0 0 0 17 3 0 0 20 0 1 0 198351282 54644736 6129 134679101440 4194304 7968373 140735951053984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33546240 140735951057852 140735951058016 140735951058016 140735951065033 0
/proc/1098120/statm: 13341 6129 1660 922 0 5293 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 53364 KiB
Current children cumulated memory: 24516 KiB
[startup+0.306439 s]*
/proc/loadavg: 3.84 4.08 4.09 7/260 1098128
/proc/meminfo: memFree=126973560/131524600 swapFree=131071996/131071996
[pid=1098120] ppid=1098111 vsize=53364 memory=24516 CPUtime=0.3 cores=0,2
/proc/1098120/stat : 1098120 (roundingsat) R 1098111 1098120 1098054 0 -1 4194304 7304 0 0 0 27 3 0 0 20 0 1 0 198351282 54644736 6129 134679101440 4194304 7968373 140735951053984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33546240 140735951057852 140735951058016 140735951058016 140735951065033 0
/proc/1098120/statm: 13341 6129 1660 922 0 5293 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 53364 KiB
Current children cumulated memory: 24516 KiB
[startup+0.700209 s]
/proc/loadavg: 3.84 4.08 4.09 7/260 1098128
/proc/meminfo: memFree=126972992/131524600 swapFree=131071996/131071996
[pid=1098120] ppid=1098111 vsize=53836 memory=25512 CPUtime=0.69 cores=0,2
/proc/1098120/stat : 1098120 (roundingsat) R 1098111 1098120 1098054 0 -1 4194304 7448 0 0 0 62 7 0 0 20 0 1 0 198351282 55128064 6378 134679101440 4194304 7968373 140735951053984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33546240 140735951057852 140735951058016 140735951058016 140735951065033 0
/proc/1098120/statm: 13459 6378 1786 922 0 5411 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 53836 KiB
Current children cumulated memory: 25512 KiB
[startup+1.50016 s]
/proc/loadavg: 3.84 4.08 4.09 6/260 1098128
/proc/meminfo: memFree=126967452/131524600 swapFree=131071996/131071996
[pid=1098120] ppid=1098111 vsize=55600 memory=27116 CPUtime=1.49 cores=0,2
/proc/1098120/stat : 1098120 (roundingsat) R 1098111 1098120 1098054 0 -1 4194304 8248 0 0 0 139 10 0 0 20 0 1 0 198351282 56934400 6779 134679101440 4194304 7968373 140735951053984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33546240 140735951057852 140735951058016 140735951058016 140735951065033 0
/proc/1098120/statm: 13900 6779 1802 922 0 5852 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 55600 KiB
Current children cumulated memory: 27116 KiB
[startup+3.10646 s]
/proc/loadavg: 3.84 4.08 4.09 6/260 1098128
/proc/meminfo: memFree=126955756/131524600 swapFree=131071996/131071996
[pid=1098120] ppid=1098111 vsize=57032 memory=27380 CPUtime=3.09 cores=0,2
/proc/1098120/stat : 1098120 (roundingsat) R 1098111 1098120 1098054 0 -1 4194304 8336 0 0 0 298 11 0 0 20 0 1 0 198351282 58400768 6845 134679101440 4194304 7968373 140735951053984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33546240 140735951057852 140735951058016 140735951058016 140735951065033 0
/proc/1098120/statm: 14258 6845 1802 922 0 6210 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 57032 KiB
Current children cumulated memory: 27380 KiB
[startup+6.30019 s]
/proc/loadavg: 3.86 4.08 4.09 5/260 1098128
/proc/meminfo: memFree=126950144/131524600 swapFree=131071996/131071996
[pid=1098120] ppid=1098111 vsize=57032 memory=27908 CPUtime=6.26 cores=0,2
/proc/1098120/stat : 1098120 (roundingsat) R 1098111 1098120 1098054 0 -1 4194304 8467 0 0 0 614 12 0 0 20 0 1 0 198351282 58400768 6977 134679101440 4194304 7968373 140735951053984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33546240 140735951057852 140735951058016 140735951058016 140735951065033 0
/proc/1098120/statm: 14258 6977 1802 922 0 6210 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 57032 KiB
Current children cumulated memory: 27908 KiB
[startup+12.7002 s]
/proc/loadavg: 3.95 4.10 4.09 5/260 1098130
/proc/meminfo: memFree=126938292/131524600 swapFree=131071996/131071996
[pid=1098120] ppid=1098111 vsize=59660 memory=31804 CPUtime=12.65 cores=0,2
/proc/1098120/stat : 1098120 (roundingsat) R 1098111 1098120 1098054 0 -1 4194304 8925 0 0 0 1245 20 0 0 20 0 1 0 198351282 61091840 7951 134679101440 4194304 7968373 140735951053984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33546240 140735951057852 140735951058016 140735951058016 140735951065033 0
/proc/1098120/statm: 14915 7951 1802 922 0 6867 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 59660 KiB
Current children cumulated memory: 31804 KiB
[startup+25.5002 s]
/proc/loadavg: 3.96 4.09 4.09 7/260 1098131
/proc/meminfo: memFree=126923368/131524600 swapFree=131071996/131071996
[pid=1098120] ppid=1098111 vsize=67592 memory=38852 CPUtime=25.41 cores=0,2
/proc/1098120/stat : 1098120 (roundingsat) R 1098111 1098120 1098054 0 -1 4194304 11054 0 0 0 2506 35 0 0 20 0 1 0 198351282 69214208 9713 134679101440 4194304 7968373 140735951053984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33546240 140735951057852 140735951058016 140735951058016 140735951065033 0
/proc/1098120/statm: 16898 9713 1856 922 0 8850 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 67592 KiB
Current children cumulated memory: 38852 KiB
[startup+51.1066 s]
/proc/loadavg: 4.03 4.10 4.09 8/260 1098136
/proc/meminfo: memFree=126900188/131524600 swapFree=131071996/131071996
[pid=1098120] ppid=1098111 vsize=67592 memory=38852 CPUtime=50.94 cores=0,2
/proc/1098120/stat : 1098120 (roundingsat) R 1098111 1098120 1098054 0 -1 4194304 11057 0 0 0 5038 56 0 0 20 0 1 0 198351282 69214208 9713 134679101440 4194304 7968373 140735951053984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33546240 140735951057852 140735951058016 140735951058016 140735951065033 0
/proc/1098120/statm: 16898 9713 1856 922 0 8850 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 67592 KiB
Current children cumulated memory: 38852 KiB
[startup+102.3 s]
/proc/loadavg: 3.87 4.05 4.08 5/260 1098742
/proc/meminfo: memFree=126907260/131524600 swapFree=131071996/131071996
[pid=1098120] ppid=1098111 vsize=72924 memory=47752 CPUtime=101.96 cores=0,2
/proc/1098120/stat : 1098120 (roundingsat) R 1098111 1098120 1098054 0 -1 4194304 12292 0 0 0 10105 91 0 0 20 0 1 0 198351282 74674176 11938 134679101440 4194304 7968373 140735951053984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33546240 140735951057852 140735951058016 140735951058016 140735951065033 0
/proc/1098120/statm: 18231 11938 1856 922 0 10183 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 72924 KiB
Current children cumulated memory: 47752 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.07 4.08 7/260 1098755
/proc/meminfo: memFree=126879316/131524600 swapFree=131071996/131071996
[pid=1098120] ppid=1098111 vsize=75476 memory=48000 CPUtime=161.77 cores=0,2
/proc/1098120/stat : 1098120 (roundingsat) R 1098111 1098120 1098054 0 -1 4194304 12409 0 0 0 16045 132 0 0 20 0 1 0 198351282 77287424 12000 134679101440 4194304 7968373 140735951053984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33546240 140735951057852 140735951058016 140735951058016 140735951065033 0
/proc/1098120/statm: 18869 12000 1856 922 0 10821 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 75476 KiB
Current children cumulated memory: 48000 KiB
[startup+222.3 s]
/proc/loadavg: 4.32 4.15 4.11 6/260 1098765
/proc/meminfo: memFree=126866008/131524600 swapFree=131071996/131071996
[pid=1098120] ppid=1098111 vsize=78268 memory=52152 CPUtime=221.56 cores=0,2
/proc/1098120/stat : 1098120 (roundingsat) R 1098111 1098120 1098054 0 -1 4194304 13488 0 0 0 21985 171 0 0 20 0 1 0 198351282 80146432 13038 134679101440 4194304 7968373 140735951053984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33546240 140735951057852 140735951058016 140735951058016 140735951065033 0
/proc/1098120/statm: 19567 13038 1856 922 0 11519 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 78268 KiB
Current children cumulated memory: 52152 KiB
[startup+261.371 s]
# the end of solver process 1098120 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=258.44 s, system=2.06511 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 4.27 4.14 4.11 7/260 1098767
/proc/meminfo: memFree=126865256/131524600 swapFree=131071996/131071996
[pid=1098120] ppid=1098111 vsize=78268 memory=52152 CPUtime=229.63 cores=0,2
/proc/1098120/stat : 1098120 (roundingsat) R 1098111 1098120 1098054 0 -1 4194304 13488 0 0 0 22787 176 0 0 20 0 1 0 198351282 80146432 13038 134679101440 4194304 7968373 140735951053984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33546240 140735951057852 140735951058016 140735951058016 140735951065033 0
/proc/1098120/statm: 19567 13038 1856 922 0 11519 0
Current children cumulated CPU time: 229.63 s
Current children cumulated vsize: 78268 KiB
Current children cumulated memory: 52152 KiB
[startup+243.2 s]
/proc/loadavg: 4.23 4.14 4.10 6/260 1098768
/proc/meminfo: memFree=126864980/131524600 swapFree=131071996/131071996
[pid=1098120] ppid=1098111 vsize=78268 memory=52152 CPUtime=242.39 cores=0,2
/proc/1098120/stat : 1098120 (roundingsat) R 1098111 1098120 1098054 0 -1 4194304 13504 0 0 0 24054 185 0 0 20 0 1 0 198351282 80146432 13038 134679101440 4194304 7968373 140735951053984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33546240 140735951057852 140735951058016 140735951058016 140735951065033 0
/proc/1098120/statm: 19567 13038 1856 922 0 11519 0
Current children cumulated CPU time: 242.39 s
Current children cumulated vsize: 78268 KiB
Current children cumulated memory: 52152 KiB
[startup+249.6 s]
/proc/loadavg: 4.27 4.15 4.11 7/260 1098770
/proc/meminfo: memFree=126864892/131524600 swapFree=131071996/131071996
[pid=1098120] ppid=1098111 vsize=78268 memory=52152 CPUtime=248.77 cores=0,2
/proc/1098120/stat : 1098120 (roundingsat) R 1098111 1098120 1098054 0 -1 4194304 13504 0 0 0 24687 190 0 0 20 0 1 0 198351282 80146432 13038 134679101440 4194304 7968373 140735951053984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33546240 140735951057852 140735951058016 140735951058016 140735951065033 0
/proc/1098120/statm: 19567 13038 1856 922 0 11519 0
Current children cumulated CPU time: 248.77 s
Current children cumulated vsize: 78268 KiB
Current children cumulated memory: 52152 KiB
[startup+256 s]*
/proc/loadavg: 4.25 4.14 4.11 6/260 1098770
/proc/meminfo: memFree=126863936/131524600 swapFree=131071996/131071996
[pid=1098120] ppid=1098111 vsize=80460 memory=52352 CPUtime=255.15 cores=0,2
/proc/1098120/stat : 1098120 (roundingsat) R 1098111 1098120 1098054 0 -1 4194304 13566 0 0 0 25321 194 0 0 20 0 1 0 198351282 82391040 13088 134679101440 4194304 7968373 140735951053984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33546240 140735951057852 140735951058016 140735951058016 140735951065033 0
/proc/1098120/statm: 20115 13088 1856 922 0 12067 0
Current children cumulated CPU time: 255.15 s
Current children cumulated vsize: 80460 KiB
Current children cumulated memory: 52352 KiB
[startup+259.2 s]
/proc/loadavg: 4.23 4.14 4.11 6/260 1098771
/proc/meminfo: memFree=126863844/131524600 swapFree=131071996/131071996
[pid=1098120] ppid=1098111 vsize=80460 memory=52352 CPUtime=258.33 cores=0,2
/proc/1098120/stat : 1098120 (roundingsat) R 1098111 1098120 1098054 0 -1 4194304 13568 0 0 0 25632 201 0 0 20 0 1 0 198351282 82391040 13088 134679101440 4194304 7968373 140735951053984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33546240 140735951057852 140735951058016 140735951058016 140735951065033 0
/proc/1098120/statm: 20115 13088 1856 922 0 12067 0
Current children cumulated CPU time: 258.33 s
Current children cumulated vsize: 80460 KiB
Current children cumulated memory: 52352 KiB
[startup+260 s]*
/proc/loadavg: 4.23 4.14 4.11 5/260 1098771
/proc/meminfo: memFree=126863836/131524600 swapFree=131071996/131071996
[pid=1098120] ppid=1098111 vsize=80460 memory=52352 CPUtime=259.14 cores=0,2
/proc/1098120/stat : 1098120 (roundingsat) R 1098111 1098120 1098054 0 -1 4194304 13568 0 0 0 25711 203 0 0 20 0 1 0 198351282 82391040 13088 134679101440 4194304 7968373 140735951053984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33546240 140735951057852 140735951058016 140735951058016 140735951065033 0
/proc/1098120/statm: 20115 13088 1856 922 0 12067 0
Current children cumulated CPU time: 259.14 s
Current children cumulated vsize: 80460 KiB
Current children cumulated memory: 52352 KiB
[startup+260.8 s]
/proc/loadavg: 4.23 4.14 4.11 5/260 1098771
/proc/meminfo: memFree=126863836/131524600 swapFree=131071996/131071996
[pid=1098120] ppid=1098111 vsize=80460 memory=52352 CPUtime=259.93 cores=0,2
/proc/1098120/stat : 1098120 (roundingsat) R 1098111 1098120 1098054 0 -1 4194304 13568 0 0 0 25788 205 0 0 20 0 1 0 198351282 82391040 13088 134679101440 4194304 7968373 140735951053984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33546240 140735951057852 140735951058016 140735951058016 140735951065033 0
/proc/1098120/statm: 20115 13088 1856 922 0 12067 0
Current children cumulated CPU time: 259.93 s
Current children cumulated vsize: 80460 KiB
Current children cumulated memory: 52352 KiB
[startup+261.2 s]
/proc/loadavg: 4.23 4.14 4.11 5/260 1098771
/proc/meminfo: memFree=126863868/131524600 swapFree=131071996/131071996
[pid=1098120] ppid=1098111 vsize=80460 memory=52352 CPUtime=260.33 cores=0,2
/proc/1098120/stat : 1098120 (roundingsat) R 1098111 1098120 1098054 0 -1 4194304 13568 0 0 0 25827 206 0 0 20 0 1 0 198351282 82391040 13088 134679101440 4194304 7968373 140735951053984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33546240 140735951057852 140735951058016 140735951058016 140735951065033 0
/proc/1098120/statm: 20115 13088 1856 922 0 12067 0
Current children cumulated CPU time: 260.33 s
Current children cumulated vsize: 80460 KiB
Current children cumulated memory: 52352 KiB
[startup+261.3 s]
/proc/loadavg: 4.23 4.14 4.11 5/260 1098771
/proc/meminfo: memFree=126863868/131524600 swapFree=131071996/131071996
[pid=1098120] ppid=1098111 vsize=80460 memory=52352 CPUtime=260.43 cores=0,2
/proc/1098120/stat : 1098120 (roundingsat) R 1098111 1098120 1098054 0 -1 4194304 13568 0 0 0 25837 206 0 0 20 0 1 0 198351282 82391040 13088 134679101440 4194304 7968373 140735951053984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 33546240 140735951057852 140735951058016 140735951058016 140735951065033 0
/proc/1098120/statm: 20115 13088 1856 922 0 12067 0
Current children cumulated CPU time: 260.43 s
Current children cumulated vsize: 80460 KiB
Current children cumulated memory: 52352 KiB
Child status: 0
Real time (s): 261.371
CPU time (s): 260.506
CPU user time (s): 258.44
CPU system time (s): 2.06511
CPU usage (%): 99.6688
Max. virtual memory (cumulated for all children) (KiB): 80460
Max. memory (cumulated for all children) (KiB): 52352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 258.44
system time used= 2.06511
maximum resident set size= 52352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13576
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= 21
involuntary context switches= 1828
# summary of solver processes directly reported to runsolver:
# pid: 1098120
# total CPU time (s): 260.506
# total CPU user time (s): 258.44
# total CPU system time (s): 2.06511
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.48011 second user time and 1.37709 second system time
The end
Begin job on nodeC030 at 2024-07-20 09:50:45
IDJOB=4455266
IDBENCH=148793
IDSOLVER=3084
FILE ID=nodeC030/4455266-1721461832
RUNJOBID= nodeC030-1721461845-1098064
SLURM_JOB_ID= 7545713
Free space on /tmp= 890076 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB09/OPT-LIN/featureSubscription/normalized-50-750-false-45-90-4-5000opt.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455266-1721461832/watcher-4455266-1721461832 -o /tmp/evaluation-result-4455266-1721461832/solver-4455266-1721461832 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721461845-1098064 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455266-1721461832.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 267318dc6252912ba1edb3875073cd29
RANDOM SEED=645164916
nodeC030.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3527.889
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.28
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 : 3605.257
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
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 : 3625.188
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.28
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 : 3636.936
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
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 : 3602.456
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.28
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 : 3663.455
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
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 : 3572.751
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.28
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 : 3442.895
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127086012 kB
MemAvailable: 129664484 kB
Buffers: 538540 kB
Cached: 2860884 kB
SwapCached: 0 kB
Active: 1213012 kB
Inactive: 2556472 kB
Active(anon): 1452 kB
Inactive(anon): 414860 kB
Active(file): 1211560 kB
Inactive(file): 2141612 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 27100 kB
Writeback: 0 kB
AnonPages: 370136 kB
Mapped: 107140 kB
Shmem: 45912 kB
KReclaimable: 130248 kB
Slab: 248132 kB
SReclaimable: 130248 kB
SUnreclaim: 117884 kB
KernelStack: 3920 kB
PageTables: 9828 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 770064 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 74336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 243712 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 262868 kB
DirectMap2M: 23627776 kB
DirectMap1G: 112197632 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC030 at 2024-07-20 09:55:06