Trace number 275271

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.11 2404

General information on the benchmark

Namefapp/fapp11-15/fapp11/
fapp11-1000-4.xml
MD5SUM5145a33efd34f749485cb3d43c764923
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints14754
Best CPU time to get the best result obtained on this benchmark2400.09
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.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/275271-1169219060/unknown.xml
0.38	   
0.38	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.59	     nbVariables=1000  nbDomainTypes=18  minDomainSize=50  maxDomainSize=362
0.59	       =>  wckTime=0.272  cpuTime=0.2  mem=17M636
0.59	   
0.59	   predicates being loaded...
0.59	   
0.59	   constraints being loaded...
61.22	   
61.22	   INFO : Stopping converting binary constraints (cpu=60.02, mem = 71M950)
62.30	     nbConstraints=15032  nbConvertedConstraints=4293  nbConvertConstraintsChecks=189313540  nbExtensionStructures=2583
62.30	     nbSharedExtensionStructures=1710  nbConflictsStructures=2583  nbSharedConflictsStructures=1710
62.30	     nbSharedBinaryRepresentations=1317020  nbEvaluationManagers=5203  nbSharedEvaluationManagers=5536  maxDegree=51
62.30	     maxArity=2
62.30	       =>  wckTime=61.984  cpuTime=60.83  mem=49M775
62.52	   
62.52	   solver LocalSearchSolver being built... 
62.56	       =>  wckTime=62.244  cpuTime=60.88  mem=47M318
62.64	
62.64	s SATISFIABLE
62.64	o 11954
62.64	c 3078
62.68	o 11963
62.68	c 3069
62.72	o 11973
62.72	c 3059
62.75	o 11979
62.75	c 3053
62.76	o 11985
62.76	c 3047
62.79	o 11995
62.79	c 3037
62.81	o 12003
62.81	c 3029
62.84	o 12009
62.84	c 3023
62.86	o 12013
62.86	c 3019
62.89	o 12020
62.89	c 3012
62.92	o 12027
62.92	c 3005
62.95	o 12034
62.95	c 2998
62.99	o 12040
62.99	c 2992
63.02	o 12044
63.02	c 2988
63.06	o 12048
63.06	c 2984
63.08	o 12059
63.08	c 2973
63.10	o 12062
63.10	c 2970
63.12	o 12065
63.12	c 2967
63.15	o 12066
63.15	c 2966
63.19	o 12069
63.19	c 2963
63.21	o 12078
63.21	c 2954
63.24	o 12086
63.24	c 2946
63.27	o 12094
63.27	c 2938
63.30	o 12101
63.30	c 2931
63.33	o 12106
63.33	c 2926
63.36	o 12111
63.36	c 2921
63.39	o 12116
63.39	c 2916
63.41	o 12120
63.41	c 2912
63.44	o 12124
63.44	c 2908
63.47	o 12127
63.47	c 2905
63.50	o 12131
63.50	c 2901
63.53	o 12133
63.53	c 2899
63.55	o 12135
63.55	c 2897
63.57	o 12139
63.57	c 2893
63.59	o 12141
63.59	c 2891
63.64	o 12145
63.64	c 2887
63.66	o 12147
63.66	c 2885
63.71	o 12153
63.71	c 2879
63.73	o 12161
63.73	c 2871
63.77	o 12166
63.77	c 2866
63.79	o 12167
63.79	c 2865
63.82	o 12171
63.82	c 2861
63.83	o 12173
63.83	c 2859
63.87	o 12179
63.87	c 2853
63.90	o 12186
63.90	c 2846
63.93	o 12193
63.93	c 2839
63.97	o 12200
63.97	c 2832
64.00	o 12206
64.00	c 2826
64.07	o 12212
64.07	c 2820
64.11	o 12218
64.11	c 2814
64.13	o 12224
64.13	c 2808
64.16	o 12229
64.16	c 2803
64.19	o 12234
64.19	c 2798
64.22	o 12238
64.22	c 2794
64.25	o 12242
64.25	c 2790
64.27	o 12245
64.27	c 2787
64.30	o 12247
64.30	c 2785
64.33	o 12249
64.33	c 2783
64.36	o 12250
64.36	c 2782
64.39	o 12251
64.39	c 2781
64.42	o 12254
64.42	c 2778
64.53	o 12256
64.53	c 2776
64.55	o 12261
64.55	c 2771
64.56	o 12265
64.56	c 2767
64.58	o 12272
64.58	c 2760
64.61	o 12280
64.61	c 2752
64.64	o 12282
64.64	c 2750
64.66	o 12288
64.66	c 2744
64.68	o 12290
64.68	c 2742
64.71	o 12298
64.71	c 2734
64.75	o 12301
64.75	c 2731
64.78	o 12307
64.78	c 2725
64.82	o 12313
64.83	c 2719
64.87	o 12319
64.87	c 2713
64.91	o 12325
64.91	c 2707
64.95	o 12331
64.95	c 2701
64.99	o 12335
64.99	c 2697
65.03	o 12339
65.03	c 2693
65.07	o 12343
65.07	c 2689
65.10	o 12346
65.11	c 2686
65.14	o 12349
65.14	c 2683
65.17	o 12352
65.17	c 2680
65.21	o 12355
65.21	c 2677
65.25	o 12358
65.25	c 2674
65.28	o 12361
65.28	c 2671
65.31	o 12363
65.31	c 2669
65.33	o 12365
65.33	c 2667
65.36	o 12367
65.36	c 2665
65.39	o 12369
65.39	c 2663
65.41	o 12371
65.41	c 2661
65.43	o 12373
65.43	c 2659
65.46	o 12375
65.46	c 2657
65.49	o 12381
65.49	c 2651
65.51	o 12383
65.51	c 2649
65.53	o 12384
65.53	c 2648
65.55	o 12390
65.55	c 2642
65.57	o 12394
65.57	c 2638
65.59	o 12398
65.59	c 2634
65.61	o 12400
65.61	c 2632
65.63	o 12405
65.63	c 2627
65.65	o 12409
65.65	c 2623
65.66	o 12411
65.66	c 2621
65.68	o 12412
65.68	c 2620
65.69	o 12415
65.69	c 2617
65.71	o 12421
65.71	c 2611
65.73	o 12428
65.73	c 2604
65.76	o 12433
65.76	c 2599
65.77	o 12434
65.77	c 2598
65.80	o 12440
65.80	c 2592
65.83	o 12442
65.83	c 2590
65.89	o 12443
65.89	c 2589
65.91	o 12444
65.91	c 2588
65.94	o 12448
65.94	c 2584
65.98	o 12450
65.98	c 2582
66.01	o 12452
66.01	c 2580
66.05	o 12457
66.05	c 2575
66.08	o 12461
66.08	c 2571
66.12	o 12466
66.12	c 2566
66.16	o 12471
66.16	c 2561
66.20	o 12474
66.20	c 2558
66.24	o 12477
66.24	c 2555
66.27	o 12480
66.27	c 2552
66.30	o 12483
66.30	c 2549
66.33	o 12485
66.33	c 2547
66.36	o 12488
66.36	c 2544
66.39	o 12490
66.39	c 2542
66.42	o 12491
66.42	c 2541
66.46	o 12492
66.46	c 2540
66.48	o 12493
66.48	c 2539
66.62	o 12499
66.62	c 2533
66.64	o 12500
66.64	c 2532
66.65	o 12503
66.65	c 2529
66.67	o 12505
66.67	c 2527
66.70	o 12509
66.70	c 2523
66.72	o 12511
66.72	c 2521
66.75	o 12512
66.75	c 2520
66.78	o 12515
66.78	c 2517
66.81	o 12516
66.81	c 2516
66.88	o 12518
66.88	c 2514
66.92	o 12524
66.92	c 2508
66.96	o 12526
66.96	c 2506
66.99	o 12527
66.99	c 2505
67.02	o 12531
67.02	c 2501
67.06	o 12532
67.06	c 2500
67.10	o 12534
67.10	c 2498
67.14	o 12539
67.14	c 2493
67.16	o 12542
67.16	c 2490
67.20	o 12547
67.20	c 2485
67.23	o 12552
67.23	c 2480
67.28	o 12553
67.28	c 2479
67.30	o 12556
67.30	c 2476
67.33	o 12559
67.33	c 2473
67.37	o 12562
67.37	c 2470
67.43	o 12565
67.43	c 2467
67.47	o 12570
67.47	c 2462
67.50	o 12573
67.50	c 2459
67.53	o 12577
67.53	c 2455
67.55	o 12584
67.55	c 2448
67.58	o 12590
67.58	c 2442
67.61	o 12591
67.61	c 2441
67.65	o 12597
67.65	c 2435
67.69	o 12602
67.69	c 2430
67.72	o 12607
67.72	c 2425
67.76	o 12610
67.76	c 2422
67.82	o 12611
67.82	c 2421
67.84	o 12613
67.84	c 2419
67.87	o 12614
67.87	c 2418
67.90	o 12617
67.90	c 2415
67.93	o 12622
67.93	c 2410
68.00	o 12625
68.00	c 2407
68.03	o 12629
68.03	c 2403
68.07	o 12631
68.07	c 2401
68.10	o 12634
68.10	c 2398
68.12	o 12635
68.12	c 2397
68.16	o 12636
68.16	c 2396
68.18	o 12637
68.18	c 2395
68.25	o 12638
68.25	c 2394
68.27	o 12641
68.27	c 2391
68.31	o 12644
68.31	c 2388
68.34	o 12645
68.34	c 2387
68.37	o 12649
68.37	c 2383
68.41	o 12651
68.42	c 2381
68.46	o 12654
68.46	c 2378
68.51	o 12657
68.51	c 2375
68.55	o 12658
68.55	c 2374
68.60	o 12664
68.60	c 2368
68.65	o 12667
68.65	c 2365
68.75	o 12670
68.75	c 2362
68.93	o 12672
68.93	c 2360
68.98	o 12673
68.98	c 2359
69.02	o 12678
69.02	c 2354
69.06	o 12680
69.06	c 2352
69.10	o 12683
69.10	c 2349
69.15	o 12687
69.15	c 2345
69.19	o 12691
69.19	c 2341
69.24	o 12700
69.24	c 2332
69.28	o 12702
69.28	c 2330
69.32	o 12703
69.32	c 2329
69.37	o 12705
69.37	c 2327
69.42	o 12706
69.42	c 2326
69.46	o 12708
69.46	c 2324
69.51	o 12710
69.51	c 2322
69.56	o 12711
69.56	c 2321
69.60	o 12712
69.60	c 2320
69.69	o 12714
69.69	c 2318
69.77	o 12716
69.77	c 2316
69.82	o 12718
69.82	c 2314
69.86	o 12719
69.86	c 2313
69.90	o 12721
69.90	c 2311
69.94	o 12726
69.94	c 2306
69.98	o 12730
69.98	c 2302
70.02	o 12732
70.02	c 2300
70.06	o 12735
70.06	c 2297
70.11	o 12737
70.11	c 2295
70.23	o 12741
70.23	c 2291
70.26	o 12744
70.26	c 2288
70.28	o 12746
70.28	c 2286
70.31	o 12748
70.31	c 2284
70.34	o 12749
70.34	c 2283
70.36	o 12750
70.36	c 2282
70.40	o 12753
70.40	c 2279
70.43	o 12758
70.43	c 2274
70.46	o 12762
70.46	c 2270
70.50	o 12765
70.50	c 2267
70.54	o 12767
70.54	c 2265
70.58	o 12768
70.58	c 2264
70.62	o 12769
70.62	c 2263
70.68	o 12772
70.68	c 2260
70.91	o 12776
70.91	c 2256
70.93	o 12781
70.93	c 2251
70.95	o 12784
70.95	c 2248
70.97	o 12789
70.97	c 2243
70.99	o 12792
70.99	c 2240
71.02	o 12794
71.02	c 2238
71.05	o 12798
71.05	c 2234
71.08	o 12803
71.08	c 2229
71.13	o 12805
71.13	c 2227
71.16	o 12814
71.16	c 2218
71.18	o 12821
71.18	c 2211
71.21	o 12822
71.21	c 2210
71.26	o 12826
71.26	c 2206
71.30	o 12827
71.30	c 2205
71.35	o 12830
71.35	c 2202
71.38	o 12833
71.38	c 2199
71.40	o 12834
71.40	c 2198
71.50	o 12837
71.50	c 2195
71.54	o 12840
71.54	c 2192
71.58	o 12843
71.58	c 2189
71.64	o 12845
71.64	c 2187
71.66	o 12846
71.66	c 2186
71.69	o 12850
71.69	c 2182
71.71	o 12853
71.71	c 2179
71.74	o 12859
71.74	c 2173
71.77	o 12865
71.77	c 2167
71.79	o 12869
71.79	c 2163
71.82	o 12871
71.82	c 2161
71.84	o 12873
71.84	c 2159
71.87	o 12875
71.87	c 2157
71.90	o 12879
71.90	c 2153
71.97	o 12882
71.97	c 2150
71.99	o 12886
71.99	c 2146
72.02	o 12891
72.02	c 2141
72.04	o 12892
72.04	c 2140
72.06	o 12898
72.06	c 2134
72.09	o 12902
72.09	c 2130
72.11	o 12904
72.11	c 2128
72.14	o 12907
72.14	c 2125
72.16	o 12910
72.16	c 2122
72.19	o 12911
72.19	c 2121
72.23	o 12913
72.23	c 2119
72.27	o 12914
72.27	c 2118
72.38	o 12915
72.38	c 2117
72.40	o 12919
72.40	c 2113
72.42	o 12924
72.42	c 2108
72.46	o 12928
72.46	c 2104
72.48	o 12931
72.48	c 2101
72.51	o 12934
72.51	c 2098
72.56	o 12935
72.56	c 2097
72.64	o 12937
72.64	c 2095
72.67	o 12938
72.67	c 2094
72.70	o 12939
72.70	c 2093
72.79	o 12940
72.79	c 2092
72.82	o 12944
72.82	c 2088
72.86	o 12946
72.86	c 2086
72.90	o 12950
72.90	c 2082
72.94	o 12955
72.94	c 2077
72.98	o 12959
72.98	c 2073
73.03	o 12962
73.03	c 2070
73.08	o 12964
73.08	c 2068
73.12	o 12970
73.12	c 2062
73.22	o 12972
73.22	c 2060
73.27	o 12974
73.27	c 2058
73.31	o 12975
73.31	c 2057
73.36	o 12977
73.36	c 2055
73.49	o 12979
73.49	c 2053
73.53	o 12983
73.53	c 2049
73.58	o 12986
73.58	c 2046
73.67	o 12988
73.67	c 2044
73.72	o 12991
73.72	c 2041
73.77	o 12993
73.77	c 2039
73.82	o 12998
73.82	c 2034
73.87	o 13003
73.87	c 2029
73.92	o 13005
73.92	c 2027
73.96	o 13007
73.96	c 2025
74.02	o 13010
74.02	c 2022
74.13	o 13011
74.13	c 2021
74.17	o 13015
74.17	c 2017
74.21	o 13017
74.21	c 2015
74.27	o 13019
74.27	c 2013
74.30	o 13021
74.30	c 2011
74.33	o 13023
74.33	c 2009
74.37	o 13024
74.37	c 2008
74.45	o 13026
74.45	c 2006
74.50	o 13032
74.50	c 2000
74.54	o 13037
74.54	c 1995
74.64	o 13039
74.64	c 1993
74.70	o 13042
74.70	c 1990
74.74	o 13044
74.74	c 1988
74.77	o 13046
74.77	c 1986
74.83	o 13050
74.83	c 1982
74.92	o 13051
74.92	c 1981
74.95	o 13054
74.95	c 1978
74.99	o 13057
74.99	c 1975
75.06	o 13058
75.06	c 1974
75.09	o 13059
75.09	c 1973
75.15	o 13061
75.15	c 1971
75.21	o 13064
75.21	c 1968
75.25	o 13068
75.25	c 1964
75.29	o 13069
75.29	c 1963
75.34	o 13072
75.34	c 1960
75.44	o 13073
75.44	c 1959
75.49	o 13076
75.49	c 1956
75.64	o 13080
75.64	c 1952
75.69	o 13081
75.69	c 1951
75.73	o 13082
75.73	c 1950
75.79	o 13083
75.79	c 1949
75.84	o 13086
75.84	c 1946
75.96	o 13087
75.96	c 1945
76.01	o 13088
76.01	c 1944
76.06	o 13091
76.06	c 1941
76.12	o 13095
76.12	c 1937
76.17	o 13097
76.17	c 1935
76.23	o 13101
76.23	c 1931
76.28	o 13103
76.28	c 1929
76.34	o 13108
76.34	c 1924
76.39	o 13112
76.39	c 1920
76.43	o 13116
76.43	c 1916
76.49	o 13118
76.49	c 1914
76.60	o 13120
76.60	c 1912
76.66	o 13123
76.66	c 1909
76.73	o 13125
76.73	c 1907
76.78	o 13127
76.78	c 1905
76.84	o 13128
76.84	c 1904
76.91	o 13132
76.91	c 1900
76.97	o 13133
76.97	c 1899
77.04	o 13134
77.04	c 1898
77.10	o 13137
77.10	c 1895
77.16	o 13141
77.16	c 1891
77.22	o 13142
77.22	c 1890
77.29	o 13148
77.29	c 1884
77.36	o 13150
77.36	c 1882
77.42	o 13153
77.42	c 1879
77.56	o 13156
77.57	c 1876
77.63	o 13157
77.63	c 1875
77.74	o 13162
77.74	c 1870
77.80	o 13163
77.80	c 1869
77.87	o 13164
77.87	c 1868
77.93	o 13168
77.93	c 1864
78.07	o 13171
78.07	c 1861
78.12	o 13173
78.12	c 1859
78.18	o 13181
78.18	c 1851
78.24	o 13184
78.24	c 1848
78.28	o 13186
78.28	c 1846
78.40	o 13188
78.40	c 1844
78.55	o 13192
78.55	c 1840
78.60	o 13193
78.60	c 1839
78.65	o 13195
78.65	c 1837
78.71	o 13197
78.71	c 1835
78.78	o 13202
78.78	c 1830
78.99	o 13205
78.99	c 1827
79.24	o 13206
79.24	c 1826
79.29	o 13207
79.29	c 1825
79.46	o 13210
79.46	c 1822
79.51	o 13211
79.51	c 1821
79.57	o 13217
79.57	c 1815
79.62	o 13218
79.62	c 1814
79.68	o 13220
79.68	c 1812
79.75	o 13223
79.75	c 1809
79.82	o 13224
79.82	c 1808
79.88	o 13227
79.88	c 1805
79.96	o 13232
79.96	c 1800
80.02	o 13235
80.02	c 1797
80.08	o 13240
80.08	c 1792
80.15	o 13242
80.15	c 1790
80.21	o 13243
80.21	c 1789
80.27	o 13244
80.27	c 1788
80.49	o 13245
80.49	c 1787
80.55	o 13248
80.56	c 1784
80.62	o 13251
80.62	c 1781
80.75	o 13254
80.75	c 1778
81.04	o 13258
81.04	c 1774
81.10	o 13263
81.10	c 1769
81.16	o 13264
81.16	c 1768
81.24	o 13267
81.24	c 1765
81.30	o 13272
81.30	c 1760
81.37	o 13276
81.37	c 1756
81.44	o 13277
81.44	c 1755
81.52	o 13281
81.52	c 1751
81.59	o 13283
81.59	c 1749
81.65	o 13285
81.65	c 1747
81.84	o 13286
81.84	c 1746
81.89	o 13287
81.89	c 1745
82.08	o 13289
82.08	c 1743
82.20	o 13291
82.20	c 1741
82.41	o 13296
82.41	c 1736
82.48	o 13298
82.48	c 1734
82.55	o 13299
82.55	c 1733
82.62	o 13301
82.62	c 1731
82.68	o 13303
82.68	c 1729
82.76	o 13305
82.76	c 1727
82.82	o 13308
82.82	c 1724
82.89	o 13309
82.89	c 1723
82.96	o 13313
82.96	c 1719
83.09	o 13317
83.09	c 1715
83.15	o 13318
83.15	c 1714
83.21	o 13319
83.21	c 1713
83.28	o 13322
83.28	c 1710
83.34	o 13326
83.34	c 1706
83.38	o 13327
83.38	c 1705
83.44	o 13328
83.44	c 1704
83.48	o 13330
83.48	c 1702
83.57	o 13331
83.57	c 1701
83.63	o 13332
83.63	c 1700
83.68	o 13334
83.68	c 1698
83.82	o 13336
83.82	c 1696
83.99	o 13338
83.99	c 1694
84.30	o 13340
84.30	c 1692
84.42	o 13341
84.42	c 1691
84.47	o 13342
84.47	c 1690
84.52	o 13344
84.52	c 1688
84.60	o 13348
84.60	c 1684
84.65	o 13351
84.65	c 1681
84.72	o 13352
84.72	c 1680
84.79	o 13355
84.79	c 1677
84.86	o 13356
84.86	c 1676
85.00	o 13358
85.00	c 1674
85.15	o 13361
85.15	c 1671
85.22	o 13365
85.22	c 1667
85.38	o 13369
85.38	c 1663
85.46	o 13371
85.46	c 1661
85.62	o 13372
85.62	c 1660
85.70	o 13374
85.70	c 1658
85.77	o 13377
85.77	c 1655
85.85	o 13384
85.85	c 1648
85.92	o 13386
85.92	c 1646
86.00	o 13389
86.00	c 1643
86.06	o 13391
86.06	c 1641
86.13	o 13395
86.13	c 1637
86.19	o 13397
86.19	c 1635
86.26	o 13398
86.26	c 1634
86.39	o 13400
86.39	c 1632
86.45	o 13402
86.45	c 1630
86.53	o 13403
86.53	c 1629
86.59	o 13404
86.59	c 1628
86.89	o 13407
86.89	c 1625
86.96	o 13408
86.96	c 1624
87.04	o 13410
87.04	c 1622
87.21	o 13412
87.21	c 1620
87.30	o 13414
87.30	c 1618
87.38	o 13415
87.38	c 1617
87.47	o 13418
87.47	c 1614
87.55	o 13420
87.55	c 1612
87.63	o 13421
87.63	c 1611
87.72	o 13422
87.72	c 1610
87.79	o 13424
87.79	c 1608
88.04	o 13426
88.04	c 1606
88.14	o 13427
88.14	c 1605
88.23	o 13428
88.23	c 1604
88.32	o 13429
88.32	c 1603
88.42	o 13433
88.42	c 1599
88.50	o 13434
88.50	c 1598
88.57	o 13435
88.57	c 1597
88.73	o 13438
88.73	c 1594
88.82	o 13440
88.82	c 1592
89.08	o 13444
89.08	c 1588
89.25	o 13445
89.25	c 1587
89.42	o 13447
89.42	c 1585
89.50	o 13449
89.50	c 1583
89.64	o 13450
89.64	c 1582
89.71	o 13451
89.71	c 1581
90.09	o 13452
90.09	c 1580
90.17	o 13453
90.17	c 1579
90.25	o 13456
90.25	c 1576
90.44	o 13458
90.44	c 1574
90.52	o 13466
90.52	c 1566
90.69	o 13468
90.69	c 1564
90.91	o 13470
90.91	c 1562
90.98	o 13472
90.98	c 1560
91.05	o 13476
91.05	c 1556
91.13	o 13480
91.13	c 1552
91.22	o 13481
91.22	c 1551
91.30	o 13483
91.30	c 1549
91.38	o 13485
91.38	c 1547
91.46	o 13487
91.46	c 1545
91.53	o 13489
91.53	c 1543
91.62	o 13493
91.62	c 1539
91.71	o 13496
91.71	c 1536
91.80	o 13501
91.80	c 1531
91.89	o 13505
91.89	c 1527
92.41	o 13506
92.41	c 1526
92.49	o 13510
92.49	c 1522
92.73	o 13512
92.73	c 1520
92.90	o 13513
92.90	c 1519
93.07	o 13516
93.07	c 1516
93.22	o 13518
93.22	c 1514
93.30	o 13520
93.30	c 1512
93.38	o 13522
93.38	c 1510
93.54	o 13524
93.54	c 1508
93.70	o 13526
93.70	c 1506
93.78	o 13529
93.78	c 1503
93.95	o 13532
93.95	c 1500
94.04	o 13535
94.04	c 1497
94.12	o 13540
94.12	c 1492
94.17	o 13541
94.17	c 1491
94.25	o 13543
94.25	c 1489
95.12	o 13544
95.12	c 1488
95.28	o 13545
95.28	c 1487
95.35	o 13546
95.35	c 1486
95.42	o 13549
95.42	c 1483
95.50	o 13553
95.50	c 1479
95.79	o 13556
95.79	c 1476
95.87	o 13563
95.87	c 1469
96.02	o 13564
96.02	c 1468
96.18	o 13565
96.18	c 1467
96.44	o 13568
96.44	c 1464
96.60	o 13569
96.60	c 1463
96.77	o 13570
96.77	c 1462
97.03	o 13574
97.03	c 1458
97.11	o 13578
97.11	c 1454
97.29	o 13581
97.29	c 1451
97.95	o 13584
97.95	c 1448
98.00	o 13586
98.00	c 1446
98.13	o 13587
98.13	c 1445
98.22	o 13589
98.22	c 1443
98.28	o 13591
98.28	c 1441
98.42	o 13592
98.42	c 1440
98.49	o 13596
98.49	c 1436
98.58	o 13598
98.58	c 1434
98.66	o 13599
98.66	c 1433
98.73	o 13600
98.73	c 1432
98.82	o 13601
98.82	c 1431
98.90	o 13602
98.90	c 1430
98.98	o 13606
98.98	c 1426
99.06	o 13607
99.06	c 1425
99.14	o 13609
99.14	c 1423
99.30	o 13611
99.30	c 1421
99.80	o 13613
99.80	c 1419
99.90	o 13614
99.90	c 1418
99.99	o 13617
99.99	c 1415
100.06	o 13621
100.06	c 1411
100.14	o 13624
100.14	c 1408
100.21	o 13625
100.21	c 1407
100.28	o 13630
100.28	c 1402
100.39	o 13631
100.39	c 1401
100.57	o 13632
100.57	c 1400
101.64	o 13635
101.64	c 1397
101.70	o 13638
101.70	c 1394
101.97	o 13639
101.97	c 1393
102.07	o 13640
102.07	c 1392
102.17	o 13642
102.17	c 1390
102.26	o 13643
102.26	c 1389
102.46	o 13644
102.46	c 1388
102.74	o 13646
102.74	c 1386
102.82	o 13647
102.82	c 1385
102.93	o 13651
102.93	c 1381
103.03	o 13654
103.03	c 1378
103.23	o 13657
103.23	c 1375
103.74	o 13661
103.74	c 1371
103.94	o 13662
103.94	c 1370
104.14	o 13663
104.14	c 1369
104.35	o 13664
104.35	c 1368
104.46	o 13665
104.46	c 1367
104.56	o 13668
104.56	c 1364
104.77	o 13671
104.77	c 1361
104.98	o 13673
104.98	c 1359
105.18	o 13675
105.18	c 1357
105.29	o 13678
105.29	c 1354
105.49	o 13681
105.49	c 1351
105.59	o 13685
105.59	c 1347
105.69	o 13687
105.69	c 1345
105.79	o 13689
105.79	c 1343
105.96	o 13693
105.96	c 1339
106.06	o 13694
106.06	c 1338
106.16	o 13697
106.16	c 1335
106.35	o 13699
106.35	c 1333
106.44	o 13701
106.44	c 1331
106.54	o 13702
106.54	c 1330
106.90	o 13706
106.90	c 1326
107.45	o 13707
107.45	c 1325
107.55	o 13709
107.55	c 1323
107.66	o 13710
107.66	c 1322
107.76	o 13711
107.76	c 1321
107.86	o 13713
107.86	c 1319
107.96	o 13715
107.96	c 1317
108.07	o 13717
108.07	c 1315
108.19	o 13719
108.19	c 1313
108.29	o 13720
108.29	c 1312
108.49	o 13721
108.49	c 1311
108.59	o 13722
108.59	c 1310
108.70	o 13723
108.70	c 1309
108.81	o 13724
108.81	c 1308
108.91	o 13729
108.91	c 1303
109.48	o 13732
109.48	c 1300
109.57	o 13733
109.57	c 1299
109.89	o 13736
109.89	c 1296
109.99	o 13739
109.99	c 1293
110.30	o 13740
110.30	c 1292
110.63	o 13741
110.63	c 1291
110.77	o 13744
110.77	c 1288
110.87	o 13745
110.87	c 1287
110.97	o 13746
110.97	c 1286
111.08	o 13749
111.08	c 1283
111.27	o 13753
111.27	c 1279
111.41	o 13754
111.41	c 1278
111.50	o 13755
111.50	c 1277
111.59	o 13756
111.59	c 1276
111.68	o 13757
111.68	c 1275
111.77	o 13758
111.77	c 1274
111.86	o 13759
111.86	c 1273
111.94	o 13761
111.94	c 1271
112.14	o 13766
112.14	c 1266
112.23	o 13767
112.23	c 1265
112.39	o 13769
112.39	c 1263
112.48	o 13771
112.48	c 1261
112.57	o 13774
112.57	c 1258
112.67	o 13776
112.67	c 1256
112.91	o 13777
112.91	c 1255
112.99	o 13780
112.99	c 1252
113.17	o 13781
113.17	c 1251
113.25	o 13783
113.25	c 1249
113.33	o 13784
113.33	c 1248
113.59	o 13786
113.59	c 1246
113.65	o 13788
113.65	c 1244
113.84	o 13793
113.84	c 1239
113.93	o 13795
113.93	c 1237
114.04	o 13799
114.04	c 1233
114.13	o 13802
114.13	c 1230
114.23	o 13804
114.23	c 1228
114.78	o 13805
114.78	c 1227
115.06	o 13806
115.06	c 1226
115.16	o 13809
115.16	c 1223
115.28	o 13812
115.28	c 1220
115.38	o 13813
115.38	c 1219
115.51	o 13816
115.51	c 1216
116.35	o 13817
116.35	c 1215
116.48	o 13818
116.48	c 1214
116.71	o 13819
116.71	c 1213
116.79	o 13821
116.79	c 1211
116.90	o 13823
116.90	c 1209
118.14	o 13824
118.14	c 1208
118.24	o 13826
118.24	c 1206
118.34	o 13830
118.34	c 1202
118.58	o 13832
118.58	c 1200
119.41	o 13833
119.41	c 1199
119.52	o 13835
119.52	c 1197
119.66	o 13837
119.66	c 1195
119.78	o 13840
119.78	c 1192
120.13	o 13841
120.13	c 1191
120.36	o 13843
120.36	c 1189
120.83	o 13844
120.83	c 1188
120.95	o 13845
120.95	c 1187
121.08	o 13846
121.08	c 1186
121.21	o 13848
121.21	c 1184
121.34	o 13852
121.34	c 1180
121.99	o 13854
121.99	c 1178
122.12	o 13857
122.12	c 1175
122.25	o 13858
122.25	c 1174
122.39	o 13861
122.39	c 1171
122.53	o 13863
122.53	c 1169
122.81	o 13866
122.81	c 1166
122.95	o 13868
122.95	c 1164
123.23	o 13870
123.23	c 1162
123.37	o 13875
123.37	c 1157
123.52	o 13876
123.52	c 1156
123.83	o 13878
123.83	c 1154
124.59	o 13881
124.59	c 1151
124.87	o 13883
124.87	c 1149
125.03	o 13885
125.03	c 1147
126.83	o 13886
126.83	c 1146
127.10	o 13888
127.10	c 1144
127.21	o 13890
127.21	c 1142
127.34	o 13891
127.34	c 1141
127.59	o 13896
127.59	c 1136
127.97	o 13897
127.97	c 1135
128.10	o 13898
128.10	c 1134
128.44	o 13899
128.44	c 1133
128.57	o 13901
128.57	c 1131
128.94	o 13903
128.94	c 1129
129.04	o 13905
129.04	c 1127
129.16	o 13908
129.16	c 1124
129.66	o 13909
129.66	c 1123
129.78	o 13911
129.78	c 1121
129.83	o 13913
129.83	c 1119
130.89	o 13915
130.89	c 1117
131.18	o 13917
131.18	c 1115
133.07	o 13921
133.07	c 1111
133.22	o 13922
133.22	c 1110
133.32	o 13924
133.32	c 1108
133.45	o 13928
133.45	c 1104
133.55	o 13929
133.55	c 1103
133.83	o 13932
133.83	c 1100
134.62	o 13933
134.62	c 1099
135.42	o 13934
135.42	c 1098
135.57	o 13935
135.57	c 1097
135.71	o 13936
135.71	c 1096
135.85	o 13938
135.85	c 1094
135.99	o 13940
135.99	c 1092
136.15	o 13942
136.15	c 1090
137.52	o 13945
137.52	c 1087
137.61	o 13946
137.61	c 1086
137.74	o 13951
137.74	c 1081
137.87	o 13954
137.87	c 1078
138.01	o 13956
138.01	c 1076
138.15	o 13957
138.15	c 1075
138.29	o 13958
138.29	c 1074
138.58	o 13959
138.58	c 1073
138.88	o 13962
138.88	c 1070
138.99	o 13966
138.99	c 1066
139.13	o 13968
139.13	c 1064
139.28	o 13969
139.28	c 1063
139.41	o 13970
139.41	c 1062
139.56	o 13972
139.56	c 1060
141.63	o 13973
141.63	c 1059
142.42	o 13974
142.42	c 1058
142.58	o 13976
142.58	c 1056
142.74	o 13977
142.74	c 1055
142.88	o 13982
142.88	c 1050
143.15	o 13986
143.15	c 1046
143.18	o 13990
143.18	c 1042
143.31	o 13991
143.31	c 1041
143.99	o 13995
143.99	c 1037
144.81	o 13999
144.81	c 1033
145.70	o 14001
145.70	c 1031
146.19	o 14007
146.19	c 1025
146.32	o 14008
146.32	c 1024
146.46	o 14010
146.46	c 1022
146.58	o 14014
146.58	c 1018
147.07	o 14015
147.07	c 1017
147.19	o 14017
147.19	c 1015
147.55	o 14020
147.55	c 1012
148.00	o 14021
148.00	c 1011
148.13	o 14022
148.13	c 1010
148.26	o 14023
148.26	c 1009
148.40	o 14024
148.40	c 1008
148.53	o 14026
148.53	c 1006
148.67	o 14027
148.67	c 1005
148.80	o 14028
148.80	c 1004
148.92	o 14031
148.92	c 1001
150.45	o 14032
150.45	c 1000
150.57	o 14033
150.57	c 999
150.70	o 14034
150.70	c 998
151.10	o 14035
151.10	c 997
151.24	o 14037
151.24	c 995
151.94	o 14038
151.94	c 994
152.07	o 14040
152.07	c 992
157.36	o 14041
157.36	c 991
157.68	o 14043
157.68	c 989
157.84	o 14045
157.84	c 987
158.30	o 14048
158.30	c 984
158.45	o 14049
158.45	c 983
158.62	o 14050
158.62	c 982
158.94	o 14052
158.94	c 980
159.25	o 14053
159.25	c 979
159.59	o 14056
159.59	c 976
160.05	o 14057
160.05	c 975
160.21	o 14059
160.21	c 973
160.37	o 14062
160.37	c 970
160.54	o 14065
160.54	c 967
161.00	o 14066
161.00	c 966
161.32	o 14067
161.32	c 965
161.81	o 14068
161.81	c 964
161.97	o 14070
161.97	c 962
162.51	o 14075
162.51	c 957
163.72	o 14079
163.72	c 953
166.99	o 14081
166.99	c 951
167.52	o 14084
167.52	c 948
170.99	o 14088
170.99	c 944
171.60	o 14090
171.60	c 942
171.76	o 14092
171.76	c 940
172.25	o 14093
172.25	c 939
172.42	o 14095
172.42	c 937
172.57	o 14096
172.57	c 936
173.24	o 14097
173.24	c 935
173.40	o 14099
173.40	c 933
174.52	o 14102
174.52	c 930
175.92	o 14104
175.92	c 928
176.38	o 14106
176.38	c 926
176.86	o 14107
176.86	c 925
177.43	o 14108
177.43	c 924
177.51	o 14111
177.51	c 921
179.20	o 14113
179.20	c 919
179.33	o 14116
179.33	c 916
179.49	o 14117
179.49	c 915
180.76	o 14118
180.76	c 914
181.83	o 14119
181.83	c 913
182.00	o 14120
182.00	c 912
185.47	o 14122
185.47	c 910
185.65	o 14124
185.65	c 908
185.81	o 14126
185.81	c 906
185.97	o 14128
185.97	c 904
186.33	o 14129
186.33	c 903
186.46	o 14130
186.46	c 902
186.65	o 14131
186.65	c 901
188.03	o 14132
188.03	c 900
188.21	o 14134
188.21	c 898
188.39	o 14135
188.39	c 897
188.57	o 14138
188.57	c 894
188.74	o 14140
188.74	c 892
189.94	o 14142
189.94	c 890
190.30	o 14143
190.30	c 889
190.64	o 14144
190.64	c 888
191.61	o 14148
191.61	c 884
191.78	o 14151
191.78	c 881
192.65	o 14153
192.65	c 879
192.82	o 14156
192.82	c 876
193.17	o 14159
193.17	c 873
193.49	o 14160
193.49	c 872
193.83	o 14161
193.83	c 871
195.34	o 14166
195.34	c 866
198.39	o 14167
198.39	c 865
198.58	o 14169
198.58	c 863
198.77	o 14171
198.77	c 861
198.97	o 14172
198.97	c 860
199.18	o 14173
199.18	c 859
199.39	o 14174
199.39	c 858
200.15	o 14175
200.15	c 857
200.36	o 14176
200.36	c 856
201.82	o 14177
201.82	c 855
202.42	o 14178
202.42	c 854
205.32	o 14179
205.32	c 853
205.94	o 14181
205.94	c 851
206.12	o 14182
206.12	c 850
206.30	o 14186
206.30	c 846
206.51	o 14188
206.51	c 844
206.92	o 14189
206.92	c 843
207.12	o 14191
207.12	c 841
209.70	o 14193
209.70	c 839
210.08	o 14196
210.08	c 836
211.73	o 14197
211.73	c 835
213.45	o 14198
213.45	c 834
214.28	o 14200
214.28	c 832
215.19	o 14202
215.19	c 830
215.55	o 14204
215.55	c 828
215.89	o 14207
215.89	c 825
216.08	o 14209
216.08	c 823
216.23	o 14212
216.23	c 820
216.58	o 14213
216.58	c 819
216.74	o 14215
216.74	c 817
216.90	o 14216
216.90	c 816
217.91	o 14219
217.91	c 813
218.09	o 14220
218.09	c 812
218.27	o 14222
218.27	c 810
218.46	o 14224
218.46	c 808
221.95	o 14225
221.95	c 807
222.70	o 14228
222.70	c 804
222.90	o 14229
222.90	c 803
223.12	o 14231
223.12	c 801
226.45	o 14232
226.45	c 800
227.11	o 14233
227.11	c 799
227.76	o 14234
227.76	c 798
227.99	o 14236
227.99	c 796
228.21	o 14237
228.21	c 795
228.66	o 14238
228.66	c 794
229.12	o 14240
229.12	c 792
229.19	o 14241
229.19	c 791
229.62	o 14245
229.62	c 787
230.02	o 14247
230.02	c 785
230.97	o 14248
230.97	c 784
231.16	o 14249
231.16	c 783
231.36	o 14250
231.36	c 782
232.26	o 14254
232.27	c 778
232.62	o 14256
232.62	c 776
233.18	o 14262
233.18	c 770
233.60	o 14263
233.60	c 769
233.62	o 14265
233.62	c 767
233.81	o 14266
233.81	c 766
233.98	o 14267
233.98	c 765
234.14	o 14268
234.14	c 764
234.31	o 14270
234.31	c 762
234.82	o 14271
234.82	c 761
235.34	o 14276
235.34	c 756
235.52	o 14277
235.52	c 755
235.99	o 14278
235.99	c 754
236.17	o 14280
236.17	c 752
236.85	o 14281
236.85	c 751
237.38	o 14282
237.38	c 750
237.55	o 14284
237.55	c 748
237.73	o 14286
237.73	c 746
237.90	o 14287
237.90	c 745
240.50	o 14289
240.50	c 743
240.91	o 14291
240.91	c 741
240.97	o 14293
240.97	c 739
241.15	o 14297
241.16	c 735
241.56	o 14301
241.56	c 731
242.13	o 14302
242.13	c 730
243.74	o 14303
243.74	c 729
243.90	o 14304
243.90	c 728
244.03	o 14305
244.03	c 727
244.21	o 14306
244.21	c 726
244.41	o 14308
244.41	c 724
244.73	o 14312
244.73	c 720
244.88	o 14313
244.88	c 719
245.01	o 14316
245.01	c 716
245.20	o 14318
245.20	c 714
245.37	o 14319
245.37	c 713
246.42	o 14320
246.42	c 712
250.51	o 14323
250.51	c 709
250.68	o 14325
250.68	c 707
251.41	o 14326
251.41	c 706
251.60	o 14327
251.60	c 705
253.97	o 14328
253.97	c 704
254.58	o 14329
254.58	c 703
254.77	o 14331
254.77	c 701
254.91	o 14332
254.91	c 700
254.95	o 14333
254.95	c 699
255.13	o 14335
255.13	c 697
255.51	o 14336
255.51	c 696
255.70	o 14337
255.70	c 695
256.25	o 14339
256.25	c 693
256.45	o 14341
256.45	c 691
256.64	o 14342
256.64	c 690
257.02	o 14343
257.02	c 689
257.21	o 14344
257.21	c 688
257.77	o 14345
257.77	c 687
257.96	o 14347
257.96	c 685
258.15	o 14350
258.15	c 682
258.36	o 14351
258.36	c 681
258.99	o 14352
258.99	c 680
259.18	o 14353
259.19	c 679
263.23	o 14354
263.23	c 678
263.88	o 14355
263.88	c 677
264.31	o 14357
264.31	c 675
264.95	o 14359
264.95	c 673
265.16	o 14361
265.16	c 671
265.39	o 14362
265.39	c 670
265.61	o 14363
265.61	c 669
265.76	o 14368
265.76	c 664
265.99	o 14372
265.99	c 660
267.84	o 14373
267.84	c 659
268.06	o 14374
268.06	c 658
268.49	o 14376
268.49	c 656
268.67	o 14377
268.67	c 655
268.87	o 14379
268.87	c 653
269.42	o 14381
269.42	c 651
269.63	o 14382
269.63	c 650
269.84	o 14383
269.84	c 649
270.04	o 14387
270.04	c 645
270.25	o 14388
270.25	c 644
272.92	o 14390
272.92	c 642
274.21	o 14391
274.21	c 641
276.11	o 14392
276.11	c 640
276.53	o 14393
276.53	c 639
276.73	o 14394
276.73	c 638
276.94	o 14398
276.94	c 634
277.70	o 14399
277.70	c 633
280.76	o 14400
280.76	c 632
280.79	o 14402
280.79	c 630
282.81	o 14404
282.81	c 628
282.92	o 14406
282.92	c 626
283.55	o 14407
283.55	c 625
283.73	o 14408
283.73	c 624
284.12	o 14409
284.12	c 623
292.53	o 14411
292.53	c 621
292.74	o 14412
292.74	c 620
294.49	o 14416
294.49	c 616
295.87	o 14417
295.87	c 615
296.08	o 14418
296.08	c 614
296.50	o 14419
296.50	c 613
297.45	o 14420
297.45	c 612
297.65	o 14422
297.65	c 610
310.09	o 14424
310.09	c 608
310.68	o 14426
310.68	c 606
311.07	o 14429
311.07	c 603
312.11	o 14431
312.11	c 601
312.57	o 14433
312.57	c 599
312.81	o 14435
312.81	c 597
313.02	o 14439
313.02	c 593
313.23	o 14440
313.23	c 592
313.46	o 14441
313.46	c 591
313.67	o 14443
313.67	c 589
314.31	o 14445
314.31	c 587
316.35	o 14448
316.35	c 584
316.58	o 14449
316.58	c 583
317.94	o 14450
317.94	c 582
318.42	o 14451
318.42	c 581
320.36	o 14453
320.36	c 579
321.68	o 14454
321.68	c 578
323.08	o 14455
323.08	c 577
323.19	o 14457
323.19	c 575
323.89	o 14460
323.89	c 572
324.35	o 14461
324.35	c 571
324.83	o 14463
324.83	c 569
329.60	o 14467
329.60	c 565
329.78	o 14468
329.78	c 564
329.90	o 14470
329.90	c 562
330.01	o 14473
330.01	c 559
330.25	o 14474
330.25	c 558
331.15	o 14476
331.15	c 556
331.39	o 14477
331.39	c 555
331.63	o 14479
331.63	c 553
331.86	o 14480
331.86	c 552
332.11	o 14481
332.11	c 551
339.62	o 14482
339.62	c 550
339.86	o 14483
339.86	c 549
343.81	o 14484
343.81	c 548
352.03	o 14485
352.03	c 547
352.27	o 14486
352.27	c 546
352.74	o 14488
352.74	c 544
353.86	o 14490
353.86	c 542
354.09	o 14493
354.09	c 539
354.32	o 14494
354.32	c 538
354.56	o 14495
354.56	c 537
355.27	o 14499
355.27	c 533
356.87	o 14501
356.87	c 531
364.21	o 14502
364.21	c 530
364.77	o 14503
364.77	c 529
365.31	o 14504
365.31	c 528
365.54	o 14505
365.54	c 527
366.07	o 14509
366.07	c 523
366.59	o 14510
366.59	c 522
371.19	o 14511
371.19	c 521
372.81	o 14512
372.81	c 520
373.06	o 14514
373.06	c 518
377.92	o 14516
377.92	c 516
380.40	o 14517
380.40	c 515
380.46	o 14518
380.46	c 514
381.14	o 14519
381.14	c 513
381.45	o 14521
381.45	c 511
383.04	o 14522
383.04	c 510
383.30	o 14523
383.30	c 509
384.38	o 14524
384.38	c 508
385.84	o 14527
385.84	c 505
386.59	o 14528
386.59	c 504
386.83	o 14530
386.83	c 502
387.32	o 14531
387.32	c 501
387.58	o 14532
387.58	c 500
387.86	o 14533
387.86	c 499
388.13	o 14534
388.13	c 498
388.30	o 14535
388.30	c 497
388.44	o 14536
388.44	c 496
388.63	o 14537
388.63	c 495
388.89	o 14538
388.89	c 494
389.15	o 14539
389.15	c 493
389.95	o 14540
389.95	c 492
390.22	o 14541
390.22	c 491
390.49	o 14542
390.49	c 490
390.75	o 14543
390.75	c 489
391.02	o 14544
391.02	c 488
391.29	o 14545
391.29	c 487
391.50	o 14546
391.50	c 486
391.70	o 14548
391.70	c 484
391.96	o 14549
391.96	c 483
392.22	o 14550
392.22	c 482
392.61	o 14551
392.61	c 481
392.87	o 14552
392.87	c 480
393.13	o 14553
393.13	c 479
393.39	o 14554
393.39	c 478
394.43	o 14555
394.43	c 477
400.38	o 14556
400.38	c 476
414.31	o 14557
414.31	c 475
415.03	o 14558
415.03	c 474
415.47	o 14561
415.47	c 471
415.73	o 14562
415.73	c 470
416.08	o 14563
416.08	c 469
425.68	o 14564
425.68	c 468
431.14	o 14566
431.14	c 466
431.37	o 14567
431.37	c 465
431.85	o 14568
431.85	c 464
432.08	o 14570
432.08	c 462
435.44	o 14572
435.44	c 460
439.75	o 14573
439.75	c 459
439.98	o 14578
439.98	c 454
444.30	o 14583
444.30	c 449
444.47	o 14587
444.47	c 445
449.91	o 14589
449.91	c 443
452.25	o 14590
452.25	c 442
475.00	o 14591
475.00	c 441
486.36	o 14592
486.36	c 440
486.95	o 14593
486.95	c 439
487.26	o 14594
487.26	c 438
487.57	o 14595
487.57	c 437
488.07	o 14596
488.07	c 436
490.14	o 14597
490.14	c 435
490.67	o 14598
490.67	c 434
490.97	o 14599
490.97	c 433
491.26	o 14600
491.26	c 432
491.51	o 14602
491.51	c 430
491.80	o 14603
491.80	c 429
492.10	o 14604
492.10	c 428
492.39	o 14605
492.39	c 427
492.69	o 14607
492.69	c 425
493.56	o 14608
493.56	c 424
494.75	o 14610
494.75	c 422
495.06	o 14612
495.06	c 420
495.36	o 14614
495.36	c 418
501.56	o 14618
501.56	c 414
502.61	o 14619
502.61	c 413
509.11	o 14624
509.11	c 408
509.31	o 14625
509.31	c 407
509.61	o 14628
509.61	c 404
511.64	o 14629
511.64	c 403
537.14	o 14630
537.14	c 402
554.50	o 14631
554.50	c 401
571.17	o 14632
571.17	c 400
583.11	o 14635
583.11	c 397
583.39	o 14636
583.39	c 396
583.97	o 14637
583.97	c 395
584.20	o 14638
584.20	c 394
587.70	o 14639
587.70	c 393
588.91	o 14642
588.91	c 390
590.62	o 14643
590.62	c 389
590.92	o 14644
590.92	c 388
592.62	o 14646
592.62	c 386
607.41	o 14647
607.41	c 385
612.46	o 14648
612.46	c 384
612.86	o 14649
612.86	c 383
615.98	o 14650
615.98	c 382
616.27	o 14651
616.27	c 381
616.57	o 14653
616.57	c 379
628.02	o 14654
628.02	c 378
628.56	o 14655
628.56	c 377
631.22	o 14656
631.22	c 376
631.66	o 14658
631.66	c 374
640.87	o 14663
640.87	c 369
643.56	o 14664
643.56	c 368
644.10	o 14665
644.10	c 367
644.37	o 14666
644.37	c 366
656.38	o 14667
656.38	c 365
658.46	o 14668
658.46	c 364
661.18	o 14670
661.18	c 362
661.50	o 14672
661.50	c 360
673.01	o 14673
673.01	c 359
673.27	o 14674
673.27	c 358
673.60	o 14675
673.60	c 357
673.92	o 14676
673.92	c 356
680.21	o 14677
680.21	c 355
680.37	o 14679
680.37	c 353
680.99	o 14682
680.99	c 350
681.28	o 14683
681.28	c 349
681.60	o 14687
681.60	c 345
682.25	o 14690
682.25	c 342
682.57	o 14691
682.57	c 341
684.48	o 14693
684.48	c 339
685.13	o 14697
685.13	c 335
695.98	o 14698
695.98	c 334
696.93	o 14699
696.93	c 333
698.39	o 14700
698.39	c 332
698.71	o 14702
698.71	c 330
699.02	o 14703
699.02	c 329
729.25	   
729.25	   search
729.25	     run=0  nbConstraintChecks=2096659683  nbAssignments=3694
729.25	       =>  wckTime=666.697  cpuTime=664.46  mem=48M326
729.26	   
729.26	   global
729.26	     nbConstraintChecks=2096659683  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
729.26	     solvingWckTime=666.687  solvingCpuTime=664.45  expiredTime=no  totalExploration=no  nbFoundSolutions=0
729.26	     globalCpuTime=725.39
729.26	       =>  wckTime=728.941  cpuTime=725.34  mem=48M326
729.26	   
729.26	   solver IterativeSystematicSolver being built... 
729.80	       =>  wckTime=729.484  cpuTime=725.63  mem=90M913
766.51	   
766.51	   preprocessing
766.51	     nbConstraintChecks=85206462  nbValidityChecks=372797  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
766.51	     nbRemovedValues=0  detectedInconsistency=no
766.51	       =>  wckTime=36.705  cpuTime=36.65  mem=90M913
2263.01	   
2263.01	   search
2263.01	     run=0  nbConstraintChecks=1358785259  nbValidityChecks=3827286895  nbPropagations=0  nbRevisions=0
2263.01	     nbUselessRevisions=0  nbAssignments=589  nbFailedAssignments=268  nbBacktracks=10  nbVisitedNodes=868
2263.01	     nbRestartNogoods=0
2263.01	       =>  wckTime=1533.206  cpuTime=1532.17  mem=90M913
2403.96	v 2028 -2720 2020 -2036 2080 2740 -2072 -2368 2700 2248 2140 2728 2064 -2524 -2640 -2632 -2208 2496 -2556 2564 2092 -2020 2332 2448 2360 2496 2468 -2548 2740 2548 -2024 2732 2508 2300 2700 2060 -2364 -2032 2344 -2504 2624 2552 -2124 -2552 2080 -2492 -2108 -2196 -2212 2472 2408 2536 2288 -2168 -2540 -2696 2712 -2260 2684 -2060 -2640 2500 -2048 2632 2420 -2064 2064 -2512 2688 2680 -2312 2268 2564 -2740 2500 2468 2532 2304 -2668 -2332 2720 -2088 -2572 2272 -2052 -2588 2148 -2424 2292 2528 2180 -2672 2616 -2028 -2112 -2556 -2032 2360 2524 -2060 -2132 -2456 -2548 2348 -2636 -2548 2728 -2524 2740 -2320 -2724 -2508 -2568 2468 -2516 2064 -2536 2276 2684 2264 -2364 -2576 2160 -2716 2148 -2152 -2536 -2672 2696 -2492 -2556 2688 2116 -2340 -2116 2064 -2348 2700 2612 2740 -2660 -2100 -2252 2040 -2332 2072 2496 2652 -2608 -2336 -2224 2308 -2172 2600 2040 2528 2284 2584 -2156 -2380 -2636 -2640 2616 2316 2484 2020 -2124 2300 -2740 -2728 -2524 -2712 2308 2088 -2424 -2532 -2356 -2020 2448 2636 2696 -2724 -2328 2364 -2484 2256 -2440 -2416 -2716 -2208 -2132 2428 -2144 2060 -2376 2204 2324 2040 2248 -2508 2548 2292 -2068 2720 -2316 -2536 2612 -2020 2720 2064 -2592 2464 -2024 -2508 -2732 2708 -2348 2596 2356 -2364 -2164 2524 -2060 -2436 2696 -2656 2484 2320 2272 -2476 -2528 -2680 -2560 -2376 -2688 -2472 2320 2064 -2292 2308 2560 2236 2060 -2612 2704 -2548 -2576 -2536 2220 -2224 2496 2068 -2108 2640 -2192 2020 -2228 -2688 -2356 2736 -2024 -2200 2128 2404 -2712 -2148 2412 -2512 -2064 -2028 2460 -2368 -2600 -2484 2136 -2040 2580 -2024 2728 -2680 2064 2464 -2180 2088 2584 -2544 -2104 -2716 -2688 -2096 2628 -2608 2280 2276 -2064 -2388 -2560 -2408 -2272 2244 -2328 2136 2036 -2676 2568 2296 2700 2520 -2296 -2272 2480 -2080 2368 -2260 -2416 -2472 2112 -2024 -2040 -2228 -2368 2600 2700 -2040 -2064 -2428 2576 2656 -2028 2696 -2576 -2200 2020 2496 -2024 -2020 -2204 -2512 2244 2472 2156 2144 2272 -2580 2728 -2584 2300 2672 -2636 -2344 -2608 -2060 2020 -2512 2496 2584 -2564 2340 2396 -2432 -2596 2456 -2296 -2208 2324 2548 2020 2060 2700 2524 2740 -2188 2124 2244 2544 -2560 2612 2624 -2416 -2120 -2048 -2020 -2604 2128 2188 -2220 2216 2596 2020 2252 -2024 2680 2472 -2312 -2648 -2228 2092 -2596 -2324 -2252 -2488 2704 -2188 -2580 -2124 2616 2456 2252 -2248 -2692 -2236 -2636 -2736 -2620 2692 2300 -2620 -2096 -2644 2692 -2544 -2248 2596 -2740 2388 2020 -2376 2084 2436 2348 2340 -2724 2076 -2464 2436 -2740 -2028 2148 -2068 2376 -2052 -2060 -2088 -2736 -2672 -2264 2476 2556 -2636 2684 2080 2380 -2608 -2504 -2620 -2540 2368 -2592 -2416 2680 2724 2308 -2296 -2152 2464 -2740 2560 2324 2260 2076 -2676 2060 2316 2312 2224 -2680 2500 -2540 -2416 -2104 -2436 2708 2628 -2348 2492 2028 2732 2680 2648 -2252 -2632 -2596 2604 2420 2388 -2080 -2096 -2548 2520 2468 -2456 -2104 -2024 -2592 2728 2560 2064 2136 -2456 -2088 2476 -2296 2360 -2588 2524 2696 2368 2036 2668 2720 -2644 2476 -2600 -2236 -2608 2504 2380 2688 2376 -2648 -2508 -2404 -2020 2556 -2148 -2416 -2184 -2700 2640 -2304 2684 -2684 2524 2440 -2276 2432 -2620 2700 -2392 2600 -2060 2616 2740 2388 2336 -2216 -2596 2196 -2700 -2244 2480 -2220 2700 -2088 2224 -2108 -2040 2696 2596 2216 -2464 2096 -2148 2072 -2372 -2736 -2124 -2560 -2524 2648 -2456 2104 2628 -2376 2404 -2604 -2328 2132 -2700 -2068 -2496 -2556 -2700 -2196 2692 -2652 -2296 -2380 2588 2032 -2384 2684 2044 2588 -2580 2320 2248 -2256 2220 -2644 -2728 -2588 2588 -2580 2292 -2340 2324 -2268 -2700 2700 2580 2204 -2336 2024 2248 -2680 2148 -2212 2668 -2736 -2416 2520 -2432 -2024 2728 -2484 -2480 -2256 -2480 -2736 2472 2028 -2416 -2292 2148 2060 -2084 2024 -2616 2096 -2552 -2020 -2468 2556 2364 -2032 -2068 2384 2176 -2108 2516 -2644 -2224 2308 2212 -2136 -2644 2552 -2684 2164 2436 -2232 2396 2216 2596 -2696 -2504 -2316 -2440 2264 2688 -2440 -2064 2656 2348 2356 -2176 -2740 2324 -2276 2136 2104 2348 -2628 -2020 -2604 -2684 2328 2248 2060 2396 2068 -2040 2136 2688 -2436 -2652 2512 2060 2444 2416 2664 -2020 2568 2428 -2580 -2260 2464 -2188 -2184 2552 -2480 2208 -2108 2156 2240 2660 2388 -2220 2336 -2728 2560 2240 -2496 -2088 -2068 2684 -2284 2556 2352 -2144 -2192 -2060 2660 -2444 2740 -2572 2064 -2668 2036 -2520 2084 -2264 2208 -2116 2364 -2700 2564 -2328 2372 2332 2476 2344 2492 -2024 -2376 -2528 -2588 -2192 -2596 -2032 2696 2696 2740 2208 -2640 -2188 2048 2360 2068 2736 2120 2620 2060 2400 -2124 -2672 2348 2228 -2212 -2516 -2028 -2456 -2724 2536 2188 2592 -2364 2520 -2516 -2704 2536 2444 2284 -2172 2264 -2028 2388 2376 2240 2700 -2520 2660 2288 -2316 -2336 -2400 2092 2504 2688 -2572 -2684 -2300 -2228 2644 2556 -2724 -2352 -2088 2292 2164 -2096 2280 2576 -2476 2064 -2728 -2384 -2700 -2652 2024 -2400 2588 -2684 2564 2632 -2720 -2432 -2180 -2224 -2584 2488 2688 2080 2068 -2332 -2544 -2560 2084 2648 2484 2452 -2176 -2676 -2236 -2220 2596 -2724 2536 2128 -2524 -2544 2324 2368 2644 2288 -2020 2028 2080 -2456 2260 -2628 2464 -2720 -2644 2360 -2024 -2436 2392 -2212 -2092 -2740 2516 2208 2104 -2048 2524 2320 2680 -2576 2668 -2656 -2128 2680 -2348 2136 2424 -2280 -2588 -2440 -2040 2692 -2052 2360 2548 -2180 -2692 -2512 -2352 2060 2176 2664 -2408 2732 -2312 -2128 2096 2348 2032 2736 2408 -2736 2532 -2628 -2308 -2736 2260 2248 2472 -2600 -2332 2456 2312 -2620 -2188 -2416 -2228 2104 -2484 -2320 2152 -2496 -2496 2584 2392 -2300 2332 -2564 2724 2172 2280 -2064 -2472 -2136 -2188 2184 -2288 -2060 2052 2484 2652 -2452 -2340 2292 -2092 -2604 -2092 -2156 -2460 2212 2104 -2544 -2568 -2408 -2088 2380 -2144 -2700 2712 2740 2100 -2740 2740 2620 2604 -2412 2592 2524 2564 -2664

