Trace number 275732

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 EPFCMSAT (TO) 2400.06 2412.92

General information on the benchmark

NamepseudoSeries/uclid/
25s-smv.xml
MD5SUMf7a273ee733be68f959a2f3726847276
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints12827
Best CPU time to get the best result obtained on this benchmark2400.06
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables5072
Number of constraints12828
Maximum constraint arity15
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension12828
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.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=epfc.xml
0.41	   
0.41	   instance
0.41	     name=/tmp/evaluation/275732-1169226230/unknown.xml
0.44	   
0.44	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.68	     nbVariables=5072  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.68	       =>  wckTime=0.379  cpuTime=0.22  mem=15M695
0.68	   
0.68	   predicates being loaded...
0.69	   
0.69	   constraints being loaded...
3.87	     nbConstraints=12828  nbSingletonDomainVariables=1077  nbConvertedConstraints=7988
3.87	     nbConvertConstraintsChecks=852085  nbExtensionStructures=12  nbSharedExtensionStructures=7976
3.87	     nbConflictsStructures=70  nbSharedConflictsStructures=12758  nbSharedBinaryRepresentations=29
3.87	     nbEvaluationManagers=58  nbSharedEvaluationManagers=4782  maxDegree=340  maxArity=15
3.87	       =>  wckTime=3.574  cpuTime=3.1  mem=37M785
3.99	   
3.99	   solver LocalSearchSolver being built... 
4.03	       =>  wckTime=3.733  cpuTime=3.15  mem=40M878
4.07	
4.07	s SATISFIABLE
4.07	o 10815
4.07	c 2013
4.09	o 10822
4.09	c 2006
4.14	o 10826
4.14	c 2002
4.15	o 10833
4.15	c 1995
4.17	o 10840
4.17	c 1988
4.18	o 10845
4.18	c 1983
4.19	o 10854
4.19	c 1974
4.20	o 10860
4.20	c 1968
4.22	o 10862
4.22	c 1966
4.23	o 10865
4.23	c 1963
4.24	o 10873
4.24	c 1955
4.25	o 10882
4.25	c 1946
4.26	o 10888
4.26	c 1940
4.27	o 10890
4.27	c 1938
4.30	o 10896
4.30	c 1932
4.31	o 10897
4.31	c 1931
4.32	o 10904
4.32	c 1924
4.33	o 10911
4.33	c 1917
4.37	o 10914
4.37	c 1914
4.38	o 10917
4.38	c 1911
4.40	o 10921
4.40	c 1907
4.41	o 10923
4.41	c 1905
4.45	o 10925
4.45	c 1903
4.47	o 10929
4.47	c 1899
4.48	o 10933
4.48	c 1895
4.49	o 10936
4.49	c 1892
4.75	o 10947
4.75	c 1881
4.76	o 10951
4.76	c 1877
5.33	o 10952
5.33	c 1876
6.04	o 10954
6.04	c 1874
6.09	o 10956
6.09	c 1872
6.12	o 10968
6.12	c 1860
6.14	o 10971
6.14	c 1857
6.16	o 10974
6.16	c 1854
6.18	o 10977
6.18	c 1851
6.20	o 10980
6.20	c 1848
6.22	o 10983
6.22	c 1845
6.24	o 10986
6.24	c 1842
6.26	o 10996
6.26	c 1832
6.28	o 10997
6.28	c 1831
6.30	o 10998
6.30	c 1830
6.32	o 11004
6.32	c 1824
6.34	o 11005
6.34	c 1823
6.35	o 11008
6.35	c 1820
6.45	o 11011
6.45	c 1817
6.47	o 11014
6.47	c 1814
6.49	o 11017
6.49	c 1811
6.55	o 11020
6.55	c 1808
6.57	o 11023
6.57	c 1805
6.59	o 11026
6.59	c 1802
6.61	o 11029
6.61	c 1799
6.63	o 11032
6.63	c 1796
6.65	o 11035
6.65	c 1793
6.71	o 11038
6.71	c 1790
6.73	o 11041
6.73	c 1787
6.83	o 11043
6.83	c 1785
6.86	o 11046
6.86	c 1782
6.88	o 11049
6.88	c 1779
6.92	o 11050
6.92	c 1778
6.94	o 11053
6.94	c 1775
7.02	o 11055
7.02	c 1773
7.04	o 11059
7.04	c 1769
7.06	o 11060
7.06	c 1768
7.08	o 11063
7.08	c 1765
7.10	o 11066
7.10	c 1762
7.12	o 11069
7.12	c 1759
7.14	o 11075
7.14	c 1753
7.24	o 11076
7.24	c 1752
7.26	o 11079
7.26	c 1749
7.29	o 11082
7.29	c 1746
7.59	o 11083
7.59	c 1745
7.60	o 11087
7.60	c 1741
7.62	o 11090
7.62	c 1738
7.64	o 11093
7.64	c 1735
7.66	o 11096
7.66	c 1732
7.68	o 11099
7.68	c 1729
7.70	o 11102
7.70	c 1726
7.72	o 11105
7.72	c 1723
7.74	o 11108
7.74	c 1720
7.76	o 11111
7.76	c 1717
7.78	o 11113
7.78	c 1715
7.80	o 11116
7.80	c 1712
7.82	o 11119
7.82	c 1709
7.84	o 11121
7.84	c 1707
7.86	o 11124
7.86	c 1704
7.88	o 11126
7.88	c 1702
7.90	o 11128
7.90	c 1700
7.92	o 11136
7.92	c 1692
8.09	o 11137
8.09	c 1691
8.11	o 11138
8.11	c 1690
8.13	o 11139
8.13	c 1689
8.15	o 11140
8.15	c 1688
8.17	o 11141
8.17	c 1687
8.19	o 11142
8.19	c 1686
8.21	o 11143
8.21	c 1685
8.60	o 11145
8.60	c 1683
8.62	o 11148
8.62	c 1680
8.65	o 11151
8.65	c 1677
8.67	o 11152
8.67	c 1676
8.74	o 11153
8.74	c 1675
8.77	o 11156
8.77	c 1672
8.79	o 11157
8.79	c 1671
8.83	o 11159
8.83	c 1669
8.85	o 11161
8.85	c 1667
8.90	o 11166
8.90	c 1662
8.92	o 11168
8.92	c 1660
8.94	o 11170
8.94	c 1658
8.96	o 11172
8.96	c 1656
8.98	o 11175
8.98	c 1653
9.04	o 11176
9.04	c 1652
9.06	o 11179
9.06	c 1649
9.10	o 11181
9.10	c 1647
9.12	o 11183
9.12	c 1645
9.37	o 11185
9.37	c 1643
9.58	o 11189
9.58	c 1639
9.60	o 11191
9.60	c 1637
9.62	o 11194
9.62	c 1634
9.89	o 11195
9.89	c 1633
9.91	o 11198
9.91	c 1630
9.93	o 11201
9.93	c 1627
9.95	o 11204
9.95	c 1624
9.97	o 11206
9.97	c 1622
9.99	o 11209
9.99	c 1619
10.01	o 11210
10.01	c 1618
10.05	o 11213
10.05	c 1615
10.11	o 11214
10.11	c 1614
10.13	o 11217
10.13	c 1611
10.14	o 11220
10.14	c 1608
10.60	o 11222
10.60	c 1606
10.63	o 11224
10.63	c 1604
10.65	o 11226
10.65	c 1602
10.67	o 11228
10.67	c 1600
10.69	o 11230
10.69	c 1598
10.71	o 11232
10.71	c 1596
10.74	o 11234
10.74	c 1594
10.76	o 11236
10.76	c 1592
10.78	o 11238
10.78	c 1590
10.80	o 11240
10.80	c 1588
10.85	o 11241
10.85	c 1587
10.87	o 11243
10.87	c 1585
10.89	o 11245
10.89	c 1583
10.91	o 11252
10.91	c 1576
11.03	o 11253
11.03	c 1575
11.06	o 11255
11.06	c 1573
11.08	o 11257
11.08	c 1571
11.10	o 11259
11.10	c 1569
11.12	o 11260
11.12	c 1568
11.16	o 11262
11.16	c 1566
11.18	o 11266
11.18	c 1562
11.21	o 11268
11.21	c 1560
11.23	o 11270
11.23	c 1558
11.25	o 11273
11.25	c 1555
11.27	o 11275
11.27	c 1553
11.36	o 11277
11.36	c 1551
11.38	o 11279
11.38	c 1549
11.40	o 11281
11.40	c 1547
11.43	o 11283
11.43	c 1545
11.45	o 11285
11.45	c 1543
11.47	o 11287
11.47	c 1541
11.49	o 11289
11.49	c 1539
11.52	o 11291
11.52	c 1537
11.54	o 11293
11.54	c 1535
11.56	o 11295
11.56	c 1533
11.58	o 11299
11.58	c 1529
11.60	o 11301
11.60	c 1527
11.63	o 11303
11.63	c 1525
11.65	o 11305
11.65	c 1523
11.67	o 11307
11.67	c 1521
11.70	o 11309
11.70	c 1519
11.72	o 11311
11.72	c 1517
11.74	o 11313
11.74	c 1515
11.76	o 11321
11.76	c 1507
11.80	o 11327
11.80	c 1501
11.83	o 11329
11.83	c 1499
11.85	o 11331
11.85	c 1497
11.87	o 11333
11.87	c 1495
11.90	o 11337
11.90	c 1491
11.92	o 11339
11.92	c 1489
11.94	o 11341
11.94	c 1487
12.00	o 11342
12.00	c 1486
12.03	o 11344
12.03	c 1484
12.05	o 11353
12.05	c 1475
12.07	o 11355
12.07	c 1473
12.09	o 11357
12.09	c 1471
12.12	o 11359
12.12	c 1469
12.14	o 11361
12.14	c 1467
12.18	o 11363
12.18	c 1465
12.20	o 11365
12.20	c 1463
12.22	o 11367
12.22	c 1461
12.25	o 11369
12.25	c 1459
12.27	o 11371
12.27	c 1457
12.29	o 11373
12.29	c 1455
12.31	o 11375
12.31	c 1453
12.34	o 11377
12.34	c 1451
12.36	o 11379
12.36	c 1449
12.38	o 11381
12.38	c 1447
12.40	o 11383
12.40	c 1445
12.43	o 11385
12.43	c 1443
12.45	o 11387
12.45	c 1441
12.48	o 11389
12.48	c 1439
12.50	o 11395
12.50	c 1433
12.58	o 11397
12.58	c 1431
12.61	o 11399
12.61	c 1429
12.63	o 11401
12.63	c 1427
12.65	o 11403
12.65	c 1425
12.67	o 11405
12.67	c 1423
12.70	o 11407
12.70	c 1421
12.72	o 11409
12.72	c 1419
12.74	o 11411
12.74	c 1417
12.76	o 11413
12.76	c 1415
12.79	o 11415
12.79	c 1413
12.81	o 11417
12.81	c 1411
12.83	o 11420
12.83	c 1408
13.16	o 11422
13.16	c 1406
13.19	o 11424
13.19	c 1404
13.37	o 11425
13.37	c 1403
13.39	o 11427
13.39	c 1401
13.43	o 11429
13.43	c 1399
13.46	o 11431
13.46	c 1397
13.48	o 11433
13.48	c 1395
13.50	o 11435
13.50	c 1393
13.52	o 11438
13.52	c 1390
13.55	o 11440
13.55	c 1388
13.57	o 11442
13.57	c 1386
13.59	o 11444
13.59	c 1384
13.68	o 11446
13.68	c 1382
13.70	o 11448
13.70	c 1380
13.75	o 11453
13.75	c 1375
13.77	o 11455
13.77	c 1373
13.81	o 11457
13.81	c 1371
13.84	o 11459
13.84	c 1369
13.86	o 11461
13.86	c 1367
13.88	o 11463
13.88	c 1365
13.92	o 11465
13.92	c 1363
13.95	o 11467
13.95	c 1361
13.97	o 11468
13.97	c 1360
13.99	o 11473
13.99	c 1355
14.01	o 11475
14.01	c 1353
14.04	o 11477
14.04	c 1351
14.06	o 11479
14.06	c 1349
14.08	o 11481
14.08	c 1347
14.10	o 11483
14.10	c 1345
14.13	o 11485
14.13	c 1343
14.17	o 11486
14.17	c 1342
14.19	o 11488
14.19	c 1340
14.21	o 11490
14.21	c 1338
14.24	o 11492
14.24	c 1336
14.26	o 11494
14.26	c 1334
14.28	o 11496
14.28	c 1332
14.30	o 11498
14.30	c 1330
14.33	o 11500
14.33	c 1328
14.35	o 11502
14.35	c 1326
14.43	o 11504
14.43	c 1324
14.46	o 11506
14.46	c 1322
14.48	o 11515
14.48	c 1313
14.62	o 11516
14.62	c 1312
14.64	o 11518
14.64	c 1310
14.66	o 11520
14.66	c 1308
14.69	o 11522
14.69	c 1306
14.71	o 11524
14.71	c 1304
14.73	o 11526
14.73	c 1302
14.76	o 11528
14.76	c 1300
14.78	o 11530
14.78	c 1298
14.80	o 11532
14.80	c 1296
14.82	o 11534
14.82	c 1294
14.85	o 11538
14.85	c 1290
14.87	o 11539
14.87	c 1289
14.91	o 11540
14.91	c 1288
14.93	o 11542
14.93	c 1286
14.95	o 11544
14.95	c 1284
14.98	o 11545
14.98	c 1283
15.18	o 11547
15.18	c 1281
15.20	o 11549
15.20	c 1279
15.23	o 11551
15.23	c 1277
15.25	o 11553
15.25	c 1275
15.27	o 11555
15.27	c 1273
15.29	o 11557
15.29	c 1271
15.32	o 11561
15.32	c 1267
15.34	o 11563
15.34	c 1265
15.36	o 11565
15.36	c 1263
15.38	o 11567
15.38	c 1261
15.40	o 11569
15.40	c 1259
15.43	o 11571
15.43	c 1257
15.45	o 11573
15.45	c 1255
15.47	o 11575
15.47	c 1253
15.49	o 11577
15.49	c 1251
15.52	o 11579
15.52	c 1249
15.54	o 11581
15.54	c 1247
15.56	o 11583
15.56	c 1245
15.58	o 11585
15.58	c 1243
15.61	o 11587
15.61	c 1241
15.63	o 11589
15.63	c 1239
15.65	o 11591
15.65	c 1237
15.67	o 11593
15.67	c 1235
15.70	o 11595
15.70	c 1233
15.72	o 11597
15.72	c 1231
15.74	o 11599
15.74	c 1229
15.76	o 11601
15.76	c 1227
15.79	o 11603
15.79	c 1225
15.81	o 11605
15.81	c 1223
15.83	o 11607
15.83	c 1221
15.85	o 11611
15.85	c 1217
15.90	o 11613
15.90	c 1215
15.93	o 11615
15.93	c 1213
15.95	o 11616
15.95	c 1212
15.97	o 11617
15.97	c 1211
15.99	o 11618
15.99	c 1210
16.02	o 11620
16.02	c 1208
16.04	o 11621
16.04	c 1207
16.06	o 11622
16.06	c 1206
16.09	o 11623
16.09	c 1205
16.11	o 11624
16.11	c 1204
16.15	o 11625
16.15	c 1203
16.17	o 11626
16.17	c 1202
16.20	o 11629
16.20	c 1199
16.22	o 11630
16.22	c 1198
16.24	o 11631
16.24	c 1197
16.27	o 11632
16.27	c 1196
16.29	o 11633
16.29	c 1195
16.31	o 11634
16.31	c 1194
16.34	o 11635
16.34	c 1193
16.36	o 11636
16.36	c 1192
16.38	o 11637
16.38	c 1191
16.41	o 11638
16.41	c 1190
16.43	o 11639
16.43	c 1189
16.45	o 11640
16.45	c 1188
16.47	o 11641
16.47	c 1187
16.50	o 11642
16.50	c 1186
16.52	o 11643
16.52	c 1185
16.54	o 11644
16.54	c 1184
16.57	o 11645
16.57	c 1183
16.59	o 11646
16.59	c 1182
16.62	o 11647
16.62	c 1181
16.64	o 11648
16.64	c 1180
16.66	o 11649
16.66	c 1179
16.68	o 11650
16.68	c 1178
16.71	o 11651
16.71	c 1177
16.73	o 11652
16.73	c 1176
16.75	o 11653
16.75	c 1175
16.78	o 11654
16.78	c 1174
16.86	o 11655
16.86	c 1173
16.89	o 11656
16.89	c 1172
16.91	o 11657
16.91	c 1171
16.95	o 11668
16.95	c 1160
16.97	o 11670
16.97	c 1158
17.02	o 11671
17.02	c 1157
17.18	o 11673
17.18	c 1155
18.18	o 11675
18.18	c 1153
18.20	o 11677
18.20	c 1151
18.22	o 11679
18.22	c 1149
18.24	o 11680
18.24	c 1148
18.27	o 11682
18.27	c 1146
18.29	o 11685
18.29	c 1143
18.31	o 11687
18.31	c 1141
18.33	o 11689
18.33	c 1139
18.36	o 11690
18.36	c 1138
18.38	o 11691
18.38	c 1137
18.40	o 11693
18.40	c 1135
18.42	o 11695
18.42	c 1133
18.45	o 11697
18.45	c 1131
18.47	o 11699
18.47	c 1129
18.50	o 11701
18.50	c 1127
18.52	o 11703
18.52	c 1125
18.54	o 11704
18.54	c 1124
18.57	o 11705
18.57	c 1123
18.59	o 11707
18.59	c 1121
18.61	o 11709
18.61	c 1119
18.64	o 11712
18.64	c 1116
18.66	o 11714
18.66	c 1114
18.68	o 11717
18.68	c 1111
18.70	o 11719
18.70	c 1109
18.73	o 11721
18.73	c 1107
18.75	o 11723
18.75	c 1105
18.77	o 11725
18.77	c 1103
18.80	o 11727
18.80	c 1101
18.82	o 11728
18.82	c 1100
18.84	o 11733
18.84	c 1095
18.87	o 11735
18.87	c 1093
18.89	o 11737
18.89	c 1091
18.91	o 11739
18.91	c 1089
18.94	o 11740
18.94	c 1088
18.96	o 11741
18.96	c 1087
18.98	o 11743
18.98	c 1085
19.01	o 11745
19.01	c 1083
19.03	o 11747
19.03	c 1081
19.05	o 11749
19.05	c 1079
19.08	o 11753
19.08	c 1075
19.10	o 11755
19.10	c 1073
19.12	o 11757
19.12	c 1071
19.15	o 11759
19.15	c 1069
19.21	o 11762
19.21	c 1066
19.24	o 11767
19.24	c 1061
19.26	o 11769
19.27	c 1059
19.29	o 11771
19.29	c 1057
19.31	o 11773
19.31	c 1055
19.33	o 11775
19.33	c 1053
19.38	o 11777
19.38	c 1051
19.40	o 11779
19.40	c 1049
19.43	o 11782
19.43	c 1046
19.45	o 11784
19.45	c 1044
19.47	o 11786
19.47	c 1042
19.50	o 11788
19.50	c 1040
19.52	o 11792
19.52	c 1036
19.56	o 11794
19.56	c 1034
19.59	o 11796
19.59	c 1032
19.61	o 11798
19.61	c 1030
19.63	o 11801
19.63	c 1027
19.76	o 11804
19.76	c 1024
19.79	o 11806
19.79	c 1022
19.81	o 11808
19.81	c 1020
19.83	o 11810
19.83	c 1018
19.86	o 11812
19.86	c 1016
19.88	o 11814
19.88	c 1014
20.03	o 11815
20.03	c 1013
20.05	o 11817
20.05	c 1011
20.08	o 11819
20.08	c 1009
20.10	o 11822
20.10	c 1006
20.16	o 11824
20.16	c 1004
20.19	o 11826
20.19	c 1002
20.21	o 11827
20.21	c 1001
20.23	o 11829
20.23	c 999
20.26	o 11831
20.26	c 997
20.28	o 11833
20.28	c 995
20.35	o 11835
20.35	c 993
20.37	o 11837
20.37	c 991
20.40	o 11839
20.40	c 989
20.42	o 11841
20.42	c 987
20.62	o 11842
20.62	c 986
20.64	o 11844
20.64	c 984
20.66	o 11846
20.66	c 982
20.69	o 11848
20.69	c 980
20.71	o 11850
20.71	c 978
20.73	o 11851
20.73	c 977
20.76	o 11853
20.76	c 975
20.78	o 11855
20.78	c 973
20.81	o 11857
20.81	c 971
20.83	o 11859
20.83	c 969
20.85	o 11861
20.85	c 967
20.88	o 11862
20.88	c 966
20.90	o 11864
20.90	c 964
20.92	o 11866
20.92	c 962
20.95	o 11868
20.95	c 960
20.97	o 11870
20.97	c 958
21.04	o 11871
21.04	c 957
21.06	o 11873
21.06	c 955
21.09	o 11875
21.09	c 953
21.11	o 11878
21.11	c 950
21.20	o 11880
21.20	c 948
21.22	o 11882
21.22	c 946
21.25	o 11884
21.25	c 944
21.27	o 11885
21.27	c 943
21.29	o 11887
21.29	c 941
21.36	o 11889
21.36	c 939
21.39	o 11891
21.39	c 937
21.41	o 11893
21.41	c 935
21.43	o 11895
21.43	c 933
21.46	o 11896
21.46	c 932
21.48	o 11898
21.48	c 930
21.50	o 11900
21.50	c 928
21.53	o 11902
21.53	c 926
22.77	o 11903
22.77	c 925
22.79	o 11904
22.79	c 924
22.82	o 11905
22.82	c 923
22.85	o 11906
22.85	c 922
22.87	o 11907
22.87	c 921
22.90	o 11908
22.90	c 920
22.92	o 11909
22.92	c 919
22.95	o 11910
22.95	c 918
23.00	o 11914
23.00	c 914
23.02	o 11916
23.02	c 912
23.04	o 11918
23.04	c 910
23.07	o 11919
23.07	c 909
23.10	o 11920
23.10	c 908
23.12	o 11921
23.12	c 907
23.15	o 11922
23.15	c 906
23.20	o 11925
23.20	c 903
23.22	o 11926
23.22	c 902
23.25	o 11927
23.25	c 901
23.28	o 11928
23.28	c 900
23.30	o 11929
23.30	c 899
23.42	o 11931
23.42	c 897
23.65	o 11932
23.65	c 896
23.80	o 11933
23.80	c 895
23.83	o 11934
23.83	c 894
23.85	o 11935
23.85	c 893
23.88	o 11937
23.88	c 891
23.90	o 11938
23.90	c 890
23.93	o 11939
23.93	c 889
23.96	o 11940
23.96	c 888
23.98	o 11941
23.98	c 887
24.10	o 11942
24.10	c 886
24.13	o 11944
24.13	c 884
24.23	o 11951
24.23	c 877
24.25	o 11952
24.25	c 876
24.28	o 11953
24.28	c 875
24.31	o 11954
24.31	c 874
24.33	o 11955
24.33	c 873
24.36	o 11956
24.36	c 872
24.38	o 11957
24.38	c 871
24.53	o 11958
24.53	c 870
24.56	o 11959
24.56	c 869
24.58	o 11960
24.58	c 868
24.61	o 11961
24.61	c 867
24.64	o 11962
24.64	c 866
24.66	o 11963
24.66	c 865
24.69	o 11964
24.69	c 864
24.71	o 11965
24.71	c 863
24.74	o 11966
24.74	c 862
24.77	o 11967
24.77	c 861
24.79	o 11968
24.79	c 860
24.82	o 11969
24.82	c 859
24.85	o 11970
24.85	c 858
24.87	o 11971
24.87	c 857
24.90	o 11972
24.90	c 856
24.92	o 11973
24.92	c 855
24.96	o 11974
24.96	c 854
24.98	o 11975
24.98	c 853
25.01	o 11976
25.01	c 852
25.03	o 11977
25.03	c 851
25.06	o 11978
25.06	c 850
25.09	o 11979
25.09	c 849
25.11	o 11980
25.11	c 848
25.14	o 11981
25.14	c 847
25.16	o 11987
25.16	c 841
25.21	o 11989
25.21	c 839
25.24	o 11990
25.24	c 838
25.26	o 11991
25.26	c 837
25.29	o 11992
25.29	c 836
25.32	o 11993
25.32	c 835
25.34	o 11994
25.34	c 834
25.37	o 11995
25.37	c 833
25.39	o 11996
25.39	c 832
25.42	o 11997
25.42	c 831
25.45	o 11998
25.45	c 830
25.47	o 11999
25.47	c 829
25.50	o 12000
25.50	c 828
25.53	o 12001
25.53	c 827
25.65	o 12002
25.65	c 826
25.67	o 12004
25.67	c 824
25.70	o 12005
25.70	c 823
25.73	o 12006
25.73	c 822
25.75	o 12008
25.75	c 820
25.78	o 12009
25.78	c 819
25.81	o 12010
25.81	c 818
25.83	o 12013
25.83	c 815
25.86	o 12015
25.86	c 813
25.88	o 12016
25.88	c 812
25.91	o 12017
25.91	c 811
25.94	o 12018
25.94	c 810
25.96	o 12019
25.96	c 809
25.99	o 12020
25.99	c 808
26.07	o 12021
26.07	c 807
26.10	o 12022
26.10	c 806
26.12	o 12023
26.12	c 805
26.15	o 12024
26.15	c 804
26.18	o 12025
26.18	c 803
26.67	o 12030
26.67	c 798
27.43	o 12032
27.43	c 796
27.56	o 12034
27.56	c 794
27.87	o 12036
27.87	c 792
27.89	o 12038
27.89	c 790
28.01	o 12039
28.01	c 789
29.33	o 12040
29.33	c 788
29.38	o 12041
29.38	c 787
29.45	o 12043
29.45	c 785
29.50	o 12044
29.50	c 784
29.52	o 12046
29.52	c 782
29.55	o 12051
29.55	c 777
29.57	o 12054
29.57	c 774
29.60	o 12059
29.60	c 769
29.69	o 12065
29.69	c 763
29.71	o 12067
29.71	c 761
32.10	o 12068
32.10	c 760
32.12	o 12070
32.12	c 758
32.15	o 12071
32.15	c 757
32.17	o 12072
32.17	c 756
32.20	o 12074
32.20	c 754
32.29	o 12076
32.29	c 752
32.32	o 12077
32.32	c 751
32.34	o 12078
32.34	c 750
32.37	o 12079
32.37	c 749
32.39	o 12080
32.39	c 748
32.42	o 12081
32.42	c 747
32.44	o 12085
32.44	c 743
32.47	o 12087
32.47	c 741
32.48	o 12091
32.48	c 737
32.54	o 12093
32.54	c 735
32.57	o 12094
32.57	c 734
32.64	o 12095
32.64	c 733
32.68	o 12096
32.68	c 732
32.71	o 12097
32.71	c 731
32.73	o 12098
32.73	c 730
32.76	o 12099
32.76	c 729
32.78	o 12101
32.78	c 727
32.80	o 12103
32.80	c 725
32.85	o 12104
32.85	c 724
32.88	o 12106
32.88	c 722
32.97	o 12107
32.97	c 721
32.99	o 12108
32.99	c 720
33.01	o 12109
33.02	c 719
33.04	o 12110
33.04	c 718
33.06	o 12111
33.06	c 717
33.09	o 12112
33.09	c 716
33.11	o 12113
33.11	c 715
33.18	o 12115
33.18	c 713
33.23	o 12117
33.23	c 711
33.25	o 12119
33.25	c 709
33.27	o 12120
33.27	c 708
33.32	o 12121
33.32	c 707
33.34	o 12122
33.34	c 706
33.63	o 12123
33.63	c 705
33.65	o 12125
33.65	c 703
33.67	o 12126
33.67	c 702
33.70	o 12127
33.70	c 701
34.13	o 12128
34.13	c 700
34.16	o 12129
34.16	c 699
34.20	o 12130
34.20	c 698
34.22	o 12132
34.22	c 696
34.25	o 12133
34.25	c 695
34.27	o 12134
34.27	c 694
34.29	o 12136
34.29	c 692
34.35	o 12137
34.35	c 691
34.46	o 12139
34.46	c 689
34.48	o 12140
34.48	c 688
34.50	o 12141
34.50	c 687
34.52	o 12142
34.52	c 686
34.70	o 12144
34.70	c 684
34.74	o 12146
34.74	c 682
34.79	o 12148
34.80	c 680
34.82	o 12149
34.82	c 679
34.95	o 12151
34.95	c 677
34.97	o 12152
34.97	c 676
35.01	o 12153
35.01	c 675
35.15	o 12154
35.15	c 674
35.17	o 12155
35.17	c 673
35.19	o 12156
35.19	c 672
35.23	o 12158
35.23	c 670
35.27	o 12159
35.27	c 669
35.29	o 12160
35.29	c 668
35.31	o 12161
35.31	c 667
35.33	o 12162
35.33	c 666
35.46	o 12164
35.46	c 664
35.48	o 12166
35.48	c 662
35.52	o 12168
35.52	c 660
35.54	o 12169
35.54	c 659
35.56	o 12171
35.56	c 657
35.60	o 12172
35.60	c 656
35.62	o 12179
35.62	c 649
35.64	o 12180
35.64	c 648
35.72	o 12181
35.72	c 647
35.74	o 12183
35.74	c 645
35.78	o 12184
35.78	c 644
35.84	o 12185
35.84	c 643
35.86	o 12186
35.86	c 642
35.92	o 12188
35.92	c 640
35.94	o 12190
35.94	c 638
35.96	o 12191
35.96	c 637
35.99	o 12192
35.99	c 636
36.01	o 12193
36.01	c 635
36.04	o 12194
36.04	c 634
36.09	o 12195
36.09	c 633
36.11	o 12197
36.11	c 631
36.15	o 12199
36.15	c 629
36.17	o 12200
36.17	c 628
36.19	o 12201
36.19	c 627
36.23	o 12202
36.23	c 626
36.37	o 12203
36.37	c 625
36.39	o 12204
36.39	c 624
36.41	o 12206
36.41	c 622
36.43	o 12207
36.43	c 621
36.45	o 12209
36.45	c 619
36.47	o 12210
36.47	c 618
36.49	o 12211
36.49	c 617
36.55	o 12213
36.55	c 615
36.69	o 12214
36.69	c 614
36.71	o 12215
36.71	c 613
36.73	o 12217
36.73	c 611
36.75	o 12218
36.75	c 610
36.77	o 12220
36.77	c 608
36.79	o 12221
36.79	c 607
36.83	o 12222
36.83	c 606
36.88	o 12223
36.88	c 605
36.90	o 12225
36.90	c 603
36.92	o 12226
36.92	c 602
36.94	o 12228
36.94	c 600
36.96	o 12230
36.96	c 598
37.03	o 12232
37.03	c 596
37.05	o 12233
37.05	c 595
37.07	o 12234
37.07	c 594
37.09	o 12235
37.09	c 593
37.24	o 12236
37.24	c 592
37.26	o 12237
37.26	c 591
37.35	o 12238
37.35	c 590
37.39	o 12240
37.39	c 588
37.43	o 12241
37.43	c 587
37.46	o 12242
37.46	c 586
37.48	o 12243
37.48	c 585
37.50	o 12244
37.50	c 584
37.52	o 12245
37.52	c 583
37.59	o 12246
37.59	c 582
37.61	o 12247
37.61	c 581
37.63	o 12248
37.63	c 580
37.68	o 12250
37.68	c 578
37.70	o 12251
37.70	c 577
37.72	o 12252
37.72	c 576
37.83	o 12253
37.83	c 575
37.90	o 12254
37.90	c 574
37.94	o 12255
37.94	c 573
37.97	o 12256
37.97	c 572
38.01	o 12257
38.01	c 571
38.03	o 12258
38.03	c 570
38.05	o 12259
38.05	c 569
38.06	o 12261
38.06	c 567
38.08	o 12262
38.08	c 566
38.12	o 12263
38.12	c 565
38.15	o 12264
38.15	c 564
38.17	o 12265
38.17	c 563
38.19	o 12267
38.19	c 561
38.21	o 12269
38.21	c 559
38.29	o 12270
38.29	c 558
38.31	o 12272
38.31	c 556
38.32	o 12273
38.32	c 555
38.34	o 12274
38.34	c 554
38.36	o 12275
38.36	c 553
38.38	o 12277
38.38	c 551
38.40	o 12278
38.40	c 550
38.41	o 12279
38.41	c 549
38.43	o 12281
38.43	c 547
38.48	o 12282
38.48	c 546
38.52	o 12283
38.52	c 545
38.54	o 12284
38.54	c 544
38.56	o 12286
38.56	c 542
38.61	o 12288
38.61	c 540
38.67	o 12289
38.67	c 539
38.69	o 12290
38.69	c 538
38.70	o 12292
38.70	c 536
38.72	o 12293
38.72	c 535
38.74	o 12294
38.74	c 534
38.76	o 12295
38.76	c 533
38.78	o 12300
38.78	c 528
38.81	o 12301
38.81	c 527
38.83	o 12302
38.83	c 526
38.84	o 12303
38.84	c 525
38.86	o 12304
38.86	c 524
38.88	o 12306
38.88	c 522
38.90	o 12308
38.90	c 520
38.91	o 12309
38.91	c 519
38.93	o 12310
38.93	c 518
38.95	o 12311
38.95	c 517
39.18	o 12312
39.18	c 516
39.21	o 12313
39.21	c 515
39.25	o 12314
39.25	c 514
39.26	o 12315
39.26	c 513
39.28	o 12316
39.28	c 512
39.33	o 12317
39.33	c 511
39.34	o 12318
39.34	c 510
39.36	o 12319
39.36	c 509
39.42	o 12320
39.42	c 508
39.45	o 12321
39.45	c 507
39.47	o 12322
39.47	c 506
39.48	o 12325
39.48	c 503
39.55	o 12327
39.55	c 501
39.58	o 12329
39.58	c 499
39.60	o 12330
39.60	c 498
39.61	o 12332
39.61	c 496
39.63	o 12334
39.63	c 494
39.66	o 12335
39.66	c 493
39.67	o 12336
39.67	c 492
39.69	o 12337
39.69	c 491
39.70	o 12338
39.70	c 490
39.72	o 12339
39.72	c 489
39.74	o 12340
39.74	c 488
39.75	o 12341
39.75	c 487
39.77	o 12342
39.77	c 486
39.78	o 12343
39.78	c 485
39.80	o 12344
39.80	c 484
39.81	o 12345
39.81	c 483
39.84	o 12346
39.84	c 482
39.88	o 12347
39.88	c 481
39.92	o 12348
39.92	c 480
39.93	o 12349
39.93	c 479
39.95	o 12350
39.95	c 478
39.96	o 12351
39.96	c 477
40.00	o 12352
40.00	c 476
40.02	o 12353
40.02	c 475
40.03	o 12354
40.03	c 474
40.07	o 12355
40.07	c 473
40.14	o 12356
40.14	c 472
40.15	o 12357
40.15	c 471
40.16	o 12358
40.16	c 470
40.18	o 12361
40.18	c 467
40.19	o 12363
40.19	c 465
40.22	o 12364
40.22	c 464
40.24	o 12365
40.24	c 463
40.26	o 12366
40.26	c 462
40.27	o 12367
40.27	c 461
40.29	o 12368
40.29	c 460
40.30	o 12369
40.30	c 459
40.35	o 12370
40.35	c 458
40.36	o 12371
40.36	c 457
40.38	o 12372
40.38	c 456
40.40	o 12374
40.40	c 454
40.41	o 12375
40.41	c 453
40.43	o 12377
40.43	c 451
40.44	o 12378
40.44	c 450
40.47	o 12379
40.47	c 449
40.48	o 12380
40.48	c 448
40.49	o 12381
40.49	c 447
40.51	o 12382
40.51	c 446
40.52	o 12383
40.52	c 445
40.55	o 12384
40.55	c 444
40.56	o 12385
40.56	c 443
40.64	o 12386
40.64	c 442
40.66	o 12387
40.66	c 441
40.77	o 12388
40.77	c 440
40.84	o 12389
40.84	c 439
40.85	o 12390
40.85	c 438
40.87	o 12391
40.87	c 437
40.88	o 12392
40.88	c 436
40.89	o 12393
40.89	c 435
40.93	o 12394
40.93	c 434
40.95	o 12396
40.95	c 432
40.96	o 12397
40.96	c 431
40.97	o 12398
40.97	c 430
40.99	o 12399
40.99	c 429
41.00	o 12400
41.00	c 428
41.01	o 12401
41.01	c 427
41.08	o 12402
41.08	c 426
41.09	o 12403
41.09	c 425
41.12	o 12404
41.12	c 424
41.24	o 12405
41.24	c 423
41.26	o 12406
41.26	c 422
41.27	o 12407
41.27	c 421
41.28	o 12408
41.28	c 420
41.36	o 12409
41.36	c 419
41.39	o 12410
41.39	c 418
41.52	o 12411
41.52	c 417
41.53	o 12412
41.53	c 416
41.56	o 12415
41.56	c 413
41.62	o 12416
41.62	c 412
41.64	o 12417
41.64	c 411
41.65	o 12418
41.65	c 410
41.67	o 12419
41.67	c 409
41.80	o 12420
41.80	c 408
41.84	o 12422
41.84	c 406
41.91	o 12423
41.91	c 405
42.03	o 12424
42.03	c 404
42.06	o 12425
42.06	c 403
42.13	o 12426
42.13	c 402
42.16	o 12427
42.16	c 401
42.17	o 12428
42.17	c 400
42.27	o 12429
42.27	c 399
42.30	o 12430
42.30	c 398
42.32	o 12431
42.32	c 397
42.34	o 12432
42.34	c 396
42.41	o 12433
42.41	c 395
42.46	o 12434
42.46	c 394
42.51	o 12435
42.51	c 393
42.54	o 12436
42.54	c 392
42.55	o 12438
42.55	c 390
42.62	o 12440
42.62	c 388
42.64	o 12441
42.64	c 387
42.65	o 12443
42.65	c 385
42.75	o 12444
42.75	c 384
42.76	o 12445
42.76	c 383
42.78	o 12446
42.78	c 382
42.80	o 12447
42.80	c 381
43.07	o 12448
43.07	c 380
43.10	o 12450
43.10	c 378
43.12	o 12451
43.12	c 377
43.18	o 12452
43.18	c 376
43.21	o 12453
43.21	c 375
43.22	o 12454
43.22	c 374
43.27	o 12455
43.27	c 373
43.28	o 12458
43.28	c 370
43.30	o 12459
43.30	c 369
43.39	o 12460
43.39	c 368
43.41	o 12461
43.41	c 367
43.42	o 12462
43.43	c 366
43.44	o 12464
43.44	c 364
43.47	o 12465
43.47	c 363
43.49	o 12466
43.49	c 362
43.50	o 12467
43.50	c 361
43.52	o 12469
43.52	c 359
43.55	o 12470
43.55	c 358
43.57	o 12471
43.57	c 357
43.60	o 12472
43.60	c 356
43.63	o 12473
43.63	c 355
43.69	o 12474
43.69	c 354
43.71	o 12475
43.71	c 353
43.89	o 12477
43.89	c 351
43.93	o 12478
43.93	c 350
43.97	o 12479
43.97	c 349
44.00	o 12481
44.00	c 347
44.02	o 12482
44.02	c 346
44.14	o 12484
44.14	c 344
44.16	o 12486
44.16	c 342
44.30	o 12487
44.30	c 341
44.39	o 12488
44.39	c 340
44.41	o 12489
44.41	c 339
44.50	o 12490
44.50	c 338
44.52	o 12492
44.52	c 336
44.55	o 12494
44.55	c 334
44.75	o 12495
44.75	c 333
44.77	o 12496
44.77	c 332
44.84	o 12498
44.84	c 330
45.06	o 12499
45.06	c 329
45.08	o 12500
45.08	c 328
45.13	o 12501
45.13	c 327
45.16	o 12502
45.16	c 326
45.19	o 12503
45.19	c 325
45.21	o 12504
45.21	c 324
45.23	o 12505
45.23	c 323
45.28	o 12506
45.28	c 322
45.33	o 12507
45.33	c 321
45.35	o 12508
45.35	c 320
45.37	o 12509
45.37	c 319
45.40	o 12510
45.40	c 318
45.42	o 12512
45.42	c 316
45.43	o 12513
45.43	c 315
45.47	o 12514
45.47	c 314
45.50	o 12516
45.50	c 312
45.53	o 12517
45.53	c 311
45.55	o 12518
45.55	c 310
45.60	o 12520
45.60	c 308
45.72	o 12522
45.72	c 306
45.76	o 12523
45.76	c 305
45.79	o 12524
45.79	c 304
45.83	o 12525
45.83	c 303
45.92	o 12526
45.92	c 302
45.94	o 12528
45.94	c 300
45.96	o 12529
45.96	c 299
46.01	o 12530
46.01	c 298
46.18	o 12531
46.18	c 297
46.27	o 12532
46.27	c 296
46.31	o 12533
46.31	c 295
46.45	o 12534
46.45	c 294
46.50	o 12535
46.50	c 293
46.64	o 12536
46.64	c 292
47.33	o 12537
47.33	c 291
47.35	o 12538
47.35	c 290
47.40	o 12539
47.40	c 289
47.43	o 12540
47.43	c 288
47.46	o 12542
47.46	c 286
47.48	o 12544
47.48	c 284
47.54	o 12545
47.54	c 283
47.63	o 12546
47.63	c 282
47.83	o 12547
47.83	c 281
47.88	o 12548
47.88	c 280
47.90	o 12549
47.90	c 279
47.96	o 12550
47.96	c 278
48.26	o 12551
48.26	c 277
48.48	o 12552
48.48	c 276
48.53	o 12553
48.53	c 275
48.61	o 12554
48.61	c 274
48.63	o 12555
48.63	c 273
48.82	o 12557
48.82	c 271
48.95	o 12559
48.95	c 269
48.97	o 12560
48.97	c 268
49.02	o 12561
49.02	c 267
49.30	o 12562
49.30	c 266
49.37	o 12563
49.37	c 265
49.39	o 12564
49.39	c 264
49.41	o 12565
49.41	c 263
49.43	o 12567
49.43	c 261
49.54	o 12568
49.54	c 260
49.59	o 12569
49.59	c 259
50.15	o 12570
50.15	c 258
50.17	o 12571
50.17	c 257
50.19	o 12572
50.19	c 256
50.21	o 12573
50.21	c 255
50.23	o 12574
50.23	c 254
50.34	o 12576
50.34	c 252
50.40	o 12577
50.40	c 251
50.52	o 12578
50.52	c 250
50.59	o 12579
50.59	c 249
50.62	o 12580
50.62	c 248
50.64	o 12582
50.64	c 246
50.67	o 12583
50.67	c 245
50.73	o 12584
50.73	c 244
50.74	o 12585
50.74	c 243
50.84	o 12587
50.84	c 241
50.86	o 12589
50.86	c 239
50.87	o 12590
50.87	c 238
50.93	o 12591
50.93	c 237
50.97	o 12592
50.97	c 236
50.98	o 12593
50.98	c 235
51.00	o 12594
51.00	c 234
51.17	o 12595
51.17	c 233
51.18	o 12596
51.18	c 232
51.24	o 12598
51.24	c 230
51.45	o 12599
51.45	c 229
51.60	o 12601
51.60	c 227
51.88	o 12602
51.88	c 226
51.89	o 12603
51.89	c 225
51.91	o 12604
51.91	c 224
51.98	o 12605
51.98	c 223
54.35	o 12606
54.35	c 222
54.39	o 12607
54.39	c 221
54.48	o 12608
54.48	c 220
54.54	o 12609
54.54	c 219
54.58	o 12610
54.58	c 218
54.59	o 12611
54.59	c 217
54.69	o 12612
54.69	c 216
54.70	o 12613
54.70	c 215
55.14	o 12614
55.14	c 214
55.18	o 12615
55.18	c 213
55.19	o 12616
55.19	c 212
55.20	o 12617
55.20	c 211
55.32	o 12618
55.32	c 210
55.37	o 12619
55.37	c 209
55.50	o 12620
55.50	c 208
55.51	o 12621
55.51	c 207
55.56	o 12622
55.56	c 206
55.60	o 12623
55.60	c 205
55.63	o 12624
55.63	c 204
55.64	o 12625
55.64	c 203
56.04	o 12626
56.04	c 202
56.06	o 12627
56.06	c 201
56.09	o 12628
56.09	c 200
56.10	o 12629
56.10	c 199
56.15	o 12630
56.15	c 198
56.19	o 12631
56.19	c 197
56.21	o 12633
56.21	c 195
56.23	o 12635
56.23	c 193
56.28	o 12636
56.28	c 192
56.29	o 12637
56.29	c 191
56.31	o 12638
56.31	c 190
56.37	o 12639
56.37	c 189
56.39	o 12640
56.39	c 188
56.47	o 12642
56.47	c 186
56.53	o 12644
56.53	c 184
56.56	o 12645
56.56	c 183
56.58	o 12646
56.58	c 182
56.64	o 12647
56.64	c 181
56.77	o 12648
56.77	c 180
56.81	o 12650
56.81	c 178
56.83	o 12652
56.83	c 176
56.92	o 12653
56.92	c 175
57.00	o 12655
57.00	c 173
57.04	o 12656
57.04	c 172
57.23	o 12657
57.23	c 171
57.54	o 12658
57.54	c 170
57.65	o 12659
57.65	c 169
58.13	o 12660
58.13	c 168
58.33	o 12661
58.33	c 167
58.71	o 12662
58.71	c 166
58.73	o 12663
58.73	c 165
58.86	o 12664
58.86	c 164
58.98	o 12665
58.98	c 163
59.09	o 12667
59.09	c 161
59.18	o 12668
59.18	c 160
59.34	o 12669
59.34	c 159
59.36	o 12670
59.36	c 158
59.40	o 12672
59.40	c 156
60.76	o 12673
60.76	c 155
60.78	o 12674
60.78	c 154
61.03	o 12675
61.03	c 153
61.16	o 12676
61.16	c 152
61.18	o 12677
61.18	c 151
62.07	o 12678
62.07	c 150
62.25	o 12679
62.25	c 149
62.30	o 12680
62.30	c 148
62.37	o 12681
62.37	c 147
62.50	o 12682
62.50	c 146
62.51	o 12683
62.51	c 145
62.66	o 12684
62.66	c 144
62.70	o 12685
62.70	c 143
62.81	o 12686
62.81	c 142
63.62	o 12687
63.62	c 141
63.64	o 12688
63.64	c 140
63.81	o 12690
63.81	c 138
65.56	o 12691
65.56	c 137
65.59	o 12692
65.59	c 136
65.63	o 12693
65.63	c 135
65.67	o 12694
65.67	c 134
65.89	o 12695
65.89	c 133
65.90	o 12696
65.90	c 132
66.41	o 12697
66.41	c 131
66.65	o 12699
66.65	c 129
67.21	o 12700
67.21	c 128
67.27	o 12701
67.27	c 127
70.14	o 12702
70.14	c 126
70.41	o 12703
70.41	c 125
70.95	o 12704
70.95	c 124
72.40	o 12705
72.40	c 123
72.43	o 12706
72.43	c 122
72.43	o 12707
72.43	c 121
72.45	o 12709
72.45	c 119
72.68	o 12710
72.68	c 118
72.73	o 12711
72.73	c 117
73.71	o 12712
73.71	c 116
73.72	o 12713
73.72	c 115
73.73	o 12714
73.73	c 114
73.89	o 12715
73.89	c 113
74.27	o 12716
74.27	c 112
74.34	o 12717
74.34	c 111
74.61	o 12718
74.61	c 110
74.75	o 12720
74.75	c 108
74.77	o 12721
74.77	c 107
74.96	o 12722
74.96	c 106
75.03	o 12723
75.03	c 105
75.13	o 12724
75.13	c 104
75.14	o 12725
75.14	c 103
75.16	o 12726
75.16	c 102
75.20	o 12727
75.20	c 101
75.24	o 12728
75.24	c 100
75.44	o 12729
75.44	c 99
75.65	o 12730
75.65	c 98
76.07	o 12731
76.07	c 97
76.19	o 12732
76.19	c 96
76.34	o 12733
76.34	c 95
76.49	o 12735
76.49	c 93
76.51	o 12736
76.51	c 92
79.37	o 12737
79.37	c 91
79.49	o 12738
79.49	c 90
79.50	o 12739
79.50	c 89
79.52	o 12740
79.52	c 88
79.80	o 12741
79.80	c 87
79.81	o 12742
79.81	c 86
79.82	o 12743
79.82	c 85
79.85	o 12745
79.85	c 83
79.89	o 12747
79.89	c 81
79.97	o 12748
79.97	c 80
80.30	o 12749
80.30	c 79
80.39	o 12751
80.39	c 77
81.75	o 12752
81.75	c 76
81.76	o 12753
81.76	c 75
81.78	o 12754
81.78	c 74
82.68	o 12755
82.68	c 73
82.73	o 12756
82.73	c 72
83.92	o 12757
83.92	c 71
83.93	o 12758
83.93	c 70
83.98	o 12759
83.98	c 69
84.71	o 12760
84.71	c 68
84.75	o 12761
84.75	c 67
84.80	o 12762
84.80	c 66
88.92	o 12763
88.92	c 65
89.54	o 12765
89.54	c 63
89.65	o 12767
89.65	c 61
90.27	o 12768
90.27	c 60
90.40	o 12769
90.40	c 59
90.41	o 12770
90.41	c 58
91.11	o 12771
91.11	c 57
91.44	o 12772
91.44	c 56
92.27	o 12773
92.27	c 55
94.77	o 12774
94.77	c 54
95.01	o 12775
95.01	c 53
95.50	o 12776
95.50	c 52
95.80	o 12777
95.80	c 51
97.84	o 12778
97.84	c 50
101.65	   
101.72	   search
101.72	     run=0  nbConstraintChecks=54776630  nbAssignments=10000
101.72	       =>  wckTime=97.62  cpuTime=96.93  mem=41M887
102.05	o 12779
102.05	c 49
102.11	o 12780
102.11	c 48
102.39	o 12781
102.39	c 47
102.41	o 12782
102.41	c 46
102.66	o 12783
102.66	c 45
105.37	o 12784
105.37	c 44
106.57	o 12785
106.57	c 43
109.15	o 12786
109.15	c 42
109.17	o 12787
109.17	c 41
109.44	o 12788
109.44	c 40
109.46	o 12789
109.46	c 39
111.47	o 12790
111.47	c 38
111.64	o 12791
111.64	c 37
111.85	o 12792
111.85	c 36
113.08	o 12793
113.08	c 35
113.26	o 12794
113.26	c 34
113.38	o 12795
113.38	c 33
115.65	o 12796
115.65	c 32
115.66	o 12797
115.66	c 31
116.44	o 12798
116.44	c 30
116.49	o 12799
116.49	c 29
116.66	o 12800
116.66	c 28
117.43	o 12801
117.43	c 27
120.03	o 12802
120.03	c 26
123.13	o 12803
123.13	c 25
123.65	o 12804
123.65	c 24
123.98	o 12805
123.98	c 23
131.30	o 12806
131.30	c 22
140.65	   
140.65	   search
140.65	     run=1  nbConstraintChecks=76478038  nbAssignments=20000
140.65	       =>  wckTime=136.615  cpuTime=135.72  mem=41M887
148.35	o 12807
148.35	c 21
148.38	o 12808
148.38	c 20
150.02	o 12809
150.02	c 19
150.03	o 12810
150.03	c 18
150.04	o 12811
150.04	c 17
150.21	o 12812
150.21	c 16
150.28	o 12813
150.28	c 15
150.95	o 12814
150.95	c 14
176.90	   
176.90	   search
176.90	     run=2  nbConstraintChecks=96072780  nbAssignments=30000
176.90	       =>  wckTime=172.867  cpuTime=171.77  mem=41M887
178.68	o 12815
178.68	c 13
186.83	o 12816
186.83	c 12
191.30	o 12817
191.30	c 11
191.34	o 12818
191.34	c 10
192.13	o 12819
192.13	c 9
192.19	o 12820
192.19	c 8
192.92	o 12821
192.92	c 7
193.06	o 12822
193.06	c 6
193.19	o 12823
193.19	c 5
193.23	o 12824
193.23	c 4
194.87	o 12825
194.87	c 3
194.99	o 12826
194.99	c 2
196.94	o 12827
196.94	c 1
196.94	   
196.94	   search
196.94	     run=3  nbConstraintChecks=107720473  nbAssignments=36081
196.94	       =>  wckTime=192.913  cpuTime=191.69  mem=41M887
196.95	   
196.95	   global
196.95	     nbConstraintChecks=107720473  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
196.95	     solvingWckTime=192.908  solvingCpuTime=191.69  expiredTime=no  totalExploration=no  nbFoundSolutions=0
196.95	     globalCpuTime=194.89
196.95	       =>  wckTime=196.647  cpuTime=194.84  mem=41M887
196.95	   
196.95	   solver IterativeSystematicSolver being built... 
197.42	       =>  wckTime=197.121  cpuTime=195.23  mem=79M681
328.27	   
328.27	   preprocessing
328.27	     nbConstraintChecks=19595257  nbValidityChecks=15286938  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
328.27	     nbRemovedValues=0  detectedInconsistency=no
328.27	       =>  wckTime=130.839  cpuTime=130.06  mem=81M713
338.67	   
338.67	   search
338.67	     run=0  nbConstraintChecks=808704  nbValidityChecks=2303738  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
338.67	     nbAssignments=250  nbFailedAssignments=7  nbBacktracks=13  nbVisitedNodes=261  nbRestartNogoods=0
338.67	       =>  wckTime=141.243  cpuTime=140.41  mem=81M713
348.37	   
348.37	   search
348.37	     run=1  nbConstraintChecks=1683678  nbValidityChecks=4702424  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
348.37	     nbAssignments=507  nbFailedAssignments=14  nbBacktracks=33  nbVisitedNodes=527  nbRestartNogoods=5
348.37	       =>  wckTime=150.95  cpuTime=150.06  mem=81M713
357.77	   
357.77	   search
357.77	     run=2  nbConstraintChecks=2506097  nbValidityChecks=7035503  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
357.77	     nbAssignments=763  nbFailedAssignments=18  nbBacktracks=56  nbVisitedNodes=788  nbRestartNogoods=6
357.77	       =>  wckTime=160.347  cpuTime=159.43  mem=81M713
368.35	   
368.36	   search
368.36	     run=3  nbConstraintChecks=3379180  nbValidityChecks=9472610  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
368.36	     nbAssignments=1021  nbFailedAssignments=31  nbBacktracks=89  nbVisitedNodes=1060  nbRestartNogoods=8
368.36	       =>  wckTime=170.932  cpuTime=170.0  mem=81M713
381.29	   
381.29	   search
381.29	     run=4  nbConstraintChecks=4621323  nbValidityChecks=12428286  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
381.29	     nbAssignments=1320  nbFailedAssignments=52  nbBacktracks=140  nbVisitedNodes=1382  nbRestartNogoods=10
381.29	       =>  wckTime=183.871  cpuTime=182.93  mem=81M713
394.59	   
394.59	   search
394.59	     run=5  nbConstraintChecks=5993744  nbValidityChecks=15612431  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
394.59	     nbAssignments=1634  nbFailedAssignments=80  nbBacktracks=215  nbVisitedNodes=1726  nbRestartNogoods=13
394.59	       =>  wckTime=197.167  cpuTime=196.22  mem=81M713
412.91	   
412.91	   search
412.91	     run=6  nbConstraintChecks=7802807  nbValidityChecks=19452753  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
412.91	     nbAssignments=2007  nbFailedAssignments=112  nbBacktracks=332  nbVisitedNodes=2135  nbRestartNogoods=15
412.91	       =>  wckTime=215.486  cpuTime=214.53  mem=81M713
434.86	   
434.86	   search
434.86	     run=7  nbConstraintChecks=10092385  nbValidityChecks=24057153  nbPropagations=0  nbRevisions=0
434.86	     nbUselessRevisions=0  nbAssignments=2439  nbFailedAssignments=158  nbBacktracks=502  nbVisitedNodes=2619
434.86	     nbRestartNogoods=21
434.86	       =>  wckTime=237.437  cpuTime=236.47  mem=81M713
465.96	   
465.96	   search
465.96	     run=8  nbConstraintChecks=13745975  nbValidityChecks=30703356  nbPropagations=0  nbRevisions=0
465.96	     nbUselessRevisions=0  nbAssignments=3013  nbFailedAssignments=257  nbBacktracks=759  nbVisitedNodes=3299
465.96	     nbRestartNogoods=25
465.96	       =>  wckTime=268.537  cpuTime=267.56  mem=81M713
509.80	   
509.80	   search
509.80	     run=9  nbConstraintChecks=18331429  nbValidityChecks=39169624  nbPropagations=0  nbRevisions=0
509.80	     nbUselessRevisions=0  nbAssignments=3739  nbFailedAssignments=399  nbBacktracks=1144  nbVisitedNodes=4175
509.80	     nbRestartNogoods=31
509.80	       =>  wckTime=312.374  cpuTime=311.16  mem=81M713
561.63	   
561.63	   search
561.63	     run=10  nbConstraintChecks=37310942  nbValidityChecks=59331775  nbPropagations=0  nbRevisions=0
561.64	     nbUselessRevisions=0  nbAssignments=6462  nbFailedAssignments=432  nbBacktracks=1938  nbVisitedNodes=6934
561.64	     nbRestartNogoods=34
561.64	       =>  wckTime=364.212  cpuTime=362.71  mem=81M713
648.55	   
648.55	   search
648.55	     run=11  nbConstraintChecks=45139111  nbValidityChecks=73825801  nbPropagations=0  nbRevisions=0
648.55	     nbUselessRevisions=0  nbAssignments=7759  nbFailedAssignments=674  nbBacktracks=2804  nbVisitedNodes=8505
648.55	     nbRestartNogoods=47
648.55	       =>  wckTime=451.128  cpuTime=449.15  mem=81M713
709.39	   
709.39	   search
709.39	     run=12  nbConstraintChecks=65678100  nbValidityChecks=95988611  nbPropagations=0  nbRevisions=0
709.39	     nbUselessRevisions=0  nbAssignments=10678  nbFailedAssignments=778  nbBacktracks=4102  nbVisitedNodes=11551
709.39	     nbRestartNogoods=50
709.39	       =>  wckTime=511.968  cpuTime=509.67  mem=81M713
772.60	   
772.60	   search
772.60	     run=13  nbConstraintChecks=85932063  nbValidityChecks=119734938  nbPropagations=0  nbRevisions=0
772.60	     nbUselessRevisions=0  nbAssignments=13202  nbFailedAssignments=942  nbBacktracks=6058  nbVisitedNodes=14267
772.60	     nbRestartNogoods=57
772.60	       =>  wckTime=575.177  cpuTime=572.52  mem=81M713
859.20	   
859.20	   search
859.20	     run=14  nbConstraintChecks=114571589  nbValidityChecks=152634762  nbPropagations=0  nbRevisions=0
859.20	     nbUselessRevisions=0  nbAssignments=16710  nbFailedAssignments=1137  nbBacktracks=8987  nbVisitedNodes=18009
859.20	     nbRestartNogoods=66
859.20	       =>  wckTime=661.778  cpuTime=658.67  mem=81M713
1034.15	   
1034.15	   search
1034.15	     run=15  nbConstraintChecks=165304615  nbValidityChecks=221668657  nbPropagations=0  nbRevisions=0
1034.15	     nbUselessRevisions=0  nbAssignments=22238  nbFailedAssignments=2029  nbBacktracks=13367  nbVisitedNodes=24609
1034.15	     nbRestartNogoods=74
1034.15	       =>  wckTime=836.73  cpuTime=832.68  mem=81M713
1522.55	   
1522.55	   search
1522.55	     run=16  nbConstraintChecks=239101727  nbValidityChecks=334211208  nbPropagations=0  nbRevisions=0
1522.55	     nbUselessRevisions=0  nbAssignments=30695  nbFailedAssignments=3735  nbBacktracks=19949  nbVisitedNodes=35052
1522.55	     nbRestartNogoods=78
1522.55	       =>  wckTime=1325.13  cpuTime=1318.42  mem=81M713
2254.02	   
2254.02	   search
2254.02	     run=17  nbConstraintChecks=315565205  nbValidityChecks=464592130  nbPropagations=0  nbRevisions=0
2254.02	     nbUselessRevisions=0  nbAssignments=42226  nbFailedAssignments=5243  nbBacktracks=29819  nbVisitedNodes=48272
2254.02	     nbRestartNogoods=84
2254.02	       =>  wckTime=2056.593  cpuTime=2045.91  mem=81M713
2412.73	v 0 1 0 1 1 0 1 0 1 1 0 1 1 1 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 1 0 0 1 1 1 1 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 0 0 0 1 1 1 0 1 1 0 0 1 1 0 1 1 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 1 1 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 1 1 0 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 0 1 0 1 0 0 1 1 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 1 0 0 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 1 1 1 1 0 1 0 1 0 1 0 0 0 1 1 1 0 1 1 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 0 1 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 1 1 0 1 0 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 1 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 0 1 0 1 1 0 1 1 0 0 0 0 1 0 0 1 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 0 0 1 1 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 1 1 1 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 1 1 0 1 1 1 1 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 1 1 0 1 0 1 0 0 0 1 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 1 0 0 0 1 0 1 1 0 0 1 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 1 0 1 0 1 0 0 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 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 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 0 0 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 1 0 0 1 0 1 1 0 0 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 0 0 1 1 1 1 1 0 1 1 1 0 0 1 1 0 1 0 0 1 0 0 0 1 1 0 0 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 0 1 0 0 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 1 1 1 1 0 0 0 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 0 0 1 1 1 1 0 0 1 1 0 0 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 0 1 1 0 1 0 1 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 1 1 1 1 0 0 1 1 1 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1

