0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.08/0.18 c #variables 5041 #constraints 10082
0.08/0.18 c objective is ce32
0.17/0.28 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.17/0.28 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.17/0.28 c GLOBAL bounds - >= 0 @ 0.16303
0.17/0.29 c GLOBAL bounds - >= 0 @ 0.171285
0.62/0.73 c GLOBAL bounds - >= 0 @ 0.572285
225.13/225.83 c #Conflicts: 1000 | #Constraints: 11084
225.13/225.83 c #Conflicts: 2000 | #Constraints: 12084
225.13/225.83 c INPROCESSING
225.13/225.83 c GARBAGE COLLECT
225.13/225.83 c #Conflicts: 3000 | #Constraints: 12118
225.13/225.83 c #Conflicts: 4000 | #Constraints: 13118
225.13/225.83 c INPROCESSING
225.13/225.83 c GARBAGE COLLECT
225.13/225.83 c #Conflicts: 5000 | #Constraints: 12575
225.13/225.83 c #Conflicts: 6000 | #Constraints: 13575
225.13/225.83 c INPROCESSING
225.13/225.83 c GARBAGE COLLECT
225.13/225.83 c #Conflicts: 7000 | #Constraints: 12593
225.13/225.83 c #Conflicts: 8000 | #Constraints: 13593
225.13/225.83 c #Conflicts: 9000 | #Constraints: 14593
225.13/225.83 c INPROCESSING
225.13/225.83 c GARBAGE COLLECT
225.13/225.83 c #Conflicts: 10000 | #Constraints: 13284
225.13/225.83 c #Conflicts: 11000 | #Constraints: 14284
225.13/225.83 c #Conflicts: 12000 | #Constraints: 15284
225.13/225.83 c INPROCESSING
225.13/225.83 c GARBAGE COLLECT
225.13/225.83 c #Conflicts: 13000 | #Constraints: 13716
225.13/225.83 c #Conflicts: 14000 | #Constraints: 14716
225.13/225.83 c #Conflicts: 15000 | #Constraints: 15716
225.13/225.83 c INPROCESSING
225.13/225.83 c GARBAGE COLLECT
225.13/225.83 c #Conflicts: 16000 | #Constraints: 13948
225.13/225.83 c #Conflicts: 17000 | #Constraints: 14948
225.13/225.83 c #Conflicts: 18000 | #Constraints: 15948
225.13/225.83 c INPROCESSING
225.13/225.83 c GARBAGE COLLECT
225.13/225.83 c #Conflicts: 19000 | #Constraints: 13956
225.13/225.83 c #Conflicts: 20000 | #Constraints: 14956
225.13/225.83 c #Conflicts: 21000 | #Constraints: 15956
225.13/225.83 c INPROCESSING
225.13/225.83 c GARBAGE COLLECT
225.13/225.83 c #Conflicts: 22000 | #Constraints: 13758
225.13/225.83 c #Conflicts: 23000 | #Constraints: 14758
225.13/225.83 c #Conflicts: 24000 | #Constraints: 15758
225.13/225.83 c #Conflicts: 25000 | #Constraints: 16758
225.13/225.83 c INPROCESSING
225.13/225.83 c GARBAGE COLLECT
225.13/225.83 c #Conflicts: 26000 | #Constraints: 14352
225.13/225.83 c #Conflicts: 27000 | #Constraints: 15352
225.13/225.83 c #Conflicts: 28000 | #Constraints: 16352
225.13/225.83 c #Conflicts: 29000 | #Constraints: 17352
225.13/225.83 c INPROCESSING
225.13/225.83 c GARBAGE COLLECT
225.13/225.83 c #Conflicts: 30000 | #Constraints: 14747
225.13/225.83 c #Conflicts: 31000 | #Constraints: 15747
225.13/225.83 c #Conflicts: 32000 | #Constraints: 16747
225.13/225.83 c #Conflicts: 33000 | #Constraints: 17747
225.13/225.83 c INPROCESSING
225.13/225.83 c GARBAGE COLLECT
225.13/225.83 c #Conflicts: 34000 | #Constraints: 14945
225.13/225.83 c #Conflicts: 35000 | #Constraints: 15945
225.13/225.83 c #Conflicts: 36000 | #Constraints: 16945
225.13/225.83 c #Conflicts: 37000 | #Constraints: 17945
225.13/225.83 c INPROCESSING
225.13/225.83 c GARBAGE COLLECT
225.13/225.83 c #Conflicts: 38000 | #Constraints: 14951
225.13/225.83 c #Conflicts: 39000 | #Constraints: 15951
225.13/225.83 c #Conflicts: 40000 | #Constraints: 16951
225.13/225.83 c #Conflicts: 41000 | #Constraints: 17951
225.13/225.83 c INPROCESSING
225.13/225.83 c GARBAGE COLLECT
225.13/225.83 c #Conflicts: 42000 | #Constraints: 14754
225.13/225.83 c #Conflicts: 43000 | #Constraints: 15754
225.13/225.83 c #Conflicts: 44000 | #Constraints: 16754
225.13/225.83 c #Conflicts: 45000 | #Constraints: 17754
225.13/225.83 c #Conflicts: 46000 | #Constraints: 18754
225.13/225.83 c INPROCESSING
225.13/225.83 c GARBAGE COLLECT
225.13/225.83 c #Conflicts: 47000 | #Constraints: 15373
225.13/225.83 c #Conflicts: 48000 | #Constraints: 16373
225.13/225.83 c #Conflicts: 49000 | #Constraints: 17373
225.13/225.83 c #Conflicts: 50000 | #Constraints: 18373
225.13/225.83 c #Conflicts: 51000 | #Constraints: 19373
225.13/225.83 c INPROCESSING
225.13/225.83 c GARBAGE COLLECT
225.13/225.83 c #Conflicts: 52000 | #Constraints: 15767
225.13/225.83 c #Conflicts: 53000 | #Constraints: 16767
225.13/225.83 c #Conflicts: 54000 | #Constraints: 17767
225.13/225.83 c #Conflicts: 55000 | #Constraints: 18767
225.13/225.83 c #Conflicts: 56000 | #Constraints: 19767
225.13/225.83 c INPROCESSING
225.13/225.83 c GARBAGE COLLECT
225.13/225.83 c #Conflicts: 57000 | #Constraints: 15956
225.13/225.83 c #Conflicts: 58000 | #Constraints: 16956
225.13/225.83 c #Conflicts: 59000 | #Constraints: 17956
225.13/225.83 c #Conflicts: 60000 | #Constraints: 18956
225.13/225.83 c #Conflicts: 61000 | #Constraints: 19956
225.13/225.83 c INPROCESSING
225.13/225.83 c GARBAGE COLLECT
225.13/225.83 c #Conflicts: 62000 | #Constraints: 15953
225.13/225.83 c #Conflicts: 63000 | #Constraints: 16953
225.13/225.83 c #Conflicts: 64000 | #Constraints: 17953
225.13/225.83 c #Conflicts: 65000 | #Constraints: 18953
225.13/225.83 c #Conflicts: 66000 | #Constraints: 19953
225.13/225.83 c INPROCESSING
225.13/225.83 c GARBAGE COLLECT
225.13/225.83 c #Conflicts: 67000 | #Constraints: 15750
225.13/225.83 c #Conflicts: 68000 | #Constraints: 16750
522.14/523.68 c #Conflicts: 69000 | #Constraints: 17750
522.14/523.68 c #Conflicts: 70000 | #Constraints: 18750
522.14/523.68 c #Conflicts: 71000 | #Constraints: 19750
522.14/523.68 c #Conflicts: 72000 | #Constraints: 20750
522.14/523.68 c INPROCESSING
522.14/523.68 c GARBAGE COLLECT
522.14/523.68 c #Conflicts: 73000 | #Constraints: 16361
522.14/523.68 c #Conflicts: 74000 | #Constraints: 17361
522.14/523.68 c #Conflicts: 75000 | #Constraints: 18361
522.14/523.68 c #Conflicts: 76000 | #Constraints: 19361
522.14/523.68 c #Conflicts: 77000 | #Constraints: 20361
522.14/523.68 c #Conflicts: 78000 | #Constraints: 21361
522.14/523.68 c INPROCESSING
522.14/523.68 c GARBAGE COLLECT
522.14/523.68 c #Conflicts: 79000 | #Constraints: 16752
522.14/523.68 c #Conflicts: 80000 | #Constraints: 17752
522.14/523.68 c #Conflicts: 81000 | #Constraints: 18752
522.14/523.68 c #Conflicts: 82000 | #Constraints: 19752
522.14/523.68 c #Conflicts: 83000 | #Constraints: 20752
522.14/523.68 c #Conflicts: 84000 | #Constraints: 21752
522.14/523.68 c INPROCESSING
522.14/523.68 c GARBAGE COLLECT
522.14/523.68 c #Conflicts: 85000 | #Constraints: 16955
522.14/523.68 c #Conflicts: 86000 | #Constraints: 17955
522.14/523.68 c #Conflicts: 87000 | #Constraints: 18955
522.14/523.68 c #Conflicts: 88000 | #Constraints: 19955
522.14/523.68 c #Conflicts: 89000 | #Constraints: 20955
522.14/523.68 c #Conflicts: 90000 | #Constraints: 21955
522.14/523.68 c INPROCESSING
522.14/523.68 c GARBAGE COLLECT
522.14/523.68 c #Conflicts: 91000 | #Constraints: 16949
522.14/523.68 c #Conflicts: 92000 | #Constraints: 17949
522.14/523.68 c #Conflicts: 93000 | #Constraints: 18949
522.14/523.68 c #Conflicts: 94000 | #Constraints: 19949
522.14/523.68 c #Conflicts: 95000 | #Constraints: 20949
522.14/523.68 c #Conflicts: 96000 | #Constraints: 21949
522.14/523.68 c INPROCESSING
522.14/523.68 c GARBAGE COLLECT
522.14/523.68 c #Conflicts: 97000 | #Constraints: 16746
522.14/523.68 c #Conflicts: 98000 | #Constraints: 17746
522.14/523.68 c #Conflicts: 99000 | #Constraints: 18746
522.14/523.68 c #Conflicts: 100000 | #Constraints: 19746
522.14/523.68 c #Conflicts: 101000 | #Constraints: 20746
522.14/523.68 c #Conflicts: 102000 | #Constraints: 21746
522.14/523.68 c #Conflicts: 103000 | #Constraints: 22746
522.14/523.68 c INPROCESSING
522.14/523.68 c GARBAGE COLLECT
522.14/523.68 c #Conflicts: 104000 | #Constraints: 17352
522.14/523.68 c #Conflicts: 105000 | #Constraints: 18352
522.14/523.68 c #Conflicts: 106000 | #Constraints: 19352
522.14/523.68 c #Conflicts: 107000 | #Constraints: 20352
522.14/523.68 c #Conflicts: 108000 | #Constraints: 21352
522.14/523.68 c #Conflicts: 109000 | #Constraints: 22352
522.14/523.68 c #Conflicts: 110000 | #Constraints: 23352
522.14/523.68 c INPROCESSING
522.14/523.68 c GARBAGE COLLECT
522.14/523.68 c #Conflicts: 111000 | #Constraints: 17741
522.14/523.68 c #Conflicts: 112000 | #Constraints: 18741
522.14/523.68 c #Conflicts: 113000 | #Constraints: 19741
522.14/523.68 c #Conflicts: 114000 | #Constraints: 20741
522.14/523.68 c #Conflicts: 115000 | #Constraints: 21741
522.14/523.68 c #Conflicts: 116000 | #Constraints: 22741
522.14/523.68 c #Conflicts: 117000 | #Constraints: 23741
522.14/523.68 c INPROCESSING
522.14/523.68 c GARBAGE COLLECT
522.14/523.68 c #Conflicts: 118000 | #Constraints: 17937
522.14/523.68 c #Conflicts: 119000 | #Constraints: 18937
522.14/523.68 c #Conflicts: 120000 | #Constraints: 19937
522.14/523.68 c #Conflicts: 121000 | #Constraints: 20937
522.14/523.68 c #Conflicts: 122000 | #Constraints: 21937
522.14/523.68 c #Conflicts: 123000 | #Constraints: 22937
522.14/523.68 c #Conflicts: 124000 | #Constraints: 23937
522.14/523.68 c INPROCESSING
522.14/523.68 c GARBAGE COLLECT
522.14/523.68 c #Conflicts: 125000 | #Constraints: 17949
522.14/523.68 c #Conflicts: 126000 | #Constraints: 18949
522.14/523.68 c #Conflicts: 127000 | #Constraints: 19949
522.14/523.68 c #Conflicts: 128000 | #Constraints: 20949
522.14/523.68 c #Conflicts: 129000 | #Constraints: 21949
522.14/523.68 c #Conflicts: 130000 | #Constraints: 22949
522.14/523.68 c #Conflicts: 131000 | #Constraints: 23949
522.14/523.68 c INPROCESSING
522.14/523.68 c GARBAGE COLLECT
522.14/523.68 c #Conflicts: 132000 | #Constraints: 17747
522.14/523.68 c #Conflicts: 133000 | #Constraints: 18747
522.14/523.68 c #Conflicts: 134000 | #Constraints: 19747
522.14/523.68 c #Conflicts: 135000 | #Constraints: 20747
522.14/523.68 c #Conflicts: 136000 | #Constraints: 21747
522.14/523.68 c #Conflicts: 137000 | #Constraints: 22747
522.14/523.68 c #Conflicts: 138000 | #Constraints: 23747
522.14/523.68 c #Conflicts: 139000 | #Constraints: 24747
522.14/523.68 c INPROCESSING
522.14/523.68 c GARBAGE COLLECT
522.14/523.68 c #Conflicts: 140000 | #Constraints: 18343
826.75/829.09 c #Conflicts: 141000 | #Constraints: 19343
826.75/829.09 c #Conflicts: 142000 | #Constraints: 20343
826.75/829.09 c #Conflicts: 143000 | #Constraints: 21343
826.75/829.09 c #Conflicts: 144000 | #Constraints: 22343
826.75/829.09 c #Conflicts: 145000 | #Constraints: 23343
826.75/829.09 c #Conflicts: 146000 | #Constraints: 24343
826.75/829.09 c #Conflicts: 147000 | #Constraints: 25343
826.75/829.09 c INPROCESSING
826.75/829.09 c GARBAGE COLLECT
826.75/829.09 c #Conflicts: 148000 | #Constraints: 18745
826.75/829.09 c #Conflicts: 149000 | #Constraints: 19745
826.75/829.09 c #Conflicts: 150000 | #Constraints: 20745
826.75/829.09 c #Conflicts: 151000 | #Constraints: 21745
826.75/829.09 c #Conflicts: 152000 | #Constraints: 22745
826.75/829.09 c #Conflicts: 153000 | #Constraints: 23745
826.75/829.09 c #Conflicts: 154000 | #Constraints: 24745
826.75/829.09 c #Conflicts: 155000 | #Constraints: 25745
826.75/829.09 c INPROCESSING
826.75/829.09 c GARBAGE COLLECT
826.75/829.09 c #Conflicts: 156000 | #Constraints: 18937
826.75/829.09 c #Conflicts: 157000 | #Constraints: 19937
826.75/829.09 c #Conflicts: 158000 | #Constraints: 20937
826.75/829.09 c #Conflicts: 159000 | #Constraints: 21937
826.75/829.09 c #Conflicts: 160000 | #Constraints: 22937
826.75/829.09 c #Conflicts: 161000 | #Constraints: 23937
826.75/829.09 c #Conflicts: 162000 | #Constraints: 24937
826.75/829.09 c #Conflicts: 163000 | #Constraints: 25937
826.75/829.09 c INPROCESSING
826.75/829.09 c GARBAGE COLLECT
826.75/829.09 c #Conflicts: 164000 | #Constraints: 18952
826.75/829.09 c #Conflicts: 165000 | #Constraints: 19952
826.75/829.09 c #Conflicts: 166000 | #Constraints: 20952
826.75/829.09 c #Conflicts: 167000 | #Constraints: 21952
826.75/829.09 c #Conflicts: 168000 | #Constraints: 22952
826.75/829.09 c #Conflicts: 169000 | #Constraints: 23952
826.75/829.09 c #Conflicts: 170000 | #Constraints: 24952
826.75/829.09 c #Conflicts: 171000 | #Constraints: 25952
826.75/829.09 c INPROCESSING
826.75/829.09 c GARBAGE COLLECT
826.75/829.09 c #Conflicts: 172000 | #Constraints: 18740
826.75/829.09 c #Conflicts: 173000 | #Constraints: 19740
826.75/829.09 c #Conflicts: 174000 | #Constraints: 20740
826.75/829.09 c #Conflicts: 175000 | #Constraints: 21740
826.75/829.09 c #Conflicts: 176000 | #Constraints: 22740
826.75/829.09 c #Conflicts: 177000 | #Constraints: 23740
826.75/829.09 c #Conflicts: 178000 | #Constraints: 24740
826.75/829.09 c #Conflicts: 179000 | #Constraints: 25740
826.75/829.09 c #Conflicts: 180000 | #Constraints: 26740
826.75/829.09 c INPROCESSING
826.75/829.09 c GARBAGE COLLECT
826.75/829.09 c #Conflicts: 181000 | #Constraints: 19329
826.75/829.09 c #Conflicts: 182000 | #Constraints: 20329
826.75/829.09 c #Conflicts: 183000 | #Constraints: 21329
826.75/829.09 c #Conflicts: 184000 | #Constraints: 22329
826.75/829.09 c #Conflicts: 185000 | #Constraints: 23329
826.75/829.09 c #Conflicts: 186000 | #Constraints: 24329
826.75/829.09 c #Conflicts: 187000 | #Constraints: 25329
826.75/829.09 c #Conflicts: 188000 | #Constraints: 26329
826.75/829.09 c #Conflicts: 189000 | #Constraints: 27329
826.75/829.09 c INPROCESSING
826.75/829.09 c GARBAGE COLLECT
826.75/829.09 c #Conflicts: 190000 | #Constraints: 19731
826.75/829.09 c #Conflicts: 191000 | #Constraints: 20731
826.75/829.09 c #Conflicts: 192000 | #Constraints: 21731
826.75/829.09 c #Conflicts: 193000 | #Constraints: 22731
826.75/829.09 c #Conflicts: 194000 | #Constraints: 23731
826.75/829.09 c #Conflicts: 195000 | #Constraints: 24731
826.75/829.09 c #Conflicts: 196000 | #Constraints: 25731
826.75/829.09 c #Conflicts: 197000 | #Constraints: 26731
826.75/829.09 c #Conflicts: 198000 | #Constraints: 27731
826.75/829.09 c INPROCESSING
826.75/829.09 c GARBAGE COLLECT
826.75/829.09 c #Conflicts: 199000 | #Constraints: 19933
826.75/829.09 c #Conflicts: 200000 | #Constraints: 20933
826.75/829.09 c #Conflicts: 201000 | #Constraints: 21933
826.75/829.09 c #Conflicts: 202000 | #Constraints: 22933
826.75/829.09 c #Conflicts: 203000 | #Constraints: 23933
826.75/829.09 c #Conflicts: 204000 | #Constraints: 24933
826.75/829.09 c #Conflicts: 205000 | #Constraints: 25933
826.75/829.09 c #Conflicts: 206000 | #Constraints: 26933
826.75/829.09 c #Conflicts: 207000 | #Constraints: 27933
826.75/829.09 c INPROCESSING
826.75/829.09 c GARBAGE COLLECT
826.75/829.09 c #Conflicts: 208000 | #Constraints: 19941
826.75/829.09 c #Conflicts: 209000 | #Constraints: 20941
826.75/829.09 c #Conflicts: 210000 | #Constraints: 21941
826.75/829.09 c #Conflicts: 211000 | #Constraints: 22941
826.75/829.09 c #Conflicts: 212000 | #Constraints: 23941
826.75/829.09 c #Conflicts: 213000 | #Constraints: 24941
1165.95/1169.17 c #Conflicts: 214000 | #Constraints: 25941
1165.95/1169.17 c #Conflicts: 215000 | #Constraints: 26941
1165.95/1169.17 c #Conflicts: 216000 | #Constraints: 27941
1165.95/1169.17 c INPROCESSING
1165.95/1169.17 c GARBAGE COLLECT
1165.95/1169.17 c #Conflicts: 217000 | #Constraints: 19738
1165.95/1169.17 c #Conflicts: 218000 | #Constraints: 20738
1165.95/1169.17 c #Conflicts: 219000 | #Constraints: 21738
1165.95/1169.17 c #Conflicts: 220000 | #Constraints: 22738
1165.95/1169.17 c #Conflicts: 221000 | #Constraints: 23738
1165.95/1169.17 c #Conflicts: 222000 | #Constraints: 24738
1165.95/1169.17 c #Conflicts: 223000 | #Constraints: 25738
1165.95/1169.17 c #Conflicts: 224000 | #Constraints: 26738
1165.95/1169.17 c #Conflicts: 225000 | #Constraints: 27738
1165.95/1169.17 c #Conflicts: 226000 | #Constraints: 28738
1165.95/1169.17 c INPROCESSING
1165.95/1169.17 c GARBAGE COLLECT
1165.95/1169.17 c #Conflicts: 227000 | #Constraints: 20336
1165.95/1169.17 c #Conflicts: 228000 | #Constraints: 21336
1165.95/1169.17 c #Conflicts: 229000 | #Constraints: 22336
1165.95/1169.17 c #Conflicts: 230000 | #Constraints: 23336
1165.95/1169.17 c #Conflicts: 231000 | #Constraints: 24336
1165.95/1169.17 c #Conflicts: 232000 | #Constraints: 25336
1165.95/1169.17 c #Conflicts: 233000 | #Constraints: 26336
1165.95/1169.17 c #Conflicts: 234000 | #Constraints: 27336
1165.95/1169.17 c #Conflicts: 235000 | #Constraints: 28336
1165.95/1169.17 c #Conflicts: 236000 | #Constraints: 29336
1165.95/1169.17 c INPROCESSING
1165.95/1169.17 c GARBAGE COLLECT
1165.95/1169.17 c #Conflicts: 237000 | #Constraints: 20741
1165.95/1169.17 c #Conflicts: 238000 | #Constraints: 21741
1165.95/1169.17 c #Conflicts: 239000 | #Constraints: 22741
1165.95/1169.17 c #Conflicts: 240000 | #Constraints: 23741
1165.95/1169.17 c #Conflicts: 241000 | #Constraints: 24741
1165.95/1169.17 c #Conflicts: 242000 | #Constraints: 25741
1165.95/1169.17 c #Conflicts: 243000 | #Constraints: 26741
1165.95/1169.17 c #Conflicts: 244000 | #Constraints: 27741
1165.95/1169.17 c #Conflicts: 245000 | #Constraints: 28741
1165.95/1169.17 c #Conflicts: 246000 | #Constraints: 29741
1165.95/1169.17 c INPROCESSING
1165.95/1169.17 c GARBAGE COLLECT
1165.95/1169.17 c #Conflicts: 247000 | #Constraints: 20939
1165.95/1169.17 c #Conflicts: 248000 | #Constraints: 21939
1165.95/1169.17 c #Conflicts: 249000 | #Constraints: 22939
1165.95/1169.17 c #Conflicts: 250000 | #Constraints: 23939
1165.95/1169.17 c #Conflicts: 251000 | #Constraints: 24939
1165.95/1169.17 c #Conflicts: 252000 | #Constraints: 25939
1165.95/1169.17 c #Conflicts: 253000 | #Constraints: 26939
1165.95/1169.17 c #Conflicts: 254000 | #Constraints: 27939
1165.95/1169.17 c #Conflicts: 255000 | #Constraints: 28939
1165.95/1169.17 c #Conflicts: 256000 | #Constraints: 29939
1165.95/1169.17 c INPROCESSING
1165.95/1169.17 c GARBAGE COLLECT
1165.95/1169.17 c #Conflicts: 257000 | #Constraints: 20931
1165.95/1169.17 c #Conflicts: 258000 | #Constraints: 21931
1165.95/1169.17 c #Conflicts: 259000 | #Constraints: 22931
1165.95/1169.17 c #Conflicts: 260000 | #Constraints: 23931
1165.95/1169.17 c #Conflicts: 261000 | #Constraints: 24931
1165.95/1169.17 c #Conflicts: 262000 | #Constraints: 25931
1165.95/1169.17 c #Conflicts: 263000 | #Constraints: 26931
1165.95/1169.17 c #Conflicts: 264000 | #Constraints: 27931
1165.95/1169.17 c #Conflicts: 265000 | #Constraints: 28931
1165.95/1169.17 c #Conflicts: 266000 | #Constraints: 29931
1165.95/1169.17 c INPROCESSING
1165.95/1169.17 c GARBAGE COLLECT
1165.95/1169.17 c #Conflicts: 267000 | #Constraints: 20729
1165.95/1169.17 c #Conflicts: 268000 | #Constraints: 21729
1165.95/1169.17 c #Conflicts: 269000 | #Constraints: 22729
1165.95/1169.17 c #Conflicts: 270000 | #Constraints: 23729
1165.95/1169.17 c #Conflicts: 271000 | #Constraints: 24729
1165.95/1169.17 c #Conflicts: 272000 | #Constraints: 25729
1165.95/1169.17 c #Conflicts: 273000 | #Constraints: 26729
1165.95/1169.17 c #Conflicts: 274000 | #Constraints: 27729
1165.95/1169.17 c #Conflicts: 275000 | #Constraints: 28729
1165.95/1169.17 c #Conflicts: 276000 | #Constraints: 29729
1165.95/1169.17 c #Conflicts: 277000 | #Constraints: 30729
1165.95/1169.17 c INPROCESSING
1165.95/1169.17 c GARBAGE COLLECT
1165.95/1169.17 c #Conflicts: 278000 | #Constraints: 21346
1165.95/1169.17 c #Conflicts: 279000 | #Constraints: 22346
1165.95/1169.17 c #Conflicts: 280000 | #Constraints: 23346
1165.95/1169.17 c #Conflicts: 281000 | #Constraints: 24346
1165.95/1169.17 c #Conflicts: 282000 | #Constraints: 25346
1165.95/1169.17 c #Conflicts: 283000 | #Constraints: 26346
1165.95/1169.17 c #Conflicts: 284000 | #Constraints: 27346
1165.95/1169.17 c #Conflicts: 285000 | #Constraints: 28346
1165.95/1169.17 c #Conflicts: 286000 | #Constraints: 29346
1165.95/1169.17 c #Conflicts: 287000 | #Constraints: 30346
1165.95/1169.17 c #Conflicts: 288000 | #Constraints: 31346
1543.03/1547.26 c INPROCESSING
1543.03/1547.26 c GARBAGE COLLECT
1543.03/1547.26 c #Conflicts: 289000 | #Constraints: 21744
1543.03/1547.26 c #Conflicts: 290000 | #Constraints: 22744
1543.03/1547.26 c #Conflicts: 291000 | #Constraints: 23744
1543.03/1547.26 c #Conflicts: 292000 | #Constraints: 24744
1543.03/1547.26 c #Conflicts: 293000 | #Constraints: 25744
1543.03/1547.26 c #Conflicts: 294000 | #Constraints: 26744
1543.03/1547.26 c #Conflicts: 295000 | #Constraints: 27744
1543.03/1547.26 c #Conflicts: 296000 | #Constraints: 28744
1543.03/1547.26 c #Conflicts: 297000 | #Constraints: 29744
1543.03/1547.26 c #Conflicts: 298000 | #Constraints: 30744
1543.03/1547.26 c #Conflicts: 299000 | #Constraints: 31744
1543.03/1547.26 c INPROCESSING
1543.03/1547.26 c GARBAGE COLLECT
1543.03/1547.26 c #Conflicts: 300000 | #Constraints: 21942
1543.03/1547.26 c #Conflicts: 301000 | #Constraints: 22942
1543.03/1547.26 c #Conflicts: 302000 | #Constraints: 23942
1543.03/1547.26 c #Conflicts: 303000 | #Constraints: 24942
1543.03/1547.26 c #Conflicts: 304000 | #Constraints: 25942
1543.03/1547.26 c #Conflicts: 305000 | #Constraints: 26942
1543.03/1547.26 c #Conflicts: 306000 | #Constraints: 27942
1543.03/1547.26 c #Conflicts: 307000 | #Constraints: 28942
1543.03/1547.26 c #Conflicts: 308000 | #Constraints: 29942
1543.03/1547.26 c #Conflicts: 309000 | #Constraints: 30942
1543.03/1547.26 c #Conflicts: 310000 | #Constraints: 31942
1543.03/1547.26 c INPROCESSING
1543.03/1547.26 c GARBAGE COLLECT
1543.03/1547.26 c #Conflicts: 311000 | #Constraints: 21946
1543.03/1547.26 c #Conflicts: 312000 | #Constraints: 22946
1543.03/1547.26 c #Conflicts: 313000 | #Constraints: 23946
1543.03/1547.26 c #Conflicts: 314000 | #Constraints: 24946
1543.03/1547.26 c #Conflicts: 315000 | #Constraints: 25946
1543.03/1547.26 c #Conflicts: 316000 | #Constraints: 26946
1543.03/1547.26 c #Conflicts: 317000 | #Constraints: 27946
1543.03/1547.26 c #Conflicts: 318000 | #Constraints: 28946
1543.03/1547.26 c #Conflicts: 319000 | #Constraints: 29946
1543.03/1547.26 c #Conflicts: 320000 | #Constraints: 30946
1543.03/1547.26 c #Conflicts: 321000 | #Constraints: 31946
1543.03/1547.26 c INPROCESSING
1543.03/1547.26 c GARBAGE COLLECT
1543.03/1547.26 c #Conflicts: 322000 | #Constraints: 21730
1543.03/1547.26 c #Conflicts: 323000 | #Constraints: 22730
1543.03/1547.26 c #Conflicts: 324000 | #Constraints: 23730
1543.03/1547.26 c #Conflicts: 325000 | #Constraints: 24730
1543.03/1547.26 c #Conflicts: 326000 | #Constraints: 25730
1543.03/1547.26 c #Conflicts: 327000 | #Constraints: 26730
1543.03/1547.26 c #Conflicts: 328000 | #Constraints: 27730
1543.03/1547.26 c #Conflicts: 329000 | #Constraints: 28730
1543.03/1547.26 c #Conflicts: 330000 | #Constraints: 29730
1543.03/1547.26 c #Conflicts: 331000 | #Constraints: 30730
1543.03/1547.26 c #Conflicts: 332000 | #Constraints: 31730
1543.03/1547.26 c #Conflicts: 333000 | #Constraints: 32730
1543.03/1547.26 c INPROCESSING
1543.03/1547.26 c GARBAGE COLLECT
1543.03/1547.26 c #Conflicts: 334000 | #Constraints: 22337
1543.03/1547.26 c #Conflicts: 335000 | #Constraints: 23337
1543.03/1547.26 c #Conflicts: 336000 | #Constraints: 24337
1543.03/1547.26 c #Conflicts: 337000 | #Constraints: 25337
1543.03/1547.26 c #Conflicts: 338000 | #Constraints: 26337
1543.03/1547.26 c #Conflicts: 339000 | #Constraints: 27337
1543.03/1547.26 c #Conflicts: 340000 | #Constraints: 28337
1543.03/1547.26 c #Conflicts: 341000 | #Constraints: 29337
1543.03/1547.26 c #Conflicts: 342000 | #Constraints: 30337
1543.03/1547.26 c #Conflicts: 343000 | #Constraints: 31337
1543.03/1547.26 c #Conflicts: 344000 | #Constraints: 32337
1543.03/1547.26 c #Conflicts: 345000 | #Constraints: 33337
1543.03/1547.26 c INPROCESSING
1543.03/1547.26 c GARBAGE COLLECT
1543.03/1547.26 c #Conflicts: 346000 | #Constraints: 22746
1543.03/1547.26 c #Conflicts: 347000 | #Constraints: 23746
1543.03/1547.26 c #Conflicts: 348000 | #Constraints: 24746
1543.03/1547.26 c #Conflicts: 349000 | #Constraints: 25746
1543.03/1547.26 c #Conflicts: 350000 | #Constraints: 26746
1543.03/1547.26 c #Conflicts: 351000 | #Constraints: 27746
1543.03/1547.26 c #Conflicts: 352000 | #Constraints: 28746
1543.03/1547.26 c #Conflicts: 353000 | #Constraints: 29746
1543.03/1547.26 c #Conflicts: 354000 | #Constraints: 30746
1543.03/1547.26 c #Conflicts: 355000 | #Constraints: 31746
1543.03/1547.26 c #Conflicts: 356000 | #Constraints: 32746
1543.03/1547.26 c #Conflicts: 357000 | #Constraints: 33746
1543.03/1547.26 c INPROCESSING
1543.03/1547.26 c GARBAGE COLLECT
1543.03/1547.26 c #Conflicts: 358000 | #Constraints: 22950
1543.03/1547.26 c #Conflicts: 359000 | #Constraints: 23950
1543.03/1547.26 c #Conflicts: 360000 | #Constraints: 24950
1543.03/1547.26 c #Conflicts: 361000 | #Constraints: 25950
1543.03/1547.26 c #Conflicts: 362000 | #Constraints: 26950
1852.50/1857.56 c #Conflicts: 363000 | #Constraints: 27950
1852.50/1857.56 c #Conflicts: 364000 | #Constraints: 28950
1852.50/1857.56 c #Conflicts: 365000 | #Constraints: 29950
1852.50/1857.56 c #Conflicts: 366000 | #Constraints: 30950
1852.50/1857.56 c #Conflicts: 367000 | #Constraints: 31950
1852.50/1857.56 c #Conflicts: 368000 | #Constraints: 32950
1852.50/1857.56 c #Conflicts: 369000 | #Constraints: 33950
1852.50/1857.56 c INPROCESSING
1852.50/1857.56 c GARBAGE COLLECT
1852.50/1857.56 c #Conflicts: 370000 | #Constraints: 22945
1852.50/1857.56 c #Conflicts: 371000 | #Constraints: 23945
1852.50/1857.56 c #Conflicts: 372000 | #Constraints: 24945
1852.50/1857.56 c #Conflicts: 373000 | #Constraints: 25945
1852.50/1857.56 c #Conflicts: 374000 | #Constraints: 26945
1852.50/1857.56 c #Conflicts: 375000 | #Constraints: 27945
1852.50/1857.56 c #Conflicts: 376000 | #Constraints: 28945
1852.50/1857.56 c #Conflicts: 377000 | #Constraints: 29945
1852.50/1857.56 c #Conflicts: 378000 | #Constraints: 30945
1852.50/1857.56 c #Conflicts: 379000 | #Constraints: 31945
1852.50/1857.56 c #Conflicts: 380000 | #Constraints: 32945
1852.50/1857.56 c #Conflicts: 381000 | #Constraints: 33945
1852.50/1857.56 c INPROCESSING
1852.50/1857.56 c GARBAGE COLLECT
1852.50/1857.56 c #Conflicts: 382000 | #Constraints: 22757
1852.50/1857.56 c #Conflicts: 383000 | #Constraints: 23757
1852.50/1857.56 c #Conflicts: 384000 | #Constraints: 24757
1852.50/1857.56 c #Conflicts: 385000 | #Constraints: 25757
1852.50/1857.56 c #Conflicts: 386000 | #Constraints: 26757
1852.50/1857.56 c #Conflicts: 387000 | #Constraints: 27757
1852.50/1857.56 c #Conflicts: 388000 | #Constraints: 28757
1852.50/1857.56 c #Conflicts: 389000 | #Constraints: 29757
1852.50/1857.56 c #Conflicts: 390000 | #Constraints: 30757
1852.50/1857.56 c #Conflicts: 391000 | #Constraints: 31757
1852.50/1857.56 c #Conflicts: 392000 | #Constraints: 32757
1852.50/1857.56 c #Conflicts: 393000 | #Constraints: 33757
1852.50/1857.56 c #Conflicts: 394000 | #Constraints: 34757
1852.50/1857.56 c INPROCESSING
1852.50/1857.56 c GARBAGE COLLECT
1852.50/1857.56 c #Conflicts: 395000 | #Constraints: 23356
1852.50/1857.56 c #Conflicts: 396000 | #Constraints: 24356
1852.50/1857.56 c #Conflicts: 397000 | #Constraints: 25356
1852.50/1857.56 c #Conflicts: 398000 | #Constraints: 26356
1852.50/1857.56 c #Conflicts: 399000 | #Constraints: 27356
1852.50/1857.56 c #Conflicts: 400000 | #Constraints: 28356
1852.50/1857.56 c #Conflicts: 401000 | #Constraints: 29356
1852.50/1857.56 c #Conflicts: 402000 | #Constraints: 30356
1852.50/1857.56 c #Conflicts: 403000 | #Constraints: 31356
1852.50/1857.56 c #Conflicts: 404000 | #Constraints: 32356
1852.50/1857.56 c #Conflicts: 405000 | #Constraints: 33356
1852.50/1857.56 c #Conflicts: 406000 | #Constraints: 34356
1852.50/1857.56 c #Conflicts: 407000 | #Constraints: 35356
1852.50/1857.56 c INPROCESSING
1852.50/1857.56 c GARBAGE COLLECT
1852.50/1857.56 c #Conflicts: 408000 | #Constraints: 23756
1852.50/1857.56 c #Conflicts: 409000 | #Constraints: 24756
1852.50/1857.56 c #Conflicts: 410000 | #Constraints: 25756
1852.50/1857.56 c #Conflicts: 411000 | #Constraints: 26756
1852.50/1857.56 c #Conflicts: 412000 | #Constraints: 27756
1852.50/1857.56 c #Conflicts: 413000 | #Constraints: 28756
1852.50/1857.56 c #Conflicts: 414000 | #Constraints: 29756
1852.50/1857.56 c #Conflicts: 415000 | #Constraints: 30756
1852.50/1857.56 c #Conflicts: 416000 | #Constraints: 31756
1852.50/1857.56 c #Conflicts: 417000 | #Constraints: 32756
1852.50/1857.56 c #Conflicts: 418000 | #Constraints: 33756
1852.50/1857.56 c #Conflicts: 419000 | #Constraints: 34756
1852.50/1857.56 c #Conflicts: 420000 | #Constraints: 35756
1852.50/1857.56 c INPROCESSING
1852.50/1857.56 c GARBAGE COLLECT
1852.50/1857.56 c #Conflicts: 421000 | #Constraints: 23950
1852.50/1857.56 c #Conflicts: 422000 | #Constraints: 24950
1852.50/1857.56 c #Conflicts: 423000 | #Constraints: 25950
1852.50/1857.56 c #Conflicts: 424000 | #Constraints: 26950
1852.50/1857.56 c #Conflicts: 425000 | #Constraints: 27950
1852.50/1857.56 c #Conflicts: 426000 | #Constraints: 28950
1852.50/1857.56 c #Conflicts: 427000 | #Constraints: 29950
1852.50/1857.56 c #Conflicts: 428000 | #Constraints: 30950
1852.50/1857.56 c #Conflicts: 429000 | #Constraints: 31950
1852.50/1857.56 c #Conflicts: 430000 | #Constraints: 32950
1852.50/1857.56 c #Conflicts: 431000 | #Constraints: 33950
1852.50/1857.56 c #Conflicts: 432000 | #Constraints: 34950
1852.50/1857.56 c #Conflicts: 433000 | #Constraints: 35950
1852.50/1857.56 c INPROCESSING
1852.50/1857.56 c GARBAGE COLLECT
1852.50/1857.56 c #Conflicts: 434000 | #Constraints: 23952
1852.50/1857.56 c #Conflicts: 435000 | #Constraints: 24952
1852.50/1857.56 c #Conflicts: 436000 | #Constraints: 25952
1852.50/1857.56 c #Conflicts: 437000 | #Constraints: 26952
1866.98/1872.04 c #Conflicts: 438000 | #Constraints: 27952
1866.98/1872.04 c #Conflicts: 439000 | #Constraints: 28952
1866.98/1872.04 c #Conflicts: 440000 | #Constraints: 29952
1866.98/1872.04 c GLOBAL bounds - >= 0 @ 1848.15
1924.21/1929.44 c #Conflicts: 441000 | #Constraints: 30954
1924.21/1929.44 c #Conflicts: 442000 | #Constraints: 31954
1924.21/1929.44 c #Conflicts: 443000 | #Constraints: 32954
1924.21/1929.44 c #Conflicts: 444000 | #Constraints: 33954
1924.21/1929.44 c #Conflicts: 445000 | #Constraints: 34954
1924.21/1929.44 c #Conflicts: 446000 | #Constraints: 35954
1924.21/1929.44 c INPROCESSING
1924.21/1929.44 c GARBAGE COLLECT
1924.21/1929.44 c #Conflicts: 447000 | #Constraints: 23787
1924.21/1929.44 c #Conflicts: 448000 | #Constraints: 24787
1924.21/1929.44 c #Conflicts: 449000 | #Constraints: 25787
1924.21/1929.44 c #Conflicts: 450000 | #Constraints: 26787
1924.21/1929.44 c #Conflicts: 451000 | #Constraints: 27787
1924.21/1929.44 c #Conflicts: 452000 | #Constraints: 28787
1924.21/1929.44 c GLOBAL bounds - >= 0 @ 1905.08
2440.33/2446.99 c #Conflicts: 453000 | #Constraints: 29789
2440.33/2446.99 c #Conflicts: 454000 | #Constraints: 30789
2440.33/2446.99 c #Conflicts: 455000 | #Constraints: 31789
2440.33/2446.99 c #Conflicts: 456000 | #Constraints: 32789
2440.33/2446.99 c #Conflicts: 457000 | #Constraints: 33789
2440.33/2446.99 c #Conflicts: 458000 | #Constraints: 34789
2440.33/2446.99 c #Conflicts: 459000 | #Constraints: 35789
2440.33/2446.99 c #Conflicts: 460000 | #Constraints: 36789
2440.33/2446.99 c INPROCESSING
2440.33/2446.99 c GARBAGE COLLECT
2440.33/2446.99 c #Conflicts: 461000 | #Constraints: 24398
2440.33/2446.99 c #Conflicts: 462000 | #Constraints: 25398
2440.33/2446.99 c #Conflicts: 463000 | #Constraints: 26398
2440.33/2446.99 c #Conflicts: 464000 | #Constraints: 27398
2440.33/2446.99 c #Conflicts: 465000 | #Constraints: 28398
2440.33/2446.99 c #Conflicts: 466000 | #Constraints: 29398
2440.33/2446.99 c #Conflicts: 467000 | #Constraints: 30398
2440.33/2446.99 c #Conflicts: 468000 | #Constraints: 31398
2440.33/2446.99 c #Conflicts: 469000 | #Constraints: 32398
2440.33/2446.99 c #Conflicts: 470000 | #Constraints: 33398
2440.33/2446.99 c #Conflicts: 471000 | #Constraints: 34398
2440.33/2446.99 c #Conflicts: 472000 | #Constraints: 35398
2440.33/2446.99 c #Conflicts: 473000 | #Constraints: 36398
2440.33/2446.99 c #Conflicts: 474000 | #Constraints: 37398
2440.33/2446.99 c INPROCESSING
2440.33/2446.99 c GARBAGE COLLECT
2440.33/2446.99 c #Conflicts: 475000 | #Constraints: 24799
2440.33/2446.99 c #Conflicts: 476000 | #Constraints: 25799
2440.33/2446.99 c #Conflicts: 477000 | #Constraints: 26799
2440.33/2446.99 c #Conflicts: 478000 | #Constraints: 27799
2440.33/2446.99 c #Conflicts: 479000 | #Constraints: 28799
2440.33/2446.99 c #Conflicts: 480000 | #Constraints: 29799
2440.33/2446.99 c #Conflicts: 481000 | #Constraints: 30799
2440.33/2446.99 c #Conflicts: 482000 | #Constraints: 31799
2440.33/2446.99 c #Conflicts: 483000 | #Constraints: 32799
2440.33/2446.99 c #Conflicts: 484000 | #Constraints: 33799
2440.33/2446.99 c #Conflicts: 485000 | #Constraints: 34799
2440.33/2446.99 c #Conflicts: 486000 | #Constraints: 35799
2440.33/2446.99 c #Conflicts: 487000 | #Constraints: 36799
2440.33/2446.99 c #Conflicts: 488000 | #Constraints: 37799
2440.33/2446.99 c INPROCESSING
2440.33/2446.99 c GARBAGE COLLECT
2440.33/2446.99 c #Conflicts: 489000 | #Constraints: 24988
2440.33/2446.99 c #Conflicts: 490000 | #Constraints: 25988
2440.33/2446.99 c #Conflicts: 491000 | #Constraints: 26988
2440.33/2446.99 c #Conflicts: 492000 | #Constraints: 27988
2440.33/2446.99 c #Conflicts: 493000 | #Constraints: 28988
2440.33/2446.99 c #Conflicts: 494000 | #Constraints: 29988
2440.33/2446.99 c #Conflicts: 495000 | #Constraints: 30988
2440.33/2446.99 c #Conflicts: 496000 | #Constraints: 31988
2440.33/2446.99 c #Conflicts: 497000 | #Constraints: 32988
2440.33/2446.99 c #Conflicts: 498000 | #Constraints: 33988
2440.33/2446.99 c #Conflicts: 499000 | #Constraints: 34988
2440.33/2446.99 c #Conflicts: 500000 | #Constraints: 35988
2440.33/2446.99 c #Conflicts: 501000 | #Constraints: 36988
2440.33/2446.99 c #Conflicts: 502000 | #Constraints: 37988
2440.33/2446.99 c INPROCESSING
2440.33/2446.99 c GARBAGE COLLECT
2440.33/2446.99 c #Conflicts: 503000 | #Constraints: 25003
2440.33/2446.99 c #Conflicts: 504000 | #Constraints: 26003
2440.33/2446.99 c #Conflicts: 505000 | #Constraints: 27003
2440.33/2446.99 c #Conflicts: 506000 | #Constraints: 28003
2440.33/2446.99 c #Conflicts: 507000 | #Constraints: 29003
2440.33/2446.99 c #Conflicts: 508000 | #Constraints: 30003
2440.33/2446.99 c #Conflicts: 509000 | #Constraints: 31003
2440.33/2446.99 c #Conflicts: 510000 | #Constraints: 32003
2440.33/2446.99 c #Conflicts: 511000 | #Constraints: 33003
2440.33/2446.99 c #Conflicts: 512000 | #Constraints: 34003
2440.33/2446.99 c #Conflicts: 513000 | #Constraints: 35003
2440.33/2446.99 c #Conflicts: 514000 | #Constraints: 36003
2440.33/2446.99 c #Conflicts: 515000 | #Constraints: 37003
2440.33/2446.99 c #Conflicts: 516000 | #Constraints: 38003
2440.33/2446.99 c INPROCESSING
2440.33/2446.99 c GARBAGE COLLECT
2440.33/2446.99 c #Conflicts: 517000 | #Constraints: 24786
2440.33/2446.99 c #Conflicts: 518000 | #Constraints: 25786
2440.33/2446.99 c #Conflicts: 519000 | #Constraints: 26786
2440.33/2446.99 c #Conflicts: 520000 | #Constraints: 27786
2440.33/2446.99 c #Conflicts: 521000 | #Constraints: 28786
2440.33/2446.99 c #Conflicts: 522000 | #Constraints: 29786
2440.33/2446.99 c #Conflicts: 523000 | #Constraints: 30786
2440.33/2446.99 c #Conflicts: 524000 | #Constraints: 31786
2440.33/2446.99 c #Conflicts: 525000 | #Constraints: 32786
2440.33/2446.99 c #Conflicts: 526000 | #Constraints: 33786
2440.33/2446.99 c #Conflicts: 527000 | #Constraints: 34786
2440.33/2446.99 c #Conflicts: 528000 | #Constraints: 35786
2992.25/3000.33 c #Conflicts: 529000 | #Constraints: 36786
2992.25/3000.33 c #Conflicts: 530000 | #Constraints: 37786
2992.25/3000.33 c #Conflicts: 531000 | #Constraints: 38786
2992.25/3000.33 c INPROCESSING
2992.25/3000.33 c GARBAGE COLLECT
2992.25/3000.33 c #Conflicts: 532000 | #Constraints: 25381
2992.25/3000.33 c #Conflicts: 533000 | #Constraints: 26381
2992.25/3000.33 c #Conflicts: 534000 | #Constraints: 27381
2992.25/3000.33 c #Conflicts: 535000 | #Constraints: 28381
2992.25/3000.33 c #Conflicts: 536000 | #Constraints: 29381
2992.25/3000.33 c #Conflicts: 537000 | #Constraints: 30381
2992.25/3000.33 c #Conflicts: 538000 | #Constraints: 31381
2992.25/3000.33 c #Conflicts: 539000 | #Constraints: 32381
2992.25/3000.33 c #Conflicts: 540000 | #Constraints: 33381
2992.25/3000.33 c #Conflicts: 541000 | #Constraints: 34381
2992.25/3000.33 c #Conflicts: 542000 | #Constraints: 35381
2992.25/3000.33 c #Conflicts: 543000 | #Constraints: 36381
2992.25/3000.33 c #Conflicts: 544000 | #Constraints: 37381
2992.25/3000.33 c #Conflicts: 545000 | #Constraints: 38381
2992.25/3000.33 c #Conflicts: 546000 | #Constraints: 39381
2992.25/3000.33 c INPROCESSING
2992.25/3000.33 c GARBAGE COLLECT
2992.25/3000.33 c #Conflicts: 547000 | #Constraints: 25792
2992.25/3000.33 c #Conflicts: 548000 | #Constraints: 26792
2992.25/3000.33 c #Conflicts: 549000 | #Constraints: 27792
2992.25/3000.33 c #Conflicts: 550000 | #Constraints: 28792
2992.25/3000.33 c #Conflicts: 551000 | #Constraints: 29792
2992.25/3000.33 c #Conflicts: 552000 | #Constraints: 30792
2992.25/3000.33 c #Conflicts: 553000 | #Constraints: 31792
2992.25/3000.33 c #Conflicts: 554000 | #Constraints: 32792
2992.25/3000.33 c #Conflicts: 555000 | #Constraints: 33792
2992.25/3000.33 c #Conflicts: 556000 | #Constraints: 34792
2992.25/3000.33 c #Conflicts: 557000 | #Constraints: 35792
2992.25/3000.33 c #Conflicts: 558000 | #Constraints: 36792
2992.25/3000.33 c #Conflicts: 559000 | #Constraints: 37792
2992.25/3000.33 c #Conflicts: 560000 | #Constraints: 38792
2992.25/3000.33 c #Conflicts: 561000 | #Constraints: 39792
2992.25/3000.33 c INPROCESSING
2992.25/3000.33 c GARBAGE COLLECT
2992.25/3000.33 c #Conflicts: 562000 | #Constraints: 25980
2992.25/3000.33 c #Conflicts: 563000 | #Constraints: 26980
2992.25/3000.33 c #Conflicts: 564000 | #Constraints: 27980
2992.25/3000.33 c #Conflicts: 565000 | #Constraints: 28980
2992.25/3000.33 c #Conflicts: 566000 | #Constraints: 29980
2992.25/3000.33 c #Conflicts: 567000 | #Constraints: 30980
2992.25/3000.33 c #Conflicts: 568000 | #Constraints: 31980
2992.25/3000.33 c #Conflicts: 569000 | #Constraints: 32980
2992.25/3000.33 c #Conflicts: 570000 | #Constraints: 33980
2992.25/3000.33 c #Conflicts: 571000 | #Constraints: 34980
2992.25/3000.33 c #Conflicts: 572000 | #Constraints: 35980
2992.25/3000.33 c #Conflicts: 573000 | #Constraints: 36980
2992.25/3000.33 c #Conflicts: 574000 | #Constraints: 37980
2992.25/3000.33 c #Conflicts: 575000 | #Constraints: 38980
2992.25/3000.33 c #Conflicts: 576000 | #Constraints: 39980
2992.25/3000.33 c INPROCESSING
2992.25/3000.33 c GARBAGE COLLECT
2992.25/3000.33 c #Conflicts: 577000 | #Constraints: 25994
2992.25/3000.33 c #Conflicts: 578000 | #Constraints: 26994
2992.25/3000.33 c #Conflicts: 579000 | #Constraints: 27994
2992.25/3000.33 c #Conflicts: 580000 | #Constraints: 28994
2992.25/3000.33 c #Conflicts: 581000 | #Constraints: 29994
2992.25/3000.33 c #Conflicts: 582000 | #Constraints: 30994
2992.25/3000.33 c #Conflicts: 583000 | #Constraints: 31994
2992.25/3000.33 c #Conflicts: 584000 | #Constraints: 32994
2992.25/3000.33 c #Conflicts: 585000 | #Constraints: 33994
2992.25/3000.33 c #Conflicts: 586000 | #Constraints: 34994
2992.25/3000.33 c #Conflicts: 587000 | #Constraints: 35994
2992.25/3000.33 c #Conflicts: 588000 | #Constraints: 36994
2992.25/3000.33 c #Conflicts: 589000 | #Constraints: 37994
2992.25/3000.33 c #Conflicts: 590000 | #Constraints: 38994
2992.25/3000.33 c #Conflicts: 591000 | #Constraints: 39994
2992.25/3000.33 c INPROCESSING
2992.25/3000.33 c GARBAGE COLLECT
2992.25/3000.33 c #Conflicts: 592000 | #Constraints: 25786
2992.25/3000.33 c #Conflicts: 593000 | #Constraints: 26786
2992.25/3000.33 c #Conflicts: 594000 | #Constraints: 27786
2992.25/3000.33 c #Conflicts: 595000 | #Constraints: 28786
2992.25/3000.33 c #Conflicts: 596000 | #Constraints: 29786
2992.25/3000.33 c #Conflicts: 597000 | #Constraints: 30786
2992.25/3000.33 c #Conflicts: 598000 | #Constraints: 31786
2992.25/3000.33 c #Conflicts: 599000 | #Constraints: 32786
2992.25/3000.33 c #Conflicts: 600000 | #Constraints: 33786
2992.25/3000.33 c #Conflicts: 601000 | #Constraints: 34786
2992.25/3000.33 c #Conflicts: 602000 | #Constraints: 35786
2992.25/3000.33 c #Conflicts: 603000 | #Constraints: 36786
2992.25/3000.33 c #Conflicts: 604000 | #Constraints: 37786
3522.91/3532.49 c #Conflicts: 605000 | #Constraints: 38786
3522.91/3532.49 c #Conflicts: 606000 | #Constraints: 39786
3522.91/3532.49 c #Conflicts: 607000 | #Constraints: 40786
3522.91/3532.49 c INPROCESSING
3522.91/3532.49 c GARBAGE COLLECT
3522.91/3532.49 c #Conflicts: 608000 | #Constraints: 26390
3522.91/3532.49 c #Conflicts: 609000 | #Constraints: 27390
3522.91/3532.49 c #Conflicts: 610000 | #Constraints: 28390
3522.91/3532.49 c #Conflicts: 611000 | #Constraints: 29390
3522.91/3532.49 c #Conflicts: 612000 | #Constraints: 30390
3522.91/3532.49 c #Conflicts: 613000 | #Constraints: 31390
3522.91/3532.49 c #Conflicts: 614000 | #Constraints: 32390
3522.91/3532.49 c #Conflicts: 615000 | #Constraints: 33390
3522.91/3532.49 c #Conflicts: 616000 | #Constraints: 34390
3522.91/3532.49 c #Conflicts: 617000 | #Constraints: 35390
3522.91/3532.49 c #Conflicts: 618000 | #Constraints: 36390
3522.91/3532.49 c #Conflicts: 619000 | #Constraints: 37390
3522.91/3532.49 c #Conflicts: 620000 | #Constraints: 38390
3522.91/3532.49 c #Conflicts: 621000 | #Constraints: 39390
3522.91/3532.49 c #Conflicts: 622000 | #Constraints: 40390
3522.91/3532.49 c #Conflicts: 623000 | #Constraints: 41390
3522.91/3532.49 c INPROCESSING
3522.91/3532.49 c GARBAGE COLLECT
3522.91/3532.49 c #Conflicts: 624000 | #Constraints: 26787
3522.91/3532.49 c #Conflicts: 625000 | #Constraints: 27787
3522.91/3532.49 c #Conflicts: 626000 | #Constraints: 28787
3522.91/3532.49 c #Conflicts: 627000 | #Constraints: 29787
3522.91/3532.49 c #Conflicts: 628000 | #Constraints: 30787
3522.91/3532.49 c #Conflicts: 629000 | #Constraints: 31787
3522.91/3532.49 c #Conflicts: 630000 | #Constraints: 32787
3522.91/3532.49 c #Conflicts: 631000 | #Constraints: 33787
3522.91/3532.49 c #Conflicts: 632000 | #Constraints: 34787
3522.91/3532.49 c #Conflicts: 633000 | #Constraints: 35787
3522.91/3532.49 c #Conflicts: 634000 | #Constraints: 36787
3522.91/3532.49 c #Conflicts: 635000 | #Constraints: 37787
3522.91/3532.49 c #Conflicts: 636000 | #Constraints: 38787
3522.91/3532.49 c #Conflicts: 637000 | #Constraints: 39787
3522.91/3532.49 c #Conflicts: 638000 | #Constraints: 40787
3522.91/3532.49 c #Conflicts: 639000 | #Constraints: 41787
3522.91/3532.49 c INPROCESSING
3522.91/3532.49 c GARBAGE COLLECT
3522.91/3532.49 c #Conflicts: 640000 | #Constraints: 27018
3522.91/3532.49 c #Conflicts: 641000 | #Constraints: 28018
3522.91/3532.49 c #Conflicts: 642000 | #Constraints: 29018
3522.91/3532.49 c #Conflicts: 643000 | #Constraints: 30018
3522.91/3532.49 c #Conflicts: 644000 | #Constraints: 31018
3522.91/3532.49 c #Conflicts: 645000 | #Constraints: 32018
3522.91/3532.49 c #Conflicts: 646000 | #Constraints: 33018
3522.91/3532.49 c #Conflicts: 647000 | #Constraints: 34018
3522.91/3532.49 c #Conflicts: 648000 | #Constraints: 35018
3522.91/3532.49 c #Conflicts: 649000 | #Constraints: 36018
3522.91/3532.49 c #Conflicts: 650000 | #Constraints: 37018
3522.91/3532.49 c #Conflicts: 651000 | #Constraints: 38018
3522.91/3532.49 c #Conflicts: 652000 | #Constraints: 39018
3522.91/3532.49 c #Conflicts: 653000 | #Constraints: 40018
3522.91/3532.49 c #Conflicts: 654000 | #Constraints: 41018
3522.91/3532.49 c #Conflicts: 655000 | #Constraints: 42018
3522.91/3532.49 c INPROCESSING
3522.91/3532.49 c GARBAGE COLLECT
3522.91/3532.49 c #Conflicts: 656000 | #Constraints: 27018
3522.91/3532.49 c #Conflicts: 657000 | #Constraints: 28018
3522.91/3532.49 c #Conflicts: 658000 | #Constraints: 29018
3522.91/3532.49 c #Conflicts: 659000 | #Constraints: 30018
3522.91/3532.49 c #Conflicts: 660000 | #Constraints: 31018
3522.91/3532.49 c #Conflicts: 661000 | #Constraints: 32018
3522.91/3532.49 c #Conflicts: 662000 | #Constraints: 33018
3522.91/3532.49 c #Conflicts: 663000 | #Constraints: 34018
3522.91/3532.49 c #Conflicts: 664000 | #Constraints: 35018
3522.91/3532.49 c #Conflicts: 665000 | #Constraints: 36018
3522.91/3532.49 c #Conflicts: 666000 | #Constraints: 37018
3522.91/3532.49 c #Conflicts: 667000 | #Constraints: 38018
3522.91/3532.49 c #Conflicts: 668000 | #Constraints: 39018
3522.91/3532.49 c #Conflicts: 669000 | #Constraints: 40018
3522.91/3532.49 c #Conflicts: 670000 | #Constraints: 41018
3522.91/3532.49 c #Conflicts: 671000 | #Constraints: 42018
3522.91/3532.49 c INPROCESSING
3522.91/3532.49 c GARBAGE COLLECT
3522.91/3532.49 c #Conflicts: 672000 | #Constraints: 26813
3522.91/3532.49 c #Conflicts: 673000 | #Constraints: 27813
3522.91/3532.49 c #Conflicts: 674000 | #Constraints: 28813
3522.91/3532.49 c #Conflicts: 675000 | #Constraints: 29813
3522.91/3532.49 c #Conflicts: 676000 | #Constraints: 30813
3522.91/3532.49 c #Conflicts: 677000 | #Constraints: 31813
3522.91/3532.49 c #Conflicts: 678000 | #Constraints: 32813
3522.91/3532.49 c #Conflicts: 679000 | #Constraints: 33813
3600.07/3609.80 c #Conflicts: 680000 | #Constraints: 34813
3600.07/3609.80 c #Conflicts: 681000 | #Constraints: 35813
3600.07/3609.80 c #Conflicts: 682000 | #Constraints: 36813
3600.07/3609.80 c #Conflicts: 683000 | #Constraints: 37813
3600.07/3609.80 c #Conflicts: 684000 | #Constraints: 38813
3600.07/3609.80 c #Conflicts: 685000 | #Constraints: 39813
3600.07/3609.80 c #Conflicts: 686000 | #Constraints: 40813
3600.07/3609.80 c #Conflicts: 687000 | #Constraints: 41813
3600.07/3609.80 c #Conflicts: 688000 | #Constraints: 42813
3600.07/3609.80 c INPROCESSING
3600.07/3609.80 c GARBAGE COLLECT
3600.07/3609.80 c #Conflicts: 689000 | #Constraints: 27402
3600.07/3609.80 c #Conflicts: 690000 | #Constraints: 28402
3600.07/3609.80 c cpu time 3569.11 s
3600.07/3609.80 c deterministic time 1 1.00e+00
3600.07/3609.80 c optimization time 3568.99 s
3600.07/3609.80 c total solve time 0 s
3600.07/3609.80 c core-guided solve time 0 s
3600.07/3609.80 c propagation time 0.009147 s
3600.07/3609.80 c conflict analysis time 0 s
3600.07/3609.80 c propagations 0
3600.07/3609.80 c resolve steps 0
3600.07/3609.80 c decisions 0
3600.07/3609.80 c conflicts 0
3600.07/3609.80 c restarts 0
3600.07/3609.80 c inprocessing phases 0
3600.07/3609.80 c garbage collections 0 ,( -nan )
3600.07/3609.80 c input clauses 10082 ,( 100.00 )
3600.07/3609.80 c input cardinalities 0 ,( 0.00 )
3600.07/3609.80 c input general constraints 0 ,( 0.00 )
3600.07/3609.80 c input average constraint length 2.00
3600.07/3609.80 c input average constraint degree 1.00
3600.07/3609.80 c learned clauses 0 ,( 0.00 )
3600.07/3609.80 c learned cardinalities 0 ,( 0.00 )
3600.07/3609.80 c learned general constraints 0 ,( 0.00 )
3600.07/3609.80 c learned average constraint length 0.00
3600.07/3609.80 c learned average constraint degree 0.00
3600.07/3609.80 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.07/3609.80 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.07/3609.80 c watched constraints 0 ,( -nan )
3600.07/3609.80 c counting constraints 0 ,( -nan )
3600.07/3609.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.07/3609.80 c gcd simplifications 0
3600.07/3609.80 c detected cardinalities 0
3600.07/3609.80 c weakened non-implied lits 0
3600.07/3609.80 c weakened non-implying lits 0
3600.07/3609.80 c original variables 5041
3600.07/3609.80 c clausal propagations 0
3600.07/3609.80 c cardinality propagations 0
3600.07/3609.80 c watched propagations 0
3600.07/3609.80 c counting propagations 0
3600.07/3609.80 c watch lookups 0
3600.07/3609.80 c watch backjump lookups 0
3600.07/3609.80 c watch checks 0
3600.07/3609.80 c propagation checks 0
3600.07/3609.80 c constraint additions 0
3600.07/3609.80 c trail pops 0
3600.07/3609.80 c formula constraints 10082
3600.07/3609.80 c learned constraints 0
3600.07/3609.80 c bound constraints 0
3600.07/3609.80 c core-guided constraints 0
3600.07/3609.80 c encountered formula constraints 0
3600.07/3609.80 c encountered learned constraints 0
3600.07/3609.80 c encountered bound constraints 0
3600.07/3609.80 c encountered core-guided constraints 0
3600.07/3609.80 c LP total time 0 s
3600.07/3609.80 c LP solve time 0 s
3600.07/3609.80 c LP constraints added 0
3600.07/3609.80 c LP constraints removed 0
3600.07/3609.80 c LP pivots internal 0
3600.07/3609.80 c LP pivots root 0
3600.07/3609.80 c LP calls 0
3600.07/3609.80 c LP optimalities 0
3600.07/3609.80 c LP no pivot count 0
3600.07/3609.80 c LP infeasibilities 0
3600.07/3609.80 c LP valid Farkas constraints 0
3600.07/3609.80 c LP learned Farkas constraints 0
3600.07/3609.80 c LP basis resets 0
3600.07/3609.80 c LP cycling count 0
3600.07/3609.80 c LP singular count 0
3600.07/3609.80 c LP no primal count 0
3600.07/3609.80 c LP no farkas count 0
3600.07/3609.80 c LP other issue count 0
3600.07/3609.80 c LP Gomory cuts 0
3600.07/3609.80 c LP learned cuts 0
3600.07/3609.80 c LP deleted cuts 0
3600.07/3609.80 c LP encountered Gomory constraints 0
3600.07/3609.80 c LP encountered Farkas constraints 0
3600.07/3609.80 c LP encountered learned Farkas constraints 0
3600.07/3609.80 c CG auxiliary variables introduced 0
3600.07/3609.80 c CG solutions found 0
3600.07/3609.80 c CG cores constructed 0
3600.07/3609.80 c CG core cardinality constraints returned 0
3600.07/3609.80 c CG unit cores 0
3600.07/3609.80 c CG single cores 0
3600.07/3609.80 c CG blocks removed during cardinality reduction 0
3600.07/3609.80 c CG first core best 0
3600.07/3609.80 c CG decision core best 0
3600.07/3609.80 c CG core reduction tie 0
3600.07/3609.80 c CG core degree average 0.00
3600.07/3609.80 c CG core slack average 0.00
3600.07/3609.80 c CG core upper bound improvements 0
3600.07/3609.80 c STR number of successful calls 0
3600.07/3609.80 c STR number of unsuccessful calls 0
3600.07/3609.80 c STR number of inconclusive calls 0
3600.07/3609.80 c STR number of successful attempts 0
3600.07/3609.80 c STR number of unsuccessful attempts 0
3600.07/3609.80 c STR number of inconclusive attempts 0
3600.07/3609.80 c STR average degree increase per successful call inf
3600.07/3609.80 c STR average degree increase per successful attempt inf
3600.07/3609.80 c STR total number of conflicts for successful attempts 0
3600.07/3609.80 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3609.80 c STR total number of conflicts for inconclusive attempts 0
3600.07/3609.80 c STR average number of conflicts per successful attempt inf
3600.07/3609.80 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3609.80 c STR average number of conflicts per inconclusive attempt inf
3600.07/3609.80 c AVG.sumWPerc -nan
3600.07/3609.80 c bigint constraints 0
3600.07/3609.80 s UNKNOWN
3600.07/3609.80 c Program interrupted by user.
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: 63794 MiB (59338 MiB free)
memory of node 1: 64507 MiB (61086 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521539-1751583659/watcher-4521539-1751583659 -o /tmp/evaluation-result-4521539-1751583659/solver-4521539-1751583659 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751579896-82754 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4521539-1751583659.opb PROOFDIR/proof-4521539-1751583659
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=83314, runsolver pid=83311
Current StackSize limit: 8192 KiB
[startup+0.100071 s]*
/proc/loadavg: 4.09 4.13 4.09 5/260 83316
/proc/meminfo: memFree=123309116/131382112 swapFree=33010416/33010684
[pid=83314] ppid=83311 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83314/stat : 83314 (run-opt-log.sh) S 83311 83314 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74045581 4292608 736 18446744073709551615 94365225156608 94365226051141 140735127503312 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365226290192 94365226337936 94365230358528 140735127505185 140735127505380 140735127505380 140735127510982 0
/proc/83314/statm: 1048 736 672 219 0 110 0
[pid=83316] ppid=83314 vsize=57244 memory=12712 CPUtime=0.08 cores=4,6
/proc/83316/stat : 83316 (roundingsat) R 83314 83314 82743 0 -1 4194304 1041 0 0 0 6 2 0 0 20 0 1 0 74045582 58617856 3178 18446744073709551615 4227072 8923433 140726012821536 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 27742208 140726012827986 140726012828200 140726012828200 140726012833770 0
/proc/83316/statm: 14311 3178 2016 1147 0 1738 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 61436 KiB
Current children cumulated memory: 15656 KiB
[startup+0.2179 s]*
/proc/loadavg: 4.09 4.13 4.09 5/260 83316
/proc/meminfo: memFree=123295696/131382112 swapFree=33010416/33010684
[pid=83314] ppid=83311 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83314/stat : 83314 (run-opt-log.sh) S 83311 83314 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74045581 4292608 736 18446744073709551615 94365225156608 94365226051141 140735127503312 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365226290192 94365226337936 94365230358528 140735127505185 140735127505380 140735127505380 140735127510982 0
/proc/83314/statm: 1048 736 672 219 0 110 0
[pid=83316] ppid=83314 vsize=78184 memory=29048 CPUtime=0.17 cores=4,6
/proc/83316/stat : 83316 (roundingsat) R 83314 83314 82743 0 -1 4194304 4771 0 0 0 13 4 0 0 20 0 1 0 74045582 80060416 7262 18446744073709551615 4227072 8923433 140726012821536 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 27742208 140726012827986 140726012828200 140726012828200 140726012833770 0
/proc/83316/statm: 19546 7262 2368 1147 0 6973 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 82376 KiB
Current children cumulated memory: 31992 KiB
[startup+0.315948 s]*
/proc/loadavg: 4.09 4.13 4.09 5/260 83316
/proc/meminfo: memFree=123290592/131382112 swapFree=33010416/33010684
[pid=83314] ppid=83311 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83314/stat : 83314 (run-opt-log.sh) S 83311 83314 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74045581 4292608 736 18446744073709551615 94365225156608 94365226051141 140735127503312 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365226290192 94365226337936 94365230358528 140735127505185 140735127505380 140735127505380 140735127510982 0
/proc/83314/statm: 1048 736 672 219 0 110 0
[pid=83316] ppid=83314 vsize=78956 memory=32412 CPUtime=0.26 cores=4,6
/proc/83316/stat : 83316 (roundingsat) R 83314 83314 82743 0 -1 4194304 5089 0 0 0 19 7 0 0 20 0 1 0 74045582 80850944 8103 18446744073709551615 4227072 8923433 140726012821536 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 27742208 140726012827986 140726012828200 140726012828200 140726012833770 0
/proc/83316/statm: 19739 8103 2400 1147 0 7166 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 83148 KiB
Current children cumulated memory: 35356 KiB
[startup+0.7003 s]
/proc/loadavg: 4.09 4.13 4.09 5/260 83316
/proc/meminfo: memFree=123290592/131382112 swapFree=33010416/33010684
[pid=83314] ppid=83311 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83314/stat : 83314 (run-opt-log.sh) S 83311 83314 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74045581 4292608 736 18446744073709551615 94365225156608 94365226051141 140735127503312 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365226290192 94365226337936 94365230358528 140735127505185 140735127505380 140735127505380 140735127510982 0
/proc/83314/statm: 1048 736 672 219 0 110 0
[pid=83316] ppid=83314 vsize=88424 memory=41244 CPUtime=0.62 cores=4,6
/proc/83316/stat : 83316 (roundingsat) R 83314 83314 82743 0 -1 4194304 7301 0 0 0 54 8 0 0 20 0 1 0 74045582 90546176 10311 18446744073709551615 4227072 8923433 140726012821536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27742208 140726012827986 140726012828200 140726012828200 140726012833770 0
/proc/83316/statm: 22106 10311 2400 1147 0 9533 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 92616 KiB
Current children cumulated memory: 44188 KiB
[startup+1.50039 s]
/proc/loadavg: 4.09 4.13 4.09 5/260 83316
/proc/meminfo: memFree=123282912/131382112 swapFree=33010416/33010684
[pid=83314] ppid=83311 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83314/stat : 83314 (run-opt-log.sh) S 83311 83314 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74045581 4292608 736 18446744073709551615 94365225156608 94365226051141 140735127503312 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365226290192 94365226337936 94365230358528 140735127505185 140735127505380 140735127505380 140735127510982 0
/proc/83314/statm: 1048 736 672 219 0 110 0
[pid=83316] ppid=83314 vsize=131576 memory=83256 CPUtime=1.42 cores=4,6
/proc/83316/stat : 83316 (roundingsat) R 83314 83314 82743 0 -1 4194304 16802 0 0 0 129 13 0 0 20 0 1 0 74045582 134733824 20814 18446744073709551615 4227072 8923433 140726012821536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27742208 140726012827986 140726012828200 140726012828200 140726012833770 0
/proc/83316/statm: 32894 20814 2400 1147 0 20321 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 135768 KiB
Current children cumulated memory: 86200 KiB
[startup+3.11322 s]
/proc/loadavg: 4.08 4.12 4.09 5/260 83331
/proc/meminfo: memFree=123177844/131382112 swapFree=33010416/33010684
[pid=83314] ppid=83311 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83314/stat : 83314 (run-opt-log.sh) S 83311 83314 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74045581 4292608 736 18446744073709551615 94365225156608 94365226051141 140735127503312 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365226290192 94365226337936 94365230358528 140735127505185 140735127505380 140735127505380 140735127510982 0
/proc/83314/statm: 1048 736 672 219 0 110 0
[pid=83316] ppid=83314 vsize=185780 memory=136376 CPUtime=3.03 cores=4,6
/proc/83316/stat : 83316 (roundingsat) R 83314 83314 82743 0 -1 4194304 27016 0 0 0 287 16 0 0 20 0 1 0 74045582 190238720 34094 18446744073709551615 4227072 8923433 140726012821536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27742208 140726012827986 140726012828200 140726012828200 140726012833770 0
/proc/83316/statm: 46445 34094 2400 1147 0 33872 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 189972 KiB
Current children cumulated memory: 139320 KiB
[startup+6.30037 s]
/proc/loadavg: 4.08 4.12 4.09 5/260 83331
/proc/meminfo: memFree=123061352/131382112 swapFree=33010416/33010684
[pid=83314] ppid=83311 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83314/stat : 83314 (run-opt-log.sh) S 83311 83314 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74045581 4292608 736 18446744073709551615 94365225156608 94365226051141 140735127503312 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365226290192 94365226337936 94365230358528 140735127505185 140735127505380 140735127505380 140735127510982 0
/proc/83314/statm: 1048 736 672 219 0 110 0
[pid=83316] ppid=83314 vsize=317524 memory=218280 CPUtime=6.2 cores=4,6
/proc/83316/stat : 83316 (roundingsat) R 83314 83314 82743 0 -1 4194304 42875 0 0 0 599 21 0 0 20 0 1 0 74045582 325144576 54570 18446744073709551615 4227072 8923433 140726012821536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27742208 140726012827986 140726012828200 140726012828200 140726012833770 0
/proc/83316/statm: 79381 54570 2400 1147 0 66808 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 321716 KiB
Current children cumulated memory: 221224 KiB
[startup+12.7004 s]
/proc/loadavg: 4.08 4.12 4.09 5/260 83331
/proc/meminfo: memFree=122987968/131382112 swapFree=33010416/33010684
[pid=83314] ppid=83311 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83314/stat : 83314 (run-opt-log.sh) S 83311 83314 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74045581 4292608 736 18446744073709551615 94365225156608 94365226051141 140735127503312 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365226290192 94365226337936 94365230358528 140735127505185 140735127505380 140735127505380 140735127510982 0
/proc/83314/statm: 1048 736 672 219 0 110 0
[pid=83316] ppid=83314 vsize=317956 memory=271372 CPUtime=12.59 cores=4,6
/proc/83316/stat : 83316 (roundingsat) R 83314 83314 82743 0 -1 4194304 49541 0 0 0 1231 28 0 0 20 0 1 0 74045582 325586944 67843 18446744073709551615 4227072 8923433 140726012821536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27742208 140726012827986 140726012828200 140726012828200 140726012833770 0
/proc/83316/statm: 79489 67843 2400 1147 0 66916 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 322148 KiB
Current children cumulated memory: 274316 KiB
[startup+25.5004 s]
/proc/loadavg: 4.06 4.11 4.09 5/260 83331
/proc/meminfo: memFree=122753876/131382112 swapFree=33010416/33010684
[pid=83314] ppid=83311 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83314/stat : 83314 (run-opt-log.sh) S 83311 83314 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74045581 4292608 736 18446744073709551615 94365225156608 94365226051141 140735127503312 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365226290192 94365226337936 94365230358528 140735127505185 140735127505380 140735127505380 140735127510982 0
/proc/83314/statm: 1048 736 672 219 0 110 0
[pid=83316] ppid=83314 vsize=523568 memory=428592 CPUtime=25.36 cores=4,6
/proc/83316/stat : 83316 (roundingsat) R 83314 83314 82743 0 -1 4194304 80161 0 0 0 2491 45 0 0 20 0 1 0 74045582 536133632 107148 18446744073709551615 4227072 8923433 140726012821536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27742208 140726012827986 140726012828200 140726012828200 140726012833770 0
/proc/83316/statm: 130892 107148 2400 1147 0 118319 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 527760 KiB
Current children cumulated memory: 431536 KiB
[startup+51.1134 s]
/proc/loadavg: 4.20 4.14 4.10 5/260 83331
/proc/meminfo: memFree=122557360/131382112 swapFree=33010416/33010684
[pid=83314] ppid=83311 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83314/stat : 83314 (run-opt-log.sh) S 83311 83314 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74045581 4292608 736 18446744073709551615 94365225156608 94365226051141 140735127503312 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365226290192 94365226337936 94365230358528 140735127505185 140735127505380 140735127505380 140735127510982 0
/proc/83314/statm: 1048 736 672 219 0 110 0
[pid=83316] ppid=83314 vsize=604956 memory=459852 CPUtime=50.9 cores=4,6
/proc/83316/stat : 83316 (roundingsat) R 83314 83314 82743 0 -1 4194304 83356 0 0 0 5018 72 0 0 20 0 1 0 74045582 619474944 114963 18446744073709551615 4227072 8923433 140726012821536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27742208 140726012827986 140726012828200 140726012828200 140726012833770 0
/proc/83316/statm: 151239 114963 2400 1147 0 138666 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 609148 KiB
Current children cumulated memory: 462796 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/260 83333
/proc/meminfo: memFree=122092840/131382112 swapFree=33010416/33010684
[pid=83314] ppid=83311 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83314/stat : 83314 (run-opt-log.sh) S 83311 83314 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74045581 4292608 736 18446744073709551615 94365225156608 94365226051141 140735127503312 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365226290192 94365226337936 94365230358528 140735127505185 140735127505380 140735127505380 140735127510982 0
/proc/83314/statm: 1048 736 672 219 0 110 0
[pid=83316] ppid=83314 vsize=605728 memory=519800 CPUtime=101.96 cores=4,6
/proc/83316/stat : 83316 (roundingsat) R 83314 83314 82743 0 -1 4194304 89173 0 0 0 10072 124 0 0 20 0 1 0 74045582 620265472 129950 18446744073709551615 4227072 8923433 140726012821536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27742208 140726012827986 140726012828200 140726012828200 140726012833770 0
/proc/83316/statm: 151432 129950 2400 1147 0 138859 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 609920 KiB
Current children cumulated memory: 522744 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/260 83335
/proc/meminfo: memFree=121385320/131382112 swapFree=33010416/33010684
[pid=83314] ppid=83311 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83314/stat : 83314 (run-opt-log.sh) S 83311 83314 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74045581 4292608 736 18446744073709551615 94365225156608 94365226051141 140735127503312 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365226290192 94365226337936 94365230358528 140735127505185 140735127505380 140735127505380 140735127510982 0
/proc/83314/statm: 1048 736 672 219 0 110 0
[pid=83316] ppid=83314 vsize=908612 memory=738484 CPUtime=161.79 cores=4,6
/proc/83316/stat : 83316 (roundingsat) R 83314 83314 82743 0 -1 4194304 136256 0 0 0 15995 184 0 0 20 0 1 0 74045582 930418688 184621 18446744073709551615 4227072 8923433 140726012821536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27742208 140726012827986 140726012828200 140726012828200 140726012833770 0
/proc/83316/statm: 227153 184621 2400 1147 0 214580 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 912804 KiB
Current children cumulated memory: 741428 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/260 83339
/proc/meminfo: memFree=120936404/131382112 swapFree=33010416/33010684
[pid=83314] ppid=83311 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83314/stat : 83314 (run-opt-log.sh) S 83311 83314 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74045581 4292608 736 18446744073709551615 94365225156608 94365226051141 140735127503312 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365226290192 94365226337936 94365230358528 140735127505185 140735127505380 140735127505380 140735127510982 0
/proc/83314/statm: 1048 736 672 219 0 110 0
[pid=83316] ppid=83314 vsize=1046152 memory=818656 CPUtime=221.64 cores=4,6
/proc/83316/stat : 83316 (roundingsat) R 83314 83314 82743 0 -1 4194304 147084 0 0 0 21922 242 0 0 20 0 1 0 74045582 1071259648 204664 18446744073709551615 4227072 8923433 140726012821536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27742208 140726012827986 140726012828200 140726012828200 140726012833770 0
/proc/83316/statm: 261538 204664 2400 1147 0 248965 0
################
# More data... #
################
/proc/83314/stat : 83314 (run-opt-log.sh) S 83311 83314 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74045581 4292608 736 18446744073709551615 94365225156608 94365226051141 140735127503312 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365226290192 94365226337936 94365230358528 140735127505185 140735127505380 140735127505380 140735127510982 0
/proc/83314/statm: 1048 736 672 219 0 110 0
[pid=83316] ppid=83314 vsize=1915724 memory=1596112 CPUtime=3153.82 cores=4,6
/proc/83316/stat : 83316 (roundingsat) R 83314 83314 82743 0 -1 4194304 274044 0 0 0 312639 2743 0 0 20 0 1 0 74045582 1961701376 399028 18446744073709551615 4227072 8923433 140726012821536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27742208 140726012827986 140726012828200 140726012828200 140726012833770 0
/proc/83316/statm: 478931 399028 2400 1147 0 466358 0
Current children cumulated CPU time: 3153.82 s
Current children cumulated vsize: 1919916 KiB
Current children cumulated memory: 1599056 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.11 4.11 5/258 83490
/proc/meminfo: memFree=103316140/131382112 swapFree=33010416/33010684
[pid=83314] ppid=83311 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83314/stat : 83314 (run-opt-log.sh) S 83311 83314 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74045581 4292608 736 18446744073709551615 94365225156608 94365226051141 140735127503312 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365226290192 94365226337936 94365230358528 140735127505185 140735127505380 140735127505380 140735127510982 0
/proc/83314/statm: 1048 736 672 219 0 110 0
[pid=83316] ppid=83314 vsize=1915724 memory=1596112 CPUtime=3213.67 cores=4,6
/proc/83316/stat : 83316 (roundingsat) R 83314 83314 82743 0 -1 4194304 274044 0 0 0 318579 2788 0 0 20 0 1 0 74045582 1961701376 399028 18446744073709551615 4227072 8923433 140726012821536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27742208 140726012827986 140726012828200 140726012828200 140726012833770 0
/proc/83316/statm: 478931 399028 2400 1147 0 466358 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 1919916 KiB
Current children cumulated memory: 1599056 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.10 5/259 83493
/proc/meminfo: memFree=103004520/131382112 swapFree=33010416/33010684
[pid=83314] ppid=83311 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83314/stat : 83314 (run-opt-log.sh) S 83311 83314 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74045581 4292608 736 18446744073709551615 94365225156608 94365226051141 140735127503312 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365226290192 94365226337936 94365230358528 140735127505185 140735127505380 140735127505380 140735127510982 0
/proc/83314/statm: 1048 736 672 219 0 110 0
[pid=83316] ppid=83314 vsize=1915724 memory=1596112 CPUtime=3273.51 cores=4,6
/proc/83316/stat : 83316 (roundingsat) R 83314 83314 82743 0 -1 4194304 274062 0 0 0 324520 2831 0 0 20 0 1 0 74045582 1961701376 399028 18446744073709551615 4227072 8923433 140726012821536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27742208 140726012827986 140726012828200 140726012828200 140726012833770 0
/proc/83316/statm: 478931 399028 2400 1147 0 466358 0
Current children cumulated CPU time: 3273.51 s
Current children cumulated vsize: 1919916 KiB
Current children cumulated memory: 1599056 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/259 83495
/proc/meminfo: memFree=102644100/131382112 swapFree=33010416/33010684
[pid=83314] ppid=83311 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83314/stat : 83314 (run-opt-log.sh) S 83311 83314 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74045581 4292608 736 18446744073709551615 94365225156608 94365226051141 140735127503312 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365226290192 94365226337936 94365230358528 140735127505185 140735127505380 140735127505380 140735127510982 0
/proc/83314/statm: 1048 736 672 219 0 110 0
[pid=83316] ppid=83314 vsize=1915724 memory=1596112 CPUtime=3333.35 cores=4,6
/proc/83316/stat : 83316 (roundingsat) R 83314 83314 82743 0 -1 4194304 274168 0 0 0 330457 2878 0 0 20 0 1 0 74045582 1961701376 399028 18446744073709551615 4227072 8923433 140726012821536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27742208 140726012827986 140726012828200 140726012828200 140726012833770 0
/proc/83316/statm: 478931 399028 2400 1147 0 466358 0
Current children cumulated CPU time: 3333.35 s
Current children cumulated vsize: 1919916 KiB
Current children cumulated memory: 1599056 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/260 83504
/proc/meminfo: memFree=102362596/131382112 swapFree=33010416/33010684
[pid=83314] ppid=83311 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83314/stat : 83314 (run-opt-log.sh) S 83311 83314 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74045581 4292608 736 18446744073709551615 94365225156608 94365226051141 140735127503312 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365226290192 94365226337936 94365230358528 140735127505185 140735127505380 140735127505380 140735127510982 0
/proc/83314/statm: 1048 736 672 219 0 110 0
[pid=83316] ppid=83314 vsize=1915724 memory=1596240 CPUtime=3393.19 cores=4,6
/proc/83316/stat : 83316 (roundingsat) R 83314 83314 82743 0 -1 4194304 274201 0 0 0 336395 2924 0 0 20 0 1 0 74045582 1961701376 399060 18446744073709551615 4227072 8923433 140726012821536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27742208 140726012827986 140726012828200 140726012828200 140726012833770 0
/proc/83316/statm: 478931 399060 2400 1147 0 466358 0
Current children cumulated CPU time: 3393.19 s
Current children cumulated vsize: 1919916 KiB
Current children cumulated memory: 1599184 KiB
[startup+3462.3 s]
/proc/loadavg: 4.74 4.27 4.15 5/260 83506
/proc/meminfo: memFree=102061476/131382112 swapFree=33010416/33010684
[pid=83314] ppid=83311 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83314/stat : 83314 (run-opt-log.sh) S 83311 83314 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74045581 4292608 736 18446744073709551615 94365225156608 94365226051141 140735127503312 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365226290192 94365226337936 94365230358528 140735127505185 140735127505380 140735127505380 140735127510982 0
/proc/83314/statm: 1048 736 672 219 0 110 0
[pid=83316] ppid=83314 vsize=1915724 memory=1596240 CPUtime=3453.03 cores=4,6
/proc/83316/stat : 83316 (roundingsat) R 83314 83314 82743 0 -1 4194304 274201 0 0 0 342329 2974 0 0 20 0 1 0 74045582 1961701376 399060 18446744073709551615 4227072 8923433 140726012821536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27742208 140726012827986 140726012828200 140726012828200 140726012833770 0
/proc/83316/statm: 478931 399060 2400 1147 0 466358 0
Current children cumulated CPU time: 3453.03 s
Current children cumulated vsize: 1919916 KiB
Current children cumulated memory: 1599184 KiB
[startup+3522.3 s]
/proc/loadavg: 4.35 4.25 4.16 5/261 83694
/proc/meminfo: memFree=112595744/131382112 swapFree=33010416/33010684
[pid=83314] ppid=83311 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83314/stat : 83314 (run-opt-log.sh) S 83311 83314 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74045581 4292608 736 18446744073709551615 94365225156608 94365226051141 140735127503312 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365226290192 94365226337936 94365230358528 140735127505185 140735127505380 140735127505380 140735127510982 0
/proc/83314/statm: 1048 736 672 219 0 110 0
[pid=83316] ppid=83314 vsize=1915724 memory=1596368 CPUtime=3512.84 cores=4,6
/proc/83316/stat : 83316 (roundingsat) R 83314 83314 82743 0 -1 4194304 274278 0 0 0 348264 3020 0 0 20 0 1 0 74045582 1961701376 399092 18446744073709551615 4227072 8923433 140726012821536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27742208 140726012827986 140726012828200 140726012828200 140726012833770 0
/proc/83316/statm: 478931 399092 2400 1147 0 466358 0
Current children cumulated CPU time: 3512.84 s
Current children cumulated vsize: 1919916 KiB
Current children cumulated memory: 1599312 KiB
[startup+3582.3 s]
/proc/loadavg: 4.25 4.23 4.16 5/261 83696
/proc/meminfo: memFree=111626496/131382112 swapFree=33010416/33010684
[pid=83314] ppid=83311 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83314/stat : 83314 (run-opt-log.sh) S 83311 83314 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74045581 4292608 736 18446744073709551615 94365225156608 94365226051141 140735127503312 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365226290192 94365226337936 94365230358528 140735127505185 140735127505380 140735127505380 140735127510982 0
/proc/83314/statm: 1048 736 672 219 0 110 0
[pid=83316] ppid=83314 vsize=1915724 memory=1596368 CPUtime=3572.66 cores=4,6
/proc/83316/stat : 83316 (roundingsat) R 83314 83314 82743 0 -1 4194304 274339 0 0 0 354197 3069 0 0 20 0 1 0 74045582 1961701376 399092 18446744073709551615 4227072 8923433 140726012821536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27742208 140726012827986 140726012828200 140726012828200 140726012833770 0
/proc/83316/statm: 478931 399092 2400 1147 0 466358 0
Current children cumulated CPU time: 3572.66 s
Current children cumulated vsize: 1919916 KiB
Current children cumulated memory: 1599312 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.20 4.23 4.16 5/261 83712
/proc/meminfo: memFree=111419724/131382112 swapFree=33010416/33010684
[pid=83314] ppid=83311 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/83314/stat : 83314 (run-opt-log.sh) S 83311 83314 82743 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74045581 4292608 736 18446744073709551615 94365225156608 94365226051141 140735127503312 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94365226290192 94365226337936 94365230358528 140735127505185 140735127505380 140735127505380 140735127510982 0
/proc/83314/statm: 1048 736 672 219 0 110 0
[pid=83316] ppid=83314 vsize=1915724 memory=1596368 CPUtime=3600.07 cores=4,6
/proc/83316/stat : 83316 (roundingsat) R 83314 83314 82743 0 -1 4194304 274360 0 0 0 356910 3097 0 0 20 0 1 0 74045582 1961701376 399092 18446744073709551615 4227072 8923433 140726012821536 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27742208 140726012827986 140726012828200 140726012828200 140726012833770 0
/proc/83316/statm: 478931 399092 2400 1147 0 466358 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1919916 KiB
Current children cumulated memory: 1599312 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.81 s]
# the end of solver process 83314 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000815 s, system=0.004215 s
[startup+3610.26 s]
# the end of solver process 83316 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3569.12 s, system=31.0275 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.01 s]*
/proc/loadavg: 4.20 4.23 4.16 6/260 83712
/proc/meminfo: memFree=111417620/131382112 swapFree=33010416/33010684
[pid=83316] ppid=83311 vsize=1915724 memory=1596752 CPUtime=3600.08 cores=4,6
/proc/83316/stat : 83316 (roundingsat) D 83311 83314 82743 0 -1 4194304 274366 0 0 0 356911 3097 0 0 20 0 1 0 74045582 1961701376 399188 18446744073709551615 4227072 8923433 140726012821536 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 27742208 140726012827986 140726012828200 140726012828200 140726012833770 0
/proc/83316/statm: 478931 399188 2496 1147 0 466358 0
Current cumulated CPU time of completed processes: 0.00503 s
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1915724 KiB
Current children cumulated memory: 1596752 KiB
[startup+3610.2 s]
/proc/loadavg: 4.20 4.23 4.16 6/260 83712
/proc/meminfo: memFree=111417620/131382112 swapFree=33010416/33010684
[pid=83316] ppid=83311 vsize=1915724 memory=1596752 CPUtime=3600.08 cores=4,6
/proc/83316/stat : 83316 (roundingsat) D 83311 83314 82743 0 -1 4194304 274366 0 0 0 356911 3097 0 0 20 0 1 0 74045582 1961701376 399188 18446744073709551615 4227072 8923433 140726012821536 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 27742208 140726012827986 140726012828200 140726012828200 140726012833770 0
/proc/83316/statm: 478931 399188 2496 1147 0 466358 0
Current cumulated CPU time of completed processes: 0.00503 s
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1915724 KiB
Current children cumulated memory: 1596752 KiB
Child status: 2
Real time (s): 3610.26
CPU time (s): 3600.15
CPU user time (s): 3569.12
CPU system time (s): 31.0275
CPU usage (%): 99.7197
Max. virtual memory (cumulated for all children) (KiB): 1919916
Max. memory (cumulated for all children) (KiB): 1599312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.12
system time used= 31.0275
maximum resident set size= 1596752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274592
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19135712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1496
involuntary context switches= 4861
# summary of solver processes directly reported to runsolver:
# pid: 83314,83316
# total CPU time (s): 3600.15
# total CPU user time (s): 3569.12
# total CPU system time (s): 31.0275
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3011 second user time and 36.7033 second system time
The end
Begin job on nodeC012 at 2025-07-04 01:00:59
IDJOB=4521539
IDBENCH=178340
IDSOLVER=3351
FILE ID=nodeC012/4521539-1751583659
RUNJOBID= nodeC012-1751579896-82754
SLURM_JOB_ID= 9598818
Free space on /tmp= 431840 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_071.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521539-1751583659/watcher-4521539-1751583659 -o /tmp/evaluation-result-4521539-1751583659/solver-4521539-1751583659 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751579896-82754 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4521539-1751583659.opb PROOFDIR/proof-4521539-1751583659
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2dad4d4d97748033eacd0c8bb0bd5214
RANDOM SEED=1441897965
nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.061
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.324
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.415
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.830
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.155
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.272
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.308
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 123315432 kB
MemAvailable: 123850548 kB
Buffers: 2136 kB
Cached: 1335376 kB
SwapCached: 16 kB
Active: 6760612 kB
Inactive: 717108 kB
Active(anon): 6151244 kB
Inactive(anon): 6996 kB
Active(file): 609368 kB
Inactive(file): 710112 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 33100 kB
Writeback: 104 kB
AnonPages: 6143356 kB
Mapped: 116912 kB
Shmem: 17944 kB
KReclaimable: 110140 kB
Slab: 197564 kB
SReclaimable: 110140 kB
SUnreclaim: 87424 kB
KernelStack: 4144 kB
PageTables: 16688 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 7893196 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149512 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 489472 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: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431724 MiB
End job on nodeC012 at 2025-07-04 02:01:09