0.41
0.41 Abscon 109 (November, 2006)
0.41
0.41 configuration
0.41 name=epfc.xml
0.48
0.48 instance
0.48 name=/tmp/evaluation/275066-1169216436/unknown.xml
0.51
0.51 domains being loaded...
0.52
0.52 variables being loaded...
0.65 nbVariables=916 nbDomainTypes=5 minDomainSize=8 maxDomainSize=18
0.65 => wckTime=0.231 cpuTime=0.14 mem=8M828
0.65
0.65 predicates being loaded...
0.65
0.65 constraints being loaded...
1.44 nbConstraints=4638 nbConvertedConstraints=4638 nbConvertConstraintsChecks=101610 nbExtensionStructures=396
1.44 nbSharedExtensionStructures=4242 nbConflictsStructures=396 nbSharedConflictsStructures=4242
1.44 nbSharedBinaryRepresentations=12469 maxDegree=26 maxArity=2
1.44 => wckTime=1.027 cpuTime=0.82 mem=32M248
1.53
1.53 solver LocalSearchSolver being built...
1.57 => wckTime=1.151 cpuTime=0.86 mem=8M532
1.58
1.58 s SATISFIABLE
1.58 o 3523
1.58 c 1115
1.59 o 3530
1.59 c 1108
1.59 o 3537
1.59 c 1101
1.59 o 3544
1.59 c 1094
1.60 o 3550
1.60 c 1088
1.60 o 3556
1.60 c 1082
1.60 o 3562
1.60 c 1076
1.60 o 3567
1.60 c 1071
1.60 o 3572
1.60 c 1066
1.60 o 3576
1.60 c 1062
1.61 o 3579
1.61 c 1059
1.61 o 3584
1.61 c 1054
1.61 o 3589
1.61 c 1049
1.61 o 3594
1.61 c 1044
1.61 o 3599
1.61 c 1039
1.62 o 3604
1.62 c 1034
1.62 o 3608
1.62 c 1030
1.62 o 3613
1.62 c 1025
1.62 o 3617
1.62 c 1021
1.62 o 3621
1.62 c 1017
1.62 o 3625
1.62 c 1013
1.63 o 3629
1.63 c 1009
1.63 o 3632
1.63 c 1006
1.63 o 3635
1.63 c 1003
1.63 o 3637
1.63 c 1001
1.63 o 3639
1.63 c 999
1.63 o 3643
1.63 c 995
1.63 o 3647
1.63 c 991
1.64 o 3651
1.64 c 987
1.64 o 3655
1.64 c 983
1.64 o 3659
1.64 c 979
1.64 o 3663
1.64 c 975
1.64 o 3667
1.64 c 971
1.64 o 3671
1.64 c 967
1.64 o 3675
1.64 c 963
1.65 o 3679
1.65 c 959
1.65 o 3683
1.65 c 955
1.65 o 3687
1.65 c 951
1.65 o 3691
1.65 c 947
1.65 o 3695
1.65 c 943
1.65 o 3699
1.65 c 939
1.66 o 3703
1.66 c 935
1.66 o 3707
1.66 c 931
1.66 o 3711
1.66 c 927
1.66 o 3714
1.66 c 924
1.66 o 3717
1.66 c 921
1.66 o 3720
1.66 c 918
1.66 o 3723
1.66 c 915
1.66 o 3726
1.67 c 912
1.67 o 3729
1.67 c 909
1.67 o 3732
1.67 c 906
1.67 o 3735
1.67 c 903
1.67 o 3738
1.67 c 900
1.67 o 3741
1.67 c 897
1.67 o 3744
1.67 c 894
1.67 o 3746
1.67 c 892
1.68 o 3748
1.68 c 890
1.68 o 3750
1.68 c 888
1.68 o 3752
1.68 c 886
1.68 o 3754
1.68 c 884
1.68 o 3755
1.68 c 883
1.68 o 3756
1.68 c 882
1.68 o 3757
1.68 c 881
1.69 o 3760
1.69 c 878
1.69 o 3761
1.69 c 877
1.69 o 3763
1.69 c 875
1.69 o 3766
1.69 c 872
1.69 o 3767
1.69 c 871
1.70 o 3770
1.70 c 868
1.70 o 3773
1.70 c 865
1.70 o 3776
1.70 c 862
1.70 o 3779
1.70 c 859
1.71 o 3782
1.71 c 856
1.71 o 3785
1.71 c 853
1.71 o 3788
1.71 c 850
1.71 o 3791
1.71 c 847
1.71 o 3794
1.71 c 844
1.72 o 3797
1.72 c 841
1.72 o 3800
1.72 c 838
1.72 o 3803
1.72 c 835
1.72 o 3806
1.72 c 832
1.72 o 3809
1.73 c 829
1.73 o 3812
1.73 c 826
1.73 o 3815
1.73 c 823
1.73 o 3818
1.73 c 820
1.73 o 3821
1.73 c 817
1.74 o 3824
1.74 c 814
1.74 o 3827
1.74 c 811
1.74 o 3830
1.74 c 808
1.74 o 3833
1.74 c 805
1.74 o 3836
1.74 c 802
1.75 o 3839
1.75 c 799
1.75 o 3842
1.75 c 796
1.75 o 3845
1.75 c 793
1.75 o 3848
1.75 c 790
1.75 o 3851
1.75 c 787
1.76 o 3854
1.76 c 784
1.76 o 3857
1.76 c 781
1.76 o 3860
1.76 c 778
1.76 o 3863
1.76 c 775
1.76 o 3866
1.76 c 772
1.77 o 3869
1.77 c 769
1.77 o 3872
1.77 c 766
1.77 o 3875
1.77 c 763
1.77 o 3878
1.77 c 760
1.77 o 3881
1.77 c 757
1.78 o 3884
1.78 c 754
1.78 o 3887
1.78 c 751
1.78 o 3890
1.78 c 748
1.78 o 3893
1.78 c 745
1.78 o 3896
1.78 c 742
1.78 o 3898
1.78 c 740
1.79 o 3900
1.79 c 738
1.79 o 3902
1.79 c 736
1.79 o 3904
1.79 c 734
1.79 o 3906
1.79 c 732
1.79 o 3908
1.79 c 730
1.79 o 3910
1.79 c 728
1.80 o 3912
1.80 c 726
1.80 o 3914
1.80 c 724
1.80 o 3916
1.80 c 722
1.80 o 3918
1.80 c 720
1.80 o 3920
1.80 c 718
1.80 o 3922
1.80 c 716
1.80 o 3924
1.80 c 714
1.81 o 3926
1.81 c 712
1.81 o 3928
1.81 c 710
1.81 o 3930
1.81 c 708
1.81 o 3932
1.81 c 706
1.81 o 3934
1.81 c 704
1.81 o 3936
1.81 c 702
1.82 o 3938
1.82 c 700
1.82 o 3940
1.82 c 698
1.82 o 3942
1.82 c 696
1.82 o 3944
1.82 c 694
1.82 o 3946
1.82 c 692
1.82 o 3948
1.82 c 690
1.82 o 3950
1.82 c 688
1.83 o 3951
1.83 c 687
1.83 o 3952
1.83 c 686
1.83 o 3953
1.83 c 685
1.83 o 3954
1.83 c 684
1.83 o 3955
1.83 c 683
1.83 o 3956
1.83 c 682
1.83 o 3957
1.83 c 681
1.84 o 3958
1.84 c 680
1.84 o 3959
1.84 c 679
1.84 o 3961
1.84 c 677
1.84 o 3964
1.84 c 674
1.85 o 3965
1.85 c 673
1.85 o 3967
1.85 c 671
1.85 o 3970
1.85 c 668
1.85 o 3972
1.85 c 666
1.85 o 3976
1.85 c 662
1.86 o 3978
1.86 c 660
1.86 o 3981
1.86 c 657
1.86 o 3984
1.86 c 654
1.86 o 3986
1.86 c 652
1.86 o 3989
1.86 c 649
1.86 o 3991
1.86 c 647
1.86 o 3992
1.86 c 646
1.86 o 3995
1.87 c 643
1.87 o 3998
1.87 c 640
1.87 o 4000
1.87 c 638
1.87 o 4002
1.87 c 636
1.87 o 4003
1.87 c 635
1.87 o 4005
1.87 c 633
1.87 o 4007
1.87 c 631
1.88 o 4010
1.88 c 628
1.88 o 4012
1.88 c 626
1.88 o 4014
1.88 c 624
1.88 o 4016
1.88 c 622
1.89 o 4018
1.89 c 620
1.89 o 4020
1.89 c 618
1.89 o 4022
1.89 c 616
1.90 o 4024
1.90 c 614
1.90 o 4026
1.90 c 612
1.90 o 4028
1.90 c 610
1.90 o 4030
1.90 c 608
1.91 o 4032
1.91 c 606
1.91 o 4034
1.91 c 604
1.91 o 4036
1.91 c 602
1.91 o 4038
1.91 c 600
1.92 o 4040
1.92 c 598
1.92 o 4042
1.92 c 596
1.92 o 4044
1.92 c 594
1.92 o 4046
1.92 c 592
1.93 o 4048
1.93 c 590
1.93 o 4050
1.93 c 588
1.93 o 4052
1.93 c 586
1.94 o 4054
1.94 c 584
1.94 o 4056
1.94 c 582
1.94 o 4058
1.94 c 580
1.94 o 4060
1.94 c 578
1.94 o 4062
1.94 c 576
1.95 o 4064
1.95 c 574
1.95 o 4067
1.95 c 571
1.95 o 4070
1.95 c 568
1.95 o 4072
1.95 c 566
1.96 o 4074
1.96 c 564
1.96 o 4076
1.96 c 562
1.96 o 4078
1.96 c 560
1.96 o 4080
1.96 c 558
1.97 o 4082
1.97 c 556
1.97 o 4084
1.97 c 554
1.97 o 4086
1.97 c 552
1.97 o 4088
1.97 c 550
1.98 o 4090
1.98 c 548
1.98 o 4092
1.98 c 546
1.98 o 4094
1.98 c 544
1.98 o 4096
1.98 c 542
1.98 o 4098
1.98 c 540
1.99 o 4100
1.99 c 538
1.99 o 4102
1.99 c 536
1.99 o 4104
1.99 c 534
1.99 o 4106
1.99 c 532
2.00 o 4108
2.00 c 530
2.00 o 4110
2.00 c 528
2.00 o 4111
2.00 c 527
2.00 o 4112
2.00 c 526
2.00 o 4113
2.01 c 525
2.01 o 4114
2.01 c 524
2.01 o 4115
2.01 c 523
2.01 o 4116
2.01 c 522
2.01 o 4117
2.01 c 521
2.02 o 4118
2.02 c 520
2.02 o 4119
2.02 c 519
2.02 o 4120
2.02 c 518
2.02 o 4121
2.02 c 517
2.02 o 4122
2.02 c 516
2.03 o 4125
2.03 c 513
2.03 o 4126
2.03 c 512
2.03 o 4127
2.03 c 511
2.03 o 4128
2.03 c 510
2.03 o 4129
2.03 c 509
2.04 o 4130
2.04 c 508
2.04 o 4131
2.04 c 507
2.04 o 4132
2.04 c 506
2.04 o 4133
2.04 c 505
2.04 o 4134
2.04 c 504
2.05 o 4135
2.05 c 503
2.05 o 4136
2.05 c 502
2.05 o 4137
2.05 c 501
2.05 o 4138
2.05 c 500
2.05 o 4139
2.05 c 499
2.06 o 4140
2.06 c 498
2.06 o 4141
2.06 c 497
2.06 o 4142
2.06 c 496
2.06 o 4144
2.06 c 494
2.06 o 4145
2.06 c 493
2.06 o 4146
2.06 c 492
2.07 o 4147
2.07 c 491
2.07 o 4148
2.07 c 490
2.07 o 4151
2.07 c 487
2.08 o 4152
2.08 c 486
2.10 o 4155
2.10 c 483
2.10 o 4156
2.10 c 482
2.10 o 4157
2.10 c 481
2.10 o 4158
2.10 c 480
2.10 o 4160
2.10 c 478
2.10 o 4162
2.10 c 476
2.10 o 4164
2.11 c 474
2.11 o 4165
2.11 c 473
2.11 o 4167
2.11 c 471
2.11 o 4168
2.11 c 470
2.11 o 4169
2.11 c 469
2.11 o 4170
2.11 c 468
2.11 o 4173
2.11 c 465
2.11 o 4174
2.11 c 464
2.12 o 4175
2.12 c 463
2.12 o 4176
2.12 c 462
2.12 o 4177
2.12 c 461
2.12 o 4178
2.12 c 460
2.13 o 4179
2.13 c 459
2.13 o 4180
2.13 c 458
2.13 o 4182
2.13 c 456
2.13 o 4183
2.13 c 455
2.13 o 4184
2.13 c 454
2.13 o 4186
2.13 c 452
2.14 o 4188
2.14 c 450
2.14 o 4190
2.14 c 448
2.14 o 4191
2.14 c 447
2.14 o 4192
2.14 c 446
2.14 o 4193
2.14 c 445
2.14 o 4195
2.14 c 443
2.14 o 4197
2.14 c 441
2.15 o 4198
2.15 c 440
2.15 o 4199
2.15 c 439
2.15 o 4201
2.15 c 437
2.15 o 4202
2.15 c 436
2.15 o 4205
2.15 c 433
2.15 o 4206
2.15 c 432
2.16 o 4208
2.16 c 430
2.16 o 4209
2.16 c 429
2.16 o 4210
2.16 c 428
2.16 o 4212
2.16 c 426
2.16 o 4214
2.16 c 424
2.16 o 4216
2.16 c 422
2.17 o 4217
2.17 c 421
2.17 o 4218
2.17 c 420
2.17 o 4220
2.17 c 418
2.17 o 4221
2.17 c 417
2.17 o 4223
2.17 c 415
2.18 o 4224
2.18 c 414
2.18 o 4226
2.18 c 412
2.18 o 4227
2.18 c 411
2.18 o 4228
2.18 c 410
2.19 o 4230
2.19 c 408
2.19 o 4232
2.19 c 406
2.19 o 4234
2.19 c 404
2.20 o 4235
2.20 c 403
2.20 o 4237
2.20 c 401
2.20 o 4238
2.20 c 400
2.20 o 4240
2.20 c 398
2.21 o 4241
2.21 c 397
2.22 o 4242
2.22 c 396
2.22 o 4244
2.22 c 394
2.22 o 4245
2.22 c 393
2.23 o 4246
2.23 c 392
2.23 o 4247
2.23 c 391
2.24 o 4248
2.24 c 390
2.24 o 4249
2.24 c 389
2.24 o 4250
2.24 c 388
2.25 o 4251
2.25 c 387
2.25 o 4252
2.25 c 386
2.26 o 4253
2.26 c 385
2.26 o 4254
2.26 c 384
2.27 o 4255
2.27 c 383
2.27 o 4257
2.27 c 381
2.27 o 4258
2.27 c 380
2.28 o 4259
2.28 c 379
2.28 o 4260
2.28 c 378
2.28 o 4261
2.28 c 377
2.29 o 4262
2.29 c 376
2.29 o 4263
2.29 c 375
2.29 o 4264
2.29 c 374
2.30 o 4265
2.30 c 373
2.30 o 4266
2.30 c 372
2.30 o 4267
2.30 c 371
2.31 o 4269
2.31 c 369
2.31 o 4270
2.31 c 368
2.31 o 4271
2.31 c 367
2.32 o 4272
2.32 c 366
2.32 o 4273
2.32 c 365
2.32 o 4274
2.32 c 364
2.33 o 4275
2.33 c 363
2.33 o 4276
2.33 c 362
2.33 o 4277
2.33 c 361
2.34 o 4278
2.34 c 360
2.34 o 4279
2.34 c 359
2.34 o 4280
2.34 c 358
2.35 o 4282
2.35 c 356
2.35 o 4283
2.35 c 355
2.35 o 4285
2.35 c 353
2.35 o 4286
2.35 c 352
2.36 o 4287
2.36 c 351
2.36 o 4288
2.36 c 350
2.37 o 4289
2.37 c 349
2.37 o 4290
2.37 c 348
2.37 o 4291
2.37 c 347
2.37 o 4292
2.37 c 346
2.38 o 4293
2.38 c 345
2.39 o 4294
2.39 c 344
2.39 o 4295
2.39 c 343
2.39 o 4296
2.39 c 342
2.40 o 4297
2.40 c 341
2.40 o 4298
2.40 c 340
2.40 o 4299
2.40 c 339
2.41 o 4300
2.41 c 338
2.41 o 4301
2.41 c 337
2.43 o 4302
2.43 c 336
2.44 o 4303
2.44 c 335
2.44 o 4304
2.44 c 334
2.45 o 4305
2.45 c 333
2.47 o 4306
2.47 c 332
2.48 o 4308
2.48 c 330
2.49 o 4309
2.49 c 329
2.50 o 4310
2.50 c 328
2.51 o 4311
2.51 c 327
2.71 o 4312
2.71 c 326
2.71 o 4313
2.71 c 325
2.71 o 4314
2.71 c 324
2.72 o 4315
2.72 c 323
2.73 o 4316
2.73 c 322
2.73 o 4317
2.73 c 321
2.74 o 4319
2.74 c 319
2.74 o 4321
2.74 c 317
2.75 o 4322
2.75 c 316
2.75 o 4323
2.75 c 315
2.75 o 4324
2.75 c 314
2.76 o 4325
2.76 c 313
2.76 o 4326
2.76 c 312
2.86 o 4327
2.86 c 311
2.86 o 4328
2.86 c 310
2.86 o 4329
2.86 c 309
2.87 o 4330
2.87 c 308
2.92 o 4331
2.92 c 307
2.93 o 4332
2.93 c 306
2.93 o 4334
2.93 c 304
2.94 o 4336
2.94 c 302
2.94 o 4337
2.94 c 301
2.95 o 4338
2.95 c 300
2.96 o 4339
2.96 c 299
2.96 o 4341
2.96 c 297
2.96 o 4343
2.96 c 295
2.96 o 4344
2.96 c 294
2.97 o 4345
2.97 c 293
2.98 o 4346
2.98 c 292
2.98 o 4347
2.98 c 291
2.99 o 4348
2.99 c 290
3.00 o 4349
3.00 c 289
3.00 o 4350
3.00 c 288
3.01 o 4353
3.01 c 285
3.01 o 4354
3.01 c 284
3.01 o 4355
3.01 c 283
3.02 o 4357
3.02 c 281
3.02 o 4359
3.02 c 279
3.04 o 4360
3.04 c 278
3.05 o 4361
3.05 c 277
3.06 o 4362
3.06 c 276
3.06 o 4363
3.06 c 275
3.14 o 4366
3.14 c 272
3.16 o 4367
3.16 c 271
3.22 o 4368
3.22 c 270
3.28 o 4369
3.28 c 269
3.29 o 4370
3.29 c 268
3.30 o 4371
3.30 c 267
3.30 o 4372
3.30 c 266
3.32 o 4373
3.32 c 265
3.32 o 4375
3.32 c 263
3.33 o 4376
3.33 c 262
3.35 o 4377
3.35 c 261
3.36 o 4379
3.36 c 259
3.36 o 4380
3.36 c 258
3.37 o 4381
3.37 c 257
3.37 o 4382
3.37 c 256
3.38 o 4383
3.38 c 255
3.40 o 4384
3.40 c 254
3.40 o 4385
3.40 c 253
3.41 o 4386
3.41 c 252
3.44 o 4387
3.44 c 251
3.45 o 4388
3.45 c 250
3.45 o 4390
3.45 c 248
3.45 o 4391
3.45 c 247
3.47 o 4392
3.47 c 246
3.47 o 4394
3.47 c 244
3.48 o 4395
3.48 c 243
3.48 o 4396
3.48 c 242
3.60 o 4397
3.60 c 241
3.61 o 4398
3.61 c 240
3.67 o 4399
3.67 c 239
3.67 o 4400
3.67 c 238
3.68 o 4401
3.68 c 237
3.70 o 4403
3.70 c 235
3.70 o 4404
3.70 c 234
3.71 o 4405
3.71 c 233
3.72 o 4406
3.72 c 232
3.73 o 4407
3.73 c 231
3.73 o 4408
3.73 c 230
3.74 o 4409
3.74 c 229
3.75 o 4410
3.75 c 228
3.76 o 4411
3.76 c 227
3.81 o 4412
3.81 c 226
3.81 o 4414
3.81 c 224
3.82 o 4415
3.82 c 223
3.83 o 4416
3.83 c 222
3.89 o 4417
3.89 c 221
3.98 o 4418
3.98 c 220
4.00 o 4420
4.00 c 218
4.01 o 4422
4.01 c 216
4.02 o 4425
4.02 c 213
4.05 o 4426
4.05 c 212
4.10 o 4427
4.10 c 211
4.11 o 4428
4.11 c 210
4.12 o 4429
4.12 c 209
4.12 o 4431
4.12 c 207
4.13 o 4433
4.13 c 205
4.14 o 4435
4.14 c 203
4.65 o 4437
4.65 c 201
4.65 o 4438
4.65 c 200
4.66 o 4439
4.66 c 199
4.70 o 4440
4.70 c 198
4.70 o 4441
4.70 c 197
4.75 o 4442
4.75 c 196
4.79 o 4443
4.79 c 195
4.79 o 4444
4.79 c 194
4.80 o 4445
4.80 c 193
4.80 o 4446
4.80 c 192
4.80 o 4447
4.80 c 191
4.81 o 4450
4.81 c 188
4.82 o 4451
4.82 c 187
4.83 o 4452
4.83 c 186
4.83 o 4453
4.83 c 185
4.84 o 4454
4.84 c 184
4.85 o 4455
4.85 c 183
4.97 o 4456
4.97 c 182
4.97 o 4457
4.97 c 181
4.98 o 4458
4.98 c 180
4.99 o 4459
4.99 c 179
4.99 o 4461
4.99 c 177
5.00 o 4462
5.00 c 176
5.01 o 4463
5.01 c 175
5.02 o 4464
5.02 c 174
5.05 o 4465
5.05 c 173
5.06 o 4466
5.06 c 172
5.07 o 4467
5.07 c 171
5.09 o 4468
5.09 c 170
5.15 o 4469
5.15 c 169
5.18 o 4470
5.18 c 168
5.19 o 4471
5.19 c 167
5.52 o 4472
5.52 c 166
5.53 o 4473
5.53 c 165
5.53 o 4474
5.53 c 164
5.54 o 4475
5.54 c 163
5.55 o 4476
5.55 c 162
5.55 o 4478
5.55 c 160
5.66 o 4479
5.66 c 159
5.67 o 4480
5.67 c 158
5.68 o 4482
5.68 c 156
5.68 o 4486
5.68 c 152
5.76 o 4487
5.76 c 151
5.78 o 4488
5.78 c 150
5.83 o 4489
5.83 c 149
5.88 o 4490
5.88 c 148
5.95 o 4491
5.95 c 147
6.16 o 4492
6.16 c 146
6.17 o 4493
6.17 c 145
6.21 o 4495
6.21 c 143
6.22 o 4496
6.22 c 142
6.44 o 4497
6.44 c 141
6.71 o 4498
6.71 c 140
6.72 o 4499
6.72 c 139
6.73 o 4500
6.73 c 138
6.91 o 4501
6.91 c 137
6.97 o 4502
6.97 c 136
6.99 o 4504
6.99 c 134
7.39 o 4505
7.39 c 133
7.39 o 4508
7.39 c 130
7.40 o 4509
7.40 c 129
8.01 o 4510
8.01 c 128
8.02 o 4511
8.02 c 127
8.04 o 4512
8.04 c 126
8.08 o 4513
8.08 c 125
8.24 o 4514
8.24 c 124
8.24 o 4515
8.24 c 123
8.40 o 4516
8.40 c 122
8.41 o 4517
8.41 c 121
8.42 o 4518
8.42 c 120
8.89 o 4519
8.89 c 119
8.90 o 4520
8.90 c 118
8.95 o 4521
8.95 c 117
8.96 o 4522
8.96 c 116
8.96 o 4523
8.96 c 115
9.03 o 4524
9.03 c 114
9.04 o 4525
9.04 c 113
9.05 o 4526
9.05 c 112
9.05 o 4527
9.05 c 111
9.06 o 4528
9.06 c 110
9.52 o 4529
9.52 c 109
9.70 o 4530
9.70 c 108
9.71 o 4531
9.71 c 107
9.82 o 4532
9.82 c 106
10.44 o 4533
10.44 c 105
11.80 o 4534
11.80 c 104
11.94 o 4536
11.94 c 102
11.97 o 4537
11.97 c 101
13.37 o 4538
13.37 c 100
13.60 o 4539
13.60 c 99
15.37 o 4540
15.37 c 98
16.69 o 4541
16.69 c 97
17.17 o 4542
17.17 c 96
17.71 o 4543
17.71 c 95
17.80 o 4544
17.80 c 94
17.80 o 4545
17.80 c 93
17.85 o 4546
17.85 c 92
17.95 o 4547
17.95 c 91
18.01 o 4548
18.01 c 90
18.06 o 4549
18.06 c 89
18.06 o 4550
18.06 c 88
20.77
20.77 search
20.77 run=0 nbConstraintChecks=163264982 nbAssignments=10000
20.77 => wckTime=19.204 cpuTime=19.01 mem=8M532
23.99 o 4551
24.00 c 87
24.15 o 4552
24.15 c 86
29.31 o 4553
29.31 c 85
29.48 o 4554
29.48 c 84
29.83 o 4555
29.83 c 83
29.83 o 4556
29.83 c 82
31.03 o 4557
31.03 c 81
33.99 o 4558
33.99 c 80
34.08 o 4559
34.08 c 79
35.44
35.44 search
35.44 run=1 nbConstraintChecks=299483956 nbAssignments=20000
35.44 => wckTime=33.87 cpuTime=33.66 mem=8M532
36.59 o 4560
36.59 c 78
36.65 o 4561
36.65 c 77
36.65 o 4562
36.65 c 76
36.69 o 4563
36.69 c 75
36.69 o 4564
36.69 c 74
37.74 o 4565
37.74 c 73
37.85 o 4566
37.85 c 72
38.04 o 4567
38.04 c 71
38.41 o 4568
38.41 c 70
47.99
47.99 search
47.99 run=2 nbConstraintChecks=415897237 nbAssignments=30000
47.99 => wckTime=46.426 cpuTime=46.2 mem=8M532
62.24
62.24 search
62.24 run=3 nbConstraintChecks=548571860 nbAssignments=40000
62.24 => wckTime=60.669 cpuTime=60.43 mem=8M532
68.43
68.43 search
68.43 run=4 nbConstraintChecks=606033628 nbAssignments=44237
68.43 => wckTime=66.868 cpuTime=66.63 mem=8M532
68.44
68.44 global
68.44 nbConstraintChecks=606033628 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
68.44 solvingWckTime=66.864 solvingCpuTime=66.63 expiredTime=no totalExploration=no nbFoundSolutions=0
68.44 globalCpuTime=67.55
68.44 => wckTime=68.019 cpuTime=67.49 mem=8M532
68.44
68.44 solver IterativeSystematicSolver being built...
68.62 => wckTime=68.201 cpuTime=67.64 mem=24M349
80.77
80.77 preprocessing
80.77 nbConstraintChecks=28352854 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
80.77 detectedInconsistency=no
80.77 => wckTime=12.152 cpuTime=12.09 mem=24M349
103.56
103.56 search
103.56 run=0 nbConstraintChecks=24421021 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=481
103.56 nbFailedAssignments=97 nbBacktracks=10 nbVisitedNodes=589 nbRestartNogoods=0
103.56 => wckTime=34.936 cpuTime=34.82 mem=24M349
123.12
123.12 search
123.12 run=1 nbConstraintChecks=48429639 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=964
123.12 nbFailedAssignments=180 nbBacktracks=25 nbVisitedNodes=1170 nbRestartNogoods=5
123.12 => wckTime=54.496 cpuTime=54.36 mem=24M349
140.87
140.87 search
140.87 run=2 nbConstraintChecks=68584165 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1401
140.87 nbFailedAssignments=212 nbBacktracks=47 nbVisitedNodes=1661 nbRestartNogoods=9
140.87 => wckTime=72.248 cpuTime=72.07 mem=24M349
176.08
176.08 search
176.08 run=3 nbConstraintChecks=95786493 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1918
176.08 nbFailedAssignments=309 nbBacktracks=80 nbVisitedNodes=2308 nbRestartNogoods=25
176.08 => wckTime=107.459 cpuTime=107.24 mem=24M349
216.00
216.00 search
216.00 run=4 nbConstraintChecks=128452512 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2500
216.00 nbFailedAssignments=451 nbBacktracks=130 nbVisitedNodes=3082 nbRestartNogoods=30
216.00 => wckTime=147.381 cpuTime=147.13 mem=24M349
303.79
303.79 search
303.79 run=5 nbConstraintChecks=185580843 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3342
303.79 nbFailedAssignments=836 nbBacktracks=205 nbVisitedNodes=4384 nbRestartNogoods=39
303.79 => wckTime=235.173 cpuTime=234.82 mem=24M349
384.17
384.17 search
384.17 run=6 nbConstraintChecks=230480883 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4040
384.17 nbFailedAssignments=1047 nbBacktracks=318 nbVisitedNodes=5406 nbRestartNogoods=43
384.17 => wckTime=315.554 cpuTime=315.12 mem=24M349
554.63
554.63 search
554.63 run=7 nbConstraintChecks=330876324 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5369
554.63 nbFailedAssignments=1819 nbBacktracks=488 nbVisitedNodes=7677 nbRestartNogoods=47
554.63 => wckTime=486.011 cpuTime=485.37 mem=24M349
841.27
841.27 search
841.27 run=8 nbConstraintChecks=458020889 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6944
841.27 nbFailedAssignments=2734 nbBacktracks=744 nbVisitedNodes=10423 nbRestartNogoods=57
841.27 => wckTime=772.652 cpuTime=771.72 mem=24M349
1055.17
1055.17 search
1055.17 run=9 nbConstraintChecks=576338713 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8468
1055.17 nbFailedAssignments=3484 nbBacktracks=1128 nbVisitedNodes=13081 nbRestartNogoods=77
1055.17 => wckTime=986.546 cpuTime=985.37 mem=24M349
1644.67
1644.67 search
1644.67 run=10 nbConstraintChecks=891361121 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12129
1644.67 nbFailedAssignments=6180 nbBacktracks=1704 nbVisitedNodes=20014 nbRestartNogoods=85
1644.67 => wckTime=1576.049 cpuTime=1574.15 mem=24M349
2403.03 v 156 156 100 338 268 30 100 338 254 16 44 282 16 254 254 16 156 114 58 296 282 44 324 86 156 142 310 72 268 30 16 254 156 156 44 282 16 254 268 30 114 142 296 58 156 142 16 254 254 16 310 72 156 156 16 254 254 16 100 338 310 72 114 142 58 296 72 310 324 86 16 254 282 44 296 58 44 282 338 100 128 128 324 86 156 156 72 310 30 268 142 156 268 30 100 338 282 44 338 100 72 310 142 156 254 16 310 72 44 282 100 338 156 156 324 86 254 16 100 338 100 338 254 16 100 338 338 100 338 100 72 310 268 30 128 128 100 338 100 338 86 324 324 86 324 86 324 86 100 338 282 44 58 296 254 16 58 296 72 310 100 338 30 268 16 254 254 16 254 16 310 72 142 16 324 86 338 100 338 100 58 296 100 338 324 86 338 100 282 44 156 156 268 30 156 128 128 156 156 156 100 338 58 296 156 156 30 268 86 324 16 254 86 128 44 282 114 114 44 282 156 114 58 296 268 30 100 338 86 324 16 254 86 324 142 156 296 58 114 156 16 254 86 324 268 30 338 100 58 296 310 72 86 324 282 44 324 86 156 156 30 268 156 156 338 100 282 44 44 282 254 16 338 100 338 100 100 338 282 44 156 156 16 254 72 310 30 268 254 16 254 16 324 86 100 338 30 268 324 86 114 142 30 268 72 310 16 254 254 16 72 310 128 142 16 254 268 30 282 44 100 338 156 156 100 338 338 100 86 324 268 30 16 254 44 282 338 100 100 338 296 58 156 142 16 254 142 156 100 338 44 282 16 254 338 100 282 44 254 16 72 310 100 338 72 310 16 254 16 254 338 100 254 16 100 338 338 100 296 58 16 254 310 72 338 100 310 72 100 338 310 72 324 86 142 128 44 282 156 128 114 142 254 16 58 296 156 156 142 142 72 310 156 128 310 72 296 58 268 30 254 16 156 156 16 254 72 310 338 100 324 86 100 338 156 142 86 324 156 114 58 296 324 86 142 128 282 44 254 16 16 254 268 30 324 86 30 268 296 58 296 58 296 58 16 254 268 30 282 44 86 324 100 338 114 114 296 58 324 86 16 338 268 30 156 156 282 44 296 58 30 268 338 100 44 282 44 282 72 310 254 16 72 310 100 338 100 338 310 72 156 156 254 16 86 324 16 254 86 324 296 58 30 268 44 282 268 30 268 30 86 324 324 86 282 44 296 58 30 268 44 282 310 72 100 338 338 100 324 86 72 310 44 282 30 268 100 338 254 16 324 86 338 100 268 30 268 30 310 72 254 16 72 310 100 338 72 310 324 86 142 142 100 338 156 156 44 282 338 100 282 44 338 100 338 100 100 338 282 44 72 310 16 254 156 156 254 16 254 16 268 30 44 282 338 100 86 324 44 282 310 72 254 16 156 142 58 296 30 268 142 156 72 310 268 30 114 142 72 310 254 16 156 156 86 324 254 16 282 44 16 254 254 16 44 282 58 296 268 30 296 58 338 100 338 100 44 282 282 44 338 100 16 254 310 72 128 156 268 30 268 30 338 100 100 338 254 16 282 44 296 142 44 282 338 100 324 86 268 30 296 58 338 100 100 338 282 44 58 296 86 324 58 296 338 100 338 100 282 44 338 100 310 72 282 44 128 156 338 100 16 254 338 100 86 324 310 72 338 100 44 282 338 100 156 156 338 100 86 324 324 86 58 296 310 72 338 100 324 86 86 324 324 86 156 156 72 310 268 30 310 72 86 324 156 156 44 282 324 86 296 58 44 282 100 338 100 338 268 30 30 268 16 254 310 72 58 296 296 58 324 86 310 72 58 296 324 86 58 296 310 72 72 310 58 296 86 324 338 100 268 30 16 254 310 72 30 268 30 268 310 72 100 338 268 30 86 324 100 338 58 296 44 282 296 58 16 254 310 72 282 44 254 16 86 324 114 142 30 268 72 310 58 296 16 254 268 30 338 100 30 268 254 16 128 128 86 324 72 310 310 72 86 324 338 100 296 58 296 58 142 156 44 282 128 324 16 254 142 296 310 72 58 296 16 254 324 86 16 254 86 324 16 254 324 86
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-275066-1169216436 -o ROOT/results/node19/solver-275066-1169216436 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275066-1169216436/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: 1.92 1.98 1.82 4/86 8294
/proc/meminfo: memFree=1226488/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=9748 CPUtime=0
/proc/8293/stat : 8293 (java) D 8291 8293 7940 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 270038312 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7484196 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/8293/statm: 2437 412 333 14 0 1140 0
[startup+0.103225 s]
/proc/loadavg: 1.92 1.98 1.82 4/86 8294
/proc/meminfo: memFree=1226488/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=89776 CPUtime=0
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 1273 0 1 0 0 0 0 0 17 0 1 0 270038312 91930624 1022 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 0 0 0 17 1 0 0
/proc/8293/statm: 22444 1022 811 14 0 10027 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 89776
[startup+0.515298 s]
/proc/loadavg: 1.92 1.98 1.82 4/86 8294
/proc/meminfo: memFree=1226488/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915332 CPUtime=0.36
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 5826 0 14 0 32 4 0 0 18 0 8 0 270038312 937299968 5578 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073452479 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8293/statm: 228833 5578 2103 14 0 215303 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 915332
[startup+1.34246 s]
/proc/loadavg: 1.92 1.98 1.82 3/93 8301
/proc/meminfo: memFree=1187640/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915636 CPUtime=1.18
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 11938 0 14 0 95 23 0 0 24 0 8 0 270038312 937611264 11689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8293/statm: 228909 11689 2175 14 0 215379 0
[pid=8293/tid=8295] ppid=8291 vsize=915636 CPUtime=0
/proc/8293/task/8295/stat : 8295 (java) S 8291 8293 7940 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 270038324 937611264 11689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8296] ppid=8291 vsize=915636 CPUtime=0
/proc/8293/task/8296/stat : 8296 (java) S 8291 8293 7940 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 270038324 937611264 11689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8297] ppid=8291 vsize=915636 CPUtime=0
/proc/8293/task/8297/stat : 8297 (java) S 8291 8293 7940 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 270038324 937611264 11689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8298] ppid=8291 vsize=915636 CPUtime=0
/proc/8293/task/8298/stat : 8298 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270038328 937611264 11689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8299] ppid=8291 vsize=915636 CPUtime=0.19
/proc/8293/task/8299/stat : 8299 (java) S 8291 8293 7940 0 -1 64 431 0 0 0 18 1 0 0 15 0 8 0 270038328 937611264 11689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8300] ppid=8291 vsize=915636 CPUtime=0
/proc/8293/task/8300/stat : 8300 (java) S 8291 8293 7940 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270038328 937611264 11689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8301] ppid=8291 vsize=915636 CPUtime=0
/proc/8293/task/8301/stat : 8301 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270038328 937611264 11689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 915636
[startup+2.97976 s]
/proc/loadavg: 1.92 1.98 1.82 3/93 8301
/proc/meminfo: memFree=1178104/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915736 CPUtime=2.77
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 13714 0 14 0 243 34 0 0 25 0 8 0 270038312 937713664 13463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073941902 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8293/statm: 228934 13463 2501 14 0 215404 0
[pid=8293/tid=8295] ppid=8291 vsize=915736 CPUtime=0.06
/proc/8293/task/8295/stat : 8295 (java) S 8291 8293 7940 0 -1 64 920 0 0 0 6 0 0 0 17 0 8 0 270038324 937713664 13463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8296] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8296/stat : 8296 (java) S 8291 8293 7940 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8297] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8297/stat : 8297 (java) S 8291 8293 7940 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8298] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8298/stat : 8298 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270038328 937713664 13463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8299] ppid=8291 vsize=915736 CPUtime=0.23
/proc/8293/task/8299/stat : 8299 (java) S 8291 8293 7940 0 -1 64 457 0 0 0 22 1 0 0 15 0 8 0 270038328 937713664 13463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8300] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8300/stat : 8300 (java) S 8291 8293 7940 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270038328 937713664 13463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8301] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8301/stat : 8301 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270038328 937713664 13463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 915736
[startup+6.28038 s]
/proc/loadavg: 1.93 1.98 1.82 3/93 8301
/proc/meminfo: memFree=1178104/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915736 CPUtime=6.04
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 13715 0 14 0 562 42 0 0 25 0 8 0 270038312 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073938517 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8293/statm: 228934 13464 2501 14 0 215404 0
[pid=8293/tid=8295] ppid=8291 vsize=915736 CPUtime=0.06
/proc/8293/task/8295/stat : 8295 (java) S 8291 8293 7940 0 -1 64 920 0 0 0 6 0 0 0 16 0 8 0 270038324 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8296] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8296/stat : 8296 (java) S 8291 8293 7940 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8297] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8297/stat : 8297 (java) S 8291 8293 7940 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8298] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8298/stat : 8298 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270038328 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8299] ppid=8291 vsize=915736 CPUtime=0.23
/proc/8293/task/8299/stat : 8299 (java) S 8291 8293 7940 0 -1 64 458 0 0 0 22 1 0 0 16 0 8 0 270038328 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8300] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8300/stat : 8300 (java) S 8291 8293 7940 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270038328 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8301] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8301/stat : 8301 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270038328 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 915736
[startup+12.7576 s]
/proc/loadavg: 1.94 1.98 1.82 3/93 8301
/proc/meminfo: memFree=1178104/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915736 CPUtime=12.46
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 13715 0 14 0 1189 57 0 0 25 0 8 0 270038312 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073939508 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8293/statm: 228934 13464 2501 14 0 215404 0
[pid=8293/tid=8295] ppid=8291 vsize=915736 CPUtime=0.06
/proc/8293/task/8295/stat : 8295 (java) S 8291 8293 7940 0 -1 64 920 0 0 0 6 0 0 0 16 0 8 0 270038324 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8296] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8296/stat : 8296 (java) S 8291 8293 7940 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8297] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8297/stat : 8297 (java) S 8291 8293 7940 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8298] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8298/stat : 8298 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270038328 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8299] ppid=8291 vsize=915736 CPUtime=0.23
/proc/8293/task/8299/stat : 8299 (java) S 8291 8293 7940 0 -1 64 458 0 0 0 22 1 0 0 16 0 8 0 270038328 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8300] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8300/stat : 8300 (java) S 8291 8293 7940 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270038328 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8301] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8301/stat : 8301 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270038328 937713664 13464 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 915736
[startup+25.611 s]
/proc/loadavg: 1.80 1.95 1.81 2/88 8362
/proc/meminfo: memFree=1183136/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915736 CPUtime=25.28
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 13717 0 14 0 2436 92 0 0 25 0 8 0 270038312 937713664 13466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073941831 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8293/statm: 228934 13466 2501 14 0 215404 0
[pid=8293/tid=8295] ppid=8291 vsize=915736 CPUtime=0.06
/proc/8293/task/8295/stat : 8295 (java) S 8291 8293 7940 0 -1 64 920 0 0 0 6 0 0 0 16 0 8 0 270038324 937713664 13466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8296] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8296/stat : 8296 (java) S 8291 8293 7940 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8297] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8297/stat : 8297 (java) S 8291 8293 7940 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8298] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8298/stat : 8298 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270038328 937713664 13466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8299] ppid=8291 vsize=915736 CPUtime=0.23
/proc/8293/task/8299/stat : 8299 (java) S 8291 8293 7940 0 -1 64 460 0 0 0 22 1 0 0 16 0 8 0 270038328 937713664 13466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8300] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8300/stat : 8300 (java) S 8291 8293 7940 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270038328 937713664 13466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8301] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8301/stat : 8301 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270038328 937713664 13466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915736
[startup+51.2388 s]
/proc/loadavg: 1.70 1.92 1.80 3/93 8422
/proc/meminfo: memFree=1179272/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915736 CPUtime=50.88
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 13722 0 14 0 4921 167 0 0 25 0 8 0 270038312 937713664 13471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073958723 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8293/statm: 228934 13471 2501 14 0 215404 0
[pid=8293/tid=8295] ppid=8291 vsize=915736 CPUtime=0.06
/proc/8293/task/8295/stat : 8295 (java) S 8291 8293 7940 0 -1 64 920 0 0 0 6 0 0 0 16 0 8 0 270038324 937713664 13471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8296] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8296/stat : 8296 (java) S 8291 8293 7940 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8297] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8297/stat : 8297 (java) S 8291 8293 7940 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8298] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8298/stat : 8298 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270038328 937713664 13471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8299] ppid=8291 vsize=915736 CPUtime=0.24
/proc/8293/task/8299/stat : 8299 (java) S 8291 8293 7940 0 -1 64 465 0 0 0 23 1 0 0 16 0 8 0 270038328 937713664 13471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8300] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8300/stat : 8300 (java) S 8291 8293 7940 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270038328 937713664 13471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8301] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8301/stat : 8301 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270038328 937713664 13471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 915736
[startup+102.451 s]
/proc/loadavg: 1.91 1.94 1.82 3/93 8424
/proc/meminfo: memFree=1178952/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915736 CPUtime=102.04
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 13871 0 14 0 9985 219 0 0 25 0 8 0 270038312 937713664 13614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074155936 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8293/statm: 228934 13614 2548 14 0 215404 0
[pid=8293/tid=8295] ppid=8291 vsize=915736 CPUtime=0.06
/proc/8293/task/8295/stat : 8295 (java) S 8291 8293 7940 0 -1 64 920 0 0 0 6 0 0 0 16 0 8 0 270038324 937713664 13614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8296] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8296/stat : 8296 (java) S 8291 8293 7940 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8297] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8297/stat : 8297 (java) S 8291 8293 7940 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8298] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8298/stat : 8298 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270038328 937713664 13614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8299] ppid=8291 vsize=915736 CPUtime=0.34
/proc/8293/task/8299/stat : 8299 (java) S 8291 8293 7940 0 -1 64 518 0 0 0 32 2 0 0 17 0 8 0 270038328 937713664 13614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8300] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8300/stat : 8300 (java) S 8291 8293 7940 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270038328 937713664 13614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8301] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8301/stat : 8301 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270038328 937713664 13614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.04
Current children cumulated vsize (KiB) 915736
[startup+162.505 s]
/proc/loadavg: 1.97 1.95 1.82 3/93 8424
/proc/meminfo: memFree=1178952/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915736 CPUtime=162.02
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 13896 0 14 0 15983 219 0 0 25 0 8 0 270038312 937713664 13632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074155940 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2021.68
Current children cumulated vsize (KiB) 915736
[startup+2084.35 s]
/proc/loadavg: 2.06 2.01 1.95 3/93 8424
/proc/meminfo: memFree=1178888/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915736 CPUtime=2081.68
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 13909 0 14 0 207944 224 0 0 25 0 8 0 270038312 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074188008 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8293/statm: 228934 13638 2551 14 0 215404 0
[pid=8293/tid=8295] ppid=8291 vsize=915736 CPUtime=0.06
/proc/8293/task/8295/stat : 8295 (java) S 8291 8293 7940 0 -1 64 921 0 0 0 6 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8296] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8296/stat : 8296 (java) S 8291 8293 7940 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8297] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8297/stat : 8297 (java) S 8291 8293 7940 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8298] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8298/stat : 8298 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8299] ppid=8291 vsize=915736 CPUtime=0.37
/proc/8293/task/8299/stat : 8299 (java) S 8291 8293 7940 0 -1 64 546 0 0 0 35 2 0 0 16 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8300] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8300/stat : 8300 (java) S 8291 8293 7940 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8301] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8301/stat : 8301 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2081.68
Current children cumulated vsize (KiB) 915736
[startup+2144.4 s]
/proc/loadavg: 2.02 2.01 1.95 3/93 8424
/proc/meminfo: memFree=1178824/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915736 CPUtime=2141.67
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 13909 0 14 0 213943 224 0 0 25 0 8 0 270038312 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074155936 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8293/statm: 228934 13638 2551 14 0 215404 0
[pid=8293/tid=8295] ppid=8291 vsize=915736 CPUtime=0.06
/proc/8293/task/8295/stat : 8295 (java) S 8291 8293 7940 0 -1 64 921 0 0 0 6 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8296] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8296/stat : 8296 (java) S 8291 8293 7940 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8297] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8297/stat : 8297 (java) S 8291 8293 7940 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8298] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8298/stat : 8298 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8299] ppid=8291 vsize=915736 CPUtime=0.37
/proc/8293/task/8299/stat : 8299 (java) S 8291 8293 7940 0 -1 64 546 0 0 0 35 2 0 0 16 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8300] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8300/stat : 8300 (java) S 8291 8293 7940 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8301] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8301/stat : 8301 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2141.67
Current children cumulated vsize (KiB) 915736
[startup+2204.45 s]
/proc/loadavg: 2.00 2.00 1.95 3/93 8424
/proc/meminfo: memFree=1178888/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915736 CPUtime=2201.65
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 13909 0 14 0 219940 225 0 0 25 0 8 0 270038312 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074187995 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8293/statm: 228934 13638 2551 14 0 215404 0
[pid=8293/tid=8295] ppid=8291 vsize=915736 CPUtime=0.06
/proc/8293/task/8295/stat : 8295 (java) S 8291 8293 7940 0 -1 64 921 0 0 0 6 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8296] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8296/stat : 8296 (java) S 8291 8293 7940 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8297] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8297/stat : 8297 (java) S 8291 8293 7940 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8298] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8298/stat : 8298 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8299] ppid=8291 vsize=915736 CPUtime=0.37
/proc/8293/task/8299/stat : 8299 (java) S 8291 8293 7940 0 -1 64 546 0 0 0 35 2 0 0 16 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8300] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8300/stat : 8300 (java) S 8291 8293 7940 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8301] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8301/stat : 8301 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2201.65
Current children cumulated vsize (KiB) 915736
[startup+2264.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/93 8424
/proc/meminfo: memFree=1178824/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915736 CPUtime=2261.64
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 13909 0 14 0 225939 225 0 0 25 0 8 0 270038312 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074155936 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8293/statm: 228934 13638 2551 14 0 215404 0
[pid=8293/tid=8295] ppid=8291 vsize=915736 CPUtime=0.06
/proc/8293/task/8295/stat : 8295 (java) S 8291 8293 7940 0 -1 64 921 0 0 0 6 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8296] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8296/stat : 8296 (java) S 8291 8293 7940 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8297] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8297/stat : 8297 (java) S 8291 8293 7940 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8298] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8298/stat : 8298 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8299] ppid=8291 vsize=915736 CPUtime=0.37
/proc/8293/task/8299/stat : 8299 (java) S 8291 8293 7940 0 -1 64 546 0 0 0 35 2 0 0 16 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8300] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8300/stat : 8300 (java) S 8291 8293 7940 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8301] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8301/stat : 8301 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2261.64
Current children cumulated vsize (KiB) 915736
[startup+2324.56 s]
/proc/loadavg: 2.00 2.00 1.95 3/93 8424
/proc/meminfo: memFree=1178824/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915736 CPUtime=2321.64
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 13909 0 14 0 231939 225 0 0 25 0 8 0 270038312 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074155936 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8293/statm: 228934 13638 2551 14 0 215404 0
[pid=8293/tid=8295] ppid=8291 vsize=915736 CPUtime=0.06
/proc/8293/task/8295/stat : 8295 (java) S 8291 8293 7940 0 -1 64 921 0 0 0 6 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8296] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8296/stat : 8296 (java) S 8291 8293 7940 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8297] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8297/stat : 8297 (java) S 8291 8293 7940 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8298] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8298/stat : 8298 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8299] ppid=8291 vsize=915736 CPUtime=0.37
/proc/8293/task/8299/stat : 8299 (java) S 8291 8293 7940 0 -1 64 546 0 0 0 35 2 0 0 16 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8300] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8300/stat : 8300 (java) S 8291 8293 7940 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8301] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8301/stat : 8301 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2321.64
Current children cumulated vsize (KiB) 915736
[startup+2384.61 s]
/proc/loadavg: 2.00 2.00 1.95 3/93 8424
/proc/meminfo: memFree=1178824/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915736 CPUtime=2381.62
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 13909 0 14 0 237937 225 0 0 25 0 8 0 270038312 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073938474 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8293/statm: 228934 13638 2551 14 0 215404 0
[pid=8293/tid=8295] ppid=8291 vsize=915736 CPUtime=0.06
/proc/8293/task/8295/stat : 8295 (java) S 8291 8293 7940 0 -1 64 921 0 0 0 6 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8296] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8296/stat : 8296 (java) S 8291 8293 7940 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8297] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8297/stat : 8297 (java) S 8291 8293 7940 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8298] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8298/stat : 8298 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8299] ppid=8291 vsize=915736 CPUtime=0.37
/proc/8293/task/8299/stat : 8299 (java) S 8291 8293 7940 0 -1 64 546 0 0 0 35 2 0 0 16 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8300] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8300/stat : 8300 (java) S 8291 8293 7940 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8301] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8301/stat : 8301 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2381.62
Current children cumulated vsize (KiB) 915736
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2403.03 s]
/proc/loadavg: 2.00 2.00 1.95 3/93 8424
/proc/meminfo: memFree=1178824/2055920 swapFree=4171264/4192956
[pid=8293] ppid=8291 vsize=915736 CPUtime=2400.02
/proc/8293/stat : 8293 (java) R 8291 8293 7940 0 -1 0 13909 0 14 0 239777 225 0 0 25 0 8 0 270038312 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074155940 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8293/statm: 228934 13638 2551 14 0 215404 0
[pid=8293/tid=8295] ppid=8291 vsize=915736 CPUtime=0.06
/proc/8293/task/8295/stat : 8295 (java) S 8291 8293 7940 0 -1 64 921 0 0 0 6 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8296] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8296/stat : 8296 (java) S 8291 8293 7940 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8297] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8297/stat : 8297 (java) S 8291 8293 7940 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270038324 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8298] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8298/stat : 8298 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8299] ppid=8291 vsize=915736 CPUtime=0.37
/proc/8293/task/8299/stat : 8299 (java) S 8291 8293 7940 0 -1 64 546 0 0 0 35 2 0 0 16 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8293/tid=8300] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8300/stat : 8300 (java) S 8291 8293 7940 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8293/tid=8301] ppid=8291 vsize=915736 CPUtime=0
/proc/8293/task/8301/stat : 8301 (java) S 8291 8293 7940 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270038328 937713664 13638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 915736
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2403.07
CPU time (s): 2400.07
CPU user time (s): 2397.8
CPU system time (s): 2.26666
CPU usage (%): 99.8752
Max. virtual memory (cumulated for all children) (KiB): 915740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.8
system time used= 2.26666
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13931
page faults= 14
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50375
involuntary context switches= 22901
runsolver used 3.12752 s user time and 7.56285 s system time
The end
Begin job on node19 on Fri Jan 19 14:20:37 UTC 2007
IDJOB= 275066
IDBENCH= 3264
IDSOLVER= 68
FILE ID= node19/275066-1169216436
PBS_JOBID= 3588903
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapGraphsMod/graph14-f28.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275066-1169216436/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-275066-1169216436 -o ROOT/results/node19/solver-275066-1169216436 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275066-1169216436/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 20f9358485fb6b663286405b27294657
RANDOM SEED= 147622234
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.260
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.260
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: 1226968 kB
Buffers: 60396 kB
Cached: 651320 kB
SwapCached: 10172 kB
Active: 306940 kB
Inactive: 443964 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1226968 kB
SwapTotal: 4192956 kB
SwapFree: 4171264 kB
Dirty: 2316 kB
Writeback: 0 kB
Mapped: 49468 kB
Slab: 62928 kB
Committed_AS: 7104140 kB
PageTables: 2328 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 node19 on Fri Jan 19 15:00:40 UTC 2007