Verifier Data (download as text)

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

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

/proc/loadavg: 1.93 2.00 1.93 4/73 30686
/proc/meminfo: memFree=1586752/2055920 swapFree=4191892/4192956
[pid=30685] ppid=30683 vsize=18540 CPUtime=0
/proc/30685/stat : 30685 (runsolver) R 30683 30685 29909 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270305366 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264519609639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30685/statm: 4635 279 244 17 0 2626 0

[startup+0.102936 s]
/proc/loadavg: 1.93 2.00 1.93 4/73 30686
/proc/meminfo: memFree=1586752/2055920 swapFree=4191892/4192956
[pid=30685] ppid=30683 vsize=914988 CPUtime=0.08
/proc/30685/stat : 30685 (java) R 30683 30685 29909 0 -1 0 2954 0 1 0 7 1 0 0 17 0 8 0 270305366 936947712 2700 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153609812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30685/statm: 228747 2700 1414 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.510989 s]
/proc/loadavg: 1.93 2.00 1.93 4/73 30686
/proc/meminfo: memFree=1586752/2055920 swapFree=4191892/4192956
[pid=30685] ppid=30683 vsize=915332 CPUtime=0.48
/proc/30685/stat : 30685 (java) R 30683 30685 29909 0 -1 0 7129 0 1 0 43 5 0 0 18 0 8 0 270305366 937299968 6868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942674 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30685/statm: 228833 6868 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.3321 s]
/proc/loadavg: 1.93 2.00 1.93 3/80 30693
/proc/meminfo: memFree=1519816/2055920 swapFree=4191892/4192956
[pid=30685] ppid=30683 vsize=915636 CPUtime=1.3
/proc/30685/stat : 30685 (java) R 30683 30685 29909 0 -1 0 21071 0 1 0 118 12 0 0 24 0 8 0 270305366 937611264 20808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155889137 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30685/statm: 228909 20808 2176 14 0 215379 0
[pid=30685/tid=30687] ppid=30683 vsize=915636 CPUtime=0.06
/proc/30685/task/30687/stat : 30687 (java) S 30683 30685 29909 0 -1 64 4474 0 0 0 5 1 0 0 16 0 8 0 270305371 937611264 20808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30688] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30688/stat : 30688 (java) S 30683 30685 29909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270305371 937611264 20808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30689] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30689/stat : 30689 (java) S 30683 30685 29909 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270305371 937611264 20808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30690] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30690/stat : 30690 (java) S 30683 30685 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270305374 937611264 20808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30691] ppid=30683 vsize=915636 CPUtime=0.15
/proc/30685/task/30691/stat : 30691 (java) S 30683 30685 29909 0 -1 64 398 0 0 0 14 1 0 0 16 0 8 0 270305374 937611264 20808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30692] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30692/stat : 30692 (java) S 30683 30685 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270305374 937611264 20808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30693] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30693/stat : 30693 (java) S 30683 30685 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270305374 937611264 20808 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.9723 s]
/proc/loadavg: 1.93 2.00 1.93 3/80 30693
/proc/meminfo: memFree=1511752/2055920 swapFree=4191892/4192956
[pid=30685] ppid=30683 vsize=915636 CPUtime=2.92
/proc/30685/stat : 30685 (java) R 30683 30685 29909 0 -1 0 21094 0 1 0 280 12 0 0 25 0 8 0 270305366 937611264 20830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798584 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30685/statm: 228909 20830 2181 14 0 215379 0
[pid=30685/tid=30687] ppid=30683 vsize=915636 CPUtime=0.06
/proc/30685/task/30687/stat : 30687 (java) S 30683 30685 29909 0 -1 64 4474 0 0 0 5 1 0 0 17 0 8 0 270305371 937611264 20830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30688] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30688/stat : 30688 (java) S 30683 30685 29909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270305371 937611264 20830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30689] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30689/stat : 30689 (java) S 30683 30685 29909 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270305371 937611264 20830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30690] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30690/stat : 30690 (java) S 30683 30685 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270305374 937611264 20830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30691] ppid=30683 vsize=915636 CPUtime=0.16
/proc/30685/task/30691/stat : 30691 (java) S 30683 30685 29909 0 -1 64 407 0 0 0 15 1 0 0 16 0 8 0 270305374 937611264 20830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30692] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30692/stat : 30692 (java) S 30683 30685 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270305374 937611264 20830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30693] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30693/stat : 30693 (java) S 30683 30685 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270305374 937611264 20830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915636

