Trace number 275289

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.12 2416.5

General information on the benchmark

Namefapp/fapp11-15/fapp11/
fapp11-1000-1.xml
MD5SUM807c7a1bb270de62fd8ab1fdbd66c332
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints14565
Best CPU time to get the best result obtained on this benchmark2400.11
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables1000
Number of constraints15032
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension15032
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/275289-1169219577/unknown.xml
0.38	   
0.38	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.58	     nbVariables=1000  nbDomainTypes=18  minDomainSize=50  maxDomainSize=362
0.58	       =>  wckTime=0.265  cpuTime=0.2  mem=17M636
0.58	   
0.58	   predicates being loaded...
0.59	   
0.59	   constraints being loaded...
61.27	   
61.27	   INFO : Stopping converting binary constraints (cpu=60.01, mem = 71M134)
62.38	     nbConstraints=15032  nbConvertedConstraints=4212  nbConvertConstraintsChecks=189446420  nbExtensionStructures=2561
62.38	     nbSharedExtensionStructures=1651  nbConflictsStructures=2561  nbSharedConflictsStructures=1651
62.38	     nbSharedBinaryRepresentations=1311543  nbEvaluationManagers=5322  nbSharedEvaluationManagers=5498  maxDegree=51
62.38	     maxArity=2
62.38	       =>  wckTime=62.063  cpuTime=60.84  mem=49M627
62.59	   
62.59	   solver LocalSearchSolver being built... 
62.63	       =>  wckTime=62.319  cpuTime=60.9  mem=47M233
62.73	
62.73	s SATISFIABLE
62.73	o 11740
62.73	c 3292
62.79	o 11749
62.79	c 3283
62.84	o 11759
62.84	c 3273
62.87	o 11765
62.87	c 3267
62.89	o 11771
62.89	c 3261
62.93	o 11776
62.93	c 3256
62.96	o 11781
62.96	c 3251
62.97	o 11784
62.97	c 3248
63.00	o 11793
63.00	c 3239
63.05	o 11801
63.05	c 3231
63.07	o 11809
63.07	c 3223
63.10	o 11816
63.10	c 3216
63.13	o 11823
63.13	c 3209
63.15	o 11827
63.15	c 3205
63.18	o 11829
63.18	c 3203
63.21	o 11838
63.21	c 3194
63.24	o 11845
63.24	c 3187
63.30	o 11851
63.30	c 3181
63.34	o 11857
63.34	c 3175
63.39	o 11862
63.39	c 3170
63.43	o 11867
63.43	c 3165
63.46	o 11871
63.46	c 3161
63.49	o 11875
63.49	c 3157
63.52	o 11878
63.52	c 3154
63.55	o 11881
63.55	c 3151
63.57	o 11884
63.57	c 3148
63.61	o 11887
63.61	c 3145
63.63	o 11892
63.63	c 3140
63.67	o 11903
63.67	c 3129
63.68	o 11911
63.68	c 3121
63.70	o 11915
63.70	c 3117
63.72	o 11918
63.72	c 3114
63.75	o 11921
63.75	c 3111
63.76	o 11926
63.76	c 3106
63.79	o 11929
63.79	c 3103
63.82	o 11936
63.82	c 3096
63.85	o 11943
63.85	c 3089
63.89	o 11948
63.89	c 3084
63.94	o 11953
63.94	c 3079
63.97	o 11958
63.97	c 3074
64.00	o 11962
64.00	c 3070
64.04	o 11966
64.04	c 3066
64.08	o 11969
64.08	c 3063
64.11	o 11972
64.11	c 3060
64.12	o 11975
64.12	c 3057
64.15	o 11977
64.15	c 3055
64.16	o 11979
64.16	c 3053
64.19	o 11980
64.19	c 3052
64.24	o 11984
64.24	c 3048
64.27	o 11990
64.27	c 3042
64.29	o 11993
64.29	c 3039
64.37	o 12001
64.37	c 3031
64.38	o 12005
64.38	c 3027
64.41	o 12013
64.41	c 3019
64.44	o 12020
64.44	c 3012
64.48	o 12027
64.48	c 3005
64.51	o 12034
64.51	c 2998
64.56	o 12040
64.56	c 2992
64.59	o 12046
64.59	c 2986
64.63	o 12051
64.63	c 2981
64.68	o 12056
64.68	c 2976
64.71	o 12061
64.71	c 2971
64.74	o 12065
64.74	c 2967
64.77	o 12068
64.77	c 2964
64.80	o 12071
64.80	c 2961
64.84	o 12074
64.84	c 2958
64.87	o 12076
64.87	c 2956
64.91	o 12078
64.91	c 2954
64.93	o 12080
64.93	c 2952
64.96	o 12082
64.96	c 2950
65.06	o 12084
65.06	c 2948
65.07	o 12085
65.07	c 2947
65.12	o 12087
65.12	c 2945
65.14	o 12091
65.14	c 2941
65.23	o 12095
65.23	c 2937
65.25	o 12098
65.25	c 2934
65.27	o 12101
65.27	c 2931
65.30	o 12107
65.30	c 2925
65.31	o 12111
65.31	c 2921
65.34	o 12116
65.34	c 2916
65.36	o 12120
65.36	c 2912
65.37	o 12125
65.37	c 2907
65.38	o 12127
65.38	c 2905
65.41	o 12129
65.41	c 2903
65.43	o 12136
65.43	c 2896
65.45	o 12137
65.45	c 2895
65.49	o 12142
65.49	c 2890
65.50	o 12145
65.50	c 2887
65.54	o 12153
65.54	c 2879
65.57	o 12159
65.57	c 2873
65.60	o 12165
65.60	c 2867
65.63	o 12170
65.63	c 2862
65.66	o 12175
65.66	c 2857
65.69	o 12178
65.69	c 2854
65.72	o 12183
65.72	c 2849
65.75	o 12188
65.75	c 2844
65.79	o 12192
65.79	c 2840
65.81	o 12196
65.81	c 2836
65.83	o 12199
65.83	c 2833
65.86	o 12202
65.86	c 2830
65.88	o 12205
65.88	c 2827
65.89	o 12211
65.89	c 2821
65.91	o 12213
65.91	c 2819
65.93	o 12215
65.93	c 2817
65.95	o 12217
65.95	c 2815
65.97	o 12219
65.97	c 2813
65.99	o 12220
65.99	c 2812
66.05	o 12227
66.05	c 2805
66.08	o 12233
66.08	c 2799
66.10	o 12238
66.10	c 2794
66.13	o 12240
66.13	c 2792
66.15	o 12243
66.15	c 2789
66.17	o 12249
66.17	c 2783
66.20	o 12255
66.20	c 2777
66.22	o 12260
66.22	c 2772
66.25	o 12263
66.25	c 2769
66.26	o 12270
66.26	c 2762
66.30	o 12272
66.30	c 2760
66.31	o 12277
66.31	c 2755
66.33	o 12279
66.33	c 2753
66.39	o 12280
66.39	c 2752
66.42	o 12282
66.42	c 2750
66.48	o 12284
66.48	c 2748
66.51	o 12286
66.51	c 2746
66.53	o 12292
66.53	c 2740
66.56	o 12297
66.56	c 2735
66.59	o 12299
66.59	c 2733
66.62	o 12302
66.62	c 2730
66.65	o 12304
66.65	c 2728
66.68	o 12307
66.68	c 2725
66.71	o 12308
66.71	c 2724
66.75	o 12312
66.75	c 2720
66.77	o 12317
66.77	c 2715
66.81	o 12320
66.81	c 2712
66.84	o 12322
66.84	c 2710
66.87	o 12325
66.87	c 2707
66.90	o 12331
66.90	c 2701
66.95	o 12337
66.95	c 2695
66.98	o 12342
66.98	c 2690
67.01	o 12345
67.01	c 2687
67.06	o 12348
67.06	c 2684
67.10	o 12351
67.10	c 2681
67.13	o 12353
67.13	c 2679
67.17	o 12355
67.17	c 2677
67.21	o 12363
67.21	c 2669
67.24	o 12365
67.24	c 2667
67.27	o 12366
67.27	c 2666
67.29	o 12373
67.29	c 2659
67.40	o 12377
67.40	c 2655
67.42	o 12381
67.42	c 2651
67.45	o 12385
67.45	c 2647
67.48	o 12387
67.48	c 2645
67.50	o 12391
67.50	c 2641
67.53	o 12394
67.53	c 2638
67.56	o 12395
67.56	c 2637
67.60	o 12396
67.60	c 2636
67.63	o 12398
67.63	c 2634
67.67	o 12401
67.67	c 2631
67.70	o 12405
67.70	c 2627
67.74	o 12406
67.74	c 2626
67.77	o 12410
67.77	c 2622
67.82	o 12412
67.82	c 2620
67.85	o 12415
67.85	c 2617
67.88	o 12418
67.88	c 2614
67.92	o 12420
67.92	c 2612
67.96	o 12424
67.96	c 2608
67.99	o 12425
67.99	c 2607
68.02	o 12426
68.02	c 2606
68.05	o 12429
68.05	c 2603
68.08	o 12431
68.08	c 2601
68.12	o 12434
68.12	c 2598
68.16	o 12436
68.16	c 2596
68.24	o 12439
68.24	c 2593
68.27	o 12442
68.27	c 2590
68.32	o 12445
68.32	c 2587
68.34	o 12449
68.34	c 2583
68.37	o 12452
68.37	c 2580
68.40	o 12456
68.40	c 2576
68.43	o 12462
68.43	c 2570
68.46	o 12465
68.46	c 2567
68.50	o 12466
68.50	c 2566
68.54	o 12468
68.54	c 2564
68.64	o 12471
68.64	c 2561
68.68	o 12474
68.68	c 2558
68.70	o 12480
68.70	c 2552
68.72	o 12486
68.72	c 2546
68.75	o 12491
68.75	c 2541
68.78	o 12494
68.78	c 2538
68.80	o 12498
68.80	c 2534
68.83	o 12502
68.83	c 2530
68.86	o 12507
68.86	c 2525
68.89	o 12508
68.89	c 2524
68.92	o 12512
68.92	c 2520
68.94	o 12514
68.94	c 2518
69.12	o 12516
69.12	c 2516
69.22	o 12518
69.22	c 2514
69.26	o 12521
69.26	c 2511
69.34	o 12522
69.34	c 2510
69.39	o 12525
69.39	c 2507
69.43	o 12528
69.43	c 2504
69.47	o 12532
69.47	c 2500
69.51	o 12536
69.51	c 2496
69.55	o 12541
69.55	c 2491
69.59	o 12542
69.59	c 2490
69.63	o 12545
69.63	c 2487
69.67	o 12551
69.67	c 2481
69.72	o 12553
69.72	c 2479
69.76	o 12554
69.76	c 2478
69.80	o 12556
69.80	c 2476
69.83	o 12559
69.83	c 2473
69.86	o 12561
69.86	c 2471
69.89	o 12563
69.89	c 2469
69.93	o 12566
69.93	c 2466
69.96	o 12573
69.96	c 2459
70.05	o 12574
70.05	c 2458
70.08	o 12579
70.08	c 2453
70.11	o 12582
70.11	c 2450
70.14	o 12587
70.14	c 2445
70.18	o 12589
70.18	c 2443
70.22	o 12593
70.22	c 2439
70.25	o 12595
70.25	c 2437
70.30	o 12598
70.30	c 2434
70.34	o 12602
70.34	c 2430
70.45	o 12606
70.45	c 2426
70.48	o 12610
70.48	c 2422
70.51	o 12618
70.51	c 2414
70.55	o 12620
70.55	c 2412
70.59	o 12624
70.59	c 2408
70.62	o 12629
70.62	c 2403
70.64	o 12634
70.64	c 2398
70.68	o 12637
70.68	c 2395
70.72	o 12639
70.72	c 2393
70.78	o 12643
70.78	c 2389
70.82	o 12644
70.82	c 2388
70.86	o 12648
70.86	c 2384
70.90	o 12652
70.90	c 2380
70.94	o 12655
70.94	c 2377
70.97	o 12658
70.97	c 2374
71.01	o 12660
71.01	c 2372
71.06	o 12666
71.06	c 2366
71.10	o 12671
71.10	c 2361
71.19	o 12672
71.19	c 2360
71.22	o 12673
71.22	c 2359
71.30	o 12675
71.30	c 2357
71.39	o 12678
71.39	c 2354
71.51	o 12680
71.51	c 2352
71.54	o 12682
71.54	c 2350
71.58	o 12683
71.58	c 2349
71.69	o 12685
71.69	c 2347
71.73	o 12689
71.73	c 2343
71.81	o 12692
71.81	c 2340
71.85	o 12698
71.85	c 2334
71.89	o 12700
71.89	c 2332
71.92	o 12705
71.92	c 2327
71.98	o 12706
71.98	c 2326
72.03	o 12707
72.03	c 2325
72.07	o 12708
72.07	c 2324
72.11	o 12710
72.11	c 2322
72.14	o 12713
72.14	c 2319
72.22	o 12714
72.22	c 2318
72.25	o 12716
72.25	c 2316
72.30	o 12720
72.30	c 2312
72.32	o 12723
72.32	c 2309
72.36	o 12725
72.36	c 2307
72.40	o 12727
72.40	c 2305
72.44	o 12729
72.44	c 2303
72.49	o 12732
72.49	c 2300
72.53	o 12737
72.53	c 2295
72.57	o 12739
72.57	c 2293
72.60	o 12745
72.60	c 2287
72.64	o 12749
72.64	c 2283
72.70	o 12750
72.70	c 2282
72.74	o 12754
72.74	c 2278
72.77	o 12758
72.77	c 2274
72.81	o 12759
72.81	c 2273
72.85	o 12764
72.85	c 2268
72.89	o 12768
72.89	c 2264
72.93	o 12771
72.93	c 2261
72.96	o 12773
72.96	c 2259
73.00	o 12776
73.00	c 2256
73.07	o 12778
73.07	c 2254
73.15	o 12781
73.15	c 2251
73.18	o 12784
73.18	c 2248
73.21	o 12785
73.21	c 2247
73.27	o 12791
73.27	c 2241
73.35	o 12792
73.35	c 2240
73.47	o 12795
73.47	c 2237
73.55	o 12797
73.55	c 2235
73.58	o 12799
73.58	c 2233
73.62	o 12802
73.62	c 2230
73.65	o 12804
73.65	c 2228
73.69	o 12805
73.69	c 2227
73.72	o 12809
73.72	c 2223
73.75	o 12812
73.75	c 2220
73.78	o 12815
73.78	c 2217
73.82	o 12817
73.82	c 2215
73.85	o 12819
73.85	c 2213
73.93	o 12827
73.93	c 2205
73.98	o 12832
73.98	c 2200
74.08	o 12834
74.08	c 2198
74.12	o 12836
74.12	c 2196
74.18	o 12841
74.18	c 2191
74.23	o 12846
74.23	c 2186
74.28	o 12848
74.28	c 2184
74.38	o 12849
74.38	c 2183
74.41	o 12852
74.41	c 2180
74.45	o 12854
74.45	c 2178
74.53	o 12859
74.53	c 2173
74.58	o 12863
74.58	c 2169
74.61	o 12864
74.61	c 2168
74.68	o 12866
74.68	c 2166
74.74	o 12867
74.74	c 2165
74.77	o 12871
74.77	c 2161
74.84	o 12873
74.84	c 2159
74.89	o 12876
74.89	c 2156
74.94	o 12879
74.94	c 2153
75.01	o 12880
75.01	c 2152
75.12	o 12883
75.12	c 2149
75.19	o 12885
75.19	c 2147
75.23	o 12890
75.23	c 2142
75.29	o 12891
75.29	c 2141
75.34	o 12892
75.34	c 2140
75.52	o 12893
75.52	c 2139
75.57	o 12896
75.57	c 2136
75.61	o 12897
75.61	c 2135
75.67	o 12899
75.67	c 2133
75.71	o 12900
75.71	c 2132
75.77	o 12903
75.77	c 2129
75.82	o 12905
75.82	c 2127
75.87	o 12908
75.87	c 2124
75.93	o 12910
75.93	c 2122
75.97	o 12911
75.97	c 2121
76.01	o 12916
76.02	c 2116
76.11	o 12917
76.11	c 2115
76.15	o 12920
76.15	c 2112
76.19	o 12921
76.19	c 2111
76.25	o 12922
76.25	c 2110
76.30	o 12923
76.30	c 2109
76.36	o 12927
76.36	c 2105
76.41	o 12931
76.41	c 2101
76.58	o 12936
76.58	c 2096
76.63	o 12940
76.63	c 2092
76.86	o 12947
76.86	c 2085
76.90	o 12948
76.90	c 2084
77.07	o 12951
77.07	c 2081
77.12	o 12952
77.12	c 2080
77.24	o 12954
77.24	c 2078
77.39	o 12959
77.39	c 2073
77.44	o 12964
77.44	c 2068
77.49	o 12965
77.49	c 2067
77.54	o 12970
77.54	c 2062
77.59	o 12973
77.59	c 2059
77.64	o 12978
77.64	c 2054
77.76	o 12980
77.76	c 2052
77.82	o 12981
77.82	c 2051
77.87	o 12986
77.87	c 2046
77.93	o 12988
77.93	c 2044
78.04	o 12990
78.04	c 2042
78.10	o 12991
78.10	c 2041
78.16	o 12994
78.16	c 2038
78.22	o 12998
78.22	c 2034
78.27	o 13001
78.27	c 2031
78.34	o 13002
78.34	c 2030
78.44	o 13005
78.44	c 2027
78.67	o 13008
78.67	c 2024
78.73	o 13015
78.73	c 2017
78.80	o 13018
78.80	c 2014
78.92	o 13020
78.92	c 2012
78.98	o 13021
78.98	c 2011
79.03	o 13027
79.03	c 2005
79.08	o 13032
79.08	c 2000
79.14	o 13033
79.14	c 1999
79.19	o 13034
79.19	c 1998
79.24	o 13035
79.24	c 1997
79.30	o 13036
79.30	c 1996
79.35	o 13037
79.35	c 1995
79.51	o 13038
79.51	c 1994
79.56	o 13039
79.56	c 1993
79.62	o 13040
79.62	c 1992
79.68	o 13042
79.68	c 1990
79.74	o 13046
79.74	c 1986
79.80	o 13048
79.80	c 1984
79.93	o 13049
79.93	c 1983
79.99	o 13052
79.99	c 1980
80.05	o 13056
80.05	c 1976
80.11	o 13059
80.11	c 1973
80.15	o 13064
80.15	c 1968
80.21	o 13065
80.21	c 1967
80.40	o 13068
80.40	c 1964
80.46	o 13070
80.46	c 1962
80.52	o 13072
80.52	c 1960
80.69	o 13074
80.69	c 1958
80.75	o 13077
80.75	c 1955
80.80	o 13081
80.80	c 1951
81.06	o 13082
81.06	c 1950
81.12	o 13085
81.12	c 1947
81.39	o 13086
81.39	c 1946
81.46	o 13087
81.46	c 1945
81.51	o 13089
81.51	c 1943
81.67	o 13092
81.67	c 1940
81.73	o 13095
81.73	c 1937
81.83	o 13098
81.83	c 1934
81.88	o 13101
81.88	c 1931
81.92	o 13105
81.92	c 1927
81.98	o 13106
81.98	c 1926
82.03	o 13107
82.03	c 1925
82.13	o 13112
82.13	c 1920
82.19	o 13114
82.19	c 1918
82.24	o 13120
82.24	c 1912
82.29	o 13125
82.29	c 1907
82.34	o 13127
82.34	c 1905
82.41	o 13128
82.41	c 1904
82.47	o 13131
82.47	c 1901
82.53	o 13134
82.53	c 1898
82.58	o 13136
82.58	c 1896
82.64	o 13138
82.64	c 1894
82.71	o 13142
82.71	c 1890
82.78	o 13143
82.78	c 1889
82.84	o 13146
82.84	c 1886
82.89	o 13149
82.89	c 1883
82.95	o 13150
82.95	c 1882
83.00	o 13152
83.00	c 1880
83.05	o 13153
83.05	c 1879
83.13	o 13157
83.13	c 1875
83.18	o 13161
83.18	c 1871
83.31	o 13163
83.31	c 1869
83.50	o 13165
83.50	c 1867
83.58	o 13167
83.58	c 1865
83.65	o 13169
83.65	c 1863
83.78	o 13170
83.78	c 1862
83.85	o 13171
83.85	c 1861
83.93	o 13173
83.93	c 1859
84.00	o 13174
84.00	c 1858
84.28	o 13180
84.28	c 1852
84.33	o 13185
84.33	c 1847
84.46	o 13186
84.46	c 1846
84.53	o 13190
84.53	c 1842
84.59	o 13191
84.59	c 1841
84.69	o 13195
84.69	c 1837
84.74	o 13197
84.74	c 1835
84.80	o 13200
84.80	c 1832
84.86	o 13202
84.86	c 1830
84.92	o 13206
84.92	c 1826
85.30	o 13207
85.30	c 1825
85.50	o 13211
85.50	c 1821
85.61	o 13212
85.61	c 1820
85.67	o 13214
85.67	c 1818
85.74	o 13218
85.74	c 1814
85.82	o 13220
85.82	c 1812
86.20	o 13221
86.20	c 1811
86.27	o 13222
86.27	c 1810
86.42	o 13224
86.42	c 1808
86.48	o 13226
86.48	c 1806
86.51	o 13228
86.51	c 1804
87.06	o 13231
87.06	c 1801
87.15	o 13237
87.15	c 1795
87.23	o 13239
87.23	c 1793
87.29	o 13240
87.29	c 1792
87.50	o 13242
87.50	c 1790
87.57	o 13244
87.57	c 1788
87.64	o 13246
87.64	c 1786
87.71	o 13248
87.71	c 1784
87.78	o 13249
87.78	c 1783
87.94	o 13252
87.94	c 1780
88.02	o 13255
88.02	c 1777
88.09	o 13256
88.09	c 1776
88.16	o 13257
88.16	c 1775
88.23	o 13259
88.23	c 1773
88.30	o 13260
88.30	c 1772
88.37	o 13261
88.37	c 1771
88.51	o 13264
88.51	c 1768
88.57	o 13265
88.57	c 1767
88.63	o 13268
88.63	c 1764
88.76	o 13271
88.76	c 1761
88.82	o 13274
88.82	c 1758
88.88	o 13275
88.88	c 1757
88.95	o 13277
88.95	c 1755
89.15	o 13282
89.15	c 1750
89.53	o 13283
89.53	c 1749
89.61	o 13288
89.61	c 1744
89.68	o 13290
89.68	c 1742
89.75	o 13296
89.75	c 1736
89.83	o 13297
89.83	c 1735
89.90	o 13302
89.90	c 1730
90.04	o 13306
90.04	c 1726
90.34	o 13307
90.34	c 1725
92.07	o 13309
92.07	c 1723
92.16	o 13313
92.16	c 1719
92.25	o 13315
92.25	c 1717
92.53	o 13316
92.53	c 1716
92.62	o 13317
92.62	c 1715
92.70	o 13321
92.70	c 1711
93.05	o 13322
93.05	c 1710
93.14	o 13325
93.14	c 1707
93.23	o 13329
93.23	c 1703
93.32	o 13333
93.32	c 1699
93.51	o 13336
93.51	c 1696
93.60	o 13338
93.60	c 1694
93.69	o 13339
93.69	c 1693
94.04	o 13340
94.04	c 1692
94.15	o 13343
94.15	c 1689
94.24	o 13345
94.24	c 1687
94.34	o 13348
94.34	c 1684
94.54	o 13351
94.54	c 1681
94.64	o 13352
94.64	c 1680
94.68	o 13353
94.68	c 1679
94.78	o 13357
94.78	c 1675
94.89	o 13359
94.89	c 1673
95.00	o 13361
95.00	c 1671
95.11	o 13363
95.11	c 1669
95.21	o 13365
95.21	c 1667
95.54	o 13366
95.54	c 1666
95.65	o 13367
95.65	c 1665
95.87	o 13369
95.87	c 1663
96.08	o 13370
96.08	c 1662
96.19	o 13371
96.19	c 1661
96.30	o 13373
96.30	c 1659
96.42	o 13375
96.42	c 1657
96.53	o 13376
96.53	c 1656
96.75	o 13377
96.75	c 1655
96.87	o 13378
96.87	c 1654
96.99	o 13381
96.99	c 1651
97.34	o 13384
97.34	c 1648
97.58	o 13386
97.58	c 1646
97.70	o 13387
97.70	c 1645
97.81	o 13389
97.81	c 1643
97.93	o 13392
97.93	c 1640
98.04	o 13397
98.04	c 1635
98.25	o 13400
98.25	c 1632
98.48	o 13401
98.48	c 1631
98.59	o 13409
98.59	c 1623
98.91	o 13411
98.91	c 1621
99.12	o 13414
99.12	c 1618
99.23	o 13421
99.23	c 1611
99.32	o 13422
99.32	c 1610
99.42	o 13425
99.42	c 1607
99.52	o 13426
99.52	c 1606
99.65	o 13429
99.65	c 1603
99.69	o 13430
99.69	c 1602
99.80	o 13437
99.80	c 1595
99.93	o 13440
99.93	c 1592
100.16	o 13442
100.16	c 1590
100.28	o 13446
100.28	c 1586
100.33	o 13448
100.33	c 1584
100.44	o 13449
100.44	c 1583
101.16	o 13450
101.16	c 1582
101.55	o 13451
101.55	c 1581
101.65	o 13458
101.65	c 1574
101.72	o 13463
101.72	c 1569
101.92	o 13464
101.92	c 1568
102.03	o 13465
102.03	c 1567
102.14	o 13467
102.14	c 1565
102.33	o 13470
102.33	c 1562
102.44	o 13471
102.44	c 1561
102.54	o 13472
102.54	c 1560
102.75	o 13473
102.75	c 1559
102.95	o 13474
102.95	c 1558
103.43	o 13476
103.43	c 1556
103.62	o 13478
103.62	c 1554
103.72	o 13483
103.72	c 1549
103.82	o 13491
103.82	c 1541
104.11	o 13494
104.11	c 1538
104.65	o 13497
104.65	c 1535
105.26	o 13498
105.26	c 1534
105.67	o 13500
105.67	c 1532
105.76	o 13503
105.76	c 1529
105.86	o 13504
105.86	c 1528
106.15	o 13505
106.15	c 1527
106.23	o 13509
106.23	c 1523
106.33	o 13512
106.33	c 1520
106.42	o 13514
106.42	c 1518
106.49	o 13515
106.49	c 1517
107.08	o 13518
107.08	c 1514
108.36	o 13519
108.36	c 1513
108.69	o 13523
108.69	c 1509
108.79	o 13526
108.79	c 1506
109.19	o 13528
109.19	c 1504
109.32	o 13531
109.32	c 1501
109.42	o 13533
109.42	c 1499
109.85	o 13534
109.85	c 1498
110.19	o 13537
110.19	c 1495
110.42	o 13539
110.42	c 1493
110.55	o 13542
110.55	c 1490
110.66	o 13548
110.66	c 1484
110.78	o 13550
110.78	c 1482
110.91	o 13551
110.91	c 1481
111.02	o 13555
111.02	c 1477
111.99	o 13556
111.99	c 1476
112.24	o 13559
112.24	c 1473
112.37	o 13561
112.37	c 1471
112.50	o 13564
112.50	c 1468
113.01	o 13570
113.01	c 1462
113.26	o 13574
113.26	c 1458
113.39	o 13575
113.39	c 1457
113.63	o 13578
113.63	c 1454
115.65	o 13581
115.65	c 1451
115.78	o 13583
115.78	c 1449
115.91	o 13584
115.91	c 1448
116.04	o 13585
116.04	c 1447
116.17	o 13589
116.17	c 1443
116.44	o 13592
116.44	c 1440
116.58	o 13596
116.58	c 1436
116.83	o 13598
116.83	c 1434
117.20	o 13599
117.20	c 1433
117.33	o 13600
117.33	c 1432
118.26	o 13601
118.26	c 1431
118.39	o 13604
118.39	c 1428
118.53	o 13605
118.53	c 1427
118.65	o 13606
118.65	c 1426
118.80	o 13609
118.80	c 1423
118.92	o 13611
118.92	c 1421
119.04	o 13614
119.04	c 1418
119.39	o 13616
119.39	c 1416
119.52	o 13618
119.52	c 1414
119.95	o 13619
119.95	c 1413
120.17	o 13620
120.17	c 1412
120.28	o 13623
120.28	c 1409
120.49	o 13624
120.49	c 1408
120.83	o 13626
120.83	c 1406
120.94	o 13629
120.94	c 1403
121.32	o 13632
121.32	c 1400
121.34	o 13634
121.34	c 1398
121.47	o 13639
121.47	c 1393
121.59	o 13642
121.59	c 1390
121.96	o 13645
121.96	c 1387
122.45	o 13648
122.45	c 1384
122.80	o 13649
122.81	c 1383
123.15	o 13650
123.15	c 1382
123.73	o 13652
123.73	c 1380
123.98	o 13654
123.98	c 1378
124.22	o 13655
124.23	c 1377
124.48	o 13656
124.48	c 1376
124.61	o 13660
124.61	c 1372
124.74	o 13661
124.74	c 1371
124.87	o 13663
124.87	c 1369
124.99	o 13665
124.99	c 1367
125.12	o 13670
125.12	c 1362
125.32	o 13677
125.32	c 1355
125.70	o 13679
125.70	c 1353
125.82	o 13680
125.82	c 1352
125.94	o 13684
125.94	c 1348
126.29	o 13686
126.29	c 1346
126.66	o 13687
126.66	c 1345
126.77	o 13690
126.77	c 1342
127.15	o 13691
127.15	c 1341
127.28	o 13692
127.28	c 1340
127.74	o 13693
127.74	c 1339
127.86	o 13695
127.86	c 1337
128.67	o 13697
128.67	c 1335
130.35	o 13699
130.35	c 1333
130.59	o 13702
130.59	c 1330
131.04	o 13704
131.04	c 1328
131.17	o 13705
131.17	c 1327
131.29	o 13706
131.29	c 1326
131.41	o 13707
131.41	c 1325
131.89	o 13709
131.89	c 1323
132.14	o 13711
132.14	c 1321
132.26	o 13712
132.26	c 1320
132.38	o 13716
132.38	c 1316
133.01	o 13718
133.01	c 1314
133.14	o 13719
133.14	c 1313
133.27	o 13721
133.27	c 1311
133.37	o 13726
133.37	c 1306
134.00	o 13727
134.00	c 1305
134.38	o 13728
134.38	c 1304
134.62	o 13729
134.62	c 1303
134.76	o 13730
134.76	c 1302
135.01	o 13734
135.01	c 1298
135.49	o 13737
135.49	c 1295
135.61	o 13738
135.61	c 1294
135.73	o 13739
135.73	c 1293
135.87	o 13740
135.87	c 1292
135.98	o 13744
135.98	c 1288
136.10	o 13746
136.10	c 1286
136.23	o 13747
136.23	c 1285
136.36	o 13749
136.36	c 1283
136.88	o 13751
136.88	c 1281
137.01	o 13753
137.01	c 1279
137.14	o 13755
137.14	c 1277
139.62	o 13756
139.62	c 1276
139.83	o 13757
139.83	c 1275
142.42	o 13759
142.42	c 1273
142.58	o 13762
142.58	c 1270
143.23	o 13764
143.23	c 1268
143.57	o 13767
143.57	c 1265
143.91	o 13768
143.92	c 1264
144.09	o 13771
144.09	c 1261
144.29	o 13774
144.29	c 1258
144.46	o 13775
144.46	c 1257
144.62	o 13777
144.62	c 1255
144.68	o 13779
144.68	c 1253
145.86	o 13780
145.86	c 1252
146.03	o 13784
146.03	c 1248
146.21	o 13788
146.21	c 1244
146.36	o 13789
146.36	c 1243
146.54	o 13791
146.54	c 1241
146.81	o 13792
146.81	c 1240
146.97	o 13794
146.97	c 1238
147.25	o 13799
147.25	c 1233
147.41	o 13802
147.41	c 1230
147.57	o 13804
147.57	c 1228
148.62	o 13805
148.62	c 1227
148.89	o 13807
148.89	c 1225
149.07	o 13808
149.07	c 1224
149.24	o 13810
149.24	c 1222
149.42	o 13812
149.42	c 1220
149.95	o 13813
149.95	c 1219
150.13	o 13814
150.13	c 1218
150.68	o 13816
150.68	c 1216
153.44	o 13819
153.44	c 1213
153.90	o 13822
153.90	c 1210
154.04	o 13826
154.04	c 1206
154.17	o 13828
154.17	c 1204
154.33	o 13830
154.33	c 1202
154.68	o 13831
154.68	c 1201
154.85	o 13835
154.85	c 1197
155.03	o 13840
155.03	c 1192
155.38	o 13843
155.38	c 1189
156.31	o 13844
156.31	c 1188
156.89	o 13846
156.89	c 1186
157.26	o 13851
157.26	c 1181
157.64	o 13853
157.64	c 1179
158.01	o 13855
158.01	c 1177
158.15	o 13857
158.15	c 1175
158.33	o 13858
158.33	c 1174
158.52	o 13862
158.52	c 1170
158.70	o 13863
158.70	c 1169
159.06	o 13867
159.06	c 1165
159.26	o 13868
159.26	c 1164
159.42	o 13872
159.42	c 1160
160.44	o 13874
160.44	c 1158
160.62	o 13876
160.62	c 1156
161.53	o 13877
161.53	c 1155
161.72	o 13879
161.72	c 1153
162.24	o 13880
162.24	c 1152
162.42	o 13881
162.42	c 1151
162.61	o 13883
162.61	c 1149
162.80	o 13885
162.80	c 1147
162.99	o 13886
162.99	c 1146
164.09	o 13887
164.09	c 1145
164.26	o 13889
164.26	c 1143
164.45	o 13890
164.45	c 1142
164.94	o 13893
164.94	c 1139
165.12	o 13896
165.12	c 1136
166.17	o 13897
166.17	c 1135
166.56	o 13898
166.56	c 1134
166.75	o 13900
166.75	c 1132
169.40	o 13901
169.40	c 1131
169.87	o 13902
169.87	c 1130
170.05	o 13904
170.05	c 1128
170.11	o 13906
170.11	c 1126
170.17	o 13908
170.17	c 1124
170.30	o 13909
170.30	c 1123
170.47	o 13910
170.47	c 1122
170.79	o 13912
170.79	c 1120
171.17	o 13913
171.17	c 1119
171.32	o 13916
171.32	c 1116
171.48	o 13917
171.48	c 1115
171.64	o 13919
171.64	c 1113
171.79	o 13920
171.79	c 1112
172.99	o 13921
172.99	c 1111
173.42	o 13923
173.42	c 1109
173.57	o 13925
173.57	c 1107
174.19	o 13927
174.19	c 1105
174.34	o 13930
174.34	c 1102
174.49	o 13933
174.49	c 1099
175.22	o 13937
175.22	c 1095
175.29	o 13940
175.29	c 1092
175.43	o 13942
175.43	c 1090
175.93	o 13943
175.93	c 1089
176.25	o 13944
176.25	c 1088
176.89	o 13945
176.89	c 1087
177.05	o 13946
177.05	c 1086
178.86	o 13949
178.86	c 1083
179.88	o 13951
179.88	c 1081
180.07	o 13952
180.07	c 1080
180.25	o 13953
180.25	c 1079
180.42	o 13955
180.42	c 1077
180.60	o 13958
180.60	c 1074
182.90	o 13960
182.90	c 1072
183.05	o 13961
183.05	c 1071
185.20	o 13963
185.20	c 1069
187.86	o 13965
187.86	c 1067
188.06	o 13967
188.06	c 1065
188.26	o 13971
188.26	c 1061
188.46	o 13976
188.46	c 1056
189.83	o 13979
189.84	c 1053
190.39	o 13980
190.39	c 1052
190.58	o 13982
190.58	c 1050
190.78	o 13983
190.78	c 1049
191.37	o 13984
191.37	c 1048
191.57	o 13985
191.57	c 1047
191.78	o 13986
191.78	c 1046
191.93	o 13990
191.93	c 1042
192.03	o 13992
192.03	c 1040
193.06	o 13993
193.06	c 1039
193.68	o 13994
193.68	c 1038
193.74	o 13997
193.74	c 1035
193.89	o 13999
193.89	c 1033
195.62	o 14001
195.62	c 1031
195.85	o 14002
195.85	c 1030
196.49	o 14004
196.49	c 1028
196.82	o 14008
196.82	c 1024
197.04	o 14009
197.04	c 1023
197.24	o 14010
197.24	c 1022
197.37	o 14011
197.37	c 1021
197.58	o 14012
197.58	c 1020
197.79	o 14014
197.79	c 1018
198.20	o 14021
198.20	c 1011
198.34	o 14023
198.34	c 1009
198.54	o 14026
198.54	c 1006
199.05	o 14028
199.05	c 1004
199.25	o 14030
199.25	c 1002
199.88	o 14033
199.88	c 999
200.03	o 14034
200.03	c 998
200.44	o 14035
200.45	c 997
200.85	o 14036
200.85	c 996
201.06	o 14037
201.06	c 995
202.68	o 14038
202.68	c 994
203.32	o 14039
203.32	c 993
205.18	o 14043
205.18	c 989
207.98	o 14045
207.98	c 987
208.18	o 14047
208.18	c 985
208.60	o 14049
208.60	c 983
209.01	o 14050
209.01	c 982
209.60	o 14058
209.60	c 974
209.80	o 14059
209.80	c 973
209.93	o 14060
209.93	c 972
210.49	o 14061
210.49	c 971
210.88	o 14063
210.88	c 969
212.52	o 14064
212.52	c 968
213.44	o 14065
213.44	c 967
214.18	o 14066
214.18	c 966
214.22	o 14069
214.22	c 963
217.33	o 14070
217.33	c 962
218.25	o 14072
218.25	c 960
218.43	o 14076
218.43	c 956
218.58	o 14078
218.58	c 954
218.65	o 14080
218.65	c 952
218.82	o 14081
218.82	c 951
218.99	o 14082
218.99	c 950
219.17	o 14086
219.17	c 946
220.42	o 14088
220.42	c 944
221.12	o 14090
221.12	c 942
221.24	o 14092
221.24	c 940
221.42	o 14095
221.42	c 937
221.60	o 14097
221.60	c 935
221.79	o 14101
221.79	c 931
222.55	o 14103
222.55	c 929
222.73	o 14104
222.73	c 928
222.93	o 14106
222.93	c 926
223.13	o 14107
223.13	c 925
223.33	o 14108
223.33	c 924
225.07	o 14109
225.07	c 923
225.26	o 14111
225.26	c 921
225.64	o 14112
225.64	c 920
225.82	o 14113
225.82	c 919
226.21	o 14114
226.21	c 918
226.34	o 14115
226.34	c 917
227.10	o 14116
227.10	c 916
227.67	o 14117
227.67	c 915
227.86	o 14118
227.86	c 914
228.05	o 14119
228.05	c 913
228.26	o 14120
228.26	c 912
230.23	o 14123
230.23	c 909
230.96	o 14125
230.96	c 907
231.96	o 14126
231.96	c 906
232.17	o 14127
232.17	c 905
233.13	o 14129
233.13	c 903
233.36	o 14130
233.36	c 902
233.53	o 14131
233.53	c 901
233.91	o 14132
233.91	c 900
235.72	o 14133
235.72	c 899
235.88	o 14139
235.88	c 893
236.47	o 14143
236.47	c 889
236.68	o 14144
236.68	c 888
237.09	o 14146
237.09	c 886
237.38	o 14149
237.38	c 883
237.78	o 14150
237.78	c 882
237.98	o 14152
237.98	c 880
238.18	o 14153
238.18	c 879
238.38	o 14154
238.38	c 878
241.60	o 14157
241.60	c 875
242.57	o 14159
242.57	c 873
242.62	o 14164
242.62	c 868
242.80	o 14167
242.80	c 865
242.96	o 14171
242.96	c 861
243.32	o 14173
243.32	c 859
243.51	o 14176
243.51	c 856
243.89	o 14177
243.89	c 855
244.09	o 14178
244.09	c 854
244.29	o 14179
244.29	c 853
244.50	o 14180
244.50	c 852
244.70	o 14181
244.70	c 851
244.90	o 14182
244.90	c 850
245.09	o 14184
245.09	c 848
246.37	o 14185
246.37	c 847
250.03	o 14186
250.03	c 846
250.24	o 14189
250.24	c 843
250.43	o 14192
250.43	c 840
250.58	o 14195
250.58	c 837
251.00	o 14196
251.00	c 836
257.83	o 14199
257.83	c 833
258.50	o 14200
258.50	c 832
258.73	o 14201
258.73	c 831
263.34	o 14204
263.34	c 828
263.56	o 14206
263.56	c 826
263.80	o 14210
263.80	c 822
264.47	o 14212
264.47	c 820
264.69	o 14213
264.69	c 819
268.50	o 14214
268.50	c 818
269.48	o 14215
269.48	c 817
269.72	o 14219
269.72	c 813
271.58	o 14220
271.58	c 812
272.30	o 14221
272.30	c 811
272.54	o 14223
272.54	c 809
274.19	o 14225
274.19	c 807
276.15	o 14227
276.15	c 805
276.85	o 14228
276.85	c 804
277.10	o 14230
277.10	c 802
277.48	o 14231
277.48	c 801
277.85	o 14236
277.85	c 796
278.03	o 14239
278.03	c 793
278.46	o 14240
278.46	c 792
278.67	o 14241
278.67	c 791
279.59	o 14242
279.59	c 790
279.82	o 14245
279.82	c 787
280.20	o 14248
280.20	c 784
280.43	o 14249
280.43	c 783
280.89	o 14252
280.89	c 780
281.11	o 14254
281.11	c 778
281.29	o 14256
281.29	c 776
281.93	o 14257
281.93	c 775
282.16	o 14258
282.16	c 774
283.54	o 14259
283.54	c 773
283.74	o 14261
283.74	c 771
284.20	o 14264
284.20	c 768
284.43	o 14266
284.43	c 766
286.47	o 14268
286.47	c 764
286.71	o 14270
286.71	c 762
286.94	o 14271
286.94	c 761
287.18	o 14272
287.18	c 760
287.43	o 14274
287.43	c 758
287.67	o 14275
287.67	c 757
288.14	o 14276
288.14	c 756
288.84	o 14278
288.84	c 754
298.30	o 14280
298.30	c 752
298.52	o 14281
298.52	c 751
298.75	o 14283
298.75	c 749
299.00	o 14284
299.00	c 748
299.24	o 14286
299.24	c 746
299.72	o 14288
299.72	c 744
304.67	o 14289
304.67	c 743
311.87	o 14290
311.87	c 742
312.11	o 14292
312.11	c 740
312.84	o 14293
312.84	c 739
313.08	o 14295
313.08	c 737
317.33	o 14296
317.33	c 736
317.57	o 14297
317.57	c 735
318.05	o 14298
318.05	c 734
318.97	o 14299
318.97	c 733
322.58	o 14300
322.58	c 732
323.21	o 14302
323.21	c 730
323.71	o 14303
323.71	c 729
324.22	o 14304
324.22	c 728
324.47	o 14307
324.47	c 725
324.96	o 14308
324.96	c 724
325.20	o 14310
325.20	c 722
325.57	o 14312
325.57	c 720
326.32	o 14316
326.32	c 716
326.45	o 14317
326.45	c 715
326.97	o 14319
326.97	c 713
327.20	o 14321
327.20	c 711
327.45	o 14322
327.45	c 710
327.75	o 14323
327.75	c 709
328.18	o 14324
328.18	c 708
328.37	o 14325
328.37	c 707
330.63	o 14326
330.63	c 706
330.88	o 14327
330.88	c 705
331.13	o 14328
331.13	c 704
331.37	o 14329
331.37	c 703
331.63	o 14330
331.63	c 702
331.87	o 14331
331.87	c 701
332.37	o 14333
332.37	c 699
334.43	o 14335
334.43	c 697
340.40	o 14336
340.40	c 696
341.18	o 14337
341.18	c 695
341.45	o 14338
341.45	c 694
341.64	o 14340
341.64	c 692
341.89	o 14342
341.89	c 690
342.15	o 14347
342.15	c 685
342.27	o 14349
342.27	c 683
342.52	o 14351
342.52	c 681
342.76	o 14353
342.76	c 679
343.29	o 14354
343.29	c 678
343.55	o 14357
343.55	c 675
344.31	o 14358
344.31	c 674
344.56	o 14359
344.56	c 673
344.83	o 14361
344.83	c 671
346.89	o 14364
346.89	c 668
347.85	o 14365
347.85	c 667
348.03	o 14368
348.03	c 664
348.17	o 14371
348.17	c 661
349.19	o 14373
349.19	c 659
349.73	o 14375
349.73	c 657
349.88	o 14378
349.88	c 654
353.78	o 14381
353.78	c 651
353.86	o 14383
353.86	c 649
354.09	o 14384
354.09	c 648
354.69	o 14387
354.69	c 645
354.93	o 14388
354.93	c 644
355.96	o 14389
355.96	c 643
356.22	o 14391
356.22	c 641
356.94	o 14393
356.94	c 639
357.18	o 14394
357.18	c 638
357.45	o 14395
357.45	c 637
357.96	o 14397
357.96	c 635
359.79	o 14399
359.79	c 633
362.14	o 14400
362.14	c 632
362.38	o 14402
362.38	c 630
363.79	o 14404
363.79	c 628
366.64	o 14406
366.64	c 626
366.89	o 14409
366.89	c 623
367.14	o 14410
367.14	c 622
367.41	o 14411
367.41	c 621
367.68	o 14413
367.68	c 619
367.96	o 14415
367.96	c 617
369.97	o 14417
369.97	c 615
370.22	o 14419
370.22	c 613
370.47	o 14420
370.47	c 612
370.64	o 14421
370.64	c 611
379.40	o 14422
379.40	c 610
379.86	o 14423
379.86	c 609
380.55	o 14426
380.55	c 606
380.79	o 14427
380.79	c 605
381.37	o 14429
381.37	c 603
381.48	o 14432
381.48	c 600
382.11	o 14433
382.11	c 599
382.28	o 14434
382.28	c 598
382.72	o 14435
382.72	c 597
382.94	o 14436
382.94	c 596
383.57	o 14439
383.57	c 593
384.22	o 14441
384.22	c 591
385.39	o 14442
385.39	c 590
385.61	o 14445
385.61	c 587
386.11	o 14446
386.11	c 586
386.54	o 14448
386.54	c 584
392.40	o 14449
392.40	c 583
392.62	o 14450
392.62	c 582
393.03	o 14451
393.03	c 581
394.89	o 14453
394.89	c 579
395.21	o 14454
395.21	c 578
395.98	o 14455
395.98	c 577
396.20	o 14456
396.20	c 576
396.61	o 14458
396.61	c 574
397.02	o 14459
397.02	c 573
400.34	o 14466
400.34	c 566
400.54	o 14467
400.54	c 565
400.97	o 14468
400.97	c 564
401.18	o 14469
401.18	c 563
402.06	o 14470
402.06	c 562
406.31	o 14473
406.31	c 559
406.55	o 14474
406.55	c 558
406.78	o 14475
406.78	c 557
407.45	o 14477
407.45	c 555
407.65	o 14478
407.65	c 554
413.35	o 14480
413.35	c 552
413.59	o 14481
413.59	c 551
413.96	o 14483
413.96	c 549
414.20	o 14486
414.20	c 546
414.45	o 14487
414.45	c 545
419.75	o 14488
419.75	c 544
420.29	o 14489
420.29	c 543
420.55	o 14491
420.55	c 541
423.76	o 14492
423.76	c 540
424.30	o 14493
424.30	c 539
424.84	o 14494
424.84	c 538
425.40	o 14495
425.40	c 537
431.16	o 14496
431.16	c 536
431.40	o 14497
431.40	c 535
433.05	o 14499
433.05	c 533
433.60	o 14501
433.60	c 531
433.88	o 14502
433.88	c 530
436.05	o 14503
436.05	c 529
436.28	o 14504
436.28	c 528
437.01	o 14505
437.01	c 527
437.23	o 14506
437.23	c 526
437.50	o 14509
437.50	c 523
437.77	o 14511
437.77	c 521
437.90	o 14513
437.90	c 519
438.10	o 14514
438.10	c 518
438.35	o 14515
438.35	c 517
439.35	o 14518
439.35	c 514
439.78	o 14519
439.78	c 513
440.05	o 14520
440.05	c 512
440.74	o 14522
440.74	c 510
441.26	o 14523
441.26	c 509
441.53	o 14524
441.53	c 508
441.89	o 14525
441.89	c 507
442.16	o 14527
442.16	c 505
443.17	o 14528
443.17	c 504
443.43	o 14532
443.43	c 500
443.56	o 14534
443.56	c 498
444.09	o 14535
444.09	c 497
444.48	o 14537
444.48	c 495
444.75	o 14538
444.75	c 494
445.02	o 14539
445.02	c 493
445.51	o 14540
445.51	c 492
447.01	o 14543
447.01	c 489
447.63	o 14545
447.63	c 487
448.65	o 14549
448.65	c 483
448.86	o 14550
448.86	c 482
449.07	o 14552
449.07	c 480
451.54	o 14553
451.54	c 479
451.81	o 14556
451.81	c 476
452.08	o 14557
452.08	c 475
452.24	o 14559
452.24	c 473
455.70	o 14560
455.70	c 472
455.95	o 14561
455.95	c 471
456.21	o 14562
456.21	c 470
456.42	o 14563
456.42	c 469
463.42	o 14565
463.42	c 467
493.73	   
493.73	   search
493.73	     run=0  nbConstraintChecks=1272170761  nbAssignments=2733
493.73	       =>  wckTime=431.099  cpuTime=427.01  mem=48M242
493.73	   
493.73	   global
493.73	     nbConstraintChecks=1272170761  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
493.73	     solvingWckTime=431.089  solvingCpuTime=427.0  expiredTime=no  totalExploration=no  nbFoundSolutions=0
493.73	     globalCpuTime=487.96
493.73	       =>  wckTime=493.419  cpuTime=487.91  mem=48M242
493.73	   
493.73	   solver IterativeSystematicSolver being built... 
494.21	       =>  wckTime=493.894  cpuTime=488.2  mem=91M40
538.99	   
538.99	   preprocessing
538.99	     nbConstraintChecks=94926793  nbValidityChecks=393942  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
538.99	     nbRemovedValues=0  detectedInconsistency=no
538.99	       =>  wckTime=44.771  cpuTime=44.34  mem=91M40
2416.42	v 2068 -2720 2064 -2028 -2064 -2728 2044 2368 -2700 -2360 -2068 2700 2076 -2476 -2616 2632 -2320 2604 -2548 2572 2036 -2020 2416 2484 -2320 2416 2468 2508 2724 -2560 2108 2732 2508 2340 -2700 -2060 2336 -2152 2344 -2540 2544 -2504 -2080 -2644 2084 -2464 2148 -2196 -2232 -2468 2280 2456 2416 2180 2532 -2660 -2700 2260 2720 2140 -2724 -2356 2060 2620 2408 -2020 -2068 -2096 -2728 -2024 -2280 2216 2700 2728 -2564 -2468 2520 -2336 2516 2336 -2592 2060 -2468 2280 -2024 -2260 2112 2492 -2212 -2712 2160 -2648 -2540 -2068 2052 2524 -2024 -2344 2532 -2100 -2104 -2456 2500 2376 2636 -2520 -2672 -2676 -2696 -2384 2724 2508 -2412 -2604 -2504 -2084 -2456 -2236 2684 2240 -2736 2576 2140 2640 -2108 -2320 2564 -2692 -2656 -2528 2556 2712 -2656 2292 2176 2024 2344 2688 2544 -2740 -2592 2028 -2232 -2092 -2284 2164 2416 -2700 2584 -2336 -2216 2304 -2144 2632 -2020 -2452 2396 2740 -2104 2380 -2576 2592 -2740 -2348 2732 -2020 2204 2548 2604 2724 2464 2700 2188 2132 -2684 2500 -2392 -2052 -2716 -2692 2692 -2724 2292 -2340 -2476 2292 2456 -2380 -2592 2172 -2024 2428 -2140 2060 -2340 -2128 -2232 2104 2188 -2612 -2552 2324 -2108 -2696 2300 2560 2672 -2060 2740 2028 -2524 -2448 2064 2632 -2724 -2628 -2228 -2616 2356 -2424 -2120 -2040 2028 -2436 2700 -2652 -2488 -2740 2288 2416 -2496 2684 -2644 -2480 -2704 -2544 -2316 -2024 -2256 2388 -2544 -2252 2060 -2604 2660 2540 -2700 2476 2200 2060 -2520 -2072 -2152 -2680 -2360 2096 2256 -2724 2140 2740 2084 2224 -2092 2448 2696 2060 2444 -2500 2060 2024 -2524 -2352 -2596 2716 -2024 -2088 2572 -2120 2184 2720 2156 2448 -2180 2056 2592 -2520 -2104 2684 2700 -2064 -2724 2660 -2272 -2292 -2080 2388 2728 -2408 2276 2244 -2340 -2188 2156 2632 -2512 2296 2684 2500 -2360 -2320 2416 -2084 -2320 -2268 -2416 2504 -2060 -2120 2020 2176 2420 2500 2704 -2068 2104 2464 -2436 -2684 -2708 2656 2684 2180 -2040 -2456 -2068 2020 -2180 2464 2088 -2456 2212 -2060 2264 2532 -2060 2564 -2308 2740 -2636 2376 2548 2024 -2068 -2560 2496 2592 -2504 -2300 2476 -2396 -2588 -2376 2132 -2160 -2272 2548 2060 -2048 -2700 2508 2640 -2188 2068 2112 -2700 -2736 -2588 2552 -2400 2088 -2040 -2172 2680 -2020 2060 -2200 -2124 2636 -2020 2252 -2060 -2620 -2600 -2224 2392 2184 2164 2676 2380 -2328 2536 -2480 2152 2576 -2088 2616 -2440 -2284 2260 2692 2196 -2596 -2740 -2632 -2740 -2312 -2608 2172 2680 2708 -2544 2200 2596 2564 -2404 2024 2360 2072 -2532 2348 2316 2716 2020 2436 -2444 -2740 2296 -2292 -2064 -2388 -2024 -2060 -2132 -2696 -2736 -2020 -2496 2544 -2588 -2636 2052 -2672 2552 2488 -2572 -2396 2380 -2592 -2388 -2644 -2716 2348 2316 -2020 2500 -2740 2556 -2384 2276 2196 2548 -2080 2432 -2328 -2200 2700 2372 2536 -2440 -2124 -2436 2628 2504 2348 -2480 2024 2672 2720 -2648 -2252 -2564 -2592 2592 2464 2420 2080 -2064 2712 -2364 -2672 -2348 -2192 -2124 2604 -2740 -2608 2028 2212 -2456 -2080 -2476 2252 2352 -2600 -2540 -2700 -2448 -2064 2684 -2696 2700 -2488 2596 2156 -2432 2488 -2332 -2712 2312 2620 -2564 -2456 2068 2556 -2152 -2472 -2184 -2740 2640 -2384 2660 -2728 2516 2496 -2192 -2460 2608 -2684 -2280 -2688 -2064 -2644 -2692 2424 2352 -2220 2596 -2116 -2688 -2220 -2500 2236 2700 -2156 2320 2116 2044 2696 2732 2180 -2532 -2152 -2200 -2064 -2404 2408 -2032 2556 2740 2624 -2524 2196 -2596 -2376 -2376 -2604 2312 2124 -2736 2032 -2496 -2556 -2604 -2172 -2684 -2548 2040 2424 -2560 -2020 -2304 2704 2044 -2672 -2568 -2312 2288 2084 2140 -2620 -2684 2580 -2592 2580 2456 2340 2328 2216 -2680 -2732 2644 -2204 2348 -2028 -2212 -2656 2020 2368 2668 2736 2400 2568 2428 -2068 -2560 -2484 2508 -2312 2536 -2736 2056 2064 -2408 2296 2124 2068 2048 2020 -2712 2136 2552 -2032 2468 2556 -2368 -2124 2064 -2724 2252 2028 -2528 -2688 -2208 2308 -2144 2192 -2720 2540 2724 2164 -2436 2156 -2396 -2228 2596 2664 -2408 -2304 -2468 2168 -2684 -2328 2080 -2120 -2368 -2340 -2220 -2564 -2436 2344 -2024 -2020 -2360 -2520 2020 2496 2676 2408 2280 2020 2484 2256 2024 2096 2688 2376 -2668 -2504 2072 -2440 -2416 2520 2068 -2596 2364 -2568 2228 2512 2020 2056 -2552 -2404 2400 2020 2156 2300 -2664 2336 2268 2356 2672 2540 -2264 2564 -2100 -2028 2676 -2152 -2552 -2352 2144 -2180 2028 -2704 -2496 -2632 2420 2020 -2544 -2060 -2504 2084 -2232 2220 2144 2352 -2664 2536 2324 -2372 -2284 2572 2344 2540 -2064 2368 2556 -2556 -2116 -2596 -2324 2696 2368 -2636 -2216 2604 2380 -2084 -2080 -2076 -2740 2120 -2620 2056 2288 -2120 -2720 2380 2164 -2212 -2576 -2072 2616 -2684 2500 2160 -2672 2408 -2540 2496 -2664 2560 2448 2312 2668 -2256 -2032 2320 2432 2292 -2736 -2540 -2664 2284 2396 2320 2368 -2064 -2476 -2688 2584 -2740 -2300 2236 -2684 -2616 2716 -2428 -2040 2296 2080 2056 -2276 -2580 -2536 -2064 -2688 2384 -2596 2644 2060 2524 -2588 -2728 2564 2652 2680 -2320 -2112 -2144 2584 -2676 2144 2108 2024 2252 -2544 -2540 2108 -2664 -2468 2040 -2188 2724 2152 2220 2596 -2676 2528 -2048 -2564 -2524 2392 -2332 -2552 2368 2064 2024 -2048 -2416 2260 -2696 -2464 -2660 2688 2700 2036 2456 2432 2708 2064 2724 2484 -2220 2100 -2080 2524 2280 -2736 2560 2668 -2700 2116 2728 2308 2216 2472 -2028 2460 -2564 2044 2728 -2064 -2380 2220 -2160 2660 -2496 2392 2028 2180 -2704 -2408 -2688 2468 2092 2148 2428 2084 -2704 -2444 2740 -2508 -2556 2328 2696 2272 -2256 -2500 -2600 -2296 -2376 2240 2624 -2196 -2416 2192 2080 2600 -2312 2140 -2576 2568 -2584 -2392 -2304 -2332 2580 2664 2272 2252 -2044 2436 -2096 -2144 -2280 2328 2092 2076 -2480 -2700 2448 2588 -2292 -2024 2668 2064 -2136 -2412 -2212 -2084 2552 -2588 -2460 2124 2368 -2084 2604 -2680 -2684 -2020 -2696 -2740 2684 -2644 -2412 2580 -2480 -2524 2700

