Trace number 275730

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 PFCOPTIMUM 1339.43 1351.87

General information on the benchmark

NamepseudoSeries/
ssa/ssa-0432-003.xml
MD5SUMdc9e2f6f8ccdc90333d37df61624232c
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints1457
Best CPU time to get the best result obtained on this benchmark164.92
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables870
Number of constraints1458
Maximum constraint arity5
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1458
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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

Verifier Data (download as text)

1 unsatisfied constraints, 1457 satisfied constraints

Watcher Data (download as text)

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

Launcher Data (download as text)

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