Trace number 275291

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCMSAT (TO) 2400.06 2422.23

General information on the benchmark

Namefapp/fapp11-15/fapp11/
fapp11-1000-3.xml
MD5SUM9f6fab3cbce8258078edbda9a5e9d13f
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints14635
Best CPU time to get the best result obtained on this benchmark2400.06
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.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=epfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/275291-1169219597/unknown.xml
0.38	   
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.263  cpuTime=0.2  mem=17M615
0.58	   
0.58	   predicates being loaded...
0.59	   
0.59	   constraints being loaded...
61.30	   
61.30	   INFO : Stopping converting binary constraints (cpu=60.04, mem = 71M198)
62.40	     nbConstraints=15032  nbConvertedConstraints=4255  nbConvertConstraintsChecks=188856168  nbExtensionStructures=2568
62.40	     nbSharedExtensionStructures=1687  nbConflictsStructures=2568  nbSharedConflictsStructures=1687
62.40	     nbSharedBinaryRepresentations=1311825  nbEvaluationManagers=5241  nbSharedEvaluationManagers=5536  maxDegree=51
62.40	     maxArity=2
62.40	       =>  wckTime=62.077  cpuTime=60.88  mem=48M688
62.61	   
62.61	   solver LocalSearchSolver being built... 
62.65	       =>  wckTime=62.331  cpuTime=60.93  mem=47M222
62.74	
62.74	s SATISFIABLE
62.74	o 11882
62.74	c 3150
62.77	o 11891
62.77	c 3141
62.80	o 11901
62.80	c 3131
62.83	o 11907
62.83	c 3125
62.86	o 11913
62.86	c 3119
62.88	o 11923
62.88	c 3109
62.92	o 11931
62.92	c 3101
62.94	o 11936
62.94	c 3096
62.97	o 11940
62.97	c 3092
63.04	o 11946
63.04	c 3086
63.07	o 11953
63.07	c 3079
63.10	o 11960
63.10	c 3072
63.14	o 11966
63.14	c 3066
63.18	o 11970
63.18	c 3062
63.21	o 11974
63.21	c 3058
63.24	o 11985
63.24	c 3047
63.27	o 11988
63.27	c 3044
63.30	o 11991
63.30	c 3041
63.33	o 11994
63.33	c 3038
63.37	o 11995
63.37	c 3037
63.39	o 12003
63.39	c 3029
63.42	o 12008
63.42	c 3024
63.46	o 12016
63.46	c 3016
63.49	o 12024
63.49	c 3008
63.53	o 12031
63.53	c 3001
63.58	o 12036
63.58	c 2996
63.63	o 12041
63.63	c 2991
63.67	o 12046
63.67	c 2986
63.71	o 12050
63.71	c 2982
63.74	o 12054
63.74	c 2978
63.78	o 12058
63.78	c 2974
63.81	o 12061
63.81	c 2971
63.84	o 12064
63.84	c 2968
63.87	o 12067
63.87	c 2965
63.90	o 12071
63.90	c 2961
63.93	o 12073
63.93	c 2959
63.96	o 12075
63.96	c 2957
63.99	o 12077
63.99	c 2955
64.02	o 12081
64.02	c 2951
64.07	o 12085
64.07	c 2947
64.10	o 12089
64.10	c 2943
64.12	o 12092
64.12	c 2940
64.15	o 12098
64.15	c 2934
64.18	o 12099
64.18	c 2933
64.22	o 12101
64.22	c 2931
64.26	o 12109
64.26	c 2923
64.29	o 12115
64.29	c 2917
64.35	o 12122
64.35	c 2910
64.39	o 12129
64.39	c 2903
64.42	o 12136
64.42	c 2896
64.45	o 12142
64.45	c 2890
64.49	o 12148
64.49	c 2884
64.53	o 12153
64.53	c 2879
64.56	o 12158
64.56	c 2874
64.59	o 12163
64.59	c 2869
64.61	o 12167
64.61	c 2865
64.65	o 12170
64.65	c 2862
64.67	o 12173
64.67	c 2859
64.70	o 12176
64.70	c 2856
64.72	o 12179
64.72	c 2853
64.75	o 12181
64.75	c 2851
64.78	o 12183
64.78	c 2849
64.80	o 12186
64.80	c 2846
64.91	o 12188
64.91	c 2844
64.98	o 12191
64.98	c 2841
65.00	o 12193
65.00	c 2839
65.02	o 12197
65.02	c 2835
65.05	o 12201
65.05	c 2831
65.07	o 12202
65.07	c 2830
65.08	o 12204
65.08	c 2828
65.10	o 12211
65.10	c 2821
65.11	o 12213
65.11	c 2819
65.13	o 12215
65.13	c 2817
65.15	o 12222
65.15	c 2810
65.18	o 12230
65.18	c 2802
65.21	o 12238
65.21	c 2794
65.23	o 12241
65.23	c 2791
65.25	o 12246
65.25	c 2786
65.29	o 12252
65.29	c 2780
65.33	o 12258
65.33	c 2774
65.36	o 12264
65.36	c 2768
65.40	o 12270
65.40	c 2762
65.44	o 12275
65.44	c 2757
65.48	o 12279
65.48	c 2753
65.52	o 12283
65.52	c 2749
65.57	o 12286
65.57	c 2746
65.60	o 12289
65.60	c 2743
65.65	o 12291
65.65	c 2741
65.68	o 12294
65.68	c 2738
65.71	o 12296
65.71	c 2736
65.74	o 12298
65.74	c 2734
65.78	o 12300
65.78	c 2732
65.82	o 12302
65.82	c 2730
65.85	o 12303
65.85	c 2729
65.89	o 12304
65.89	c 2728
65.91	o 12310
65.91	c 2722
65.94	o 12311
65.94	c 2721
65.98	o 12312
65.98	c 2720
66.05	o 12318
66.05	c 2714
66.09	o 12321
66.09	c 2711
66.10	o 12326
66.10	c 2706
66.13	o 12329
66.13	c 2703
66.15	o 12334
66.15	c 2698
66.16	o 12336
66.16	c 2696
66.18	o 12340
66.18	c 2692
66.20	o 12341
66.20	c 2691
66.21	o 12344
66.21	c 2688
66.24	o 12350
66.24	c 2682
66.27	o 12356
66.27	c 2676
66.29	o 12362
66.29	c 2670
66.32	o 12366
66.32	c 2666
66.35	o 12368
66.35	c 2664
66.38	o 12371
66.38	c 2661
66.41	o 12372
66.41	c 2660
66.45	o 12374
66.45	c 2658
66.49	o 12380
66.49	c 2652
66.54	o 12385
66.54	c 2647
66.58	o 12391
66.58	c 2641
66.62	o 12396
66.62	c 2636
66.67	o 12401
66.67	c 2631
66.71	o 12404
66.71	c 2628
66.74	o 12407
66.74	c 2625
66.79	o 12408
66.79	c 2624
66.83	o 12411
66.83	c 2621
66.87	o 12413
66.87	c 2619
66.90	o 12415
66.90	c 2617
66.94	o 12419
66.94	c 2613
66.97	o 12420
66.97	c 2612
67.01	o 12421
67.01	c 2611
67.04	o 12423
67.04	c 2609
67.07	o 12426
67.07	c 2606
67.10	o 12427
67.10	c 2605
67.18	o 12430
67.18	c 2602
67.26	o 12431
67.26	c 2601
67.30	o 12432
67.30	c 2600
67.32	o 12436
67.32	c 2596
67.34	o 12440
67.34	c 2592
67.37	o 12442
67.37	c 2590
67.40	o 12444
67.40	c 2588
67.43	o 12447
67.43	c 2585
67.47	o 12450
67.47	c 2582
67.51	o 12453
67.51	c 2579
67.61	o 12456
67.61	c 2576
67.63	o 12459
67.63	c 2573
67.67	o 12462
67.67	c 2570
67.70	o 12467
67.70	c 2565
67.75	o 12473
67.75	c 2559
67.79	o 12474
67.79	c 2558
67.82	o 12476
67.82	c 2556
67.86	o 12480
67.86	c 2552
67.90	o 12483
67.90	c 2549
67.92	o 12484
67.92	c 2548
67.98	o 12486
67.98	c 2546
68.03	o 12491
68.03	c 2541
68.06	o 12496
68.06	c 2536
68.09	o 12499
68.09	c 2533
68.11	o 12502
68.11	c 2530
68.13	o 12505
68.13	c 2527
68.16	o 12509
68.16	c 2523
68.19	o 12512
68.19	c 2520
68.21	o 12515
68.21	c 2517
68.23	o 12519
68.23	c 2513
68.25	o 12526
68.25	c 2506
68.29	o 12529
68.29	c 2503
68.31	o 12532
68.31	c 2500
68.34	o 12538
68.34	c 2494
68.37	o 12543
68.37	c 2489
68.39	o 12547
68.39	c 2485
68.42	o 12550
68.42	c 2482
68.44	o 12552
68.44	c 2480
68.46	o 12555
68.46	c 2477
68.49	o 12556
68.49	c 2476
68.51	o 12557
68.51	c 2475
68.54	o 12560
68.54	c 2472
68.59	o 12564
68.59	c 2468
68.62	o 12569
68.62	c 2463
68.75	o 12571
68.75	c 2461
68.77	o 12577
68.77	c 2455
68.80	o 12580
68.80	c 2452
68.82	o 12583
68.82	c 2449
68.90	o 12593
68.90	c 2439
68.98	o 12596
68.98	c 2436
69.02	o 12597
69.02	c 2435
69.12	o 12600
69.12	c 2432
69.16	o 12604
69.16	c 2428
69.20	o 12605
69.20	c 2427
69.24	o 12607
69.25	c 2425
69.34	o 12609
69.34	c 2423
69.39	o 12610
69.39	c 2422
69.44	o 12613
69.44	c 2419
69.50	o 12618
69.50	c 2414
69.54	o 12619
69.54	c 2413
69.60	o 12621
69.60	c 2411
69.65	o 12624
69.65	c 2408
69.70	o 12626
69.70	c 2406
69.75	o 12630
69.75	c 2402
69.78	o 12635
69.78	c 2397
69.81	o 12637
69.81	c 2395
69.84	o 12643
69.84	c 2389
69.89	o 12645
69.89	c 2387
69.92	o 12648
69.92	c 2384
70.02	o 12649
70.02	c 2383
70.06	o 12651
70.06	c 2381
70.09	o 12654
70.09	c 2378
70.11	o 12658
70.11	c 2374
70.15	o 12659
70.15	c 2373
70.20	o 12660
70.20	c 2372
70.24	o 12662
70.24	c 2370
70.33	o 12664
70.33	c 2368
70.38	o 12669
70.38	c 2363
70.42	o 12674
70.42	c 2358
70.47	o 12677
70.47	c 2355
70.53	o 12682
70.53	c 2350
70.57	o 12686
70.57	c 2346
70.61	o 12689
70.61	c 2343
70.65	o 12691
70.65	c 2341
70.70	o 12693
70.70	c 2339
70.73	o 12698
70.73	c 2334
70.83	o 12700
70.83	c 2332
70.87	o 12702
70.87	c 2330
70.90	o 12706
70.90	c 2326
70.94	o 12710
70.94	c 2322
70.97	o 12712
70.97	c 2320
71.00	o 12716
71.00	c 2316
71.08	o 12719
71.08	c 2313
71.10	o 12722
71.10	c 2310
71.14	o 12723
71.14	c 2309
71.16	o 12724
71.16	c 2308
71.18	o 12728
71.18	c 2304
71.22	o 12733
71.22	c 2299
71.27	o 12735
71.27	c 2297
71.31	o 12736
71.31	c 2296
71.33	o 12737
71.33	c 2295
71.42	o 12740
71.42	c 2292
71.54	o 12741
71.54	c 2291
71.57	o 12746
71.57	c 2286
71.61	o 12751
71.61	c 2281
71.64	o 12752
71.64	c 2280
71.68	o 12757
71.68	c 2275
71.76	o 12762
71.76	c 2270
71.80	o 12764
71.80	c 2268
71.83	o 12767
71.83	c 2265
71.86	o 12771
71.86	c 2261
71.90	o 12772
71.90	c 2260
71.98	o 12774
71.98	c 2258
72.03	o 12778
72.03	c 2254
72.06	o 12779
72.06	c 2253
72.10	o 12782
72.10	c 2250
72.14	o 12783
72.14	c 2249
72.17	o 12785
72.17	c 2247
72.21	o 12791
72.21	c 2241
72.23	o 12794
72.23	c 2238
72.27	o 12796
72.27	c 2236
72.33	o 12800
72.33	c 2232
72.36	o 12801
72.36	c 2231
72.39	o 12804
72.39	c 2228
72.41	o 12807
72.41	c 2225
72.45	o 12813
72.45	c 2219
72.52	o 12819
72.52	c 2213
72.56	o 12821
72.56	c 2211
72.60	o 12823
72.60	c 2209
72.64	o 12825
72.64	c 2207
72.71	o 12829
72.71	c 2203
72.74	o 12831
72.74	c 2201
72.82	o 12837
72.82	c 2195
72.86	o 12841
72.86	c 2191
72.89	o 12843
72.89	c 2189
72.92	o 12846
72.93	c 2186
72.97	o 12849
72.97	c 2183
73.01	o 12850
73.01	c 2182
73.04	o 12852
73.04	c 2180
73.07	o 12853
73.07	c 2179
73.11	o 12856
73.11	c 2176
73.16	o 12858
73.16	c 2174
73.19	o 12859
73.19	c 2173
73.23	o 12862
73.23	c 2170
73.30	o 12866
73.30	c 2166
73.37	o 12871
73.37	c 2161
73.40	o 12876
73.40	c 2156
73.43	o 12880
73.43	c 2152
73.50	o 12882
73.50	c 2150
73.53	o 12885
73.53	c 2147
73.59	o 12886
73.59	c 2146
73.62	o 12887
73.62	c 2145
73.65	o 12891
73.65	c 2141
73.71	o 12896
73.71	c 2136
73.74	o 12898
73.74	c 2134
73.77	o 12899
73.77	c 2133
73.91	o 12900
73.91	c 2132
73.98	o 12903
73.98	c 2129
74.07	o 12907
74.07	c 2125
74.13	o 12910
74.13	c 2122
74.17	o 12912
74.17	c 2120
74.20	o 12915
74.20	c 2117
74.25	o 12917
74.25	c 2115
74.31	o 12921
74.31	c 2111
74.37	o 12925
74.37	c 2107
74.42	o 12928
74.42	c 2104
74.48	o 12930
74.48	c 2102
74.53	o 12932
74.53	c 2100
74.58	o 12933
74.58	c 2099
74.62	o 12934
74.62	c 2098
74.67	o 12935
74.67	c 2097
74.83	o 12938
74.83	c 2094
74.89	o 12940
74.89	c 2092
74.94	o 12945
74.94	c 2087
75.09	o 12946
75.09	c 2086
75.15	o 12950
75.15	c 2082
75.20	o 12953
75.20	c 2079
75.24	o 12957
75.24	c 2075
75.29	o 12958
75.29	c 2074
75.35	o 12960
75.35	c 2072
75.40	o 12964
75.40	c 2068
75.45	o 12967
75.45	c 2065
75.49	o 12977
75.49	c 2055
75.53	o 12983
75.53	c 2049
75.58	o 12985
75.58	c 2047
75.63	o 12987
75.63	c 2045
75.68	o 12992
75.68	c 2040
75.74	o 12994
75.74	c 2038
75.78	o 12997
75.78	c 2035
75.83	o 12999
75.83	c 2033
75.88	o 13002
75.88	c 2030
75.98	o 13003
75.98	c 2029
76.03	o 13004
76.03	c 2028
76.09	o 13009
76.09	c 2023
76.14	o 13010
76.14	c 2022
76.23	o 13014
76.23	c 2018
76.27	o 13015
76.27	c 2017
76.32	o 13016
76.32	c 2016
76.35	o 13023
76.35	c 2009
76.48	o 13027
76.48	c 2005
76.54	o 13031
76.54	c 2001
76.59	o 13034
76.59	c 1998
76.63	o 13037
76.63	c 1995
76.68	o 13039
76.68	c 1993
76.73	o 13041
76.73	c 1991
76.78	o 13042
76.78	c 1990
76.83	o 13045
76.83	c 1987
76.88	o 13050
76.88	c 1982
76.94	o 13051
76.94	c 1981
76.99	o 13054
76.99	c 1978
77.08	o 13055
77.08	c 1977
77.18	o 13056
77.18	c 1976
77.23	o 13057
77.23	c 1975
77.38	o 13060
77.38	c 1972
77.43	o 13062
77.43	c 1970
77.48	o 13070
77.48	c 1962
77.53	o 13075
77.53	c 1957
77.58	o 13079
77.58	c 1953
77.63	o 13080
77.63	c 1952
77.70	o 13084
77.70	c 1948
77.74	o 13085
77.74	c 1947
77.99	o 13087
77.99	c 1945
78.04	o 13090
78.04	c 1942
78.14	o 13093
78.14	c 1939
78.19	o 13095
78.19	c 1937
78.24	o 13101
78.24	c 1931
78.29	o 13105
78.29	c 1927
78.39	o 13109
78.39	c 1923
78.44	o 13112
78.44	c 1920
78.55	o 13114
78.55	c 1918
78.60	o 13117
78.60	c 1915
78.70	o 13118
78.70	c 1914
78.73	o 13120
78.73	c 1912
78.80	o 13123
78.80	c 1909
78.84	o 13127
78.84	c 1905
78.89	o 13131
78.89	c 1901
78.94	o 13132
78.94	c 1900
78.99	o 13134
78.99	c 1898
79.03	o 13136
79.03	c 1896
79.09	o 13137
79.09	c 1895
79.13	o 13139
79.13	c 1893
79.24	o 13140
79.24	c 1892
79.36	o 13141
79.36	c 1891
79.42	o 13144
79.42	c 1888
79.59	o 13145
79.59	c 1887
79.64	o 13148
79.64	c 1884
79.68	o 13152
79.68	c 1880
79.74	o 13154
79.74	c 1878
79.79	o 13157
79.79	c 1875
79.85	o 13159
79.85	c 1873
79.91	o 13163
79.91	c 1869
79.96	o 13164
79.96	c 1868
80.07	o 13166
80.07	c 1866
80.12	o 13169
80.12	c 1863
80.19	o 13173
80.19	c 1859
80.36	o 13176
80.36	c 1856
80.54	o 13178
80.54	c 1854
80.70	o 13181
80.70	c 1851
80.76	o 13182
80.76	c 1850
80.82	o 13183
80.82	c 1849
80.91	o 13186
80.91	c 1846
81.01	o 13192
81.01	c 1840
81.07	o 13193
81.07	c 1839
81.18	o 13196
81.18	c 1836
81.24	o 13199
81.24	c 1833
81.30	o 13200
81.30	c 1832
81.42	o 13202
81.42	c 1830
81.49	o 13203
81.49	c 1829
81.56	o 13204
81.56	c 1828
81.62	o 13207
81.62	c 1825
81.68	o 13208
81.68	c 1824
81.74	o 13209
81.74	c 1823
81.81	o 13211
81.81	c 1821
81.93	o 13213
81.93	c 1819
82.28	o 13214
82.28	c 1818
82.32	o 13216
82.32	c 1816
82.39	o 13219
82.39	c 1813
82.45	o 13221
82.45	c 1811
82.51	o 13224
82.51	c 1808
82.57	o 13227
82.57	c 1805
82.72	o 13229
82.72	c 1803
82.79	o 13231
82.79	c 1801
82.85	o 13235
82.85	c 1797
82.98	o 13237
82.98	c 1795
83.05	o 13239
83.05	c 1793
83.29	o 13240
83.29	c 1792
83.35	o 13246
83.35	c 1786
83.46	o 13247
83.46	c 1785
83.52	o 13249
83.52	c 1783
83.57	o 13252
83.57	c 1780
83.64	o 13254
83.64	c 1778
83.68	o 13260
83.68	c 1772
83.74	o 13264
83.74	c 1768
83.80	o 13267
83.80	c 1765
83.85	o 13272
83.85	c 1760
83.90	o 13273
83.90	c 1759
83.97	o 13274
83.97	c 1758
84.04	o 13277
84.04	c 1755
84.09	o 13278
84.09	c 1754
84.14	o 13280
84.14	c 1752
84.21	o 13283
84.21	c 1749
84.37	o 13284
84.37	c 1748
84.42	o 13286
84.42	c 1746
84.49	o 13289
84.49	c 1743
84.55	o 13292
84.55	c 1740
84.62	o 13294
84.62	c 1738
84.68	o 13298
84.68	c 1734
84.81	o 13301
84.81	c 1731
84.89	o 13305
84.89	c 1727
84.96	o 13307
84.96	c 1725
85.03	o 13311
85.03	c 1721
85.21	o 13316
85.21	c 1716
85.27	o 13317
85.27	c 1715
85.35	o 13321
85.35	c 1711
85.41	o 13322
85.41	c 1710
85.48	o 13323
85.48	c 1709
85.55	o 13324
85.55	c 1708
85.74	o 13327
85.74	c 1705
85.80	o 13329
85.80	c 1703
85.92	o 13331
85.92	c 1701
86.05	o 13333
86.05	c 1699
86.10	o 13334
86.10	c 1698
86.16	o 13335
86.16	c 1697
86.22	o 13336
86.22	c 1696
86.28	o 13339
86.28	c 1693
86.42	o 13341
86.42	c 1691
86.66	o 13343
86.66	c 1689
86.86	o 13345
86.86	c 1687
86.92	o 13346
86.92	c 1686
87.19	o 13348
87.19	c 1684
87.33	o 13350
87.33	c 1682
87.39	o 13355
87.39	c 1677
87.46	o 13357
87.46	c 1675
87.52	o 13360
87.52	c 1672
87.65	o 13362
87.65	c 1670
87.77	o 13366
87.77	c 1666
87.84	o 13369
87.84	c 1663
87.90	o 13374
87.90	c 1658
87.95	o 13375
87.95	c 1657
88.01	o 13376
88.01	c 1656
88.34	o 13378
88.34	c 1654
88.49	o 13380
88.49	c 1652
88.76	o 13382
88.76	c 1650
88.97	o 13383
88.97	c 1649
89.02	o 13384
89.02	c 1648
89.25	o 13386
89.25	c 1646
89.33	o 13389
89.33	c 1643
89.40	o 13391
89.40	c 1641
89.55	o 13392
89.55	c 1640
89.72	o 13396
89.72	c 1636
89.87	o 13399
89.87	c 1633
89.95	o 13400
89.95	c 1632
90.11	o 13402
90.11	c 1630
90.21	o 13403
90.21	c 1629
90.31	o 13404
90.31	c 1628
90.76	o 13408
90.76	c 1624
90.86	o 13409
90.86	c 1623
90.95	o 13414
90.95	c 1618
91.13	o 13416
91.13	c 1616
91.66	o 13418
91.66	c 1614
91.83	o 13422
91.83	c 1610
92.08	o 13424
92.08	c 1608
92.16	o 13428
92.16	c 1604
92.27	o 13429
92.27	c 1603
92.35	o 13432
92.35	c 1600
92.44	o 13436
92.44	c 1596
92.63	o 13437
92.63	c 1595
92.72	o 13439
92.72	c 1593
92.82	o 13442
92.82	c 1590
93.11	o 13445
93.11	c 1587
93.21	o 13450
93.21	c 1582
93.43	o 13454
93.43	c 1578
93.61	o 13459
93.61	c 1573
93.69	o 13464
93.69	c 1568
93.87	o 13465
93.87	c 1567
93.94	o 13468
93.94	c 1564
94.04	o 13469
94.04	c 1563
94.23	o 13470
94.23	c 1562
94.41	o 13473
94.42	c 1559
94.62	o 13474
94.62	c 1558
94.74	o 13475
94.74	c 1557
94.82	o 13477
94.82	c 1555
95.43	o 13478
95.43	c 1554
95.53	o 13480
95.53	c 1552
95.63	o 13484
95.63	c 1548
95.72	o 13485
95.72	c 1547
95.82	o 13487
95.82	c 1545
95.92	o 13488
95.92	c 1544
96.14	o 13490
96.14	c 1542
96.27	o 13491
96.27	c 1541
96.38	o 13492
96.38	c 1540
96.49	o 13498
96.49	c 1534
96.59	o 13499
96.59	c 1533
96.91	o 13501
96.91	c 1531
97.02	o 13502
97.02	c 1530
97.21	o 13506
97.21	c 1526
97.32	o 13511
97.32	c 1521
97.42	o 13515
97.42	c 1517
97.62	o 13516
97.62	c 1516
97.71	o 13517
97.71	c 1515
97.81	o 13519
97.81	c 1513
97.91	o 13520
97.91	c 1512
98.12	o 13521
98.12	c 1511
98.29	o 13523
98.29	c 1509
98.38	o 13526
98.38	c 1506
98.46	o 13528
98.46	c 1504
98.56	o 13531
98.56	c 1501
98.65	o 13534
98.65	c 1498
98.74	o 13536
98.74	c 1496
98.83	o 13537
98.83	c 1495
98.93	o 13540
98.93	c 1492
99.03	o 13542
99.03	c 1490
99.14	o 13545
99.14	c 1487
99.24	o 13550
99.24	c 1482
99.36	o 13553
99.36	c 1479
99.58	o 13554
99.58	c 1478
99.69	o 13560
99.69	c 1472
99.79	o 13562
99.79	c 1470
100.10	o 13564
100.10	c 1468
100.20	o 13565
100.20	c 1467
100.39	o 13569
100.39	c 1463
100.49	o 13572
100.49	c 1460
100.58	o 13574
100.58	c 1458
100.69	o 13576
100.69	c 1456
101.36	o 13579
101.36	c 1453
101.46	o 13581
101.46	c 1451
101.54	o 13584
101.54	c 1448
101.62	o 13586
101.62	c 1446
102.40	o 13589
102.40	c 1443
102.48	o 13592
102.48	c 1440
102.55	o 13595
102.55	c 1437
102.65	o 13601
102.65	c 1431
102.73	o 13602
102.73	c 1430
102.96	o 13603
102.96	c 1429
103.04	o 13604
103.04	c 1428
103.19	o 13606
103.19	c 1426
103.48	o 13608
103.48	c 1424
103.64	o 13609
103.64	c 1423
103.71	o 13611
103.71	c 1421
103.79	o 13615
103.79	c 1417
103.86	o 13618
103.86	c 1414
103.93	o 13621
103.93	c 1411
104.07	o 13622
104.07	c 1410
104.30	o 13628
104.30	c 1404
104.37	o 13629
104.37	c 1403
104.44	o 13630
104.44	c 1402
104.53	o 13631
104.53	c 1401
104.67	o 13635
104.67	c 1397
104.83	o 13640
104.83	c 1392
104.98	o 13642
104.98	c 1390
105.07	o 13643
105.07	c 1389
105.15	o 13645
105.15	c 1387
105.23	o 13647
105.23	c 1385
105.33	o 13650
105.33	c 1382
105.51	o 13653
105.51	c 1379
106.11	o 13654
106.12	c 1378
106.20	o 13655
106.20	c 1377
106.29	o 13656
106.29	c 1376
106.38	o 13657
106.38	c 1375
106.47	o 13660
106.47	c 1372
106.71	o 13663
106.71	c 1369
106.79	o 13664
106.79	c 1368
107.01	o 13666
107.01	c 1366
107.08	o 13668
107.08	c 1364
107.16	o 13677
107.16	c 1355
107.24	o 13680
107.24	c 1352
107.32	o 13681
107.32	c 1351
107.39	o 13684
107.39	c 1348
107.61	o 13686
107.61	c 1346
107.67	o 13687
107.67	c 1345
107.96	o 13689
107.96	c 1343
108.11	o 13690
108.11	c 1342
108.17	o 13693
108.17	c 1339
108.24	o 13694
108.24	c 1338
108.31	o 13695
108.31	c 1337
108.37	o 13696
108.37	c 1336
108.44	o 13697
108.44	c 1335
108.82	o 13699
108.82	c 1333
108.89	o 13700
108.89	c 1332
109.03	o 13703
109.03	c 1329
109.10	o 13705
109.10	c 1327
109.18	o 13706
109.18	c 1326
109.27	o 13709
109.27	c 1323
109.36	o 13710
109.36	c 1322
109.46	o 13712
109.46	c 1320
109.64	o 13718
109.64	c 1314
109.73	o 13721
109.73	c 1311
109.83	o 13724
109.83	c 1308
109.93	o 13725
109.93	c 1307
110.02	o 13728
110.02	c 1304
110.10	o 13731
110.10	c 1301
110.35	o 13733
110.35	c 1299
110.78	o 13734
110.78	c 1298
111.23	o 13735
111.23	c 1297
111.40	o 13736
111.40	c 1296
111.77	o 13738
111.77	c 1294
111.86	o 13739
111.86	c 1293
112.14	o 13741
112.14	c 1291
112.24	o 13743
112.24	c 1289
112.32	o 13745
112.32	c 1287
112.79	o 13748
112.79	c 1284
112.89	o 13749
112.89	c 1283
113.00	o 13751
113.00	c 1281
113.10	o 13754
113.10	c 1278
114.37	o 13759
114.37	c 1273
114.84	o 13760
114.84	c 1272
114.95	o 13762
114.95	c 1270
115.59	o 13763
115.59	c 1269
115.69	o 13767
115.69	c 1265
115.81	o 13769
115.81	c 1263
115.92	o 13771
115.92	c 1261
116.20	o 13773
116.20	c 1259
116.30	o 13775
116.30	c 1257
116.49	o 13776
116.49	c 1256
116.69	o 13778
116.69	c 1254
116.88	o 13780
116.88	c 1252
116.98	o 13783
116.98	c 1249
117.08	o 13785
117.08	c 1247
117.19	o 13790
117.19	c 1242
117.25	o 13793
117.25	c 1239
117.35	o 13795
117.35	c 1237
118.56	o 13797
118.56	c 1235
118.67	o 13799
118.67	c 1233
118.76	o 13802
118.76	c 1230
118.94	o 13803
118.94	c 1229
119.03	o 13805
119.03	c 1227
119.18	o 13806
119.18	c 1226
119.44	o 13808
119.44	c 1224
119.52	o 13812
119.52	c 1220
119.62	o 13816
119.62	c 1216
119.71	o 13817
119.71	c 1215
120.28	o 13819
120.28	c 1213
120.42	o 13821
120.42	c 1211
121.19	o 13824
121.19	c 1208
122.52	o 13828
122.52	c 1204
122.69	o 13829
122.69	c 1203
122.81	o 13830
122.81	c 1202
122.90	o 13832
122.90	c 1200
123.00	o 13838
123.00	c 1194
123.10	o 13839
123.10	c 1193
123.40	o 13841
123.40	c 1191
123.59	o 13843
123.59	c 1189
123.69	o 13845
123.69	c 1187
123.72	o 13846
123.72	c 1186
123.82	o 13847
123.82	c 1185
123.92	o 13850
123.92	c 1182
124.12	o 13855
124.12	c 1177
124.22	o 13860
124.22	c 1172
124.32	o 13864
124.32	c 1168
124.73	o 13867
124.73	c 1165
124.83	o 13871
124.83	c 1161
124.92	o 13872
124.92	c 1160
125.01	o 13876
125.01	c 1156
125.11	o 13877
125.11	c 1155
125.33	o 13878
125.33	c 1154
125.42	o 13879
125.42	c 1153
125.52	o 13881
125.52	c 1151
125.62	o 13882
125.62	c 1150
125.72	o 13883
125.72	c 1149
125.88	o 13884
125.88	c 1148
126.00	o 13888
126.00	c 1144
126.10	o 13889
126.10	c 1143
127.60	o 13890
127.60	c 1142
127.96	o 13891
127.96	c 1141
128.08	o 13892
128.08	c 1140
128.19	o 13894
128.19	c 1138
128.27	o 13898
128.27	c 1134
128.51	o 13900
128.51	c 1132
128.79	o 13902
128.79	c 1130
128.92	o 13904
128.92	c 1128
129.52	o 13905
129.52	c 1127
129.64	o 13906
129.64	c 1126
129.76	o 13907
129.76	c 1125
129.90	o 13909
129.90	c 1123
130.23	o 13911
130.23	c 1121
130.38	o 13912
130.38	c 1120
130.66	o 13915
130.66	c 1117
130.81	o 13918
130.81	c 1114
130.95	o 13920
130.95	c 1112
131.58	o 13921
131.58	c 1111
131.71	o 13922
131.71	c 1110
131.84	o 13924
131.84	c 1108
132.77	o 13925
132.77	c 1107
133.07	o 13926
133.07	c 1106
133.22	o 13928
133.22	c 1104
133.35	o 13929
133.35	c 1103
133.51	o 13932
133.51	c 1100
133.67	o 13936
133.67	c 1096
133.80	o 13938
133.80	c 1094
134.23	o 13939
134.23	c 1093
134.50	o 13941
134.50	c 1091
134.66	o 13944
134.66	c 1088
134.79	o 13945
134.79	c 1087
134.92	o 13946
134.92	c 1086
135.05	o 13947
135.05	c 1085
135.18	o 13949
135.18	c 1083
135.30	o 13951
135.30	c 1081
135.44	o 13953
135.44	c 1079
135.58	o 13955
135.58	c 1077
135.86	o 13956
135.86	c 1076
136.72	o 13958
136.72	c 1074
137.15	o 13959
137.15	c 1073
137.29	o 13960
137.29	c 1072
137.55	o 13961
137.55	c 1071
137.66	o 13963
137.66	c 1069
137.79	o 13966
137.79	c 1066
137.89	o 13967
137.89	c 1065
138.14	o 13970
138.14	c 1062
138.28	o 13971
138.28	c 1061
138.42	o 13974
138.42	c 1058
138.83	o 13975
138.83	c 1057
139.25	o 13977
139.25	c 1055
139.39	o 13979
139.39	c 1053
139.88	o 13981
139.88	c 1051
140.12	o 13985
140.12	c 1047
140.22	o 13989
140.22	c 1043
140.37	o 13990
140.37	c 1042
140.50	o 13993
140.50	c 1039
140.63	o 13996
140.63	c 1036
140.76	o 13999
140.76	c 1033
140.88	o 14000
140.88	c 1032
141.15	o 14002
141.15	c 1030
141.27	o 14003
141.27	c 1029
141.40	o 14006
141.40	c 1026
141.65	o 14008
141.65	c 1024
141.91	o 14009
141.91	c 1023
141.93	o 14013
141.93	c 1019
142.05	o 14014
142.05	c 1018
142.19	o 14015
142.19	c 1017
142.32	o 14017
142.32	c 1015
142.43	o 14018
142.43	c 1014
142.57	o 14022
142.57	c 1010
142.85	o 14023
142.85	c 1009
143.10	o 14026
143.10	c 1006
143.23	o 14029
143.23	c 1003
143.45	o 14030
143.45	c 1002
143.58	o 14031
143.58	c 1001
143.69	o 14033
143.69	c 999
143.82	o 14035
143.82	c 997
144.35	o 14037
144.35	c 995
145.47	o 14039
145.47	c 993
145.60	o 14040
145.60	c 992
145.73	o 14042
145.73	c 990
145.84	o 14043
145.84	c 989
145.97	o 14045
145.97	c 987
146.61	o 14046
146.61	c 986
146.73	o 14049
146.73	c 983
146.87	o 14050
146.87	c 982
147.02	o 14052
147.02	c 980
147.17	o 14053
147.17	c 979
147.46	o 14056
147.46	c 976
147.54	o 14058
147.54	c 974
148.02	o 14062
148.02	c 970
148.13	o 14063
148.13	c 969
148.26	o 14067
148.26	c 965
148.64	o 14069
148.64	c 963
148.78	o 14071
148.78	c 961
148.89	o 14072
148.89	c 960
149.48	o 14074
149.48	c 958
149.59	o 14075
149.59	c 957
150.04	o 14078
150.04	c 954
150.32	o 14079
150.32	c 953
150.44	o 14080
150.44	c 952
150.56	o 14081
150.56	c 951
150.81	o 14082
150.81	c 950
150.92	o 14084
150.92	c 948
151.04	o 14086
151.04	c 946
151.41	o 14087
151.41	c 945
151.55	o 14089
151.55	c 943
151.68	o 14091
151.68	c 941
151.82	o 14094
151.82	c 938
151.95	o 14095
151.95	c 937
152.21	o 14098
152.21	c 934
152.35	o 14099
152.35	c 933
152.49	o 14102
152.49	c 930
152.74	o 14103
152.74	c 929
153.12	o 14105
153.12	c 927
153.23	o 14106
153.23	c 926
154.32	o 14107
154.32	c 925
154.46	o 14108
154.46	c 924
155.21	o 14109
155.21	c 923
156.48	o 14110
156.48	c 922
156.63	o 14111
156.63	c 921
156.94	o 14112
156.94	c 920
157.23	o 14113
157.23	c 919
157.36	o 14115
157.36	c 917
162.52	o 14116
162.52	c 916
166.47	o 14117
166.47	c 915
169.14	o 14118
169.14	c 914
169.79	o 14121
169.79	c 911
169.95	o 14122
169.95	c 910
170.09	o 14125
170.09	c 907
171.00	o 14126
171.00	c 906
171.22	o 14129
171.22	c 903
171.34	o 14130
171.34	c 902
171.77	o 14132
171.77	c 900
172.04	o 14133
172.04	c 899
172.18	o 14134
172.18	c 898
172.32	o 14136
172.32	c 896
172.73	o 14137
172.73	c 895
172.88	o 14138
172.88	c 894
173.17	o 14139
173.17	c 893
173.34	o 14140
173.34	c 892
174.09	o 14141
174.09	c 891
176.01	o 14146
176.01	c 886
176.05	o 14151
176.05	c 881
176.34	o 14152
176.34	c 880
176.50	o 14159
176.50	c 873
176.90	o 14160
176.90	c 872
177.21	o 14161
177.21	c 871
177.53	o 14163
177.54	c 869
177.68	o 14164
177.68	c 868
177.84	o 14165
177.84	c 867
178.08	o 14171
178.08	c 861
178.69	o 14175
178.69	c 857
178.85	o 14176
178.85	c 856
179.01	o 14177
179.01	c 855
179.16	o 14180
179.16	c 852
180.76	o 14184
180.76	c 848
181.48	o 14186
181.48	c 846
181.56	o 14188
181.56	c 844
181.70	o 14189
181.70	c 843
181.87	o 14190
181.87	c 842
182.03	o 14194
182.03	c 838
182.96	o 14196
182.96	c 836
183.55	o 14197
183.55	c 835
183.67	o 14199
183.67	c 833
183.79	o 14201
183.79	c 831
183.87	o 14206
183.87	c 826
184.00	o 14208
184.00	c 824
185.50	o 14209
185.50	c 823
186.43	o 14210
186.43	c 822
187.01	o 14211
187.01	c 821
187.17	o 14213
187.17	c 819
187.83	o 14214
187.83	c 818
188.00	o 14216
188.00	c 816
188.15	o 14217
188.15	c 815
188.31	o 14218
188.31	c 814
188.47	o 14219
188.47	c 813
188.63	o 14220
188.63	c 812
188.79	o 14222
188.79	c 810
189.13	o 14223
189.13	c 809
189.30	o 14225
189.30	c 807
189.63	o 14226
189.63	c 806
189.81	o 14227
189.81	c 805
190.13	o 14229
190.13	c 803
193.23	o 14231
193.23	c 801
193.43	o 14234
193.43	c 798
193.64	o 14235
193.64	c 797
194.25	o 14237
194.25	c 795
197.81	o 14238
197.81	c 794
205.95	o 14239
205.95	c 793
206.62	o 14241
206.62	c 791
206.86	o 14243
206.86	c 789
207.10	o 14244
207.10	c 788
207.34	o 14245
207.34	c 787
207.57	o 14246
207.57	c 786
207.80	o 14247
207.80	c 785
208.04	o 14249
208.04	c 783
208.28	o 14250
208.28	c 782
209.47	o 14251
209.47	c 781
210.19	o 14252
210.19	c 780
210.44	o 14256
210.44	c 776
210.69	o 14258
210.69	c 774
210.92	o 14261
210.92	c 771
211.16	o 14263
211.16	c 769
211.90	o 14264
211.90	c 768
212.16	o 14265
212.16	c 767
214.06	o 14266
214.06	c 766
214.32	o 14269
214.32	c 763
214.54	o 14274
214.54	c 758
215.53	o 14280
215.53	c 752
216.27	o 14281
216.27	c 751
216.52	o 14283
216.52	c 749
216.77	o 14286
216.77	c 746
217.02	o 14289
217.02	c 743
217.25	o 14291
217.25	c 741
217.75	o 14292
217.75	c 740
218.00	o 14293
218.00	c 739
218.24	o 14294
218.24	c 738
218.64	o 14295
218.64	c 737
218.87	o 14296
218.87	c 736
219.59	o 14297
219.59	c 735
221.22	o 14298
221.22	c 734
221.44	o 14299
221.44	c 733
221.70	o 14302
221.70	c 730
221.87	o 14305
221.87	c 727
222.03	o 14306
222.03	c 726
223.01	o 14307
223.01	c 725
223.74	o 14308
223.74	c 724
224.35	o 14309
224.35	c 723
224.59	o 14311
224.59	c 721
224.80	o 14312
224.80	c 720
225.04	o 14314
225.04	c 718
225.96	o 14315
225.96	c 717
226.20	o 14316
226.20	c 716
227.63	o 14317
227.63	c 715
227.87	o 14318
227.87	c 714
228.11	o 14319
228.11	c 713
228.34	o 14320
228.34	c 712
228.57	o 14322
228.57	c 710
232.51	o 14323
232.51	c 709
233.50	o 14324
233.50	c 708
235.06	o 14325
235.06	c 707
235.23	o 14327
235.23	c 705
235.70	o 14329
235.70	c 703
236.20	o 14330
236.20	c 702
236.43	o 14331
236.43	c 701
236.52	o 14333
236.52	c 699
236.64	o 14335
236.64	c 697
236.85	o 14338
236.85	c 694
237.07	o 14339
237.07	c 693
237.27	o 14341
237.27	c 691
237.50	o 14342
237.50	c 690
237.71	o 14344
237.71	c 688
240.58	o 14347
240.58	c 685
240.79	o 14348
240.79	c 684
243.72	o 14350
243.72	c 682
247.04	o 14351
247.04	c 681
247.45	o 14353
247.45	c 679
247.63	o 14354
247.63	c 678
248.06	o 14355
248.06	c 677
248.49	o 14358
248.49	c 674
248.71	o 14360
248.71	c 672
248.92	o 14361
248.92	c 671
249.14	o 14362
249.14	c 670
249.22	o 14364
249.22	c 668
249.43	o 14365
249.43	c 667
250.06	o 14366
250.06	c 666
252.39	o 14367
252.39	c 665
253.76	o 14371
253.76	c 661
255.88	o 14372
255.88	c 660
256.11	o 14373
256.11	c 659
257.87	o 14374
257.87	c 658
258.11	o 14377
258.11	c 655
259.00	o 14378
259.00	c 654
259.23	o 14381
259.23	c 651
259.47	o 14383
259.47	c 649
259.71	o 14386
259.71	c 646
259.79	o 14387
259.79	c 645
260.03	o 14393
260.03	c 639
260.38	o 14395
260.38	c 637
260.60	o 14397
260.60	c 635
261.44	o 14398
261.44	c 634
262.61	o 14399
262.61	c 633
262.82	o 14401
262.82	c 631
263.44	o 14402
263.44	c 630
263.64	o 14403
263.64	c 629
263.85	o 14404
263.85	c 628
271.36	o 14405
271.36	c 627
271.53	o 14407
271.53	c 625
272.48	o 14409
272.48	c 623
272.72	o 14410
272.72	c 622
274.23	o 14411
274.23	c 621
274.66	o 14412
274.66	c 620
274.89	o 14414
274.89	c 618
275.05	o 14416
275.05	c 616
275.26	o 14417
275.26	c 615
275.65	o 14420
275.65	c 612
275.73	o 14423
275.73	c 609
275.95	o 14426
275.95	c 606
276.16	o 14427
276.16	c 605
276.60	o 14429
276.60	c 603
276.83	o 14430
276.83	c 602
278.06	o 14431
278.06	c 601
284.97	o 14432
284.97	c 600
285.22	o 14433
285.22	c 599
285.47	o 14434
285.47	c 598
285.73	o 14435
285.73	c 597
285.90	o 14437
285.90	c 595
286.13	o 14438
286.13	c 594
286.58	o 14440
286.58	c 592
286.81	o 14442
286.81	c 590
303.28	o 14443
303.28	c 589
303.74	o 14444
303.74	c 588
304.26	o 14445
304.26	c 587
306.17	o 14446
306.17	c 586
306.42	o 14447
306.42	c 585
307.45	o 14448
307.45	c 584
311.36	o 14450
311.36	c 582
311.60	o 14451
311.60	c 581
314.23	o 14452
314.23	c 580
314.71	o 14453
314.71	c 579
314.81	o 14455
314.81	c 577
315.92	o 14456
315.92	c 576
316.15	o 14457
316.15	c 575
316.47	o 14459
316.47	c 573
316.70	o 14460
316.70	c 572
316.94	o 14461
316.94	c 571
317.42	o 14462
317.42	c 570
317.65	o 14464
317.65	c 568
318.28	o 14465
318.28	c 567
318.45	o 14466
318.45	c 566
318.91	o 14467
318.91	c 565
321.15	o 14468
321.16	c 564
321.64	o 14469
321.64	c 563
321.88	o 14471
321.88	c 561
322.59	o 14472
322.59	c 560
323.29	o 14473
323.29	c 559
323.55	o 14475
323.55	c 557
333.31	o 14476
333.31	c 556
334.53	o 14477
334.53	c 555
334.77	o 14478
334.77	c 554
336.01	o 14479
336.01	c 553
336.20	o 14480
336.20	c 552
336.46	o 14481
336.46	c 551
339.64	o 14482
339.64	c 550
339.81	o 14483
339.81	c 549
340.59	o 14486
340.59	c 546
341.73	o 14487
341.73	c 545
343.35	o 14488
343.35	c 544
343.61	o 14489
343.62	c 543
345.70	o 14490
345.70	c 542
347.01	o 14491
347.01	c 541
347.18	o 14492
347.18	c 540
347.43	o 14495
347.43	c 537
347.66	o 14496
347.66	c 536
347.89	o 14498
347.89	c 534
348.32	o 14500
348.32	c 532
353.39	o 14501
353.39	c 531
353.65	o 14502
353.65	c 530
354.13	o 14503
354.13	c 529
354.39	o 14506
354.39	c 526
362.25	o 14507
362.25	c 525
362.45	o 14508
362.45	c 524
371.33	o 14509
371.33	c 523
372.01	o 14510
372.01	c 522
372.54	o 14511
372.54	c 521
372.79	o 14513
372.79	c 519
372.97	o 14514
372.97	c 518
375.01	o 14515
375.01	c 517
375.48	o 14517
375.48	c 515
375.75	o 14518
375.75	c 514
376.27	o 14520
376.27	c 512
376.79	o 14524
376.79	c 508
377.29	o 14525
377.29	c 507
377.80	o 14526
377.81	c 506
378.32	o 14527
378.32	c 505
378.76	o 14530
378.76	c 502
378.91	o 14531
378.91	c 501
379.15	o 14534
379.15	c 498
380.14	o 14536
380.14	c 496
382.11	o 14538
382.11	c 494
382.36	o 14539
382.36	c 493
382.61	o 14541
382.61	c 491
382.86	o 14543
382.86	c 489
383.51	o 14544
383.51	c 488
383.76	o 14545
383.76	c 487
384.03	o 14546
384.03	c 486
384.98	o 14547
384.98	c 485
385.24	o 14548
385.24	c 484
385.51	o 14549
385.51	c 483
386.05	o 14550
386.05	c 482
387.14	o 14551
387.14	c 481
387.39	o 14553
387.39	c 479
388.16	o 14554
388.16	c 478
388.72	o 14555
388.72	c 477
389.48	o 14556
389.48	c 476
391.55	o 14557
391.55	c 475
391.83	o 14558
391.83	c 474
404.28	o 14560
404.28	c 472
409.00	o 14561
409.00	c 471
423.19	o 14562
423.19	c 470
423.89	o 14563
423.89	c 469
424.14	o 14564
424.14	c 468
424.40	o 14565
424.40	c 467
424.65	o 14566
424.65	c 466
424.90	o 14568
424.90	c 464
425.64	o 14569
425.64	c 463
425.89	o 14570
425.89	c 462
426.41	o 14571
426.41	c 461
427.06	o 14572
427.06	c 460
427.31	o 14573
427.31	c 459
428.03	o 14575
428.03	c 457
430.46	o 14576
430.46	c 456
431.40	o 14578
431.40	c 454
431.63	o 14579
431.63	c 453
431.86	o 14580
431.86	c 452
432.35	o 14584
432.35	c 448
432.59	o 14585
432.59	c 447
432.82	o 14586
432.82	c 446
433.06	o 14587
433.06	c 445
433.30	o 14588
433.30	c 444
434.06	o 14590
434.06	c 442
434.87	o 14591
434.87	c 441
435.58	o 14593
435.58	c 439
436.33	o 14594
436.33	c 438
436.79	o 14595
436.79	c 437
437.05	o 14598
437.05	c 434
438.11	o 14600
438.11	c 432
444.46	o 14603
444.46	c 429
444.89	o 14604
444.89	c 428
445.34	o 14607
445.34	c 425
448.22	o 14608
448.22	c 424
448.67	o 14609
448.67	c 423
449.46	o 14611
449.46	c 421
451.89	o 14612
451.89	c 420
452.13	o 14613
452.13	c 419
454.23	o 14615
454.23	c 417
454.47	o 14616
454.47	c 416
454.73	o 14617
454.73	c 415
456.79	o 14618
456.79	c 414
457.99	o 14620
457.99	c 412
462.80	o 14621
462.80	c 411
463.02	o 14622
463.02	c 410
463.28	o 14623
463.28	c 409
473.93	o 14626
473.93	c 406
474.23	o 14628
474.23	c 404
475.55	o 14629
475.55	c 403
475.85	o 14631
475.85	c 401
476.66	o 14632
476.66	c 400
477.54	o 14633
477.54	c 399
480.11	o 14634
480.11	c 398
480.29	o 14635
480.29	c 397
510.70	   
510.70	   search
510.70	     run=0  nbConstraintChecks=1314349816  nbAssignments=2884
510.70	       =>  wckTime=448.051  cpuTime=443.83  mem=48M230
510.70	   
510.70	   global
510.70	     nbConstraintChecks=1314349816  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
510.70	     solvingWckTime=448.041  solvingCpuTime=443.82  expiredTime=no  totalExploration=no  nbFoundSolutions=0
510.70	     globalCpuTime=504.8
510.70	       =>  wckTime=510.382  cpuTime=504.76  mem=48M230
510.70	   
510.70	   solver IterativeSystematicSolver being built... 
511.19	       =>  wckTime=510.87  cpuTime=505.07  mem=90M936
1721.74	   
1721.74	   preprocessing
1721.74	     nbConstraintChecks=1054752695  nbValidityChecks=6802789752  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1721.74	     nbRemovedValues=0  detectedInconsistency=no
1721.74	       =>  wckTime=1210.548  cpuTime=1199.48  mem=90M936
2422.20	v -2024 -2720 2060 2020 -2140 -2736 -2632 -2356 2668 2372 2104 2664 2084 -2404 -2740 2632 -2040 2704 2576 -2588 -2072 -2032 2416 -2448 -2292 -2416 -2468 2576 2712 -2608 2020 2652 2508 -2340 2736 -2064 2368 2168 2344 2520 2544 2504 -2120 2584 -2084 -2484 2116 -2196 2204 -2480 -2324 2456 -2316 2176 -2500 2572 -2724 -2260 2688 2168 2736 2448 2048 2600 2448 -2020 -2040 2148 2732 -2020 2284 -2332 2672 2740 2564 2468 2468 2528 2632 2332 2592 -2068 2548 2332 -2036 2248 -2152 -2504 -2292 -2712 -2228 -2684 -2576 -2020 -2076 2520 -2048 2340 -2548 -2060 2128 2456 2548 2348 -2628 -2540 -2724 2612 -2692 -2380 -2664 -2508 -2428 -2600 2520 2064 -2536 -2284 2704 2228 -2292 -2540 -2184 2712 2156 2268 2664 -2688 2700 -2448 2584 -2684 -2580 2332 2128 -2028 -2368 2740 2640 2708 -2592 -2144 -2252 2036 2332 -2068 -2416 2700 -2584 -2336 2244 -2328 -2088 2572 2064 2388 -2424 -2740 -2164 -2336 -2592 2612 -2612 -2320 -2444 -2128 2204 2536 -2648 2740 -2520 -2724 -2300 2172 -2664 2580 -2224 -2040 2464 -2736 -2700 2664 2384 2344 2468 2260 2484 2360 2680 2140 2024 2428 -2132 2072 2320 -2116 2252 2092 -2276 -2616 -2548 2372 2020 -2680 -2324 -2556 2696 -2048 2712 2060 2540 -2436 2088 -2488 -2676 2620 2340 -2632 -2368 2396 2080 -2036 -2064 -2436 -2688 -2740 2488 2712 -2332 2372 -2608 -2696 2624 -2440 -2700 -2492 -2316 2044 2292 -2352 -2544 -2216 2020 -2692 2708 -2544 2572 -2668 -2164 -2020 2516 2080 2112 -2684 -2308 -2036 2212 -2732 2360 2728 2020 -2212 2132 -2436 -2700 -2080 2400 -2548 -2060 -2020 2524 -2352 -2692 -2572 -2092 2076 2540 2196 2244 -2724 -2096 2556 -2260 2088 2616 -2572 -2104 -2660 2692 2052 -2660 -2740 2228 -2256 -2052 2388 -2700 -2344 -2488 2204 -2328 2128 -2220 -2640 -2516 -2296 2672 2516 2296 -2324 -2444 -2084 2284 2252 2416 2504 2028 -2092 2140 -2292 -2400 2584 -2732 -2064 2048 2364 -2628 -2708 2484 2720 2488 -2144 -2048 2424 -2020 -2060 -2216 2464 2156 2456 -2148 2060 -2396 -2548 2060 2576 2292 -2684 -2600 2568 2564 -2072 -2064 -2560 2576 2592 -2560 -2380 2356 -2656 -2584 -2376 -2136 2224 2324 -2560 2020 2036 -2668 -2508 -2644 2212 2104 -2164 -2700 -2636 2612 2552 2400 -2076 2020 2176 -2700 -2028 2132 -2268 -2296 -2628 -2020 2252 2080 -2596 -2600 -2436 2348 -2184 2092 -2588 -2384 -2312 -2568 -2512 2188 -2576 2116 -2580 2440 2384 -2268 -2692 -2184 -2588 -2740 2632 2672 2444 -2572 -2144 -2728 -2636 2552 2264 -2640 -2624 2496 2108 -2360 2108 2388 2336 2312 -2716 -2020 -2440 2436 -2696 -2256 -2252 2060 -2380 -2036 -2060 2152 2740 -2740 -2020 -2504 2560 -2084 2704 2024 -2352 -2476 -2596 2588 2488 -2368 -2592 -2420 2640 -2712 2300 2292 -2068 2480 2708 -2652 -2356 2252 2180 2044 -2088 -2264 -2372 2268 2672 -2412 -2536 -2400 2248 -2396 2708 -2504 2312 -2428 2024 2672 2672 2644 -2256 -2580 -2604 2560 -2408 2408 2172 2028 2592 2308 -2528 2460 -2172 2104 2624 -2652 2728 2060 2056 2376 2060 2476 -2284 2304 -2568 -2524 -2700 -2384 -2052 2676 2720 -2696 2492 2600 2076 2388 2476 -2292 2708 -2456 -2700 -2560 2412 -2028 2552 2160 2384 2160 -2688 2560 -2384 2676 -2708 -2508 2596 -2268 2464 -2604 -2692 -2328 -2660 -2068 2668 2688 2404 -2416 -2060 2596 -2116 2700 2176 -2452 -2212 2692 -2088 -2296 -2160 -2044 -2700 2696 -2028 -2544 -2736 -2164 2088 -2360 2436 -2148 -2560 2632 -2624 2524 -2136 2588 -2376 2328 -2604 -2312 2132 -2732 -2036 2496 -2556 2584 -2188 2716 2652 2256 -2368 -2580 -2024 -2384 -2696 -2036 -2552 -2612 2268 2292 -2336 2300 -2636 -2692 -2584 2588 -2580 -2376 -2296 -2344 2252 2684 -2728 2388 -2164 -2340 -2080 -2180 2640 -2092 2272 -2660 2740 -2400 -2688 -2440 -2020 2612 2508 -2524 -2296 -2556 2692 -2188 -2020 2540 -2276 -2192 2060 -2076 2020 -2548 -2164 -2552 -2024 -2468 2556 2384 -2028 2088 -2704 -2096 -2232 2532 2668 -2208 2296 -2212 2220 -2660 2508 -2708 -2164 -2356 -2220 -2396 -2084 -2592 2612 -2412 -2324 2484 -2248 -2700 -2504 -2156 2588 -2348 -2284 -2068 -2624 2464 2284 2020 2020 2440 -2724 2024 2576 -2656 2312 -2244 2056 -2476 -2296 -2100 -2104 2644 2332 2596 2452 2036 -2464 2416 -2472 -2032 2516 -2456 2564 2276 2432 2092 -2072 2552 2348 -2332 -2040 2156 2304 2692 -2388 2236 -2332 2668 -2544 2252 -2564 2088 2060 2672 2204 2564 2320 -2032 -2140 -2024 -2720 -2452 2736 -2324 2120 -2544 2060 -2504 -2076 2212 -2228 2204 -2352 2680 -2536 -2212 -2440 2316 2428 -2344 2540 2068 -2340 2476 2548 2180 -2596 2344 -2732 2396 2712 2216 2600 -2200 -2036 -2376 -2120 -2740 -2132 -2620 -2076 2464 2020 2720 -2368 -2132 2216 -2544 2076 -2536 -2668 2528 -2204 2672 -2396 2492 -2580 2684 -2504 2448 2364 2664 2284 2040 2400 -2424 -2248 -2692 2596 -2664 2252 2328 -2336 2372 2076 2480 2684 -2600 -2736 2300 2060 -2668 -2584 -2696 -2320 2096 -2292 2060 2064 -2276 -2536 2540 -2144 -2692 -2384 -2672 -2652 2180 -2424 -2600 -2732 -2564 2728 -2712 2368 -2208 2120 2512 2504 2284 2104 2060 -2332 -2544 2476 2064 -2660 -2468 2472 -2124 -2700 2228 -2220 -2596 -2616 -2536 2128 -2524 2536 2312 -2344 2520 2352 2032 -2048 -2116 2384 2260 2540 2464 -2636 -2692 2672 -2044 -2464 2392 2704 2064 2732 2480 2216 -2092 -2136 -2468 2252 2680 -2600 2668 -2612 -2128 2700 -2340 -2184 2392 -2264 -2588 -2464 -2044 2700 2060 2364 -2288 -2124 -2740 -2496 2352 -2068 2020 2724 2356 2740 2280 2112 2088 2348 2024 2652 -2408 -2740 2508 -2592 -2308 -2468 -2292 2256 -2504 -2600 2252 2376 2292 2624 2100 2416 2148 -2076 -2560 2264 -2100 -2496 -2576 -2584 2360 -2344 -2332 2564 2588 2164 2288 2060 -2616 -2204 2144 2256 2252 -2080 2032 -2504 2632 2444 -2496 -2292 -2020 2444 -2076 2168 2372 2212 2084 -2576 -2604 -2440 -2036 -2408 -2288 2584 2680 -2648 2104 -2732 2732 2652 -2684 2480 2560 2684 -2564 -2576

