Trace number 275279

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.16 2408.37

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.39	   
0.39	Abscon 109 (November, 2006)
0.39	   
0.39	   configuration
0.39	     name=epfc.xml
0.45	   
0.45	   instance
0.45	     name=/tmp/evaluation/275279-1169219255/unknown.xml
0.48	   
0.48	   domains being loaded...
0.52	   
0.52	   variables being loaded...
0.67	     nbVariables=1000  nbDomainTypes=18  minDomainSize=50  maxDomainSize=362
0.67	       =>  wckTime=0.275  cpuTime=0.19  mem=17M615
0.67	   
0.67	   predicates being loaded...
0.67	   
0.67	   constraints being loaded...
61.15	   
61.15	   INFO : Stopping converting binary constraints (cpu=60.03, mem = 39M596)
62.06	     nbConstraints=15032  nbConvertedConstraints=4741  nbConvertConstraintsChecks=203693264  nbExtensionStructures=2802
62.06	     nbSharedExtensionStructures=1939  nbConflictsStructures=2802  nbSharedConflictsStructures=1939
62.06	     nbSharedBinaryRepresentations=1427016  nbEvaluationManagers=5100  nbSharedEvaluationManagers=5191  maxDegree=51
62.06	     maxArity=2
62.06	       =>  wckTime=61.666  cpuTime=60.77  mem=56M711
62.28	   
62.28	   solver LocalSearchSolver being built... 
62.31	       =>  wckTime=61.923  cpuTime=60.81  mem=48M214
62.39	
62.39	s SATISFIABLE
62.39	o 11807
62.39	c 3225
62.43	o 11816
62.43	c 3216
62.46	o 11826
62.46	c 3206
62.50	o 11832
62.50	c 3200
62.53	o 11838
62.53	c 3194
62.56	o 11844
62.56	c 3188
62.59	o 11849
62.59	c 3183
62.61	o 11858
62.61	c 3174
62.65	o 11866
62.65	c 3166
62.67	o 11873
62.67	c 3159
62.69	o 11876
62.69	c 3156
62.72	o 11878
62.72	c 3154
62.73	o 11880
62.73	c 3152
62.77	o 11887
62.77	c 3145
62.80	o 11893
62.80	c 3139
62.83	o 11899
62.83	c 3133
62.86	o 11905
62.86	c 3127
62.89	o 11909
62.89	c 3123
62.91	o 11914
62.91	c 3118
62.94	o 11918
62.94	c 3114
62.97	o 11929
62.97	c 3103
62.99	o 11932
62.99	c 3100
63.00	o 11935
63.00	c 3097
63.01	o 11938
63.01	c 3094
63.03	o 11941
63.03	c 3091
63.05	o 11949
63.05	c 3083
63.06	o 11954
63.06	c 3078
63.08	o 11959
63.08	c 3073
63.09	o 11968
63.09	c 3064
63.12	o 11976
63.12	c 3056
63.14	o 11979
63.14	c 3053
63.17	o 11987
63.17	c 3045
63.19	o 11991
63.19	c 3041
63.22	o 11998
63.22	c 3034
63.25	o 12005
63.25	c 3027
63.28	o 12011
63.28	c 3021
63.30	o 12016
63.30	c 3016
63.33	o 12021
63.33	c 3011
63.36	o 12025
63.36	c 3007
63.38	o 12029
63.38	c 3003
63.41	o 12032
63.41	c 3000
63.43	o 12035
63.43	c 2997
63.45	o 12038
63.45	c 2994
63.47	o 12040
63.47	c 2992
63.49	o 12041
63.49	c 2991
63.55	o 12045
63.55	c 2987
63.58	o 12051
63.58	c 2981
63.61	o 12054
63.61	c 2978
63.66	o 12059
63.66	c 2973
63.70	o 12066
63.70	c 2966
63.72	o 12073
63.72	c 2959
63.75	o 12079
63.75	c 2953
63.78	o 12084
63.78	c 2948
63.82	o 12089
63.82	c 2943
63.84	o 12094
63.84	c 2938
63.87	o 12098
63.87	c 2934
63.90	o 12101
63.90	c 2931
63.93	o 12104
63.93	c 2928
63.95	o 12107
63.95	c 2925
63.97	o 12109
63.97	c 2923
63.99	o 12111
63.99	c 2921
64.01	o 12112
64.01	c 2920
64.04	o 12115
64.04	c 2917
64.14	o 12118
64.14	c 2914
64.19	o 12121
64.19	c 2911
64.20	o 12123
64.20	c 2909
64.22	o 12128
64.22	c 2904
64.23	o 12135
64.23	c 2897
64.26	o 12138
64.26	c 2894
64.28	o 12145
64.28	c 2887
64.31	o 12149
64.31	c 2883
64.33	o 12154
64.33	c 2878
64.35	o 12156
64.35	c 2876
64.37	o 12158
64.37	c 2874
64.38	o 12165
64.38	c 2867
64.40	o 12166
64.40	c 2866
64.42	o 12171
64.42	c 2861
64.42	o 12174
64.42	c 2858
64.45	o 12177
64.45	c 2855
64.47	o 12185
64.47	c 2847
64.50	o 12191
64.50	c 2841
64.54	o 12197
64.54	c 2835
64.57	o 12203
64.57	c 2829
64.59	o 12209
64.59	c 2823
64.62	o 12215
64.62	c 2817
64.64	o 12220
64.64	c 2812
64.68	o 12224
64.68	c 2808
64.70	o 12227
64.70	c 2805
64.72	o 12230
64.72	c 2802
64.74	o 12233
64.74	c 2799
64.76	o 12235
64.76	c 2797
64.79	o 12237
64.79	c 2795
64.81	o 12239
64.81	c 2793
64.84	o 12241
64.84	c 2791
64.86	o 12242
64.86	c 2790
64.88	o 12243
64.88	c 2789
64.90	o 12244
64.90	c 2788
64.91	o 12245
64.91	c 2787
64.95	o 12251
64.95	c 2781
64.96	o 12253
64.96	c 2779
65.01	o 12258
65.01	c 2774
65.02	o 12263
65.02	c 2769
65.04	o 12265
65.04	c 2767
65.07	o 12271
65.07	c 2761
65.09	o 12277
65.09	c 2755
65.10	o 12280
65.10	c 2752
65.14	o 12287
65.14	c 2745
65.16	o 12292
65.16	c 2740
65.21	o 12293
65.21	c 2739
65.22	o 12296
65.22	c 2736
65.25	o 12298
65.25	c 2734
65.26	o 12299
65.26	c 2733
65.29	o 12301
65.29	c 2731
65.32	o 12303
65.32	c 2729
65.34	o 12306
65.34	c 2726
65.37	o 12309
65.37	c 2723
65.39	o 12315
65.39	c 2717
65.42	o 12319
65.42	c 2713
65.43	o 12321
65.43	c 2711
65.46	o 12322
65.46	c 2710
65.49	o 12324
65.49	c 2708
65.52	o 12330
65.52	c 2702
65.55	o 12335
65.55	c 2697
65.56	o 12340
65.56	c 2692
65.63	o 12346
65.63	c 2686
65.66	o 12350
65.66	c 2682
65.69	o 12355
65.69	c 2677
65.72	o 12359
65.72	c 2673
65.79	o 12363
65.79	c 2669
65.82	o 12371
65.82	c 2661
65.85	o 12374
65.85	c 2658
65.89	o 12376
65.89	c 2656
65.91	o 12378
65.91	c 2654
65.95	o 12385
65.95	c 2647
65.99	o 12387
65.99	c 2645
66.01	o 12388
66.01	c 2644
66.03	o 12389
66.03	c 2643
66.09	o 12393
66.09	c 2639
66.11	o 12395
66.11	c 2637
66.15	o 12399
66.15	c 2633
66.17	o 12402
66.17	c 2630
66.20	o 12406
66.20	c 2626
66.21	o 12410
66.21	c 2622
66.24	o 12412
66.24	c 2620
66.27	o 12420
66.27	c 2612
66.32	o 12423
66.32	c 2609
66.39	o 12427
66.39	c 2605
66.44	o 12430
66.44	c 2602
66.48	o 12434
66.48	c 2598
66.58	o 12436
66.58	c 2596
66.62	o 12439
66.62	c 2593
66.64	o 12441
66.64	c 2591
66.67	o 12444
66.67	c 2588
66.71	o 12447
66.71	c 2585
66.74	o 12451
66.74	c 2581
66.77	o 12454
66.77	c 2578
66.81	o 12456
66.81	c 2576
66.85	o 12460
66.85	c 2572
66.89	o 12462
66.89	c 2570
66.92	o 12464
66.92	c 2568
66.96	o 12468
66.96	c 2564
66.99	o 12470
66.99	c 2562
67.06	o 12472
67.06	c 2560
67.10	o 12475
67.10	c 2557
67.13	o 12476
67.13	c 2556
67.15	o 12480
67.15	c 2552
67.18	o 12482
67.18	c 2550
67.21	o 12483
67.21	c 2549
67.23	o 12485
67.23	c 2547
67.26	o 12488
67.26	c 2544
67.29	o 12492
67.29	c 2540
67.32	o 12496
67.32	c 2536
67.35	o 12499
67.35	c 2533
67.39	o 12501
67.39	c 2531
67.40	o 12504
67.40	c 2528
67.42	o 12507
67.42	c 2525
67.45	o 12514
67.45	c 2518
67.48	o 12516
67.48	c 2516
67.51	o 12518
67.51	c 2514
67.52	o 12521
67.52	c 2511
67.54	o 12524
67.54	c 2508
67.57	o 12525
67.57	c 2507
67.60	o 12530
67.60	c 2502
67.63	o 12533
67.63	c 2499
67.65	o 12534
67.65	c 2498
67.68	o 12538
67.68	c 2494
67.71	o 12540
67.71	c 2492
67.73	o 12541
67.73	c 2491
67.77	o 12544
67.77	c 2488
67.79	o 12546
67.79	c 2486
67.89	o 12549
67.89	c 2483
67.92	o 12552
67.92	c 2480
67.94	o 12558
67.94	c 2474
67.97	o 12560
67.97	c 2472
68.00	o 12566
68.00	c 2466
68.03	o 12569
68.03	c 2463
68.09	o 12573
68.09	c 2459
68.16	o 12576
68.16	c 2456
68.18	o 12577
68.18	c 2455
68.22	o 12580
68.22	c 2452
68.25	o 12582
68.25	c 2450
68.27	o 12583
68.27	c 2449
68.30	o 12585
68.30	c 2447
68.33	o 12586
68.33	c 2446
68.35	o 12594
68.35	c 2438
68.41	o 12597
68.41	c 2435
68.44	o 12600
68.44	c 2432
68.47	o 12603
68.47	c 2429
68.50	o 12607
68.50	c 2425
68.53	o 12609
68.53	c 2423
68.56	o 12612
68.56	c 2420
68.59	o 12617
68.59	c 2415
68.63	o 12620
68.63	c 2412
68.66	o 12621
68.66	c 2411
68.69	o 12624
68.69	c 2408
68.72	o 12628
68.72	c 2404
68.75	o 12629
68.75	c 2403
68.78	o 12630
68.79	c 2402
68.81	o 12636
68.81	c 2396
68.90	o 12639
68.90	c 2393
68.93	o 12643
68.93	c 2389
68.96	o 12645
68.96	c 2387
68.98	o 12648
68.98	c 2384
69.01	o 12651
69.01	c 2381
69.05	o 12653
69.05	c 2379
69.08	o 12659
69.08	c 2373
69.12	o 12662
69.12	c 2370
69.15	o 12666
69.15	c 2366
69.19	o 12670
69.19	c 2362
69.26	o 12674
69.26	c 2358
69.28	o 12677
69.28	c 2355
69.33	o 12679
69.33	c 2353
69.37	o 12680
69.37	c 2352
69.41	o 12682
69.41	c 2350
69.47	o 12685
69.47	c 2347
69.50	o 12686
69.50	c 2346
69.56	o 12690
69.56	c 2342
69.60	o 12694
69.60	c 2338
69.62	o 12700
69.62	c 2332
69.66	o 12705
69.66	c 2327
69.70	o 12707
69.70	c 2325
69.75	o 12709
69.75	c 2323
69.77	o 12711
69.77	c 2321
69.82	o 12715
69.82	c 2317
69.85	o 12716
69.85	c 2316
69.89	o 12718
69.89	c 2314
69.91	o 12719
69.92	c 2313
69.95	o 12720
69.95	c 2312
70.09	o 12723
70.09	c 2309
70.12	o 12724
70.12	c 2308
70.14	o 12728
70.14	c 2304
70.18	o 12733
70.18	c 2299
70.25	o 12735
70.25	c 2297
70.28	o 12736
70.28	c 2296
70.32	o 12739
70.32	c 2293
70.36	o 12740
70.36	c 2292
70.40	o 12742
70.40	c 2290
70.44	o 12743
70.44	c 2289
70.47	o 12747
70.47	c 2285
70.50	o 12754
70.50	c 2278
70.54	o 12755
70.54	c 2277
70.57	o 12760
70.57	c 2272
70.61	o 12764
70.61	c 2268
70.69	o 12769
70.69	c 2263
70.73	o 12770
70.73	c 2262
70.76	o 12772
70.76	c 2260
70.81	o 12778
70.81	c 2254
70.84	o 12783
70.84	c 2249
70.98	o 12785
70.98	c 2247
71.02	o 12790
71.02	c 2242
71.05	o 12791
71.05	c 2241
71.13	o 12796
71.13	c 2236
71.17	o 12797
71.17	c 2235
71.19	o 12799
71.19	c 2233
71.23	o 12802
71.23	c 2230
71.30	o 12803
71.30	c 2229
71.33	o 12807
71.33	c 2225
71.36	o 12810
71.36	c 2222
71.39	o 12812
71.39	c 2220
71.43	o 12815
71.43	c 2217
71.47	o 12821
71.47	c 2211
71.52	o 12822
71.52	c 2210
71.61	o 12824
71.61	c 2208
71.66	o 12827
71.66	c 2205
71.70	o 12831
71.70	c 2201
71.73	o 12832
71.73	c 2200
71.78	o 12833
71.78	c 2199
71.87	o 12834
71.87	c 2198
71.93	o 12839
71.93	c 2193
71.98	o 12844
71.98	c 2188
72.02	o 12846
72.02	c 2186
72.08	o 12847
72.08	c 2185
72.13	o 12852
72.13	c 2180
72.31	o 12854
72.31	c 2178
72.44	o 12858
72.44	c 2174
72.48	o 12860
72.48	c 2172
72.52	o 12864
72.52	c 2168
72.56	o 12865
72.56	c 2167
72.64	o 12866
72.64	c 2166
72.69	o 12867
72.69	c 2165
72.77	o 12870
72.77	c 2162
72.81	o 12874
72.81	c 2158
72.85	o 12876
72.85	c 2156
72.93	o 12877
72.93	c 2155
72.97	o 12878
72.97	c 2154
73.02	o 12882
73.02	c 2150
73.07	o 12883
73.07	c 2149
73.11	o 12885
73.11	c 2147
73.15	o 12887
73.15	c 2145
73.26	o 12890
73.26	c 2142
73.30	o 12891
73.30	c 2141
73.34	o 12894
73.34	c 2138
73.46	o 12895
73.46	c 2137
73.49	o 12898
73.49	c 2134
73.53	o 12899
73.53	c 2133
73.57	o 12900
73.57	c 2132
73.62	o 12901
73.62	c 2131
73.66	o 12903
73.66	c 2129
73.74	o 12906
73.74	c 2126
73.77	o 12914
73.77	c 2118
73.81	o 12916
73.81	c 2116
73.85	o 12918
73.85	c 2114
73.89	o 12925
73.89	c 2107
73.93	o 12927
73.93	c 2105
73.97	o 12929
73.97	c 2103
74.05	o 12931
74.05	c 2101
74.09	o 12934
74.09	c 2098
74.14	o 12940
74.14	c 2092
74.28	o 12942
74.28	c 2090
74.32	o 12944
74.32	c 2088
74.40	o 12945
74.40	c 2087
74.44	o 12946
74.45	c 2086
74.48	o 12950
74.48	c 2082
74.60	o 12951
74.60	c 2081
74.64	o 12954
74.64	c 2078
74.68	o 12956
74.68	c 2076
74.72	o 12958
74.72	c 2074
74.76	o 12961
74.76	c 2071
74.80	o 12962
74.80	c 2070
74.83	o 12966
74.84	c 2066
74.90	o 12968
74.90	c 2064
74.94	o 12972
74.94	c 2060
74.98	o 12973
74.98	c 2059
75.01	o 12977
75.01	c 2055
75.05	o 12980
75.05	c 2052
75.09	o 12984
75.09	c 2048
75.13	o 12989
75.13	c 2043
75.17	o 12994
75.17	c 2038
75.25	o 12996
75.25	c 2036
75.30	o 13001
75.30	c 2031
75.33	o 13004
75.33	c 2028
75.37	o 13009
75.37	c 2023
75.41	o 13011
75.41	c 2021
75.54	o 13012
75.54	c 2020
75.57	o 13015
75.57	c 2017
75.63	o 13016
75.63	c 2016
75.68	o 13021
75.68	c 2011
75.71	o 13023
75.71	c 2009
75.73	o 13024
75.74	c 2008
75.77	o 13028
75.77	c 2004
75.81	o 13029
75.81	c 2003
75.85	o 13031
75.85	c 2001
75.88	o 13033
75.88	c 1999
75.92	o 13037
75.92	c 1995
75.96	o 13038
75.96	c 1994
76.03	o 13039
76.03	c 1993
76.07	o 13040
76.07	c 1992
76.11	o 13041
76.11	c 1991
76.23	o 13042
76.23	c 1990
76.47	o 13043
76.47	c 1989
76.52	o 13045
76.52	c 1987
76.70	o 13046
76.70	c 1986
76.85	o 13049
76.85	c 1983
76.90	o 13050
76.90	c 1982
76.92	o 13053
76.92	c 1979
76.96	o 13057
76.96	c 1975
77.00	o 13061
77.00	c 1971
77.04	o 13064
77.04	c 1968
77.08	o 13070
77.08	c 1962
77.12	o 13073
77.12	c 1959
77.16	o 13074
77.16	c 1958
77.20	o 13076
77.20	c 1956
77.24	o 13081
77.24	c 1951
77.28	o 13082
77.28	c 1950
77.31	o 13083
77.31	c 1949
77.38	o 13086
77.38	c 1946
77.42	o 13088
77.42	c 1944
77.46	o 13090
77.46	c 1942
77.50	o 13092
77.50	c 1940
77.54	o 13095
77.54	c 1937
77.57	o 13100
77.57	c 1932
77.61	o 13101
77.61	c 1931
77.65	o 13104
77.65	c 1928
77.70	o 13106
77.70	c 1926
77.73	o 13108
77.73	c 1924
77.77	o 13110
77.77	c 1922
77.88	o 13112
77.88	c 1920
77.91	o 13113
77.91	c 1919
77.95	o 13117
77.95	c 1915
78.04	o 13118
78.04	c 1914
78.14	o 13119
78.14	c 1913
78.19	o 13120
78.19	c 1912
78.24	o 13121
78.24	c 1911
78.33	o 13123
78.33	c 1909
78.39	o 13126
78.39	c 1906
78.48	o 13127
78.48	c 1905
78.64	o 13131
78.64	c 1901
78.74	o 13132
78.74	c 1900
78.97	o 13134
78.97	c 1898
79.03	o 13136
79.03	c 1896
79.09	o 13137
79.09	c 1895
79.17	o 13143
79.17	c 1889
79.24	o 13144
79.24	c 1888
79.31	o 13147
79.31	c 1885
79.60	o 13149
79.60	c 1883
79.72	o 13150
79.72	c 1882
79.79	o 13151
79.79	c 1881
80.12	o 13158
80.12	c 1874
80.18	o 13162
80.18	c 1870
80.25	o 13167
80.25	c 1865
80.40	o 13170
80.40	c 1862
80.47	o 13172
80.47	c 1860
80.54	o 13175
80.54	c 1857
80.60	o 13176
80.60	c 1856
80.66	o 13177
80.66	c 1855
80.73	o 13180
80.73	c 1852
80.87	o 13182
80.87	c 1850
81.01	o 13184
81.01	c 1848
81.09	o 13186
81.09	c 1846
81.16	o 13187
81.16	c 1845
81.22	o 13189
81.22	c 1843
81.30	o 13191
81.30	c 1841
81.36	o 13195
81.36	c 1837
81.42	o 13198
81.42	c 1834
81.60	o 13199
81.60	c 1833
81.67	o 13202
81.67	c 1830
81.72	o 13204
81.72	c 1828
81.79	o 13207
81.79	c 1825
81.85	o 13213
81.85	c 1819
81.92	o 13214
81.92	c 1818
81.98	o 13216
81.98	c 1816
82.05	o 13219
82.05	c 1813
82.13	o 13223
82.13	c 1809
82.20	o 13224
82.20	c 1808
82.28	o 13228
82.28	c 1804
82.35	o 13229
82.35	c 1803
82.42	o 13231
82.42	c 1801
82.50	o 13233
82.50	c 1799
82.58	o 13240
82.58	c 1792
82.66	o 13243
82.66	c 1789
82.74	o 13246
82.74	c 1786
82.81	o 13252
82.81	c 1780
83.23	o 13254
83.23	c 1778
83.39	o 13256
83.39	c 1776
83.55	o 13259
83.55	c 1773
83.61	o 13260
83.61	c 1772
83.69	o 13261
83.69	c 1771
83.77	o 13264
83.77	c 1768
83.84	o 13265
83.84	c 1767
83.92	o 13269
83.92	c 1763
84.07	o 13270
84.07	c 1762
84.15	o 13272
84.15	c 1760
84.38	o 13273
84.38	c 1759
84.54	o 13276
84.54	c 1756
84.68	o 13279
84.68	c 1753
84.81	o 13283
84.81	c 1749
84.95	o 13285
84.95	c 1747
85.02	o 13289
85.02	c 1743
85.13	o 13291
85.13	c 1741
85.20	o 13292
85.20	c 1740
85.28	o 13295
85.28	c 1737
85.36	o 13297
85.36	c 1735
85.51	o 13300
85.51	c 1732
85.58	o 13304
85.58	c 1728
85.65	o 13305
85.65	c 1727
85.72	o 13307
85.72	c 1725
85.80	o 13312
85.80	c 1720
85.87	o 13313
85.87	c 1719
86.01	o 13314
86.02	c 1718
86.15	o 13316
86.15	c 1716
86.23	o 13318
86.23	c 1714
86.30	o 13319
86.30	c 1713
86.44	o 13322
86.44	c 1710
86.52	o 13325
86.52	c 1707
86.59	o 13327
86.59	c 1705
86.95	o 13330
86.95	c 1702
87.03	o 13331
87.03	c 1701
87.16	o 13335
87.16	c 1697
87.30	o 13337
87.30	c 1695
87.37	o 13339
87.37	c 1693
87.45	o 13341
87.45	c 1691
87.51	o 13344
87.51	c 1688
87.59	o 13348
87.59	c 1684
87.72	o 13350
87.72	c 1682
87.79	o 13351
87.79	c 1681
87.85	o 13354
87.85	c 1678
87.91	o 13357
87.91	c 1675
87.98	o 13358
87.98	c 1674
88.05	o 13361
88.05	c 1671
88.12	o 13362
88.12	c 1670
88.19	o 13365
88.19	c 1667
88.25	o 13369
88.25	c 1663
88.31	o 13371
88.31	c 1661
88.45	o 13374
88.45	c 1658
88.81	o 13376
88.81	c 1656
89.29	o 13378
89.29	c 1654
89.35	o 13383
89.35	c 1649
89.50	o 13386
89.50	c 1646
89.57	o 13389
89.57	c 1643
89.78	o 13391
89.78	c 1641
89.86	o 13393
89.86	c 1639
89.93	o 13396
89.93	c 1636
90.01	o 13399
90.01	c 1633
90.08	o 13403
90.08	c 1629
90.15	o 13406
90.15	c 1626
90.29	o 13407
90.29	c 1625
90.43	o 13408
90.43	c 1624
90.49	o 13411
90.49	c 1621
90.56	o 13412
90.56	c 1620
90.62	o 13414
90.62	c 1618
90.77	o 13416
90.77	c 1616
90.85	o 13418
90.85	c 1614
91.00	o 13422
91.00	c 1610
91.08	o 13424
91.08	c 1608
91.15	o 13425
91.15	c 1607
91.38	o 13427
91.38	c 1605
91.44	o 13428
91.45	c 1604
91.68	o 13429
91.68	c 1603
91.75	o 13430
91.75	c 1602
92.31	o 13431
92.31	c 1601
92.36	o 13433
92.36	c 1599
92.50	o 13434
92.50	c 1598
92.90	o 13436
92.90	c 1596
92.98	o 13438
92.98	c 1594
93.41	o 13439
93.41	c 1593
93.49	o 13440
93.49	c 1592
93.57	o 13443
93.57	c 1589
93.65	o 13445
93.65	c 1587
93.80	o 13449
93.80	c 1583
94.01	o 13450
94.01	c 1582
94.52	o 13451
94.52	c 1581
94.60	o 13453
94.60	c 1579
94.84	o 13454
94.84	c 1578
94.92	o 13457
94.92	c 1575
95.24	o 13459
95.24	c 1573
95.33	o 13461
95.33	c 1571
95.50	o 13464
95.50	c 1568
95.53	o 13468
95.53	c 1564
95.62	o 13469
95.62	c 1563
95.71	o 13470
95.71	c 1562
95.79	o 13473
95.79	c 1559
95.87	o 13476
95.87	c 1556
95.95	o 13481
95.95	c 1551
96.18	o 13483
96.18	c 1549
96.23	o 13485
96.23	c 1547
96.39	o 13486
96.39	c 1546
96.46	o 13488
96.46	c 1544
96.53	o 13489
96.53	c 1543
96.60	o 13498
96.60	c 1534
96.67	o 13501
96.67	c 1531
96.75	o 13503
96.75	c 1529
97.13	o 13506
97.13	c 1526
97.20	o 13509
97.20	c 1523
97.27	o 13513
97.27	c 1519
97.51	o 13515
97.51	c 1517
97.58	o 13516
97.58	c 1516
97.73	o 13518
97.73	c 1514
97.77	o 13521
97.77	c 1511
97.84	o 13522
97.84	c 1510
97.92	o 13528
97.92	c 1504
98.00	o 13530
98.00	c 1502
98.04	o 13535
98.04	c 1497
98.41	o 13536
98.41	c 1496
98.61	o 13539
98.61	c 1493
98.68	o 13542
98.68	c 1490
98.97	o 13544
98.97	c 1488
99.19	o 13547
99.19	c 1485
99.21	o 13552
99.21	c 1480
99.29	o 13556
99.29	c 1476
99.37	o 13558
99.37	c 1474
99.52	o 13561
99.52	c 1471
99.60	o 13566
99.60	c 1466
99.66	o 13572
99.66	c 1460
99.81	o 13574
99.81	c 1458
99.88	o 13575
99.88	c 1457
99.95	o 13576
99.95	c 1456
100.30	o 13578
100.30	c 1454
100.37	o 13582
100.37	c 1450
100.44	o 13586
100.44	c 1446
101.12	o 13587
101.12	c 1445
101.27	o 13591
101.27	c 1441
101.35	o 13593
101.35	c 1439
101.59	o 13596
101.59	c 1436
101.67	o 13597
101.67	c 1435
102.57	o 13598
102.57	c 1434
102.65	o 13599
102.65	c 1433
102.73	o 13600
102.73	c 1432
102.82	o 13601
102.82	c 1431
102.98	o 13605
102.98	c 1427
103.16	o 13607
103.16	c 1425
103.24	o 13609
103.24	c 1423
104.37	o 13611
104.37	c 1421
104.47	o 13613
104.47	c 1419
104.65	o 13615
104.65	c 1417
104.93	o 13616
104.93	c 1416
105.14	o 13619
105.14	c 1413
105.24	o 13620
105.24	c 1412
105.35	o 13625
105.35	c 1407
105.40	o 13629
105.40	c 1403
105.48	o 13632
105.48	c 1400
105.57	o 13634
105.57	c 1398
105.67	o 13638
105.67	c 1394
105.77	o 13642
105.77	c 1390
105.87	o 13646
105.87	c 1386
105.97	o 13648
105.97	c 1384
106.16	o 13651
106.16	c 1381
106.25	o 13652
106.25	c 1380
106.34	o 13656
106.34	c 1376
106.62	o 13659
106.62	c 1373
106.71	o 13662
106.71	c 1370
106.80	o 13663
106.80	c 1369
107.08	o 13666
107.08	c 1366
107.15	o 13669
107.15	c 1363
107.26	o 13673
107.26	c 1359
107.94	o 13674
107.94	c 1358
108.03	o 13676
108.03	c 1356
108.33	o 13677
108.33	c 1355
108.44	o 13678
108.44	c 1354
108.51	o 13681
108.51	c 1351
108.61	o 13685
108.61	c 1347
108.69	o 13686
108.69	c 1346
108.78	o 13689
108.78	c 1343
108.87	o 13690
108.87	c 1342
108.92	o 13694
108.92	c 1338
109.09	o 13695
109.09	c 1337
109.18	o 13697
109.18	c 1335
109.27	o 13699
109.27	c 1333
109.35	o 13700
109.35	c 1332
109.44	o 13703
109.44	c 1329
109.54	o 13704
109.54	c 1328
109.64	o 13705
109.64	c 1327
109.74	o 13708
109.74	c 1324
110.21	o 13710
110.21	c 1322
110.30	o 13712
110.30	c 1320
110.39	o 13714
110.39	c 1318
111.13	o 13715
111.13	c 1317
111.29	o 13718
111.29	c 1314
111.55	o 13721
111.55	c 1311
112.56	o 13723
112.56	c 1309
112.67	o 13724
112.67	c 1308
112.76	o 13727
112.76	c 1305
112.96	o 13730
112.96	c 1302
113.13	o 13732
113.13	c 1300
113.22	o 13735
113.22	c 1297
113.56	o 13737
113.56	c 1295
113.65	o 13739
113.65	c 1293
113.74	o 13740
113.74	c 1292
113.83	o 13741
113.83	c 1291
114.47	o 13742
114.47	c 1290
114.56	o 13743
114.56	c 1289
114.64	o 13744
114.64	c 1288
114.67	o 13747
114.67	c 1285
114.76	o 13749
114.76	c 1283
114.85	o 13752
114.85	c 1280
114.94	o 13753
114.94	c 1279
115.02	o 13754
115.02	c 1278
115.21	o 13755
115.21	c 1277
115.37	o 13756
115.37	c 1276
115.54	o 13758
115.54	c 1274
115.87	o 13759
115.87	c 1273
115.95	o 13761
115.95	c 1271
115.98	o 13766
115.98	c 1266
116.06	o 13768
116.06	c 1264
116.13	o 13770
116.13	c 1262
116.29	o 13773
116.29	c 1259
116.56	o 13775
116.56	c 1257
116.88	o 13776
116.88	c 1256
117.61	o 13778
117.61	c 1254
117.98	o 13779
117.98	c 1253
118.26	o 13780
118.26	c 1252
118.58	o 13781
118.58	c 1251
118.65	o 13782
118.65	c 1250
118.74	o 13784
118.74	c 1248
118.84	o 13787
118.84	c 1245
118.94	o 13789
118.94	c 1243
119.04	o 13791
119.04	c 1241
119.14	o 13793
119.14	c 1239
119.35	o 13797
119.35	c 1235
119.45	o 13799
119.45	c 1233
119.55	o 13802
119.55	c 1230
119.86	o 13805
119.86	c 1227
119.97	o 13807
119.97	c 1225
120.28	o 13809
120.28	c 1223
120.39	o 13810
120.39	c 1222
120.49	o 13811
120.49	c 1221
120.80	o 13814
120.80	c 1218
120.86	o 13817
120.86	c 1215
120.97	o 13818
120.97	c 1214
121.07	o 13821
121.07	c 1211
122.09	o 13822
122.09	c 1210
122.21	o 13826
122.21	c 1206
122.43	o 13827
122.43	c 1205
122.51	o 13829
122.51	c 1203
122.97	o 13831
122.97	c 1201
123.08	o 13833
123.08	c 1199
125.58	o 13834
125.58	c 1198
125.70	o 13835
125.70	c 1197
125.81	o 13836
125.81	c 1196
125.91	o 13838
125.91	c 1194
126.01	o 13841
126.01	c 1191
126.14	o 13842
126.14	c 1190
126.24	o 13844
126.24	c 1188
126.35	o 13849
126.35	c 1183
126.47	o 13851
126.47	c 1181
126.58	o 13853
126.58	c 1179
126.68	o 13854
126.68	c 1178
126.79	o 13858
126.79	c 1174
126.91	o 13859
126.91	c 1173
127.03	o 13860
127.03	c 1172
127.15	o 13862
127.15	c 1170
128.82	o 13864
128.82	c 1168
128.94	o 13867
128.94	c 1165
129.06	o 13872
129.06	c 1160
129.60	o 13873
129.60	c 1159
129.87	o 13874
129.87	c 1158
130.01	o 13876
130.01	c 1156
130.15	o 13877
130.15	c 1155
130.27	o 13878
130.27	c 1154
130.40	o 13879
130.40	c 1153
130.54	o 13880
130.54	c 1152
130.67	o 13883
130.67	c 1149
130.81	o 13884
130.81	c 1148
130.95	o 13889
130.95	c 1143
131.05	o 13890
131.05	c 1142
131.19	o 13891
131.19	c 1141
131.46	o 13895
131.46	c 1137
133.77	o 13896
133.77	c 1136
133.79	o 13901
133.79	c 1131
133.91	o 13902
133.91	c 1130
134.02	o 13903
134.02	c 1129
134.24	o 13904
134.24	c 1128
134.36	o 13905
134.36	c 1127
135.84	o 13907
135.84	c 1125
135.95	o 13908
135.95	c 1124
136.06	o 13910
136.06	c 1122
136.18	o 13911
136.18	c 1121
136.26	o 13915
136.26	c 1117
136.48	o 13916
136.48	c 1116
136.59	o 13918
136.59	c 1114
136.69	o 13919
136.69	c 1113
136.79	o 13921
136.79	c 1111
137.01	o 13923
137.01	c 1109
137.12	o 13924
137.12	c 1108
137.18	o 13926
137.18	c 1106
138.23	o 13928
138.23	c 1104
138.34	o 13930
138.34	c 1102
138.45	o 13931
138.45	c 1101
138.68	o 13932
138.68	c 1100
138.91	o 13933
138.91	c 1099
139.02	o 13934
139.02	c 1098
139.15	o 13936
139.15	c 1096
140.26	o 13938
140.26	c 1094
140.82	o 13939
140.83	c 1093
141.06	o 13942
141.06	c 1090
141.18	o 13943
141.18	c 1089
141.60	o 13945
141.60	c 1087
141.71	o 13949
141.71	c 1083
141.92	o 13950
141.92	c 1082
142.03	o 13951
142.03	c 1081
142.14	o 13953
142.14	c 1079
142.19	o 13954
142.19	c 1078
142.31	o 13956
142.31	c 1076
142.43	o 13959
142.43	c 1073
142.88	o 13960
142.88	c 1072
142.99	o 13961
142.99	c 1071
143.10	o 13964
143.10	c 1068
143.62	o 13966
143.62	c 1066
145.56	o 13967
145.56	c 1065
145.69	o 13969
145.69	c 1063
145.80	o 13972
145.80	c 1060
145.91	o 13975
145.91	c 1057
146.25	o 13977
146.25	c 1055
146.36	o 13978
146.36	c 1054
146.47	o 13980
146.47	c 1052
146.58	o 13982
146.58	c 1050
146.69	o 13984
146.69	c 1048
146.79	o 13985
146.79	c 1047
147.24	o 13987
147.24	c 1045
147.80	o 13988
147.80	c 1044
147.91	o 13989
147.91	c 1043
148.01	o 13990
148.01	c 1042
148.70	o 13992
148.70	c 1040
148.83	o 13993
148.83	c 1039
149.03	o 13994
149.03	c 1038
149.16	o 13998
149.16	c 1034
149.27	o 14000
149.27	c 1032
149.37	o 14004
149.37	c 1028
149.48	o 14006
149.48	c 1026
149.59	o 14007
149.59	c 1025
149.83	o 14009
149.83	c 1023
149.95	o 14011
149.95	c 1021
150.08	o 14014
150.08	c 1018
151.41	o 14016
151.41	c 1016
151.54	o 14017
151.54	c 1015
151.82	o 14021
151.82	c 1011
151.94	o 14022
151.94	c 1010
152.07	o 14024
152.07	c 1008
152.19	o 14025
152.19	c 1007
152.33	o 14026
152.33	c 1006
152.62	o 14029
152.62	c 1003
152.73	o 14032
152.73	c 1000
152.85	o 14034
152.85	c 998
153.57	o 14037
153.57	c 995
153.69	o 14040
153.69	c 992
154.30	o 14043
154.30	c 989
154.43	o 14045
154.43	c 987
154.95	o 14046
154.95	c 986
155.08	o 14048
155.08	c 984
155.22	o 14049
155.22	c 983
156.05	o 14050
156.05	c 982
156.31	o 14051
156.31	c 981
156.46	o 14052
156.46	c 980
156.57	o 14053
156.57	c 979
156.70	o 14055
156.70	c 977
157.00	o 14057
157.00	c 975
157.11	o 14058
157.11	c 974
157.82	o 14061
157.82	c 971
157.96	o 14062
157.96	c 970
158.11	o 14064
158.11	c 968
158.21	o 14066
158.21	c 966
158.47	o 14067
158.47	c 965
158.76	o 14069
158.76	c 963
158.92	o 14072
158.92	c 960
159.54	o 14073
159.54	c 959
159.86	o 14074
159.86	c 958
160.02	o 14075
160.02	c 957
161.33	o 14076
161.33	c 956
161.61	o 14077
161.61	c 955
161.75	o 14078
161.75	c 954
162.96	o 14079
162.96	c 953
163.27	o 14080
163.27	c 952
164.06	o 14081
164.06	c 951
164.89	o 14082
164.89	c 950
165.03	o 14083
165.03	c 949
165.19	o 14086
165.19	c 946
165.49	o 14087
165.49	c 945
165.60	o 14089
165.60	c 943
165.76	o 14090
165.76	c 942
166.87	o 14092
166.87	c 940
167.03	o 14093
167.03	c 939
167.20	o 14094
167.20	c 938
167.36	o 14095
167.36	c 937
167.68	o 14096
167.68	c 936
167.84	o 14097
167.84	c 935
168.30	o 14101
168.30	c 931
168.40	o 14104
168.40	c 928
169.16	o 14106
169.16	c 926
169.46	o 14108
169.46	c 924
169.76	o 14109
169.76	c 923
170.39	o 14112
170.39	c 920
170.55	o 14113
170.55	c 919
170.73	o 14114
170.73	c 918
170.86	o 14116
170.86	c 916
171.50	o 14120
171.50	c 912
171.67	o 14122
171.67	c 910
171.99	o 14123
171.99	c 909
172.14	o 14124
172.14	c 908
172.32	o 14125
172.32	c 907
172.49	o 14126
172.49	c 906
172.65	o 14127
172.65	c 905
174.10	o 14130
174.10	c 902
174.25	o 14131
174.25	c 901
174.41	o 14133
174.41	c 899
174.56	o 14134
174.56	c 898
174.69	o 14135
174.69	c 897
174.84	o 14137
174.84	c 895
175.31	o 14140
175.31	c 892
175.47	o 14141
175.47	c 891
176.75	o 14142
176.75	c 890
177.65	o 14144
177.65	c 888
177.93	o 14145
177.93	c 887
178.08	o 14148
178.08	c 884
181.28	o 14149
181.28	c 883
181.41	o 14151
181.41	c 881
181.55	o 14153
181.55	c 879
181.64	o 14155
181.64	c 877
181.75	o 14158
181.75	c 874
182.62	o 14159
182.62	c 873
182.75	o 14163
182.75	c 869
182.91	o 14167
182.91	c 865
183.01	o 14170
183.01	c 862
185.67	o 14171
185.67	c 861
186.08	o 14173
186.08	c 859
187.10	o 14175
187.10	c 857
187.24	o 14177
187.24	c 855
187.52	o 14180
187.52	c 852
187.86	o 14182
187.86	c 850
187.97	o 14184
187.97	c 848
188.10	o 14186
188.10	c 846
192.08	o 14187
192.08	c 845
192.40	o 14188
192.40	c 844
192.57	o 14189
192.57	c 843
192.73	o 14190
192.73	c 842
192.88	o 14192
192.88	c 840
193.03	o 14194
193.03	c 838
193.98	o 14196
193.98	c 836
195.40	o 14198
195.40	c 834
195.71	o 14201
195.71	c 831
196.83	o 14203
196.83	c 829
198.13	o 14206
198.13	c 826
198.31	o 14207
198.31	c 825
198.64	o 14209
198.64	c 823
198.77	o 14211
198.77	c 821
199.27	o 14213
199.27	c 819
199.44	o 14215
199.44	c 817
200.01	o 14216
200.01	c 816
200.11	o 14217
200.12	c 815
200.27	o 14220
200.27	c 812
200.56	o 14221
200.56	c 811
200.71	o 14224
200.71	c 808
200.84	o 14226
200.84	c 806
201.00	o 14227
201.00	c 805
201.15	o 14228
201.15	c 804
201.24	o 14229
201.24	c 803
201.38	o 14231
201.38	c 801
201.53	o 14233
201.53	c 799
201.68	o 14234
201.68	c 798
205.34	o 14235
205.34	c 797
205.51	o 14237
205.51	c 795
205.67	o 14238
205.67	c 794
206.02	o 14239
206.02	c 793
206.32	o 14243
206.32	c 789
206.48	o 14244
206.48	c 788
206.65	o 14245
206.65	c 787
207.03	o 14249
207.03	c 783
211.56	o 14250
211.56	c 782
211.74	o 14252
211.74	c 780
211.90	o 14254
211.90	c 778
212.09	o 14257
212.09	c 775
212.27	o 14259
212.27	c 773
212.45	o 14260
212.45	c 772
212.63	o 14262
212.63	c 770
212.78	o 14264
212.78	c 768
212.97	o 14265
212.97	c 767
213.15	o 14266
213.15	c 766
213.53	o 14267
213.53	c 765
214.71	o 14268
214.71	c 764
218.06	o 14270
218.06	c 762
218.27	o 14271
218.27	c 761
218.47	o 14274
218.47	c 758
218.67	o 14275
218.67	c 757
221.15	o 14276
221.15	c 756
222.45	o 14277
222.53	c 755
222.65	o 14279
222.65	c 753
223.08	o 14281
223.08	c 751
223.30	o 14282
223.30	c 750
223.84	o 14287
223.84	c 745
224.87	o 14291
224.87	c 741
226.05	o 14294
226.05	c 738
226.44	o 14295
226.44	c 737
227.01	o 14298
227.01	c 734
227.21	o 14302
227.21	c 730
227.40	o 14303
227.40	c 729
228.55	o 14304
228.55	c 728
228.73	o 14305
228.73	c 727
230.77	o 14306
230.77	c 726
231.15	o 14307
231.15	c 725
232.10	o 14308
232.10	c 724
232.29	o 14309
232.29	c 723
232.43	o 14310
232.43	c 722
232.61	o 14311
232.61	c 721
233.67	o 14312
233.67	c 720
234.23	o 14316
234.23	c 716
234.42	o 14317
234.42	c 715
234.60	o 14318
234.60	c 714
234.79	o 14319
234.79	c 713
235.64	o 14320
235.64	c 712
236.20	o 14322
236.20	c 710
236.76	o 14323
236.76	c 709
237.12	o 14327
237.12	c 705
240.24	o 14328
240.24	c 704
240.34	o 14330
240.34	c 702
240.70	o 14333
240.70	c 699
242.83	o 14336
242.83	c 696
243.02	o 14337
243.02	c 695
243.17	o 14339
243.17	c 693
243.53	o 14340
243.53	c 692
243.73	o 14342
243.73	c 690
244.05	o 14344
244.05	c 688
244.23	o 14345
244.23	c 687
255.88	o 14347
255.88	c 685
256.62	o 14348
256.62	c 684
256.90	o 14349
256.90	c 683
257.48	o 14350
257.48	c 682
257.55	o 14353
257.55	c 679
258.11	o 14355
258.11	c 677
258.32	o 14356
258.32	c 676
258.49	o 14358
258.49	c 674
259.04	o 14359
259.04	c 673
259.14	o 14361
259.14	c 671
263.57	o 14362
263.57	c 670
264.14	o 14363
264.14	c 669
264.62	o 14364
264.62	c 668
266.80	o 14366
266.80	c 666
266.98	o 14367
266.98	c 665
268.19	o 14368
268.19	c 664
270.57	o 14369
270.57	c 663
270.75	o 14370
270.75	c 662
270.93	o 14371
270.93	c 661
271.40	o 14372
271.40	c 660
271.58	o 14374
271.58	c 658
271.78	o 14375
271.78	c 657
273.10	o 14377
273.10	c 655
273.31	o 14380
273.31	c 652
273.51	o 14381
273.51	c 651
274.05	o 14383
274.05	c 649
274.18	o 14386
274.18	c 646
274.38	o 14388
274.38	c 644
274.58	o 14389
274.58	c 643
274.74	o 14391
274.74	c 641
281.01	o 14394
281.01	c 638
281.26	o 14399
281.26	c 633
281.34	o 14400
281.34	c 632
281.72	o 14401
281.72	c 631
299.66	o 14403
299.66	c 629
299.83	o 14405
299.83	c 627
300.50	o 14410
300.50	c 622
300.70	o 14412
300.70	c 620
301.30	o 14414
301.30	c 618
303.97	o 14415
303.97	c 617
305.27	o 14417
305.27	c 615
305.39	o 14418
305.39	c 614
306.06	o 14423
306.06	c 609
306.62	o 14425
306.62	c 607
307.26	o 14426
307.27	c 606
312.71	o 14428
312.71	c 604
312.77	o 14429
312.77	c 603
313.65	o 14430
313.65	c 602
313.84	o 14432
313.84	c 600
314.22	o 14433
314.22	c 599
315.34	o 14435
315.34	c 597
315.53	o 14437
315.53	c 595
316.10	o 14439
316.10	c 593
317.85	o 14442
317.85	c 590
318.05	o 14443
318.05	c 589
318.77	o 14445
318.77	c 587
318.96	o 14446
318.96	c 586
319.33	o 14447
319.33	c 585
322.34	o 14448
322.34	c 584
322.54	o 14449
322.54	c 583
322.63	o 14450
322.63	c 582
322.80	o 14451
322.80	c 581
323.99	o 14452
323.99	c 580
324.20	o 14455
324.20	c 577
324.60	o 14456
324.60	c 576
325.01	o 14457
325.01	c 575
325.85	o 14460
325.85	c 572
326.04	o 14462
326.04	c 570
326.26	o 14463
326.26	c 569
326.46	o 14464
326.46	c 568
326.50	o 14465
326.50	c 567
326.70	o 14469
326.70	c 563
327.26	o 14470
327.26	c 562
328.75	o 14472
328.76	c 560
329.57	o 14473
329.57	c 559
329.74	o 14475
329.74	c 557
330.11	o 14480
330.11	c 552
330.17	o 14482
330.17	c 550
330.34	o 14484
330.34	c 548
330.73	o 14485
330.73	c 547
330.93	o 14487
330.93	c 545
331.45	o 14488
331.45	c 544
331.82	o 14490
331.82	c 542
332.01	o 14492
332.01	c 540
332.36	o 14493
332.36	c 539
332.54	o 14494
332.54	c 538
332.72	o 14496
332.72	c 536
333.27	o 14497
333.27	c 535
334.50	o 14498
334.50	c 534
335.25	o 14499
335.25	c 533
335.44	o 14500
335.44	c 532
335.81	o 14501
335.81	c 531
336.01	o 14502
336.01	c 530
336.20	o 14503
336.20	c 529
337.25	o 14504
337.25	c 528
339.56	o 14505
339.56	c 527
340.00	o 14506
340.00	c 526
340.43	o 14507
340.43	c 525
341.80	o 14508
341.80	c 524
342.87	o 14509
342.87	c 523
343.07	o 14511
343.07	c 521
343.90	o 14512
343.90	c 520
344.11	o 14514
344.11	c 518
344.45	o 14515
344.45	c 517
345.47	o 14516
345.47	c 516
345.68	o 14519
345.68	c 513
346.48	o 14520
346.48	c 512
346.71	o 14522
346.71	c 510
346.92	o 14523
346.92	c 509
347.13	o 14524
347.13	c 508
347.31	o 14527
347.31	c 505
349.79	o 14529
349.79	c 503
350.01	o 14530
350.01	c 502
352.91	o 14531
352.91	c 501
354.09	o 14532
354.09	c 500
354.59	o 14533
354.59	c 499
355.09	o 14536
355.09	c 496
355.34	o 14537
355.34	c 495
356.33	o 14538
356.33	c 494
356.74	o 14540
356.74	c 492
356.97	o 14542
356.97	c 490
358.36	o 14543
358.36	c 489
359.33	o 14544
359.33	c 488
362.77	o 14546
362.77	c 486
363.61	o 14547
363.61	c 485
365.08	o 14549
365.08	c 483
365.32	o 14550
365.32	c 482
365.83	o 14551
365.83	c 481
368.54	o 14552
368.54	c 480
368.68	o 14554
368.68	c 478
370.46	o 14555
370.46	c 477
370.71	o 14556
370.71	c 476
373.11	o 14557
373.11	c 475
373.60	o 14558
373.60	c 474
374.10	o 14564
374.10	c 468
375.38	o 14565
375.38	c 467
375.63	o 14566
375.63	c 466
375.94	o 14567
375.94	c 465
377.34	o 14568
377.34	c 464
377.58	o 14569
377.58	c 463
377.83	o 14570
377.83	c 462
378.14	o 14572
378.14	c 460
378.30	o 14573
378.30	c 459
378.51	o 14575
378.51	c 457
406.44	o 14577
406.44	c 455
406.62	o 14579
406.62	c 453
409.06	o 14581
409.06	c 451
409.29	o 14583
409.29	c 449
409.49	o 14584
409.49	c 448
412.10	o 14585
412.10	c 447
413.24	o 14586
413.24	c 446
415.43	o 14588
415.43	c 444
415.70	o 14590
415.70	c 442
416.59	o 14591
416.59	c 441
416.86	o 14593
416.86	c 439
417.31	o 14594
417.31	c 438
417.82	o 14596
417.82	c 436
418.09	o 14598
418.09	c 434
443.19	o 14599
443.19	c 433
443.43	o 14602
443.43	c 430
444.41	o 14603
444.41	c 429
447.14	o 14604
447.14	c 428
447.65	o 14605
447.65	c 427
448.69	o 14607
448.69	c 425
449.21	o 14608
449.21	c 424
450.87	o 14609
450.87	c 423
458.17	o 14611
458.17	c 421
458.43	o 14612
458.43	c 420
459.76	o 14615
459.76	c 417
460.02	o 14619
460.02	c 413
460.27	o 14620
460.27	c 412
464.26	o 14621
464.26	c 411
464.77	o 14622
464.77	c 410
465.03	o 14623
465.03	c 409
465.29	o 14624
465.29	c 408
465.56	o 14625
465.56	c 407
466.09	o 14626
466.09	c 406
496.24	   
496.24	   search
496.24	     run=0  nbConstraintChecks=1447852094  nbAssignments=3049
496.24	       =>  wckTime=433.929  cpuTime=431.8  mem=49M222
496.24	   
496.24	   global
496.25	     nbConstraintChecks=1447852094  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
496.25	     solvingWckTime=433.92  solvingCpuTime=431.79  expiredTime=no  totalExploration=no  nbFoundSolutions=0
496.25	     globalCpuTime=492.66
496.25	       =>  wckTime=495.853  cpuTime=492.61  mem=49M222
496.25	   
496.25	   solver IterativeSystematicSolver being built... 
496.70	       =>  wckTime=496.309  cpuTime=492.88  mem=89M959
1612.41	   
1612.41	   preprocessing
1612.41	     nbConstraintChecks=1128817562  nbValidityChecks=6540751286  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1612.41	     nbRemovedValues=0  detectedInconsistency=no
1612.41	       =>  wckTime=1115.702  cpuTime=1110.74  mem=89M959
2408.30	v 2064 -2688 2068 -2020 -2092 -2700 -2072 -2388 -2700 2376 2036 2632 2264 -2504 -2676 2632 2148 -2480 2548 -2544 2092 -2020 2356 -2484 -2364 2352 2468 2544 2728 2552 -2164 2740 -2508 -2320 2700 -2064 -2368 -2064 2344 -2540 2544 2584 -2104 -2508 2072 -2480 2148 -2196 -2176 -2472 2328 -2392 2320 2080 -2536 -2696 2672 -2260 2640 2196 2724 -2456 -2044 -2636 -2424 -2060 2020 -2068 2668 2108 -2272 -2272 2636 -2684 2564 2468 -2476 -2312 2732 2340 2588 2100 2548 -2312 -2020 -2580 2080 -2516 -2404 2284 -2096 2688 -2488 2052 2024 2552 2076 2344 2504 2088 2136 2456 -2584 2348 -2732 -2520 -2712 2668 -2688 2384 -2716 -2508 -2492 -2568 -2496 2064 -2456 2212 -2676 -2168 -2324 2520 2152 -2648 2108 2220 2520 -2740 2568 -2536 -2556 2672 -2724 -2328 -2156 -2020 -2264 2740 2620 -2368 2600 2104 -2208 2064 -2312 -2152 -2352 -2640 -2584 -2336 2220 2304 2096 -2576 2080 2452 -2336 2740 -2232 -2112 2600 2616 2740 2316 -2464 -2156 2204 2580 -2612 2732 -2428 2712 2172 2176 -2724 2576 -2364 -2080 2516 2708 -2644 -2716 -2328 2348 -2468 2332 2480 -2364 2596 -2252 -2068 2428 2152 2060 -2324 -2180 -2284 2060 -2280 2504 2536 -2352 -2024 -2712 -2304 -2560 2692 -2076 -2736 2080 2524 2448 2020 2532 -2616 -2628 2132 -2640 2448 -2400 2144 -2580 -2064 -2472 2732 2684 2488 2484 -2288 2404 -2632 -2684 2556 2452 2652 2552 2312 -2112 -2252 -2308 -2548 -2304 -2112 -2700 2704 -2584 -2700 2488 2208 2060 -2520 2156 -2040 -2680 -2180 2076 -2256 -2724 -2356 -2692 2144 -2292 -2136 -2416 2660 -2076 2408 -2560 2120 -2032 2524 -2352 2568 -2628 2080 -2100 2576 2076 -2232 -2720 -2148 2540 -2100 2048 2588 2596 -2104 2740 -2640 -2040 2076 2740 -2340 2264 -2064 2380 2720 -2356 -2576 2280 -2388 -2176 2112 -2736 2532 -2296 -2688 2484 2292 -2316 2440 -2072 -2368 -2264 -2416 -2476 -2044 -2104 -2020 -2232 -2392 2556 2660 2092 2060 -2508 2448 -2700 -2068 2712 2528 -2192 -2092 2472 -2120 2152 2144 -2544 -2220 -2488 2204 2064 2144 2608 -2020 -2564 -2304 -2712 2640 2352 -2548 2020 2064 2556 2496 -2592 2468 -2360 2420 2468 2588 -2376 2240 2208 2324 -2548 -2048 2060 2328 -2504 2736 2200 -2036 -2260 -2700 2576 2524 -2552 2396 -2128 -2020 2200 -2736 -2140 -2156 -2136 -2264 2624 -2020 -2264 -2080 2628 2596 2184 2416 2184 2104 -2692 2388 -2300 -2592 -2556 -2196 -2592 2088 2560 2460 2284 2244 -2700 -2172 -2584 -2672 2640 2696 -2276 2608 -2112 -2680 2684 2540 -2168 -2600 2628 -2428 -2020 -2356 2104 -2500 2348 -2412 -2664 -2076 -2440 -2728 -2740 -2296 -2240 2072 -2384 -2076 -2060 -2100 2608 -2700 2020 2500 -2544 2700 -2676 -2040 -2372 -2572 -2580 2648 -2496 -2368 2576 -2420 -2624 -2728 2292 2348 2084 -2500 -2740 2608 2440 -2208 -2152 -2660 2052 -2324 -2328 -2208 2696 -2284 -2552 -2412 -2168 2460 2628 -2624 -2348 2436 2020 2728 2684 -2680 -2264 -2564 2588 2508 2464 -2392 2024 -2168 2592 -2328 2492 2460 -2248 -2024 -2548 2680 2708 2020 2260 2376 2060 2512 -2292 -2352 -2592 -2524 2700 -2396 2020 -2676 -2740 2736 -2468 -2600 -2280 2456 2488 2368 2088 2376 -2700 -2528 2416 -2020 -2632 -2144 -2384 -2060 -2652 2552 -2384 2640 -2716 2508 -2424 -2252 2484 2612 2696 -2340 -2680 2060 2660 2692 -2468 -2336 -2084 -2596 -2320 -2724 -2184 2480 2248 -2740 -2160 -2184 -2184 -2112 -2700 2668 -2244 2556 -2128 -2208 2036 -2368 2412 -2064 -2576 2596 2624 2524 2188 -2596 2376 2408 -2548 -2312 2144 -2728 2060 -2496 2560 2588 -2244 2740 -2564 -2256 -2424 2560 -2060 -2384 -2728 2084 2632 2568 2300 -2284 -2304 -2140 -2600 -2684 -2544 -2576 -2576 -2396 -2152 2380 2296 -2696 -2732 2664 2240 2344 -2060 2212 2672 -2196 2260 2668 -2740 2420 2668 2432 2060 2556 -2504 2412 -2296 -2464 2700 2028 -2112 -2416 2272 -2020 -2060 -2048 2080 -2648 2032 -2548 2028 -2468 -2556 2420 -2192 2024 -2456 -2220 2060 2508 2676 -2208 -2308 -2168 2168 -2696 2520 -2660 -2164 2436 2152 2396 -2224 2592 -2700 -2408 2320 -2372 -2168 -2692 -2508 -2036 2608 -2292 2344 -2300 -2628 -2376 -2280 2128 2024 2440 -2524 2024 2688 -2708 2392 -2188 2036 2688 -2256 2052 2032 2648 2444 2644 2512 -2068 -2440 2416 -2516 2124 -2500 -2468 2572 2256 2640 -2108 2060 2536 -2288 2336 -2036 -2156 2256 2644 -2388 2216 -2388 2724 2596 2252 2484 2084 2092 2688 2300 -2548 -2484 -2020 2124 2024 -2724 -2376 2732 2336 2120 2584 2036 2508 -2044 2288 2204 2272 2316 -2684 2648 -2244 -2464 -2312 2460 2344 -2536 -2044 2376 -2460 -2556 -2192 -2596 2716 -2740 -2452 2644 2232 -2584 -2184 2052 -2308 2144 2740 -2064 -2616 2036 2468 -2064 2712 2352 2148 2224 -2584 2020 -2536 -2700 -2568 2248 2592 2376 -2520 -2408 -2684 -2556 -2448 -2364 -2680 2260 2116 2400 -2424 2240 2704 2536 -2648 -2284 -2408 2332 -2368 2036 -2480 2640 -2580 -2740 -2300 -2084 -2676 -2544 -2668 -2364 2048 -2300 2024 -2072 2272 2528 2368 2144 -2708 -2384 -2604 -2740 -2060 -2516 -2588 2700 2588 2700 2724 2380 2024 -2020 -2580 2476 2272 2052 2072 2364 2588 2560 2076 2612 -2464 2348 2184 2700 2212 -2220 -2600 2676 2456 -2088 -2552 -2576 2356 -2368 2548 2352 2060 2064 -2088 -2432 -2260 2684 2468 2668 -2660 2444 2052 -2460 2660 -2720 -2028 2736 2512 -2232 -2192 -2088 2464 2324 2700 -2548 2668 -2656 2120 -2716 2332 -2152 2400 2296 -2544 -2556 -2112 2728 2080 2376 -2540 2168 -2680 -2528 2356 2060 2044 2724 2348 2688 -2324 -2720 -2136 2340 2032 2740 2340 -2740 2588 2692 -2332 -2672 -2236 -2272 2444 2592 -2292 -2392 -2352 2608 -2124 2416 2024 2620 2508 -2312 -2084 -2576 -2496 2584 2444 -2344 2332 2564 2688 -2020 2280 -2104 -2428 -2072 2144 2224 2324 -2120 2052 2480 -2656 -2440 -2540 -2292 -2120 2492 -2712 -2116 -2324 -2224 -2072 2548 2588 -2432 -2092 -2384 -2128 2588 2716 2036 2024 -2664 2728 -2624 -2636 -2504 2596 -2484 2428 -2664

