Trace number 275729

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 EPFCOPTIMUM 164.92 166.086

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.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=epfc.xml
0.35	   
0.35	   instance
0.36	     name=/tmp/evaluation/275729-1169226198/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.52	     nbVariables=870  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.52	       =>  wckTime=0.197  cpuTime=0.14  mem=8M837
0.52	   
0.52	   predicates being loaded...
0.53	   
0.53	   constraints being loaded...
0.91	     nbConstraints=1458  nbSingletonDomainVariables=208  nbConvertedConstraints=1213  nbConvertConstraintsChecks=457
0.91	     nbExtensionStructures=9  nbSharedExtensionStructures=1204  nbConflictsStructures=90
0.91	     nbSharedConflictsStructures=1368  nbSharedBinaryRepresentations=21  nbEvaluationManagers=81
0.91	     nbSharedEvaluationManagers=164  maxDegree=26  maxArity=5
0.91	       =>  wckTime=0.583  cpuTime=0.45  mem=17M614
0.96	   
0.97	   solver LocalSearchSolver being built... 
1.01	       =>  wckTime=0.683  cpuTime=0.49  mem=6M680
1.02	
1.02	s SATISFIABLE
1.02	o 1231
1.02	c 227
1.02	o 1234
1.02	c 224
1.02	o 1237
1.02	c 221
1.03	o 1240
1.03	c 218
1.03	o 1243
1.03	c 215
1.03	o 1246
1.03	c 212
1.03	o 1248
1.03	c 210
1.03	o 1250
1.03	c 208
1.03	o 1252
1.03	c 206
1.03	o 1254
1.03	c 204
1.03	o 1256
1.03	c 202
1.04	o 1258
1.04	c 200
1.04	o 1260
1.04	c 198
1.04	o 1262
1.04	c 196
1.04	o 1264
1.04	c 194
1.04	o 1266
1.04	c 192
1.04	o 1268
1.04	c 190
1.04	o 1270
1.04	c 188
1.05	o 1272
1.05	c 186
1.05	o 1274
1.05	c 184
1.05	o 1276
1.05	c 182
1.05	o 1278
1.05	c 180
1.05	o 1280
1.05	c 178
1.05	o 1282
1.05	c 176
1.05	o 1284
1.05	c 174
1.05	o 1286
1.05	c 172
1.05	o 1288
1.05	c 170
1.05	o 1290
1.05	c 168
1.05	o 1292
1.05	c 166
1.06	o 1293
1.06	c 165
1.06	o 1294
1.06	c 164
1.06	o 1295
1.06	c 163
1.06	o 1296
1.06	c 162
1.06	o 1297
1.06	c 161
1.06	o 1298
1.06	c 160
1.06	o 1299
1.06	c 159
1.06	o 1300
1.06	c 158
1.06	o 1301
1.06	c 157
1.06	o 1302
1.06	c 156
1.06	o 1303
1.06	c 155
1.06	o 1304
1.06	c 154
1.06	o 1305
1.06	c 153
1.07	o 1306
1.07	c 152
1.07	o 1307
1.07	c 151
1.07	o 1308
1.07	c 150
1.07	o 1309
1.07	c 149
1.07	o 1310
1.07	c 148
1.07	o 1311
1.07	c 147
1.07	o 1312
1.07	c 146
1.07	o 1313
1.07	c 145
1.07	o 1314
1.07	c 144
1.07	o 1315
1.07	c 143
1.07	o 1316
1.07	c 142
1.07	o 1317
1.07	c 141
1.07	o 1318
1.07	c 140
1.07	o 1319
1.07	c 139
1.08	o 1320
1.08	c 138
1.08	o 1321
1.08	c 137
1.08	o 1322
1.08	c 136
1.08	o 1323
1.08	c 135
1.08	o 1324
1.08	c 134
1.08	o 1325
1.08	c 133
1.08	o 1326
1.08	c 132
1.08	o 1327
1.08	c 131
1.08	o 1328
1.08	c 130
1.08	o 1329
1.08	c 129
1.08	o 1330
1.08	c 128
1.08	o 1331
1.08	c 127
1.08	o 1332
1.08	c 126
1.09	o 1333
1.09	c 125
1.09	o 1334
1.09	c 124
1.09	o 1335
1.09	c 123
1.09	o 1336
1.09	c 122
1.09	o 1337
1.09	c 121
1.09	o 1338
1.09	c 120
1.09	o 1339
1.09	c 119
1.09	o 1340
1.09	c 118
1.09	o 1341
1.09	c 117
1.09	o 1342
1.09	c 116
1.09	o 1343
1.09	c 115
1.09	o 1344
1.09	c 114
1.09	o 1345
1.09	c 113
1.09	o 1346
1.09	c 112
1.10	o 1347
1.10	c 111
1.10	o 1348
1.10	c 110
1.10	o 1349
1.10	c 109
1.10	o 1350
1.10	c 108
1.10	o 1351
1.10	c 107
1.10	o 1352
1.10	c 106
1.10	o 1353
1.10	c 105
1.10	o 1354
1.10	c 104
1.10	o 1355
1.10	c 103
1.10	o 1356
1.10	c 102
1.10	o 1357
1.10	c 101
1.10	o 1358
1.10	c 100
1.10	o 1359
1.10	c 99
1.10	o 1360
1.10	c 98
1.10	o 1361
1.10	c 97
1.10	o 1362
1.10	c 96
1.11	o 1363
1.11	c 95
1.11	o 1364
1.11	c 94
1.11	o 1365
1.11	c 93
1.11	o 1366
1.11	c 92
1.11	o 1367
1.11	c 91
1.11	o 1368
1.11	c 90
1.11	o 1369
1.11	c 89
1.11	o 1370
1.11	c 88
1.11	o 1371
1.11	c 87
1.11	o 1372
1.11	c 86
1.11	o 1373
1.11	c 85
1.11	o 1374
1.11	c 84
1.11	o 1375
1.11	c 83
1.11	o 1376
1.11	c 82
1.11	o 1377
1.11	c 81
1.12	o 1378
1.12	c 80
1.12	o 1379
1.12	c 79
1.12	o 1380
1.12	c 78
1.12	o 1381
1.12	c 77
1.12	o 1382
1.12	c 76
1.12	o 1383
1.12	c 75
1.12	o 1384
1.12	c 74
1.12	o 1385
1.12	c 73
1.12	o 1386
1.12	c 72
1.12	o 1387
1.12	c 71
1.12	o 1388
1.12	c 70
1.12	o 1389
1.12	c 69
1.14	o 1394
1.14	c 64
1.14	o 1395
1.14	c 63
1.14	o 1396
1.14	c 62
1.14	o 1397
1.14	c 61
1.14	o 1398
1.14	c 60
1.14	o 1399
1.14	c 59
1.14	o 1400
1.14	c 58
1.14	o 1401
1.14	c 57
1.14	o 1402
1.14	c 56
1.15	o 1403
1.15	c 55
1.15	o 1404
1.15	c 54
1.15	o 1405
1.15	c 53
1.15	o 1406
1.15	c 52
1.15	o 1407
1.15	c 51
1.15	o 1410
1.15	c 48
1.15	o 1411
1.15	c 47
1.15	o 1412
1.15	c 46
1.15	o 1413
1.15	c 45
1.15	o 1414
1.15	c 44
1.15	o 1415
1.15	c 43
1.15	o 1417
1.15	c 41
1.15	o 1418
1.15	c 40
1.15	o 1419
1.15	c 39
1.15	o 1420
1.16	c 38
1.16	o 1421
1.16	c 37
1.16	o 1422
1.16	c 36
1.16	o 1423
1.16	c 35
1.16	o 1424
1.16	c 34
1.16	o 1425
1.16	c 33
1.16	o 1426
1.16	c 32
1.16	o 1427
1.16	c 31
1.16	o 1428
1.16	c 30
1.16	o 1429
1.16	c 29
1.16	o 1430
1.16	c 28
1.16	o 1431
1.16	c 27
1.16	o 1432
1.16	c 26
1.16	o 1433
1.16	c 25
1.17	o 1434
1.17	c 24
1.17	o 1435
1.17	c 23
1.18	o 1436
1.18	c 22
1.18	o 1439
1.18	c 19
1.18	o 1440
1.18	c 18
1.18	o 1441
1.18	c 17
1.18	o 1442
1.18	c 16
1.20	o 1443
1.20	c 15
1.20	o 1444
1.20	c 14
1.20	o 1445
1.20	c 13
1.23	o 1446
1.23	c 12
1.23	o 1447
1.23	c 11
1.24	o 1448
1.24	c 10
1.24	o 1449
1.24	c 9
1.25	o 1450
1.25	c 8
1.26	o 1451
1.26	c 7
1.26	o 1452
1.26	c 6
1.29	o 1453
1.29	c 5
1.30	o 1454
1.30	c 4
1.31	o 1455
1.31	c 3
1.32	o 1456
1.32	c 2
1.32	o 1457
1.32	c 1
1.32	   
1.32	   search
1.32	     run=0  nbConstraintChecks=181448  nbAssignments=1551
1.32	       =>  wckTime=0.318  cpuTime=0.27  mem=6M680
1.33	   
1.33	   global
1.33	     nbConstraintChecks=181448  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1.33	     solvingWckTime=0.314  solvingCpuTime=0.27  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1.33	     globalCpuTime=0.83
1.33	       =>  wckTime=1.001  cpuTime=0.77  mem=6M680
1.33	   
1.33	   solver IterativeSystematicSolver being built... 
1.53	       =>  wckTime=1.201  cpuTime=0.93  mem=22M529
3.37	   
3.37	   preprocessing
3.37	     nbConstraintChecks=541461  nbValidityChecks=105037  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
3.37	     nbRemovedValues=0  detectedInconsistency=no
3.37	       =>  wckTime=1.837  cpuTime=1.78  mem=22M529
3.73	   
3.73	   search
3.73	     run=0  nbConstraintChecks=135466  nbValidityChecks=28850  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
3.73	     nbAssignments=187  nbFailedAssignments=5  nbBacktracks=15  nbVisitedNodes=193  nbRestartNogoods=0
3.73	       =>  wckTime=2.202  cpuTime=2.13  mem=22M529
4.06	   
4.06	   search
4.06	     run=1  nbConstraintChecks=254646  nbValidityChecks=55011  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
4.06	     nbAssignments=352  nbFailedAssignments=8  nbBacktracks=33  nbVisitedNodes=361  nbRestartNogoods=4
4.06	       =>  wckTime=2.531  cpuTime=2.45  mem=22M529
4.46	   
4.46	   search
4.46	     run=2  nbConstraintChecks=397864  nbValidityChecks=85969  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
4.46	     nbAssignments=536  nbFailedAssignments=13  nbBacktracks=65  nbVisitedNodes=550  nbRestartNogoods=7
4.46	       =>  wckTime=2.928  cpuTime=2.83  mem=22M529
4.83	   
4.83	   search
4.83	     run=3  nbConstraintChecks=542636  nbValidityChecks=117997  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
4.83	     nbAssignments=730  nbFailedAssignments=21  nbBacktracks=101  nbVisitedNodes=752  nbRestartNogoods=10
4.83	       =>  wckTime=3.297  cpuTime=3.19  mem=22M529
5.28	   
5.28	   search
5.28	     run=4  nbConstraintChecks=707755  nbValidityChecks=155297  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
5.28	     nbAssignments=935  nbFailedAssignments=30  nbBacktracks=151  nbVisitedNodes=966  nbRestartNogoods=13
5.28	       =>  wckTime=3.749  cpuTime=3.64  mem=22M529
5.83	   
5.83	   search
5.83	     run=5  nbConstraintChecks=903522  nbValidityChecks=198117  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
5.83	     nbAssignments=1165  nbFailedAssignments=40  nbBacktracks=240  nbVisitedNodes=1208  nbRestartNogoods=16
5.83	       =>  wckTime=4.299  cpuTime=4.19  mem=22M529
6.41	   
6.41	   search
6.41	     run=6  nbConstraintChecks=1128076  nbValidityChecks=249254  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
6.41	     nbAssignments=1426  nbFailedAssignments=53  nbBacktracks=357  nbVisitedNodes=1485  nbRestartNogoods=18
6.41	       =>  wckTime=4.879  cpuTime=4.76  mem=22M529
7.32	   
7.32	   search
7.32	     run=7  nbConstraintChecks=1401525  nbValidityChecks=314043  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
7.32	     nbAssignments=1743  nbFailedAssignments=79  nbBacktracks=527  nbVisitedNodes=1830  nbRestartNogoods=21
7.32	       =>  wckTime=5.793  cpuTime=5.66  mem=22M529
8.70	   
8.70	   search
8.70	     run=8  nbConstraintChecks=1930029  nbValidityChecks=437283  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
8.70	     nbAssignments=2198  nbFailedAssignments=135  nbBacktracks=786  nbVisitedNodes=2343  nbRestartNogoods=28
8.70	       =>  wckTime=7.169  cpuTime=7.03  mem=22M529
10.52	   
10.52	   search
10.52	     run=9  nbConstraintChecks=2575327  nbValidityChecks=590220  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
10.52	     nbAssignments=2805  nbFailedAssignments=212  nbBacktracks=1172  nbVisitedNodes=3036  nbRestartNogoods=35
10.52	       =>  wckTime=8.988  cpuTime=8.82  mem=22M529
12.88	   
12.88	   search
12.88	     run=10  nbConstraintChecks=3441757  nbValidityChecks=788369  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
12.88	     nbAssignments=3626  nbFailedAssignments=313  nbBacktracks=1748  nbVisitedNodes=3965  nbRestartNogoods=39
12.88	       =>  wckTime=11.354  cpuTime=11.16  mem=22M529
16.32	   
16.32	   search
16.32	     run=11  nbConstraintChecks=4762123  nbValidityChecks=1094810  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
16.32	     nbAssignments=4784  nbFailedAssignments=471  nbBacktracks=2612  nbVisitedNodes=5304  nbRestartNogoods=44
16.32	       =>  wckTime=14.792  cpuTime=14.57  mem=22M529
21.29	   
21.29	   search
21.30	     run=12  nbConstraintChecks=6738299  nbValidityChecks=1538831  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
21.30	     nbAssignments=6436  nbFailedAssignments=678  nbBacktracks=3910  nbVisitedNodes=7195  nbRestartNogoods=51
21.30	       =>  wckTime=19.767  cpuTime=19.49  mem=22M529
29.05	   
29.05	   search
29.05	     run=13  nbConstraintChecks=9873025  nbValidityChecks=2269121  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
29.05	     nbAssignments=8850  nbFailedAssignments=1028  nbBacktracks=5859  nbVisitedNodes=10018  nbRestartNogoods=56
29.05	       =>  wckTime=27.519  cpuTime=27.18  mem=22M529
40.33	   
40.33	   search
40.33	     run=14  nbConstraintChecks=14281731  nbValidityChecks=3254849  nbPropagations=0  nbRevisions=0
40.33	     nbUselessRevisions=0  nbAssignments=12387  nbFailedAssignments=1512  nbBacktracks=8779  nbVisitedNodes=14100
40.33	     nbRestartNogoods=61
40.33	       =>  wckTime=38.797  cpuTime=38.35  mem=22M529
56.89	   
56.89	   search
56.89	     run=15  nbConstraintChecks=20450132  nbValidityChecks=4641970  nbPropagations=0  nbRevisions=0
56.89	     nbUselessRevisions=0  nbAssignments=17691  nbFailedAssignments=2301  nbBacktracks=13165  nbVisitedNodes=20288
56.89	     nbRestartNogoods=71
56.89	       =>  wckTime=55.364  cpuTime=54.78  mem=22M529
80.67	   
80.67	   search
80.67	     run=16  nbConstraintChecks=30419879  nbValidityChecks=6846355  nbPropagations=0  nbRevisions=0
80.67	     nbUselessRevisions=0  nbAssignments=25471  nbFailedAssignments=3389  nbBacktracks=19733  nbVisitedNodes=29301
80.67	     nbRestartNogoods=76
80.67	       =>  wckTime=79.143  cpuTime=78.45  mem=22M529
118.04	   
118.04	   search
118.04	     run=17  nbConstraintChecks=43778907  nbValidityChecks=9690956  nbPropagations=0  nbRevisions=0
118.04	     nbUselessRevisions=0  nbAssignments=37214  nbFailedAssignments=5151  nbBacktracks=29585  nbVisitedNodes=43070
118.04	     nbRestartNogoods=83
118.04	       =>  wckTime=116.514  cpuTime=115.65  mem=22M529
165.94	   
165.94	   search
165.94	     run=18  nbConstraintChecks=60192507  nbValidityChecks=13117295  nbPropagations=0  nbRevisions=0
165.94	     nbUselessRevisions=0  nbAssignments=51344  nbFailedAssignments=7626  nbBacktracks=41241  nbVisitedNodes=60103
165.94	     nbRestartNogoods=87
165.94	       =>  wckTime=164.409  cpuTime=163.32  mem=22M529
165.94	   
165.94	   global
165.94	     nbConstraintChecks=60733968  nbValidityChecks=13222332  nbRestartNogoods=87  solvingWckTime=164.41
165.94	     solvingCpuTime=163.32  expiredTime=no  totalExploration=yes  nbFoundSolutions=0  globalCpuTime=164.31
165.94	       =>  wckTime=165.613  cpuTime=164.25  mem=22M529
165.94	
165.94	s OPTIMUM FOUND
165.94	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 
165.94	   
165.94	   totalWckTime=165.698  totalCpuTime=164.31

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/node17/watcher-275729-1169226198 -o ROOT/results/node17/solver-275729-1169226198 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275729-1169226198/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 2.00 2.00 2.00 3/94 6509
/proc/meminfo: memFree=1365104/2055920 swapFree=4192812/4192956
[pid=6508] ppid=6506 vsize=18540 CPUtime=0
/proc/6508/stat : 6508 (runsolver) R 6506 6508 6108 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 271014570 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 245482712359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/6508/statm: 4635 279 244 17 0 2626 0