Verifier Data (download as text)

1 unsatisfied constraints, 12827 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/node18/watcher-275732-1169226230 -o ROOT/results/node18/solver-275732-1169226230 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275732-1169226230/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.93 1.99 1.99 4/94 1717
/proc/meminfo: memFree=1197208/2055920 swapFree=4192812/4192956
[pid=1716] ppid=1714 vsize=172 CPUtime=0
/proc/1716/stat : 1716 (java) R 1714 1716 1311 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 271017791 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7860523 0 0 4096 0 0 0 0 17 0 0 0
/proc/1716/statm: 43 24 18 14 0 3 0

[startup+0.107385 s]
/proc/loadavg: 1.93 1.99 1.99 4/94 1717
/proc/meminfo: memFree=1197208/2055920 swapFree=4192812/4192956
[pid=1716] ppid=1714 vsize=914988 CPUtime=0.08
/proc/1716/stat : 1716 (java) R 1714 1716 1311 0 -1 0 3038 0 1 0 7 1 0 0 23 0 8 0 271017791 936947712 2784 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153609865 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1716/statm: 228747 2785 1443 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515427 s]
/proc/loadavg: 1.93 1.99 1.99 4/94 1717
/proc/meminfo: memFree=1197208/2055920 swapFree=4192812/4192956
[pid=1716] ppid=1714 vsize=915332 CPUtime=0.41
/proc/1716/stat : 1716 (java) R 1714 1716 1311 0 -1 0 6211 0 1 0 38 3 0 0 18 0 8 0 271017791 937299968 5950 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073570607 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1716/statm: 228833 5951 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 915332