Verifier Data (download as text)

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

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

/proc/loadavg: 2.00 2.00 1.91 4/74 2199
/proc/meminfo: memFree=1198592/2055920 swapFree=4191892/4192956
[pid=2198] ppid=2196 vsize=18540 CPUtime=0
/proc/2198/stat : 2198 (runsolver) R 2196 2198 1582 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270324120 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 240577473831 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/2198/statm: 4635 279 244 17 0 2626 0

[startup+0.104113 s]
/proc/loadavg: 2.00 2.00 1.91 4/74 2199
/proc/meminfo: memFree=1198592/2055920 swapFree=4191892/4192956
[pid=2198] ppid=2196 vsize=907676 CPUtime=0.03
/proc/2198/stat : 2198 (java) R 2196 2198 1582 0 -1 0 2172 0 1 0 2 1 0 0 19 0 4 0 270324120 929460224 1921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/2198/statm: 226919 1921 1089 14 0 214502 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 907676

[startup+0.51218 s]
/proc/loadavg: 2.00 2.00 1.91 4/74 2199
/proc/meminfo: memFree=1198592/2055920 swapFree=4191892/4192956
[pid=2198] ppid=2196 vsize=915332 CPUtime=0.38
/proc/2198/stat : 2198 (java) R 2196 2198 1582 0 -1 0 5883 0 14 0 32 6 0 0 21 0 8 0 270324120 937299968 5635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2198/statm: 228833 5635 2113 14 0 215303 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 915332

