Trace number 275292

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.08 2415.98

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data (download as text)

0.33	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.33	   configuration
0.33	     name=pfc.xml
0.38	   
0.38	   instance
0.38	     name=/tmp/evaluation/275292-1169219622/unknown.xml
0.42	   
0.42	   domains being loaded...
0.46	   
0.46	   variables being loaded...
0.62	     nbVariables=1000  nbDomainTypes=18  minDomainSize=50  maxDomainSize=362
0.62	       =>  wckTime=0.288  cpuTime=0.19  mem=17M636
0.62	   
0.62	   predicates being loaded...
0.62	   
0.62	   constraints being loaded...
61.34	   
61.34	   INFO : Stopping converting binary constraints (cpu=60.04, mem = 71M220)
62.42	     nbConstraints=15032  nbConvertedConstraints=4254  nbConvertConstraintsChecks=188725124  nbExtensionStructures=2567
62.42	     nbSharedExtensionStructures=1687  nbConflictsStructures=2567  nbSharedConflictsStructures=1687
62.42	     nbSharedBinaryRepresentations=1311101  nbEvaluationManagers=5242  nbSharedEvaluationManagers=5536  maxDegree=51
62.42	     maxArity=2
62.42	       =>  wckTime=62.09  cpuTime=60.86  mem=48M743
62.64	   
62.64	   solver LocalSearchSolver being built... 
62.68	       =>  wckTime=62.347  cpuTime=60.91  mem=47M276
62.77	
62.77	s SATISFIABLE
62.77	o 11882
62.77	c 3150
62.80	o 11891
62.80	c 3141
62.83	o 11901
62.83	c 3131
62.86	o 11907
62.86	c 3125
62.89	o 11913
62.89	c 3119
62.91	o 11923
62.91	c 3109
62.94	o 11931
62.94	c 3101
62.97	o 11936
62.97	c 3096
62.99	o 11940
62.99	c 3092
63.06	o 11946
63.06	c 3086
63.10	o 11953
63.10	c 3079
63.13	o 11960
63.13	c 3072
63.17	o 11966
63.17	c 3066
63.21	o 11970
63.21	c 3062
63.23	o 11974
63.23	c 3058
63.27	o 11985
63.27	c 3047
63.30	o 11988
63.30	c 3044
63.33	o 11991
63.33	c 3041
63.36	o 11994
63.36	c 3038
63.40	o 11995
63.40	c 3037
63.42	o 12003
63.42	c 3029
63.45	o 12008
63.45	c 3024
63.49	o 12016
63.49	c 3016
63.53	o 12024
63.53	c 3008
63.56	o 12031
63.56	c 3001
63.61	o 12036
63.61	c 2996
63.66	o 12041
63.66	c 2991
63.70	o 12046
63.70	c 2986
63.74	o 12050
63.74	c 2982
63.78	o 12054
63.78	c 2978
63.81	o 12058
63.81	c 2974
63.85	o 12061
63.85	c 2971
63.87	o 12064
63.87	c 2968
63.90	o 12067
63.90	c 2965
63.94	o 12071
63.94	c 2961
63.96	o 12073
63.96	c 2959
63.99	o 12075
63.99	c 2957
64.02	o 12077
64.02	c 2955
64.05	o 12081
64.05	c 2951
64.10	o 12085
64.10	c 2947
64.13	o 12089
64.13	c 2943
64.15	o 12092
64.15	c 2940
64.18	o 12098
64.18	c 2934
64.21	o 12099
64.21	c 2933
64.24	o 12101
64.24	c 2931
64.28	o 12109
64.28	c 2923
64.32	o 12115
64.32	c 2917
64.38	o 12122
64.38	c 2910
64.42	o 12129
64.42	c 2903
64.45	o 12136
64.45	c 2896
64.48	o 12142
64.48	c 2890
64.53	o 12148
64.53	c 2884
64.55	o 12153
64.55	c 2879
64.59	o 12158
64.59	c 2874
64.62	o 12163
64.62	c 2869
64.65	o 12167
64.65	c 2865
64.68	o 12170
64.68	c 2862
64.71	o 12173
64.71	c 2859
64.74	o 12176
64.74	c 2856
64.76	o 12179
64.76	c 2853
64.79	o 12181
64.79	c 2851
64.81	o 12183
64.81	c 2849
64.83	o 12186
64.83	c 2846
64.95	o 12188
64.95	c 2844
65.01	o 12191
65.01	c 2841
65.03	o 12193
65.03	c 2839
65.06	o 12197
65.06	c 2835
65.08	o 12201
65.08	c 2831
65.10	o 12202
65.10	c 2830
65.12	o 12204
65.12	c 2828
65.13	o 12211
65.13	c 2821
65.14	o 12213
65.14	c 2819
65.16	o 12215
65.16	c 2817
65.18	o 12222
65.18	c 2810
65.21	o 12230
65.21	c 2802
65.23	o 12238
65.23	c 2794
65.26	o 12241
65.26	c 2791
65.28	o 12246
65.28	c 2786
65.31	o 12252
65.31	c 2780
65.35	o 12258
65.35	c 2774
65.39	o 12264
65.39	c 2768
65.42	o 12270
65.42	c 2762
65.47	o 12275
65.47	c 2757
65.51	o 12279
65.51	c 2753
65.55	o 12283
65.55	c 2749
65.60	o 12286
65.60	c 2746
65.63	o 12289
65.63	c 2743
65.67	o 12291
65.68	c 2741
65.71	o 12294
65.71	c 2738
65.75	o 12296
65.75	c 2736
65.77	o 12298
65.77	c 2734
65.81	o 12300
65.81	c 2732
65.85	o 12302
65.85	c 2730
65.88	o 12303
65.88	c 2729
65.92	o 12304
65.92	c 2728
65.94	o 12310
65.94	c 2722
65.97	o 12311
65.97	c 2721
66.01	o 12312
66.01	c 2720
66.08	o 12318
66.08	c 2714
66.13	o 12321
66.13	c 2711
66.14	o 12326
66.14	c 2706
66.16	o 12329
66.16	c 2703
66.18	o 12334
66.18	c 2698
66.19	o 12336
66.19	c 2696
66.21	o 12340
66.21	c 2692
66.23	o 12341
66.23	c 2691
66.24	o 12344
66.24	c 2688
66.27	o 12350
66.27	c 2682
66.30	o 12356
66.30	c 2676
66.32	o 12362
66.32	c 2670
66.35	o 12366
66.35	c 2666
66.38	o 12368
66.38	c 2664
66.41	o 12371
66.41	c 2661
66.44	o 12372
66.44	c 2660
66.48	o 12374
66.48	c 2658
66.52	o 12380
66.52	c 2652
66.57	o 12385
66.57	c 2647
66.60	o 12391
66.60	c 2641
66.65	o 12396
66.65	c 2636
66.70	o 12401
66.70	c 2631
66.74	o 12404
66.74	c 2628
66.78	o 12407
66.78	c 2625
66.82	o 12408
66.82	c 2624
66.87	o 12411
66.87	c 2621
66.90	o 12413
66.90	c 2619
66.94	o 12415
66.94	c 2617
66.97	o 12419
66.97	c 2613
67.01	o 12420
67.01	c 2612
67.04	o 12421
67.04	c 2611
67.08	o 12423
67.08	c 2609
67.11	o 12426
67.11	c 2606
67.14	o 12427
67.14	c 2605
67.21	o 12430
67.21	c 2602
67.30	o 12431
67.30	c 2601
67.33	o 12432
67.33	c 2600
67.35	o 12436
67.35	c 2596
67.38	o 12440
67.38	c 2592
67.41	o 12442
67.41	c 2590
67.44	o 12444
67.44	c 2588
67.47	o 12447
67.47	c 2585
67.50	o 12450
67.50	c 2582
67.54	o 12453
67.54	c 2579
67.64	o 12456
67.64	c 2576
67.66	o 12459
67.66	c 2573
67.70	o 12462
67.70	c 2570
67.73	o 12467
67.73	c 2565
67.78	o 12473
67.78	c 2559
67.83	o 12474
67.83	c 2558
67.85	o 12476
67.85	c 2556
67.90	o 12480
67.90	c 2552
67.93	o 12483
67.93	c 2549
67.95	o 12484
67.95	c 2548
68.01	o 12486
68.01	c 2546
68.06	o 12491
68.07	c 2541
68.09	o 12496
68.09	c 2536
68.12	o 12499
68.12	c 2533
68.15	o 12502
68.15	c 2530
68.17	o 12505
68.17	c 2527
68.20	o 12509
68.20	c 2523
68.23	o 12512
68.23	c 2520
68.24	o 12515
68.24	c 2517
68.27	o 12519
68.27	c 2513
68.29	o 12526
68.29	c 2506
68.32	o 12529
68.32	c 2503
68.34	o 12532
68.34	c 2500
68.38	o 12538
68.38	c 2494
68.40	o 12543
68.40	c 2489
68.43	o 12547
68.43	c 2485
68.45	o 12550
68.45	c 2482
68.47	o 12552
68.47	c 2480
68.49	o 12555
68.49	c 2477
68.52	o 12556
68.52	c 2476
68.54	o 12557
68.55	c 2475
68.58	o 12560
68.58	c 2472
68.62	o 12564
68.62	c 2468
68.65	o 12569
68.65	c 2463
68.79	o 12571
68.79	c 2461
68.80	o 12577
68.80	c 2455
68.83	o 12580
68.83	c 2452
68.86	o 12583
68.86	c 2449
68.93	o 12593
68.93	c 2439
69.01	o 12596
69.01	c 2436
69.05	o 12597
69.05	c 2435
69.15	o 12600
69.15	c 2432
69.19	o 12604
69.19	c 2428
69.24	o 12605
69.24	c 2427
69.28	o 12607
69.28	c 2425
69.38	o 12609
69.38	c 2423
69.42	o 12610
69.42	c 2422
69.47	o 12613
69.47	c 2419
69.53	o 12618
69.53	c 2414
69.58	o 12619
69.58	c 2413
69.63	o 12621
69.63	c 2411
69.68	o 12624
69.68	c 2408
69.73	o 12626
69.73	c 2406
69.78	o 12630
69.78	c 2402
69.81	o 12635
69.81	c 2397
69.84	o 12637
69.84	c 2395
69.88	o 12643
69.88	c 2389
69.92	o 12645
69.92	c 2387
69.96	o 12648
69.96	c 2384
70.05	o 12649
70.05	c 2383
70.09	o 12651
70.09	c 2381
70.12	o 12654
70.12	c 2378
70.14	o 12658
70.15	c 2374
70.19	o 12659
70.19	c 2373
70.23	o 12660
70.23	c 2372
70.28	o 12662
70.28	c 2370
70.37	o 12664
70.37	c 2368
70.42	o 12669
70.42	c 2363
70.46	o 12674
70.46	c 2358
70.50	o 12677
70.50	c 2355
70.57	o 12682
70.57	c 2350
70.60	o 12686
70.60	c 2346
70.65	o 12689
70.65	c 2343
70.68	o 12691
70.68	c 2341
70.73	o 12693
70.73	c 2339
70.77	o 12698
70.77	c 2334
70.86	o 12700
70.86	c 2332
70.89	o 12702
70.89	c 2330
70.92	o 12706
70.93	c 2326
70.96	o 12710
70.96	c 2322
70.99	o 12712
70.99	c 2320
71.02	o 12716
71.02	c 2316
71.10	o 12719
71.10	c 2313
71.13	o 12722
71.13	c 2310
71.16	o 12723
71.16	c 2309
71.18	o 12724
71.18	c 2308
71.20	o 12728
71.20	c 2304
71.24	o 12733
71.24	c 2299
71.29	o 12735
71.29	c 2297
71.32	o 12736
71.32	c 2296
71.35	o 12737
71.35	c 2295
71.44	o 12740
71.44	c 2292
71.56	o 12741
71.56	c 2291
71.59	o 12746
71.59	c 2286
71.62	o 12751
71.62	c 2281
71.66	o 12752
71.66	c 2280
71.70	o 12757
71.70	c 2275
71.78	o 12762
71.78	c 2270
71.81	o 12764
71.81	c 2268
71.85	o 12767
71.85	c 2265
71.88	o 12771
71.88	c 2261
71.92	o 12772
71.92	c 2260
71.99	o 12774
71.99	c 2258
72.03	o 12778
72.03	c 2254
72.07	o 12779
72.07	c 2253
72.10	o 12782
72.10	c 2250
72.14	o 12783
72.14	c 2249
72.17	o 12785
72.17	c 2247
72.21	o 12791
72.21	c 2241
72.24	o 12794
72.24	c 2238
72.27	o 12796
72.27	c 2236
72.33	o 12800
72.33	c 2232
72.36	o 12801
72.36	c 2231
72.39	o 12804
72.39	c 2228
72.41	o 12807
72.41	c 2225
72.45	o 12813
72.45	c 2219
72.52	o 12819
72.52	c 2213
72.56	o 12821
72.56	c 2211
72.60	o 12823
72.60	c 2209
72.64	o 12825
72.64	c 2207
72.71	o 12829
72.71	c 2203
72.74	o 12831
72.74	c 2201
72.82	o 12837
72.82	c 2195
72.86	o 12841
72.86	c 2191
72.89	o 12843
72.89	c 2189
72.92	o 12846
72.92	c 2186
72.97	o 12849
72.97	c 2183
73.00	o 12850
73.00	c 2182
73.03	o 12852
73.03	c 2180
73.07	o 12853
73.07	c 2179
73.10	o 12856
73.10	c 2176
73.14	o 12858
73.14	c 2174
73.17	o 12859
73.17	c 2173
73.21	o 12862
73.21	c 2170
73.28	o 12866
73.28	c 2166
73.35	o 12871
73.35	c 2161
73.38	o 12876
73.38	c 2156
73.41	o 12880
73.41	c 2152
73.48	o 12882
73.48	c 2150
73.51	o 12885
73.51	c 2147
73.57	o 12886
73.57	c 2146
73.60	o 12887
73.60	c 2145
73.63	o 12891
73.63	c 2141
73.70	o 12896
73.70	c 2136
73.72	o 12898
73.72	c 2134
73.75	o 12899
73.75	c 2133
73.89	o 12900
73.89	c 2132
73.96	o 12903
73.96	c 2129
74.05	o 12907
74.05	c 2125
74.11	o 12910
74.11	c 2122
74.14	o 12912
74.14	c 2120
74.17	o 12915
74.17	c 2117
74.22	o 12917
74.22	c 2115
74.27	o 12921
74.27	c 2111
74.33	o 12925
74.33	c 2107
74.39	o 12928
74.39	c 2104
74.44	o 12930
74.44	c 2102
74.49	o 12932
74.49	c 2100
74.54	o 12933
74.54	c 2099
74.59	o 12934
74.59	c 2098
74.63	o 12935
74.63	c 2097
74.79	o 12938
74.79	c 2094
74.86	o 12940
74.86	c 2092
74.90	o 12945
74.90	c 2087
75.05	o 12946
75.05	c 2086
75.11	o 12950
75.11	c 2082
75.16	o 12953
75.16	c 2079
75.20	o 12957
75.20	c 2075
75.25	o 12958
75.25	c 2074
75.31	o 12960
75.31	c 2072
75.36	o 12964
75.36	c 2068
75.40	o 12967
75.40	c 2065
75.44	o 12977
75.44	c 2055
75.49	o 12983
75.49	c 2049
75.53	o 12985
75.53	c 2047
75.58	o 12987
75.58	c 2045
75.63	o 12992
75.63	c 2040
75.69	o 12994
75.69	c 2038
75.72	o 12997
75.73	c 2035
75.78	o 12999
75.78	c 2033
75.83	o 13002
75.83	c 2030
75.93	o 13003
75.93	c 2029
75.98	o 13004
75.98	c 2028
76.04	o 13009
76.04	c 2023
76.09	o 13010
76.09	c 2022
76.18	o 13014
76.18	c 2018
76.22	o 13015
76.22	c 2017
76.26	o 13016
76.26	c 2016
76.29	o 13023
76.29	c 2009
76.42	o 13027
76.42	c 2005
76.47	o 13031
76.47	c 2001
76.52	o 13034
76.52	c 1998
76.57	o 13037
76.57	c 1995
76.62	o 13039
76.62	c 1993
76.67	o 13041
76.67	c 1991
76.71	o 13042
76.71	c 1990
76.76	o 13045
76.76	c 1987
76.81	o 13050
76.81	c 1982
76.87	o 13051
76.87	c 1981
76.91	o 13054
76.91	c 1978
77.01	o 13055
77.01	c 1977
77.10	o 13056
77.10	c 1976
77.15	o 13057
77.15	c 1975
77.30	o 13060
77.30	c 1972
77.35	o 13062
77.35	c 1970
77.40	o 13070
77.40	c 1962
77.45	o 13075
77.45	c 1957
77.50	o 13079
77.50	c 1953
77.55	o 13080
77.55	c 1952
77.61	o 13084
77.61	c 1948
77.65	o 13085
77.65	c 1947
77.90	o 13087
77.90	c 1945
77.94	o 13090
77.94	c 1942
78.04	o 13093
78.04	c 1939
78.09	o 13095
78.09	c 1937
78.14	o 13101
78.14	c 1931
78.19	o 13105
78.19	c 1927
78.29	o 13109
78.29	c 1923
78.35	o 13112
78.35	c 1920
78.45	o 13114
78.45	c 1918
78.50	o 13117
78.50	c 1915
78.59	o 13118
78.59	c 1914
78.63	o 13120
78.63	c 1912
78.69	o 13123
78.69	c 1909
78.73	o 13127
78.73	c 1905
78.78	o 13131
78.78	c 1901
78.83	o 13132
78.83	c 1900
78.88	o 13134
78.88	c 1898
78.92	o 13136
78.92	c 1896
78.97	o 13137
78.97	c 1895
79.02	o 13139
79.02	c 1893
79.12	o 13140
79.12	c 1892
79.25	o 13141
79.25	c 1891
79.31	o 13144
79.31	c 1888
79.48	o 13145
79.48	c 1887
79.52	o 13148
79.52	c 1884
79.57	o 13152
79.57	c 1880
79.62	o 13154
79.62	c 1878
79.67	o 13157
79.67	c 1875
79.73	o 13159
79.73	c 1873
79.78	o 13163
79.78	c 1869
79.83	o 13164
79.83	c 1868
79.93	o 13166
79.93	c 1866
79.99	o 13169
79.99	c 1863
80.06	o 13173
80.06	c 1859
80.22	o 13176
80.22	c 1856
80.40	o 13178
80.40	c 1854
80.57	o 13181
80.57	c 1851
80.63	o 13182
80.63	c 1850
80.68	o 13183
80.68	c 1849
80.78	o 13186
80.78	c 1846
80.87	o 13192
80.87	c 1840
80.93	o 13193
80.93	c 1839
81.04	o 13196
81.04	c 1836
81.09	o 13199
81.09	c 1833
81.16	o 13200
81.16	c 1832
81.27	o 13202
81.27	c 1830
81.34	o 13203
81.34	c 1829
81.41	o 13204
81.41	c 1828
81.47	o 13207
81.47	c 1825
81.54	o 13208
81.54	c 1824
81.59	o 13209
81.59	c 1823
81.67	o 13211
81.67	c 1821
81.79	o 13213
81.79	c 1819
82.13	o 13214
82.13	c 1818
82.18	o 13216
82.18	c 1816
82.24	o 13219
82.24	c 1813
82.30	o 13221
82.30	c 1811
82.36	o 13224
82.36	c 1808
82.43	o 13227
82.43	c 1805
82.57	o 13229
82.57	c 1803
82.64	o 13231
82.64	c 1801
82.71	o 13235
82.71	c 1797
82.84	o 13237
82.84	c 1795
82.91	o 13239
82.91	c 1793
83.15	o 13240
83.15	c 1792
83.21	o 13246
83.21	c 1786
83.32	o 13247
83.32	c 1785
83.38	o 13249
83.38	c 1783
83.43	o 13252
83.43	c 1780
83.49	o 13254
83.49	c 1778
83.54	o 13260
83.54	c 1772
83.59	o 13264
83.59	c 1768
83.65	o 13267
83.65	c 1765
83.70	o 13272
83.70	c 1760
83.76	o 13273
83.76	c 1759
83.83	o 13274
83.83	c 1758
83.90	o 13277
83.90	c 1755
83.95	o 13278
83.95	c 1754
84.00	o 13280
84.00	c 1752
84.07	o 13283
84.07	c 1749
84.23	o 13284
84.23	c 1748
84.29	o 13286
84.29	c 1746
84.35	o 13289
84.35	c 1743
84.41	o 13292
84.41	c 1740
84.48	o 13294
84.48	c 1738
84.54	o 13298
84.54	c 1734
84.67	o 13301
84.67	c 1731
84.75	o 13305
84.75	c 1727
84.81	o 13307
84.81	c 1725
84.89	o 13311
84.89	c 1721
85.08	o 13316
85.08	c 1716
85.14	o 13317
85.14	c 1715
85.21	o 13321
85.21	c 1711
85.27	o 13322
85.27	c 1710
85.35	o 13323
85.35	c 1709
85.42	o 13324
85.42	c 1708
85.60	o 13327
85.60	c 1705
85.66	o 13329
85.66	c 1703
85.78	o 13331
85.78	c 1701
85.90	o 13333
85.90	c 1699
85.96	o 13334
85.96	c 1698
86.02	o 13335
86.02	c 1697
86.08	o 13336
86.08	c 1696
86.15	o 13339
86.15	c 1693
86.28	o 13341
86.28	c 1691
86.53	o 13343
86.53	c 1689
86.72	o 13345
86.72	c 1687
86.78	o 13346
86.78	c 1686
87.04	o 13348
87.04	c 1684
87.19	o 13350
87.19	c 1682
87.26	o 13355
87.26	c 1677
87.33	o 13357
87.33	c 1675
87.39	o 13360
87.39	c 1672
87.52	o 13362
87.52	c 1670
87.64	o 13366
87.64	c 1666
87.70	o 13369
87.70	c 1663
87.76	o 13374
87.76	c 1658
87.81	o 13375
87.81	c 1657
87.87	o 13376
87.87	c 1656
88.20	o 13378
88.20	c 1654
88.35	o 13380
88.35	c 1652
88.63	o 13382
88.63	c 1650
88.83	o 13383
88.83	c 1649
88.88	o 13384
88.88	c 1648
89.11	o 13386
89.11	c 1646
89.19	o 13389
89.19	c 1643
89.27	o 13391
89.27	c 1641
89.41	o 13392
89.41	c 1640
89.58	o 13396
89.58	c 1636
89.74	o 13399
89.74	c 1633
89.81	o 13400
89.81	c 1632
89.97	o 13402
89.97	c 1630
90.07	o 13403
90.07	c 1629
90.17	o 13404
90.17	c 1628
90.61	o 13408
90.61	c 1624
90.72	o 13409
90.72	c 1623
90.81	o 13414
90.81	c 1618
91.00	o 13416
91.00	c 1616
91.51	o 13418
91.51	c 1614
91.68	o 13422
91.68	c 1610
91.93	o 13424
91.93	c 1608
92.02	o 13428
92.02	c 1604
92.12	o 13429
92.12	c 1603
92.20	o 13432
92.20	c 1600
92.29	o 13436
92.29	c 1596
92.47	o 13437
92.47	c 1595
92.56	o 13439
92.56	c 1593
92.65	o 13442
92.65	c 1590
92.94	o 13445
92.94	c 1587
93.05	o 13450
93.05	c 1582
93.26	o 13454
93.26	c 1578
93.44	o 13459
93.44	c 1573
93.52	o 13464
93.52	c 1568
93.69	o 13465
93.69	c 1567
93.77	o 13468
93.77	c 1564
93.86	o 13469
93.86	c 1563
94.05	o 13470
94.05	c 1562
94.24	o 13473
94.24	c 1559
94.44	o 13474
94.44	c 1558
94.55	o 13475
94.55	c 1557
94.64	o 13477
94.64	c 1555
95.24	o 13478
95.24	c 1554
95.34	o 13480
95.34	c 1552
95.44	o 13484
95.44	c 1548
95.53	o 13485
95.53	c 1547
95.62	o 13487
95.62	c 1545
95.72	o 13488
95.72	c 1544
95.93	o 13490
95.93	c 1542
96.06	o 13491
96.06	c 1541
96.16	o 13492
96.16	c 1540
96.28	o 13498
96.28	c 1534
96.39	o 13499
96.39	c 1533
96.70	o 13501
96.70	c 1531
96.80	o 13502
96.80	c 1530
96.99	o 13506
96.99	c 1526
97.10	o 13511
97.10	c 1521
97.19	o 13515
97.19	c 1517
97.39	o 13516
97.39	c 1516
97.49	o 13517
97.49	c 1515
97.59	o 13519
97.59	c 1513
97.69	o 13520
97.69	c 1512
97.88	o 13521
97.88	c 1511
98.05	o 13523
98.05	c 1509
98.15	o 13526
98.15	c 1506
98.22	o 13528
98.22	c 1504
98.32	o 13531
98.32	c 1501
98.40	o 13534
98.40	c 1498
98.50	o 13536
98.50	c 1496
98.60	o 13537
98.60	c 1495
98.69	o 13540
98.69	c 1492
98.79	o 13542
98.79	c 1490
98.90	o 13545
98.90	c 1487
98.99	o 13550
98.99	c 1482
99.11	o 13553
99.11	c 1479
99.32	o 13554
99.32	c 1478
99.42	o 13560
99.43	c 1472
99.52	o 13562
99.52	c 1470
99.84	o 13564
99.84	c 1468
99.94	o 13565
99.94	c 1467
100.12	o 13569
100.13	c 1463
100.22	o 13572
100.22	c 1460
100.31	o 13574
100.31	c 1458
100.41	o 13576
100.41	c 1456
101.09	o 13579
101.09	c 1453
101.18	o 13581
101.18	c 1451
101.27	o 13584
101.27	c 1448
101.35	o 13586
101.35	c 1446
102.13	o 13589
102.13	c 1443
102.21	o 13592
102.21	c 1440
102.28	o 13595
102.28	c 1437
102.37	o 13601
102.37	c 1431
102.45	o 13602
102.45	c 1430
102.68	o 13603
102.68	c 1429
102.76	o 13604
102.76	c 1428
102.91	o 13606
102.91	c 1426
103.21	o 13608
103.21	c 1424
103.37	o 13609
103.37	c 1423
103.44	o 13611
103.44	c 1421
103.52	o 13615
103.52	c 1417
103.59	o 13618
103.59	c 1414
103.66	o 13621
103.66	c 1411
103.79	o 13622
103.79	c 1410
104.01	o 13628
104.02	c 1404
104.09	o 13629
104.09	c 1403
104.17	o 13630
104.17	c 1402
104.26	o 13631
104.26	c 1401
104.40	o 13635
104.40	c 1397
104.56	o 13640
104.56	c 1392
104.71	o 13642
104.71	c 1390
104.79	o 13643
104.79	c 1389
104.87	o 13645
104.87	c 1387
104.96	o 13647
104.96	c 1385
105.05	o 13650
105.05	c 1382
105.23	o 13653
105.23	c 1379
105.84	o 13654
105.84	c 1378
105.92	o 13655
105.92	c 1377
106.01	o 13656
106.01	c 1376
106.11	o 13657
106.11	c 1375
106.19	o 13660
106.19	c 1372
106.43	o 13663
106.43	c 1369
106.52	o 13664
106.52	c 1368
106.74	o 13666
106.74	c 1366
106.81	o 13668
106.81	c 1364
106.88	o 13677
106.88	c 1355
106.96	o 13680
106.96	c 1352
107.04	o 13681
107.04	c 1351
107.12	o 13684
107.12	c 1348
107.32	o 13686
107.32	c 1346
107.39	o 13687
107.39	c 1345
107.69	o 13689
107.69	c 1343
107.84	o 13690
107.84	c 1342
107.90	o 13693
107.90	c 1339
107.96	o 13694
107.96	c 1338
108.03	o 13695
108.03	c 1337
108.10	o 13696
108.10	c 1336
108.16	o 13697
108.16	c 1335
108.54	o 13699
108.54	c 1333
108.60	o 13700
108.61	c 1332
108.75	o 13703
108.75	c 1329
108.83	o 13705
108.83	c 1327
108.91	o 13706
108.91	c 1326
109.00	o 13709
109.00	c 1323
109.09	o 13710
109.09	c 1322
109.18	o 13712
109.18	c 1320
109.36	o 13718
109.36	c 1314
109.45	o 13721
109.45	c 1311
109.55	o 13724
109.55	c 1308
109.64	o 13725
109.64	c 1307
109.74	o 13728
109.74	c 1304
109.82	o 13731
109.82	c 1301
110.08	o 13733
110.08	c 1299
110.50	o 13734
110.50	c 1298
110.95	o 13735
110.95	c 1297
111.12	o 13736
111.12	c 1296
111.48	o 13738
111.48	c 1294
111.57	o 13739
111.57	c 1293
111.84	o 13741
111.84	c 1291
111.94	o 13743
111.94	c 1289
112.02	o 13745
112.02	c 1287
112.48	o 13748
112.48	c 1284
112.58	o 13749
112.58	c 1283
112.69	o 13751
112.69	c 1281
112.79	o 13754
112.79	c 1278
114.04	o 13759
114.04	c 1273
114.50	o 13760
114.50	c 1272
114.61	o 13762
114.61	c 1270
115.24	o 13763
115.24	c 1269
115.34	o 13767
115.34	c 1265
115.46	o 13769
115.46	c 1263
115.57	o 13771
115.57	c 1261
115.84	o 13773
115.85	c 1259
115.94	o 13775
115.94	c 1257
116.13	o 13776
116.13	c 1256
116.32	o 13778
116.32	c 1254
116.51	o 13780
116.51	c 1252
116.60	o 13783
116.60	c 1249
116.72	o 13785
116.72	c 1247
116.82	o 13790
116.82	c 1242
116.88	o 13793
116.88	c 1239
116.98	o 13795
116.98	c 1237
118.17	o 13797
118.17	c 1235
118.27	o 13799
118.27	c 1233
118.36	o 13802
118.36	c 1230
118.53	o 13803
118.53	c 1229
118.62	o 13805
118.62	c 1227
118.77	o 13806
118.77	c 1226
119.03	o 13808
119.03	c 1224
119.12	o 13812
119.12	c 1220
119.21	o 13816
119.21	c 1216
119.29	o 13817
119.29	c 1215
119.86	o 13819
119.86	c 1213
120.00	o 13821
120.00	c 1211
120.75	o 13824
120.75	c 1208
122.08	o 13828
122.08	c 1204
122.26	o 13829
122.26	c 1203
122.38	o 13830
122.38	c 1202
122.48	o 13832
122.48	c 1200
122.57	o 13838
122.57	c 1194
122.67	o 13839
122.67	c 1193
122.97	o 13841
122.97	c 1191
123.16	o 13843
123.16	c 1189
123.26	o 13845
123.26	c 1187
123.29	o 13846
123.29	c 1186
123.39	o 13847
123.39	c 1185
123.49	o 13850
123.49	c 1182
123.69	o 13855
123.69	c 1177
123.79	o 13860
123.79	c 1172
123.89	o 13864
123.89	c 1168
124.29	o 13867
124.29	c 1165
124.39	o 13871
124.39	c 1161
124.49	o 13872
124.49	c 1160
124.58	o 13876
124.58	c 1156
124.69	o 13877
124.69	c 1155
124.90	o 13878
124.90	c 1154
124.99	o 13879
124.99	c 1153
125.09	o 13881
125.09	c 1151
125.19	o 13882
125.19	c 1150
125.29	o 13883
125.29	c 1149
125.45	o 13884
125.45	c 1148
125.56	o 13888
125.56	c 1144
125.68	o 13889
125.68	c 1143
127.17	o 13890
127.17	c 1142
127.53	o 13891
127.53	c 1141
127.64	o 13892
127.64	c 1140
127.75	o 13894
127.75	c 1138
127.84	o 13898
127.84	c 1134
128.09	o 13900
128.09	c 1132
128.36	o 13902
128.36	c 1130
128.50	o 13904
128.50	c 1128
129.09	o 13905
129.09	c 1127
129.22	o 13906
129.22	c 1126
129.34	o 13907
129.34	c 1125
129.47	o 13909
129.47	c 1123
129.80	o 13911
129.80	c 1121
129.95	o 13912
129.95	c 1120
130.23	o 13915
130.23	c 1117
130.38	o 13918
130.38	c 1114
130.52	o 13920
130.52	c 1112
131.13	o 13921
131.13	c 1111
131.26	o 13922
131.26	c 1110
131.39	o 13924
131.39	c 1108
132.31	o 13925
132.31	c 1107
132.61	o 13926
132.61	c 1106
132.75	o 13928
132.75	c 1104
132.88	o 13929
132.88	c 1103
133.04	o 13932
133.04	c 1100
133.19	o 13936
133.19	c 1096
133.32	o 13938
133.32	c 1094
133.75	o 13939
133.75	c 1093
134.02	o 13941
134.02	c 1091
134.17	o 13944
134.17	c 1088
134.29	o 13945
134.29	c 1087
134.42	o 13946
134.42	c 1086
134.55	o 13947
134.55	c 1085
134.67	o 13949
134.67	c 1083
134.81	o 13951
134.81	c 1081
134.94	o 13953
134.94	c 1079
135.08	o 13955
135.08	c 1077
135.35	o 13956
135.35	c 1076
136.20	o 13958
136.20	c 1074
136.62	o 13959
136.62	c 1073
136.76	o 13960
136.76	c 1072
137.02	o 13961
137.02	c 1071
137.14	o 13963
137.14	c 1069
137.26	o 13966
137.26	c 1066
137.36	o 13967
137.36	c 1065
137.60	o 13970
137.60	c 1062
137.74	o 13971
137.74	c 1061
137.88	o 13974
137.88	c 1058
138.28	o 13975
138.28	c 1057
138.69	o 13977
138.69	c 1055
138.84	o 13979
138.84	c 1053
139.32	o 13981
139.32	c 1051
139.56	o 13985
139.56	c 1047
139.66	o 13989
139.66	c 1043
139.80	o 13990
139.80	c 1042
139.93	o 13993
139.93	c 1039
140.06	o 13996
140.06	c 1036
140.19	o 13999
140.19	c 1033
140.31	o 14000
140.31	c 1032
140.58	o 14002
140.58	c 1030
140.70	o 14003
140.70	c 1029
140.83	o 14006
140.83	c 1026
141.08	o 14008
141.08	c 1024
141.34	o 14009
141.34	c 1023
141.36	o 14013
141.36	c 1019
141.48	o 14014
141.48	c 1018
141.63	o 14015
141.63	c 1017
141.75	o 14017
141.75	c 1015
141.87	o 14018
141.87	c 1014
142.01	o 14022
142.01	c 1010
142.28	o 14023
142.28	c 1009
142.54	o 14026
142.54	c 1006
142.67	o 14029
142.67	c 1003
142.89	o 14030
142.89	c 1002
143.02	o 14031
143.02	c 1001
143.13	o 14033
143.13	c 999
143.26	o 14035
143.26	c 997
143.79	o 14037
143.79	c 995
144.92	o 14039
144.92	c 993
145.05	o 14040
145.05	c 992
145.17	o 14042
145.17	c 990
145.29	o 14043
145.29	c 989
145.41	o 14045
145.41	c 987
146.06	o 14046
146.06	c 986
146.19	o 14049
146.19	c 983
146.33	o 14050
146.33	c 982
146.48	o 14052
146.48	c 980
146.62	o 14053
146.62	c 979
146.91	o 14056
146.91	c 976
146.99	o 14058
146.99	c 974
147.48	o 14062
147.48	c 970
147.58	o 14063
147.58	c 969
147.72	o 14067
147.72	c 965
148.10	o 14069
148.10	c 963
148.23	o 14071
148.23	c 961
148.36	o 14072
148.36	c 960
148.93	o 14074
148.93	c 958
149.05	o 14075
149.05	c 957
149.50	o 14078
149.50	c 954
149.79	o 14079
149.79	c 953
149.90	o 14080
149.90	c 952
150.03	o 14081
150.03	c 951
150.27	o 14082
150.27	c 950
150.38	o 14084
150.38	c 948
150.49	o 14086
150.49	c 946
150.88	o 14087
150.88	c 945
151.01	o 14089
151.01	c 943
151.14	o 14091
151.14	c 941
151.27	o 14094
151.27	c 938
151.40	o 14095
151.40	c 937
151.66	o 14098
151.66	c 934
151.80	o 14099
151.80	c 933
151.94	o 14102
151.94	c 930
152.18	o 14103
152.18	c 929
152.55	o 14105
152.55	c 927
152.66	o 14106
152.66	c 926
153.74	o 14107
153.74	c 925
153.88	o 14108
153.88	c 924
154.62	o 14109
154.62	c 923
155.87	o 14110
155.87	c 922
156.02	o 14111
156.02	c 921
156.33	o 14112
156.33	c 920
156.61	o 14113
156.61	c 919
156.74	o 14115
156.74	c 917
161.85	o 14116
161.85	c 916
165.81	o 14117
165.81	c 915
168.48	o 14118
168.48	c 914
169.14	o 14121
169.14	c 911
169.29	o 14122
169.29	c 910
169.44	o 14125
169.44	c 907
170.34	o 14126
170.34	c 906
170.56	o 14129
170.56	c 903
170.68	o 14130
170.68	c 902
171.11	o 14132
171.11	c 900
171.37	o 14133
171.37	c 899
171.51	o 14134
171.51	c 898
171.65	o 14136
171.65	c 896
172.06	o 14137
172.06	c 895
172.20	o 14138
172.20	c 894
172.49	o 14139
172.49	c 893
172.65	o 14140
172.65	c 892
173.39	o 14141
173.39	c 891
175.28	o 14146
175.28	c 886
175.32	o 14151
175.32	c 881
175.61	o 14152
175.61	c 880
175.77	o 14159
175.77	c 873
176.16	o 14160
176.16	c 872
176.46	o 14161
176.46	c 871
176.79	o 14163
176.79	c 869
176.93	o 14164
176.93	c 868
177.08	o 14165
177.08	c 867
177.32	o 14171
177.32	c 861
177.93	o 14175
177.93	c 857
178.09	o 14176
178.09	c 856
178.23	o 14177
178.23	c 855
178.39	o 14180
178.39	c 852
179.96	o 14184
179.96	c 848
180.68	o 14186
180.68	c 846
180.75	o 14188
180.75	c 844
180.90	o 14189
180.90	c 843
181.06	o 14190
181.06	c 842
181.23	o 14194
181.23	c 838
182.16	o 14196
182.16	c 836
182.74	o 14197
182.74	c 835
182.87	o 14199
182.87	c 833
182.99	o 14201
182.99	c 831
183.06	o 14206
183.06	c 826
183.20	o 14208
183.20	c 824
184.71	o 14209
184.71	c 823
185.63	o 14210
185.63	c 822
186.22	o 14211
186.22	c 821
186.38	o 14213
186.38	c 819
187.04	o 14214
187.04	c 818
187.20	o 14216
187.20	c 816
187.36	o 14217
187.36	c 815
187.52	o 14218
187.52	c 814
187.68	o 14219
187.68	c 813
187.84	o 14220
187.84	c 812
188.00	o 14222
188.00	c 810
188.34	o 14223
188.34	c 809
188.51	o 14225
188.51	c 807
188.85	o 14226
188.85	c 806
189.02	o 14227
189.02	c 805
189.36	o 14229
189.36	c 803
192.45	o 14231
192.45	c 801
192.66	o 14234
192.66	c 798
192.85	o 14235
192.85	c 797
193.46	o 14237
193.46	c 795
197.00	o 14238
197.00	c 794
205.18	o 14239
205.18	c 793
205.85	o 14241
205.85	c 791
206.09	o 14243
206.09	c 789
206.34	o 14244
206.34	c 788
206.58	o 14245
206.58	c 787
206.82	o 14246
206.82	c 786
207.05	o 14247
207.05	c 785
207.29	o 14249
207.29	c 783
207.53	o 14250
207.53	c 782
208.73	o 14251
208.73	c 781
209.46	o 14252
209.46	c 780
209.72	o 14256
209.72	c 776
209.97	o 14258
209.97	c 774
210.20	o 14261
210.20	c 771
210.44	o 14263
210.44	c 769
211.18	o 14264
211.18	c 768
211.43	o 14265
211.43	c 767
213.33	o 14266
213.33	c 766
213.58	o 14269
213.58	c 763
213.80	o 14274
213.80	c 758
214.79	o 14280
214.79	c 752
215.53	o 14281
215.53	c 751
215.77	o 14283
215.77	c 749
216.02	o 14286
216.02	c 746
216.26	o 14289
216.26	c 743
216.50	o 14291
216.50	c 741
217.00	o 14292
217.00	c 740
217.25	o 14293
217.25	c 739
217.48	o 14294
217.48	c 738
217.88	o 14295
217.88	c 737
218.11	o 14296
218.11	c 736
218.83	o 14297
218.83	c 735
220.46	o 14298
220.46	c 734
220.68	o 14299
220.68	c 733
220.94	o 14302
220.94	c 730
221.11	o 14305
221.11	c 727
221.27	o 14306
221.27	c 726
222.27	o 14307
222.27	c 725
223.00	o 14308
223.00	c 724
223.62	o 14309
223.62	c 723
223.86	o 14311
223.86	c 721
224.07	o 14312
224.07	c 720
224.32	o 14314
224.32	c 718
225.25	o 14315
225.25	c 717
225.49	o 14316
225.49	c 716
226.94	o 14317
226.94	c 715
227.18	o 14318
227.18	c 714
227.42	o 14319
227.42	c 713
227.66	o 14320
227.66	c 712
227.90	o 14322
227.90	c 710
231.85	o 14323
231.85	c 709
232.84	o 14324
232.84	c 708
234.39	o 14325
234.39	c 707
234.56	o 14327
234.56	c 705
235.03	o 14329
235.03	c 703
235.53	o 14330
235.53	c 702
235.76	o 14331
235.76	c 701
235.84	o 14333
235.84	c 699
235.96	o 14335
235.96	c 697
236.17	o 14338
236.17	c 694
236.39	o 14339
236.39	c 693
236.59	o 14341
236.59	c 691
236.82	o 14342
236.82	c 690
237.02	o 14344
237.02	c 688
239.88	o 14347
239.88	c 685
240.08	o 14348
240.08	c 684
243.04	o 14350
243.04	c 682
246.39	o 14351
246.39	c 681
246.81	o 14353
246.81	c 679
246.99	o 14354
246.99	c 678
247.42	o 14355
247.42	c 677
247.85	o 14358
247.85	c 674
248.07	o 14360
248.07	c 672
248.30	o 14361
248.30	c 671
248.51	o 14362
248.51	c 670
248.60	o 14364
248.60	c 668
248.80	o 14365
248.80	c 667
249.44	o 14366
249.44	c 666
251.78	o 14367
251.78	c 665
253.12	o 14371
253.13	c 661
255.24	o 14372
255.24	c 660
255.46	o 14373
255.46	c 659
257.21	o 14374
257.21	c 658
257.45	o 14377
257.45	c 655
258.34	o 14378
258.34	c 654
258.57	o 14381
258.57	c 651
258.80	o 14383
258.80	c 649
259.04	o 14386
259.04	c 646
259.12	o 14387
259.12	c 645
259.36	o 14393
259.36	c 639
259.71	o 14395
259.71	c 637
259.93	o 14397
259.93	c 635
260.77	o 14398
260.77	c 634
261.95	o 14399
261.95	c 633
262.15	o 14401
262.15	c 631
262.78	o 14402
262.78	c 630
262.99	o 14403
262.99	c 629
263.20	o 14404
263.20	c 628
270.78	o 14405
270.78	c 627
270.95	o 14407
270.95	c 625
271.90	o 14409
271.90	c 623
272.13	o 14410
272.13	c 622
273.63	o 14411
273.63	c 621
274.06	o 14412
274.06	c 620
274.29	o 14414
274.29	c 618
274.45	o 14416
274.45	c 616
274.65	o 14417
274.65	c 615
275.04	o 14420
275.04	c 612
275.13	o 14423
275.13	c 609
275.34	o 14426
275.34	c 606
275.55	o 14427
275.55	c 605
275.98	o 14429
275.98	c 603
276.21	o 14430
276.21	c 602
277.44	o 14431
277.44	c 601
284.38	o 14432
284.38	c 600
284.64	o 14433
284.64	c 599
284.88	o 14434
284.88	c 598
285.15	o 14435
285.15	c 597
285.32	o 14437
285.32	c 595
285.56	o 14438
285.56	c 594
286.01	o 14440
286.01	c 592
286.24	o 14442
286.24	c 590
302.71	o 14443
302.71	c 589
303.18	o 14444
303.18	c 588
303.70	o 14445
303.70	c 587
305.63	o 14446
305.63	c 586
305.89	o 14447
305.89	c 585
306.93	o 14448
306.93	c 584
310.87	o 14450
310.87	c 582
311.10	o 14451
311.10	c 581
313.72	o 14452
313.72	c 580
314.20	o 14453
314.20	c 579
314.30	o 14455
314.30	c 577
315.39	o 14456
315.39	c 576
315.62	o 14457
315.62	c 575
315.95	o 14459
315.95	c 573
316.18	o 14460
316.18	c 572
316.41	o 14461
316.41	c 571
316.88	o 14462
316.88	c 570
317.11	o 14464
317.11	c 568
317.74	o 14465
317.74	c 567
317.90	o 14466
317.90	c 566
318.37	o 14467
318.37	c 565
320.60	o 14468
320.60	c 564
321.09	o 14469
321.09	c 563
321.33	o 14471
321.33	c 561
322.04	o 14472
322.04	c 560
322.75	o 14473
322.75	c 559
323.02	o 14475
323.02	c 557
332.83	o 14476
332.84	c 556
334.05	o 14477
334.05	c 555
334.29	o 14478
334.29	c 554
335.51	o 14479
335.51	c 553
335.71	o 14480
335.71	c 552
335.96	o 14481
335.96	c 551
339.13	o 14482
339.13	c 550
339.29	o 14483
339.29	c 549
340.07	o 14486
340.07	c 546
341.22	o 14487
341.22	c 545
342.82	o 14488
342.82	c 544
343.09	o 14489
343.09	c 543
345.18	o 14490
345.18	c 542
346.59	o 14491
346.59	c 541
346.78	o 14492
346.78	c 540
347.05	o 14495
347.05	c 537
347.30	o 14496
347.30	c 536
347.55	o 14498
347.55	c 534
348.02	o 14500
348.02	c 532
353.47	o 14501
353.47	c 531
353.73	o 14502
353.73	c 530
354.20	o 14503
354.20	c 529
354.46	o 14506
354.46	c 526
362.26	o 14507
362.26	c 525
362.46	o 14508
362.46	c 524
371.41	o 14509
371.41	c 523
372.07	o 14510
372.07	c 522
372.60	o 14511
372.60	c 521
372.86	o 14513
372.86	c 519
373.04	o 14514
373.04	c 518
375.06	o 14515
375.06	c 517
375.53	o 14517
375.53	c 515
375.80	o 14518
375.80	c 514
376.32	o 14520
376.32	c 512
376.83	o 14524
376.83	c 508
377.33	o 14525
377.33	c 507
377.84	o 14526
377.84	c 506
378.35	o 14527
378.35	c 505
378.79	o 14530
378.79	c 502
378.94	o 14531
378.94	c 501
379.18	o 14534
379.18	c 498
380.16	o 14536
380.16	c 496
382.14	o 14538
382.14	c 494
382.40	o 14539
382.40	c 493
382.65	o 14541
382.65	c 491
382.91	o 14543
382.91	c 489
383.56	o 14544
383.56	c 488
383.82	o 14545
383.82	c 487
384.09	o 14546
384.09	c 486
385.05	o 14547
385.05	c 485
385.32	o 14548
385.32	c 484
385.59	o 14549
385.59	c 483
386.13	o 14550
386.13	c 482
387.25	o 14551
387.25	c 481
387.49	o 14553
387.49	c 479
388.27	o 14554
388.27	c 478
388.83	o 14555
388.83	c 477
389.60	o 14556
389.60	c 476
391.68	o 14557
391.68	c 475
391.96	o 14558
391.96	c 474
404.42	o 14560
404.42	c 472
409.19	o 14561
409.19	c 471
423.35	o 14562
423.35	c 470
424.06	o 14563
424.06	c 469
424.31	o 14564
424.31	c 468
424.57	o 14565
424.57	c 467
424.83	o 14566
424.83	c 466
425.08	o 14568
425.08	c 464
425.82	o 14569
425.82	c 463
426.07	o 14570
426.07	c 462
426.59	o 14571
426.59	c 461
427.25	o 14572
427.25	c 460
427.51	o 14573
427.51	c 459
428.23	o 14575
428.23	c 457
430.70	o 14576
430.70	c 456
431.63	o 14578
431.63	c 454
431.86	o 14579
431.86	c 453
432.08	o 14580
432.08	c 452
432.57	o 14584
432.57	c 448
432.81	o 14585
432.81	c 447
433.04	o 14586
433.04	c 446
433.28	o 14587
433.28	c 445
433.52	o 14588
433.52	c 444
434.27	o 14590
434.27	c 442
435.08	o 14591
435.08	c 441
435.78	o 14593
435.78	c 439
436.52	o 14594
436.52	c 438
436.97	o 14595
436.97	c 437
437.23	o 14598
437.23	c 434
438.29	o 14600
438.29	c 432
444.65	o 14603
444.65	c 429
445.09	o 14604
445.09	c 428
445.55	o 14607
445.55	c 425
448.45	o 14608
448.45	c 424
448.91	o 14609
448.91	c 423
449.71	o 14611
449.71	c 421
452.14	o 14612
452.14	c 420
452.38	o 14613
452.38	c 419
454.46	o 14615
454.46	c 417
454.70	o 14616
454.70	c 416
454.95	o 14617
454.95	c 415
456.99	o 14618
456.99	c 414
458.18	o 14620
458.18	c 412
462.99	o 14621
462.99	c 411
463.22	o 14622
463.22	c 410
463.48	o 14623
463.48	c 409
474.18	o 14626
474.18	c 406
474.48	o 14628
474.48	c 404
475.80	o 14629
475.80	c 403
476.09	o 14631
476.09	c 401
476.90	o 14632
476.90	c 400
477.77	o 14633
477.77	c 399
480.32	o 14634
480.32	c 398
480.51	o 14635
480.51	c 397
510.79	   
510.79	   search
510.79	     run=0  nbConstraintChecks=1313551158  nbAssignments=2883
510.79	       =>  wckTime=448.113  cpuTime=443.87  mem=48M292
510.79	   
510.79	   global
510.79	     nbConstraintChecks=1313551158  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
510.79	     solvingWckTime=448.104  solvingCpuTime=443.86  expiredTime=no  totalExploration=no  nbFoundSolutions=0
510.79	     globalCpuTime=504.83
510.79	       =>  wckTime=510.461  cpuTime=504.78  mem=48M292
510.79	   
510.79	   solver IterativeSystematicSolver being built... 
511.27	       =>  wckTime=510.94  cpuTime=505.06  mem=90M921
551.94	   
551.94	   preprocessing
551.94	     nbConstraintChecks=88669019  nbValidityChecks=381218  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
551.94	     nbRemovedValues=0  detectedInconsistency=no
551.94	       =>  wckTime=40.663  cpuTime=40.27  mem=90M921
2284.93	   
2284.93	   search
2284.93	     run=0  nbConstraintChecks=1170182699  nbValidityChecks=3505726282  nbPropagations=0  nbRevisions=0
2284.93	     nbUselessRevisions=0  nbAssignments=505  nbFailedAssignments=161  nbBacktracks=10  nbVisitedNodes=677
2284.93	     nbRestartNogoods=0
2284.93	       =>  wckTime=1773.656  cpuTime=1763.24  mem=90M921
2415.93	v -2024 -2720 2060 2020 -2140 -2736 -2632 -2356 2668 2372 2104 2664 2084 -2404 -2740 2632 -2040 2704 2576 -2588 -2072 -2032 2416 -2448 -2292 -2416 -2468 2576 2712 -2608 2020 2652 2508 -2340 2736 -2064 2368 2168 2344 2520 2544 2504 -2120 2584 -2084 -2484 2116 -2196 2204 -2480 -2324 2456 -2316 2176 -2500 2572 -2724 -2260 2688 2168 2736 2448 2048 2600 2448 -2020 -2040 2148 2732 -2020 2284 -2332 2672 2740 2564 2468 2468 2528 2632 2332 2592 -2068 2548 2332 -2036 2248 -2152 -2504 -2292 -2712 -2228 -2684 -2576 -2020 -2076 2520 -2048 2340 -2548 -2060 2128 2456 2548 2348 -2628 -2540 -2724 2612 -2692 -2380 -2664 -2508 -2428 -2600 2520 2064 -2536 -2284 2704 2228 -2292 -2540 -2184 2712 2156 2268 2664 -2688 2700 -2448 2584 -2684 -2580 2332 2128 -2028 -2368 2740 2640 2708 -2592 -2144 -2252 2036 2332 -2068 -2416 2700 -2584 -2336 2244 -2328 -2088 2572 2064 2388 -2424 -2740 -2164 -2336 -2592 2612 -2612 -2320 -2444 -2128 2204 2536 -2648 2740 -2520 -2724 -2300 2172 -2664 2580 -2224 -2040 2464 -2736 -2700 2664 2384 2344 2468 2260 2484 2360 2680 2140 2024 2428 -2132 2072 2320 -2116 2252 2092 -2276 -2616 -2548 2372 2020 -2680 -2324 -2556 2696 -2048 2712 2060 2540 -2436 2088 -2488 -2676 2620 2340 -2632 -2368 2396 2080 -2036 -2064 -2436 -2688 -2740 2488 2712 -2332 2372 -2608 -2696 2624 -2440 -2700 -2492 -2316 2044 2292 -2352 -2544 -2216 2020 -2692 2708 -2544 2572 -2668 -2164 -2020 2516 2080 2112 -2684 -2308 -2036 2212 -2732 2360 2728 2020 -2212 2132 -2436 -2700 -2080 2400 -2548 -2060 -2020 2524 -2352 -2692 -2572 -2092 2076 2540 2196 2244 -2724 -2096 2556 -2260 2088 2616 -2572 -2104 -2660 2692 2052 -2660 -2740 2228 -2256 -2052 2388 -2700 -2344 -2488 2204 -2328 2128 -2220 -2640 -2516 -2296 2672 2516 2296 -2324 -2444 -2084 2284 2252 2416 2504 2028 -2092 2140 -2292 -2400 2584 -2732 -2064 2048 2364 -2628 -2708 2484 2720 2488 -2144 -2048 2424 -2020 -2060 -2216 2464 2156 2456 -2148 2060 -2396 -2548 2060 2576 2292 -2684 -2600 2568 2564 -2072 -2064 -2560 2576 2592 -2560 -2380 2356 -2656 -2584 -2376 -2136 2224 2324 -2560 2020 2036 -2668 -2508 -2644 2212 2104 -2164 -2700 -2636 2612 2552 2400 -2076 2020 2176 -2700 -2028 2132 -2268 -2296 -2628 -2020 2252 2080 -2596 -2600 -2436 2348 -2184 2092 -2588 -2384 -2312 -2568 -2512 2188 -2576 2116 -2580 2440 2384 -2268 -2692 -2184 -2588 -2740 2632 2672 2444 -2572 -2144 -2728 -2636 2552 2264 -2640 -2624 2496 2108 -2360 2108 2388 2336 2312 -2716 -2020 -2440 2436 -2696 -2256 -2252 2060 -2380 -2036 -2060 2152 2740 -2740 -2020 -2504 2560 -2084 2704 2024 -2352 -2476 -2596 2588 2488 -2368 -2592 -2420 2640 -2712 2300 2292 -2068 2480 2708 -2652 -2356 2252 2180 2044 -2088 -2264 -2372 2268 2672 -2412 -2536 -2400 2248 -2396 2708 -2504 2312 -2428 2024 2672 2672 2644 -2256 -2580 -2604 2560 -2408 2408 2172 2028 2592 2308 -2528 2460 -2172 2104 2624 -2652 2728 2060 2056 2376 2060 2476 -2284 2304 -2568 -2524 -2700 -2384 -2052 2676 2720 -2696 2492 2600 2076 2388 2476 -2292 2708 -2456 -2700 -2560 2412 -2028 2552 2160 2384 2160 -2688 2560 -2384 2676 -2708 -2508 2596 -2268 2464 -2604 -2692 -2328 -2660 -2068 2668 2688 2404 -2416 -2060 2596 -2116 2700 2176 -2452 -2212 2692 -2088 -2296 -2160 -2044 -2700 2696 -2028 -2544 -2736 -2164 2088 -2360 2436 -2148 -2560 2632 -2624 2524 -2136 2588 -2376 2328 -2604 -2312 2132 -2732 -2036 2496 -2556 2584 -2188 2716 2652 2256 -2368 -2580 -2024 -2384 -2696 -2036 -2552 -2612 2268 2292 -2336 2300 -2636 -2692 -2584 2588 -2580 -2376 -2296 -2344 2252 2684 -2728 2388 -2164 -2340 -2080 -2180 2640 -2092 2272 -2660 2740 -2400 -2688 -2440 -2020 2612 2508 -2524 -2296 -2556 2692 -2188 -2020 2540 -2276 -2192 2060 -2076 2020 -2548 -2164 -2552 -2024 -2468 2556 2384 -2028 2088 -2704 -2096 -2232 2532 2668 -2208 2296 -2212 2220 -2660 2508 -2708 -2164 -2356 -2220 -2396 -2084 -2592 2612 -2412 -2324 2484 -2248 -2700 -2504 -2156 2588 -2348 -2284 -2068 -2624 2464 2284 2020 2020 2440 -2724 2024 2576 -2656 2312 -2244 2056 -2476 -2296 -2100 -2104 2644 2332 2596 2452 2036 -2464 2416 -2472 -2032 2516 -2456 2564 2276 2432 2092 -2072 2552 2348 -2332 -2040 2156 2304 2692 -2388 2236 -2332 2668 -2544 2252 -2564 2088 2060 2672 2204 2564 2320 -2032 -2140 -2024 -2720 -2452 2736 -2324 2120 -2544 2060 -2504 -2076 2212 -2228 2204 -2352 2680 -2536 -2212 -2440 2316 2428 -2344 2540 2068 -2340 2476 2548 2180 -2596 2344 -2732 2396 2712 2216 2600 -2200 -2036 -2376 -2120 -2740 -2132 -2620 -2076 2464 2020 2720 -2368 -2132 2216 -2544 2076 -2536 -2668 2528 -2204 2672 -2396 2492 -2580 2684 -2504 2448 2364 2664 2284 2040 2400 -2424 -2248 -2692 2596 -2664 2252 2328 -2336 2372 2076 2480 2684 -2600 -2736 2300 2060 -2668 -2584 -2696 -2320 2096 -2292 2060 2064 -2276 -2536 2540 -2144 -2692 -2384 -2672 -2652 2180 -2424 -2600 -2732 -2564 2728 -2712 2368 -2208 2120 2512 2504 2284 2104 2060 -2332 -2544 2476 2064 -2660 -2468 2472 -2124 -2700 2228 -2220 -2596 -2616 -2536 2128 -2524 2536 2312 -2344 2520 2352 2032 -2048 -2116 2384 2260 2540 2464 -2636 -2692 2672 -2044 -2464 2392 2704 2064 2732 2480 2216 -2092 -2136 -2468 2252 2680 -2600 2668 -2612 -2128 2700 -2340 -2184 2392 -2264 -2588 -2464 -2044 2700 2060 2364 -2288 -2124 -2740 -2496 2352 -2068 2020 2724 2356 2740 2280 2112 2088 2348 2024 2652 -2408 -2740 2508 -2592 -2308 -2468 -2292 2256 -2504 -2600 2252 2376 2292 2624 2100 2416 2148 -2076 -2560 2264 -2100 -2496 -2576 -2584 2360 -2344 -2332 2564 2588 2164 2288 2060 -2616 -2204 2144 2256 2252 -2080 2032 -2504 2632 2444 -2496 -2292 -2020 2444 -2076 2168 2372 2212 2084 -2576 -2604 -2440 -2036 -2408 -2288 2584 2680 -2648 2104 -2732 2732 2652 -2684 2480 2560 2684 -2564 -2576