Verifier Data (download as text)

397 unsatisfied constraints, 14635 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/node7/watcher-275291-1169219597 -o ROOT/results/node7/solver-275291-1169219597 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275291-1169219597/unknown.xml 

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

/proc/loadavg: 1.93 1.99 1.96 4/94 11454
/proc/meminfo: memFree=831712/2055920 swapFree=4192812/4192956
[pid=11453] ppid=11451 vsize=1784 CPUtime=0
/proc/11453/stat : 11453 (java) D 11451 11453 11385 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 270355148 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/11453/statm: 446 158 123 14 0 91 0

[startup+0.106841 s]
/proc/loadavg: 1.93 1.99 1.96 4/94 11454
/proc/meminfo: memFree=831712/2055920 swapFree=4192812/4192956
[pid=11453] ppid=11451 vsize=914988 CPUtime=0.08
/proc/11453/stat : 11453 (java) D 11451 11453 11385 0 -1 0 2988 0 1 0 7 1 0 0 17 0 8 0 270355148 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11453/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.514872 s]
/proc/loadavg: 1.93 1.99 1.96 4/94 11454
/proc/meminfo: memFree=831712/2055920 swapFree=4192812/4192956
[pid=11453] ppid=11451 vsize=915332 CPUtime=0.48
/proc/11453/stat : 11453 (java) R 11451 11453 11385 0 -1 0 7337 0 1 0 45 3 0 0 18 0 8 0 270355148 937299968 7076 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073585364 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11453/statm: 228833 7076 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33596 s]
/proc/loadavg: 1.94 1.99 1.96 3/101 11461
/proc/meminfo: memFree=764712/2055920 swapFree=4192812/4192956
[pid=11453] ppid=11451 vsize=915636 CPUtime=1.3
/proc/11453/stat : 11453 (java) R 11451 11453 11385 0 -1 0 21090 0 1 0 120 10 0 0 22 0 8 0 270355148 937611264 20827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072927925 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11453/statm: 228909 20827 2184 14 0 215379 0
[pid=11453/tid=11455] ppid=11451 vsize=915636 CPUtime=0.07
/proc/11453/task/11455/stat : 11455 (java) S 11451 11453 11385 0 -1 64 4474 0 0 0 5 2 0 0 16 0 8 0 270355152 937611264 20827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11456] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11456/stat : 11456 (java) S 11451 11453 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270355153 937611264 20827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11457] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11457/stat : 11457 (java) S 11451 11453 11385 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270355153 937611264 20827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11458] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11458/stat : 11458 (java) S 11451 11453 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270355156 937611264 20827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11459] ppid=11451 vsize=915636 CPUtime=0.16
/proc/11453/task/11459/stat : 11459 (java) S 11451 11453 11385 0 -1 64 399 0 0 0 16 0 0 0 16 0 8 0 270355156 937611264 20827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11460] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11460/stat : 11460 (java) S 11451 11453 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270355156 937611264 20827 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11461] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11461/stat : 11461 (java) S 11451 11453 11385 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270355156 937611264 20827 18446744073709551615 134512640 134570532 4294956464 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.97413 s]
/proc/loadavg: 1.94 1.99 1.96 3/101 11461
/proc/meminfo: memFree=756776/2055920 swapFree=4192812/4192956
[pid=11453] ppid=11451 vsize=915636 CPUtime=2.92
/proc/11453/stat : 11453 (java) R 11451 11453 11385 0 -1 0 21099 0 1 0 282 10 0 0 25 0 8 0 270355148 937611264 20835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794018 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11453/statm: 228909 20835 2184 14 0 215379 0
[pid=11453/tid=11455] ppid=11451 vsize=915636 CPUtime=0.07
/proc/11453/task/11455/stat : 11455 (java) S 11451 11453 11385 0 -1 64 4474 0 0 0 5 2 0 0 17 0 8 0 270355152 937611264 20835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11456] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11456/stat : 11456 (java) S 11451 11453 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270355153 937611264 20835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11457] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11457/stat : 11457 (java) S 11451 11453 11385 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270355153 937611264 20835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11458] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11458/stat : 11458 (java) S 11451 11453 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270355156 937611264 20835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11459] ppid=11451 vsize=915636 CPUtime=0.17
/proc/11453/task/11459/stat : 11459 (java) S 11451 11453 11385 0 -1 64 407 0 0 0 17 0 0 0 16 0 8 0 270355156 937611264 20835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11460] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11460/stat : 11460 (java) S 11451 11453 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270355156 937611264 20835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11461] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11461/stat : 11461 (java) S 11451 11453 11385 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270355156 937611264 20835 18446744073709551615 134512640 134570532 4294956464 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.17946 s]
/proc/loadavg: 1.94 1.99 1.96 3/101 11461
/proc/meminfo: memFree=756584/2055920 swapFree=4192812/4192956
[pid=11453] ppid=11451 vsize=915636 CPUtime=6.1
/proc/11453/stat : 11453 (java) R 11451 11453 11385 0 -1 0 21116 0 1 0 599 11 0 0 25 0 8 0 270355148 937611264 20852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11453/statm: 228909 20852 2185 14 0 215379 0
[pid=11453/tid=11455] ppid=11451 vsize=915636 CPUtime=0.07
/proc/11453/task/11455/stat : 11455 (java) S 11451 11453 11385 0 -1 64 4474 0 0 0 5 2 0 0 16 0 8 0 270355152 937611264 20852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11456] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11456/stat : 11456 (java) S 11451 11453 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270355153 937611264 20852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11457] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11457/stat : 11457 (java) S 11451 11453 11385 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270355153 937611264 20852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11458] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11458/stat : 11458 (java) S 11451 11453 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270355156 937611264 20852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11459] ppid=11451 vsize=915636 CPUtime=0.19
/proc/11453/task/11459/stat : 11459 (java) S 11451 11453 11385 0 -1 64 423 0 0 0 19 0 0 0 16 0 8 0 270355156 937611264 20852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11460] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11460/stat : 11460 (java) S 11451 11453 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270355156 937611264 20852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11461] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11461/stat : 11461 (java) S 11451 11453 11385 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270355156 937611264 20852 18446744073709551615 134512640 134570532 4294956464 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.6501 s]
/proc/loadavg: 2.03 2.01 1.96 3/101 11461
/proc/meminfo: memFree=756648/2055920 swapFree=4192812/4192956
[pid=11453] ppid=11451 vsize=915636 CPUtime=12.51
/proc/11453/stat : 11453 (java) R 11451 11453 11385 0 -1 0 21119 0 1 0 1239 12 0 0 25 0 8 0 270355148 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810807 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11453/statm: 228909 20854 2185 14 0 215379 0
[pid=11453/tid=11455] ppid=11451 vsize=915636 CPUtime=0.07
/proc/11453/task/11455/stat : 11455 (java) S 11451 11453 11385 0 -1 64 4474 0 0 0 5 2 0 0 16 0 8 0 270355152 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11456] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11456/stat : 11456 (java) S 11451 11453 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270355153 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11457] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11457/stat : 11457 (java) S 11451 11453 11385 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270355153 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11458] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11458/stat : 11458 (java) S 11451 11453 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270355156 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11459] ppid=11451 vsize=915636 CPUtime=0.19
/proc/11453/task/11459/stat : 11459 (java) S 11451 11453 11385 0 -1 64 425 0 0 0 19 0 0 0 16 0 8 0 270355156 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11460] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11460/stat : 11460 (java) S 11451 11453 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270355156 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11461] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11461/stat : 11461 (java) S 11451 11453 11385 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270355156 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915636