Verifier Data (download as text)

467 unsatisfied constraints, 14565 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/node10/watcher-275289-1169219577 -o ROOT/results/node10/solver-275289-1169219577 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275289-1169219577/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.06 2.05 2.00 4/93 9892
/proc/meminfo: memFree=1160936/2055920 swapFree=4178232/4192956
[pid=9891] ppid=9889 vsize=18540 CPUtime=0
/proc/9891/stat : 9891 (runsolver) R 9889 9891 8928 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270352839 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 214919867687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/9891/statm: 4635 279 244 17 0 2626 0

[startup+0.102918 s]
/proc/loadavg: 2.06 2.05 2.00 4/93 9892
/proc/meminfo: memFree=1160936/2055920 swapFree=4178232/4192956
[pid=9891] ppid=9889 vsize=914852 CPUtime=0.08
/proc/9891/stat : 9891 (java) R 9889 9891 8928 0 -1 0 2943 0 1 0 7 1 0 0 19 0 8 0 270352839 936808448 2689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 9346289 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9891/statm: 228713 2689 1412 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914852

[startup+0.514971 s]
/proc/loadavg: 2.06 2.05 2.00 4/93 9892
/proc/meminfo: memFree=1160936/2055920 swapFree=4178232/4192956
[pid=9891] ppid=9889 vsize=915332 CPUtime=0.48
/proc/9891/stat : 9891 (java) R 9889 9891 8928 0 -1 0 7364 0 1 0 44 4 0 0 18 0 8 0 270352839 937299968 7103 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073585361 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9891/statm: 228833 7103 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.34409 s]
/proc/loadavg: 2.05 2.05 2.00 3/100 9899
/proc/meminfo: memFree=1093872/2055920 swapFree=4178232/4192956
[pid=9891] ppid=9889 vsize=915636 CPUtime=1.31
/proc/9891/stat : 9891 (java) R 9889 9891 8928 0 -1 0 21087 0 1 0 120 11 0 0 24 0 8 0 270352839 937611264 20824 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072931676 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9891/statm: 228909 20824 2181 14 0 215379 0
[pid=9891/tid=9893] ppid=9889 vsize=915636 CPUtime=0.06
/proc/9891/task/9893/stat : 9893 (java) S 9889 9891 8928 0 -1 64 4474 0 0 0 5 1 0 0 16 0 8 0 270352844 937611264 20824 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9894] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9894/stat : 9894 (java) S 9889 9891 8928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270352844 937611264 20824 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9895] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9895/stat : 9895 (java) S 9889 9891 8928 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270352844 937611264 20824 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9896] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9896/stat : 9896 (java) S 9889 9891 8928 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270352848 937611264 20824 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9897] ppid=9889 vsize=915636 CPUtime=0.15
/proc/9891/task/9897/stat : 9897 (java) S 9889 9891 8928 0 -1 64 401 0 0 0 15 0 0 0 16 0 8 0 270352848 937611264 20824 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9898] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9898/stat : 9898 (java) S 9889 9891 8928 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270352848 937611264 20824 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9899] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9899/stat : 9899 (java) S 9889 9891 8928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270352848 937611264 20824 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915636

