Trace number 275733

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 PFCMSAT (TO) 2400.07 2408.73

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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/275733-1169226231/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.63	     nbVariables=5072  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.63	       =>  wckTime=0.318  cpuTime=0.22  mem=15M696
0.63	   
0.63	   predicates being loaded...
0.64	   
0.64	   constraints being loaded...
4.03	     nbConstraints=12828  nbSingletonDomainVariables=1077  nbConvertedConstraints=7988
4.03	     nbConvertConstraintsChecks=852085  nbExtensionStructures=12  nbSharedExtensionStructures=7976
4.03	     nbConflictsStructures=70  nbSharedConflictsStructures=12758  nbSharedBinaryRepresentations=29
4.03	     nbEvaluationManagers=58  nbSharedEvaluationManagers=4782  maxDegree=340  maxArity=15
4.03	       =>  wckTime=3.723  cpuTime=3.3  mem=37M828
4.15	   
4.15	   solver LocalSearchSolver being built... 
4.19	       =>  wckTime=3.882  cpuTime=3.36  mem=40M936
4.23	
4.23	s SATISFIABLE
4.23	o 10815
4.23	c 2013
4.25	o 10822
4.25	c 2006
4.30	o 10826
4.30	c 2002
4.32	o 10833
4.32	c 1995
4.33	o 10840
4.33	c 1988
4.34	o 10845
4.34	c 1983
4.35	o 10854
4.35	c 1974
4.37	o 10860
4.37	c 1968
4.39	o 10862
4.39	c 1966
4.40	o 10865
4.40	c 1963
4.41	o 10873
4.41	c 1955
4.42	o 10882
4.42	c 1946
4.43	o 10888
4.43	c 1940
4.44	o 10890
4.44	c 1938
4.46	o 10896
4.46	c 1932
4.47	o 10897
4.47	c 1931
4.49	o 10904
4.49	c 1924
4.50	o 10911
4.50	c 1917
4.55	o 10914
4.55	c 1914
4.56	o 10917
4.56	c 1911
4.57	o 10921
4.57	c 1907
4.58	o 10923
4.59	c 1905
4.63	o 10925
4.63	c 1903
4.65	o 10929
4.65	c 1899
4.66	o 10933
4.66	c 1895
4.67	o 10936
4.67	c 1892
4.94	o 10947
4.94	c 1881
4.95	o 10951
4.95	c 1877
5.54	o 10952
5.54	c 1876
6.28	o 10954
6.28	c 1874
6.34	o 10956
6.34	c 1872
6.36	o 10968
6.36	c 1860
6.39	o 10971
6.39	c 1857
6.41	o 10974
6.41	c 1854
6.43	o 10977
6.43	c 1851
6.45	o 10980
6.45	c 1848
6.47	o 10983
6.47	c 1845
6.49	o 10986
6.49	c 1842
6.51	o 10996
6.51	c 1832
6.53	o 10997
6.53	c 1831
6.55	o 10998
6.55	c 1830
6.57	o 11004
6.57	c 1824
6.59	o 11005
6.59	c 1823
6.61	o 11008
6.61	c 1820
6.70	o 11011
6.70	c 1817
6.72	o 11014
6.72	c 1814
6.74	o 11017
6.74	c 1811
6.78	o 11020
6.78	c 1808
6.81	o 11023
6.81	c 1805
6.83	o 11026
6.83	c 1802
6.85	o 11029
6.85	c 1799
6.87	o 11032
6.87	c 1796
6.90	o 11035
6.90	c 1793
6.96	o 11038
6.96	c 1790
6.98	o 11041
6.98	c 1787
7.08	o 11043
7.08	c 1785
7.10	o 11046
7.10	c 1782
7.12	o 11049
7.12	c 1779
7.16	o 11050
7.16	c 1778
7.19	o 11053
7.19	c 1775
7.27	o 11055
7.27	c 1773
7.29	o 11059
7.29	c 1769
7.31	o 11060
7.31	c 1768
7.33	o 11063
7.33	c 1765
7.35	o 11066
7.36	c 1762
7.38	o 11069
7.38	c 1759
7.40	o 11075
7.40	c 1753
7.50	o 11076
7.50	c 1752
7.53	o 11079
7.53	c 1749
7.55	o 11082
7.55	c 1746
7.86	o 11083
7.86	c 1745
7.88	o 11087
7.88	c 1741
7.90	o 11090
7.90	c 1738
7.93	o 11093
7.93	c 1735
7.95	o 11096
7.95	c 1732
7.97	o 11099
7.97	c 1729
7.99	o 11102
7.99	c 1726
8.01	o 11105
8.01	c 1723
8.03	o 11108
8.03	c 1720
8.05	o 11111
8.05	c 1717
8.07	o 11113
8.07	c 1715
8.09	o 11116
8.09	c 1712
8.11	o 11119
8.11	c 1709
8.13	o 11121
8.13	c 1707
8.15	o 11124
8.15	c 1704
8.17	o 11126
8.17	c 1702
8.19	o 11128
8.19	c 1700
8.21	o 11136
8.21	c 1692
8.38	o 11137
8.38	c 1691
8.40	o 11138
8.40	c 1690
8.42	o 11139
8.42	c 1689
8.45	o 11140
8.45	c 1688
8.47	o 11141
8.47	c 1687
8.49	o 11142
8.49	c 1686
8.51	o 11143
8.51	c 1685
8.92	o 11145
8.92	c 1683
8.94	o 11148
8.94	c 1680
8.97	o 11151
8.97	c 1677
8.99	o 11152
8.99	c 1676
9.07	o 11153
9.07	c 1675
9.10	o 11156
9.10	c 1672
9.12	o 11157
9.12	c 1671
9.16	o 11159
9.16	c 1669
9.18	o 11161
9.18	c 1667
9.24	o 11166
9.24	c 1662
9.26	o 11168
9.26	c 1660
9.28	o 11170
9.28	c 1658
9.30	o 11172
9.30	c 1656
9.32	o 11175
9.32	c 1653
9.38	o 11176
9.38	c 1652
9.40	o 11179
9.40	c 1649
9.44	o 11181
9.44	c 1647
9.46	o 11183
9.46	c 1645
9.72	o 11185
9.72	c 1643
9.94	o 11189
9.94	c 1639
9.96	o 11191
9.96	c 1637
9.98	o 11194
9.98	c 1634
10.27	o 11195
10.27	c 1633
10.29	o 11198
10.29	c 1630
10.31	o 11201
10.31	c 1627
10.33	o 11204
10.33	c 1624
10.35	o 11206
10.35	c 1622
10.37	o 11209
10.37	c 1619
10.39	o 11210
10.39	c 1618
10.43	o 11213
10.43	c 1615
10.49	o 11214
10.49	c 1614
10.51	o 11217
10.51	c 1611
10.53	o 11220
10.53	c 1608
11.01	o 11222
11.01	c 1606
11.03	o 11224
11.03	c 1604
11.05	o 11226
11.05	c 1602
11.07	o 11228
11.07	c 1600
11.10	o 11230
11.10	c 1598
11.12	o 11232
11.12	c 1596
11.14	o 11234
11.14	c 1594
11.17	o 11236
11.17	c 1592
11.19	o 11238
11.19	c 1590
11.21	o 11240
11.21	c 1588
11.26	o 11241
11.26	c 1587
11.28	o 11243
11.28	c 1585
11.31	o 11245
11.31	c 1583
11.33	o 11252
11.33	c 1576
11.46	o 11253
11.46	c 1575
11.48	o 11255
11.48	c 1573
11.50	o 11257
11.50	c 1571
11.53	o 11259
11.53	c 1569
11.55	o 11260
11.55	c 1568
11.59	o 11262
11.59	c 1566
11.61	o 11266
11.61	c 1562
11.64	o 11268
11.64	c 1560
11.66	o 11270
11.66	c 1558
11.68	o 11273
11.68	c 1555
11.70	o 11275
11.70	c 1553
11.79	o 11277
11.79	c 1551
11.81	o 11279
11.81	c 1549
11.84	o 11281
11.84	c 1547
11.86	o 11283
11.86	c 1545
11.88	o 11285
11.88	c 1543
11.91	o 11287
11.91	c 1541
11.93	o 11289
11.93	c 1539
11.95	o 11291
11.95	c 1537
11.98	o 11293
11.98	c 1535
12.00	o 11295
12.00	c 1533
12.02	o 11299
12.02	c 1529
12.05	o 11301
12.05	c 1527
12.07	o 11303
12.07	c 1525
12.09	o 11305
12.09	c 1523
12.12	o 11307
12.12	c 1521
12.14	o 11309
12.14	c 1519
12.16	o 11311
12.16	c 1517
12.19	o 11313
12.19	c 1515
12.21	o 11321
12.21	c 1507
12.25	o 11327
12.25	c 1501
12.28	o 11329
12.28	c 1499
12.30	o 11331
12.30	c 1497
12.32	o 11333
12.33	c 1495
12.35	o 11337
12.35	c 1491
12.37	o 11339
12.37	c 1489
12.39	o 11341
12.39	c 1487
12.47	o 11342
12.47	c 1486
12.49	o 11344
12.49	c 1484
12.51	o 11353
12.51	c 1475
12.54	o 11355
12.54	c 1473
12.56	o 11357
12.56	c 1471
12.58	o 11359
12.58	c 1469
12.61	o 11361
12.61	c 1467
12.65	o 11363
12.65	c 1465
12.67	o 11365
12.67	c 1463
12.70	o 11367
12.70	c 1461
12.72	o 11369
12.72	c 1459
12.74	o 11371
12.74	c 1457
12.77	o 11373
12.77	c 1455
12.79	o 11375
12.79	c 1453
12.81	o 11377
12.81	c 1451
12.84	o 11379
12.84	c 1449
12.86	o 11381
12.86	c 1447
12.88	o 11383
12.88	c 1445
12.91	o 11385
12.91	c 1443
12.93	o 11387
12.93	c 1441
12.95	o 11389
12.95	c 1439
12.98	o 11395
12.98	c 1433
13.07	o 11397
13.07	c 1431
13.09	o 11399
13.09	c 1429
13.11	o 11401
13.11	c 1427
13.14	o 11403
13.14	c 1425
13.16	o 11405
13.16	c 1423
13.18	o 11407
13.18	c 1421
13.21	o 11409
13.21	c 1419
13.23	o 11411
13.23	c 1417
13.25	o 11413
13.25	c 1415
13.28	o 11415
13.28	c 1413
13.30	o 11417
13.30	c 1411
13.32	o 11420
13.32	c 1408
13.68	o 11422
13.68	c 1406
13.70	o 11424
13.70	c 1404
13.90	o 11425
13.90	c 1403
13.92	o 11427
13.92	c 1401
13.96	o 11429
13.96	c 1399
13.99	o 11431
13.99	c 1397
14.01	o 11433
14.01	c 1395
14.03	o 11435
14.03	c 1393
14.06	o 11438
14.06	c 1390
14.08	o 11440
14.08	c 1388
14.10	o 11442
14.10	c 1386
14.13	o 11444
14.13	c 1384
14.22	o 11446
14.22	c 1382
14.24	o 11448
14.24	c 1380
14.29	o 11453
14.29	c 1375
14.31	o 11455
14.31	c 1373
14.35	o 11457
14.35	c 1371
14.38	o 11459
14.38	c 1369
14.40	o 11461
14.40	c 1367
14.43	o 11463
14.43	c 1365
14.47	o 11465
14.47	c 1363
14.49	o 11467
14.49	c 1361
14.52	o 11468
14.52	c 1360
14.54	o 11473
14.54	c 1355
14.57	o 11475
14.57	c 1353
14.59	o 11477
14.59	c 1351
14.61	o 11479
14.61	c 1349
14.64	o 11481
14.64	c 1347
14.66	o 11483
14.66	c 1345
14.68	o 11485
14.68	c 1343
14.73	o 11486
14.73	c 1342
14.76	o 11488
14.76	c 1340
14.78	o 11490
14.78	c 1338
14.80	o 11492
14.80	c 1336
14.83	o 11494
14.83	c 1334
14.85	o 11496
14.85	c 1332
14.88	o 11498
14.88	c 1330
14.90	o 11500
14.90	c 1328
14.92	o 11502
14.92	c 1326
15.01	o 11504
15.01	c 1324
15.04	o 11506
15.04	c 1322
15.06	o 11515
15.06	c 1313
15.21	o 11516
15.21	c 1312
15.23	o 11518
15.23	c 1310
15.26	o 11520
15.26	c 1308
15.28	o 11522
15.28	c 1306
15.30	o 11524
15.30	c 1304
15.32	o 11526
15.32	c 1302
15.35	o 11528
15.35	c 1300
15.37	o 11530
15.37	c 1298
15.39	o 11532
15.39	c 1296
15.42	o 11534
15.42	c 1294
15.44	o 11538
15.44	c 1290
15.46	o 11539
15.46	c 1289
15.51	o 11540
15.51	c 1288
15.53	o 11542
15.53	c 1286
15.56	o 11544
15.56	c 1284
15.58	o 11545
15.58	c 1283
15.79	o 11547
15.79	c 1281
15.82	o 11549
15.82	c 1279
15.84	o 11551
15.84	c 1277
15.87	o 11553
15.87	c 1275
15.89	o 11555
15.89	c 1273
15.92	o 11557
15.92	c 1271
15.94	o 11561
15.94	c 1267
15.96	o 11563
15.96	c 1265
15.99	o 11565
15.99	c 1263
16.01	o 11567
16.01	c 1261
16.03	o 11569
16.03	c 1259
16.06	o 11571
16.06	c 1257
16.08	o 11573
16.08	c 1255
16.10	o 11575
16.10	c 1253
16.13	o 11577
16.13	c 1251
16.15	o 11579
16.15	c 1249
16.17	o 11581
16.17	c 1247
16.20	o 11583
16.20	c 1245
16.22	o 11585
16.22	c 1243
16.25	o 11587
16.25	c 1241
16.27	o 11589
16.27	c 1239
16.29	o 11591
16.29	c 1237
16.32	o 11593
16.32	c 1235
16.34	o 11595
16.34	c 1233
16.36	o 11597
16.36	c 1231
16.39	o 11599
16.39	c 1229
16.41	o 11601
16.41	c 1227
16.43	o 11603
16.43	c 1225
16.46	o 11605
16.46	c 1223
16.48	o 11607
16.48	c 1221
16.51	o 11611
16.51	c 1217
16.55	o 11613
16.55	c 1215
16.58	o 11615
16.58	c 1213
16.60	o 11616
16.60	c 1212
16.62	o 11617
16.62	c 1211
16.65	o 11618
16.65	c 1210
16.67	o 11620
16.67	c 1208
16.70	o 11621
16.70	c 1207
16.72	o 11622
16.72	c 1206
16.74	o 11623
16.74	c 1205
16.77	o 11624
16.77	c 1204
16.81	o 11625
16.82	c 1203
16.84	o 11626
16.84	c 1202
16.86	o 11629
16.86	c 1199
16.89	o 11630
16.89	c 1198
16.91	o 11631
16.91	c 1197
16.93	o 11632
16.93	c 1196
16.96	o 11633
16.96	c 1195
16.99	o 11634
16.99	c 1194
17.01	o 11635
17.01	c 1193
17.04	o 11636
17.04	c 1192
17.06	o 11637
17.06	c 1191
17.08	o 11638
17.08	c 1190
17.11	o 11639
17.11	c 1189
17.13	o 11640
17.13	c 1188
17.16	o 11641
17.16	c 1187
17.18	o 11642
17.18	c 1186
17.21	o 11643
17.21	c 1185
17.23	o 11644
17.23	c 1184
17.25	o 11645
17.25	c 1183
17.28	o 11646
17.28	c 1182
17.31	o 11647
17.31	c 1181
17.33	o 11648
17.33	c 1180
17.35	o 11649
17.35	c 1179
17.38	o 11650
17.38	c 1178
17.40	o 11651
17.40	c 1177
17.43	o 11652
17.43	c 1176
17.45	o 11653
17.45	c 1175
17.47	o 11654
17.47	c 1174
17.57	o 11655
17.57	c 1173
17.59	o 11656
17.59	c 1172
17.61	o 11657
17.61	c 1171
17.66	o 11668
17.66	c 1160
17.68	o 11670
17.68	c 1158
17.73	o 11671
17.73	c 1157
17.90	o 11673
17.90	c 1155
18.93	o 11675
18.93	c 1153
18.96	o 11677
18.96	c 1151
18.98	o 11679
18.98	c 1149
19.00	o 11680
19.00	c 1148
19.03	o 11682
19.03	c 1146
19.05	o 11685
19.05	c 1143
19.07	o 11687
19.07	c 1141
19.10	o 11689
19.10	c 1139
19.12	o 11690
19.12	c 1138
19.14	o 11691
19.14	c 1137
19.17	o 11693
19.17	c 1135
19.19	o 11695
19.19	c 1133
19.21	o 11697
19.21	c 1131
19.24	o 11699
19.24	c 1129
19.27	o 11701
19.27	c 1127
19.30	o 11703
19.30	c 1125
19.32	o 11704
19.32	c 1124
19.35	o 11705
19.35	c 1123
19.37	o 11707
19.37	c 1121
19.39	o 11709
19.39	c 1119
19.42	o 11712
19.42	c 1116
19.44	o 11714
19.44	c 1114
19.46	o 11717
19.46	c 1111
19.49	o 11719
19.49	c 1109
19.51	o 11721
19.51	c 1107
19.54	o 11723
19.54	c 1105
19.56	o 11725
19.56	c 1103
19.59	o 11727
19.59	c 1101
19.61	o 11728
19.61	c 1100
19.63	o 11733
19.63	c 1095
19.66	o 11735
19.66	c 1093
19.68	o 11737
19.68	c 1091
19.71	o 11739
19.71	c 1089
19.73	o 11740
19.73	c 1088
19.76	o 11741
19.76	c 1087
19.78	o 11743
19.78	c 1085
19.81	o 11745
19.81	c 1083
19.83	o 11747
19.83	c 1081
19.85	o 11749
19.85	c 1079
19.88	o 11753
19.88	c 1075
19.90	o 11755
19.90	c 1073
19.93	o 11757
19.93	c 1071
19.95	o 11759
19.95	c 1069
20.02	o 11762
20.02	c 1066
20.05	o 11767
20.05	c 1061
20.07	o 11769
20.07	c 1059
20.09	o 11771
20.09	c 1057
20.12	o 11773
20.12	c 1055
20.14	o 11775
20.14	c 1053
20.19	o 11777
20.19	c 1051
20.21	o 11779
20.21	c 1049
20.24	o 11782
20.24	c 1046
20.26	o 11784
20.26	c 1044
20.29	o 11786
20.29	c 1042
20.31	o 11788
20.31	c 1040
20.33	o 11792
20.33	c 1036
20.39	o 11794
20.39	c 1034
20.41	o 11796
20.41	c 1032
20.43	o 11798
20.43	c 1030
20.46	o 11801
20.46	c 1027
20.60	o 11804
20.60	c 1024
20.62	o 11806
20.62	c 1022
20.64	o 11808
20.64	c 1020
20.67	o 11810
20.67	c 1018
20.69	o 11812
20.69	c 1016
20.72	o 11814
20.72	c 1014
20.87	o 11815
20.87	c 1013
20.90	o 11817
20.90	c 1011
20.92	o 11819
20.92	c 1009
20.94	o 11822
20.94	c 1006
21.01	o 11824
21.01	c 1004
21.04	o 11826
21.04	c 1002
21.06	o 11827
21.06	c 1001
21.08	o 11829
21.08	c 999
21.11	o 11831
21.11	c 997
21.13	o 11833
21.13	c 995
21.20	o 11835
21.20	c 993
21.23	o 11837
21.23	c 991
21.25	o 11839
21.25	c 989
21.27	o 11841
21.28	c 987
21.48	o 11842
21.48	c 986
21.51	o 11844
21.51	c 984
21.53	o 11846
21.53	c 982
21.56	o 11848
21.56	c 980
21.58	o 11850
21.58	c 978
21.61	o 11851
21.61	c 977
21.63	o 11853
21.63	c 975
21.66	o 11855
21.66	c 973
21.68	o 11857
21.68	c 971
21.71	o 11859
21.71	c 969
21.73	o 11861
21.73	c 967
21.76	o 11862
21.76	c 966
21.78	o 11864
21.78	c 964
21.81	o 11866
21.81	c 962
21.83	o 11868
21.83	c 960
21.85	o 11870
21.85	c 958
21.92	o 11871
21.92	c 957
21.95	o 11873
21.95	c 955
21.97	o 11875
21.97	c 953
22.00	o 11878
22.00	c 950
22.09	o 11880
22.09	c 948
22.12	o 11882
22.12	c 946
22.14	o 11884
22.14	c 944
22.17	o 11885
22.17	c 943
22.19	o 11887
22.19	c 941
22.26	o 11889
22.26	c 939
22.29	o 11891
22.29	c 937
22.31	o 11893
22.31	c 935
22.34	o 11895
22.34	c 933
22.36	o 11896
22.36	c 932
22.39	o 11898
22.39	c 930
22.41	o 11900
22.41	c 928
22.44	o 11902
22.44	c 926
23.72	o 11903
23.72	c 925
23.75	o 11904
23.75	c 924
23.78	o 11905
23.78	c 923
23.80	o 11906
23.80	c 922
23.83	o 11907
23.83	c 921
23.86	o 11908
23.86	c 920
23.89	o 11909
23.89	c 919
23.91	o 11910
23.91	c 918
23.96	o 11914
23.96	c 914
23.98	o 11916
23.98	c 912
24.01	o 11918
24.01	c 910
24.04	o 11919
24.04	c 909
24.06	o 11920
24.06	c 908
24.09	o 11921
24.09	c 907
24.12	o 11922
24.12	c 906
24.17	o 11925
24.17	c 903
24.19	o 11926
24.19	c 902
24.22	o 11927
24.22	c 901
24.25	o 11928
24.25	c 900
24.28	o 11929
24.28	c 899
24.39	o 11931
24.39	c 897
24.62	o 11932
24.62	c 896
24.77	o 11933
24.77	c 895
24.80	o 11934
24.80	c 894
24.83	o 11935
24.83	c 893
24.85	o 11937
24.85	c 891
24.88	o 11938
24.88	c 890
24.91	o 11939
24.91	c 889
24.94	o 11940
24.94	c 888
24.97	o 11941
24.97	c 887
25.09	o 11942
25.09	c 886
25.12	o 11944
25.12	c 884
25.22	o 11951
25.22	c 877
25.25	o 11952
25.25	c 876
25.27	o 11953
25.27	c 875
25.30	o 11954
25.30	c 874
25.33	o 11955
25.33	c 873
25.35	o 11956
25.35	c 872
25.38	o 11957
25.38	c 871
25.53	o 11958
25.53	c 870
25.56	o 11959
25.56	c 869
25.59	o 11960
25.59	c 868
25.62	o 11961
25.62	c 867
25.64	o 11962
25.64	c 866
25.67	o 11963
25.67	c 865
25.70	o 11964
25.70	c 864
25.72	o 11965
25.72	c 863
25.75	o 11966
25.75	c 862
25.78	o 11967
25.78	c 861
25.80	o 11968
25.80	c 860
25.83	o 11969
25.83	c 859
25.86	o 11970
25.86	c 858
25.89	o 11971
25.89	c 857
25.91	o 11972
25.91	c 856
25.94	o 11973
25.94	c 855
25.97	o 11974
25.97	c 854
26.00	o 11975
26.00	c 853
26.02	o 11976
26.02	c 852
26.05	o 11977
26.05	c 851
26.08	o 11978
26.08	c 850
26.11	o 11979
26.11	c 849
26.14	o 11980
26.14	c 848
26.16	o 11981
26.16	c 847
26.19	o 11987
26.19	c 841
26.24	o 11989
26.24	c 839
26.26	o 11990
26.26	c 838
26.29	o 11991
26.29	c 837
26.32	o 11992
26.32	c 836
26.35	o 11993
26.35	c 835
26.37	o 11994
26.37	c 834
26.40	o 11995
26.40	c 833
26.43	o 11996
26.43	c 832
26.45	o 11997
26.45	c 831
26.48	o 11998
26.48	c 830
26.51	o 11999
26.51	c 829
26.53	o 12000
26.53	c 828
26.56	o 12001
26.56	c 827
26.68	o 12002
26.68	c 826
26.71	o 12004
26.71	c 824
26.74	o 12005
26.74	c 823
26.77	o 12006
26.77	c 822
26.79	o 12008
26.79	c 820
26.82	o 12009
26.82	c 819
26.85	o 12010
26.85	c 818
26.87	o 12013
26.87	c 815
26.90	o 12015
26.90	c 813
26.92	o 12016
26.92	c 812
26.95	o 12017
26.95	c 811
26.98	o 12018
26.98	c 810
27.00	o 12019
27.00	c 809
27.03	o 12020
27.03	c 808
27.11	o 12021
27.11	c 807
27.13	o 12022
27.13	c 806
27.17	o 12023
27.17	c 805
27.19	o 12024
27.19	c 804
27.22	o 12025
27.22	c 803
27.73	o 12030
27.73	c 798
28.53	o 12032
28.53	c 796
28.65	o 12034
28.65	c 794
28.98	o 12036
28.98	c 792
29.00	o 12038
29.00	c 790
29.13	o 12039
29.13	c 789
30.50	o 12040
30.50	c 788
30.55	o 12041
30.55	c 787
30.63	o 12043
30.63	c 785
30.68	o 12044
30.68	c 784
30.70	o 12046
30.70	c 782
30.73	o 12051
30.73	c 777
30.75	o 12054
30.75	c 774
30.78	o 12059
30.78	c 769
30.88	o 12065
30.88	c 763
30.90	o 12067
30.90	c 761
33.39	o 12068
33.39	c 760
33.42	o 12070
33.42	c 758
33.44	o 12071
33.44	c 757
33.47	o 12072
33.47	c 756
33.50	o 12074
33.50	c 754
33.60	o 12076
33.60	c 752
33.62	o 12077
33.62	c 751
33.65	o 12078
33.65	c 750
33.68	o 12079
33.68	c 749
33.70	o 12080
33.70	c 748
33.73	o 12081
33.73	c 747
33.75	o 12085
33.75	c 743
33.78	o 12087
33.78	c 741
33.79	o 12091
33.79	c 737
33.86	o 12093
33.86	c 735
33.89	o 12094
33.89	c 734
33.96	o 12095
33.96	c 733
34.01	o 12096
34.01	c 732
34.04	o 12097
34.04	c 731
34.06	o 12098
34.06	c 730
34.09	o 12099
34.09	c 729
34.11	o 12101
34.11	c 727
34.14	o 12103
34.14	c 725
34.19	o 12104
34.19	c 724
34.21	o 12106
34.21	c 722
34.31	o 12107
34.31	c 721
34.33	o 12108
34.33	c 720
34.36	o 12109
34.36	c 719
34.38	o 12110
34.38	c 718
34.41	o 12111
34.41	c 717
34.43	o 12112
34.43	c 716
34.46	o 12113
34.46	c 715
34.53	o 12115
34.53	c 713
34.58	o 12117
34.58	c 711
34.60	o 12119
34.60	c 709
34.63	o 12120
34.63	c 708
34.68	o 12121
34.68	c 707
34.70	o 12122
34.70	c 706
35.00	o 12123
35.00	c 705
35.03	o 12125
35.03	c 703
35.05	o 12126
35.05	c 702
35.08	o 12127
35.08	c 701
35.53	o 12128
35.53	c 700
35.56	o 12129
35.56	c 699
35.61	o 12130
35.61	c 698
35.63	o 12132
35.63	c 696
35.65	o 12133
35.65	c 695
35.68	o 12134
35.68	c 694
35.70	o 12136
35.70	c 692
35.77	o 12137
35.77	c 691
35.87	o 12139
35.87	c 689
35.90	o 12140
35.90	c 688
35.92	o 12141
35.92	c 687
35.94	o 12142
35.94	c 686
36.13	o 12144
36.13	c 684
36.17	o 12146
36.17	c 682
36.23	o 12148
36.23	c 680
36.26	o 12149
36.26	c 679
36.39	o 12151
36.39	c 677
36.42	o 12152
36.42	c 676
36.46	o 12153
36.46	c 675
36.60	o 12154
36.60	c 674
36.62	o 12155
36.62	c 673
36.64	o 12156
36.64	c 672
36.68	o 12158
36.68	c 670
36.73	o 12159
36.73	c 669
36.75	o 12160
36.75	c 668
36.77	o 12161
36.77	c 667
36.79	o 12162
36.79	c 666
36.93	o 12164
36.93	c 664
36.95	o 12166
36.95	c 662
36.99	o 12168
36.99	c 660
37.01	o 12169
37.01	c 659
37.03	o 12171
37.03	c 657
37.07	o 12172
37.07	c 656
37.10	o 12179
37.10	c 649
37.12	o 12180
37.12	c 648
37.20	o 12181
37.20	c 647
37.22	o 12183
37.22	c 645
37.26	o 12184
37.26	c 644
37.32	o 12185
37.32	c 643
37.35	o 12186
37.35	c 642
37.41	o 12188
37.41	c 640
37.43	o 12190
37.43	c 638
37.45	o 12191
37.45	c 637
37.49	o 12192
37.50	c 636
37.52	o 12193
37.52	c 635
37.54	o 12194
37.54	c 634
37.60	o 12195
37.60	c 633
37.62	o 12197
37.62	c 631
37.66	o 12199
37.66	c 629
37.68	o 12200
37.68	c 628
37.70	o 12201
37.70	c 627
37.74	o 12202
37.74	c 626
37.89	o 12203
37.89	c 625
37.91	o 12204
37.91	c 624
37.93	o 12206
37.93	c 622
37.95	o 12207
37.95	c 621
37.97	o 12209
37.97	c 619
37.99	o 12210
37.99	c 618
38.01	o 12211
38.01	c 617
38.07	o 12213
38.07	c 615
38.22	o 12214
38.22	c 614
38.24	o 12215
38.24	c 613
38.26	o 12217
38.26	c 611
38.28	o 12218
38.28	c 610
38.31	o 12220
38.31	c 608
38.33	o 12221
38.33	c 607
38.36	o 12222
38.36	c 606
38.42	o 12223
38.42	c 605
38.44	o 12225
38.44	c 603
38.46	o 12226
38.46	c 602
38.49	o 12228
38.49	c 600
38.51	o 12230
38.51	c 598
38.59	o 12232
38.59	c 596
38.61	o 12233
38.61	c 595
38.63	o 12234
38.63	c 594
38.65	o 12235
38.65	c 593
38.80	o 12236
38.80	c 592
38.82	o 12237
38.82	c 591
38.92	o 12238
38.92	c 590
38.95	o 12240
38.95	c 588
38.99	o 12241
38.99	c 587
39.03	o 12242
39.03	c 586
39.05	o 12243
39.05	c 585
39.07	o 12244
39.07	c 584
39.09	o 12245
39.09	c 583
39.17	o 12246
39.17	c 582
39.19	o 12247
39.19	c 581
39.21	o 12248
39.21	c 580
39.26	o 12250
39.26	c 578
39.28	o 12251
39.28	c 577
39.30	o 12252
39.30	c 576
39.41	o 12253
39.41	c 575
39.49	o 12254
39.49	c 574
39.52	o 12255
39.52	c 573
39.56	o 12256
39.56	c 572
39.60	o 12257
39.60	c 571
39.62	o 12258
39.62	c 570
39.64	o 12259
39.64	c 569
39.66	o 12261
39.66	c 567
39.68	o 12262
39.68	c 566
39.72	o 12263
39.72	c 565
39.75	o 12264
39.75	c 564
39.77	o 12265
39.77	c 563
39.79	o 12267
39.79	c 561
39.81	o 12269
39.81	c 559
39.89	o 12270
39.89	c 558
39.91	o 12272
39.91	c 556
39.93	o 12273
39.93	c 555
39.95	o 12274
39.95	c 554
39.97	o 12275
39.97	c 553
39.99	o 12277
39.99	c 551
40.01	o 12278
40.01	c 550
40.02	o 12279
40.02	c 549
40.04	o 12281
40.04	c 547
40.10	o 12282
40.10	c 546
40.13	o 12283
40.13	c 545
40.15	o 12284
40.15	c 544
40.17	o 12286
40.17	c 542
40.22	o 12288
40.22	c 540
40.29	o 12289
40.29	c 539
40.30	o 12290
40.30	c 538
40.32	o 12292
40.32	c 536
40.34	o 12293
40.34	c 535
40.36	o 12294
40.36	c 534
40.38	o 12295
40.38	c 533
40.40	o 12300
40.40	c 528
40.43	o 12301
40.43	c 527
40.45	o 12302
40.45	c 526
40.47	o 12303
40.47	c 525
40.48	o 12304
40.48	c 524
40.50	o 12306
40.50	c 522
40.52	o 12308
40.52	c 520
40.54	o 12309
40.54	c 519
40.56	o 12310
40.56	c 518
40.58	o 12311
40.58	c 517
40.83	o 12312
40.83	c 516
40.86	o 12313
40.86	c 515
40.89	o 12314
40.89	c 514
40.91	o 12315
40.91	c 513
40.93	o 12316
40.93	c 512
40.98	o 12317
40.98	c 511
40.99	o 12318
40.99	c 510
41.01	o 12319
41.01	c 509
41.07	o 12320
41.07	c 508
41.11	o 12321
41.11	c 507
41.12	o 12322
41.12	c 506
41.14	o 12325
41.14	c 503
41.21	o 12327
41.21	c 501
41.24	o 12329
41.24	c 499
41.26	o 12330
41.26	c 498
41.27	o 12332
41.27	c 496
41.29	o 12334
41.29	c 494
41.32	o 12335
41.32	c 493
41.33	o 12336
41.33	c 492
41.35	o 12337
41.35	c 491
41.36	o 12338
41.36	c 490
41.38	o 12339
41.38	c 489
41.40	o 12340
41.40	c 488
41.41	o 12341
41.41	c 487
41.43	o 12342
41.43	c 486
41.44	o 12343
41.44	c 485
41.46	o 12344
41.46	c 484
41.47	o 12345
41.47	c 483
41.50	o 12346
41.50	c 482
41.54	o 12347
41.54	c 481
41.59	o 12348
41.59	c 480
41.60	o 12349
41.60	c 479
41.62	o 12350
41.62	c 478
41.63	o 12351
41.63	c 477
41.67	o 12352
41.67	c 476
41.69	o 12353
41.69	c 475
41.70	o 12354
41.70	c 474
41.75	o 12355
41.75	c 473
41.81	o 12356
41.81	c 472
41.83	o 12357
41.83	c 471
41.84	o 12358
41.84	c 470
41.85	o 12361
41.85	c 467
41.87	o 12363
41.87	c 465
41.90	o 12364
41.90	c 464
41.93	o 12365
41.93	c 463
41.94	o 12366
41.94	c 462
41.96	o 12367
41.96	c 461
41.97	o 12368
41.97	c 460
41.99	o 12369
41.99	c 459
42.04	o 12370
42.04	c 458
42.05	o 12371
42.05	c 457
42.07	o 12372
42.07	c 456
42.09	o 12374
42.09	c 454
42.11	o 12375
42.11	c 453
42.12	o 12377
42.12	c 451
42.13	o 12378
42.13	c 450
42.16	o 12379
42.16	c 449
42.17	o 12380
42.17	c 448
42.19	o 12381
42.19	c 447
42.20	o 12382
42.20	c 446
42.22	o 12383
42.22	c 445
42.24	o 12384
42.24	c 444
42.26	o 12385
42.26	c 443
42.35	o 12386
42.35	c 442
42.36	o 12387
42.36	c 441
42.48	o 12388
42.48	c 440
42.54	o 12389
42.54	c 439
42.56	o 12390
42.56	c 438
42.57	o 12391
42.57	c 437
42.59	o 12392
42.59	c 436
42.60	o 12393
42.60	c 435
42.64	o 12394
42.64	c 434
42.65	o 12396
42.65	c 432
42.67	o 12397
42.67	c 431
42.68	o 12398
42.68	c 430
42.70	o 12399
42.70	c 429
42.71	o 12400
42.71	c 428
42.73	o 12401
42.73	c 427
42.79	o 12402
42.79	c 426
42.81	o 12403
42.81	c 425
42.83	o 12404
42.83	c 424
42.96	o 12405
42.96	c 423
42.98	o 12406
42.98	c 422
42.99	o 12407
42.99	c 421
43.01	o 12408
43.01	c 420
43.09	o 12409
43.09	c 419
43.12	o 12410
43.12	c 418
43.26	o 12411
43.26	c 417
43.27	o 12412
43.27	c 416
43.30	o 12415
43.30	c 413
43.37	o 12416
43.37	c 412
43.38	o 12417
43.38	c 411
43.40	o 12418
43.40	c 410
43.41	o 12419
43.41	c 409
43.55	o 12420
43.55	c 408
43.59	o 12422
43.59	c 406
43.66	o 12423
43.66	c 405
43.79	o 12424
43.79	c 404
43.81	o 12425
43.82	c 403
43.89	o 12426
43.89	c 402
43.91	o 12427
43.91	c 401
43.93	o 12428
43.93	c 400
44.03	o 12429
44.03	c 399
44.06	o 12430
44.06	c 398
44.09	o 12431
44.09	c 397
44.10	o 12432
44.10	c 396
44.18	o 12433
44.18	c 395
44.24	o 12434
44.24	c 394
44.28	o 12435
44.28	c 393
44.31	o 12436
44.31	c 392
44.33	o 12438
44.33	c 390
44.40	o 12440
44.40	c 388
44.42	o 12441
44.42	c 387
44.43	o 12443
44.43	c 385
44.52	o 12444
44.52	c 384
44.54	o 12445
44.54	c 383
44.56	o 12446
44.56	c 382
44.59	o 12447
44.59	c 381
44.86	o 12448
44.86	c 380
44.89	o 12450
44.89	c 378
44.91	o 12451
44.91	c 377
44.97	o 12452
44.97	c 376
45.00	o 12453
45.00	c 375
45.01	o 12454
45.01	c 374
45.06	o 12455
45.06	c 373
45.07	o 12458
45.08	c 370
45.09	o 12459
45.09	c 369
45.19	o 12460
45.19	c 368
45.21	o 12461
45.21	c 367
45.22	o 12462
45.22	c 366
45.24	o 12464
45.24	c 364
45.28	o 12465
45.28	c 363
45.29	o 12466
45.29	c 362
45.31	o 12467
45.31	c 361
45.33	o 12469
45.33	c 359
45.36	o 12470
45.36	c 358
45.38	o 12471
45.38	c 357
45.41	o 12472
45.41	c 356
45.44	o 12473
45.44	c 355
45.50	o 12474
45.50	c 354
45.52	o 12475
45.52	c 353
45.71	o 12477
45.71	c 351
45.74	o 12478
45.74	c 350
45.79	o 12479
45.79	c 349
45.83	o 12481
45.83	c 347
45.84	o 12482
45.84	c 346
45.97	o 12484
45.97	c 344
45.99	o 12486
45.99	c 342
46.13	o 12487
46.13	c 341
46.22	o 12488
46.22	c 340
46.24	o 12489
46.24	c 339
46.33	o 12490
46.33	c 338
46.35	o 12492
46.35	c 336
46.39	o 12494
46.39	c 334
46.60	o 12495
46.60	c 333
46.61	o 12496
46.61	c 332
46.69	o 12498
46.69	c 330
46.92	o 12499
46.92	c 329
46.94	o 12500
46.94	c 328
46.99	o 12501
46.99	c 327
47.02	o 12502
47.02	c 326
47.06	o 12503
47.06	c 325
47.07	o 12504
47.07	c 324
47.09	o 12505
47.09	c 323
47.14	o 12506
47.14	c 322
47.20	o 12507
47.20	c 321
47.21	o 12508
47.21	c 320
47.23	o 12509
47.23	c 319
47.26	o 12510
47.26	c 318
47.28	o 12512
47.28	c 316
47.30	o 12513
47.30	c 315
47.33	o 12514
47.33	c 314
47.37	o 12516
47.37	c 312
47.40	o 12517
47.40	c 311
47.42	o 12518
47.42	c 310
47.47	o 12520
47.47	c 308
47.60	o 12522
47.60	c 306
47.64	o 12523
47.64	c 305
47.67	o 12524
47.67	c 304
47.71	o 12525
47.71	c 303
47.81	o 12526
47.81	c 302
47.83	o 12528
47.83	c 300
47.85	o 12529
47.85	c 299
47.90	o 12530
47.90	c 298
48.07	o 12531
48.07	c 297
48.17	o 12532
48.17	c 296
48.21	o 12533
48.21	c 295
48.35	o 12534
48.35	c 294
48.40	o 12535
48.40	c 293
48.54	o 12536
48.54	c 292
49.26	o 12537
49.26	c 291
49.28	o 12538
49.28	c 290
49.33	o 12539
49.33	c 289
49.37	o 12540
49.37	c 288
49.41	o 12542
49.41	c 286
49.42	o 12544
49.42	c 284
49.49	o 12545
49.49	c 283
49.58	o 12546
49.58	c 282
49.78	o 12547
49.78	c 281
49.84	o 12548
49.84	c 280
49.86	o 12549
49.86	c 279
49.93	o 12550
49.93	c 278
50.24	o 12551
50.24	c 277
50.46	o 12552
50.46	c 276
50.52	o 12553
50.52	c 275
50.60	o 12554
50.60	c 274
50.62	o 12555
50.62	c 273
50.82	o 12557
50.82	c 271
50.96	o 12559
50.96	c 269
50.98	o 12560
50.98	c 268
51.02	o 12561
51.02	c 267
51.33	o 12562
51.33	c 266
51.39	o 12563
51.39	c 265
51.41	o 12564
51.41	c 264
51.43	o 12565
51.43	c 263
51.45	o 12567
51.45	c 261
51.57	o 12568
51.57	c 260
51.62	o 12569
51.62	c 259
52.21	o 12570
52.21	c 258
52.23	o 12571
52.23	c 257
52.25	o 12572
52.25	c 256
52.27	o 12573
52.27	c 255
52.28	o 12574
52.28	c 254
52.40	o 12576
52.40	c 252
52.47	o 12577
52.47	c 251
52.59	o 12578
52.59	c 250
52.67	o 12579
52.67	c 249
52.70	o 12580
52.70	c 248
52.71	o 12582
52.71	c 246
52.75	o 12583
52.75	c 245
52.81	o 12584
52.81	c 244
52.82	o 12585
52.83	c 243
52.92	o 12587
52.92	c 241
52.94	o 12589
52.94	c 239
52.96	o 12590
52.96	c 238
53.02	o 12591
53.02	c 237
53.05	o 12592
53.05	c 236
53.07	o 12593
53.07	c 235
53.09	o 12594
53.09	c 234
53.27	o 12595
53.27	c 233
53.28	o 12596
53.28	c 232
53.34	o 12598
53.34	c 230
53.56	o 12599
53.56	c 229
53.70	o 12601
53.70	c 227
53.99	o 12602
53.99	c 226
54.00	o 12603
54.00	c 225
54.02	o 12604
54.02	c 224
54.09	o 12605
54.09	c 223
56.58	o 12606
56.58	c 222
56.63	o 12607
56.63	c 221
56.72	o 12608
56.72	c 220
56.78	o 12609
56.78	c 219
56.82	o 12610
56.82	c 218
56.84	o 12611
56.84	c 217
56.94	o 12612
56.94	c 216
56.95	o 12613
56.95	c 215
57.41	o 12614
57.41	c 214
57.45	o 12615
57.45	c 213
57.46	o 12616
57.46	c 212
57.48	o 12617
57.48	c 211
57.60	o 12618
57.60	c 210
57.65	o 12619
57.65	c 209
57.79	o 12620
57.79	c 208
57.80	o 12621
57.80	c 207
57.85	o 12622
57.85	c 206
57.89	o 12623
57.89	c 205
57.93	o 12624
57.93	c 204
57.94	o 12625
57.94	c 203
58.36	o 12626
58.36	c 202
58.38	o 12627
58.38	c 201
58.41	o 12628
58.41	c 200
58.42	o 12629
58.42	c 199
58.48	o 12630
58.48	c 198
58.52	o 12631
58.52	c 197
58.54	o 12633
58.54	c 195
58.56	o 12635
58.56	c 193
58.61	o 12636
58.61	c 192
58.62	o 12637
58.62	c 191
58.65	o 12638
58.65	c 190
58.71	o 12639
58.71	c 189
58.72	o 12640
58.72	c 188
58.81	o 12642
58.81	c 186
58.88	o 12644
58.88	c 184
58.91	o 12645
58.91	c 183
58.94	o 12646
58.94	c 182
58.99	o 12647
58.99	c 181
59.13	o 12648
59.13	c 180
59.16	o 12650
59.16	c 178
59.19	o 12652
59.19	c 176
59.28	o 12653
59.28	c 175
59.37	o 12655
59.37	c 173
59.41	o 12656
59.41	c 172
59.61	o 12657
59.61	c 171
59.93	o 12658
59.93	c 170
60.05	o 12659
60.05	c 169
60.54	o 12660
60.54	c 168
60.76	o 12661
60.76	c 167
61.16	o 12662
61.16	c 166
61.17	o 12663
61.17	c 165
61.32	o 12664
61.32	c 164
61.43	o 12665
61.43	c 163
61.54	o 12667
61.54	c 161
61.64	o 12668
61.64	c 160
61.81	o 12669
61.81	c 159
61.83	o 12670
61.83	c 158
61.87	o 12672
61.87	c 156
63.29	o 12673
63.29	c 155
63.32	o 12674
63.32	c 154
63.57	o 12675
63.57	c 153
63.71	o 12676
63.71	c 152
63.72	o 12677
63.72	c 151
64.64	o 12678
64.64	c 150
64.82	o 12679
64.82	c 149
64.87	o 12680
64.87	c 148
64.94	o 12681
64.94	c 147
65.08	o 12682
65.08	c 146
65.09	o 12683
65.09	c 145
65.24	o 12684
65.24	c 144
65.28	o 12685
65.28	c 143
65.40	o 12686
65.40	c 142
66.24	o 12687
66.24	c 141
66.25	o 12688
66.25	c 140
66.43	o 12690
66.43	c 138
68.24	o 12691
68.24	c 137
68.27	o 12692
68.27	c 136
68.31	o 12693
68.31	c 135
68.35	o 12694
68.35	c 134
68.58	o 12695
68.58	c 133
68.59	o 12696
68.59	c 132
69.12	o 12697
69.12	c 131
69.36	o 12699
69.36	c 129
69.94	o 12700
69.94	c 128
70.01	o 12701
70.01	c 127
72.99	o 12702
72.99	c 126
73.26	o 12703
73.26	c 125
73.84	o 12704
73.84	c 124
75.36	o 12705
75.36	c 123
75.39	o 12706
75.39	c 122
75.40	o 12707
75.40	c 121
75.40	o 12709
75.40	c 119
75.65	o 12710
75.65	c 118
75.70	o 12711
75.70	c 117
76.73	o 12712
76.73	c 116
76.74	o 12713
76.74	c 115
76.75	o 12714
76.75	c 114
76.91	o 12715
76.91	c 113
77.32	o 12716
77.32	c 112
77.39	o 12717
77.39	c 111
77.67	o 12718
77.67	c 110
77.82	o 12720
77.82	c 108
77.84	o 12721
77.84	c 107
78.04	o 12722
78.04	c 106
78.12	o 12723
78.12	c 105
78.23	o 12724
78.23	c 104
78.24	o 12725
78.24	c 103
78.26	o 12726
78.26	c 102
78.30	o 12727
78.30	c 101
78.34	o 12728
78.34	c 100
78.55	o 12729
78.55	c 99
78.77	o 12730
78.77	c 98
79.21	o 12731
79.21	c 97
79.33	o 12732
79.33	c 96
79.49	o 12733
79.49	c 95
79.65	o 12735
79.65	c 93
79.66	o 12736
79.66	c 92
82.64	o 12737
82.64	c 91
82.77	o 12738
82.77	c 90
82.79	o 12739
82.79	c 89
82.80	o 12740
82.80	c 88
83.10	o 12741
83.10	c 87
83.11	o 12742
83.11	c 86
83.11	o 12743
83.11	c 85
83.15	o 12745
83.15	c 83
83.19	o 12747
83.19	c 81
83.27	o 12748
83.27	c 80
83.62	o 12749
83.62	c 79
83.70	o 12751
83.70	c 77
85.12	o 12752
85.12	c 76
85.12	o 12753
85.12	c 75
85.15	o 12754
85.15	c 74
86.07	o 12755
86.07	c 73
86.12	o 12756
86.12	c 72
87.35	o 12757
87.35	c 71
87.35	o 12758
87.35	c 70
87.41	o 12759
87.41	c 69
88.16	o 12760
88.16	c 68
88.21	o 12761
88.21	c 67
88.26	o 12762
88.26	c 66
92.54	o 12763
92.54	c 65
93.19	o 12765
93.19	c 63
93.31	o 12767
93.31	c 61
93.97	o 12768
93.97	c 60
94.10	o 12769
94.10	c 59
94.11	o 12770
94.11	c 58
94.85	o 12771
94.85	c 57
95.20	o 12772
95.20	c 56
96.07	o 12773
96.07	c 55
98.71	o 12774
98.71	c 54
98.96	o 12775
98.96	c 53
99.47	o 12776
99.47	c 52
99.79	o 12777
99.79	c 51
101.92	o 12778
101.92	c 50
105.88	   
105.88	   search
105.88	     run=0  nbConstraintChecks=54776630  nbAssignments=10000
105.88	       =>  wckTime=101.693  cpuTime=101.06  mem=41M952
106.29	o 12779
106.29	c 49
106.35	o 12780
106.35	c 48
106.64	o 12781
106.64	c 47
106.67	o 12782
106.67	c 46
106.92	o 12783
106.92	c 45
109.74	o 12784
109.74	c 44
110.98	o 12785
110.98	c 43
113.69	o 12786
113.69	c 42
113.71	o 12787
113.71	c 41
113.99	o 12788
113.99	c 40
114.01	o 12789
114.01	c 39
116.15	o 12790
116.15	c 38
116.33	o 12791
116.33	c 37
116.56	o 12792
116.56	c 36
117.86	o 12793
117.86	c 35
118.05	o 12794
118.05	c 34
118.17	o 12795
118.17	c 33
120.59	o 12796
120.59	c 32
120.59	o 12797
120.59	c 31
121.41	o 12798
121.41	c 30
121.46	o 12799
121.46	c 29
121.64	o 12800
121.64	c 28
122.47	o 12801
122.47	c 27
125.18	o 12802
125.18	c 26
128.42	o 12803
128.42	c 25
128.95	o 12804
128.95	c 24
129.31	o 12805
129.31	c 23
137.02	o 12806
137.02	c 22
146.86	   
146.86	   search
146.86	     run=1  nbConstraintChecks=76478038  nbAssignments=20000
146.86	       =>  wckTime=142.671  cpuTime=141.84  mem=41M952
154.90	o 12807
154.90	c 21
154.93	o 12808
154.93	c 20
156.67	o 12809
156.67	c 19
156.69	o 12810
156.69	c 18
156.69	o 12811
156.69	c 17
156.88	o 12812
156.88	c 16
156.95	o 12813
156.95	c 15
157.66	o 12814
157.66	c 14
185.02	   
185.02	   search
185.02	     run=2  nbConstraintChecks=96072780  nbAssignments=30000
185.02	       =>  wckTime=180.828  cpuTime=179.81  mem=41M952
186.88	o 12815
186.88	c 13
195.38	o 12816
195.38	c 12
200.11	o 12817
200.11	c 11
200.16	o 12818
200.16	c 10
201.00	o 12819
201.00	c 9
201.06	o 12820
201.06	c 8
201.83	o 12821
201.83	c 7
201.98	o 12822
201.98	c 6
202.12	o 12823
202.12	c 5
202.16	o 12824
202.16	c 4
203.88	o 12825
203.88	c 3
204.00	o 12826
204.00	c 2
206.02	o 12827
206.02	c 1
206.02	   
206.02	   search
206.02	     run=3  nbConstraintChecks=107720473  nbAssignments=36081
206.02	       =>  wckTime=201.834  cpuTime=200.72  mem=41M952
206.03	   
206.03	   global
206.03	     nbConstraintChecks=107720473  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
206.03	     solvingWckTime=201.828  solvingCpuTime=200.72  expiredTime=no  totalExploration=no  nbFoundSolutions=0
206.03	     globalCpuTime=204.13
206.03	       =>  wckTime=205.716  cpuTime=204.08  mem=41M952
206.03	   
206.03	   solver IterativeSystematicSolver being built... 
206.52	       =>  wckTime=206.208  cpuTime=204.47  mem=79M478
206.59	   
206.59	   preprocessing
206.59	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
206.59	     detectedInconsistency=no
206.59	       =>  wckTime=0.062  cpuTime=0.05  mem=81M495
216.57	   
216.57	   search
216.57	     run=0  nbConstraintChecks=945876  nbValidityChecks=2268661  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
216.57	     nbAssignments=250  nbFailedAssignments=7  nbBacktracks=13  nbVisitedNodes=259  nbRestartNogoods=0
216.57	       =>  wckTime=10.049  cpuTime=9.95  mem=81M495
226.22	   
226.22	   search
226.22	     run=1  nbConstraintChecks=1771144  nbValidityChecks=4604149  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
226.22	     nbAssignments=506  nbFailedAssignments=11  nbBacktracks=35  nbVisitedNodes=519  nbRestartNogoods=5
226.22	       =>  wckTime=19.701  cpuTime=19.54  mem=81M495
236.41	   
236.41	   search
236.41	     run=2  nbConstraintChecks=2725081  nbValidityChecks=7134160  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
236.41	     nbAssignments=779  nbFailedAssignments=16  nbBacktracks=57  nbVisitedNodes=798  nbRestartNogoods=7
236.41	       =>  wckTime=29.885  cpuTime=29.68  mem=81M495
246.60	   
246.60	   search
246.60	     run=3  nbConstraintChecks=3778079  nbValidityChecks=9784079  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
246.60	     nbAssignments=1065  nbFailedAssignments=20  nbBacktracks=97  nbVisitedNodes=1088  nbRestartNogoods=9
246.60	       =>  wckTime=40.077  cpuTime=39.82  mem=81M495
257.90	   
257.90	   search
257.90	     run=4  nbConstraintChecks=4996882  nbValidityChecks=12678799  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
257.90	     nbAssignments=1370  nbFailedAssignments=28  nbBacktracks=148  nbVisitedNodes=1401  nbRestartNogoods=10
257.90	       =>  wckTime=51.377  cpuTime=51.06  mem=81M495
269.93	   
269.93	   search
269.93	     run=5  nbConstraintChecks=6469389  nbValidityChecks=15934466  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
269.93	     nbAssignments=1705  nbFailedAssignments=40  nbBacktracks=228  nbVisitedNodes=1748  nbRestartNogoods=12
269.93	       =>  wckTime=63.411  cpuTime=63.02  mem=81M495
283.94	   
283.94	   search
283.94	     run=6  nbConstraintChecks=8397030  nbValidityChecks=19843910  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
283.94	     nbAssignments=2090  nbFailedAssignments=64  nbBacktracks=349  nbVisitedNodes=2157  nbRestartNogoods=14
283.94	       =>  wckTime=77.415  cpuTime=76.96  mem=81M495
300.46	   
300.46	   search
300.46	     run=7  nbConstraintChecks=10930169  nbValidityChecks=24621322  nbPropagations=0  nbRevisions=0
300.46	     nbUselessRevisions=0  nbAssignments=2544  nbFailedAssignments=101  nbBacktracks=521  nbVisitedNodes=2648
300.46	     nbRestartNogoods=15
300.46	       =>  wckTime=93.935  cpuTime=93.4  mem=81M495
322.72	   
322.72	   search
322.72	     run=8  nbConstraintChecks=14599067  nbValidityChecks=31076494  nbPropagations=0  nbRevisions=0
322.72	     nbUselessRevisions=0  nbAssignments=3117  nbFailedAssignments=175  nbBacktracks=777  nbVisitedNodes=3295
322.72	     nbRestartNogoods=17
322.72	       =>  wckTime=116.202  cpuTime=115.56  mem=81M495
361.45	   
361.45	   search
361.45	     run=9  nbConstraintChecks=18764308  nbValidityChecks=38657469  nbPropagations=0  nbRevisions=0
361.45	     nbUselessRevisions=0  nbAssignments=3804  nbFailedAssignments=268  nbBacktracks=1161  nbVisitedNodes=4079
361.45	     nbRestartNogoods=19
361.45	       =>  wckTime=154.932  cpuTime=154.11  mem=81M495
436.07	   
436.07	   search
436.07	     run=10  nbConstraintChecks=36191945  nbValidityChecks=60096890  nbPropagations=0  nbRevisions=0
436.07	     nbUselessRevisions=0  nbAssignments=6431  nbFailedAssignments=395  nbBacktracks=1780  nbVisitedNodes=6835
436.07	     nbRestartNogoods=22
436.07	       =>  wckTime=229.552  cpuTime=228.37  mem=81M495
488.33	   
488.33	   search
488.33	     run=11  nbConstraintChecks=54407560  nbValidityChecks=79558771  nbPropagations=0  nbRevisions=0
488.33	     nbUselessRevisions=0  nbAssignments=9085  nbFailedAssignments=417  nbBacktracks=2669  nbVisitedNodes=9514
488.33	     nbRestartNogoods=30
488.33	       =>  wckTime=281.812  cpuTime=280.39  mem=81M495
549.97	   
549.97	   search
549.97	     run=12  nbConstraintChecks=74907620  nbValidityChecks=101474423  nbPropagations=0  nbRevisions=0
549.97	     nbUselessRevisions=0  nbAssignments=11980  nbFailedAssignments=522  nbBacktracks=3971  nbVisitedNodes=12527
549.97	     nbRestartNogoods=32
549.97	       =>  wckTime=343.448  cpuTime=341.74  mem=81M495
607.51	   
607.51	   search
607.51	     run=13  nbConstraintChecks=95496531  nbValidityChecks=124556281  nbPropagations=0  nbRevisions=0
607.51	     nbUselessRevisions=0  nbAssignments=14570  nbFailedAssignments=592  nbBacktracks=5933  nbVisitedNodes=15195
607.51	     nbRestartNogoods=35
607.51	       =>  wckTime=400.987  cpuTime=399.01  mem=81M495
691.80	   
691.80	   search
691.80	     run=14  nbConstraintChecks=125966189  nbValidityChecks=157836188  nbPropagations=0  nbRevisions=0
691.80	     nbUselessRevisions=0  nbAssignments=18267  nbFailedAssignments=773  nbBacktracks=8892  nbVisitedNodes=19073
691.80	     nbRestartNogoods=38
691.80	       =>  wckTime=485.276  cpuTime=482.9  mem=81M495
826.97	   
826.97	   search
826.97	     run=15  nbConstraintChecks=171846414  nbValidityChecks=211405829  nbPropagations=0  nbRevisions=0
826.97	     nbUselessRevisions=0  nbAssignments=23463  nbFailedAssignments=1251  nbBacktracks=13275  nbVisitedNodes=24788
826.97	     nbRestartNogoods=43
826.97	       =>  wckTime=620.447  cpuTime=617.44  mem=81M495
1113.55	   
1113.55	   search
1113.55	     run=16  nbConstraintChecks=243763056  nbValidityChecks=316510820  nbPropagations=0  nbRevisions=0
1113.55	     nbUselessRevisions=0  nbAssignments=31455  nbFailedAssignments=2424  nbBacktracks=19844  nbVisitedNodes=34052
1113.55	     nbRestartNogoods=45
1113.55	       =>  wckTime=907.027  cpuTime=902.68  mem=81M495
1887.86	   
1887.86	   search
1887.86	     run=17  nbConstraintChecks=324084520  nbValidityChecks=449706315  nbPropagations=0  nbRevisions=0
1887.86	     nbUselessRevisions=0  nbAssignments=43193  nbFailedAssignments=4081  nbBacktracks=29700  nbVisitedNodes=47542
1887.86	     nbRestartNogoods=53
1887.86	       =>  wckTime=1681.341  cpuTime=1674.19  mem=81M495
2408.69	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/node47/watcher-275733-1169226231 -o ROOT/results/node47/solver-275733-1169226231 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275733-1169226231/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.91 1.89 1.69 4/73 1933
/proc/meminfo: memFree=1489880/2055920 swapFree=4184008/4192956
[pid=1932] ppid=1930 vsize=9948 CPUtime=0
/proc/1932/stat : 1932 (java) S 1930 1932 1497 0 -1 0 723 0 0 0 0 0 0 0 18 0 1 0 271022412 10186752 472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/1932/statm: 2955 510 421 14 0 1602 0