[startup+1.33332 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 2206
/proc/meminfo: memFree=1127368/2055920 swapFree=4191892/4192956
[pid=2198] ppid=2196 vsize=915636 CPUtime=1.2
/proc/2198/stat : 2198 (java) R 2196 2198 1582 0 -1 0 21011 0 14 0 107 13 0 0 25 0 8 0 270324120 937611264 20761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073576440 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2198/statm: 228909 20761 2164 14 0 215379 0
[pid=2198/tid=2200] ppid=2196 vsize=915636 CPUtime=0.06
/proc/2198/task/2200/stat : 2200 (java) S 2196 2198 1582 0 -1 64 4474 0 0 0 5 1 0 0 16 0 8 0 270324130 937611264 20761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2201] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2201/stat : 2201 (java) S 2196 2198 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270324131 937611264 20761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2202] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2202/stat : 2202 (java) S 2196 2198 1582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270324131 937611264 20761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2203] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2203/stat : 2203 (java) S 2196 2198 1582 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270324134 937611264 20761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2204] ppid=2196 vsize=915636 CPUtime=0.14
/proc/2198/task/2204/stat : 2204 (java) S 2196 2198 1582 0 -1 64 395 0 0 0 14 0 0 0 15 0 8 0 270324134 937611264 20761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2205] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2205/stat : 2205 (java) S 2196 2198 1582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270324134 937611264 20761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2206] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2206/stat : 2206 (java) S 2196 2198 1582 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270324134 937611264 20761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 915636