Verifier Data (download as text)

397 unsatisfied constraints, 14635 satisfied constraints

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node47/watcher-275292-1169219622 -o ROOT/results/node47/solver-275292-1169219622 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275292-1169219622/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/81 877
/proc/meminfo: memFree=1494560/2055920 swapFree=4184008/4192956
[pid=876] ppid=874 vsize=9948 CPUtime=0
/proc/876/stat : 876 (java) S 874 876 331 0 -1 0 723 0 0 0 0 0 0 0 18 0 1 0 270361454 10186752 472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/876/statm: 2487 472 386 14 0 1142 0

[startup+0.10342 s]
/proc/loadavg: 2.02 2.01 1.96 4/81 877
/proc/meminfo: memFree=1494560/2055920 swapFree=4184008/4192956
[pid=876] ppid=874 vsize=914988 CPUtime=0.08
/proc/876/stat : 876 (java) R 874 876 331 0 -1 0 2956 0 1 0 7 1 0 0 19 0 8 0 270361454 936947712 2702 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582897 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/876/statm: 228747 2702 1416 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511466 s]
/proc/loadavg: 2.02 2.01 1.96 4/81 877
/proc/meminfo: memFree=1494560/2055920 swapFree=4184008/4192956
[pid=876] ppid=874 vsize=915332 CPUtime=0.45
/proc/876/stat : 876 (java) R 874 876 331 0 -1 0 6442 0 13 0 41 4 0 0 18 0 8 0 270361454 937299968 6193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/876/statm: 228833 6193 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915332

