Trace number 275286

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.13 2415.02

General information on the benchmark

Namefapp/fapp11-15/fapp11/
fapp11-1000-7.xml
MD5SUM76197611c0892ae9e5058ee39d3aa972
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints14533
Best CPU time to get the best result obtained on this benchmark2400.13
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables1000
Number of constraints15032
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension15032
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/275286-1169219435/unknown.xml
0.37	   
0.37	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.58	     nbVariables=1000  nbDomainTypes=18  minDomainSize=50  maxDomainSize=362
0.58	       =>  wckTime=0.271  cpuTime=0.2  mem=17M636
0.58	   
0.58	   predicates being loaded...
0.59	   
0.59	   constraints being loaded...
61.28	   
61.28	   INFO : Stopping converting binary constraints (cpu=60.02, mem = 72M516)
62.36	     nbConstraints=15032  nbConvertedConstraints=4621  nbConvertConstraintsChecks=187687688  nbExtensionStructures=2608
62.36	     nbSharedExtensionStructures=2013  nbConflictsStructures=2608  nbSharedConflictsStructures=2013
62.36	     nbSharedBinaryRepresentations=1318969  nbEvaluationManagers=4897  nbSharedEvaluationManagers=5514  maxDegree=51
62.36	     maxArity=2
62.36	       =>  wckTime=62.054  cpuTime=60.84  mem=47M155
62.58	   
62.58	   solver LocalSearchSolver being built... 
62.61	       =>  wckTime=62.305  cpuTime=60.89  mem=47M432
62.69	
62.69	s SATISFIABLE
62.69	o 12266
62.69	c 2766
62.73	o 12277
62.73	c 2755
62.76	o 12285
62.76	c 2747
62.78	o 12292
62.78	c 2740
62.81	o 12300
62.81	c 2732
62.84	o 12306
62.84	c 2726
62.85	o 12314
62.85	c 2718
62.87	o 12319
62.87	c 2713
62.89	o 12323
62.89	c 2709
62.90	o 12325
62.90	c 2707
62.93	o 12334
62.93	c 2698
62.95	o 12343
62.95	c 2689
62.99	o 12347
62.99	c 2685
63.01	o 12353
63.01	c 2679
63.03	o 12359
63.03	c 2673
63.07	o 12365
63.07	c 2667
63.09	o 12369
63.09	c 2663
63.11	o 12373
63.11	c 2659
63.14	o 12377
63.14	c 2655
63.16	o 12380
63.16	c 2652
63.19	o 12383
63.19	c 2649
63.22	o 12386
63.22	c 2646
63.23	o 12387
63.23	c 2645
63.24	o 12391
63.25	c 2641
63.29	o 12399
63.29	c 2633
63.32	o 12407
63.32	c 2625
63.35	o 12414
63.35	c 2618
63.40	o 12421
63.40	c 2611
63.44	o 12428
63.44	c 2604
63.47	o 12435
63.47	c 2597
63.50	o 12441
63.50	c 2591
63.53	o 12446
63.53	c 2586
63.56	o 12451
63.56	c 2581
63.59	o 12456
63.59	c 2576
63.62	o 12461
63.62	c 2571
63.64	o 12466
63.64	c 2566
63.67	o 12470
63.67	c 2562
63.70	o 12474
63.70	c 2558
63.74	o 12478
63.74	c 2554
63.76	o 12480
63.76	c 2552
63.79	o 12482
63.79	c 2550
63.83	o 12485
63.83	c 2547
63.86	o 12487
63.86	c 2545
63.89	o 12490
63.89	c 2542
63.92	o 12497
63.92	c 2535
63.93	o 12506
63.93	c 2526
63.95	o 12513
63.95	c 2519
63.99	o 12519
63.99	c 2513
64.02	o 12524
64.02	c 2508
64.05	o 12529
64.05	c 2503
64.08	o 12534
64.08	c 2498
64.11	o 12539
64.11	c 2493
64.16	o 12544
64.16	c 2488
64.19	o 12547
64.19	c 2485
64.23	o 12551
64.23	c 2481
64.25	o 12555
64.25	c 2477
64.29	o 12561
64.29	c 2471
64.33	o 12565
64.33	c 2467
64.35	o 12570
64.35	c 2462
64.39	o 12573
64.39	c 2459
64.42	o 12576
64.42	c 2456
64.45	o 12579
64.45	c 2453
64.48	o 12580
64.48	c 2452
64.51	o 12581
64.51	c 2451
64.55	o 12583
64.55	c 2449
64.58	o 12584
64.58	c 2448
64.60	o 12587
64.60	c 2445
64.65	o 12589
64.65	c 2443
64.66	o 12596
64.66	c 2436
64.67	o 12603
64.67	c 2429
64.68	o 12606
64.68	c 2426
64.70	o 12608
64.70	c 2424
64.74	o 12609
64.74	c 2423
64.77	o 12610
64.77	c 2422
64.79	o 12611
64.79	c 2421
64.83	o 12612
64.83	c 2420
64.84	o 12616
64.84	c 2416
64.88	o 12619
64.88	c 2413
64.89	o 12622
64.89	c 2410
64.94	o 12626
64.94	c 2406
64.99	o 12632
64.99	c 2400
65.05	o 12637
65.05	c 2395
65.10	o 12642
65.10	c 2390
65.15	o 12647
65.15	c 2385
65.20	o 12652
65.20	c 2380
65.25	o 12657
65.25	c 2375
65.28	o 12662
65.28	c 2370
65.33	o 12666
65.33	c 2366
65.37	o 12670
65.37	c 2362
65.41	o 12673
65.41	c 2359
65.46	o 12676
65.46	c 2356
65.50	o 12679
65.50	c 2353
65.54	o 12682
65.54	c 2350
65.62	o 12685
65.62	c 2347
65.66	o 12688
65.66	c 2344
65.69	o 12691
65.69	c 2341
65.74	o 12692
65.74	c 2340
65.77	o 12694
65.77	c 2338
65.80	o 12696
65.80	c 2336
65.82	o 12698
65.82	c 2334
65.86	o 12700
65.86	c 2332
65.88	o 12702
65.88	c 2330
65.91	o 12703
65.91	c 2329
65.93	o 12708
65.93	c 2324
65.96	o 12709
65.96	c 2323
66.04	o 12710
66.04	c 2322
66.12	o 12712
66.12	c 2320
66.13	o 12717
66.13	c 2315
66.16	o 12720
66.16	c 2312
66.18	o 12723
66.18	c 2309
66.18	o 12726
66.18	c 2306
66.20	o 12730
66.20	c 2302
66.22	o 12733
66.22	c 2299
66.27	o 12735
66.27	c 2297
66.30	o 12740
66.30	c 2292
66.33	o 12741
66.33	c 2291
66.35	o 12743
66.36	c 2289
66.38	o 12746
66.38	c 2286
66.44	o 12750
66.44	c 2282
66.47	o 12753
66.47	c 2279
66.51	o 12754
66.51	c 2278
66.54	o 12755
66.54	c 2277
66.55	o 12757
66.55	c 2275
66.58	o 12763
66.58	c 2269
66.62	o 12769
66.62	c 2263
66.66	o 12772
66.66	c 2260
66.69	o 12776
66.69	c 2256
66.72	o 12780
66.72	c 2252
66.77	o 12784
66.77	c 2248
66.81	o 12787
66.81	c 2245
66.85	o 12791
66.85	c 2241
66.90	o 12793
66.90	c 2239
66.94	o 12794
66.94	c 2238
66.97	o 12795
66.97	c 2237
67.00	o 12796
67.00	c 2236
67.08	o 12797
67.08	c 2235
67.12	o 12801
67.12	c 2231
67.14	o 12802
67.14	c 2230
67.16	o 12805
67.16	c 2227
67.18	o 12806
67.18	c 2226
67.19	o 12807
67.19	c 2225
67.21	o 12809
67.21	c 2223
67.24	o 12810
67.24	c 2222
67.27	o 12812
67.27	c 2220
67.29	o 12814
67.29	c 2218
67.32	o 12819
67.32	c 2213
67.36	o 12823
67.36	c 2209
67.39	o 12828
67.39	c 2204
67.42	o 12830
67.42	c 2202
67.44	o 12834
67.44	c 2198
67.46	o 12839
67.46	c 2193
67.50	o 12841
67.50	c 2191
67.54	o 12845
67.54	c 2187
67.58	o 12847
67.58	c 2185
67.63	o 12851
67.64	c 2181
67.69	o 12852
67.69	c 2180
67.75	o 12856
67.75	c 2176
67.79	o 12862
67.79	c 2170
67.84	o 12864
67.84	c 2168
67.88	o 12866
67.88	c 2166
67.93	o 12868
67.93	c 2164
67.96	o 12870
67.96	c 2162
68.00	o 12871
68.00	c 2161
68.04	o 12874
68.04	c 2158
68.09	o 12884
68.09	c 2148
68.13	o 12887
68.13	c 2145
68.16	o 12889
68.16	c 2143
68.19	o 12890
68.19	c 2142
68.23	o 12895
68.23	c 2137
68.29	o 12897
68.29	c 2135
68.34	o 12900
68.34	c 2132
68.36	o 12902
68.37	c 2130
68.39	o 12904
68.39	c 2128
68.45	o 12906
68.45	c 2126
68.48	o 12909
68.48	c 2123
68.51	o 12911
68.51	c 2121
68.53	o 12914
68.53	c 2118
68.57	o 12917
68.57	c 2115
68.60	o 12919
68.60	c 2113
68.62	o 12923
68.62	c 2109
68.65	o 12924
68.65	c 2108
68.67	o 12929
68.67	c 2103
68.71	o 12934
68.71	c 2098
68.74	o 12941
68.74	c 2091
68.77	o 12947
68.77	c 2085
68.80	o 12952
68.80	c 2080
68.83	o 12957
68.83	c 2075
68.86	o 12961
68.86	c 2071
68.89	o 12962
68.89	c 2070
68.92	o 12966
68.92	c 2066
68.96	o 12970
68.96	c 2062
68.99	o 12973
68.99	c 2059
69.01	o 12976
69.01	c 2056
69.04	o 12977
69.04	c 2055
69.07	o 12979
69.07	c 2053
69.10	o 12981
69.10	c 2051
69.12	o 12982
69.12	c 2050
69.14	o 12983
69.14	c 2049
69.19	o 12987
69.19	c 2045
69.22	o 12988
69.22	c 2044
69.25	o 12990
69.25	c 2042
69.29	o 12991
69.29	c 2041
69.41	o 12993
69.41	c 2039
69.43	o 12996
69.43	c 2036
69.46	o 12999
69.46	c 2033
69.49	o 13005
69.49	c 2027
69.51	o 13010
69.51	c 2022
69.55	o 13012
69.55	c 2020
69.58	o 13013
69.58	c 2019
69.61	o 13016
69.61	c 2016
69.63	o 13017
69.64	c 2015
69.66	o 13022
69.66	c 2010
69.69	o 13026
69.69	c 2006
69.72	o 13029
69.72	c 2003
69.75	o 13030
69.75	c 2002
69.81	o 13034
69.81	c 1998
69.84	o 13037
69.84	c 1995
69.91	o 13040
69.91	c 1992
69.98	o 13045
69.98	c 1987
70.03	o 13046
70.03	c 1986
70.05	o 13048
70.05	c 1984
70.09	o 13055
70.09	c 1977
70.17	o 13060
70.17	c 1972
70.22	o 13061
70.22	c 1971
70.26	o 13062
70.26	c 1970
70.31	o 13066
70.31	c 1966
70.34	o 13067
70.34	c 1965
70.38	o 13070
70.38	c 1962
70.43	o 13073
70.43	c 1959
70.47	o 13079
70.47	c 1953
70.52	o 13082
70.52	c 1950
70.57	o 13085
70.57	c 1947
70.64	o 13089
70.64	c 1943
70.68	o 13094
70.68	c 1938
70.71	o 13101
70.71	c 1931
70.74	o 13103
70.74	c 1929
70.76	o 13109
70.76	c 1923
70.79	o 13110
70.79	c 1922
70.87	o 13112
70.87	c 1920
70.91	o 13117
70.91	c 1915
70.96	o 13118
70.96	c 1914
70.99	o 13123
70.99	c 1909
71.03	o 13125
71.03	c 1907
71.07	o 13128
71.07	c 1904
71.10	o 13131
71.10	c 1901
71.14	o 13136
71.14	c 1896
71.17	o 13138
71.17	c 1894
71.20	o 13141
71.20	c 1891
71.24	o 13143
71.24	c 1889
71.27	o 13144
71.27	c 1888
71.32	o 13149
71.32	c 1883
71.35	o 13150
71.35	c 1882
71.38	o 13153
71.38	c 1879
71.42	o 13156
71.42	c 1876
71.45	o 13157
71.45	c 1875
71.49	o 13158
71.49	c 1874
71.52	o 13162
71.52	c 1870
71.56	o 13165
71.56	c 1867
71.60	o 13167
71.60	c 1865
71.64	o 13171
71.64	c 1861
71.68	o 13178
71.68	c 1854
71.73	o 13182
71.73	c 1850
71.77	o 13184
71.77	c 1848
71.83	o 13185
71.83	c 1847
71.90	o 13188
71.90	c 1844
71.93	o 13190
71.93	c 1842
72.11	o 13191
72.11	c 1841
72.31	o 13192
72.31	c 1840
72.35	o 13195
72.35	c 1837
72.39	o 13199
72.39	c 1833
72.44	o 13200
72.44	c 1832
72.50	o 13202
72.50	c 1830
72.54	o 13203
72.54	c 1829
72.64	o 13208
72.64	c 1824
72.78	o 13211
72.78	c 1821
72.85	o 13213
72.85	c 1819
72.89	o 13217
72.89	c 1815
72.94	o 13221
72.94	c 1811
73.02	o 13223
73.02	c 1809
73.07	o 13226
73.07	c 1806
73.12	o 13228
73.12	c 1804
73.17	o 13229
73.17	c 1803
73.22	o 13232
73.22	c 1800
73.27	o 13235
73.27	c 1797
73.32	o 13237
73.32	c 1795
73.37	o 13238
73.37	c 1794
73.41	o 13241
73.41	c 1791
73.52	o 13243
73.52	c 1789
73.57	o 13245
73.57	c 1787
73.72	o 13246
73.72	c 1786
73.76	o 13248
73.76	c 1784
73.89	o 13252
73.89	c 1780
73.96	o 13255
73.96	c 1777
73.99	o 13257
73.99	c 1775
74.04	o 13260
74.04	c 1772
74.11	o 13262
74.11	c 1770
74.17	o 13263
74.17	c 1769
74.20	o 13265
74.20	c 1767
74.23	o 13269
74.23	c 1763
74.26	o 13271
74.26	c 1761
74.28	o 13272
74.28	c 1760
74.30	o 13273
74.30	c 1759
74.33	o 13275
74.33	c 1757
74.35	o 13283
74.35	c 1749
74.40	o 13285
74.40	c 1747
74.42	o 13288
74.42	c 1744
74.44	o 13289
74.44	c 1743
74.47	o 13292
74.47	c 1740
74.55	o 13293
74.55	c 1739
74.61	o 13295
74.61	c 1737
74.64	o 13298
74.64	c 1734
74.79	o 13303
74.79	c 1729
74.84	o 13305
74.84	c 1727
74.87	o 13309
74.87	c 1723
74.91	o 13313
74.91	c 1719
74.96	o 13317
74.96	c 1715
75.00	o 13320
75.00	c 1712
75.05	o 13325
75.05	c 1707
75.09	o 13330
75.09	c 1702
75.12	o 13332
75.12	c 1700
75.16	o 13335
75.16	c 1697
75.20	o 13340
75.20	c 1692
75.23	o 13344
75.23	c 1688
75.27	o 13347
75.27	c 1685
75.40	o 13351
75.40	c 1681
75.43	o 13352
75.43	c 1680
75.47	o 13357
75.47	c 1675
75.50	o 13361
75.50	c 1671
75.56	o 13363
75.56	c 1669
75.60	o 13367
75.60	c 1665
75.64	o 13369
75.64	c 1663
75.67	o 13371
75.67	c 1661
75.70	o 13373
75.70	c 1659
75.75	o 13376
75.75	c 1656
75.79	o 13379
75.79	c 1653
75.84	o 13381
75.84	c 1651
75.88	o 13383
75.88	c 1649
75.91	o 13385
75.91	c 1647
75.94	o 13387
75.94	c 1645
75.97	o 13391
75.97	c 1641
76.00	o 13393
76.00	c 1639
76.03	o 13395
76.03	c 1637
76.06	o 13399
76.06	c 1633
76.11	o 13400
76.11	c 1632
76.15	o 13401
76.15	c 1631
76.28	o 13402
76.28	c 1630
76.32	o 13404
76.32	c 1628
76.35	o 13408
76.35	c 1624
76.39	o 13410
76.39	c 1622
76.42	o 13413
76.42	c 1619
76.45	o 13416
76.45	c 1616
76.50	o 13419
76.50	c 1613
76.53	o 13422
76.53	c 1610
76.57	o 13424
76.57	c 1608
76.60	o 13427
76.60	c 1605
76.63	o 13430
76.63	c 1602
76.75	o 13434
76.75	c 1598
76.80	o 13435
76.80	c 1597
76.84	o 13439
76.84	c 1593
76.88	o 13440
76.88	c 1592
76.92	o 13444
76.92	c 1588
76.97	o 13445
76.97	c 1587
77.01	o 13449
77.01	c 1583
77.04	o 13452
77.04	c 1580
77.16	o 13454
77.16	c 1578
77.19	o 13456
77.19	c 1576
77.23	o 13458
77.23	c 1574
77.26	o 13459
77.26	c 1573
77.30	o 13462
77.30	c 1570
77.40	o 13464
77.40	c 1568
77.43	o 13465
77.43	c 1567
77.48	o 13469
77.48	c 1563
77.52	o 13473
77.52	c 1559
77.55	o 13475
77.55	c 1557
77.59	o 13476
77.59	c 1556
77.75	o 13478
77.75	c 1554
77.79	o 13480
77.79	c 1552
77.83	o 13484
77.83	c 1548
77.87	o 13488
77.87	c 1544
77.90	o 13491
77.90	c 1541
77.94	o 13494
77.94	c 1538
77.99	o 13501
77.99	c 1531
78.04	o 13504
78.04	c 1528
78.09	o 13508
78.09	c 1524
78.13	o 13511
78.13	c 1521
78.23	o 13515
78.23	c 1517
78.27	o 13520
78.27	c 1512
78.31	o 13522
78.31	c 1510
78.35	o 13525
78.35	c 1507
78.40	o 13527
78.40	c 1505
78.44	o 13529
78.44	c 1503
78.48	o 13530
78.48	c 1502
78.58	o 13531
78.58	c 1501
78.68	o 13533
78.68	c 1499
78.72	o 13535
78.72	c 1497
78.82	o 13537
78.82	c 1495
78.87	o 13538
78.87	c 1494
78.92	o 13541
78.92	c 1491
78.97	o 13543
78.97	c 1489
79.02	o 13546
79.02	c 1486
79.07	o 13550
79.07	c 1482
79.17	o 13555
79.17	c 1477
79.23	o 13556
79.23	c 1476
79.28	o 13558
79.28	c 1474
79.40	o 13562
79.40	c 1470
79.45	o 13565
79.45	c 1467
79.58	o 13568
79.58	c 1464
79.66	o 13569
79.66	c 1463
79.77	o 13570
79.77	c 1462
79.83	o 13575
79.83	c 1457
79.89	o 13577
79.89	c 1455
79.96	o 13578
79.96	c 1454
80.06	o 13581
80.06	c 1451
80.12	o 13584
80.12	c 1448
80.25	o 13585
80.25	c 1447
80.31	o 13588
80.31	c 1444
80.48	o 13592
80.48	c 1440
80.53	o 13597
80.53	c 1435
80.65	o 13598
80.65	c 1434
80.70	o 13600
80.70	c 1432
80.76	o 13603
80.76	c 1429
80.83	o 13608
80.83	c 1424
80.89	o 13611
80.89	c 1421
80.96	o 13613
80.96	c 1419
81.01	o 13614
81.01	c 1418
81.07	o 13615
81.07	c 1417
81.12	o 13617
81.12	c 1415
81.24	o 13619
81.24	c 1413
81.61	o 13620
81.61	c 1412
81.68	o 13626
81.68	c 1406
81.74	o 13629
81.74	c 1403
81.81	o 13630
81.81	c 1402
81.93	o 13633
81.93	c 1399
81.99	o 13634
81.99	c 1398
82.05	o 13635
82.05	c 1397
82.18	o 13636
82.18	c 1396
82.24	o 13637
82.24	c 1395
82.73	o 13638
82.73	c 1394
82.78	o 13639
82.78	c 1393
82.84	o 13640
82.84	c 1392
82.94	o 13641
82.94	c 1391
83.04	o 13646
83.04	c 1386
83.11	o 13649
83.11	c 1383
83.17	o 13652
83.17	c 1380
83.29	o 13656
83.29	c 1376
83.35	o 13661
83.35	c 1371
83.52	o 13663
83.52	c 1369
83.57	o 13668
83.57	c 1364
83.69	o 13671
83.69	c 1361
83.76	o 13672
83.76	c 1360
83.85	o 13674
83.85	c 1358
83.91	o 13677
83.91	c 1355
84.03	o 13678
84.03	c 1354
84.09	o 13679
84.09	c 1353
84.14	o 13682
84.14	c 1350
84.19	o 13684
84.19	c 1348
84.25	o 13688
84.25	c 1344
84.31	o 13693
84.31	c 1339
84.36	o 13694
84.36	c 1338
84.40	o 13698
84.40	c 1334
84.45	o 13699
84.45	c 1333
84.50	o 13700
84.50	c 1332
84.55	o 13702
84.55	c 1330
84.61	o 13703
84.61	c 1329
84.76	o 13705
84.76	c 1327
84.81	o 13708
84.81	c 1324
84.85	o 13710
84.85	c 1322
84.98	o 13714
84.98	c 1318
85.03	o 13717
85.03	c 1315
85.07	o 13721
85.07	c 1311
85.12	o 13724
85.12	c 1308
85.36	o 13726
85.36	c 1306
85.43	o 13727
85.43	c 1305
85.49	o 13730
85.49	c 1302
85.54	o 13732
85.54	c 1300
85.59	o 13733
85.59	c 1299
85.62	o 13735
85.62	c 1297
85.85	o 13736
85.85	c 1296
85.91	o 13737
85.91	c 1295
85.97	o 13739
85.97	c 1293
86.14	o 13740
86.14	c 1292
86.30	o 13741
86.30	c 1291
86.40	o 13743
86.40	c 1289
86.63	o 13746
86.63	c 1286
86.69	o 13751
86.69	c 1281
86.76	o 13752
86.76	c 1280
86.83	o 13755
86.83	c 1277
89.41	o 13758
89.41	c 1274
89.73	o 13759
89.73	c 1273
90.49	o 13760
90.49	c 1272
90.58	o 13761
90.58	c 1271
90.73	o 13763
90.73	c 1269
90.99	o 13767
90.99	c 1265
91.14	o 13768
91.14	c 1264
92.05	o 13769
92.05	c 1263
92.83	o 13771
92.83	c 1261
92.92	o 13773
92.92	c 1259
93.00	o 13775
93.00	c 1257
93.09	o 13776
93.09	c 1256
93.17	o 13777
93.17	c 1255
93.26	o 13778
93.26	c 1254
93.36	o 13779
93.36	c 1253
93.46	o 13780
93.46	c 1252
93.56	o 13781
93.56	c 1251
93.65	o 13782
93.65	c 1250
93.73	o 13785
93.73	c 1247
93.91	o 13787
93.91	c 1245
94.00	o 13788
94.00	c 1244
94.36	o 13791
94.36	c 1241
94.46	o 13792
94.46	c 1240
94.55	o 13796
94.55	c 1236
94.71	o 13797
94.71	c 1235
95.10	o 13800
95.10	c 1232
95.21	o 13802
95.21	c 1230
95.31	o 13804
95.31	c 1228
95.41	o 13808
95.41	c 1224
95.71	o 13810
95.71	c 1222
95.81	o 13811
95.81	c 1221
95.91	o 13814
95.91	c 1218
96.00	o 13816
96.00	c 1216
96.09	o 13817
96.09	c 1215
96.27	o 13821
96.27	c 1211
96.37	o 13823
96.37	c 1209
96.54	o 13824
96.54	c 1208
96.70	o 13825
96.70	c 1207
96.79	o 13828
96.79	c 1204
96.87	o 13829
96.87	c 1203
96.96	o 13832
96.96	c 1200
97.03	o 13833
97.03	c 1199
97.11	o 13835
97.11	c 1197
97.19	o 13838
97.19	c 1194
97.28	o 13839
97.28	c 1193
97.37	o 13842
97.37	c 1190
97.45	o 13845
97.45	c 1187
97.52	o 13847
97.52	c 1185
97.61	o 13848
97.61	c 1184
97.69	o 13849
97.69	c 1183
97.77	o 13851
97.77	c 1181
97.83	o 13854
97.83	c 1178
97.90	o 13857
97.90	c 1175
97.98	o 13859
97.98	c 1173
98.05	o 13861
98.05	c 1171
98.14	o 13863
98.14	c 1169
98.22	o 13867
98.22	c 1165
98.30	o 13871
98.30	c 1161
98.48	o 13874
98.48	c 1158
98.54	o 13878
98.54	c 1154
98.63	o 13883
98.63	c 1149
98.71	o 13886
98.71	c 1146
98.79	o 13887
98.79	c 1145
98.88	o 13888
98.88	c 1144
98.97	o 13890
98.97	c 1142
99.06	o 13891
99.06	c 1141
99.36	o 13894
99.36	c 1138
99.52	o 13895
99.52	c 1137
99.69	o 13898
99.69	c 1134
99.77	o 13900
99.77	c 1132
99.86	o 13901
99.86	c 1131
99.93	o 13903
99.93	c 1129
100.01	o 13908
100.01	c 1124
100.08	o 13909
100.08	c 1123
100.16	o 13911
100.16	c 1121
100.29	o 13915
100.29	c 1117
100.35	o 13920
100.35	c 1112
100.82	o 13921
100.82	c 1111
100.97	o 13923
100.97	c 1109
101.04	o 13926
101.04	c 1106
101.18	o 13927
101.18	c 1105
101.31	o 13928
101.31	c 1104
101.39	o 13929
101.39	c 1103
101.47	o 13932
101.47	c 1100
101.63	o 13933
101.63	c 1099
101.71	o 13937
101.71	c 1095
101.94	o 13938
101.94	c 1094
102.76	o 13939
102.76	c 1093
102.83	o 13941
102.83	c 1091
102.92	o 13942
102.92	c 1090
102.98	o 13944
102.98	c 1088
103.11	o 13945
103.11	c 1087
103.19	o 13948
103.19	c 1084
103.26	o 13950
103.26	c 1082
103.33	o 13952
103.33	c 1080
103.67	o 13953
103.67	c 1079
103.73	o 13954
103.73	c 1078
103.79	o 13955
103.79	c 1077
103.94	o 13957
103.94	c 1075
104.23	o 13959
104.23	c 1073
104.30	o 13961
104.30	c 1071
104.37	o 13962
104.37	c 1070
104.44	o 13965
104.44	c 1067
104.59	o 13966
104.59	c 1066
104.80	o 13967
104.80	c 1065
104.84	o 13969
104.84	c 1063
104.92	o 13971
104.92	c 1061
105.55	o 13973
105.55	c 1059
105.73	o 13979
105.73	c 1053
105.91	o 13981
105.91	c 1051
106.87	o 13983
106.87	c 1049
106.96	o 13984
106.96	c 1048
107.15	o 13986
107.15	c 1046
107.24	o 13988
107.24	c 1044
107.44	o 13989
107.44	c 1043
107.54	o 13991
107.54	c 1041
107.63	o 13992
107.63	c 1040
107.72	o 13994
107.72	c 1038
107.91	o 13995
107.91	c 1037
108.01	o 13996
108.01	c 1036
108.10	o 13997
108.10	c 1035
109.23	o 14000
109.23	c 1032
109.45	o 14001
109.45	c 1031
109.55	o 14005
109.55	c 1027
109.93	o 14006
109.93	c 1026
110.03	o 14007
110.03	c 1025
110.26	o 14009
110.26	c 1023
110.38	o 14011
110.38	c 1021
110.95	o 14013
110.95	c 1019
111.06	o 14014
111.06	c 1018
111.18	o 14016
111.18	c 1016
111.33	o 14017
111.33	c 1015
111.42	o 14018
111.42	c 1014
112.51	o 14021
112.51	c 1011
112.99	o 14024
112.99	c 1008
113.36	o 14026
113.36	c 1006
114.17	o 14030
114.17	c 1002
114.21	o 14032
114.21	c 1000
114.33	o 14034
114.33	c 998
114.55	o 14037
114.55	c 995
116.05	o 14038
116.05	c 994
116.37	o 14040
116.37	c 992
116.67	o 14041
116.67	c 991
116.74	o 14043
116.74	c 989
116.85	o 14044
116.85	c 988
116.97	o 14046
116.97	c 986
117.08	o 14048
117.08	c 984
117.18	o 14050
117.18	c 982
117.72	o 14053
117.72	c 979
117.84	o 14057
117.84	c 975
117.96	o 14059
117.96	c 973
118.07	o 14061
118.07	c 971
119.10	o 14063
119.10	c 969
119.31	o 14064
119.31	c 968
119.53	o 14065
119.53	c 967
119.63	o 14066
119.63	c 966
119.85	o 14067
119.85	c 965
119.94	o 14070
119.94	c 962
120.03	o 14072
120.03	c 960
120.13	o 14077
120.13	c 955
120.25	o 14079
120.25	c 953
120.46	o 14081
120.46	c 951
120.86	o 14082
120.86	c 950
120.97	o 14084
120.97	c 948
121.15	o 14085
121.15	c 947
122.73	o 14086
122.73	c 946
122.86	o 14090
122.86	c 942
123.09	o 14091
123.09	c 941
123.21	o 14092
123.21	c 940
123.28	o 14093
123.28	c 939
123.37	o 14096
123.37	c 936
123.46	o 14099
123.46	c 933
123.68	o 14100
123.68	c 932
123.91	o 14101
123.91	c 931
124.22	o 14102
124.22	c 930
124.32	o 14106
124.32	c 926
124.42	o 14108
124.42	c 924
125.26	o 14112
125.26	c 920
125.37	o 14116
125.37	c 916
125.48	o 14118
125.48	c 914
125.91	o 14119
125.91	c 913
126.13	o 14122
126.13	c 910
126.21	o 14123
126.21	c 909
126.40	o 14126
126.40	c 906
126.52	o 14128
126.52	c 904
126.64	o 14130
126.64	c 902
126.68	o 14134
126.68	c 898
126.78	o 14135
126.78	c 897
126.87	o 14136
126.87	c 896
126.98	o 14137
126.98	c 895
127.09	o 14139
127.09	c 893
127.53	o 14140
127.53	c 892
127.65	o 14144
127.65	c 888
128.43	o 14145
128.43	c 887
128.55	o 14146
128.55	c 886
128.66	o 14149
128.66	c 883
128.79	o 14152
128.79	c 880
128.91	o 14153
128.91	c 879
129.04	o 14154
129.04	c 878
129.16	o 14159
129.16	c 873
129.47	o 14160
129.47	c 872
130.20	o 14165
130.20	c 867
130.32	o 14166
130.32	c 866
130.44	o 14169
130.44	c 863
131.34	o 14170
131.34	c 862
131.89	o 14171
131.89	c 861
132.14	o 14174
132.14	c 858
132.27	o 14175
132.27	c 857
132.40	o 14177
132.40	c 855
132.48	o 14180
132.48	c 852
132.63	o 14181
132.63	c 851
132.78	o 14183
132.78	c 849
132.90	o 14185
132.90	c 847
132.97	o 14187
132.97	c 845
134.36	o 14188
134.36	c 844
135.88	o 14189
135.88	c 843
137.32	o 14190
137.32	c 842
137.44	o 14192
137.44	c 840
137.49	o 14197
137.49	c 835
137.61	o 14199
137.61	c 833
138.24	o 14200
138.24	c 832
139.39	o 14202
139.39	c 830
139.53	o 14204
139.53	c 828
139.66	o 14205
139.66	c 827
139.80	o 14207
139.80	c 825
139.90	o 14213
139.90	c 819
141.71	o 14216
141.71	c 816
141.83	o 14217
141.83	c 815
141.97	o 14221
141.97	c 811
142.10	o 14223
142.10	c 809
142.52	o 14224
142.52	c 808
142.94	o 14225
142.94	c 807
143.02	o 14228
143.02	c 804
143.16	o 14232
143.16	c 800
143.26	o 14233
143.26	c 799
143.39	o 14235
143.39	c 797
143.52	o 14237
143.52	c 795
143.65	o 14240
143.65	c 792
143.78	o 14241
143.78	c 791
144.98	o 14243
144.98	c 789
145.25	o 14244
145.25	c 788
145.37	o 14245
145.37	c 787
145.51	o 14247
145.51	c 785
145.64	o 14250
145.64	c 782
146.92	o 14255
146.92	c 777
147.06	o 14256
147.06	c 776
147.22	o 14257
147.22	c 775
147.36	o 14258
147.36	c 774
147.50	o 14259
147.50	c 773
147.80	o 14260
147.80	c 772
147.85	o 14263
147.85	c 769
148.00	o 14264
148.00	c 768
148.14	o 14267
148.14	c 765
148.67	o 14268
148.67	c 764
148.82	o 14270
148.82	c 762
150.26	o 14271
150.26	c 761
150.41	o 14274
150.41	c 758
150.52	o 14277
150.52	c 755
150.80	o 14279
150.80	c 753
151.08	o 14281
151.08	c 751
151.57	o 14283
151.57	c 749
151.72	o 14284
151.72	c 748
151.87	o 14285
151.87	c 747
152.01	o 14288
152.01	c 744
152.29	o 14289
152.29	c 743
152.41	o 14294
152.41	c 738
155.54	o 14296
155.54	c 736
155.94	o 14298
155.94	c 734
156.08	o 14299
156.08	c 733
156.18	o 14301
156.18	c 731
156.32	o 14303
156.32	c 729
156.59	o 14304
156.59	c 728
157.31	o 14305
157.31	c 727
157.46	o 14306
157.46	c 726
157.75	o 14307
157.75	c 725
157.91	o 14308
157.91	c 724
159.92	o 14309
159.92	c 723
160.07	o 14310
160.07	c 722
160.23	o 14311
160.23	c 721
160.39	o 14312
160.39	c 720
162.36	o 14315
162.36	c 717
162.40	o 14318
162.40	c 714
162.86	o 14319
162.86	c 713
163.02	o 14320
163.02	c 712
163.18	o 14322
163.18	c 710
163.50	o 14323
163.50	c 709
164.72	o 14324
164.72	c 708
164.92	o 14326
164.92	c 706
165.27	o 14327
165.27	c 705
165.43	o 14329
165.44	c 703
166.67	o 14331
166.67	c 701
166.85	o 14332
166.85	c 700
167.05	o 14333
167.05	c 699
167.24	o 14336
167.24	c 696
172.13	o 14337
172.13	c 695
172.41	o 14338
172.41	c 694
172.60	o 14340
172.60	c 692
172.77	o 14342
172.77	c 690
173.49	o 14346
173.49	c 686
173.66	o 14348
173.66	c 684
173.85	o 14352
173.85	c 680
174.36	o 14353
174.36	c 679
174.70	o 14355
174.70	c 677
174.85	o 14358
174.85	c 674
175.20	o 14360
175.20	c 672
175.37	o 14361
175.37	c 671
175.55	o 14363
175.55	c 669
175.72	o 14364
175.72	c 668
176.07	o 14365
176.07	c 667
177.09	o 14366
177.09	c 666
177.61	o 14368
177.61	c 664
177.78	o 14371
177.78	c 661
177.96	o 14372
177.96	c 660
178.30	o 14373
178.30	c 659
178.47	o 14374
178.47	c 658
178.63	o 14375
178.63	c 657
178.79	o 14376
178.79	c 656
178.96	o 14377
178.96	c 655
179.13	o 14380
179.13	c 652
179.99	o 14383
179.99	c 649
180.16	o 14385
180.16	c 647
180.49	o 14387
180.49	c 645
180.85	o 14388
180.85	c 644
181.03	o 14389
181.03	c 643
182.04	o 14391
182.04	c 641
182.21	o 14392
182.21	c 640
182.40	o 14393
182.40	c 639
182.59	o 14394
182.59	c 638
182.79	o 14395
182.79	c 637
182.83	o 14396
182.83	c 636
187.46	o 14397
187.46	c 635
188.14	o 14398
188.14	c 634
189.36	o 14400
189.36	c 632
189.53	o 14401
189.53	c 631
189.69	o 14403
189.69	c 629
191.19	o 14404
191.19	c 628
191.37	o 14405
191.37	c 627
191.89	o 14406
191.89	c 626
192.42	o 14408
192.42	c 624
192.67	o 14410
192.67	c 622
192.84	o 14411
192.84	c 621
193.11	o 14414
193.11	c 618
193.26	o 14416
193.26	c 616
193.72	o 14418
193.72	c 614
194.37	o 14420
194.37	c 612
194.85	o 14421
194.85	c 611
195.03	o 14424
195.03	c 608
195.20	o 14425
195.20	c 607
195.37	o 14426
195.37	c 606
195.54	o 14427
195.54	c 605
195.87	o 14430
195.87	c 602
196.01	o 14432
196.01	c 600
196.17	o 14434
196.17	c 598
196.35	o 14435
196.35	c 597
196.52	o 14436
196.52	c 596
197.57	o 14438
197.57	c 594
197.73	o 14442
197.73	c 590
198.59	o 14443
198.59	c 589
198.66	o 14445
198.66	c 587
198.81	o 14446
198.81	c 586
198.96	o 14447
198.96	c 585
200.27	o 14448
200.27	c 584
200.58	o 14449
200.58	c 583
200.73	o 14451
200.73	c 581
200.90	o 14453
200.90	c 579
201.00	o 14454
201.00	c 578
206.73	o 14458
206.73	c 574
206.76	o 14461
206.76	c 571
206.93	o 14462
206.93	c 570
207.06	o 14463
207.06	c 569
207.57	o 14464
207.57	c 568
210.45	o 14465
210.45	c 567
210.65	o 14466
210.65	c 566
213.40	o 14468
213.40	c 564
213.60	o 14469
213.60	c 563
214.00	o 14472
214.00	c 560
214.08	o 14473
214.08	c 559
215.28	o 14474
215.28	c 558
215.47	o 14477
215.47	c 555
222.76	o 14479
222.76	c 553
223.14	o 14484
223.14	c 548
223.35	o 14485
223.35	c 547
223.57	o 14489
223.57	c 543
224.44	o 14491
224.44	c 541
224.90	o 14495
224.90	c 537
225.02	o 14496
225.02	c 536
225.18	o 14498
225.18	c 534
225.99	o 14499
225.99	c 533
226.19	o 14502
226.19	c 530
226.57	o 14503
226.57	c 529
226.90	o 14504
226.90	c 528
227.85	o 14505
227.85	c 527
228.05	o 14506
228.05	c 526
233.07	o 14507
233.07	c 525
234.31	o 14508
234.31	c 524
234.76	o 14510
234.76	c 522
236.20	o 14511
236.20	c 521
236.41	o 14512
236.41	c 520
236.61	o 14513
236.61	c 519
236.82	o 14515
236.82	c 517
237.80	o 14516
237.80	c 516
237.99	o 14517
237.99	c 515
238.19	o 14518
238.19	c 514
238.38	o 14519
238.38	c 513
238.95	o 14520
238.95	c 512
239.55	o 14521
239.55	c 511
239.74	o 14523
239.74	c 509
244.82	o 14524
244.82	c 508
245.01	o 14525
245.01	c 507
245.19	o 14526
245.19	c 506
245.37	o 14528
245.37	c 504
245.92	o 14529
245.92	c 503
246.11	o 14530
246.11	c 502
246.49	o 14531
246.49	c 501
246.89	o 14533
246.89	c 499
277.38	   
277.38	   search
277.38	     run=0  nbConstraintChecks=626321677  nbAssignments=1968
277.38	       =>  wckTime=214.766  cpuTime=212.67  mem=48M440
277.38	   
277.38	   global
277.38	     nbConstraintChecks=626321677  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
277.38	     solvingWckTime=214.757  solvingCpuTime=212.67  expiredTime=no  totalExploration=no  nbFoundSolutions=0
277.38	     globalCpuTime=273.62
277.38	       =>  wckTime=277.072  cpuTime=273.57  mem=48M440
277.38	   
277.38	   solver IterativeSystematicSolver being built... 
277.85	       =>  wckTime=277.542  cpuTime=273.86  mem=90M307
310.34	   
310.34	   preprocessing
310.34	     nbConstraintChecks=72200133  nbValidityChecks=331806  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
310.34	     nbRemovedValues=0  detectedInconsistency=no
310.34	       =>  wckTime=32.485  cpuTime=32.17  mem=90M307
2414.97	v -2032 2720 2116 -2020 2276 2700 2060 -2412 2696 -2088 2024 2696 -2172 -2444 -2608 -2632 2336 -2496 -2592 2568 -2020 2020 -2496 -2484 -2460 2536 -2472 -2536 2688 -2684 -2096 2732 2512 -2300 -2732 2116 -2452 -2188 2344 -2540 2544 -2700 -2056 2596 2076 2436 2140 -2196 -2020 2580 2284 2456 2372 -2024 2500 2660 -2692 -2304 2720 2072 -2724 2064 2124 2580 2300 -2116 2072 -2064 -2668 -2328 -2352 -2296 -2664 -2732 -2496 -2512 -2232 2464 2736 2336 2616 -2064 2548 -2668 2056 2500 -2060 -2480 -2372 2260 -2072 2688 -2568 2044 2080 -2504 -2164 -2300 2528 2076 -2116 -2536 2500 2348 -2648 -2520 2668 2668 2600 2340 -2724 -2512 -2508 -2680 -2740 2336 2376 -2288 -2684 2204 2276 -2576 -2132 -2680 -2180 -2064 -2536 -2688 -2704 -2484 2556 2628 -2580 2292 -2032 -2028 2376 2740 -2544 2716 2528 2284 -2224 -2040 -2332 2124 -2416 2684 -2584 -2336 -2244 -2336 2156 2628 -2028 2468 -2440 2660 -2184 2080 -2576 -2588 2620 -2248 2404 -2032 2204 -2228 -2724 2652 -2680 -2732 -2244 -2128 -2576 2692 -2040 2032 2684 -2672 -2700 -2724 2328 2304 2504 -2252 -2600 -2300 -2576 -2092 2036 -2472 -2128 2060 2260 2408 2236 -2064 2412 2576 -2580 2292 -2072 2708 -2364 2396 2740 -2096 -2716 -2060 -2620 2464 -2028 -2696 2596 -2540 2348 -2616 2516 -2460 -2128 -2172 2116 2472 2596 2740 2544 2284 -2280 2416 2608 2684 2636 2520 2700 -2436 2396 2056 2296 -2308 -2500 -2228 -2052 2736 -2548 -2544 -2580 -2476 2020 -2076 2168 2024 -2020 -2676 -2024 -2116 -2256 2720 2288 2636 -2036 -2308 -2088 -2180 2620 2080 2340 2436 -2176 2736 2456 -2352 -2648 -2708 -2032 2104 -2460 -2232 2356 2636 2096 -2456 -2260 -2168 2616 2588 -2104 2728 2692 -2072 -2740 -2660 -2248 -2256 2056 -2380 2492 -2188 2524 2216 -2308 2120 2332 -2536 2652 2296 2728 2452 2360 -2392 -2640 2076 2412 2312 -2416 -2480 2320 2096 2040 2336 -2428 -2496 -2712 2068 -2068 -2428 2516 -2516 -2364 -2636 2576 2092 2020 2428 -2020 2092 2212 -2740 2368 -2412 2324 2140 -2424 -2464 -2020 2552 -2352 2652 -2592 2504 2620 2124 -2068 2552 -2416 2584 2640 -2340 2408 -2388 -2552 2376 -2052 2212 2324 2548 2036 -2064 -2676 2536 -2700 2208 2140 2092 2700 -2660 -2692 2624 2388 -2080 -2144 -2092 2636 -2024 2212 -2032 -2296 -2624 -2020 2268 -2064 2600 2592 -2384 -2376 -2276 -2096 2688 -2344 -2464 -2568 -2328 -2132 2528 2116 -2616 2408 -2332 -2280 -2692 2248 -2584 -2736 2488 -2716 2472 2552 2176 -2680 -2676 -2528 -2252 -2632 -2680 2528 2092 -2428 -2060 -2532 -2324 -2168 -2716 2076 2436 2152 2740 2296 2168 -2696 2388 -2060 2060 2728 -2664 2740 -2036 -2476 2700 2736 2684 -2068 2128 2692 2416 -2504 2024 -2348 2496 -2392 2584 -2704 -2332 2216 -2280 -2500 2736 -2608 -2420 2112 2372 -2696 2060 2080 -2320 2244 -2676 -2344 -2568 -2420 2328 -2368 -2628 2504 2348 2192 -2020 2672 -2684 -2680 -2284 2580 -2604 2580 -2448 -2296 -2068 2080 2592 2212 -2736 -2352 -2032 2376 2556 2732 -2024 -2080 2056 2376 -2184 2512 2292 -2384 -2724 -2524 2632 -2228 -2024 -2596 -2680 2700 -2580 2468 2360 -2336 -2504 2388 2692 -2376 2700 -2640 -2440 -2028 2500 2216 -2496 -2104 2684 -2596 -2304 -2624 -2680 -2464 2248 2088 -2264 2592 2728 2564 -2452 2132 -2476 2688 -2388 -2336 2344 2440 2320 2692 2172 -2480 2072 2660 -2124 2380 2196 -2036 -2680 -2712 2180 2520 -2028 -2064 2124 -2380 -2332 2100 2600 -2704 2624 2460 2136 2632 2376 -2492 -2604 -2312 -2136 2640 -2036 -2496 -2556 2720 2284 2636 -2732 2200 2272 -2560 2020 -2384 -2672 2140 -2552 2592 -2208 2328 2336 -2220 2664 2680 -2504 2540 -2560 -2456 -2040 2404 2296 -2660 -2728 2628 2176 2384 -2112 2356 -2668 2172 2504 2500 2720 2448 -2064 2620 2040 2628 2516 -2400 2240 2208 2696 2024 2028 2392 -2324 -2216 2060 -2156 2024 -2632 2036 -2576 -2020 2472 2480 -2364 -2164 -2196 -2536 -2096 2176 -2472 2640 -2020 -2364 -2184 2204 -2676 2476 -2688 2164 2460 2228 2420 -2084 -2292 2656 -2524 -2360 2360 -2060 -2612 -2328 -2192 2592 -2368 -2404 -2092 -2680 2400 2400 -2040 2180 2520 -2724 2020 -2676 -2724 -2328 -2252 2056 2192 2256 -2236 2100 -2680 -2376 -2636 2476 2060 -2444 -2336 -2288 -2056 -2564 2568 2552 2236 2504 -2124 2112 -2536 2384 2128 2040 -2156 2708 -2672 -2388 2276 -2256 -2652 2536 -2348 2420 2164 2084 -2664 2344 -2564 -2352 -2072 -2096 -2028 -2632 2480 -2700 -2116 -2024 -2464 2036 -2540 -2100 2424 -2240 2224 2436 -2592 2636 -2260 2548 -2364 -2492 2344 -2732 2068 -2352 2524 -2592 -2188 -2596 2372 -2736 -2292 -2712 -2216 -2624 2256 -2036 -2380 -2236 2684 -2108 2600 2156 -2288 2128 -2688 -2336 -2164 2244 -2636 2076 -2536 2648 2616 -2024 2672 2140 -2520 2428 -2660 -2504 -2584 2284 2724 2284 -2064 2480 -2456 2292 -2484 2620 2556 2300 -2348 2320 2484 -2020 -2476 2640 -2584 2740 2264 -2140 -2680 -2676 2588 -2488 2064 -2296 2088 -2140 -2356 -2528 2468 2144 -2708 -2320 2672 2696 -2080 2492 -2588 -2700 -2564 2648 -2724 -2524 2076 2144 2568 -2724 2316 -2108 2068 2332 -2544 -2492 -2100 -2660 -2496 -2420 -2044 2688 2048 -2264 -2596 -2676 2616 -2128 2460 2512 -2476 2368 -2620 -2288 2084 2156 2040 -2388 -2304 2540 2520 -2560 2740 2244 2132 -2436 -2424 -2684 2076 -2688 -2544 -2064 -2088 -2104 2556 2180 2720 -2576 2588 2620 2164 -2648 -2292 2020 -2464 2312 -2540 -2452 2036 -2700 2104 2156 2216 2060 2724 2452 -2384 2068 2384 2620 -2372 2740 -2448 2688 -2160 -2340 2020 2696 -2444 2692 -2508 -2696 2328 -2596 2432 -2256 -2224 -2556 -2256 2376 -2628 -2516 2180 -2416 -2092 2132 2536 2424 -2056 -2496 2656 2584 -2392 -2360 -2332 2564 -2712 -2032 -2332 -2076 -2428 2252 -2316 2340 -2288 -2072 -2060 -2484 -2676 -2476 -2268 2292 -2064 -2404 -2696 2072 2304 -2228 -2096 -2576 -2660 -2468 2188 -2340 -2288 2640 2648 2712 2076 -2524 -2700 -2588 2640 2508 -2620 2684 -2420 -2508