[startup+2.98359 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 2206
/proc/meminfo: memFree=1119432/2055920 swapFree=4191892/4192956
[pid=2198] ppid=2196 vsize=915636 CPUtime=2.85
/proc/2198/stat : 2198 (java) R 2196 2198 1582 0 -1 0 21087 0 14 0 271 14 0 0 25 0 8 0 270324120 937611264 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794147 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2198/statm: 228909 20836 2184 14 0 215379 0
[pid=2198/tid=2200] ppid=2196 vsize=915636 CPUtime=0.06
/proc/2198/task/2200/stat : 2200 (java) S 2196 2198 1582 0 -1 64 4474 0 0 0 5 1 0 0 17 0 8 0 270324130 937611264 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2201] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2201/stat : 2201 (java) S 2196 2198 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270324131 937611264 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2202] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2202/stat : 2202 (java) S 2196 2198 1582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270324131 937611264 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2203] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2203/stat : 2203 (java) S 2196 2198 1582 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270324134 937611264 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2204] ppid=2196 vsize=915636 CPUtime=0.16
/proc/2198/task/2204/stat : 2204 (java) S 2196 2198 1582 0 -1 64 408 0 0 0 16 0 0 0 15 0 8 0 270324134 937611264 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2205] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2205/stat : 2205 (java) S 2196 2198 1582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270324134 937611264 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2206] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2206/stat : 2206 (java) S 2196 2198 1582 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270324134 937611264 20836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915636

