Trace number 275288

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

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=epfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/275288-1169219500/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.27  cpuTime=0.2  mem=17M615
0.59	   
0.59	   predicates being loaded...
0.59	   
0.59	   constraints being loaded...
61.28	   
61.28	   INFO : Stopping converting binary constraints (cpu=60.02, mem = 70M864)
62.40	     nbConstraints=15032  nbConvertedConstraints=4192  nbConvertConstraintsChecks=188853720  nbExtensionStructures=2552
62.40	     nbSharedExtensionStructures=1640  nbConflictsStructures=2552  nbSharedConflictsStructures=1640
62.40	     nbSharedBinaryRepresentations=1306743  nbEvaluationManagers=5328  nbSharedEvaluationManagers=5512  maxDegree=51
62.40	     maxArity=2
62.40	       =>  wckTime=62.084  cpuTime=60.87  mem=49M687
62.61	   
62.61	   solver LocalSearchSolver being built... 
62.65	       =>  wckTime=62.336  cpuTime=60.91  mem=47M257
62.75	
62.75	s SATISFIABLE
62.75	o 11740
62.75	c 3292
62.81	o 11749
62.81	c 3283
62.86	o 11759
62.86	c 3273
62.89	o 11765
62.89	c 3267
62.91	o 11771
62.91	c 3261
62.95	o 11776
62.95	c 3256
62.97	o 11781
62.97	c 3251
62.99	o 11784
62.99	c 3248
63.02	o 11793
63.02	c 3239
63.07	o 11801
63.07	c 3231
63.09	o 11809
63.09	c 3223
63.12	o 11816
63.12	c 3216
63.14	o 11823
63.14	c 3209
63.17	o 11827
63.17	c 3205
63.19	o 11829
63.19	c 3203
63.23	o 11838
63.23	c 3194
63.26	o 11845
63.26	c 3187
63.32	o 11851
63.32	c 3181
63.37	o 11857
63.37	c 3175
63.41	o 11862
63.41	c 3170
63.44	o 11867
63.44	c 3165
63.48	o 11871
63.48	c 3161
63.51	o 11875
63.51	c 3157
63.54	o 11878
63.54	c 3154
63.57	o 11881
63.57	c 3151
63.59	o 11884
63.59	c 3148
63.63	o 11887
63.63	c 3145
63.65	o 11892
63.65	c 3140
63.69	o 11903
63.69	c 3129
63.70	o 11911
63.70	c 3121
63.72	o 11915
63.72	c 3117
63.74	o 11918
63.74	c 3114
63.77	o 11921
63.77	c 3111
63.78	o 11926
63.78	c 3106
63.81	o 11929
63.81	c 3103
63.84	o 11936
63.84	c 3096
63.88	o 11943
63.88	c 3089
63.92	o 11948
63.92	c 3084
63.96	o 11953
63.96	c 3079
64.00	o 11958
64.00	c 3074
64.03	o 11962
64.03	c 3070
64.06	o 11966
64.06	c 3066
64.10	o 11969
64.10	c 3063
64.13	o 11972
64.13	c 3060
64.15	o 11975
64.15	c 3057
64.17	o 11977
64.17	c 3055
64.19	o 11979
64.19	c 3053
64.21	o 11980
64.21	c 3052
64.26	o 11984
64.26	c 3048
64.29	o 11990
64.29	c 3042
64.32	o 11993
64.32	c 3039
64.39	o 12001
64.39	c 3031
64.40	o 12005
64.40	c 3027
64.43	o 12013
64.43	c 3019
64.47	o 12020
64.47	c 3012
64.51	o 12027
64.51	c 3005
64.54	o 12034
64.54	c 2998
64.58	o 12040
64.58	c 2992
64.62	o 12046
64.62	c 2986
64.66	o 12051
64.66	c 2981
64.70	o 12056
64.70	c 2976
64.73	o 12061
64.73	c 2971
64.77	o 12065
64.77	c 2967
64.80	o 12068
64.80	c 2964
64.83	o 12071
64.83	c 2961
64.87	o 12074
64.87	c 2958
64.90	o 12076
64.90	c 2956
64.93	o 12078
64.93	c 2954
64.96	o 12080
64.96	c 2952
64.99	o 12082
64.99	c 2950
65.09	o 12084
65.09	c 2948
65.11	o 12085
65.11	c 2947
65.15	o 12087
65.15	c 2945
65.18	o 12091
65.18	c 2941
65.26	o 12095
65.26	c 2937
65.28	o 12098
65.28	c 2934
65.30	o 12101
65.30	c 2931
65.33	o 12107
65.33	c 2925
65.34	o 12111
65.34	c 2921
65.37	o 12116
65.37	c 2916
65.39	o 12120
65.39	c 2912
65.40	o 12125
65.40	c 2907
65.41	o 12127
65.41	c 2905
65.45	o 12129
65.45	c 2903
65.46	o 12136
65.46	c 2896
65.48	o 12137
65.48	c 2895
65.52	o 12142
65.52	c 2890
65.53	o 12145
65.53	c 2887
65.57	o 12153
65.57	c 2879
65.60	o 12159
65.60	c 2873
65.63	o 12165
65.63	c 2867
65.66	o 12170
65.66	c 2862
65.69	o 12175
65.69	c 2857
65.73	o 12178
65.73	c 2854
65.76	o 12183
65.76	c 2849
65.79	o 12188
65.79	c 2844
65.82	o 12192
65.82	c 2840
65.84	o 12196
65.84	c 2836
65.87	o 12199
65.87	c 2833
65.89	o 12202
65.89	c 2830
65.91	o 12205
65.91	c 2827
65.92	o 12211
65.92	c 2821
65.95	o 12213
65.95	c 2819
65.97	o 12215
65.97	c 2817
65.99	o 12217
65.99	c 2815
66.00	o 12219
66.00	c 2813
66.02	o 12220
66.02	c 2812
66.08	o 12227
66.08	c 2805
66.11	o 12233
66.11	c 2799
66.13	o 12238
66.14	c 2794
66.17	o 12240
66.17	c 2792
66.19	o 12243
66.19	c 2789
66.21	o 12249
66.21	c 2783
66.24	o 12255
66.24	c 2777
66.26	o 12260
66.26	c 2772
66.29	o 12263
66.29	c 2769
66.30	o 12270
66.30	c 2762
66.33	o 12272
66.33	c 2760
66.34	o 12277
66.34	c 2755
66.36	o 12279
66.36	c 2753
66.42	o 12280
66.42	c 2752
66.45	o 12282
66.45	c 2750
66.51	o 12284
66.51	c 2748
66.54	o 12286
66.54	c 2746
66.57	o 12292
66.57	c 2740
66.60	o 12297
66.60	c 2735
66.62	o 12299
66.62	c 2733
66.66	o 12302
66.66	c 2730
66.69	o 12304
66.69	c 2728
66.72	o 12307
66.72	c 2725
66.75	o 12308
66.75	c 2724
66.79	o 12312
66.79	c 2720
66.80	o 12317
66.81	c 2715
66.84	o 12320
66.84	c 2712
66.87	o 12322
66.87	c 2710
66.90	o 12325
66.90	c 2707
66.94	o 12331
66.94	c 2701
66.98	o 12337
66.98	c 2695
67.01	o 12342
67.01	c 2690
67.04	o 12345
67.04	c 2687
67.09	o 12348
67.09	c 2684
67.13	o 12351
67.13	c 2681
67.17	o 12353
67.17	c 2679
67.21	o 12355
67.21	c 2677
67.25	o 12363
67.25	c 2669
67.27	o 12365
67.27	c 2667
67.31	o 12366
67.31	c 2666
67.33	o 12373
67.33	c 2659
67.44	o 12377
67.44	c 2655
67.46	o 12381
67.46	c 2651
67.49	o 12385
67.49	c 2647
67.51	o 12387
67.51	c 2645
67.53	o 12391
67.53	c 2641
67.56	o 12394
67.56	c 2638
67.59	o 12395
67.59	c 2637
67.63	o 12396
67.63	c 2636
67.66	o 12398
67.66	c 2634
67.70	o 12401
67.70	c 2631
67.74	o 12405
67.74	c 2627
67.77	o 12406
67.77	c 2626
67.80	o 12410
67.80	c 2622
67.85	o 12412
67.85	c 2620
67.88	o 12415
67.88	c 2617
67.92	o 12418
67.92	c 2614
67.96	o 12420
67.96	c 2612
67.99	o 12424
67.99	c 2608
68.02	o 12425
68.02	c 2607
68.05	o 12426
68.05	c 2606
68.08	o 12429
68.08	c 2603
68.11	o 12431
68.11	c 2601
68.15	o 12434
68.15	c 2598
68.19	o 12436
68.19	c 2596
68.27	o 12439
68.27	c 2593
68.31	o 12442
68.31	c 2590
68.35	o 12445
68.35	c 2587
68.37	o 12449
68.37	c 2583
68.40	o 12452
68.40	c 2580
68.43	o 12456
68.43	c 2576
68.47	o 12462
68.47	c 2570
68.49	o 12465
68.49	c 2567
68.54	o 12466
68.54	c 2566
68.57	o 12468
68.57	c 2564
68.67	o 12471
68.67	c 2561
68.71	o 12474
68.71	c 2558
68.73	o 12480
68.73	c 2552
68.75	o 12486
68.75	c 2546
68.78	o 12491
68.78	c 2541
68.80	o 12494
68.80	c 2538
68.83	o 12498
68.83	c 2534
68.86	o 12502
68.86	c 2530
68.89	o 12507
68.89	c 2525
68.92	o 12508
68.92	c 2524
68.95	o 12512
68.95	c 2520
68.97	o 12514
68.97	c 2518
69.15	o 12516
69.15	c 2516
69.25	o 12518
69.25	c 2514
69.29	o 12521
69.29	c 2511
69.37	o 12522
69.37	c 2510
69.42	o 12525
69.42	c 2507
69.46	o 12528
69.46	c 2504
69.50	o 12532
69.50	c 2500
69.55	o 12536
69.55	c 2496
69.59	o 12541
69.59	c 2491
69.63	o 12542
69.63	c 2490
69.66	o 12545
69.66	c 2487
69.70	o 12551
69.70	c 2481
69.74	o 12553
69.74	c 2479
69.79	o 12554
69.79	c 2478
69.83	o 12556
69.83	c 2476
69.86	o 12559
69.86	c 2473
69.89	o 12561
69.89	c 2471
69.92	o 12563
69.92	c 2469
69.96	o 12566
69.96	c 2466
69.99	o 12573
69.99	c 2459
70.08	o 12574
70.08	c 2458
70.11	o 12579
70.11	c 2453
70.14	o 12582
70.14	c 2450
70.17	o 12587
70.17	c 2445
70.21	o 12589
70.21	c 2443
70.25	o 12593
70.25	c 2439
70.28	o 12595
70.28	c 2437
70.33	o 12598
70.33	c 2434
70.37	o 12602
70.37	c 2430
70.48	o 12606
70.48	c 2426
70.51	o 12610
70.51	c 2422
70.54	o 12618
70.54	c 2414
70.58	o 12620
70.58	c 2412
70.62	o 12624
70.62	c 2408
70.65	o 12629
70.65	c 2403
70.68	o 12634
70.68	c 2398
70.72	o 12637
70.72	c 2395
70.75	o 12639
70.75	c 2393
70.82	o 12643
70.82	c 2389
70.86	o 12644
70.86	c 2388
70.89	o 12648
70.89	c 2384
70.93	o 12652
70.93	c 2380
70.97	o 12655
70.97	c 2377
71.00	o 12658
71.00	c 2374
71.04	o 12660
71.05	c 2372
71.09	o 12666
71.10	c 2366
71.13	o 12671
71.13	c 2361
71.22	o 12672
71.22	c 2360
71.26	o 12673
71.26	c 2359
71.33	o 12675
71.33	c 2357
71.42	o 12678
71.42	c 2354
71.54	o 12680
71.54	c 2352
71.57	o 12682
71.57	c 2350
71.61	o 12683
71.61	c 2349
71.72	o 12685
71.72	c 2347
71.77	o 12689
71.77	c 2343
71.86	o 12692
71.86	c 2340
71.89	o 12698
71.89	c 2334
71.93	o 12700
71.93	c 2332
71.97	o 12705
71.97	c 2327
72.02	o 12706
72.02	c 2326
72.07	o 12707
72.07	c 2325
72.11	o 12708
72.11	c 2324
72.14	o 12710
72.14	c 2322
72.18	o 12713
72.18	c 2319
72.26	o 12714
72.26	c 2318
72.29	o 12716
72.29	c 2316
72.34	o 12720
72.34	c 2312
72.36	o 12723
72.36	c 2309
72.40	o 12725
72.40	c 2307
72.45	o 12727
72.45	c 2305
72.48	o 12729
72.48	c 2303
72.54	o 12732
72.54	c 2300
72.57	o 12737
72.57	c 2295
72.61	o 12739
72.61	c 2293
72.64	o 12745
72.64	c 2287
72.69	o 12749
72.69	c 2283
72.74	o 12750
72.74	c 2282
72.78	o 12754
72.78	c 2278
72.82	o 12758
72.82	c 2274
72.86	o 12759
72.86	c 2273
72.90	o 12764
72.90	c 2268
72.94	o 12768
72.94	c 2264
72.98	o 12771
72.98	c 2261
73.01	o 12773
73.01	c 2259
73.05	o 12776
73.05	c 2256
73.12	o 12778
73.12	c 2254
73.20	o 12781
73.20	c 2251
73.23	o 12784
73.23	c 2248
73.26	o 12785
73.26	c 2247
73.32	o 12791
73.32	c 2241
73.41	o 12792
73.41	c 2240
73.52	o 12795
73.52	c 2237
73.60	o 12797
73.60	c 2235
73.64	o 12799
73.64	c 2233
73.67	o 12802
73.67	c 2230
73.70	o 12804
73.70	c 2228
73.74	o 12805
73.74	c 2227
73.77	o 12809
73.77	c 2223
73.80	o 12812
73.80	c 2220
73.83	o 12815
73.83	c 2217
73.88	o 12817
73.88	c 2215
73.91	o 12819
73.91	c 2213
73.99	o 12827
73.99	c 2205
74.04	o 12832
74.04	c 2200
74.14	o 12834
74.14	c 2198
74.19	o 12836
74.19	c 2196
74.24	o 12841
74.24	c 2191
74.29	o 12846
74.29	c 2186
74.34	o 12848
74.34	c 2184
74.44	o 12849
74.44	c 2183
74.47	o 12852
74.47	c 2180
74.51	o 12854
74.51	c 2178
74.59	o 12859
74.59	c 2173
74.64	o 12863
74.64	c 2169
74.68	o 12864
74.68	c 2168
74.75	o 12866
74.75	c 2166
74.80	o 12867
74.80	c 2165
74.84	o 12871
74.84	c 2161
74.90	o 12873
74.90	c 2159
74.96	o 12876
74.96	c 2156
75.01	o 12879
75.01	c 2153
75.07	o 12880
75.07	c 2152
75.19	o 12883
75.19	c 2149
75.26	o 12885
75.26	c 2147
75.30	o 12890
75.30	c 2142
75.36	o 12891
75.36	c 2141
75.41	o 12892
75.41	c 2140
75.59	o 12893
75.59	c 2139
75.64	o 12896
75.64	c 2136
75.69	o 12897
75.69	c 2135
75.74	o 12899
75.74	c 2133
75.78	o 12900
75.78	c 2132
75.85	o 12903
75.85	c 2129
75.89	o 12905
75.89	c 2127
75.95	o 12908
75.95	c 2124
76.00	o 12910
76.00	c 2122
76.04	o 12911
76.05	c 2121
76.09	o 12916
76.09	c 2116
76.18	o 12917
76.18	c 2115
76.23	o 12920
76.23	c 2112
76.27	o 12921
76.27	c 2111
76.33	o 12922
76.33	c 2110
76.39	o 12923
76.39	c 2109
76.44	o 12927
76.44	c 2105
76.50	o 12931
76.50	c 2101
76.67	o 12936
76.67	c 2096
76.71	o 12940
76.71	c 2092
76.94	o 12947
76.94	c 2085
76.99	o 12948
76.99	c 2084
77.16	o 12951
77.16	c 2081
77.22	o 12952
77.22	c 2080
77.33	o 12954
77.33	c 2078
77.49	o 12959
77.49	c 2073
77.54	o 12964
77.54	c 2068
77.60	o 12965
77.60	c 2067
77.64	o 12970
77.64	c 2062
77.70	o 12973
77.70	c 2059
77.74	o 12978
77.74	c 2054
77.86	o 12980
77.86	c 2052
77.93	o 12981
77.93	c 2051
77.97	o 12986
77.97	c 2046
78.04	o 12988
78.04	c 2044
78.15	o 12990
78.15	c 2042
78.20	o 12991
78.20	c 2041
78.27	o 12994
78.27	c 2038
78.33	o 12998
78.33	c 2034
78.38	o 13001
78.38	c 2031
78.45	o 13002
78.45	c 2030
78.56	o 13005
78.56	c 2027
78.79	o 13008
78.79	c 2024
78.85	o 13015
78.85	c 2017
78.92	o 13018
78.92	c 2014
79.04	o 13020
79.04	c 2012
79.10	o 13021
79.10	c 2011
79.15	o 13027
79.15	c 2005
79.20	o 13032
79.20	c 2000
79.27	o 13033
79.27	c 1999
79.32	o 13034
79.32	c 1998
79.37	o 13035
79.37	c 1997
79.43	o 13036
79.43	c 1996
79.47	o 13037
79.47	c 1995
79.63	o 13038
79.63	c 1994
79.69	o 13039
79.69	c 1993
79.76	o 13040
79.76	c 1992
79.81	o 13042
79.81	c 1990
79.87	o 13046
79.87	c 1986
79.93	o 13048
79.93	c 1984
80.06	o 13049
80.06	c 1983
80.12	o 13052
80.12	c 1980
80.18	o 13056
80.18	c 1976
80.24	o 13059
80.24	c 1973
80.29	o 13064
80.29	c 1968
80.35	o 13065
80.35	c 1967
80.54	o 13068
80.54	c 1964
80.60	o 13070
80.60	c 1962
80.66	o 13072
80.66	c 1960
80.84	o 13074
80.84	c 1958
80.90	o 13077
80.90	c 1955
80.95	o 13081
80.95	c 1951
81.21	o 13082
81.21	c 1950
81.27	o 13085
81.27	c 1947
81.55	o 13086
81.55	c 1946
81.62	o 13087
81.62	c 1945
81.66	o 13089
81.66	c 1943
81.82	o 13092
81.82	c 1940
81.88	o 13095
81.88	c 1937
81.99	o 13098
81.99	c 1934
82.04	o 13101
82.04	c 1931
82.08	o 13105
82.08	c 1927
82.14	o 13106
82.14	c 1926
82.19	o 13107
82.19	c 1925
82.29	o 13112
82.29	c 1920
82.34	o 13114
82.34	c 1918
82.40	o 13120
82.40	c 1912
82.45	o 13125
82.45	c 1907
82.50	o 13127
82.50	c 1905
82.57	o 13128
82.57	c 1904
82.63	o 13131
82.63	c 1901
82.69	o 13134
82.69	c 1898
82.75	o 13136
82.75	c 1896
82.80	o 13138
82.80	c 1894
82.87	o 13142
82.87	c 1890
82.94	o 13143
82.94	c 1889
83.00	o 13146
83.00	c 1886
83.05	o 13149
83.05	c 1883
83.10	o 13150
83.10	c 1882
83.16	o 13152
83.16	c 1880
83.22	o 13153
83.22	c 1879
83.29	o 13157
83.29	c 1875
83.35	o 13161
83.35	c 1871
83.47	o 13163
83.47	c 1869
83.67	o 13165
83.67	c 1867
83.74	o 13167
83.74	c 1865
83.81	o 13169
83.81	c 1863
83.95	o 13170
83.95	c 1862
84.02	o 13171
84.02	c 1861
84.09	o 13173
84.09	c 1859
84.17	o 13174
84.17	c 1858
84.46	o 13180
84.46	c 1852
84.50	o 13185
84.50	c 1847
84.63	o 13186
84.63	c 1846
84.70	o 13190
84.70	c 1842
84.76	o 13191
84.76	c 1841
84.86	o 13195
84.86	c 1837
84.91	o 13197
84.91	c 1835
84.97	o 13200
84.97	c 1832
85.04	o 13202
85.04	c 1830
85.09	o 13206
85.09	c 1826
85.48	o 13207
85.48	c 1825
85.68	o 13211
85.68	c 1821
85.78	o 13212
85.78	c 1820
85.84	o 13214
85.84	c 1818
85.91	o 13218
85.91	c 1814
85.99	o 13220
85.99	c 1812
86.37	o 13221
86.37	c 1811
86.45	o 13222
86.45	c 1810
86.60	o 13224
86.60	c 1808
86.66	o 13226
86.66	c 1806
86.69	o 13228
86.69	c 1804
87.24	o 13231
87.24	c 1801
87.33	o 13237
87.33	c 1795
87.40	o 13239
87.40	c 1793
87.46	o 13240
87.46	c 1792
87.67	o 13242
87.67	c 1790
87.74	o 13244
87.74	c 1788
87.81	o 13246
87.81	c 1786
87.89	o 13248
87.89	c 1784
87.95	o 13249
87.95	c 1783
88.11	o 13252
88.11	c 1780
88.19	o 13255
88.19	c 1777
88.26	o 13256
88.26	c 1776
88.34	o 13257
88.34	c 1775
88.40	o 13259
88.40	c 1773
88.47	o 13260
88.47	c 1772
88.54	o 13261
88.54	c 1771
88.68	o 13264
88.68	c 1768
88.73	o 13265
88.73	c 1767
88.80	o 13268
88.80	c 1764
88.93	o 13271
88.93	c 1761
88.99	o 13274
88.99	c 1758
89.05	o 13275
89.05	c 1757
89.12	o 13277
89.12	c 1755
89.32	o 13282
89.32	c 1750
89.69	o 13283
89.69	c 1749
89.77	o 13288
89.77	c 1744
89.84	o 13290
89.84	c 1742
89.92	o 13296
89.92	c 1736
90.00	o 13297
90.00	c 1735
90.07	o 13302
90.07	c 1730
90.21	o 13306
90.21	c 1726
90.49	o 13307
90.49	c 1725
92.23	o 13309
92.23	c 1723
92.32	o 13313
92.32	c 1719
92.41	o 13315
92.41	c 1717
92.69	o 13316
92.69	c 1716
92.78	o 13317
92.78	c 1715
92.87	o 13321
92.87	c 1711
93.21	o 13322
93.21	c 1710
93.31	o 13325
93.31	c 1707
93.40	o 13329
93.40	c 1703
93.49	o 13333
93.49	c 1699
93.67	o 13336
93.67	c 1696
93.77	o 13338
93.77	c 1694
93.86	o 13339
93.86	c 1693
94.21	o 13340
94.21	c 1692
94.32	o 13343
94.32	c 1689
94.41	o 13345
94.41	c 1687
94.52	o 13348
94.52	c 1684
94.72	o 13351
94.72	c 1681
94.81	o 13352
94.81	c 1680
94.86	o 13353
94.86	c 1679
94.96	o 13357
94.96	c 1675
95.07	o 13359
95.07	c 1673
95.18	o 13361
95.18	c 1671
95.29	o 13363
95.29	c 1669
95.39	o 13365
95.39	c 1667
95.73	o 13366
95.73	c 1666
95.84	o 13367
95.84	c 1665
96.05	o 13369
96.05	c 1663
96.27	o 13370
96.27	c 1662
96.37	o 13371
96.37	c 1661
96.49	o 13373
96.49	c 1659
96.60	o 13375
96.60	c 1657
96.72	o 13376
96.72	c 1656
96.94	o 13377
96.95	c 1655
97.06	o 13378
97.06	c 1654
97.18	o 13381
97.18	c 1651
97.54	o 13384
97.54	c 1648
97.77	o 13386
97.77	c 1646
97.90	o 13387
97.90	c 1645
98.02	o 13389
98.02	c 1643
98.13	o 13392
98.13	c 1640
98.24	o 13397
98.24	c 1635
98.45	o 13400
98.45	c 1632
98.68	o 13401
98.68	c 1631
98.80	o 13409
98.80	c 1623
99.13	o 13411
99.13	c 1621
99.34	o 13414
99.34	c 1618
99.44	o 13421
99.44	c 1611
99.54	o 13422
99.54	c 1610
99.64	o 13425
99.64	c 1607
99.75	o 13426
99.75	c 1606
99.87	o 13429
99.87	c 1603
99.92	o 13430
99.92	c 1602
100.02	o 13437
100.02	c 1595
100.16	o 13440
100.16	c 1592
100.40	o 13442
100.40	c 1590
100.51	o 13446
100.51	c 1586
100.56	o 13448
100.56	c 1584
100.67	o 13449
100.67	c 1583
101.41	o 13450
101.41	c 1582
101.80	o 13451
101.80	c 1581
101.90	o 13458
101.90	c 1574
101.97	o 13463
101.97	c 1569
102.17	o 13464
102.17	c 1568
102.28	o 13465
102.28	c 1567
102.40	o 13467
102.40	c 1565
102.59	o 13470
102.59	c 1562
102.70	o 13471
102.70	c 1561
102.80	o 13472
102.80	c 1560
103.02	o 13473
103.02	c 1559
103.21	o 13474
103.21	c 1558
103.70	o 13476
103.70	c 1556
103.89	o 13478
103.89	c 1554
103.98	o 13483
103.98	c 1549
104.08	o 13491
104.08	c 1541
104.38	o 13494
104.38	c 1538
104.93	o 13497
104.93	c 1535
105.54	o 13498
105.54	c 1534
105.95	o 13500
105.95	c 1532
106.04	o 13503
106.04	c 1529
106.15	o 13504
106.15	c 1528
106.44	o 13505
106.44	c 1527
106.52	o 13509
106.52	c 1523
106.62	o 13512
106.62	c 1520
106.70	o 13514
106.70	c 1518
106.78	o 13515
106.78	c 1517
107.36	o 13518
107.36	c 1514
108.65	o 13519
108.65	c 1513
108.97	o 13523
108.97	c 1509
109.08	o 13526
109.08	c 1506
109.48	o 13528
109.48	c 1504
109.61	o 13531
109.61	c 1501
109.70	o 13533
109.70	c 1499
110.13	o 13534
110.13	c 1498
110.48	o 13537
110.48	c 1495
110.71	o 13539
110.71	c 1493
110.83	o 13542
110.83	c 1490
110.95	o 13548
110.95	c 1484
111.06	o 13550
111.06	c 1482
111.19	o 13551
111.19	c 1481
111.30	o 13555
111.30	c 1477
112.28	o 13556
112.28	c 1476
112.53	o 13559
112.53	c 1473
112.66	o 13561
112.66	c 1471
112.79	o 13564
112.79	c 1468
113.30	o 13570
113.30	c 1462
113.55	o 13574
113.55	c 1458
113.67	o 13575
113.67	c 1457
113.92	o 13578
113.92	c 1454
115.96	o 13581
115.96	c 1451
116.09	o 13583
116.09	c 1449
116.22	o 13584
116.22	c 1448
116.35	o 13585
116.35	c 1447
116.48	o 13589
116.48	c 1443
116.75	o 13592
116.75	c 1440
116.88	o 13596
116.88	c 1436
117.14	o 13598
117.14	c 1434
117.52	o 13599
117.52	c 1433
117.65	o 13600
117.65	c 1432
118.60	o 13601
118.60	c 1431
118.73	o 13604
118.73	c 1428
118.87	o 13605
118.87	c 1427
118.99	o 13606
118.99	c 1426
119.14	o 13609
119.14	c 1423
119.26	o 13611
119.26	c 1421
119.39	o 13614
119.39	c 1418
119.74	o 13616
119.74	c 1416
119.87	o 13618
119.87	c 1414
120.31	o 13619
120.31	c 1413
120.54	o 13620
120.54	c 1412
120.64	o 13623
120.64	c 1409
120.87	o 13624
120.87	c 1408
121.20	o 13626
121.20	c 1406
121.32	o 13629
121.32	c 1403
121.70	o 13632
121.70	c 1400
121.73	o 13634
121.73	c 1398
121.86	o 13639
121.86	c 1393
121.98	o 13642
121.98	c 1390
122.35	o 13645
122.35	c 1387
122.84	o 13648
122.84	c 1384
123.20	o 13649
123.20	c 1383
123.55	o 13650
123.55	c 1382
124.13	o 13652
124.13	c 1380
124.39	o 13654
124.39	c 1378
124.63	o 13655
124.63	c 1377
124.89	o 13656
124.89	c 1376
125.02	o 13660
125.02	c 1372
125.16	o 13661
125.16	c 1371
125.28	o 13663
125.28	c 1369
125.41	o 13665
125.41	c 1367
125.54	o 13670
125.54	c 1362
125.74	o 13677
125.74	c 1355
126.11	o 13679
126.11	c 1353
126.24	o 13680
126.24	c 1352
126.36	o 13684
126.36	c 1348
126.71	o 13686
126.71	c 1346
127.08	o 13687
127.08	c 1345
127.19	o 13690
127.19	c 1342
127.58	o 13691
127.58	c 1341
127.71	o 13692
127.71	c 1340
128.17	o 13693
128.17	c 1339
128.29	o 13695
128.29	c 1337
129.09	o 13697
129.09	c 1335
130.76	o 13699
130.76	c 1333
131.00	o 13702
131.00	c 1330
131.45	o 13704
131.45	c 1328
131.57	o 13705
131.57	c 1327
131.69	o 13706
131.69	c 1326
131.82	o 13707
131.82	c 1325
132.30	o 13709
132.30	c 1323
132.55	o 13711
132.55	c 1321
132.67	o 13712
132.67	c 1320
132.80	o 13716
132.80	c 1316
133.42	o 13718
133.42	c 1314
133.55	o 13719
133.55	c 1313
133.69	o 13721
133.69	c 1311
133.79	o 13726
133.79	c 1306
134.42	o 13727
134.42	c 1305
134.80	o 13728
134.80	c 1304
135.04	o 13729
135.04	c 1303
135.17	o 13730
135.17	c 1302
135.43	o 13734
135.43	c 1298
135.92	o 13737
135.92	c 1295
136.04	o 13738
136.04	c 1294
136.15	o 13739
136.15	c 1293
136.29	o 13740
136.29	c 1292
136.41	o 13744
136.41	c 1288
136.53	o 13746
136.53	c 1286
136.66	o 13747
136.66	c 1285
136.79	o 13749
136.79	c 1283
137.31	o 13751
137.31	c 1281
137.44	o 13753
137.44	c 1279
137.58	o 13755
137.58	c 1277
140.09	o 13756
140.09	c 1276
140.30	o 13757
140.30	c 1275
142.92	o 13759
142.92	c 1273
143.08	o 13762
143.08	c 1270
143.73	o 13764
143.73	c 1268
144.08	o 13767
144.08	c 1265
144.42	o 13768
144.42	c 1264
144.60	o 13771
144.60	c 1261
144.79	o 13774
144.79	c 1258
144.97	o 13775
144.97	c 1257
145.13	o 13777
145.13	c 1255
145.19	o 13779
145.19	c 1253
146.38	o 13780
146.38	c 1252
146.55	o 13784
146.55	c 1248
146.73	o 13788
146.73	c 1244
146.88	o 13789
146.88	c 1243
147.06	o 13791
147.06	c 1241
147.33	o 13792
147.33	c 1240
147.49	o 13794
147.49	c 1238
147.77	o 13799
147.77	c 1233
147.93	o 13802
147.93	c 1230
148.09	o 13804
148.09	c 1228
149.13	o 13805
149.13	c 1227
149.40	o 13807
149.40	c 1225
149.58	o 13808
149.58	c 1224
149.75	o 13810
149.75	c 1222
149.93	o 13812
149.93	c 1220
150.46	o 13813
150.46	c 1219
150.63	o 13814
150.63	c 1218
151.18	o 13816
151.18	c 1216
153.96	o 13819
153.96	c 1213
154.42	o 13822
154.42	c 1210
154.56	o 13826
154.56	c 1206
154.68	o 13828
154.68	c 1204
154.85	o 13830
154.85	c 1202
155.20	o 13831
155.20	c 1201
155.37	o 13835
155.37	c 1197
155.55	o 13840
155.55	c 1192
155.90	o 13843
155.90	c 1189
156.84	o 13844
156.84	c 1188
157.42	o 13846
157.42	c 1186
157.80	o 13851
157.80	c 1181
158.18	o 13853
158.18	c 1179
158.55	o 13855
158.55	c 1177
158.70	o 13857
158.70	c 1175
158.88	o 13858
158.88	c 1174
159.07	o 13862
159.07	c 1170
159.25	o 13863
159.25	c 1169
159.62	o 13867
159.62	c 1165
159.82	o 13868
159.82	c 1164
159.99	o 13872
159.99	c 1160
161.02	o 13874
161.02	c 1158
161.20	o 13876
161.20	c 1156
162.12	o 13877
162.12	c 1155
162.31	o 13879
162.31	c 1153
162.83	o 13880
162.83	c 1152
163.03	o 13881
163.03	c 1151
163.21	o 13883
163.21	c 1149
163.40	o 13885
163.40	c 1147
163.59	o 13886
163.59	c 1146
164.70	o 13887
164.70	c 1145
164.87	o 13889
164.87	c 1143
165.06	o 13890
165.06	c 1142
165.55	o 13893
165.55	c 1139
165.73	o 13896
165.73	c 1136
166.79	o 13897
166.79	c 1135
167.18	o 13898
167.18	c 1134
167.37	o 13900
167.37	c 1132
170.02	o 13901
170.02	c 1131
170.49	o 13902
170.49	c 1130
170.67	o 13904
170.67	c 1128
170.73	o 13906
170.73	c 1126
170.79	o 13908
170.79	c 1124
170.92	o 13909
170.92	c 1123
171.08	o 13910
171.08	c 1122
171.41	o 13912
171.41	c 1120
171.79	o 13913
171.79	c 1119
171.94	o 13916
171.94	c 1116
172.11	o 13917
172.11	c 1115
172.26	o 13919
172.26	c 1113
172.41	o 13920
172.41	c 1112
173.62	o 13921
173.62	c 1111
174.06	o 13923
174.06	c 1109
174.20	o 13925
174.20	c 1107
174.83	o 13927
174.83	c 1105
174.98	o 13930
174.98	c 1102
175.13	o 13933
175.13	c 1099
175.87	o 13937
175.87	c 1095
175.94	o 13940
175.94	c 1092
176.08	o 13942
176.08	c 1090
176.59	o 13943
176.59	c 1089
176.91	o 13944
176.91	c 1088
177.55	o 13945
177.55	c 1087
177.72	o 13946
177.72	c 1086
179.55	o 13949
179.55	c 1083
180.60	o 13951
180.60	c 1081
180.78	o 13952
180.78	c 1080
180.96	o 13953
180.96	c 1079
181.14	o 13955
181.14	c 1077
181.32	o 13958
181.32	c 1074
183.63	o 13960
183.63	c 1072
183.78	o 13961
183.78	c 1071
185.94	o 13963
185.94	c 1069
188.61	o 13965
188.61	c 1067
188.81	o 13967
188.81	c 1065
189.00	o 13971
189.00	c 1061
189.21	o 13976
189.21	c 1056
190.57	o 13979
190.57	c 1053
191.12	o 13980
191.13	c 1052
191.32	o 13982
191.32	c 1050
191.52	o 13983
191.52	c 1049
192.11	o 13984
192.11	c 1048
192.30	o 13985
192.30	c 1047
192.52	o 13986
192.52	c 1046
192.68	o 13990
192.68	c 1042
192.77	o 13992
192.77	c 1040
193.81	o 13993
193.81	c 1039
194.42	o 13994
194.42	c 1038
194.48	o 13997
194.48	c 1035
194.64	o 13999
194.64	c 1033
196.37	o 14001
196.37	c 1031
196.60	o 14002
196.60	c 1030
197.25	o 14004
197.25	c 1028
197.59	o 14008
197.59	c 1024
197.80	o 14009
197.80	c 1023
198.01	o 14010
198.01	c 1022
198.14	o 14011
198.14	c 1021
198.35	o 14012
198.35	c 1020
198.55	o 14014
198.55	c 1018
198.97	o 14021
198.97	c 1011
199.11	o 14023
199.11	c 1009
199.33	o 14026
199.33	c 1006
199.84	o 14028
199.84	c 1004
200.04	o 14030
200.04	c 1002
200.68	o 14033
200.68	c 999
200.83	o 14034
200.83	c 998
201.24	o 14035
201.24	c 997
201.66	o 14036
201.66	c 996
201.87	o 14037
201.87	c 995
203.49	o 14038
203.49	c 994
204.13	o 14039
204.13	c 993
206.00	o 14043
206.00	c 989
208.80	o 14045
208.80	c 987
209.00	o 14047
209.00	c 985
209.42	o 14049
209.42	c 983
209.82	o 14050
209.82	c 982
210.41	o 14058
210.41	c 974
210.61	o 14059
210.61	c 973
210.74	o 14060
210.74	c 972
211.30	o 14061
211.30	c 971
211.69	o 14063
211.69	c 969
213.34	o 14064
213.34	c 968
214.26	o 14065
214.26	c 967
214.99	o 14066
214.99	c 966
215.04	o 14069
215.04	c 963
218.16	o 14070
218.16	c 962
219.10	o 14072
219.10	c 960
219.28	o 14076
219.28	c 956
219.42	o 14078
219.42	c 954
219.49	o 14080
219.49	c 952
219.67	o 14081
219.67	c 951
219.85	o 14082
219.85	c 950
220.03	o 14086
220.03	c 946
221.29	o 14088
221.29	c 944
222.00	o 14090
222.00	c 942
222.12	o 14092
222.12	c 940
222.30	o 14095
222.30	c 937
222.48	o 14097
222.48	c 935
222.67	o 14101
222.67	c 931
223.42	o 14103
223.42	c 929
223.62	o 14104
223.62	c 928
223.81	o 14106
223.81	c 926
224.01	o 14107
224.01	c 925
224.21	o 14108
224.21	c 924
225.96	o 14109
225.96	c 923
226.15	o 14111
226.15	c 921
226.53	o 14112
226.53	c 920
226.71	o 14113
226.71	c 919
227.10	o 14114
227.10	c 918
227.24	o 14115
227.24	c 917
227.99	o 14116
227.99	c 916
228.57	o 14117
228.57	c 915
228.75	o 14118
228.76	c 914
228.94	o 14119
228.94	c 913
229.14	o 14120
229.14	c 912
231.11	o 14123
231.11	c 909
231.84	o 14125
231.84	c 907
232.85	o 14126
232.85	c 906
233.06	o 14127
233.06	c 905
234.03	o 14129
234.03	c 903
234.26	o 14130
234.26	c 902
234.43	o 14131
234.43	c 901
234.81	o 14132
234.81	c 900
236.64	o 14133
236.64	c 899
236.79	o 14139
236.79	c 893
237.39	o 14143
237.39	c 889
237.59	o 14144
237.59	c 888
238.01	o 14146
238.01	c 886
238.31	o 14149
238.31	c 883
238.72	o 14150
238.72	c 882
238.92	o 14152
238.92	c 880
239.12	o 14153
239.12	c 879
239.32	o 14154
239.32	c 878
242.58	o 14157
242.58	c 875
243.56	o 14159
243.56	c 873
243.61	o 14164
243.61	c 868
243.79	o 14167
243.79	c 865
243.94	o 14171
243.94	c 861
244.31	o 14173
244.31	c 859
244.49	o 14176
244.49	c 856
244.88	o 14177
244.88	c 855
245.08	o 14178
245.08	c 854
245.28	o 14179
245.28	c 853
245.49	o 14180
245.49	c 852
245.69	o 14181
245.69	c 851
245.90	o 14182
245.90	c 850
246.09	o 14184
246.09	c 848
247.38	o 14185
247.38	c 847
251.03	o 14186
251.03	c 846
251.24	o 14189
251.24	c 843
251.44	o 14192
251.44	c 840
251.58	o 14195
251.58	c 837
252.00	o 14196
252.00	c 836
258.88	o 14199
258.88	c 833
259.56	o 14200
259.56	c 832
259.80	o 14201
259.80	c 831
264.45	o 14204
264.45	c 828
264.67	o 14206
264.67	c 826
264.91	o 14210
264.91	c 822
265.59	o 14212
265.59	c 820
265.80	o 14213
265.80	c 819
269.62	o 14214
269.62	c 818
270.60	o 14215
270.60	c 817
270.83	o 14219
270.83	c 813
272.70	o 14220
272.70	c 812
273.42	o 14221
273.42	c 811
273.66	o 14223
273.66	c 809
275.33	o 14225
275.33	c 807
277.30	o 14227
277.30	c 805
278.01	o 14228
278.01	c 804
278.26	o 14230
278.26	c 802
278.65	o 14231
278.65	c 801
279.03	o 14236
279.03	c 796
279.20	o 14239
279.20	c 793
279.63	o 14240
279.63	c 792
279.85	o 14241
279.85	c 791
280.78	o 14242
280.78	c 790
281.01	o 14245
281.01	c 787
281.41	o 14248
281.41	c 784
281.64	o 14249
281.64	c 783
282.10	o 14252
282.10	c 780
282.32	o 14254
282.32	c 778
282.51	o 14256
282.51	c 776
283.15	o 14257
283.15	c 775
283.38	o 14258
283.38	c 774
284.77	o 14259
284.77	c 773
284.97	o 14261
284.97	c 771
285.44	o 14264
285.44	c 768
285.66	o 14266
285.66	c 766
287.72	o 14268
287.72	c 764
287.96	o 14270
287.96	c 762
288.20	o 14271
288.20	c 761
288.44	o 14272
288.44	c 760
288.68	o 14274
288.68	c 758
288.92	o 14275
288.92	c 757
289.39	o 14276
289.39	c 756
290.09	o 14278
290.09	c 754
299.62	o 14280
299.62	c 752
299.84	o 14281
299.84	c 751
300.08	o 14283
300.08	c 749
300.32	o 14284
300.32	c 748
300.58	o 14286
300.58	c 746
301.06	o 14288
301.06	c 744
306.05	o 14289
306.05	c 743
313.27	o 14290
313.27	c 742
313.50	o 14292
313.50	c 740
314.24	o 14293
314.24	c 739
314.48	o 14295
314.48	c 737
318.78	o 14296
318.78	c 736
319.01	o 14297
319.01	c 735
319.50	o 14298
319.50	c 734
320.44	o 14299
320.44	c 733
324.08	o 14300
324.08	c 732
324.72	o 14302
324.72	c 730
325.23	o 14303
325.23	c 729
325.74	o 14304
325.74	c 728
325.98	o 14307
325.98	c 725
326.48	o 14308
326.48	c 724
326.72	o 14310
326.72	c 722
327.09	o 14312
327.09	c 720
327.85	o 14316
327.85	c 716
327.99	o 14317
327.99	c 715
328.51	o 14319
328.51	c 713
328.74	o 14321
328.74	c 711
328.98	o 14322
328.98	c 710
329.29	o 14323
329.29	c 709
329.72	o 14324
329.72	c 708
329.90	o 14325
329.90	c 707
332.17	o 14326
332.17	c 706
332.42	o 14327
332.42	c 705
332.67	o 14328
332.67	c 704
332.92	o 14329
332.92	c 703
333.18	o 14330
333.18	c 702
333.42	o 14331
333.42	c 701
333.92	o 14333
333.92	c 699
336.01	o 14335
336.01	c 697
342.06	o 14336
342.06	c 696
342.85	o 14337
342.85	c 695
343.11	o 14338
343.11	c 694
343.31	o 14340
343.31	c 692
343.56	o 14342
343.56	c 690
343.83	o 14347
343.83	c 685
343.94	o 14349
343.94	c 683
344.21	o 14351
344.21	c 681
344.44	o 14353
344.44	c 679
344.97	o 14354
344.97	c 678
345.24	o 14357
345.24	c 675
346.00	o 14358
346.00	c 674
346.26	o 14359
346.26	c 673
346.53	o 14361
346.53	c 671
348.60	o 14364
348.60	c 668
349.56	o 14365
349.56	c 667
349.74	o 14368
349.74	c 664
349.89	o 14371
349.89	c 661
350.90	o 14373
350.90	c 659
351.45	o 14375
351.45	c 657
351.60	o 14378
351.60	c 654
355.53	o 14381
355.53	c 651
355.61	o 14383
355.61	c 649
355.84	o 14384
355.84	c 648
356.44	o 14387
356.44	c 645
356.69	o 14388
356.69	c 644
357.73	o 14389
357.73	c 643
357.98	o 14391
357.98	c 641
358.72	o 14393
358.72	c 639
358.97	o 14394
358.97	c 638
359.23	o 14395
359.23	c 637
359.75	o 14397
359.75	c 635
361.61	o 14399
361.61	c 633
363.99	o 14400
363.99	c 632
364.23	o 14402
364.23	c 630
365.65	o 14404
365.65	c 628
368.52	o 14406
368.52	c 626
368.77	o 14409
368.77	c 623
369.02	o 14410
369.02	c 622
369.30	o 14411
369.30	c 621
369.57	o 14413
369.57	c 619
369.83	o 14415
369.83	c 617
371.85	o 14417
371.85	c 615
372.10	o 14419
372.10	c 613
372.35	o 14420
372.35	c 612
372.53	o 14421
372.53	c 611
381.37	o 14422
381.37	c 610
381.85	o 14423
381.85	c 609
382.53	o 14426
382.53	c 606
382.78	o 14427
382.78	c 605
383.37	o 14429
383.37	c 603
383.47	o 14432
383.47	c 600
384.11	o 14433
384.11	c 599
384.27	o 14434
384.27	c 598
384.72	o 14435
384.72	c 597
384.94	o 14436
384.94	c 596
385.58	o 14439
385.58	c 593
386.24	o 14441
386.24	c 591
387.42	o 14442
387.42	c 590
387.64	o 14445
387.64	c 587
388.14	o 14446
388.14	c 586
388.58	o 14448
388.58	c 584
394.47	o 14449
394.47	c 583
394.70	o 14450
394.70	c 582
395.11	o 14451
395.11	c 581
396.98	o 14453
396.98	c 579
397.30	o 14454
397.30	c 578
398.09	o 14455
398.09	c 577
398.30	o 14456
398.30	c 576
398.72	o 14458
398.72	c 574
399.13	o 14459
399.13	c 573
402.50	o 14466
402.50	c 566
402.71	o 14467
402.71	c 565
403.13	o 14468
403.13	c 564
403.35	o 14469
403.35	c 563
404.23	o 14470
404.23	c 562
408.53	o 14473
408.53	c 559
408.76	o 14474
408.76	c 558
408.99	o 14475
408.99	c 557
409.66	o 14477
409.66	c 555
409.87	o 14478
409.87	c 554
415.59	o 14480
415.59	c 552
415.83	o 14481
415.83	c 551
416.21	o 14483
416.21	c 549
416.45	o 14486
416.45	c 546
416.70	o 14487
416.70	c 545
422.07	o 14488
422.07	c 544
422.61	o 14489
422.61	c 543
422.87	o 14491
422.87	c 541
426.11	o 14492
426.11	c 540
426.65	o 14493
426.65	c 539
427.20	o 14494
427.20	c 538
427.76	o 14495
427.76	c 537
433.55	o 14496
433.55	c 536
433.78	o 14497
433.78	c 535
435.45	o 14499
435.45	c 533
436.00	o 14501
436.00	c 531
436.28	o 14502
436.28	c 530
438.46	o 14503
438.46	c 529
438.70	o 14504
438.70	c 528
439.43	o 14505
439.43	c 527
439.66	o 14506
439.66	c 526
439.94	o 14509
439.94	c 523
440.20	o 14511
440.20	c 521
440.34	o 14513
440.34	c 519
440.54	o 14514
440.54	c 518
440.80	o 14515
440.80	c 517
441.81	o 14518
441.81	c 514
442.24	o 14519
442.24	c 513
442.51	o 14520
442.51	c 512
443.20	o 14522
443.20	c 510
443.73	o 14523
443.73	c 509
444.00	o 14524
444.00	c 508
444.36	o 14525
444.36	c 507
444.64	o 14527
444.64	c 505
445.65	o 14528
445.65	c 504
445.91	o 14532
445.91	c 500
446.04	o 14534
446.04	c 498
446.58	o 14535
446.58	c 497
446.96	o 14537
446.96	c 495
447.24	o 14538
447.24	c 494
447.51	o 14539
447.51	c 493
448.00	o 14540
448.00	c 492
449.51	o 14543
449.51	c 489
450.12	o 14545
450.12	c 487
451.13	o 14549
451.13	c 483
451.35	o 14550
451.35	c 482
451.55	o 14552
451.55	c 480
454.04	o 14553
454.04	c 479
454.30	o 14556
454.30	c 476
454.58	o 14557
454.58	c 475
454.74	o 14559
454.74	c 473
458.21	o 14560
458.21	c 472
458.46	o 14561
458.46	c 471
458.72	o 14562
458.72	c 470
458.93	o 14563
458.93	c 469
465.99	o 14565
465.99	c 467
496.44	   
496.44	   search
496.44	     run=0  nbConstraintChecks=1272170761  nbAssignments=2733
496.44	       =>  wckTime=433.795  cpuTime=429.67  mem=48M273
496.44	   
496.44	   global
496.44	     nbConstraintChecks=1272170761  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
496.44	     solvingWckTime=433.784  solvingCpuTime=429.66  expiredTime=no  totalExploration=no  nbFoundSolutions=0
496.44	     globalCpuTime=490.63
496.44	       =>  wckTime=496.131  cpuTime=490.58  mem=48M273
496.45	   
496.45	   solver IterativeSystematicSolver being built... 
496.92	       =>  wckTime=496.61  cpuTime=490.89  mem=91M74
1772.12	   
1772.12	   preprocessing
1772.12	     nbConstraintChecks=1176601602  nbValidityChecks=7345081807  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1772.12	     nbRemovedValues=0  detectedInconsistency=no
1772.12	       =>  wckTime=1275.193  cpuTime=1272.22  mem=91M74
2411.08	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/node5/watcher-275288-1169219500 -o ROOT/results/node5/solver-275288-1169219500 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275288-1169219500/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.02 2.01 1.96 4/93 11486
/proc/meminfo: memFree=1053440/2055920 swapFree=4192812/4192956
[pid=11485] ppid=11483 vsize=11868 CPUtime=0
/proc/11485/stat : 11485 (java) D 11483 11485 10571 0 -1 0 765 0 1 0 0 0 0 0 17 0 1 0 250564466 12152832 515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7893796 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/11485/statm: 2967 515 425 14 0 1602 0