Verifier Data (download as text)

499 unsatisfied constraints, 14533 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/node58/watcher-275286-1169219435 -o ROOT/results/node58/solver-275286-1169219435 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275286-1169219435/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.94 1.99 1.99 4/81 25080
/proc/meminfo: memFree=1283472/2055920 swapFree=4184236/4192956
[pid=25079] ppid=25077 vsize=47976 CPUtime=0.01
/proc/25079/stat : 25079 (java) D 25077 25079 24555 0 -1 0 1223 0 1 0 0 1 0 0 17 0 1 0 270341462 49127424 972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/25079/statm: 11994 972 769 14 0 1707 0

[startup+0.103697 s]
/proc/loadavg: 1.94 1.99 1.99 4/81 25080
/proc/meminfo: memFree=1283472/2055920 swapFree=4184236/4192956
[pid=25079] ppid=25077 vsize=914988 CPUtime=0.08
/proc/25079/stat : 25079 (java) R 25077 25079 24555 0 -1 0 2996 0 1 0 6 2 0 0 17 0 8 0 270341462 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072934386 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25079/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.514731 s]
/proc/loadavg: 1.94 1.99 1.99 4/81 25080
/proc/meminfo: memFree=1283472/2055920 swapFree=4184236/4192956
[pid=25079] ppid=25077 vsize=915332 CPUtime=0.49
/proc/25079/stat : 25079 (java) R 25077 25079 24555 0 -1 0 7349 0 1 0 43 6 0 0 18 0 8 0 270341462 937299968 7088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154526267 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25079/statm: 228833 7088 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.3438 s]
/proc/loadavg: 1.94 1.99 1.99 3/88 25087
/proc/meminfo: memFree=1216472/2055920 swapFree=4184236/4192956
[pid=25079] ppid=25077 vsize=915636 CPUtime=1.31
/proc/25079/stat : 25079 (java) R 25077 25079 24555 0 -1 0 21087 0 1 0 119 12 0 0 24 0 8 0 270341462 937611264 20824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072934933 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25079/statm: 228909 20824 2181 14 0 215379 0
[pid=25079/tid=25081] ppid=25077 vsize=915636 CPUtime=0.06
/proc/25079/task/25081/stat : 25081 (java) S 25077 25079 24555 0 -1 64 4474 0 0 0 5 1 0 0 16 0 8 0 270341465 937611264 20824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25082] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25082/stat : 25082 (java) S 25077 25079 24555 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270341466 937611264 20824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25083] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25083/stat : 25083 (java) S 25077 25079 24555 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270341466 937611264 20824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25084] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25084/stat : 25084 (java) S 25077 25079 24555 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270341469 937611264 20824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25085] ppid=25077 vsize=915636 CPUtime=0.15
/proc/25079/task/25085/stat : 25085 (java) S 25077 25079 24555 0 -1 64 401 0 0 0 15 0 0 0 16 0 8 0 270341469 937611264 20824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25086] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25086/stat : 25086 (java) S 25077 25079 24555 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270341469 937611264 20824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25087] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25087/stat : 25087 (java) S 25077 25079 24555 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270341469 937611264 20824 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915636