[startup+6.17872 s]
/proc/loadavg: 1.94 2.00 1.93 3/80 30693
/proc/meminfo: memFree=1511688/2055920 swapFree=4191892/4192956
[pid=30685] ppid=30683 vsize=915636 CPUtime=6.1
/proc/30685/stat : 30685 (java) R 30683 30685 29909 0 -1 0 21111 0 1 0 597 13 0 0 25 0 8 0 270305366 937611264 20847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795244 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30685/statm: 228909 20847 2182 14 0 215379 0
[pid=30685/tid=30687] ppid=30683 vsize=915636 CPUtime=0.06
/proc/30685/task/30687/stat : 30687 (java) S 30683 30685 29909 0 -1 64 4474 0 0 0 5 1 0 0 16 0 8 0 270305371 937611264 20847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30688] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30688/stat : 30688 (java) S 30683 30685 29909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270305371 937611264 20847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30689] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30689/stat : 30689 (java) S 30683 30685 29909 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270305371 937611264 20847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30690] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30690/stat : 30690 (java) S 30683 30685 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270305374 937611264 20847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30691] ppid=30683 vsize=915636 CPUtime=0.18
/proc/30685/task/30691/stat : 30691 (java) S 30683 30685 29909 0 -1 64 423 0 0 0 17 1 0 0 16 0 8 0 270305374 937611264 20847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30692] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30692/stat : 30692 (java) S 30683 30685 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270305374 937611264 20847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30693] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30693/stat : 30693 (java) S 30683 30685 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270305374 937611264 20847 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915636