[startup+1.3375 s]
/proc/loadavg: 1.93 1.99 1.99 3/101 1725
/proc/meminfo: memFree=1135008/2055920 swapFree=4192812/4192956
[pid=1716] ppid=1714 vsize=915640 CPUtime=1.24
/proc/1716/stat : 1716 (java) R 1714 1716 1311 0 -1 0 18953 0 1 0 115 9 0 0 24 0 8 0 271017791 937615360 18690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1716/statm: 228910 18690 2162 14 0 215380 0
[pid=1716/tid=1718] ppid=1714 vsize=915640 CPUtime=0.07
/proc/1716/task/1718/stat : 1718 (java) S 1714 1716 1311 0 -1 64 2395 0 0 0 7 0 0 0 16 0 8 0 271017794 937615360 18690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1719] ppid=1714 vsize=915640 CPUtime=0
/proc/1716/task/1719/stat : 1719 (java) S 1714 1716 1311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271017795 937615360 18690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1720] ppid=1714 vsize=915640 CPUtime=0
/proc/1716/task/1720/stat : 1720 (java) S 1714 1716 1311 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271017795 937615360 18690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1722] ppid=1714 vsize=915640 CPUtime=0
/proc/1716/task/1722/stat : 1722 (java) S 1714 1716 1311 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271017798 937615360 18690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1723] ppid=1714 vsize=915640 CPUtime=0.15
/proc/1716/task/1723/stat : 1723 (java) S 1714 1716 1311 0 -1 64 404 0 0 0 15 0 0 0 16 0 8 0 271017798 937615360 18690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1724] ppid=1714 vsize=915640 CPUtime=0
/proc/1716/task/1724/stat : 1724 (java) S 1714 1716 1311 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 271017798 937615360 18690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1725] ppid=1714 vsize=915640 CPUtime=0
/proc/1716/task/1725/stat : 1725 (java) S 1714 1716 1311 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271017798 937615360 18690 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915640

