Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo.wcnf-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_KnotPipatsrisawat_random-net-120-1_network-7.net.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/KnotPipatsrisawat/random-net-120-1_network-7.net.wcnf
Job solver: /home/jplanes/evaluation/solvers/VascoManquinho/wbo.wcnf
c core #1
c Core size: 5	Core Weight: 1831	Total Weight: 1831
c core #2
c Core size: 7	Core Weight: 36	Total Weight: 1867
c core #3
c Core size: 5	Core Weight: 802	Total Weight: 2669
c core #4
c Core size: 9	Core Weight: 899	Total Weight: 3568
c core #5
c Core size: 3	Core Weight: 1115	Total Weight: 4683
c core #6
c Core size: 7	Core Weight: 406	Total Weight: 5089
c core #7
c Core size: 7	Core Weight: 313	Total Weight: 5402
c core #8
c Core size: 7	Core Weight: 396	Total Weight: 5798
c core #9
c Core size: 11	Core Weight: 275	Total Weight: 6073
c core #10
c Core size: 7	Core Weight: 192	Total Weight: 6265
c core #11
c Core size: 3	Core Weight: 535	Total Weight: 6800
c core #12
c Core size: 7	Core Weight: 466	Total Weight: 7266
c core #13
c Core size: 11	Core Weight: 285	Total Weight: 7551
c core #14
c Core size: 3	Core Weight: 606	Total Weight: 8157
c core #15
c Core size: 6	Core Weight: 513	Total Weight: 8670
c core #16
c Core size: 9	Core Weight: 287	Total Weight: 8957
c core #17
c Core size: 3	Core Weight: 1071	Total Weight: 10028
c core #18
c Core size: 5	Core Weight: 594	Total Weight: 10622
c core #19
c Core size: 7	Core Weight: 840	Total Weight: 11462
c core #20
c Core size: 11	Core Weight: 10	Total Weight: 11472
c core #21
c Core size: 4	Core Weight: 928	Total Weight: 12400
c core #22
c Core size: 7	Core Weight: 275	Total Weight: 12675
c core #23
c Core size: 10	Core Weight: 855	Total Weight: 13530
c core #24
c Core size: 3	Core Weight: 2	Total Weight: 13532
c core #25
c Core size: 5	Core Weight: 660	Total Weight: 14192
c core #26
c Core size: 4	Core Weight: 1630	Total Weight: 15822
c core #27
c Core size: 6	Core Weight: 1283	Total Weight: 17105
c core #28
c Core size: 9	Core Weight: 8	Total Weight: 17113
c core #29
c Core size: 5	Core Weight: 1057	Total Weight: 18170
c core #30
c Core size: 9	Core Weight: 1274	Total Weight: 19444
c core #31
c Core size: 11	Core Weight: 93	Total Weight: 19537
c core #32
c Core size: 3	Core Weight: 1530	Total Weight: 21067
c core #33
c Core size: 7	Core Weight: 72	Total Weight: 21139
c core #34
c Core size: 9	Core Weight: 67	Total Weight: 21206
c core #35
c Core size: 4	Core Weight: 1234	Total Weight: 22440
c core #36
c Core size: 6	Core Weight: 377	Total Weight: 22817
c core #37
c Core size: 5	Core Weight: 610	Total Weight: 23427
c core #38
c Core size: 3	Core Weight: 788	Total Weight: 24215
c core #39
c Core size: 6	Core Weight: 509	Total Weight: 24724
c core #40
c Core size: 10	Core Weight: 6	Total Weight: 24730
c core #41
c Core size: 5	Core Weight: 139	Total Weight: 24869
c core #42
c Core size: 9	Core Weight: 582	Total Weight: 25451
c core #43
c Core size: 3	Core Weight: 1491	Total Weight: 26942
c core #44
c Core size: 5	Core Weight: 281	Total Weight: 27223
c core #45
c Core size: 3	Core Weight: 538	Total Weight: 27761
c core #46
c Core size: 6	Core Weight: 86	Total Weight: 27847
c core #47
c Core size: 5	Core Weight: 1769	Total Weight: 29616
c core #48
c Core size: 9	Core Weight: 649	Total Weight: 30265
c core #49
c Core size: 3	Core Weight: 1731	Total Weight: 31996
c core #50
c Core size: 6	Core Weight: 363	Total Weight: 32359
c core #51
c Core size: 10	Core Weight: 364	Total Weight: 32723
c core #52
c Core size: 12	Core Weight: 83	Total Weight: 32806
c core #53
c Core size: 3	Core Weight: 1308	Total Weight: 34114
c core #54
c Core size: 7	Core Weight: 65	Total Weight: 34179
c core #55
c Core size: 9	Core Weight: 169	Total Weight: 34348
c core #56
c Core size: 3	Core Weight: 2346	Total Weight: 36694
c core #57
c Core size: 5	Core Weight: 17	Total Weight: 36711
c core #58
c Core size: 8	Core Weight: 590	Total Weight: 37301
c core #59
c Core size: 10	Core Weight: 41	Total Weight: 37342
c core #60
c Core size: 8	Core Weight: 188	Total Weight: 37530
c core #61
c Core size: 9	Core Weight: 41	Total Weight: 37571
c core #62
c Core size: 12	Core Weight: 196	Total Weight: 37767
c core #63
c Core size: 12	Core Weight: 6	Total Weight: 37773
c core #64
c Core size: 11	Core Weight: 328	Total Weight: 38101
c core #65
c Core size: 13	Core Weight: 575	Total Weight: 38676
c core #66
c Core size: 10	Core Weight: 718	Total Weight: 39394
c core #67
c Core size: 10	Core Weight: 814	Total Weight: 40208
c core #68
c Core size: 8	Core Weight: 246	Total Weight: 40454
c core #69
c Core size: 12	Core Weight: 323	Total Weight: 40777
c core #70
c Core size: 11	Core Weight: 169	Total Weight: 40946
c core #71
c Core size: 13	Core Weight: 226	Total Weight: 41172
c core #72
c Core size: 16	Core Weight: 109	Total Weight: 41281
c core #73
c Core size: 16	Core Weight: 197	Total Weight: 41478
c core #74
c Core size: 6	Core Weight: 632	Total Weight: 42110
c core #75
c Core size: 9	Core Weight: 329	Total Weight: 42439
c core #76
c Core size: 10	Core Weight: 988	Total Weight: 43427
c core #77
c Core size: 15	Core Weight: 1	Total Weight: 43428
c core #78
c Core size: 8	Core Weight: 480	Total Weight: 43908
c core #79
c Core size: 11	Core Weight: 683	Total Weight: 44591
c core #80
c Core size: 6	Core Weight: 320	Total Weight: 44911
c core #81
c Core size: 17	Core Weight: 266	Total Weight: 45177
c core #82
c Core size: 11	Core Weight: 497	Total Weight: 45674
c core #83
c Core size: 9	Core Weight: 137	Total Weight: 45811
c core #84
c Core size: 12	Core Weight: 227	Total Weight: 46038
c core #85
c Core size: 6	Core Weight: 734	Total Weight: 46772
c core #86
c Core size: 10	Core Weight: 83	Total Weight: 46855
c core #87
c Core size: 24	Core Weight: 81	Total Weight: 46936
c core #88
c Core size: 13	Core Weight: 196	Total Weight: 47132
c core #89
c Core size: 12	Core Weight: 291	Total Weight: 47423
c core #90
c Core size: 6	Core Weight: 294	Total Weight: 47717
c core #91
c Core size: 12	Core Weight: 503	Total Weight: 48220
c core #92
c Core size: 8	Core Weight: 221	Total Weight: 48441
c core #93
c Core size: 8	Core Weight: 41	Total Weight: 48482
c core #94
c Core size: 11	Core Weight: 151	Total Weight: 48633
c core #95
c Core size: 14	Core Weight: 139	Total Weight: 48772
c core #96
c Core size: 10	Core Weight: 558	Total Weight: 49330
c core #97
c Core size: 14	Core Weight: 184	Total Weight: 49514
c core #98
c Core size: 10	Core Weight: 195	Total Weight: 49709
c core #99
c Core size: 16	Core Weight: 35	Total Weight: 49744
c core #100
c Core size: 11	Core Weight: 445	Total Weight: 50189
c core #101
c Core size: 10	Core Weight: 807	Total Weight: 50996
c core #102
c Core size: 7	Core Weight: 188	Total Weight: 51184
c core #103
c Core size: 17	Core Weight: 466	Total Weight: 51650
c core #104
c Core size: 11	Core Weight: 73	Total Weight: 51723
c core #105
c Core size: 17	Core Weight: 115	Total Weight: 51838
c core #106
c Core size: 7	Core Weight: 487	Total Weight: 52325
c core #107
c Core size: 8	Core Weight: 2	Total Weight: 52327
c core #108
c Core size: 8	Core Weight: 487	Total Weight: 52814
c core #109
c Core size: 19	Core Weight: 35	Total Weight: 52849
c core #110
c Core size: 12	Core Weight: 76	Total Weight: 52925
c core #111
c Core size: 9	Core Weight: 497	Total Weight: 53422
c core #112
c Core size: 20	Core Weight: 96	Total Weight: 53518
c core #113
c Core size: 8	Core Weight: 312	Total Weight: 53830
c core #114
c Core size: 12	Core Weight: 42	Total Weight: 53872
c core #115
c Core size: 8	Core Weight: 150	Total Weight: 54022
c core #116
c Core size: 13	Core Weight: 2	Total Weight: 54024
c core #117
c Core size: 23	Core Weight: 64	Total Weight: 54088
c core #118
c Core size: 8	Core Weight: 99	Total Weight: 54187
c core #119
c Core size: 6	Core Weight: 356	Total Weight: 54543
c core #120
c Core size: 6	Core Weight: 200	Total Weight: 54743
c core #121
c Core size: 9	Core Weight: 359	Total Weight: 55102
c core #122
c Core size: 12	Core Weight: 132	Total Weight: 55234
c core #123
c Core size: 27	Core Weight: 145	Total Weight: 55379
c core #124
c Core size: 8	Core Weight: 135	Total Weight: 55514
c core #125
c Core size: 12	Core Weight: 20	Total Weight: 55534
c core #126
c Core size: 11	Core Weight: 781	Total Weight: 56315
c core #127
c Core size: 12	Core Weight: 340	Total Weight: 56655
c core #128
c Core size: 28	Core Weight: 118	Total Weight: 56773
c core #129
c Core size: 35	Core Weight: 28	Total Weight: 56801
c core #130
c Core size: 11	Core Weight: 72	Total Weight: 56873
c core #131
c Core size: 12	Core Weight: 752	Total Weight: 57625
c core #132
c Core size: 13	Core Weight: 590	Total Weight: 58215
c core #133
c Core size: 8	Core Weight: 478	Total Weight: 58693
c core #134
c Core size: 20	Core Weight: 146	Total Weight: 58839
c core #135
c Core size: 10	Core Weight: 605	Total Weight: 59444
c core #136
c Core size: 39	Core Weight: 60	Total Weight: 59504
c core #137
c Core size: 9	Core Weight: 569	Total Weight: 60073
c core #138
c Core size: 6	Core Weight: 401	Total Weight: 60474
c core #139
c Core size: 9	Core Weight: 10	Total Weight: 60484
c core #140
c Core size: 11	Core Weight: 409	Total Weight: 60893
c core #141
c Core size: 10	Core Weight: 1215	Total Weight: 62108
c core #142
c Core size: 10	Core Weight: 91	Total Weight: 62199
c core #143
c Core size: 13	Core Weight: 463	Total Weight: 62662
c core #144
c Core size: 13	Core Weight: 312	Total Weight: 62974
c core #145
c Core size: 10	Core Weight: 134	Total Weight: 63108
c core #146
c Core size: 10	Core Weight: 45	Total Weight: 63153
c core #147
c Core size: 9	Core Weight: 22	Total Weight: 63175
c core #148
c Core size: 18	Core Weight: 233	Total Weight: 63408
c core #149
c Core size: 10	Core Weight: 221	Total Weight: 63629
c core #150
c Core size: 11	Core Weight: 132	Total Weight: 63761
c core #151
c Core size: 17	Core Weight: 997	Total Weight: 64758
c core #152
c Core size: 12	Core Weight: 1042	Total Weight: 65800
c core #153
c Core size: 10	Core Weight: 855	Total Weight: 66655
c core #154
c Core size: 10	Core Weight: 1081	Total Weight: 67736
c core #155
c Core size: 13	Core Weight: 506	Total Weight: 68242
c core #156
c Core size: 15	Core Weight: 477	Total Weight: 68719
c core #157
c Core size: 8	Core Weight: 225	Total Weight: 68944
c core #158
c Core size: 19	Core Weight: 26	Total Weight: 68970
c core #159
c Core size: 19	Core Weight: 117	Total Weight: 69087
c core #160
c Core size: 12	Core Weight: 262	Total Weight: 69349
c core #161
c Core size: 11	Core Weight: 306	Total Weight: 69655
c core #162
c Core size: 17	Core Weight: 41	Total Weight: 69696
c core #163
c Core size: 16	Core Weight: 51	Total Weight: 69747
c core #164
c Core size: 12	Core Weight: 549	Total Weight: 70296
c core #165
c Core size: 17	Core Weight: 116	Total Weight: 70412
c core #166
c Core size: 14	Core Weight: 87	Total Weight: 70499
c core #167
c Core size: 15	Core Weight: 351	Total Weight: 70850
c core #168
c Core size: 10	Core Weight: 576	Total Weight: 71426
c core #169
c Core size: 10	Core Weight: 235	Total Weight: 71661
c core #170
c Core size: 15	Core Weight: 375	Total Weight: 72036
c core #171
c Core size: 12	Core Weight: 282	Total Weight: 72318
c core #172
c Core size: 11	Core Weight: 510	Total Weight: 72828
c core #173
c Core size: 12	Core Weight: 12	Total Weight: 72840
c core #174
c Core size: 10	Core Weight: 88	Total Weight: 72928
c core #175
c Core size: 15	Core Weight: 311	Total Weight: 73239
c core #176
c Core size: 14	Core Weight: 17	Total Weight: 73256
c core #177
c Core size: 10	Core Weight: 687	Total Weight: 73943
c core #178
c Core size: 12	Core Weight: 129	Total Weight: 74072
c core #179
c Core size: 14	Core Weight: 80	Total Weight: 74152
c core #180
c Core size: 19	Core Weight: 272	Total Weight: 74424
c core #181
c Core size: 11	Core Weight: 5	Total Weight: 74429
c core #182
c Core size: 13	Core Weight: 10	Total Weight: 74439
c core #183
c Core size: 15	Core Weight: 227	Total Weight: 74666
c core #184
c Core size: 24	Core Weight: 185	Total Weight: 74851
c core #185
c Core size: 17	Core Weight: 114	Total Weight: 74965
c core #186
c Core size: 19	Core Weight: 273	Total Weight: 75238
c core #187
c Core size: 15	Core Weight: 53	Total Weight: 75291
c core #188
c Core size: 22	Core Weight: 325	Total Weight: 75616
c core #189
c Core size: 10	Core Weight: 1201	Total Weight: 76817
c core #190
c Core size: 14	Core Weight: 1029	Total Weight: 77846
c core #191
c Core size: 14	Core Weight: 639	Total Weight: 78485
c core #192
c Core size: 14	Core Weight: 22	Total Weight: 78507
c core #193
c Core size: 23	Core Weight: 154	Total Weight: 78661
c core #194
c Core size: 16	Core Weight: 434	Total Weight: 79095
c core #195
c Core size: 26	Core Weight: 30	Total Weight: 79125
c core #196
c Core size: 17	Core Weight: 337	Total Weight: 79462
c core #197
c Core size: 14	Core Weight: 160	Total Weight: 79622
c core #198
c Core size: 9	Core Weight: 592	Total Weight: 80214
c core #199
c Core size: 20	Core Weight: 174	Total Weight: 80388
c core #200
c Core size: 18	Core Weight: 86	Total Weight: 80474
c core #201
c Core size: 8	Core Weight: 505	Total Weight: 80979
c core #202
c Core size: 19	Core Weight: 185	Total Weight: 81164
c core #203
c Core size: 18	Core Weight: 71	Total Weight: 81235
c core #204
c Core size: 10	Core Weight: 69	Total Weight: 81304
c core #205
c Core size: 16	Core Weight: 161	Total Weight: 81465
c core #206
c Core size: 18	Core Weight: 464	Total Weight: 81929
c core #207
c Core size: 18	Core Weight: 378	Total Weight: 82307
c core #208
c Core size: 12	Core Weight: 286	Total Weight: 82593
c core #209
c Core size: 23	Core Weight: 54	Total Weight: 82647
c core #210
c Core size: 10	Core Weight: 78	Total Weight: 82725
c core #211
c Core size: 40	Core Weight: 49	Total Weight: 82774
c core #212
c Core size: 10	Core Weight: 899	Total Weight: 83673
c core #213
c Core size: 13	Core Weight: 117	Total Weight: 83790
c core #214
c Core size: 13	Core Weight: 269	Total Weight: 84059
c core #215
c Core size: 15	Core Weight: 17	Total Weight: 84076
c core #216
c Core size: 8	Core Weight: 106	Total Weight: 84182
c core #217
c Core size: 10	Core Weight: 886	Total Weight: 85068
c core #218
c Core size: 19	Core Weight: 771	Total Weight: 85839
c core #219
c Core size: 10	Core Weight: 316	Total Weight: 86155
c core #220
c Core size: 19	Core Weight: 139	Total Weight: 86294
c core #221
c Core size: 25	Core Weight: 23	Total Weight: 86317
c core #222
c Core size: 13	Core Weight: 204	Total Weight: 86521
c core #223
c Core size: 10	Core Weight: 627	Total Weight: 87148
c core #224
c Core size: 8	Core Weight: 678	Total Weight: 87826
c core #225
c Core size: 15	Core Weight: 34	Total Weight: 87860
c core #226
c Core size: 24	Core Weight: 4	Total Weight: 87864
c core #227
c Core size: 14	Core Weight: 716	Total Weight: 88580
c core #228
c Core size: 14	Core Weight: 327	Total Weight: 88907
c core #229
c Core size: 18	Core Weight: 9	Total Weight: 88916
c core #230
c Core size: 23	Core Weight: 12	Total Weight: 88928
c core #231
c Core size: 20	Core Weight: 57	Total Weight: 88985
c core #232
c Core size: 23	Core Weight: 123	Total Weight: 89108
c core #233
c Core size: 21	Core Weight: 319	Total Weight: 89427
c core #234
c Core size: 16	Core Weight: 268	Total Weight: 89695
c core #235
c Core size: 11	Core Weight: 134	Total Weight: 89829
c core #236
c Core size: 13	Core Weight: 42	Total Weight: 89871
c core #237
c Core size: 11	Core Weight: 369	Total Weight: 90240
c core #238
c Core size: 11	Core Weight: 166	Total Weight: 90406
c core #239
c Core size: 19	Core Weight: 21	Total Weight: 90427
c core #240
c Core size: 16	Core Weight: 168	Total Weight: 90595
c core #241
c Core size: 13	Core Weight: 396	Total Weight: 90991
c core #242
c Core size: 13	Core Weight: 135	Total Weight: 91126
c core #243
c Core size: 14	Core Weight: 676	Total Weight: 91802
c core #244
c Core size: 10	Core Weight: 965	Total Weight: 92767
c core #245
c Core size: 23	Core Weight: 81	Total Weight: 92848
c core #246
c Core size: 15	Core Weight: 208	Total Weight: 93056
c core #247
c Core size: 12	Core Weight: 150	Total Weight: 93206
c core #248
c Core size: 12	Core Weight: 135	Total Weight: 93341
c core #249
c Core size: 13	Core Weight: 109	Total Weight: 93450
c core #250
c Core size: 20	Core Weight: 82	Total Weight: 93532
c core #251
c Core size: 17	Core Weight: 123	Total Weight: 93655
c core #252
c Core size: 20	Core Weight: 163	Total Weight: 93818
c core #253
c Core size: 14	Core Weight: 618	Total Weight: 94436
c core #254
c Core size: 15	Core Weight: 648	Total Weight: 95084
c core #255
c Core size: 33	Core Weight: 56	Total Weight: 95140
c core #256
c Core size: 17	Core Weight: 689	Total Weight: 95829
c core #257
c Core size: 26	Core Weight: 32	Total Weight: 95861
c core #258
c Core size: 17	Core Weight: 107	Total Weight: 95968
c core #259
c Core size: 17	Core Weight: 410	Total Weight: 96378
c core #260
c Core size: 29	Core Weight: 71	Total Weight: 96449
c core #261
c Core size: 14	Core Weight: 496	Total Weight: 96945
c core #262
c Core size: 28	Core Weight: 13	Total Weight: 96958
c core #263
c Core size: 19	Core Weight: 1109	Total Weight: 98067
c core #264
c Core size: 18	Core Weight: 184	Total Weight: 98251
c core #265
c Core size: 24	Core Weight: 90	Total Weight: 98341
c core #266
c Core size: 17	Core Weight: 219	Total Weight: 98560
c core #267
c Core size: 13	Core Weight: 244	Total Weight: 98804
c core #268
c Core size: 23	Core Weight: 32	Total Weight: 98836
c core #269
c Core size: 15	Core Weight: 258	Total Weight: 99094
c core #270
c Core size: 23	Core Weight: 14	Total Weight: 99108
c core #271
c Core size: 15	Core Weight: 220	Total Weight: 99328
c core #272
c Core size: 44	Core Weight: 12	Total Weight: 99340
c core #273
c Core size: 24	Core Weight: 111	Total Weight: 99451
c core #274
c Core size: 22	Core Weight: 295	Total Weight: 99746
c core #275
c Core size: 16	Core Weight: 293	Total Weight: 100039
c core #276
c Core size: 14	Core Weight: 711	Total Weight: 100750
c core #277
c Core size: 18	Core Weight: 233	Total Weight: 100983
c core #278
c Core size: 11	Core Weight: 475	Total Weight: 101458
c core #279
c Core size: 27	Core Weight: 123	Total Weight: 101581
c core #280
c Core size: 20	Core Weight: 419	Total Weight: 102000
c core #281
c Core size: 16	Core Weight: 231	Total Weight: 102231
c core #282
c Core size: 15	Core Weight: 144	Total Weight: 102375
c core #283
c Core size: 16	Core Weight: 196	Total Weight: 102571
c core #284
c Core size: 18	Core Weight: 66	Total Weight: 102637
c core #285
c Core size: 15	Core Weight: 59	Total Weight: 102696
c core #286
c Core size: 26	Core Weight: 123	Total Weight: 102819
c core #287
c Core size: 49	Core Weight: 17	Total Weight: 102836
c core #288
c Core size: 22	Core Weight: 75	Total Weight: 102911
c core #289
c Core size: 43	Core Weight: 56	Total Weight: 102967
c core #290
c Core size: 19	Core Weight: 182	Total Weight: 103149
c core #291
c Core size: 60	Core Weight: 66	Total Weight: 103215
c core #292
c Core size: 60	Core Weight: 28	Total Weight: 103243
c core #293
c Core size: 69	Core Weight: 8	Total Weight: 103251
c core #294
c Core size: 67	Core Weight: 9	Total Weight: 103260
c core #295
c Core size: 33	Core Weight: 30	Total Weight: 103290
c core #296
c Core size: 25	Core Weight: 75	Total Weight: 103365
c core #297
c Core size: 27	Core Weight: 118	Total Weight: 103483
c core #298
c Core size: 32	Core Weight: 105	Total Weight: 103588
c core #299
c Core size: 14	Core Weight: 818	Total Weight: 104406
c core #300
c Core size: 46	Core Weight: 71	Total Weight: 104477
c core #301
c Core size: 14	Core Weight: 594	Total Weight: 105071
c core #302
c Core size: 19	Core Weight: 60	Total Weight: 105131
c core #303
c Core size: 19	Core Weight: 284	Total Weight: 105415
c core #304
c Core size: 27	Core Weight: 56	Total Weight: 105471
c core #305
c Core size: 30	Core Weight: 186	Total Weight: 105657
c core #306
c Core size: 20	Core Weight: 815	Total Weight: 106472
c core #307
c Core size: 21	Core Weight: 42	Total Weight: 106514
c core #308
c Core size: 20	Core Weight: 240	Total Weight: 106754
c core #309
c Core size: 18	Core Weight: 328	Total Weight: 107082
c core #310
c Core size: 18	Core Weight: 431	Total Weight: 107513
c core #311
c Core size: 28	Core Weight: 185	Total Weight: 107698
c core #312
c Core size: 42	Core Weight: 32	Total Weight: 107730
c core #313
c Core size: 18	Core Weight: 146	Total Weight: 107876
c core #314
c Core size: 35	Core Weight: 38	Total Weight: 107914
c core #315
c Core size: 17	Core Weight: 280	Total Weight: 108194
c core #316
c Core size: 14	Core Weight: 80	Total Weight: 108274
c core #317
c Core size: 17	Core Weight: 201	Total Weight: 108475
c core #318
c Core size: 17	Core Weight: 398	Total Weight: 108873
c core #319
c Core size: 23	Core Weight: 168	Total Weight: 109041
c core #320
c Core size: 20	Core Weight: 71	Total Weight: 109112
c core #321
c Core size: 96	Core Weight: 19	Total Weight: 109131
c core #322
c Core size: 17	Core Weight: 13	Total Weight: 109144
c core #323
c Core size: 17	Core Weight: 55	Total Weight: 109199
c core #324
c Core size: 20	Core Weight: 78	Total Weight: 109277
c #cores: 324
c Final Weight: 109277
o 109277
s OPTIMUM FOUND
v 1 -2 -3 -4 -5 6 -7 8 9 -10 -11 -12 -13 14 -15 -16 17 -18 19 -20 21 -22 -23 -24 25 -26 -27 -28 29 -30 31 -32 33 -34 -35 -36 37 -38 39 -40 -41 42 -43 -44 -45 -46 47 -48 -49 50 -51 52 53 -54 -55 -56 -57 58 59 -60 61 -62 -63 -64 65 -66 -67 -68 69 -70 -71 72 73 -74 -75 76 -77 -78 79 -80 -81 82 -83 -84 -85 -86 87 88 -89 -90 91 -92 93 -94 -95 96 -97 -98 -99 100 -101 102 -103 104 -105 -106 -107 -108 -109 110 -111 -112 113 114 -115 116 -117 -118 119 -120 121 -122 -123 -124 -125 -126 127 -128 -129 -130 131 -132 -133 -134 135 -136 137 138 -139 -140 141 -142 143 -144 -145 -146 -147 148 -149 -150 151 152 -153 -154 -155 156 157 -158 -159 -160 -161 -162 163 164 -165 -166 -167 -168 169 -170 171 -172 -173 -174 -175 176 -177 -178 179 -180 -181 -182 183 -184 -185 -186 187 188 -189 190 -191 -192 193 -194 -195 -196 197 -198 -199 -200 201 202 -203 -204 -205 206 -207 -208 209 -210 211 -212 -213 214 -215 -216 217 -218 -219 220 221 -222 -223 -224 225 -226 227 -228 -229 230 -231 -232 -233 234 -235 -236 -237 238 -239 -240 -241 242 243 -244 -245 -246 247 -248 -249 250 -251 -252 -253 -254 255 -256 257 258 -259 -260 -261 -262 263 -264 265 -266 -267 -268 269 -270 -271 272 -273 -274 -275 276 -277 -278 -279 280 281 -282 -283 284 285 -286 -287 -288 289 -290 291 -292 293 -294 295 -296
1.585u 0.226s 0:01.92 93.7%	0+0k 0+0io 0pf+0w