[startup+12.6466 s]
/proc/loadavg: 1.94 2.00 1.93 3/80 30693
/proc/meminfo: memFree=1511880/2055920 swapFree=4191892/4192956
[pid=30685] ppid=30683 vsize=915636 CPUtime=12.52
/proc/30685/stat : 30685 (java) R 30683 30685 29909 0 -1 0 21114 0 1 0 1237 15 0 0 25 0 8 0 270305366 937611264 20849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811127 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30685/statm: 228909 20849 2182 14 0 215379 0
[pid=30685/tid=30687] ppid=30683 vsize=915636 CPUtime=0.06
/proc/30685/task/30687/stat : 30687 (java) S 30683 30685 29909 0 -1 64 4474 0 0 0 5 1 0 0 16 0 8 0 270305371 937611264 20849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30688] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30688/stat : 30688 (java) S 30683 30685 29909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270305371 937611264 20849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30689] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30689/stat : 30689 (java) S 30683 30685 29909 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270305371 937611264 20849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30690] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30690/stat : 30690 (java) S 30683 30685 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270305374 937611264 20849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30691] ppid=30683 vsize=915636 CPUtime=0.18
/proc/30685/task/30691/stat : 30691 (java) S 30683 30685 29909 0 -1 64 425 0 0 0 17 1 0 0 16 0 8 0 270305374 937611264 20849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30692] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30692/stat : 30692 (java) S 30683 30685 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270305374 937611264 20849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30693] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30693/stat : 30693 (java) S 30683 30685 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270305374 937611264 20849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915636