[startup+2.99166 s]
/proc/loadavg: 1.94 1.99 1.99 3/101 1725
/proc/meminfo: memFree=1129184/2055920 swapFree=4192812/4192956
[pid=1716] ppid=1714 vsize=915640 CPUtime=2.88
/proc/1716/stat : 1716 (java) R 1714 1716 1311 0 -1 0 19041 0 1 0 234 54 0 0 25 0 8 0 271017791 937615360 18776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073891724 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1716/statm: 228910 18776 2182 14 0 215380 0
[pid=1716/tid=1718] ppid=1714 vsize=915640 CPUtime=0.08
/proc/1716/task/1718/stat : 1718 (java) S 1714 1716 1311 0 -1 64 2395 0 0 0 8 0 0 0 17 0 8 0 271017794 937615360 18776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1719] ppid=1714 vsize=915640 CPUtime=0
/proc/1716/task/1719/stat : 1719 (java) S 1714 1716 1311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271017795 937615360 18776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1720] ppid=1714 vsize=915640 CPUtime=0
/proc/1716/task/1720/stat : 1720 (java) S 1714 1716 1311 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271017795 937615360 18776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1722] ppid=1714 vsize=915640 CPUtime=0
/proc/1716/task/1722/stat : 1722 (java) S 1714 1716 1311 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271017798 937615360 18776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1723] ppid=1714 vsize=915640 CPUtime=0.19
/proc/1716/task/1723/stat : 1723 (java) S 1714 1716 1311 0 -1 64 428 0 0 0 19 0 0 0 15 0 8 0 271017798 937615360 18776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1724] ppid=1714 vsize=915640 CPUtime=0
/proc/1716/task/1724/stat : 1724 (java) S 1714 1716 1311 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 271017798 937615360 18776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1725] ppid=1714 vsize=915640 CPUtime=0
/proc/1716/task/1725/stat : 1725 (java) S 1714 1716 1311 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271017798 937615360 18776 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915640

