Trace number 275786

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCOPTIMUM 167.966 168.129

General information on the benchmark

NamepseudoSeries/primesDimacs/
bf-2670-001.xml
MD5SUM254fa29df9e9670d71c11b5fd4b239c4
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints4820
Best CPU time to get the best result obtained on this benchmark133.95
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables2786
Number of constraints4821
Maximum constraint arity5
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4821
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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

Verifier Data (download as text)

1 unsatisfied constraints, 4820 satisfied constraints

Watcher Data (download as text)

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

Launcher Data (download as text)

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