[startup+0.107501 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 6509
/proc/meminfo: memFree=1365104/2055920 swapFree=4192812/4192956
[pid=6508] ppid=6506 vsize=914988 CPUtime=0.09
/proc/6508/stat : 6508 (java) R 6506 6508 6108 0 -1 0 2962 0 1 0 7 2 0 0 19 0 8 0 271014570 936947712 2708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072917229 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6508/statm: 228747 2708 1417 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515544 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 6509
/proc/meminfo: memFree=1365104/2055920 swapFree=4192812/4192956
[pid=6508] ppid=6506 vsize=915332 CPUtime=0.49
/proc/6508/stat : 6508 (java) R 6506 6508 6108 0 -1 0 6464 0 1 0 44 5 0 0 18 0 8 0 271014570 937299968 6203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6508/statm: 228833 6203 2141 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33663 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 6516
/proc/meminfo: memFree=1337528/2055920 swapFree=4192812/4192956
[pid=6508] ppid=6506 vsize=915596 CPUtime=1.29
/proc/6508/stat : 6508 (java) R 6506 6508 6108 0 -1 0 9611 0 1 0 109 20 0 0 24 0 8 0 271014570 937570304 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152174138 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6508/statm: 228899 9349 2499 14 0 215369 0
[pid=6508/tid=6510] ppid=6506 vsize=915596 CPUtime=0.04
/proc/6508/task/6510/stat : 6510 (java) S 6506 6508 6108 0 -1 64 447 0 0 0 4 0 0 0 17 0 8 0 271014575 937570304 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6511] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6511/stat : 6511 (java) S 6506 6508 6108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271014575 937570304 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6512] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6512/stat : 6512 (java) S 6506 6508 6108 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271014575 937570304 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6513] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6513/stat : 6513 (java) S 6506 6508 6108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271014579 937570304 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6514] ppid=6506 vsize=915596 CPUtime=0.2
/proc/6508/task/6514/stat : 6514 (java) S 6506 6508 6108 0 -1 64 381 0 0 0 19 1 0 0 15 0 8 0 271014579 937570304 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6515] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6515/stat : 6515 (java) S 6506 6508 6108 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271014579 937570304 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6516] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6516/stat : 6516 (java) S 6506 6508 6108 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271014579 937570304 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915596

