0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=pfc.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/275784-1169227156/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.40 variables being loaded...
0.59 nbVariables=2080 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.59 => wckTime=0.263 cpuTime=0.18 mem=10M795
0.59
0.59 predicates being loaded...
0.60
0.60 constraints being loaded...
1.36 nbConstraints=4702 nbSingletonDomainVariables=252 nbConvertedConstraints=2835 nbConvertConstraintsChecks=1243
1.36 nbExtensionStructures=9 nbSharedExtensionStructures=2826 nbConflictsStructures=110
1.36 nbSharedConflictsStructures=4592 nbSharedBinaryRepresentations=21 nbEvaluationManagers=101
1.36 nbSharedEvaluationManagers=1766 maxDegree=27 maxArity=6
1.36 => wckTime=1.035 cpuTime=0.84 mem=40M51
1.46
1.46 solver LocalSearchSolver being built...
1.50 => wckTime=1.177 cpuTime=0.9 mem=11M404
1.53
1.53 s SATISFIABLE
1.53 o 3883
1.53 c 819
1.53 o 3894
1.53 c 808
1.54 o 3903
1.54 c 799
1.54 o 3911
1.54 c 791
1.54 o 3919
1.54 c 783
1.54 o 3926
1.54 c 776
1.54 o 3933
1.54 c 769
1.54 o 3939
1.54 c 763
1.54 o 3945
1.54 c 757
1.54 o 3951
1.54 c 751
1.55 o 3957
1.55 c 745
1.55 o 3963
1.55 c 739
1.55 o 3968
1.55 c 734
1.55 o 3973
1.55 c 729
1.55 o 3978
1.55 c 724
1.55 o 3983
1.55 c 719
1.55 o 3988
1.55 c 714
1.55 o 3993
1.55 c 709
1.56 o 3998
1.56 c 704
1.56 o 4003
1.56 c 699
1.56 o 4008
1.56 c 694
1.56 o 4013
1.56 c 689
1.56 o 4018
1.56 c 684
1.56 o 4022
1.56 c 680
1.56 o 4026
1.56 c 676
1.56 o 4030
1.56 c 672
1.57 o 4034
1.57 c 668
1.57 o 4038
1.57 c 664
1.57 o 4042
1.57 c 660
1.57 o 4046
1.57 c 656
1.57 o 4050
1.57 c 652
1.57 o 4054
1.57 c 648
1.57 o 4058
1.58 c 644
1.58 o 4062
1.58 c 640
1.58 o 4066
1.58 c 636
1.58 o 4070
1.58 c 632
1.58 o 4073
1.58 c 629
1.58 o 4076
1.58 c 626
1.58 o 4079
1.58 c 623
1.58 o 4082
1.58 c 620
1.58 o 4085
1.58 c 617
1.58 o 4088
1.58 c 614
1.59 o 4091
1.59 c 611
1.59 o 4094
1.59 c 608
1.59 o 4097
1.59 c 605
1.59 o 4100
1.59 c 602
1.59 o 4103
1.59 c 599
1.59 o 4106
1.59 c 596
1.59 o 4109
1.59 c 593
1.59 o 4112
1.59 c 590
1.60 o 4115
1.60 c 587
1.60 o 4118
1.60 c 584
1.60 o 4121
1.60 c 581
1.60 o 4124
1.60 c 578
1.60 o 4127
1.60 c 575
1.60 o 4130
1.60 c 572
1.60 o 4133
1.60 c 569
1.60 o 4136
1.60 c 566
1.60 o 4139
1.60 c 563
1.61 o 4142
1.61 c 560
1.61 o 4145
1.61 c 557
1.61 o 4148
1.61 c 554
1.61 o 4151
1.61 c 551
1.61 o 4154
1.61 c 548
1.61 o 4157
1.61 c 545
1.61 o 4160
1.61 c 542
1.61 o 4163
1.61 c 539
1.61 o 4166
1.61 c 536
1.62 o 4169
1.62 c 533
1.62 o 4172
1.62 c 530
1.62 o 4174
1.62 c 528
1.62 o 4176
1.62 c 526
1.62 o 4178
1.62 c 524
1.62 o 4180
1.62 c 522
1.62 o 4182
1.62 c 520
1.62 o 4184
1.62 c 518
1.62 o 4186
1.62 c 516
1.63 o 4188
1.63 c 514
1.63 o 4190
1.63 c 512
1.63 o 4192
1.63 c 510
1.63 o 4194
1.63 c 508
1.63 o 4196
1.63 c 506
1.63 o 4198
1.63 c 504
1.63 o 4200
1.63 c 502
1.63 o 4202
1.63 c 500
1.63 o 4204
1.63 c 498
1.64 o 4206
1.64 c 496
1.64 o 4208
1.64 c 494
1.64 o 4210
1.64 c 492
1.64 o 4212
1.64 c 490
1.64 o 4214
1.64 c 488
1.64 o 4216
1.64 c 486
1.64 o 4218
1.64 c 484
1.65 o 4220
1.65 c 482
1.65 o 4222
1.65 c 480
1.65 o 4224
1.65 c 478
1.65 o 4226
1.65 c 476
1.65 o 4228
1.65 c 474
1.65 o 4230
1.65 c 472
1.65 o 4232
1.65 c 470
1.65 o 4234
1.65 c 468
1.66 o 4236
1.66 c 466
1.66 o 4238
1.66 c 464
1.66 o 4240
1.66 c 462
1.66 o 4242
1.66 c 460
1.66 o 4244
1.66 c 458
1.66 o 4246
1.66 c 456
1.66 o 4248
1.66 c 454
1.67 o 4250
1.67 c 452
1.67 o 4252
1.67 c 450
1.67 o 4254
1.67 c 448
1.67 o 4256
1.67 c 446
1.67 o 4258
1.67 c 444
1.67 o 4260
1.67 c 442
1.67 o 4262
1.67 c 440
1.67 o 4264
1.67 c 438
1.67 o 4266
1.67 c 436
1.68 o 4268
1.68 c 434
1.68 o 4270
1.68 c 432
1.68 o 4272
1.68 c 430
1.68 o 4274
1.68 c 428
1.68 o 4276
1.68 c 426
1.68 o 4277
1.68 c 425
1.68 o 4278
1.68 c 424
1.68 o 4279
1.68 c 423
1.69 o 4280
1.69 c 422
1.69 o 4281
1.69 c 421
1.69 o 4282
1.69 c 420
1.69 o 4283
1.69 c 419
1.69 o 4284
1.69 c 418
1.69 o 4285
1.69 c 417
1.69 o 4286
1.69 c 416
1.69 o 4287
1.69 c 415
1.69 o 4288
1.69 c 414
1.70 o 4289
1.70 c 413
1.70 o 4290
1.70 c 412
1.70 o 4291
1.70 c 411
1.70 o 4292
1.70 c 410
1.70 o 4293
1.70 c 409
1.70 o 4294
1.70 c 408
1.70 o 4295
1.70 c 407
1.70 o 4296
1.70 c 406
1.70 o 4297
1.70 c 405
1.71 o 4298
1.71 c 404
1.71 o 4299
1.71 c 403
1.71 o 4300
1.71 c 402
1.71 o 4301
1.71 c 401
1.71 o 4302
1.71 c 400
1.71 o 4303
1.71 c 399
1.71 o 4304
1.71 c 398
1.71 o 4305
1.72 c 397
1.72 o 4306
1.72 c 396
1.72 o 4307
1.72 c 395
1.72 o 4308
1.72 c 394
1.72 o 4309
1.72 c 393
1.72 o 4310
1.72 c 392
1.72 o 4311
1.72 c 391
1.72 o 4312
1.72 c 390
1.73 o 4313
1.73 c 389
1.73 o 4314
1.73 c 388
1.73 o 4315
1.73 c 387
1.73 o 4316
1.73 c 386
1.73 o 4317
1.73 c 385
1.73 o 4318
1.73 c 384
1.73 o 4319
1.73 c 383
1.73 o 4320
1.73 c 382
1.74 o 4321
1.74 c 381
1.74 o 4322
1.74 c 380
1.74 o 4323
1.74 c 379
1.74 o 4324
1.74 c 378
1.75 o 4325
1.75 c 377
1.75 o 4326
1.75 c 376
1.75 o 4327
1.75 c 375
1.75 o 4328
1.75 c 374
1.76 o 4329
1.76 c 373
1.76 o 4330
1.76 c 372
1.76 o 4331
1.76 c 371
1.76 o 4332
1.76 c 370
1.77 o 4333
1.77 c 369
1.77 o 4334
1.77 c 368
1.77 o 4335
1.77 c 367
1.77 o 4336
1.77 c 366
1.77 o 4337
1.78 c 365
1.78 o 4338
1.78 c 364
1.78 o 4339
1.78 c 363
1.78 o 4340
1.78 c 362
1.78 o 4341
1.78 c 361
1.79 o 4342
1.79 c 360
1.79 o 4343
1.79 c 359
1.79 o 4344
1.79 c 358
1.79 o 4345
1.79 c 357
1.79 o 4346
1.79 c 356
1.80 o 4347
1.80 c 355
1.80 o 4348
1.80 c 354
1.80 o 4349
1.80 c 353
1.80 o 4350
1.80 c 352
1.81 o 4351
1.81 c 351
1.81 o 4352
1.81 c 350
1.81 o 4353
1.81 c 349
1.81 o 4354
1.81 c 348
1.81 o 4355
1.81 c 347
1.82 o 4356
1.82 c 346
1.82 o 4357
1.82 c 345
1.82 o 4358
1.82 c 344
1.82 o 4359
1.82 c 343
1.82 o 4360
1.82 c 342
1.83 o 4361
1.83 c 341
1.83 o 4362
1.83 c 340
1.83 o 4363
1.83 c 339
1.83 o 4364
1.83 c 338
1.84 o 4365
1.84 c 337
1.84 o 4366
1.84 c 336
1.84 o 4367
1.84 c 335
1.84 o 4368
1.84 c 334
1.85 o 4369
1.85 c 333
1.85 o 4370
1.85 c 332
1.85 o 4371
1.85 c 331
1.85 o 4372
1.85 c 330
1.85 o 4373
1.85 c 329
1.86 o 4374
1.86 c 328
1.86 o 4375
1.86 c 327
1.86 o 4376
1.86 c 326
1.86 o 4377
1.86 c 325
1.86 o 4378
1.86 c 324
1.87 o 4379
1.87 c 323
1.87 o 4380
1.87 c 322
1.87 o 4381
1.87 c 321
1.87 o 4382
1.87 c 320
1.87 o 4383
1.87 c 319
1.88 o 4384
1.88 c 318
1.88 o 4385
1.88 c 317
1.88 o 4386
1.88 c 316
1.88 o 4387
1.88 c 315
1.88 o 4388
1.88 c 314
1.89 o 4389
1.89 c 313
1.89 o 4390
1.89 c 312
1.89 o 4391
1.89 c 311
1.89 o 4392
1.89 c 310
1.89 o 4393
1.89 c 309
1.89 o 4394
1.89 c 308
1.90 o 4395
1.90 c 307
1.90 o 4396
1.90 c 306
1.90 o 4397
1.90 c 305
1.90 o 4398
1.90 c 304
1.90 o 4399
1.90 c 303
1.91 o 4400
1.91 c 302
1.91 o 4401
1.91 c 301
1.91 o 4402
1.91 c 300
1.91 o 4403
1.91 c 299
1.91 o 4404
1.91 c 298
1.91 o 4405
1.91 c 297
1.92 o 4406
1.92 c 296
1.92 o 4407
1.92 c 295
1.92 o 4408
1.92 c 294
1.92 o 4409
1.92 c 293
1.92 o 4410
1.92 c 292
1.93 o 4411
1.93 c 291
1.93 o 4412
1.93 c 290
1.93 o 4413
1.93 c 289
1.93 o 4414
1.93 c 288
1.93 o 4415
1.93 c 287
1.93 o 4416
1.93 c 286
1.94 o 4417
1.94 c 285
1.94 o 4418
1.94 c 284
1.94 o 4419
1.94 c 283
1.94 o 4420
1.94 c 282
1.94 o 4421
1.94 c 281
1.94 o 4422
1.94 c 280
1.95 o 4423
1.95 c 279
1.95 o 4424
1.95 c 278
1.95 o 4425
1.95 c 277
1.95 o 4426
1.95 c 276
1.95 o 4427
1.95 c 275
1.96 o 4428
1.96 c 274
1.96 o 4429
1.96 c 273
1.96 o 4430
1.96 c 272
1.96 o 4431
1.96 c 271
1.96 o 4432
1.96 c 270
1.96 o 4433
1.96 c 269
1.97 o 4434
1.97 c 268
1.97 o 4435
1.97 c 267
1.97 o 4436
1.97 c 266
1.97 o 4437
1.97 c 265
1.97 o 4438
1.97 c 264
1.97 o 4439
1.97 c 263
1.98 o 4440
1.98 c 262
1.98 o 4441
1.98 c 261
1.98 o 4442
1.98 c 260
1.98 o 4443
1.98 c 259
1.98 o 4444
1.98 c 258
1.98 o 4445
1.98 c 257
1.98 o 4446
1.98 c 256
1.99 o 4447
1.99 c 255
1.99 o 4448
1.99 c 254
1.99 o 4449
1.99 c 253
1.99 o 4450
1.99 c 252
1.99 o 4451
1.99 c 251
1.99 o 4452
1.99 c 250
2.00 o 4453
2.00 c 249
2.00 o 4454
2.00 c 248
2.00 o 4455
2.00 c 247
2.00 o 4456
2.00 c 246
2.00 o 4457
2.00 c 245
2.00 o 4458
2.00 c 244
2.00 o 4459
2.00 c 243
2.01 o 4460
2.01 c 242
2.01 o 4461
2.01 c 241
2.01 o 4462
2.01 c 240
2.01 o 4463
2.01 c 239
2.01 o 4464
2.01 c 238
2.01 o 4465
2.01 c 237
2.02 o 4466
2.02 c 236
2.02 o 4467
2.02 c 235
2.02 o 4468
2.02 c 234
2.02 o 4469
2.02 c 233
2.02 o 4470
2.02 c 232
2.02 o 4471
2.02 c 231
2.02 o 4472
2.02 c 230
2.03 o 4473
2.03 c 229
2.03 o 4474
2.03 c 228
2.03 o 4475
2.03 c 227
2.03 o 4476
2.03 c 226
2.03 o 4477
2.03 c 225
2.03 o 4478
2.03 c 224
2.04 o 4479
2.04 c 223
2.04 o 4480
2.04 c 222
2.04 o 4481
2.04 c 221
2.04 o 4482
2.04 c 220
2.04 o 4483
2.04 c 219
2.04 o 4484
2.04 c 218
2.04 o 4485
2.04 c 217
2.05 o 4486
2.05 c 216
2.05 o 4487
2.05 c 215
2.05 o 4488
2.05 c 214
2.05 o 4489
2.05 c 213
2.05 o 4490
2.05 c 212
2.06 o 4491
2.06 c 211
2.06 o 4492
2.06 c 210
2.06 o 4493
2.06 c 209
2.06 o 4494
2.06 c 208
2.06 o 4495
2.06 c 207
2.06 o 4496
2.06 c 206
2.06 o 4497
2.06 c 205
2.06 o 4498
2.06 c 204
2.07 o 4499
2.07 c 203
2.07 o 4500
2.07 c 202
2.07 o 4501
2.07 c 201
2.07 o 4502
2.07 c 200
2.07 o 4503
2.07 c 199
2.07 o 4504
2.07 c 198
2.07 o 4505
2.07 c 197
2.07 o 4506
2.07 c 196
2.07 o 4507
2.08 c 195
2.08 o 4508
2.08 c 194
2.08 o 4509
2.08 c 193
2.08 o 4510
2.08 c 192
2.09 o 4511
2.09 c 191
2.10 o 4512
2.10 c 190
2.10 o 4513
2.10 c 189
2.11 o 4514
2.11 c 188
2.16 o 4517
2.16 c 185
2.17 o 4518
2.17 c 184
2.17 o 4519
2.17 c 183
2.17 o 4520
2.17 c 182
2.18 o 4522
2.18 c 180
2.18 o 4523
2.18 c 179
2.18 o 4524
2.18 c 178
2.18 o 4525
2.18 c 177
2.18 o 4526
2.18 c 176
2.18 o 4527
2.18 c 175
2.19 o 4528
2.19 c 174
2.19 o 4529
2.19 c 173
2.19 o 4530
2.19 c 172
2.19 o 4534
2.19 c 168
2.19 o 4535
2.19 c 167
2.19 o 4536
2.19 c 166
2.19 o 4537
2.19 c 165
2.19 o 4538
2.19 c 164
2.20 o 4539
2.20 c 163
2.20 o 4542
2.20 c 160
2.20 o 4544
2.20 c 158
2.20 o 4545
2.20 c 157
2.20 o 4547
2.20 c 155
2.20 o 4549
2.20 c 153
2.21 o 4551
2.21 c 151
2.21 o 4552
2.21 c 150
2.21 o 4553
2.21 c 149
2.21 o 4554
2.21 c 148
2.21 o 4555
2.21 c 147
2.21 o 4556
2.21 c 146
2.21 o 4557
2.21 c 145
2.22 o 4560
2.22 c 142
2.22 o 4563
2.22 c 139
2.22 o 4564
2.22 c 138
2.22 o 4565
2.22 c 137
2.22 o 4566
2.22 c 136
2.22 o 4567
2.22 c 135
2.22 o 4568
2.22 c 134
2.22 o 4569
2.22 c 133
2.23 o 4570
2.23 c 132
2.23 o 4571
2.23 c 131
2.23 o 4572
2.23 c 130
2.23 o 4573
2.23 c 129
2.23 o 4574
2.23 c 128
2.23 o 4575
2.23 c 127
2.24 o 4576
2.24 c 126
2.24 o 4577
2.24 c 125
2.25 o 4578
2.25 c 124
2.25 o 4579
2.25 c 123
2.25 o 4580
2.25 c 122
2.25 o 4581
2.25 c 121
2.25 o 4582
2.25 c 120
2.26 o 4583
2.26 c 119
2.26 o 4584
2.26 c 118
2.26 o 4585
2.26 c 117
2.27 o 4586
2.27 c 116
2.27 o 4587
2.27 c 115
2.27 o 4588
2.27 c 114
2.27 o 4589
2.27 c 113
2.28 o 4590
2.28 c 112
2.28 o 4591
2.28 c 111
2.28 o 4592
2.28 c 110
2.28 o 4593
2.28 c 109
2.28 o 4594
2.28 c 108
2.29 o 4599
2.29 c 103
2.29 o 4600
2.29 c 102
2.29 o 4601
2.29 c 101
2.30 o 4602
2.30 c 100
2.31 o 4603
2.31 c 99
2.32 o 4604
2.32 c 98
2.32 o 4605
2.32 c 97
2.32 o 4606
2.32 c 96
2.32 o 4607
2.32 c 95
2.32 o 4608
2.32 c 94
2.33 o 4609
2.33 c 93
2.33 o 4610
2.33 c 92
2.38 o 4611
2.38 c 91
2.38 o 4613
2.38 c 89
2.38 o 4614
2.38 c 88
2.39 o 4615
2.39 c 87
2.40 o 4617
2.40 c 85
2.40 o 4618
2.40 c 84
2.40 o 4619
2.40 c 83
2.40 o 4620
2.40 c 82
2.50 o 4621
2.50 c 81
2.50 o 4622
2.50 c 80
2.50 o 4623
2.50 c 79
2.53 o 4624
2.53 c 78
2.53 o 4625
2.53 c 77
2.54 o 4626
2.54 c 76
2.54 o 4627
2.54 c 75
2.54 o 4629
2.54 c 73
2.55 o 4630
2.55 c 72
2.55 o 4631
2.55 c 71
2.55 o 4632
2.55 c 70
2.56 o 4633
2.56 c 69
2.59 o 4634
2.59 c 68
2.72 o 4635
2.72 c 67
2.73 o 4636
2.73 c 66
2.74 o 4637
2.74 c 65
2.74 o 4638
2.74 c 64
2.75 o 4639
2.75 c 63
2.76 o 4640
2.76 c 62
2.76 o 4641
2.76 c 61
2.76 o 4642
2.76 c 60
2.76 o 4643
2.76 c 59
2.76 o 4644
2.76 c 58
2.77 o 4645
2.77 c 57
2.77 o 4646
2.77 c 56
2.77 o 4647
2.77 c 55
2.77 o 4648
2.77 c 54
2.78 o 4649
2.78 c 53
2.83 o 4650
2.83 c 52
2.83 o 4651
2.83 c 51
2.84 o 4652
2.84 c 50
2.85 o 4653
2.85 c 49
2.87 o 4654
2.87 c 48
2.87 o 4655
2.87 c 47
2.87 o 4656
2.87 c 46
2.88 o 4657
2.88 c 45
2.89 o 4658
2.89 c 44
2.89 o 4659
2.89 c 43
2.89 o 4660
2.89 c 42
2.92 o 4661
2.92 c 41
2.92 o 4662
2.92 c 40
2.93 o 4663
2.93 c 39
3.11 o 4664
3.11 c 38
3.11 o 4665
3.11 c 37
3.11 o 4666
3.11 c 36
3.11 o 4667
3.11 c 35
3.12 o 4668
3.12 c 34
3.14 o 4669
3.14 c 33
3.15 o 4670
3.15 c 32
3.15 o 4671
3.15 c 31
3.15 o 4672
3.15 c 30
3.17 o 4673
3.17 c 29
3.20 o 4674
3.20 c 28
3.21 o 4675
3.21 c 27
3.21 o 4676
3.21 c 26
3.31 o 4677
3.31 c 25
3.31 o 4678
3.31 c 24
3.31 o 4679
3.31 c 23
3.32 o 4680
3.32 c 22
3.32 o 4681
3.32 c 21
3.32 o 4682
3.32 c 20
3.40 o 4683
3.40 c 19
3.66 o 4684
3.66 c 18
3.67 o 4685
3.67 c 17
3.69 o 4686
3.69 c 16
3.70 o 4687
3.70 c 15
3.70 o 4688
3.70 c 14
3.83 o 4689
3.83 c 13
3.92 o 4690
3.92 c 12
3.95 o 4691
3.95 c 11
3.98 o 4692
3.98 c 10
3.98 o 4693
3.98 c 9
3.99 o 4694
3.99 c 8
4.26 o 4695
4.26 c 7
4.29 o 4696
4.29 c 6
4.30 o 4697
4.30 c 5
4.45
4.45 search
4.45 run=0 nbConstraintChecks=3022597 nbAssignments=10000
4.45 => wckTime=2.944 cpuTime=2.85 mem=11M404
4.51 o 4698
4.51 c 4
4.72 o 4699
4.72 c 3
6.24 o 4700
6.24 c 2
11.61
11.61 search
11.61 run=1 nbConstraintChecks=14073002 nbAssignments=20000
11.61 => wckTime=10.106 cpuTime=9.93 mem=11M404
11.62 o 4701
11.62 c 1
11.62
11.62 search
11.62 run=2 nbConstraintChecks=14078633 nbAssignments=20040
11.62 => wckTime=10.115 cpuTime=9.93 mem=11M404
11.62
11.62 global
11.62 nbConstraintChecks=14078633 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
11.62 solvingWckTime=10.11 solvingCpuTime=9.94 expiredTime=no totalExploration=no nbFoundSolutions=0
11.62 globalCpuTime=10.89
11.62 => wckTime=11.293 cpuTime=10.84 mem=11M404
11.62
11.62 solver IterativeSystematicSolver being built...
11.92 => wckTime=11.591 cpuTime=11.06 mem=41M846
11.96
11.96 preprocessing
11.96 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
11.96 detectedInconsistency=no
11.96 => wckTime=0.041 cpuTime=0.03 mem=41M846
14.23
14.24 search
14.24 run=0 nbConstraintChecks=406468 nbValidityChecks=308724 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
14.24 nbAssignments=281 nbFailedAssignments=4 nbBacktracks=50 nbVisitedNodes=286 nbRestartNogoods=0
14.24 => wckTime=2.314 cpuTime=2.24 mem=41M846
16.19
16.19 search
16.19 run=1 nbConstraintChecks=739087 nbValidityChecks=565133 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
16.19 nbAssignments=528 nbFailedAssignments=8 nbBacktracks=86 nbVisitedNodes=537 nbRestartNogoods=1
16.19 => wckTime=4.273 cpuTime=4.16 mem=41M846
18.14
18.14 search
18.14 run=2 nbConstraintChecks=1074209 nbValidityChecks=824038 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
18.14 nbAssignments=776 nbFailedAssignments=12 nbBacktracks=118 nbVisitedNodes=789 nbRestartNogoods=2
18.14 => wckTime=6.223 cpuTime=6.09 mem=41M846
19.70
19.70 search
19.70 run=3 nbConstraintChecks=1329455 nbValidityChecks=1029847 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
19.70 nbAssignments=971 nbFailedAssignments=17 nbBacktracks=151 nbVisitedNodes=989 nbRestartNogoods=3
19.70 => wckTime=7.779 cpuTime=7.63 mem=41M846
21.40
21.40 search
21.40 run=4 nbConstraintChecks=1612790 nbValidityChecks=1256777 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
21.40 nbAssignments=1186 nbFailedAssignments=23 nbBacktracks=203 nbVisitedNodes=1210 nbRestartNogoods=5
21.40 => wckTime=9.478 cpuTime=9.32 mem=41M846
23.39
23.39 search
23.39 run=5 nbConstraintChecks=1942693 nbValidityChecks=1517977 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
23.39 nbAssignments=1432 nbFailedAssignments=32 nbBacktracks=282 nbVisitedNodes=1465 nbRestartNogoods=8
23.39 => wckTime=11.468 cpuTime=11.28 mem=41M846
28.76
28.76 search
28.76 run=6 nbConstraintChecks=3328979 nbValidityChecks=2610306 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
28.76 nbAssignments=2062 nbFailedAssignments=52 nbBacktracks=403 nbVisitedNodes=2115 nbRestartNogoods=11
28.76 => wckTime=16.839 cpuTime=16.58 mem=41M846
34.59
34.59 search
34.59 run=7 nbConstraintChecks=5278583 nbValidityChecks=4132992 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.59 nbAssignments=2836 nbFailedAssignments=64 nbBacktracks=579 nbVisitedNodes=2902 nbRestartNogoods=16
34.59 => wckTime=22.672 cpuTime=22.34 mem=41M846
39.46
39.46 search
39.46 run=8 nbConstraintChecks=6679095 nbValidityChecks=5239394 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.46 nbAssignments=3429 nbFailedAssignments=75 nbBacktracks=845 nbVisitedNodes=3506 nbRestartNogoods=22
39.46 => wckTime=27.543 cpuTime=27.15 mem=41M846
46.84
46.84 search
46.84 run=9 nbConstraintChecks=8821177 nbValidityChecks=6907400 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
46.84 nbAssignments=4243 nbFailedAssignments=103 nbBacktracks=1232 nbVisitedNodes=4350 nbRestartNogoods=24
46.84 => wckTime=34.921 cpuTime=34.43 mem=41M846
55.46
55.46 search
55.46 run=10 nbConstraintChecks=11349477 nbValidityChecks=8872920 nbPropagations=0 nbRevisions=0
55.46 nbUselessRevisions=0 nbAssignments=5207 nbFailedAssignments=131 nbBacktracks=1839 nbVisitedNodes=5342
55.46 nbRestartNogoods=26
55.46 => wckTime=43.545 cpuTime=42.96 mem=41M846
68.01
68.01 search
68.01 run=11 nbConstraintChecks=14629993 nbValidityChecks=11480222 nbPropagations=0 nbRevisions=0
68.01 nbUselessRevisions=0 nbAssignments=6432 nbFailedAssignments=186 nbBacktracks=2712 nbVisitedNodes=6624
68.01 nbRestartNogoods=30
68.01 => wckTime=56.087 cpuTime=55.35 mem=41M846
85.31
85.31 search
85.31 run=12 nbConstraintChecks=19272514 nbValidityChecks=15189131 nbPropagations=0 nbRevisions=0
85.31 nbUselessRevisions=0 nbAssignments=8131 nbFailedAssignments=256 nbBacktracks=4016 nbVisitedNodes=8395
85.31 nbRestartNogoods=33
85.31 => wckTime=73.393 cpuTime=72.44 mem=41M846
110.77
110.77 search
110.77 run=13 nbConstraintChecks=25676007 nbValidityChecks=20108698 nbPropagations=0 nbRevisions=0
110.77 nbUselessRevisions=0 nbAssignments=10586 nbFailedAssignments=378 nbBacktracks=5985 nbVisitedNodes=10975
110.77 nbRestartNogoods=36
110.77 => wckTime=98.854 cpuTime=97.67 mem=41M846
140.26
140.26 search
140.26 run=14 nbConstraintChecks=35751538 nbValidityChecks=27769440 nbPropagations=0 nbRevisions=0
140.26 nbUselessRevisions=0 nbAssignments=13935 nbFailedAssignments=538 nbBacktracks=8906 nbVisitedNodes=14496
140.26 nbRestartNogoods=47
140.26 => wckTime=128.344 cpuTime=126.89 mem=41M846
191.55
191.55 search
191.55 run=15 nbConstraintChecks=51085815 nbValidityChecks=39287129 nbPropagations=0 nbRevisions=0
191.55 nbUselessRevisions=0 nbAssignments=18883 nbFailedAssignments=773 nbBacktracks=13356 nbVisitedNodes=19682
191.55 nbRestartNogoods=50
191.55 => wckTime=179.629 cpuTime=177.71 mem=41M846
272.05
272.05 search
272.05 run=16 nbConstraintChecks=72660934 nbValidityChecks=56499350 nbPropagations=0 nbRevisions=0
272.05 nbUselessRevisions=0 nbAssignments=26118 nbFailedAssignments=1088 nbBacktracks=19993 nbVisitedNodes=27237
272.05 nbRestartNogoods=54
272.05 => wckTime=260.129 cpuTime=257.32 mem=41M846
395.94
395.94 search
395.94 run=17 nbConstraintChecks=106827755 nbValidityChecks=82969622 nbPropagations=0 nbRevisions=0
395.94 nbUselessRevisions=0 nbAssignments=36844 nbFailedAssignments=1611 nbBacktracks=29891 nbVisitedNodes=38488
395.94 nbRestartNogoods=56
395.94 => wckTime=384.016 cpuTime=379.71 mem=41M846
575.68
575.68 search
575.68 run=18 nbConstraintChecks=154481997 nbValidityChecks=120858492 nbPropagations=0 nbRevisions=0
575.68 nbUselessRevisions=0 nbAssignments=52794 nbFailedAssignments=2494 nbBacktracks=44669 nbVisitedNodes=55331
575.68 nbRestartNogoods=59
575.68 => wckTime=563.764 cpuTime=557.66 mem=41M846
853.29
853.29 search
853.29 run=19 nbConstraintChecks=226044729 nbValidityChecks=178960808 nbPropagations=0 nbRevisions=0
853.29 nbUselessRevisions=0 nbAssignments=76281 nbFailedAssignments=3542 nbBacktracks=66852 nbVisitedNodes=79885
853.29 nbRestartNogoods=68
853.29 => wckTime=841.372 cpuTime=832.41 mem=41M846
1301.30
1301.30 search
1301.30 run=20 nbConstraintChecks=350830338 nbValidityChecks=291577978 nbPropagations=0 nbRevisions=0
1301.30 nbUselessRevisions=0 nbAssignments=111796 nbFailedAssignments=5629 nbBacktracks=100108 nbVisitedNodes=117519
1301.30 nbRestartNogoods=74
1301.30 => wckTime=1289.379 cpuTime=1275.81 mem=41M846
2087.03
2087.03 search
2087.03 run=21 nbConstraintChecks=507390507 nbValidityChecks=418066053 nbPropagations=0 nbRevisions=0
2087.03 nbUselessRevisions=0 nbAssignments=164551 nbFailedAssignments=8423 nbBacktracks=150001 nbVisitedNodes=173099
2087.03 nbRestartNogoods=77
2087.03 => wckTime=2075.107 cpuTime=2058.6 mem=41M846
2417.03 v 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 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 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 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 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 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 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 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 0 1 0 1 0 1 1 0 1 0 0 1 1 0 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 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 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 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 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 0 1 0 1 1 0 0 1 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 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 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 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 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 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 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 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 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 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 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 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 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 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 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 0 1 0 1 0 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 1 0 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 0 1 1 0 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 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 0 0 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 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 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 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 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 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 0 1 0 1 0 1 0 1 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 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 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 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 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 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 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 0 1 0 1 1 0 0 1 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 1 0 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 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 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 1 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 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 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 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 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 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 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 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-275784-1169227156 -o ROOT/results/node2/solver-275784-1169227156 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275784-1169227156/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: 2.12 2.06 2.02 2/94 12013
/proc/meminfo: memFree=1245280/2055920 swapFree=4180552/4192956
[pid=12012] ppid=12010 vsize=18540 CPUtime=0
/proc/12012/stat : 12012 (runsolver) R 12010 12012 11612 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 271111220 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/12012/statm: 4635 279 244 17 0 2626 0
[startup+0.102141 s]
/proc/loadavg: 2.12 2.06 2.02 2/94 12013
/proc/meminfo: memFree=1245280/2055920 swapFree=4180552/4192956
[pid=12012] ppid=12010 vsize=912432 CPUtime=0.08
/proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 2744 0 1 0 6 2 0 0 20 0 8 0 271111220 934330368 2491 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12012/statm: 228108 2491 1379 14 0 215091 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 912432
[startup+0.510215 s]
/proc/loadavg: 2.12 2.06 2.02 2/94 12013
/proc/meminfo: memFree=1245280/2055920 swapFree=4180552/4192956
[pid=12012] ppid=12010 vsize=915332 CPUtime=0.48
/proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 6412 0 1 0 43 5 0 0 18 0 8 0 271111220 937299968 6151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12012/statm: 228833 6151 2138 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33337 s]
/proc/loadavg: 2.12 2.06 2.02 3/101 12020
/proc/meminfo: memFree=1204456/2055920 swapFree=4180552/4192956
[pid=12012] ppid=12010 vsize=915640 CPUtime=1.29
/proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 14114 0 1 0 101 28 0 0 25 0 8 0 271111220 937615360 13852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12012/statm: 228910 13852 2178 14 0 215380 0
[pid=12012/tid=12014] ppid=12010 vsize=915640 CPUtime=0
/proc/12012/task/12014/stat : 12014 (java) S 12010 12012 11612 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 271111224 937615360 13852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12015] ppid=12010 vsize=915640 CPUtime=0
/proc/12012/task/12015/stat : 12015 (java) S 12010 12012 11612 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 271111225 937615360 13852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12016] ppid=12010 vsize=915640 CPUtime=0
/proc/12012/task/12016/stat : 12016 (java) S 12010 12012 11612 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 271111225 937615360 13852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12017] ppid=12010 vsize=915640 CPUtime=0
/proc/12012/task/12017/stat : 12017 (java) S 12010 12012 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271111229 937615360 13852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12018] ppid=12010 vsize=915640 CPUtime=0.2
/proc/12012/task/12018/stat : 12018 (java) R 12010 12012 11612 0 -1 64 426 0 0 0 19 1 0 0 16 0 8 0 271111229 937615360 13852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153158131 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12019] ppid=12010 vsize=915640 CPUtime=0
/proc/12012/task/12019/stat : 12019 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271111229 937615360 13852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12020] ppid=12010 vsize=915640 CPUtime=0
/proc/12012/task/12020/stat : 12020 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271111229 937615360 13852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915640
[startup+2.98271 s]
/proc/loadavg: 2.11 2.06 2.02 3/101 12020
/proc/meminfo: memFree=1190632/2055920 swapFree=4180552/4192956
[pid=12012] ppid=12010 vsize=915740 CPUtime=2.89
/proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 16301 0 1 0 244 45 0 0 25 0 8 0 271111220 937717760 16037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073882955 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12012/statm: 228935 16037 2496 14 0 215405 0
[pid=12012/tid=12014] ppid=12010 vsize=915740 CPUtime=0.07
/proc/12012/task/12014/stat : 12014 (java) S 12010 12012 11612 0 -1 64 1619 0 0 0 7 0 0 0 17 0 8 0 271111224 937717760 16037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12015] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12015/stat : 12015 (java) S 12010 12012 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12016] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12016/stat : 12016 (java) S 12010 12012 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12017] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12017/stat : 12017 (java) S 12010 12012 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271111229 937717760 16037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12018] ppid=12010 vsize=915740 CPUtime=0.25
/proc/12012/task/12018/stat : 12018 (java) S 12010 12012 11612 0 -1 64 457 0 0 0 24 1 0 0 15 0 8 0 271111229 937717760 16037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12019] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12019/stat : 12019 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271111229 937717760 16037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12020] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12020/stat : 12020 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271111229 937717760 16037 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915740
[startup+6.27028 s]
/proc/loadavg: 2.11 2.06 2.02 3/101 12020
/proc/meminfo: memFree=1190568/2055920 swapFree=4180552/4192956
[pid=12012] ppid=12010 vsize=915740 CPUtime=6.15
/proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 16312 0 1 0 517 98 0 0 25 0 8 0 271111220 937717760 16048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073937958 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12012/statm: 228935 16048 2496 14 0 215405 0
[pid=12012/tid=12014] ppid=12010 vsize=915740 CPUtime=0.07
/proc/12012/task/12014/stat : 12014 (java) S 12010 12012 11612 0 -1 64 1619 0 0 0 7 0 0 0 16 0 8 0 271111224 937717760 16048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12015] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12015/stat : 12015 (java) S 12010 12012 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12016] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12016/stat : 12016 (java) S 12010 12012 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12017] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12017/stat : 12017 (java) S 12010 12012 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271111229 937717760 16048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12018] ppid=12010 vsize=915740 CPUtime=0.26
/proc/12012/task/12018/stat : 12018 (java) S 12010 12012 11612 0 -1 64 467 0 0 0 25 1 0 0 17 0 8 0 271111229 937717760 16048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12019] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12019/stat : 12019 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271111229 937717760 16048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12020] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12020/stat : 12020 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271111229 937717760 16048 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915740
[startup+12.7665 s]
/proc/loadavg: 2.09 2.06 2.02 3/101 12020
/proc/meminfo: memFree=1190120/2055920 swapFree=4180552/4192956
[pid=12012] ppid=12010 vsize=915740 CPUtime=12.58
/proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 16463 0 1 0 1132 126 0 0 25 0 8 0 271111220 937717760 16198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074207561 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12012/statm: 228935 16198 2544 14 0 215405 0
[pid=12012/tid=12014] ppid=12010 vsize=915740 CPUtime=0.07
/proc/12012/task/12014/stat : 12014 (java) S 12010 12012 11612 0 -1 64 1619 0 0 0 7 0 0 0 17 0 8 0 271111224 937717760 16198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12015] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12015/stat : 12015 (java) S 12010 12012 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12016] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12016/stat : 12016 (java) S 12010 12012 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12017] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12017/stat : 12017 (java) S 12010 12012 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271111229 937717760 16198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12018] ppid=12010 vsize=915740 CPUtime=0.37
/proc/12012/task/12018/stat : 12018 (java) S 12010 12012 11612 0 -1 64 526 0 0 0 36 1 0 0 15 0 8 0 271111229 937717760 16198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12019] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12019/stat : 12019 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271111229 937717760 16198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12020] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12020/stat : 12020 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271111229 937717760 16198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915740
[startup+25.6218 s]
/proc/loadavg: 2.08 2.06 2.02 3/101 12020
/proc/meminfo: memFree=1190184/2055920 swapFree=4180552/4192956
[pid=12012] ppid=12010 vsize=915740 CPUtime=25.32
/proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 16497 0 1 0 2406 126 0 0 25 0 8 0 271111220 937717760 16225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074298360 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12012/statm: 228935 16225 2547 14 0 215405 0
[pid=12012/tid=12014] ppid=12010 vsize=915740 CPUtime=0.08
/proc/12012/task/12014/stat : 12014 (java) S 12010 12012 11612 0 -1 64 1620 0 0 0 8 0 0 0 16 0 8 0 271111224 937717760 16225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12015] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12015/stat : 12015 (java) S 12010 12012 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12016] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12016/stat : 12016 (java) S 12010 12012 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12017] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12017/stat : 12017 (java) S 12010 12012 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271111229 937717760 16225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12018] ppid=12010 vsize=915740 CPUtime=0.42
/proc/12012/task/12018/stat : 12018 (java) S 12010 12012 11612 0 -1 64 549 0 0 0 40 2 0 0 16 0 8 0 271111229 937717760 16225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12019] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12019/stat : 12019 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271111229 937717760 16225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12020] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12020/stat : 12020 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271111229 937717760 16225 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915740
[startup+51.2761 s]
/proc/loadavg: 2.05 2.05 2.01 3/101 12020
/proc/meminfo: memFree=1190184/2055920 swapFree=4180552/4192956
[pid=12012] ppid=12010 vsize=915740 CPUtime=50.65
/proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 16504 0 1 0 4938 127 0 0 25 0 8 0 271111220 937717760 16228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074213231 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12012/statm: 228935 16228 2547 14 0 215405 0
[pid=12012/tid=12014] ppid=12010 vsize=915740 CPUtime=0.08
/proc/12012/task/12014/stat : 12014 (java) S 12010 12012 11612 0 -1 64 1620 0 0 0 8 0 0 0 16 0 8 0 271111224 937717760 16228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12015] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12015/stat : 12015 (java) S 12010 12012 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12016] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12016/stat : 12016 (java) S 12010 12012 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12017] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12017/stat : 12017 (java) S 12010 12012 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271111229 937717760 16228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12018] ppid=12010 vsize=915740 CPUtime=0.43
/proc/12012/task/12018/stat : 12018 (java) S 12010 12012 11612 0 -1 64 555 0 0 0 41 2 0 0 15 0 8 0 271111229 937717760 16228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12019] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12019/stat : 12019 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271111229 937717760 16228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12020] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12020/stat : 12020 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271111229 937717760 16228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 915740
[startup+102.567 s]
/proc/loadavg: 2.02 2.04 2.01 3/101 12020
/proc/meminfo: memFree=1190248/2055920 swapFree=4180552/4192956
[pid=12012] ppid=12010 vsize=915740 CPUtime=101.39
/proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 16510 0 1 0 10010 129 0 0 25 0 8 0 271111220 937717760 16230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073929487 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12012/statm: 228935 16230 2547 14 0 215405 0
[pid=12012/tid=12014] ppid=12010 vsize=915740 CPUtime=0.08
/proc/12012/task/12014/stat : 12014 (java) S 12010 12012 11612 0 -1 64 1620 0 0 0 8 0 0 0 16 0 8 0 271111224 937717760 16230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12015] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12015/stat : 12015 (java) S 12010 12012 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12016] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12016/stat : 12016 (java) S 12010 12012 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12017] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12017/stat : 12017 (java) S 12010 12012 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271111229 937717760 16230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12018] ppid=12010 vsize=915740 CPUtime=0.44
/proc/12012/task/12018/stat : 12018 (java) S 12010 12012 11612 0 -1 64 559 0 0 0 42 2 0 0 15 0 8 0 271111229 937717760 16230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12019] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12019/stat : 12019 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271111229 937717760 16230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12020] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12020/stat : 12020 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271111229 937717760 16230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 915740
[startup+162.583 s]
/proc/loadavg: 2.00 2.03 2.00 3/101 12022
/proc/meminfo: memFree=1190120/2055920 swapFree=4180552/4192956
[pid=12012] ppid=12010 vsize=915740 CPUtime=160.86
/proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 16511 0 1 0 15956 130 0 0 25 0 8 0 271111220 937717760 16231 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073471040 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2007.39
Current children cumulated vsize (KiB) 915740
[startup+2083.94 s]
/proc/loadavg: 2.00 2.01 2.00 4/93 12128
/proc/meminfo: memFree=1214504/2055920 swapFree=4180552/4192956
[pid=12012] ppid=12010 vsize=915740 CPUtime=2067.37
/proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 16513 0 1 0 206576 161 0 0 25 0 8 0 271111220 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074209252 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12012/statm: 228935 16232 2547 14 0 215405 0
[pid=12012/tid=12014] ppid=12010 vsize=915740 CPUtime=0.08
/proc/12012/task/12014/stat : 12014 (java) S 12010 12012 11612 0 -1 64 1620 0 0 0 8 0 0 0 16 0 8 0 271111224 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12015] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12015/stat : 12015 (java) S 12010 12012 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12016] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12016/stat : 12016 (java) S 12010 12012 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12017] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12017/stat : 12017 (java) S 12010 12012 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12018] ppid=12010 vsize=915740 CPUtime=0.44
/proc/12012/task/12018/stat : 12018 (java) S 12010 12012 11612 0 -1 64 562 0 0 0 42 2 0 0 16 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12012/tid=12019] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12019/stat : 12019 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12020] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12020/stat : 12020 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2067.37
Current children cumulated vsize (KiB) 915740
[startup+2143.99 s]
/proc/loadavg: 2.00 2.01 2.00 3/93 12128
/proc/meminfo: memFree=1214504/2055920 swapFree=4180552/4192956
[pid=12012] ppid=12010 vsize=915740 CPUtime=2127.35
/proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 16513 0 1 0 212574 161 0 0 25 0 8 0 271111220 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074079585 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12012/statm: 228935 16232 2547 14 0 215405 0
[pid=12012/tid=12014] ppid=12010 vsize=915740 CPUtime=0.08
/proc/12012/task/12014/stat : 12014 (java) S 12010 12012 11612 0 -1 64 1620 0 0 0 8 0 0 0 16 0 8 0 271111224 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12015] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12015/stat : 12015 (java) S 12010 12012 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12016] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12016/stat : 12016 (java) S 12010 12012 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12017] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12017/stat : 12017 (java) S 12010 12012 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12018] ppid=12010 vsize=915740 CPUtime=0.44
/proc/12012/task/12018/stat : 12018 (java) S 12010 12012 11612 0 -1 64 562 0 0 0 42 2 0 0 16 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12012/tid=12019] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12019/stat : 12019 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12020] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12020/stat : 12020 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2127.35
Current children cumulated vsize (KiB) 915740
[startup+2204.04 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 12128
/proc/meminfo: memFree=1214504/2055920 swapFree=4180552/4192956
[pid=12012] ppid=12010 vsize=915740 CPUtime=2187.35
/proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 16513 0 1 0 218574 161 0 0 25 0 8 0 271111220 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074252874 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12012/statm: 228935 16232 2547 14 0 215405 0
[pid=12012/tid=12014] ppid=12010 vsize=915740 CPUtime=0.08
/proc/12012/task/12014/stat : 12014 (java) S 12010 12012 11612 0 -1 64 1620 0 0 0 8 0 0 0 16 0 8 0 271111224 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12015] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12015/stat : 12015 (java) S 12010 12012 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12016] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12016/stat : 12016 (java) S 12010 12012 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12017] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12017/stat : 12017 (java) S 12010 12012 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12018] ppid=12010 vsize=915740 CPUtime=0.44
/proc/12012/task/12018/stat : 12018 (java) S 12010 12012 11612 0 -1 64 562 0 0 0 42 2 0 0 16 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12012/tid=12019] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12019/stat : 12019 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12020] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12020/stat : 12020 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2187.35
Current children cumulated vsize (KiB) 915740
[startup+2264.1 s]
/proc/loadavg: 2.10 2.03 2.01 3/93 12128
/proc/meminfo: memFree=1214568/2055920 swapFree=4180552/4192956
[pid=12012] ppid=12010 vsize=915740 CPUtime=2247.34
/proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 16513 0 1 0 224573 161 0 0 25 0 8 0 271111220 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074209248 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12012/statm: 228935 16232 2547 14 0 215405 0
[pid=12012/tid=12014] ppid=12010 vsize=915740 CPUtime=0.08
/proc/12012/task/12014/stat : 12014 (java) S 12010 12012 11612 0 -1 64 1620 0 0 0 8 0 0 0 16 0 8 0 271111224 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12015] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12015/stat : 12015 (java) S 12010 12012 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12016] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12016/stat : 12016 (java) S 12010 12012 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12017] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12017/stat : 12017 (java) S 12010 12012 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12018] ppid=12010 vsize=915740 CPUtime=0.44
/proc/12012/task/12018/stat : 12018 (java) S 12010 12012 11612 0 -1 64 562 0 0 0 42 2 0 0 16 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12012/tid=12019] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12019/stat : 12019 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12020] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12020/stat : 12020 (java) R 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2247.34
Current children cumulated vsize (KiB) 915740
[startup+2324.16 s]
/proc/loadavg: 2.03 2.02 2.00 3/93 12128
/proc/meminfo: memFree=1214504/2055920 swapFree=4180552/4192956
[pid=12012] ppid=12010 vsize=915740 CPUtime=2307.32
/proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 16513 0 1 0 230571 161 0 0 25 0 8 0 271111220 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074190942 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12012/statm: 228935 16232 2547 14 0 215405 0
[pid=12012/tid=12014] ppid=12010 vsize=915740 CPUtime=0.08
/proc/12012/task/12014/stat : 12014 (java) S 12010 12012 11612 0 -1 64 1620 0 0 0 8 0 0 0 16 0 8 0 271111224 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12015] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12015/stat : 12015 (java) S 12010 12012 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12016] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12016/stat : 12016 (java) S 12010 12012 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12017] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12017/stat : 12017 (java) S 12010 12012 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12018] ppid=12010 vsize=915740 CPUtime=0.44
/proc/12012/task/12018/stat : 12018 (java) S 12010 12012 11612 0 -1 64 562 0 0 0 42 2 0 0 16 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12012/tid=12019] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12019/stat : 12019 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12020] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12020/stat : 12020 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2307.32
Current children cumulated vsize (KiB) 915740
[startup+2384.21 s]
/proc/loadavg: 2.01 2.02 2.00 3/93 12128
/proc/meminfo: memFree=1214504/2055920 swapFree=4180552/4192956
[pid=12012] ppid=12010 vsize=915740 CPUtime=2367.32
/proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 16513 0 1 0 236571 161 0 0 25 0 8 0 271111220 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074246174 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12012/statm: 228935 16232 2547 14 0 215405 0
[pid=12012/tid=12014] ppid=12010 vsize=915740 CPUtime=0.08
/proc/12012/task/12014/stat : 12014 (java) S 12010 12012 11612 0 -1 64 1620 0 0 0 8 0 0 0 16 0 8 0 271111224 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12015] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12015/stat : 12015 (java) S 12010 12012 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12016] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12016/stat : 12016 (java) S 12010 12012 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12017] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12017/stat : 12017 (java) S 12010 12012 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12018] ppid=12010 vsize=915740 CPUtime=0.44
/proc/12012/task/12018/stat : 12018 (java) S 12010 12012 11612 0 -1 64 562 0 0 0 42 2 0 0 16 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12012/tid=12019] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12019/stat : 12019 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12020] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12020/stat : 12020 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2367.32
Current children cumulated vsize (KiB) 915740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2417.02 s]
/proc/loadavg: 2.00 2.01 2.00 4/93 12128
/proc/meminfo: memFree=1214504/2055920 swapFree=4180552/4192956
[pid=12012] ppid=12010 vsize=915740 CPUtime=2400.09
/proc/12012/stat : 12012 (java) R 12010 12012 11612 0 -1 0 16513 0 1 0 239848 161 0 0 25 0 8 0 271111220 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074079490 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12012/statm: 228935 16232 2547 14 0 215405 0
[pid=12012/tid=12014] ppid=12010 vsize=915740 CPUtime=0.08
/proc/12012/task/12014/stat : 12014 (java) S 12010 12012 11612 0 -1 64 1620 0 0 0 8 0 0 0 16 0 8 0 271111224 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12015] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12015/stat : 12015 (java) S 12010 12012 11612 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12016] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12016/stat : 12016 (java) S 12010 12012 11612 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271111225 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12017] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12017/stat : 12017 (java) S 12010 12012 11612 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12018] ppid=12010 vsize=915740 CPUtime=0.44
/proc/12012/task/12018/stat : 12018 (java) S 12010 12012 11612 0 -1 64 562 0 0 0 42 2 0 0 16 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12012/tid=12019] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12019/stat : 12019 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12012/tid=12020] ppid=12010 vsize=915740 CPUtime=0
/proc/12012/task/12020/stat : 12020 (java) S 12010 12012 11612 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271111229 937717760 16232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 915740
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2417.09
CPU time (s): 2400.16
CPU user time (s): 2398.53
CPU system time (s): 1.62775
CPU usage (%): 99.2994
Max. virtual memory (cumulated for all children) (KiB): 915772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.53
system time used= 1.62775
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16535
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= 50716
involuntary context switches= 96907
runsolver used 3.87641 s user time and 8.48671 s system time
The end
Begin job on node2 on Fri Jan 19 17:19:16 UTC 2007
IDJOB= 275784
IDBENCH= 4796
IDSOLVER= 69
FILE ID= node2/275784-1169227156
PBS_JOBID= 3588972
Free space on /tmp= 66562 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/primesDimacs/bf-0432-007.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275784-1169227156/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-275784-1169227156 -o ROOT/results/node2/solver-275784-1169227156 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275784-1169227156/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 75306e088ab36ae277fcdc644f384d6a
RANDOM SEED= 244437409
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.259
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 : 5931.00
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.259
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: 1245760 kB
Buffers: 44356 kB
Cached: 611840 kB
SwapCached: 548 kB
Active: 183484 kB
Inactive: 553520 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1245760 kB
SwapTotal: 4192956 kB
SwapFree: 4180552 kB
Dirty: 2420 kB
Writeback: 0 kB
Mapped: 100080 kB
Slab: 57672 kB
Committed_AS: 7016228 kB
PageTables: 2532 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= 66560 MiB
End job on node2 on Fri Jan 19 17:59:33 UTC 2007