Trace number 275280

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 PFCMSAT (TO) 2400.07 2414.95

General information on the benchmark

Namefapp/fapp11-15/fapp11/
fapp11-1000-2.xml
MD5SUM69b107b4e08702b8ad8f64aec9f1ccc3
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints14626
Best CPU time to get the best result obtained on this benchmark2400.16
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.33	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.33	   configuration
0.33	     name=pfc.xml
0.39	   
0.39	   instance
0.39	     name=/tmp/evaluation/275280-1169219271/unknown.xml
0.42	   
0.42	   domains being loaded...
0.46	   
0.46	   variables being loaded...
0.63	     nbVariables=1000  nbDomainTypes=18  minDomainSize=50  maxDomainSize=362
0.63	       =>  wckTime=0.291  cpuTime=0.2  mem=17M636
0.63	   
0.63	   predicates being loaded...
0.63	   
0.63	   constraints being loaded...
61.30	   
61.30	   INFO : Stopping converting binary constraints (cpu=60.01, mem = 71M204)
62.39	     nbConstraints=15032  nbConvertedConstraints=4254  nbConvertConstraintsChecks=189473088  nbExtensionStructures=2574
62.39	     nbSharedExtensionStructures=1680  nbConflictsStructures=2574  nbSharedConflictsStructures=1680
62.39	     nbSharedBinaryRepresentations=1315407  nbEvaluationManagers=5291  nbSharedEvaluationManagers=5487  maxDegree=51
62.39	     maxArity=2
62.39	       =>  wckTime=62.058  cpuTime=60.82  mem=49M638
62.61	   
62.61	   solver LocalSearchSolver being built... 
62.65	       =>  wckTime=62.314  cpuTime=60.87  mem=47M262
62.74	
62.74	s SATISFIABLE
62.74	o 11807
62.74	c 3225
62.77	o 11816
62.77	c 3216
62.81	o 11826
62.81	c 3206
62.85	o 11832
62.85	c 3200
62.88	o 11838
62.88	c 3194
62.92	o 11844
62.92	c 3188
62.95	o 11849
62.95	c 3183
62.98	o 11858
62.98	c 3174
63.02	o 11866
63.02	c 3166
63.04	o 11873
63.04	c 3159
63.07	o 11876
63.07	c 3156
63.09	o 11878
63.09	c 3154
63.12	o 11880
63.12	c 3152
63.16	o 11887
63.16	c 3145
63.19	o 11893
63.19	c 3139
63.23	o 11899
63.23	c 3133
63.26	o 11905
63.26	c 3127
63.29	o 11909
63.29	c 3123
63.32	o 11914
63.32	c 3118
63.35	o 11918
63.35	c 3114
63.38	o 11929
63.38	c 3103
63.40	o 11932
63.40	c 3100
63.42	o 11935
63.42	c 3097
63.43	o 11938
63.43	c 3094
63.45	o 11941
63.45	c 3091
63.47	o 11949
63.47	c 3083
63.49	o 11954
63.49	c 3078
63.50	o 11959
63.50	c 3073
63.53	o 11968
63.53	c 3064
63.55	o 11976
63.55	c 3056
63.58	o 11979
63.58	c 3053
63.61	o 11987
63.61	c 3045
63.64	o 11991
63.64	c 3041
63.66	o 11998
63.66	c 3034
63.70	o 12005
63.70	c 3027
63.73	o 12011
63.73	c 3021
63.75	o 12016
63.75	c 3016
63.78	o 12021
63.78	c 3011
63.82	o 12025
63.82	c 3007
63.84	o 12029
63.84	c 3003
63.87	o 12032
63.87	c 3000
63.89	o 12035
63.89	c 2997
63.92	o 12038
63.92	c 2994
63.94	o 12040
63.94	c 2992
63.96	o 12041
63.96	c 2991
64.03	o 12045
64.03	c 2987
64.06	o 12051
64.06	c 2981
64.09	o 12054
64.09	c 2978
64.15	o 12059
64.15	c 2973
64.19	o 12066
64.19	c 2966
64.22	o 12073
64.22	c 2959
64.26	o 12079
64.26	c 2953
64.29	o 12084
64.29	c 2948
64.33	o 12089
64.33	c 2943
64.36	o 12094
64.36	c 2938
64.39	o 12098
64.39	c 2934
64.42	o 12101
64.42	c 2931
64.45	o 12104
64.45	c 2928
64.49	o 12107
64.49	c 2925
64.51	o 12109
64.51	c 2923
64.53	o 12111
64.53	c 2921
64.55	o 12112
64.55	c 2920
64.58	o 12115
64.58	c 2917
64.70	o 12118
64.70	c 2914
64.76	o 12121
64.76	c 2911
64.77	o 12123
64.77	c 2909
64.79	o 12128
64.79	c 2904
64.80	o 12135
64.80	c 2897
64.83	o 12138
64.83	c 2894
64.85	o 12145
64.85	c 2887
64.88	o 12149
64.88	c 2883
64.91	o 12154
64.91	c 2878
64.93	o 12156
64.93	c 2876
64.95	o 12158
64.95	c 2874
64.96	o 12165
64.96	c 2867
64.98	o 12166
64.98	c 2866
65.00	o 12171
65.00	c 2861
65.01	o 12174
65.01	c 2858
65.04	o 12177
65.04	c 2855
65.06	o 12185
65.06	c 2847
65.10	o 12191
65.10	c 2841
65.14	o 12197
65.14	c 2835
65.17	o 12203
65.17	c 2829
65.20	o 12209
65.20	c 2823
65.23	o 12215
65.23	c 2817
65.26	o 12220
65.26	c 2812
65.30	o 12224
65.30	c 2808
65.32	o 12227
65.32	c 2805
65.35	o 12230
65.35	c 2802
65.37	o 12233
65.37	c 2799
65.40	o 12235
65.40	c 2797
65.43	o 12237
65.43	c 2795
65.45	o 12239
65.45	c 2793
65.48	o 12241
65.48	c 2791
65.51	o 12242
65.51	c 2790
65.53	o 12243
65.53	c 2789
65.55	o 12244
65.55	c 2788
65.57	o 12245
65.57	c 2787
65.61	o 12251
65.61	c 2781
65.63	o 12253
65.63	c 2779
65.68	o 12258
65.68	c 2774
65.70	o 12263
65.70	c 2769
65.72	o 12265
65.72	c 2767
65.75	o 12271
65.75	c 2761
65.77	o 12277
65.77	c 2755
65.79	o 12280
65.79	c 2752
65.83	o 12287
65.83	c 2745
65.85	o 12292
65.85	c 2740
65.90	o 12293
65.90	c 2739
65.92	o 12296
65.92	c 2736
65.95	o 12298
65.95	c 2734
65.97	o 12299
65.97	c 2733
66.00	o 12301
66.00	c 2731
66.03	o 12303
66.03	c 2729
66.06	o 12306
66.06	c 2726
66.09	o 12309
66.09	c 2723
66.11	o 12315
66.11	c 2717
66.14	o 12319
66.14	c 2713
66.16	o 12321
66.16	c 2711
66.19	o 12322
66.19	c 2710
66.23	o 12324
66.23	c 2708
66.25	o 12330
66.25	c 2702
66.28	o 12335
66.28	c 2697
66.30	o 12340
66.30	c 2692
66.38	o 12346
66.38	c 2686
66.41	o 12350
66.41	c 2682
66.44	o 12355
66.44	c 2677
66.48	o 12359
66.48	c 2673
66.56	o 12363
66.56	c 2669
66.60	o 12371
66.60	c 2661
66.63	o 12374
66.63	c 2658
66.67	o 12376
66.67	c 2656
66.70	o 12378
66.70	c 2654
66.74	o 12385
66.74	c 2647
66.78	o 12387
66.78	c 2645
66.80	o 12388
66.80	c 2644
66.83	o 12389
66.83	c 2643
66.89	o 12393
66.89	c 2639
66.92	o 12395
66.92	c 2637
66.96	o 12399
66.96	c 2633
66.98	o 12402
66.98	c 2630
67.01	o 12406
67.01	c 2626
67.03	o 12410
67.03	c 2622
67.07	o 12412
67.07	c 2620
67.10	o 12420
67.10	c 2612
67.15	o 12423
67.15	c 2609
67.24	o 12427
67.24	c 2605
67.29	o 12430
67.29	c 2602
67.33	o 12434
67.33	c 2598
67.45	o 12436
67.45	c 2596
67.49	o 12439
67.49	c 2593
67.51	o 12441
67.51	c 2591
67.54	o 12444
67.54	c 2588
67.59	o 12447
67.59	c 2585
67.62	o 12451
67.62	c 2581
67.66	o 12454
67.66	c 2578
67.71	o 12456
67.71	c 2576
67.76	o 12460
67.76	c 2572
67.80	o 12462
67.80	c 2570
67.84	o 12464
67.84	c 2568
67.89	o 12468
67.89	c 2564
67.92	o 12470
67.92	c 2562
68.00	o 12472
68.00	c 2560
68.04	o 12475
68.04	c 2557
68.07	o 12476
68.07	c 2556
68.10	o 12480
68.10	c 2552
68.14	o 12482
68.14	c 2550
68.17	o 12483
68.17	c 2549
68.20	o 12485
68.20	c 2547
68.23	o 12488
68.23	c 2544
68.26	o 12492
68.26	c 2540
68.30	o 12496
68.30	c 2536
68.33	o 12499
68.33	c 2533
68.37	o 12501
68.37	c 2531
68.39	o 12504
68.39	c 2528
68.41	o 12507
68.41	c 2525
68.45	o 12514
68.45	c 2518
68.48	o 12516
68.48	c 2516
68.51	o 12518
68.51	c 2514
68.53	o 12521
68.53	c 2511
68.55	o 12524
68.55	c 2508
68.58	o 12525
68.58	c 2507
68.61	o 12530
68.62	c 2502
68.65	o 12533
68.65	c 2499
68.67	o 12534
68.67	c 2498
68.71	o 12538
68.71	c 2494
68.74	o 12540
68.74	c 2492
68.76	o 12541
68.76	c 2491
68.80	o 12544
68.80	c 2488
68.83	o 12546
68.83	c 2486
68.95	o 12549
68.95	c 2483
68.97	o 12552
68.97	c 2480
69.00	o 12558
69.00	c 2474
69.04	o 12560
69.04	c 2472
69.07	o 12566
69.07	c 2466
69.11	o 12569
69.11	c 2463
69.18	o 12573
69.18	c 2459
69.25	o 12576
69.25	c 2456
69.28	o 12577
69.28	c 2455
69.31	o 12580
69.32	c 2452
69.35	o 12582
69.35	c 2450
69.37	o 12583
69.37	c 2449
69.41	o 12585
69.41	c 2447
69.44	o 12586
69.44	c 2446
69.46	o 12594
69.46	c 2438
69.53	o 12597
69.53	c 2435
69.57	o 12600
69.57	c 2432
69.60	o 12603
69.60	c 2429
69.63	o 12607
69.63	c 2425
69.67	o 12609
69.67	c 2423
69.70	o 12612
69.70	c 2420
69.74	o 12617
69.74	c 2415
69.77	o 12620
69.77	c 2412
69.81	o 12621
69.81	c 2411
69.85	o 12624
69.85	c 2408
69.88	o 12628
69.88	c 2404
69.92	o 12629
69.92	c 2403
69.96	o 12630
69.96	c 2402
69.99	o 12636
69.99	c 2396
70.07	o 12639
70.07	c 2393
70.12	o 12643
70.12	c 2389
70.15	o 12645
70.15	c 2387
70.18	o 12648
70.18	c 2384
70.21	o 12651
70.21	c 2381
70.25	o 12653
70.25	c 2379
70.29	o 12659
70.29	c 2373
70.33	o 12662
70.33	c 2370
70.36	o 12666
70.36	c 2366
70.40	o 12670
70.40	c 2362
70.48	o 12674
70.48	c 2358
70.51	o 12677
70.51	c 2355
70.56	o 12679
70.56	c 2353
70.60	o 12680
70.60	c 2352
70.65	o 12682
70.65	c 2350
70.72	o 12685
70.72	c 2347
70.76	o 12686
70.76	c 2346
70.82	o 12690
70.82	c 2342
70.86	o 12694
70.86	c 2338
70.89	o 12700
70.89	c 2332
70.94	o 12705
70.94	c 2327
70.97	o 12707
70.97	c 2325
71.03	o 12709
71.03	c 2323
71.06	o 12711
71.06	c 2321
71.11	o 12715
71.11	c 2317
71.15	o 12716
71.15	c 2316
71.19	o 12718
71.19	c 2314
71.22	o 12719
71.22	c 2313
71.25	o 12720
71.25	c 2312
71.41	o 12723
71.41	c 2309
71.44	o 12724
71.44	c 2308
71.47	o 12728
71.47	c 2304
71.52	o 12733
71.52	c 2299
71.59	o 12735
71.59	c 2297
71.62	o 12736
71.62	c 2296
71.67	o 12739
71.67	c 2293
71.71	o 12740
71.71	c 2292
71.76	o 12742
71.76	c 2290
71.80	o 12743
71.80	c 2289
71.84	o 12747
71.84	c 2285
71.87	o 12754
71.87	c 2278
71.91	o 12755
71.91	c 2277
71.94	o 12760
71.94	c 2272
71.99	o 12764
71.99	c 2268
72.08	o 12769
72.08	c 2263
72.12	o 12770
72.12	c 2262
72.17	o 12772
72.17	c 2260
72.22	o 12778
72.22	c 2254
72.26	o 12783
72.26	c 2249
72.41	o 12785
72.41	c 2247
72.45	o 12790
72.45	c 2242
72.49	o 12791
72.49	c 2241
72.58	o 12796
72.58	c 2236
72.62	o 12797
72.62	c 2235
72.64	o 12799
72.65	c 2233
72.68	o 12802
72.68	c 2230
72.76	o 12803
72.76	c 2229
72.80	o 12807
72.80	c 2225
72.83	o 12810
72.83	c 2222
72.87	o 12812
72.87	c 2220
72.91	o 12815
72.91	c 2217
72.96	o 12821
72.96	c 2211
73.01	o 12822
73.01	c 2210
73.11	o 12824
73.11	c 2208
73.16	o 12827
73.16	c 2205
73.21	o 12831
73.21	c 2201
73.24	o 12832
73.24	c 2200
73.29	o 12833
73.29	c 2199
73.40	o 12834
73.40	c 2198
73.46	o 12839
73.46	c 2193
73.52	o 12844
73.52	c 2188
73.57	o 12846
73.57	c 2186
73.62	o 12847
73.62	c 2185
73.67	o 12852
73.67	c 2180
73.87	o 12854
73.87	c 2178
74.00	o 12858
74.00	c 2174
74.05	o 12860
74.05	c 2172
74.10	o 12864
74.10	c 2168
74.14	o 12865
74.14	c 2167
74.23	o 12866
74.23	c 2166
74.29	o 12867
74.29	c 2165
74.37	o 12870
74.37	c 2162
74.41	o 12874
74.41	c 2158
74.46	o 12876
74.46	c 2156
74.55	o 12877
74.55	c 2155
74.60	o 12878
74.60	c 2154
74.65	o 12882
74.65	c 2150
74.71	o 12883
74.71	c 2149
74.76	o 12885
74.76	c 2147
74.80	o 12887
74.80	c 2145
74.93	o 12890
74.93	c 2142
74.97	o 12891
74.97	c 2141
75.02	o 12894
75.02	c 2138
75.14	o 12895
75.14	c 2137
75.19	o 12898
75.19	c 2134
75.23	o 12899
75.23	c 2133
75.27	o 12900
75.27	c 2132
75.32	o 12901
75.32	c 2131
75.38	o 12903
75.38	c 2129
75.46	o 12906
75.46	c 2126
75.50	o 12914
75.50	c 2118
75.55	o 12916
75.55	c 2116
75.60	o 12918
75.60	c 2114
75.64	o 12925
75.64	c 2107
75.69	o 12927
75.69	c 2105
75.73	o 12929
75.73	c 2103
75.83	o 12931
75.83	c 2101
75.88	o 12934
75.88	c 2098
75.93	o 12940
75.93	c 2092
76.09	o 12942
76.09	c 2090
76.14	o 12944
76.14	c 2088
76.23	o 12945
76.23	c 2087
76.28	o 12946
76.28	c 2086
76.32	o 12950
76.32	c 2082
76.45	o 12951
76.45	c 2081
76.49	o 12954
76.49	c 2078
76.54	o 12956
76.54	c 2076
76.58	o 12958
76.58	c 2074
76.63	o 12961
76.63	c 2071
76.67	o 12962
76.67	c 2070
76.72	o 12966
76.72	c 2066
76.79	o 12968
76.79	c 2064
76.84	o 12972
76.84	c 2060
76.88	o 12973
76.88	c 2059
76.92	o 12977
76.92	c 2055
76.96	o 12980
76.96	c 2052
77.00	o 12984
77.00	c 2048
77.05	o 12989
77.05	c 2043
77.09	o 12994
77.09	c 2038
77.18	o 12996
77.19	c 2036
77.24	o 13001
77.24	c 2031
77.28	o 13004
77.28	c 2028
77.32	o 13009
77.32	c 2023
77.37	o 13011
77.37	c 2021
77.51	o 13012
77.51	c 2020
77.55	o 13015
77.55	c 2017
77.62	o 13016
77.62	c 2016
77.66	o 13021
77.66	c 2011
77.70	o 13023
77.70	c 2009
77.73	o 13024
77.73	c 2008
77.77	o 13028
77.77	c 2004
77.81	o 13029
77.81	c 2003
77.86	o 13031
77.86	c 2001
77.90	o 13033
77.90	c 1999
77.94	o 13037
77.94	c 1995
77.98	o 13038
77.98	c 1994
78.07	o 13039
78.07	c 1993
78.11	o 13040
78.11	c 1992
78.16	o 13041
78.16	c 1991
78.30	o 13042
78.30	c 1990
78.57	o 13043
78.57	c 1989
78.61	o 13045
78.61	c 1987
78.81	o 13046
78.81	c 1986
78.99	o 13049
78.99	c 1983
79.04	o 13050
79.04	c 1982
79.07	o 13053
79.07	c 1979
79.11	o 13057
79.11	c 1975
79.15	o 13061
79.15	c 1971
79.20	o 13064
79.20	c 1968
79.25	o 13070
79.25	c 1962
79.30	o 13073
79.30	c 1959
79.34	o 13074
79.34	c 1958
79.38	o 13076
79.38	c 1956
79.43	o 13081
79.43	c 1951
79.48	o 13082
79.48	c 1950
79.50	o 13083
79.50	c 1949
79.59	o 13086
79.59	c 1946
79.62	o 13088
79.62	c 1944
79.67	o 13090
79.67	c 1942
79.72	o 13092
79.72	c 1940
79.76	o 13095
79.76	c 1937
79.79	o 13100
79.79	c 1932
79.84	o 13101
79.84	c 1931
79.89	o 13104
79.89	c 1928
79.94	o 13106
79.94	c 1926
79.98	o 13108
79.98	c 1924
80.03	o 13110
80.03	c 1922
80.14	o 13112
80.14	c 1920
80.18	o 13113
80.18	c 1919
80.22	o 13117
80.22	c 1915
80.33	o 13118
80.33	c 1914
80.44	o 13119
80.44	c 1913
80.49	o 13120
80.49	c 1912
80.55	o 13121
80.55	c 1911
80.66	o 13123
80.66	c 1909
80.72	o 13126
80.72	c 1906
80.83	o 13127
80.83	c 1905
81.00	o 13131
81.00	c 1901
81.12	o 13132
81.12	c 1900
81.37	o 13134
81.37	c 1898
81.44	o 13136
81.44	c 1896
81.51	o 13137
81.51	c 1895
81.60	o 13143
81.60	c 1889
81.68	o 13144
81.68	c 1888
81.75	o 13147
81.75	c 1885
82.08	o 13149
82.08	c 1883
82.21	o 13150
82.21	c 1882
82.29	o 13151
82.29	c 1881
82.67	o 13158
82.67	c 1874
82.74	o 13162
82.74	c 1870
82.81	o 13167
82.81	c 1865
82.98	o 13170
82.98	c 1862
83.06	o 13172
83.06	c 1860
83.14	o 13175
83.14	c 1857
83.21	o 13176
83.21	c 1856
83.27	o 13177
83.27	c 1855
83.35	o 13180
83.35	c 1852
83.51	o 13182
83.51	c 1850
83.67	o 13184
83.67	c 1848
83.77	o 13186
83.77	c 1846
83.85	o 13187
83.85	c 1845
83.92	o 13189
83.92	c 1843
84.00	o 13191
84.00	c 1841
84.07	o 13195
84.07	c 1837
84.13	o 13198
84.13	c 1834
84.35	o 13199
84.35	c 1833
84.42	o 13202
84.42	c 1830
84.48	o 13204
84.48	c 1828
84.55	o 13207
84.55	c 1825
84.63	o 13213
84.63	c 1819
84.71	o 13214
84.71	c 1818
84.78	o 13216
84.78	c 1816
84.87	o 13219
84.87	c 1813
84.96	o 13223
84.96	c 1809
85.04	o 13224
85.04	c 1808
85.13	o 13228
85.13	c 1804
85.21	o 13229
85.21	c 1803
85.29	o 13231
85.29	c 1801
85.37	o 13233
85.37	c 1799
85.47	o 13240
85.47	c 1792
85.56	o 13243
85.56	c 1789
85.65	o 13246
85.65	c 1786
85.74	o 13252
85.74	c 1780
86.22	o 13254
86.22	c 1778
86.42	o 13256
86.42	c 1776
86.60	o 13259
86.60	c 1773
86.66	o 13260
86.66	c 1772
86.75	o 13261
86.75	c 1771
86.84	o 13264
86.84	c 1768
86.94	o 13265
86.94	c 1767
87.03	o 13269
87.03	c 1763
87.21	o 13270
87.21	c 1762
87.31	o 13272
87.31	c 1760
87.57	o 13273
87.57	c 1759
87.75	o 13276
87.75	c 1756
87.93	o 13279
87.93	c 1753
88.08	o 13283
88.08	c 1749
88.25	o 13285
88.25	c 1747
88.33	o 13289
88.33	c 1743
88.47	o 13291
88.47	c 1741
88.54	o 13292
88.54	c 1740
88.63	o 13295
88.63	c 1737
88.73	o 13297
88.73	c 1735
88.91	o 13300
88.91	c 1732
88.99	o 13304
88.99	c 1728
89.08	o 13305
89.08	c 1727
89.16	o 13307
89.16	c 1725
89.25	o 13312
89.25	c 1720
89.34	o 13313
89.34	c 1719
89.51	o 13314
89.51	c 1718
89.67	o 13316
89.67	c 1716
89.76	o 13318
89.76	c 1714
89.84	o 13319
89.84	c 1713
90.01	o 13322
90.01	c 1710
90.10	o 13325
90.10	c 1707
90.18	o 13327
90.18	c 1705
90.60	o 13330
90.60	c 1702
90.68	o 13331
90.68	c 1701
90.84	o 13335
90.84	c 1697
91.00	o 13337
91.00	c 1695
91.08	o 13339
91.08	c 1693
91.17	o 13341
91.17	c 1691
91.25	o 13344
91.25	c 1688
91.33	o 13348
91.33	c 1684
91.49	o 13350
91.49	c 1682
91.57	o 13351
91.57	c 1681
91.65	o 13354
91.65	c 1678
91.71	o 13357
91.71	c 1675
91.79	o 13358
91.79	c 1674
91.88	o 13361
91.88	c 1671
91.95	o 13362
91.95	c 1670
92.03	o 13365
92.03	c 1667
92.10	o 13369
92.10	c 1663
92.17	o 13371
92.17	c 1661
92.32	o 13374
92.32	c 1658
92.73	o 13376
92.73	c 1656
93.27	o 13378
93.27	c 1654
93.34	o 13383
93.34	c 1649
93.51	o 13386
93.51	c 1646
93.59	o 13389
93.59	c 1643
93.82	o 13391
93.82	c 1641
93.92	o 13393
93.92	c 1639
94.00	o 13396
94.00	c 1636
94.09	o 13399
94.09	c 1633
94.17	o 13403
94.17	c 1629
94.24	o 13406
94.24	c 1626
94.40	o 13407
94.40	c 1625
94.55	o 13408
94.55	c 1624
94.62	o 13411
94.62	c 1621
94.69	o 13412
94.69	c 1620
94.76	o 13414
94.76	c 1618
94.94	o 13416
94.94	c 1616
95.02	o 13418
95.02	c 1614
95.20	o 13422
95.20	c 1610
95.28	o 13424
95.28	c 1608
95.36	o 13425
95.36	c 1607
95.61	o 13427
95.61	c 1605
95.69	o 13428
95.69	c 1604
95.95	o 13429
95.95	c 1603
96.03	o 13430
96.03	c 1602
96.66	o 13431
96.66	c 1601
96.72	o 13433
96.72	c 1599
96.88	o 13434
96.88	c 1598
97.32	o 13436
97.32	c 1596
97.41	o 13438
97.41	c 1594
97.90	o 13439
97.90	c 1593
97.99	o 13440
97.99	c 1592
98.07	o 13443
98.07	c 1589
98.16	o 13445
98.16	c 1587
98.33	o 13449
98.33	c 1583
98.58	o 13450
98.58	c 1582
99.14	o 13451
99.14	c 1581
99.23	o 13453
99.23	c 1579
99.51	o 13454
99.51	c 1578
99.60	o 13457
99.60	c 1575
99.97	o 13459
99.97	c 1573
100.07	o 13461
100.07	c 1571
100.26	o 13464
100.26	c 1568
100.30	o 13468
100.30	c 1564
100.40	o 13469
100.40	c 1563
100.51	o 13470
100.51	c 1562
100.60	o 13473
100.60	c 1559
100.69	o 13476
100.69	c 1556
100.79	o 13481
100.79	c 1551
101.05	o 13483
101.05	c 1549
101.10	o 13485
101.10	c 1547
101.28	o 13486
101.28	c 1546
101.36	o 13488
101.36	c 1544
101.45	o 13489
101.45	c 1543
101.53	o 13498
101.53	c 1534
101.60	o 13501
101.60	c 1531
101.70	o 13503
101.70	c 1529
102.13	o 13506
102.13	c 1526
102.22	o 13509
102.22	c 1523
102.29	o 13513
102.29	c 1519
102.57	o 13515
102.57	c 1517
102.65	o 13516
102.65	c 1516
102.83	o 13518
102.83	c 1514
102.88	o 13521
102.88	c 1511
102.96	o 13522
102.96	c 1510
103.05	o 13528
103.05	c 1504
103.14	o 13530
103.14	c 1502
103.19	o 13535
103.19	c 1497
103.60	o 13536
103.60	c 1496
103.83	o 13539
103.83	c 1493
103.91	o 13542
103.91	c 1490
104.24	o 13544
104.24	c 1488
104.50	o 13547
104.50	c 1485
104.52	o 13552
104.52	c 1480
104.61	o 13556
104.61	c 1476
104.70	o 13558
104.70	c 1474
104.87	o 13561
104.87	c 1471
104.95	o 13566
104.95	c 1466
105.03	o 13572
105.03	c 1460
105.20	o 13574
105.20	c 1458
105.28	o 13575
105.28	c 1457
105.36	o 13576
105.36	c 1456
105.76	o 13578
105.76	c 1454
105.84	o 13582
105.84	c 1450
105.92	o 13586
105.92	c 1446
106.71	o 13587
106.71	c 1445
106.88	o 13591
106.88	c 1441
106.97	o 13593
106.97	c 1439
107.25	o 13596
107.25	c 1436
107.33	o 13597
107.33	c 1435
108.36	o 13598
108.36	c 1434
108.46	o 13599
108.46	c 1433
108.56	o 13600
108.56	c 1432
108.66	o 13601
108.66	c 1431
108.84	o 13605
108.84	c 1427
109.04	o 13607
109.04	c 1425
109.14	o 13609
109.14	c 1423
110.43	o 13611
110.43	c 1421
110.53	o 13613
110.53	c 1419
110.75	o 13615
110.75	c 1417
111.07	o 13616
111.07	c 1416
111.30	o 13619
111.30	c 1413
111.41	o 13620
111.41	c 1412
111.53	o 13625
111.53	c 1407
111.59	o 13629
111.59	c 1403
111.69	o 13632
111.69	c 1400
111.79	o 13634
111.79	c 1398
111.91	o 13638
111.91	c 1394
112.02	o 13642
112.02	c 1390
112.14	o 13646
112.14	c 1386
112.25	o 13648
112.25	c 1384
112.46	o 13651
112.46	c 1381
112.56	o 13652
112.56	c 1380
112.67	o 13656
112.67	c 1376
112.99	o 13659
112.99	c 1373
113.09	o 13662
113.09	c 1370
113.20	o 13663
113.20	c 1369
113.52	o 13666
113.52	c 1366
113.60	o 13669
113.60	c 1363
113.73	o 13673
113.73	c 1359
114.50	o 13674
114.50	c 1358
114.61	o 13676
114.61	c 1356
114.95	o 13677
114.95	c 1355
115.07	o 13678
115.07	c 1354
115.14	o 13681
115.14	c 1351
115.27	o 13685
115.27	c 1347
115.36	o 13686
115.36	c 1346
115.47	o 13689
115.47	c 1343
115.57	o 13690
115.57	c 1342
115.62	o 13694
115.62	c 1338
115.81	o 13695
115.81	c 1337
115.92	o 13697
115.92	c 1335
116.02	o 13699
116.02	c 1333
116.12	o 13700
116.12	c 1332
116.22	o 13703
116.22	c 1329
116.32	o 13704
116.32	c 1328
116.44	o 13705
116.44	c 1327
116.56	o 13708
116.56	c 1324
117.10	o 13710
117.10	c 1322
117.19	o 13712
117.19	c 1320
117.30	o 13714
117.30	c 1318
118.14	o 13715
118.14	c 1317
118.32	o 13718
118.32	c 1314
118.62	o 13721
118.62	c 1311
119.74	o 13723
119.74	c 1309
119.86	o 13724
119.86	c 1308
119.97	o 13727
119.97	c 1305
120.19	o 13730
120.19	c 1302
120.39	o 13732
120.39	c 1300
120.48	o 13735
120.48	c 1297
120.87	o 13737
120.87	c 1295
120.97	o 13739
120.97	c 1293
121.08	o 13740
121.08	c 1292
121.18	o 13741
121.18	c 1291
121.90	o 13742
121.90	c 1290
122.00	o 13743
122.00	c 1289
122.10	o 13744
122.10	c 1288
122.13	o 13747
122.13	c 1285
122.24	o 13749
122.24	c 1283
122.34	o 13752
122.34	c 1280
122.44	o 13753
122.44	c 1279
122.53	o 13754
122.53	c 1278
122.73	o 13755
122.73	c 1277
122.92	o 13756
122.92	c 1276
123.10	o 13758
123.10	c 1274
123.49	o 13759
123.49	c 1273
123.58	o 13761
123.58	c 1271
123.62	o 13766
123.62	c 1266
123.70	o 13768
123.70	c 1264
123.79	o 13770
123.79	c 1262
123.97	o 13773
123.97	c 1259
124.27	o 13775
124.27	c 1257
124.64	o 13776
124.64	c 1256
125.44	o 13778
125.44	c 1254
125.86	o 13779
125.86	c 1253
126.18	o 13780
126.18	c 1252
126.53	o 13781
126.53	c 1251
126.62	o 13782
126.62	c 1250
126.72	o 13784
126.72	c 1248
126.83	o 13787
126.83	c 1245
126.94	o 13789
126.94	c 1243
127.06	o 13791
127.06	c 1241
127.18	o 13793
127.18	c 1239
127.41	o 13797
127.41	c 1235
127.52	o 13799
127.52	c 1233
127.64	o 13802
127.64	c 1230
127.99	o 13805
127.99	c 1227
128.12	o 13807
128.12	c 1225
128.47	o 13809
128.47	c 1223
128.59	o 13810
128.59	c 1222
128.71	o 13811
128.71	c 1221
129.07	o 13814
129.07	c 1218
129.13	o 13817
129.13	c 1215
129.25	o 13818
129.25	c 1214
129.37	o 13821
129.37	c 1211
130.53	o 13822
130.53	c 1210
130.66	o 13826
130.66	c 1206
130.91	o 13827
130.91	c 1205
131.00	o 13829
131.00	c 1203
131.53	o 13831
131.53	c 1201
131.65	o 13833
131.65	c 1199
134.51	o 13834
134.51	c 1198
134.64	o 13835
134.64	c 1197
134.77	o 13836
134.77	c 1196
134.89	o 13838
134.89	c 1194
135.01	o 13841
135.01	c 1191
135.14	o 13842
135.14	c 1190
135.26	o 13844
135.26	c 1188
135.38	o 13849
135.38	c 1183
135.51	o 13851
135.51	c 1181
135.64	o 13853
135.64	c 1179
135.76	o 13854
135.76	c 1178
135.89	o 13858
135.89	c 1174
136.03	o 13859
136.03	c 1173
136.17	o 13860
136.17	c 1172
136.30	o 13862
136.30	c 1170
138.21	o 13864
138.21	c 1168
138.34	o 13867
138.34	c 1165
138.48	o 13872
138.48	c 1160
139.09	o 13873
139.09	c 1159
139.40	o 13874
139.40	c 1158
139.56	o 13876
139.56	c 1156
139.72	o 13877
139.72	c 1155
139.86	o 13878
139.86	c 1154
140.01	o 13879
140.01	c 1153
140.17	o 13880
140.17	c 1152
140.33	o 13883
140.33	c 1149
140.48	o 13884
140.48	c 1148
140.64	o 13889
140.64	c 1143
140.75	o 13890
140.75	c 1142
140.91	o 13891
140.91	c 1141
141.21	o 13895
141.21	c 1137
143.87	o 13896
143.87	c 1136
143.89	o 13901
143.89	c 1131
144.02	o 13902
144.02	c 1130
144.15	o 13903
144.15	c 1129
144.40	o 13904
144.40	c 1128
144.52	o 13905
144.52	c 1127
146.22	o 13907
146.22	c 1125
146.34	o 13908
146.34	c 1124
146.46	o 13910
146.46	c 1122
146.60	o 13911
146.60	c 1121
146.69	o 13915
146.69	c 1117
146.95	o 13916
146.95	c 1116
147.07	o 13918
147.07	c 1114
147.19	o 13919
147.19	c 1113
147.30	o 13921
147.30	c 1111
147.55	o 13923
147.55	c 1109
147.67	o 13924
147.67	c 1108
147.74	o 13926
147.74	c 1106
148.94	o 13928
148.94	c 1104
149.06	o 13930
149.06	c 1102
149.19	o 13931
149.19	c 1101
149.46	o 13932
149.46	c 1100
149.72	o 13933
149.72	c 1099
149.84	o 13934
149.84	c 1098
149.98	o 13936
149.98	c 1096
151.24	o 13938
151.24	c 1094
151.89	o 13939
151.89	c 1093
152.15	o 13942
152.15	c 1090
152.29	o 13943
152.29	c 1089
152.77	o 13945
152.77	c 1087
152.89	o 13949
152.89	c 1083
153.13	o 13950
153.13	c 1082
153.26	o 13951
153.26	c 1081
153.38	o 13953
153.38	c 1079
153.45	o 13954
153.45	c 1078
153.58	o 13956
153.58	c 1076
153.71	o 13959
153.71	c 1073
154.23	o 13960
154.23	c 1072
154.36	o 13961
154.36	c 1071
154.48	o 13964
154.48	c 1068
155.08	o 13966
155.08	c 1066
157.32	o 13967
157.32	c 1065
157.46	o 13969
157.46	c 1063
157.59	o 13972
157.59	c 1060
157.71	o 13975
157.71	c 1057
158.10	o 13977
158.10	c 1055
158.22	o 13978
158.22	c 1054
158.35	o 13980
158.35	c 1052
158.48	o 13982
158.48	c 1050
158.60	o 13984
158.60	c 1048
158.72	o 13985
158.72	c 1047
159.23	o 13987
159.23	c 1045
159.88	o 13988
159.88	c 1044
160.00	o 13989
160.00	c 1043
160.12	o 13990
160.12	c 1042
160.91	o 13992
160.91	c 1040
161.06	o 13993
161.06	c 1039
161.28	o 13994
161.28	c 1038
161.42	o 13998
161.42	c 1034
161.54	o 14000
161.54	c 1032
161.67	o 14004
161.67	c 1028
161.79	o 14006
161.79	c 1026
161.93	o 14007
161.93	c 1025
162.20	o 14009
162.20	c 1023
162.33	o 14011
162.33	c 1021
162.48	o 14014
162.48	c 1018
163.97	o 14016
163.97	c 1016
164.14	o 14017
164.14	c 1015
164.44	o 14021
164.44	c 1011
164.58	o 14022
164.58	c 1010
164.73	o 14024
164.73	c 1008
164.87	o 14025
164.87	c 1007
165.02	o 14026
165.02	c 1006
165.35	o 14029
165.35	c 1003
165.47	o 14032
165.47	c 1000
165.61	o 14034
165.61	c 998
166.43	o 14037
166.43	c 995
166.56	o 14040
166.56	c 992
167.25	o 14043
167.25	c 989
167.40	o 14045
167.40	c 987
167.99	o 14046
167.99	c 986
168.14	o 14048
168.14	c 984
168.30	o 14049
168.30	c 983
169.24	o 14050
169.24	c 982
169.55	o 14051
169.55	c 981
169.72	o 14052
169.72	c 980
169.84	o 14053
169.84	c 979
169.99	o 14055
169.99	c 977
170.32	o 14057
170.32	c 975
170.44	o 14058
170.44	c 974
171.25	o 14061
171.25	c 971
171.41	o 14062
171.41	c 970
171.56	o 14064
171.56	c 968
171.68	o 14066
171.68	c 966
171.98	o 14067
171.98	c 965
172.31	o 14069
172.31	c 963
172.49	o 14072
172.49	c 960
173.19	o 14073
173.19	c 959
173.56	o 14074
173.56	c 958
173.74	o 14075
173.74	c 957
175.23	o 14076
175.23	c 956
175.55	o 14077
175.55	c 955
175.71	o 14078
175.71	c 954
177.06	o 14079
177.06	c 953
177.41	o 14080
177.41	c 952
178.30	o 14081
178.30	c 951
179.25	o 14082
179.25	c 950
179.41	o 14083
179.41	c 949
179.59	o 14086
179.59	c 946
179.93	o 14087
179.93	c 945
180.07	o 14089
180.07	c 943
180.25	o 14090
180.25	c 942
181.52	o 14092
181.52	c 940
181.70	o 14093
181.70	c 939
181.89	o 14094
181.89	c 938
182.07	o 14095
182.07	c 937
182.44	o 14096
182.44	c 936
182.62	o 14097
182.62	c 935
183.15	o 14101
183.15	c 931
183.26	o 14104
183.26	c 928
184.12	o 14106
184.12	c 926
184.47	o 14108
184.47	c 924
184.82	o 14109
184.82	c 923
185.54	o 14112
185.54	c 920
185.72	o 14113
185.72	c 919
185.92	o 14114
185.92	c 918
186.07	o 14116
186.07	c 916
186.80	o 14120
186.80	c 912
186.99	o 14122
186.99	c 910
187.35	o 14123
187.35	c 909
187.53	o 14124
187.53	c 908
187.73	o 14125
187.73	c 907
187.93	o 14126
187.93	c 906
188.11	o 14127
188.11	c 905
189.75	o 14130
189.75	c 902
189.92	o 14131
189.92	c 901
190.10	o 14133
190.10	c 899
190.28	o 14134
190.28	c 898
190.41	o 14135
190.41	c 897
190.59	o 14137
190.59	c 895
191.11	o 14140
191.11	c 892
191.30	o 14141
191.30	c 891
192.73	o 14142
192.73	c 890
193.75	o 14144
193.75	c 888
194.06	o 14145
194.06	c 887
194.23	o 14148
194.23	c 884
197.87	o 14149
197.87	c 883
198.02	o 14151
198.02	c 881
198.18	o 14153
198.18	c 879
198.30	o 14155
198.30	c 877
198.41	o 14158
198.41	c 874
199.43	o 14159
199.43	c 873
199.58	o 14163
199.58	c 869
199.76	o 14167
199.76	c 865
199.88	o 14170
199.88	c 862
202.98	o 14171
202.98	c 861
203.46	o 14173
203.46	c 859
204.64	o 14175
204.64	c 857
204.81	o 14177
204.81	c 855
205.14	o 14180
205.14	c 852
205.53	o 14182
205.53	c 850
205.66	o 14184
205.66	c 848
205.81	o 14186
205.81	c 846
210.43	o 14187
210.43	c 845
210.80	o 14188
210.80	c 844
210.99	o 14189
210.99	c 843
211.17	o 14190
211.17	c 842
211.34	o 14192
211.34	c 840
211.52	o 14194
211.52	c 838
212.59	o 14196
212.59	c 836
214.22	o 14198
214.22	c 834
214.57	o 14201
214.57	c 831
215.85	o 14203
215.85	c 829
217.33	o 14206
217.33	c 826
217.53	o 14207
217.53	c 825
217.92	o 14209
217.92	c 823
218.05	o 14211
218.05	c 821
218.63	o 14213
218.63	c 819
218.83	o 14215
218.83	c 817
219.48	o 14216
219.48	c 816
219.60	o 14217
219.60	c 815
219.78	o 14220
219.78	c 812
220.11	o 14221
220.11	c 811
220.29	o 14224
220.29	c 808
220.44	o 14226
220.44	c 806
220.62	o 14227
220.62	c 805
220.80	o 14228
220.80	c 804
220.90	o 14229
220.90	c 803
221.07	o 14231
221.07	c 801
221.24	o 14233
221.24	c 799
221.42	o 14234
221.42	c 798
225.67	o 14235
225.67	c 797
225.86	o 14237
225.86	c 795
226.04	o 14238
226.04	c 794
226.46	o 14239
226.46	c 793
226.81	o 14243
226.81	c 789
226.99	o 14244
226.99	c 788
227.18	o 14245
227.18	c 787
227.64	o 14249
227.64	c 783
232.86	o 14250
232.86	c 782
233.07	o 14252
233.07	c 780
233.27	o 14254
233.27	c 778
233.48	o 14257
233.48	c 775
233.68	o 14259
233.68	c 773
233.88	o 14260
233.88	c 772
234.09	o 14262
234.09	c 770
234.26	o 14264
234.26	c 768
234.48	o 14265
234.48	c 767
234.70	o 14266
234.70	c 766
235.12	o 14267
235.12	c 765
236.47	o 14268
236.47	c 764
240.32	o 14270
240.32	c 762
240.56	o 14271
240.56	c 761
240.80	o 14274
240.80	c 758
241.03	o 14275
241.03	c 757
243.91	o 14276
243.91	c 756
245.43	o 14277
245.43	c 755
245.67	o 14279
245.67	c 753
246.17	o 14281
246.17	c 751
246.43	o 14282
246.43	c 750
247.07	o 14287
247.07	c 745
248.26	o 14291
248.26	c 741
249.64	o 14294
249.64	c 738
250.09	o 14295
250.09	c 737
250.76	o 14298
250.76	c 734
250.98	o 14302
250.98	c 730
251.21	o 14303
251.21	c 729
252.55	o 14304
252.55	c 728
252.75	o 14305
252.75	c 727
255.13	o 14306
255.13	c 726
255.57	o 14307
255.57	c 725
256.66	o 14308
256.66	c 724
256.88	o 14309
256.88	c 723
257.06	o 14310
257.06	c 722
257.25	o 14311
257.25	c 721
258.47	o 14312
258.47	c 720
259.11	o 14316
259.11	c 716
259.34	o 14317
259.34	c 715
259.55	o 14318
259.55	c 714
259.77	o 14319
259.77	c 713
260.76	o 14320
260.76	c 712
261.41	o 14322
261.41	c 710
262.07	o 14323
262.07	c 709
262.48	o 14327
262.48	c 705
266.12	o 14328
266.12	c 704
266.23	o 14330
266.23	c 702
266.66	o 14333
266.66	c 699
269.14	o 14336
269.14	c 696
269.37	o 14337
269.37	c 695
269.54	o 14339
269.54	c 693
269.96	o 14340
269.96	c 692
270.19	o 14342
270.19	c 690
270.55	o 14344
270.55	c 688
270.77	o 14345
270.77	c 687
284.13	o 14347
284.13	c 685
284.98	o 14348
284.98	c 684
285.30	o 14349
285.30	c 683
285.96	o 14350
285.96	c 682
286.03	o 14353
286.03	c 679
286.68	o 14355
286.68	c 677
286.93	o 14356
286.93	c 676
287.12	o 14358
287.12	c 674
287.75	o 14359
287.75	c 673
287.86	o 14361
287.86	c 671
292.91	o 14362
292.91	c 670
293.58	o 14363
293.58	c 669
294.12	o 14364
294.12	c 668
296.62	o 14366
296.62	c 666
296.82	o 14367
296.82	c 665
298.21	o 14368
298.21	c 664
300.95	o 14369
300.95	c 663
301.16	o 14370
301.16	c 662
301.37	o 14371
301.37	c 661
301.89	o 14372
301.89	c 660
302.11	o 14374
302.11	c 658
302.34	o 14375
302.34	c 657
303.86	o 14377
303.86	c 655
304.09	o 14380
304.09	c 652
304.32	o 14381
304.32	c 651
304.95	o 14383
304.95	c 649
305.10	o 14386
305.10	c 646
305.32	o 14388
305.32	c 644
305.55	o 14389
305.55	c 643
305.74	o 14391
305.74	c 641
312.90	o 14394
312.90	c 638
313.17	o 14399
313.17	c 633
313.26	o 14400
313.26	c 632
313.71	o 14401
313.71	c 631
334.17	o 14403
334.18	c 629
334.36	o 14405
334.36	c 627
335.11	o 14410
335.11	c 622
335.34	o 14412
335.34	c 620
336.03	o 14414
336.03	c 618
339.08	o 14415
339.08	c 617
340.56	o 14417
340.56	c 615
340.70	o 14418
340.70	c 614
341.47	o 14423
341.47	c 609
342.12	o 14425
342.12	c 607
342.85	o 14426
342.85	c 606
349.10	o 14428
349.10	c 604
349.16	o 14429
349.16	c 603
350.17	o 14430
350.17	c 602
350.39	o 14432
350.39	c 600
350.81	o 14433
350.81	c 599
352.09	o 14435
352.09	c 597
352.31	o 14437
352.31	c 595
352.95	o 14439
352.95	c 593
354.94	o 14442
354.94	c 590
355.16	o 14443
355.16	c 589
355.98	o 14445
355.98	c 587
356.20	o 14446
356.20	c 586
356.61	o 14447
356.61	c 585
360.08	o 14448
360.08	c 584
360.30	o 14449
360.31	c 583
360.41	o 14450
360.41	c 582
360.61	o 14451
360.61	c 581
361.98	o 14452
361.98	c 580
362.23	o 14455
362.23	c 577
362.69	o 14456
362.69	c 576
363.16	o 14457
363.16	c 575
364.14	o 14460
364.14	c 572
364.36	o 14462
364.36	c 570
364.61	o 14463
364.61	c 569
364.85	o 14464
364.85	c 568
364.89	o 14465
364.89	c 567
365.12	o 14469
365.12	c 563
365.77	o 14470
365.78	c 562
367.51	o 14472
367.51	c 560
368.46	o 14473
368.46	c 559
368.65	o 14475
368.65	c 557
369.08	o 14480
369.08	c 552
369.15	o 14482
369.15	c 550
369.35	o 14484
369.35	c 548
369.79	o 14485
369.79	c 547
370.02	o 14487
370.02	c 545
370.62	o 14488
370.62	c 544
371.03	o 14490
371.03	c 542
371.25	o 14492
371.25	c 540
371.65	o 14493
371.65	c 539
371.85	o 14494
371.85	c 538
372.06	o 14496
372.06	c 536
372.70	o 14497
372.70	c 535
374.09	o 14498
374.09	c 534
374.96	o 14499
374.96	c 533
375.17	o 14500
375.17	c 532
375.59	o 14501
375.59	c 531
375.82	o 14502
375.82	c 530
376.04	o 14503
376.04	c 529
377.24	o 14504
377.24	c 528
379.87	o 14505
379.87	c 527
380.37	o 14506
380.37	c 526
380.87	o 14507
380.87	c 525
382.45	o 14508
382.45	c 524
383.65	o 14509
383.65	c 523
383.90	o 14511
383.90	c 521
384.85	o 14512
384.85	c 520
385.10	o 14514
385.10	c 518
385.49	o 14515
385.49	c 517
386.67	o 14516
386.67	c 516
386.92	o 14519
386.92	c 513
387.85	o 14520
387.85	c 512
388.11	o 14522
388.11	c 510
388.37	o 14523
388.37	c 509
388.62	o 14524
388.62	c 508
388.82	o 14527
388.82	c 505
391.68	o 14529
391.68	c 503
391.94	o 14530
391.94	c 502
395.26	o 14531
395.26	c 501
396.60	o 14532
396.60	c 500
397.16	o 14533
397.16	c 499
397.74	o 14536
397.74	c 496
398.02	o 14537
398.02	c 495
399.15	o 14538
399.15	c 494
399.60	o 14540
399.60	c 492
399.87	o 14542
399.87	c 490
401.47	o 14543
401.47	c 489
402.57	o 14544
402.57	c 488
406.54	o 14546
406.54	c 486
407.51	o 14547
407.51	c 485
409.21	o 14549
409.21	c 483
409.49	o 14550
409.49	c 482
410.07	o 14551
410.07	c 481
413.18	o 14552
413.18	c 480
413.35	o 14554
413.35	c 478
415.39	o 14555
415.39	c 477
415.68	o 14556
415.68	c 476
418.41	o 14557
418.41	c 475
418.98	o 14558
418.98	c 474
419.54	o 14564
419.54	c 468
421.00	o 14565
421.00	c 467
421.30	o 14566
421.30	c 466
421.65	o 14567
421.65	c 465
423.25	o 14568
423.25	c 464
423.54	o 14569
423.54	c 463
423.83	o 14570
423.83	c 462
424.18	o 14572
424.18	c 460
424.36	o 14573
424.36	c 459
424.61	o 14575
424.61	c 457
455.03	   
455.03	   search
455.03	     run=0  nbConstraintChecks=1145316876  nbAssignments=2691
455.03	       =>  wckTime=392.379  cpuTime=388.65  mem=48M263
455.03	   
455.03	   global
455.03	     nbConstraintChecks=1145316876  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
455.03	     solvingWckTime=392.369  solvingCpuTime=388.64  expiredTime=no  totalExploration=no  nbFoundSolutions=0
455.03	     globalCpuTime=449.58
455.03	       =>  wckTime=454.693  cpuTime=449.52  mem=48M263
455.03	   
455.03	   solver IterativeSystematicSolver being built... 
455.51	       =>  wckTime=455.178  cpuTime=449.82  mem=91M93
497.57	   
497.57	   preprocessing
497.57	     nbConstraintChecks=91771106  nbValidityChecks=387315  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
497.57	     nbRemovedValues=0  detectedInconsistency=no
497.57	       =>  wckTime=42.051  cpuTime=41.65  mem=91M93
2143.80	   
2143.80	   search
2143.80	     run=0  nbConstraintChecks=1088786364  nbValidityChecks=3244491655  nbPropagations=0  nbRevisions=0
2143.80	     nbUselessRevisions=0  nbAssignments=497  nbFailedAssignments=119  nbBacktracks=10  nbVisitedNodes=627
2143.80	     nbRestartNogoods=0
2143.80	       =>  wckTime=1688.283  cpuTime=1677.93  mem=91M93
2414.92	v 2064 -2688 2068 -2020 -2092 -2608 -2072 -2388 -2700 2376 2036 2632 2092 -2504 -2648 2632 -2228 -2480 -2548 -2544 2132 -2020 2356 -2404 -2364 2352 2468 2544 -2728 2608 -2680 2740 -2508 -2320 2700 -2064 2368 2064 2344 2540 2544 2584 -2104 -2588 2072 -2480 2172 -2196 -2176 -2472 2328 2392 2320 2080 -2536 -2660 2672 -2260 2640 2196 2724 -2456 -2044 2600 -2424 -2060 2020 2456 2668 2028 -2276 -2272 2636 -2684 2564 2468 -2476 -2312 2732 2340 -2588 2100 2548 -2312 -2020 -2580 2080 -2516 -2404 2552 -2096 -2688 -2488 2080 2024 2552 2076 2344 2504 2136 2136 2456 2476 2348 -2652 -2520 -2712 2668 -2688 2384 -2716 -2508 -2412 -2568 -2504 2064 -2456 2308 -2676 -2248 -2324 2600 2152 -2648 2132 2220 2520 -2740 -2580 -2536 -2556 2672 -2724 -2328 2092 -2020 2184 2740 2620 -2368 2600 2076 -2296 2064 -2252 -2152 -2352 2668 -2584 -2336 2220 -2224 2096 -2576 2100 2452 2336 -2740 -2232 -2112 2600 2616 -2660 2316 -2464 -2156 2204 2580 2612 2652 -2428 2732 2172 -2176 -2416 2576 -2364 -2080 2516 2708 2724 -2716 -2328 2348 -2468 2332 2480 -2444 2596 -2252 -2028 2428 2152 2060 -2484 -2180 -2284 2060 -2280 2504 2536 -2292 -2024 -2712 -2144 -2560 2692 2076 -2736 2080 -2736 -2448 2076 2532 2740 -2628 -2212 -2640 2448 -2400 2144 -2092 -2064 2472 2732 2684 2488 2484 -2288 2324 -2404 -2712 2636 2452 -2736 2552 2312 2020 -2252 -2308 -2548 -2304 -2052 -2688 2704 2544 -2700 2568 2208 2060 -2520 -2076 -2040 -2680 -2260 2052 -2256 -2724 -2356 -2692 2144 -2244 -2136 -2416 -2740 -2052 2408 -2480 2120 -2032 2524 -2352 2568 -2628 2080 -2100 2576 -2076 -2232 -2720 -2148 2540 -2180 2096 2588 2596 -2104 2692 2720 -2040 2076 2740 -2340 2264 -2064 2380 2720 -2356 -2576 2280 -2328 -2176 2112 -2736 2696 2296 -2688 2520 2292 -2316 2440 -2072 -2368 2264 -2416 -2508 2044 -2104 -2020 -2232 -2392 2556 2684 2092 2036 -2428 2528 -2700 -2452 2712 -2528 -2192 -2060 2472 -2120 2092 2144 -2544 -2220 -2488 2204 2068 2144 2608 -2020 -2564 2304 2712 2640 2352 2620 2020 -2064 2556 2416 -2592 -2548 -2360 2500 2656 -2588 2456 2256 -2128 2324 2548 2096 2060 -2328 2504 2736 2200 2036 -2260 -2700 2576 -2692 -2552 2396 -2128 -2020 2216 -2736 -2140 -2156 -2136 -2264 2624 -2020 -2264 -2080 2700 2596 2184 -2448 -2184 2104 -2692 2388 -2300 2364 -2556 -2196 -2592 2088 2640 2460 2284 2244 -2700 -2020 -2584 2724 2640 2696 -2356 -2608 2112 -2680 -2604 -2540 -2168 -2600 2628 2692 -2020 -2356 2104 -2452 2348 -2412 -2716 -2076 2440 -2728 -2740 -2296 -2240 2072 -2384 -2076 -2060 -2132 -2740 -2700 -2020 2500 -2544 2700 -2676 -2140 -2372 -2736 -2580 2648 -2496 -2368 2576 -2424 -2624 -2728 2292 2428 2084 2500 -2740 2608 2440 2288 -2152 2740 2020 -2324 -2328 -2208 2696 2364 -2552 -2412 -2168 2460 2628 -2624 -2348 -2436 2020 2688 2684 2656 -2264 -2696 2588 2500 2384 -2392 2100 -2168 2592 -2212 2492 -2384 -2028 2104 -2548 2680 2708 -2020 2260 2376 -2060 2512 -2292 -2352 2568 -2524 2700 -2396 2020 -2676 -2740 2736 -2468 -2600 -2280 2488 2488 -2368 2724 2376 -2672 2608 2416 -2020 -2632 2144 -2384 -2060 -2652 2552 -2384 2640 -2716 2508 -2424 -2252 2484 2612 2696 -2340 -2680 2060 -2740 2692 -2468 -2336 -2084 -2596 -2320 -2724 -2184 2480 2248 -2740 -2160 2252 -2104 -2112 -2700 2668 2180 -2556 -2128 -2208 -2036 -2368 2492 -2144 -2560 2596 2624 2524 2152 -2596 2376 2408 -2548 -2312 2144 -2728 2060 -2496 2560 2588 -2244 -2700 2652 -2256 -2424 2560 -2060 -2384 -2728 2084 2632 2568 -2300 -2284 -2304 -2140 -2600 -2684 -2584 -2576 -2576 -2396 -2152 2380 2296 2660 -2732 2664 2240 2344 -2060 2212 2672 -2196 2260 2668 -2740 2420 2668 2512 2060 -2636 -2504 -2480 -2296 -2464 2700 -2416 -2112 -2336 2272 -2020 -2060 -2048 2080 2568 2032 -2548 2068 -2468 2556 2420 -2192 2024 -2456 -2220 2060 2508 -2676 -2208 -2308 2256 2168 -2696 2520 -2708 -2164 2436 2232 2396 -2224 2592 -2700 -2408 2320 -2520 -2168 -2692 2428 -2036 2608 -2292 2184 -2220 -2628 -2476 -2280 2128 -2028 2440 -2524 2024 2688 -2708 2392 -2188 2036 -2688 -2256 2052 2032 -2648 2364 2644 2512 -2028 -2440 2416 -2516 2720 -2500 -2732 2572 2256 2640 -2108 2024 2536 -2424 2336 -2092 -2156 2256 2644 -2388 2216 -2468 -2684 2596 2284 2484 2084 2092 2688 2300 -2548 2352 2028 2124 2024 -2724 -2376 2732 2336 2120 2584 -2116 -2508 -2044 2288 2204 2272 2416 2684 -2728 -2244 -2348 -2312 -2492 2344 -2536 -2060 2376 -2460 -2556 -2272 -2596 -2244 -2740 -2452 2716 2152 -2584 -2184 2052 -2388 2144 2740 2140 -2616 2036 2468 -2064 2712 2352 2148 2224 -2584 2020 -2536 2668 -2568 -2248 2592 2376 -2520 -2408 -2684 -2504 -2448 -2284 -2680 2260 2116 -2400 -2424 -2260 2704 -2616 -2484 -2284 -2408 2332 -2368 2036 -2480 -2404 -2580 -2696 -2300 -2084 -2676 -2624 -2668 -2364 2048 -2300 2024 2072 2272 2528 2368 2144 -2708 -2384 -2676 2728 2060 -2516 -2588 2700 2588 2700 2724 -2504 2024 -2020 -2580 2476 2272 2052 2072 2364 2544 -2560 2076 2612 -2464 2348 2184 2732 2212 2220 -2600 2676 -2536 2056 -2552 -2576 2376 2368 2540 2352 -2060 2064 -2088 -2432 2260 -2684 2468 2740 -2660 2444 2132 -2460 2396 -2720 -2028 2736 2512 2040 -2192 -2088 2464 2324 2700 -2548 2668 -2620 2120 -2716 -2332 -2152 2400 2296 -2436 2556 -2112 2728 2080 2296 -2540 -2168 -2708 -2528 2356 -2060 2044 2724 2348 2688 2324 -2720 -2136 2340 2032 2740 -2444 -2692 2508 2692 -2332 -2672 -2316 -2192 2444 2592 -2292 -2392 -2352 2524 2044 2416 -2236 -2052 -2508 2312 2084 -2576 -2576 2584 -2392 -2344 -2332 2564 2688 -2216 2300 -2104 -2616 2072 2144 2212 2324 -2040 2052 2480 -2656 -2440 -2540 -2292 -2040 2492 -2712 2132 -2324 -2224 2060 2548 2660 -2432 -2092 -2384 -2128 2588 2672 -2736 2024 -2664 2728 -2624 -2636 -2388 2560 -2484 2512 -2664