[startup+25.5165 s]
/proc/loadavg: 2.02 2.01 1.96 3/101 11461
/proc/meminfo: memFree=754280/2055920 swapFree=4192812/4192956
[pid=11453] ppid=11451 vsize=915636 CPUtime=25.27
/proc/11453/stat : 11453 (java) R 11451 11453 11385 0 -1 0 21742 0 1 0 2511 16 0 0 25 0 8 0 270355148 937611264 21475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797808 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11453/statm: 228909 21475 2185 14 0 215379 0
[pid=11453/tid=11455] ppid=11451 vsize=915636 CPUtime=0.12
/proc/11453/task/11455/stat : 11455 (java) S 11451 11453 11385 0 -1 64 5090 0 0 0 10 2 0 0 16 0 8 0 270355152 937611264 21475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11456] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11456/stat : 11456 (java) S 11451 11453 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270355153 937611264 21475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11457] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11457/stat : 11457 (java) S 11451 11453 11385 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270355153 937611264 21475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11458] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11458/stat : 11458 (java) S 11451 11453 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270355156 937611264 21475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11459] ppid=11451 vsize=915636 CPUtime=0.2
/proc/11453/task/11459/stat : 11459 (java) S 11451 11453 11385 0 -1 64 430 0 0 0 20 0 0 0 16 0 8 0 270355156 937611264 21475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11460] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11460/stat : 11460 (java) S 11451 11453 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270355156 937611264 21475 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11461] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11461/stat : 11461 (java) S 11451 11453 11385 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270355156 937611264 21475 18446744073709551615 134512640 134570532 4294956464 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.1332 s]
/proc/loadavg: 2.01 2.00 1.96 3/101 11461
/proc/meminfo: memFree=741928/2055920 swapFree=4192812/4192956
[pid=11453] ppid=11451 vsize=915636 CPUtime=50.64
/proc/11453/stat : 11453 (java) R 11451 11453 11385 0 -1 0 24805 0 1 0 5037 27 0 0 25 0 8 0 270355148 937611264 24536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11453/statm: 228909 24536 2185 14 0 215379 0
[pid=11453/tid=11455] ppid=11451 vsize=915636 CPUtime=0.24
/proc/11453/task/11455/stat : 11455 (java) S 11451 11453 11385 0 -1 64 8142 0 0 0 21 3 0 0 16 0 8 0 270355152 937611264 24536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11456] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11456/stat : 11456 (java) S 11451 11453 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270355153 937611264 24536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11457] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11457/stat : 11457 (java) S 11451 11453 11385 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270355153 937611264 24536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11458] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11458/stat : 11458 (java) S 11451 11453 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270355156 937611264 24536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11459] ppid=11451 vsize=915636 CPUtime=0.22
/proc/11453/task/11459/stat : 11459 (java) S 11451 11453 11385 0 -1 64 439 0 0 0 22 0 0 0 15 0 8 0 270355156 937611264 24536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11460] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11460/stat : 11460 (java) S 11451 11453 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270355156 937611264 24536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11461] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11461/stat : 11461 (java) S 11451 11453 11385 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270355156 937611264 24536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 915636