[startup+6.27115 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 2206
/proc/meminfo: memFree=1119240/2055920 swapFree=4191892/4192956
[pid=2198] ppid=2196 vsize=915636 CPUtime=6.12
/proc/2198/stat : 2198 (java) R 2196 2198 1582 0 -1 0 21104 0 14 0 598 14 0 0 25 0 8 0 270324120 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800905 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2198/statm: 228909 20853 2185 14 0 215379 0
[pid=2198/tid=2200] ppid=2196 vsize=915636 CPUtime=0.06
/proc/2198/task/2200/stat : 2200 (java) S 2196 2198 1582 0 -1 64 4474 0 0 0 5 1 0 0 16 0 8 0 270324130 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2201] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2201/stat : 2201 (java) S 2196 2198 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270324131 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2202] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2202/stat : 2202 (java) S 2196 2198 1582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270324131 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2203] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2203/stat : 2203 (java) S 2196 2198 1582 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270324134 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2204] ppid=2196 vsize=915636 CPUtime=0.18
/proc/2198/task/2204/stat : 2204 (java) S 2196 2198 1582 0 -1 64 424 0 0 0 18 0 0 0 15 0 8 0 270324134 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2205] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2205/stat : 2205 (java) S 2196 2198 1582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270324134 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2206] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2206/stat : 2206 (java) S 2196 2198 1582 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270324134 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915636

