Trace number 275277

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.1 2411.54

General information on the benchmark

Namefapp/fapp11-15/fapp11/
fapp11-1000-5.xml
MD5SUMb661827da205822238b3e0d3c05549cf
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints14581
Best CPU time to get the best result obtained on this benchmark2400.1
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/275277-1169219162/unknown.xml
0.37	   
0.38	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.58	     nbVariables=1000  nbDomainTypes=18  minDomainSize=50  maxDomainSize=362
0.58	       =>  wckTime=0.268  cpuTime=0.2  mem=17M636
0.58	   
0.58	   predicates being loaded...
0.58	   
0.58	   constraints being loaded...
61.28	   
61.28	   INFO : Stopping converting binary constraints (cpu=60.03, mem = 72M21)
62.35	     nbConstraints=15032  nbConvertedConstraints=4361  nbConvertConstraintsChecks=188473424  nbExtensionStructures=2584
62.35	     nbSharedExtensionStructures=1777  nbConflictsStructures=2584  nbSharedConflictsStructures=1777
62.35	     nbSharedBinaryRepresentations=1315774  nbEvaluationManagers=5159  nbSharedEvaluationManagers=5512  maxDegree=51
62.35	     maxArity=2
62.35	       =>  wckTime=62.042  cpuTime=60.83  mem=48M874
62.57	   
62.57	   solver LocalSearchSolver being built... 
62.61	       =>  wckTime=62.299  cpuTime=60.88  mem=47M354
62.69	
62.69	s SATISFIABLE
62.69	o 12040
62.69	c 2992
62.72	o 12049
62.72	c 2983
62.75	o 12059
62.75	c 2973
62.77	o 12070
62.77	c 2962
62.79	o 12077
62.79	c 2955
62.81	o 12085
62.81	c 2947
62.85	o 12097
62.85	c 2935
62.88	o 12102
62.88	c 2930
62.90	o 12106
62.90	c 2926
62.93	o 12113
62.93	c 2919
62.97	o 12120
62.97	c 2912
62.99	o 12125
62.99	c 2907
63.01	o 12129
63.01	c 2903
63.04	o 12132
63.04	c 2900
63.07	o 12133
63.07	c 2899
63.11	o 12137
63.11	c 2895
63.13	o 12146
63.13	c 2886
63.16	o 12155
63.16	c 2877
63.19	o 12163
63.19	c 2869
63.22	o 12170
63.22	c 2862
63.25	o 12177
63.25	c 2855
63.29	o 12183
63.29	c 2849
63.32	o 12189
63.32	c 2843
63.36	o 12194
63.36	c 2838
63.40	o 12199
63.40	c 2833
63.44	o 12204
63.44	c 2828
63.47	o 12208
63.47	c 2824
63.49	o 12212
63.49	c 2820
63.52	o 12215
63.52	c 2817
63.54	o 12219
63.54	c 2813
63.57	o 12222
63.57	c 2810
63.58	o 12224
63.58	c 2808
63.60	o 12226
63.60	c 2806
63.66	o 12231
63.66	c 2801
63.69	o 12233
63.69	c 2799
63.71	o 12237
63.71	c 2795
63.74	o 12239
63.74	c 2793
63.76	o 12246
63.76	c 2786
63.82	o 12251
63.82	c 2781
63.85	o 12259
63.85	c 2773
63.87	o 12265
63.87	c 2767
63.89	o 12273
63.89	c 2759
63.96	o 12280
63.96	c 2752
64.00	o 12286
64.00	c 2746
64.03	o 12291
64.03	c 2741
64.06	o 12296
64.06	c 2736
64.08	o 12301
64.09	c 2731
64.11	o 12305
64.11	c 2727
64.13	o 12308
64.13	c 2724
64.16	o 12311
64.16	c 2721
64.18	o 12313
64.18	c 2719
64.22	o 12316
64.22	c 2716
64.23	o 12318
64.23	c 2714
64.24	o 12319
64.24	c 2713
64.27	o 12320
64.27	c 2712
64.31	o 12321
64.31	c 2711
64.34	o 12326
64.34	c 2706
64.37	o 12330
64.37	c 2702
64.38	o 12331
64.38	c 2701
64.41	o 12337
64.41	c 2695
64.43	o 12338
64.43	c 2694
64.45	o 12346
64.45	c 2686
64.48	o 12354
64.48	c 2678
64.50	o 12356
64.50	c 2676
64.54	o 12362
64.54	c 2670
64.57	o 12368
64.57	c 2664
64.60	o 12374
64.60	c 2658
64.64	o 12380
64.64	c 2652
64.68	o 12386
64.68	c 2646
64.70	o 12392
64.70	c 2640
64.75	o 12396
64.75	c 2636
64.78	o 12400
64.78	c 2632
64.82	o 12404
64.82	c 2628
64.85	o 12408
64.85	c 2624
64.88	o 12412
64.88	c 2620
64.91	o 12416
64.91	c 2616
64.94	o 12419
64.94	c 2613
64.97	o 12422
64.97	c 2610
65.00	o 12425
65.00	c 2607
65.04	o 12428
65.04	c 2604
65.07	o 12432
65.07	c 2600
65.10	o 12434
65.10	c 2598
65.12	o 12436
65.12	c 2596
65.15	o 12438
65.15	c 2594
65.17	o 12440
65.17	c 2592
65.20	o 12441
65.20	c 2591
65.23	o 12444
65.23	c 2588
65.25	o 12445
65.25	c 2587
65.29	o 12448
65.29	c 2584
65.31	o 12453
65.31	c 2579
65.33	o 12458
65.33	c 2574
65.35	o 12460
65.35	c 2572
65.37	o 12465
65.37	c 2567
65.39	o 12470
65.39	c 2562
65.40	o 12472
65.40	c 2560
65.43	o 12476
65.43	c 2556
65.45	o 12482
65.45	c 2550
65.49	o 12483
65.49	c 2549
65.51	o 12484
65.51	c 2548
65.53	o 12487
65.53	c 2545
65.57	o 12493
65.57	c 2539
65.63	o 12495
65.63	c 2537
65.68	o 12501
65.68	c 2531
65.72	o 12507
65.72	c 2525
65.76	o 12512
65.76	c 2520
65.80	o 12516
65.80	c 2516
65.84	o 12520
65.84	c 2512
65.87	o 12523
65.87	c 2509
65.91	o 12526
65.91	c 2506
65.95	o 12528
65.95	c 2504
65.98	o 12530
65.98	c 2502
66.00	o 12532
66.00	c 2500
66.03	o 12533
66.03	c 2499
66.06	o 12534
66.06	c 2498
66.09	o 12535
66.09	c 2497
66.11	o 12536
66.11	c 2496
66.15	o 12537
66.15	c 2495
66.17	o 12538
66.17	c 2494
66.20	o 12539
66.20	c 2493
66.26	o 12542
66.26	c 2490
66.29	o 12547
66.29	c 2485
66.32	o 12549
66.32	c 2483
66.36	o 12553
66.36	c 2479
66.40	o 12555
66.40	c 2477
66.44	o 12558
66.44	c 2474
66.47	o 12559
66.47	c 2473
66.55	o 12562
66.55	c 2470
66.57	o 12564
66.57	c 2468
66.60	o 12569
66.60	c 2463
66.64	o 12570
66.64	c 2462
66.66	o 12572
66.66	c 2460
66.72	o 12574
66.72	c 2458
66.77	o 12577
66.77	c 2455
66.83	o 12578
66.83	c 2454
66.87	o 12581
66.87	c 2451
66.90	o 12583
66.90	c 2449
66.93	o 12585
66.93	c 2447
66.95	o 12589
66.95	c 2443
66.98	o 12593
66.98	c 2439
67.04	o 12598
67.04	c 2434
67.08	o 12603
67.08	c 2429
67.12	o 12606
67.12	c 2426
67.17	o 12607
67.17	c 2425
67.21	o 12611
67.21	c 2421
67.25	o 12617
67.26	c 2415
67.30	o 12623
67.31	c 2409
67.36	o 12628
67.36	c 2404
67.42	o 12632
67.42	c 2400
67.47	o 12634
67.47	c 2398
67.52	o 12638
67.52	c 2394
67.57	o 12642
67.57	c 2390
67.62	o 12646
67.62	c 2386
67.67	o 12649
67.67	c 2383
67.71	o 12652
67.71	c 2380
67.92	o 12653
67.92	c 2379
67.96	o 12656
67.96	c 2376
67.99	o 12659
67.99	c 2373
68.06	o 12660
68.06	c 2372
68.10	o 12665
68.10	c 2367
68.13	o 12666
68.13	c 2366
68.17	o 12667
68.17	c 2365
68.21	o 12670
68.21	c 2362
68.25	o 12675
68.25	c 2357
68.58	o 12677
68.58	c 2355
68.66	o 12679
68.66	c 2353
68.71	o 12682
68.71	c 2350
68.80	o 12685
68.80	c 2347
68.85	o 12687
68.85	c 2345
68.89	o 12689
68.89	c 2343
68.94	o 12694
68.94	c 2338
68.98	o 12696
68.98	c 2336
69.02	o 12700
69.02	c 2332
69.07	o 12702
69.07	c 2330
69.11	o 12706
69.11	c 2326
69.19	o 12708
69.19	c 2324
69.26	o 12709
69.26	c 2323
69.37	o 12712
69.37	c 2320
69.41	o 12715
69.41	c 2317
69.44	o 12718
69.44	c 2314
69.50	o 12719
69.50	c 2313
69.52	o 12721
69.52	c 2311
69.55	o 12724
69.55	c 2308
69.59	o 12728
69.59	c 2304
69.61	o 12731
69.61	c 2301
69.64	o 12733
69.64	c 2299
69.69	o 12735
69.69	c 2297
69.72	o 12738
69.72	c 2294
69.75	o 12740
69.75	c 2292
69.77	o 12743
69.77	c 2289
69.80	o 12745
69.80	c 2287
69.83	o 12748
69.83	c 2284
69.89	o 12751
69.89	c 2281
69.93	o 12752
69.93	c 2280
69.98	o 12754
69.98	c 2278
70.02	o 12758
70.02	c 2274
70.04	o 12762
70.04	c 2270
70.06	o 12763
70.06	c 2269
70.09	o 12764
70.09	c 2268
70.15	o 12769
70.15	c 2263
70.21	o 12774
70.21	c 2258
70.25	o 12777
70.25	c 2255
70.30	o 12778
70.30	c 2254
70.34	o 12779
70.34	c 2253
70.39	o 12780
70.39	c 2252
70.43	o 12781
70.43	c 2251
70.48	o 12782
70.48	c 2250
70.58	o 12785
70.58	c 2247
70.62	o 12794
70.62	c 2238
70.72	o 12797
70.72	c 2235
70.76	o 12802
70.76	c 2230
70.83	o 12807
70.83	c 2225
70.87	o 12811
70.87	c 2221
70.95	o 12813
70.95	c 2219
70.98	o 12814
70.98	c 2218
71.01	o 12819
71.01	c 2213
71.04	o 12823
71.04	c 2209
71.07	o 12826
71.07	c 2206
71.11	o 12833
71.11	c 2199
71.14	o 12834
71.14	c 2198
71.18	o 12839
71.18	c 2193
71.22	o 12848
71.22	c 2184
71.26	o 12850
71.26	c 2182
71.31	o 12857
71.31	c 2175
71.34	o 12860
71.34	c 2172
71.40	o 12864
71.40	c 2168
71.44	o 12866
71.44	c 2166
71.48	o 12869
71.48	c 2163
71.52	o 12870
71.52	c 2162
71.55	o 12873
71.55	c 2159
71.57	o 12876
71.57	c 2156
71.61	o 12877
71.61	c 2155
71.64	o 12880
71.64	c 2152
71.72	o 12881
71.72	c 2151
71.76	o 12882
71.76	c 2150
71.84	o 12883
71.84	c 2149
71.91	o 12887
71.91	c 2145
71.94	o 12891
71.94	c 2141
71.98	o 12897
71.98	c 2135
72.01	o 12900
72.01	c 2132
72.04	o 12903
72.04	c 2129
72.08	o 12906
72.08	c 2126
72.11	o 12907
72.11	c 2125
72.15	o 12912
72.15	c 2120
72.19	o 12913
72.19	c 2119
72.22	o 12916
72.22	c 2116
72.24	o 12918
72.25	c 2114
72.28	o 12922
72.28	c 2110
72.33	o 12928
72.33	c 2104
72.37	o 12932
72.37	c 2100
72.42	o 12935
72.42	c 2097
72.45	o 12938
72.45	c 2094
72.51	o 12942
72.51	c 2090
72.54	o 12947
72.54	c 2085
72.62	o 12948
72.62	c 2084
72.66	o 12954
72.66	c 2078
72.69	o 12956
72.69	c 2076
72.72	o 12961
72.72	c 2071
72.77	o 12963
72.77	c 2069
72.80	o 12968
72.80	c 2064
72.82	o 12971
72.82	c 2061
72.85	o 12972
72.85	c 2060
72.88	o 12976
72.88	c 2056
72.91	o 12978
72.91	c 2054
72.97	o 12983
72.97	c 2049
72.99	o 12984
72.99	c 2048
73.03	o 12988
73.03	c 2044
73.05	o 12991
73.05	c 2041
73.09	o 12992
73.09	c 2040
73.16	o 12997
73.16	c 2035
73.23	o 13002
73.23	c 2030
73.26	o 13006
73.26	c 2026
73.29	o 13007
73.29	c 2025
73.32	o 13009
73.32	c 2023
73.35	o 13011
73.35	c 2021
73.38	o 13016
73.38	c 2016
73.40	o 13020
73.40	c 2012
73.44	o 13021
73.44	c 2011
73.52	o 13025
73.52	c 2007
73.57	o 13029
73.57	c 2003
73.60	o 13030
73.60	c 2002
73.65	o 13033
73.65	c 1999
73.68	o 13035
73.68	c 1997
73.72	o 13036
73.72	c 1996
73.75	o 13039
73.75	c 1993
73.79	o 13042
73.79	c 1990
73.85	o 13043
73.85	c 1989
73.87	o 13050
73.87	c 1982
73.96	o 13051
73.96	c 1981
73.99	o 13056
73.99	c 1976
74.04	o 13060
74.04	c 1972
74.07	o 13063
74.07	c 1969
74.10	o 13067
74.10	c 1965
74.18	o 13068
74.18	c 1964
74.23	o 13070
74.23	c 1962
74.26	o 13071
74.26	c 1961
74.30	o 13072
74.30	c 1960
74.35	o 13074
74.35	c 1958
74.39	o 13077
74.39	c 1955
74.44	o 13083
74.44	c 1949
74.47	o 13085
74.47	c 1947
74.50	o 13089
74.50	c 1943
74.54	o 13094
74.54	c 1938
74.57	o 13095
74.57	c 1937
74.61	o 13097
74.61	c 1935
74.65	o 13102
74.65	c 1930
74.73	o 13108
74.73	c 1924
74.77	o 13109
74.77	c 1923
74.80	o 13111
74.80	c 1921
74.85	o 13113
74.85	c 1919
74.89	o 13116
74.89	c 1916
75.01	o 13118
75.01	c 1914
75.11	o 13119
75.11	c 1913
75.14	o 13121
75.14	c 1911
75.16	o 13128
75.16	c 1904
75.18	o 13131
75.18	c 1901
75.30	o 13133
75.30	c 1899
75.34	o 13134
75.34	c 1898
75.41	o 13135
75.41	c 1897
75.46	o 13137
75.46	c 1895
75.51	o 13138
75.51	c 1894
75.55	o 13143
75.55	c 1889
75.65	o 13145
75.65	c 1887
75.70	o 13147
75.70	c 1885
75.80	o 13148
75.80	c 1884
75.83	o 13149
75.83	c 1883
75.88	o 13152
75.88	c 1880
75.97	o 13153
75.97	c 1879
76.02	o 13154
76.02	c 1878
76.09	o 13156
76.09	c 1876
76.14	o 13159
76.14	c 1873
76.18	o 13164
76.18	c 1868
76.22	o 13166
76.23	c 1866
76.48	o 13167
76.48	c 1865
76.60	o 13169
76.60	c 1863
76.67	o 13174
76.67	c 1858
76.74	o 13177
76.74	c 1855
76.79	o 13179
76.79	c 1853
76.92	o 13180
76.92	c 1852
76.99	o 13188
76.99	c 1844
77.04	o 13189
77.04	c 1843
77.16	o 13190
77.16	c 1842
77.21	o 13193
77.21	c 1839
77.25	o 13194
77.25	c 1838
77.30	o 13198
77.30	c 1834
77.37	o 13200
77.37	c 1832
77.44	o 13204
77.44	c 1828
77.50	o 13207
77.50	c 1825
77.57	o 13211
77.57	c 1821
77.64	o 13214
77.64	c 1818
77.71	o 13216
77.71	c 1816
77.78	o 13218
77.78	c 1814
77.90	o 13219
77.90	c 1813
77.97	o 13220
77.97	c 1812
78.03	o 13221
78.03	c 1811
78.23	o 13222
78.23	c 1810
78.29	o 13223
78.29	c 1809
78.36	o 13226
78.36	c 1806
78.42	o 13227
78.42	c 1805
78.49	o 13231
78.49	c 1801
78.55	o 13233
78.55	c 1799
78.61	o 13240
78.61	c 1792
78.67	o 13241
78.67	c 1791
78.73	o 13243
78.73	c 1789
78.91	o 13245
78.91	c 1787
79.03	o 13249
79.03	c 1783
79.10	o 13251
79.10	c 1781
79.16	o 13254
79.16	c 1778
79.35	o 13256
79.35	c 1776
79.42	o 13259
79.42	c 1773
79.53	o 13263
79.53	c 1769
79.69	o 13267
79.69	c 1765
79.75	o 13268
79.75	c 1764
79.79	o 13269
79.79	c 1763
79.91	o 13270
79.91	c 1762
79.96	o 13272
79.96	c 1760
80.03	o 13276
80.03	c 1756
80.08	o 13279
80.08	c 1753
80.12	o 13280
80.12	c 1752
80.17	o 13281
80.17	c 1751
80.23	o 13283
80.23	c 1749
80.44	o 13284
80.44	c 1748
80.50	o 13285
80.50	c 1747
80.56	o 13287
80.56	c 1745
80.61	o 13292
80.61	c 1740
80.66	o 13298
80.67	c 1734
80.72	o 13300
80.72	c 1732
80.78	o 13302
80.78	c 1730
80.83	o 13306
80.83	c 1726
80.89	o 13309
80.89	c 1723
81.07	o 13311
81.07	c 1721
81.19	o 13316
81.19	c 1716
81.25	o 13320
81.25	c 1712
81.30	o 13324
81.30	c 1708
81.36	o 13326
81.36	c 1706
81.46	o 13327
81.47	c 1705
81.53	o 13330
81.53	c 1702
81.59	o 13339
81.59	c 1693
81.65	o 13340
81.65	c 1692
81.75	o 13341
81.75	c 1691
81.80	o 13344
81.80	c 1688
81.85	o 13346
81.85	c 1686
82.01	o 13350
82.01	c 1682
82.06	o 13352
82.06	c 1680
82.12	o 13355
82.12	c 1677
82.14	o 13358
82.14	c 1674
82.18	o 13360
82.18	c 1672
82.22	o 13363
82.22	c 1669
82.31	o 13366
82.31	c 1666
82.68	o 13369
82.68	c 1663
82.71	o 13370
82.71	c 1662
82.77	o 13372
82.77	c 1660
82.81	o 13376
82.81	c 1656
82.85	o 13379
82.85	c 1653
82.89	o 13381
82.89	c 1651
82.99	o 13383
82.99	c 1649
83.18	o 13384
83.18	c 1648
83.22	o 13388
83.22	c 1644
83.26	o 13389
83.26	c 1643
83.35	o 13392
83.35	c 1640
83.39	o 13394
83.39	c 1638
83.46	o 13398
83.46	c 1634
83.49	o 13401
83.49	c 1631
83.55	o 13404
83.55	c 1628
83.60	o 13409
83.60	c 1623
83.71	o 13412
83.71	c 1620
83.77	o 13413
83.77	c 1619
83.83	o 13417
83.83	c 1615
83.95	o 13418
83.95	c 1614
84.00	o 13421
84.00	c 1611
84.06	o 13423
84.06	c 1609
84.12	o 13426
84.12	c 1606
84.17	o 13429
84.17	c 1603
84.23	o 13432
84.23	c 1600
84.29	o 13433
84.29	c 1599
84.33	o 13436
84.33	c 1596
84.40	o 13438
84.40	c 1594
84.45	o 13441
84.45	c 1591
84.55	o 13444
84.55	c 1588
84.60	o 13445
84.60	c 1587
84.65	o 13446
84.65	c 1586
84.71	o 13447
84.71	c 1585
84.76	o 13450
84.76	c 1582
84.81	o 13453
84.81	c 1579
84.87	o 13455
84.87	c 1577
84.92	o 13459
84.92	c 1573
84.96	o 13462
84.96	c 1570
85.02	o 13463
85.02	c 1569
85.07	o 13464
85.07	c 1568
85.14	o 13466
85.14	c 1566
85.28	o 13469
85.28	c 1563
85.34	o 13472
85.34	c 1560
85.47	o 13474
85.47	c 1558
85.52	o 13477
85.52	c 1555
85.72	o 13479
85.72	c 1553
85.78	o 13481
85.78	c 1551
85.84	o 13482
85.84	c 1550
85.90	o 13483
85.90	c 1549
85.96	o 13484
85.96	c 1548
86.02	o 13488
86.02	c 1544
86.14	o 13489
86.14	c 1543
86.40	o 13491
86.40	c 1541
86.48	o 13493
86.48	c 1539
86.55	o 13495
86.55	c 1537
86.69	o 13496
86.69	c 1536
86.76	o 13500
86.76	c 1532
86.83	o 13505
86.83	c 1527
86.91	o 13506
86.91	c 1526
86.98	o 13508
86.98	c 1524
87.06	o 13509
87.06	c 1523
87.13	o 13513
87.13	c 1519
87.27	o 13514
87.27	c 1518
87.34	o 13518
87.34	c 1514
87.74	o 13519
87.74	c 1513
87.82	o 13520
87.82	c 1512
87.89	o 13523
87.89	c 1509
88.11	o 13524
88.11	c 1508
88.19	o 13526
88.19	c 1506
88.33	o 13530
88.33	c 1502
88.41	o 13532
88.41	c 1500
88.48	o 13533
88.48	c 1499
88.63	o 13535
88.63	c 1497
88.71	o 13537
88.71	c 1495
88.80	o 13539
88.80	c 1493
88.89	o 13542
88.89	c 1490
88.96	o 13543
88.96	c 1489
89.03	o 13548
89.03	c 1484
89.11	o 13551
89.11	c 1481
89.18	o 13554
89.18	c 1478
89.33	o 13555
89.33	c 1477
89.50	o 13556
89.50	c 1476
89.66	o 13557
89.66	c 1475
89.74	o 13558
89.74	c 1474
89.81	o 13559
89.81	c 1473
89.95	o 13561
89.95	c 1471
90.03	o 13562
90.03	c 1470
90.23	o 13565
90.23	c 1467
90.31	o 13567
90.31	c 1465
90.43	o 13568
90.43	c 1464
90.49	o 13570
90.49	c 1462
90.55	o 13571
90.55	c 1461
90.68	o 13573
90.68	c 1459
90.74	o 13575
90.74	c 1457
90.94	o 13576
90.94	c 1456
91.01	o 13577
91.01	c 1455
91.17	o 13581
91.17	c 1451
91.25	o 13584
91.25	c 1448
91.35	o 13586
91.35	c 1446
91.42	o 13588
91.42	c 1444
91.48	o 13589
91.48	c 1443
91.56	o 13591
91.56	c 1441
91.63	o 13593
91.63	c 1439
92.21	o 13594
92.21	c 1438
92.30	o 13595
92.30	c 1437
92.39	o 13598
92.39	c 1434
92.56	o 13604
92.56	c 1428
92.64	o 13605
92.64	c 1427
92.81	o 13608
92.81	c 1424
92.89	o 13612
92.89	c 1420
92.95	o 13614
92.95	c 1418
93.03	o 13615
93.03	c 1417
93.17	o 13616
93.17	c 1416
93.24	o 13619
93.24	c 1413
93.66	o 13620
93.66	c 1412
93.79	o 13621
93.79	c 1411
93.85	o 13622
93.85	c 1410
93.92	o 13624
93.92	c 1408
94.06	o 13627
94.06	c 1405
94.20	o 13628
94.20	c 1404
94.28	o 13632
94.28	c 1400
94.35	o 13633
94.35	c 1399
94.48	o 13634
94.48	c 1398
94.56	o 13636
94.56	c 1396
94.64	o 13638
94.64	c 1394
94.95	o 13642
94.95	c 1390
95.19	o 13644
95.19	c 1388
95.27	o 13646
95.27	c 1386
95.34	o 13647
95.34	c 1385
95.60	o 13649
95.60	c 1383
95.68	o 13650
95.68	c 1382
96.05	o 13655
96.05	c 1377
96.33	o 13656
96.33	c 1376
96.41	o 13660
96.41	c 1372
96.46	o 13666
96.46	c 1366
96.52	o 13669
96.52	c 1363
96.59	o 13674
96.59	c 1358
96.67	o 13675
96.67	c 1357
96.75	o 13677
96.75	c 1355
96.82	o 13678
96.82	c 1354
96.90	o 13679
96.90	c 1353
97.06	o 13683
97.06	c 1349
97.14	o 13684
97.14	c 1348
97.21	o 13687
97.21	c 1345
97.28	o 13688
97.28	c 1344
97.35	o 13691
97.35	c 1341
97.43	o 13692
97.43	c 1340
97.57	o 13694
97.57	c 1338
97.64	o 13698
97.64	c 1334
97.95	o 13699
97.95	c 1333
98.02	o 13700
98.02	c 1332
98.18	o 13703
98.18	c 1329
98.25	o 13705
98.25	c 1327
98.33	o 13707
98.33	c 1325
98.40	o 13710
98.40	c 1322
98.80	o 13712
98.80	c 1320
99.62	o 13715
99.62	c 1317
99.71	o 13716
99.71	c 1316
99.80	o 13720
99.80	c 1312
100.13	o 13724
100.13	c 1308
100.18	o 13725
100.18	c 1307
100.29	o 13729
100.29	c 1303
100.60	o 13731
100.60	c 1301
100.83	o 13734
100.83	c 1298
100.90	o 13735
100.90	c 1297
101.45	o 13737
101.45	c 1295
101.62	o 13738
101.62	c 1294
102.21	o 13739
102.21	c 1293
102.29	o 13740
102.29	c 1292
102.39	o 13741
102.39	c 1291
102.49	o 13742
102.49	c 1290
102.59	o 13743
102.59	c 1289
102.69	o 13744
102.69	c 1288
102.78	o 13745
102.78	c 1287
102.86	o 13746
102.86	c 1286
102.95	o 13747
102.95	c 1285
103.04	o 13748
103.04	c 1284
103.13	o 13749
103.13	c 1283
103.30	o 13751
103.30	c 1281
103.52	o 13752
103.52	c 1280
103.58	o 13759
103.58	c 1273
103.64	o 13762
103.64	c 1270
103.92	o 13765
103.92	c 1267
104.05	o 13769
104.05	c 1263
104.19	o 13770
104.19	c 1262
104.34	o 13771
104.34	c 1261
104.41	o 13772
104.41	c 1260
104.49	o 13773
104.49	c 1259
104.80	o 13774
104.80	c 1258
104.87	o 13775
104.87	c 1257
105.46	o 13776
105.46	c 1256
105.64	o 13779
105.64	c 1253
105.73	o 13780
105.73	c 1252
105.91	o 13781
105.91	c 1251
106.01	o 13782
106.01	c 1250
106.20	o 13785
106.20	c 1247
106.30	o 13790
106.30	c 1242
106.55	o 13792
106.55	c 1240
106.72	o 13793
106.72	c 1239
106.80	o 13794
106.80	c 1238
106.89	o 13797
106.89	c 1235
106.97	o 13799
106.97	c 1233
107.05	o 13800
107.05	c 1232
107.13	o 13803
107.13	c 1229
107.39	o 13804
107.39	c 1228
107.50	o 13808
107.50	c 1224
107.58	o 13811
107.58	c 1221
107.76	o 13813
107.76	c 1219
107.84	o 13815
107.84	c 1217
107.93	o 13816
107.93	c 1216
108.20	o 13818
108.20	c 1214
108.48	o 13820
108.48	c 1212
108.58	o 13823
108.58	c 1209
108.70	o 13827
108.70	c 1205
108.88	o 13828
108.88	c 1204
109.58	o 13829
109.58	c 1203
109.68	o 13830
109.68	c 1202
109.76	o 13832
109.76	c 1200
109.95	o 13838
109.95	c 1194
110.05	o 13842
110.05	c 1190
110.15	o 13846
110.15	c 1186
110.24	o 13847
110.24	c 1185
110.35	o 13850
110.35	c 1182
110.47	o 13852
110.47	c 1180
110.56	o 13854
110.56	c 1178
110.66	o 13856
110.66	c 1176
111.19	o 13859
111.19	c 1173
111.42	o 13863
111.42	c 1169
112.23	o 13864
112.23	c 1168
112.35	o 13865
112.35	c 1167
112.55	o 13867
112.55	c 1165
112.67	o 13868
112.67	c 1164
112.78	o 13871
112.78	c 1161
112.91	o 13873
112.91	c 1159
113.03	o 13874
113.03	c 1158
113.15	o 13876
113.15	c 1156
113.53	o 13880
113.53	c 1152
113.76	o 13881
113.76	c 1151
113.89	o 13884
113.89	c 1148
114.14	o 13887
114.14	c 1145
114.28	o 13888
114.28	c 1144
114.68	o 13889
114.68	c 1143
114.80	o 13890
114.80	c 1142
116.55	o 13892
116.55	c 1140
116.69	o 13894
116.69	c 1138
117.30	o 13896
117.30	c 1136
118.07	o 13898
118.07	c 1134
118.19	o 13900
118.19	c 1132
118.32	o 13904
118.32	c 1128
118.46	o 13906
118.46	c 1126
119.45	o 13907
119.45	c 1125
119.73	o 13908
119.73	c 1124
119.87	o 13909
119.87	c 1123
120.15	o 13911
120.15	c 1121
120.28	o 13913
120.28	c 1119
120.34	o 13914
120.34	c 1118
120.89	o 13915
120.89	c 1117
121.02	o 13916
121.02	c 1116
121.39	o 13920
121.39	c 1112
121.94	o 13922
121.94	c 1110
122.21	o 13923
122.21	c 1109
122.59	o 13925
122.59	c 1107
122.72	o 13926
122.72	c 1106
122.84	o 13928
122.84	c 1104
122.97	o 13931
122.97	c 1101
123.08	o 13932
123.08	c 1100
123.34	o 13934
123.34	c 1098
123.52	o 13935
123.52	c 1097
123.64	o 13939
123.64	c 1093
123.76	o 13940
123.76	c 1092
123.89	o 13942
123.89	c 1090
124.01	o 13943
124.01	c 1089
124.41	o 13946
124.41	c 1086
124.54	o 13947
124.54	c 1085
124.66	o 13948
124.66	c 1084
125.02	o 13950
125.02	c 1082
125.15	o 13951
125.15	c 1081
125.55	o 13952
125.55	c 1080
125.69	o 13954
125.69	c 1078
125.96	o 13956
125.96	c 1076
126.22	o 13959
126.22	c 1073
126.36	o 13960
126.36	c 1072
126.94	o 13962
126.94	c 1070
127.08	o 13964
127.08	c 1068
127.21	o 13967
127.21	c 1065
127.47	o 13968
127.47	c 1064
127.78	o 13969
127.78	c 1063
127.94	o 13970
127.94	c 1062
128.08	o 13972
128.08	c 1060
128.22	o 13974
128.22	c 1058
128.36	o 13975
128.36	c 1057
129.45	o 13977
129.45	c 1055
129.78	o 13980
129.78	c 1052
131.78	o 13981
131.78	c 1051
131.96	o 13982
131.96	c 1050
132.09	o 13985
132.09	c 1047
132.43	o 13986
132.43	c 1046
132.60	o 13989
132.60	c 1043
132.94	o 13992
132.94	c 1040
133.01	o 13995
133.01	c 1037
133.36	o 13998
133.36	c 1034
133.71	o 13999
133.71	c 1033
134.40	o 14001
134.40	c 1031
134.58	o 14003
134.58	c 1029
135.84	o 14004
135.84	c 1028
136.32	o 14006
136.32	c 1026
136.38	o 14011
136.38	c 1021
136.53	o 14015
136.53	c 1017
136.66	o 14016
136.66	c 1016
136.95	o 14017
136.95	c 1015
137.10	o 14018
137.10	c 1014
137.70	o 14019
137.70	c 1013
137.87	o 14020
137.87	c 1012
138.79	o 14021
138.79	c 1011
138.94	o 14023
138.94	c 1009
139.08	o 14024
139.08	c 1008
139.24	o 14025
139.24	c 1007
147.52	o 14026
147.52	c 1006
147.82	o 14029
147.82	c 1003
147.99	o 14030
147.99	c 1002
148.15	o 14033
148.15	c 999
148.62	o 14034
148.62	c 998
148.75	o 14035
148.75	c 997
148.90	o 14039
148.90	c 993
149.05	o 14040
149.05	c 992
149.19	o 14041
149.19	c 991
149.36	o 14043
149.36	c 989
149.50	o 14044
149.50	c 988
149.64	o 14048
149.64	c 984
149.93	o 14049
149.93	c 983
150.06	o 14051
150.06	c 981
150.62	o 14052
150.62	c 980
152.61	o 14054
152.61	c 978
153.00	o 14055
153.00	c 977
153.17	o 14059
153.17	c 973
153.49	o 14061
153.49	c 971
153.66	o 14063
153.66	c 969
153.82	o 14065
153.82	c 967
153.99	o 14066
153.99	c 966
154.73	o 14068
154.73	c 964
154.88	o 14069
154.88	c 963
155.05	o 14071
155.05	c 961
155.21	o 14072
155.21	c 960
155.37	o 14074
155.37	c 958
155.53	o 14077
155.53	c 955
155.81	o 14079
155.81	c 953
156.44	o 14081
156.44	c 951
156.76	o 14083
156.76	c 949
156.91	o 14085
156.91	c 947
157.08	o 14087
157.08	c 945
157.22	o 14088
157.22	c 944
157.39	o 14090
157.39	c 942
157.71	o 14093
157.71	c 939
157.86	o 14094
157.86	c 938
158.01	o 14096
158.01	c 936
158.66	o 14097
158.66	c 935
158.82	o 14099
158.82	c 933
158.97	o 14104
158.97	c 928
159.87	o 14107
159.87	c 925
160.47	o 14108
160.47	c 924
160.63	o 14109
160.63	c 923
161.27	o 14112
161.27	c 920
161.42	o 14114
161.42	c 918
161.80	o 14116
161.80	c 916
161.96	o 14118
161.96	c 914
162.37	o 14125
162.37	c 907
162.56	o 14127
162.56	c 905
162.72	o 14129
162.72	c 903
163.03	o 14130
163.03	c 902
163.15	o 14131
163.15	c 901
163.31	o 14132
163.31	c 900
163.46	o 14134
163.46	c 898
163.57	o 14138
163.57	c 894
163.85	o 14139
163.85	c 893
164.23	o 14140
164.23	c 892
164.33	o 14141
164.33	c 891
164.48	o 14142
164.48	c 890
164.62	o 14143
164.62	c 889
164.77	o 14146
164.77	c 886
164.91	o 14147
164.91	c 885
165.06	o 14148
165.06	c 884
165.20	o 14150
165.20	c 882
165.64	o 14152
165.64	c 880
165.80	o 14153
165.80	c 879
166.11	o 14154
166.11	c 878
166.27	o 14156
166.27	c 876
166.42	o 14157
166.42	c 875
166.57	o 14158
166.57	c 874
166.72	o 14162
166.72	c 870
166.98	o 14163
166.98	c 869
167.12	o 14164
167.12	c 868
167.28	o 14167
167.28	c 865
167.43	o 14169
167.43	c 863
168.38	o 14171
168.38	c 861
168.53	o 14172
168.53	c 860
168.95	o 14174
168.95	c 858
169.10	o 14177
169.10	c 855
169.39	o 14180
169.39	c 852
169.53	o 14181
169.53	c 851
169.81	o 14184
169.81	c 848
173.53	o 14185
173.53	c 847
173.83	o 14186
173.83	c 846
175.05	o 14187
175.05	c 845
175.34	o 14188
175.34	c 844
175.50	o 14189
175.50	c 843
176.15	o 14190
176.15	c 842
176.30	o 14191
176.30	c 841
176.46	o 14192
176.46	c 840
176.58	o 14194
176.58	c 838
176.73	o 14197
176.73	c 835
177.00	o 14198
177.00	c 834
177.04	o 14200
177.04	c 832
177.17	o 14201
177.17	c 831
177.61	o 14202
177.61	c 830
177.75	o 14203
177.75	c 829
177.90	o 14205
177.90	c 827
178.14	o 14206
178.14	c 826
178.29	o 14207
178.29	c 825
178.74	o 14208
178.74	c 824
178.91	o 14210
178.91	c 822
179.22	o 14212
179.22	c 820
179.39	o 14214
179.39	c 818
179.54	o 14215
179.54	c 817
179.71	o 14217
179.71	c 815
180.23	o 14218
180.23	c 814
180.40	o 14220
180.40	c 812
180.56	o 14222
180.56	c 810
181.32	o 14223
181.32	c 809
181.49	o 14225
181.49	c 807
182.31	o 14226
182.31	c 806
182.47	o 14229
182.47	c 803
182.97	o 14230
182.97	c 802
183.98	o 14232
183.99	c 800
184.64	o 14235
184.64	c 797
184.80	o 14236
184.80	c 796
184.97	o 14237
184.97	c 795
185.14	o 14238
185.14	c 794
185.31	o 14240
185.31	c 792
185.83	o 14241
185.83	c 791
186.17	o 14242
186.17	c 790
186.34	o 14243
186.34	c 789
187.21	o 14244
187.21	c 788
187.77	o 14245
187.77	c 787
187.95	o 14249
187.95	c 783
188.13	o 14250
188.13	c 782
188.31	o 14251
188.31	c 781
188.45	o 14253
188.45	c 779
188.64	o 14254
188.64	c 778
189.19	o 14255
189.19	c 777
189.38	o 14257
189.38	c 775
189.56	o 14258
189.56	c 774
189.70	o 14260
189.70	c 772
189.87	o 14261
189.87	c 771
191.31	o 14264
191.31	c 768
191.47	o 14265
191.47	c 767
191.88	o 14266
191.88	c 766
192.03	o 14269
192.03	c 763
192.49	o 14273
192.49	c 759
192.66	o 14277
192.66	c 755
194.02	o 14279
194.02	c 753
195.49	o 14281
195.49	c 751
196.39	o 14283
196.39	c 749
196.57	o 14284
196.57	c 748
196.76	o 14285
196.76	c 747
196.95	o 14288
196.95	c 744
197.72	o 14290
197.72	c 742
198.08	o 14292
198.08	c 740
198.22	o 14294
198.22	c 738
198.57	o 14298
198.57	c 734
198.73	o 14301
198.73	c 731
199.09	o 14302
199.09	c 730
199.28	o 14303
199.28	c 729
203.83	o 14304
203.83	c 728
204.02	o 14305
204.02	c 727
204.23	o 14307
204.23	c 725
207.89	o 14308
207.89	c 724
208.27	o 14309
208.27	c 723
208.48	o 14311
208.48	c 721
210.96	o 14312
210.96	c 720
213.13	o 14313
213.13	c 719
217.50	o 14317
217.50	c 715
220.73	o 14319
220.73	c 713
221.13	o 14320
221.13	c 712
221.32	o 14322
221.32	c 710
221.53	o 14324
221.53	c 708
222.01	o 14326
222.01	c 706
222.21	o 14327
222.21	c 705
222.30	o 14328
222.30	c 704
223.10	o 14329
223.10	c 703
223.29	o 14330
223.29	c 702
224.19	o 14331
224.19	c 701
224.39	o 14333
224.39	c 699
224.97	o 14334
224.97	c 698
225.03	o 14336
225.03	c 696
225.23	o 14338
225.23	c 694
225.62	o 14339
225.62	c 693
225.91	o 14340
225.91	c 692
226.10	o 14341
226.10	c 691
226.15	o 14345
226.15	c 687
226.35	o 14348
226.35	c 684
226.53	o 14350
226.53	c 682
228.45	o 14351
228.45	c 681
228.63	o 14352
228.63	c 680
229.15	o 14354
229.15	c 678
229.33	o 14355
229.33	c 677
229.35	o 14358
229.35	c 674
229.53	o 14361
229.53	c 671
229.70	o 14363
229.70	c 669
229.86	o 14365
229.86	c 667
233.26	o 14367
233.26	c 665
233.92	o 14369
233.92	c 663
234.12	o 14371
234.12	c 661
234.31	o 14372
234.31	c 660
234.49	o 14373
234.49	c 659
234.69	o 14375
234.69	c 657
235.06	o 14376
235.06	c 656
235.46	o 14377
235.46	c 655
236.05	o 14378
236.05	c 654
237.77	o 14379
237.77	c 653
237.96	o 14380
237.96	c 652
238.96	o 14381
238.96	c 651
239.16	o 14383
239.16	c 649
239.35	o 14385
239.35	c 647
240.45	o 14387
240.45	c 645
240.63	o 14389
240.63	c 643
241.00	o 14391
241.00	c 641
241.36	o 14393
241.36	c 639
242.29	o 14394
242.29	c 638
242.47	o 14396
242.47	c 636
242.84	o 14399
242.84	c 633
243.03	o 14400
243.03	c 632
248.25	o 14401
248.25	c 631
248.42	o 14403
248.42	c 629
250.56	o 14404
250.56	c 628
250.74	o 14405
250.74	c 627
250.94	o 14406
250.94	c 626
258.59	o 14408
258.59	c 624
259.84	o 14409
259.84	c 623
259.93	o 14410
259.93	c 622
260.15	o 14411
260.15	c 621
260.52	o 14412
260.52	c 620
263.46	o 14414
263.46	c 618
264.97	o 14416
264.97	c 616
265.16	o 14417
265.16	c 615
266.11	o 14418
266.11	c 614
266.31	o 14422
266.31	c 610
266.48	o 14423
266.48	c 609
266.66	o 14424
266.66	c 608
268.15	o 14427
268.15	c 605
268.34	o 14428
268.34	c 604
268.75	o 14429
268.75	c 603
268.92	o 14430
268.92	c 602
273.74	o 14431
273.74	c 601
273.93	o 14433
273.93	c 599
274.16	o 14434
274.16	c 598
276.58	o 14439
276.58	c 593
277.33	o 14440
277.33	c 592
277.48	o 14441
277.48	c 591
277.71	o 14442
277.71	c 590
279.17	o 14443
279.17	c 589
279.56	o 14445
279.56	c 587
279.70	o 14448
279.70	c 584
279.88	o 14454
279.88	c 578
283.59	o 14455
283.59	c 577
283.84	o 14456
283.84	c 576
284.08	o 14459
284.08	c 573
285.00	o 14460
285.00	c 572
285.17	o 14461
285.17	c 571
285.40	o 14465
285.40	c 567
286.11	o 14468
286.11	c 564
287.98	o 14469
287.98	c 563
288.23	o 14470
288.23	c 562
288.48	o 14471
288.48	c 561
288.69	o 14474
288.69	c 558
288.78	o 14475
288.78	c 557
289.03	o 14477
289.03	c 555
289.26	o 14478
289.26	c 554
289.52	o 14479
289.52	c 553
293.75	o 14480
293.75	c 552
294.92	o 14481
294.92	c 551
294.94	o 14483
294.94	c 549
295.13	o 14484
295.13	c 548
300.94	o 14485
300.94	c 547
301.19	o 14487
301.19	c 545
301.44	o 14490
301.44	c 542
301.66	o 14491
301.66	c 541
301.92	o 14492
301.92	c 540
302.30	o 14494
302.30	c 538
303.75	o 14495
303.75	c 537
304.01	o 14496
304.01	c 536
304.50	o 14498
304.50	c 534
304.66	o 14499
304.66	c 533
304.81	o 14501
304.81	c 531
305.06	o 14503
305.06	c 529
305.83	o 14505
305.83	c 527
306.06	o 14508
306.06	c 524
306.31	o 14509
306.31	c 523
307.05	o 14510
307.05	c 522
308.44	o 14511
308.44	c 521
308.62	o 14512
308.62	c 520
308.88	o 14514
308.88	c 518
311.38	o 14515
311.38	c 517
314.06	o 14517
314.06	c 515
314.31	o 14519
314.31	c 513
314.58	o 14520
314.58	c 512
317.15	o 14522
317.15	c 510
317.73	o 14524
317.73	c 508
318.30	o 14525
318.30	c 507
318.34	o 14527
318.34	c 505
319.29	o 14529
319.29	c 503
319.44	o 14531
319.44	c 501
319.64	o 14532
319.64	c 500
319.90	o 14533
319.90	c 499
320.07	o 14535
320.07	c 497
320.36	o 14537
320.36	c 495
320.63	o 14538
320.63	c 494
321.27	o 14539
321.27	c 493
321.54	o 14543
321.54	c 489
322.04	o 14544
322.04	c 488
322.85	o 14546
322.85	c 486
323.12	o 14547
323.12	c 485
323.66	o 14548
323.66	c 484
324.58	o 14549
324.58	c 483
329.86	o 14550
329.86	c 482
330.12	o 14551
330.12	c 481
330.63	o 14552
330.63	c 480
333.14	o 14554
333.14	c 478
336.56	o 14555
336.56	c 477
336.81	o 14558
336.81	c 474
337.29	o 14559
337.29	c 473
337.80	o 14560
337.80	c 472
338.02	o 14562
338.02	c 470
339.17	o 14563
339.17	c 469
339.44	o 14564
339.44	c 468
339.96	o 14565
339.96	c 467
340.31	o 14567
340.31	c 465
340.57	o 14568
340.57	c 464
342.02	o 14571
342.02	c 461
351.45	o 14572
351.45	c 460
351.72	o 14574
351.72	c 458
351.98	o 14577
351.98	c 455
352.25	o 14578
352.25	c 454
352.50	o 14579
352.50	c 453
352.76	o 14581
352.76	c 451
383.07	   
383.07	   search
383.07	     run=0  nbConstraintChecks=915730995  nbAssignments=2353
383.07	       =>  wckTime=320.464  cpuTime=317.42  mem=48M363
383.07	   
383.07	   global
383.07	     nbConstraintChecks=915730995  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
383.07	     solvingWckTime=320.454  solvingCpuTime=317.41  expiredTime=no  totalExploration=no  nbFoundSolutions=0
383.07	     globalCpuTime=378.35
383.07	       =>  wckTime=382.763  cpuTime=378.3  mem=48M363
383.07	   
383.07	   solver IterativeSystematicSolver being built... 
383.55	       =>  wckTime=383.239  cpuTime=378.59  mem=90M882
421.27	   
421.27	   preprocessing
421.27	     nbConstraintChecks=81557910  nbValidityChecks=362778  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
421.27	     nbRemovedValues=0  detectedInconsistency=no
421.27	       =>  wckTime=37.714  cpuTime=37.35  mem=90M882
2411.48	v -2020 -2680 -2036 -2112 -2060 2692 -2064 2400 2716 -2248 2048 2692 2168 -2456 2688 -2712 2188 -2468 -2536 -2548 2060 -2028 -2252 -2484 -2364 -2336 2468 2616 -2700 2684 -2108 -2676 -2508 2340 -2700 -2164 -2368 -2024 2304 -2508 -2628 -2732 -2104 -2528 -2116 -2436 2108 -2072 -2140 2532 2444 2376 2296 2104 -2516 2592 2712 -2264 -2720 2236 -2736 2420 2076 -2588 -2368 -2100 -2080 2352 2724 2076 -2340 -2216 -2728 -2732 -2564 -2468 2532 2332 2632 2332 2596 -2020 2492 -2340 -2048 2460 2156 2460 -2316 -2228 -2108 2648 -2488 -2028 2096 -2492 2080 -2344 2588 -2020 2088 -2432 2492 2348 -2696 -2496 2724 -2604 -2740 -2384 -2724 -2508 -2468 -2408 -2504 -2032 -2456 -2256 2720 2180 2244 -2444 -2092 -2720 -2148 -2060 -2508 2740 -2684 -2480 -2540 -2684 -2580 2372 -2124 -2020 -2128 2732 -2544 -2724 2528 2088 -2180 2056 -2272 -2148 -2336 2680 -2608 -2336 2244 2168 2128 -2600 2024 -2508 2356 2732 2080 2368 2588 -2640 2724 -2304 2496 2040 2204 -2508 2584 2732 2576 2652 2136 2092 -2656 -2564 2292 2024 2552 -2716 -2696 -2660 -2328 -2384 -2464 2404 2444 -2356 2740 -2088 2020 2428 2112 -2068 -2316 -2172 2204 2020 2256 -2576 2548 -2704 -2060 -2724 -2288 -2556 2700 2028 2712 2036 2076 2440 -2020 2532 2700 -2540 2316 -2628 -2436 2552 -2144 -2172 2036 -2436 -2732 2736 2484 -2472 -2300 -2376 2608 -2740 -2636 2500 2740 2528 -2312 2036 2376 -2308 -2500 -2276 -2132 2736 2692 2468 -2684 -2556 2112 -2072 2516 2076 -2116 -2604 -2020 -2036 2336 -2716 2264 2692 2128 -2368 2132 -2380 -2676 2080 -2472 -2508 2040 2736 2524 2352 2604 -2564 2052 2088 -2556 -2232 -2276 2644 2084 -2476 2260 2168 -2604 -2624 -2104 -2740 -2564 -2092 -2700 -2660 -2332 2316 2024 -2468 2644 2376 -2520 2416 2328 -2192 2216 -2700 -2688 -2296 -2740 2072 2296 2380 2404 2116 -2404 -2312 -2372 2512 -2052 -2064 2060 2408 2392 2468 -2724 2068 2020 -2448 2596 2652 -2304 -2540 2656 -2052 2132 2448 -2076 2092 -2188 -2464 -2212 -2404 2060 2064 -2284 2536 -2060 -2504 2268 2672 -2636 -2372 2716 2060 2088 -2560 2496 -2592 -2616 -2380 -2580 -2492 -2576 -2412 -2160 2132 2324 2548 -2060 2128 -2684 -2536 -2712 2284 -2036 -2092 -2692 -2656 -2692 2552 -2400 2140 2140 -2200 2740 2060 -2028 2148 -2040 -2592 -2020 2252 2072 -2688 -2600 -2244 2196 -2184 2092 -2656 -2344 -2308 2568 -2328 2064 2528 -2116 2484 -2460 -2312 2256 -2636 2216 -2632 2732 -2488 -2696 -2392 2604 2176 -2680 -2640 -2460 -2172 2596 -2608 -2496 2208 -2360 2060 -2612 2348 -2472 2716 -2020 2544 -2432 -2740 2296 -2244 2028 -2308 2020 -2060 2272 -2724 -2716 -2032 2476 2544 2524 -2700 2172 -2432 -2728 -2516 -2576 -2460 2368 -2576 2448 -2672 -2700 -2304 2216 -2092 -2468 2676 -2564 2512 -2252 2292 -2564 2172 -2252 -2340 -2140 2672 2540 -2568 2460 -2168 -2620 -2628 2736 2348 2572 2060 2268 2668 -2644 -2220 -2572 -2612 -2580 2580 -2308 -2028 -2020 -2708 2388 2492 -2408 2272 -2716 -2488 2604 2672 -2056 2136 -2376 2180 -2476 -2364 -2380 -2724 2536 2696 -2416 -2060 -2676 2680 2728 -2476 -2596 2360 2236 -2480 2332 -2728 -2376 2620 2448 2376 2028 2500 2124 -2384 -2084 -2624 -2560 -2344 2644 -2652 2504 -2736 -2232 -2688 2620 2700 2384 2604 2248 -2692 2736 2308 -2336 -2060 -2560 2320 2692 -2148 2532 -2212 2660 2168 2132 2196 2076 2596 2676 2180 -2500 -2124 -2180 -2120 2432 2396 2020 -2556 -2688 -2648 2524 -2020 -2592 -2376 -2408 -2604 -2312 -2132 -2700 2060 -2472 2556 2648 -2020 2740 -2652 2336 2236 -2536 -2020 -2356 -2708 2104 2668 -2564 -2292 -2688 2080 -2220 -2604 -2676 -2508 -2588 -2524 -2292 2408 -2340 2296 -2672 2696 2640 2376 2348 -2120 2128 -2684 -2068 -2268 -2580 -2636 2420 2712 2492 2096 -2664 -2508 2480 -2296 2696 -2660 -2392 -2020 -2368 2304 -2144 2072 2076 2080 2632 2088 -2556 -2020 -2468 2520 2380 -2108 2092 -2696 -2096 2184 -2516 2692 -2208 -2308 -2140 2164 2700 2548 -2708 2164 2396 2280 2356 -2084 2540 -2696 2356 2360 -2440 -2168 -2692 2408 2192 -2592 2348 2328 2140 -2608 -2316 -2400 2060 -2024 2520 2724 2076 -2468 -2656 -2328 2228 2068 2392 2256 -2020 2020 2688 -2336 -2600 -2488 -2060 -2528 2416 2368 -2068 2480 -2456 2580 2228 2532 -2148 2140 -2512 -2428 2288 -2040 -2032 2264 -2684 -2388 2268 -2256 -2688 -2508 2408 2484 2036 -2068 -2660 2132 2572 2260 2056 -2024 -2048 -2728 2416 -2660 2688 -2112 2696 2060 -2540 -2064 -2312 -2216 -2040 -2308 2688 -2428 2228 2472 -2344 2652 -2316 -2604 -2060 -2408 -2440 2552 -2160 2580 -2352 -2700 -2356 -2736 -2216 2632 2164 2036 -2080 2156 -2736 -2068 -2620 2020 -2448 -2148 -2688 2348 2188 2260 2532 2020 -2536 -2668 2616 -2220 2672 2340 -2492 2184 2632 2588 -2444 2284 -2728 -2284 -2036 2596 2344 2244 2516 -2616 -2584 -2268 2396 2336 -2316 -2060 -2504 -2684 -2584 -2688 2304 -2144 -2664 2572 -2616 -2300 -2040 -2292 2080 -2060 2272 -2448 2224 -2144 -2684 2304 2696 -2696 2020 2496 -2588 2668 -2564 2740 2708 -2424 2064 2124 -2500 -2400 2316 2108 2060 2276 2544 2412 -2036 2700 -2496 2120 -2044 -2668 2192 -2224 -2596 -2676 -2536 2128 -2552 2464 -2268 2368 2620 2288 -2020 -2052 2100 2488 -2264 2540 -2472 2648 -2628 2432 2128 -2436 2388 2688 2060 -2740 -2452 -2144 -2152 -2080 2468 -2324 -2720 -2568 2668 -2632 2128 -2728 2344 2216 2400 2304 -2452 2456 -2076 -2700 2040 2728 -2420 2152 -2720 2444 2348 2068 2020 2672 -2360 2740 -2260 -2312 -2152 2428 2024 -2736 -2444 2692 -2452 2592 -2388 2580 -2352 -2256 -2728 -2600 -2280 2376 -2300 2624 2104 2416 -2024 2212 -2528 -2420 -2064 -2576 -2576 2504 2300 -2344 -2332 -2576 -2668 2180 -2204 -2168 -2532 2128 -2224 -2172 -2444 -2064 2020 2488 -2736 -2476 -2468 2292 -2080 -2344 2740 2164 2360 2212 2076 -2564 2676 -2432 -2076 2408 2128 2568 2648 2740 2124 2476 -2620 2600 2544 2432 2628 -2684 -2512 -2732