[startup+2.98194 s]
/proc/loadavg: 1.94 1.99 1.99 3/88 25087
/proc/meminfo: memFree=1208408/2055920 swapFree=4184236/4192956
[pid=25079] ppid=25077 vsize=915636 CPUtime=2.93
/proc/25079/stat : 25079 (java) R 25077 25079 24555 0 -1 0 21095 0 1 0 281 12 0 0 25 0 8 0 270341462 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811033 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25079/statm: 228909 20831 2181 14 0 215379 0
[pid=25079/tid=25081] ppid=25077 vsize=915636 CPUtime=0.06
/proc/25079/task/25081/stat : 25081 (java) S 25077 25079 24555 0 -1 64 4474 0 0 0 5 1 0 0 17 0 8 0 270341465 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25082] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25082/stat : 25082 (java) S 25077 25079 24555 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270341466 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25083] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25083/stat : 25083 (java) S 25077 25079 24555 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270341466 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25084] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25084/stat : 25084 (java) S 25077 25079 24555 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270341469 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25085] ppid=25077 vsize=915636 CPUtime=0.16
/proc/25079/task/25085/stat : 25085 (java) S 25077 25079 24555 0 -1 64 408 0 0 0 16 0 0 0 16 0 8 0 270341469 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25086] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25086/stat : 25086 (java) S 25077 25079 24555 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270341469 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25087] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25087/stat : 25087 (java) S 25077 25079 24555 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270341469 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915636