[startup+2.9823 s]
/proc/loadavg: 2.05 2.05 2.00 3/100 9899
/proc/meminfo: memFree=1085872/2055920 swapFree=4178232/4192956
[pid=9891] ppid=9889 vsize=915636 CPUtime=2.93
/proc/9891/stat : 9891 (java) R 9889 9891 8928 0 -1 0 21095 0 1 0 282 11 0 0 25 0 8 0 270352839 937611264 20831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793980 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9891/statm: 228909 20831 2181 14 0 215379 0
[pid=9891/tid=9893] ppid=9889 vsize=915636 CPUtime=0.06
/proc/9891/task/9893/stat : 9893 (java) S 9889 9891 8928 0 -1 64 4474 0 0 0 5 1 0 0 17 0 8 0 270352844 937611264 20831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9894] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9894/stat : 9894 (java) S 9889 9891 8928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270352844 937611264 20831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9895] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9895/stat : 9895 (java) S 9889 9891 8928 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270352844 937611264 20831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9896] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9896/stat : 9896 (java) S 9889 9891 8928 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270352848 937611264 20831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9897] ppid=9889 vsize=915636 CPUtime=0.16
/proc/9891/task/9897/stat : 9897 (java) S 9889 9891 8928 0 -1 64 408 0 0 0 16 0 0 0 15 0 8 0 270352848 937611264 20831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9898] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9898/stat : 9898 (java) S 9889 9891 8928 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270352848 937611264 20831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9899] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9899/stat : 9899 (java) S 9889 9891 8928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270352848 937611264 20831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915636