Verifier Data (download as text)

457 unsatisfied constraints, 14575 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/node35/watcher-275280-1169219271 -o ROOT/results/node35/solver-275280-1169219271 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275280-1169219271/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.92 1.98 1.93 4/81 11136
/proc/meminfo: memFree=1314448/2055920 swapFree=4184740/4192956
[pid=11135] ppid=11133 vsize=18540 CPUtime=0
/proc/11135/stat : 11135 (runsolver) R 11133 11135 10632 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270320750 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 266134416679 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11135/statm: 4635 279 244 17 0 2626 0

[startup+0.103879 s]
/proc/loadavg: 1.92 1.98 1.93 4/81 11136
/proc/meminfo: memFree=1314448/2055920 swapFree=4184740/4192956
[pid=11135] ppid=11133 vsize=914988 CPUtime=0.08
/proc/11135/stat : 11135 (java) R 11133 11135 10632 0 -1 0 2953 0 1 0 7 1 0 0 17 0 8 0 270320750 936947712 2699 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072943240 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11135/statm: 228747 2699 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.51192 s]
/proc/loadavg: 1.92 1.98 1.93 4/81 11136
/proc/meminfo: memFree=1314448/2055920 swapFree=4184740/4192956
[pid=11135] ppid=11133 vsize=915332 CPUtime=0.45
/proc/11135/stat : 11135 (java) R 11133 11135 10632 0 -1 0 6389 0 12 0 41 4 0 0 18 0 8 0 270320750 937299968 6139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072946513 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11135/statm: 228833 6139 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915332