[startup+6.19898 s]
/proc/loadavg: 1.94 1.99 1.99 3/101 1725
/proc/meminfo: memFree=1091424/2055920 swapFree=4192812/4192956
[pid=1716] ppid=1714 vsize=915752 CPUtime=6.09
/proc/1716/stat : 1716 (java) R 1714 1716 1311 0 -1 0 28335 0 1 0 546 63 0 0 25 0 8 0 271017791 937730048 28066 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073974367 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1716/statm: 228938 28066 2496 14 0 215408 0
[pid=1716/tid=1718] ppid=1714 vsize=915752 CPUtime=0.3
/proc/1716/task/1718/stat : 1718 (java) S 1714 1716 1311 0 -1 64 11324 0 0 0 26 4 0 0 16 0 8 0 271017794 937730048 28066 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1719] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1719/stat : 1719 (java) S 1714 1716 1311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271017795 937730048 28066 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1720] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1720/stat : 1720 (java) S 1714 1716 1311 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271017795 937730048 28066 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1722] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1722/stat : 1722 (java) S 1714 1716 1311 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271017798 937730048 28066 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1723] ppid=1714 vsize=915752 CPUtime=0.23
/proc/1716/task/1723/stat : 1723 (java) S 1714 1716 1311 0 -1 64 456 0 0 0 23 0 0 0 15 0 8 0 271017798 937730048 28066 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1724] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1724/stat : 1724 (java) S 1714 1716 1311 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 271017798 937730048 28066 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1725] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1725/stat : 1725 (java) S 1714 1716 1311 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271017798 937730048 28066 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915752