[startup+25.5082 s]
/proc/loadavg: 1.95 2.00 1.93 3/80 30693
/proc/meminfo: memFree=1509448/2055920 swapFree=4191892/4192956
[pid=30685] ppid=30683 vsize=915636 CPUtime=25.27
/proc/30685/stat : 30685 (java) R 30683 30685 29909 0 -1 0 21752 0 1 0 2510 17 0 0 25 0 8 0 270305366 937611264 21485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794000 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30685/statm: 228909 21485 2182 14 0 215379 0
[pid=30685/tid=30687] ppid=30683 vsize=915636 CPUtime=0.12
/proc/30685/task/30687/stat : 30687 (java) S 30683 30685 29909 0 -1 64 5105 0 0 0 11 1 0 0 16 0 8 0 270305371 937611264 21485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30688] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30688/stat : 30688 (java) S 30683 30685 29909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270305371 937611264 21485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30689] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30689/stat : 30689 (java) S 30683 30685 29909 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270305371 937611264 21485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30690] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30690/stat : 30690 (java) S 30683 30685 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270305374 937611264 21485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30691] ppid=30683 vsize=915636 CPUtime=0.19
/proc/30685/task/30691/stat : 30691 (java) S 30683 30685 29909 0 -1 64 430 0 0 0 18 1 0 0 17 0 8 0 270305374 937611264 21485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30692] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30692/stat : 30692 (java) S 30683 30685 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270305374 937611264 21485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30693] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30693/stat : 30693 (java) S 30683 30685 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270305374 937611264 21485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915636