[startup+6.26174 s]
/proc/loadavg: 2.05 2.05 2.00 3/100 9899
/proc/meminfo: memFree=1085680/2055920 swapFree=4178232/4192956
[pid=9891] ppid=9889 vsize=915636 CPUtime=6.18
/proc/9891/stat : 9891 (java) R 9889 9891 8928 0 -1 0 21112 0 1 0 606 12 0 0 25 0 8 0 270352839 937611264 20848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800167 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9891/statm: 228909 20848 2182 14 0 215379 0
[pid=9891/tid=9893] ppid=9889 vsize=915636 CPUtime=0.06
/proc/9891/task/9893/stat : 9893 (java) S 9889 9891 8928 0 -1 64 4474 0 0 0 5 1 0 0 16 0 8 0 270352844 937611264 20848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9894] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9894/stat : 9894 (java) S 9889 9891 8928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270352844 937611264 20848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9895] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9895/stat : 9895 (java) S 9889 9891 8928 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270352844 937611264 20848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9896] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9896/stat : 9896 (java) S 9889 9891 8928 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270352848 937611264 20848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9897] ppid=9889 vsize=915636 CPUtime=0.19
/proc/9891/task/9897/stat : 9897 (java) S 9889 9891 8928 0 -1 64 424 0 0 0 19 0 0 0 15 0 8 0 270352848 937611264 20848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9898] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9898/stat : 9898 (java) S 9889 9891 8928 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270352848 937611264 20848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9899] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9899/stat : 9899 (java) S 9889 9891 8928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270352848 937611264 20848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915636