[startup+12.7572 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 2206
/proc/meminfo: memFree=1119240/2055920 swapFree=4191892/4192956
[pid=2198] ppid=2196 vsize=915636 CPUtime=12.58
/proc/2198/stat : 2198 (java) R 2196 2198 1582 0 -1 0 21111 0 14 0 1242 16 0 0 25 0 8 0 270324120 937611264 20859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797216 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2198/statm: 228909 20859 2185 14 0 215379 0
[pid=2198/tid=2200] ppid=2196 vsize=915636 CPUtime=0.06
/proc/2198/task/2200/stat : 2200 (java) S 2196 2198 1582 0 -1 64 4474 0 0 0 5 1 0 0 16 0 8 0 270324130 937611264 20859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2201] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2201/stat : 2201 (java) S 2196 2198 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270324131 937611264 20859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2202] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2202/stat : 2202 (java) S 2196 2198 1582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270324131 937611264 20859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2203] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2203/stat : 2203 (java) S 2196 2198 1582 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270324134 937611264 20859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2204] ppid=2196 vsize=915636 CPUtime=0.2
/proc/2198/task/2204/stat : 2204 (java) S 2196 2198 1582 0 -1 64 430 0 0 0 19 1 0 0 16 0 8 0 270324134 937611264 20859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2205] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2205/stat : 2205 (java) S 2196 2198 1582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270324134 937611264 20859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2206] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2206/stat : 2206 (java) S 2196 2198 1582 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270324134 937611264 20859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915636