[startup+12.6764 s]
/proc/loadavg: 2.02 2.00 2.00 3/101 1725
/proc/meminfo: memFree=1089120/2055920 swapFree=4192812/4192956
[pid=1716] ppid=1714 vsize=915752 CPUtime=12.5
/proc/1716/stat : 1716 (java) R 1714 1716 1311 0 -1 0 28336 0 1 0 1183 67 0 0 25 0 8 0 271017791 937730048 28067 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073887509 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1716/statm: 228938 28067 2496 14 0 215408 0
[pid=1716/tid=1718] ppid=1714 vsize=915752 CPUtime=0.3
/proc/1716/task/1718/stat : 1718 (java) S 1714 1716 1311 0 -1 64 11324 0 0 0 26 4 0 0 16 0 8 0 271017794 937730048 28067 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1719] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1719/stat : 1719 (java) S 1714 1716 1311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271017795 937730048 28067 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1720] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1720/stat : 1720 (java) S 1714 1716 1311 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271017795 937730048 28067 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1722] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1722/stat : 1722 (java) S 1714 1716 1311 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271017798 937730048 28067 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1723] ppid=1714 vsize=915752 CPUtime=0.23
/proc/1716/task/1723/stat : 1723 (java) S 1714 1716 1311 0 -1 64 457 0 0 0 23 0 0 0 15 0 8 0 271017798 937730048 28067 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1724] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1724/stat : 1724 (java) S 1714 1716 1311 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 271017798 937730048 28067 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1725] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1725/stat : 1725 (java) S 1714 1716 1311 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271017798 937730048 28067 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915752