Verifier Data (download as text)

451 unsatisfied constraints, 14581 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/node69/watcher-275277-1169219162 -o ROOT/results/node69/solver-275277-1169219162 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275277-1169219162/unknown.xml 

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

/proc/loadavg: 2.00 2.00 1.93 4/80 16337
/proc/meminfo: memFree=1305952/2055920 swapFree=4192812/4192956
[pid=16336] ppid=16334 vsize=9948 CPUtime=0
/proc/16336/stat : 16336 (java) S 16334 16336 15617 0 -1 0 723 0 0 0 0 0 0 0 16 0 1 0 69413154 10186752 472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/16336/statm: 2487 472 386 14 0 1142 0

[startup+0.103021 s]
/proc/loadavg: 2.00 2.00 1.93 4/80 16337
/proc/meminfo: memFree=1305952/2055920 swapFree=4192812/4192956
[pid=16336] ppid=16334 vsize=914988 CPUtime=0.09
/proc/16336/stat : 16336 (java) R 16334 16336 15617 0 -1 0 2988 0 1 0 7 2 0 0 17 0 8 0 69413154 936947712 2734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16336/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.511055 s]
/proc/loadavg: 2.00 2.00 1.93 4/80 16337
/proc/meminfo: memFree=1305952/2055920 swapFree=4192812/4192956
[pid=16336] ppid=16334 vsize=915332 CPUtime=0.49
/proc/16336/stat : 16336 (java) R 16334 16336 15617 0 -1 0 7315 0 1 0 44 5 0 0 18 0 8 0 69413154 937299968 7054 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073592911 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16336/statm: 228833 7054 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33212 s]
/proc/loadavg: 2.08 2.02 1.94 3/87 16344
/proc/meminfo: memFree=1239080/2055920 swapFree=4192812/4192956
[pid=16336] ppid=16334 vsize=915636 CPUtime=1.3
/proc/16336/stat : 16336 (java) R 16334 16336 15617 0 -1 0 21075 0 1 0 119 11 0 0 24 0 8 0 69413154 937611264 20812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154167385 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16336/statm: 228909 20812 2178 14 0 215379 0
[pid=16336/tid=16338] ppid=16334 vsize=915636 CPUtime=0.07
/proc/16336/task/16338/stat : 16338 (java) S 16334 16336 15617 0 -1 64 4473 0 0 0 6 1 0 0 16 0 8 0 69413158 937611264 20812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16339] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16339/stat : 16339 (java) S 16334 16336 15617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69413159 937611264 20812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16340] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16340/stat : 16340 (java) S 16334 16336 15617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69413159 937611264 20812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16341] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16341/stat : 16341 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69413162 937611264 20812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16342] ppid=16334 vsize=915636 CPUtime=0.15
/proc/16336/task/16342/stat : 16342 (java) S 16334 16336 15617 0 -1 64 399 0 0 0 15 0 0 0 16 0 8 0 69413162 937611264 20812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16343] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16343/stat : 16343 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69413162 937611264 20812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16344] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16344/stat : 16344 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 69413162 937611264 20812 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) 915636