[startup+102.392 s]
/proc/loadavg: 2.00 2.00 1.96 3/101 11461
/proc/meminfo: memFree=721000/2055920 swapFree=4192812/4192956
[pid=11453] ppid=11451 vsize=915636 CPUtime=101.37
/proc/11453/stat : 11453 (java) R 11451 11453 11385 0 -1 0 30347 0 1 0 10094 43 0 0 25 0 8 0 270355148 937611264 30072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073980198 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11453/statm: 228909 30072 2504 14 0 215379 0
[pid=11453/tid=11455] ppid=11451 vsize=915636 CPUtime=0.62
/proc/11453/task/11455/stat : 11455 (java) S 11451 11453 11385 0 -1 64 13305 0 0 0 58 4 0 0 16 0 8 0 270355152 937611264 30072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11456] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11456/stat : 11456 (java) S 11451 11453 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270355153 937611264 30072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11457] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11457/stat : 11457 (java) S 11451 11453 11385 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270355153 937611264 30072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11458] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11458/stat : 11458 (java) S 11451 11453 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270355156 937611264 30072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11459] ppid=11451 vsize=915636 CPUtime=0.28
/proc/11453/task/11459/stat : 11459 (java) S 11451 11453 11385 0 -1 64 467 0 0 0 27 1 0 0 16 0 8 0 270355156 937611264 30072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11460] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11460/stat : 11460 (java) S 11451 11453 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270355156 937611264 30072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11461] ppid=11451 vsize=915636 CPUtime=0
/proc/11453/task/11461/stat : 11461 (java) S 11451 11453 11385 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270355156 937611264 30072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 915636

