0.38
0.38 Abscon 109 (November, 2006)
0.38
0.38 configuration
0.38 name=epfc.xml
0.41
0.41 instance
0.41 name=/tmp/evaluation/275138-1169217670/unknown.xml
0.44
0.45 domains being loaded...
0.45
0.45 variables being loaded...
0.55 nbVariables=680 nbDomainTypes=5 minDomainSize=6 maxDomainSize=36
0.56 => wckTime=0.171 cpuTime=0.13 mem=8M828
0.56
0.56 predicates being loaded...
0.56
0.56 constraints being loaded...
1.30 nbConstraints=4103 nbConvertedConstraints=4103 nbConvertConstraintsChecks=159154 nbExtensionStructures=173
1.30 nbSharedExtensionStructures=3930 nbConflictsStructures=173 nbSharedConflictsStructures=3930
1.30 nbSharedBinaryRepresentations=10022 maxDegree=62 maxArity=2
1.30 => wckTime=0.911 cpuTime=0.74 mem=28M331
1.37
1.37 solver LocalSearchSolver being built...
1.41 => wckTime=1.028 cpuTime=0.78 mem=8M292
1.43
1.43 s SATISFIABLE
1.43 o 3369
1.43 c 734
1.43 o 3377
1.43 c 726
1.44 o 3383
1.44 c 720
1.44 o 3389
1.44 c 714
1.44 o 3394
1.44 c 709
1.44 o 3400
1.44 c 703
1.44 o 3405
1.44 c 698
1.45 o 3409
1.45 c 694
1.45 o 3414
1.45 c 689
1.45 o 3419
1.45 c 684
1.45 o 3424
1.45 c 679
1.45 o 3428
1.45 c 675
1.45 o 3432
1.45 c 671
1.45 o 3435
1.45 c 668
1.46 o 3437
1.46 c 666
1.46 o 3441
1.46 c 662
1.46 o 3445
1.46 c 658
1.46 o 3446
1.46 c 657
1.46 o 3450
1.46 c 653
1.46 o 3454
1.46 c 649
1.47 o 3458
1.47 c 645
1.47 o 3462
1.47 c 641
1.47 o 3466
1.47 c 637
1.47 o 3470
1.47 c 633
1.47 o 3474
1.47 c 629
1.47 o 3478
1.47 c 625
1.47 o 3482
1.47 c 621
1.48 o 3486
1.48 c 617
1.48 o 3490
1.48 c 613
1.48 o 3493
1.48 c 610
1.48 o 3496
1.48 c 607
1.48 o 3499
1.48 c 604
1.48 o 3502
1.48 c 601
1.48 o 3505
1.48 c 598
1.48 o 3508
1.48 c 595
1.49 o 3511
1.49 c 592
1.49 o 3513
1.49 c 590
1.49 o 3516
1.49 c 587
1.49 o 3519
1.49 c 584
1.49 o 3520
1.49 c 583
1.49 o 3524
1.49 c 579
1.50 o 3525
1.50 c 578
1.50 o 3528
1.50 c 575
1.50 o 3531
1.50 c 572
1.50 o 3534
1.50 c 569
1.51 o 3537
1.51 c 566
1.51 o 3540
1.51 c 563
1.51 o 3543
1.51 c 560
1.51 o 3546
1.51 c 557
1.52 o 3549
1.52 c 554
1.52 o 3552
1.52 c 551
1.52 o 3555
1.52 c 548
1.52 o 3558
1.52 c 545
1.52 o 3561
1.52 c 542
1.53 o 3564
1.53 c 539
1.53 o 3567
1.53 c 536
1.53 o 3570
1.53 c 533
1.53 o 3573
1.53 c 530
1.53 o 3576
1.53 c 527
1.54 o 3579
1.54 c 524
1.54 o 3582
1.54 c 521
1.54 o 3585
1.54 c 518
1.54 o 3588
1.54 c 515
1.54 o 3591
1.54 c 512
1.54 o 3593
1.54 c 510
1.55 o 3595
1.55 c 508
1.55 o 3597
1.55 c 506
1.55 o 3599
1.55 c 504
1.55 o 3601
1.55 c 502
1.55 o 3603
1.55 c 500
1.56 o 3605
1.56 c 498
1.56 o 3607
1.56 c 496
1.56 o 3609
1.56 c 494
1.56 o 3611
1.56 c 492
1.56 o 3613
1.56 c 490
1.56 o 3615
1.56 c 488
1.57 o 3617
1.57 c 486
1.57 o 3619
1.57 c 484
1.57 o 3621
1.57 c 482
1.57 o 3623
1.57 c 480
1.57 o 3625
1.57 c 478
1.57 o 3627
1.57 c 476
1.57 o 3628
1.57 c 475
1.58 o 3629
1.58 c 474
1.58 o 3632
1.58 c 471
1.59 o 3633
1.59 c 470
1.59 o 3637
1.59 c 466
1.59 o 3638
1.59 c 465
1.59 o 3640
1.59 c 463
1.59 o 3641
1.59 c 462
1.59 o 3643
1.59 c 460
1.59 o 3646
1.59 c 457
1.60 o 3648
1.60 c 455
1.60 o 3650
1.60 c 453
1.60 o 3651
1.60 c 452
1.60 o 3654
1.60 c 449
1.60 o 3657
1.60 c 446
1.60 o 3658
1.60 c 445
1.60 o 3662
1.60 c 441
1.61 o 3664
1.61 c 439
1.61 o 3665
1.61 c 438
1.61 o 3667
1.61 c 436
1.61 o 3669
1.61 c 434
1.62 o 3671
1.62 c 432
1.62 o 3673
1.62 c 430
1.62 o 3675
1.62 c 428
1.63 o 3677
1.63 c 426
1.63 o 3679
1.63 c 424
1.63 o 3681
1.63 c 422
1.63 o 3683
1.63 c 420
1.64 o 3685
1.64 c 418
1.64 o 3687
1.64 c 416
1.64 o 3689
1.64 c 414
1.64 o 3691
1.64 c 412
1.65 o 3693
1.65 c 410
1.65 o 3695
1.65 c 408
1.65 o 3697
1.65 c 406
1.65 o 3699
1.65 c 404
1.66 o 3701
1.66 c 402
1.66 o 3703
1.66 c 400
1.66 o 3705
1.66 c 398
1.66 o 3707
1.66 c 396
1.67 o 3709
1.67 c 394
1.67 o 3711
1.67 c 392
1.67 o 3713
1.67 c 390
1.67 o 3715
1.67 c 388
1.67 o 3717
1.67 c 386
1.68 o 3719
1.68 c 384
1.68 o 3721
1.68 c 382
1.68 o 3723
1.68 c 380
1.68 o 3725
1.68 c 378
1.68 o 3727
1.68 c 376
1.69 o 3729
1.69 c 374
1.69 o 3731
1.69 c 372
1.69 o 3733
1.69 c 370
1.69 o 3735
1.69 c 368
1.69 o 3737
1.69 c 366
1.70 o 3738
1.70 c 365
1.70 o 3739
1.70 c 364
1.70 o 3740
1.70 c 363
1.70 o 3741
1.70 c 362
1.70 o 3742
1.70 c 361
1.71 o 3743
1.71 c 360
1.71 o 3744
1.71 c 359
1.71 o 3745
1.71 c 358
1.71 o 3746
1.71 c 357
1.71 o 3747
1.71 c 356
1.72 o 3748
1.72 c 355
1.72 o 3749
1.72 c 354
1.72 o 3750
1.72 c 353
1.72 o 3751
1.72 c 352
1.72 o 3752
1.72 c 351
1.73 o 3753
1.73 c 350
1.73 o 3754
1.73 c 349
1.73 o 3755
1.73 c 348
1.73 o 3756
1.73 c 347
1.74 o 3757
1.74 c 346
1.75 o 3758
1.75 c 345
1.75 o 3759
1.75 c 344
1.75 o 3761
1.75 c 342
1.76 o 3762
1.76 c 341
1.76 o 3763
1.76 c 340
1.76 o 3766
1.76 c 337
1.76 o 3767
1.76 c 336
1.76 o 3768
1.76 c 335
1.77 o 3769
1.77 c 334
1.77 o 3771
1.77 c 332
1.77 o 3773
1.77 c 330
1.77 o 3776
1.77 c 327
1.77 o 3777
1.77 c 326
1.77 o 3778
1.77 c 325
1.78 o 3779
1.78 c 324
1.78 o 3780
1.78 c 323
1.78 o 3782
1.78 c 321
1.78 o 3784
1.78 c 319
1.78 o 3785
1.78 c 318
1.79 o 3787
1.79 c 316
1.79 o 3788
1.79 c 315
1.79 o 3789
1.79 c 314
1.79 o 3791
1.79 c 312
1.79 o 3793
1.79 c 310
1.79 o 3796
1.79 c 307
1.80 o 3798
1.80 c 305
1.80 o 3800
1.80 c 303
1.80 o 3802
1.80 c 301
1.80 o 3803
1.80 c 300
1.80 o 3805
1.80 c 298
1.80 o 3806
1.80 c 297
1.80 o 3808
1.80 c 295
1.81 o 3809
1.81 c 294
1.81 o 3811
1.81 c 292
1.81 o 3812
1.81 c 291
1.81 o 3813
1.81 c 290
1.81 o 3815
1.81 c 288
1.82 o 3817
1.82 c 286
1.82 o 3818
1.82 c 285
1.82 o 3819
1.82 c 284
1.82 o 3821
1.82 c 282
1.82 o 3823
1.82 c 280
1.83 o 3825
1.83 c 278
1.83 o 3826
1.83 c 277
1.84 o 3827
1.84 c 276
1.84 o 3828
1.84 c 275
1.85 o 3829
1.85 c 274
1.85 o 3831
1.85 c 272
1.86 o 3832
1.86 c 271
1.86 o 3833
1.86 c 270
1.87 o 3834
1.87 c 269
1.87 o 3835
1.87 c 268
1.88 o 3836
1.88 c 267
1.88 o 3837
1.88 c 266
1.89 o 3838
1.89 c 265
1.89 o 3839
1.89 c 264
1.90 o 3840
1.90 c 263
1.90 o 3841
1.90 c 262
1.91 o 3842
1.91 c 261
1.91 o 3843
1.91 c 260
1.92 o 3844
1.92 c 259
1.92 o 3845
1.93 c 258
1.93 o 3846
1.93 c 257
1.93 o 3847
1.93 c 256
1.94 o 3848
1.94 c 255
1.94 o 3850
1.94 c 253
1.94 o 3851
1.94 c 252
1.94 o 3854
1.94 c 249
1.95 o 3855
1.95 c 248
1.95 o 3856
1.95 c 247
1.96 o 3857
1.96 c 246
1.96 o 3858
1.96 c 245
1.97 o 3859
1.97 c 244
1.97 o 3860
1.97 c 243
1.99 o 3861
1.99 c 242
1.99 o 3862
1.99 c 241
2.00 o 3863
2.00 c 240
2.00 o 3864
2.00 c 239
2.00 o 3865
2.00 c 238
2.01 o 3866
2.01 c 237
2.01 o 3867
2.01 c 236
2.02 o 3868
2.02 c 235
2.02 o 3869
2.02 c 234
2.02 o 3870
2.02 c 233
2.03 o 3871
2.03 c 232
2.03 o 3872
2.03 c 231
2.04 o 3873
2.04 c 230
2.04 o 3874
2.04 c 229
2.04 o 3875
2.04 c 228
2.05 o 3876
2.05 c 227
2.05 o 3877
2.05 c 226
2.06 o 3878
2.06 c 225
2.06 o 3879
2.06 c 224
2.06 o 3880
2.06 c 223
2.07 o 3881
2.07 c 222
2.07 o 3882
2.07 c 221
2.08 o 3883
2.08 c 220
2.08 o 3884
2.08 c 219
2.08 o 3885
2.08 c 218
2.09 o 3886
2.09 c 217
2.09 o 3887
2.09 c 216
2.09 o 3888
2.09 c 215
2.10 o 3889
2.10 c 214
2.10 o 3890
2.10 c 213
2.11 o 3891
2.11 c 212
2.11 o 3892
2.11 c 211
2.11 o 3893
2.11 c 210
2.11 o 3894
2.11 c 209
2.12 o 3895
2.12 c 208
2.12 o 3897
2.12 c 206
2.12 o 3898
2.12 c 205
2.12 o 3900
2.12 c 203
2.13 o 3901
2.13 c 202
2.13 o 3902
2.13 c 201
2.13 o 3903
2.14 c 200
2.14 o 3904
2.14 c 199
2.14 o 3905
2.14 c 198
2.15 o 3906
2.15 c 197
2.15 o 3907
2.15 c 196
2.16 o 3908
2.16 c 195
2.16 o 3909
2.16 c 194
2.16 o 3910
2.16 c 193
2.17 o 3911
2.17 c 192
2.17 o 3912
2.17 c 191
2.18 o 3913
2.18 c 190
2.18 o 3914
2.18 c 189
2.19 o 3915
2.19 c 188
2.19 o 3916
2.19 c 187
2.19 o 3917
2.19 c 186
2.19 o 3918
2.20 c 185
2.20 o 3919
2.20 c 184
2.20 o 3920
2.20 c 183
2.20 o 3921
2.20 c 182
2.21 o 3922
2.21 c 181
2.21 o 3923
2.21 c 180
2.21 o 3924
2.21 c 179
2.22 o 3925
2.22 c 178
2.22 o 3926
2.22 c 177
2.22 o 3927
2.22 c 176
2.22 o 3931
2.22 c 172
2.23 o 3932
2.23 c 171
2.23 o 3933
2.23 c 170
2.23 o 3934
2.23 c 169
2.23 o 3935
2.23 c 168
2.24 o 3936
2.24 c 167
2.24 o 3937
2.24 c 166
2.24 o 3938
2.24 c 165
2.25 o 3939
2.25 c 164
2.25 o 3940
2.25 c 163
2.25 o 3941
2.25 c 162
2.25 o 3942
2.25 c 161
2.26 o 3943
2.26 c 160
2.26 o 3944
2.27 c 159
2.27 o 3945
2.27 c 158
2.27 o 3946
2.27 c 157
2.27 o 3947
2.27 c 156
2.28 o 3948
2.28 c 155
2.28 o 3949
2.28 c 154
2.30 o 3950
2.30 c 153
2.31 o 3951
2.31 c 152
2.32 o 3953
2.32 c 150
2.32 o 3955
2.32 c 148
2.33 o 3956
2.33 c 147
2.38 o 3957
2.38 c 146
2.38 o 3958
2.38 c 145
2.38 o 3960
2.38 c 143
2.39 o 3961
2.39 c 142
2.39 o 3962
2.39 c 141
2.39 o 3965
2.39 c 138
2.40 o 3966
2.40 c 137
2.40 o 3968
2.40 c 135
2.40 o 3970
2.40 c 133
2.40 o 3971
2.40 c 132
2.40 o 3972
2.40 c 131
2.41 o 3973
2.41 c 130
2.41 o 3974
2.41 c 129
2.41 o 3976
2.41 c 127
2.42 o 3977
2.42 c 126
2.42 o 3978
2.42 c 125
2.42 o 3980
2.42 c 123
2.42 o 3982
2.42 c 121
2.43 o 3983
2.43 c 120
2.43 o 3984
2.43 c 119
2.44 o 3985
2.44 c 118
2.44 o 3986
2.44 c 117
2.45 o 3987
2.45 c 116
2.45 o 3988
2.45 c 115
2.45 o 3989
2.45 c 114
2.45 o 3990
2.45 c 113
2.46 o 3991
2.46 c 112
2.46 o 3992
2.46 c 111
2.46 o 3993
2.46 c 110
2.47 o 3994
2.47 c 109
2.47 o 3996
2.47 c 107
2.48 o 3998
2.48 c 105
2.48 o 4000
2.48 c 103
2.49 o 4002
2.49 c 101
2.50 o 4003
2.50 c 100
2.50 o 4004
2.50 c 99
2.50 o 4005
2.50 c 98
2.51 o 4006
2.51 c 97
2.52 o 4007
2.52 c 96
2.52 o 4008
2.52 c 95
2.52 o 4009
2.52 c 94
2.52 o 4010
2.53 c 93
2.53 o 4011
2.53 c 92
2.54 o 4012
2.54 c 91
2.54 o 4013
2.54 c 90
2.55 o 4014
2.55 c 89
2.55 o 4015
2.55 c 88
2.55 o 4016
2.55 c 87
2.56 o 4018
2.56 c 85
2.56 o 4019
2.56 c 84
2.57 o 4021
2.57 c 82
2.76 o 4022
2.76 c 81
2.90 o 4024
2.90 c 79
2.95 o 4026
2.95 c 77
2.96 o 4028
2.96 c 75
2.97 o 4031
2.97 c 72
3.04 o 4032
3.04 c 71
3.06 o 4033
3.06 c 70
3.07 o 4034
3.07 c 69
3.18 o 4035
3.18 c 68
3.19 o 4036
3.19 c 67
3.20 o 4037
3.20 c 66
3.22 o 4038
3.22 c 65
3.25 o 4039
3.25 c 64
3.26 o 4040
3.26 c 63
3.26 o 4041
3.26 c 62
3.27 o 4043
3.27 c 60
3.27 o 4044
3.27 c 59
3.28 o 4046
3.28 c 57
3.32 o 4047
3.32 c 56
3.32 o 4048
3.32 c 55
3.33 o 4049
3.33 c 54
3.33 o 4050
3.33 c 53
3.34 o 4051
3.34 c 52
3.34 o 4052
3.34 c 51
3.45 o 4053
3.45 c 50
3.45 o 4054
3.45 c 49
3.48 o 4055
3.48 c 48
3.50 o 4056
3.50 c 47
3.53 o 4057
3.53 c 46
3.59 o 4058
3.59 c 45
3.65 o 4059
3.65 c 44
3.65 o 4062
3.65 c 41
3.84 o 4063
3.84 c 40
3.89 o 4064
3.89 c 39
3.93 o 4065
3.93 c 38
3.95 o 4066
3.95 c 37
3.96 o 4067
3.96 c 36
4.29 o 4070
4.29 c 33
4.30 o 4071
4.30 c 32
4.30 o 4074
4.30 c 29
4.56 o 4075
4.56 c 28
4.60 o 4076
4.60 c 27
5.80 o 4077
5.80 c 26
7.59 o 4078
7.59 c 25
7.62 o 4079
7.62 c 24
8.19 o 4080
8.19 c 23
11.01 o 4082
11.01 c 21
11.59 o 4083
11.59 c 20
11.70 o 4084
11.70 c 19
17.60 o 4086
17.60 c 17
17.61 o 4088
17.61 c 15
18.00 o 4089
18.00 c 14
18.32 o 4091
18.32 c 12
19.64 o 4092
19.64 c 11
49.78
49.78 search
49.78 run=0 nbConstraintChecks=518470482 nbAssignments=8702
49.78 => wckTime=48.37 cpuTime=48.06 mem=8M292
49.78
49.78 global
49.78 nbConstraintChecks=518470482 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
49.78 solvingWckTime=48.368 solvingCpuTime=48.06 expiredTime=no totalExploration=no nbFoundSolutions=0
49.78 globalCpuTime=48.89
49.78 => wckTime=49.399 cpuTime=48.84 mem=8M292
49.78
49.78 solver IterativeSystematicSolver being built...
49.95 => wckTime=49.566 cpuTime=48.97 mem=23M138
66.80
66.80 preprocessing
66.80 nbConstraintChecks=19988867 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
66.80 detectedInconsistency=no
66.80 => wckTime=16.848 cpuTime=16.72 mem=23M138
84.54
84.54 search
84.54 run=0 nbConstraintChecks=29339819 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=407
84.54 nbFailedAssignments=119 nbBacktracks=10 nbVisitedNodes=537 nbRestartNogoods=0
84.54 => wckTime=34.592 cpuTime=34.38 mem=23M138
107.82
107.82 search
107.82 run=1 nbConstraintChecks=60788954 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=834
107.82 nbFailedAssignments=260 nbBacktracks=25 nbVisitedNodes=1120 nbRestartNogoods=111
107.82 => wckTime=57.866 cpuTime=57.49 mem=23M138
140.77
140.77 search
140.77 run=2 nbConstraintChecks=96456234 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1309
140.77 nbFailedAssignments=421 nbBacktracks=47 nbVisitedNodes=1778 nbRestartNogoods=237
140.77 => wckTime=90.82 cpuTime=90.29 mem=23M138
174.52
174.52 search
174.52 run=3 nbConstraintChecks=133333573 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1800
174.52 nbFailedAssignments=583 nbBacktracks=81 nbVisitedNodes=2465 nbRestartNogoods=350
174.52 => wckTime=124.57 cpuTime=123.86 mem=23M138
218.95
218.95 search
218.95 run=4 nbConstraintChecks=166434441 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2213
218.95 nbFailedAssignments=709 nbBacktracks=131 nbVisitedNodes=3054 nbRestartNogoods=458
218.95 => wckTime=168.993 cpuTime=168.07 mem=24M113
282.28
282.28 search
282.28 run=5 nbConstraintChecks=209641628 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2740
282.28 nbFailedAssignments=908 nbBacktracks=206 nbVisitedNodes=3855 nbRestartNogoods=528
282.28 => wckTime=232.328 cpuTime=231.06 mem=24M113
368.34
368.34 search
368.35 run=6 nbConstraintChecks=270122811 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3469
368.35 nbFailedAssignments=1191 nbBacktracks=319 nbVisitedNodes=4980 nbRestartNogoods=621
368.35 => wckTime=318.394 cpuTime=316.71 mem=24M113
380.58
380.58 search
380.58 run=7 nbConstraintChecks=297322507 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4108
380.58 nbFailedAssignments=1519 nbBacktracks=489 nbVisitedNodes=6110 nbRestartNogoods=758
380.58 => wckTime=330.631 cpuTime=328.85 mem=24M113
593.01
593.01 search
593.01 run=8 nbConstraintChecks=393245429 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5037
593.01 nbFailedAssignments=1946 nbBacktracks=745 nbVisitedNodes=7722 nbRestartNogoods=762
593.01 => wckTime=543.061 cpuTime=540.24 mem=24M113
1055.12
1055.12 search
1055.12 run=9 nbConstraintChecks=616705422 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7361
1055.12 nbFailedAssignments=3744 nbBacktracks=1129 nbVisitedNodes=12222 nbRestartNogoods=844
1055.12 => wckTime=1005.167 cpuTime=1000.03 mem=24M113
1441.55
1441.55 search
1441.55 run=10 nbConstraintChecks=783985646 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8997
1441.55 nbFailedAssignments=4568 nbBacktracks=1705 nbVisitedNodes=15258 nbRestartNogoods=865
1441.55 => wckTime=1391.595 cpuTime=1384.43 mem=24M113
2115.33
2115.33 search
2115.33 run=11 nbConstraintChecks=1130911653 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12416
2115.33 nbFailedAssignments=6801 nbBacktracks=2569 nbVisitedNodes=21774 nbRestartNogoods=972
2115.33 => wckTime=2065.377 cpuTime=2054.81 mem=24M113
2412.36 v 254 16 16 254 680 442 366 128 282 44 428 666 680 442 680 442 72 310 142 380 254 16 666 428 128 366 30 268 352 114 100 338 16 254 282 44 652 414 100 338 30 268 652 414 296 58 156 394 338 100 156 394 128 366 652 414 100 338 58 296 680 442 100 338 30 268 394 156 114 352 338 100 442 680 254 16 128 366 128 366 58 296 254 16 498 512 324 86 30 268 652 414 268 30 156 394 652 414 666 428 380 142 652 414 44 282 310 72 16 254 324 86 156 394 30 268 310 72 442 680 282 44 296 58 414 652 58 296 72 310 16 254 114 352 428 666 338 100 484 652 324 86 16 254 30 268 114 352 680 442 414 652 338 100 338 100 16 254 240 478 380 142 324 86 254 16 338 100 268 30 442 680 380 142 114 352 268 30 652 414 680 442 100 338 296 58 380 142 58 296 442 680 666 428 666 428 338 100 100 338 366 128 30 268 394 156 310 72 666 428 58 296 442 680 338 100 30 268 128 366 680 442 666 428 352 114 680 442 86 324 268 30 666 428 652 414 128 366 680 442 680 442 128 366 680 442 310 72 666 428 296 58 156 394 30 268 268 30 680 442 254 16 414 652 142 380 58 296 366 128 128 366 100 338 428 666 58 296 44 282 380 142 310 72 282 44 352 114 338 100 680 442 254 16 296 58 114 352 282 44 380 142 442 680 428 666 282 44 114 352 86 324 282 44 282 44 114 352 72 310 324 86 366 128 310 72 282 44 352 114 428 666 58 296 666 428 380 142 680 442 114 352 666 428 380 142 338 100 352 114 44 282 352 114 310 72 282 44 142 380 338 100 72 310 156 394 442 680 680 442 338 100 442 680 380 142 540 526 44 282 128 366 442 680 352 114 282 44 512 540 394 156 428 666 666 428 128 366 268 30 380 142 44 282 58 296 296 58 352 114 282 44 268 30 666 428 142 380 680 442 114 352 156 394 296 58 366 128 268 30 310 72 310 72 44 282 352 114 268 30 324 86 268 30 128 366 142 380 128 366 414 652 72 310 44 282 442 680 128 366 324 86 352 114 380 142 428 666 156 394 666 428 352 114 30 268 324 86 100 338 282 44 58 296 680 442 58 296 324 86 442 680 72 310 156 394 366 128 526 554 30 268 324 86 394 156 30 268 666 428 128 366 554 540 456 526 114 352 86 324 58 296 442 680 324 86 324 86 100 338 352 114 268 30 128 366 352 114 44 282 428 666 666 428 72 310 666 428 352 114 352 114 442 680 366 128 282 44 156 394 428 666 666 428 268 30 296 58 128 366 310 72 44 282 296 58 44 282 128 366 666 428 142 380 268 30 338 100 680 442 72 310 268 30 680 442 58 296 428 666 86 324 282 44 680 442 142 380 44 282 366 128 338 100 666 428 296 58 366 128 442 680 394 156 128 366 72 310 680 442 128 366 30 268 428 666 44 282 414 652 282 44 338 100 324 86 442 680 366 128 380 142 114 352 282 44 324 86 680 442 666 428 100 338 30 268 666 428 352 114 44 282 114 352 366 128 100 338 156 394
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node65/watcher-275138-1169217670 -o ROOT/results/node65/solver-275138-1169217670 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275138-1169217670/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.03 1.94 2/74 17227
/proc/meminfo: memFree=1407196/2055920 swapFree=4191892/4192956
[pid=17226] ppid=17224 vsize=18540 CPUtime=0
/proc/17226/stat : 17226 (runsolver) R 17224 17226 16670 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 69264234 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 257203694887 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/17226/statm: 4635 279 244 17 0 2626 0
[startup+0.10263 s]
/proc/loadavg: 2.12 2.03 1.94 2/74 17227
/proc/meminfo: memFree=1407196/2055920 swapFree=4191892/4192956
[pid=17226] ppid=17224 vsize=906128 CPUtime=0.01
/proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 1921 0 1 0 1 0 0 0 17 0 1 0 69264234 927875072 1670 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153785555 0 4 0 7368 0 0 0 17 1 0 0
/proc/17226/statm: 226532 1670 972 14 0 214115 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 906128
[startup+0.510695 s]
/proc/loadavg: 2.12 2.03 1.94 2/74 17227
/proc/meminfo: memFree=1407196/2055920 swapFree=4191892/4192956
[pid=17226] ppid=17224 vsize=915332 CPUtime=0.42
/proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 6136 0 1 0 38 4 0 0 18 0 8 0 69264234 937299968 5875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072937027 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17226/statm: 228833 5875 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915332
[startup+1.33183 s]
/proc/loadavg: 2.12 2.03 1.94 3/81 17234
/proc/meminfo: memFree=1373220/2055920 swapFree=4191892/4192956
[pid=17226] ppid=17224 vsize=915768 CPUtime=1.23
/proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 11674 0 1 0 99 24 0 0 24 0 8 0 69264234 937746432 11411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17226/statm: 228942 11411 2185 14 0 215412 0
[pid=17226/tid=17228] ppid=17224 vsize=915768 CPUtime=0.02
/proc/17226/task/17228/stat : 17228 (java) R 17224 17226 16670 0 -1 64 33 0 0 0 2 0 0 0 16 0 8 0 69264245 937746432 11411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155525278 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17229] ppid=17224 vsize=915768 CPUtime=0
/proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16670 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 69264245 937746432 11411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17230] ppid=17224 vsize=915768 CPUtime=0
/proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16670 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 69264245 937746432 11411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17231] ppid=17224 vsize=915768 CPUtime=0
/proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69264249 937746432 11411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17232] ppid=17224 vsize=915768 CPUtime=0.21
/proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16670 0 -1 64 427 0 0 0 20 1 0 0 16 0 8 0 69264249 937746432 11411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17233] ppid=17224 vsize=915768 CPUtime=0
/proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69264249 937746432 11411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17234] ppid=17224 vsize=915768 CPUtime=0
/proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 69264249 937746432 11411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915768
[startup+2.9851 s]
/proc/loadavg: 2.12 2.03 1.94 3/81 17234
/proc/meminfo: memFree=1366500/2055920 swapFree=4191892/4192956
[pid=17226] ppid=17224 vsize=915728 CPUtime=2.84
/proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 12851 0 1 0 252 32 0 0 25 0 8 0 69264234 937705472 12587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073903347 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17226/statm: 228932 12587 2499 14 0 215402 0
[pid=17226/tid=17228] ppid=17224 vsize=915728 CPUtime=0.06
/proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16670 0 -1 64 856 0 0 0 6 0 0 0 17 0 8 0 69264245 937705472 12587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17229] ppid=17224 vsize=915728 CPUtime=0
/proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69264245 937705472 12587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17230] ppid=17224 vsize=915728 CPUtime=0
/proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69264245 937705472 12587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17231] ppid=17224 vsize=915728 CPUtime=0
/proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69264249 937705472 12587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17232] ppid=17224 vsize=915728 CPUtime=0.25
/proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16670 0 -1 64 447 0 0 0 24 1 0 0 15 0 8 0 69264249 937705472 12587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17233] ppid=17224 vsize=915728 CPUtime=0
/proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69264249 937705472 12587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17234] ppid=17224 vsize=915728 CPUtime=0
/proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 69264249 937705472 12587 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 915728
[startup+6.27164 s]
/proc/loadavg: 2.03 2.02 1.94 4/88 17316
/proc/meminfo: memFree=1362796/2055920 swapFree=4191892/4192956
[pid=17226] ppid=17224 vsize=915728 CPUtime=6.1
/proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 12853 0 1 0 573 37 0 0 25 0 8 0 69264234 937705472 12588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073903270 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17226/statm: 228932 12588 2499 14 0 215402 0
[pid=17226/tid=17228] ppid=17224 vsize=915728 CPUtime=0.06
/proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16670 0 -1 64 856 0 0 0 6 0 0 0 16 0 8 0 69264245 937705472 12588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17229] ppid=17224 vsize=915728 CPUtime=0
/proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69264245 937705472 12588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17230] ppid=17224 vsize=915728 CPUtime=0
/proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69264245 937705472 12588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17231] ppid=17224 vsize=915728 CPUtime=0
/proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69264249 937705472 12588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17232] ppid=17224 vsize=915728 CPUtime=0.25
/proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16670 0 -1 64 448 0 0 0 24 1 0 0 15 0 8 0 69264249 937705472 12588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17233] ppid=17224 vsize=915728 CPUtime=0
/proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69264249 937705472 12588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17234] ppid=17224 vsize=915728 CPUtime=0
/proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 69264249 937705472 12588 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915728
[startup+12.7475 s]
/proc/loadavg: 2.11 2.03 1.94 3/88 17316
/proc/meminfo: memFree=1336108/2055920 swapFree=4191892/4192956
[pid=17226] ppid=17224 vsize=915728 CPUtime=12.53
/proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 12854 0 1 0 1210 43 0 0 25 0 8 0 69264234 937705472 12589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073906825 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17226/statm: 228932 12589 2499 14 0 215402 0
[pid=17226/tid=17228] ppid=17224 vsize=915728 CPUtime=0.06
/proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16670 0 -1 64 856 0 0 0 6 0 0 0 16 0 8 0 69264245 937705472 12589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17229] ppid=17224 vsize=915728 CPUtime=0
/proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69264245 937705472 12589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17230] ppid=17224 vsize=915728 CPUtime=0
/proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69264245 937705472 12589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17231] ppid=17224 vsize=915728 CPUtime=0
/proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69264249 937705472 12589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17232] ppid=17224 vsize=915728 CPUtime=0.25
/proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16670 0 -1 64 449 0 0 0 24 1 0 0 16 0 8 0 69264249 937705472 12589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17233] ppid=17224 vsize=915728 CPUtime=0
/proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69264249 937705472 12589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17234] ppid=17224 vsize=915728 CPUtime=0
/proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 69264249 937705472 12589 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915728
[startup+25.6086 s]
/proc/loadavg: 2.09 2.03 1.94 3/88 17316
/proc/meminfo: memFree=1321916/2055920 swapFree=4191892/4192956
[pid=17226] ppid=17224 vsize=916752 CPUtime=25.35
/proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 12855 0 1 0 2480 55 0 0 25 0 8 0 69264234 938754048 12590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073903331 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17226/statm: 229188 12590 2499 14 0 215658 0
[pid=17226/tid=17228] ppid=17224 vsize=916752 CPUtime=0.06
/proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16670 0 -1 64 856 0 0 0 6 0 0 0 16 0 8 0 69264245 938754048 12590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17229] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17230] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17231] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69264249 938754048 12590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17232] ppid=17224 vsize=916752 CPUtime=0.25
/proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16670 0 -1 64 449 0 0 0 24 1 0 0 16 0 8 0 69264249 938754048 12590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17233] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69264249 938754048 12590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17234] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16670 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 69264249 938754048 12590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 916752
[startup+51.2149 s]
/proc/loadavg: 2.05 2.03 1.94 3/88 17316
/proc/meminfo: memFree=1321084/2055920 swapFree=4191892/4192956
[pid=17226] ppid=17224 vsize=916752 CPUtime=50.83
/proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 12984 0 1 0 5005 78 0 0 25 0 8 0 69264234 938754048 12718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074080304 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17226/statm: 229188 12718 2544 14 0 215658 0
[pid=17226/tid=17228] ppid=17224 vsize=916752 CPUtime=0.06
/proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16670 0 -1 64 856 0 0 0 6 0 0 0 17 0 8 0 69264245 938754048 12718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17229] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17230] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17231] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69264249 938754048 12718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17232] ppid=17224 vsize=916752 CPUtime=0.31
/proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16670 0 -1 64 491 0 0 0 30 1 0 0 15 0 8 0 69264249 938754048 12718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17233] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69264249 938754048 12718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17234] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16670 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 69264249 938754048 12718 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 916752
[startup+102.423 s]
/proc/loadavg: 2.23 2.07 1.96 3/88 17316
/proc/meminfo: memFree=1320956/2055920 swapFree=4191892/4192956
[pid=17226] ppid=17224 vsize=916752 CPUtime=101.76
/proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 13018 0 1 0 10098 78 0 0 25 0 8 0 69264234 938754048 12744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074077752 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17226/statm: 229188 12744 2549 14 0 215658 0
[pid=17226/tid=17228] ppid=17224 vsize=916752 CPUtime=0.06
/proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16670 0 -1 64 857 0 0 0 6 0 0 0 16 0 8 0 69264245 938754048 12744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17229] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17230] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17231] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69264249 938754048 12744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17232] ppid=17224 vsize=916752 CPUtime=0.35
/proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16670 0 -1 64 512 0 0 0 34 1 0 0 17 0 8 0 69264249 938754048 12744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17233] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69264249 938754048 12744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17234] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16670 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 69264249 938754048 12744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 916752
[startup+162.479 s]
/proc/loadavg: 2.08 2.05 1.96 3/88 17316
/proc/meminfo: memFree=1320764/2055920 swapFree=4191892/4192956
[pid=17226] ppid=17224 vsize=916752 CPUtime=161.52
/proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 13030 0 1 0 16074 78 0 0 25 0 8 0 69264234 938754048 12752 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074076995 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2013.68
Current children cumulated vsize (KiB) 916752
[startup+2084.11 s]
/proc/loadavg: 2.01 2.01 2.00 3/88 17514
/proc/meminfo: memFree=1320060/2055920 swapFree=4191892/4192956
[pid=17226] ppid=17224 vsize=916752 CPUtime=2073.42
/proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 13044 0 1 0 207247 95 0 0 25 0 8 0 69264234 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074077024 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17226/statm: 229188 12758 2549 14 0 215658 0
[pid=17226/tid=17228] ppid=17224 vsize=916752 CPUtime=0.06
/proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16670 0 -1 64 857 0 0 0 6 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17229] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17230] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17231] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17232] ppid=17224 vsize=916752 CPUtime=0.38
/proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16670 0 -1 64 533 0 0 0 37 1 0 0 17 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17233] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17234] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16670 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2073.42
Current children cumulated vsize (KiB) 916752
[startup+2144.18 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 17514
/proc/meminfo: memFree=1320124/2055920 swapFree=4191892/4192956
[pid=17226] ppid=17224 vsize=916752 CPUtime=2133.18
/proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 13044 0 1 0 213223 95 0 0 25 0 8 0 69264234 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074077024 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17226/statm: 229188 12758 2549 14 0 215658 0
[pid=17226/tid=17228] ppid=17224 vsize=916752 CPUtime=0.06
/proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16670 0 -1 64 857 0 0 0 6 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17229] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17230] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17231] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17232] ppid=17224 vsize=916752 CPUtime=0.38
/proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16670 0 -1 64 533 0 0 0 37 1 0 0 16 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17233] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17234] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16670 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2133.18
Current children cumulated vsize (KiB) 916752
[startup+2204.23 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 17514
/proc/meminfo: memFree=1320060/2055920 swapFree=4191892/4192956
[pid=17226] ppid=17224 vsize=916752 CPUtime=2192.94
/proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 13044 0 1 0 219199 95 0 0 25 0 8 0 69264234 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074077024 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17226/statm: 229188 12758 2549 14 0 215658 0
[pid=17226/tid=17228] ppid=17224 vsize=916752 CPUtime=0.06
/proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16670 0 -1 64 857 0 0 0 6 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17229] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17230] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17231] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17232] ppid=17224 vsize=916752 CPUtime=0.38
/proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16670 0 -1 64 533 0 0 0 37 1 0 0 16 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17233] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17234] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16670 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2192.94
Current children cumulated vsize (KiB) 916752
[startup+2264.27 s]
/proc/loadavg: 2.06 2.01 2.00 3/88 17514
/proc/meminfo: memFree=1320124/2055920 swapFree=4191892/4192956
[pid=17226] ppid=17224 vsize=916752 CPUtime=2252.67
/proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 13044 0 1 0 225171 96 0 0 25 0 8 0 69264234 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074053035 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17226/statm: 229188 12758 2549 14 0 215658 0
[pid=17226/tid=17228] ppid=17224 vsize=916752 CPUtime=0.06
/proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16670 0 -1 64 857 0 0 0 6 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17229] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17230] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17231] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17232] ppid=17224 vsize=916752 CPUtime=0.38
/proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16670 0 -1 64 533 0 0 0 37 1 0 0 16 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17233] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17234] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16670 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2252.67
Current children cumulated vsize (KiB) 916752
[startup+2324.32 s]
/proc/loadavg: 2.02 2.01 2.00 3/88 17516
/proc/meminfo: memFree=1319868/2055920 swapFree=4191892/4192956
[pid=17226] ppid=17224 vsize=916752 CPUtime=2312.41
/proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 13044 0 1 0 231145 96 0 0 25 0 8 0 69264234 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074077830 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17226/statm: 229188 12758 2549 14 0 215658 0
[pid=17226/tid=17228] ppid=17224 vsize=916752 CPUtime=0.06
/proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16670 0 -1 64 857 0 0 0 6 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17229] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17230] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17231] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17232] ppid=17224 vsize=916752 CPUtime=0.38
/proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16670 0 -1 64 533 0 0 0 37 1 0 0 16 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17233] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17234] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16670 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2312.41
Current children cumulated vsize (KiB) 916752
[startup+2384.37 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 17516
/proc/meminfo: memFree=1319932/2055920 swapFree=4191892/4192956
[pid=17226] ppid=17224 vsize=916752 CPUtime=2372.17
/proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 13044 0 1 0 237121 96 0 0 25 0 8 0 69264234 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074077024 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17226/statm: 229188 12758 2549 14 0 215658 0
[pid=17226/tid=17228] ppid=17224 vsize=916752 CPUtime=0.06
/proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16670 0 -1 64 857 0 0 0 6 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17229] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17230] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17231] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17232] ppid=17224 vsize=916752 CPUtime=0.38
/proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16670 0 -1 64 533 0 0 0 37 1 0 0 16 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17233] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17234] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16670 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2372.17
Current children cumulated vsize (KiB) 916752
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2412.35 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 17516
/proc/meminfo: memFree=1319932/2055920 swapFree=4191892/4192956
[pid=17226] ppid=17224 vsize=916752 CPUtime=2400
/proc/17226/stat : 17226 (java) R 17224 17226 16670 0 -1 0 13044 0 1 0 239904 96 0 0 25 0 8 0 69264234 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074077024 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17226/statm: 229188 12758 2549 14 0 215658 0
[pid=17226/tid=17228] ppid=17224 vsize=916752 CPUtime=0.06
/proc/17226/task/17228/stat : 17228 (java) S 17224 17226 16670 0 -1 64 857 0 0 0 6 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17229] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17229/stat : 17229 (java) S 17224 17226 16670 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17230] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17230/stat : 17230 (java) S 17224 17226 16670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69264245 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17231] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17231/stat : 17231 (java) S 17224 17226 16670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17232] ppid=17224 vsize=916752 CPUtime=0.38
/proc/17226/task/17232/stat : 17232 (java) S 17224 17226 16670 0 -1 64 533 0 0 0 37 1 0 0 16 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17226/tid=17233] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17233/stat : 17233 (java) S 17224 17226 16670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17226/tid=17234] ppid=17224 vsize=916752 CPUtime=0
/proc/17226/task/17234/stat : 17234 (java) S 17224 17226 16670 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 69264249 938754048 12758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 916752
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2412.41
CPU time (s): 2400.07
CPU user time (s): 2399.09
CPU system time (s): 0.976851
CPU usage (%): 99.4883
Max. virtual memory (cumulated for all children) (KiB): 916752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.09
system time used= 0.976851
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13068
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= 50439
involuntary context switches= 74561
runsolver used 2.81257 s user time and 6.92895 s system time
The end
Begin job on node65 on Fri Jan 19 14:41:10 UTC 2007
IDJOB= 275138
IDBENCH= 3575
IDSOLVER= 68
FILE ID= node65/275138-1169217670
PBS_JOBID= 3589116
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapScens11/scen11-f8.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275138-1169217670/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-275138-1169217670 -o ROOT/results/node65/solver-275138-1169217670 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275138-1169217670/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 704ab295d4263c6e677241b699aba547
RANDOM SEED= 829942225
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.263
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.263
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: 1407676 kB
Buffers: 40492 kB
Cached: 516576 kB
SwapCached: 396 kB
Active: 107324 kB
Inactive: 472180 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1407676 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 2220 kB
Writeback: 0 kB
Mapped: 33244 kB
Slab: 54144 kB
Committed_AS: 490780 kB
PageTables: 1856 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= 66562 MiB
End job on node65 on Fri Jan 19 15:21:23 UTC 2007