[startup+25.5496 s]
/proc/loadavg: 2.02 2.00 2.00 3/101 1725
/proc/meminfo: memFree=1084192/2055920 swapFree=4192812/4192956
[pid=1716] ppid=1714 vsize=915752 CPUtime=25.28
/proc/1716/stat : 1716 (java) R 1714 1716 1311 0 -1 0 28345 0 1 0 2455 73 0 0 25 0 8 0 271017791 937730048 28074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073974324 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1716/statm: 228938 28074 2496 14 0 215408 0
[pid=1716/tid=1718] ppid=1714 vsize=915752 CPUtime=0.3
/proc/1716/task/1718/stat : 1718 (java) S 1714 1716 1311 0 -1 64 11324 0 0 0 26 4 0 0 16 0 8 0 271017794 937730048 28074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1719] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1719/stat : 1719 (java) S 1714 1716 1311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271017795 937730048 28074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1720] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1720/stat : 1720 (java) S 1714 1716 1311 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271017795 937730048 28074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1722] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1722/stat : 1722 (java) S 1714 1716 1311 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271017798 937730048 28074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1723] ppid=1714 vsize=915752 CPUtime=0.25
/proc/1716/task/1723/stat : 1723 (java) S 1714 1716 1311 0 -1 64 464 0 0 0 25 0 0 0 16 0 8 0 271017798 937730048 28074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1724] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1724/stat : 1724 (java) S 1714 1716 1311 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 271017798 937730048 28074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1725] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1725/stat : 1725 (java) S 1714 1716 1311 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271017798 937730048 28074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915752

[startup+51.1711 s]
/proc/loadavg: 2.01 2.00 2.00 3/101 1725
/proc/meminfo: memFree=1073568/2055920 swapFree=4192812/4192956
[pid=1716] ppid=1714 vsize=915752 CPUtime=50.72
/proc/1716/stat : 1716 (java) R 1714 1716 1311 0 -1 0 28347 0 1 0 4984 88 0 0 25 0 8 0 271017791 937730048 28076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073891301 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1716/statm: 228938 28076 2496 14 0 215408 0
[pid=1716/tid=1718] ppid=1714 vsize=915752 CPUtime=0.3
/proc/1716/task/1718/stat : 1718 (java) S 1714 1716 1311 0 -1 64 11324 0 0 0 26 4 0 0 16 0 8 0 271017794 937730048 28076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1719] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1719/stat : 1719 (java) S 1714 1716 1311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271017795 937730048 28076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1720] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1720/stat : 1720 (java) S 1714 1716 1311 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271017795 937730048 28076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1722] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1722/stat : 1722 (java) S 1714 1716 1311 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271017798 937730048 28076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1723] ppid=1714 vsize=915752 CPUtime=0.26
/proc/1716/task/1723/stat : 1723 (java) S 1714 1716 1311 0 -1 64 466 0 0 0 25 1 0 0 16 0 8 0 271017798 937730048 28076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1724] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1724/stat : 1724 (java) S 1714 1716 1311 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 271017798 937730048 28076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1725] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1725/stat : 1725 (java) S 1714 1716 1311 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271017798 937730048 28076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915752

[startup+102.397 s]
/proc/loadavg: 2.04 2.01 2.00 3/101 1725
/proc/meminfo: memFree=1056800/2055920 swapFree=4192812/4192956
[pid=1716] ppid=1714 vsize=915752 CPUtime=101.63
/proc/1716/stat : 1716 (java) R 1714 1716 1311 0 -1 0 28354 0 1 0 10023 140 0 0 25 0 8 0 271017791 937730048 28083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073890903 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1716/statm: 228938 28083 2496 14 0 215408 0
[pid=1716/tid=1718] ppid=1714 vsize=915752 CPUtime=0.3
/proc/1716/task/1718/stat : 1718 (java) S 1714 1716 1311 0 -1 64 11324 0 0 0 26 4 0 0 16 0 8 0 271017794 937730048 28083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1719] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1719/stat : 1719 (java) S 1714 1716 1311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271017795 937730048 28083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1720] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1720/stat : 1720 (java) S 1714 1716 1311 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271017795 937730048 28083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1722] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1722/stat : 1722 (java) S 1714 1716 1311 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271017798 937730048 28083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1723] ppid=1714 vsize=915752 CPUtime=0.27
/proc/1716/task/1723/stat : 1723 (java) S 1714 1716 1311 0 -1 64 473 0 0 0 26 1 0 0 17 0 8 0 271017798 937730048 28083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1724] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1724/stat : 1724 (java) S 1714 1716 1311 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 271017798 937730048 28083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1725] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1725/stat : 1725 (java) S 1714 1716 1311 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271017798 937730048 28083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.63
Current children cumulated vsize (KiB) 915752

[startup+162.455 s]
/proc/loadavg: 2.08 2.02 2.00 3/101 1725
/proc/meminfo: memFree=1037536/2055920 swapFree=4192812/4192956
[pid=1716] ppid=1714 vsize=915752 CPUtime=161.37
/proc/1716/stat : 1716 (java) R 1714 1716 1311 0 -1 0 28354 0 1 0 15921 216 0 0 25 0 8 0 271017791 937730048 28083 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470032 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

################
# More data... #
################

Current children cumulated CPU time (s) 2014.43
Current children cumulated vsize (KiB) 915752