[startup+162.413 s]
/proc/loadavg: 2.22 2.05 1.98 3/101 11461
/proc/meminfo: memFree=720936/2055920 swapFree=4192812/4192956
[pid=11453] ppid=11451 vsize=915636 CPUtime=160.81
/proc/11453/stat : 11453 (java) R 11451 11453 11385 0 -1 0 30348 0 1 0 16032 49 0 0 25 0 8 0 270355148 937611264 30073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073982409 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2082.97 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 11555
/proc/meminfo: memFree=1157936/2055920 swapFree=4192812/4192956
[pid=11453] ppid=11451 vsize=915936 CPUtime=2063.87
/proc/11453/stat : 11453 (java) R 11451 11453 11385 0 -1 0 39673 0 1 0 206306 81 0 0 25 0 8 0 270355148 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074275995 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11453/statm: 228984 39377 2553 14 0 215454 0
[pid=11453/tid=11455] ppid=11451 vsize=915936 CPUtime=0.74
/proc/11453/task/11455/stat : 11455 (java) S 11451 11453 11385 0 -1 64 22382 0 0 0 66 8 0 0 16 0 8 0 270355152 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11456] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11456/stat : 11456 (java) S 11451 11453 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270355153 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11457] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11457/stat : 11457 (java) S 11451 11453 11385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270355153 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11458] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11458/stat : 11458 (java) S 11451 11453 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270355156 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11459] ppid=11451 vsize=915936 CPUtime=0.41
/proc/11453/task/11459/stat : 11459 (java) S 11451 11453 11385 0 -1 64 593 0 0 0 40 1 0 0 17 0 8 0 270355156 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11460] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11460/stat : 11460 (java) S 11451 11453 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270355156 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11461] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11461/stat : 11461 (java) S 11451 11453 11385 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270355156 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2063.87
Current children cumulated vsize (KiB) 915936