[startup+2.96926 s]
/proc/loadavg: 2.08 2.02 1.94 3/87 16344
/proc/meminfo: memFree=1231144/2055920 swapFree=4192812/4192956
[pid=16336] ppid=16334 vsize=915636 CPUtime=2.93
/proc/16336/stat : 16336 (java) R 16334 16336 15617 0 -1 0 21095 0 1 0 281 12 0 0 25 0 8 0 69413154 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795228 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16336/statm: 228909 20831 2181 14 0 215379 0
[pid=16336/tid=16338] ppid=16334 vsize=915636 CPUtime=0.07
/proc/16336/task/16338/stat : 16338 (java) S 16334 16336 15617 0 -1 64 4473 0 0 0 6 1 0 0 17 0 8 0 69413158 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16339] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16339/stat : 16339 (java) S 16334 16336 15617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69413159 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16340] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16340/stat : 16340 (java) S 16334 16336 15617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69413159 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16341] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16341/stat : 16341 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69413162 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16342] ppid=16334 vsize=915636 CPUtime=0.16
/proc/16336/task/16342/stat : 16342 (java) S 16334 16336 15617 0 -1 64 408 0 0 0 16 0 0 0 16 0 8 0 69413162 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16343] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16343/stat : 16343 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69413162 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16344] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16344/stat : 16344 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 69413162 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.26654 s]
/proc/loadavg: 2.07 2.02 1.94 3/87 16344
/proc/meminfo: memFree=1230952/2055920 swapFree=4192812/4192956
[pid=16336] ppid=16334 vsize=915636 CPUtime=6.2
/proc/16336/stat : 16336 (java) R 16334 16336 15617 0 -1 0 21112 0 1 0 607 13 0 0 25 0 8 0 69413154 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795228 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16336/statm: 228909 20848 2182 14 0 215379 0
[pid=16336/tid=16338] ppid=16334 vsize=915636 CPUtime=0.07
/proc/16336/task/16338/stat : 16338 (java) S 16334 16336 15617 0 -1 64 4473 0 0 0 6 1 0 0 16 0 8 0 69413158 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16339] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16339/stat : 16339 (java) S 16334 16336 15617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69413159 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16340] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16340/stat : 16340 (java) S 16334 16336 15617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69413159 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16341] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16341/stat : 16341 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69413162 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16342] ppid=16334 vsize=915636 CPUtime=0.18
/proc/16336/task/16342/stat : 16342 (java) S 16334 16336 15617 0 -1 64 424 0 0 0 18 0 0 0 16 0 8 0 69413162 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16343] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16343/stat : 16343 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69413162 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16344] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16344/stat : 16344 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 69413162 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.2
Current children cumulated vsize (KiB) 915636