[startup+1.33455 s]
/proc/loadavg: 2.02 2.01 1.96 3/88 884
/proc/meminfo: memFree=1424424/2055920 swapFree=4184008/4192956
[pid=876] ppid=874 vsize=915636 CPUtime=1.27
/proc/876/stat : 876 (java) R 874 876 331 0 -1 0 21006 0 13 0 116 11 0 0 23 0 8 0 270361454 937611264 20755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073595673 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/876/statm: 228909 20755 2161 14 0 215379 0
[pid=876/tid=878] ppid=874 vsize=915636 CPUtime=0.06
/proc/876/task/878/stat : 878 (java) S 874 876 331 0 -1 64 4474 0 0 0 5 1 0 0 16 0 8 0 270361457 937611264 20755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=879] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/879/stat : 879 (java) S 874 876 331 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270361458 937611264 20755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=880] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/880/stat : 880 (java) S 874 876 331 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270361458 937611264 20755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=881] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/881/stat : 881 (java) S 874 876 331 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270361462 937611264 20755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=882] ppid=874 vsize=915636 CPUtime=0.14
/proc/876/task/882/stat : 882 (java) S 874 876 331 0 -1 64 395 0 0 0 14 0 0 0 16 0 8 0 270361462 937611264 20755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=883] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/883/stat : 883 (java) S 874 876 331 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270361462 937611264 20755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=884] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/884/stat : 884 (java) S 874 876 331 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270361462 937611264 20755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915636