[startup+1.33302 s]
/proc/loadavg: 1.92 1.98 1.93 3/88 11143
/proc/meminfo: memFree=1244376/2055920 swapFree=4184740/4192956
[pid=11135] ppid=11133 vsize=915636 CPUtime=1.26
/proc/11135/stat : 11135 (java) R 11133 11135 10632 0 -1 0 21008 0 12 0 116 10 0 0 24 0 8 0 270320750 937611264 20756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380239 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11135/statm: 228909 20756 2161 14 0 215379 0
[pid=11135/tid=11137] ppid=11133 vsize=915636 CPUtime=0.07
/proc/11135/task/11137/stat : 11137 (java) S 11133 11135 10632 0 -1 64 4474 0 0 0 5 2 0 0 16 0 8 0 270320755 937611264 20756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11138] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11138/stat : 11138 (java) S 11133 11135 10632 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270320755 937611264 20756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11139] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11139/stat : 11139 (java) S 11133 11135 10632 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270320755 937611264 20756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11140] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11140/stat : 11140 (java) S 11133 11135 10632 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270320758 937611264 20756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11141] ppid=11133 vsize=915636 CPUtime=0.14
/proc/11135/task/11141/stat : 11141 (java) S 11133 11135 10632 0 -1 64 395 0 0 0 14 0 0 0 16 0 8 0 270320758 937611264 20756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11142] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11142/stat : 11142 (java) S 11133 11135 10632 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270320758 937611264 20756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11143] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11143/stat : 11143 (java) S 11133 11135 10632 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270320758 937611264 20756 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915636