[startup+12.7496 s]
/proc/loadavg: 2.04 2.05 2.00 3/100 9899
/proc/meminfo: memFree=1085880/2055920 swapFree=4178232/4192956
[pid=9891] ppid=9889 vsize=915636 CPUtime=12.61
/proc/9891/stat : 9891 (java) R 9889 9891 8928 0 -1 0 21115 0 1 0 1248 13 0 0 25 0 8 0 270352839 937611264 20850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794003 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9891/statm: 228909 20850 2182 14 0 215379 0
[pid=9891/tid=9893] ppid=9889 vsize=915636 CPUtime=0.06
/proc/9891/task/9893/stat : 9893 (java) S 9889 9891 8928 0 -1 64 4474 0 0 0 5 1 0 0 16 0 8 0 270352844 937611264 20850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9894] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9894/stat : 9894 (java) S 9889 9891 8928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270352844 937611264 20850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9895] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9895/stat : 9895 (java) S 9889 9891 8928 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270352844 937611264 20850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9896] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9896/stat : 9896 (java) S 9889 9891 8928 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270352848 937611264 20850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9897] ppid=9889 vsize=915636 CPUtime=0.19
/proc/9891/task/9897/stat : 9897 (java) S 9889 9891 8928 0 -1 64 426 0 0 0 19 0 0 0 15 0 8 0 270352848 937611264 20850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9898] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9898/stat : 9898 (java) S 9889 9891 8928 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270352848 937611264 20850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9899] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9899/stat : 9899 (java) S 9889 9891 8928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270352848 937611264 20850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915636