[startup+2.9788 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 6516
/proc/meminfo: memFree=1333880/2055920 swapFree=4192812/4192956
[pid=6508] ppid=6506 vsize=915596 CPUtime=2.92
/proc/6508/stat : 6508 (java) R 6506 6508 6108 0 -1 0 10546 0 1 0 271 21 0 0 25 0 8 0 271014570 937570304 10283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074027945 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6508/statm: 228899 10283 2546 14 0 215369 0
[pid=6508/tid=6510] ppid=6506 vsize=915596 CPUtime=0.04
/proc/6508/task/6510/stat : 6510 (java) S 6506 6508 6108 0 -1 64 447 0 0 0 4 0 0 0 17 0 8 0 271014575 937570304 10283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6511] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6511/stat : 6511 (java) S 6506 6508 6108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271014575 937570304 10283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6512] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6512/stat : 6512 (java) S 6506 6508 6108 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271014575 937570304 10283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6513] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6513/stat : 6513 (java) S 6506 6508 6108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271014579 937570304 10283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6514] ppid=6506 vsize=915596 CPUtime=0.27
/proc/6508/task/6514/stat : 6514 (java) S 6506 6508 6108 0 -1 64 423 0 0 0 26 1 0 0 15 0 8 0 271014579 937570304 10283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6515] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6515/stat : 6515 (java) S 6506 6508 6108 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271014579 937570304 10283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6516] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6516/stat : 6516 (java) S 6506 6508 6108 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271014579 937570304 10283 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915596