[startup+2085.13 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 1865
/proc/meminfo: memFree=1185768/2055920 swapFree=4192812/4192956
[pid=1716] ppid=1714 vsize=915752 CPUtime=2074.18
/proc/1716/stat : 1716 (java) R 1714 1716 1311 0 -1 0 28578 0 1 0 207146 272 0 0 25 0 8 0 271017791 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074303496 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1716/statm: 228938 28276 2548 14 0 215408 0
[pid=1716/tid=1718] ppid=1714 vsize=915752 CPUtime=0.33
/proc/1716/task/1718/stat : 1718 (java) S 1714 1716 1311 0 -1 64 11325 0 0 0 29 4 0 0 16 0 8 0 271017794 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1719] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1719/stat : 1719 (java) S 1714 1716 1311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271017795 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1720] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1720/stat : 1720 (java) S 1714 1716 1311 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271017795 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1722] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1722/stat : 1722 (java) S 1714 1716 1311 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271017798 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1723] ppid=1714 vsize=915752 CPUtime=0.45
/proc/1716/task/1723/stat : 1723 (java) S 1714 1716 1311 0 -1 64 586 0 0 0 43 2 0 0 16 0 8 0 271017798 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1724] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1724/stat : 1724 (java) S 1714 1716 1311 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 271017798 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1725] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1725/stat : 1725 (java) S 1714 1716 1311 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271017798 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2074.18
Current children cumulated vsize (KiB) 915752

[startup+2145.22 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 1865
/proc/meminfo: memFree=1185832/2055920 swapFree=4192812/4192956
[pid=1716] ppid=1714 vsize=915752 CPUtime=2133.95
/proc/1716/stat : 1716 (java) R 1714 1716 1311 0 -1 0 28578 0 1 0 213123 272 0 0 25 0 8 0 271017791 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074263786 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1716/statm: 228938 28276 2548 14 0 215408 0
[pid=1716/tid=1718] ppid=1714 vsize=915752 CPUtime=0.33
/proc/1716/task/1718/stat : 1718 (java) S 1714 1716 1311 0 -1 64 11325 0 0 0 29 4 0 0 16 0 8 0 271017794 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1719] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1719/stat : 1719 (java) S 1714 1716 1311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271017795 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1720] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1720/stat : 1720 (java) S 1714 1716 1311 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271017795 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1722] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1722/stat : 1722 (java) S 1714 1716 1311 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271017798 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1723] ppid=1714 vsize=915752 CPUtime=0.45
/proc/1716/task/1723/stat : 1723 (java) S 1714 1716 1311 0 -1 64 586 0 0 0 43 2 0 0 16 0 8 0 271017798 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1724] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1724/stat : 1724 (java) S 1714 1716 1311 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 271017798 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1725] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1725/stat : 1725 (java) S 1714 1716 1311 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271017798 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2133.95
Current children cumulated vsize (KiB) 915752

[startup+2205.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 1865
/proc/meminfo: memFree=1185768/2055920 swapFree=4192812/4192956
[pid=1716] ppid=1714 vsize=915752 CPUtime=2193.72
/proc/1716/stat : 1716 (java) R 1714 1716 1311 0 -1 0 28578 0 1 0 219100 272 0 0 25 0 8 0 271017791 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074303414 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1716/statm: 228938 28276 2548 14 0 215408 0
[pid=1716/tid=1718] ppid=1714 vsize=915752 CPUtime=0.33
/proc/1716/task/1718/stat : 1718 (java) S 1714 1716 1311 0 -1 64 11325 0 0 0 29 4 0 0 16 0 8 0 271017794 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1719] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1719/stat : 1719 (java) S 1714 1716 1311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271017795 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1720] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1720/stat : 1720 (java) S 1714 1716 1311 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271017795 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1722] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1722/stat : 1722 (java) S 1714 1716 1311 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271017798 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1723] ppid=1714 vsize=915752 CPUtime=0.45
/proc/1716/task/1723/stat : 1723 (java) S 1714 1716 1311 0 -1 64 586 0 0 0 43 2 0 0 16 0 8 0 271017798 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1724] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1724/stat : 1724 (java) S 1714 1716 1311 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 271017798 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1725] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1725/stat : 1725 (java) S 1714 1716 1311 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271017798 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2193.72
Current children cumulated vsize (KiB) 915752

[startup+2265.39 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 1865
/proc/meminfo: memFree=1185832/2055920 swapFree=4192812/4192956
[pid=1716] ppid=1714 vsize=915752 CPUtime=2253.48
/proc/1716/stat : 1716 (java) R 1714 1716 1311 0 -1 0 28578 0 1 0 225075 273 0 0 25 0 8 0 271017791 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074384548 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1716/statm: 228938 28276 2548 14 0 215408 0
[pid=1716/tid=1718] ppid=1714 vsize=915752 CPUtime=0.33
/proc/1716/task/1718/stat : 1718 (java) S 1714 1716 1311 0 -1 64 11325 0 0 0 29 4 0 0 16 0 8 0 271017794 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1719] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1719/stat : 1719 (java) S 1714 1716 1311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271017795 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1720] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1720/stat : 1720 (java) S 1714 1716 1311 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271017795 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1722] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1722/stat : 1722 (java) S 1714 1716 1311 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271017798 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1723] ppid=1714 vsize=915752 CPUtime=0.45
/proc/1716/task/1723/stat : 1723 (java) S 1714 1716 1311 0 -1 64 586 0 0 0 43 2 0 0 16 0 8 0 271017798 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1724] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1724/stat : 1724 (java) S 1714 1716 1311 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 271017798 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1725] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1725/stat : 1725 (java) S 1714 1716 1311 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271017798 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2253.48
Current children cumulated vsize (KiB) 915752

[startup+2325.48 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 1865
/proc/meminfo: memFree=1185768/2055920 swapFree=4192812/4192956
[pid=1716] ppid=1714 vsize=915752 CPUtime=2313.24
/proc/1716/stat : 1716 (java) R 1714 1716 1311 0 -1 0 28578 0 1 0 231051 273 0 0 25 0 8 0 271017791 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074259938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1716/statm: 228938 28276 2548 14 0 215408 0
[pid=1716/tid=1718] ppid=1714 vsize=915752 CPUtime=0.33
/proc/1716/task/1718/stat : 1718 (java) S 1714 1716 1311 0 -1 64 11325 0 0 0 29 4 0 0 16 0 8 0 271017794 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1719] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1719/stat : 1719 (java) S 1714 1716 1311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271017795 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1720] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1720/stat : 1720 (java) S 1714 1716 1311 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271017795 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1722] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1722/stat : 1722 (java) S 1714 1716 1311 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271017798 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1723] ppid=1714 vsize=915752 CPUtime=0.45
/proc/1716/task/1723/stat : 1723 (java) S 1714 1716 1311 0 -1 64 586 0 0 0 43 2 0 0 16 0 8 0 271017798 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1724] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1724/stat : 1724 (java) S 1714 1716 1311 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 271017798 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1725] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1725/stat : 1725 (java) S 1714 1716 1311 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271017798 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2313.24
Current children cumulated vsize (KiB) 915752

[startup+2385.57 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 1865
/proc/meminfo: memFree=1185832/2055920 swapFree=4192812/4192956
[pid=1716] ppid=1714 vsize=915752 CPUtime=2373
/proc/1716/stat : 1716 (java) R 1714 1716 1311 0 -1 0 28578 0 1 0 237027 273 0 0 25 0 8 0 271017791 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074303496 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1716/statm: 228938 28276 2548 14 0 215408 0
[pid=1716/tid=1718] ppid=1714 vsize=915752 CPUtime=0.33
/proc/1716/task/1718/stat : 1718 (java) S 1714 1716 1311 0 -1 64 11325 0 0 0 29 4 0 0 16 0 8 0 271017794 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1719] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1719/stat : 1719 (java) S 1714 1716 1311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271017795 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1720] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1720/stat : 1720 (java) S 1714 1716 1311 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271017795 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1722] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1722/stat : 1722 (java) S 1714 1716 1311 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271017798 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1723] ppid=1714 vsize=915752 CPUtime=0.45
/proc/1716/task/1723/stat : 1723 (java) S 1714 1716 1311 0 -1 64 586 0 0 0 43 2 0 0 16 0 8 0 271017798 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1724] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1724/stat : 1724 (java) S 1714 1716 1311 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 271017798 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1725] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1725/stat : 1725 (java) S 1714 1716 1311 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271017798 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2373
Current children cumulated vsize (KiB) 915752



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2412.73 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 1865
/proc/meminfo: memFree=1185768/2055920 swapFree=4192812/4192956
[pid=1716] ppid=1714 vsize=915752 CPUtime=2400.02
/proc/1716/stat : 1716 (java) R 1714 1716 1311 0 -1 0 28578 0 1 0 239729 273 0 0 25 0 8 0 271017791 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074292995 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1716/statm: 228938 28276 2548 14 0 215408 0
[pid=1716/tid=1718] ppid=1714 vsize=915752 CPUtime=0.33
/proc/1716/task/1718/stat : 1718 (java) S 1714 1716 1311 0 -1 64 11325 0 0 0 29 4 0 0 16 0 8 0 271017794 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1719] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1719/stat : 1719 (java) S 1714 1716 1311 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271017795 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1720] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1720/stat : 1720 (java) S 1714 1716 1311 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271017795 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1722] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1722/stat : 1722 (java) S 1714 1716 1311 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 271017798 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1723] ppid=1714 vsize=915752 CPUtime=0.45
/proc/1716/task/1723/stat : 1723 (java) S 1714 1716 1311 0 -1 64 586 0 0 0 43 2 0 0 16 0 8 0 271017798 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1724] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1724/stat : 1724 (java) S 1714 1716 1311 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 271017798 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1716/tid=1725] ppid=1714 vsize=915752 CPUtime=0
/proc/1716/task/1725/stat : 1725 (java) S 1714 1716 1311 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271017798 937730048 28276 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 915752

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 143
Real time (s): 2412.92
CPU time (s): 2400.06
CPU user time (s): 2397.31
CPU system time (s): 2.75058
CPU usage (%): 99.467
Max. virtual memory (cumulated for all children) (KiB): 915800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.31
system time used= 2.75058
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28601
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= 50885
involuntary context switches= 57331

runsolver used 2.53661 s user time and 8.20675 s system time

The end

Launcher Data (download as text)

Begin job on node18 on Fri Jan 19 17:03:51 UTC 2007


IDJOB= 275732
IDBENCH= 4639
IDSOLVER= 68
FILE ID= node18/275732-1169226230

PBS_JOBID= 3588966

Free space on /tmp= 66554 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/25s-smv.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275732-1169226230/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-275732-1169226230 -o ROOT/results/node18/solver-275732-1169226230 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275732-1169226230/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f7a273ee733be68f959a2f3726847276

RANDOM SEED= 641569195

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.231
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.231
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:       1197624 kB
Buffers:         49976 kB
Cached:         551552 kB
SwapCached:          0 kB
Active:         343896 kB
Inactive:       434556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1197624 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3752 kB
Writeback:           0 kB
Mapped:         203812 kB
Slab:            64496 kB
Committed_AS:  8078048 kB
PageTables:       2384 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= 66561 MiB



End job on node18 on Fri Jan 19 17:44:04 UTC 2007