[startup+0.103585 s]
/proc/loadavg: 1.91 1.89 1.69 4/73 1933
/proc/meminfo: memFree=1489880/2055920 swapFree=4184008/4192956
[pid=1932] ppid=1930 vsize=914988 CPUtime=0.08
/proc/1932/stat : 1932 (java) R 1930 1932 1497 0 -1 0 2994 0 1 0 7 1 0 0 17 0 8 0 271022412 936947712 2740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925707 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1932/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511629 s]
/proc/loadavg: 1.91 1.89 1.69 4/73 1933
/proc/meminfo: memFree=1489880/2055920 swapFree=4184008/4192956
[pid=1932] ppid=1930 vsize=915332 CPUtime=0.49
/proc/1932/stat : 1932 (java) R 1930 1932 1497 0 -1 0 6519 0 1 0 46 3 0 0 18 0 8 0 271022412 937299968 6258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926667 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1932/statm: 228833 6258 2138 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33272 s]
/proc/loadavg: 1.91 1.89 1.69 3/80 1941
/proc/meminfo: memFree=1428704/2055920 swapFree=4184008/4192956
[pid=1932] ppid=1930 vsize=915640 CPUtime=1.3
/proc/1932/stat : 1932 (java) R 1930 1932 1497 0 -1 0 18949 0 1 0 122 8 0 0 24 0 8 0 271022412 937615360 18685 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380128 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1932/statm: 228910 18685 2159 14 0 215380 0
[pid=1932/tid=1934] ppid=1930 vsize=915640 CPUtime=0.08
/proc/1932/task/1934/stat : 1934 (java) S 1930 1932 1497 0 -1 64 2395 0 0 0 8 0 0 0 16 0 8 0 271022415 937615360 18685 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1935] ppid=1930 vsize=915640 CPUtime=0
/proc/1932/task/1935/stat : 1935 (java) S 1930 1932 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271022416 937615360 18685 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1936] ppid=1930 vsize=915640 CPUtime=0
/proc/1932/task/1936/stat : 1936 (java) S 1930 1932 1497 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271022416 937615360 18685 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1937] ppid=1930 vsize=915640 CPUtime=0
/proc/1932/task/1937/stat : 1937 (java) S 1930 1932 1497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271022419 937615360 18685 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1938] ppid=1930 vsize=915640 CPUtime=0.16
/proc/1932/task/1938/stat : 1938 (java) S 1930 1932 1497 0 -1 64 400 0 0 0 16 0 0 0 16 0 8 0 271022419 937615360 18685 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1940] ppid=1930 vsize=915640 CPUtime=0
/proc/1932/task/1940/stat : 1940 (java) S 1930 1932 1497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271022419 937615360 18685 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1941] ppid=1930 vsize=915640 CPUtime=0
/proc/1932/task/1941/stat : 1941 (java) S 1930 1932 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271022419 937615360 18685 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915640