[startup+2.97021 s]
/proc/loadavg: 1.92 1.98 1.93 3/88 11143
/proc/meminfo: memFree=1236376/2055920 swapFree=4184740/4192956
[pid=11135] ppid=11133 vsize=915636 CPUtime=2.89
/proc/11135/stat : 11135 (java) R 11133 11135 10632 0 -1 0 21084 0 12 0 278 11 0 0 25 0 8 0 270320750 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810838 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11135/statm: 228909 20831 2181 14 0 215379 0
[pid=11135/tid=11137] ppid=11133 vsize=915636 CPUtime=0.07
/proc/11135/task/11137/stat : 11137 (java) S 11133 11135 10632 0 -1 64 4474 0 0 0 5 2 0 0 17 0 8 0 270320755 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11138] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11138/stat : 11138 (java) S 11133 11135 10632 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270320755 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11139] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11139/stat : 11139 (java) S 11133 11135 10632 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270320755 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11140] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11140/stat : 11140 (java) S 11133 11135 10632 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270320758 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11141] ppid=11133 vsize=915636 CPUtime=0.16
/proc/11135/task/11141/stat : 11141 (java) S 11133 11135 10632 0 -1 64 408 0 0 0 16 0 0 0 15 0 8 0 270320758 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11142] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11142/stat : 11142 (java) S 11133 11135 10632 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270320758 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11143] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11143/stat : 11143 (java) S 11133 11135 10632 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270320758 937611264 20831 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915636