[startup+2143.04 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 11555
/proc/meminfo: memFree=1157872/2055920 swapFree=4192812/4192956
[pid=11453] ppid=11451 vsize=915936 CPUtime=2123.4
/proc/11453/stat : 11453 (java) R 11451 11453 11385 0 -1 0 39673 0 1 0 212258 82 0 0 25 0 8 0 270355148 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073983283 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11453/statm: 228984 39377 2553 14 0 215454 0
[pid=11453/tid=11455] ppid=11451 vsize=915936 CPUtime=0.74
/proc/11453/task/11455/stat : 11455 (java) S 11451 11453 11385 0 -1 64 22382 0 0 0 66 8 0 0 16 0 8 0 270355152 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11456] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11456/stat : 11456 (java) S 11451 11453 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270355153 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11457] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11457/stat : 11457 (java) S 11451 11453 11385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270355153 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11458] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11458/stat : 11458 (java) S 11451 11453 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270355156 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11459] ppid=11451 vsize=915936 CPUtime=0.41
/proc/11453/task/11459/stat : 11459 (java) S 11451 11453 11385 0 -1 64 593 0 0 0 40 1 0 0 17 0 8 0 270355156 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11460] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11460/stat : 11460 (java) S 11451 11453 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270355156 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11461] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11461/stat : 11461 (java) S 11451 11453 11385 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270355156 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2123.4
Current children cumulated vsize (KiB) 915936