[startup+12.7371 s]
/proc/loadavg: 2.07 2.02 1.94 3/87 16344
/proc/meminfo: memFree=1231016/2055920 swapFree=4192812/4192956
[pid=16336] ppid=16334 vsize=915636 CPUtime=12.6
/proc/16336/stat : 16336 (java) R 16334 16336 15617 0 -1 0 21115 0 1 0 1246 14 0 0 25 0 8 0 69413154 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795275 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16336/statm: 228909 20850 2182 14 0 215379 0
[pid=16336/tid=16338] ppid=16334 vsize=915636 CPUtime=0.07
/proc/16336/task/16338/stat : 16338 (java) S 16334 16336 15617 0 -1 64 4473 0 0 0 6 1 0 0 16 0 8 0 69413158 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16339] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16339/stat : 16339 (java) S 16334 16336 15617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69413159 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16340] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16340/stat : 16340 (java) S 16334 16336 15617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69413159 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16341] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16341/stat : 16341 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69413162 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16342] ppid=16334 vsize=915636 CPUtime=0.19
/proc/16336/task/16342/stat : 16342 (java) S 16334 16336 15617 0 -1 64 426 0 0 0 18 1 0 0 16 0 8 0 69413162 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16343] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16343/stat : 16343 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69413162 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16344] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16344/stat : 16344 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 69413162 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.6
Current children cumulated vsize (KiB) 915636