[startup+2.98472 s]
/proc/loadavg: 2.02 2.01 1.96 3/88 884
/proc/meminfo: memFree=1416488/2055920 swapFree=4184008/4192956
[pid=876] ppid=874 vsize=915636 CPUtime=2.91
/proc/876/stat : 876 (java) R 874 876 331 0 -1 0 21081 0 13 0 280 11 0 0 25 0 8 0 270361454 937611264 20829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794038 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/876/statm: 228909 20829 2181 14 0 215379 0
[pid=876/tid=878] ppid=874 vsize=915636 CPUtime=0.06
/proc/876/task/878/stat : 878 (java) S 874 876 331 0 -1 64 4474 0 0 0 5 1 0 0 17 0 8 0 270361457 937611264 20829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=879] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/879/stat : 879 (java) S 874 876 331 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270361458 937611264 20829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=880] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/880/stat : 880 (java) S 874 876 331 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270361458 937611264 20829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=881] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/881/stat : 881 (java) S 874 876 331 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270361462 937611264 20829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=882] ppid=874 vsize=915636 CPUtime=0.17
/proc/876/task/882/stat : 882 (java) S 874 876 331 0 -1 64 407 0 0 0 16 1 0 0 15 0 8 0 270361462 937611264 20829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=883] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/883/stat : 883 (java) S 874 876 331 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270361462 937611264 20829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=884] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/884/stat : 884 (java) S 874 876 331 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270361462 937611264 20829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915636