[startup+6.26061 s]
/proc/loadavg: 1.93 1.98 1.93 3/88 11143
/proc/meminfo: memFree=1236184/2055920 swapFree=4184740/4192956
[pid=11135] ppid=11133 vsize=915636 CPUtime=6.14
/proc/11135/stat : 11135 (java) R 11133 11135 10632 0 -1 0 21101 0 12 0 603 11 0 0 25 0 8 0 270320750 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793974 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11135/statm: 228909 20848 2182 14 0 215379 0
[pid=11135/tid=11137] ppid=11133 vsize=915636 CPUtime=0.07
/proc/11135/task/11137/stat : 11137 (java) S 11133 11135 10632 0 -1 64 4474 0 0 0 5 2 0 0 16 0 8 0 270320755 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11138] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11138/stat : 11138 (java) S 11133 11135 10632 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270320755 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11139] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11139/stat : 11139 (java) S 11133 11135 10632 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270320755 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11140] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11140/stat : 11140 (java) S 11133 11135 10632 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270320758 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11141] ppid=11133 vsize=915636 CPUtime=0.18
/proc/11135/task/11141/stat : 11141 (java) S 11133 11135 10632 0 -1 64 424 0 0 0 18 0 0 0 15 0 8 0 270320758 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11142] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11142/stat : 11142 (java) S 11133 11135 10632 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270320758 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11143] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11143/stat : 11143 (java) S 11133 11135 10632 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270320758 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915636