[startup+25.6184 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 2206
/proc/meminfo: memFree=1117000/2055920 swapFree=4191892/4192956
[pid=2198] ppid=2196 vsize=915636 CPUtime=25.39
/proc/2198/stat : 2198 (java) R 2196 2198 1582 0 -1 0 21731 0 14 0 2521 18 0 0 25 0 8 0 270324120 937611264 21477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797228 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2198/statm: 228909 21477 2185 14 0 215379 0
[pid=2198/tid=2200] ppid=2196 vsize=915636 CPUtime=0.11
/proc/2198/task/2200/stat : 2200 (java) S 2196 2198 1582 0 -1 64 5091 0 0 0 10 1 0 0 16 0 8 0 270324130 937611264 21477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2201] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2201/stat : 2201 (java) S 2196 2198 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270324131 937611264 21477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2202] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2202/stat : 2202 (java) S 2196 2198 1582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270324131 937611264 21477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2203] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2203/stat : 2203 (java) S 2196 2198 1582 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270324134 937611264 21477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2204] ppid=2196 vsize=915636 CPUtime=0.2
/proc/2198/task/2204/stat : 2204 (java) S 2196 2198 1582 0 -1 64 431 0 0 0 19 1 0 0 16 0 8 0 270324134 937611264 21477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2205] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2205/stat : 2205 (java) S 2196 2198 1582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270324134 937611264 21477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2206] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2206/stat : 2206 (java) S 2196 2198 1582 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270324134 937611264 21477 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 915636

[startup+51.2397 s]
/proc/loadavg: 2.00 2.00 1.91 3/81 2206
/proc/meminfo: memFree=1104840/2055920 swapFree=4191892/4192956
[pid=2198] ppid=2196 vsize=915636 CPUtime=50.88
/proc/2198/stat : 2198 (java) R 2196 2198 1582 0 -1 0 24791 0 14 0 5060 28 0 0 25 0 8 0 270324120 937611264 24535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2198/statm: 228909 24535 2185 14 0 215379 0
[pid=2198/tid=2200] ppid=2196 vsize=915636 CPUtime=0.22
/proc/2198/task/2200/stat : 2200 (java) S 2196 2198 1582 0 -1 64 8140 0 0 0 20 2 0 0 16 0 8 0 270324130 937611264 24535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2201] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2201/stat : 2201 (java) S 2196 2198 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270324131 937611264 24535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2202] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2202/stat : 2202 (java) S 2196 2198 1582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270324131 937611264 24535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2203] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2203/stat : 2203 (java) S 2196 2198 1582 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270324134 937611264 24535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2204] ppid=2196 vsize=915636 CPUtime=0.22
/proc/2198/task/2204/stat : 2204 (java) S 2196 2198 1582 0 -1 64 440 0 0 0 21 1 0 0 15 0 8 0 270324134 937611264 24535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2205] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2205/stat : 2205 (java) S 2196 2198 1582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270324134 937611264 24535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2206] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2206/stat : 2206 (java) S 2196 2198 1582 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270324134 937611264 24535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 915636

[startup+102.475 s]
/proc/loadavg: 2.07 2.02 1.92 3/81 2206
/proc/meminfo: memFree=1082952/2055920 swapFree=4191892/4192956
[pid=2198] ppid=2196 vsize=915636 CPUtime=101.83
/proc/2198/stat : 2198 (java) R 2196 2198 1582 0 -1 0 30576 0 15 0 10136 47 0 0 25 0 8 0 270324120 937611264 30315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073982617 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2198/statm: 228909 30315 2504 14 0 215379 0
[pid=2198/tid=2200] ppid=2196 vsize=915636 CPUtime=0.6
/proc/2198/task/2200/stat : 2200 (java) S 2196 2198 1582 0 -1 64 13547 0 0 0 55 5 0 0 16 0 8 0 270324130 937611264 30315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2201] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2201/stat : 2201 (java) S 2196 2198 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270324131 937611264 30315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2202] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2202/stat : 2202 (java) S 2196 2198 1582 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270324131 937611264 30315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2203] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2203/stat : 2203 (java) S 2196 2198 1582 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270324134 937611264 30315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2204] ppid=2196 vsize=915636 CPUtime=0.27
/proc/2198/task/2204/stat : 2204 (java) S 2196 2198 1582 0 -1 64 467 0 1 0 26 1 0 0 16 0 8 0 270324134 937611264 30315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2205] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2205/stat : 2205 (java) S 2196 2198 1582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270324134 937611264 30315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2206] ppid=2196 vsize=915636 CPUtime=0
/proc/2198/task/2206/stat : 2206 (java) S 2196 2198 1582 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270324134 937611264 30315 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 915636

[startup+162.57 s]
/proc/loadavg: 2.02 2.01 1.92 3/81 2206
/proc/meminfo: memFree=1082888/2055920 swapFree=4191892/4192956
[pid=2198] ppid=2196 vsize=915636 CPUtime=161.62
/proc/2198/stat : 2198 (java) R 2196 2198 1582 0 -1 0 30577 0 15 0 16109 53 0 0 25 0 8 0 270324120 937611264 30316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073988726 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 2017.25
Current children cumulated vsize (KiB) 915744

[startup+2085.17 s]
/proc/loadavg: 2.03 2.01 1.95 3/88 2283
/proc/meminfo: memFree=1299672/2055920 swapFree=4191892/4192956
[pid=2198] ppid=2196 vsize=915744 CPUtime=2077.28
/proc/2198/stat : 2198 (java) R 2196 2198 1582 0 -1 0 40543 0 15 0 207651 77 0 0 25 0 8 0 270324120 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073977995 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2198/statm: 228936 40234 2553 14 0 215406 0
[pid=2198/tid=2200] ppid=2196 vsize=915744 CPUtime=0.71
/proc/2198/task/2200/stat : 2200 (java) S 2196 2198 1582 0 -1 64 23270 0 0 0 63 8 0 0 16 0 8 0 270324130 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2201] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2201/stat : 2201 (java) S 2196 2198 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270324131 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2202] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2202/stat : 2202 (java) S 2196 2198 1582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270324131 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2203] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2203/stat : 2203 (java) S 2196 2198 1582 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270324134 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2204] ppid=2196 vsize=915744 CPUtime=0.39
/proc/2198/task/2204/stat : 2204 (java) S 2196 2198 1582 0 -1 64 605 0 1 0 37 2 0 0 17 0 8 0 270324134 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2205] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2205/stat : 2205 (java) S 2196 2198 1582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270324134 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2206] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2206/stat : 2206 (java) S 2196 2198 1582 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270324134 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2077.28
Current children cumulated vsize (KiB) 915744