[startup+51.1165 s]
/proc/loadavg: 1.97 2.00 1.93 3/80 30693
/proc/meminfo: memFree=1497288/2055920 swapFree=4191892/4192956
[pid=30685] ppid=30683 vsize=915636 CPUtime=50.66
/proc/30685/stat : 30685 (java) R 30683 30685 29909 0 -1 0 24814 0 1 0 5040 26 0 0 25 0 8 0 270305366 937611264 24545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815440 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30685/statm: 228909 24545 2182 14 0 215379 0
[pid=30685/tid=30687] ppid=30683 vsize=915636 CPUtime=0.24
/proc/30685/task/30687/stat : 30687 (java) S 30683 30685 29909 0 -1 64 8157 0 0 0 22 2 0 0 16 0 8 0 270305371 937611264 24545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30688] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30688/stat : 30688 (java) S 30683 30685 29909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270305371 937611264 24545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30689] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30689/stat : 30689 (java) S 30683 30685 29909 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270305371 937611264 24545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30690] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30690/stat : 30690 (java) S 30683 30685 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270305374 937611264 24545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30691] ppid=30683 vsize=915636 CPUtime=0.21
/proc/30685/task/30691/stat : 30691 (java) S 30683 30685 29909 0 -1 64 438 0 0 0 20 1 0 0 16 0 8 0 270305374 937611264 24545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30692] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30692/stat : 30692 (java) S 30683 30685 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270305374 937611264 24545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30693] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30693/stat : 30693 (java) S 30683 30685 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270305374 937611264 24545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915636