[startup+6.18713 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 6516
/proc/meminfo: memFree=1333240/2055920 swapFree=4192812/4192956
[pid=6508] ppid=6506 vsize=915596 CPUtime=6.1
/proc/6508/stat : 6508 (java) R 6506 6508 6108 0 -1 0 10678 0 1 0 588 22 0 0 25 0 8 0 271014570 937570304 10411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073984265 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6508/statm: 228899 10411 2551 14 0 215369 0
[pid=6508/tid=6510] ppid=6506 vsize=915596 CPUtime=0.04
/proc/6508/task/6510/stat : 6510 (java) S 6506 6508 6108 0 -1 64 448 0 0 0 4 0 0 0 17 0 8 0 271014575 937570304 10411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6511] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6511/stat : 6511 (java) S 6506 6508 6108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271014575 937570304 10411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6512] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6512/stat : 6512 (java) S 6506 6508 6108 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271014575 937570304 10411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6513] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6513/stat : 6513 (java) S 6506 6508 6108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271014579 937570304 10411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6514] ppid=6506 vsize=915596 CPUtime=0.31
/proc/6508/task/6514/stat : 6514 (java) S 6506 6508 6108 0 -1 64 441 0 0 0 30 1 0 0 15 0 8 0 271014579 937570304 10411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6515] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6515/stat : 6515 (java) S 6506 6508 6108 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271014579 937570304 10411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6516] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6516/stat : 6516 (java) S 6506 6508 6108 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271014579 937570304 10411 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915596