[startup+0.104237 s]
/proc/loadavg: 2.02 2.01 1.96 4/93 11486
/proc/meminfo: memFree=1053440/2055920 swapFree=4192812/4192956
[pid=11485] ppid=11483 vsize=914988 CPUtime=0.09
/proc/11485/stat : 11485 (java) R 11483 11485 10571 0 -1 0 2995 0 1 0 7 2 0 0 17 0 8 0 250564466 936947712 2741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072924296 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11485/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.512814 s]
/proc/loadavg: 2.02 2.01 1.96 4/93 11486
/proc/meminfo: memFree=1053440/2055920 swapFree=4192812/4192956
[pid=11485] ppid=11483 vsize=915332 CPUtime=0.48
/proc/11485/stat : 11485 (java) R 11483 11485 10571 0 -1 0 7228 0 1 0 43 5 0 0 18 0 8 0 250564466 937299968 6967 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073598582 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11485/statm: 228833 6967 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33438 s]
/proc/loadavg: 2.02 2.01 1.96 3/100 11493
/proc/meminfo: memFree=986440/2055920 swapFree=4192812/4192956
[pid=11485] ppid=11483 vsize=915636 CPUtime=1.3
/proc/11485/stat : 11485 (java) R 11483 11485 10571 0 -1 0 21086 0 1 0 118 12 0 0 25 0 8 0 250564466 937611264 20823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155841031 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11485/statm: 228909 20823 2184 14 0 215379 0
[pid=11485/tid=11487] ppid=11483 vsize=915636 CPUtime=0.06
/proc/11485/task/11487/stat : 11487 (java) S 11483 11485 10571 0 -1 64 4474 0 0 0 5 1 0 0 16 0 8 0 250564470 937611264 20823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11488] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11488/stat : 11488 (java) S 11483 11485 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250564470 937611264 20823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11489] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11489/stat : 11489 (java) S 11483 11485 10571 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 250564470 937611264 20823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11490] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11490/stat : 11490 (java) S 11483 11485 10571 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 250564474 937611264 20823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11491] ppid=11483 vsize=915636 CPUtime=0.15
/proc/11485/task/11491/stat : 11491 (java) S 11483 11485 10571 0 -1 64 398 0 0 0 14 1 0 0 16 0 8 0 250564474 937611264 20823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11492] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11492/stat : 11492 (java) S 11483 11485 10571 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 250564474 937611264 20823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11493] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11493/stat : 11493 (java) S 11483 11485 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250564474 937611264 20823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915636