[startup+12.7394 s]
/proc/loadavg: 1.93 1.98 1.93 3/88 11143
/proc/meminfo: memFree=1236376/2055920 swapFree=4184740/4192956
[pid=11135] ppid=11133 vsize=915636 CPUtime=12.56
/proc/11135/stat : 11135 (java) R 11133 11135 10632 0 -1 0 21104 0 12 0 1243 13 0 0 25 0 8 0 270320750 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797208 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11135/statm: 228909 20850 2182 14 0 215379 0
[pid=11135/tid=11137] ppid=11133 vsize=915636 CPUtime=0.07
/proc/11135/task/11137/stat : 11137 (java) S 11133 11135 10632 0 -1 64 4474 0 0 0 5 2 0 0 16 0 8 0 270320755 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11138] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11138/stat : 11138 (java) S 11133 11135 10632 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270320755 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11139] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11139/stat : 11139 (java) S 11133 11135 10632 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270320755 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11140] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11140/stat : 11140 (java) S 11133 11135 10632 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270320758 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11141] ppid=11133 vsize=915636 CPUtime=0.19
/proc/11135/task/11141/stat : 11141 (java) S 11133 11135 10632 0 -1 64 426 0 0 0 19 0 0 0 15 0 8 0 270320758 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11142] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11142/stat : 11142 (java) S 11133 11135 10632 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270320758 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11143] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11143/stat : 11143 (java) S 11133 11135 10632 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270320758 937611264 20850 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915636