[startup+6.26407 s]
/proc/loadavg: 2.02 2.01 1.96 3/88 884
/proc/meminfo: memFree=1416232/2055920 swapFree=4184008/4192956
[pid=876] ppid=874 vsize=915636 CPUtime=6.15
/proc/876/stat : 876 (java) R 874 876 331 0 -1 0 21098 0 13 0 604 11 0 0 25 0 8 0 270361454 937611264 20846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795223 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/876/statm: 228909 20846 2182 14 0 215379 0
[pid=876/tid=878] ppid=874 vsize=915636 CPUtime=0.06
/proc/876/task/878/stat : 878 (java) S 874 876 331 0 -1 64 4474 0 0 0 5 1 0 0 16 0 8 0 270361457 937611264 20846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=879] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/879/stat : 879 (java) S 874 876 331 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270361458 937611264 20846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=880] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/880/stat : 880 (java) S 874 876 331 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270361458 937611264 20846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=881] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/881/stat : 881 (java) S 874 876 331 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270361462 937611264 20846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=882] ppid=874 vsize=915636 CPUtime=0.19
/proc/876/task/882/stat : 882 (java) S 874 876 331 0 -1 64 423 0 0 0 18 1 0 0 15 0 8 0 270361462 937611264 20846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=883] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/883/stat : 883 (java) S 874 876 331 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270361462 937611264 20846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=884] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/884/stat : 884 (java) S 874 876 331 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270361462 937611264 20846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915636

