0.06/0.07 c Heuristic : ANov
0.06/0.07 c Hybrid barrier : 0
0.06/0.07 c Problem instance: numAtoms = 1473, numClauses = 30387, numLiterals = 75224
0.06/0.07 c General parameters: seed=1622902386, cutoff=1000000000, targetCost = 0, print solution: yes
0.06/0.07 c gNovelty+ parameters: noise = 0, walkprob = 1, smoothprob = 100
0.06/0.07 c tries = 1
0.06/0.07 c
364.19/364.39 c gNovelty+ (M 0 )
364.19/364.39 s SATISFIABLE
364.19/364.39 v -1
364.19/364.39 v 2
364.19/364.39 v -3
364.19/364.39 v -4
364.19/364.39 v -5
364.19/364.39 v -6
364.19/364.39 v -7
364.19/364.39 v -8
364.19/364.39 v -9
364.19/364.39 v -10
364.19/364.39 v -11
364.19/364.39 v 12
364.19/364.39 v -13
364.19/364.39 v -14
364.19/364.39 v -15
364.19/364.39 v -16
364.19/364.39 v -17
364.19/364.39 v -18
364.19/364.39 v -19
364.19/364.39 v -20
364.19/364.39 v -21
364.19/364.39 v -22
364.19/364.39 v -23
364.19/364.39 v -24
364.19/364.39 v -25
364.19/364.39 v -26
364.19/364.39 v -27
364.19/364.39 v -28
364.19/364.39 v -29
364.19/364.39 v -30
364.19/364.39 v -31
364.19/364.39 v -32
364.19/364.39 v -33
364.19/364.39 v -34
364.19/364.39 v -35
364.19/364.39 v -36
364.19/364.39 v -37
364.19/364.39 v 38
364.19/364.39 v -39
364.19/364.39 v -40
364.19/364.39 v -41
364.19/364.39 v -42
364.19/364.39 v -43
364.19/364.39 v -44
364.19/364.39 v -45
364.19/364.39 v -46
364.19/364.39 v -47
364.19/364.39 v -48
364.19/364.39 v -49
364.19/364.39 v -50
364.19/364.39 v -51
364.19/364.39 v -52
364.19/364.39 v -53
364.19/364.39 v -54
364.19/364.39 v -55
364.19/364.39 v -56
364.19/364.39 v -57
364.19/364.39 v -58
364.19/364.39 v 59
364.19/364.39 v -60
364.19/364.39 v -61
364.19/364.39 v -62
364.19/364.39 v -63
364.19/364.39 v -64
364.19/364.39 v -65
364.19/364.39 v -66
364.19/364.39 v -67
364.19/364.39 v -68
364.19/364.39 v -69
364.19/364.39 v -70
364.19/364.39 v -71
364.19/364.39 v -72
364.19/364.39 v -73
364.19/364.39 v -74
364.19/364.39 v -75
364.19/364.39 v -76
364.19/364.39 v -77
364.19/364.39 v -78
364.19/364.39 v -79
364.19/364.39 v 80
364.19/364.39 v -81
364.19/364.39 v -82
364.19/364.39 v -83
364.19/364.39 v -84
364.19/364.39 v -85
364.19/364.39 v -86
364.19/364.39 v -87
364.19/364.39 v -88
364.19/364.39 v -89
364.19/364.39 v -90
364.19/364.39 v -91
364.19/364.39 v -92
364.19/364.39 v -93
364.19/364.39 v 94
364.19/364.39 v -95
364.19/364.39 v -96
364.19/364.39 v -97
364.19/364.39 v -98
364.19/364.39 v -99
364.19/364.39 v -100
364.19/364.39 v -101
364.19/364.39 v -102
364.19/364.39 v -103
364.19/364.39 v -104
364.19/364.39 v 105
364.19/364.39 v -106
364.19/364.39 v -107
364.19/364.39 v -108
364.19/364.39 v -109
364.19/364.39 v -110
364.19/364.39 v -111
364.19/364.39 v -112
364.19/364.39 v -113
364.19/364.39 v -114
364.19/364.39 v -115
364.19/364.39 v -116
364.19/364.39 v -117
364.19/364.39 v -118
364.19/364.39 v 119
364.19/364.39 v -120
364.19/364.39 v -121
364.19/364.39 v -122
364.19/364.39 v -123
364.19/364.39 v -124
364.19/364.39 v -125
364.19/364.39 v -126
364.19/364.39 v -127
364.19/364.39 v -128
364.19/364.39 v -129
364.19/364.39 v -130
364.19/364.39 v -131
364.19/364.39 v -132
364.19/364.39 v 133
364.19/364.39 v -134
364.19/364.39 v -135
364.19/364.39 v -136
364.19/364.39 v -137
364.19/364.39 v -138
364.19/364.39 v -139
364.19/364.39 v -140
364.19/364.39 v -141
364.19/364.39 v -142
364.19/364.39 v -143
364.19/364.39 v -144
364.19/364.39 v -145
364.19/364.39 v -146
364.19/364.39 v -147
364.19/364.39 v -148
364.19/364.39 v -149
364.19/364.39 v -150
364.19/364.39 v -151
364.19/364.39 v -152
364.19/364.39 v -153
364.19/364.39 v -154
364.19/364.39 v -155
364.19/364.39 v -156
364.19/364.39 v -157
364.19/364.39 v -158
364.19/364.39 v -159
364.19/364.39 v -160
364.19/364.39 v -161
364.19/364.39 v -162
364.19/364.39 v -163
364.19/364.39 v -164
364.19/364.39 v -165
364.19/364.39 v -166
364.19/364.39 v -167
364.19/364.39 v 168
364.19/364.39 v -169
364.19/364.39 v -170
364.19/364.39 v -171
364.19/364.39 v -172
364.19/364.39 v -173
364.19/364.39 v -174
364.19/364.39 v -175
364.19/364.39 v -176
364.19/364.39 v -177
364.19/364.39 v -178
364.19/364.39 v 179
364.19/364.39 v -180
364.19/364.39 v -181
364.19/364.39 v -182
364.19/364.39 v -183
364.19/364.39 v -184
364.19/364.39 v -185
364.19/364.39 v -186
364.19/364.39 v -187
364.19/364.39 v -188
364.19/364.39 v -189
364.19/364.39 v -190
364.19/364.39 v -191
364.19/364.39 v -192
364.19/364.39 v -193
364.19/364.39 v -194
364.19/364.39 v -195
364.19/364.39 v -196
364.19/364.39 v -197
364.19/364.39 v -198
364.19/364.39 v -199
364.19/364.39 v -200
364.19/364.39 v -201
364.19/364.39 v -202
364.19/364.39 v -203
364.19/364.39 v -204
364.19/364.39 v -205
364.19/364.39 v -206
364.19/364.39 v -207
364.19/364.39 v -208
364.19/364.39 v -209
364.19/364.39 v -210
364.19/364.39 v -211
364.19/364.39 v -212
364.19/364.39 v 213
364.19/364.39 v -214
364.19/364.39 v -215
364.19/364.39 v -216
364.19/364.39 v -217
364.19/364.39 v -218
364.19/364.39 v -219
364.19/364.39 v -220
364.19/364.39 v -221
364.19/364.39 v -222
364.19/364.39 v -223
364.19/364.39 v -224
364.19/364.39 v -225
364.19/364.39 v -226
364.19/364.39 v -227
364.19/364.39 v -228
364.19/364.39 v -229
364.19/364.39 v -230
364.19/364.39 v -231
364.19/364.39 v -232
364.19/364.39 v -233
364.19/364.39 v -234
364.19/364.39 v -235
364.19/364.39 v -236
364.19/364.39 v -237
364.19/364.39 v -238
364.19/364.39 v -239
364.19/364.39 v -240
364.19/364.39 v -241
364.19/364.39 v -242
364.19/364.39 v -243
364.19/364.39 v -244
364.19/364.39 v -245
364.19/364.39 v -246
364.19/364.39 v -247
364.19/364.39 v -248
364.19/364.39 v -249
364.19/364.39 v 250
364.19/364.39 v -251
364.19/364.39 v -252
364.19/364.39 v -253
364.19/364.39 v 254
364.19/364.39 v -255
364.19/364.39 v -256
364.19/364.39 v -257
364.19/364.39 v -258
364.19/364.39 v -259
364.19/364.39 v -260
364.19/364.39 v -261
364.19/364.39 v -262
364.19/364.39 v -263
364.19/364.39 v -264
364.19/364.39 v -265
364.19/364.39 v -266
364.19/364.39 v -267
364.19/364.39 v -268
364.19/364.39 v -269
364.19/364.39 v -270
364.19/364.39 v -271
364.19/364.39 v -272
364.19/364.39 v -273
364.19/364.39 v -274
364.19/364.39 v 275
364.19/364.39 v -276
364.19/364.39 v -277
364.19/364.39 v -278
364.19/364.39 v -279
364.19/364.39 v -280
364.19/364.39 v -281
364.19/364.39 v -282
364.19/364.39 v -283
364.19/364.39 v -284
364.19/364.39 v -285
364.19/364.39 v -286
364.19/364.39 v -287
364.19/364.39 v -288
364.19/364.39 v -289
364.19/364.39 v -290
364.19/364.39 v -291
364.19/364.39 v -292
364.19/364.39 v -293
364.19/364.39 v -294
364.19/364.39 v -295
364.19/364.39 v -296
364.19/364.39 v -297
364.19/364.39 v -298
364.19/364.39 v -299
364.19/364.39 v -300
364.19/364.39 v -301
364.19/364.39 v -302
364.19/364.39 v -303
364.19/364.39 v -304
364.19/364.39 v -305
364.19/364.39 v -306
364.19/364.39 v -307
364.19/364.39 v -308
364.19/364.39 v -309
364.19/364.39 v -310
364.19/364.39 v -311
364.19/364.39 v -312
364.19/364.39 v -313
364.19/364.39 v -314
364.19/364.39 v -315
364.19/364.39 v -316
364.19/364.39 v -317
364.19/364.39 v 318
364.19/364.39 v -319
364.19/364.39 v -320
364.19/364.39 v -321
364.19/364.39 v -322
364.19/364.39 v -323
364.19/364.39 v -324
364.19/364.39 v -325
364.19/364.39 v 326
364.19/364.39 v -327
364.19/364.39 v -328
364.19/364.39 v -329
364.19/364.39 v -330
364.19/364.39 v -331
364.19/364.39 v -332
364.19/364.39 v -333
364.19/364.39 v -334
364.19/364.39 v -335
364.19/364.39 v -336
364.19/364.39 v -337
364.19/364.39 v -338
364.19/364.39 v -339
364.19/364.39 v -340
364.19/364.39 v -341
364.19/364.39 v -342
364.19/364.39 v -343
364.19/364.39 v -344
364.19/364.39 v -345
364.19/364.39 v -346
364.19/364.39 v -347
364.19/364.39 v -348
364.19/364.39 v -349
364.19/364.39 v -350
364.19/364.39 v -351
364.19/364.39 v -352
364.19/364.39 v -353
364.19/364.39 v -354
364.19/364.39 v -355
364.19/364.39 v -356
364.19/364.39 v -357
364.19/364.39 v -358
364.19/364.39 v -359
364.19/364.39 v -360
364.19/364.39 v 361
364.19/364.39 v -362
364.19/364.39 v -363
364.19/364.39 v -364
364.19/364.39 v -365
364.19/364.39 v -366
364.19/364.39 v -367
364.19/364.39 v -368
364.19/364.39 v -369
364.19/364.39 v 370
364.19/364.39 v -371
364.19/364.39 v -372
364.19/364.39 v -373
364.19/364.39 v -374
364.19/364.39 v -375
364.19/364.39 v -376
364.19/364.39 v -377
364.19/364.39 v -378
364.19/364.39 v -379
364.19/364.39 v -380
364.19/364.39 v -381
364.19/364.39 v -382
364.19/364.39 v -383
364.19/364.39 v -384
364.19/364.39 v -385
364.19/364.39 v -386
364.19/364.39 v -387
364.19/364.39 v -388
364.19/364.39 v -389
364.19/364.39 v -390
364.19/364.39 v -391
364.19/364.39 v -392
364.19/364.39 v -393
364.19/364.39 v -394
364.19/364.39 v -395
364.19/364.39 v 396
364.19/364.39 v -397
364.19/364.39 v -398
364.19/364.39 v -399
364.19/364.39 v -400
364.19/364.39 v -401
364.19/364.39 v -402
364.19/364.39 v -403
364.19/364.39 v -404
364.19/364.39 v -405
364.19/364.39 v -406
364.19/364.39 v -407
364.19/364.39 v -408
364.19/364.39 v -409
364.19/364.39 v -410
364.19/364.39 v -411
364.19/364.39 v -412
364.19/364.39 v -413
364.19/364.39 v -414
364.19/364.39 v -415
364.19/364.39 v -416
364.19/364.39 v -417
364.19/364.39 v -418
364.19/364.39 v -419
364.19/364.39 v -420
364.19/364.39 v -421
364.19/364.39 v -422
364.19/364.39 v -423
364.19/364.39 v -424
364.19/364.39 v -425
364.19/364.39 v -426
364.19/364.39 v -427
364.19/364.39 v -428
364.19/364.39 v -429
364.19/364.39 v -430
364.19/364.39 v -431
364.19/364.39 v -432
364.19/364.39 v -433
364.19/364.39 v -434
364.19/364.39 v -435
364.19/364.39 v 436
364.19/364.39 v -437
364.19/364.39 v -438
364.19/364.39 v -439
364.19/364.39 v -440
364.19/364.39 v -441
364.19/364.39 v -442
364.19/364.39 v 443
364.19/364.39 v -444
364.19/364.39 v -445
364.19/364.39 v -446
364.19/364.39 v -447
364.19/364.39 v -448
364.19/364.39 v -449
364.19/364.39 v -450
364.19/364.39 v -451
364.19/364.39 v -452
364.19/364.39 v -453
364.19/364.39 v -454
364.19/364.39 v -455
364.19/364.39 v -456
364.19/364.39 v -457
364.19/364.39 v -458
364.19/364.39 v -459
364.19/364.39 v -460
364.19/364.39 v -461
364.19/364.39 v -462
364.19/364.39 v -463
364.19/364.39 v 464
364.19/364.39 v -465
364.19/364.39 v -466
364.19/364.39 v -467
364.19/364.39 v -468
364.19/364.39 v -469
364.19/364.39 v -470
364.19/364.39 v -471
364.19/364.39 v -472
364.19/364.39 v -473
364.19/364.39 v -474
364.19/364.39 v -475
364.19/364.39 v -476
364.19/364.39 v -477
364.19/364.39 v -478
364.19/364.39 v -479
364.19/364.39 v -480
364.19/364.39 v -481
364.19/364.39 v -482
364.19/364.39 v -483
364.19/364.39 v -484
364.19/364.39 v -485
364.19/364.39 v -486
364.19/364.39 v -487
364.19/364.39 v -488
364.19/364.39 v -489
364.19/364.39 v 490
364.19/364.39 v -491
364.19/364.39 v -492
364.19/364.39 v -493
364.19/364.39 v -494
364.19/364.39 v -495
364.19/364.39 v -496
364.19/364.39 v -497
364.19/364.39 v -498
364.19/364.39 v -499
364.19/364.39 v -500
364.19/364.39 v -501
364.19/364.39 v -502
364.19/364.39 v -503
364.19/364.39 v -504
364.19/364.39 v -505
364.19/364.39 v -506
364.19/364.39 v -507
364.19/364.39 v -508
364.19/364.39 v -509
364.19/364.39 v -510
364.19/364.39 v -511
364.19/364.39 v -512
364.19/364.39 v -513
364.19/364.39 v -514
364.19/364.39 v -515
364.19/364.39 v -516
364.19/364.39 v -517
364.19/364.39 v -518
364.19/364.39 v -519
364.19/364.39 v -520
364.19/364.39 v -521
364.19/364.39 v -522
364.19/364.39 v -523
364.19/364.39 v -524
364.19/364.39 v -525
364.19/364.39 v -526
364.19/364.39 v -527
364.19/364.39 v 528
364.19/364.39 v -529
364.19/364.39 v -530
364.19/364.39 v -531
364.19/364.39 v -532
364.19/364.39 v -533
364.19/364.39 v -534
364.19/364.39 v -535
364.19/364.39 v -536
364.19/364.39 v -537
364.19/364.39 v -538
364.19/364.39 v -539
364.19/364.39 v -540
364.19/364.39 v -541
364.19/364.39 v -542
364.19/364.39 v -543
364.19/364.39 v -544
364.19/364.39 v -545
364.19/364.39 v -546
364.19/364.39 v -547
364.19/364.39 v -548
364.19/364.39 v -549
364.19/364.39 v -550
364.19/364.39 v -551
364.19/364.39 v -552
364.19/364.39 v -553
364.19/364.39 v -554
364.19/364.39 v -555
364.19/364.39 v -556
364.19/364.39 v 557
364.19/364.39 v -558
364.19/364.39 v -559
364.19/364.39 v -560
364.19/364.39 v -561
364.19/364.39 v -562
364.19/364.39 v -563
364.19/364.39 v -564
364.19/364.39 v -565
364.19/364.39 v -566
364.19/364.39 v -567
364.19/364.39 v -568
364.19/364.39 v -569
364.19/364.39 v 570
364.19/364.39 v -571
364.19/364.39 v -572
364.19/364.39 v -573
364.19/364.39 v -574
364.19/364.39 v -575
364.19/364.39 v -576
364.19/364.39 v -577
364.19/364.39 v -578
364.19/364.39 v -579
364.19/364.39 v -580
364.19/364.39 v -581
364.19/364.39 v -582
364.19/364.39 v -583
364.19/364.39 v -584
364.19/364.39 v -585
364.19/364.39 v -586
364.19/364.39 v -587
364.19/364.39 v -588
364.19/364.39 v -589
364.19/364.39 v -590
364.19/364.39 v -591
364.19/364.39 v 592
364.19/364.39 v -593
364.19/364.39 v -594
364.19/364.39 v -595
364.19/364.39 v -596
364.19/364.39 v -597
364.19/364.39 v -598
364.19/364.39 v -599
364.19/364.39 v -600
364.19/364.39 v -601
364.19/364.39 v -602
364.19/364.39 v -603
364.19/364.39 v -604
364.19/364.39 v -605
364.19/364.39 v -606
364.19/364.39 v -607
364.19/364.39 v -608
364.19/364.39 v -609
364.19/364.39 v -610
364.19/364.39 v -611
364.19/364.39 v -612
364.19/364.39 v -613
364.19/364.39 v -614
364.19/364.39 v 615
364.19/364.39 v -616
364.19/364.39 v -617
364.19/364.39 v -618
364.19/364.39 v -619
364.19/364.39 v -620
364.19/364.39 v -621
364.19/364.39 v -622
364.19/364.39 v -623
364.19/364.39 v -624
364.19/364.39 v -625
364.19/364.39 v -626
364.19/364.39 v -627
364.19/364.39 v -628
364.19/364.39 v -629
364.19/364.39 v -630
364.19/364.39 v -631
364.19/364.39 v -632
364.19/364.39 v -633
364.19/364.39 v -634
364.19/364.39 v -635
364.19/364.39 v -636
364.19/364.39 v -637
364.19/364.39 v -638
364.19/364.39 v -639
364.19/364.39 v -640
364.19/364.39 v -641
364.19/364.39 v 642
364.19/364.39 v -643
364.19/364.39 v -644
364.19/364.39 v -645
364.19/364.39 v -646
364.19/364.39 v -647
364.19/364.39 v -648
364.19/364.39 v -649
364.19/364.39 v -650
364.19/364.39 v -651
364.19/364.39 v -652
364.19/364.39 v -653
364.19/364.39 v -654
364.19/364.39 v -655
364.19/364.39 v -656
364.19/364.39 v -657
364.19/364.39 v -658
364.19/364.39 v -659
364.19/364.39 v -660
364.19/364.39 v 661
364.19/364.39 v -662
364.19/364.39 v -663
364.19/364.39 v -664
364.19/364.39 v -665
364.19/364.39 v -666
364.19/364.39 v -667
364.19/364.39 v -668
364.19/364.39 v -669
364.19/364.39 v -670
364.19/364.39 v -671
364.19/364.39 v -672
364.19/364.39 v -673
364.19/364.39 v -674
364.19/364.39 v -675
364.19/364.39 v -676
364.19/364.39 v -677
364.19/364.39 v -678
364.19/364.39 v -679
364.19/364.39 v -680
364.19/364.39 v -681
364.19/364.39 v -682
364.19/364.39 v -683
364.19/364.39 v -684
364.19/364.39 v -685
364.19/364.39 v -686
364.19/364.39 v -687
364.19/364.39 v -688
364.19/364.39 v 689
364.19/364.39 v -690
364.19/364.39 v -691
364.19/364.39 v -692
364.19/364.39 v -693
364.19/364.39 v -694
364.19/364.39 v -695
364.19/364.39 v -696
364.19/364.39 v -697
364.19/364.39 v -698
364.19/364.39 v -699
364.19/364.39 v -700
364.19/364.39 v -701
364.19/364.39 v -702
364.19/364.39 v -703
364.19/364.39 v -704
364.19/364.39 v -705
364.19/364.39 v -706
364.19/364.39 v -707
364.19/364.39 v -708
364.19/364.39 v 709
364.19/364.39 v -710
364.19/364.39 v -711
364.19/364.39 v -712
364.19/364.39 v -713
364.19/364.39 v -714
364.19/364.39 v -715
364.19/364.39 v -716
364.19/364.39 v -717
364.19/364.39 v -718
364.19/364.39 v -719
364.19/364.39 v -720
364.19/364.39 v -721
364.19/364.39 v -722
364.19/364.39 v -723
364.19/364.39 v -724
364.19/364.39 v -725
364.19/364.39 v -726
364.19/364.39 v -727
364.19/364.39 v -728
364.19/364.39 v -729
364.19/364.39 v -730
364.19/364.39 v -731
364.19/364.39 v -732
364.19/364.39 v -733
364.19/364.39 v -734
364.19/364.39 v -735
364.19/364.39 v -736
364.19/364.39 v -737
364.19/364.39 v -738
364.19/364.39 v -739
364.19/364.39 v 740
364.19/364.39 v -741
364.19/364.39 v -742
364.19/364.39 v -743
364.19/364.39 v -744
364.19/364.39 v -745
364.19/364.39 v -746
364.19/364.39 v -747
364.19/364.39 v -748
364.19/364.39 v -749
364.19/364.39 v -750
364.19/364.39 v -751
364.19/364.39 v -752
364.19/364.39 v -753
364.19/364.39 v -754
364.19/364.39 v -755
364.19/364.39 v -756
364.19/364.39 v -757
364.19/364.39 v -758
364.19/364.39 v -759
364.19/364.39 v -760
364.19/364.39 v -761
364.19/364.39 v -762
364.19/364.39 v -763
364.19/364.39 v -764
364.19/364.39 v -765
364.19/364.39 v -766
364.19/364.39 v -767
364.19/364.39 v 768
364.19/364.39 v -769
364.19/364.39 v -770
364.19/364.39 v -771
364.19/364.39 v -772
364.19/364.39 v -773
364.19/364.39 v 774
364.19/364.39 v -775
364.19/364.39 v -776
364.19/364.39 v -777
364.19/364.39 v -778
364.19/364.39 v -779
364.19/364.39 v -780
364.19/364.39 v -781
364.19/364.39 v -782
364.19/364.39 v -783
364.19/364.39 v -784
364.19/364.39 v -785
364.19/364.39 v -786
364.19/364.39 v -787
364.19/364.39 v -788
364.19/364.39 v -789
364.19/364.39 v -790
364.19/364.39 v -791
364.19/364.39 v -792
364.19/364.39 v -793
364.19/364.39 v -794
364.19/364.39 v -795
364.19/364.39 v -796
364.19/364.39 v -797
364.19/364.39 v -798
364.19/364.39 v -799
364.19/364.39 v -800
364.19/364.39 v -801
364.19/364.39 v -802
364.19/364.39 v -803
364.19/364.39 v -804
364.19/364.39 v -805
364.19/364.39 v -806
364.19/364.39 v -807
364.19/364.39 v -808
364.19/364.39 v 809
364.19/364.39 v -810
364.19/364.39 v -811
364.19/364.39 v -812
364.19/364.39 v -813
364.19/364.39 v -814
364.19/364.39 v -815
364.19/364.39 v -816
364.19/364.39 v -817
364.19/364.39 v -818
364.19/364.39 v -819
364.19/364.39 v -820
364.19/364.39 v -821
364.19/364.39 v 822
364.19/364.39 v -823
364.19/364.39 v -824
364.19/364.39 v -825
364.19/364.39 v -826
364.19/364.39 v -827
364.19/364.39 v -828
364.19/364.39 v -829
364.19/364.39 v -830
364.19/364.39 v -831
364.19/364.39 v -832
364.19/364.39 v -833
364.19/364.39 v -834
364.19/364.39 v -835
364.19/364.39 v -836
364.19/364.39 v -837
364.19/364.39 v -838
364.19/364.39 v -839
364.19/364.39 v -840
364.19/364.39 v -841
364.19/364.39 v -842
364.19/364.39 v -843
364.19/364.39 v -844
364.19/364.39 v -845
364.19/364.39 v -846
364.19/364.39 v -847
364.19/364.39 v -848
364.19/364.39 v -849
364.19/364.39 v -850
364.19/364.39 v -851
364.19/364.39 v 852
364.19/364.39 v -853
364.19/364.39 v -854
364.19/364.39 v -855
364.19/364.39 v -856
364.19/364.39 v -857
364.19/364.39 v -858
364.19/364.39 v -859
364.19/364.39 v -860
364.19/364.39 v -861
364.19/364.39 v -862
364.19/364.39 v -863
364.19/364.39 v -864
364.19/364.39 v -865
364.19/364.39 v -866
364.19/364.39 v 867
364.19/364.39 v -868
364.19/364.39 v -869
364.19/364.39 v -870
364.19/364.39 v -871
364.19/364.39 v -872
364.19/364.39 v -873
364.19/364.39 v -874
364.19/364.39 v -875
364.19/364.39 v -876
364.19/364.39 v -877
364.19/364.39 v -878
364.19/364.39 v -879
364.19/364.39 v -880
364.19/364.39 v -881
364.19/364.39 v -882
364.19/364.39 v -883
364.19/364.39 v -884
364.19/364.39 v -885
364.19/364.39 v -886
364.19/364.39 v -887
364.19/364.39 v -888
364.19/364.39 v -889
364.19/364.39 v -890
364.19/364.39 v -891
364.19/364.39 v -892
364.19/364.39 v -893
364.19/364.39 v -894
364.19/364.39 v -895
364.19/364.39 v -896
364.19/364.39 v -897
364.19/364.39 v -898
364.19/364.39 v -899
364.19/364.39 v -900
364.19/364.39 v -901
364.19/364.39 v -902
364.19/364.39 v -903
364.19/364.39 v -904
364.19/364.39 v -905
364.19/364.39 v -906
364.19/364.39 v -907
364.19/364.39 v -908
364.19/364.39 v -909
364.19/364.39 v -910
364.19/364.39 v 911
364.19/364.39 v -912
364.19/364.39 v -913
364.19/364.39 v -914
364.19/364.39 v -915
364.19/364.39 v -916
364.19/364.39 v -917
364.19/364.39 v -918
364.19/364.39 v -919
364.19/364.39 v -920
364.19/364.39 v -921
364.19/364.39 v -922
364.19/364.39 v -923
364.19/364.39 v -924
364.19/364.39 v -925
364.19/364.39 v -926
364.19/364.39 v -927
364.19/364.39 v -928
364.19/364.39 v -929
364.19/364.39 v 930
364.19/364.39 v -931
364.19/364.39 v -932
364.19/364.39 v -933
364.19/364.39 v -934
364.19/364.39 v -935
364.19/364.39 v 936
364.19/364.39 v -937
364.19/364.39 v -938
364.19/364.39 v -939
364.19/364.39 v -940
364.19/364.39 v -941
364.19/364.39 v -942
364.19/364.39 v -943
364.19/364.39 v 944
364.19/364.39 v -945
364.19/364.39 v -946
364.19/364.39 v -947
364.19/364.39 v -948
364.19/364.39 v -949
364.19/364.39 v -950
364.19/364.39 v -951
364.19/364.39 v -952
364.19/364.39 v -953
364.19/364.39 v -954
364.19/364.39 v -955
364.19/364.39 v -956
364.19/364.39 v -957
364.19/364.39 v -958
364.19/364.39 v -959
364.19/364.39 v -960
364.19/364.39 v -961
364.19/364.39 v -962
364.19/364.39 v -963
364.19/364.39 v -964
364.19/364.39 v -965
364.19/364.39 v -966
364.19/364.39 v -967
364.19/364.39 v -968
364.19/364.39 v -969
364.19/364.39 v -970
364.19/364.39 v -971
364.19/364.39 v -972
364.19/364.39 v -973
364.19/364.39 v -974
364.19/364.39 v -975
364.19/364.39 v 976
364.19/364.39 v -977
364.19/364.39 v -978
364.19/364.39 v -979
364.19/364.39 v -980
364.19/364.39 v -981
364.19/364.39 v -982
364.19/364.39 v -983
364.19/364.39 v -984
364.19/364.39 v -985
364.19/364.39 v -986
364.19/364.39 v -987
364.19/364.39 v -988
364.19/364.39 v -989
364.19/364.39 v 990
364.19/364.39 v -991
364.19/364.39 v -992
364.19/364.39 v -993
364.19/364.39 v -994
364.19/364.39 v -995
364.19/364.39 v -996
364.19/364.39 v -997
364.19/364.39 v -998
364.19/364.39 v -999
364.19/364.39 v -1000
364.19/364.39 v 1001
364.19/364.39 v -1002
364.19/364.39 v -1003
364.19/364.39 v -1004
364.19/364.39 v -1005
364.19/364.39 v -1006
364.19/364.39 v -1007
364.19/364.39 v -1008
364.19/364.39 v -1009
364.19/364.39 v -1010
364.19/364.39 v -1011
364.19/364.39 v -1012
364.19/364.39 v -1013
364.19/364.39 v -1014
364.19/364.39 v -1015
364.19/364.39 v -1016
364.19/364.39 v -1017
364.19/364.39 v -1018
364.19/364.39 v -1019
364.19/364.39 v 1020
364.19/364.39 v -1021
364.19/364.39 v -1022
364.19/364.39 v -1023
364.19/364.39 v -1024
364.19/364.39 v -1025
364.19/364.39 v -1026
364.19/364.39 v -1027
364.19/364.39 v -1028
364.19/364.39 v -1029
364.19/364.39 v -1030
364.19/364.39 v -1031
364.19/364.39 v -1032
364.19/364.39 v -1033
364.19/364.39 v -1034
364.19/364.39 v -1035
364.19/364.39 v -1036
364.19/364.39 v -1037
364.19/364.39 v -1038
364.19/364.39 v -1039
364.19/364.39 v -1040
364.19/364.39 v 1041
364.19/364.39 v 1042
364.19/364.39 v -1043
364.19/364.39 v -1044
364.19/364.39 v -1045
364.19/364.39 v 1046
364.19/364.39 v -1047
364.19/364.39 v 1048
364.19/364.39 v -1049
364.19/364.39 v -1050
364.19/364.39 v 1051
364.19/364.39 v -1052
364.19/364.39 v -1053
364.19/364.39 v -1054
364.19/364.39 v 1055
364.19/364.39 v -1056
364.19/364.39 v -1057
364.19/364.39 v 1058
364.19/364.39 v -1059
364.19/364.39 v -1060
364.19/364.39 v 1061
364.19/364.39 v -1062
364.19/364.39 v -1063
364.19/364.39 v -1064
364.19/364.39 v -1065
364.19/364.39 v -1066
364.19/364.39 v -1067
364.19/364.39 v 1068
364.19/364.39 v -1069
364.19/364.39 v 1070
364.19/364.39 v -1071
364.19/364.39 v -1072
364.19/364.39 v -1073
364.19/364.39 v -1074
364.19/364.39 v -1075
364.19/364.39 v -1076
364.19/364.39 v 1077
364.19/364.39 v -1078
364.19/364.39 v -1079
364.19/364.39 v -1080
364.19/364.39 v -1081
364.19/364.39 v 1082
364.19/364.39 v -1083
364.19/364.39 v -1084
364.19/364.39 v -1085
364.19/364.39 v -1086
364.19/364.39 v -1087
364.19/364.39 v 1088
364.19/364.39 v -1089
364.19/364.39 v -1090
364.19/364.39 v -1091
364.19/364.39 v -1092
364.19/364.39 v 1093
364.19/364.39 v -1094
364.19/364.39 v -1095
364.19/364.39 v -1096
364.19/364.39 v -1097
364.19/364.39 v 1098
364.19/364.39 v -1099
364.19/364.39 v -1100
364.19/364.39 v -1101
364.19/364.39 v -1102
364.19/364.39 v -1103
364.19/364.39 v -1104
364.19/364.39 v 1105
364.19/364.39 v -1106
364.19/364.39 v -1107
364.19/364.39 v -1108
364.19/364.39 v -1109
364.19/364.39 v 1110
364.19/364.39 v -1111
364.19/364.39 v -1112
364.19/364.39 v -1113
364.19/364.39 v -1114
364.19/364.39 v 1115
364.19/364.39 v -1116
364.19/364.39 v -1117
364.19/364.39 v -1118
364.19/364.39 v -1119
364.19/364.39 v 1120
364.19/364.39 v -1121
364.19/364.39 v -1122
364.19/364.39 v -1123
364.19/364.39 v -1124
364.19/364.39 v -1125
364.19/364.39 v -1126
364.19/364.39 v 1127
364.19/364.39 v -1128
364.19/364.39 v -1129
364.19/364.39 v -1130
364.19/364.39 v -1131
364.19/364.39 v -1132
364.19/364.39 v -1133
364.19/364.39 v 1134
364.19/364.39 v -1135
364.19/364.39 v 1136
364.19/364.39 v -1137
364.19/364.39 v -1138
364.19/364.39 v -1139
364.19/364.39 v -1140
364.19/364.39 v -1141
364.19/364.39 v 1142
364.19/364.39 v -1143
364.19/364.39 v -1144
364.19/364.39 v -1145
364.19/364.39 v -1146
364.19/364.39 v -1147
364.19/364.39 v 1148
364.19/364.39 v -1149
364.19/364.39 v -1150
364.19/364.39 v -1151
364.19/364.39 v -1152
364.19/364.39 v -1153
364.19/364.39 v -1154
364.19/364.39 v 1155
364.19/364.39 v -1156
364.19/364.39 v -1157
364.19/364.39 v -1158
364.19/364.39 v 1159
364.19/364.39 v -1160
364.19/364.39 v -1161
364.19/364.39 v -1162
364.19/364.39 v -1163
364.19/364.39 v -1164
364.19/364.39 v -1165
364.19/364.39 v 1166
364.19/364.39 v -1167
364.19/364.39 v -1168
364.19/364.39 v -1169
364.19/364.39 v -1170
364.19/364.39 v 1171
364.19/364.39 v -1172
364.19/364.39 v -1173
364.19/364.39 v 1174
364.19/364.39 v -1175
364.19/364.39 v -1176
364.19/364.39 v -1177
364.19/364.39 v -1178
364.19/364.39 v -1179
364.19/364.39 v 1180
364.19/364.39 v -1181
364.19/364.39 v -1182
364.19/364.39 v -1183
364.19/364.39 v -1184
364.19/364.39 v -1185
364.19/364.39 v -1186
364.19/364.39 v -1187
364.19/364.39 v -1188
364.19/364.39 v -1189
364.19/364.39 v 1190
364.19/364.39 v -1191
364.19/364.39 v -1192
364.19/364.39 v -1193
364.19/364.39 v 1194
364.19/364.39 v -1195
364.19/364.39 v -1196
364.19/364.39 v -1197
364.19/364.39 v -1198
364.19/364.39 v -1199
364.19/364.39 v -1200
364.19/364.39 v 1201
364.19/364.39 v -1202
364.19/364.39 v -1203
364.19/364.39 v -1204
364.19/364.39 v 1205
364.19/364.39 v -1206
364.19/364.39 v -1207
364.19/364.39 v -1208
364.19/364.39 v 1209
364.19/364.39 v -1210
364.19/364.39 v -1211
364.19/364.39 v -1212
364.19/364.39 v -1213
364.19/364.39 v -1214
364.19/364.39 v 1215
364.19/364.39 v -1216
364.19/364.39 v -1217
364.19/364.39 v -1218
364.19/364.39 v -1219
364.19/364.39 v -1220
364.19/364.39 v -1221
364.19/364.39 v 1222
364.19/364.39 v -1223
364.19/364.39 v -1224
364.19/364.39 v -1225
364.19/364.39 v -1226
364.19/364.39 v -1227
364.19/364.39 v -1228
364.19/364.39 v 1229
364.19/364.39 v -1230
364.19/364.39 v -1231
364.19/364.39 v -1232
364.19/364.39 v -1233
364.19/364.39 v 1234
364.19/364.39 v -1235
364.19/364.39 v -1236
364.19/364.39 v -1237
364.19/364.39 v 1238
364.19/364.39 v -1239
364.19/364.39 v 1240
364.19/364.39 v -1241
364.19/364.39 v -1242
364.19/364.39 v -1243
364.19/364.39 v -1244
364.19/364.39 v -1245
364.19/364.39 v -1246
364.19/364.39 v -1247
364.19/364.39 v -1248
364.19/364.39 v 1249
364.19/364.39 v -1250
364.19/364.39 v -1251
364.19/364.39 v 1252
364.19/364.39 v -1253
364.19/364.39 v -1254
364.19/364.39 v -1255
364.19/364.39 v -1256
364.19/364.39 v -1257
364.19/364.39 v -1258
364.19/364.39 v -1259
364.19/364.39 v -1260
364.19/364.39 v -1261
364.19/364.39 v 1262
364.19/364.39 v -1263
364.19/364.39 v 1264
364.19/364.39 v -1265
364.19/364.39 v -1266
364.19/364.39 v -1267
364.19/364.39 v -1268
364.19/364.39 v -1269
364.19/364.39 v -1270
364.19/364.39 v -1271
364.19/364.39 v -1272
364.19/364.39 v -1273
364.19/364.39 v 1274
364.19/364.39 v -1275
364.19/364.39 v 1276
364.19/364.39 v -1277
364.19/364.39 v -1278
364.19/364.39 v -1279
364.19/364.39 v -1280
364.19/364.39 v -1281
364.19/364.39 v 1282
364.19/364.39 v -1283
364.19/364.39 v -1284
364.19/364.39 v -1285
364.19/364.39 v -1286
364.19/364.39 v -1287
364.19/364.39 v -1288
364.19/364.39 v 1289
364.19/364.39 v -1290
364.19/364.39 v -1291
364.19/364.39 v -1292
364.19/364.39 v -1293
364.19/364.39 v 1294
364.19/364.39 v -1295
364.19/364.39 v -1296
364.19/364.39 v 1297
364.19/364.39 v -1298
364.19/364.39 v -1299
364.19/364.39 v -1300
364.19/364.39 v -1301
364.19/364.40 v -1302
364.19/364.40 v 1303
364.19/364.40 v -1304
364.19/364.40 v -1305
364.19/364.40 v -1306
364.19/364.40 v -1307
364.19/364.40 v -1308
364.19/364.40 v -1309
364.19/364.40 v 1310
364.19/364.40 v -1311
364.19/364.40 v 1312
364.19/364.40 v -1313
364.19/364.40 v -1314
364.19/364.40 v -1315
364.19/364.40 v -1316
364.19/364.40 v -1317
364.19/364.40 v 1318
364.19/364.40 v -1319
364.19/364.40 v -1320
364.19/364.40 v -1321
364.19/364.40 v -1322
364.19/364.40 v -1323
364.19/364.40 v -1324
364.19/364.40 v 1325
364.19/364.40 v -1326
364.19/364.40 v -1327
364.19/364.40 v -1328
364.19/364.40 v -1329
364.19/364.40 v -1330
364.19/364.40 v -1331
364.19/364.40 v -1332
364.19/364.40 v 1333
364.19/364.40 v -1334
364.19/364.40 v -1335
364.19/364.40 v -1336
364.19/364.40 v -1337
364.19/364.40 v -1338
364.19/364.40 v 1339
364.19/364.40 v -1340
364.19/364.40 v -1341
364.19/364.40 v 1342
364.19/364.40 v -1343
364.19/364.40 v -1344
364.19/364.40 v -1345
364.19/364.40 v -1346
364.19/364.40 v -1347
364.19/364.40 v -1348
364.19/364.40 v 1349
364.19/364.40 v -1350
364.19/364.40 v -1351
364.19/364.40 v -1352
364.19/364.40 v -1353
364.19/364.40 v 1354
364.19/364.40 v -1355
364.19/364.40 v -1356
364.19/364.40 v -1357
364.19/364.40 v -1358
364.19/364.40 v -1359
364.19/364.40 v -1360
364.19/364.40 v -1361
364.19/364.40 v 1362
364.19/364.40 v -1363
364.19/364.40 v -1364
364.19/364.40 v -1365
364.19/364.40 v -1366
364.19/364.40 v -1367
364.19/364.40 v 1368
364.19/364.40 v -1369
364.19/364.40 v -1370
364.19/364.40 v -1371
364.19/364.40 v 1372
364.19/364.40 v -1373
364.19/364.40 v -1374
364.19/364.40 v -1375
364.19/364.40 v 1376
364.19/364.40 v -1377
364.19/364.40 v -1378
364.19/364.40 v -1379
364.19/364.40 v -1380
364.19/364.40 v -1381
364.19/364.40 v -1382
364.19/364.40 v 1383
364.19/364.40 v -1384
364.19/364.40 v -1385
364.19/364.40 v 1386
364.19/364.40 v -1387
364.19/364.40 v -1388
364.19/364.40 v -1389
364.19/364.40 v -1390
364.19/364.40 v -1391
364.19/364.40 v 1392
364.19/364.40 v -1393
364.19/364.40 v -1394
364.19/364.40 v -1395
364.19/364.40 v -1396
364.19/364.40 v 1397
364.19/364.40 v -1398
364.19/364.40 v -1399
364.19/364.40 v -1400
364.19/364.40 v -1401
364.19/364.40 v -1402
364.19/364.40 v -1403
364.19/364.40 v -1404
364.19/364.40 v 1405
364.19/364.40 v -1406
364.19/364.40 v -1407
364.19/364.40 v 1408
364.19/364.40 v -1409
364.19/364.40 v -1410
364.19/364.40 v -1411
364.19/364.40 v -1412
364.19/364.40 v -1413
364.19/364.40 v -1414
364.19/364.40 v 1415
364.19/364.40 v -1416
364.19/364.40 v -1417
364.19/364.40 v -1418
364.19/364.40 v -1419
364.19/364.40 v -1420
364.19/364.40 v -1421
364.19/364.40 v 1422
364.19/364.40 v 1423
364.19/364.40 v -1424
364.19/364.40 v -1425
364.19/364.40 v -1426
364.19/364.40 v -1427
364.19/364.40 v -1428
364.19/364.40 v -1429
364.19/364.40 v -1430
364.19/364.40 v -1431
364.19/364.40 v 1432
364.28/364.40 v -1433
364.28/364.40 v -1434
364.28/364.40 v -1435
364.28/364.40 v -1436
364.28/364.40 v 1437
364.28/364.40 v -1438
364.28/364.40 v -1439
364.28/364.40 v -1440
364.28/364.40 v -1441
364.28/364.40 v -1442
364.28/364.40 v 1443
364.28/364.40 v -1444
364.28/364.40 v -1445
364.28/364.40 v -1446
364.28/364.40 v -1447
364.28/364.40 v 1448
364.28/364.40 v -1449
364.28/364.40 v -1450
364.28/364.40 v -1451
364.28/364.40 v -1452
364.28/364.40 v -1453
364.28/364.40 v 1454
364.28/364.40 v -1455
364.28/364.40 v -1456
364.28/364.40 v -1457
364.28/364.40 v 1458
364.28/364.40 v -1459
364.28/364.40 v 1460
364.28/364.40 v -1461
364.28/364.40 v -1462
364.28/364.40 v 1463
364.28/364.40 v -1464
364.28/364.40 v -1465
364.28/364.40 v 1466
364.28/364.40 v -1467
364.28/364.40 v -1468
364.28/364.40 v 1469
364.28/364.40 v -1470
364.28/364.40 v 1471
364.28/364.40 v -1472
364.28/364.40 v -1473
364.28/364.40 v 0
364.28/364.40 c Done in 364.260000 seconds
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1562018-1238770008/watcher-1562018-1238770008 -o /tmp/evaluation-result-1562018-1238770008/solver-1562018-1238770008 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/hybridGM3 HOME/instance-1562018-1238770008.cnf 1622902386
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.47 1.73 1.43 3/64 28625
/proc/meminfo: memFree=1812280/2055920 swapFree=4178784/4192956
[pid=28625] ppid=28623 vsize=260600 CPUtime=0
/proc/28625/stat : 28625 (hybridGM3) R 28623 28625 28210 0 -1 4194304 892 0 0 0 0 0 0 0 18 0 1 0 1149662629 266854400 876 1992294400 134512640 135204385 4294956208 18446744073709551615 134542712 0 0 4096 0 0 0 0 17 1 0 0
/proc/28625/statm: 65150 882 54 168 0 64980 0
[startup+0.06644 s]
/proc/loadavg: 1.47 1.73 1.43 3/64 28625
/proc/meminfo: memFree=1812280/2055920 swapFree=4178784/4192956
[pid=28625] ppid=28623 vsize=268412 CPUtime=0.06
/proc/28625/stat : 28625 (hybridGM3) R 28623 28625 28210 0 -1 4194304 2874 0 0 0 5 1 0 0 18 0 1 0 1149662629 274853888 2857 1992294400 134512640 135204385 4294956208 18446744073709551615 134548408 0 0 4096 0 0 0 0 17 1 0 0
/proc/28625/statm: 67103 2864 56 168 0 66933 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 268412
[startup+0.101442 s]
/proc/loadavg: 1.47 1.73 1.43 3/64 28625
/proc/meminfo: memFree=1812280/2055920 swapFree=4178784/4192956
[pid=28625] ppid=28623 vsize=268416 CPUtime=0.09
/proc/28625/stat : 28625 (hybridGM3) R 28623 28625 28210 0 -1 4194304 4994 0 0 0 8 1 0 0 18 0 1 0 1149662629 274857984 4977 1992294400 134512640 135204385 4294956208 18446744073709551615 134537726 0 0 4096 0 0 0 0 17 1 0 0
/proc/28625/statm: 67104 4977 62 168 0 66934 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 268416
[startup+0.301459 s]
/proc/loadavg: 1.47 1.73 1.43 3/64 28625
/proc/meminfo: memFree=1812280/2055920 swapFree=4178784/4192956
[pid=28625] ppid=28623 vsize=268416 CPUtime=0.29
/proc/28625/stat : 28625 (hybridGM3) R 28623 28625 28210 0 -1 4194304 4994 0 0 0 28 1 0 0 19 0 1 0 1149662629 274857984 4977 1992294400 134512640 135204385 4294956208 18446744073709551615 134537891 0 0 4096 0 0 0 0 17 1 0 0
/proc/28625/statm: 67104 4977 62 168 0 66934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 268416
[startup+0.701494 s]
/proc/loadavg: 1.47 1.73 1.43 3/64 28625
/proc/meminfo: memFree=1812280/2055920 swapFree=4178784/4192956
[pid=28625] ppid=28623 vsize=268416 CPUtime=0.69
/proc/28625/stat : 28625 (hybridGM3) R 28623 28625 28210 0 -1 4194304 4994 0 0 0 68 1 0 0 22 0 1 0 1149662629 274857984 4977 1992294400 134512640 135204385 4294956208 18446744073709551615 134538028 0 0 4096 0 0 0 0 17 1 0 0
/proc/28625/statm: 67104 4977 62 168 0 66934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 268416
[startup+1.50156 s]
/proc/loadavg: 1.47 1.73 1.43 2/65 28626
/proc/meminfo: memFree=1792432/2055920 swapFree=4178784/4192956
[pid=28625] ppid=28623 vsize=268416 CPUtime=1.49
/proc/28625/stat : 28625 (hybridGM3) R 28623 28625 28210 0 -1 4194304 4994 0 0 0 148 1 0 0 25 0 1 0 1149662629 274857984 4977 1992294400 134512640 135204385 4294956208 18446744073709551615 134537792 0 0 4096 0 0 0 0 17 1 0 0
/proc/28625/statm: 67104 4977 62 168 0 66934 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 268416
[startup+3.1027 s]
/proc/loadavg: 1.47 1.73 1.43 2/65 28626
/proc/meminfo: memFree=1792304/2055920 swapFree=4178784/4192956
[pid=28625] ppid=28623 vsize=268416 CPUtime=3.09
/proc/28625/stat : 28625 (hybridGM3) R 28623 28625 28210 0 -1 4194304 4994 0 0 0 308 1 0 0 25 0 1 0 1149662629 274857984 4977 1992294400 134512640 135204385 4294956208 18446744073709551615 134538432 0 0 4096 0 0 0 0 17 1 0 0
/proc/28625/statm: 67104 4977 62 168 0 66934 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 268416
[startup+6.30198 s]
/proc/loadavg: 1.43 1.72 1.43 2/65 28626
/proc/meminfo: memFree=1792240/2055920 swapFree=4178784/4192956
[pid=28625] ppid=28623 vsize=268416 CPUtime=6.28
/proc/28625/stat : 28625 (hybridGM3) R 28623 28625 28210 0 -1 4194304 4994 0 0 0 627 1 0 0 25 0 1 0 1149662629 274857984 4977 1992294400 134512640 135204385 4294956208 18446744073709551615 134538473 0 0 4096 0 0 0 0 17 1 0 0
/proc/28625/statm: 67104 4977 62 168 0 66934 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 268416
[startup+12.7015 s]
/proc/loadavg: 1.40 1.70 1.43 2/65 28626
/proc/meminfo: memFree=1792240/2055920 swapFree=4178784/4192956
[pid=28625] ppid=28623 vsize=268416 CPUtime=12.68
/proc/28625/stat : 28625 (hybridGM3) R 28623 28625 28210 0 -1 4194304 4994 0 0 0 1267 1 0 0 25 0 1 0 1149662629 274857984 4977 1992294400 134512640 135204385 4294956208 18446744073709551615 134537717 0 0 4096 0 0 0 0 17 1 0 0
/proc/28625/statm: 67104 4977 62 168 0 66934 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 268416
[startup+25.5017 s]
/proc/loadavg: 1.31 1.67 1.42 2/65 28626
/proc/meminfo: memFree=1792240/2055920 swapFree=4178784/4192956
[pid=28625] ppid=28623 vsize=268416 CPUtime=25.48
/proc/28625/stat : 28625 (hybridGM3) R 28623 28625 28210 0 -1 4194304 4994 0 0 0 2547 1 0 0 25 0 1 0 1149662629 274857984 4977 1992294400 134512640 135204385 4294956208 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/28625/statm: 67104 4977 62 168 0 66934 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 268416
[startup+51.1019 s]
/proc/loadavg: 1.27 1.63 1.41 2/65 28626
/proc/meminfo: memFree=1792304/2055920 swapFree=4178784/4192956
[pid=28625] ppid=28623 vsize=268416 CPUtime=51.08
/proc/28625/stat : 28625 (hybridGM3) R 28623 28625 28210 0 -1 4194304 4994 0 0 0 5106 2 0 0 25 0 1 0 1149662629 274857984 4977 1992294400 134512640 135204385 4294956208 18446744073709551615 134545401 0 0 4096 0 0 0 0 17 1 0 0
/proc/28625/statm: 67104 4977 62 168 0 66934 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 268416
[startup+102.305 s]
/proc/loadavg: 1.18 1.55 1.39 2/65 28626
/proc/meminfo: memFree=1792240/2055920 swapFree=4178784/4192956
[pid=28625] ppid=28623 vsize=268416 CPUtime=102.27
/proc/28625/stat : 28625 (hybridGM3) R 28623 28625 28210 0 -1 4194304 4994 0 0 0 10225 2 0 0 25 0 1 0 1149662629 274857984 4977 1992294400 134512640 135204385 4294956208 18446744073709551615 134537943 0 0 4096 0 0 0 0 17 1 0 0
/proc/28625/statm: 67104 4977 62 168 0 66934 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 268416
[startup+162.302 s]
/proc/loadavg: 1.12 1.46 1.37 2/65 28626
/proc/meminfo: memFree=1792176/2055920 swapFree=4178784/4192956
[pid=28625] ppid=28623 vsize=268416 CPUtime=162.25
/proc/28625/stat : 28625 (hybridGM3) R 28623 28625 28210 0 -1 4194304 4994 0 0 0 16223 2 0 0 25 0 1 0 1149662629 274857984 4977 1992294400 134512640 135204385 4294956208 18446744073709551615 134549101 0 0 4096 0 0 0 0 17 1 0 0
/proc/28625/statm: 67104 4977 62 168 0 66934 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 268416
[startup+222.302 s]
/proc/loadavg: 1.04 1.37 1.35 2/65 28626
/proc/meminfo: memFree=1792176/2055920 swapFree=4178784/4192956
[pid=28625] ppid=28623 vsize=268416 CPUtime=222.23
/proc/28625/stat : 28625 (hybridGM3) R 28623 28625 28210 0 -1 4194304 4994 0 0 0 22221 2 0 0 25 0 1 0 1149662629 274857984 4977 1992294400 134512640 135204385 4294956208 18446744073709551615 134538034 0 0 4096 0 0 0 0 17 1 0 0
/proc/28625/statm: 67104 4977 62 168 0 66934 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 268416
[startup+282.301 s]
/proc/loadavg: 1.01 1.30 1.32 2/65 28626
/proc/meminfo: memFree=1792112/2055920 swapFree=4178784/4192956
[pid=28625] ppid=28623 vsize=268416 CPUtime=282.22
/proc/28625/stat : 28625 (hybridGM3) R 28623 28625 28210 0 -1 4194304 4994 0 0 0 28219 3 0 0 25 0 1 0 1149662629 274857984 4977 1992294400 134512640 135204385 4294956208 18446744073709551615 134538041 0 0 4096 0 0 0 0 17 1 0 0
/proc/28625/statm: 67104 4977 62 168 0 66934 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 268416
[startup+342.301 s]
/proc/loadavg: 1.00 1.25 1.30 2/65 28626
/proc/meminfo: memFree=1792112/2055920 swapFree=4178784/4192956
[pid=28625] ppid=28623 vsize=268416 CPUtime=342.2
/proc/28625/stat : 28625 (hybridGM3) R 28623 28625 28210 0 -1 4194304 4994 0 0 0 34217 3 0 0 25 0 1 0 1149662629 274857984 4977 1992294400 134512640 135204385 4294956208 18446744073709551615 134545442 0 0 4096 0 0 0 0 17 1 0 0
/proc/28625/statm: 67104 4977 62 168 0 66934 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 268416
Solver just ended. Dumping a history of the last processes samples
[startup+345.503 s]
/proc/loadavg: 1.00 1.24 1.30 2/65 28626
/proc/meminfo: memFree=1792112/2055920 swapFree=4178784/4192956
[pid=28625] ppid=28623 vsize=268416 CPUtime=345.4
/proc/28625/stat : 28625 (hybridGM3) R 28623 28625 28210 0 -1 4194304 4994 0 0 0 34537 3 0 0 25 0 1 0 1149662629 274857984 4977 1992294400 134512640 135204385 4294956208 18446744073709551615 134537943 0 0 4096 0 0 0 0 17 1 0 0
/proc/28625/statm: 67104 4977 62 168 0 66934 0
Current children cumulated CPU time (s) 345.4
Current children cumulated vsize (KiB) 268416
[startup+351.901 s]
/proc/loadavg: 1.00 1.24 1.29 2/65 28626
/proc/meminfo: memFree=1792112/2055920 swapFree=4178784/4192956
[pid=28625] ppid=28623 vsize=268416 CPUtime=351.8
/proc/28625/stat : 28625 (hybridGM3) R 28623 28625 28210 0 -1 4194304 4994 0 0 0 35177 3 0 0 25 0 1 0 1149662629 274857984 4977 1992294400 134512640 135204385 4294956208 18446744073709551615 134538041 0 0 4096 0 0 0 0 17 1 0 0
/proc/28625/statm: 67104 4977 62 168 0 66934 0
Current children cumulated CPU time (s) 351.8
Current children cumulated vsize (KiB) 268416
[startup+358.302 s]
/proc/loadavg: 1.00 1.23 1.29 2/65 28626
/proc/meminfo: memFree=1792112/2055920 swapFree=4178784/4192956
[pid=28625] ppid=28623 vsize=268416 CPUtime=358.2
/proc/28625/stat : 28625 (hybridGM3) R 28623 28625 28210 0 -1 4194304 4994 0 0 0 35817 3 0 0 25 0 1 0 1149662629 274857984 4977 1992294400 134512640 135204385 4294956208 18446744073709551615 134537854 0 0 4096 0 0 0 0 17 1 0 0
/proc/28625/statm: 67104 4977 62 168 0 66934 0
Current children cumulated CPU time (s) 358.2
Current children cumulated vsize (KiB) 268416
[startup+361.501 s]
/proc/loadavg: 1.00 1.23 1.29 2/65 28626
/proc/meminfo: memFree=1792112/2055920 swapFree=4178784/4192956
[pid=28625] ppid=28623 vsize=268416 CPUtime=361.39
/proc/28625/stat : 28625 (hybridGM3) R 28623 28625 28210 0 -1 4194304 4994 0 0 0 36136 3 0 0 25 0 1 0 1149662629 274857984 4977 1992294400 134512640 135204385 4294956208 18446744073709551615 134538034 0 0 4096 0 0 0 0 17 1 0 0
/proc/28625/statm: 67104 4977 62 168 0 66934 0
Current children cumulated CPU time (s) 361.39
Current children cumulated vsize (KiB) 268416
[startup+363.101 s]
/proc/loadavg: 1.00 1.22 1.29 2/65 28626
/proc/meminfo: memFree=1792112/2055920 swapFree=4178784/4192956
[pid=28625] ppid=28623 vsize=268416 CPUtime=362.99
/proc/28625/stat : 28625 (hybridGM3) R 28623 28625 28210 0 -1 4194304 4994 0 0 0 36296 3 0 0 25 0 1 0 1149662629 274857984 4977 1992294400 134512640 135204385 4294956208 18446744073709551615 134538061 0 0 4096 0 0 0 0 17 1 0 0
/proc/28625/statm: 67104 4977 62 168 0 66934 0
Current children cumulated CPU time (s) 362.99
Current children cumulated vsize (KiB) 268416
[startup+363.901 s]
/proc/loadavg: 1.00 1.22 1.29 2/65 28626
/proc/meminfo: memFree=1792112/2055920 swapFree=4178784/4192956
[pid=28625] ppid=28623 vsize=268416 CPUtime=363.79
/proc/28625/stat : 28625 (hybridGM3) R 28623 28625 28210 0 -1 4194304 4994 0 0 0 36376 3 0 0 25 0 1 0 1149662629 274857984 4977 1992294400 134512640 135204385 4294956208 18446744073709551615 134538361 0 0 4096 0 0 0 0 17 1 0 0
/proc/28625/statm: 67104 4977 62 168 0 66934 0
Current children cumulated CPU time (s) 363.79
Current children cumulated vsize (KiB) 268416
[startup+364.301 s]
/proc/loadavg: 1.00 1.22 1.29 2/65 28626
/proc/meminfo: memFree=1792112/2055920 swapFree=4178784/4192956
[pid=28625] ppid=28623 vsize=268416 CPUtime=364.19
/proc/28625/stat : 28625 (hybridGM3) R 28623 28625 28210 0 -1 4194304 4994 0 0 0 36416 3 0 0 25 0 1 0 1149662629 274857984 4977 1992294400 134512640 135204385 4294956208 18446744073709551615 134538266 0 0 4096 0 0 0 0 17 1 0 0
/proc/28625/statm: 67104 4977 62 168 0 66934 0
Current children cumulated CPU time (s) 364.19
Current children cumulated vsize (KiB) 268416
[startup+364.401 s]
/proc/loadavg: 1.00 1.22 1.29 2/65 28626
/proc/meminfo: memFree=1792112/2055920 swapFree=4178784/4192956
[pid=28625] ppid=28623 vsize=0 CPUtime=364.28
/proc/28625/stat : 28625 (hybridGM3) R 28623 28625 28210 0 -1 4194308 5007 0 0 0 36425 3 0 0 16 0 1 0 1149662629 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/28625/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 364.28
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 364.401
CPU time (s): 364.298
CPU user time (s): 364.258
CPU system time (s): 0.039993
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 268416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 364.258
system time used= 0.039993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5007
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 505
runsolver used 0.268959 second user time and 0.780881 second system time
The end
Begin job on node57 at 2009-04-03 16:46:48
IDJOB=1562018
IDBENCH=70926
IDSOLVER=534
FILE ID=node57/1562018-1238770008
PBS_JOBID= 9085510
Free space on /tmp= 66544 MiB
SOLVER NAME= hybridGM3 3
BENCH NAME= SAT09/APPLICATIONS/edgematching/all/em_7_3_6_all.cnf
COMMAND LINE= HOME/hybridGM3 BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1562018-1238770008/watcher-1562018-1238770008 -o /tmp/evaluation-result-1562018-1238770008/solver-1562018-1238770008 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/hybridGM3 HOME/instance-1562018-1238770008.cnf 1622902386
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3264a66e18d5550049c950d1156ee464
RANDOM SEED=1622902386
node57.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1812696 kB
Buffers: 28092 kB
Cached: 136980 kB
SwapCached: 7784 kB
Active: 74272 kB
Inactive: 100052 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1812696 kB
SwapTotal: 4192956 kB
SwapFree: 4178784 kB
Dirty: 1532 kB
Writeback: 0 kB
Mapped: 15020 kB
Slab: 54936 kB
Committed_AS: 2929056 kB
PageTables: 1392 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66544 MiB
End job on node57 at 2009-04-03 16:52:53