[startup+2.97156 s]
/proc/loadavg: 2.02 2.01 1.96 3/100 11493
/proc/meminfo: memFree=978504/2055920 swapFree=4192812/4192956
[pid=11485] ppid=11483 vsize=915636 CPUtime=2.92
/proc/11485/stat : 11485 (java) R 11483 11485 10571 0 -1 0 21099 0 1 0 280 12 0 0 25 0 8 0 250564466 937611264 20835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800297 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11485/statm: 228909 20835 2184 14 0 215379 0
[pid=11485/tid=11487] ppid=11483 vsize=915636 CPUtime=0.06
/proc/11485/task/11487/stat : 11487 (java) S 11483 11485 10571 0 -1 64 4474 0 0 0 5 1 0 0 17 0 8 0 250564470 937611264 20835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11488] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11488/stat : 11488 (java) S 11483 11485 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250564470 937611264 20835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11489] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11489/stat : 11489 (java) S 11483 11485 10571 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 250564470 937611264 20835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11490] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11490/stat : 11490 (java) S 11483 11485 10571 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 250564474 937611264 20835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11491] ppid=11483 vsize=915636 CPUtime=0.17
/proc/11485/task/11491/stat : 11491 (java) S 11483 11485 10571 0 -1 64 407 0 0 0 16 1 0 0 16 0 8 0 250564474 937611264 20835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11492] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11492/stat : 11492 (java) S 11483 11485 10571 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 250564474 937611264 20835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11493] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11493/stat : 11493 (java) S 11483 11485 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250564474 937611264 20835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915636