[startup+25.6062 s]
/proc/loadavg: 2.06 2.01 1.94 3/87 16344
/proc/meminfo: memFree=1228584/2055920 swapFree=4192812/4192956
[pid=16336] ppid=16334 vsize=915636 CPUtime=25.36
/proc/16336/stat : 16336 (java) R 16334 16336 15617 0 -1 0 21752 0 1 0 2520 16 0 0 25 0 8 0 69413154 937611264 21484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795879 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16336/statm: 228909 21484 2182 14 0 215379 0
[pid=16336/tid=16338] ppid=16334 vsize=915636 CPUtime=0.13
/proc/16336/task/16338/stat : 16338 (java) S 16334 16336 15617 0 -1 64 5102 0 0 0 12 1 0 0 16 0 8 0 69413158 937611264 21484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16339] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16339/stat : 16339 (java) S 16334 16336 15617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69413159 937611264 21484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16340] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16340/stat : 16340 (java) S 16334 16336 15617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69413159 937611264 21484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16341] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16341/stat : 16341 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69413162 937611264 21484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16342] ppid=16334 vsize=915636 CPUtime=0.2
/proc/16336/task/16342/stat : 16342 (java) S 16334 16336 15617 0 -1 64 431 0 0 0 19 1 0 0 17 0 8 0 69413162 937611264 21484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16343] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16343/stat : 16343 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69413162 937611264 21484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16344] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16344/stat : 16344 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 69413162 937611264 21484 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915636