[startup+6.26223 s]
/proc/loadavg: 1.94 1.99 1.99 3/88 25087
/proc/meminfo: memFree=1208344/2055920 swapFree=4184236/4192956
[pid=25079] ppid=25077 vsize=915636 CPUtime=6.18
/proc/25079/stat : 25079 (java) R 25077 25079 24555 0 -1 0 21112 0 1 0 606 12 0 0 25 0 8 0 270341462 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794000 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25079/statm: 228909 20848 2182 14 0 215379 0
[pid=25079/tid=25081] ppid=25077 vsize=915636 CPUtime=0.06
/proc/25079/task/25081/stat : 25081 (java) S 25077 25079 24555 0 -1 64 4474 0 0 0 5 1 0 0 16 0 8 0 270341465 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25082] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25082/stat : 25082 (java) S 25077 25079 24555 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270341466 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25083] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25083/stat : 25083 (java) S 25077 25079 24555 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270341466 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25084] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25084/stat : 25084 (java) S 25077 25079 24555 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270341469 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25085] ppid=25077 vsize=915636 CPUtime=0.19
/proc/25079/task/25085/stat : 25085 (java) S 25077 25079 24555 0 -1 64 424 0 0 0 18 1 0 0 16 0 8 0 270341469 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25086] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25086/stat : 25086 (java) S 25077 25079 24555 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270341469 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25087] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25087/stat : 25087 (java) S 25077 25079 24555 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270341469 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915636