[startup+12.6608 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 6516
/proc/meminfo: memFree=1333112/2055920 swapFree=4192812/4192956
[pid=6508] ppid=6506 vsize=915596 CPUtime=12.51
/proc/6508/stat : 6508 (java) R 6506 6508 6108 0 -1 0 10701 0 1 0 1229 22 0 0 25 0 8 0 271014570 937570304 10430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073989664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6508/statm: 228899 10430 2551 14 0 215369 0
[pid=6508/tid=6510] ppid=6506 vsize=915596 CPUtime=0.04
/proc/6508/task/6510/stat : 6510 (java) S 6506 6508 6108 0 -1 64 448 0 0 0 4 0 0 0 17 0 8 0 271014575 937570304 10430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6511] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6511/stat : 6511 (java) S 6506 6508 6108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271014575 937570304 10430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6512] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6512/stat : 6512 (java) S 6506 6508 6108 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271014575 937570304 10430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6513] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6513/stat : 6513 (java) S 6506 6508 6108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271014579 937570304 10430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6514] ppid=6506 vsize=915596 CPUtime=0.32
/proc/6508/task/6514/stat : 6514 (java) S 6506 6508 6108 0 -1 64 452 0 0 0 31 1 0 0 16 0 8 0 271014579 937570304 10430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6515] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6515/stat : 6515 (java) S 6506 6508 6108 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271014579 937570304 10430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6516] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6516/stat : 6516 (java) S 6506 6508 6108 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271014579 937570304 10430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915596