[startup+2.97089 s]
/proc/loadavg: 1.92 1.89 1.69 3/80 1941
/proc/meminfo: memFree=1423072/2055920 swapFree=4184008/4192956
[pid=1932] ppid=1930 vsize=915640 CPUtime=2.94
/proc/1932/stat : 1932 (java) R 1930 1932 1497 0 -1 0 19036 0 1 0 241 53 0 0 25 0 8 0 271022412 937615360 18771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073892412 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1932/statm: 228910 18771 2179 14 0 215380 0
[pid=1932/tid=1934] ppid=1930 vsize=915640 CPUtime=0.08
/proc/1932/task/1934/stat : 1934 (java) S 1930 1932 1497 0 -1 64 2395 0 0 0 8 0 0 0 17 0 8 0 271022415 937615360 18771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1935] ppid=1930 vsize=915640 CPUtime=0
/proc/1932/task/1935/stat : 1935 (java) S 1930 1932 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271022416 937615360 18771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1936] ppid=1930 vsize=915640 CPUtime=0
/proc/1932/task/1936/stat : 1936 (java) S 1930 1932 1497 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271022416 937615360 18771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1937] ppid=1930 vsize=915640 CPUtime=0
/proc/1932/task/1937/stat : 1937 (java) S 1930 1932 1497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271022419 937615360 18771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1938] ppid=1930 vsize=915640 CPUtime=0.21
/proc/1932/task/1938/stat : 1938 (java) S 1930 1932 1497 0 -1 64 424 0 0 0 21 0 0 0 16 0 8 0 271022419 937615360 18771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1940] ppid=1930 vsize=915640 CPUtime=0
/proc/1932/task/1940/stat : 1940 (java) S 1930 1932 1497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271022419 937615360 18771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1941] ppid=1930 vsize=915640 CPUtime=0
/proc/1932/task/1941/stat : 1941 (java) S 1930 1932 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271022419 937615360 18771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915640