[startup+6.1733 s]
/proc/loadavg: 2.02 2.01 1.96 3/100 11493
/proc/meminfo: memFree=978312/2055920 swapFree=4192812/4192956
[pid=11485] ppid=11483 vsize=915636 CPUtime=6.09
/proc/11485/stat : 11485 (java) R 11483 11485 10571 0 -1 0 21116 0 1 0 596 13 0 0 25 0 8 0 250564466 937611264 20852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794085 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11485/statm: 228909 20852 2185 14 0 215379 0
[pid=11485/tid=11487] ppid=11483 vsize=915636 CPUtime=0.06
/proc/11485/task/11487/stat : 11487 (java) S 11483 11485 10571 0 -1 64 4474 0 0 0 5 1 0 0 16 0 8 0 250564470 937611264 20852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11488] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11488/stat : 11488 (java) S 11483 11485 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250564470 937611264 20852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11489] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11489/stat : 11489 (java) S 11483 11485 10571 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 250564470 937611264 20852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11490] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11490/stat : 11490 (java) S 11483 11485 10571 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 250564474 937611264 20852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11491] ppid=11483 vsize=915636 CPUtime=0.2
/proc/11485/task/11491/stat : 11491 (java) S 11483 11485 10571 0 -1 64 423 0 0 0 19 1 0 0 16 0 8 0 250564474 937611264 20852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11492] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11492/stat : 11492 (java) S 11483 11485 10571 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 250564474 937611264 20852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11493] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11493/stat : 11493 (java) S 11483 11485 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250564474 937611264 20852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915636