[startup+25.5242 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 6516
/proc/meminfo: memFree=1332984/2055920 swapFree=4192812/4192956
[pid=6508] ppid=6506 vsize=915596 CPUtime=25.26
/proc/6508/stat : 6508 (java) R 6506 6508 6108 0 -1 0 10713 0 1 0 2504 22 0 0 25 0 8 0 271014570 937570304 10441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073993634 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6508/statm: 228899 10441 2551 14 0 215369 0
[pid=6508/tid=6510] ppid=6506 vsize=915596 CPUtime=0.04
/proc/6508/task/6510/stat : 6510 (java) S 6506 6508 6108 0 -1 64 448 0 0 0 4 0 0 0 16 0 8 0 271014575 937570304 10441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6511] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6511/stat : 6511 (java) S 6506 6508 6108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271014575 937570304 10441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6512] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6512/stat : 6512 (java) S 6506 6508 6108 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271014575 937570304 10441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6513] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6513/stat : 6513 (java) S 6506 6508 6108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271014579 937570304 10441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6514] ppid=6506 vsize=915596 CPUtime=0.32
/proc/6508/task/6514/stat : 6514 (java) S 6506 6508 6108 0 -1 64 453 0 0 0 31 1 0 0 15 0 8 0 271014579 937570304 10441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6515] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6515/stat : 6515 (java) S 6506 6508 6108 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271014579 937570304 10441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6516] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6516/stat : 6516 (java) S 6506 6508 6108 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271014579 937570304 10441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915596