[startup+2203.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 11555
/proc/meminfo: memFree=1157936/2055920 swapFree=4192812/4192956
[pid=11453] ppid=11451 vsize=915936 CPUtime=2182.91
/proc/11453/stat : 11453 (java) R 11451 11453 11385 0 -1 0 39673 0 1 0 218209 82 0 0 25 0 8 0 270355148 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073978790 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11453/statm: 228984 39377 2553 14 0 215454 0
[pid=11453/tid=11455] ppid=11451 vsize=915936 CPUtime=0.74
/proc/11453/task/11455/stat : 11455 (java) S 11451 11453 11385 0 -1 64 22382 0 0 0 66 8 0 0 16 0 8 0 270355152 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11456] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11456/stat : 11456 (java) S 11451 11453 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270355153 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11457] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11457/stat : 11457 (java) S 11451 11453 11385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270355153 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11458] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11458/stat : 11458 (java) S 11451 11453 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270355156 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11459] ppid=11451 vsize=915936 CPUtime=0.41
/proc/11453/task/11459/stat : 11459 (java) S 11451 11453 11385 0 -1 64 593 0 0 0 40 1 0 0 17 0 8 0 270355156 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11460] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11460/stat : 11460 (java) S 11451 11453 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270355156 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11461] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11461/stat : 11461 (java) S 11451 11453 11385 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270355156 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2182.91
Current children cumulated vsize (KiB) 915936