[startup+6.17423 s]
/proc/loadavg: 1.92 1.89 1.69 3/80 1941
/proc/meminfo: memFree=1387104/2055920 swapFree=4184008/4192956
[pid=1932] ppid=1930 vsize=915752 CPUtime=6.12
/proc/1932/stat : 1932 (java) R 1930 1932 1497 0 -1 0 28331 0 1 0 549 63 0 0 25 0 8 0 271022412 937730048 28062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1932/statm: 228938 28062 2493 14 0 215408 0
[pid=1932/tid=1934] ppid=1930 vsize=915752 CPUtime=0.3
/proc/1932/task/1934/stat : 1934 (java) S 1930 1932 1497 0 -1 64 11325 0 0 0 25 5 0 0 16 0 8 0 271022415 937730048 28062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1935] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1935/stat : 1935 (java) S 1930 1932 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271022416 937730048 28062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1936] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1936/stat : 1936 (java) S 1930 1932 1497 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271022416 937730048 28062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1937] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1937/stat : 1937 (java) S 1930 1932 1497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271022419 937730048 28062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1938] ppid=1930 vsize=915752 CPUtime=0.24
/proc/1932/task/1938/stat : 1938 (java) S 1930 1932 1497 0 -1 64 452 0 0 0 24 0 0 0 15 0 8 0 271022419 937730048 28062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1940] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1940/stat : 1940 (java) S 1930 1932 1497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271022419 937730048 28062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1941] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1941/stat : 1941 (java) S 1930 1932 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271022419 937730048 28062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915752