[startup+51.1438 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 6516
/proc/meminfo: memFree=1332600/2055920 swapFree=4192812/4192956
[pid=6508] ppid=6506 vsize=915596 CPUtime=50.63
/proc/6508/stat : 6508 (java) R 6506 6508 6108 0 -1 0 10722 0 1 0 5041 22 0 0 25 0 8 0 271014570 937570304 10448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074015990 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6508/statm: 228899 10448 2551 14 0 215369 0
[pid=6508/tid=6510] ppid=6506 vsize=915596 CPUtime=0.04
/proc/6508/task/6510/stat : 6510 (java) S 6506 6508 6108 0 -1 64 448 0 0 0 4 0 0 0 16 0 8 0 271014575 937570304 10448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6511] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6511/stat : 6511 (java) S 6506 6508 6108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271014575 937570304 10448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6512] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6512/stat : 6512 (java) S 6506 6508 6108 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271014575 937570304 10448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6513] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6513/stat : 6513 (java) S 6506 6508 6108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271014579 937570304 10448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6514] ppid=6506 vsize=915596 CPUtime=0.32
/proc/6508/task/6514/stat : 6514 (java) S 6506 6508 6108 0 -1 64 456 0 0 0 31 1 0 0 17 0 8 0 271014579 937570304 10448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6515] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6515/stat : 6515 (java) S 6506 6508 6108 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271014579 937570304 10448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6516] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6516/stat : 6516 (java) S 6506 6508 6108 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271014579 937570304 10448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 915596