[startup+12.7538 s]
/proc/loadavg: 2.01 2.01 1.96 3/88 884
/proc/meminfo: memFree=1416296/2055920 swapFree=4184008/4192956
[pid=876] ppid=874 vsize=915636 CPUtime=12.58
/proc/876/stat : 876 (java) R 874 876 331 0 -1 0 21101 0 13 0 1246 12 0 0 25 0 8 0 270361454 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794000 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/876/statm: 228909 20848 2182 14 0 215379 0
[pid=876/tid=878] ppid=874 vsize=915636 CPUtime=0.06
/proc/876/task/878/stat : 878 (java) S 874 876 331 0 -1 64 4474 0 0 0 5 1 0 0 16 0 8 0 270361457 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=879] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/879/stat : 879 (java) S 874 876 331 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270361458 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=880] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/880/stat : 880 (java) S 874 876 331 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270361458 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=881] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/881/stat : 881 (java) S 874 876 331 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270361462 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=882] ppid=874 vsize=915636 CPUtime=0.19
/proc/876/task/882/stat : 882 (java) S 874 876 331 0 -1 64 425 0 0 0 18 1 0 0 15 0 8 0 270361462 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=883] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/883/stat : 883 (java) S 874 876 331 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270361462 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=884] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/884/stat : 884 (java) S 874 876 331 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270361462 937611264 20848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915636