[startup+51.2123 s]
/proc/loadavg: 2.10 2.03 1.94 3/87 16344
/proc/meminfo: memFree=1216296/2055920 swapFree=4192812/4192956
[pid=16336] ppid=16334 vsize=915636 CPUtime=50.73
/proc/16336/stat : 16336 (java) R 16334 16336 15617 0 -1 0 24834 0 1 0 5047 26 0 0 25 0 8 0 69413154 937611264 24564 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16336/statm: 228909 24564 2182 14 0 215379 0
[pid=16336/tid=16338] ppid=16334 vsize=915636 CPUtime=0.24
/proc/16336/task/16338/stat : 16338 (java) S 16334 16336 15617 0 -1 64 8174 0 0 0 22 2 0 0 16 0 8 0 69413158 937611264 24564 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16339] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16339/stat : 16339 (java) S 16334 16336 15617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69413159 937611264 24564 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16340] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16340/stat : 16340 (java) S 16334 16336 15617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69413159 937611264 24564 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16341] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16341/stat : 16341 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69413162 937611264 24564 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16342] ppid=16334 vsize=915636 CPUtime=0.21
/proc/16336/task/16342/stat : 16342 (java) S 16334 16336 15617 0 -1 64 439 0 0 0 20 1 0 0 16 0 8 0 69413162 937611264 24564 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16343] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16343/stat : 16343 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69413162 937611264 24564 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16344] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16344/stat : 16344 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 69413162 937611264 24564 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.453 s]
/proc/loadavg: 2.04 2.02 1.94 3/87 16344
/proc/meminfo: memFree=1195496/2055920 swapFree=4192812/4192956
[pid=16336] ppid=16334 vsize=915636 CPUtime=101.46
/proc/16336/stat : 16336 (java) R 16334 16336 15617 0 -1 0 30376 0 1 0 10105 41 0 0 25 0 8 0 69413154 937611264 30100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073988471 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16336/statm: 228909 30100 2501 14 0 215379 0
[pid=16336/tid=16338] ppid=16334 vsize=915636 CPUtime=0.63
/proc/16336/task/16338/stat : 16338 (java) S 16334 16336 15617 0 -1 64 13336 0 0 0 60 3 0 0 16 0 8 0 69413158 937611264 30100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16339] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16339/stat : 16339 (java) S 16334 16336 15617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69413159 937611264 30100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16340] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16340/stat : 16340 (java) S 16334 16336 15617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 69413159 937611264 30100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16341] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16341/stat : 16341 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69413162 937611264 30100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16342] ppid=16334 vsize=915636 CPUtime=0.28
/proc/16336/task/16342/stat : 16342 (java) S 16334 16336 15617 0 -1 64 468 0 0 0 27 1 0 0 16 0 8 0 69413162 937611264 30100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16343] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16343/stat : 16343 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69413162 937611264 30100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16344] ppid=16334 vsize=915636 CPUtime=0
/proc/16336/task/16344/stat : 16344 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 69413162 937611264 30100 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.548 s]
/proc/loadavg: 2.01 2.02 1.94 3/87 16344
/proc/meminfo: memFree=1195496/2055920 swapFree=4192812/4192956
[pid=16336] ppid=16334 vsize=915636 CPUtime=161
/proc/16336/stat : 16336 (java) R 16334 16336 15617 0 -1 0 30378 0 1 0 16054 46 0 0 25 0 8 0 69413154 937611264 30102 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799527 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2083.68 s]
/proc/loadavg: 1.00 1.05 1.37 2/72 16419
/proc/meminfo: memFree=1207232/2055920 swapFree=4192812/4192956
[pid=16336] ppid=16334 vsize=915936 CPUtime=2072.32
/proc/16336/stat : 16336 (java) R 16334 16336 15617 0 -1 0 39925 0 1 0 207168 64 0 0 25 0 8 0 69413154 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795184 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16336/statm: 228984 39631 2549 14 0 215454 0
[pid=16336/tid=16338] ppid=16334 vsize=915936 CPUtime=0.75
/proc/16336/task/16338/stat : 16338 (java) S 16334 16336 15617 0 -1 64 22650 0 0 0 69 6 0 0 16 0 8 0 69413158 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16339] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16339/stat : 16339 (java) S 16334 16336 15617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69413159 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16340] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16340/stat : 16340 (java) S 16334 16336 15617 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69413159 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16341] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16341/stat : 16341 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69413162 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16342] ppid=16334 vsize=915936 CPUtime=0.4
/proc/16336/task/16342/stat : 16342 (java) S 16334 16336 15617 0 -1 64 585 0 0 0 38 2 0 0 16 0 8 0 69413162 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16343] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16343/stat : 16343 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69413162 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16344] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16344/stat : 16344 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 69413162 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2072.32
Current children cumulated vsize (KiB) 915936