[startup+2263.18 s]
/proc/loadavg: 2.11 2.03 2.01 3/100 11555
/proc/meminfo: memFree=1157936/2055920 swapFree=4192812/4192956
[pid=11453] ppid=11451 vsize=915936 CPUtime=2242.45
/proc/11453/stat : 11453 (java) R 11451 11453 11385 0 -1 0 39673 0 1 0 224162 83 0 0 25 0 8 0 270355148 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073978615 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11453/statm: 228984 39377 2553 14 0 215454 0
[pid=11453/tid=11455] ppid=11451 vsize=915936 CPUtime=0.74
/proc/11453/task/11455/stat : 11455 (java) S 11451 11453 11385 0 -1 64 22382 0 0 0 66 8 0 0 16 0 8 0 270355152 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11456] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11456/stat : 11456 (java) S 11451 11453 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270355153 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11457] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11457/stat : 11457 (java) S 11451 11453 11385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270355153 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11458] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11458/stat : 11458 (java) S 11451 11453 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270355156 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11459] ppid=11451 vsize=915936 CPUtime=0.41
/proc/11453/task/11459/stat : 11459 (java) S 11451 11453 11385 0 -1 64 593 0 0 0 40 1 0 0 17 0 8 0 270355156 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11460] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11460/stat : 11460 (java) S 11451 11453 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270355156 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11461] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11461/stat : 11461 (java) S 11451 11453 11385 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270355156 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2242.45
Current children cumulated vsize (KiB) 915936

[startup+2323.24 s]
/proc/loadavg: 2.04 2.02 2.00 3/100 11555
/proc/meminfo: memFree=1157872/2055920 swapFree=4192812/4192956
[pid=11453] ppid=11451 vsize=915936 CPUtime=2301.96
/proc/11453/stat : 11453 (java) R 11451 11453 11385 0 -1 0 39673 0 1 0 230113 83 0 0 25 0 8 0 270355148 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074275981 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11453/statm: 228984 39377 2553 14 0 215454 0
[pid=11453/tid=11455] ppid=11451 vsize=915936 CPUtime=0.74
/proc/11453/task/11455/stat : 11455 (java) S 11451 11453 11385 0 -1 64 22382 0 0 0 66 8 0 0 16 0 8 0 270355152 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11456] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11456/stat : 11456 (java) S 11451 11453 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270355153 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11457] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11457/stat : 11457 (java) S 11451 11453 11385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270355153 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11458] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11458/stat : 11458 (java) S 11451 11453 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270355156 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11459] ppid=11451 vsize=915936 CPUtime=0.41
/proc/11453/task/11459/stat : 11459 (java) S 11451 11453 11385 0 -1 64 593 0 0 0 40 1 0 0 17 0 8 0 270355156 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11460] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11460/stat : 11460 (java) S 11451 11453 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270355156 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11461] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11461/stat : 11461 (java) S 11451 11453 11385 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270355156 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2301.96
Current children cumulated vsize (KiB) 915936

[startup+2383.32 s]
/proc/loadavg: 2.01 2.02 2.00 3/100 11555
/proc/meminfo: memFree=1157936/2055920 swapFree=4192812/4192956
[pid=11453] ppid=11451 vsize=915936 CPUtime=2361.5
/proc/11453/stat : 11453 (java) R 11451 11453 11385 0 -1 0 39673 0 1 0 236066 84 0 0 25 0 8 0 270355148 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074247012 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11453/statm: 228984 39377 2553 14 0 215454 0
[pid=11453/tid=11455] ppid=11451 vsize=915936 CPUtime=0.74
/proc/11453/task/11455/stat : 11455 (java) S 11451 11453 11385 0 -1 64 22382 0 0 0 66 8 0 0 16 0 8 0 270355152 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11456] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11456/stat : 11456 (java) S 11451 11453 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270355153 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11457] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11457/stat : 11457 (java) S 11451 11453 11385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270355153 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11458] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11458/stat : 11458 (java) S 11451 11453 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270355156 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11459] ppid=11451 vsize=915936 CPUtime=0.41
/proc/11453/task/11459/stat : 11459 (java) S 11451 11453 11385 0 -1 64 593 0 0 0 40 1 0 0 17 0 8 0 270355156 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11460] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11460/stat : 11460 (java) S 11451 11453 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270355156 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11461] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11461/stat : 11461 (java) S 11451 11453 11385 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270355156 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2361.5
Current children cumulated vsize (KiB) 915936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2422.19 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 11555
/proc/meminfo: memFree=1157872/2055920 swapFree=4192812/4192956
[pid=11453] ppid=11451 vsize=915936 CPUtime=2400.01
/proc/11453/stat : 11453 (java) R 11451 11453 11385 0 -1 0 39673 0 1 0 239917 84 0 0 25 0 8 0 270355148 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074276586 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11453/statm: 228984 39377 2553 14 0 215454 0
[pid=11453/tid=11455] ppid=11451 vsize=915936 CPUtime=0.74
/proc/11453/task/11455/stat : 11455 (java) S 11451 11453 11385 0 -1 64 22382 0 0 0 66 8 0 0 16 0 8 0 270355152 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11456] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11456/stat : 11456 (java) S 11451 11453 11385 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270355153 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11457] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11457/stat : 11457 (java) S 11451 11453 11385 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270355153 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11458] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11458/stat : 11458 (java) S 11451 11453 11385 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270355156 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11459] ppid=11451 vsize=915936 CPUtime=0.41
/proc/11453/task/11459/stat : 11459 (java) S 11451 11453 11385 0 -1 64 593 0 0 0 40 1 0 0 17 0 8 0 270355156 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11460] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11460/stat : 11460 (java) S 11451 11453 11385 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270355156 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11453/tid=11461] ppid=11451 vsize=915936 CPUtime=0
/proc/11453/task/11461/stat : 11461 (java) S 11451 11453 11385 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270355156 937918464 39377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915936

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

Child status: 143
Real time (s): 2422.23
CPU time (s): 2400.06
CPU user time (s): 2399.19
CPU system time (s): 0.869867
CPU usage (%): 99.0844
Max. virtual memory (cumulated for all children) (KiB): 915936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.19
system time used= 0.869867
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39697
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= 50743
involuntary context switches= 100434

runsolver used 3.14152 s user time and 7.70083 s system time

The end

Launcher Data (download as text)

Begin job on node7 on Fri Jan 19 15:13:17 UTC 2007


IDJOB= 275291
IDBENCH= 3768
IDSOLVER= 68
FILE ID= node7/275291-1169219597

PBS_JOBID= 3588941

Free space on /tmp= 66556 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  9f6fab3cbce8258078edbda9a5e9d13f

RANDOM SEED= 878229086

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.220
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.220
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:        832192 kB
Buffers:         51488 kB
Cached:         497340 kB
SwapCached:          0 kB
Active:         714300 kB
Inactive:       426764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        832192 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3816 kB
Writeback:           0 kB
Mapped:         619132 kB
Slab:            66216 kB
Committed_AS:  8530656 kB
PageTables:       3476 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= 66559 MiB



End job on node7 on Fri Jan 19 15:53:39 UTC 2007