[startup+12.6437 s]
/proc/loadavg: 2.01 2.01 1.96 3/100 11493
/proc/meminfo: memFree=978384/2055920 swapFree=4192812/4192956
[pid=11485] ppid=11483 vsize=915636 CPUtime=12.51
/proc/11485/stat : 11485 (java) R 11483 11485 10571 0 -1 0 21119 0 1 0 1235 16 0 0 25 0 8 0 250564466 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793808 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11485/statm: 228909 20854 2185 14 0 215379 0
[pid=11485/tid=11487] ppid=11483 vsize=915636 CPUtime=0.06
/proc/11485/task/11487/stat : 11487 (java) S 11483 11485 10571 0 -1 64 4474 0 0 0 5 1 0 0 16 0 8 0 250564470 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11488] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11488/stat : 11488 (java) S 11483 11485 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250564470 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11489] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11489/stat : 11489 (java) S 11483 11485 10571 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 250564470 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11490] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11490/stat : 11490 (java) S 11483 11485 10571 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 250564474 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11491] ppid=11483 vsize=915636 CPUtime=0.2
/proc/11485/task/11491/stat : 11491 (java) S 11483 11485 10571 0 -1 64 425 0 0 0 19 1 0 0 16 0 8 0 250564474 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11492] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11492/stat : 11492 (java) S 11483 11485 10571 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 250564474 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11493] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11493/stat : 11493 (java) S 11483 11485 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250564474 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915636