[startup+25.6094 s]
/proc/loadavg: 2.11 2.06 2.00 3/100 9899
/proc/meminfo: memFree=1083512/2055920 swapFree=4178232/4192956
[pid=9891] ppid=9889 vsize=915636 CPUtime=25.34
/proc/9891/stat : 9891 (java) R 9889 9891 8928 0 -1 0 21748 0 1 0 2517 17 0 0 25 0 8 0 270352839 937611264 21481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795228 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9891/statm: 228909 21481 2182 14 0 215379 0
[pid=9891/tid=9893] ppid=9889 vsize=915636 CPUtime=0.13
/proc/9891/task/9893/stat : 9893 (java) S 9889 9891 8928 0 -1 64 5100 0 0 0 11 2 0 0 16 0 8 0 270352844 937611264 21481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9894] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9894/stat : 9894 (java) S 9889 9891 8928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270352844 937611264 21481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9895] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9895/stat : 9895 (java) S 9889 9891 8928 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270352844 937611264 21481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9896] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9896/stat : 9896 (java) S 9889 9891 8928 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270352848 937611264 21481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9897] ppid=9889 vsize=915636 CPUtime=0.2
/proc/9891/task/9897/stat : 9897 (java) S 9889 9891 8928 0 -1 64 431 0 0 0 20 0 0 0 16 0 8 0 270352848 937611264 21481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9898] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9898/stat : 9898 (java) S 9889 9891 8928 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270352848 937611264 21481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9899] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9899/stat : 9899 (java) S 9889 9891 8928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270352848 937611264 21481 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915636

