0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/282953-1169324344/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.44 nbVariables=450 nbDomainTypes=1 minDomainSize=3 maxDomainSize=3
0.44 => wckTime=0.149 cpuTime=0.11 mem=7M885
0.44
0.44 relations being loaded...
0.44
0.44 constraints being loaded...
0.72 nbConstraints=5714 nbRelationTypes=1 nbExtensionStructures=1 nbSharedExtensionStructures=5713
0.72 nbConflictsStructures=1 nbSharedConflictsStructures=5713 nbSharedBinaryRepresentations=3 maxDegree=42
0.72 maxArity=2
0.72 => wckTime=0.432 cpuTime=0.3 mem=23M520
0.80
0.80 solver LocalSearchSolver being built...
0.84 => wckTime=0.551 cpuTime=0.35 mem=8M490
0.85
0.85 s SATISFIABLE
0.85 o 3797
0.85 c 1917
0.86 o 3805
0.86 c 1909
0.86 o 3817
0.86 c 1897
0.86 o 3826
0.86 c 1888
0.86 o 3834
0.86 c 1880
0.87 o 3841
0.87 c 1873
0.87 o 3851
0.87 c 1863
0.87 o 3861
0.87 c 1853
0.87 o 3870
0.87 c 1844
0.87 o 3879
0.87 c 1835
0.87 o 3887
0.87 c 1827
0.87 o 3894
0.87 c 1820
0.87 o 3901
0.87 c 1813
0.87 o 3907
0.87 c 1807
0.88 o 3913
0.88 c 1801
0.88 o 3917
0.88 c 1797
0.88 o 3922
0.88 c 1792
0.88 o 3931
0.88 c 1783
0.88 o 3939
0.88 c 1775
0.88 o 3946
0.88 c 1768
0.88 o 3951
0.88 c 1763
0.88 o 3952
0.88 c 1762
0.88 o 3956
0.88 c 1758
0.89 o 3958
0.89 c 1756
0.89 o 3962
0.89 c 1752
0.89 o 3970
0.89 c 1744
0.89 o 3975
0.89 c 1739
0.89 o 3981
0.89 c 1733
0.89 o 3984
0.89 c 1730
0.89 o 3987
0.89 c 1727
0.89 o 3990
0.89 c 1724
0.89 o 3994
0.89 c 1720
0.89 o 4001
0.89 c 1713
0.89 o 4006
0.89 c 1708
0.89 o 4010
0.89 c 1704
0.89 o 4013
0.89 c 1701
0.89 o 4014
0.89 c 1700
0.90 o 4016
0.90 c 1698
0.90 o 4026
0.90 c 1688
0.90 o 4032
0.90 c 1682
0.90 o 4041
0.90 c 1673
0.90 o 4042
0.90 c 1672
0.90 o 4048
0.90 c 1666
0.90 o 4052
0.90 c 1662
0.90 o 4060
0.90 c 1654
0.90 o 4063
0.90 c 1651
0.90 o 4069
0.90 c 1645
0.90 o 4074
0.90 c 1640
0.90 o 4079
0.90 c 1635
0.91 o 4083
0.91 c 1631
0.91 o 4087
0.91 c 1627
0.91 o 4091
0.91 c 1623
0.91 o 4092
0.91 c 1622
0.91 o 4094
0.91 c 1620
0.91 o 4101
0.91 c 1613
0.91 o 4103
0.91 c 1611
0.91 o 4107
0.91 c 1607
0.91 o 4110
0.91 c 1604
0.91 o 4118
0.91 c 1596
0.91 o 4123
0.91 c 1591
0.91 o 4126
0.91 c 1588
0.91 o 4130
0.91 c 1584
0.92 o 4134
0.92 c 1580
0.92 o 4139
0.92 c 1575
0.92 o 4143
0.92 c 1571
0.92 o 4145
0.92 c 1569
0.92 o 4147
0.92 c 1567
0.92 o 4152
0.92 c 1562
0.92 o 4156
0.92 c 1558
0.92 o 4158
0.92 c 1556
0.92 o 4160
0.92 c 1554
0.92 o 4163
0.92 c 1551
0.92 o 4167
0.92 c 1547
0.92 o 4176
0.92 c 1538
0.93 o 4178
0.93 c 1536
0.93 o 4179
0.93 c 1535
0.93 o 4186
0.93 c 1528
0.93 o 4189
0.93 c 1525
0.93 o 4194
0.93 c 1520
0.93 o 4198
0.93 c 1516
0.93 o 4199
0.93 c 1515
0.93 o 4208
0.93 c 1506
0.93 o 4212
0.93 c 1502
0.93 o 4215
0.93 c 1499
0.93 o 4218
0.93 c 1496
0.94 o 4221
0.94 c 1493
0.94 o 4224
0.94 c 1490
0.94 o 4227
0.94 c 1487
0.94 o 4229
0.94 c 1485
0.94 o 4235
0.94 c 1479
0.94 o 4237
0.94 c 1477
0.94 o 4241
0.94 c 1473
0.94 o 4246
0.94 c 1468
0.94 o 4252
0.94 c 1462
0.94 o 4255
0.94 c 1459
0.95 o 4256
0.95 c 1458
0.95 o 4259
0.95 c 1455
0.95 o 4264
0.95 c 1450
0.95 o 4265
0.95 c 1449
0.95 o 4270
0.95 c 1444
0.95 o 4276
0.95 c 1438
0.95 o 4277
0.95 c 1437
0.95 o 4278
0.95 c 1436
0.95 o 4280
0.95 c 1434
0.96 o 4281
0.96 c 1433
0.96 o 4284
0.96 c 1430
0.96 o 4285
0.96 c 1429
0.96 o 4289
0.96 c 1425
0.96 o 4291
0.96 c 1423
0.96 o 4296
0.96 c 1418
0.96 o 4297
0.96 c 1417
0.96 o 4303
0.96 c 1411
0.96 o 4304
0.96 c 1410
0.96 o 4305
0.97 c 1409
0.97 o 4311
0.97 c 1403
0.97 o 4316
0.97 c 1398
0.97 o 4323
0.97 c 1391
0.97 o 4324
0.97 c 1390
0.97 o 4329
0.97 c 1385
0.97 o 4330
0.97 c 1384
0.97 o 4332
0.97 c 1382
0.97 o 4336
0.97 c 1378
0.98 o 4337
0.98 c 1377
0.98 o 4338
0.98 c 1376
0.98 o 4339
0.98 c 1375
0.98 o 4343
0.98 c 1371
1.00 o 4344
1.00 c 1370
1.06 o 4347
1.06 c 1367
1.06 o 4352
1.06 c 1362
1.06 o 4353
1.06 c 1361
1.06 o 4356
1.06 c 1358
1.06 o 4357
1.06 c 1357
1.06 o 4360
1.06 c 1354
1.07 o 4361
1.07 c 1353
1.09 o 4362
1.09 c 1352
1.09 o 4366
1.09 c 1348
1.09 o 4368
1.09 c 1346
1.10 o 4370
1.10 c 1344
1.10 o 4371
1.10 c 1343
1.10 o 4374
1.10 c 1340
1.12 o 4376
1.12 c 1338
1.13 o 4377
1.13 c 1337
1.13 o 4379
1.13 c 1335
1.13 o 4384
1.13 c 1330
1.13 o 4387
1.13 c 1327
1.14 o 4388
1.14 c 1326
1.14 o 4392
1.14 c 1322
1.14 o 4394
1.14 c 1320
1.14 o 4396
1.14 c 1318
1.15 o 4397
1.15 c 1317
1.16 o 4400
1.16 c 1314
1.19 o 4402
1.19 c 1312
1.19 o 4403
1.19 c 1311
1.19 o 4405
1.19 c 1309
1.19 o 4407
1.19 c 1307
1.20 o 4408
1.20 c 1306
1.20 o 4411
1.20 c 1303
1.21 o 4412
1.21 c 1302
1.21 o 4413
1.21 c 1301
1.22 o 4415
1.22 c 1299
1.22 o 4417
1.22 c 1297
1.22 o 4422
1.22 c 1292
1.22 o 4428
1.22 c 1286
1.23 o 4430
1.23 c 1284
1.23 o 4431
1.23 c 1283
1.23 o 4433
1.23 c 1281
1.24 o 4434
1.24 c 1280
1.24 o 4437
1.24 c 1277
1.25 o 4439
1.25 c 1275
1.25 o 4442
1.25 c 1272
1.26 o 4445
1.26 c 1269
1.26 o 4448
1.26 c 1266
1.26 o 4449
1.26 c 1265
1.27 o 4451
1.27 c 1263
1.27 o 4456
1.27 c 1258
1.27 o 4458
1.27 c 1256
1.28 o 4459
1.28 c 1255
1.29 o 4461
1.29 c 1253
1.30 o 4462
1.30 c 1252
1.30 o 4463
1.30 c 1251
1.33 o 4467
1.33 c 1247
1.33 o 4468
1.33 c 1246
1.33 o 4472
1.33 c 1242
1.34 o 4473
1.34 c 1241
1.34 o 4474
1.34 c 1240
1.34 o 4475
1.34 c 1239
1.36 o 4476
1.36 c 1238
1.36 o 4477
1.36 c 1237
1.36 o 4481
1.36 c 1233
1.37 o 4482
1.37 c 1232
1.37 o 4485
1.37 c 1229
1.37 o 4486
1.37 c 1228
1.38 o 4489
1.38 c 1225
1.38 o 4490
1.38 c 1224
1.39 o 4495
1.39 c 1219
1.39 o 4497
1.39 c 1217
1.39 o 4498
1.39 c 1216
1.40 o 4501
1.40 c 1213
1.42 o 4503
1.42 c 1211
1.42 o 4504
1.42 c 1210
1.43 o 4505
1.43 c 1209
1.43 o 4507
1.43 c 1207
1.43 o 4509
1.43 c 1205
1.44 o 4510
1.44 c 1204
1.44 o 4511
1.44 c 1203
1.45 o 4513
1.45 c 1201
1.46 o 4515
1.46 c 1199
1.48 o 4516
1.48 c 1198
1.48 o 4519
1.48 c 1195
1.49 o 4520
1.49 c 1194
1.52 o 4522
1.52 c 1192
1.53 o 4524
1.53 c 1190
1.53 o 4528
1.53 c 1186
1.53 o 4529
1.53 c 1185
1.54 o 4533
1.54 c 1181
1.54 o 4534
1.54 c 1180
1.55 o 4536
1.55 c 1178
1.55 o 4537
1.55 c 1177
1.55 o 4538
1.55 c 1176
1.56 o 4540
1.56 c 1174
1.56 o 4542
1.56 c 1172
1.57 o 4544
1.57 c 1170
1.58 o 4550
1.58 c 1164
1.58 o 4551
1.58 c 1163
1.58 o 4556
1.58 c 1158
1.58 o 4560
1.58 c 1154
1.58 o 4561
1.58 c 1153
1.58 o 4566
1.58 c 1148
1.59 o 4571
1.59 c 1143
1.59 o 4572
1.59 c 1142
1.59 o 4574
1.59 c 1140
1.59 o 4576
1.59 c 1138
1.60 o 4581
1.60 c 1133
1.64 o 4583
1.64 c 1131
1.64 o 4584
1.64 c 1130
1.69 o 4587
1.69 c 1127
1.70 o 4589
1.70 c 1125
1.70 o 4591
1.70 c 1123
1.71 o 4597
1.71 c 1117
1.71 o 4603
1.71 c 1111
4.14 o 4605
4.14 c 1109
4.15 o 4607
4.15 c 1107
4.16 o 4608
4.16 c 1106
4.16 o 4610
4.16 c 1104
4.16 o 4611
4.16 c 1103
4.56 o 4612
4.56 c 1102
4.96 o 4613
4.96 c 1101
4.98 o 4614
4.98 c 1100
4.98 o 4615
4.99 c 1099
4.99 o 4617
4.99 c 1097
4.99 o 4619
4.99 c 1095
5.01 o 4621
5.01 c 1093
5.01 o 4624
5.01 c 1090
5.01 o 4625
5.01 c 1089
5.02 o 4626
5.02 c 1088
5.02 o 4627
5.02 c 1087
5.02 o 4629
5.02 c 1085
5.04 o 4630
5.04 c 1084
5.05 o 4632
5.05 c 1082
5.05 o 4634
5.05 c 1080
5.05 o 4635
5.05 c 1079
5.07 o 4636
5.07 c 1078
5.07 o 4637
5.07 c 1077
5.08 o 4639
5.08 c 1075
5.08 o 4640
5.08 c 1074
5.08 o 4641
5.08 c 1073
5.09 o 4642
5.09 c 1072
5.11 o 4643
5.11 c 1071
5.12 o 4645
5.12 c 1069
5.12 o 4649
5.12 c 1065
5.40 o 4650
5.40 c 1064
5.41 o 4651
5.41 c 1063
5.41 o 4654
5.41 c 1060
5.42 o 4655
5.42 c 1059
5.46 o 4656
5.46 c 1058
5.46 o 4661
5.46 c 1053
5.49 o 4662
5.49 c 1052
5.49 o 4665
5.49 c 1049
5.50 o 4666
5.50 c 1048
5.54 o 4667
5.54 c 1047
5.54 o 4669
5.54 c 1045
5.54 o 4674
5.54 c 1040
5.55 o 4676
5.55 c 1038
5.56 o 4679
5.56 c 1035
5.56 o 4680
5.56 c 1034
5.57 o 4681
5.57 c 1033
5.57 o 4682
5.57 c 1032
5.57 o 4684
5.57 c 1030
5.57 o 4686
5.57 c 1028
5.92 o 4687
5.92 c 1027
5.92 o 4689
5.92 c 1025
5.93 o 4690
5.93 c 1024
5.93 o 4691
5.93 c 1023
5.94 o 4694
5.94 c 1020
5.94 o 4696
5.94 c 1018
5.94 o 4698
5.94 c 1016
5.95 o 4699
5.95 c 1015
5.96 o 4701
5.96 c 1013
5.97 o 4702
5.97 c 1012
5.97 o 4705
5.97 c 1009
5.97 o 4706
5.97 c 1008
5.99 o 4707
5.99 c 1007
5.99 o 4709
5.99 c 1005
10.61 o 4711
10.61 c 1003
10.61 o 4712
10.61 c 1002
10.62 o 4714
10.62 c 1000
10.62 o 4716
10.62 c 998
10.63 o 4719
10.63 c 995
10.63 o 4720
10.63 c 994
10.64 o 4721
10.64 c 993
10.64 o 4722
10.64 c 992
10.65 o 4723
10.65 c 991
10.65 o 4725
10.65 c 989
10.66 o 4726
10.66 c 988
10.66 o 4728
10.66 c 986
10.69 o 4729
10.69 c 985
10.70 o 4730
10.70 c 984
10.71 o 4732
10.71 c 982
10.73 o 4733
10.73 c 981
10.74 o 4735
10.74 c 979
10.74 o 4737
10.74 c 977
10.76 o 4738
10.76 c 976
10.76 o 4740
10.76 c 974
10.76 o 4741
10.76 c 973
26.19
26.19 search
26.19 run=0 nbConstraintChecks=102524703 nbAssignments=10000
26.19 => wckTime=25.355 cpuTime=25.25 mem=8M490
26.90 o 4742
26.90 c 972
26.96 o 4743
26.96 c 971
26.96 o 4744
26.96 c 970
27.00 o 4745
27.00 c 969
27.05 o 4746
27.05 c 968
27.06 o 4747
27.06 c 967
27.22 o 4749
27.23 c 965
39.40 o 4750
39.40 c 964
39.41 o 4752
39.41 c 962
39.43 o 4754
39.43 c 960
39.44 o 4756
39.44 c 958
39.44 o 4757
39.44 c 957
39.45 o 4758
39.45 c 956
39.45 o 4760
39.45 c 954
39.46 o 4761
39.46 c 953
39.47 o 4762
39.47 c 952
55.12
55.12 search
55.12 run=1 nbConstraintChecks=224035683 nbAssignments=20000
55.12 => wckTime=54.282 cpuTime=54.15 mem=8M490
69.59
69.59 search
69.59 run=2 nbConstraintChecks=281817824 nbAssignments=26266
69.59 => wckTime=68.752 cpuTime=68.53 mem=8M490
69.59
69.59 global
69.59 nbConstraintChecks=281817824 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
69.59 solvingWckTime=68.748 solvingCpuTime=68.53 expiredTime=no totalExploration=no nbFoundSolutions=0
69.59 globalCpuTime=68.92
69.59 => wckTime=69.302 cpuTime=68.88 mem=8M490
69.59
69.59 solver IterativeSystematicSolver being built...
69.74 => wckTime=69.453 cpuTime=68.99 mem=21M299
69.77
69.77 preprocessing
69.77 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
69.77 detectedInconsistency=no
69.77 => wckTime=0.029 cpuTime=0.02 mem=21M299
71.25
71.25 search
71.25 run=0 nbConstraintChecks=2469361 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=277
71.25 nbFailedAssignments=17 nbBacktracks=10 nbVisitedNodes=305 nbRestartNogoods=0
71.25 => wckTime=1.503 cpuTime=1.47 mem=21M299
73.05
73.05 search
73.05 run=1 nbConstraintChecks=5249554 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=570
73.05 nbFailedAssignments=40 nbBacktracks=25 nbVisitedNodes=636 nbRestartNogoods=3
73.05 => wckTime=3.303 cpuTime=3.24 mem=21M299
75.23
75.23 search
75.23 run=2 nbConstraintChecks=8127378 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=858
75.23 nbFailedAssignments=70 nbBacktracks=47 nbVisitedNodes=976 nbRestartNogoods=6
75.23 => wckTime=5.488 cpuTime=5.41 mem=21M299
77.81
77.81 search
77.82 run=3 nbConstraintChecks=11768375 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1190
77.82 nbFailedAssignments=117 nbBacktracks=80 nbVisitedNodes=1388 nbRestartNogoods=9
77.82 => wckTime=8.07 cpuTime=7.98 mem=21M299
81.82
81.82 search
81.82 run=4 nbConstraintChecks=16840885 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1575
81.82 nbFailedAssignments=213 nbBacktracks=130 nbVisitedNodes=1919 nbRestartNogoods=16
81.82 => wckTime=12.078 cpuTime=11.95 mem=21M299
87.88
87.88 search
87.88 run=5 nbConstraintChecks=23346508 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2027
87.88 nbFailedAssignments=340 nbBacktracks=205 nbVisitedNodes=2573 nbRestartNogoods=21
87.88 => wckTime=18.133 cpuTime=17.98 mem=21M299
94.49
94.49 search
94.49 run=6 nbConstraintChecks=30944785 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2527
94.49 nbFailedAssignments=475 nbBacktracks=318 nbVisitedNodes=3321 nbRestartNogoods=29
94.49 => wckTime=24.748 cpuTime=24.56 mem=21M299
103.35
103.35 search
103.35 run=7 nbConstraintChecks=41885638 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3181
103.35 nbFailedAssignments=715 nbBacktracks=488 nbVisitedNodes=4385 nbRestartNogoods=35
103.35 => wckTime=33.603 cpuTime=33.36 mem=22M274
118.99
118.99 search
118.99 run=8 nbConstraintChecks=59923621 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4144
118.99 nbFailedAssignments=1181 nbBacktracks=744 nbVisitedNodes=6070 nbRestartNogoods=40
118.99 => wckTime=49.251 cpuTime=48.91 mem=22M274
135.45
135.45 search
135.45 run=9 nbConstraintChecks=86118337 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5481
135.45 nbFailedAssignments=1881 nbBacktracks=1128 nbVisitedNodes=8491 nbRestartNogoods=53
135.45 => wckTime=65.71 cpuTime=65.29 mem=22M274
157.74
157.74 search
157.74 run=10 nbConstraintChecks=117749549 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7061
157.74 nbFailedAssignments=2628 nbBacktracks=1704 nbVisitedNodes=11394 nbRestartNogoods=60
157.74 => wckTime=87.997 cpuTime=87.45 mem=22M274
206.70
206.70 search
206.70 run=11 nbConstraintChecks=183397743 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10148
206.70 nbFailedAssignments=4602 nbBacktracks=2568 nbVisitedNodes=17319 nbRestartNogoods=64
206.70 => wckTime=136.958 cpuTime=136.16 mem=22M274
269.34
269.34 search
269.34 run=12 nbConstraintChecks=263151619 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13850
269.34 nbFailedAssignments=6757 nbBacktracks=3865 nbVisitedNodes=24473 nbRestartNogoods=74
269.34 => wckTime=199.6 cpuTime=198.5 mem=22M274
326.41
326.41 search
326.41 run=13 nbConstraintChecks=355507032 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18211
326.41 nbFailedAssignments=8927 nbBacktracks=5811 nbVisitedNodes=32950 nbRestartNogoods=83
326.41 => wckTime=256.668 cpuTime=255.27 mem=22M274
445.27
445.27 search
445.27 run=14 nbConstraintChecks=527267498 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26208
445.27 nbFailedAssignments=13751 nbBacktracks=8730 nbVisitedNodes=48690 nbRestartNogoods=93
445.27 => wckTime=375.531 cpuTime=373.52 mem=22M274
620.13
620.13 search
620.13 run=15 nbConstraintChecks=788522749 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38109
620.13 nbFailedAssignments=21031 nbBacktracks=13108 nbVisitedNodes=72249 nbRestartNogoods=101
620.13 => wckTime=550.39 cpuTime=547.48 mem=22M274
950.17
950.18 search
950.18 run=16 nbConstraintChecks=1269063319 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=59356
950.18 nbFailedAssignments=35456 nbBacktracks=19676 nbVisitedNodes=114489 nbRestartNogoods=113
950.18 => wckTime=880.432 cpuTime=875.79 mem=22M274
1479.19
1479.19 search
1479.19 run=17 nbConstraintChecks=1865200545 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=85817
1479.19 nbFailedAssignments=51820 nbBacktracks=29528 nbVisitedNodes=167166 nbRestartNogoods=123
1479.19 => wckTime=1409.446 cpuTime=1402.08 mem=22M274
2158.33
2158.33 search
2158.33 run=18 nbConstraintChecks=2826476745 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=129201
2158.33 nbFailedAssignments=80186 nbBacktracks=44306 nbVisitedNodes=253694 nbRestartNogoods=134
2158.33 => wckTime=2088.583 cpuTime=2077.68 mem=22M274
2412.35 v 0 1 1 2 2 0 1 1 2 2 0 0 2 1 2 0 0 1 1 2 0 0 0 2 2 0 1 0 2 1 0 0 1 2 2 0 0 0 2 2 0 0 1 2 2 0 1 1 2 2 0 0 1 1 2 0 1 0 2 1 0 1 0 2 2 0 1 1 2 2 0 0 1 1 2 0 1 2 2 2 0 0 2 2 2 0 0 0 2 2 0 1 1 2 2 0 1 1 2 2 0 1 1 2 2 0 1 1 1 2 0 1 0 2 2 0 1 0 2 2 0 1 1 2 2 0 0 0 1 2 0 0 1 2 2 0 1 1 1 2 0 1 1 2 2 0 0 0 1 1 0 1 0 1 2 0 0 1 2 2 0 0 1 1 2 0 0 1 2 2 0 0 1 2 2 1 1 0 2 2 0 1 1 2 2 0 0 1 2 2 0 1 0 1 2 0 1 1 2 2 0 0 1 2 2 0 1 0 2 2 0 1 1 2 2 0 1 0 2 2 0 1 1 1 1 0 1 1 2 2 0 1 1 2 2 0 0 0 0 2 0 0 0 1 2 0 0 1 2 2 0 1 1 2 2 0 0 1 2 2 0 0 1 2 2 0 0 0 2 2 0 0 1 2 2 0 1 1 2 2 0 0 1 1 2 1 1 1 1 1 0 1 0 2 2 0 0 0 2 2 0 0 1 2 2 1 0 0 2 2 0 0 1 2 1 0 1 1 2 2 0 1 1 2 2 0 1 0 2 1 0 1 1 2 2 0 1 1 2 2 0 1 1 1 2 0 1 1 2 2 0 0 2 2 2 0 0 0 2 2 0 1 1 1 2 0 1 1 1 2 0 1 1 1 2 0 0 1 1 2 0 0 0 2 2 0 0 0 2 2 0 0 1 2 2 0 1 0 1 2 0 1 1 2 1 0 1 1 2 2 0 0 1 2 2 1 0 0 2 1 0 1 2 2 2 0 0 1 2 2 1 1 1 2 2 1 1 1 2 2 0 1 1 2 2 0 1 0 2 2
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node42/watcher-282953-1169324344 -o ROOT/results/node42/solver-282953-1169324344 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282953-1169324344/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.00 2.00 1.90 4/74 16405
/proc/meminfo: memFree=1293880/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=172 CPUtime=0
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 280833619 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 12407588 0 0 4096 0 0 0 0 17 0 0 0
/proc/16404/statm: 43 24 18 14 0 3 0
[startup+0.10719 s]
/proc/loadavg: 2.00 2.00 1.90 4/74 16405
/proc/meminfo: memFree=1293880/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=914988 CPUtime=0.08
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 3074 0 1 0 7 1 0 0 24 0 8 0 280833619 936947712 2820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228747 2820 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515234 s]
/proc/loadavg: 2.00 2.00 1.90 4/74 16405
/proc/meminfo: memFree=1293880/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915332 CPUtime=0.49
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 6674 0 1 0 46 3 0 0 25 0 8 0 280833619 937299968 6413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228833 6413 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33632 s]
/proc/loadavg: 2.08 2.02 1.91 3/81 16412
/proc/meminfo: memFree=1259008/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=1.3
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11390 0 1 0 120 10 0 0 25 0 8 0 280833619 937455616 11128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228871 11128 2474 14 0 215341 0
[pid=16404/tid=16406] ppid=16402 vsize=915484 CPUtime=0.06
/proc/16404/task/16406/stat : 16406 (java) S 16402 16404 15535 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 280833623 937455616 11128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 15535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280833624 937455616 11128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 15535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280833624 937455616 11128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 15535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280833627 937455616 11128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=915484 CPUtime=0.18
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 15535 0 -1 64 374 0 0 0 18 0 0 0 16 0 8 0 280833627 937455616 11128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=915488 CPUtime=0
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280833627 937459712 11128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=915488 CPUtime=0
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280833627 937459712 11128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915484
[startup+2.97351 s]
/proc/loadavg: 2.08 2.02 1.91 3/81 16412
/proc/meminfo: memFree=1258944/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=2.92
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11395 0 1 0 277 15 0 0 25 0 8 0 280833619 937455616 11132 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844326 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228871 11132 2476 14 0 215341 0
[pid=16404/tid=16406] ppid=16402 vsize=915484 CPUtime=0.06
/proc/16404/task/16406/stat : 16406 (java) S 16402 16404 15535 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 280833623 937455616 11132 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 15535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280833624 937455616 11132 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 15535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280833624 937455616 11132 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 15535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280833627 937455616 11132 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=915484 CPUtime=0.19
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 15535 0 -1 64 378 0 0 0 19 0 0 0 16 0 8 0 280833627 937455616 11132 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280833627 937455616 11132 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280833627 937455616 11132 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915484
[startup+6.17964 s]
/proc/loadavg: 2.08 2.02 1.91 4/81 16412
/proc/meminfo: memFree=1258944/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=6.12
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11397 0 1 0 586 26 0 0 25 0 8 0 280833619 937455616 11134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228871 11134 2476 14 0 215341 0
[pid=16404/tid=16406] ppid=16402 vsize=915484 CPUtime=0.06
/proc/16404/task/16406/stat : 16406 (java) S 16402 16404 15535 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 280833623 937455616 11134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 15535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280833624 937455616 11134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 15535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280833624 937455616 11134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 15535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280833627 937455616 11134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=915484 CPUtime=0.19
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 15535 0 -1 64 380 0 0 0 19 0 0 0 16 0 8 0 280833627 937455616 11134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280833627 937455616 11134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280833627 937455616 11134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915484
[startup+12.6496 s]
/proc/loadavg: 2.07 2.02 1.91 3/81 16412
/proc/meminfo: memFree=1258944/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=12.58
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11398 0 1 0 1215 43 0 0 25 0 8 0 280833619 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853686 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228871 11135 2476 14 0 215341 0
[pid=16404/tid=16406] ppid=16402 vsize=915484 CPUtime=0.06
/proc/16404/task/16406/stat : 16406 (java) S 16402 16404 15535 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 280833623 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 15535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280833624 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 15535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280833624 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 15535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280833627 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=915484 CPUtime=0.19
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 15535 0 -1 64 381 0 0 0 19 0 0 0 16 0 8 0 280833627 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280833627 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280833627 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915484
[startup+25.511 s]
/proc/loadavg: 2.06 2.01 1.91 3/81 16412
/proc/meminfo: memFree=1258952/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=25.42
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11398 0 1 0 2464 78 0 0 25 0 8 0 280833619 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844324 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228871 11135 2476 14 0 215341 0
[pid=16404/tid=16406] ppid=16402 vsize=915484 CPUtime=0.06
/proc/16404/task/16406/stat : 16406 (java) S 16402 16404 15535 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 280833623 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 15535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280833624 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 15535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280833624 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 15535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280833627 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=915484 CPUtime=0.19
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 15535 0 -1 64 381 0 0 0 19 0 0 0 16 0 8 0 280833627 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280833627 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280833627 937455616 11135 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 915484
[startup+51.1228 s]
/proc/loadavg: 2.10 2.03 1.91 3/81 16412
/proc/meminfo: memFree=1259016/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=51.02
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11402 0 1 0 4955 147 0 0 25 0 8 0 280833619 937455616 11139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853686 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228871 11139 2476 14 0 215341 0
[pid=16404/tid=16406] ppid=16402 vsize=915484 CPUtime=0.06
/proc/16404/task/16406/stat : 16406 (java) S 16402 16404 15535 0 -1 64 904 0 0 0 6 0 0 0 16 0 8 0 280833623 937455616 11139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 15535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280833624 937455616 11139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 15535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280833624 937455616 11139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 15535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280833627 937455616 11139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=915484 CPUtime=0.2
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 15535 0 -1 64 385 0 0 0 20 0 0 0 15 0 8 0 280833627 937455616 11139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280833627 937455616 11139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280833627 937455616 11139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 915484
[startup+102.36 s]
/proc/loadavg: 2.04 2.02 1.91 3/81 16412
/proc/meminfo: memFree=1258760/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=102
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11573 0 1 0 9991 209 0 0 25 0 8 0 280833619 937455616 11298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918585 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228871 11298 2528 14 0 215341 0
[pid=16404/tid=16406] ppid=16402 vsize=915484 CPUtime=0.06
/proc/16404/task/16406/stat : 16406 (java) S 16402 16404 15535 0 -1 64 905 0 0 0 6 0 0 0 16 0 8 0 280833623 937455616 11298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 15535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280833624 937455616 11298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 15535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280833624 937455616 11298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 15535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280833627 937455616 11298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=915484 CPUtime=0.32
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 15535 0 -1 64 453 0 0 0 31 1 0 0 16 0 8 0 280833627 937455616 11298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280833627 937455616 11298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280833627 937455616 11298 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102
Current children cumulated vsize (KiB) 915484
[startup+162.441 s]
/proc/loadavg: 2.01 2.02 1.91 3/81 16414
/proc/meminfo: memFree=1258568/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=161.76
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11580 0 1 0 15967 209 0 0 25 0 8 0 280833619 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074077312 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2014.61
Current children cumulated vsize (KiB) 915484
[startup+2084.98 s]
/proc/loadavg: 2.00 2.00 1.96 3/88 16496
/proc/meminfo: memFree=1253904/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=2074.35
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11580 0 1 0 207213 222 0 0 25 0 8 0 280833619 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074027271 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228871 11302 2528 14 0 215341 0
[pid=16404/tid=16406] ppid=16402 vsize=915484 CPUtime=0.06
/proc/16404/task/16406/stat : 16406 (java) S 16402 16404 15535 0 -1 64 905 0 0 0 6 0 0 0 16 0 8 0 280833623 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 15535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280833624 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 15535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280833624 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 15535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=915484 CPUtime=0.33
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 15535 0 -1 64 459 0 0 0 32 1 0 0 16 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=915484 CPUtime=0.03
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 1 2 0 0 15 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2074.35
Current children cumulated vsize (KiB) 915484
[startup+2145.06 s]
/proc/loadavg: 2.00 2.00 1.96 3/88 16496
/proc/meminfo: memFree=1253904/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=2134.14
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11580 0 1 0 213191 223 0 0 25 0 8 0 280833619 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074043184 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228871 11302 2528 14 0 215341 0
[pid=16404/tid=16406] ppid=16402 vsize=915484 CPUtime=0.06
/proc/16404/task/16406/stat : 16406 (java) S 16402 16404 15535 0 -1 64 905 0 0 0 6 0 0 0 16 0 8 0 280833623 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 15535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280833624 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 15535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280833624 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 15535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=915484 CPUtime=0.33
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 15535 0 -1 64 459 0 0 0 32 1 0 0 16 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=915484 CPUtime=0.03
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 1 2 0 0 15 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2134.14
Current children cumulated vsize (KiB) 915484
[startup+2205.15 s]
/proc/loadavg: 2.00 2.00 1.96 3/88 16496
/proc/meminfo: memFree=1253840/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=2193.92
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11580 0 1 0 219169 223 0 0 25 0 8 0 280833619 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073999732 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228871 11302 2528 14 0 215341 0
[pid=16404/tid=16406] ppid=16402 vsize=915484 CPUtime=0.06
/proc/16404/task/16406/stat : 16406 (java) S 16402 16404 15535 0 -1 64 905 0 0 0 6 0 0 0 16 0 8 0 280833623 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 15535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280833624 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 15535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280833624 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 15535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=915484 CPUtime=0.33
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 15535 0 -1 64 459 0 0 0 32 1 0 0 16 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=915484 CPUtime=0.03
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 1 2 0 0 15 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2193.92
Current children cumulated vsize (KiB) 915484
[startup+2265.22 s]
/proc/loadavg: 2.07 2.03 1.97 3/88 16496
/proc/meminfo: memFree=1253904/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=2253.67
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11580 0 1 0 225144 223 0 0 25 0 8 0 280833619 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074043231 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228871 11302 2528 14 0 215341 0
[pid=16404/tid=16406] ppid=16402 vsize=915484 CPUtime=0.06
/proc/16404/task/16406/stat : 16406 (java) S 16402 16404 15535 0 -1 64 905 0 0 0 6 0 0 0 16 0 8 0 280833623 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 15535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280833624 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 15535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280833624 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 15535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=915484 CPUtime=0.33
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 15535 0 -1 64 459 0 0 0 32 1 0 0 16 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=915484 CPUtime=0.03
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 1 2 0 0 15 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2253.67
Current children cumulated vsize (KiB) 915484
[startup+2325.3 s]
/proc/loadavg: 2.11 2.05 1.98 3/88 16496
/proc/meminfo: memFree=1253840/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=2313.45
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11580 0 1 0 231121 224 0 0 25 0 8 0 280833619 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073870085 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228871 11302 2528 14 0 215341 0
[pid=16404/tid=16406] ppid=16402 vsize=915484 CPUtime=0.06
/proc/16404/task/16406/stat : 16406 (java) S 16402 16404 15535 0 -1 64 905 0 0 0 6 0 0 0 16 0 8 0 280833623 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 15535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280833624 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 15535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280833624 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 15535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=915484 CPUtime=0.33
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 15535 0 -1 64 459 0 0 0 32 1 0 0 16 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=915484 CPUtime=0.04
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 2 2 0 0 15 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2313.45
Current children cumulated vsize (KiB) 915484
[startup+2385.38 s]
/proc/loadavg: 2.07 2.05 1.98 3/88 16496
/proc/meminfo: memFree=1253840/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=2373.23
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11580 0 1 0 237099 224 0 0 25 0 8 0 280833619 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074043184 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228871 11302 2528 14 0 215341 0
[pid=16404/tid=16406] ppid=16402 vsize=915484 CPUtime=0.06
/proc/16404/task/16406/stat : 16406 (java) S 16402 16404 15535 0 -1 64 905 0 0 0 6 0 0 0 16 0 8 0 280833623 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 15535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280833624 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 15535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280833624 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 15535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=915484 CPUtime=0.33
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 15535 0 -1 64 459 0 0 0 32 1 0 0 16 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=915484 CPUtime=0.04
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 2 2 0 0 15 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2373.23
Current children cumulated vsize (KiB) 915484
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2412.34 s]
/proc/loadavg: 2.10 2.06 1.99 3/88 16496
/proc/meminfo: memFree=1253840/2055920 swapFree=4184856/4192956
[pid=16404] ppid=16402 vsize=915484 CPUtime=2400.04
/proc/16404/stat : 16404 (java) R 16402 16404 15535 0 -1 0 11580 0 1 0 239780 224 0 0 25 0 8 0 280833619 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918603 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16404/statm: 228871 11302 2528 14 0 215341 0
[pid=16404/tid=16406] ppid=16402 vsize=915484 CPUtime=0.06
/proc/16404/task/16406/stat : 16406 (java) S 16402 16404 15535 0 -1 64 905 0 0 0 6 0 0 0 16 0 8 0 280833623 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16407] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16407/stat : 16407 (java) S 16402 16404 15535 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280833624 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16408] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16408/stat : 16408 (java) S 16402 16404 15535 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280833624 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16409] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16409/stat : 16409 (java) S 16402 16404 15535 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16410] ppid=16402 vsize=915484 CPUtime=0.33
/proc/16404/task/16410/stat : 16410 (java) S 16402 16404 15535 0 -1 64 459 0 0 0 32 1 0 0 16 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16411] ppid=16402 vsize=915484 CPUtime=0
/proc/16404/task/16411/stat : 16411 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16404/tid=16412] ppid=16402 vsize=915484 CPUtime=0.04
/proc/16404/task/16412/stat : 16412 (java) S 16402 16404 15535 0 -1 64 0 0 0 0 2 2 0 0 15 0 8 0 280833627 937455616 11302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 915484
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2412.42
CPU time (s): 2400.11
CPU user time (s): 2397.86
CPU system time (s): 2.25366
CPU usage (%): 99.49
Max. virtual memory (cumulated for all children) (KiB): 915488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.86
system time used= 2.25366
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11599
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= 50309
involuntary context switches= 83644
runsolver used 3.15052 s user time and 6.97194 s system time
The end
Begin job on node42 on Sat Jan 20 20:19:04 UTC 2007
IDJOB= 282953
IDBENCH= 12969
IDSOLVER= 69
FILE ID= node42/282953-1169324344
PBS_JOBID= 3610437
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/coloring/le-450-5a-3-ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282953-1169324344/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-282953-1169324344 -o ROOT/results/node42/solver-282953-1169324344 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282953-1169324344/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9fdd938979bc7fe942d8a22c41b71010
RANDOM SEED= 512921731
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.229
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.229
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: 1294296 kB
Buffers: 50780 kB
Cached: 618628 kB
SwapCached: 2500 kB
Active: 137672 kB
Inactive: 548424 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1294296 kB
SwapTotal: 4192956 kB
SwapFree: 4184856 kB
Dirty: 2052 kB
Writeback: 0 kB
Mapped: 25480 kB
Slab: 60844 kB
Committed_AS: 5510220 kB
PageTables: 1792 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 node42 on Sat Jan 20 20:59:16 UTC 2007