[startup+25.5155 s]
/proc/loadavg: 2.01 2.01 1.96 3/100 11493
/proc/meminfo: memFree=975952/2055920 swapFree=4192812/4192956
[pid=11485] ppid=11483 vsize=915636 CPUtime=25.25
/proc/11485/stat : 11485 (java) R 11483 11485 10571 0 -1 0 21750 0 1 0 2507 18 0 0 25 0 8 0 250564466 937611264 21483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794038 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11485/statm: 228909 21483 2185 14 0 215379 0
[pid=11485/tid=11487] ppid=11483 vsize=915636 CPUtime=0.12
/proc/11485/task/11487/stat : 11487 (java) S 11483 11485 10571 0 -1 64 5098 0 0 0 11 1 0 0 16 0 8 0 250564470 937611264 21483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11488] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11488/stat : 11488 (java) S 11483 11485 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250564470 937611264 21483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11489] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11489/stat : 11489 (java) S 11483 11485 10571 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 250564470 937611264 21483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11490] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11490/stat : 11490 (java) S 11483 11485 10571 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 250564474 937611264 21483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11491] ppid=11483 vsize=915636 CPUtime=0.21
/proc/11485/task/11491/stat : 11491 (java) S 11483 11485 10571 0 -1 64 430 0 0 0 20 1 0 0 16 0 8 0 250564474 937611264 21483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11492] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11492/stat : 11492 (java) S 11483 11485 10571 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 250564474 937611264 21483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11493] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11493/stat : 11493 (java) S 11483 11485 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250564474 937611264 21483 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 915636

