0.36
0.36 Abscon 109 (November, 2006)
0.36
0.36 configuration
0.36 name=pfc.xml
0.40
0.40 instance
0.40 name=/tmp/evaluation/275730-1169226200/unknown.xml
0.43
0.43 domains being loaded...
0.44
0.44 variables being loaded...
0.57 nbVariables=870 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.57 => wckTime=0.202 cpuTime=0.14 mem=8M860
0.57
0.57 predicates being loaded...
0.57
0.57 constraints being loaded...
0.95 nbConstraints=1458 nbSingletonDomainVariables=208 nbConvertedConstraints=1213 nbConvertConstraintsChecks=457
0.95 nbExtensionStructures=9 nbSharedExtensionStructures=1204 nbConflictsStructures=90
0.95 nbSharedConflictsStructures=1368 nbSharedBinaryRepresentations=21 nbEvaluationManagers=81
0.95 nbSharedEvaluationManagers=164 maxDegree=26 maxArity=5
0.95 => wckTime=0.588 cpuTime=0.44 mem=17M637
1.01
1.01 solver LocalSearchSolver being built...
1.06 => wckTime=0.692 cpuTime=0.49 mem=6M680
1.07
1.07 s SATISFIABLE
1.07 o 1231
1.07 c 227
1.07 o 1234
1.07 c 224
1.07 o 1237
1.07 c 221
1.08 o 1240
1.08 c 218
1.08 o 1243
1.08 c 215
1.08 o 1246
1.08 c 212
1.08 o 1248
1.08 c 210
1.08 o 1250
1.08 c 208
1.08 o 1252
1.08 c 206
1.08 o 1254
1.08 c 204
1.08 o 1256
1.08 c 202
1.08 o 1258
1.08 c 200
1.09 o 1260
1.09 c 198
1.09 o 1262
1.09 c 196
1.09 o 1264
1.09 c 194
1.09 o 1266
1.09 c 192
1.09 o 1268
1.09 c 190
1.09 o 1270
1.09 c 188
1.09 o 1272
1.09 c 186
1.10 o 1274
1.10 c 184
1.10 o 1276
1.10 c 182
1.10 o 1278
1.10 c 180
1.10 o 1280
1.10 c 178
1.10 o 1282
1.10 c 176
1.10 o 1284
1.10 c 174
1.10 o 1286
1.10 c 172
1.10 o 1288
1.10 c 170
1.10 o 1290
1.10 c 168
1.10 o 1292
1.10 c 166
1.10 o 1293
1.10 c 165
1.10 o 1294
1.11 c 164
1.11 o 1295
1.11 c 163
1.11 o 1296
1.11 c 162
1.11 o 1297
1.11 c 161
1.11 o 1298
1.11 c 160
1.11 o 1299
1.11 c 159
1.11 o 1300
1.11 c 158
1.11 o 1301
1.11 c 157
1.11 o 1302
1.11 c 156
1.11 o 1303
1.11 c 155
1.11 o 1304
1.11 c 154
1.11 o 1305
1.11 c 153
1.11 o 1306
1.12 c 152
1.12 o 1307
1.12 c 151
1.12 o 1308
1.12 c 150
1.12 o 1309
1.12 c 149
1.12 o 1310
1.12 c 148
1.12 o 1311
1.12 c 147
1.12 o 1312
1.12 c 146
1.12 o 1313
1.12 c 145
1.12 o 1314
1.12 c 144
1.12 o 1315
1.12 c 143
1.12 o 1316
1.12 c 142
1.12 o 1317
1.13 c 141
1.13 o 1318
1.13 c 140
1.13 o 1319
1.13 c 139
1.13 o 1320
1.13 c 138
1.13 o 1321
1.13 c 137
1.13 o 1322
1.13 c 136
1.13 o 1323
1.13 c 135
1.13 o 1324
1.13 c 134
1.14 o 1325
1.14 c 133
1.14 o 1326
1.14 c 132
1.14 o 1327
1.14 c 131
1.14 o 1328
1.14 c 130
1.14 o 1329
1.14 c 129
1.14 o 1330
1.14 c 128
1.14 o 1331
1.14 c 127
1.14 o 1332
1.14 c 126
1.14 o 1333
1.14 c 125
1.14 o 1334
1.14 c 124
1.14 o 1335
1.14 c 123
1.14 o 1336
1.14 c 122
1.14 o 1337
1.14 c 121
1.14 o 1338
1.14 c 120
1.15 o 1339
1.15 c 119
1.15 o 1340
1.15 c 118
1.15 o 1341
1.15 c 117
1.15 o 1342
1.15 c 116
1.15 o 1343
1.15 c 115
1.15 o 1344
1.15 c 114
1.15 o 1345
1.15 c 113
1.15 o 1346
1.15 c 112
1.15 o 1347
1.15 c 111
1.15 o 1348
1.15 c 110
1.15 o 1349
1.15 c 109
1.15 o 1350
1.15 c 108
1.15 o 1351
1.15 c 107
1.15 o 1352
1.15 c 106
1.16 o 1353
1.16 c 105
1.16 o 1354
1.16 c 104
1.16 o 1355
1.16 c 103
1.16 o 1356
1.16 c 102
1.16 o 1357
1.16 c 101
1.16 o 1358
1.16 c 100
1.16 o 1359
1.16 c 99
1.16 o 1360
1.16 c 98
1.16 o 1361
1.16 c 97
1.16 o 1362
1.16 c 96
1.16 o 1363
1.16 c 95
1.16 o 1364
1.16 c 94
1.16 o 1365
1.16 c 93
1.16 o 1366
1.16 c 92
1.16 o 1367
1.16 c 91
1.17 o 1368
1.17 c 90
1.17 o 1369
1.17 c 89
1.17 o 1370
1.17 c 88
1.17 o 1371
1.17 c 87
1.17 o 1372
1.17 c 86
1.17 o 1373
1.17 c 85
1.17 o 1374
1.17 c 84
1.17 o 1375
1.17 c 83
1.17 o 1376
1.17 c 82
1.17 o 1377
1.17 c 81
1.17 o 1378
1.17 c 80
1.17 o 1379
1.17 c 79
1.17 o 1380
1.17 c 78
1.17 o 1381
1.17 c 77
1.17 o 1382
1.17 c 76
1.17 o 1383
1.18 c 75
1.18 o 1384
1.18 c 74
1.18 o 1385
1.18 c 73
1.18 o 1386
1.18 c 72
1.18 o 1387
1.18 c 71
1.18 o 1388
1.18 c 70
1.18 o 1389
1.18 c 69
1.19 o 1394
1.19 c 64
1.19 o 1395
1.19 c 63
1.19 o 1396
1.19 c 62
1.19 o 1397
1.19 c 61
1.19 o 1398
1.19 c 60
1.19 o 1399
1.19 c 59
1.20 o 1400
1.20 c 58
1.20 o 1401
1.20 c 57
1.20 o 1402
1.20 c 56
1.20 o 1403
1.20 c 55
1.20 o 1404
1.20 c 54
1.20 o 1405
1.20 c 53
1.20 o 1406
1.20 c 52
1.20 o 1407
1.20 c 51
1.20 o 1410
1.20 c 48
1.20 o 1411
1.20 c 47
1.20 o 1412
1.20 c 46
1.20 o 1413
1.20 c 45
1.20 o 1414
1.20 c 44
1.20 o 1415
1.20 c 43
1.20 o 1417
1.20 c 41
1.21 o 1418
1.21 c 40
1.21 o 1419
1.21 c 39
1.21 o 1420
1.21 c 38
1.21 o 1421
1.21 c 37
1.21 o 1422
1.21 c 36
1.21 o 1423
1.21 c 35
1.21 o 1424
1.21 c 34
1.21 o 1425
1.21 c 33
1.21 o 1426
1.21 c 32
1.21 o 1427
1.21 c 31
1.21 o 1428
1.21 c 30
1.21 o 1429
1.21 c 29
1.22 o 1430
1.22 c 28
1.22 o 1431
1.22 c 27
1.22 o 1432
1.22 c 26
1.22 o 1433
1.22 c 25
1.22 o 1434
1.22 c 24
1.22 o 1435
1.22 c 23
1.23 o 1436
1.23 c 22
1.23 o 1439
1.23 c 19
1.23 o 1440
1.23 c 18
1.23 o 1441
1.23 c 17
1.23 o 1442
1.23 c 16
1.25 o 1443
1.25 c 15
1.25 o 1444
1.25 c 14
1.25 o 1445
1.26 c 13
1.28 o 1446
1.28 c 12
1.29 o 1447
1.29 c 11
1.29 o 1448
1.29 c 10
1.30 o 1449
1.30 c 9
1.31 o 1450
1.31 c 8
1.31 o 1451
1.32 c 7
1.32 o 1452
1.32 c 6
1.35 o 1453
1.35 c 5
1.36 o 1454
1.36 c 4
1.38 o 1455
1.38 c 3
1.39 o 1456
1.39 c 2
1.39 o 1457
1.39 c 1
1.39
1.39 search
1.39 run=0 nbConstraintChecks=181448 nbAssignments=1551
1.39 => wckTime=0.334 cpuTime=0.28 mem=6M680
1.39
1.39 global
1.39 nbConstraintChecks=181448 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.39 solvingWckTime=0.33 solvingCpuTime=0.28 expiredTime=no totalExploration=no nbFoundSolutions=0
1.39 globalCpuTime=0.82
1.39 => wckTime=1.026 cpuTime=0.77 mem=6M680
1.39
1.39 solver IterativeSystematicSolver being built...
1.59 => wckTime=1.229 cpuTime=0.93 mem=22M529
1.62
1.62 preprocessing
1.62 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.62 detectedInconsistency=no
1.62 => wckTime=0.019 cpuTime=0.02 mem=22M529
2.01
2.01 search
2.01 run=0 nbConstraintChecks=125416 nbValidityChecks=25256 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.01 nbAssignments=177 nbFailedAssignments=6 nbBacktracks=17 nbVisitedNodes=184 nbRestartNogoods=0
2.01 => wckTime=0.418 cpuTime=0.39 mem=22M529
2.35
2.35 search
2.35 run=1 nbConstraintChecks=240860 nbValidityChecks=48816 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.35 nbAssignments=344 nbFailedAssignments=8 nbBacktracks=39 nbVisitedNodes=353 nbRestartNogoods=5
2.35 => wckTime=0.752 cpuTime=0.71 mem=22M529
2.69
2.69 search
2.69 run=2 nbConstraintChecks=350984 nbValidityChecks=70977 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.69 nbAssignments=505 nbFailedAssignments=10 nbBacktracks=62 nbVisitedNodes=517 nbRestartNogoods=6
2.69 => wckTime=1.095 cpuTime=1.04 mem=22M529
3.07
3.07 search
3.07 run=3 nbConstraintChecks=477331 nbValidityChecks=97174 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
3.07 nbAssignments=683 nbFailedAssignments=14 nbBacktracks=96 nbVisitedNodes=699 nbRestartNogoods=8
3.07 => wckTime=1.473 cpuTime=1.41 mem=22M529
3.44
3.44 search
3.44 run=4 nbConstraintChecks=600083 nbValidityChecks=122610 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
3.44 nbAssignments=857 nbFailedAssignments=17 nbBacktracks=248 nbVisitedNodes=877 nbRestartNogoods=9
3.44 => wckTime=1.843 cpuTime=1.77 mem=22M529
4.03
4.03 search
4.03 run=5 nbConstraintChecks=849259 nbValidityChecks=175587 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
4.03 nbAssignments=1131 nbFailedAssignments=21 nbBacktracks=324 nbVisitedNodes=1155 nbRestartNogoods=10
4.03 => wckTime=2.434 cpuTime=2.36 mem=22M529
4.69
4.69 search
4.69 run=6 nbConstraintChecks=1154004 nbValidityChecks=241383 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
4.69 nbAssignments=1455 nbFailedAssignments=26 nbBacktracks=459 nbVisitedNodes=1484 nbRestartNogoods=12
4.69 => wckTime=3.092 cpuTime=3.0 mem=22M529
5.45
5.45 search
5.45 run=7 nbConstraintChecks=1505256 nbValidityChecks=319509 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
5.45 nbAssignments=1830 nbFailedAssignments=33 nbBacktracks=637 nbVisitedNodes=1866 nbRestartNogoods=15
5.45 => wckTime=3.856 cpuTime=3.75 mem=22M529
6.40
6.40 search
6.40 run=8 nbConstraintChecks=1930890 nbValidityChecks=414993 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
6.40 nbAssignments=2267 nbFailedAssignments=47 nbBacktracks=901 nbVisitedNodes=2317 nbRestartNogoods=18
6.40 => wckTime=4.801 cpuTime=4.68 mem=22M529
7.84
7.84 search
7.84 run=9 nbConstraintChecks=2558020 nbValidityChecks=557073 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
7.84 nbAssignments=2849 nbFailedAssignments=82 nbBacktracks=1293 nbVisitedNodes=2934 nbRestartNogoods=20
7.84 => wckTime=6.245 cpuTime=6.12 mem=22M529
9.98
9.98 search
9.98 run=10 nbConstraintChecks=3426108 nbValidityChecks=754906 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
9.98 nbAssignments=3633 nbFailedAssignments=146 nbBacktracks=1882 nbVisitedNodes=3782 nbRestartNogoods=24
9.98 => wckTime=8.387 cpuTime=8.23 mem=22M529
13.51
13.51 search
13.51 run=11 nbConstraintChecks=4858935 nbValidityChecks=1091458 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
13.51 nbAssignments=4795 nbFailedAssignments=291 nbBacktracks=2746 nbVisitedNodes=5106 nbRestartNogoods=25
13.51 => wckTime=11.92 cpuTime=11.73 mem=22M529
18.02
18.02 search
18.02 run=12 nbConstraintChecks=6595124 nbValidityChecks=1477107 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
18.02 nbAssignments=6390 nbFailedAssignments=445 nbBacktracks=4043 nbVisitedNodes=6855 nbRestartNogoods=29
18.02 => wckTime=16.424 cpuTime=16.19 mem=22M529
24.55
24.55 search
24.55 run=13 nbConstraintChecks=9239340 nbValidityChecks=2079336 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
24.55 nbAssignments=8734 nbFailedAssignments=682 nbBacktracks=5994 nbVisitedNodes=9446 nbRestartNogoods=32
24.55 => wckTime=22.957 cpuTime=22.66 mem=22M529
34.58
34.58 search
34.58 run=14 nbConstraintChecks=12900894 nbValidityChecks=2855570 nbPropagations=0 nbRevisions=0
34.58 nbUselessRevisions=0 nbAssignments=12145 nbFailedAssignments=1046 nbBacktracks=8922 nbVisitedNodes=13251
34.58 nbRestartNogoods=39
34.58 => wckTime=32.982 cpuTime=32.59 mem=22M529
48.17
48.17 search
48.17 run=15 nbConstraintChecks=18879498 nbValidityChecks=4179170 nbPropagations=0 nbRevisions=0
48.17 nbUselessRevisions=0 nbAssignments=17178 nbFailedAssignments=1576 nbBacktracks=13393 nbVisitedNodes=18839
48.17 nbRestartNogoods=44
48.17 => wckTime=46.573 cpuTime=46.05 mem=22M529
71.72
71.72 search
71.72 run=16 nbConstraintChecks=28118689 nbValidityChecks=6320937 nbPropagations=0 nbRevisions=0
71.72 nbUselessRevisions=0 nbAssignments=24885 nbFailedAssignments=2581 nbBacktracks=19962 nbVisitedNodes=27659
71.72 nbRestartNogoods=45
71.72 => wckTime=70.124 cpuTime=69.38 mem=22M529
110.16
110.16 search
110.16 run=17 nbConstraintChecks=42375088 nbValidityChecks=9564588 nbPropagations=0 nbRevisions=0
110.16 nbUselessRevisions=0 nbAssignments=36650 nbFailedAssignments=4374 nbBacktracks=29818 nbVisitedNodes=41428
110.16 nbRestartNogoods=53
110.16 => wckTime=108.57 cpuTime=107.48 mem=22M529
168.39
168.39 search
168.39 run=18 nbConstraintChecks=62481026 nbValidityChecks=13903118 nbPropagations=0 nbRevisions=0
168.39 nbUselessRevisions=0 nbAssignments=54249 nbFailedAssignments=7049 nbBacktracks=44613 nbVisitedNodes=61984
168.39 nbRestartNogoods=59
168.39 => wckTime=166.794 cpuTime=165.17 mem=22M529
247.60
247.60 search
247.60 run=19 nbConstraintChecks=91023775 nbValidityChecks=20303813 nbPropagations=0 nbRevisions=0
247.60 nbUselessRevisions=0 nbAssignments=79046 nbFailedAssignments=9565 nbBacktracks=66793 nbVisitedNodes=89330
247.60 nbRestartNogoods=68
247.60 => wckTime=246.006 cpuTime=243.67 mem=22M529
351.54
351.54 search
351.54 run=20 nbConstraintChecks=129098725 nbValidityChecks=28777002 nbPropagations=0 nbRevisions=0
351.54 nbUselessRevisions=0 nbAssignments=115553 nbFailedAssignments=12664 nbBacktracks=100051 nbVisitedNodes=129024
351.54 nbRestartNogoods=73
351.54 => wckTime=349.942 cpuTime=346.66 mem=22M529
512.15
512.15 search
512.15 run=21 nbConstraintChecks=187220873 nbValidityChecks=42019725 nbPropagations=0 nbRevisions=0
512.15 nbUselessRevisions=0 nbAssignments=169947 nbFailedAssignments=17054 nbBacktracks=149934 nbVisitedNodes=187961
512.15 nbRestartNogoods=83
512.15 => wckTime=510.551 cpuTime=505.79 mem=22M529
764.69
764.69 search
764.69 run=22 nbConstraintChecks=277596204 nbValidityChecks=62793365 nbPropagations=0 nbRevisions=0
764.69 nbUselessRevisions=0 nbAssignments=252064 nbFailedAssignments=24223 nbBacktracks=224754 nbVisitedNodes=277427
764.69 nbRestartNogoods=89
764.69 => wckTime=763.097 cpuTime=756.04 mem=22M529
1161.69
1161.69 search
1161.69 run=23 nbConstraintChecks=418078530 nbValidityChecks=94277215 nbPropagations=0 nbRevisions=0
1161.69 nbUselessRevisions=0 nbAssignments=376479 nbFailedAssignments=36264 nbBacktracks=336986 nbVisitedNodes=414524
1161.69 nbRestartNogoods=96
1161.69 => wckTime=1160.092 cpuTime=1149.42 mem=22M529
1351.81
1351.81 search
1351.81 run=24 nbConstraintChecks=475905371 nbValidityChecks=106694268 nbPropagations=0 nbRevisions=0
1351.81 nbUselessRevisions=0 nbAssignments=438222 nbFailedAssignments=42273 nbBacktracks=392721 nbVisitedNodes=482534
1351.81 nbRestartNogoods=106
1351.81 => wckTime=1350.211 cpuTime=1337.8 mem=22M529
1351.81
1351.81 global
1351.81 nbConstraintChecks=475905371 nbValidityChecks=106694268 nbRestartNogoods=106 solvingWckTime=1350.212
1351.81 solvingCpuTime=1337.8 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=1338.78
1351.81 => wckTime=1351.442 cpuTime=1338.73 mem=22M529
1351.81
1351.81 s OPTIMUM FOUND
1351.81 v 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0
1351.81
1351.81 totalWckTime=1351.526 totalCpuTime=1338.79
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-275730-1169226200 -o ROOT/results/node4/solver-275730-1169226200 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275730-1169226200/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.87 1.99 1.99 5/93 25177
/proc/meminfo: memFree=1055472/2055920 swapFree=4182144/4192956
[pid=25176] ppid=25174 vsize=1784 CPUtime=0
/proc/25176/stat : 25176 (java) D 25174 25176 25108 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 271015602 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/25176/statm: 446 140 106 14 0 91 0
[startup+0.10766 s]
/proc/loadavg: 1.87 1.99 1.99 5/93 25177
/proc/meminfo: memFree=1055472/2055920 swapFree=4182144/4192956
[pid=25176] ppid=25174 vsize=907808 CPUtime=0.05
/proc/25176/stat : 25176 (java) R 25174 25176 25108 0 -1 0 2450 0 1 0 4 1 0 0 16 0 4 0 271015602 929595392 2197 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582917 0 4 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/25176/statm: 226952 2197 1213 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.516697 s]
/proc/loadavg: 1.87 1.99 1.99 5/93 25177
/proc/meminfo: memFree=1055472/2055920 swapFree=4182144/4192956
[pid=25176] ppid=25174 vsize=915332 CPUtime=0.45
/proc/25176/stat : 25176 (java) R 25174 25176 25108 0 -1 0 6265 0 1 0 42 3 0 0 18 0 8 0 271015602 937299968 6004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25176/statm: 228833 6004 2138 14 0 215303 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915332
[startup+1.33777 s]
/proc/loadavg: 1.88 1.99 1.99 3/100 25184
/proc/meminfo: memFree=1027832/2055920 swapFree=4182144/4192956
[pid=25176] ppid=25174 vsize=915456 CPUtime=1.25
/proc/25176/stat : 25176 (java) R 25174 25176 25108 0 -1 0 9590 0 1 0 107 18 0 0 24 0 8 0 271015602 937426944 9328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849416 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25176/statm: 228864 9328 2496 14 0 215334 0
[pid=25176/tid=25178] ppid=25174 vsize=915456 CPUtime=0.04
/proc/25176/task/25178/stat : 25178 (java) S 25174 25176 25108 0 -1 64 446 0 0 0 4 0 0 0 17 0 8 0 271015610 937426944 9328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25179] ppid=25174 vsize=915456 CPUtime=0
/proc/25176/task/25179/stat : 25179 (java) S 25174 25176 25108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271015610 937426944 9328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25180] ppid=25174 vsize=915456 CPUtime=0
/proc/25176/task/25180/stat : 25180 (java) S 25174 25176 25108 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271015610 937426944 9328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25181] ppid=25174 vsize=915456 CPUtime=0
/proc/25176/task/25181/stat : 25181 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271015614 937426944 9328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25182] ppid=25174 vsize=915456 CPUtime=0.22
/proc/25176/task/25182/stat : 25182 (java) S 25174 25176 25108 0 -1 64 381 0 0 0 21 1 0 0 15 0 8 0 271015614 937426944 9328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25183] ppid=25174 vsize=915456 CPUtime=0
/proc/25176/task/25183/stat : 25183 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271015614 937426944 9328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25184] ppid=25174 vsize=915456 CPUtime=0
/proc/25176/task/25184/stat : 25184 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271015614 937426944 9328 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915456
[startup+2.97493 s]
/proc/loadavg: 1.88 1.99 1.99 3/100 25184
/proc/meminfo: memFree=1023800/2055920 swapFree=4182144/4192956
[pid=25176] ppid=25174 vsize=915596 CPUtime=2.87
/proc/25176/stat : 25176 (java) R 25174 25176 25108 0 -1 0 10652 0 1 0 267 20 0 0 25 0 8 0 271015602 937570304 10388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073990723 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25176/statm: 228899 10388 2546 14 0 215369 0
[pid=25176/tid=25178] ppid=25174 vsize=915596 CPUtime=0.04
/proc/25176/task/25178/stat : 25178 (java) S 25174 25176 25108 0 -1 64 447 0 0 0 4 0 0 0 16 0 8 0 271015610 937570304 10388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25179] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25179/stat : 25179 (java) S 25174 25176 25108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271015610 937570304 10388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25180] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25180/stat : 25180 (java) S 25174 25176 25108 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271015610 937570304 10388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25181] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25181/stat : 25181 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271015614 937570304 10388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25182] ppid=25174 vsize=915596 CPUtime=0.31
/proc/25176/task/25182/stat : 25182 (java) S 25174 25176 25108 0 -1 64 431 0 0 0 30 1 0 0 15 0 8 0 271015614 937570304 10388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25183] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25183/stat : 25183 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271015614 937570304 10388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25184] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25184/stat : 25184 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271015614 937570304 10388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915596
[startup+6.26874 s]
/proc/loadavg: 1.88 1.99 1.99 3/100 25184
/proc/meminfo: memFree=1023544/2055920 swapFree=4182144/4192956
[pid=25176] ppid=25174 vsize=915596 CPUtime=6.14
/proc/25176/stat : 25176 (java) R 25174 25176 25108 0 -1 0 10682 0 1 0 593 21 0 0 25 0 8 0 271015602 937570304 10414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074014327 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25176/statm: 228899 10414 2546 14 0 215369 0
[pid=25176/tid=25178] ppid=25174 vsize=915596 CPUtime=0.04
/proc/25176/task/25178/stat : 25178 (java) S 25174 25176 25108 0 -1 64 447 0 0 0 4 0 0 0 17 0 8 0 271015610 937570304 10414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25179] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25179/stat : 25179 (java) S 25174 25176 25108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271015610 937570304 10414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25180] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25180/stat : 25180 (java) S 25174 25176 25108 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271015610 937570304 10414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25181] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25181/stat : 25181 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271015614 937570304 10414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25182] ppid=25174 vsize=915596 CPUtime=0.33
/proc/25176/task/25182/stat : 25182 (java) S 25174 25176 25108 0 -1 64 444 0 0 0 32 1 0 0 15 0 8 0 271015614 937570304 10414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25183] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25183/stat : 25183 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271015614 937570304 10414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25184] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25184/stat : 25184 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271015614 937570304 10414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915596
[startup+12.7519 s]
/proc/loadavg: 1.90 1.99 1.99 3/100 25184
/proc/meminfo: memFree=1023608/2055920 swapFree=4182144/4192956
[pid=25176] ppid=25174 vsize=915596 CPUtime=12.56
/proc/25176/stat : 25176 (java) R 25174 25176 25108 0 -1 0 10697 0 1 0 1235 21 0 0 25 0 8 0 271015602 937570304 10426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073989668 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25176/statm: 228899 10426 2546 14 0 215369 0
[pid=25176/tid=25178] ppid=25174 vsize=915596 CPUtime=0.04
/proc/25176/task/25178/stat : 25178 (java) S 25174 25176 25108 0 -1 64 447 0 0 0 4 0 0 0 16 0 8 0 271015610 937570304 10426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25179] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25179/stat : 25179 (java) S 25174 25176 25108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271015610 937570304 10426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25180] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25180/stat : 25180 (java) S 25174 25176 25108 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271015610 937570304 10426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25181] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25181/stat : 25181 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271015614 937570304 10426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25182] ppid=25174 vsize=915596 CPUtime=0.34
/proc/25176/task/25182/stat : 25182 (java) S 25174 25176 25108 0 -1 64 449 0 0 0 33 1 0 0 15 0 8 0 271015614 937570304 10426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25183] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25183/stat : 25183 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271015614 937570304 10426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25184] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25184/stat : 25184 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271015614 937570304 10426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915596
[startup+25.6285 s]
/proc/loadavg: 1.91 1.99 1.99 3/100 25184
/proc/meminfo: memFree=1023608/2055920 swapFree=4182144/4192956
[pid=25176] ppid=25174 vsize=915596 CPUtime=25.32
/proc/25176/stat : 25176 (java) R 25174 25176 25108 0 -1 0 10707 0 1 0 2511 21 0 0 25 0 8 0 271015602 937570304 10436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918517 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25176/statm: 228899 10436 2546 14 0 215369 0
[pid=25176/tid=25178] ppid=25174 vsize=915596 CPUtime=0.04
/proc/25176/task/25178/stat : 25178 (java) S 25174 25176 25108 0 -1 64 447 0 0 0 4 0 0 0 17 0 8 0 271015610 937570304 10436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25179] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25179/stat : 25179 (java) S 25174 25176 25108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271015610 937570304 10436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25180] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25180/stat : 25180 (java) S 25174 25176 25108 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271015610 937570304 10436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25181] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25181/stat : 25181 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271015614 937570304 10436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25182] ppid=25174 vsize=915596 CPUtime=0.35
/proc/25176/task/25182/stat : 25182 (java) S 25174 25176 25108 0 -1 64 450 0 0 0 34 1 0 0 16 0 8 0 271015614 937570304 10436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25183] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25183/stat : 25183 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271015614 937570304 10436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25184] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25184/stat : 25184 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271015614 937570304 10436 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) 915596
[startup+51.251 s]
/proc/loadavg: 1.94 1.99 1.99 3/100 25184
/proc/meminfo: memFree=1023672/2055920 swapFree=4182144/4192956
[pid=25176] ppid=25174 vsize=915596 CPUtime=50.7
/proc/25176/stat : 25176 (java) R 25174 25176 25108 0 -1 0 10717 0 1 0 5049 21 0 0 25 0 8 0 271015602 937570304 10443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074050990 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25176/statm: 228899 10443 2546 14 0 215369 0
[pid=25176/tid=25178] ppid=25174 vsize=915596 CPUtime=0.04
/proc/25176/task/25178/stat : 25178 (java) S 25174 25176 25108 0 -1 64 447 0 0 0 4 0 0 0 16 0 8 0 271015610 937570304 10443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25179] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25179/stat : 25179 (java) S 25174 25176 25108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271015610 937570304 10443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25180] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25180/stat : 25180 (java) S 25174 25176 25108 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271015610 937570304 10443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25181] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25181/stat : 25181 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271015614 937570304 10443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25182] ppid=25174 vsize=915596 CPUtime=0.35
/proc/25176/task/25182/stat : 25182 (java) S 25174 25176 25108 0 -1 64 452 0 0 0 34 1 0 0 17 0 8 0 271015614 937570304 10443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25183] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25183/stat : 25183 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271015614 937570304 10443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25184] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25184/stat : 25184 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271015614 937570304 10443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915596
[startup+102.493 s]
/proc/loadavg: 1.97 1.99 1.99 3/100 25184
/proc/meminfo: memFree=1023672/2055920 swapFree=4182144/4192956
[pid=25176] ppid=25174 vsize=915596 CPUtime=101.48
/proc/25176/stat : 25176 (java) R 25174 25176 25108 0 -1 0 10720 0 1 0 10126 22 0 0 25 0 8 0 271015602 937570304 10446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074051607 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25176/statm: 228899 10446 2546 14 0 215369 0
[pid=25176/tid=25178] ppid=25174 vsize=915596 CPUtime=0.04
/proc/25176/task/25178/stat : 25178 (java) S 25174 25176 25108 0 -1 64 447 0 0 0 4 0 0 0 16 0 8 0 271015610 937570304 10446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25179] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25179/stat : 25179 (java) S 25174 25176 25108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271015610 937570304 10446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25180] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25180/stat : 25180 (java) S 25174 25176 25108 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271015610 937570304 10446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25181] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25181/stat : 25181 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271015614 937570304 10446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25182] ppid=25174 vsize=915596 CPUtime=0.35
/proc/25176/task/25182/stat : 25182 (java) S 25174 25176 25108 0 -1 64 452 0 0 0 34 1 0 0 17 0 8 0 271015614 937570304 10446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25183] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25183/stat : 25183 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271015614 937570304 10446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25184] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25184/stat : 25184 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271015614 937570304 10446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915596
[startup+162.582 s]
/proc/loadavg: 1.99 1.99 1.99 3/100 25184
/proc/meminfo: memFree=1023608/2055920 swapFree=4182144/4192956
[pid=25176] ppid=25174 vsize=915596 CPUtime=161.02
/proc/25176/stat : 25176 (java) R 25174 25176 25108 0 -1 0 10723 0 1 0 16080 22 0 0 25 0 8 0 271015602 937570304 10449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074052097 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/25176/task/25181/stat : 25181 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271015614 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25182] ppid=25174 vsize=915596 CPUtime=0.35
/proc/25176/task/25182/stat : 25182 (java) S 25174 25176 25108 0 -1 64 453 0 0 0 34 1 0 0 16 0 8 0 271015614 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25183] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25183/stat : 25183 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271015614 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25184] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25184/stat : 25184 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271015614 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 875.51
Current children cumulated vsize (KiB) 915596
[startup+943.739 s]
/proc/loadavg: 2.13 2.03 2.01 3/100 25184
/proc/meminfo: memFree=1008568/2055920 swapFree=4182144/4192956
[pid=25176] ppid=25174 vsize=915596 CPUtime=935.06
/proc/25176/stat : 25176 (java) R 25174 25176 25108 0 -1 0 10741 0 1 0 93477 29 0 0 25 0 8 0 271015602 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074032489 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25176/statm: 228899 10466 2546 14 0 215369 0
[pid=25176/tid=25178] ppid=25174 vsize=915596 CPUtime=0.04
/proc/25176/task/25178/stat : 25178 (java) S 25174 25176 25108 0 -1 64 447 0 0 0 4 0 0 0 16 0 8 0 271015610 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25179] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25179/stat : 25179 (java) S 25174 25176 25108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271015610 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25180] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25180/stat : 25180 (java) S 25174 25176 25108 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271015610 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25181] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25181/stat : 25181 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271015614 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25182] ppid=25174 vsize=915596 CPUtime=0.35
/proc/25176/task/25182/stat : 25182 (java) S 25174 25176 25108 0 -1 64 453 0 0 0 34 1 0 0 16 0 8 0 271015614 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25183] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25183/stat : 25183 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271015614 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25184] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25184/stat : 25184 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271015614 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 935.06
Current children cumulated vsize (KiB) 915596
[startup+1003.83 s]
/proc/loadavg: 2.12 2.05 2.01 3/100 25184
/proc/meminfo: memFree=1008504/2055920 swapFree=4182144/4192956
[pid=25176] ppid=25174 vsize=915596 CPUtime=994.6
/proc/25176/stat : 25176 (java) R 25174 25176 25108 0 -1 0 10741 0 1 0 99431 29 0 0 25 0 8 0 271015602 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074020144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25176/statm: 228899 10466 2546 14 0 215369 0
[pid=25176/tid=25178] ppid=25174 vsize=915596 CPUtime=0.04
/proc/25176/task/25178/stat : 25178 (java) S 25174 25176 25108 0 -1 64 447 0 0 0 4 0 0 0 16 0 8 0 271015610 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25179] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25179/stat : 25179 (java) S 25174 25176 25108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271015610 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25180] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25180/stat : 25180 (java) S 25174 25176 25108 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271015610 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25181] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25181/stat : 25181 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271015614 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25182] ppid=25174 vsize=915596 CPUtime=0.35
/proc/25176/task/25182/stat : 25182 (java) S 25174 25176 25108 0 -1 64 453 0 0 0 34 1 0 0 16 0 8 0 271015614 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25183] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25183/stat : 25183 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271015614 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25184] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25184/stat : 25184 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271015614 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 994.6
Current children cumulated vsize (KiB) 915596
[startup+1063.92 s]
/proc/loadavg: 2.04 2.04 2.01 4/100 25186
/proc/meminfo: memFree=1008568/2055920 swapFree=4182144/4192956
[pid=25176] ppid=25174 vsize=915596 CPUtime=1054.14
/proc/25176/stat : 25176 (java) R 25174 25176 25108 0 -1 0 10741 0 1 0 105384 30 0 0 25 0 8 0 271015602 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073986025 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25176/statm: 228899 10466 2546 14 0 215369 0
[pid=25176/tid=25178] ppid=25174 vsize=915596 CPUtime=0.04
/proc/25176/task/25178/stat : 25178 (java) S 25174 25176 25108 0 -1 64 447 0 0 0 4 0 0 0 16 0 8 0 271015610 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25179] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25179/stat : 25179 (java) S 25174 25176 25108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271015610 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25180] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25180/stat : 25180 (java) S 25174 25176 25108 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271015610 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25181] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25181/stat : 25181 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271015614 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25182] ppid=25174 vsize=915596 CPUtime=0.35
/proc/25176/task/25182/stat : 25182 (java) S 25174 25176 25108 0 -1 64 453 0 0 0 34 1 0 0 16 0 8 0 271015614 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25183] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25183/stat : 25183 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271015614 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25184] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25184/stat : 25184 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271015614 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1054.14
Current children cumulated vsize (KiB) 915596
[startup+1124.01 s]
/proc/loadavg: 2.06 2.04 2.01 3/100 25186
/proc/meminfo: memFree=1008504/2055920 swapFree=4182144/4192956
[pid=25176] ppid=25174 vsize=915596 CPUtime=1113.69
/proc/25176/stat : 25176 (java) R 25174 25176 25108 0 -1 0 10741 0 1 0 111338 31 0 0 25 0 8 0 271015602 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918480 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25176/statm: 228899 10466 2546 14 0 215369 0
[pid=25176/tid=25178] ppid=25174 vsize=915596 CPUtime=0.04
/proc/25176/task/25178/stat : 25178 (java) S 25174 25176 25108 0 -1 64 447 0 0 0 4 0 0 0 16 0 8 0 271015610 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25179] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25179/stat : 25179 (java) S 25174 25176 25108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271015610 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25180] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25180/stat : 25180 (java) S 25174 25176 25108 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271015610 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25181] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25181/stat : 25181 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271015614 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25182] ppid=25174 vsize=915596 CPUtime=0.35
/proc/25176/task/25182/stat : 25182 (java) S 25174 25176 25108 0 -1 64 453 0 0 0 34 1 0 0 16 0 8 0 271015614 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25183] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25183/stat : 25183 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271015614 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25184] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25184/stat : 25184 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271015614 937570304 10466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1113.69
Current children cumulated vsize (KiB) 915596
[startup+1184.1 s]
/proc/loadavg: 2.02 2.03 2.00 3/100 25186
/proc/meminfo: memFree=1008440/2055920 swapFree=4182144/4192956
[pid=25176] ppid=25174 vsize=915596 CPUtime=1173.22
/proc/25176/stat : 25176 (java) R 25174 25176 25108 0 -1 0 10745 0 1 0 117291 31 0 0 25 0 8 0 271015602 937570304 10469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073984297 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25176/statm: 228899 10469 2546 14 0 215369 0
[pid=25176/tid=25178] ppid=25174 vsize=915596 CPUtime=0.04
/proc/25176/task/25178/stat : 25178 (java) S 25174 25176 25108 0 -1 64 447 0 0 0 4 0 0 0 16 0 8 0 271015610 937570304 10469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25179] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25179/stat : 25179 (java) S 25174 25176 25108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271015610 937570304 10469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25180] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25180/stat : 25180 (java) S 25174 25176 25108 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271015610 937570304 10469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25181] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25181/stat : 25181 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271015614 937570304 10469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25182] ppid=25174 vsize=915596 CPUtime=0.35
/proc/25176/task/25182/stat : 25182 (java) S 25174 25176 25108 0 -1 64 453 0 0 0 34 1 0 0 16 0 8 0 271015614 937570304 10469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25183] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25183/stat : 25183 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271015614 937570304 10469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25184] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25184/stat : 25184 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271015614 937570304 10469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1173.22
Current children cumulated vsize (KiB) 915596
[startup+1244.19 s]
/proc/loadavg: 2.05 2.04 2.00 3/100 25186
/proc/meminfo: memFree=1008504/2055920 swapFree=4182144/4192956
[pid=25176] ppid=25174 vsize=915596 CPUtime=1232.77
/proc/25176/stat : 25176 (java) R 25174 25176 25108 0 -1 0 10745 0 1 0 123245 32 0 0 25 0 8 0 271015602 937570304 10469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073936599 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25176/statm: 228899 10469 2546 14 0 215369 0
[pid=25176/tid=25178] ppid=25174 vsize=915596 CPUtime=0.04
/proc/25176/task/25178/stat : 25178 (java) S 25174 25176 25108 0 -1 64 447 0 0 0 4 0 0 0 16 0 8 0 271015610 937570304 10469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25179] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25179/stat : 25179 (java) S 25174 25176 25108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271015610 937570304 10469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25180] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25180/stat : 25180 (java) S 25174 25176 25108 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271015610 937570304 10469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25181] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25181/stat : 25181 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271015614 937570304 10469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25182] ppid=25174 vsize=915596 CPUtime=0.35
/proc/25176/task/25182/stat : 25182 (java) S 25174 25176 25108 0 -1 64 453 0 0 0 34 1 0 0 16 0 8 0 271015614 937570304 10469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25183] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25183/stat : 25183 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271015614 937570304 10469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25184] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25184/stat : 25184 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271015614 937570304 10469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1232.77
Current children cumulated vsize (KiB) 915596
[startup+1304.28 s]
/proc/loadavg: 2.02 2.03 2.00 3/100 25186
/proc/meminfo: memFree=1008440/2055920 swapFree=4182144/4192956
[pid=25176] ppid=25174 vsize=915596 CPUtime=1292.31
/proc/25176/stat : 25176 (java) R 25174 25176 25108 0 -1 0 10745 0 1 0 129199 32 0 0 25 0 8 0 271015602 937570304 10469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073984262 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25176/statm: 228899 10469 2546 14 0 215369 0
[pid=25176/tid=25178] ppid=25174 vsize=915596 CPUtime=0.04
/proc/25176/task/25178/stat : 25178 (java) S 25174 25176 25108 0 -1 64 447 0 0 0 4 0 0 0 16 0 8 0 271015610 937570304 10469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25179] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25179/stat : 25179 (java) S 25174 25176 25108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271015610 937570304 10469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25180] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25180/stat : 25180 (java) S 25174 25176 25108 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271015610 937570304 10469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25181] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25181/stat : 25181 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271015614 937570304 10469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25182] ppid=25174 vsize=915596 CPUtime=0.35
/proc/25176/task/25182/stat : 25182 (java) S 25174 25176 25108 0 -1 64 453 0 0 0 34 1 0 0 16 0 8 0 271015614 937570304 10469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25183] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25183/stat : 25183 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271015614 937570304 10469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25176/tid=25184] ppid=25174 vsize=915596 CPUtime=0
/proc/25176/task/25184/stat : 25184 (java) S 25174 25176 25108 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271015614 937570304 10469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1292.31
Current children cumulated vsize (KiB) 915596
Child status: 0
Real time (s): 1351.87
CPU time (s): 1339.43
CPU user time (s): 1339.09
CPU system time (s): 0.337948
CPU usage (%): 99.0798
Max. virtual memory (cumulated for all children) (KiB): 915596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1339.09
system time used= 0.337948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10847
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= 28848
involuntary context switches= 77414
runsolver used 1.69674 s user time and 4.31034 s system time
The end
Begin job on node4 on Fri Jan 19 17:03:20 UTC 2007
IDJOB= 275730
IDBENCH= 4602
IDSOLVER= 69
FILE ID= node4/275730-1169226200
PBS_JOBID= 3588976
Free space on /tmp= 66555 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ssa/ssa-0432-003.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275730-1169226200/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-275730-1169226200 -o ROOT/results/node4/solver-275730-1169226200 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275730-1169226200/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= dc9e2f6f8ccdc90333d37df61624232c
RANDOM SEED= 359838901
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.223
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.223
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: 1055952 kB
Buffers: 63220 kB
Cached: 504064 kB
SwapCached: 2148 kB
Active: 480180 kB
Inactive: 436564 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1055952 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 2060 kB
Writeback: 0 kB
Mapped: 369396 kB
Slab: 67096 kB
Committed_AS: 8151612 kB
PageTables: 3044 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= 66555 MiB
End job on node4 on Fri Jan 19 17:25:52 UTC 2007