[startup+12.6479 s]
/proc/loadavg: 2.01 1.91 1.70 3/80 1941
/proc/meminfo: memFree=1387112/2055920 swapFree=4184008/4192956
[pid=1932] ppid=1930 vsize=915752 CPUtime=12.55
/proc/1932/stat : 1932 (java) R 1930 1932 1497 0 -1 0 28332 0 1 0 1188 67 0 0 25 0 8 0 271022412 937730048 28063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470959 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1932/statm: 228938 28063 2493 14 0 215408 0
[pid=1932/tid=1934] ppid=1930 vsize=915752 CPUtime=0.3
/proc/1932/task/1934/stat : 1934 (java) S 1930 1932 1497 0 -1 64 11325 0 0 0 25 5 0 0 16 0 8 0 271022415 937730048 28063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1935] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1935/stat : 1935 (java) S 1930 1932 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271022416 937730048 28063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1936] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1936/stat : 1936 (java) S 1930 1932 1497 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271022416 937730048 28063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1937] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1937/stat : 1937 (java) S 1930 1932 1497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271022419 937730048 28063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1938] ppid=1930 vsize=915752 CPUtime=0.24
/proc/1932/task/1938/stat : 1938 (java) S 1930 1932 1497 0 -1 64 453 0 0 0 24 0 0 0 15 0 8 0 271022419 937730048 28063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1940] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1940/stat : 1940 (java) S 1930 1932 1497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271022419 937730048 28063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1941] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1941/stat : 1941 (java) S 1930 1932 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271022419 937730048 28063 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 915752