[startup+51.131 s]
/proc/loadavg: 2.01 2.00 1.96 3/100 11493
/proc/meminfo: memFree=963856/2055920 swapFree=4192812/4192956
[pid=11485] ppid=11483 vsize=915636 CPUtime=50.65
/proc/11485/stat : 11485 (java) R 11483 11485 10571 0 -1 0 24798 0 1 0 5035 30 0 0 25 0 8 0 250564466 937611264 24529 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794085 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11485/statm: 228909 24529 2185 14 0 215379 0
[pid=11485/tid=11487] ppid=11483 vsize=915636 CPUtime=0.23
/proc/11485/task/11487/stat : 11487 (java) S 11483 11485 10571 0 -1 64 8135 0 0 0 21 2 0 0 16 0 8 0 250564470 937611264 24529 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11488] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11488/stat : 11488 (java) S 11483 11485 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250564470 937611264 24529 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11489] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11489/stat : 11489 (java) S 11483 11485 10571 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 250564470 937611264 24529 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11490] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11490/stat : 11490 (java) S 11483 11485 10571 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 250564474 937611264 24529 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11491] ppid=11483 vsize=915636 CPUtime=0.22
/proc/11485/task/11491/stat : 11491 (java) S 11483 11485 10571 0 -1 64 439 0 0 0 21 1 0 0 15 0 8 0 250564474 937611264 24529 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11492] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11492/stat : 11492 (java) S 11483 11485 10571 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 250564474 937611264 24529 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11493] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11493/stat : 11493 (java) S 11483 11485 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250564474 937611264 24529 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 915636

[startup+102.382 s]
/proc/loadavg: 2.07 2.02 1.96 3/100 11493
/proc/meminfo: memFree=942928/2055920 swapFree=4192812/4192956
[pid=11485] ppid=11483 vsize=915636 CPUtime=101.36
/proc/11485/stat : 11485 (java) R 11483 11485 10571 0 -1 0 30341 0 1 0 10093 43 0 0 25 0 8 0 250564466 937611264 30066 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073985279 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11485/statm: 228909 30066 2504 14 0 215379 0
[pid=11485/tid=11487] ppid=11483 vsize=915636 CPUtime=0.62
/proc/11485/task/11487/stat : 11487 (java) S 11483 11485 10571 0 -1 64 13299 0 0 0 58 4 0 0 16 0 8 0 250564470 937611264 30066 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11488] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11488/stat : 11488 (java) S 11483 11485 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250564470 937611264 30066 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11489] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11489/stat : 11489 (java) S 11483 11485 10571 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 250564470 937611264 30066 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11490] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11490/stat : 11490 (java) S 11483 11485 10571 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 250564474 937611264 30066 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11491] ppid=11483 vsize=915636 CPUtime=0.29
/proc/11485/task/11491/stat : 11491 (java) S 11483 11485 10571 0 -1 64 467 0 0 0 28 1 0 0 16 0 8 0 250564474 937611264 30066 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11492] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11492/stat : 11492 (java) S 11483 11485 10571 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 250564474 937611264 30066 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11493] ppid=11483 vsize=915636 CPUtime=0
/proc/11485/task/11493/stat : 11493 (java) R 11483 11485 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250564474 937611264 30066 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.36
Current children cumulated vsize (KiB) 915636

[startup+162.385 s]
/proc/loadavg: 2.03 2.01 1.96 3/100 11493
/proc/meminfo: memFree=942928/2055920 swapFree=4192812/4192956
[pid=11485] ppid=11483 vsize=915636 CPUtime=160.8
/proc/11485/stat : 11485 (java) R 11483 11485 10571 0 -1 0 30341 0 1 0 16031 49 0 0 25 0 8 0 250564466 937611264 30066 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073980198 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2084.11 s]
/proc/loadavg: 1.99 2.00 2.00 3/94 11663
/proc/meminfo: memFree=1004472/2055920 swapFree=4192812/4192956
[pid=11485] ppid=11483 vsize=915744 CPUtime=2074.8
/proc/11485/stat : 11485 (java) R 11483 11485 10571 0 -1 0 39707 0 1 0 207395 85 0 0 25 0 8 0 250564466 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074250645 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11485/statm: 228936 39379 2553 14 0 215406 0
[pid=11485/tid=11487] ppid=11483 vsize=915744 CPUtime=0.73
/proc/11485/task/11487/stat : 11487 (java) S 11483 11485 10571 0 -1 64 22416 0 0 0 66 7 0 0 16 0 8 0 250564470 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11485/tid=11488] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11488/stat : 11488 (java) S 11483 11485 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250564470 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11489] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11489/stat : 11489 (java) S 11483 11485 10571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250564470 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11490] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11490/stat : 11490 (java) S 11483 11485 10571 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 250564474 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11491] ppid=11483 vsize=915744 CPUtime=0.42
/proc/11485/task/11491/stat : 11491 (java) S 11483 11485 10571 0 -1 64 605 0 0 0 40 2 0 0 17 0 8 0 250564474 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11485/tid=11492] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11492/stat : 11492 (java) S 11483 11485 10571 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 250564474 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11493] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11493/stat : 11493 (java) S 11483 11485 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250564474 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2074.8
Current children cumulated vsize (KiB) 915744

[startup+2144.17 s]
/proc/loadavg: 1.99 2.00 2.00 3/94 11663
/proc/meminfo: memFree=1004536/2055920 swapFree=4192812/4192956
[pid=11485] ppid=11483 vsize=915744 CPUtime=2134.53
/proc/11485/stat : 11485 (java) R 11483 11485 10571 0 -1 0 39707 0 1 0 213368 85 0 0 25 0 8 0 250564466 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074247652 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11485/statm: 228936 39379 2553 14 0 215406 0
[pid=11485/tid=11487] ppid=11483 vsize=915744 CPUtime=0.73
/proc/11485/task/11487/stat : 11487 (java) S 11483 11485 10571 0 -1 64 22416 0 0 0 66 7 0 0 16 0 8 0 250564470 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11485/tid=11488] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11488/stat : 11488 (java) S 11483 11485 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250564470 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11489] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11489/stat : 11489 (java) S 11483 11485 10571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250564470 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11490] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11490/stat : 11490 (java) S 11483 11485 10571 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 250564474 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11491] ppid=11483 vsize=915744 CPUtime=0.42
/proc/11485/task/11491/stat : 11491 (java) S 11483 11485 10571 0 -1 64 605 0 0 0 40 2 0 0 17 0 8 0 250564474 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11485/tid=11492] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11492/stat : 11492 (java) S 11483 11485 10571 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 250564474 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11493] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11493/stat : 11493 (java) S 11483 11485 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250564474 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2134.53
Current children cumulated vsize (KiB) 915744