[startup+12.7508 s]
/proc/loadavg: 1.95 1.99 1.99 4/88 25087
/proc/meminfo: memFree=1208408/2055920 swapFree=4184236/4192956
[pid=25079] ppid=25077 vsize=915636 CPUtime=12.61
/proc/25079/stat : 25079 (java) R 25077 25079 24555 0 -1 0 21115 0 1 0 1248 13 0 0 25 0 8 0 270341462 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795879 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25079/statm: 228909 20850 2182 14 0 215379 0
[pid=25079/tid=25081] ppid=25077 vsize=915636 CPUtime=0.06
/proc/25079/task/25081/stat : 25081 (java) S 25077 25079 24555 0 -1 64 4474 0 0 0 5 1 0 0 16 0 8 0 270341465 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25082] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25082/stat : 25082 (java) S 25077 25079 24555 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270341466 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25083] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25083/stat : 25083 (java) S 25077 25079 24555 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270341466 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25084] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25084/stat : 25084 (java) S 25077 25079 24555 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270341469 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25085] ppid=25077 vsize=915636 CPUtime=0.19
/proc/25079/task/25085/stat : 25085 (java) S 25077 25079 24555 0 -1 64 426 0 0 0 18 1 0 0 16 0 8 0 270341469 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25086] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25086/stat : 25086 (java) S 25077 25079 24555 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270341469 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25087] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25087/stat : 25087 (java) S 25077 25079 24555 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270341469 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915636