[startup+51.2258 s]
/proc/loadavg: 2.07 2.05 2.00 3/100 9899
/proc/meminfo: memFree=1071416/2055920 swapFree=4178232/4192956
[pid=9891] ppid=9889 vsize=915636 CPUtime=50.73
/proc/9891/stat : 9891 (java) R 9889 9891 8928 0 -1 0 24782 0 1 0 5045 28 0 0 25 0 8 0 270352839 937611264 24513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793915 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9891/statm: 228909 24513 2182 14 0 215379 0
[pid=9891/tid=9893] ppid=9889 vsize=915636 CPUtime=0.24
/proc/9891/task/9893/stat : 9893 (java) S 9889 9891 8928 0 -1 64 8124 0 0 0 21 3 0 0 16 0 8 0 270352844 937611264 24513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9894] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9894/stat : 9894 (java) S 9889 9891 8928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270352844 937611264 24513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9895] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9895/stat : 9895 (java) S 9889 9891 8928 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270352844 937611264 24513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9896] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9896/stat : 9896 (java) S 9889 9891 8928 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270352848 937611264 24513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9897] ppid=9889 vsize=915636 CPUtime=0.22
/proc/9891/task/9897/stat : 9897 (java) S 9889 9891 8928 0 -1 64 439 0 0 0 21 1 0 0 16 0 8 0 270352848 937611264 24513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9898] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9898/stat : 9898 (java) S 9889 9891 8928 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270352848 937611264 24513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9899] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9899/stat : 9899 (java) S 9889 9891 8928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270352848 937611264 24513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915636

[startup+102.468 s]
/proc/loadavg: 2.11 2.07 2.01 3/100 9899
/proc/meminfo: memFree=1050360/2055920 swapFree=4178232/4192956
[pid=9891] ppid=9889 vsize=915636 CPUtime=101.47
/proc/9891/stat : 9891 (java) R 9889 9891 8928 0 -1 0 30345 0 1 0 10104 43 0 0 25 0 8 0 270352839 937611264 30070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796715 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9891/statm: 228909 30070 2501 14 0 215379 0
[pid=9891/tid=9893] ppid=9889 vsize=915636 CPUtime=0.63
/proc/9891/task/9893/stat : 9893 (java) S 9889 9891 8928 0 -1 64 13307 0 0 0 58 5 0 0 16 0 8 0 270352844 937611264 30070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9894] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9894/stat : 9894 (java) S 9889 9891 8928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270352844 937611264 30070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9895] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9895/stat : 9895 (java) S 9889 9891 8928 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270352844 937611264 30070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9896] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9896/stat : 9896 (java) S 9889 9891 8928 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270352848 937611264 30070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9897] ppid=9889 vsize=915636 CPUtime=0.28
/proc/9891/task/9897/stat : 9897 (java) S 9889 9891 8928 0 -1 64 468 0 0 0 27 1 0 0 16 0 8 0 270352848 937611264 30070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9898] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9898/stat : 9898 (java) S 9889 9891 8928 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270352848 937611264 30070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9899] ppid=9889 vsize=915636 CPUtime=0
/proc/9891/task/9899/stat : 9899 (java) S 9889 9891 8928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270352848 937611264 30070 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915636

[startup+162.468 s]
/proc/loadavg: 2.08 2.07 2.01 3/100 9899
/proc/meminfo: memFree=1050360/2055920 swapFree=4178232/4192956
[pid=9891] ppid=9889 vsize=915636 CPUtime=160.9
/proc/9891/stat : 9891 (java) R 9889 9891 8928 0 -1 0 30347 0 1 0 16042 48 0 0 25 0 8 0 270352839 937611264 30072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795228 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2084.13 s]
/proc/loadavg: 2.03 2.01 2.00 4/100 9961
/proc/meminfo: memFree=1138112/2055920 swapFree=4178232/4192956
[pid=9891] ppid=9889 vsize=915936 CPUtime=2068.08
/proc/9891/stat : 9891 (java) R 9889 9891 8928 0 -1 0 39683 0 1 0 206720 88 0 0 25 0 8 0 270352839 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074246659 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9891/statm: 228984 39388 2548 14 0 215454 0
[pid=9891/tid=9893] ppid=9889 vsize=915936 CPUtime=0.74
/proc/9891/task/9893/stat : 9893 (java) S 9889 9891 8928 0 -1 64 22408 0 0 0 66 8 0 0 16 0 8 0 270352844 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9894] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9894/stat : 9894 (java) S 9889 9891 8928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270352844 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9895] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9895/stat : 9895 (java) S 9889 9891 8928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270352844 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9896] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9896/stat : 9896 (java) S 9889 9891 8928 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270352848 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9897] ppid=9889 vsize=915936 CPUtime=0.4
/proc/9891/task/9897/stat : 9897 (java) S 9889 9891 8928 0 -1 64 594 0 0 0 38 2 0 0 16 0 8 0 270352848 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9898] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9898/stat : 9898 (java) S 9889 9891 8928 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270352848 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9899] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9899/stat : 9899 (java) S 9889 9891 8928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270352848 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2068.08
Current children cumulated vsize (KiB) 915936