[startup+2204.2 s]
/proc/loadavg: 1.99 2.00 2.00 3/94 11663
/proc/meminfo: memFree=1004472/2055920 swapFree=4192812/4192956
[pid=11485] ppid=11483 vsize=915744 CPUtime=2194.25
/proc/11485/stat : 11485 (java) R 11483 11485 10571 0 -1 0 39707 0 1 0 219340 85 0 0 25 0 8 0 250564466 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074247703 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11485/statm: 228936 39379 2553 14 0 215406 0
[pid=11485/tid=11487] ppid=11483 vsize=915744 CPUtime=0.73
/proc/11485/task/11487/stat : 11487 (java) S 11483 11485 10571 0 -1 64 22416 0 0 0 66 7 0 0 16 0 8 0 250564470 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11485/tid=11488] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11488/stat : 11488 (java) S 11483 11485 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250564470 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11489] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11489/stat : 11489 (java) S 11483 11485 10571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250564470 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11490] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11490/stat : 11490 (java) S 11483 11485 10571 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 250564474 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11491] ppid=11483 vsize=915744 CPUtime=0.42
/proc/11485/task/11491/stat : 11491 (java) S 11483 11485 10571 0 -1 64 605 0 0 0 40 2 0 0 17 0 8 0 250564474 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11485/tid=11492] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11492/stat : 11492 (java) S 11483 11485 10571 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 250564474 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11493] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11493/stat : 11493 (java) S 11483 11485 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250564474 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2194.25
Current children cumulated vsize (KiB) 915744

[startup+2264.24 s]
/proc/loadavg: 1.99 2.00 2.00 3/94 11663
/proc/meminfo: memFree=1004472/2055920 swapFree=4192812/4192956
[pid=11485] ppid=11483 vsize=915744 CPUtime=2253.96
/proc/11485/stat : 11485 (java) R 11483 11485 10571 0 -1 0 39707 0 1 0 225311 85 0 0 25 0 8 0 250564466 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074248359 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11485/statm: 228936 39379 2553 14 0 215406 0
[pid=11485/tid=11487] ppid=11483 vsize=915744 CPUtime=0.73
/proc/11485/task/11487/stat : 11487 (java) S 11483 11485 10571 0 -1 64 22416 0 0 0 66 7 0 0 16 0 8 0 250564470 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11485/tid=11488] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11488/stat : 11488 (java) S 11483 11485 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250564470 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11489] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11489/stat : 11489 (java) S 11483 11485 10571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250564470 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11490] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11490/stat : 11490 (java) S 11483 11485 10571 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 250564474 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11491] ppid=11483 vsize=915744 CPUtime=0.42
/proc/11485/task/11491/stat : 11491 (java) S 11483 11485 10571 0 -1 64 605 0 0 0 40 2 0 0 16 0 8 0 250564474 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11485/tid=11492] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11492/stat : 11492 (java) S 11483 11485 10571 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 250564474 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11493] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11493/stat : 11493 (java) S 11483 11485 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250564474 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2253.96
Current children cumulated vsize (KiB) 915744

[startup+2324.29 s]
/proc/loadavg: 2.09 2.03 2.01 3/94 11663
/proc/meminfo: memFree=1004472/2055920 swapFree=4192812/4192956
[pid=11485] ppid=11483 vsize=915744 CPUtime=2313.71
/proc/11485/stat : 11485 (java) R 11483 11485 10571 0 -1 0 39707 0 1 0 231286 85 0 0 25 0 8 0 250564466 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074247636 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11485/statm: 228936 39379 2553 14 0 215406 0
[pid=11485/tid=11487] ppid=11483 vsize=915744 CPUtime=0.73
/proc/11485/task/11487/stat : 11487 (java) S 11483 11485 10571 0 -1 64 22416 0 0 0 66 7 0 0 16 0 8 0 250564470 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11485/tid=11488] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11488/stat : 11488 (java) S 11483 11485 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250564470 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11489] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11489/stat : 11489 (java) S 11483 11485 10571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250564470 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11490] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11490/stat : 11490 (java) S 11483 11485 10571 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 250564474 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11491] ppid=11483 vsize=915744 CPUtime=0.42
/proc/11485/task/11491/stat : 11491 (java) S 11483 11485 10571 0 -1 64 605 0 0 0 40 2 0 0 16 0 8 0 250564474 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11485/tid=11492] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11492/stat : 11492 (java) S 11483 11485 10571 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 250564474 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11493] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11493/stat : 11493 (java) S 11483 11485 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250564474 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2313.71
Current children cumulated vsize (KiB) 915744

[startup+2384.33 s]
/proc/loadavg: 1.93 1.99 1.99 3/93 11757
/proc/meminfo: memFree=1054392/2055920 swapFree=4192812/4192956
[pid=11485] ppid=11483 vsize=915744 CPUtime=2373.45
/proc/11485/stat : 11485 (java) R 11483 11485 10571 0 -1 0 39707 0 1 0 237258 87 0 0 25 0 8 0 250564466 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073978641 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11485/statm: 228936 39379 2553 14 0 215406 0
[pid=11485/tid=11487] ppid=11483 vsize=915744 CPUtime=0.73
/proc/11485/task/11487/stat : 11487 (java) S 11483 11485 10571 0 -1 64 22416 0 0 0 66 7 0 0 16 0 8 0 250564470 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11485/tid=11488] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11488/stat : 11488 (java) S 11483 11485 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250564470 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11489] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11489/stat : 11489 (java) S 11483 11485 10571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250564470 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11490] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11490/stat : 11490 (java) S 11483 11485 10571 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 250564474 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11491] ppid=11483 vsize=915744 CPUtime=0.42
/proc/11485/task/11491/stat : 11491 (java) S 11483 11485 10571 0 -1 64 605 0 0 0 40 2 0 0 16 0 8 0 250564474 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11485/tid=11492] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11492/stat : 11492 (java) S 11483 11485 10571 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 250564474 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11493] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11493/stat : 11493 (java) S 11483 11485 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250564474 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2373.45
Current children cumulated vsize (KiB) 915744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2411.08 s]
/proc/loadavg: 1.96 1.99 1.99 3/93 11757
/proc/meminfo: memFree=1054456/2055920 swapFree=4192812/4192956
[pid=11485] ppid=11483 vsize=915744 CPUtime=2400.06
/proc/11485/stat : 11485 (java) R 11483 11485 10571 0 -1 0 39707 0 1 0 239919 87 0 0 25 0 8 0 250564466 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074247648 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11485/statm: 228936 39379 2553 14 0 215406 0
[pid=11485/tid=11487] ppid=11483 vsize=915744 CPUtime=0.73
/proc/11485/task/11487/stat : 11487 (java) S 11483 11485 10571 0 -1 64 22416 0 0 0 66 7 0 0 16 0 8 0 250564470 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11485/tid=11488] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11488/stat : 11488 (java) S 11483 11485 10571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 250564470 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11489] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11489/stat : 11489 (java) S 11483 11485 10571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 250564470 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11490] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11490/stat : 11490 (java) S 11483 11485 10571 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 250564474 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11491] ppid=11483 vsize=915744 CPUtime=0.42
/proc/11485/task/11491/stat : 11491 (java) S 11483 11485 10571 0 -1 64 605 0 0 0 40 2 0 0 16 0 8 0 250564474 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11485/tid=11492] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11492/stat : 11492 (java) S 11483 11485 10571 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 250564474 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11485/tid=11493] ppid=11483 vsize=915744 CPUtime=0
/proc/11485/task/11493/stat : 11493 (java) S 11483 11485 10571 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 250564474 937721856 39379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915744

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

Child status: 143
Real time (s): 2411.13
CPU time (s): 2400.11
CPU user time (s): 2399.21
CPU system time (s): 0.899863
CPU usage (%): 99.543
Max. virtual memory (cumulated for all children) (KiB): 915936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.21
system time used= 0.899863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39730
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= 50577
involuntary context switches= 79418

runsolver used 3.05054 s user time and 7.44787 s system time

The end

Launcher Data (download as text)

Begin job on node5 on Fri Jan 19 15:11:40 UTC 2007


IDJOB= 275288
IDBENCH= 3767
IDSOLVER= 68
FILE ID= node5/275288-1169219500

PBS_JOBID= 3588928

Free space on /tmp= 66554 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  807c7a1bb270de62fd8ab1fdbd66c332

RANDOM SEED= 243473013

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.240
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.240
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:       1053856 kB
Buffers:         60152 kB
Cached:         668060 kB
SwapCached:          0 kB
Active:         355516 kB
Inactive:       568860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1053856 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3696 kB
Writeback:           0 kB
Mapped:         225252 kB
Slab:            62240 kB
Committed_AS:  7518020 kB
PageTables:       2508 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 node5 on Fri Jan 19 15:51:52 UTC 2007