[startup+25.6099 s]
/proc/loadavg: 2.02 2.01 2.00 3/88 25087
/proc/meminfo: memFree=1205976/2055920 swapFree=4184236/4192956
[pid=25079] ppid=25077 vsize=915636 CPUtime=25.35
/proc/25079/stat : 25079 (java) R 25077 25079 24555 0 -1 0 21769 0 1 0 2519 16 0 0 25 0 8 0 270341462 937611264 21501 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810868 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25079/statm: 228909 21501 2182 14 0 215379 0
[pid=25079/tid=25081] ppid=25077 vsize=915636 CPUtime=0.12
/proc/25079/task/25081/stat : 25081 (java) S 25077 25079 24555 0 -1 64 5120 0 0 0 11 1 0 0 16 0 8 0 270341465 937611264 21501 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25082] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25082/stat : 25082 (java) S 25077 25079 24555 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270341466 937611264 21501 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25083] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25083/stat : 25083 (java) S 25077 25079 24555 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270341466 937611264 21501 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25084] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25084/stat : 25084 (java) S 25077 25079 24555 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270341469 937611264 21501 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25085] ppid=25077 vsize=915636 CPUtime=0.21
/proc/25079/task/25085/stat : 25085 (java) S 25077 25079 24555 0 -1 64 431 0 0 0 20 1 0 0 17 0 8 0 270341469 937611264 21501 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25086] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25086/stat : 25086 (java) S 25077 25079 24555 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270341469 937611264 21501 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25087] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25087/stat : 25087 (java) S 25077 25079 24555 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270341469 937611264 21501 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915636