[startup+2144.19 s]
/proc/loadavg: 2.01 2.01 2.00 3/100 9961
/proc/meminfo: memFree=1138048/2055920 swapFree=4178232/4192956
[pid=9891] ppid=9889 vsize=915936 CPUtime=2128.08
/proc/9891/stat : 9891 (java) R 9889 9891 8928 0 -1 0 39683 0 1 0 212720 88 0 0 25 0 8 0 270352839 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074246688 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9891/statm: 228984 39388 2548 14 0 215454 0
[pid=9891/tid=9893] ppid=9889 vsize=915936 CPUtime=0.74
/proc/9891/task/9893/stat : 9893 (java) S 9889 9891 8928 0 -1 64 22408 0 0 0 66 8 0 0 16 0 8 0 270352844 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9894] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9894/stat : 9894 (java) S 9889 9891 8928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270352844 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9895] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9895/stat : 9895 (java) S 9889 9891 8928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270352844 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9896] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9896/stat : 9896 (java) S 9889 9891 8928 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270352848 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9897] ppid=9889 vsize=915936 CPUtime=0.4
/proc/9891/task/9897/stat : 9897 (java) S 9889 9891 8928 0 -1 64 594 0 0 0 38 2 0 0 16 0 8 0 270352848 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9898] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9898/stat : 9898 (java) S 9889 9891 8928 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270352848 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9899] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9899/stat : 9899 (java) S 9889 9891 8928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270352848 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2128.08
Current children cumulated vsize (KiB) 915936

[startup+2204.25 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 9961
/proc/meminfo: memFree=1138112/2055920 swapFree=4178232/4192956
[pid=9891] ppid=9889 vsize=915936 CPUtime=2188.09
/proc/9891/stat : 9891 (java) R 9889 9891 8928 0 -1 0 39683 0 1 0 218721 88 0 0 25 0 8 0 270352839 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074247494 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9891/statm: 228984 39388 2548 14 0 215454 0
[pid=9891/tid=9893] ppid=9889 vsize=915936 CPUtime=0.74
/proc/9891/task/9893/stat : 9893 (java) S 9889 9891 8928 0 -1 64 22408 0 0 0 66 8 0 0 16 0 8 0 270352844 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9894] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9894/stat : 9894 (java) S 9889 9891 8928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270352844 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9895] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9895/stat : 9895 (java) S 9889 9891 8928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270352844 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9896] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9896/stat : 9896 (java) S 9889 9891 8928 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270352848 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9897] ppid=9889 vsize=915936 CPUtime=0.4
/proc/9891/task/9897/stat : 9897 (java) S 9889 9891 8928 0 -1 64 594 0 0 0 38 2 0 0 16 0 8 0 270352848 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9898] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9898/stat : 9898 (java) S 9889 9891 8928 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270352848 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9899] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9899/stat : 9899 (java) S 9889 9891 8928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270352848 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2188.09
Current children cumulated vsize (KiB) 915936

[startup+2264.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 9961
/proc/meminfo: memFree=1138048/2055920 swapFree=4178232/4192956
[pid=9891] ppid=9889 vsize=915936 CPUtime=2248.08
/proc/9891/stat : 9891 (java) R 9889 9891 8928 0 -1 0 39683 0 1 0 224720 88 0 0 25 0 8 0 270352839 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074214361 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9891/statm: 228984 39388 2548 14 0 215454 0
[pid=9891/tid=9893] ppid=9889 vsize=915936 CPUtime=0.74
/proc/9891/task/9893/stat : 9893 (java) S 9889 9891 8928 0 -1 64 22408 0 0 0 66 8 0 0 16 0 8 0 270352844 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9894] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9894/stat : 9894 (java) S 9889 9891 8928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270352844 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9895] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9895/stat : 9895 (java) S 9889 9891 8928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270352844 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9896] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9896/stat : 9896 (java) S 9889 9891 8928 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270352848 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9897] ppid=9889 vsize=915936 CPUtime=0.4
/proc/9891/task/9897/stat : 9897 (java) S 9889 9891 8928 0 -1 64 594 0 0 0 38 2 0 0 16 0 8 0 270352848 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9898] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9898/stat : 9898 (java) S 9889 9891 8928 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270352848 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9899] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9899/stat : 9899 (java) S 9889 9891 8928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270352848 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2248.08
Current children cumulated vsize (KiB) 915936

[startup+2324.36 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 9961
/proc/meminfo: memFree=1138048/2055920 swapFree=4178232/4192956
[pid=9891] ppid=9889 vsize=915936 CPUtime=2308.07
/proc/9891/stat : 9891 (java) R 9889 9891 8928 0 -1 0 39683 0 1 0 230719 88 0 0 25 0 8 0 270352839 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074250108 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9891/statm: 228984 39388 2548 14 0 215454 0
[pid=9891/tid=9893] ppid=9889 vsize=915936 CPUtime=0.74
/proc/9891/task/9893/stat : 9893 (java) S 9889 9891 8928 0 -1 64 22408 0 0 0 66 8 0 0 16 0 8 0 270352844 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9894] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9894/stat : 9894 (java) S 9889 9891 8928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270352844 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9895] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9895/stat : 9895 (java) S 9889 9891 8928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270352844 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9896] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9896/stat : 9896 (java) S 9889 9891 8928 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270352848 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9897] ppid=9889 vsize=915936 CPUtime=0.4
/proc/9891/task/9897/stat : 9897 (java) S 9889 9891 8928 0 -1 64 594 0 0 0 38 2 0 0 16 0 8 0 270352848 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9898] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9898/stat : 9898 (java) S 9889 9891 8928 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270352848 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9899] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9899/stat : 9899 (java) S 9889 9891 8928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270352848 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2308.07
Current children cumulated vsize (KiB) 915936

[startup+2384.42 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 9961
/proc/meminfo: memFree=1138048/2055920 swapFree=4178232/4192956
[pid=9891] ppid=9889 vsize=915936 CPUtime=2368.08
/proc/9891/stat : 9891 (java) R 9889 9891 8928 0 -1 0 39683 0 1 0 236720 88 0 0 25 0 8 0 270352839 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074246692 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9891/statm: 228984 39388 2548 14 0 215454 0
[pid=9891/tid=9893] ppid=9889 vsize=915936 CPUtime=0.74
/proc/9891/task/9893/stat : 9893 (java) S 9889 9891 8928 0 -1 64 22408 0 0 0 66 8 0 0 16 0 8 0 270352844 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9894] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9894/stat : 9894 (java) S 9889 9891 8928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270352844 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9895] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9895/stat : 9895 (java) S 9889 9891 8928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270352844 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9896] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9896/stat : 9896 (java) S 9889 9891 8928 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270352848 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9897] ppid=9889 vsize=915936 CPUtime=0.4
/proc/9891/task/9897/stat : 9897 (java) S 9889 9891 8928 0 -1 64 594 0 0 0 38 2 0 0 16 0 8 0 270352848 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9898] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9898/stat : 9898 (java) S 9889 9891 8928 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270352848 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9899] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9899/stat : 9899 (java) S 9889 9891 8928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270352848 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2368.08
Current children cumulated vsize (KiB) 915936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2416.42 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 9961
/proc/meminfo: memFree=1138048/2055920 swapFree=4178232/4192956
[pid=9891] ppid=9889 vsize=915936 CPUtime=2400.03
/proc/9891/stat : 9891 (java) R 9889 9891 8928 0 -1 0 39683 0 1 0 239915 88 0 0 25 0 8 0 270352839 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074214193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9891/statm: 228984 39388 2548 14 0 215454 0
[pid=9891/tid=9893] ppid=9889 vsize=915936 CPUtime=0.74
/proc/9891/task/9893/stat : 9893 (java) S 9889 9891 8928 0 -1 64 22408 0 0 0 66 8 0 0 16 0 8 0 270352844 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9894] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9894/stat : 9894 (java) S 9889 9891 8928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270352844 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9895] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9895/stat : 9895 (java) S 9889 9891 8928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270352844 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9896] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9896/stat : 9896 (java) S 9889 9891 8928 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270352848 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9897] ppid=9889 vsize=915936 CPUtime=0.4
/proc/9891/task/9897/stat : 9897 (java) S 9889 9891 8928 0 -1 64 594 0 0 0 38 2 0 0 16 0 8 0 270352848 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9898] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9898/stat : 9898 (java) S 9889 9891 8928 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270352848 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9891/tid=9899] ppid=9889 vsize=915936 CPUtime=0
/proc/9891/task/9899/stat : 9899 (java) S 9889 9891 8928 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270352848 937918464 39388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 915936

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

Child status: 143
Real time (s): 2416.5
CPU time (s): 2400.12
CPU user time (s): 2399.21
CPU system time (s): 0.911861
CPU usage (%): 99.3222
Max. virtual memory (cumulated for all children) (KiB): 915936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.21
system time used= 0.911861
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39708
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50673
involuntary context switches= 104945

runsolver used 3.16552 s user time and 7.62984 s system time

The end

Launcher Data (download as text)

Begin job on node10 on Fri Jan 19 15:12:57 UTC 2007


IDJOB= 275289
IDBENCH= 3767
IDSOLVER= 69
FILE ID= node10/275289-1169219577

PBS_JOBID= 3588920

Free space on /tmp= 66554 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  807c7a1bb270de62fd8ab1fdbd66c332

RANDOM SEED= 489219308

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.232
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.232
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:       1161352 kB
Buffers:         58512 kB
Cached:         577580 kB
SwapCached:       2360 kB
Active:         311364 kB
Inactive:       506664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1161352 kB
SwapTotal:     4192956 kB
SwapFree:      4178232 kB
Dirty:            3776 kB
Writeback:           0 kB
Mapped:         201440 kB
Slab:            60956 kB
Committed_AS:  7878460 kB
PageTables:       2552 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 node10 on Fri Jan 19 15:53:14 UTC 2007