[startup+25.5193 s]
/proc/loadavg: 2.01 1.91 1.70 3/80 1941
/proc/meminfo: memFree=1387240/2055920 swapFree=4184008/4192956
[pid=1932] ppid=1930 vsize=915752 CPUtime=25.33
/proc/1932/stat : 1932 (java) R 1930 1932 1497 0 -1 0 28341 0 1 0 2459 74 0 0 25 0 8 0 271022412 937730048 28070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073975037 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1932/statm: 228938 28070 2493 14 0 215408 0
[pid=1932/tid=1934] ppid=1930 vsize=915752 CPUtime=0.3
/proc/1932/task/1934/stat : 1934 (java) S 1930 1932 1497 0 -1 64 11325 0 0 0 25 5 0 0 16 0 8 0 271022415 937730048 28070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1935] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1935/stat : 1935 (java) S 1930 1932 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271022416 937730048 28070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1936] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1936/stat : 1936 (java) S 1930 1932 1497 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271022416 937730048 28070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1937] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1937/stat : 1937 (java) S 1930 1932 1497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271022419 937730048 28070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1938] ppid=1930 vsize=915752 CPUtime=0.27
/proc/1932/task/1938/stat : 1938 (java) S 1930 1932 1497 0 -1 64 460 0 0 0 26 1 0 0 16 0 8 0 271022419 937730048 28070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1940] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1940/stat : 1940 (java) S 1930 1932 1497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271022419 937730048 28070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1941] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1941/stat : 1941 (java) S 1930 1932 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271022419 937730048 28070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915752

