Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo1.6-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_min-enc_planning_zenotravel04cc.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/planning/zenotravel04cc.wcsp.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 26	Core Weight: 41	Total Weight: 41
c Current CPU time: 0.067989 s
c
c core #2
c 
c 
c Core size: 26	Core Weight: 1	Total Weight: 42
c Current CPU time: 0.088986 s
c
c core #3
c 
c 
c Core size: 28	Core Weight: 1	Total Weight: 43
c Current CPU time: 0.109983 s
c
c core #4
c 
c 
c Core size: 28	Core Weight: 17	Total Weight: 60
c Current CPU time: 0.12998 s
c
c core #5
c 
c 
c Core size: 28	Core Weight: 6	Total Weight: 66
c Current CPU time: 0.150977 s
c
c core #6
c 
c 
c Core size: 28	Core Weight: 11	Total Weight: 77
c Current CPU time: 0.170974 s
c
c core #7
c 
c 
c Core size: 28	Core Weight: 23	Total Weight: 100
c Current CPU time: 0.19097 s
c
c core #8
c 
c 
c Core size: 28	Core Weight: 6	Total Weight: 106
c Current CPU time: 0.210967 s
c
c core #9
c 
c 
c Core size: 15	Core Weight: 12	Total Weight: 118
c Current CPU time: 0.231964 s
c
c core #10
c 
c 
c Core size: 15	Core Weight: 43	Total Weight: 161
c Current CPU time: 0.251961 s
c
c core #11
c 
c 
c Core size: 15	Core Weight: 62	Total Weight: 223
c Current CPU time: 0.272958 s
c
c core #12
c 
c 
c Core size: 5	Core Weight: 26	Total Weight: 249
c Current CPU time: 0.293955 s
c
c core #13
c 
c 
c Core size: 33	Core Weight: 9	Total Weight: 258
c Current CPU time: 0.313952 s
c
c core #14
c 
c 
c Core size: 33	Core Weight: 4	Total Weight: 262
c Current CPU time: 0.334949 s
c
c core #15
c 
c 
c Core size: 14	Core Weight: 12	Total Weight: 274
c Current CPU time: 0.355945 s
c
c core #16
c 
c 
c Core size: 33	Core Weight: 4	Total Weight: 278
c Current CPU time: 0.375942 s
c
c core #17
c 
c 
c Core size: 33	Core Weight: 1	Total Weight: 279
c Current CPU time: 0.396939 s
c
c core #18
c 
c 
c Core size: 33	Core Weight: 7	Total Weight: 286
c Current CPU time: 0.418936 s
c
c core #19
c 
c 
c Core size: 33	Core Weight: 12	Total Weight: 298
c Current CPU time: 0.439933 s
c
c core #20
c 
c 
c Core size: 33	Core Weight: 15	Total Weight: 313
c Current CPU time: 0.460929 s
c
c core #21
c 
c 
c Core size: 33	Core Weight: 5	Total Weight: 318
c Current CPU time: 0.481926 s
c
c core #22
c 
c 
c Core size: 33	Core Weight: 16	Total Weight: 334
c Current CPU time: 0.503923 s
c
c core #23
c 
c 
c Core size: 33	Core Weight: 17	Total Weight: 351
c Current CPU time: 0.52492 s
c
c core #24
c 
c 
c Core size: 33	Core Weight: 11	Total Weight: 362
c Current CPU time: 0.545917 s
c
c core #25
c 
c 
c Core size: 33	Core Weight: 31	Total Weight: 393
c Current CPU time: 0.567913 s
c
c core #26
c 
c 
c Core size: 33	Core Weight: 1	Total Weight: 394
c Current CPU time: 0.58891 s
c
c core #27
c 
c 
c Core size: 16	Core Weight: 121	Total Weight: 515
c Current CPU time: 0.610907 s
c
c core #28
c 
c 
c Core size: 19	Core Weight: 117	Total Weight: 632
c Current CPU time: 0.631903 s
c
c core #29
c 
c 
c Core size: 38	Core Weight: 14	Total Weight: 646
c Current CPU time: 0.6539 s
c
c core #30
c 
c 
c Core size: 38	Core Weight: 4	Total Weight: 650
c Current CPU time: 0.674897 s
c
c core #31
c 
c 
c Core size: 23	Core Weight: 12	Total Weight: 662
c Current CPU time: 0.697893 s
c
c core #32
c 
c 
c Core size: 24	Core Weight: 28	Total Weight: 690
c Current CPU time: 0.71989 s
c
c core #33
c 
c 
c Core size: 35	Core Weight: 3	Total Weight: 693
c Current CPU time: 0.741887 s
c
c core #34
c 
c 
c Core size: 35	Core Weight: 79	Total Weight: 772
c Current CPU time: 0.763883 s
c
c core #35
c 
c 
c Core size: 36	Core Weight: 7	Total Weight: 779
c Current CPU time: 0.78588 s
c
c core #36
c 
c 
c Core size: 23	Core Weight: 39	Total Weight: 818
c Current CPU time: 0.807877 s
c
c core #37
c 
c 
c Core size: 24	Core Weight: 64	Total Weight: 882
c Current CPU time: 0.830873 s
c
c core #38
c 
c 
c Core size: 118	Core Weight: 47	Total Weight: 929
c Current CPU time: 0.85287 s
c
c core #39
c 
c 
c Core size: 136	Core Weight: 43	Total Weight: 972
c Current CPU time: 0.875866 s
c
c core #40
c 
c 
c Core size: 166	Core Weight: 19	Total Weight: 991
c Current CPU time: 0.898863 s
c
c core #41
c 
c 
c Core size: 175	Core Weight: 3	Total Weight: 994
c Current CPU time: 0.921859 s
c
c core #42
c 
c 
c Core size: 67	Core Weight: 2	Total Weight: 996
c Current CPU time: 0.944856 s
c
c core #43
c 
c 
c Core size: 90	Core Weight: 9	Total Weight: 1005
c Current CPU time: 0.968852 s
c
c core #44
c 
c 
c Core size: 90	Core Weight: 2	Total Weight: 1007
c Current CPU time: 0.991849 s
c
c core #45
c 
c 
c Core size: 105	Core Weight: 1	Total Weight: 1008
c Current CPU time: 1.01585 s
c
c core #46
c 
c 
c Core size: 105	Core Weight: 1	Total Weight: 1009
c Current CPU time: 1.04084 s
c
c core #47
c 
c 
c Core size: 105	Core Weight: 1	Total Weight: 1010
c Current CPU time: 1.06584 s
c
c core #48
c 
c 
c Core size: 47	Core Weight: 6	Total Weight: 1016
c Current CPU time: 1.08783 s
c
c core #49
c 
c 
c Core size: 21	Core Weight: 4	Total Weight: 1020
c Current CPU time: 1.11083 s
c
c core #50
c 
c 
c Core size: 20	Core Weight: 5	Total Weight: 1025
c Current CPU time: 1.13583 s
c
c core #51
c 
c 
c Core size: 19	Core Weight: 16	Total Weight: 1041
c Current CPU time: 1.16082 s
c
c core #52
c 
c 
c Core size: 18	Core Weight: 5	Total Weight: 1046
c Current CPU time: 1.18582 s
c
c core #53
c 
c 
c Core size: 14	Core Weight: 7	Total Weight: 1053
c Current CPU time: 1.21081 s
c
c core #54
c 
c 
c Core size: 14	Core Weight: 34	Total Weight: 1087
c Current CPU time: 1.23581 s
c
c core #55
c 
c 
c Core size: 31	Core Weight: 6	Total Weight: 1093
c Current CPU time: 1.26181 s
c
c core #56
c 
c 
c Core size: 32	Core Weight: 1	Total Weight: 1094
c Current CPU time: 1.2868 s
c
c core #57
c 
c 
c Core size: 32	Core Weight: 17	Total Weight: 1111
c Current CPU time: 1.3118 s
c
c core #58
c 
c 
c Core size: 32	Core Weight: 4	Total Weight: 1115
c Current CPU time: 1.3378 s
c
c core #59
c 
c 
c Core size: 106	Core Weight: 2	Total Weight: 1117
c Current CPU time: 1.36379 s
c
c core #60
c 
c 
c Core size: 106	Core Weight: 4	Total Weight: 1121
c Current CPU time: 1.38979 s
c
c core #61
c 
c 
c Core size: 110	Core Weight: 5	Total Weight: 1126
c Current CPU time: 1.41478 s
c
c core #62
c 
c 
c Core size: 125	Core Weight: 2	Total Weight: 1128
c Current CPU time: 1.44278 s
c
c core #63
c 
c 
c Core size: 108	Core Weight: 3	Total Weight: 1131
c Current CPU time: 1.46978 s
c
c core #64
c 
c 
c Core size: 108	Core Weight: 4	Total Weight: 1135
c Current CPU time: 1.49677 s
c
c core #65
c 
c 
c Core size: 107	Core Weight: 2	Total Weight: 1137
c Current CPU time: 1.52377 s
c
c core #66
c 
c 
c Core size: 108	Core Weight: 7	Total Weight: 1144
c Current CPU time: 1.55176 s
c
c core #67
c 
c 
c Core size: 108	Core Weight: 2	Total Weight: 1146
c Current CPU time: 1.57876 s
c
c core #68
c 
c 
c Core size: 108	Core Weight: 20	Total Weight: 1166
c Current CPU time: 1.60576 s
c
c core #69
c 
c 
c Core size: 72	Core Weight: 11	Total Weight: 1177
c Current CPU time: 1.63375 s
c
c core #70
c 
c 
c Core size: 26	Core Weight: 4	Total Weight: 1181
c Current CPU time: 1.66175 s
c
c core #71
c 
c 
c Core size: 27	Core Weight: 8	Total Weight: 1189
c Current CPU time: 1.68774 s
c
c core #72
c 
c 
c Core size: 27	Core Weight: 1	Total Weight: 1190
c Current CPU time: 1.71574 s
c
c core #73
c 
c 
c Core size: 27	Core Weight: 20	Total Weight: 1210
c Current CPU time: 1.74174 s
c
c core #74
c 
c 
c Core size: 27	Core Weight: 7	Total Weight: 1217
c Current CPU time: 1.76973 s
c
c core #75
c 
c 
c Core size: 20	Core Weight: 3	Total Weight: 1220
c Current CPU time: 1.79773 s
c
c core #76
c 
c 
c Core size: 21	Core Weight: 12	Total Weight: 1232
c Current CPU time: 1.82572 s
c
c core #77
c 
c 
c Core size: 21	Core Weight: 4	Total Weight: 1236
c Current CPU time: 1.85372 s
c
c core #78
c 
c 
c Core size: 24	Core Weight: 24	Total Weight: 1260
c Current CPU time: 1.88071 s
c
c core #79
c 
c 
c Core size: 41	Core Weight: 4	Total Weight: 1264
c Current CPU time: 1.90871 s
c
c core #80
c 
c 
c Core size: 67	Core Weight: 5	Total Weight: 1269
c Current CPU time: 1.93771 s
c
c core #81
c 
c 
c Core size: 67	Core Weight: 2	Total Weight: 1271
c Current CPU time: 1.9667 s
c
c core #82
c 
c 
c Core size: 72	Core Weight: 1	Total Weight: 1272
c Current CPU time: 1.9947 s
c
c core #83
c 
c 
c Core size: 37	Core Weight: 1	Total Weight: 1273
c Current CPU time: 2.02369 s
c
c core #84
c 
c 
c Core size: 40	Core Weight: 1	Total Weight: 1274
c Current CPU time: 2.05269 s
c
c core #85
c 
c 
c Core size: 40	Core Weight: 6	Total Weight: 1280
c Current CPU time: 2.08168 s
c
c core #86
c 
c 
c Core size: 117	Core Weight: 1	Total Weight: 1281
c Current CPU time: 2.11068 s
c
c core #87
c 
c 
c Core size: 72	Core Weight: 1	Total Weight: 1282
c Current CPU time: 2.14067 s
c
c core #88
c 
c 
c Core size: 50	Core Weight: 3	Total Weight: 1285
c Current CPU time: 2.16967 s
c
c core #89
c 
c 
c Core size: 79	Core Weight: 1	Total Weight: 1286
c Current CPU time: 2.19966 s
c
c core #90
c 
c 
c Core size: 78	Core Weight: 2	Total Weight: 1288
c Current CPU time: 2.23066 s
c
c core #91
c 
c 
c Core size: 72	Core Weight: 6	Total Weight: 1294
c Current CPU time: 2.26066 s
c
c core #92
c 
c 
c Core size: 153	Core Weight: 2	Total Weight: 1296
c Current CPU time: 2.29265 s
c
c core #93
c 
c 
c Core size: 152	Core Weight: 1	Total Weight: 1297
c Current CPU time: 2.32465 s
c
c core #94
c 
c 
c Core size: 150	Core Weight: 1	Total Weight: 1298
c Current CPU time: 2.35564 s
c
c core #95
c 
c 
c Core size: 147	Core Weight: 1	Total Weight: 1299
c Current CPU time: 2.38764 s
c
c core #96
c 
c 
c Core size: 82	Core Weight: 5	Total Weight: 1304
c Current CPU time: 2.42063 s
c
c core #97
c 
c 
c Core size: 123	Core Weight: 6	Total Weight: 1310
c Current CPU time: 2.45563 s
c
c core #98
c 
c 
c Core size: 130	Core Weight: 2	Total Weight: 1312
c Current CPU time: 2.48962 s
c
c core #99
c 
c 
c Core size: 27	Core Weight: 1	Total Weight: 1313
c Current CPU time: 2.52062 s
c
c core #100
c 
c 
c Core size: 27	Core Weight: 3	Total Weight: 1316
c Current CPU time: 2.55261 s
c
c core #101
c 
c 
c Core size: 121	Core Weight: 9	Total Weight: 1325
c Current CPU time: 2.58661 s
c
c core #102
c 
c 
c Core size: 92	Core Weight: 2	Total Weight: 1327
c Current CPU time: 2.6196 s
c
c core #103
c 
c 
c Core size: 47	Core Weight: 9	Total Weight: 1336
c Current CPU time: 2.6526 s
c
c core #104
c 
c 
c Core size: 61	Core Weight: 1	Total Weight: 1337
c Current CPU time: 2.68459 s
c
c core #105
c 
c 
c Core size: 61	Core Weight: 6	Total Weight: 1343
c Current CPU time: 2.71659 s
c
c core #106
c 
c 
c Core size: 61	Core Weight: 1	Total Weight: 1344
c Current CPU time: 2.74858 s
c
c core #107
c 
c 
c Core size: 57	Core Weight: 18	Total Weight: 1362
c Current CPU time: 2.78058 s
c
c core #108
c 
c 
c Core size: 55	Core Weight: 4	Total Weight: 1366
c Current CPU time: 2.81357 s
c
c core #109
c 
c 
c Core size: 61	Core Weight: 3	Total Weight: 1369
c Current CPU time: 2.84657 s
c
c core #110
c 
c 
c Core size: 62	Core Weight: 1	Total Weight: 1370
c Current CPU time: 2.88056 s
c
c core #111
c 
c 
c Core size: 62	Core Weight: 1	Total Weight: 1371
c Current CPU time: 2.91256 s
c
c core #112
c 
c 
c Core size: 101	Core Weight: 1	Total Weight: 1372
c Current CPU time: 2.94755 s
c
c core #113
c 
c 
c Core size: 62	Core Weight: 8	Total Weight: 1380
c Current CPU time: 2.98055 s
c
c core #114
c 
c 
c Core size: 52	Core Weight: 2	Total Weight: 1382
c Current CPU time: 3.01554 s
c
c core #115
c 
c 
c Core size: 51	Core Weight: 2	Total Weight: 1384
c Current CPU time: 3.04954 s
c
c core #116
c 
c 
c Core size: 64	Core Weight: 3	Total Weight: 1387
c Current CPU time: 3.08253 s
c
c core #117
c 
c 
c Core size: 62	Core Weight: 1	Total Weight: 1388
c Current CPU time: 3.11753 s
c
c core #118
c 
c 
c Core size: 64	Core Weight: 3	Total Weight: 1391
c Current CPU time: 3.15252 s
c
c core #119
c 
c 
c Core size: 63	Core Weight: 1	Total Weight: 1392
c Current CPU time: 3.18851 s
c
c core #120
c 
c 
c Core size: 63	Core Weight: 2	Total Weight: 1394
c Current CPU time: 3.22351 s
c
c core #121
c 
c 
c Core size: 63	Core Weight: 2	Total Weight: 1396
c Current CPU time: 3.2605 s
c
c core #122
c 
c 
c Core size: 63	Core Weight: 1	Total Weight: 1397
c Current CPU time: 3.2965 s
c
c core #123
c 
c 
c Core size: 63	Core Weight: 3	Total Weight: 1400
c Current CPU time: 3.33249 s
c
c core #124
c 
c 
c Core size: 63	Core Weight: 2	Total Weight: 1402
c Current CPU time: 3.36849 s
c
c core #125
c 
c 
c Core size: 63	Core Weight: 5	Total Weight: 1407
c Current CPU time: 3.40448 s
c
c core #126
c 
c 
c Core size: 58	Core Weight: 5	Total Weight: 1412
c Current CPU time: 3.44248 s
c
c core #127
c 
c 
c Core size: 56	Core Weight: 3	Total Weight: 1415
c Current CPU time: 3.47847 s
c
c core #128
c 
c 
c Core size: 54	Core Weight: 1	Total Weight: 1416
c Current CPU time: 3.51546 s
c
c core #129
c 
c 
c Core size: 57	Core Weight: 4	Total Weight: 1420
c Current CPU time: 3.55246 s
c
c core #130
c 
c 
c Core size: 57	Core Weight: 1	Total Weight: 1421
c Current CPU time: 3.59045 s
c
c core #131
c 
c 
c Core size: 59	Core Weight: 1	Total Weight: 1422
c Current CPU time: 3.62745 s
c
c core #132
c 
c 
c Core size: 59	Core Weight: 2	Total Weight: 1424
c Current CPU time: 3.66544 s
c
c core #133
c 
c 
c Core size: 53	Core Weight: 1	Total Weight: 1425
c Current CPU time: 3.70244 s
c
c core #134
c 
c 
c Core size: 49	Core Weight: 4	Total Weight: 1429
c Current CPU time: 3.73943 s
c
c core #135
c 
c 
c Core size: 49	Core Weight: 2	Total Weight: 1431
c Current CPU time: 3.77743 s
c
c core #136
c 
c 
c Core size: 49	Core Weight: 20	Total Weight: 1451
c Current CPU time: 3.81542 s
c
c core #137
c 
c 
c Core size: 49	Core Weight: 2	Total Weight: 1453
c Current CPU time: 3.85341 s
c
c core #138
c 
c 
c Core size: 47	Core Weight: 9	Total Weight: 1462
c Current CPU time: 3.89141 s
c
c core #139
c 
c 
c Core size: 50	Core Weight: 1	Total Weight: 1463
c Current CPU time: 3.9304 s
c
c core #140
c 
c 
c Core size: 59	Core Weight: 3	Total Weight: 1466
c Current CPU time: 3.9694 s
c
c core #141
c 
c 
c Core size: 67	Core Weight: 1	Total Weight: 1467
c Current CPU time: 4.00639 s
c
c core #142
c 
c 
c Core size: 65	Core Weight: 1	Total Weight: 1468
c Current CPU time: 4.04638 s
c
c core #143
c 
c 
c Core size: 65	Core Weight: 2	Total Weight: 1470
c Current CPU time: 4.08638 s
c
c core #144
c 
c 
c Core size: 63	Core Weight: 1	Total Weight: 1471
c Current CPU time: 4.12837 s
c
c core #145
c 
c 
c Core size: 81	Core Weight: 1	Total Weight: 1472
c Current CPU time: 4.16737 s
c
c core #146
c 
c 
c Core size: 57	Core Weight: 1	Total Weight: 1473
c Current CPU time: 4.20836 s
c
c core #147
c 
c 
c Core size: 49	Core Weight: 2	Total Weight: 1475
c Current CPU time: 4.24935 s
c
c core #148
c 
c 
c Core size: 55	Core Weight: 1	Total Weight: 1476
c Current CPU time: 4.29035 s
c
c core #149
c 
c 
c Core size: 53	Core Weight: 1	Total Weight: 1477
c Current CPU time: 4.33234 s
c
c core #150
c 
c 
c Core size: 52	Core Weight: 2	Total Weight: 1479
c Current CPU time: 4.37434 s
c
c core #151
c 
c 
c Core size: 89	Core Weight: 2	Total Weight: 1481
c Current CPU time: 4.41633 s
c
c core #152
c 
c 
c Core size: 93	Core Weight: 1	Total Weight: 1482
c Current CPU time: 4.45832 s
c
c core #153
c 
c 
c Core size: 130	Core Weight: 1	Total Weight: 1483
c Current CPU time: 4.50131 s
c
c core #154
c 
c 
c Core size: 65	Core Weight: 1	Total Weight: 1484
c Current CPU time: 4.54331 s
c
c core #155
c 
c 
c Core size: 66	Core Weight: 1	Total Weight: 1485
c Current CPU time: 4.5853 s
c
c core #156
c 
c 
c Core size: 76	Core Weight: 1	Total Weight: 1486
c Current CPU time: 4.6293 s
c
c core #157
c 
c 
c Core size: 40	Core Weight: 1	Total Weight: 1487
c Current CPU time: 4.67229 s
c
c core #158
c 
c 
c Core size: 64	Core Weight: 1	Total Weight: 1488
c Current CPU time: 4.71628 s
c
c core #159
c 
c 
c Core size: 106	Core Weight: 1	Total Weight: 1489
c Current CPU time: 4.76028 s
c
c core #160
c 
c 
c Core size: 113	Core Weight: 4	Total Weight: 1493
c Current CPU time: 4.80227 s
c
c core #161
c 
c 
c Core size: 125	Core Weight: 1	Total Weight: 1494
c Current CPU time: 4.84626 s
c
c core #162
c 
c 
c Core size: 136	Core Weight: 1	Total Weight: 1495
c Current CPU time: 4.89326 s
c
c core #163
c 
c 
c Core size: 51	Core Weight: 1	Total Weight: 1496
c Current CPU time: 4.94225 s
c
c core #164
c 
c 
c Core size: 57	Core Weight: 1	Total Weight: 1497
c Current CPU time: 4.98724 s
c
c core #165
c 
c 
c Core size: 65	Core Weight: 1	Total Weight: 1498
c Current CPU time: 5.03323 s
c
c core #166
c 
c 
c Core size: 70	Core Weight: 1	Total Weight: 1499
c Current CPU time: 5.07723 s
c
c core #167
c 
c 
c Core size: 61	Core Weight: 1	Total Weight: 1500
c Current CPU time: 5.12422 s
c
c core #168
c 
c 
c Core size: 49	Core Weight: 2	Total Weight: 1502
c Current CPU time: 5.17321 s
c
c core #169
c 
c 
c Core size: 43	Core Weight: 1	Total Weight: 1503
c Current CPU time: 5.21721 s
c
c core #170
c 
c 
c Core size: 62	Core Weight: 1	Total Weight: 1504
c Current CPU time: 5.2622 s
c
c core #171
c 
c 
c Core size: 106	Core Weight: 2	Total Weight: 1506
c Current CPU time: 5.30819 s
c
c core #172
c 
c 
c Core size: 55	Core Weight: 1	Total Weight: 1507
c Current CPU time: 5.36018 s
c
c core #173
c 
c 
c Core size: 76	Core Weight: 7	Total Weight: 1514
c Current CPU time: 5.40718 s
c
c core #174
c 
c 
c Core size: 55	Core Weight: 1	Total Weight: 1515
c Current CPU time: 5.45717 s
c
c core #175
c 
c 
c Core size: 70	Core Weight: 1	Total Weight: 1516
c Current CPU time: 5.50716 s
c
c core #176
c 
c 
c Core size: 68	Core Weight: 3	Total Weight: 1519
c Current CPU time: 5.55616 s
c
c core #177
c 
c 
c Core size: 68	Core Weight: 1	Total Weight: 1520
c Current CPU time: 5.60015 s
c
c core #178
c 
c 
c Core size: 53	Core Weight: 1	Total Weight: 1521
c Current CPU time: 5.65214 s
c
c core #179
c 
c 
c Core size: 54	Core Weight: 1	Total Weight: 1522
c Current CPU time: 5.70313 s
c
c core #180
c 
c 
c Core size: 49	Core Weight: 1	Total Weight: 1523
c Current CPU time: 5.75113 s
c
c core #181
c 
c 
c Core size: 53	Core Weight: 1	Total Weight: 1524
c Current CPU time: 5.80412 s
c
c core #182
c 
c 
c Core size: 78	Core Weight: 2	Total Weight: 1526
c Current CPU time: 5.85111 s
c
c core #183
c 
c 
c Core size: 40	Core Weight: 1	Total Weight: 1527
c Current CPU time: 5.9011 s
c
c core #184
c 
c 
c Core size: 42	Core Weight: 2	Total Weight: 1529
c Current CPU time: 5.9501 s
c
c core #185
c 
c 
c Core size: 88	Core Weight: 1	Total Weight: 1530
c Current CPU time: 5.99909 s
c
c core #186
c 
c 
c Core size: 76	Core Weight: 1	Total Weight: 1531
c Current CPU time: 6.04708 s
c
c core #187
c 
c 
c Core size: 111	Core Weight: 1	Total Weight: 1532
c Current CPU time: 6.10107 s
c
c core #188
c 
c 
c Core size: 71	Core Weight: 1	Total Weight: 1533
c Current CPU time: 6.15606 s
c
c core #189
c 
c 
c Core size: 126	Core Weight: 1	Total Weight: 1534
c Current CPU time: 6.21206 s
c
c core #190
c 
c 
c Core size: 127	Core Weight: 1	Total Weight: 1535
c Current CPU time: 6.26505 s
c
c core #191
c 
c 
c Core size: 76	Core Weight: 1	Total Weight: 1536
c Current CPU time: 6.31704 s
c
c core #192
c 
c 
c Core size: 135	Core Weight: 1	Total Weight: 1537
c Current CPU time: 6.36803 s
c
c core #193
c 
c 
c Core size: 201	Core Weight: 1	Total Weight: 1538
c Current CPU time: 6.42302 s
c
c core #194
c 
c 
c Core size: 135	Core Weight: 1	Total Weight: 1539
c Current CPU time: 6.47501 s
c
c core #195
c 
c 
c Core size: 153	Core Weight: 1	Total Weight: 1540
c Current CPU time: 6.53601 s
c
c core #196
c 
c 
c Core size: 98	Core Weight: 1	Total Weight: 1541
c Current CPU time: 6.594 s
c
c core #197
c 
c 
c Core size: 145	Core Weight: 1	Total Weight: 1542
c Current CPU time: 6.64499 s
c
c core #198
c 
c 
c Core size: 209	Core Weight: 1	Total Weight: 1543
c Current CPU time: 6.70398 s
c
c core #199
c 
c 
c Core size: 154	Core Weight: 1	Total Weight: 1544
c Current CPU time: 6.75897 s
c
c core #200
c 
c 
c Core size: 137	Core Weight: 1	Total Weight: 1545
c Current CPU time: 6.81796 s
c
c core #201
c 
c 
c Core size: 229	Core Weight: 1	Total Weight: 1546
c Current CPU time: 6.87195 s
c
c core #202
c 
c 
c Core size: 179	Core Weight: 1	Total Weight: 1547
c Current CPU time: 6.92695 s
c
c core #203
c 
c 
c Core size: 121	Core Weight: 1	Total Weight: 1548
c Current CPU time: 6.97694 s
c
c core #204
c 
c 
c Core size: 107	Core Weight: 1	Total Weight: 1549
c Current CPU time: 7.03393 s
c
c core #205
c 
c 
c Core size: 133	Core Weight: 1	Total Weight: 1550
c Current CPU time: 7.09192 s
c
c core #206
c 
c 
c Core size: 158	Core Weight: 1	Total Weight: 1551
c Current CPU time: 7.14891 s
c
c core #207
c 
c 
c Core size: 86	Core Weight: 1	Total Weight: 1552
c Current CPU time: 7.2059 s
c
c core #208
c 
c 
c Core size: 282	Core Weight: 1	Total Weight: 1553
c Current CPU time: 7.26989 s
c
c core #209
c 
c 
c Core size: 62	Core Weight: 1	Total Weight: 1554
c Current CPU time: 7.32988 s
c
c core #210
c 
c 
c Core size: 208	Core Weight: 1	Total Weight: 1555
c Current CPU time: 7.39888 s
c
c core #211
c 
c 
c Core size: 152	Core Weight: 1	Total Weight: 1556
c Current CPU time: 7.46286 s
c
c core #212
c 
c 
c Core size: 211	Core Weight: 1	Total Weight: 1557
c Current CPU time: 7.52785 s
c
c core #213
c 
c 
c Core size: 259	Core Weight: 1	Total Weight: 1558
c Current CPU time: 7.61084 s
c
c core #214
c 
c 
c Core size: 365	Core Weight: 1	Total Weight: 1559
c Current CPU time: 7.69883 s
c
c core #215
c 
c 
c Core size: 445	Core Weight: 1	Total Weight: 1560
c Current CPU time: 7.85881 s
c
c core #216
c 
c 
c Core size: 431	Core Weight: 1	Total Weight: 1561
c Current CPU time: 8.09177 s
c
c core #217
c 
c 
c Core size: 503	Core Weight: 1	Total Weight: 1562
c Current CPU time: 9.64353 s
c
c core #218
c 
c 
c Core size: 506	Core Weight: 1	Total Weight: 1563
c Current CPU time: 12.1092 s
c
c core #219
c 
c 
c Core size: 771	Core Weight: 1	Total Weight: 1564
c Current CPU time: 215.335 s
c
c #cores: 219
s UNKNOWN
1800.000u 5.446s 30:15.76 99.4%	0+0k 0+0io 0pf+0w