[startup+25.609 s]
/proc/loadavg: 1.95 1.98 1.93 3/88 11143
/proc/meminfo: memFree=1234072/2055920 swapFree=4184740/4192956
[pid=11135] ppid=11133 vsize=915636 CPUtime=25.31
/proc/11135/stat : 11135 (java) R 11133 11135 10632 0 -1 0 21726 0 12 0 2514 17 0 0 25 0 8 0 270320750 937611264 21469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795933 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11135/statm: 228909 21469 2182 14 0 215379 0
[pid=11135/tid=11137] ppid=11133 vsize=915636 CPUtime=0.12
/proc/11135/task/11137/stat : 11137 (java) S 11133 11135 10632 0 -1 64 5088 0 0 0 10 2 0 0 16 0 8 0 270320755 937611264 21469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11138] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11138/stat : 11138 (java) S 11133 11135 10632 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270320755 937611264 21469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11139] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11139/stat : 11139 (java) S 11133 11135 10632 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270320755 937611264 21469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11140] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11140/stat : 11140 (java) S 11133 11135 10632 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270320758 937611264 21469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11141] ppid=11133 vsize=915636 CPUtime=0.21
/proc/11135/task/11141/stat : 11141 (java) S 11133 11135 10632 0 -1 64 431 0 0 0 20 1 0 0 16 0 8 0 270320758 937611264 21469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11142] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11142/stat : 11142 (java) S 11133 11135 10632 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270320758 937611264 21469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11143] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11143/stat : 11143 (java) S 11133 11135 10632 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270320758 937611264 21469 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915636

[startup+51.2221 s]
/proc/loadavg: 1.96 1.98 1.93 3/88 11143
/proc/meminfo: memFree=1221848/2055920 swapFree=4184740/4192956
[pid=11135] ppid=11133 vsize=915636 CPUtime=50.69
/proc/11135/stat : 11135 (java) R 11133 11135 10632 0 -1 0 24791 0 12 0 5042 27 0 0 25 0 8 0 270320750 937611264 24531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795879 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11135/statm: 228909 24531 2182 14 0 215379 0
[pid=11135/tid=11137] ppid=11133 vsize=915636 CPUtime=0.23
/proc/11135/task/11137/stat : 11137 (java) S 11133 11135 10632 0 -1 64 8142 0 0 0 20 3 0 0 16 0 8 0 270320755 937611264 24531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11138] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11138/stat : 11138 (java) S 11133 11135 10632 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270320755 937611264 24531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11139] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11139/stat : 11139 (java) S 11133 11135 10632 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270320755 937611264 24531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11140] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11140/stat : 11140 (java) S 11133 11135 10632 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270320758 937611264 24531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11141] ppid=11133 vsize=915636 CPUtime=0.22
/proc/11135/task/11141/stat : 11141 (java) S 11133 11135 10632 0 -1 64 440 0 0 0 21 1 0 0 16 0 8 0 270320758 937611264 24531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11142] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11142/stat : 11142 (java) S 11133 11135 10632 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270320758 937611264 24531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11143] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11143/stat : 11143 (java) S 11133 11135 10632 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270320758 937611264 24531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 915636

[startup+102.46 s]
/proc/loadavg: 1.98 1.98 1.93 3/88 11143
/proc/meminfo: memFree=1200856/2055920 swapFree=4184740/4192956
[pid=11135] ppid=11133 vsize=915636 CPUtime=101.41
/proc/11135/stat : 11135 (java) R 11133 11135 10632 0 -1 0 30354 0 12 0 10096 45 0 0 25 0 8 0 270320750 937611264 30088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796725 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11135/statm: 228909 30088 2501 14 0 215379 0
[pid=11135/tid=11137] ppid=11133 vsize=915636 CPUtime=0.62
/proc/11135/task/11137/stat : 11137 (java) S 11133 11135 10632 0 -1 64 13325 0 0 0 57 5 0 0 16 0 8 0 270320755 937611264 30088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11138] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11138/stat : 11138 (java) S 11133 11135 10632 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270320755 937611264 30088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11139] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11139/stat : 11139 (java) S 11133 11135 10632 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270320755 937611264 30088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11140] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11140/stat : 11140 (java) S 11133 11135 10632 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270320758 937611264 30088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11141] ppid=11133 vsize=915636 CPUtime=0.27
/proc/11135/task/11141/stat : 11141 (java) S 11133 11135 10632 0 -1 64 469 0 0 0 26 1 0 0 16 0 8 0 270320758 937611264 30088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11142] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11142/stat : 11142 (java) S 11133 11135 10632 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270320758 937611264 30088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11143] ppid=11133 vsize=915636 CPUtime=0
/proc/11135/task/11143/stat : 11143 (java) S 11133 11135 10632 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270320758 937611264 30088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.41
Current children cumulated vsize (KiB) 915636

[startup+162.56 s]
/proc/loadavg: 1.99 1.98 1.93 5/88 11143
/proc/meminfo: memFree=1200984/2055920 swapFree=4184740/4192956
[pid=11135] ppid=11133 vsize=915636 CPUtime=160.94
/proc/11135/stat : 11135 (java) R 11133 11135 10632 0 -1 0 30356 0 12 0 16044 50 0 0 25 0 8 0 270320750 937611264 30090 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073978982 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2084.36 s]
/proc/loadavg: 2.00 2.00 1.97 3/80 11193
/proc/meminfo: memFree=1167264/2055920 swapFree=4184740/4192956
[pid=11135] ppid=11133 vsize=915936 CPUtime=2069.8
/proc/11135/stat : 11135 (java) R 11133 11135 10632 0 -1 0 39975 0 12 0 206909 71 0 0 25 0 8 0 270320750 937918464 39689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074249288 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11135/statm: 228984 39689 2548 14 0 215454 0
[pid=11135/tid=11137] ppid=11133 vsize=915936 CPUtime=0.74
/proc/11135/task/11137/stat : 11137 (java) S 11133 11135 10632 0 -1 64 22709 0 0 0 66 8 0 0 16 0 8 0 270320755 937918464 39689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11138] ppid=11133 vsize=915936 CPUtime=0
/proc/11135/task/11138/stat : 11138 (java) S 11133 11135 10632 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270320755 937918464 39689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11139] ppid=11133 vsize=915936 CPUtime=0
/proc/11135/task/11139/stat : 11139 (java) S 11133 11135 10632 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270320755 937918464 39689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11140] ppid=11133 vsize=915936 CPUtime=0
/proc/11135/task/11140/stat : 11140 (java) S 11133 11135 10632 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270320758 937918464 39689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11141] ppid=11133 vsize=915936 CPUtime=0.39
/proc/11135/task/11141/stat : 11141 (java) S 11133 11135 10632 0 -1 64 604 0 0 0 37 2 0 0 16 0 8 0 270320758 937918464 39689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11142] ppid=11133 vsize=915936 CPUtime=0
/proc/11135/task/11142/stat : 11142 (java) S 11133 11135 10632 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270320758 937918464 39689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11143] ppid=11133 vsize=915936 CPUtime=0
/proc/11135/task/11143/stat : 11143 (java) S 11133 11135 10632 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270320758 937918464 39689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2069.8
Current children cumulated vsize (KiB) 915936

[startup+2144.43 s]
/proc/loadavg: 2.00 2.00 1.97 3/80 11193
/proc/meminfo: memFree=1167328/2055920 swapFree=4184740/4192956
[pid=11135] ppid=11133 vsize=915936 CPUtime=2129.79
/proc/11135/stat : 11135 (java) R 11133 11135 10632 0 -1 0 39984 0 12 0 212908 71 0 0 25 0 8 0 270320750 937918464 39696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074240388 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11135/statm: 228984 39696 2551 14 0 215454 0
[pid=11135/tid=11137] ppid=11133 vsize=915936 CPUtime=0.74
/proc/11135/task/11137/stat : 11137 (java) S 11133 11135 10632 0 -1 64 22710 0 0 0 66 8 0 0 16 0 8 0 270320755 937918464 39696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11135/tid=11138] ppid=11133 vsize=915936 CPUtime=0
/proc/11135/task/11138/stat : 11138 (java) S 11133 11135 10632 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270320755 937918464 39696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11139] ppid=11133 vsize=915936 CPUtime=0
/proc/11135/task/11139/stat : 11139 (java) S 11133 11135 10632 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270320755 937918464 39696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11140] ppid=11133 vsize=915936 CPUtime=0
/proc/11135/task/11140/stat : 11140 (java) S 11133 11135 10632 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270320758 937918464 39696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11141] ppid=11133 vsize=915936 CPUtime=0.39
/proc/11135/task/11141/stat : 11141 (java) S 11133 11135 10632 0 -1 64 607 0 0 0 37 2 0 0 16 0 8 0 270320758 937918464 39696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11135/tid=11142] ppid=11133 vsize=915936 CPUtime=0
/proc/11135/task/11142/stat : 11142 (java) S 11133 11135 10632 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270320758 937918464 39696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11143] ppid=11133 vsize=915936 CPUtime=0
/proc/11135/task/11143/stat : 11143 (java) S 11133 11135 10632 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270320758 937918464 39696 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2129.79
Current children cumulated vsize (KiB) 915936