[startup+102.386 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 6516
/proc/meminfo: memFree=1332152/2055920 swapFree=4192812/4192956
[pid=6508] ppid=6506 vsize=915596 CPUtime=101.64
/proc/6508/stat : 6508 (java) R 6506 6508 6108 0 -1 0 10730 0 1 0 10141 23 0 0 25 0 8 0 271014570 937570304 10455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074007236 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6508/statm: 228899 10455 2551 14 0 215369 0
[pid=6508/tid=6510] ppid=6506 vsize=915596 CPUtime=0.04
/proc/6508/task/6510/stat : 6510 (java) S 6506 6508 6108 0 -1 64 448 0 0 0 4 0 0 0 16 0 8 0 271014575 937570304 10455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6511] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6511/stat : 6511 (java) S 6506 6508 6108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271014575 937570304 10455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6512] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6512/stat : 6512 (java) S 6506 6508 6108 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271014575 937570304 10455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6513] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6513/stat : 6513 (java) S 6506 6508 6108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271014579 937570304 10455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6514] ppid=6506 vsize=915596 CPUtime=0.33
/proc/6508/task/6514/stat : 6514 (java) S 6506 6508 6108 0 -1 64 457 0 0 0 32 1 0 0 16 0 8 0 271014579 937570304 10455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6515] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6515/stat : 6515 (java) S 6506 6508 6108 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271014579 937570304 10455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6516] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6516/stat : 6516 (java) S 6506 6508 6108 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271014579 937570304 10455 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 915596

[startup+162.475 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 6516
/proc/meminfo: memFree=1331704/2055920 swapFree=4192812/4192956
[pid=6508] ppid=6506 vsize=915596 CPUtime=161.44
/proc/6508/stat : 6508 (java) R 6506 6508 6108 0 -1 0 10734 0 1 0 16121 23 0 0 25 0 8 0 271014570 937570304 10458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073990702 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6508/statm: 228899 10458 2551 14 0 215369 0
[pid=6508/tid=6510] ppid=6506 vsize=915596 CPUtime=0.04
/proc/6508/task/6510/stat : 6510 (java) S 6506 6508 6108 0 -1 64 448 0 0 0 4 0 0 0 16 0 8 0 271014575 937570304 10458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6511] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6511/stat : 6511 (java) S 6506 6508 6108 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271014575 937570304 10458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6512] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6512/stat : 6512 (java) S 6506 6508 6108 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271014575 937570304 10458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6513] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6513/stat : 6513 (java) S 6506 6508 6108 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271014579 937570304 10458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6514] ppid=6506 vsize=915596 CPUtime=0.33
/proc/6508/task/6514/stat : 6514 (java) S 6506 6508 6108 0 -1 64 457 0 0 0 32 1 0 0 16 0 8 0 271014579 937570304 10458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6515] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6515/stat : 6515 (java) S 6506 6508 6108 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271014579 937570304 10458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6508/tid=6516] ppid=6506 vsize=915596 CPUtime=0
/proc/6508/task/6516/stat : 6516 (java) S 6506 6508 6108 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271014579 937570304 10458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.44
Current children cumulated vsize (KiB) 915596

Child status: 0
Real time (s): 166.086
CPU time (s): 164.92
CPU user time (s): 164.674
CPU system time (s): 0.245962
CPU usage (%): 99.2978
Max. virtual memory (cumulated for all children) (KiB): 916112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 164.674
system time used= 0.245962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10837
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= 4904
involuntary context switches= 7920

runsolver used 0.211967 s user time and 0.549916 s system time

The end

Launcher Data (download as text)

Begin job on node17 on Fri Jan 19 17:03:18 UTC 2007


IDJOB= 275729
IDBENCH= 4602
IDSOLVER= 68
FILE ID= node17/275729-1169226198

PBS_JOBID= 3588965

Free space on /tmp= 66562 MiB

SOLVER NAME= AbsconMax 109 EPFC
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 epfc.xml 1 XSax /tmp/evaluation/275729-1169226198/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-275729-1169226198 -o ROOT/results/node17/solver-275729-1169226198 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275729-1169226198/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  dc9e2f6f8ccdc90333d37df61624232c

RANDOM SEED= 796570822

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.236
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.236
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:       1365584 kB
Buffers:         44708 kB
Cached:         483176 kB
SwapCached:          0 kB
Active:         265128 kB
Inactive:       350056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1365584 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1952 kB
Writeback:           0 kB
Mapped:         114228 kB
Slab:            59744 kB
Committed_AS:  7805080 kB
PageTables:       2388 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66562 MiB



End job on node17 on Fri Jan 19 17:06:04 UTC 2007