[startup+51.2202 s]
/proc/loadavg: 2.02 2.01 2.00 3/88 25087
/proc/meminfo: memFree=1193560/2055920 swapFree=4184236/4192956
[pid=25079] ppid=25077 vsize=915636 CPUtime=50.73
/proc/25079/stat : 25079 (java) R 25077 25079 24555 0 -1 0 24878 0 1 0 5045 28 0 0 25 0 8 0 270341462 937611264 24607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25079/statm: 228909 24607 2182 14 0 215379 0
[pid=25079/tid=25081] ppid=25077 vsize=915636 CPUtime=0.24
/proc/25079/task/25081/stat : 25081 (java) S 25077 25079 24555 0 -1 64 8218 0 0 0 22 2 0 0 16 0 8 0 270341465 937611264 24607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25082] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25082/stat : 25082 (java) S 25077 25079 24555 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270341466 937611264 24607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25083] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25083/stat : 25083 (java) S 25077 25079 24555 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270341466 937611264 24607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25084] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25084/stat : 25084 (java) S 25077 25079 24555 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270341469 937611264 24607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25085] ppid=25077 vsize=915636 CPUtime=0.22
/proc/25079/task/25085/stat : 25085 (java) S 25077 25079 24555 0 -1 64 440 0 0 0 21 1 0 0 16 0 8 0 270341469 937611264 24607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25086] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25086/stat : 25086 (java) S 25077 25079 24555 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270341469 937611264 24607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25087] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25087/stat : 25087 (java) S 25077 25079 24555 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270341469 937611264 24607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915636

[startup+102.48 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 25087
/proc/meminfo: memFree=1172760/2055920 swapFree=4184236/4192956
[pid=25079] ppid=25077 vsize=915636 CPUtime=101.46
/proc/25079/stat : 25079 (java) R 25077 25079 24555 0 -1 0 30396 0 1 0 10100 46 0 0 25 0 8 0 270341462 937611264 30119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795927 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25079/statm: 228909 30119 2501 14 0 215379 0
[pid=25079/tid=25081] ppid=25077 vsize=915636 CPUtime=0.63
/proc/25079/task/25081/stat : 25081 (java) S 25077 25079 24555 0 -1 64 13356 0 0 0 59 4 0 0 16 0 8 0 270341465 937611264 30119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25082] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25082/stat : 25082 (java) S 25077 25079 24555 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270341466 937611264 30119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25083] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25083/stat : 25083 (java) S 25077 25079 24555 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270341466 937611264 30119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25084] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25084/stat : 25084 (java) S 25077 25079 24555 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270341469 937611264 30119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25085] ppid=25077 vsize=915636 CPUtime=0.27
/proc/25079/task/25085/stat : 25085 (java) S 25077 25079 24555 0 -1 64 469 0 0 0 26 1 0 0 16 0 8 0 270341469 937611264 30119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25086] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25086/stat : 25086 (java) S 25077 25079 24555 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270341469 937611264 30119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25087] ppid=25077 vsize=915636 CPUtime=0
/proc/25079/task/25087/stat : 25087 (java) S 25077 25079 24555 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270341469 937611264 30119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915636

[startup+162.581 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 25087
/proc/meminfo: memFree=1172760/2055920 swapFree=4184236/4192956
[pid=25079] ppid=25077 vsize=915636 CPUtime=161
/proc/25079/stat : 25079 (java) R 25077 25079 24555 0 -1 0 30398 0 1 0 16048 52 0 0 25 0 8 0 270341462 937611264 30121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800305 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2009.88
Current children cumulated vsize (KiB) 915936

[startup+2084.47 s]
/proc/loadavg: 2.02 2.01 2.00 3/81 25170
/proc/meminfo: memFree=1223760/2055920 swapFree=4184236/4192956
[pid=25079] ppid=25077 vsize=915936 CPUtime=2069.9
/proc/25079/stat : 25079 (java) R 25077 25079 24555 0 -1 0 39783 0 1 0 206925 65 0 0 25 0 8 0 270341462 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074246436 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25079/statm: 228984 39487 2548 14 0 215454 0
[pid=25079/tid=25081] ppid=25077 vsize=915936 CPUtime=0.74
/proc/25079/task/25081/stat : 25081 (java) S 25077 25079 24555 0 -1 64 22508 0 0 0 67 7 0 0 16 0 8 0 270341465 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25082] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25082/stat : 25082 (java) S 25077 25079 24555 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270341466 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25083] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25083/stat : 25083 (java) S 25077 25079 24555 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270341466 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25084] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25084/stat : 25084 (java) S 25077 25079 24555 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270341469 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25085] ppid=25077 vsize=915936 CPUtime=0.39
/proc/25079/task/25085/stat : 25085 (java) S 25077 25079 24555 0 -1 64 589 0 0 0 37 2 0 0 16 0 8 0 270341469 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25079/tid=25086] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25086/stat : 25086 (java) S 25077 25079 24555 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270341469 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25087] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25087/stat : 25087 (java) S 25077 25079 24555 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270341469 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2069.9
Current children cumulated vsize (KiB) 915936

[startup+2144.54 s]
/proc/loadavg: 2.01 2.00 2.00 3/81 25170
/proc/meminfo: memFree=1223696/2055920 swapFree=4184236/4192956
[pid=25079] ppid=25077 vsize=915936 CPUtime=2129.89
/proc/25079/stat : 25079 (java) R 25077 25079 24555 0 -1 0 39783 0 1 0 212924 65 0 0 25 0 8 0 270341462 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073977975 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25079/statm: 228984 39487 2548 14 0 215454 0
[pid=25079/tid=25081] ppid=25077 vsize=915936 CPUtime=0.74
/proc/25079/task/25081/stat : 25081 (java) S 25077 25079 24555 0 -1 64 22508 0 0 0 67 7 0 0 16 0 8 0 270341465 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25082] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25082/stat : 25082 (java) S 25077 25079 24555 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270341466 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25083] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25083/stat : 25083 (java) S 25077 25079 24555 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270341466 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25084] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25084/stat : 25084 (java) S 25077 25079 24555 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270341469 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25085] ppid=25077 vsize=915936 CPUtime=0.39
/proc/25079/task/25085/stat : 25085 (java) S 25077 25079 24555 0 -1 64 589 0 0 0 37 2 0 0 16 0 8 0 270341469 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25079/tid=25086] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25086/stat : 25086 (java) S 25077 25079 24555 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270341469 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25087] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25087/stat : 25087 (java) S 25077 25079 24555 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270341469 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2129.89
Current children cumulated vsize (KiB) 915936