[startup+51.145 s]
/proc/loadavg: 2.01 1.92 1.71 3/80 1941
/proc/meminfo: memFree=1387304/2055920 swapFree=4184008/4192956
[pid=1932] ppid=1930 vsize=915752 CPUtime=50.8
/proc/1932/stat : 1932 (java) R 1930 1932 1497 0 -1 0 28343 0 1 0 4991 89 0 0 25 0 8 0 271022412 937730048 28072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073888491 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1932/statm: 228938 28072 2493 14 0 215408 0
[pid=1932/tid=1934] ppid=1930 vsize=915752 CPUtime=0.3
/proc/1932/task/1934/stat : 1934 (java) S 1930 1932 1497 0 -1 64 11325 0 0 0 25 5 0 0 16 0 8 0 271022415 937730048 28072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1935] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1935/stat : 1935 (java) S 1930 1932 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271022416 937730048 28072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1936] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1936/stat : 1936 (java) S 1930 1932 1497 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271022416 937730048 28072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1937] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1937/stat : 1937 (java) S 1930 1932 1497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271022419 937730048 28072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1938] ppid=1930 vsize=915752 CPUtime=0.27
/proc/1932/task/1938/stat : 1938 (java) S 1930 1932 1497 0 -1 64 462 0 0 0 26 1 0 0 16 0 8 0 271022419 937730048 28072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1940] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1940/stat : 1940 (java) S 1930 1932 1497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271022419 937730048 28072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1941] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1941/stat : 1941 (java) S 1930 1932 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271022419 937730048 28072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 915752

[startup+102.384 s]
/proc/loadavg: 2.00 1.93 1.72 3/80 1941
/proc/meminfo: memFree=1387304/2055920 swapFree=4184008/4192956
[pid=1932] ppid=1930 vsize=915752 CPUtime=101.78
/proc/1932/stat : 1932 (java) R 1930 1932 1497 0 -1 0 28343 0 1 0 10042 136 0 0 25 0 8 0 271022412 937730048 28072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073891724 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1932/statm: 228938 28072 2493 14 0 215408 0
[pid=1932/tid=1934] ppid=1930 vsize=915752 CPUtime=0.3
/proc/1932/task/1934/stat : 1934 (java) S 1930 1932 1497 0 -1 64 11325 0 0 0 25 5 0 0 16 0 8 0 271022415 937730048 28072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1935] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1935/stat : 1935 (java) S 1930 1932 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271022416 937730048 28072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1936] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1936/stat : 1936 (java) S 1930 1932 1497 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271022416 937730048 28072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1937] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1937/stat : 1937 (java) S 1930 1932 1497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271022419 937730048 28072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1938] ppid=1930 vsize=915752 CPUtime=0.27
/proc/1932/task/1938/stat : 1938 (java) S 1930 1932 1497 0 -1 64 462 0 0 0 26 1 0 0 16 0 8 0 271022419 937730048 28072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1940] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1940/stat : 1940 (java) S 1930 1932 1497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271022419 937730048 28072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1941] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1941/stat : 1941 (java) S 1930 1932 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271022419 937730048 28072 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 915752

[startup+162.456 s]
/proc/loadavg: 2.00 1.94 1.74 3/80 1941
/proc/meminfo: memFree=1387304/2055920 swapFree=4184008/4192956
[pid=1932] ppid=1930 vsize=915752 CPUtime=161.56
/proc/1932/stat : 1932 (java) R 1930 1932 1497 0 -1 0 28350 0 1 0 15947 209 0 0 25 0 8 0 271022412 937730048 28079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073892368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2084.2 s]
/proc/loadavg: 2.08 2.03 1.93 3/81 2029
/proc/meminfo: memFree=1339480/2055920 swapFree=4184008/4192956
[pid=1932] ppid=1930 vsize=915752 CPUtime=2075.84
/proc/1932/stat : 1932 (java) R 1930 1932 1497 0 -1 0 28568 0 1 0 207311 273 0 0 25 0 8 0 271022412 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074310392 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1932/statm: 228938 28265 2543 14 0 215408 0
[pid=1932/tid=1934] ppid=1930 vsize=915752 CPUtime=0.33
/proc/1932/task/1934/stat : 1934 (java) S 1930 1932 1497 0 -1 64 11326 0 0 0 28 5 0 0 16 0 8 0 271022415 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1935] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1935/stat : 1935 (java) S 1930 1932 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271022416 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1936] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1936/stat : 1936 (java) S 1930 1932 1497 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271022416 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1937] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1937/stat : 1937 (java) S 1930 1932 1497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271022419 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1938] ppid=1930 vsize=915752 CPUtime=0.46
/proc/1932/task/1938/stat : 1938 (java) S 1930 1932 1497 0 -1 64 580 0 0 0 44 2 0 0 17 0 8 0 271022419 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1940] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1940/stat : 1940 (java) S 1930 1932 1497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271022419 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1941] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1941/stat : 1941 (java) S 1930 1932 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271022419 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2075.84
Current children cumulated vsize (KiB) 915752

