0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.35 name=/tmp/evaluation/275786-1169227173/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.58 nbVariables=2786 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.59 => wckTime=0.269 cpuTime=0.19 mem=11M769
0.59
0.59 predicates being loaded...
0.59
0.59 constraints being loaded...
1.34 nbConstraints=4821 nbSingletonDomainVariables=336 nbConvertedConstraints=3904 nbConvertConstraintsChecks=1095
1.34 nbExtensionStructures=9 nbSharedExtensionStructures=3895 nbConflictsStructures=112
1.34 nbSharedConflictsStructures=4709 nbSharedBinaryRepresentations=21 nbEvaluationManagers=103
1.34 nbSharedEvaluationManagers=814 maxDegree=32 maxArity=5
1.34 => wckTime=1.024 cpuTime=0.86 mem=40M50
1.44
1.44 solver LocalSearchSolver being built...
1.48 => wckTime=1.167 cpuTime=0.91 mem=11M238
1.51
1.51 s SATISFIABLE
1.51 o 3879
1.51 c 942
1.51 o 3892
1.51 c 929
1.52 o 3904
1.52 c 917
1.52 o 3914
1.52 c 907
1.52 o 3924
1.52 c 897
1.52 o 3934
1.52 c 887
1.52 o 3944
1.52 c 877
1.52 o 3953
1.52 c 868
1.52 o 3962
1.52 c 859
1.53 o 3971
1.53 c 850
1.53 o 3979
1.53 c 842
1.53 o 3986
1.53 c 835
1.53 o 3992
1.53 c 829
1.53 o 3997
1.53 c 824
1.53 o 4002
1.54 c 819
1.54 o 4007
1.54 c 814
1.54 o 4011
1.54 c 810
1.54 o 4015
1.54 c 806
1.54 o 4019
1.54 c 802
1.54 o 4023
1.54 c 798
1.54 o 4027
1.54 c 794
1.55 o 4031
1.55 c 790
1.55 o 4035
1.55 c 786
1.55 o 4039
1.55 c 782
1.55 o 4042
1.55 c 779
1.55 o 4045
1.55 c 776
1.56 o 4048
1.56 c 773
1.56 o 4051
1.56 c 770
1.56 o 4054
1.56 c 767
1.56 o 4057
1.56 c 764
1.56 o 4060
1.56 c 761
1.56 o 4063
1.56 c 758
1.56 o 4066
1.56 c 755
1.57 o 4069
1.57 c 752
1.57 o 4072
1.57 c 749
1.57 o 4075
1.57 c 746
1.57 o 4078
1.57 c 743
1.57 o 4081
1.57 c 740
1.57 o 4084
1.57 c 737
1.57 o 4087
1.58 c 734
1.58 o 4090
1.58 c 731
1.58 o 4093
1.58 c 728
1.58 o 4096
1.58 c 725
1.58 o 4099
1.58 c 722
1.58 o 4102
1.58 c 719
1.58 o 4105
1.58 c 716
1.59 o 4108
1.59 c 713
1.59 o 4111
1.59 c 710
1.59 o 4113
1.59 c 708
1.59 o 4115
1.59 c 706
1.59 o 4117
1.59 c 704
1.59 o 4119
1.59 c 702
1.59 o 4121
1.59 c 700
1.59 o 4123
1.60 c 698
1.60 o 4125
1.60 c 696
1.60 o 4127
1.60 c 694
1.60 o 4129
1.60 c 692
1.60 o 4131
1.60 c 690
1.60 o 4133
1.60 c 688
1.60 o 4135
1.60 c 686
1.61 o 4137
1.61 c 684
1.61 o 4139
1.61 c 682
1.61 o 4141
1.61 c 680
1.61 o 4143
1.61 c 678
1.61 o 4145
1.61 c 676
1.61 o 4147
1.61 c 674
1.61 o 4149
1.61 c 672
1.62 o 4151
1.62 c 670
1.62 o 4153
1.62 c 668
1.62 o 4155
1.62 c 666
1.62 o 4157
1.62 c 664
1.62 o 4159
1.62 c 662
1.62 o 4161
1.62 c 660
1.62 o 4163
1.62 c 658
1.63 o 4165
1.63 c 656
1.63 o 4167
1.63 c 654
1.63 o 4169
1.63 c 652
1.63 o 4171
1.63 c 650
1.63 o 4173
1.63 c 648
1.63 o 4175
1.63 c 646
1.63 o 4177
1.64 c 644
1.64 o 4179
1.64 c 642
1.64 o 4181
1.64 c 640
1.64 o 4183
1.64 c 638
1.64 o 4185
1.64 c 636
1.64 o 4187
1.64 c 634
1.64 o 4189
1.64 c 632
1.65 o 4191
1.65 c 630
1.65 o 4193
1.65 c 628
1.65 o 4195
1.65 c 626
1.65 o 4197
1.65 c 624
1.65 o 4199
1.65 c 622
1.65 o 4201
1.65 c 620
1.66 o 4203
1.66 c 618
1.66 o 4205
1.66 c 616
1.66 o 4207
1.66 c 614
1.66 o 4209
1.66 c 612
1.66 o 4211
1.66 c 610
1.66 o 4213
1.66 c 608
1.66 o 4215
1.66 c 606
1.67 o 4217
1.67 c 604
1.67 o 4219
1.67 c 602
1.67 o 4221
1.67 c 600
1.67 o 4223
1.67 c 598
1.67 o 4225
1.67 c 596
1.67 o 4227
1.67 c 594
1.68 o 4229
1.68 c 592
1.68 o 4231
1.68 c 590
1.68 o 4233
1.68 c 588
1.68 o 4235
1.68 c 586
1.68 o 4237
1.68 c 584
1.68 o 4239
1.68 c 582
1.68 o 4241
1.68 c 580
1.69 o 4243
1.69 c 578
1.69 o 4245
1.69 c 576
1.69 o 4247
1.69 c 574
1.69 o 4249
1.69 c 572
1.69 o 4251
1.69 c 570
1.69 o 4253
1.69 c 568
1.69 o 4255
1.69 c 566
1.70 o 4257
1.70 c 564
1.70 o 4258
1.70 c 563
1.70 o 4259
1.70 c 562
1.70 o 4260
1.70 c 561
1.70 o 4261
1.70 c 560
1.70 o 4262
1.70 c 559
1.70 o 4263
1.71 c 558
1.71 o 4264
1.71 c 557
1.71 o 4265
1.71 c 556
1.71 o 4266
1.71 c 555
1.71 o 4267
1.71 c 554
1.71 o 4268
1.71 c 553
1.71 o 4269
1.71 c 552
1.72 o 4270
1.72 c 551
1.72 o 4271
1.72 c 550
1.72 o 4272
1.72 c 549
1.72 o 4273
1.72 c 548
1.72 o 4274
1.72 c 547
1.72 o 4275
1.72 c 546
1.72 o 4276
1.72 c 545
1.72 o 4277
1.72 c 544
1.73 o 4278
1.73 c 543
1.73 o 4279
1.73 c 542
1.73 o 4280
1.73 c 541
1.73 o 4281
1.73 c 540
1.73 o 4282
1.73 c 539
1.73 o 4283
1.73 c 538
1.73 o 4284
1.74 c 537
1.74 o 4285
1.74 c 536
1.74 o 4286
1.74 c 535
1.74 o 4287
1.74 c 534
1.74 o 4288
1.74 c 533
1.74 o 4289
1.74 c 532
1.74 o 4290
1.74 c 531
1.75 o 4291
1.75 c 530
1.75 o 4292
1.75 c 529
1.75 o 4293
1.75 c 528
1.75 o 4294
1.75 c 527
1.75 o 4295
1.75 c 526
1.75 o 4296
1.75 c 525
1.76 o 4297
1.76 c 524
1.76 o 4298
1.76 c 523
1.76 o 4299
1.76 c 522
1.76 o 4300
1.76 c 521
1.77 o 4301
1.77 c 520
1.77 o 4302
1.77 c 519
1.77 o 4303
1.77 c 518
1.77 o 4304
1.77 c 517
1.78 o 4305
1.78 c 516
1.78 o 4306
1.78 c 515
1.78 o 4307
1.78 c 514
1.79 o 4308
1.79 c 513
1.79 o 4309
1.79 c 512
1.79 o 4310
1.79 c 511
1.80 o 4311
1.80 c 510
1.80 o 4312
1.80 c 509
1.80 o 4313
1.80 c 508
1.80 o 4314
1.80 c 507
1.81 o 4315
1.81 c 506
1.81 o 4316
1.81 c 505
1.81 o 4317
1.81 c 504
1.82 o 4318
1.82 c 503
1.82 o 4319
1.82 c 502
1.82 o 4320
1.82 c 501
1.82 o 4321
1.82 c 500
1.83 o 4322
1.83 c 499
1.83 o 4323
1.83 c 498
1.83 o 4324
1.83 c 497
1.84 o 4325
1.84 c 496
1.84 o 4326
1.84 c 495
1.84 o 4327
1.84 c 494
1.84 o 4328
1.84 c 493
1.85 o 4329
1.85 c 492
1.85 o 4330
1.85 c 491
1.85 o 4331
1.85 c 490
1.85 o 4332
1.85 c 489
1.86 o 4333
1.86 c 488
1.86 o 4334
1.86 c 487
1.86 o 4335
1.86 c 486
1.87 o 4336
1.87 c 485
1.87 o 4337
1.87 c 484
1.87 o 4338
1.87 c 483
1.87 o 4339
1.87 c 482
1.88 o 4340
1.88 c 481
1.88 o 4341
1.88 c 480
1.88 o 4342
1.88 c 479
1.88 o 4343
1.89 c 478
1.89 o 4344
1.89 c 477
1.89 o 4345
1.89 c 476
1.89 o 4346
1.89 c 475
1.90 o 4347
1.90 c 474
1.90 o 4348
1.90 c 473
1.90 o 4349
1.90 c 472
1.91 o 4350
1.91 c 471
1.91 o 4351
1.91 c 470
1.91 o 4352
1.91 c 469
1.91 o 4353
1.91 c 468
1.92 o 4354
1.92 c 467
1.92 o 4355
1.92 c 466
1.92 o 4356
1.92 c 465
1.93 o 4357
1.93 c 464
1.93 o 4358
1.93 c 463
1.93 o 4359
1.93 c 462
1.93 o 4360
1.93 c 461
1.94 o 4361
1.94 c 460
1.94 o 4362
1.94 c 459
1.94 o 4363
1.94 c 458
1.94 o 4364
1.94 c 457
1.95 o 4365
1.95 c 456
1.95 o 4366
1.95 c 455
1.95 o 4367
1.95 c 454
1.96 o 4368
1.96 c 453
1.96 o 4369
1.96 c 452
1.96 o 4370
1.96 c 451
1.96 o 4371
1.96 c 450
1.97 o 4372
1.97 c 449
1.97 o 4373
1.97 c 448
1.97 o 4374
1.97 c 447
1.97 o 4375
1.97 c 446
1.98 o 4376
1.98 c 445
1.98 o 4377
1.98 c 444
1.98 o 4378
1.98 c 443
1.98 o 4379
1.98 c 442
1.99 o 4380
1.99 c 441
1.99 o 4381
1.99 c 440
1.99 o 4382
1.99 c 439
1.99 o 4383
1.99 c 438
2.00 o 4384
2.00 c 437
2.00 o 4385
2.00 c 436
2.00 o 4386
2.00 c 435
2.00 o 4387
2.00 c 434
2.01 o 4388
2.01 c 433
2.01 o 4389
2.01 c 432
2.01 o 4390
2.01 c 431
2.01 o 4391
2.01 c 430
2.01 o 4392
2.01 c 429
2.02 o 4393
2.02 c 428
2.02 o 4394
2.02 c 427
2.02 o 4395
2.02 c 426
2.02 o 4396
2.02 c 425
2.03 o 4397
2.03 c 424
2.03 o 4398
2.03 c 423
2.03 o 4399
2.03 c 422
2.03 o 4400
2.03 c 421
2.04 o 4401
2.04 c 420
2.04 o 4402
2.04 c 419
2.04 o 4403
2.04 c 418
2.04 o 4404
2.04 c 417
2.05 o 4405
2.05 c 416
2.05 o 4406
2.05 c 415
2.05 o 4407
2.05 c 414
2.05 o 4408
2.05 c 413
2.06 o 4409
2.06 c 412
2.06 o 4410
2.06 c 411
2.06 o 4411
2.06 c 410
2.06 o 4412
2.06 c 409
2.07 o 4413
2.07 c 408
2.07 o 4414
2.07 c 407
2.07 o 4415
2.07 c 406
2.07 o 4416
2.07 c 405
2.08 o 4417
2.08 c 404
2.08 o 4418
2.08 c 403
2.08 o 4419
2.08 c 402
2.08 o 4420
2.08 c 401
2.08 o 4421
2.08 c 400
2.09 o 4422
2.09 c 399
2.09 o 4423
2.09 c 398
2.09 o 4424
2.09 c 397
2.09 o 4425
2.09 c 396
2.10 o 4426
2.10 c 395
2.10 o 4427
2.10 c 394
2.10 o 4428
2.10 c 393
2.10 o 4429
2.10 c 392
2.10 o 4430
2.10 c 391
2.11 o 4431
2.11 c 390
2.11 o 4432
2.11 c 389
2.11 o 4433
2.11 c 388
2.11 o 4434
2.11 c 387
2.12 o 4435
2.12 c 386
2.12 o 4436
2.12 c 385
2.12 o 4437
2.12 c 384
2.12 o 4438
2.12 c 383
2.12 o 4439
2.12 c 382
2.13 o 4440
2.13 c 381
2.13 o 4441
2.13 c 380
2.13 o 4442
2.13 c 379
2.13 o 4443
2.13 c 378
2.14 o 4444
2.14 c 377
2.14 o 4445
2.14 c 376
2.14 o 4446
2.14 c 375
2.14 o 4447
2.14 c 374
2.15 o 4448
2.15 c 373
2.15 o 4449
2.15 c 372
2.15 o 4450
2.15 c 371
2.15 o 4451
2.15 c 370
2.16 o 4452
2.16 c 369
2.16 o 4453
2.16 c 368
2.16 o 4454
2.16 c 367
2.16 o 4455
2.16 c 366
2.16 o 4456
2.16 c 365
2.17 o 4457
2.17 c 364
2.17 o 4458
2.17 c 363
2.17 o 4459
2.17 c 362
2.17 o 4460
2.17 c 361
2.18 o 4461
2.18 c 360
2.18 o 4462
2.18 c 359
2.18 o 4463
2.18 c 358
2.18 o 4464
2.18 c 357
2.18 o 4465
2.18 c 356
2.19 o 4466
2.19 c 355
2.19 o 4467
2.19 c 354
2.19 o 4468
2.19 c 353
2.20 o 4469
2.20 c 352
2.20 o 4470
2.20 c 351
2.20 o 4471
2.20 c 350
2.20 o 4472
2.20 c 349
2.20 o 4473
2.20 c 348
2.21 o 4474
2.21 c 347
2.21 o 4475
2.21 c 346
2.21 o 4476
2.21 c 345
2.21 o 4477
2.21 c 344
2.21 o 4478
2.21 c 343
2.22 o 4479
2.22 c 342
2.22 o 4480
2.22 c 341
2.22 o 4481
2.22 c 340
2.22 o 4482
2.22 c 339
2.22 o 4483
2.23 c 338
2.23 o 4484
2.23 c 337
2.23 o 4485
2.23 c 336
2.23 o 4486
2.23 c 335
2.23 o 4487
2.23 c 334
2.23 o 4488
2.23 c 333
2.24 o 4489
2.24 c 332
2.24 o 4490
2.24 c 331
2.24 o 4491
2.24 c 330
2.24 o 4492
2.24 c 329
2.24 o 4493
2.24 c 328
2.25 o 4494
2.25 c 327
2.25 o 4495
2.25 c 326
2.25 o 4496
2.25 c 325
2.25 o 4497
2.25 c 324
2.26 o 4498
2.26 c 323
2.26 o 4499
2.26 c 322
2.27 o 4500
2.27 c 321
2.27 o 4501
2.27 c 320
2.27 o 4502
2.27 c 319
2.27 o 4503
2.27 c 318
2.27 o 4504
2.27 c 317
2.28 o 4505
2.28 c 316
2.28 o 4506
2.28 c 315
2.28 o 4507
2.28 c 314
2.28 o 4508
2.28 c 313
2.28 o 4509
2.28 c 312
2.29 o 4510
2.29 c 311
2.29 o 4511
2.29 c 310
2.29 o 4512
2.29 c 309
2.29 o 4513
2.29 c 308
2.29 o 4514
2.29 c 307
2.30 o 4515
2.30 c 306
2.30 o 4516
2.30 c 305
2.30 o 4517
2.30 c 304
2.30 o 4518
2.30 c 303
2.30 o 4519
2.30 c 302
2.30 o 4520
2.30 c 301
2.31 o 4521
2.31 c 300
2.31 o 4522
2.31 c 299
2.31 o 4523
2.31 c 298
2.31 o 4524
2.31 c 297
2.31 o 4525
2.31 c 296
2.32 o 4526
2.32 c 295
2.32 o 4527
2.32 c 294
2.32 o 4528
2.32 c 293
2.32 o 4529
2.32 c 292
2.32 o 4530
2.32 c 291
2.32 o 4531
2.32 c 290
2.33 o 4532
2.33 c 289
2.33 o 4533
2.33 c 288
2.33 o 4534
2.33 c 287
2.33 o 4535
2.33 c 286
2.33 o 4536
2.33 c 285
2.33 o 4537
2.33 c 284
2.34 o 4538
2.34 c 283
2.34 o 4539
2.34 c 282
2.34 o 4540
2.34 c 281
2.34 o 4541
2.34 c 280
2.34 o 4542
2.34 c 279
2.35 o 4543
2.35 c 278
2.35 o 4544
2.35 c 277
2.35 o 4545
2.35 c 276
2.35 o 4546
2.35 c 275
2.35 o 4547
2.35 c 274
2.35 o 4548
2.35 c 273
2.36 o 4549
2.36 c 272
2.36 o 4550
2.36 c 271
2.36 o 4551
2.36 c 270
2.36 o 4552
2.36 c 269
2.36 o 4553
2.36 c 268
2.36 o 4554
2.36 c 267
2.37 o 4555
2.37 c 266
2.37 o 4556
2.37 c 265
2.37 o 4557
2.37 c 264
2.37 o 4558
2.37 c 263
2.37 o 4559
2.37 c 262
2.37 o 4560
2.37 c 261
2.38 o 4561
2.38 c 260
2.38 o 4562
2.38 c 259
2.38 o 4563
2.38 c 258
2.38 o 4564
2.38 c 257
2.38 o 4565
2.38 c 256
2.39 o 4566
2.39 c 255
2.39 o 4567
2.39 c 254
2.39 o 4568
2.39 c 253
2.39 o 4569
2.39 c 252
2.39 o 4570
2.39 c 251
2.39 o 4571
2.39 c 250
2.40 o 4572
2.40 c 249
2.40 o 4573
2.40 c 248
2.40 o 4574
2.40 c 247
2.40 o 4575
2.40 c 246
2.40 o 4576
2.40 c 245
2.40 o 4577
2.40 c 244
2.40 o 4578
2.40 c 243
2.41 o 4579
2.41 c 242
2.41 o 4580
2.41 c 241
2.41 o 4581
2.41 c 240
2.41 o 4582
2.41 c 239
2.41 o 4583
2.41 c 238
2.41 o 4584
2.41 c 237
2.42 o 4585
2.42 c 236
2.42 o 4586
2.42 c 235
2.42 o 4587
2.42 c 234
2.42 o 4588
2.42 c 233
2.42 o 4589
2.42 c 232
2.42 o 4590
2.42 c 231
2.43 o 4591
2.43 c 230
2.43 o 4592
2.43 c 229
2.43 o 4593
2.43 c 228
2.43 o 4594
2.43 c 227
2.43 o 4595
2.43 c 226
2.43 o 4596
2.43 c 225
2.44 o 4597
2.44 c 224
2.44 o 4598
2.44 c 223
2.44 o 4599
2.44 c 222
2.44 o 4600
2.44 c 221
2.44 o 4601
2.44 c 220
2.44 o 4602
2.44 c 219
2.44 o 4603
2.44 c 218
2.45 o 4604
2.45 c 217
2.45 o 4605
2.45 c 216
2.45 o 4606
2.45 c 215
2.45 o 4607
2.45 c 214
2.45 o 4608
2.45 c 213
2.45 o 4609
2.45 c 212
2.45 o 4610
2.46 c 211
2.46 o 4611
2.46 c 210
2.46 o 4612
2.46 c 209
2.46 o 4613
2.46 c 208
2.46 o 4614
2.46 c 207
2.49 o 4615
2.49 c 206
2.61 o 4616
2.61 c 205
2.61 o 4617
2.61 c 204
2.61 o 4618
2.61 c 203
2.61 o 4619
2.61 c 202
2.61 o 4620
2.61 c 201
2.62 o 4621
2.62 c 200
2.62 o 4622
2.62 c 199
2.62 o 4623
2.62 c 198
2.62 o 4626
2.62 c 195
2.63 o 4627
2.63 c 194
2.63 o 4628
2.63 c 193
2.63 o 4629
2.63 c 192
2.63 o 4630
2.63 c 191
2.63 o 4631
2.63 c 190
2.63 o 4632
2.63 c 189
2.64 o 4637
2.64 c 184
2.64 o 4638
2.64 c 183
2.64 o 4639
2.64 c 182
2.64 o 4640
2.64 c 181
2.64 o 4641
2.64 c 180
2.64 o 4642
2.65 c 179
2.65 o 4643
2.65 c 178
2.65 o 4647
2.65 c 174
2.65 o 4648
2.65 c 173
2.65 o 4649
2.65 c 172
2.66 o 4650
2.66 c 171
2.66 o 4652
2.66 c 169
2.66 o 4653
2.66 c 168
2.66 o 4657
2.67 c 164
2.67 o 4658
2.67 c 163
2.67 o 4662
2.67 c 159
2.67 o 4663
2.67 c 158
2.68 o 4664
2.68 c 157
2.68 o 4665
2.68 c 156
2.68 o 4666
2.68 c 155
2.69 o 4667
2.69 c 154
2.69 o 4668
2.69 c 153
2.69 o 4669
2.69 c 152
2.69 o 4670
2.69 c 151
2.70 o 4671
2.70 c 150
2.70 o 4672
2.70 c 149
2.70 o 4673
2.70 c 148
2.71 o 4674
2.71 c 147
2.72 o 4679
2.72 c 142
2.72 o 4680
2.72 c 141
2.73 o 4682
2.73 c 139
2.73 o 4683
2.73 c 138
2.78 o 4684
2.78 c 137
2.78 o 4685
2.78 c 136
2.78 o 4686
2.78 c 135
2.79 o 4687
2.79 c 134
2.79 o 4688
2.79 c 133
2.79 o 4689
2.79 c 132
2.79 o 4691
2.79 c 130
2.80 o 4692
2.80 c 129
2.80 o 4693
2.80 c 128
2.80 o 4694
2.80 c 127
2.81 o 4695
2.81 c 126
2.81 o 4696
2.81 c 125
2.87 o 4698
2.87 c 123
2.88 o 4699
2.88 c 122
3.04 o 4700
3.04 c 121
3.04 o 4701
3.04 c 120
3.05 o 4702
3.05 c 119
3.05 o 4703
3.05 c 118
3.05 o 4704
3.05 c 117
3.06 o 4705
3.06 c 116
3.06 o 4706
3.06 c 115
3.06 o 4707
3.06 c 114
3.06 o 4708
3.06 c 113
3.06 o 4709
3.06 c 112
3.07 o 4710
3.07 c 111
3.11 o 4711
3.11 c 110
3.11 o 4712
3.11 c 109
3.12 o 4713
3.12 c 108
3.12 o 4714
3.12 c 107
3.12 o 4715
3.12 c 106
3.12 o 4716
3.12 c 105
3.14 o 4717
3.14 c 104
3.14 o 4718
3.14 c 103
3.15 o 4720
3.15 c 101
3.16 o 4722
3.16 c 99
3.17 o 4723
3.17 c 98
3.17 o 4724
3.17 c 97
3.18 o 4725
3.18 c 96
3.18 o 4726
3.18 c 95
3.18 o 4727
3.18 c 94
3.18 o 4728
3.18 c 93
3.18 o 4730
3.18 c 91
3.19 o 4731
3.19 c 90
3.19 o 4732
3.19 c 89
3.19 o 4733
3.19 c 88
3.19 o 4734
3.19 c 87
3.20 o 4735
3.20 c 86
3.20 o 4736
3.20 c 85
3.20 o 4737
3.20 c 84
3.28 o 4738
3.28 c 83
3.31 o 4739
3.31 c 82
3.32 o 4740
3.32 c 81
3.32 o 4741
3.32 c 80
3.32 o 4742
3.32 c 79
3.35 o 4743
3.35 c 78
3.36 o 4744
3.36 c 77
3.36 o 4745
3.36 c 76
3.37 o 4746
3.37 c 75
3.38 o 4747
3.38 c 74
3.38 o 4748
3.38 c 73
3.38 o 4749
3.38 c 72
3.38 o 4750
3.38 c 71
3.39 o 4751
3.39 c 70
3.39 o 4752
3.39 c 69
3.39 o 4753
3.39 c 68
3.39 o 4754
3.39 c 67
3.40 o 4755
3.40 c 66
3.41 o 4756
3.41 c 65
3.41 o 4757
3.41 c 64
3.41 o 4758
3.41 c 63
3.41 o 4759
3.41 c 62
3.41 o 4760
3.41 c 61
3.42 o 4761
3.42 c 60
3.43 o 4762
3.43 c 59
3.45 o 4763
3.45 c 58
3.46 o 4764
3.46 c 57
3.46 o 4765
3.46 c 56
3.47 o 4766
3.47 c 55
3.51 o 4767
3.51 c 54
3.51 o 4768
3.51 c 53
3.52 o 4769
3.52 c 52
3.58 o 4770
3.58 c 51
3.58 o 4771
3.58 c 50
3.59 o 4772
3.59 c 49
3.59 o 4773
3.59 c 48
3.65 o 4774
3.65 c 47
3.66 o 4775
3.66 c 46
3.72 o 4776
3.72 c 45
3.72 o 4777
3.72 c 44
3.73 o 4778
3.73 c 43
3.74 o 4779
3.74 c 42
3.74 o 4780
3.74 c 41
3.74 o 4781
3.74 c 40
3.75 o 4782
3.75 c 39
3.75 o 4783
3.75 c 38
3.75 o 4784
3.75 c 37
3.79 o 4785
3.79 c 36
3.79 o 4786
3.79 c 35
3.82 o 4787
3.82 c 34
3.82 o 4788
3.82 c 33
3.82 o 4789
3.82 c 32
3.84 o 4790
3.84 c 31
3.85 o 4791
3.85 c 30
3.90 o 4792
3.90 c 29
3.91 o 4793
3.91 c 28
3.95 o 4794
3.95 c 27
3.96 o 4796
3.96 c 25
3.97 o 4797
3.97 c 24
4.03 o 4798
4.03 c 23
4.04 o 4799
4.04 c 22
4.05 o 4800
4.05 c 21
4.23 o 4801
4.23 c 20
4.31 o 4803
4.31 c 18
4.33 o 4804
4.33 c 17
4.46 o 4805
4.46 c 16
4.83 o 4807
4.83 c 14
4.83 o 4808
4.83 c 13
4.86 o 4809
4.86 c 12
4.87 o 4810
4.87 c 11
5.09
5.09 search
5.09 run=0 nbConstraintChecks=3333961 nbAssignments=10000
5.09 => wckTime=3.606 cpuTime=3.5 mem=11M238
5.12 o 4811
5.12 c 10
5.17 o 4812
5.17 c 9
5.19 o 4813
5.19 c 8
5.69 o 4814
5.69 c 7
5.70 o 4815
5.70 c 6
5.72 o 4816
5.72 c 5
7.06 o 4817
7.06 c 4
8.18
8.18 search
8.18 run=1 nbConstraintChecks=6695835 nbAssignments=20000
8.18 => wckTime=6.699 cpuTime=6.58 mem=11M238
8.21 o 4818
8.21 c 3
8.98 o 4819
8.98 c 2
10.99
10.99 search
10.99 run=2 nbConstraintChecks=9676582 nbAssignments=30000
10.99 => wckTime=9.513 cpuTime=9.4 mem=11M238
11.53 o 4820
11.53 c 1
11.53
11.53 search
11.53 run=3 nbConstraintChecks=10548364 nbAssignments=30812
11.53 => wckTime=10.053 cpuTime=9.94 mem=11M238
11.54
11.54 global
11.54 nbConstraintChecks=10548364 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
11.54 solvingWckTime=10.047 solvingCpuTime=9.93 expiredTime=no totalExploration=no nbFoundSolutions=0
11.54 globalCpuTime=10.9
11.54 => wckTime=11.221 cpuTime=10.85 mem=12M212
11.54
11.54 solver IterativeSystematicSolver being built...
11.83 => wckTime=11.512 cpuTime=11.08 mem=39M725
35.58
35.58 preprocessing
35.58 nbConstraintChecks=3936161 nbValidityChecks=1028892 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.58 nbRemovedValues=0 detectedInconsistency=no
35.58 => wckTime=23.743 cpuTime=23.68 mem=39M725
36.66
36.66 search
36.66 run=0 nbConstraintChecks=149309 nbValidityChecks=47088 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.66 nbAssignments=100 nbFailedAssignments=3 nbBacktracks=27 nbVisitedNodes=104 nbRestartNogoods=0
36.66 => wckTime=24.831 cpuTime=24.76 mem=39M725
38.32
38.32 search
38.32 run=1 nbConstraintChecks=453774 nbValidityChecks=148931 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.32 nbAssignments=279 nbFailedAssignments=7 nbBacktracks=47 nbVisitedNodes=288 nbRestartNogoods=2
38.32 => wckTime=26.49 cpuTime=26.4 mem=39M725
39.91
39.91 search
39.91 run=2 nbConstraintChecks=823673 nbValidityChecks=250428 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.91 nbAssignments=456 nbFailedAssignments=9 nbBacktracks=124 nbVisitedNodes=467 nbRestartNogoods=4
39.91 => wckTime=28.084 cpuTime=28.0 mem=39M725
41.26
41.26 search
41.26 run=3 nbConstraintChecks=1065765 nbValidityChecks=324157 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.26 nbAssignments=611 nbFailedAssignments=12 nbBacktracks=193 nbVisitedNodes=625 nbRestartNogoods=5
41.26 => wckTime=29.433 cpuTime=29.34 mem=39M725
43.14
43.14 search
43.14 run=4 nbConstraintChecks=1381939 nbValidityChecks=428886 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.14 nbAssignments=773 nbFailedAssignments=35 nbBacktracks=245 nbVisitedNodes=813 nbRestartNogoods=6
43.14 => wckTime=31.315 cpuTime=31.22 mem=39M725
45.07
45.07 search
45.07 run=5 nbConstraintChecks=1790240 nbValidityChecks=565567 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
45.07 nbAssignments=1009 nbFailedAssignments=39 nbBacktracks=326 nbVisitedNodes=1054 nbRestartNogoods=9
45.07 => wckTime=33.238 cpuTime=33.15 mem=39M725
47.54
47.54 search
47.54 run=6 nbConstraintChecks=2228240 nbValidityChecks=706648 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
47.54 nbAssignments=1225 nbFailedAssignments=62 nbBacktracks=441 nbVisitedNodes=1296 nbRestartNogoods=11
47.54 => wckTime=35.715 cpuTime=35.62 mem=39M725
52.07
52.07 search
52.07 run=7 nbConstraintChecks=3310315 nbValidityChecks=1056914 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
52.07 nbAssignments=1712 nbFailedAssignments=91 nbBacktracks=650 nbVisitedNodes=1817 nbRestartNogoods=14
52.07 => wckTime=40.239 cpuTime=40.13 mem=39M725
56.05
56.05 search
56.05 run=8 nbConstraintChecks=4274537 nbValidityChecks=1368053 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
56.05 nbAssignments=2115 nbFailedAssignments=115 nbBacktracks=932 nbVisitedNodes=2245 nbRestartNogoods=19
56.05 => wckTime=44.218 cpuTime=44.11 mem=39M725
62.98
62.98 search
62.98 run=9 nbConstraintChecks=5598576 nbValidityChecks=1788225 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
62.98 nbAssignments=2645 nbFailedAssignments=183 nbBacktracks=1316 nbVisitedNodes=2851 nbRestartNogoods=23
62.98 => wckTime=51.15 cpuTime=51.04 mem=39M725
71.90
71.90 search
71.90 run=10 nbConstraintChecks=6918447 nbValidityChecks=2263863 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
71.90 nbAssignments=3352 nbFailedAssignments=264 nbBacktracks=1892 nbVisitedNodes=3646 nbRestartNogoods=25
71.90 => wckTime=60.068 cpuTime=59.95 mem=39M725
85.72
85.72 search
85.72 run=11 nbConstraintChecks=9086310 nbValidityChecks=3019466 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
85.72 nbAssignments=4391 nbFailedAssignments=409 nbBacktracks=2758 nbVisitedNodes=4847 nbRestartNogoods=28
85.72 => wckTime=73.889 cpuTime=73.77 mem=39M725
105.68
105.68 search
105.68 run=12 nbConstraintChecks=11951309 nbValidityChecks=4035488 nbPropagations=0 nbRevisions=0
105.68 nbUselessRevisions=0 nbAssignments=5935 nbFailedAssignments=610 nbBacktracks=4084 nbVisitedNodes=6632
105.68 nbRestartNogoods=30
105.68 => wckTime=93.854 cpuTime=93.73 mem=39M725
138.07
138.07 search
138.07 run=13 nbConstraintChecks=15847892 nbValidityChecks=5423513 nbPropagations=0 nbRevisions=0
138.07 nbUselessRevisions=0 nbAssignments=8218 nbFailedAssignments=923 nbBacktracks=6034 nbVisitedNodes=9292
138.07 nbRestartNogoods=34
138.07 => wckTime=126.238 cpuTime=126.1 mem=39M725
168.07
168.07 search
168.07 run=14 nbConstraintChecks=18446631 nbValidityChecks=6199184 nbPropagations=0 nbRevisions=0
168.07 nbUselessRevisions=0 nbAssignments=10065 nbFailedAssignments=1217 nbBacktracks=7588 nbVisitedNodes=11499
168.07 nbRestartNogoods=39
168.07 => wckTime=156.238 cpuTime=156.09 mem=39M725
168.07
168.07 global
168.07 nbConstraintChecks=22382792 nbValidityChecks=7228076 nbRestartNogoods=39 solvingWckTime=156.239
168.07 solvingCpuTime=156.09 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=167.22
168.07 => wckTime=167.753 cpuTime=167.17 mem=39M725
168.07
168.07 s OPTIMUM FOUND
168.07 v 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 1 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0
168.07
168.07 totalWckTime=167.835 totalCpuTime=167.23
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-275786-1169227173 -o ROOT/results/node72/solver-275786-1169227173 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275786-1169227173/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.85 1.12 1.53 4/83 693
/proc/meminfo: memFree=1300680/2055920 swapFree=4191880/4192956
[pid=692] ppid=685 vsize=1592 CPUtime=0
/proc/692/stat : 692 (java) R 685 692 572 0 -1 0 128 0 0 0 0 0 0 0 20 0 1 0 271126158 1630208 100 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 2972453 0 0 4096 0 0 0 0 17 1 0 0
/proc/692/statm: 446 105 83 14 0 91 0
[startup+0.10814 s]
/proc/loadavg: 0.85 1.12 1.53 4/83 693
/proc/meminfo: memFree=1300680/2055920 swapFree=4191880/4192956
[pid=692] ppid=685 vsize=914988 CPUtime=0.08
/proc/692/stat : 692 (java) S 685 692 572 0 -1 0 2996 0 1 0 7 1 0 0 17 0 8 0 271126158 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/692/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516175 s]
/proc/loadavg: 0.85 1.12 1.53 4/83 693
/proc/meminfo: memFree=1300680/2055920 swapFree=4191880/4192956
[pid=692] ppid=685 vsize=915332 CPUtime=0.49
/proc/692/stat : 692 (java) R 685 692 572 0 -1 0 6571 0 1 0 45 4 0 0 18 0 8 0 271126158 937299968 6311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073624820 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/692/statm: 228833 6311 2141 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33925 s]
/proc/loadavg: 0.85 1.12 1.53 4/101 712
/proc/meminfo: memFree=1247288/2055920 swapFree=4191880/4192956
[pid=692] ppid=685 vsize=915648 CPUtime=1.31
/proc/692/stat : 692 (java) R 685 692 572 0 -1 0 14441 0 1 0 103 28 0 0 19 0 8 0 271126158 937623552 14179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/692/statm: 228912 14180 2181 14 0 215382 0
[pid=692/tid=699] ppid=685 vsize=915648 CPUtime=0
/proc/692/task/699/stat : 699 (java) S 685 692 572 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 271126162 937623552 14181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=700] ppid=685 vsize=915648 CPUtime=0
/proc/692/task/700/stat : 700 (java) S 685 692 572 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 271126163 937623552 14181 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=701] ppid=685 vsize=915648 CPUtime=0
/proc/692/task/701/stat : 701 (java) S 685 692 572 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 271126163 937623552 14182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=705] ppid=685 vsize=915648 CPUtime=0
/proc/692/task/705/stat : 705 (java) S 685 692 572 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271126166 937623552 14183 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=706] ppid=685 vsize=915648 CPUtime=0.19
/proc/692/task/706/stat : 706 (java) S 685 692 572 0 -1 64 430 0 0 0 19 0 0 0 16 0 8 0 271126166 937623552 14184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=707] ppid=685 vsize=915648 CPUtime=0
/proc/692/task/707/stat : 707 (java) S 685 692 572 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271126166 937623552 14184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=708] ppid=685 vsize=915648 CPUtime=0
/proc/692/task/708/stat : 708 (java) S 685 692 572 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271126166 937623552 14185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915648
[startup+2.9914 s]
/proc/loadavg: 0.94 1.14 1.54 5/101 712
/proc/meminfo: memFree=1230072/2055920 swapFree=4191880/4192956
[pid=692] ppid=685 vsize=915740 CPUtime=2.92
/proc/692/stat : 692 (java) R 685 692 572 0 -1 0 16450 0 1 0 250 42 0 0 25 0 8 0 271126158 937717760 16186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470035 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/692/statm: 228935 16186 2499 14 0 215405 0
[pid=692/tid=699] ppid=685 vsize=915740 CPUtime=0.08
/proc/692/task/699/stat : 699 (java) S 685 692 572 0 -1 64 1580 0 0 0 8 0 0 0 17 0 8 0 271126162 937717760 16186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=700] ppid=685 vsize=915744 CPUtime=0
/proc/692/task/700/stat : 700 (java) S 685 692 572 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271126163 937721856 16186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=701] ppid=685 vsize=915740 CPUtime=0
/proc/692/task/701/stat : 701 (java) S 685 692 572 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271126163 937717760 16186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=705] ppid=685 vsize=915740 CPUtime=0
/proc/692/task/705/stat : 705 (java) S 685 692 572 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271126166 937717760 16186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=706] ppid=685 vsize=915740 CPUtime=0.25
/proc/692/task/706/stat : 706 (java) S 685 692 572 0 -1 64 455 0 0 0 24 1 0 0 16 0 8 0 271126166 937717760 16186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=707] ppid=685 vsize=915740 CPUtime=0
/proc/692/task/707/stat : 707 (java) S 685 692 572 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271126166 937717760 16186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=708] ppid=685 vsize=915740 CPUtime=0
/proc/692/task/708/stat : 708 (java) S 685 692 572 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271126166 937717760 16186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915740
[startup+6.27071 s]
/proc/loadavg: 0.94 1.14 1.54 3/101 712
/proc/meminfo: memFree=1220344/2055920 swapFree=4191880/4192956
[pid=692] ppid=685 vsize=915740 CPUtime=6.18
/proc/692/stat : 692 (java) R 685 692 572 0 -1 0 16463 0 1 0 515 103 0 0 25 0 8 0 271126158 937717760 16199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/692/statm: 228935 16199 2499 14 0 215405 0
[pid=692/tid=699] ppid=685 vsize=915740 CPUtime=0.08
/proc/692/task/699/stat : 699 (java) S 685 692 572 0 -1 64 1580 0 0 0 8 0 0 0 16 0 8 0 271126162 937717760 16199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=700] ppid=685 vsize=915740 CPUtime=0
/proc/692/task/700/stat : 700 (java) S 685 692 572 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271126163 937717760 16199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=701] ppid=685 vsize=915740 CPUtime=0
/proc/692/task/701/stat : 701 (java) S 685 692 572 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271126163 937717760 16199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=705] ppid=685 vsize=915740 CPUtime=0
/proc/692/task/705/stat : 705 (java) S 685 692 572 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271126166 937717760 16199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=706] ppid=685 vsize=915740 CPUtime=0.26
/proc/692/task/706/stat : 706 (java) S 685 692 572 0 -1 64 466 0 0 0 25 1 0 0 17 0 8 0 271126166 937717760 16199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=707] ppid=685 vsize=915740 CPUtime=0
/proc/692/task/707/stat : 707 (java) S 685 692 572 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271126166 937717760 16199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=708] ppid=685 vsize=915740 CPUtime=0
/proc/692/task/708/stat : 708 (java) S 685 692 572 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271126166 937717760 16199 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915740
[startup+12.6733 s]
/proc/loadavg: 1.10 1.17 1.54 3/101 712
/proc/meminfo: memFree=1212344/2055920 swapFree=4191880/4192956
[pid=692] ppid=685 vsize=916764 CPUtime=12.58
/proc/692/stat : 692 (java) R 685 692 572 0 -1 0 16612 0 1 0 1090 168 0 0 25 0 8 0 271126158 938766336 16347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074224859 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/692/statm: 229191 16347 2547 14 0 215661 0
[pid=692/tid=699] ppid=685 vsize=916764 CPUtime=0.08
/proc/692/task/699/stat : 699 (java) S 685 692 572 0 -1 64 1580 0 0 0 8 0 0 0 17 0 8 0 271126162 938766336 16347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=700] ppid=685 vsize=916764 CPUtime=0
/proc/692/task/700/stat : 700 (java) S 685 692 572 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271126163 938766336 16347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=701] ppid=685 vsize=916764 CPUtime=0
/proc/692/task/701/stat : 701 (java) S 685 692 572 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271126163 938766336 16347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=705] ppid=685 vsize=916764 CPUtime=0
/proc/692/task/705/stat : 705 (java) S 685 692 572 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271126166 938766336 16347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=706] ppid=685 vsize=916764 CPUtime=0.35
/proc/692/task/706/stat : 706 (java) S 685 692 572 0 -1 64 522 0 0 0 34 1 0 0 15 0 8 0 271126166 938766336 16347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=707] ppid=685 vsize=916764 CPUtime=0
/proc/692/task/707/stat : 707 (java) S 685 692 572 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271126166 938766336 16347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=708] ppid=685 vsize=916764 CPUtime=0
/proc/692/task/708/stat : 708 (java) S 685 692 572 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271126166 938766336 16347 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 916764
[startup+25.5165 s]
/proc/loadavg: 1.24 1.19 1.55 3/101 712
/proc/meminfo: memFree=1212280/2055920 swapFree=4191880/4192956
[pid=692] ppid=685 vsize=916764 CPUtime=25.42
/proc/692/stat : 692 (java) R 685 692 572 0 -1 0 16629 0 1 0 2374 168 0 0 25 0 8 0 271126158 938766336 16358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074181737 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/692/statm: 229191 16358 2547 14 0 215661 0
[pid=692/tid=699] ppid=685 vsize=916764 CPUtime=0.08
/proc/692/task/699/stat : 699 (java) S 685 692 572 0 -1 64 1580 0 0 0 8 0 0 0 17 0 8 0 271126162 938766336 16358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=700] ppid=685 vsize=916764 CPUtime=0
/proc/692/task/700/stat : 700 (java) S 685 692 572 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271126163 938766336 16358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=701] ppid=685 vsize=916764 CPUtime=0
/proc/692/task/701/stat : 701 (java) S 685 692 572 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271126163 938766336 16358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=705] ppid=685 vsize=916764 CPUtime=0
/proc/692/task/705/stat : 705 (java) S 685 692 572 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271126166 938766336 16358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=706] ppid=685 vsize=916764 CPUtime=0.37
/proc/692/task/706/stat : 706 (java) S 685 692 572 0 -1 64 538 0 0 0 36 1 0 0 16 0 8 0 271126166 938766336 16358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=707] ppid=685 vsize=916764 CPUtime=0
/proc/692/task/707/stat : 707 (java) S 685 692 572 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271126166 938766336 16358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=708] ppid=685 vsize=916764 CPUtime=0
/proc/692/task/708/stat : 708 (java) S 685 692 572 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271126166 938766336 16358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 916764
[startup+51.1258 s]
/proc/loadavg: 1.50 1.26 1.56 3/101 712
/proc/meminfo: memFree=1211576/2055920 swapFree=4191880/4192956
[pid=692] ppid=685 vsize=916764 CPUtime=51.02
/proc/692/stat : 692 (java) R 685 692 572 0 -1 0 16667 0 1 0 4933 169 0 0 25 0 8 0 271126158 938766336 16385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074200096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/692/statm: 229191 16385 2552 14 0 215661 0
[pid=692/tid=699] ppid=685 vsize=916764 CPUtime=0.08
/proc/692/task/699/stat : 699 (java) S 685 692 572 0 -1 64 1581 0 0 0 8 0 0 0 17 0 8 0 271126162 938766336 16385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=700] ppid=685 vsize=916764 CPUtime=0
/proc/692/task/700/stat : 700 (java) S 685 692 572 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271126163 938766336 16385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=701] ppid=685 vsize=916764 CPUtime=0
/proc/692/task/701/stat : 701 (java) S 685 692 572 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271126163 938766336 16385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=705] ppid=685 vsize=916764 CPUtime=0
/proc/692/task/705/stat : 705 (java) S 685 692 572 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271126166 938766336 16385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=706] ppid=685 vsize=916764 CPUtime=0.41
/proc/692/task/706/stat : 706 (java) S 685 692 572 0 -1 64 559 0 0 0 39 2 0 0 15 0 8 0 271126166 938766336 16385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=707] ppid=685 vsize=916764 CPUtime=0
/proc/692/task/707/stat : 707 (java) S 685 692 572 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271126166 938766336 16385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=708] ppid=685 vsize=916764 CPUtime=0
/proc/692/task/708/stat : 708 (java) S 685 692 572 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271126166 938766336 16385 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 916764
[startup+102.368 s]
/proc/loadavg: 1.78 1.37 1.58 4/101 712
/proc/meminfo: memFree=1211000/2055920 swapFree=4191880/4192956
[pid=692] ppid=685 vsize=916764 CPUtime=102.25
/proc/692/stat : 692 (java) R 685 692 572 0 -1 0 16676 0 1 0 10056 169 0 0 25 0 8 0 271126158 938766336 16389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074200100 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/692/statm: 229191 16389 2552 14 0 215661 0
[pid=692/tid=699] ppid=685 vsize=916764 CPUtime=0.08
/proc/692/task/699/stat : 699 (java) S 685 692 572 0 -1 64 1581 0 0 0 8 0 0 0 16 0 8 0 271126162 938766336 16389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=700] ppid=685 vsize=916764 CPUtime=0
/proc/692/task/700/stat : 700 (java) S 685 692 572 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271126163 938766336 16389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=701] ppid=685 vsize=916764 CPUtime=0
/proc/692/task/701/stat : 701 (java) S 685 692 572 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271126163 938766336 16389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=705] ppid=685 vsize=916764 CPUtime=0
/proc/692/task/705/stat : 705 (java) S 685 692 572 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271126166 938766336 16389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=706] ppid=685 vsize=916764 CPUtime=0.42
/proc/692/task/706/stat : 706 (java) S 685 692 572 0 -1 64 566 0 0 0 40 2 0 0 15 0 8 0 271126166 938766336 16389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=707] ppid=685 vsize=916764 CPUtime=0
/proc/692/task/707/stat : 707 (java) S 685 692 572 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271126166 938766336 16389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=708] ppid=685 vsize=916764 CPUtime=0
/proc/692/task/708/stat : 708 (java) S 685 692 572 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271126166 938766336 16389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 916764
[startup+162.372 s]
/proc/loadavg: 1.92 1.48 1.60 5/101 712
/proc/meminfo: memFree=1210424/2055920 swapFree=4191880/4192956
[pid=692] ppid=685 vsize=916764 CPUtime=162.24
/proc/692/stat : 692 (java) R 685 692 572 0 -1 0 16676 0 1 0 16054 170 0 0 25 0 8 0 271126158 938766336 16389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918546 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/692/statm: 229191 16389 2552 14 0 215661 0
[pid=692/tid=699] ppid=685 vsize=916764 CPUtime=0.08
/proc/692/task/699/stat : 699 (java) S 685 692 572 0 -1 64 1581 0 0 0 8 0 0 0 16 0 8 0 271126162 938766336 16389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=700] ppid=685 vsize=916764 CPUtime=0
/proc/692/task/700/stat : 700 (java) S 685 692 572 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271126163 938766336 16389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=701] ppid=685 vsize=916764 CPUtime=0
/proc/692/task/701/stat : 701 (java) S 685 692 572 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271126163 938766336 16389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=705] ppid=685 vsize=916764 CPUtime=0
/proc/692/task/705/stat : 705 (java) S 685 692 572 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271126166 938766336 16389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=706] ppid=685 vsize=916764 CPUtime=0.42
/proc/692/task/706/stat : 706 (java) S 685 692 572 0 -1 64 566 0 0 0 40 2 0 0 15 0 8 0 271126166 938766336 16389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=707] ppid=685 vsize=916764 CPUtime=0
/proc/692/task/707/stat : 707 (java) S 685 692 572 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271126166 938766336 16389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=692/tid=708] ppid=685 vsize=916764 CPUtime=0
/proc/692/task/708/stat : 708 (java) S 685 692 572 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271126166 938766336 16389 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 916764
Child status: 0
Real time (s): 168.129
CPU time (s): 167.966
CPU user time (s): 166.25
CPU system time (s): 1.71674
CPU usage (%): 99.9031
Max. virtual memory (cumulated for all children) (KiB): 916768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 166.25
system time used= 1.71674
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16691
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5344
involuntary context switches= 5160
runsolver used 0.228965 s user time and 0.593909 s system time
The end
Begin job on node72 on Fri Jan 19 17:19:33 UTC 2007
IDJOB= 275786
IDBENCH= 4799
IDSOLVER= 68
FILE ID= node72/275786-1169227173
PBS_JOBID= 3589257
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/primesDimacs/bf-2670-001.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275786-1169227173/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-275786-1169227173 -o ROOT/results/node72/solver-275786-1169227173 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275786-1169227173/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 254fa29df9e9670d71c11b5fd4b239c4
RANDOM SEED= 874638119
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/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.223
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.223
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: 1301360 kB
Buffers: 56856 kB
Cached: 570312 kB
SwapCached: 268 kB
Active: 285724 kB
Inactive: 388896 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1301360 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 3312 kB
Writeback: 0 kB
Mapped: 64860 kB
Slab: 64876 kB
Committed_AS: 4504952 kB
PageTables: 2196 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= 66561 MiB
End job on node72 on Fri Jan 19 17:22:22 UTC 2007