[startup+2145.18 s]
/proc/loadavg: 2.01 2.01 1.95 3/88 2283
/proc/meminfo: memFree=1299608/2055920 swapFree=4191892/4192956
[pid=2198] ppid=2196 vsize=915744 CPUtime=2137.21
/proc/2198/stat : 2198 (java) R 2196 2198 1582 0 -1 0 40543 0 15 0 213644 77 0 0 25 0 8 0 270324120 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074241622 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2198/statm: 228936 40234 2553 14 0 215406 0
[pid=2198/tid=2200] ppid=2196 vsize=915744 CPUtime=0.71
/proc/2198/task/2200/stat : 2200 (java) S 2196 2198 1582 0 -1 64 23270 0 0 0 63 8 0 0 16 0 8 0 270324130 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2201] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2201/stat : 2201 (java) S 2196 2198 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270324131 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2202] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2202/stat : 2202 (java) S 2196 2198 1582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270324131 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2203] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2203/stat : 2203 (java) S 2196 2198 1582 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270324134 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2204] ppid=2196 vsize=915744 CPUtime=0.39
/proc/2198/task/2204/stat : 2204 (java) S 2196 2198 1582 0 -1 64 605 0 1 0 37 2 0 0 17 0 8 0 270324134 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2205] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2205/stat : 2205 (java) S 2196 2198 1582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270324134 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2206] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2206/stat : 2206 (java) S 2196 2198 1582 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270324134 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2137.21
Current children cumulated vsize (KiB) 915744

[startup+2205.2 s]
/proc/loadavg: 2.00 2.00 1.95 3/88 2283
/proc/meminfo: memFree=1299608/2055920 swapFree=4191892/4192956
[pid=2198] ppid=2196 vsize=915744 CPUtime=2197.17
/proc/2198/stat : 2198 (java) R 2196 2198 1582 0 -1 0 40543 0 15 0 219640 77 0 0 25 0 8 0 270324120 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074247753 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2198/statm: 228936 40234 2553 14 0 215406 0
[pid=2198/tid=2200] ppid=2196 vsize=915744 CPUtime=0.71
/proc/2198/task/2200/stat : 2200 (java) S 2196 2198 1582 0 -1 64 23270 0 0 0 63 8 0 0 16 0 8 0 270324130 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2201] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2201/stat : 2201 (java) S 2196 2198 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270324131 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2202] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2202/stat : 2202 (java) S 2196 2198 1582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270324131 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2203] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2203/stat : 2203 (java) S 2196 2198 1582 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270324134 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2204] ppid=2196 vsize=915744 CPUtime=0.39
/proc/2198/task/2204/stat : 2204 (java) S 2196 2198 1582 0 -1 64 605 0 1 0 37 2 0 0 17 0 8 0 270324134 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2205] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2205/stat : 2205 (java) S 2196 2198 1582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270324134 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2206] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2206/stat : 2206 (java) S 2196 2198 1582 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270324134 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2197.17
Current children cumulated vsize (KiB) 915744

[startup+2265.22 s]
/proc/loadavg: 2.00 2.00 1.95 3/88 2283
/proc/meminfo: memFree=1299608/2055920 swapFree=4191892/4192956
[pid=2198] ppid=2196 vsize=915744 CPUtime=2257.14
/proc/2198/stat : 2198 (java) R 2196 2198 1582 0 -1 0 40543 0 15 0 225637 77 0 0 25 0 8 0 270324120 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795228 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2198/statm: 228936 40234 2553 14 0 215406 0
[pid=2198/tid=2200] ppid=2196 vsize=915744 CPUtime=0.71
/proc/2198/task/2200/stat : 2200 (java) S 2196 2198 1582 0 -1 64 23270 0 0 0 63 8 0 0 16 0 8 0 270324130 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2201] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2201/stat : 2201 (java) S 2196 2198 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270324131 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2202] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2202/stat : 2202 (java) S 2196 2198 1582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270324131 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2203] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2203/stat : 2203 (java) S 2196 2198 1582 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270324134 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2204] ppid=2196 vsize=915744 CPUtime=0.39
/proc/2198/task/2204/stat : 2204 (java) S 2196 2198 1582 0 -1 64 605 0 1 0 37 2 0 0 17 0 8 0 270324134 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2205] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2205/stat : 2205 (java) S 2196 2198 1582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270324134 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2206] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2206/stat : 2206 (java) S 2196 2198 1582 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270324134 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2257.14
Current children cumulated vsize (KiB) 915744

[startup+2325.24 s]
/proc/loadavg: 2.00 2.00 1.95 3/88 2283
/proc/meminfo: memFree=1299608/2055920 swapFree=4191892/4192956
[pid=2198] ppid=2196 vsize=915744 CPUtime=2317.08
/proc/2198/stat : 2198 (java) R 2196 2198 1582 0 -1 0 40543 0 15 0 231631 77 0 0 25 0 8 0 270324120 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074241700 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2198/statm: 228936 40234 2553 14 0 215406 0
[pid=2198/tid=2200] ppid=2196 vsize=915744 CPUtime=0.71
/proc/2198/task/2200/stat : 2200 (java) S 2196 2198 1582 0 -1 64 23270 0 0 0 63 8 0 0 16 0 8 0 270324130 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2201] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2201/stat : 2201 (java) S 2196 2198 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270324131 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2202] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2202/stat : 2202 (java) S 2196 2198 1582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270324131 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2203] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2203/stat : 2203 (java) S 2196 2198 1582 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270324134 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2204] ppid=2196 vsize=915744 CPUtime=0.39
/proc/2198/task/2204/stat : 2204 (java) S 2196 2198 1582 0 -1 64 605 0 1 0 37 2 0 0 17 0 8 0 270324134 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2205] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2205/stat : 2205 (java) S 2196 2198 1582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270324134 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2206] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2206/stat : 2206 (java) S 2196 2198 1582 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270324134 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2317.08
Current children cumulated vsize (KiB) 915744

[startup+2385.24 s]
/proc/loadavg: 2.00 2.00 1.95 3/88 2283
/proc/meminfo: memFree=1299608/2055920 swapFree=4191892/4192956
[pid=2198] ppid=2196 vsize=915744 CPUtime=2377.03
/proc/2198/stat : 2198 (java) R 2196 2198 1582 0 -1 0 40543 0 15 0 237626 77 0 0 25 0 8 0 270324120 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073978150 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2198/statm: 228936 40234 2553 14 0 215406 0
[pid=2198/tid=2200] ppid=2196 vsize=915744 CPUtime=0.71
/proc/2198/task/2200/stat : 2200 (java) S 2196 2198 1582 0 -1 64 23270 0 0 0 63 8 0 0 16 0 8 0 270324130 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2201] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2201/stat : 2201 (java) S 2196 2198 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270324131 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2202] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2202/stat : 2202 (java) S 2196 2198 1582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270324131 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2203] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2203/stat : 2203 (java) S 2196 2198 1582 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270324134 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2204] ppid=2196 vsize=915744 CPUtime=0.39
/proc/2198/task/2204/stat : 2204 (java) S 2196 2198 1582 0 -1 64 605 0 1 0 37 2 0 0 17 0 8 0 270324134 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2205] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2205/stat : 2205 (java) S 2196 2198 1582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270324134 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2206] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2206/stat : 2206 (java) S 2196 2198 1582 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270324134 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2377.03
Current children cumulated vsize (KiB) 915744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2408.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/88 2283
/proc/meminfo: memFree=1299544/2055920 swapFree=4191892/4192956
[pid=2198] ppid=2196 vsize=915744 CPUtime=2400.08
/proc/2198/stat : 2198 (java) R 2196 2198 1582 0 -1 0 40543 0 15 0 239931 77 0 0 25 0 8 0 270324120 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794034 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2198/statm: 228936 40234 2553 14 0 215406 0
[pid=2198/tid=2200] ppid=2196 vsize=915744 CPUtime=0.71
/proc/2198/task/2200/stat : 2200 (java) S 2196 2198 1582 0 -1 64 23270 0 0 0 63 8 0 0 16 0 8 0 270324130 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2201] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2201/stat : 2201 (java) S 2196 2198 1582 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270324131 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2202] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2202/stat : 2202 (java) S 2196 2198 1582 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270324131 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2203] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2203/stat : 2203 (java) S 2196 2198 1582 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 270324134 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2204] ppid=2196 vsize=915744 CPUtime=0.39
/proc/2198/task/2204/stat : 2204 (java) S 2196 2198 1582 0 -1 64 605 0 1 0 37 2 0 0 17 0 8 0 270324134 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2205] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2205/stat : 2205 (java) S 2196 2198 1582 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 270324134 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2198/tid=2206] ppid=2196 vsize=915744 CPUtime=0
/proc/2198/task/2206/stat : 2206 (java) S 2196 2198 1582 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270324134 937721856 40234 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 915744

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

Child status: 143
Real time (s): 2408.37
CPU time (s): 2400.16
CPU user time (s): 2399.36
CPU system time (s): 0.801878
CPU usage (%): 99.6591
Max. virtual memory (cumulated for all children) (KiB): 915936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.36
system time used= 0.801878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40566
page faults= 15
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50577
involuntary context switches= 62357

runsolver used 2.55961 s user time and 8.19775 s system time

The end

Launcher Data (download as text)

Begin job on node50 on Fri Jan 19 15:07:36 UTC 2007


IDJOB= 275279
IDBENCH= 3763
IDSOLVER= 68
FILE ID= node50/275279-1169219255

PBS_JOBID= 3589162

Free space on /tmp= 66558 MiB

SOLVER NAME= AbsconMax 109 EPFC
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 epfc.xml 1 XSax /tmp/evaluation/275279-1169219255/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-275279-1169219255 -o ROOT/results/node50/solver-275279-1169219255 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275279-1169219255/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  69b107b4e08702b8ad8f64aec9f1ccc3

RANDOM SEED= 978270170

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.263
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	: 5931.00
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.263
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:       1199072 kB
Buffers:         45196 kB
Cached:         450248 kB
SwapCached:        276 kB
Active:         384760 kB
Inactive:       394452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1199072 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            3676 kB
Writeback:           0 kB
Mapped:         293912 kB
Slab:            62560 kB
Committed_AS:  5519820 kB
PageTables:       2368 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB



End job on node50 on Fri Jan 19 15:47:44 UTC 2007