[startup+25.5981 s]
/proc/loadavg: 2.01 2.01 1.96 3/88 884
/proc/meminfo: memFree=1414056/2055920 swapFree=4184008/4192956
[pid=876] ppid=874 vsize=915636 CPUtime=25.31
/proc/876/stat : 876 (java) R 874 876 331 0 -1 0 21723 0 13 0 2515 16 0 0 25 0 8 0 270361454 937611264 21467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810877 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/876/statm: 228909 21467 2182 14 0 215379 0
[pid=876/tid=878] ppid=874 vsize=915636 CPUtime=0.12
/proc/876/task/878/stat : 878 (java) S 874 876 331 0 -1 64 5088 0 0 0 11 1 0 0 16 0 8 0 270361457 937611264 21467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=879] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/879/stat : 879 (java) S 874 876 331 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270361458 937611264 21467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=880] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/880/stat : 880 (java) S 874 876 331 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270361458 937611264 21467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=881] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/881/stat : 881 (java) S 874 876 331 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270361462 937611264 21467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=882] ppid=874 vsize=915636 CPUtime=0.2
/proc/876/task/882/stat : 882 (java) S 874 876 331 0 -1 64 430 0 0 0 19 1 0 0 16 0 8 0 270361462 937611264 21467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=883] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/883/stat : 883 (java) S 874 876 331 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270361462 937611264 21467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=884] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/884/stat : 884 (java) S 874 876 331 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270361462 937611264 21467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915636

[startup+51.2219 s]
/proc/loadavg: 2.01 2.00 1.96 3/88 884
/proc/meminfo: memFree=1401768/2055920 swapFree=4184008/4192956
[pid=876] ppid=874 vsize=915636 CPUtime=50.69
/proc/876/stat : 876 (java) R 874 876 331 0 -1 0 24792 0 13 0 5044 25 0 0 25 0 8 0 270361454 937611264 24533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799527 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/876/statm: 228909 24533 2182 14 0 215379 0
[pid=876/tid=878] ppid=874 vsize=915636 CPUtime=0.23
/proc/876/task/878/stat : 878 (java) S 874 876 331 0 -1 64 8146 0 0 0 21 2 0 0 16 0 8 0 270361457 937611264 24533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=879] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/879/stat : 879 (java) S 874 876 331 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270361458 937611264 24533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=880] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/880/stat : 880 (java) S 874 876 331 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270361458 937611264 24533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=881] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/881/stat : 881 (java) S 874 876 331 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270361462 937611264 24533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=882] ppid=874 vsize=915636 CPUtime=0.21
/proc/876/task/882/stat : 882 (java) S 874 876 331 0 -1 64 438 0 0 0 20 1 0 0 16 0 8 0 270361462 937611264 24533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=883] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/883/stat : 883 (java) S 874 876 331 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270361462 937611264 24533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=884] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/884/stat : 884 (java) S 874 876 331 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270361462 937611264 24533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 915636

[startup+102.482 s]
/proc/loadavg: 2.04 2.01 1.97 3/88 884
/proc/meminfo: memFree=1380904/2055920 swapFree=4184008/4192956
[pid=876] ppid=874 vsize=915636 CPUtime=101.43
/proc/876/stat : 876 (java) R 874 876 331 0 -1 0 30330 0 13 0 10100 43 0 0 25 0 8 0 270361454 937611264 30065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797159 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/876/statm: 228909 30065 2501 14 0 215379 0
[pid=876/tid=878] ppid=874 vsize=915636 CPUtime=0.62
/proc/876/task/878/stat : 878 (java) S 874 876 331 0 -1 64 13304 0 0 0 58 4 0 0 16 0 8 0 270361457 937611264 30065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=879] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/879/stat : 879 (java) S 874 876 331 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270361458 937611264 30065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=880] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/880/stat : 880 (java) S 874 876 331 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270361458 937611264 30065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=881] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/881/stat : 881 (java) S 874 876 331 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270361462 937611264 30065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=882] ppid=874 vsize=915636 CPUtime=0.27
/proc/876/task/882/stat : 882 (java) S 874 876 331 0 -1 64 467 0 0 0 26 1 0 0 16 0 8 0 270361462 937611264 30065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=883] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/883/stat : 883 (java) S 874 876 331 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270361462 937611264 30065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=884] ppid=874 vsize=915636 CPUtime=0
/proc/876/task/884/stat : 884 (java) S 874 876 331 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270361462 937611264 30065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.43
Current children cumulated vsize (KiB) 915636

[startup+162.483 s]
/proc/loadavg: 2.09 2.03 1.97 3/88 884
/proc/meminfo: memFree=1380904/2055920 swapFree=4184008/4192956
[pid=876] ppid=874 vsize=915636 CPUtime=160.86
/proc/876/stat : 876 (java) R 874 876 331 0 -1 0 30332 0 13 0 16036 50 0 0 25 0 8 0 270361454 937611264 30067 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073988150 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2084.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 960
/proc/meminfo: memFree=1342888/2055920 swapFree=4184008/4192956
[pid=876] ppid=874 vsize=915936 CPUtime=2070.46
/proc/876/stat : 876 (java) R 874 876 331 0 -1 0 39643 0 13 0 206973 73 0 0 25 0 8 0 270361454 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074245863 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/876/statm: 228984 39359 2548 14 0 215454 0
[pid=876/tid=878] ppid=874 vsize=915936 CPUtime=0.74
/proc/876/task/878/stat : 878 (java) S 874 876 331 0 -1 64 22379 0 0 0 66 8 0 0 16 0 8 0 270361457 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=876/tid=879] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/879/stat : 879 (java) S 874 876 331 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270361458 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=880] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/880/stat : 880 (java) S 874 876 331 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270361458 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=881] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/881/stat : 881 (java) S 874 876 331 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270361462 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=882] ppid=874 vsize=915936 CPUtime=0.4
/proc/876/task/882/stat : 882 (java) S 874 876 331 0 -1 64 597 0 0 0 38 2 0 0 16 0 8 0 270361462 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=876/tid=883] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/883/stat : 883 (java) S 874 876 331 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270361462 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=884] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/884/stat : 884 (java) S 874 876 331 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270361462 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2070.46
Current children cumulated vsize (KiB) 915936