[startup+2204.49 s]
/proc/loadavg: 2.00 2.00 1.97 3/80 11193
/proc/meminfo: memFree=1167328/2055920 swapFree=4184740/4192956
[pid=11135] ppid=11133 vsize=915744 CPUtime=2189.81
/proc/11135/stat : 11135 (java) R 11133 11135 10632 0 -1 0 39988 0 12 0 218909 72 0 0 25 0 8 0 270320750 937721856 39670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074325750 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11135/statm: 228936 39670 2551 14 0 215406 0
[pid=11135/tid=11137] ppid=11133 vsize=915744 CPUtime=0.74
/proc/11135/task/11137/stat : 11137 (java) S 11133 11135 10632 0 -1 64 22710 0 0 0 66 8 0 0 16 0 8 0 270320755 937721856 39670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11135/tid=11138] ppid=11133 vsize=915744 CPUtime=0
/proc/11135/task/11138/stat : 11138 (java) S 11133 11135 10632 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270320755 937721856 39670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11139] ppid=11133 vsize=915744 CPUtime=0
/proc/11135/task/11139/stat : 11139 (java) S 11133 11135 10632 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270320755 937721856 39670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11140] ppid=11133 vsize=915744 CPUtime=0
/proc/11135/task/11140/stat : 11140 (java) S 11133 11135 10632 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270320758 937721856 39670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11141] ppid=11133 vsize=915744 CPUtime=0.4
/proc/11135/task/11141/stat : 11141 (java) S 11133 11135 10632 0 -1 64 610 0 0 0 38 2 0 0 16 0 8 0 270320758 937721856 39670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11135/tid=11142] ppid=11133 vsize=915744 CPUtime=0
/proc/11135/task/11142/stat : 11142 (java) S 11133 11135 10632 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270320758 937721856 39670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11143] ppid=11133 vsize=915744 CPUtime=0
/proc/11135/task/11143/stat : 11143 (java) S 11133 11135 10632 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270320758 937721856 39670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2189.81
Current children cumulated vsize (KiB) 915744

[startup+2264.55 s]
/proc/loadavg: 2.00 2.00 1.97 3/80 11193
/proc/meminfo: memFree=1167392/2055920 swapFree=4184740/4192956
[pid=11135] ppid=11133 vsize=915744 CPUtime=2249.82
/proc/11135/stat : 11135 (java) R 11133 11135 10632 0 -1 0 39988 0 12 0 224910 72 0 0 25 0 8 0 270320750 937721856 39670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074325776 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11135/statm: 228936 39670 2551 14 0 215406 0
[pid=11135/tid=11137] ppid=11133 vsize=915744 CPUtime=0.74
/proc/11135/task/11137/stat : 11137 (java) S 11133 11135 10632 0 -1 64 22710 0 0 0 66 8 0 0 16 0 8 0 270320755 937721856 39670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11135/tid=11138] ppid=11133 vsize=915744 CPUtime=0
/proc/11135/task/11138/stat : 11138 (java) S 11133 11135 10632 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270320755 937721856 39670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11139] ppid=11133 vsize=915744 CPUtime=0
/proc/11135/task/11139/stat : 11139 (java) S 11133 11135 10632 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270320755 937721856 39670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11140] ppid=11133 vsize=915744 CPUtime=0
/proc/11135/task/11140/stat : 11140 (java) S 11133 11135 10632 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270320758 937721856 39670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11141] ppid=11133 vsize=915744 CPUtime=0.4
/proc/11135/task/11141/stat : 11141 (java) S 11133 11135 10632 0 -1 64 610 0 0 0 38 2 0 0 16 0 8 0 270320758 937721856 39670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11135/tid=11142] ppid=11133 vsize=915744 CPUtime=0
/proc/11135/task/11142/stat : 11142 (java) S 11133 11135 10632 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270320758 937721856 39670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11143] ppid=11133 vsize=915744 CPUtime=0
/proc/11135/task/11143/stat : 11143 (java) S 11133 11135 10632 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270320758 937721856 39670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2249.82
Current children cumulated vsize (KiB) 915744

[startup+2324.61 s]
/proc/loadavg: 2.00 2.00 1.97 3/80 11193
/proc/meminfo: memFree=1167392/2055920 swapFree=4184740/4192956
[pid=11135] ppid=11133 vsize=915744 CPUtime=2309.8
/proc/11135/stat : 11135 (java) R 11133 11135 10632 0 -1 0 39988 0 12 0 230908 72 0 0 25 0 8 0 270320750 937721856 39670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074213043 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11135/statm: 228936 39670 2551 14 0 215406 0
[pid=11135/tid=11137] ppid=11133 vsize=915744 CPUtime=0.74
/proc/11135/task/11137/stat : 11137 (java) S 11133 11135 10632 0 -1 64 22710 0 0 0 66 8 0 0 16 0 8 0 270320755 937721856 39670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11135/tid=11138] ppid=11133 vsize=915744 CPUtime=0
/proc/11135/task/11138/stat : 11138 (java) S 11133 11135 10632 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270320755 937721856 39670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11139] ppid=11133 vsize=915744 CPUtime=0
/proc/11135/task/11139/stat : 11139 (java) S 11133 11135 10632 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270320755 937721856 39670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11140] ppid=11133 vsize=915744 CPUtime=0
/proc/11135/task/11140/stat : 11140 (java) S 11133 11135 10632 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270320758 937721856 39670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11141] ppid=11133 vsize=915744 CPUtime=0.4
/proc/11135/task/11141/stat : 11141 (java) S 11133 11135 10632 0 -1 64 610 0 0 0 38 2 0 0 16 0 8 0 270320758 937721856 39670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11135/tid=11142] ppid=11133 vsize=915744 CPUtime=0
/proc/11135/task/11142/stat : 11142 (java) S 11133 11135 10632 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270320758 937721856 39670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11143] ppid=11133 vsize=915744 CPUtime=0
/proc/11135/task/11143/stat : 11143 (java) S 11133 11135 10632 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270320758 937721856 39670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2309.8
Current children cumulated vsize (KiB) 915744

[startup+2384.67 s]
/proc/loadavg: 2.00 2.00 1.97 3/80 11193
/proc/meminfo: memFree=1167392/2055920 swapFree=4184740/4192956
[pid=11135] ppid=11133 vsize=915744 CPUtime=2369.81
/proc/11135/stat : 11135 (java) R 11133 11135 10632 0 -1 0 39990 0 12 0 236909 72 0 0 25 0 8 0 270320750 937721856 39671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800280 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11135/statm: 228936 39671 2551 14 0 215406 0
[pid=11135/tid=11137] ppid=11133 vsize=915744 CPUtime=0.74
/proc/11135/task/11137/stat : 11137 (java) S 11133 11135 10632 0 -1 64 22710 0 0 0 66 8 0 0 16 0 8 0 270320755 937721856 39671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11135/tid=11138] ppid=11133 vsize=915744 CPUtime=0
/proc/11135/task/11138/stat : 11138 (java) S 11133 11135 10632 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270320755 937721856 39671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11139] ppid=11133 vsize=915744 CPUtime=0
/proc/11135/task/11139/stat : 11139 (java) S 11133 11135 10632 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270320755 937721856 39671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11140] ppid=11133 vsize=915744 CPUtime=0
/proc/11135/task/11140/stat : 11140 (java) S 11133 11135 10632 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270320758 937721856 39671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11141] ppid=11133 vsize=915744 CPUtime=0.4
/proc/11135/task/11141/stat : 11141 (java) S 11133 11135 10632 0 -1 64 612 0 0 0 38 2 0 0 16 0 8 0 270320758 937721856 39671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11135/tid=11142] ppid=11133 vsize=915744 CPUtime=0
/proc/11135/task/11142/stat : 11142 (java) S 11133 11135 10632 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270320758 937721856 39671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11143] ppid=11133 vsize=915744 CPUtime=0
/proc/11135/task/11143/stat : 11143 (java) S 11133 11135 10632 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270320758 937721856 39671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2369.81
Current children cumulated vsize (KiB) 915744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2414.91 s]
/proc/loadavg: 2.00 2.00 1.97 3/80 11193
/proc/meminfo: memFree=1167392/2055920 swapFree=4184740/4192956
[pid=11135] ppid=11133 vsize=915744 CPUtime=2400.02
/proc/11135/stat : 11135 (java) R 11133 11135 10632 0 -1 0 39990 0 12 0 239930 72 0 0 25 0 8 0 270320750 937721856 39671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11135/statm: 228936 39671 2551 14 0 215406 0
[pid=11135/tid=11137] ppid=11133 vsize=915744 CPUtime=0.74
/proc/11135/task/11137/stat : 11137 (java) S 11133 11135 10632 0 -1 64 22710 0 0 0 66 8 0 0 16 0 8 0 270320755 937721856 39671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11135/tid=11138] ppid=11133 vsize=915744 CPUtime=0
/proc/11135/task/11138/stat : 11138 (java) S 11133 11135 10632 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270320755 937721856 39671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11139] ppid=11133 vsize=915744 CPUtime=0
/proc/11135/task/11139/stat : 11139 (java) S 11133 11135 10632 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270320755 937721856 39671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11140] ppid=11133 vsize=915744 CPUtime=0
/proc/11135/task/11140/stat : 11140 (java) S 11133 11135 10632 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270320758 937721856 39671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11141] ppid=11133 vsize=915744 CPUtime=0.4
/proc/11135/task/11141/stat : 11141 (java) S 11133 11135 10632 0 -1 64 612 0 0 0 38 2 0 0 16 0 8 0 270320758 937721856 39671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11135/tid=11142] ppid=11133 vsize=915744 CPUtime=0
/proc/11135/task/11142/stat : 11142 (java) S 11133 11135 10632 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270320758 937721856 39671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11135/tid=11143] ppid=11133 vsize=915744 CPUtime=0
/proc/11135/task/11143/stat : 11143 (java) S 11133 11135 10632 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270320758 937721856 39671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 915744

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

Child status: 143
Real time (s): 2414.95
CPU time (s): 2400.07
CPU user time (s): 2399.32
CPU system time (s): 0.750885
CPU usage (%): 99.3835
Max. virtual memory (cumulated for all children) (KiB): 915936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.32
system time used= 0.750885
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40012
page faults= 12
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50680
involuntary context switches= 78648

runsolver used 3.05653 s user time and 7.74982 s system time

The end

Launcher Data (download as text)

Begin job on node35 on Fri Jan 19 15:07:51 UTC 2007


IDJOB= 275280
IDBENCH= 3763
IDSOLVER= 69
FILE ID= node35/275280-1169219271

PBS_JOBID= 3589161

Free space on /tmp= 66561 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  69b107b4e08702b8ad8f64aec9f1ccc3

RANDOM SEED= 839704198

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.234
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.234
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:       1314928 kB
Buffers:         42396 kB
Cached:         601952 kB
SwapCached:       2264 kB
Active:         175320 kB
Inactive:       493908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1314928 kB
SwapTotal:     4192956 kB
SwapFree:      4184740 kB
Dirty:            3708 kB
Writeback:           0 kB
Mapped:          39256 kB
Slab:            56924 kB
Committed_AS:  4956944 kB
PageTables:       1884 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 node35 on Fri Jan 19 15:48:06 UTC 2007