[startup+2204.61 s]
/proc/loadavg: 2.11 2.03 2.01 3/81 25170
/proc/meminfo: memFree=1223760/2055920 swapFree=4184236/4192956
[pid=25079] ppid=25077 vsize=915936 CPUtime=2189.91
/proc/25079/stat : 25079 (java) R 25077 25079 24555 0 -1 0 39783 0 1 0 218926 65 0 0 25 0 8 0 270341462 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074246436 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25079/statm: 228984 39487 2548 14 0 215454 0
[pid=25079/tid=25081] ppid=25077 vsize=915936 CPUtime=0.74
/proc/25079/task/25081/stat : 25081 (java) S 25077 25079 24555 0 -1 64 22508 0 0 0 67 7 0 0 16 0 8 0 270341465 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25082] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25082/stat : 25082 (java) S 25077 25079 24555 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270341466 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25083] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25083/stat : 25083 (java) S 25077 25079 24555 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270341466 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25084] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25084/stat : 25084 (java) S 25077 25079 24555 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270341469 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25085] ppid=25077 vsize=915936 CPUtime=0.39
/proc/25079/task/25085/stat : 25085 (java) S 25077 25079 24555 0 -1 64 589 0 0 0 37 2 0 0 16 0 8 0 270341469 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25079/tid=25086] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25086/stat : 25086 (java) S 25077 25079 24555 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270341469 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25087] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25087/stat : 25087 (java) S 25077 25079 24555 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270341469 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2189.91
Current children cumulated vsize (KiB) 915936

[startup+2264.67 s]
/proc/loadavg: 2.04 2.02 2.00 3/81 25170
/proc/meminfo: memFree=1223760/2055920 swapFree=4184236/4192956
[pid=25079] ppid=25077 vsize=915936 CPUtime=2249.93
/proc/25079/stat : 25079 (java) R 25077 25079 24555 0 -1 0 39783 0 1 0 224928 65 0 0 25 0 8 0 270341462 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074246436 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25079/statm: 228984 39487 2548 14 0 215454 0
[pid=25079/tid=25081] ppid=25077 vsize=915936 CPUtime=0.74
/proc/25079/task/25081/stat : 25081 (java) S 25077 25079 24555 0 -1 64 22508 0 0 0 67 7 0 0 16 0 8 0 270341465 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25082] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25082/stat : 25082 (java) S 25077 25079 24555 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270341466 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25083] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25083/stat : 25083 (java) S 25077 25079 24555 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270341466 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25084] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25084/stat : 25084 (java) S 25077 25079 24555 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270341469 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25085] ppid=25077 vsize=915936 CPUtime=0.39
/proc/25079/task/25085/stat : 25085 (java) S 25077 25079 24555 0 -1 64 589 0 0 0 37 2 0 0 16 0 8 0 270341469 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25079/tid=25086] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25086/stat : 25086 (java) S 25077 25079 24555 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270341469 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25087] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25087/stat : 25087 (java) S 25077 25079 24555 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270341469 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2249.93
Current children cumulated vsize (KiB) 915936

[startup+2324.74 s]
/proc/loadavg: 2.09 2.03 2.01 3/81 25170
/proc/meminfo: memFree=1223696/2055920 swapFree=4184236/4192956
[pid=25079] ppid=25077 vsize=915936 CPUtime=2309.92
/proc/25079/stat : 25079 (java) R 25077 25079 24555 0 -1 0 39783 0 1 0 230927 65 0 0 25 0 8 0 270341462 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074247177 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25079/statm: 228984 39487 2548 14 0 215454 0
[pid=25079/tid=25081] ppid=25077 vsize=915936 CPUtime=0.74
/proc/25079/task/25081/stat : 25081 (java) S 25077 25079 24555 0 -1 64 22508 0 0 0 67 7 0 0 16 0 8 0 270341465 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25082] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25082/stat : 25082 (java) S 25077 25079 24555 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270341466 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25083] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25083/stat : 25083 (java) S 25077 25079 24555 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270341466 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25084] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25084/stat : 25084 (java) S 25077 25079 24555 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270341469 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25085] ppid=25077 vsize=915936 CPUtime=0.39
/proc/25079/task/25085/stat : 25085 (java) S 25077 25079 24555 0 -1 64 589 0 0 0 37 2 0 0 16 0 8 0 270341469 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25079/tid=25086] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25086/stat : 25086 (java) S 25077 25079 24555 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270341469 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25087] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25087/stat : 25087 (java) S 25077 25079 24555 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270341469 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2309.92
Current children cumulated vsize (KiB) 915936

[startup+2384.81 s]
/proc/loadavg: 2.03 2.03 2.00 3/81 25170
/proc/meminfo: memFree=1223696/2055920 swapFree=4184236/4192956
[pid=25079] ppid=25077 vsize=915936 CPUtime=2369.93
/proc/25079/stat : 25079 (java) R 25077 25079 24555 0 -1 0 39783 0 1 0 236928 65 0 0 25 0 8 0 270341462 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074247160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25079/statm: 228984 39487 2548 14 0 215454 0
[pid=25079/tid=25081] ppid=25077 vsize=915936 CPUtime=0.74
/proc/25079/task/25081/stat : 25081 (java) S 25077 25079 24555 0 -1 64 22508 0 0 0 67 7 0 0 16 0 8 0 270341465 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25082] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25082/stat : 25082 (java) S 25077 25079 24555 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270341466 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25083] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25083/stat : 25083 (java) S 25077 25079 24555 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270341466 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25084] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25084/stat : 25084 (java) S 25077 25079 24555 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270341469 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25085] ppid=25077 vsize=915936 CPUtime=0.39
/proc/25079/task/25085/stat : 25085 (java) S 25077 25079 24555 0 -1 64 589 0 0 0 37 2 0 0 16 0 8 0 270341469 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25079/tid=25086] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25086/stat : 25086 (java) S 25077 25079 24555 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270341469 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25087] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25087/stat : 25087 (java) S 25077 25079 24555 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270341469 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2369.93
Current children cumulated vsize (KiB) 915936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2414.96 s]
/proc/loadavg: 2.02 2.02 2.00 3/81 25170
/proc/meminfo: memFree=1223696/2055920 swapFree=4184236/4192956
[pid=25079] ppid=25077 vsize=915936 CPUtime=2400.06
/proc/25079/stat : 25079 (java) R 25077 25079 24555 0 -1 0 39783 0 1 0 239941 65 0 0 25 0 8 0 270341462 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073977995 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25079/statm: 228984 39487 2548 14 0 215454 0
[pid=25079/tid=25081] ppid=25077 vsize=915936 CPUtime=0.74
/proc/25079/task/25081/stat : 25081 (java) S 25077 25079 24555 0 -1 64 22508 0 0 0 67 7 0 0 16 0 8 0 270341465 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25082] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25082/stat : 25082 (java) S 25077 25079 24555 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270341466 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25083] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25083/stat : 25083 (java) S 25077 25079 24555 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270341466 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25084] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25084/stat : 25084 (java) S 25077 25079 24555 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270341469 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25085] ppid=25077 vsize=915936 CPUtime=0.39
/proc/25079/task/25085/stat : 25085 (java) S 25077 25079 24555 0 -1 64 589 0 0 0 37 2 0 0 16 0 8 0 270341469 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25079/tid=25086] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25086/stat : 25086 (java) S 25077 25079 24555 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270341469 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25079/tid=25087] ppid=25077 vsize=915936 CPUtime=0
/proc/25079/task/25087/stat : 25087 (java) S 25077 25079 24555 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270341469 937918464 39487 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915936

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

Child status: 143
Real time (s): 2415.02
CPU time (s): 2400.13
CPU user time (s): 2399.44
CPU system time (s): 0.682896
CPU usage (%): 99.3834
Max. virtual memory (cumulated for all children) (KiB): 915936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.44
system time used= 0.682896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39807
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= 50564
involuntary context switches= 90084

runsolver used 2.88656 s user time and 7.8928 s system time

The end

Launcher Data (download as text)

Begin job on node58 on Fri Jan 19 15:10:35 UTC 2007


IDJOB= 275286
IDBENCH= 3765
IDSOLVER= 69
FILE ID= node58/275286-1169219435

PBS_JOBID= 3589183

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp11/fapp11-1000-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275286-1169219435/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node58/watcher-275286-1169219435 -o ROOT/results/node58/solver-275286-1169219435 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275286-1169219435/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  76197611c0892ae9e5058ee39d3aa972

RANDOM SEED= 753320269

TIME LIMIT= 2400 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.223
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.223
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1283952 kB
Buffers:         48108 kB
Cached:         542672 kB
SwapCached:       2792 kB
Active:         189952 kB
Inactive:       511564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1283952 kB
SwapTotal:     4192956 kB
SwapFree:      4184236 kB
Dirty:            3716 kB
Writeback:           0 kB
Mapped:         124716 kB
Slab:            55644 kB
Committed_AS:  4359516 kB
PageTables:       1988 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 node58 on Fri Jan 19 15:50:50 UTC 2007