[startup+2144.79 s]
/proc/loadavg: 2.07 2.03 2.01 3/88 960
/proc/meminfo: memFree=1342824/2055920 swapFree=4184008/4192956
[pid=876] ppid=874 vsize=915936 CPUtime=2130.26
/proc/876/stat : 876 (java) R 874 876 331 0 -1 0 39643 0 13 0 212953 73 0 0 25 0 8 0 270361454 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074248670 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/876/statm: 228984 39359 2548 14 0 215454 0
[pid=876/tid=878] ppid=874 vsize=915936 CPUtime=0.74
/proc/876/task/878/stat : 878 (java) S 874 876 331 0 -1 64 22379 0 0 0 66 8 0 0 16 0 8 0 270361457 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=876/tid=879] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/879/stat : 879 (java) S 874 876 331 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270361458 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=880] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/880/stat : 880 (java) S 874 876 331 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270361458 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=881] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/881/stat : 881 (java) S 874 876 331 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270361462 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=882] ppid=874 vsize=915936 CPUtime=0.4
/proc/876/task/882/stat : 882 (java) S 874 876 331 0 -1 64 597 0 0 0 38 2 0 0 16 0 8 0 270361462 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=876/tid=883] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/883/stat : 883 (java) S 874 876 331 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270361462 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=884] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/884/stat : 884 (java) S 874 876 331 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270361462 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2130.26
Current children cumulated vsize (KiB) 915936

[startup+2204.88 s]
/proc/loadavg: 2.02 2.02 2.00 3/88 960
/proc/meminfo: memFree=1342824/2055920 swapFree=4184008/4192956
[pid=876] ppid=874 vsize=915936 CPUtime=2190.07
/proc/876/stat : 876 (java) R 874 876 331 0 -1 0 39643 0 13 0 218934 73 0 0 25 0 8 0 270361454 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074245856 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/876/statm: 228984 39359 2548 14 0 215454 0
[pid=876/tid=878] ppid=874 vsize=915936 CPUtime=0.74
/proc/876/task/878/stat : 878 (java) S 874 876 331 0 -1 64 22379 0 0 0 66 8 0 0 16 0 8 0 270361457 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=876/tid=879] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/879/stat : 879 (java) S 874 876 331 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270361458 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=880] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/880/stat : 880 (java) S 874 876 331 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270361458 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=881] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/881/stat : 881 (java) S 874 876 331 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270361462 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=882] ppid=874 vsize=915936 CPUtime=0.4
/proc/876/task/882/stat : 882 (java) S 874 876 331 0 -1 64 597 0 0 0 38 2 0 0 16 0 8 0 270361462 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=876/tid=883] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/883/stat : 883 (java) S 874 876 331 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270361462 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=884] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/884/stat : 884 (java) S 874 876 331 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270361462 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2190.07
Current children cumulated vsize (KiB) 915936

[startup+2264.97 s]
/proc/loadavg: 2.01 2.01 2.00 3/88 960
/proc/meminfo: memFree=1342888/2055920 swapFree=4184008/4192956
[pid=876] ppid=874 vsize=915936 CPUtime=2249.86
/proc/876/stat : 876 (java) R 874 876 331 0 -1 0 39643 0 13 0 224912 74 0 0 25 0 8 0 270361454 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074245931 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/876/statm: 228984 39359 2548 14 0 215454 0
[pid=876/tid=878] ppid=874 vsize=915936 CPUtime=0.74
/proc/876/task/878/stat : 878 (java) S 874 876 331 0 -1 64 22379 0 0 0 66 8 0 0 16 0 8 0 270361457 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=876/tid=879] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/879/stat : 879 (java) S 874 876 331 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270361458 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=880] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/880/stat : 880 (java) S 874 876 331 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270361458 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=881] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/881/stat : 881 (java) S 874 876 331 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270361462 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=882] ppid=874 vsize=915936 CPUtime=0.4
/proc/876/task/882/stat : 882 (java) S 874 876 331 0 -1 64 597 0 0 0 38 2 0 0 16 0 8 0 270361462 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=876/tid=883] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/883/stat : 883 (java) S 874 876 331 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270361462 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=884] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/884/stat : 884 (java) S 874 876 331 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270361462 937918464 39359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2249.86
Current children cumulated vsize (KiB) 915936

[startup+2325.05 s]
/proc/loadavg: 2.00 2.01 2.00 3/88 960
/proc/meminfo: memFree=1342824/2055920 swapFree=4184008/4192956
[pid=876] ppid=874 vsize=915936 CPUtime=2309.64
/proc/876/stat : 876 (java) R 874 876 331 0 -1 0 39657 0 13 0 230890 74 0 0 25 0 8 0 270361454 937918464 39370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074240479 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/876/statm: 228984 39370 2551 14 0 215454 0
[pid=876/tid=878] ppid=874 vsize=915936 CPUtime=0.74
/proc/876/task/878/stat : 878 (java) S 874 876 331 0 -1 64 22380 0 0 0 66 8 0 0 16 0 8 0 270361457 937918464 39370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=876/tid=879] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/879/stat : 879 (java) S 874 876 331 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270361458 937918464 39370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=880] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/880/stat : 880 (java) S 874 876 331 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270361458 937918464 39370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=881] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/881/stat : 881 (java) S 874 876 331 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270361462 937918464 39370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=882] ppid=874 vsize=915936 CPUtime=0.41
/proc/876/task/882/stat : 882 (java) S 874 876 331 0 -1 64 604 0 0 0 39 2 0 0 16 0 8 0 270361462 937918464 39370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=876/tid=883] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/883/stat : 883 (java) S 874 876 331 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270361462 937918464 39370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=884] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/884/stat : 884 (java) S 874 876 331 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270361462 937918464 39370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2309.64
Current children cumulated vsize (KiB) 915936

[startup+2385.14 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 960
/proc/meminfo: memFree=1342824/2055920 swapFree=4184008/4192956
[pid=876] ppid=874 vsize=915936 CPUtime=2369.41
/proc/876/stat : 876 (java) R 874 876 331 0 -1 0 39657 0 13 0 236867 74 0 0 25 0 8 0 270361454 937918464 39370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074240437 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/876/statm: 228984 39370 2551 14 0 215454 0
[pid=876/tid=878] ppid=874 vsize=915936 CPUtime=0.74
/proc/876/task/878/stat : 878 (java) S 874 876 331 0 -1 64 22380 0 0 0 66 8 0 0 16 0 8 0 270361457 937918464 39370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=876/tid=879] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/879/stat : 879 (java) S 874 876 331 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270361458 937918464 39370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=880] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/880/stat : 880 (java) S 874 876 331 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270361458 937918464 39370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=881] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/881/stat : 881 (java) S 874 876 331 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270361462 937918464 39370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=882] ppid=874 vsize=915936 CPUtime=0.41
/proc/876/task/882/stat : 882 (java) S 874 876 331 0 -1 64 604 0 0 0 39 2 0 0 16 0 8 0 270361462 937918464 39370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=876/tid=883] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/883/stat : 883 (java) S 874 876 331 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270361462 937918464 39370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=884] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/884/stat : 884 (java) S 874 876 331 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270361462 937918464 39370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2369.41
Current children cumulated vsize (KiB) 915936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2415.92 s]
/proc/loadavg: 2.00 2.00 2.00 3/88 960
/proc/meminfo: memFree=1342760/2055920 swapFree=4184008/4192956
[pid=876] ppid=874 vsize=915936 CPUtime=2400.02
/proc/876/stat : 876 (java) R 874 876 331 0 -1 0 39657 0 13 0 239928 74 0 0 25 0 8 0 270361454 937918464 39370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074100682 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/876/statm: 228984 39370 2551 14 0 215454 0
[pid=876/tid=878] ppid=874 vsize=915936 CPUtime=0.74
/proc/876/task/878/stat : 878 (java) S 874 876 331 0 -1 64 22380 0 0 0 66 8 0 0 16 0 8 0 270361457 937918464 39370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=876/tid=879] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/879/stat : 879 (java) S 874 876 331 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270361458 937918464 39370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=880] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/880/stat : 880 (java) S 874 876 331 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270361458 937918464 39370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=881] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/881/stat : 881 (java) S 874 876 331 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270361462 937918464 39370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=882] ppid=874 vsize=915936 CPUtime=0.41
/proc/876/task/882/stat : 882 (java) S 874 876 331 0 -1 64 604 0 0 0 39 2 0 0 16 0 8 0 270361462 937918464 39370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=876/tid=883] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/883/stat : 883 (java) S 874 876 331 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270361462 937918464 39370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=876/tid=884] ppid=874 vsize=915936 CPUtime=0
/proc/876/task/884/stat : 884 (java) S 874 876 331 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270361462 937918464 39370 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 915936

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

Child status: 143
Real time (s): 2415.98
CPU time (s): 2400.08
CPU user time (s): 2399.3
CPU system time (s): 0.772882
CPU usage (%): 99.3418
Max. virtual memory (cumulated for all children) (KiB): 915936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.3
system time used= 0.772882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39680
page faults= 13
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50699
involuntary context switches= 69027

runsolver used 3.09153 s user time and 7.72982 s system time

The end

Launcher Data (download as text)

Begin job on node47 on Fri Jan 19 15:13:42 UTC 2007


IDJOB= 275292
IDBENCH= 3768
IDSOLVER= 69
FILE ID= node47/275292-1169219622

PBS_JOBID= 3589141

Free space on /tmp= 66561 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  9f6fab3cbce8258078edbda9a5e9d13f

RANDOM SEED= 901188495

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:       1495040 kB
Buffers:         38748 kB
Cached:         423040 kB
SwapCached:       2924 kB
Active:          93552 kB
Inactive:       392640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1495040 kB
SwapTotal:     4192956 kB
SwapFree:      4184008 kB
Dirty:            3664 kB
Writeback:           0 kB
Mapped:          37944 kB
Slab:            59968 kB
Committed_AS:  4855808 kB
PageTables:       1940 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB



End job on node47 on Fri Jan 19 15:53:58 UTC 2007