[startup+102.354 s]
/proc/loadavg: 1.98 2.00 1.93 3/80 30693
/proc/meminfo: memFree=1476360/2055920 swapFree=4191892/4192956
[pid=30685] ppid=30683 vsize=915636 CPUtime=101.42
/proc/30685/stat : 30685 (java) R 30683 30685 29909 0 -1 0 30365 0 1 0 10099 43 0 0 25 0 8 0 270305366 937611264 30090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073981459 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30685/statm: 228909 30090 2501 14 0 215379 0
[pid=30685/tid=30687] ppid=30683 vsize=915636 CPUtime=0.63
/proc/30685/task/30687/stat : 30687 (java) S 30683 30685 29909 0 -1 64 13328 0 0 0 59 4 0 0 16 0 8 0 270305371 937611264 30090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30688] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30688/stat : 30688 (java) S 30683 30685 29909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270305371 937611264 30090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30689] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30689/stat : 30689 (java) S 30683 30685 29909 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270305371 937611264 30090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30690] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30690/stat : 30690 (java) S 30683 30685 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270305374 937611264 30090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30691] ppid=30683 vsize=915636 CPUtime=0.28
/proc/30685/task/30691/stat : 30691 (java) S 30683 30685 29909 0 -1 64 467 0 0 0 26 2 0 0 16 0 8 0 270305374 937611264 30090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30692] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30692/stat : 30692 (java) S 30683 30685 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270305374 937611264 30090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30693] ppid=30683 vsize=915636 CPUtime=0
/proc/30685/task/30693/stat : 30693 (java) S 30683 30685 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270305374 937611264 30090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 915636

[startup+162.41 s]
/proc/loadavg: 2.14 2.03 1.94 3/88 30767
/proc/meminfo: memFree=1135688/2055920 swapFree=4191892/4192956
[pid=30685] ppid=30683 vsize=915636 CPUtime=161.13
/proc/30685/stat : 30685 (java) R 30683 30685 29909 0 -1 0 30367 0 1 0 16062 51 0 0 25 0 8 0 270305366 937611264 30092 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795879 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+2082.93 s]
/proc/loadavg: 1.00 1.00 1.14 2/72 30784
/proc/meminfo: memFree=1447888/2055920 swapFree=4191892/4192956
[pid=30685] ppid=30683 vsize=915936 CPUtime=2079.25
/proc/30685/stat : 30685 (java) R 30683 30685 29909 0 -1 0 39651 0 1 0 207846 79 0 0 25 0 8 0 270305366 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074213845 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30685/statm: 228984 39355 2548 14 0 215454 0
[pid=30685/tid=30687] ppid=30683 vsize=915936 CPUtime=0.74
/proc/30685/task/30687/stat : 30687 (java) S 30683 30685 29909 0 -1 64 22377 0 0 0 67 7 0 0 16 0 8 0 270305371 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30685/tid=30688] ppid=30683 vsize=915936 CPUtime=0
/proc/30685/task/30688/stat : 30688 (java) S 30683 30685 29909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270305371 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30689] ppid=30683 vsize=915936 CPUtime=0
/proc/30685/task/30689/stat : 30689 (java) S 30683 30685 29909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270305371 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30690] ppid=30683 vsize=915936 CPUtime=0
/proc/30685/task/30690/stat : 30690 (java) S 30683 30685 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270305374 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30691] ppid=30683 vsize=915936 CPUtime=0.39
/proc/30685/task/30691/stat : 30691 (java) S 30683 30685 29909 0 -1 64 593 0 0 0 36 3 0 0 16 0 8 0 270305374 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30685/tid=30692] ppid=30683 vsize=915936 CPUtime=0
/proc/30685/task/30692/stat : 30692 (java) S 30683 30685 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270305374 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30693] ppid=30683 vsize=915936 CPUtime=0
/proc/30685/task/30693/stat : 30693 (java) S 30683 30685 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270305374 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2079.25
Current children cumulated vsize (KiB) 915936

[startup+2142.94 s]
/proc/loadavg: 1.00 1.00 1.12 2/72 30784
/proc/meminfo: memFree=1447888/2055920 swapFree=4191892/4192956
[pid=30685] ppid=30683 vsize=915936 CPUtime=2139.21
/proc/30685/stat : 30685 (java) R 30683 30685 29909 0 -1 0 39651 0 1 0 213842 79 0 0 25 0 8 0 270305366 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074246048 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30685/statm: 228984 39355 2548 14 0 215454 0
[pid=30685/tid=30687] ppid=30683 vsize=915936 CPUtime=0.74
/proc/30685/task/30687/stat : 30687 (java) S 30683 30685 29909 0 -1 64 22377 0 0 0 67 7 0 0 16 0 8 0 270305371 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30685/tid=30688] ppid=30683 vsize=915936 CPUtime=0
/proc/30685/task/30688/stat : 30688 (java) S 30683 30685 29909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270305371 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30689] ppid=30683 vsize=915936 CPUtime=0
/proc/30685/task/30689/stat : 30689 (java) S 30683 30685 29909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270305371 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30690] ppid=30683 vsize=915936 CPUtime=0
/proc/30685/task/30690/stat : 30690 (java) S 30683 30685 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270305374 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30691] ppid=30683 vsize=915936 CPUtime=0.39
/proc/30685/task/30691/stat : 30691 (java) S 30683 30685 29909 0 -1 64 593 0 0 0 36 3 0 0 16 0 8 0 270305374 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30685/tid=30692] ppid=30683 vsize=915936 CPUtime=0
/proc/30685/task/30692/stat : 30692 (java) S 30683 30685 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270305374 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30693] ppid=30683 vsize=915936 CPUtime=0
/proc/30685/task/30693/stat : 30693 (java) S 30683 30685 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270305374 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2139.21
Current children cumulated vsize (KiB) 915936

