0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/275751-1169226443/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.57 nbVariables=1612 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.57 => wckTime=0.256 cpuTime=0.16 mem=9M820
0.57
0.57 predicates being loaded...
0.58
0.58 constraints being loaded...
1.73 nbConstraints=3652 nbSingletonDomainVariables=320 nbConvertedConstraints=2270 nbConvertConstraintsChecks=245877
1.73 nbExtensionStructures=12 nbSharedExtensionStructures=2258 nbConflictsStructures=78
1.73 nbSharedConflictsStructures=3574 nbSharedBinaryRepresentations=29 nbEvaluationManagers=66
1.73 nbSharedEvaluationManagers=1316 maxDegree=212 maxArity=13
1.73 => wckTime=1.413 cpuTime=1.16 mem=12M958
1.80
1.80 solver LocalSearchSolver being built...
1.84 => wckTime=1.525 cpuTime=1.2 mem=10M836
1.87
1.87 s SATISFIABLE
1.87 o 3064
1.87 c 588
1.88 o 3066
1.88 c 586
1.88 o 3071
1.88 c 581
1.88 o 3073
1.88 c 579
1.89 o 3079
1.89 c 573
1.90 o 3084
1.90 c 568
1.90 o 3088
1.90 c 564
1.90 o 3092
1.90 c 560
1.91 o 3096
1.91 c 556
1.91 o 3099
1.91 c 553
1.92 o 3102
1.92 c 550
1.92 o 3105
1.92 c 547
1.93 o 3108
1.93 c 544
1.95 o 3111
1.95 c 541
1.95 o 3113
1.95 c 539
1.95 o 3115
1.95 c 537
1.96 o 3117
1.96 c 535
1.96 o 3119
1.96 c 533
1.96 o 3120
1.96 c 532
1.97 o 3123
1.97 c 529
1.97 o 3135
1.97 c 517
1.98 o 3137
1.98 c 515
1.98 o 3138
1.98 c 514
1.98 o 3139
1.98 c 513
2.00 o 3140
2.00 c 512
2.00 o 3142
2.00 c 510
2.01 o 3144
2.01 c 508
2.03 o 3146
2.03 c 506
2.03 o 3148
2.03 c 504
2.04 o 3151
2.04 c 501
2.04 o 3154
2.04 c 498
2.04 o 3157
2.04 c 495
2.05 o 3160
2.05 c 492
2.05 o 3163
2.05 c 489
2.06 o 3166
2.06 c 486
2.06 o 3169
2.06 c 483
2.06 o 3172
2.06 c 480
2.07 o 3174
2.07 c 478
2.07 o 3177
2.07 c 475
2.08 o 3180
2.08 c 472
2.08 o 3183
2.08 c 469
2.08 o 3186
2.08 c 466
2.09 o 3189
2.09 c 463
2.09 o 3192
2.09 c 460
2.10 o 3194
2.10 c 458
2.11 o 3197
2.11 c 455
2.11 o 3200
2.11 c 452
2.12 o 3203
2.12 c 449
2.12 o 3206
2.12 c 446
2.12 o 3209
2.12 c 443
2.13 o 3211
2.13 c 441
2.13 o 3213
2.13 c 439
2.14 o 3215
2.14 c 437
2.14 o 3217
2.14 c 435
2.14 o 3219
2.14 c 433
2.15 o 3221
2.15 c 431
2.15 o 3222
2.15 c 430
2.15 o 3223
2.15 c 429
2.17 o 3225
2.17 c 427
2.19 o 3229
2.19 c 423
2.20 o 3230
2.20 c 422
2.20 o 3233
2.20 c 419
2.23 o 3234
2.23 c 418
2.23 o 3236
2.23 c 416
2.24 o 3238
2.24 c 414
2.24 o 3240
2.24 c 412
2.24 o 3242
2.24 c 410
2.25 o 3244
2.25 c 408
2.25 o 3246
2.25 c 406
2.26 o 3248
2.26 c 404
2.27 o 3250
2.27 c 402
2.27 o 3252
2.27 c 400
2.28 o 3254
2.28 c 398
2.28 o 3256
2.28 c 396
2.29 o 3258
2.29 c 394
2.29 o 3260
2.29 c 392
2.30 o 3262
2.30 c 390
2.30 o 3264
2.30 c 388
2.30 o 3266
2.30 c 386
2.31 o 3268
2.31 c 384
2.31 o 3270
2.31 c 382
2.32 o 3272
2.32 c 380
2.32 o 3274
2.32 c 378
2.33 o 3276
2.33 c 376
2.33 o 3277
2.33 c 375
2.34 o 3279
2.34 c 373
2.34 o 3281
2.34 c 371
2.34 o 3283
2.34 c 369
2.35 o 3285
2.35 c 367
2.35 o 3287
2.35 c 365
2.36 o 3289
2.36 c 363
2.36 o 3291
2.36 c 361
2.39 o 3292
2.39 c 360
2.40 o 3293
2.40 c 359
2.41 o 3295
2.41 c 357
2.41 o 3298
2.41 c 354
2.42 o 3299
2.42 c 353
2.42 o 3301
2.42 c 351
2.43 o 3303
2.43 c 349
2.43 o 3305
2.43 c 347
2.44 o 3307
2.44 c 345
2.44 o 3309
2.44 c 343
2.45 o 3311
2.45 c 341
2.45 o 3313
2.45 c 339
2.45 o 3314
2.45 c 338
2.46 o 3316
2.46 c 336
2.46 o 3318
2.46 c 334
2.47 o 3320
2.47 c 332
2.47 o 3322
2.47 c 330
2.47 o 3324
2.47 c 328
2.48 o 3326
2.48 c 326
2.48 o 3328
2.48 c 324
2.49 o 3330
2.49 c 322
2.49 o 3332
2.49 c 320
2.49 o 3333
2.49 c 319
2.50 o 3334
2.50 c 318
2.50 o 3335
2.50 c 317
2.51 o 3336
2.51 c 316
2.51 o 3337
2.51 c 315
2.51 o 3338
2.51 c 314
2.52 o 3339
2.52 c 313
2.52 o 3340
2.52 c 312
2.56 o 3344
2.56 c 308
2.56 o 3345
2.56 c 307
2.58 o 3346
2.58 c 306
2.59 o 3347
2.59 c 305
2.59 o 3349
2.59 c 303
2.59 o 3351
2.59 c 301
2.60 o 3353
2.60 c 299
2.60 o 3354
2.60 c 298
2.61 o 3356
2.61 c 296
2.61 o 3358
2.61 c 294
2.62 o 3360
2.62 c 292
2.63 o 3361
2.63 c 291
2.65 o 3363
2.65 c 289
2.66 o 3365
2.66 c 287
2.66 o 3366
2.66 c 286
2.67 o 3368
2.67 c 284
2.67 o 3370
2.67 c 282
2.68 o 3372
2.68 c 280
2.68 o 3374
2.68 c 278
2.69 o 3376
2.69 c 276
2.69 o 3377
2.69 c 275
2.70 o 3378
2.70 c 274
2.70 o 3381
2.70 c 271
2.71 o 3383
2.71 c 269
2.71 o 3385
2.71 c 267
2.72 o 3386
2.72 c 266
2.73 o 3387
2.73 c 265
2.73 o 3388
2.73 c 264
2.74 o 3390
2.74 c 262
2.75 o 3392
2.75 c 260
2.75 o 3394
2.75 c 258
2.76 o 3396
2.76 c 256
2.77 o 3397
2.77 c 255
2.79 o 3398
2.79 c 254
2.80 o 3400
2.80 c 252
2.81 o 3401
2.81 c 251
2.81 o 3403
2.81 c 249
2.82 o 3404
2.82 c 248
2.85 o 3405
2.85 c 247
2.86 o 3406
2.86 c 246
2.86 o 3407
2.86 c 245
2.87 o 3408
2.87 c 244
2.87 o 3409
2.87 c 243
2.88 o 3410
2.88 c 242
2.89 o 3411
2.89 c 241
2.89 o 3412
2.89 c 240
2.90 o 3413
2.90 c 239
2.90 o 3414
2.90 c 238
2.91 o 3415
2.91 c 237
2.91 o 3416
2.91 c 236
2.92 o 3417
2.92 c 235
2.92 o 3418
2.92 c 234
2.93 o 3419
2.93 c 233
2.94 o 3420
2.94 c 232
2.94 o 3421
2.94 c 231
2.95 o 3422
2.95 c 230
2.95 o 3423
2.95 c 229
2.96 o 3424
2.96 c 228
2.96 o 3425
2.96 c 227
2.97 o 3426
2.97 c 226
2.98 o 3427
2.98 c 225
2.98 o 3428
2.98 c 224
2.99 o 3429
2.99 c 223
2.99 o 3430
2.99 c 222
3.02 o 3433
3.02 c 219
3.02 o 3434
3.02 c 218
3.03 o 3435
3.03 c 217
3.14 o 3437
3.14 c 215
3.54 o 3440
3.54 c 212
3.55 o 3441
3.55 c 211
3.55 o 3447
3.55 c 205
3.56 o 3448
3.56 c 204
3.56 o 3449
3.56 c 203
3.57 o 3450
3.57 c 202
3.57 o 3452
3.57 c 200
3.58 o 3453
3.58 c 199
3.58 o 3455
3.58 c 197
3.59 o 3456
3.59 c 196
3.59 o 3458
3.59 c 194
3.60 o 3459
3.60 c 193
3.62 o 3461
3.62 c 191
3.63 o 3463
3.63 c 189
3.64 o 3465
3.64 c 187
3.65 o 3467
3.65 c 185
3.65 o 3468
3.65 c 184
3.66 o 3469
3.66 c 183
3.66 o 3470
3.66 c 182
3.67 o 3471
3.67 c 181
3.67 o 3472
3.67 c 180
3.68 o 3473
3.68 c 179
3.71 o 3474
3.71 c 178
3.73 o 3475
3.73 c 177
3.74 o 3476
3.74 c 176
3.75 o 3478
3.75 c 174
3.75 o 3479
3.75 c 173
3.75 o 3480
3.75 c 172
3.76 o 3481
3.76 c 171
3.76 o 3482
3.76 c 170
3.77 o 3483
3.77 c 169
3.77 o 3484
3.77 c 168
3.78 o 3485
3.78 c 167
3.78 o 3486
3.78 c 166
3.78 o 3487
3.78 c 165
3.79 o 3488
3.79 c 164
3.80 o 3490
3.80 c 162
3.80 o 3493
3.80 c 159
3.81 o 3494
3.81 c 158
3.81 o 3498
3.81 c 154
3.82 o 3500
3.82 c 152
3.83 o 3501
3.83 c 151
3.83 o 3502
3.83 c 150
3.84 o 3504
3.84 c 148
3.84 o 3505
3.84 c 147
3.86 o 3506
3.86 c 146
3.87 o 3507
3.87 c 145
3.87 o 3508
3.87 c 144
3.88 o 3510
3.88 c 142
3.88 o 3511
3.88 c 141
3.88 o 3513
3.88 c 139
3.89 o 3514
3.89 c 138
3.89 o 3515
3.89 c 137
3.91 o 3517
3.91 c 135
3.91 o 3519
3.91 c 133
3.92 o 3520
3.92 c 132
3.93 o 3521
3.93 c 131
3.93 o 3522
3.93 c 130
3.94 o 3523
3.94 c 129
3.96 o 3524
3.96 c 128
3.97 o 3525
3.97 c 127
3.98 o 3526
3.98 c 126
3.98 o 3527
3.98 c 125
3.98 o 3528
3.98 c 124
3.99 o 3529
3.99 c 123
3.99 o 3531
3.99 c 121
4.00 o 3532
4.00 c 120
4.00 o 3533
4.00 c 119
4.00 o 3534
4.00 c 118
4.01 o 3535
4.01 c 117
4.01 o 3536
4.01 c 116
4.02 o 3537
4.02 c 115
4.02 o 3538
4.02 c 114
4.02 o 3539
4.02 c 113
4.02 o 3540
4.02 c 112
4.23 o 3541
4.23 c 111
4.23 o 3543
4.23 c 109
4.25 o 3544
4.25 c 108
4.26 o 3546
4.26 c 106
4.26 o 3547
4.26 c 105
4.27 o 3548
4.27 c 104
4.30 o 3549
4.30 c 103
4.32 o 3550
4.32 c 102
4.34 o 3551
4.34 c 101
4.35 o 3553
4.35 c 99
4.35 o 3554
4.35 c 98
4.36 o 3556
4.36 c 96
4.36 o 3557
4.36 c 95
4.36 o 3558
4.36 c 94
4.37 o 3561
4.37 c 91
4.39 o 3562
4.39 c 90
4.39 o 3563
4.39 c 89
4.40 o 3564
4.40 c 88
4.40 o 3565
4.40 c 87
4.41 o 3566
4.41 c 86
4.41 o 3567
4.41 c 85
4.41 o 3568
4.41 c 84
4.51 o 3569
4.51 c 83
4.52 o 3571
4.52 c 81
4.54 o 3572
4.54 c 80
4.54 o 3574
4.54 c 78
4.54 o 3576
4.54 c 76
4.56 o 3577
4.56 c 75
4.56 o 3578
4.56 c 74
4.61 o 3580
4.61 c 72
4.62 o 3581
4.62 c 71
4.64 o 3582
4.64 c 70
4.64 o 3584
4.64 c 68
4.64 o 3585
4.64 c 67
4.67 o 3586
4.67 c 66
4.75 o 3587
4.75 c 65
4.76 o 3588
4.76 c 64
4.76 o 3590
4.76 c 62
4.76 o 3591
4.77 c 61
4.78 o 3593
4.78 c 59
4.80 o 3594
4.80 c 58
4.80 o 3595
4.80 c 57
4.85 o 3596
4.85 c 56
4.87 o 3597
4.87 c 55
4.87 o 3600
4.87 c 52
4.87 o 3601
4.87 c 51
4.90 o 3602
4.90 c 50
4.91 o 3603
4.91 c 49
4.91 o 3604
4.91 c 48
4.92 o 3605
4.92 c 47
4.92 o 3606
4.92 c 46
4.93 o 3607
4.93 c 45
4.95 o 3608
4.95 c 44
4.95 o 3609
4.95 c 43
5.09 o 3610
5.09 c 42
5.10 o 3612
5.10 c 40
5.10 o 3614
5.10 c 38
5.13 o 3615
5.13 c 37
5.14 o 3617
5.14 c 35
5.19 o 3618
5.19 c 34
5.26 o 3619
5.26 c 33
5.27 o 3620
5.27 c 32
5.30 o 3621
5.30 c 31
5.32 o 3622
5.32 c 30
5.49 o 3623
5.49 c 29
5.50 o 3624
5.50 c 28
5.50 o 3625
5.50 c 27
5.53 o 3626
5.53 c 26
5.67 o 3627
5.67 c 25
5.73 o 3628
5.73 c 24
5.73 o 3630
5.73 c 22
5.73 o 3631
5.73 c 21
5.80 o 3632
5.80 c 20
5.83 o 3633
5.83 c 19
5.98 o 3634
5.98 c 18
6.02 o 3635
6.02 c 17
6.13 o 3636
6.13 c 16
6.20 o 3638
6.20 c 14
6.21 o 3639
6.21 c 13
6.55 o 3640
6.55 c 12
8.36 o 3641
8.36 c 11
9.10 o 3642
9.10 c 10
9.27 o 3643
9.27 c 9
9.31 o 3644
9.31 c 8
9.62 o 3645
9.62 c 7
9.74 o 3646
9.74 c 6
10.31 o 3647
10.31 c 5
10.94 o 3648
10.94 c 4
12.09 o 3649
12.09 c 3
14.58 o 3650
14.58 c 2
16.42
16.42 search
16.42 run=0 nbConstraintChecks=10174014 nbAssignments=10000
16.42 => wckTime=14.578 cpuTime=14.39 mem=10M836
17.39 o 3651
17.39 c 1
17.39
17.39 search
17.39 run=1 nbConstraintChecks=10969204 nbAssignments=10823
17.39 => wckTime=15.55 cpuTime=15.34 mem=10M836
17.39
17.39 global
17.40 nbConstraintChecks=10969204 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
17.40 solvingWckTime=15.545 solvingCpuTime=15.34 expiredTime=no totalExploration=no nbFoundSolutions=0
17.40 globalCpuTime=16.59
17.40 => wckTime=17.076 cpuTime=16.54 mem=10M836
17.40
17.40 solver IterativeSystematicSolver being built...
17.69 => wckTime=17.371 cpuTime=16.76 mem=42M876
17.73
17.73 preprocessing
17.73 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
17.73 detectedInconsistency=no
17.73 => wckTime=0.041 cpuTime=0.03 mem=42M876
19.37
19.37 search
19.37 run=0 nbConstraintChecks=244011 nbValidityChecks=584303 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
19.37 nbAssignments=180 nbFailedAssignments=3 nbBacktracks=10 nbVisitedNodes=184 nbRestartNogoods=0
19.37 => wckTime=1.683 cpuTime=1.62 mem=42M876
21.10
21.10 search
21.10 run=1 nbConstraintChecks=507498 nbValidityChecks=1252689 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
21.10 nbAssignments=380 nbFailedAssignments=8 nbBacktracks=34 nbVisitedNodes=390 nbRestartNogoods=2
21.10 => wckTime=3.408 cpuTime=3.32 mem=42M876
22.78
22.78 search
22.78 run=2 nbConstraintChecks=769925 nbValidityChecks=1920590 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
22.78 nbAssignments=580 nbFailedAssignments=13 nbBacktracks=59 nbVisitedNodes=596 nbRestartNogoods=3
22.78 => wckTime=5.089 cpuTime=4.97 mem=42M876
24.70
24.70 search
24.70 run=3 nbConstraintChecks=1097543 nbValidityChecks=2687581 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
24.70 nbAssignments=804 nbFailedAssignments=22 nbBacktracks=95 nbVisitedNodes=831 nbRestartNogoods=4
24.70 => wckTime=7.012 cpuTime=6.88 mem=42M876
26.82
26.82 search
26.82 run=4 nbConstraintChecks=1457795 nbValidityChecks=3505546 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
26.82 nbAssignments=1042 nbFailedAssignments=32 nbBacktracks=147 nbVisitedNodes=1080 nbRestartNogoods=7
26.82 => wckTime=9.13 cpuTime=8.98 mem=42M876
29.27
29.27 search
29.27 run=5 nbConstraintChecks=1907210 nbValidityChecks=4455034 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
29.27 nbAssignments=1310 nbFailedAssignments=48 nbBacktracks=224 nbVisitedNodes=1364 nbRestartNogoods=10
29.27 => wckTime=11.578 cpuTime=11.4 mem=42M876
32.45
32.45 search
32.45 run=6 nbConstraintChecks=2522026 nbValidityChecks=5659174 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.45 nbAssignments=1636 nbFailedAssignments=82 nbBacktracks=338 nbVisitedNodes=1724 nbRestartNogoods=12
32.45 => wckTime=14.762 cpuTime=14.54 mem=42M876
35.76
35.76 search
35.76 run=7 nbConstraintChecks=3144747 nbValidityChecks=6934028 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.76 nbAssignments=1972 nbFailedAssignments=118 nbBacktracks=509 nbVisitedNodes=2112 nbRestartNogoods=17
35.76 => wckTime=18.071 cpuTime=17.81 mem=42M876
41.81
41.81 search
41.81 run=8 nbConstraintChecks=5214616 nbValidityChecks=9754616 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.81 nbAssignments=2969 nbFailedAssignments=149 nbBacktracks=843 nbVisitedNodes=3141 nbRestartNogoods=19
41.81 => wckTime=24.122 cpuTime=23.81 mem=42M876
47.79
47.79 search
47.79 run=9 nbConstraintChecks=7377025 nbValidityChecks=12516755 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
47.79 nbAssignments=4059 nbFailedAssignments=161 nbBacktracks=1266 nbVisitedNodes=4246 nbRestartNogoods=23
47.79 => wckTime=30.102 cpuTime=29.73 mem=42M876
53.40
53.40 search
53.40 run=10 nbConstraintChecks=9252273 nbValidityChecks=15305950 nbPropagations=0 nbRevisions=0
53.40 nbUselessRevisions=0 nbAssignments=4922 nbFailedAssignments=183 nbBacktracks=1850 nbVisitedNodes=5131
53.40 nbRestartNogoods=25
53.40 => wckTime=35.71 cpuTime=35.28 mem=42M876
63.24
63.24 search
63.24 run=11 nbConstraintChecks=12284230 nbValidityChecks=19800265 nbPropagations=0 nbRevisions=0
63.24 nbUselessRevisions=0 nbAssignments=6099 nbFailedAssignments=301 nbBacktracks=2716 nbVisitedNodes=6442
63.24 nbRestartNogoods=28
63.24 => wckTime=45.55 cpuTime=45.04 mem=42M876
80.22
80.22 search
80.22 run=12 nbConstraintChecks=17022777 nbValidityChecks=26941282 nbPropagations=0 nbRevisions=0
80.22 nbUselessRevisions=0 nbAssignments=7819 nbFailedAssignments=513 nbBacktracks=4021 nbVisitedNodes=8427
80.22 nbRestartNogoods=31
80.22 => wckTime=62.528 cpuTime=61.86 mem=42M876
104.05
104.05 search
104.05 run=13 nbConstraintChecks=23071943 nbValidityChecks=36887341 nbPropagations=0 nbRevisions=0
104.05 nbUselessRevisions=0 nbAssignments=10192 nbFailedAssignments=826 nbBacktracks=5976 nbVisitedNodes=11131
104.05 nbRestartNogoods=36
104.05 => wckTime=86.362 cpuTime=85.47 mem=42M876
142.18
142.18 search
142.18 run=14 nbConstraintChecks=30539269 nbValidityChecks=51490418 nbPropagations=0 nbRevisions=0
142.18 nbUselessRevisions=0 nbAssignments=13614 nbFailedAssignments=1248 nbBacktracks=8902 nbVisitedNodes=15068
142.18 nbRestartNogoods=39
142.18 => wckTime=124.493 cpuTime=123.26 mem=42M876
194.84
194.84 search
194.84 run=15 nbConstraintChecks=41422981 nbValidityChecks=73309033 nbPropagations=0 nbRevisions=0
194.84 nbUselessRevisions=0 nbAssignments=18719 nbFailedAssignments=1825 nbBacktracks=13283 nbVisitedNodes=20812
194.84 nbRestartNogoods=43
194.84 => wckTime=177.148 cpuTime=175.43 mem=42M876
273.75
273.75 search
273.75 run=16 nbConstraintChecks=58530913 nbValidityChecks=105942922 nbPropagations=0 nbRevisions=0
273.75 nbUselessRevisions=0 nbAssignments=26128 nbFailedAssignments=2560 nbBacktracks=19860 nbVisitedNodes=29030
273.75 nbRestartNogoods=51
273.75 => wckTime=256.063 cpuTime=253.8 mem=42M876
385.52
385.52 search
385.52 run=17 nbConstraintChecks=86390474 nbValidityChecks=162220965 nbPropagations=0 nbRevisions=0
385.52 nbUselessRevisions=0 nbAssignments=37064 nbFailedAssignments=3492 nbBacktracks=29725 nbVisitedNodes=41144
385.52 nbRestartNogoods=55
385.52 => wckTime=367.831 cpuTime=365.45 mem=43M870
543.05
543.05 search
543.05 run=18 nbConstraintChecks=132791872 nbValidityChecks=243667937 nbPropagations=0 nbRevisions=0
543.05 nbUselessRevisions=0 nbAssignments=54109 nbFailedAssignments=5591 nbBacktracks=44504 nbVisitedNodes=60589
543.05 nbRestartNogoods=60
543.05 => wckTime=525.361 cpuTime=522.81 mem=43M870
812.74
812.74 search
812.74 run=19 nbConstraintChecks=198196791 nbValidityChecks=375548135 nbPropagations=0 nbRevisions=0
812.74 nbUselessRevisions=0 nbAssignments=79088 nbFailedAssignments=8308 nbBacktracks=66676 nbVisitedNodes=88630
812.74 nbRestartNogoods=72
812.74 => wckTime=795.051 cpuTime=792.22 mem=43M870
1211.71
1211.71 search
1211.71 run=20 nbConstraintChecks=300814815 nbValidityChecks=575717895 nbPropagations=0 nbRevisions=0
1211.71 nbUselessRevisions=0 nbAssignments=116369 nbFailedAssignments=12218 nbBacktracks=99930 nbVisitedNodes=130071
1211.71 nbRestartNogoods=79
1211.71 => wckTime=1194.022 cpuTime=1190.76 mem=43M870
1811.94
1811.94 search
1811.94 run=21 nbConstraintChecks=463150326 nbValidityChecks=893458162 nbPropagations=0 nbRevisions=0
1811.94 nbUselessRevisions=0 nbAssignments=173969 nbFailedAssignments=19861 nbBacktracks=149825 nbVisitedNodes=195844
1811.94 nbRestartNogoods=92
1811.94 => wckTime=1794.254 cpuTime=1790.38 mem=43M870
2404.85 v 0 1 0 1 1 0 1 0 1 1 1 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 1 0 1 1 0 1 1 0 1 0 0 1 1 1 1 0 0 0 0 1 0 1 0 1 0 1 1 1 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 1 1 1 1 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 0 1 1 1 0 1 0 0 1 1 1 1 0 1 1 1 0 1 0 1 0 1 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 1 0 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 1 1 1 1 1 0 0 0 1 1 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 1 1 0 0 1 1 1 0 1 1 1 0 0 0 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 1 1 1 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 1 0 1 1 1 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 1 1 0 0 0 0 0 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 1 1 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 0 1 0 0 1 0 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 0 0 1 0 1 1 1 0 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 0 1 1 0 1 0 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 1 1 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-275751-1169226443 -o ROOT/results/node5/solver-275751-1169226443 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275751-1169226443/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.96 2.00 2.00 4/93 12525
/proc/meminfo: memFree=1003184/2055920 swapFree=4192812/4192956
[pid=12524] ppid=12522 vsize=18540 CPUtime=0
/proc/12524/stat : 12524 (runsolver) R 12522 12524 11775 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 251258736 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 226913479975 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/12524/statm: 4635 279 244 17 0 2626 0
[startup+0.103467 s]
/proc/loadavg: 1.96 2.00 2.00 4/93 12525
/proc/meminfo: memFree=1003184/2055920 swapFree=4192812/4192956
[pid=12524] ppid=12522 vsize=914988 CPUtime=0.07
/proc/12524/stat : 12524 (java) R 12522 12524 11775 0 -1 0 2951 0 1 0 6 1 0 0 17 0 8 0 251258736 936947712 2697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155517847 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12524/statm: 228747 2697 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.511511 s]
/proc/loadavg: 1.96 2.00 2.00 4/93 12525
/proc/meminfo: memFree=1003184/2055920 swapFree=4192812/4192956
[pid=12524] ppid=12522 vsize=915332 CPUtime=0.48
/proc/12524/stat : 12524 (java) R 12522 12524 11775 0 -1 0 6453 0 1 0 45 3 0 0 18 0 8 0 251258736 937299968 6192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073448297 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12524/statm: 228833 6192 2138 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.3346 s]
/proc/loadavg: 1.96 2.00 2.00 3/100 12532
/proc/meminfo: memFree=943096/2055920 swapFree=4192812/4192956
[pid=12524] ppid=12522 vsize=915644 CPUtime=1.29
/proc/12524/stat : 12524 (java) R 12522 12524 11775 0 -1 0 17385 0 1 0 108 21 0 0 24 0 8 0 251258736 937619456 17122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073877060 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12524/statm: 228911 17122 2179 14 0 215381 0
[pid=12524/tid=12526] ppid=12522 vsize=915644 CPUtime=0.03
/proc/12524/task/12526/stat : 12526 (java) S 12522 12524 11775 0 -1 64 752 0 0 0 3 0 0 0 16 0 8 0 251258740 937619456 17122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12527] ppid=12522 vsize=915644 CPUtime=0
/proc/12524/task/12527/stat : 12527 (java) S 12522 12524 11775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 251258741 937619456 17122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12528] ppid=12522 vsize=915644 CPUtime=0
/proc/12524/task/12528/stat : 12528 (java) S 12522 12524 11775 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 251258741 937619456 17122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12529] ppid=12522 vsize=915644 CPUtime=0
/proc/12524/task/12529/stat : 12529 (java) S 12522 12524 11775 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 251258744 937619456 17122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12530] ppid=12522 vsize=915644 CPUtime=0.2
/proc/12524/task/12530/stat : 12530 (java) S 12522 12524 11775 0 -1 64 428 0 0 0 20 0 0 0 16 0 8 0 251258744 937619456 17122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12531] ppid=12522 vsize=915644 CPUtime=0
/proc/12524/task/12531/stat : 12531 (java) S 12522 12524 11775 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 251258744 937619456 17122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12532] ppid=12522 vsize=915644 CPUtime=0
/proc/12524/task/12532/stat : 12532 (java) S 12522 12524 11775 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 251258744 937619456 17122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915644
[startup+2.98779 s]
/proc/loadavg: 1.96 2.00 2.00 3/100 12532
/proc/meminfo: memFree=936888/2055920 swapFree=4192812/4192956
[pid=12524] ppid=12522 vsize=915744 CPUtime=2.92
/proc/12524/stat : 12524 (java) R 12522 12524 11775 0 -1 0 19229 0 1 0 266 26 0 0 25 0 8 0 251258736 937721856 18964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470032 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12524/statm: 228936 18964 2501 14 0 215406 0
[pid=12524/tid=12526] ppid=12522 vsize=915744 CPUtime=0.08
/proc/12524/task/12526/stat : 12526 (java) S 12522 12524 11775 0 -1 64 2208 0 0 0 8 0 0 0 17 0 8 0 251258740 937721856 18964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12527] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12527/stat : 12527 (java) S 12522 12524 11775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 251258741 937721856 18964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12528] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12528/stat : 12528 (java) S 12522 12524 11775 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 251258741 937721856 18964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12529] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12529/stat : 12529 (java) S 12522 12524 11775 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 251258744 937721856 18964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12530] ppid=12522 vsize=915744 CPUtime=0.26
/proc/12524/task/12530/stat : 12530 (java) S 12522 12524 11775 0 -1 64 464 0 0 0 25 1 0 0 15 0 8 0 251258744 937721856 18964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12531] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12531/stat : 12531 (java) S 12522 12524 11775 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 251258744 937721856 18964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12532] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12532/stat : 12532 (java) S 12522 12524 11775 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 251258744 937721856 18964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915744
[startup+6.27316 s]
/proc/loadavg: 1.96 2.00 2.00 3/100 12532
/proc/meminfo: memFree=936824/2055920 swapFree=4192812/4192956
[pid=12524] ppid=12522 vsize=915744 CPUtime=6.16
/proc/12524/stat : 12524 (java) R 12522 12524 11775 0 -1 0 19235 0 1 0 581 35 0 0 25 0 8 0 251258736 937721856 18969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073881696 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12524/statm: 228936 18969 2501 14 0 215406 0
[pid=12524/tid=12526] ppid=12522 vsize=915744 CPUtime=0.08
/proc/12524/task/12526/stat : 12526 (java) S 12522 12524 11775 0 -1 64 2208 0 0 0 8 0 0 0 16 0 8 0 251258740 937721856 18969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12527] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12527/stat : 12527 (java) S 12522 12524 11775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 251258741 937721856 18969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12528] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12528/stat : 12528 (java) S 12522 12524 11775 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 251258741 937721856 18969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12529] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12529/stat : 12529 (java) S 12522 12524 11775 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 251258744 937721856 18969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12530] ppid=12522 vsize=915744 CPUtime=0.27
/proc/12524/task/12530/stat : 12530 (java) S 12522 12524 11775 0 -1 64 469 0 0 0 26 1 0 0 16 0 8 0 251258744 937721856 18969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12531] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12531/stat : 12531 (java) S 12522 12524 11775 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 251258744 937721856 18969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12532] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12532/stat : 12532 (java) S 12522 12524 11775 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 251258744 937721856 18969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915744
[startup+12.7629 s]
/proc/loadavg: 1.96 2.00 2.00 3/100 12532
/proc/meminfo: memFree=936952/2055920 swapFree=4192812/4192956
[pid=12524] ppid=12522 vsize=915744 CPUtime=12.59
/proc/12524/stat : 12524 (java) R 12522 12524 11775 0 -1 0 19235 0 1 0 1204 55 0 0 25 0 8 0 251258736 937721856 18969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073992102 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12524/statm: 228936 18969 2501 14 0 215406 0
[pid=12524/tid=12526] ppid=12522 vsize=915744 CPUtime=0.08
/proc/12524/task/12526/stat : 12526 (java) S 12522 12524 11775 0 -1 64 2208 0 0 0 8 0 0 0 16 0 8 0 251258740 937721856 18969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12527] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12527/stat : 12527 (java) S 12522 12524 11775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 251258741 937721856 18969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12528] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12528/stat : 12528 (java) S 12522 12524 11775 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 251258741 937721856 18969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12529] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12529/stat : 12529 (java) S 12522 12524 11775 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 251258744 937721856 18969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12530] ppid=12522 vsize=915744 CPUtime=0.27
/proc/12524/task/12530/stat : 12530 (java) S 12522 12524 11775 0 -1 64 469 0 0 0 26 1 0 0 16 0 8 0 251258744 937721856 18969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12531] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12531/stat : 12531 (java) S 12522 12524 11775 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 251258744 937721856 18969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12532] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12532/stat : 12532 (java) S 12522 12524 11775 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 251258744 937721856 18969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915744
[startup+25.6114 s]
/proc/loadavg: 1.97 2.00 2.00 3/100 12532
/proc/meminfo: memFree=936504/2055920 swapFree=4192812/4192956
[pid=12524] ppid=12522 vsize=915744 CPUtime=25.32
/proc/12524/stat : 12524 (java) R 12522 12524 11775 0 -1 0 19420 0 1 0 2454 78 0 0 25 0 8 0 251258736 937721856 19149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074272123 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12524/statm: 228936 19149 2551 14 0 215406 0
[pid=12524/tid=12526] ppid=12522 vsize=915744 CPUtime=0.08
/proc/12524/task/12526/stat : 12526 (java) S 12522 12524 11775 0 -1 64 2209 0 0 0 8 0 0 0 17 0 8 0 251258740 937721856 19149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12527] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12527/stat : 12527 (java) S 12522 12524 11775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 251258741 937721856 19149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12528] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12528/stat : 12528 (java) S 12522 12524 11775 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 251258741 937721856 19149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12529] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12529/stat : 12529 (java) S 12522 12524 11775 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 251258744 937721856 19149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12530] ppid=12522 vsize=915744 CPUtime=0.43
/proc/12524/task/12530/stat : 12530 (java) S 12522 12524 11775 0 -1 64 556 0 0 0 41 2 0 0 15 0 8 0 251258744 937721856 19149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12531] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12531/stat : 12531 (java) S 12522 12524 11775 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 251258744 937721856 19149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12532] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12532/stat : 12532 (java) S 12522 12524 11775 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 251258744 937721856 19149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915744
[startup+51.2423 s]
/proc/loadavg: 1.98 2.00 2.00 3/100 12532
/proc/meminfo: memFree=936504/2055920 swapFree=4192812/4192956
[pid=12524] ppid=12522 vsize=915744 CPUtime=50.71
/proc/12524/stat : 12524 (java) R 12522 12524 11775 0 -1 0 19441 0 1 0 4992 79 0 0 25 0 8 0 251258736 937721856 19161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074348745 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12524/statm: 228936 19161 2551 14 0 215406 0
[pid=12524/tid=12526] ppid=12522 vsize=915744 CPUtime=0.08
/proc/12524/task/12526/stat : 12526 (java) S 12522 12524 11775 0 -1 64 2209 0 0 0 8 0 0 0 16 0 8 0 251258740 937721856 19161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12527] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12527/stat : 12527 (java) S 12522 12524 11775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 251258741 937721856 19161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12528] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12528/stat : 12528 (java) S 12522 12524 11775 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 251258741 937721856 19161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12529] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12529/stat : 12529 (java) S 12522 12524 11775 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 251258744 937721856 19161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12530] ppid=12522 vsize=915744 CPUtime=0.45
/proc/12524/task/12530/stat : 12530 (java) S 12522 12524 11775 0 -1 64 573 0 0 0 43 2 0 0 16 0 8 0 251258744 937721856 19161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12531] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12531/stat : 12531 (java) S 12522 12524 11775 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 251258744 937721856 19161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12532] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12532/stat : 12532 (java) S 12522 12524 11775 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 251258744 937721856 19161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915744
[startup+102.503 s]
/proc/loadavg: 2.03 2.01 2.00 3/100 12532
/proc/meminfo: memFree=936504/2055920 swapFree=4192812/4192956
[pid=12524] ppid=12522 vsize=915744 CPUtime=101.51
/proc/12524/stat : 12524 (java) R 12522 12524 11775 0 -1 0 19445 0 1 0 10072 79 0 0 25 0 8 0 251258736 937721856 19163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074259040 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12524/statm: 228936 19163 2551 14 0 215406 0
[pid=12524/tid=12526] ppid=12522 vsize=915744 CPUtime=0.08
/proc/12524/task/12526/stat : 12526 (java) S 12522 12524 11775 0 -1 64 2209 0 0 0 8 0 0 0 16 0 8 0 251258740 937721856 19163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12527] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12527/stat : 12527 (java) S 12522 12524 11775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 251258741 937721856 19163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12528] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12528/stat : 12528 (java) S 12522 12524 11775 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 251258741 937721856 19163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12529] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12529/stat : 12529 (java) S 12522 12524 11775 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 251258744 937721856 19163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12530] ppid=12522 vsize=915744 CPUtime=0.46
/proc/12524/task/12530/stat : 12530 (java) S 12522 12524 11775 0 -1 64 576 0 0 0 44 2 0 0 15 0 8 0 251258744 937721856 19163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12531] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12531/stat : 12531 (java) S 12522 12524 11775 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 251258744 937721856 19163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12532] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12532/stat : 12532 (java) R 12522 12524 11775 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 251258744 937721856 19163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 915744
[startup+162.514 s]
/proc/loadavg: 2.01 2.01 2.00 3/100 12532
/proc/meminfo: memFree=936568/2055920 swapFree=4192812/4192956
[pid=12524] ppid=12522 vsize=915744 CPUtime=160.98
/proc/12524/stat : 12524 (java) R 12522 12524 11775 0 -1 0 19445 0 1 0 16018 80 0 0 25 0 8 0 251258736 937721856 19163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074129055 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2019.69
Current children cumulated vsize (KiB) 915744
[startup+2083.95 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 12652
/proc/meminfo: memFree=1015672/2055920 swapFree=4192812/4192956
[pid=12524] ppid=12522 vsize=915744 CPUtime=2079.69
/proc/12524/stat : 12524 (java) R 12522 12524 11775 0 -1 0 19447 0 1 0 207876 93 0 0 25 0 8 0 251258736 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074275672 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12524/statm: 228936 19164 2551 14 0 215406 0
[pid=12524/tid=12526] ppid=12522 vsize=915744 CPUtime=0.08
/proc/12524/task/12526/stat : 12526 (java) S 12522 12524 11775 0 -1 64 2209 0 0 0 8 0 0 0 16 0 8 0 251258740 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12527] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12527/stat : 12527 (java) S 12522 12524 11775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 251258741 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12528] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12528/stat : 12528 (java) S 12522 12524 11775 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 251258741 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12529] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12529/stat : 12529 (java) S 12522 12524 11775 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 251258744 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12530] ppid=12522 vsize=915744 CPUtime=0.46
/proc/12524/task/12530/stat : 12530 (java) S 12522 12524 11775 0 -1 64 578 0 0 0 44 2 0 0 16 0 8 0 251258744 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12524/tid=12531] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12531/stat : 12531 (java) S 12522 12524 11775 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 251258744 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12532] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12532/stat : 12532 (java) S 12522 12524 11775 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 251258744 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2079.69
Current children cumulated vsize (KiB) 915744
[startup+2144 s]
/proc/loadavg: 2.00 2.00 2.00 4/100 12652
/proc/meminfo: memFree=1015672/2055920 swapFree=4192812/4192956
[pid=12524] ppid=12522 vsize=915744 CPUtime=2139.69
/proc/12524/stat : 12524 (java) R 12522 12524 11775 0 -1 0 19447 0 1 0 213876 93 0 0 25 0 8 0 251258736 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074240777 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12524/statm: 228936 19164 2551 14 0 215406 0
[pid=12524/tid=12526] ppid=12522 vsize=915744 CPUtime=0.08
/proc/12524/task/12526/stat : 12526 (java) S 12522 12524 11775 0 -1 64 2209 0 0 0 8 0 0 0 16 0 8 0 251258740 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12527] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12527/stat : 12527 (java) S 12522 12524 11775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 251258741 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12528] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12528/stat : 12528 (java) S 12522 12524 11775 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 251258741 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12529] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12529/stat : 12529 (java) S 12522 12524 11775 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 251258744 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12530] ppid=12522 vsize=915744 CPUtime=0.46
/proc/12524/task/12530/stat : 12530 (java) S 12522 12524 11775 0 -1 64 578 0 0 0 44 2 0 0 16 0 8 0 251258744 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12524/tid=12531] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12531/stat : 12531 (java) S 12522 12524 11775 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 251258744 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12532] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12532/stat : 12532 (java) S 12522 12524 11775 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 251258744 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2139.69
Current children cumulated vsize (KiB) 915744
[startup+2204.04 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 12652
/proc/meminfo: memFree=1015672/2055920 swapFree=4192812/4192956
[pid=12524] ppid=12522 vsize=915744 CPUtime=2199.45
/proc/12524/stat : 12524 (java) R 12522 12524 11775 0 -1 0 19447 0 1 0 219852 93 0 0 25 0 8 0 251258736 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074275714 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12524/statm: 228936 19164 2551 14 0 215406 0
[pid=12524/tid=12526] ppid=12522 vsize=915744 CPUtime=0.08
/proc/12524/task/12526/stat : 12526 (java) S 12522 12524 11775 0 -1 64 2209 0 0 0 8 0 0 0 16 0 8 0 251258740 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12527] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12527/stat : 12527 (java) S 12522 12524 11775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 251258741 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12528] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12528/stat : 12528 (java) S 12522 12524 11775 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 251258741 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12529] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12529/stat : 12529 (java) S 12522 12524 11775 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 251258744 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12530] ppid=12522 vsize=915744 CPUtime=0.46
/proc/12524/task/12530/stat : 12530 (java) S 12522 12524 11775 0 -1 64 578 0 0 0 44 2 0 0 16 0 8 0 251258744 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12524/tid=12531] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12531/stat : 12531 (java) S 12522 12524 11775 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 251258744 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12532] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12532/stat : 12532 (java) S 12522 12524 11775 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 251258744 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2199.45
Current children cumulated vsize (KiB) 915744
[startup+2264.09 s]
/proc/loadavg: 2.06 2.02 2.00 3/100 12652
/proc/meminfo: memFree=1015672/2055920 swapFree=4192812/4192956
[pid=12524] ppid=12522 vsize=915744 CPUtime=2259.44
/proc/12524/stat : 12524 (java) R 12522 12524 11775 0 -1 0 19447 0 1 0 225851 93 0 0 25 0 8 0 251258736 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074128992 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12524/statm: 228936 19164 2551 14 0 215406 0
[pid=12524/tid=12526] ppid=12522 vsize=915744 CPUtime=0.08
/proc/12524/task/12526/stat : 12526 (java) S 12522 12524 11775 0 -1 64 2209 0 0 0 8 0 0 0 16 0 8 0 251258740 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12527] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12527/stat : 12527 (java) S 12522 12524 11775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 251258741 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12528] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12528/stat : 12528 (java) S 12522 12524 11775 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 251258741 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12529] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12529/stat : 12529 (java) S 12522 12524 11775 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 251258744 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12530] ppid=12522 vsize=915744 CPUtime=0.46
/proc/12524/task/12530/stat : 12530 (java) S 12522 12524 11775 0 -1 64 578 0 0 0 44 2 0 0 16 0 8 0 251258744 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12524/tid=12531] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12531/stat : 12531 (java) S 12522 12524 11775 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 251258744 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12532] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12532/stat : 12532 (java) S 12522 12524 11775 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 251258744 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2259.44
Current children cumulated vsize (KiB) 915744
[startup+2324.14 s]
/proc/loadavg: 2.02 2.01 2.00 3/100 12652
/proc/meminfo: memFree=1015672/2055920 swapFree=4192812/4192956
[pid=12524] ppid=12522 vsize=915744 CPUtime=2319.44
/proc/12524/stat : 12524 (java) R 12522 12524 11775 0 -1 0 19447 0 1 0 231851 93 0 0 25 0 8 0 251258736 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074275714 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12524/statm: 228936 19164 2551 14 0 215406 0
[pid=12524/tid=12526] ppid=12522 vsize=915744 CPUtime=0.08
/proc/12524/task/12526/stat : 12526 (java) S 12522 12524 11775 0 -1 64 2209 0 0 0 8 0 0 0 16 0 8 0 251258740 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12527] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12527/stat : 12527 (java) S 12522 12524 11775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 251258741 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12528] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12528/stat : 12528 (java) S 12522 12524 11775 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 251258741 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12529] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12529/stat : 12529 (java) S 12522 12524 11775 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 251258744 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12530] ppid=12522 vsize=915744 CPUtime=0.46
/proc/12524/task/12530/stat : 12530 (java) S 12522 12524 11775 0 -1 64 578 0 0 0 44 2 0 0 16 0 8 0 251258744 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12524/tid=12531] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12531/stat : 12531 (java) S 12522 12524 11775 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 251258744 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12532] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12532/stat : 12532 (java) S 12522 12524 11775 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 251258744 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2319.44
Current children cumulated vsize (KiB) 915744
[startup+2384.19 s]
/proc/loadavg: 2.05 2.02 2.00 3/100 12652
/proc/meminfo: memFree=1015672/2055920 swapFree=4192812/4192956
[pid=12524] ppid=12522 vsize=915744 CPUtime=2379.4
/proc/12524/stat : 12524 (java) R 12522 12524 11775 0 -1 0 19447 0 1 0 237847 93 0 0 25 0 8 0 251258736 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074260423 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12524/statm: 228936 19164 2551 14 0 215406 0
[pid=12524/tid=12526] ppid=12522 vsize=915744 CPUtime=0.08
/proc/12524/task/12526/stat : 12526 (java) S 12522 12524 11775 0 -1 64 2209 0 0 0 8 0 0 0 16 0 8 0 251258740 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12527] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12527/stat : 12527 (java) S 12522 12524 11775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 251258741 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12528] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12528/stat : 12528 (java) S 12522 12524 11775 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 251258741 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12529] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12529/stat : 12529 (java) S 12522 12524 11775 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 251258744 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12530] ppid=12522 vsize=915744 CPUtime=0.46
/proc/12524/task/12530/stat : 12530 (java) S 12522 12524 11775 0 -1 64 578 0 0 0 44 2 0 0 16 0 8 0 251258744 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12524/tid=12531] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12531/stat : 12531 (java) S 12522 12524 11775 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 251258744 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12532] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12532/stat : 12532 (java) S 12522 12524 11775 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 251258744 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2379.4
Current children cumulated vsize (KiB) 915744
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2404.84 s]
/proc/loadavg: 2.03 2.02 2.00 3/100 12652
/proc/meminfo: memFree=1015672/2055920 swapFree=4192812/4192956
[pid=12524] ppid=12522 vsize=915744 CPUtime=2400.05
/proc/12524/stat : 12524 (java) R 12522 12524 11775 0 -1 0 19447 0 1 0 239912 93 0 0 25 0 8 0 251258736 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074309474 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12524/statm: 228936 19164 2551 14 0 215406 0
[pid=12524/tid=12526] ppid=12522 vsize=915744 CPUtime=0.08
/proc/12524/task/12526/stat : 12526 (java) S 12522 12524 11775 0 -1 64 2209 0 0 0 8 0 0 0 16 0 8 0 251258740 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12527] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12527/stat : 12527 (java) S 12522 12524 11775 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 251258741 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12528] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12528/stat : 12528 (java) S 12522 12524 11775 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 251258741 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12529] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12529/stat : 12529 (java) S 12522 12524 11775 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 251258744 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12530] ppid=12522 vsize=915744 CPUtime=0.46
/proc/12524/task/12530/stat : 12530 (java) S 12522 12524 11775 0 -1 64 578 0 0 0 44 2 0 0 16 0 8 0 251258744 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12524/tid=12531] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12531/stat : 12531 (java) S 12522 12524 11775 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 251258744 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12524/tid=12532] ppid=12522 vsize=915744 CPUtime=0
/proc/12524/task/12532/stat : 12532 (java) S 12522 12524 11775 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 251258744 937721856 19164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 915744
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2404.91
CPU time (s): 2400.13
CPU user time (s): 2399.18
CPU system time (s): 0.950855
CPU usage (%): 99.801
Max. virtual memory (cumulated for all children) (KiB): 915800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.18
system time used= 0.950855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19470
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= 50537
involuntary context switches= 85655
runsolver used 2.70459 s user time and 7.97579 s system time
The end
Begin job on node5 on Fri Jan 19 17:07:23 UTC 2007
IDJOB= 275751
IDBENCH= 4662
IDSOLVER= 69
FILE ID= node5/275751-1169226443
PBS_JOBID= 3588949
Free space on /tmp= 66558 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/46s-smv.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275751-1169226443/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-275751-1169226443 -o ROOT/results/node5/solver-275751-1169226443 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275751-1169226443/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c67e75c3854f587fdae15b47c6c9ccf0
RANDOM SEED= 306317298
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.240
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.240
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: 1003600 kB
Buffers: 60452 kB
Cached: 671228 kB
SwapCached: 0 kB
Active: 410184 kB
Inactive: 564128 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1003600 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2240 kB
Writeback: 0 kB
Mapped: 271688 kB
Slab: 62284 kB
Committed_AS: 7575136 kB
PageTables: 2600 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 node5 on Fri Jan 19 17:47:28 UTC 2007