[startup+2143.68 s]
/proc/loadavg: 1.05 1.05 1.35 2/72 16419
/proc/meminfo: memFree=1207232/2055920 swapFree=4192812/4192956
[pid=16336] ppid=16334 vsize=915936 CPUtime=2132.31
/proc/16336/stat : 16336 (java) R 16334 16336 15617 0 -1 0 39925 0 1 0 213167 64 0 0 25 0 8 0 69413154 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074246688 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16336/statm: 228984 39631 2549 14 0 215454 0
[pid=16336/tid=16338] ppid=16334 vsize=915936 CPUtime=0.75
/proc/16336/task/16338/stat : 16338 (java) S 16334 16336 15617 0 -1 64 22650 0 0 0 69 6 0 0 16 0 8 0 69413158 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16339] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16339/stat : 16339 (java) S 16334 16336 15617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69413159 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16340] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16340/stat : 16340 (java) S 16334 16336 15617 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69413159 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16341] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16341/stat : 16341 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69413162 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16342] ppid=16334 vsize=915936 CPUtime=0.4
/proc/16336/task/16342/stat : 16342 (java) S 16334 16336 15617 0 -1 64 585 0 0 0 38 2 0 0 16 0 8 0 69413162 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16343] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16343/stat : 16343 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69413162 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16344] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16344/stat : 16344 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 69413162 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2132.31
Current children cumulated vsize (KiB) 915936