[startup+2202.95 s]
/proc/loadavg: 1.00 1.00 1.11 2/72 30784
/proc/meminfo: memFree=1447888/2055920 swapFree=4191892/4192956
[pid=30685] ppid=30683 vsize=915936 CPUtime=2199.18
/proc/30685/stat : 30685 (java) R 30683 30685 29909 0 -1 0 39651 0 1 0 219839 79 0 0 25 0 8 0 270305366 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074240696 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30685/statm: 228984 39355 2548 14 0 215454 0
[pid=30685/tid=30687] ppid=30683 vsize=915936 CPUtime=0.74
/proc/30685/task/30687/stat : 30687 (java) S 30683 30685 29909 0 -1 64 22377 0 0 0 67 7 0 0 16 0 8 0 270305371 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30685/tid=30688] ppid=30683 vsize=915936 CPUtime=0
/proc/30685/task/30688/stat : 30688 (java) S 30683 30685 29909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270305371 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30689] ppid=30683 vsize=915936 CPUtime=0
/proc/30685/task/30689/stat : 30689 (java) S 30683 30685 29909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270305371 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30690] ppid=30683 vsize=915936 CPUtime=0
/proc/30685/task/30690/stat : 30690 (java) S 30683 30685 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270305374 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30691] ppid=30683 vsize=915936 CPUtime=0.39
/proc/30685/task/30691/stat : 30691 (java) S 30683 30685 29909 0 -1 64 593 0 0 0 36 3 0 0 16 0 8 0 270305374 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30685/tid=30692] ppid=30683 vsize=915936 CPUtime=0
/proc/30685/task/30692/stat : 30692 (java) S 30683 30685 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270305374 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30693] ppid=30683 vsize=915936 CPUtime=0
/proc/30685/task/30693/stat : 30693 (java) S 30683 30685 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270305374 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2199.18
Current children cumulated vsize (KiB) 915936

[startup+2262.96 s]
/proc/loadavg: 1.04 1.01 1.11 2/72 30784
/proc/meminfo: memFree=1447888/2055920 swapFree=4191892/4192956
[pid=30685] ppid=30683 vsize=915936 CPUtime=2259.16
/proc/30685/stat : 30685 (java) R 30683 30685 29909 0 -1 0 39651 0 1 0 225837 79 0 0 25 0 8 0 270305366 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074240635 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30685/statm: 228984 39355 2548 14 0 215454 0
[pid=30685/tid=30687] ppid=30683 vsize=915936 CPUtime=0.74
/proc/30685/task/30687/stat : 30687 (java) S 30683 30685 29909 0 -1 64 22377 0 0 0 67 7 0 0 16 0 8 0 270305371 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30685/tid=30688] ppid=30683 vsize=915936 CPUtime=0
/proc/30685/task/30688/stat : 30688 (java) S 30683 30685 29909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270305371 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30689] ppid=30683 vsize=915936 CPUtime=0
/proc/30685/task/30689/stat : 30689 (java) S 30683 30685 29909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270305371 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30690] ppid=30683 vsize=915936 CPUtime=0
/proc/30685/task/30690/stat : 30690 (java) S 30683 30685 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270305374 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30691] ppid=30683 vsize=915936 CPUtime=0.39
/proc/30685/task/30691/stat : 30691 (java) S 30683 30685 29909 0 -1 64 593 0 0 0 36 3 0 0 16 0 8 0 270305374 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30685/tid=30692] ppid=30683 vsize=915936 CPUtime=0
/proc/30685/task/30692/stat : 30692 (java) S 30683 30685 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270305374 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30693] ppid=30683 vsize=915936 CPUtime=0
/proc/30685/task/30693/stat : 30693 (java) S 30683 30685 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270305374 937918464 39355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2259.16
Current children cumulated vsize (KiB) 915936

[startup+2322.97 s]
/proc/loadavg: 1.01 1.01 1.09 2/72 30784
/proc/meminfo: memFree=1447952/2055920 swapFree=4191892/4192956
[pid=30685] ppid=30683 vsize=915744 CPUtime=2319.12
/proc/30685/stat : 30685 (java) R 30683 30685 29909 0 -1 0 39667 0 1 0 231833 79 0 0 25 0 8 0 270305366 937721856 39336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074240662 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30685/statm: 228936 39336 2551 14 0 215406 0
[pid=30685/tid=30687] ppid=30683 vsize=915744 CPUtime=0.74
/proc/30685/task/30687/stat : 30687 (java) S 30683 30685 29909 0 -1 64 22378 0 0 0 67 7 0 0 16 0 8 0 270305371 937721856 39336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30685/tid=30688] ppid=30683 vsize=915744 CPUtime=0
/proc/30685/task/30688/stat : 30688 (java) S 30683 30685 29909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270305371 937721856 39336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30689] ppid=30683 vsize=915744 CPUtime=0
/proc/30685/task/30689/stat : 30689 (java) S 30683 30685 29909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270305371 937721856 39336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30690] ppid=30683 vsize=915744 CPUtime=0
/proc/30685/task/30690/stat : 30690 (java) S 30683 30685 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270305374 937721856 39336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30691] ppid=30683 vsize=915744 CPUtime=0.4
/proc/30685/task/30691/stat : 30691 (java) S 30683 30685 29909 0 -1 64 602 0 0 0 37 3 0 0 16 0 8 0 270305374 937721856 39336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30685/tid=30692] ppid=30683 vsize=915744 CPUtime=0
/proc/30685/task/30692/stat : 30692 (java) S 30683 30685 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270305374 937721856 39336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30693] ppid=30683 vsize=915744 CPUtime=0
/proc/30685/task/30693/stat : 30693 (java) S 30683 30685 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270305374 937721856 39336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2319.12
Current children cumulated vsize (KiB) 915744

[startup+2382.99 s]
/proc/loadavg: 1.00 1.00 1.09 2/72 30784
/proc/meminfo: memFree=1448016/2055920 swapFree=4191892/4192956
[pid=30685] ppid=30683 vsize=915744 CPUtime=2379.09
/proc/30685/stat : 30685 (java) R 30683 30685 29909 0 -1 0 39668 0 1 0 237830 79 0 0 25 0 8 0 270305366 937721856 39336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074100866 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30685/statm: 228936 39336 2551 14 0 215406 0
[pid=30685/tid=30687] ppid=30683 vsize=915744 CPUtime=0.74
/proc/30685/task/30687/stat : 30687 (java) S 30683 30685 29909 0 -1 64 22378 0 0 0 67 7 0 0 16 0 8 0 270305371 937721856 39336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30685/tid=30688] ppid=30683 vsize=915744 CPUtime=0
/proc/30685/task/30688/stat : 30688 (java) S 30683 30685 29909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270305371 937721856 39336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30689] ppid=30683 vsize=915744 CPUtime=0
/proc/30685/task/30689/stat : 30689 (java) S 30683 30685 29909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270305371 937721856 39336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30690] ppid=30683 vsize=915744 CPUtime=0
/proc/30685/task/30690/stat : 30690 (java) S 30683 30685 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270305374 937721856 39336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30691] ppid=30683 vsize=915744 CPUtime=0.4
/proc/30685/task/30691/stat : 30691 (java) S 30683 30685 29909 0 -1 64 603 0 0 0 37 3 0 0 16 0 8 0 270305374 937721856 39336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30685/tid=30692] ppid=30683 vsize=915744 CPUtime=0
/proc/30685/task/30692/stat : 30692 (java) S 30683 30685 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270305374 937721856 39336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30693] ppid=30683 vsize=915744 CPUtime=0
/proc/30685/task/30693/stat : 30693 (java) S 30683 30685 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270305374 937721856 39336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2379.09
Current children cumulated vsize (KiB) 915744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2403.95 s]
/proc/loadavg: 1.00 1.00 1.08 2/72 30784
/proc/meminfo: memFree=1448016/2055920 swapFree=4191892/4192956
[pid=30685] ppid=30683 vsize=915744 CPUtime=2400.06
/proc/30685/stat : 30685 (java) R 30683 30685 29909 0 -1 0 39668 0 1 0 239926 80 0 0 25 0 8 0 270305366 937721856 39336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470032 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30685/statm: 228936 39336 2551 14 0 215406 0
[pid=30685/tid=30687] ppid=30683 vsize=915744 CPUtime=0.74
/proc/30685/task/30687/stat : 30687 (java) S 30683 30685 29909 0 -1 64 22378 0 0 0 67 7 0 0 16 0 8 0 270305371 937721856 39336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30685/tid=30688] ppid=30683 vsize=915744 CPUtime=0
/proc/30685/task/30688/stat : 30688 (java) S 30683 30685 29909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270305371 937721856 39336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30689] ppid=30683 vsize=915744 CPUtime=0
/proc/30685/task/30689/stat : 30689 (java) S 30683 30685 29909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270305371 937721856 39336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30690] ppid=30683 vsize=915744 CPUtime=0
/proc/30685/task/30690/stat : 30690 (java) S 30683 30685 29909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270305374 937721856 39336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30691] ppid=30683 vsize=915744 CPUtime=0.4
/proc/30685/task/30691/stat : 30691 (java) S 30683 30685 29909 0 -1 64 603 0 0 0 37 3 0 0 16 0 8 0 270305374 937721856 39336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30685/tid=30692] ppid=30683 vsize=915744 CPUtime=0
/proc/30685/task/30692/stat : 30692 (java) S 30683 30685 29909 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270305374 937721856 39336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30685/tid=30693] ppid=30683 vsize=915744 CPUtime=0
/proc/30685/task/30693/stat : 30693 (java) S 30683 30685 29909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270305374 937721856 39336 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) 915744

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

Child status: 143
Real time (s): 2404
CPU time (s): 2400.11
CPU user time (s): 2399.29
CPU system time (s): 0.827874
CPU usage (%): 99.8382
Max. virtual memory (cumulated for all children) (KiB): 915936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.29
system time used= 0.827874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39691
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= 50311
involuntary context switches= 53068

runsolver used 2.28865 s user time and 6.75097 s system time

The end

Launcher Data (download as text)

Begin job on node40 on Fri Jan 19 15:04:20 UTC 2007


IDJOB= 275271
IDBENCH= 3759
IDSOLVER= 69
FILE ID= node40/275271-1169219060

PBS_JOBID= 3589155

Free space on /tmp= 66559 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5145a33efd34f749485cb3d43c764923

RANDOM SEED= 599636398

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.239
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.239
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:       1587232 kB
Buffers:         40144 kB
Cached:         328352 kB
SwapCached:        268 kB
Active:         112028 kB
Inactive:       279380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1587232 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            3732 kB
Writeback:           0 kB
Mapped:          33208 kB
Slab:            62668 kB
Committed_AS:  4935584 kB
PageTables:       1736 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 node40 on Fri Jan 19 15:44:24 UTC 2007