[startup+2144.24 s]
/proc/loadavg: 2.03 2.02 1.93 3/81 2029
/proc/meminfo: memFree=1339416/2055920 swapFree=4184008/4192956
[pid=1932] ppid=1930 vsize=915752 CPUtime=2135.84
/proc/1932/stat : 1932 (java) R 1930 1932 1497 0 -1 0 28568 0 1 0 213311 273 0 0 25 0 8 0 271022412 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074276567 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1932/statm: 228938 28265 2543 14 0 215408 0
[pid=1932/tid=1934] ppid=1930 vsize=915752 CPUtime=0.33
/proc/1932/task/1934/stat : 1934 (java) S 1930 1932 1497 0 -1 64 11326 0 0 0 28 5 0 0 16 0 8 0 271022415 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1935] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1935/stat : 1935 (java) S 1930 1932 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271022416 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1936] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1936/stat : 1936 (java) S 1930 1932 1497 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271022416 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1937] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1937/stat : 1937 (java) S 1930 1932 1497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271022419 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1938] ppid=1930 vsize=915752 CPUtime=0.46
/proc/1932/task/1938/stat : 1938 (java) S 1930 1932 1497 0 -1 64 580 0 0 0 44 2 0 0 17 0 8 0 271022419 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1940] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1940/stat : 1940 (java) S 1930 1932 1497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271022419 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1941] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1941/stat : 1941 (java) S 1930 1932 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271022419 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2135.84
Current children cumulated vsize (KiB) 915752

[startup+2204.29 s]
/proc/loadavg: 2.01 2.02 1.93 3/81 2029
/proc/meminfo: memFree=1339416/2055920 swapFree=4184008/4192956
[pid=1932] ppid=1930 vsize=915752 CPUtime=2195.83
/proc/1932/stat : 1932 (java) R 1930 1932 1497 0 -1 0 28568 0 1 0 219310 273 0 0 25 0 8 0 271022412 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074241525 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1932/statm: 228938 28265 2543 14 0 215408 0
[pid=1932/tid=1934] ppid=1930 vsize=915752 CPUtime=0.33
/proc/1932/task/1934/stat : 1934 (java) S 1930 1932 1497 0 -1 64 11326 0 0 0 28 5 0 0 16 0 8 0 271022415 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1935] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1935/stat : 1935 (java) S 1930 1932 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271022416 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1936] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1936/stat : 1936 (java) S 1930 1932 1497 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271022416 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1937] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1937/stat : 1937 (java) S 1930 1932 1497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271022419 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1938] ppid=1930 vsize=915752 CPUtime=0.46
/proc/1932/task/1938/stat : 1938 (java) S 1930 1932 1497 0 -1 64 580 0 0 0 44 2 0 0 17 0 8 0 271022419 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1940] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1940/stat : 1940 (java) S 1930 1932 1497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271022419 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1941] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1941/stat : 1941 (java) S 1930 1932 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271022419 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2195.83
Current children cumulated vsize (KiB) 915752

[startup+2264.34 s]
/proc/loadavg: 2.00 2.01 1.93 3/81 2029
/proc/meminfo: memFree=1339416/2055920 swapFree=4184008/4192956
[pid=1932] ppid=1930 vsize=915752 CPUtime=2255.81
/proc/1932/stat : 1932 (java) R 1930 1932 1497 0 -1 0 28568 0 1 0 225307 274 0 0 25 0 8 0 271022412 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074115162 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1932/statm: 228938 28265 2543 14 0 215408 0
[pid=1932/tid=1934] ppid=1930 vsize=915752 CPUtime=0.33
/proc/1932/task/1934/stat : 1934 (java) S 1930 1932 1497 0 -1 64 11326 0 0 0 28 5 0 0 16 0 8 0 271022415 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1935] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1935/stat : 1935 (java) S 1930 1932 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271022416 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1936] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1936/stat : 1936 (java) S 1930 1932 1497 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271022416 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1937] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1937/stat : 1937 (java) S 1930 1932 1497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271022419 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1938] ppid=1930 vsize=915752 CPUtime=0.46
/proc/1932/task/1938/stat : 1938 (java) S 1930 1932 1497 0 -1 64 580 0 0 0 44 2 0 0 17 0 8 0 271022419 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1940] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1940/stat : 1940 (java) S 1930 1932 1497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271022419 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1941] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1941/stat : 1941 (java) S 1930 1932 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271022419 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2255.81
Current children cumulated vsize (KiB) 915752

[startup+2324.38 s]
/proc/loadavg: 2.00 2.00 1.93 3/81 2029
/proc/meminfo: memFree=1339416/2055920 swapFree=4184008/4192956
[pid=1932] ppid=1930 vsize=915752 CPUtime=2315.81
/proc/1932/stat : 1932 (java) R 1930 1932 1497 0 -1 0 28568 0 1 0 231307 274 0 0 25 0 8 0 271022412 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074115204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1932/statm: 228938 28265 2543 14 0 215408 0
[pid=1932/tid=1934] ppid=1930 vsize=915752 CPUtime=0.33
/proc/1932/task/1934/stat : 1934 (java) S 1930 1932 1497 0 -1 64 11326 0 0 0 28 5 0 0 16 0 8 0 271022415 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1935] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1935/stat : 1935 (java) S 1930 1932 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271022416 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1936] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1936/stat : 1936 (java) S 1930 1932 1497 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271022416 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1937] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1937/stat : 1937 (java) S 1930 1932 1497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271022419 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1938] ppid=1930 vsize=915752 CPUtime=0.46
/proc/1932/task/1938/stat : 1938 (java) S 1930 1932 1497 0 -1 64 580 0 0 0 44 2 0 0 17 0 8 0 271022419 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1940] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1940/stat : 1940 (java) S 1930 1932 1497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271022419 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1941] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1941/stat : 1941 (java) S 1930 1932 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271022419 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2315.81
Current children cumulated vsize (KiB) 915752

[startup+2384.43 s]
/proc/loadavg: 2.00 2.00 1.93 3/81 2029
/proc/meminfo: memFree=1339352/2055920 swapFree=4184008/4192956
[pid=1932] ppid=1930 vsize=915752 CPUtime=2375.79
/proc/1932/stat : 1932 (java) R 1930 1932 1497 0 -1 0 28568 0 1 0 237305 274 0 0 25 0 8 0 271022412 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074276513 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1932/statm: 228938 28265 2543 14 0 215408 0
[pid=1932/tid=1934] ppid=1930 vsize=915752 CPUtime=0.33
/proc/1932/task/1934/stat : 1934 (java) S 1930 1932 1497 0 -1 64 11326 0 0 0 28 5 0 0 16 0 8 0 271022415 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1935] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1935/stat : 1935 (java) S 1930 1932 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271022416 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1936] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1936/stat : 1936 (java) S 1930 1932 1497 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271022416 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1937] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1937/stat : 1937 (java) S 1930 1932 1497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271022419 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1938] ppid=1930 vsize=915752 CPUtime=0.46
/proc/1932/task/1938/stat : 1938 (java) S 1930 1932 1497 0 -1 64 580 0 0 0 44 2 0 0 17 0 8 0 271022419 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1940] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1940/stat : 1940 (java) S 1930 1932 1497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271022419 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1941] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1941/stat : 1941 (java) S 1930 1932 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271022419 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2375.79
Current children cumulated vsize (KiB) 915752



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2408.69 s]
/proc/loadavg: 2.00 2.00 1.93 4/81 2029
/proc/meminfo: memFree=1339416/2055920 swapFree=4184008/4192956
[pid=1932] ppid=1930 vsize=915752 CPUtime=2400.03
/proc/1932/stat : 1932 (java) R 1930 1932 1497 0 -1 0 28568 0 1 0 239729 274 0 0 25 0 8 0 271022412 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074276513 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1932/statm: 228938 28265 2543 14 0 215408 0
[pid=1932/tid=1934] ppid=1930 vsize=915752 CPUtime=0.33
/proc/1932/task/1934/stat : 1934 (java) S 1930 1932 1497 0 -1 64 11326 0 0 0 28 5 0 0 16 0 8 0 271022415 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1935] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1935/stat : 1935 (java) S 1930 1932 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271022416 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1936] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1936/stat : 1936 (java) S 1930 1932 1497 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271022416 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1937] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1937/stat : 1937 (java) S 1930 1932 1497 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271022419 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1938] ppid=1930 vsize=915752 CPUtime=0.46
/proc/1932/task/1938/stat : 1938 (java) S 1930 1932 1497 0 -1 64 580 0 0 0 44 2 0 0 17 0 8 0 271022419 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1940] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1940/stat : 1940 (java) S 1930 1932 1497 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 271022419 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1932/tid=1941] ppid=1930 vsize=915752 CPUtime=0
/proc/1932/task/1941/stat : 1941 (java) S 1930 1932 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271022419 937730048 28265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 915752

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

Child status: 143
Real time (s): 2408.73
CPU time (s): 2400.07
CPU user time (s): 2397.31
CPU system time (s): 2.75858
CPU usage (%): 99.6405
Max. virtual memory (cumulated for all children) (KiB): 915800

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

runsolver used 2.68159 s user time and 8.09177 s system time

The end

Launcher Data (download as text)

Begin job on node47 on Fri Jan 19 17:03:52 UTC 2007


IDJOB= 275733
IDBENCH= 4639
IDSOLVER= 69
FILE ID= node47/275733-1169226231

PBS_JOBID= 3589232

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f7a273ee733be68f959a2f3726847276

RANDOM SEED= 348889146

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.240
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.240
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:       1490360 kB
Buffers:         39116 kB
Cached:         433824 kB
SwapCached:       2924 kB
Active:         104900 kB
Inactive:       386204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1490360 kB
SwapTotal:     4192956 kB
SwapFree:      4184008 kB
Dirty:            3676 kB
Writeback:           0 kB
Mapped:          25572 kB
Slab:            59964 kB
Committed_AS:  4885532 kB
PageTables:       1788 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= 66558 MiB



End job on node47 on Fri Jan 19 17:44:00 UTC 2007