[startup+2203.69 s]
/proc/loadavg: 1.02 1.04 1.32 2/72 16419
/proc/meminfo: memFree=1207232/2055920 swapFree=4192812/4192956
[pid=16336] ppid=16334 vsize=915936 CPUtime=2192.3
/proc/16336/stat : 16336 (java) R 16334 16336 15617 0 -1 0 39925 0 1 0 219166 64 0 0 25 0 8 0 69413154 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074246640 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16336/statm: 228984 39631 2549 14 0 215454 0
[pid=16336/tid=16338] ppid=16334 vsize=915936 CPUtime=0.75
/proc/16336/task/16338/stat : 16338 (java) S 16334 16336 15617 0 -1 64 22650 0 0 0 69 6 0 0 16 0 8 0 69413158 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16339] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16339/stat : 16339 (java) S 16334 16336 15617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69413159 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16340] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16340/stat : 16340 (java) S 16334 16336 15617 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69413159 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16341] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16341/stat : 16341 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69413162 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16342] ppid=16334 vsize=915936 CPUtime=0.4
/proc/16336/task/16342/stat : 16342 (java) S 16334 16336 15617 0 -1 64 585 0 0 0 38 2 0 0 16 0 8 0 69413162 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16343] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16343/stat : 16343 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69413162 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16344] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16344/stat : 16344 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 69413162 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2192.3
Current children cumulated vsize (KiB) 915936

[startup+2263.7 s]
/proc/loadavg: 1.00 1.03 1.30 2/72 16419
/proc/meminfo: memFree=1207232/2055920 swapFree=4192812/4192956
[pid=16336] ppid=16334 vsize=915936 CPUtime=2252.29
/proc/16336/stat : 16336 (java) R 16334 16336 15617 0 -1 0 39926 0 1 0 225165 64 0 0 25 0 8 0 69413154 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074246688 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16336/statm: 228984 39631 2549 14 0 215454 0
[pid=16336/tid=16338] ppid=16334 vsize=915936 CPUtime=0.75
/proc/16336/task/16338/stat : 16338 (java) S 16334 16336 15617 0 -1 64 22650 0 0 0 69 6 0 0 16 0 8 0 69413158 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16339] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16339/stat : 16339 (java) S 16334 16336 15617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69413159 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16340] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16340/stat : 16340 (java) S 16334 16336 15617 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69413159 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16341] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16341/stat : 16341 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69413162 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16342] ppid=16334 vsize=915936 CPUtime=0.4
/proc/16336/task/16342/stat : 16342 (java) S 16334 16336 15617 0 -1 64 585 0 0 0 38 2 0 0 16 0 8 0 69413162 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16343] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16343/stat : 16343 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69413162 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16344] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16344/stat : 16344 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 69413162 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2252.29
Current children cumulated vsize (KiB) 915936

[startup+2323.7 s]
/proc/loadavg: 1.00 1.02 1.28 2/72 16419
/proc/meminfo: memFree=1207232/2055920 swapFree=4192812/4192956
[pid=16336] ppid=16334 vsize=915936 CPUtime=2312.28
/proc/16336/stat : 16336 (java) R 16334 16336 15617 0 -1 0 39926 0 1 0 231164 64 0 0 25 0 8 0 69413154 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074246659 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16336/statm: 228984 39631 2549 14 0 215454 0
[pid=16336/tid=16338] ppid=16334 vsize=915936 CPUtime=0.75
/proc/16336/task/16338/stat : 16338 (java) S 16334 16336 15617 0 -1 64 22650 0 0 0 69 6 0 0 16 0 8 0 69413158 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16339] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16339/stat : 16339 (java) S 16334 16336 15617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69413159 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16340] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16340/stat : 16340 (java) S 16334 16336 15617 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69413159 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16341] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16341/stat : 16341 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69413162 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16342] ppid=16334 vsize=915936 CPUtime=0.4
/proc/16336/task/16342/stat : 16342 (java) S 16334 16336 15617 0 -1 64 585 0 0 0 38 2 0 0 16 0 8 0 69413162 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16343] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16343/stat : 16343 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69413162 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16344] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16344/stat : 16344 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 69413162 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2312.28
Current children cumulated vsize (KiB) 915936

[startup+2383.71 s]
/proc/loadavg: 1.00 1.02 1.26 2/72 16419
/proc/meminfo: memFree=1207232/2055920 swapFree=4192812/4192956
[pid=16336] ppid=16334 vsize=915936 CPUtime=2372.27
/proc/16336/stat : 16336 (java) R 16334 16336 15617 0 -1 0 39926 0 1 0 237163 64 0 0 25 0 8 0 69413154 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074254958 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16336/statm: 228984 39631 2549 14 0 215454 0
[pid=16336/tid=16338] ppid=16334 vsize=915936 CPUtime=0.75
/proc/16336/task/16338/stat : 16338 (java) S 16334 16336 15617 0 -1 64 22650 0 0 0 69 6 0 0 16 0 8 0 69413158 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16339] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16339/stat : 16339 (java) S 16334 16336 15617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69413159 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16340] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16340/stat : 16340 (java) S 16334 16336 15617 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69413159 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16341] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16341/stat : 16341 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69413162 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16342] ppid=16334 vsize=915936 CPUtime=0.4
/proc/16336/task/16342/stat : 16342 (java) S 16334 16336 15617 0 -1 64 585 0 0 0 38 2 0 0 16 0 8 0 69413162 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16343] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16343/stat : 16343 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69413162 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16344] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16344/stat : 16344 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 69413162 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2372.27
Current children cumulated vsize (KiB) 915936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2411.47 s]
/proc/loadavg: 1.00 1.01 1.25 2/72 16419
/proc/meminfo: memFree=1207232/2055920 swapFree=4192812/4192956
[pid=16336] ppid=16334 vsize=915936 CPUtime=2400.03
/proc/16336/stat : 16336 (java) R 16334 16336 15617 0 -1 0 39926 0 1 0 239939 64 0 0 25 0 8 0 69413154 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074247408 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16336/statm: 228984 39631 2549 14 0 215454 0
[pid=16336/tid=16338] ppid=16334 vsize=915936 CPUtime=0.75
/proc/16336/task/16338/stat : 16338 (java) S 16334 16336 15617 0 -1 64 22650 0 0 0 69 6 0 0 16 0 8 0 69413158 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16339] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16339/stat : 16339 (java) S 16334 16336 15617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 69413159 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16340] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16340/stat : 16340 (java) S 16334 16336 15617 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 69413159 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16341] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16341/stat : 16341 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 69413162 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16342] ppid=16334 vsize=915936 CPUtime=0.4
/proc/16336/task/16342/stat : 16342 (java) S 16334 16336 15617 0 -1 64 585 0 0 0 38 2 0 0 16 0 8 0 69413162 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16343] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16343/stat : 16343 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 69413162 937918464 39631 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16336/tid=16344] ppid=16334 vsize=915936 CPUtime=0
/proc/16336/task/16344/stat : 16344 (java) S 16334 16336 15617 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 69413162 937918464 39631 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) 915936

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

Child status: 143
Real time (s): 2411.54
CPU time (s): 2400.1
CPU user time (s): 2399.43
CPU system time (s): 0.672897
CPU usage (%): 99.5259
Max. virtual memory (cumulated for all children) (KiB): 915936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.43
system time used= 0.672897
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39950
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= 50483
involuntary context switches= 55788

runsolver used 2.71859 s user time and 6.96494 s system time

The end

Launcher Data (download as text)

Begin job on node69 on Fri Jan 19 15:06:02 UTC 2007


IDJOB= 275277
IDBENCH= 3762
IDSOLVER= 69
FILE ID= node69/275277-1169219162

PBS_JOBID= 3589166

Free space on /tmp= 66559 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  b661827da205822238b3e0d3c05549cf

RANDOM SEED= 556386588

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.218
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.218
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:       1306432 kB
Buffers:         42920 kB
Cached:         574248 kB
SwapCached:          0 kB
Active:         151324 kB
Inactive:       528928 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1306432 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3732 kB
Writeback:           0 kB
Mapped:          83312 kB
Slab:            54284 kB
Committed_AS:  1419136 kB
PageTables:       2008 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB



End job on node69 on Fri Jan 19 15:46:14 UTC 2007