Trace number 275276

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 2421.61

General information on the benchmark

Namefapp/fapp11-15/fapp11/
fapp11-1000-5.xml
MD5SUMb661827da205822238b3e0d3c05549cf
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints14581
Best CPU time to get the best result obtained on this benchmark2400.1
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.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=epfc.xml
0.38	   
0.38	   instance
0.38	     name=/tmp/evaluation/275276-1169219158/unknown.xml
0.41	   
0.41	   domains being loaded...
0.45	   
0.45	   variables being loaded...
0.62	     nbVariables=1000  nbDomainTypes=18  minDomainSize=50  maxDomainSize=362
0.62	       =>  wckTime=0.27  cpuTime=0.19  mem=17M615
0.62	   
0.62	   predicates being loaded...
0.62	   
0.62	   constraints being loaded...
61.26	   
61.26	   INFO : Stopping converting binary constraints (cpu=60.02, mem = 73M47)
62.35	     nbConstraints=15032  nbConvertedConstraints=4388  nbConvertConstraintsChecks=189478148  nbExtensionStructures=2601
62.35	     nbSharedExtensionStructures=1787  nbConflictsStructures=2601  nbSharedConflictsStructures=1787
62.35	     nbSharedBinaryRepresentations=1323812  nbEvaluationManagers=5145  nbSharedEvaluationManagers=5499  maxDegree=51
62.35	     maxArity=2
62.35	       =>  wckTime=62.001  cpuTime=60.85  mem=49M883
62.57	   
62.57	   solver LocalSearchSolver being built... 
62.61	       =>  wckTime=62.262  cpuTime=60.89  mem=47M432
62.69	
62.69	s SATISFIABLE
62.69	o 12040
62.69	c 2992
62.72	o 12049
62.72	c 2983
62.75	o 12059
62.75	c 2973
62.77	o 12070
62.77	c 2962
62.79	o 12077
62.79	c 2955
62.81	o 12085
62.81	c 2947
62.85	o 12097
62.85	c 2935
62.88	o 12102
62.88	c 2930
62.90	o 12106
62.90	c 2926
62.93	o 12113
62.93	c 2919
62.97	o 12120
62.97	c 2912
62.99	o 12125
62.99	c 2907
63.01	o 12129
63.01	c 2903
63.04	o 12132
63.04	c 2900
63.06	o 12133
63.06	c 2899
63.10	o 12137
63.10	c 2895
63.12	o 12146
63.12	c 2886
63.15	o 12155
63.15	c 2877
63.18	o 12163
63.18	c 2869
63.22	o 12170
63.22	c 2862
63.25	o 12177
63.25	c 2855
63.29	o 12183
63.29	c 2849
63.32	o 12189
63.32	c 2843
63.36	o 12194
63.36	c 2838
63.40	o 12199
63.40	c 2833
63.44	o 12204
63.44	c 2828
63.47	o 12208
63.47	c 2824
63.49	o 12212
63.49	c 2820
63.51	o 12215
63.51	c 2817
63.54	o 12219
63.54	c 2813
63.56	o 12222
63.56	c 2810
63.58	o 12224
63.58	c 2808
63.60	o 12226
63.60	c 2806
63.66	o 12231
63.66	c 2801
63.69	o 12233
63.69	c 2799
63.71	o 12237
63.71	c 2795
63.74	o 12239
63.74	c 2793
63.77	o 12246
63.77	c 2786
63.83	o 12251
63.83	c 2781
63.85	o 12259
63.85	c 2773
63.88	o 12265
63.88	c 2767
63.90	o 12273
63.90	c 2759
63.97	o 12280
63.97	c 2752
64.00	o 12286
64.00	c 2746
64.03	o 12291
64.03	c 2741
64.06	o 12296
64.06	c 2736
64.09	o 12301
64.09	c 2731
64.11	o 12305
64.11	c 2727
64.14	o 12308
64.14	c 2724
64.16	o 12311
64.16	c 2721
64.18	o 12313
64.18	c 2719
64.22	o 12316
64.22	c 2716
64.23	o 12318
64.23	c 2714
64.24	o 12319
64.24	c 2713
64.27	o 12320
64.27	c 2712
64.31	o 12321
64.31	c 2711
64.34	o 12326
64.34	c 2706
64.37	o 12330
64.37	c 2702
64.38	o 12331
64.38	c 2701
64.41	o 12337
64.41	c 2695
64.43	o 12338
64.43	c 2694
64.45	o 12346
64.45	c 2686
64.48	o 12354
64.48	c 2678
64.50	o 12356
64.50	c 2676
64.54	o 12362
64.54	c 2670
64.58	o 12368
64.58	c 2664
64.61	o 12374
64.61	c 2658
64.65	o 12380
64.65	c 2652
64.68	o 12386
64.68	c 2646
64.71	o 12392
64.71	c 2640
64.76	o 12396
64.76	c 2636
64.79	o 12400
64.79	c 2632
64.83	o 12404
64.83	c 2628
64.86	o 12408
64.86	c 2624
64.89	o 12412
64.89	c 2620
64.92	o 12416
64.92	c 2616
64.95	o 12419
64.95	c 2613
64.98	o 12422
64.98	c 2610
65.01	o 12425
65.01	c 2607
65.05	o 12428
65.05	c 2604
65.08	o 12432
65.08	c 2600
65.11	o 12434
65.11	c 2598
65.13	o 12436
65.13	c 2596
65.15	o 12438
65.15	c 2594
65.17	o 12440
65.17	c 2592
65.21	o 12441
65.21	c 2591
65.24	o 12444
65.24	c 2588
65.26	o 12445
65.26	c 2587
65.29	o 12448
65.29	c 2584
65.32	o 12453
65.32	c 2579
65.33	o 12458
65.33	c 2574
65.35	o 12460
65.35	c 2572
65.37	o 12465
65.37	c 2567
65.39	o 12470
65.39	c 2562
65.41	o 12472
65.41	c 2560
65.43	o 12476
65.43	c 2556
65.46	o 12482
65.46	c 2550
65.49	o 12483
65.49	c 2549
65.52	o 12484
65.52	c 2548
65.53	o 12487
65.53	c 2545
65.57	o 12493
65.57	c 2539
65.63	o 12495
65.63	c 2537
65.68	o 12501
65.68	c 2531
65.72	o 12507
65.72	c 2525
65.76	o 12512
65.76	c 2520
65.80	o 12516
65.80	c 2516
65.84	o 12520
65.84	c 2512
65.87	o 12523
65.87	c 2509
65.92	o 12526
65.92	c 2506
65.95	o 12528
65.95	c 2504
65.98	o 12530
65.98	c 2502
66.01	o 12532
66.01	c 2500
66.04	o 12533
66.04	c 2499
66.07	o 12534
66.07	c 2498
66.09	o 12535
66.09	c 2497
66.12	o 12536
66.12	c 2496
66.15	o 12537
66.15	c 2495
66.17	o 12538
66.17	c 2494
66.20	o 12539
66.20	c 2493
66.26	o 12542
66.26	c 2490
66.29	o 12547
66.29	c 2485
66.32	o 12549
66.32	c 2483
66.36	o 12553
66.36	c 2479
66.40	o 12555
66.40	c 2477
66.43	o 12558
66.43	c 2474
66.47	o 12559
66.47	c 2473
66.54	o 12562
66.54	c 2470
66.56	o 12564
66.56	c 2468
66.60	o 12569
66.60	c 2463
66.63	o 12570
66.63	c 2462
66.66	o 12572
66.66	c 2460
66.72	o 12574
66.72	c 2458
66.76	o 12577
66.76	c 2455
66.82	o 12578
66.82	c 2454
66.86	o 12581
66.86	c 2451
66.89	o 12583
66.89	c 2449
66.92	o 12585
66.92	c 2447
66.94	o 12589
66.94	c 2443
66.97	o 12593
66.97	c 2439
67.03	o 12598
67.03	c 2434
67.07	o 12603
67.08	c 2429
67.11	o 12606
67.11	c 2426
67.16	o 12607
67.16	c 2425
67.20	o 12611
67.20	c 2421
67.24	o 12617
67.24	c 2415
67.29	o 12623
67.29	c 2409
67.34	o 12628
67.34	c 2404
67.40	o 12632
67.40	c 2400
67.46	o 12634
67.46	c 2398
67.50	o 12638
67.50	c 2394
67.55	o 12642
67.55	c 2390
67.59	o 12646
67.59	c 2386
67.65	o 12649
67.65	c 2383
67.69	o 12652
67.69	c 2380
67.89	o 12653
67.89	c 2379
67.93	o 12656
67.93	c 2376
67.97	o 12659
67.97	c 2373
68.04	o 12660
68.04	c 2372
68.07	o 12665
68.07	c 2367
68.11	o 12666
68.11	c 2366
68.15	o 12667
68.15	c 2365
68.18	o 12670
68.18	c 2362
68.23	o 12675
68.23	c 2357
68.56	o 12677
68.56	c 2355
68.63	o 12679
68.63	c 2353
68.67	o 12682
68.67	c 2350
68.77	o 12685
68.77	c 2347
68.82	o 12687
68.82	c 2345
68.86	o 12689
68.86	c 2343
68.91	o 12694
68.91	c 2338
68.95	o 12696
68.95	c 2336
68.98	o 12700
68.98	c 2332
69.04	o 12702
69.04	c 2330
69.08	o 12706
69.08	c 2326
69.16	o 12708
69.16	c 2324
69.23	o 12709
69.23	c 2323
69.35	o 12712
69.35	c 2320
69.38	o 12715
69.38	c 2317
69.41	o 12718
69.41	c 2314
69.47	o 12719
69.47	c 2313
69.49	o 12721
69.49	c 2311
69.53	o 12724
69.53	c 2308
69.56	o 12728
69.56	c 2304
69.58	o 12731
69.58	c 2301
69.61	o 12733
69.61	c 2299
69.66	o 12735
69.66	c 2297
69.69	o 12738
69.69	c 2294
69.72	o 12740
69.72	c 2292
69.74	o 12743
69.74	c 2289
69.77	o 12745
69.77	c 2287
69.80	o 12748
69.80	c 2284
69.86	o 12751
69.86	c 2281
69.89	o 12752
69.89	c 2280
69.95	o 12754
69.95	c 2278
69.98	o 12758
69.98	c 2274
70.00	o 12762
70.00	c 2270
70.02	o 12763
70.02	c 2269
70.06	o 12764
70.06	c 2268
70.11	o 12769
70.11	c 2263
70.18	o 12774
70.18	c 2258
70.22	o 12777
70.22	c 2255
70.26	o 12778
70.26	c 2254
70.31	o 12779
70.31	c 2253
70.35	o 12780
70.35	c 2252
70.40	o 12781
70.40	c 2251
70.45	o 12782
70.45	c 2250
70.55	o 12785
70.55	c 2247
70.59	o 12794
70.59	c 2238
70.69	o 12797
70.69	c 2235
70.73	o 12802
70.73	c 2230
70.81	o 12807
70.81	c 2225
70.84	o 12811
70.84	c 2221
70.91	o 12813
70.91	c 2219
70.95	o 12814
70.95	c 2218
70.97	o 12819
70.97	c 2213
71.01	o 12823
71.01	c 2209
71.03	o 12826
71.03	c 2206
71.07	o 12833
71.07	c 2199
71.11	o 12834
71.11	c 2198
71.15	o 12839
71.15	c 2193
71.18	o 12848
71.18	c 2184
71.22	o 12850
71.22	c 2182
71.27	o 12857
71.27	c 2175
71.31	o 12860
71.31	c 2172
71.37	o 12864
71.37	c 2168
71.41	o 12866
71.41	c 2166
71.44	o 12869
71.44	c 2163
71.48	o 12870
71.48	c 2162
71.52	o 12873
71.52	c 2159
71.54	o 12876
71.54	c 2156
71.58	o 12877
71.58	c 2155
71.61	o 12880
71.61	c 2152
71.69	o 12881
71.69	c 2151
71.73	o 12882
71.73	c 2150
71.82	o 12883
71.82	c 2149
71.89	o 12887
71.89	c 2145
71.92	o 12891
71.92	c 2141
71.95	o 12897
71.95	c 2135
71.98	o 12900
71.98	c 2132
72.01	o 12903
72.01	c 2129
72.05	o 12906
72.05	c 2126
72.08	o 12907
72.08	c 2125
72.12	o 12912
72.12	c 2120
72.15	o 12913
72.15	c 2119
72.19	o 12916
72.19	c 2116
72.21	o 12918
72.21	c 2114
72.24	o 12922
72.24	c 2110
72.30	o 12928
72.30	c 2104
72.34	o 12932
72.34	c 2100
72.38	o 12935
72.38	c 2097
72.42	o 12938
72.42	c 2094
72.47	o 12942
72.47	c 2090
72.51	o 12947
72.51	c 2085
72.59	o 12948
72.59	c 2084
72.63	o 12954
72.63	c 2078
72.66	o 12956
72.66	c 2076
72.69	o 12961
72.69	c 2071
72.74	o 12963
72.75	c 2069
72.77	o 12968
72.77	c 2064
72.79	o 12971
72.79	c 2061
72.82	o 12972
72.82	c 2060
72.85	o 12976
72.85	c 2056
72.88	o 12978
72.88	c 2054
72.93	o 12983
72.93	c 2049
72.96	o 12984
72.96	c 2048
73.00	o 12988
73.00	c 2044
73.02	o 12991
73.02	c 2041
73.05	o 12992
73.05	c 2040
73.12	o 12997
73.12	c 2035
73.19	o 13002
73.19	c 2030
73.22	o 13006
73.22	c 2026
73.25	o 13007
73.25	c 2025
73.28	o 13009
73.28	c 2023
73.30	o 13011
73.30	c 2021
73.33	o 13016
73.33	c 2016
73.36	o 13020
73.36	c 2012
73.39	o 13021
73.39	c 2011
73.47	o 13025
73.47	c 2007
73.52	o 13029
73.52	c 2003
73.56	o 13030
73.56	c 2002
73.60	o 13033
73.60	c 1999
73.63	o 13035
73.63	c 1997
73.67	o 13036
73.67	c 1996
73.70	o 13039
73.70	c 1993
73.74	o 13042
73.74	c 1990
73.81	o 13043
73.81	c 1989
73.83	o 13050
73.83	c 1982
73.92	o 13051
73.92	c 1981
73.95	o 13056
73.95	c 1976
73.99	o 13060
73.99	c 1972
74.03	o 13063
74.03	c 1969
74.06	o 13067
74.06	c 1965
74.13	o 13068
74.13	c 1964
74.18	o 13070
74.18	c 1962
74.22	o 13071
74.22	c 1961
74.26	o 13072
74.26	c 1960
74.30	o 13074
74.30	c 1958
74.34	o 13077
74.34	c 1955
74.39	o 13083
74.39	c 1949
74.42	o 13085
74.42	c 1947
74.45	o 13089
74.45	c 1943
74.48	o 13094
74.48	c 1938
74.52	o 13095
74.52	c 1937
74.55	o 13097
74.55	c 1935
74.59	o 13102
74.59	c 1930
74.68	o 13108
74.68	c 1924
74.71	o 13109
74.71	c 1923
74.74	o 13111
74.74	c 1921
74.79	o 13113
74.79	c 1919
74.83	o 13116
74.83	c 1916
74.95	o 13118
74.95	c 1914
75.06	o 13119
75.06	c 1913
75.09	o 13121
75.09	c 1911
75.10	o 13128
75.10	c 1904
75.13	o 13131
75.13	c 1901
75.25	o 13133
75.25	c 1899
75.29	o 13134
75.29	c 1898
75.36	o 13135
75.36	c 1897
75.40	o 13137
75.40	c 1895
75.45	o 13138
75.45	c 1894
75.49	o 13143
75.49	c 1889
75.59	o 13145
75.59	c 1887
75.64	o 13147
75.64	c 1885
75.74	o 13148
75.74	c 1884
75.77	o 13149
75.77	c 1883
75.82	o 13152
75.82	c 1880
75.91	o 13153
75.91	c 1879
75.96	o 13154
75.96	c 1878
76.04	o 13156
76.04	c 1876
76.08	o 13159
76.08	c 1873
76.12	o 13164
76.12	c 1868
76.17	o 13166
76.17	c 1866
76.43	o 13167
76.43	c 1865
76.55	o 13169
76.55	c 1863
76.60	o 13174
76.60	c 1858
76.67	o 13177
76.67	c 1855
76.73	o 13179
76.73	c 1853
76.86	o 13180
76.86	c 1852
76.92	o 13188
76.92	c 1844
76.98	o 13189
76.98	c 1843
77.09	o 13190
77.09	c 1842
77.14	o 13193
77.14	c 1839
77.19	o 13194
77.19	c 1838
77.24	o 13198
77.24	c 1834
77.30	o 13200
77.30	c 1832
77.38	o 13204
77.38	c 1828
77.44	o 13207
77.44	c 1825
77.50	o 13211
77.50	c 1821
77.58	o 13214
77.58	c 1818
77.64	o 13216
77.64	c 1816
77.71	o 13218
77.71	c 1814
77.83	o 13219
77.83	c 1813
77.90	o 13220
77.90	c 1812
77.96	o 13221
77.96	c 1811
78.16	o 13222
78.16	c 1810
78.22	o 13223
78.22	c 1809
78.29	o 13226
78.29	c 1806
78.35	o 13227
78.35	c 1805
78.42	o 13231
78.42	c 1801
78.48	o 13233
78.48	c 1799
78.54	o 13240
78.54	c 1792
78.60	o 13241
78.60	c 1791
78.66	o 13243
78.66	c 1789
78.83	o 13245
78.83	c 1787
78.95	o 13249
78.95	c 1783
79.02	o 13251
79.02	c 1781
79.08	o 13254
79.08	c 1778
79.27	o 13256
79.27	c 1776
79.34	o 13259
79.34	c 1773
79.46	o 13263
79.46	c 1769
79.61	o 13267
79.61	c 1765
79.67	o 13268
79.67	c 1764
79.72	o 13269
79.72	c 1763
79.83	o 13270
79.83	c 1762
79.88	o 13272
79.88	c 1760
79.95	o 13276
79.95	c 1756
79.99	o 13279
79.99	c 1753
80.04	o 13280
80.04	c 1752
80.09	o 13281
80.09	c 1751
80.14	o 13283
80.14	c 1749
80.35	o 13284
80.35	c 1748
80.41	o 13285
80.41	c 1747
80.48	o 13287
80.48	c 1745
80.52	o 13292
80.52	c 1740
80.58	o 13298
80.58	c 1734
80.63	o 13300
80.63	c 1732
80.69	o 13302
80.69	c 1730
80.75	o 13306
80.75	c 1726
80.80	o 13309
80.81	c 1723
80.99	o 13311
80.99	c 1721
81.10	o 13316
81.10	c 1716
81.16	o 13320
81.16	c 1712
81.21	o 13324
81.21	c 1708
81.27	o 13326
81.27	c 1706
81.37	o 13327
81.37	c 1705
81.43	o 13330
81.43	c 1702
81.50	o 13339
81.50	c 1693
81.55	o 13340
81.55	c 1692
81.66	o 13341
81.66	c 1691
81.71	o 13344
81.71	c 1688
81.76	o 13346
81.76	c 1686
81.92	o 13350
81.92	c 1682
81.97	o 13352
81.97	c 1680
82.02	o 13355
82.02	c 1677
82.04	o 13358
82.04	c 1674
82.08	o 13360
82.08	c 1672
82.13	o 13363
82.13	c 1669
82.21	o 13366
82.21	c 1666
82.57	o 13369
82.57	c 1663
82.61	o 13370
82.61	c 1662
82.67	o 13372
82.67	c 1660
82.70	o 13376
82.70	c 1656
82.74	o 13379
82.74	c 1653
82.79	o 13381
82.79	c 1651
82.88	o 13383
82.88	c 1649
83.07	o 13384
83.07	c 1648
83.12	o 13388
83.12	c 1644
83.16	o 13389
83.16	c 1643
83.25	o 13392
83.25	c 1640
83.29	o 13394
83.29	c 1638
83.35	o 13398
83.35	c 1634
83.39	o 13401
83.39	c 1631
83.44	o 13404
83.44	c 1628
83.50	o 13409
83.50	c 1623
83.61	o 13412
83.61	c 1620
83.66	o 13413
83.66	c 1619
83.72	o 13417
83.72	c 1615
83.84	o 13418
83.84	c 1614
83.90	o 13421
83.90	c 1611
83.95	o 13423
83.95	c 1609
84.02	o 13426
84.02	c 1606
84.07	o 13429
84.07	c 1603
84.13	o 13432
84.13	c 1600
84.18	o 13433
84.18	c 1599
84.22	o 13436
84.22	c 1596
84.30	o 13438
84.30	c 1594
84.35	o 13441
84.35	c 1591
84.44	o 13444
84.44	c 1588
84.49	o 13445
84.49	c 1587
84.54	o 13446
84.54	c 1586
84.60	o 13447
84.60	c 1585
84.65	o 13450
84.65	c 1582
84.70	o 13453
84.70	c 1579
84.75	o 13455
84.75	c 1577
84.80	o 13459
84.80	c 1573
84.84	o 13462
84.84	c 1570
84.90	o 13463
84.90	c 1569
84.96	o 13464
84.96	c 1568
85.03	o 13466
85.03	c 1566
85.16	o 13469
85.16	c 1563
85.23	o 13472
85.23	c 1560
85.35	o 13474
85.35	c 1558
85.41	o 13477
85.41	c 1555
85.60	o 13479
85.60	c 1553
85.65	o 13481
85.65	c 1551
85.71	o 13482
85.71	c 1550
85.77	o 13483
85.77	c 1549
85.83	o 13484
85.83	c 1548
85.89	o 13488
85.89	c 1544
86.02	o 13489
86.02	c 1543
86.27	o 13491
86.27	c 1541
86.35	o 13493
86.35	c 1539
86.42	o 13495
86.42	c 1537
86.56	o 13496
86.56	c 1536
86.63	o 13500
86.63	c 1532
86.70	o 13505
86.70	c 1527
86.78	o 13506
86.78	c 1526
86.85	o 13508
86.85	c 1524
86.93	o 13509
86.93	c 1523
86.99	o 13513
86.99	c 1519
87.14	o 13514
87.14	c 1518
87.20	o 13518
87.20	c 1514
87.60	o 13519
87.60	c 1513
87.69	o 13520
87.69	c 1512
87.75	o 13523
87.75	c 1509
87.96	o 13524
87.96	c 1508
88.04	o 13526
88.04	c 1506
88.18	o 13530
88.18	c 1502
88.26	o 13532
88.26	c 1500
88.33	o 13533
88.33	c 1499
88.49	o 13535
88.49	c 1497
88.56	o 13537
88.56	c 1495
88.66	o 13539
88.66	c 1493
88.74	o 13542
88.74	c 1490
88.81	o 13543
88.81	c 1489
88.88	o 13548
88.88	c 1484
88.96	o 13551
88.96	c 1481
89.03	o 13554
89.03	c 1478
89.17	o 13555
89.17	c 1477
89.33	o 13556
89.33	c 1476
89.50	o 13557
89.50	c 1475
89.58	o 13558
89.58	c 1474
89.66	o 13559
89.66	c 1473
89.79	o 13561
89.79	c 1471
89.88	o 13562
89.88	c 1470
90.07	o 13565
90.07	c 1467
90.15	o 13567
90.15	c 1465
90.27	o 13568
90.27	c 1464
90.33	o 13570
90.33	c 1462
90.38	o 13571
90.38	c 1461
90.52	o 13573
90.52	c 1459
90.58	o 13575
90.58	c 1457
90.78	o 13576
90.78	c 1456
90.85	o 13577
90.85	c 1455
91.01	o 13581
91.01	c 1451
91.10	o 13584
91.10	c 1448
91.18	o 13586
91.18	c 1446
91.25	o 13588
91.25	c 1444
91.32	o 13589
91.32	c 1443
91.40	o 13591
91.40	c 1441
91.46	o 13593
91.46	c 1439
92.05	o 13594
92.05	c 1438
92.13	o 13595
92.13	c 1437
92.22	o 13598
92.22	c 1434
92.38	o 13604
92.38	c 1428
92.47	o 13605
92.47	c 1427
92.63	o 13608
92.63	c 1424
92.70	o 13612
92.70	c 1420
92.77	o 13614
92.77	c 1418
92.85	o 13615
92.85	c 1417
93.00	o 13616
93.00	c 1416
93.06	o 13619
93.06	c 1413
93.47	o 13620
93.47	c 1412
93.60	o 13621
93.60	c 1411
93.66	o 13622
93.66	c 1410
93.73	o 13624
93.73	c 1408
93.86	o 13627
93.86	c 1405
94.01	o 13628
94.01	c 1404
94.09	o 13632
94.09	c 1400
94.16	o 13633
94.16	c 1399
94.29	o 13634
94.29	c 1398
94.37	o 13636
94.37	c 1396
94.45	o 13638
94.45	c 1394
94.75	o 13642
94.75	c 1390
94.99	o 13644
94.99	c 1388
95.07	o 13646
95.07	c 1386
95.15	o 13647
95.15	c 1385
95.41	o 13649
95.41	c 1383
95.49	o 13650
95.49	c 1382
95.86	o 13655
95.86	c 1377
96.13	o 13656
96.13	c 1376
96.21	o 13660
96.21	c 1372
96.27	o 13666
96.27	c 1366
96.32	o 13669
96.32	c 1363
96.41	o 13674
96.41	c 1358
96.49	o 13675
96.49	c 1357
96.56	o 13677
96.56	c 1355
96.63	o 13678
96.63	c 1354
96.71	o 13679
96.71	c 1353
96.87	o 13683
96.87	c 1349
96.94	o 13684
96.94	c 1348
97.02	o 13687
97.02	c 1345
97.08	o 13688
97.08	c 1344
97.15	o 13691
97.15	c 1341
97.23	o 13692
97.23	c 1340
97.37	o 13694
97.37	c 1338
97.44	o 13698
97.44	c 1334
97.76	o 13699
97.76	c 1333
97.83	o 13700
97.83	c 1332
97.98	o 13703
97.98	c 1329
98.06	o 13705
98.06	c 1327
98.13	o 13707
98.13	c 1325
98.20	o 13710
98.20	c 1322
98.60	o 13712
98.60	c 1320
99.41	o 13715
99.41	c 1317
99.49	o 13716
99.49	c 1316
99.59	o 13720
99.59	c 1312
99.93	o 13724
99.93	c 1308
99.97	o 13725
99.97	c 1307
100.08	o 13729
100.08	c 1303
100.39	o 13731
100.39	c 1301
100.61	o 13734
100.61	c 1298
100.68	o 13735
100.68	c 1297
101.24	o 13737
101.24	c 1295
101.39	o 13738
101.39	c 1294
101.98	o 13739
101.98	c 1293
102.07	o 13740
102.07	c 1292
102.16	o 13741
102.16	c 1291
102.27	o 13742
102.27	c 1290
102.36	o 13743
102.36	c 1289
102.46	o 13744
102.46	c 1288
102.55	o 13745
102.55	c 1287
102.63	o 13746
102.63	c 1286
102.72	o 13747
102.72	c 1285
102.81	o 13748
102.81	c 1284
102.89	o 13749
102.89	c 1283
103.07	o 13751
103.07	c 1281
103.29	o 13752
103.29	c 1280
103.36	o 13759
103.36	c 1273
103.41	o 13762
103.41	c 1270
103.69	o 13765
103.69	c 1267
103.82	o 13769
103.82	c 1263
103.95	o 13770
103.95	c 1262
104.11	o 13771
104.11	c 1261
104.18	o 13772
104.18	c 1260
104.26	o 13773
104.26	c 1259
104.57	o 13774
104.57	c 1258
104.65	o 13775
104.65	c 1257
105.22	o 13776
105.22	c 1256
105.41	o 13779
105.41	c 1253
105.50	o 13780
105.50	c 1252
105.68	o 13781
105.68	c 1251
105.78	o 13782
105.78	c 1250
105.96	o 13785
105.96	c 1247
106.05	o 13790
106.05	c 1242
106.30	o 13792
106.30	c 1240
106.47	o 13793
106.47	c 1239
106.56	o 13794
106.56	c 1238
106.64	o 13797
106.64	c 1235
106.72	o 13799
106.72	c 1233
106.81	o 13800
106.81	c 1232
106.88	o 13803
106.88	c 1229
107.13	o 13804
107.13	c 1228
107.24	o 13808
107.24	c 1224
107.31	o 13811
107.31	c 1221
107.50	o 13813
107.50	c 1219
107.58	o 13815
107.58	c 1217
107.67	o 13816
107.67	c 1216
107.94	o 13818
107.94	c 1214
108.22	o 13820
108.22	c 1212
108.31	o 13823
108.31	c 1209
108.42	o 13827
108.42	c 1205
108.60	o 13828
108.60	c 1204
109.31	o 13829
109.31	c 1203
109.40	o 13830
109.40	c 1202
109.48	o 13832
109.48	c 1200
109.67	o 13838
109.67	c 1194
109.77	o 13842
109.77	c 1190
109.87	o 13846
109.87	c 1186
109.97	o 13847
109.97	c 1185
110.08	o 13850
110.08	c 1182
110.19	o 13852
110.19	c 1180
110.29	o 13854
110.29	c 1178
110.38	o 13856
110.38	c 1176
110.90	o 13859
110.90	c 1173
111.14	o 13863
111.14	c 1169
111.93	o 13864
111.93	c 1168
112.05	o 13865
112.05	c 1167
112.26	o 13867
112.26	c 1165
112.38	o 13868
112.38	c 1164
112.49	o 13871
112.49	c 1161
112.61	o 13873
112.61	c 1159
112.73	o 13874
112.73	c 1158
112.84	o 13876
112.84	c 1156
113.22	o 13880
113.22	c 1152
113.45	o 13881
113.45	c 1151
113.58	o 13884
113.58	c 1148
113.83	o 13887
113.83	c 1145
113.96	o 13888
113.96	c 1144
114.36	o 13889
114.36	c 1143
114.48	o 13890
114.48	c 1142
116.22	o 13892
116.22	c 1140
116.36	o 13894
116.36	c 1138
116.98	o 13896
116.98	c 1136
117.74	o 13898
117.74	c 1134
117.87	o 13900
117.87	c 1132
117.99	o 13904
118.00	c 1128
118.13	o 13906
118.13	c 1126
119.13	o 13907
119.13	c 1125
119.40	o 13908
119.40	c 1124
119.54	o 13909
119.54	c 1123
119.81	o 13911
119.81	c 1121
119.95	o 13913
119.95	c 1119
120.02	o 13914
120.02	c 1118
120.56	o 13915
120.56	c 1117
120.69	o 13916
120.69	c 1116
121.06	o 13920
121.06	c 1112
121.61	o 13922
121.61	c 1110
121.88	o 13923
121.88	c 1109
122.26	o 13925
122.26	c 1107
122.39	o 13926
122.39	c 1106
122.51	o 13928
122.51	c 1104
122.64	o 13931
122.64	c 1101
122.75	o 13932
122.75	c 1100
123.01	o 13934
123.01	c 1098
123.19	o 13935
123.19	c 1097
123.31	o 13939
123.31	c 1093
123.44	o 13940
123.44	c 1092
123.57	o 13942
123.57	c 1090
123.69	o 13943
123.69	c 1089
124.10	o 13946
124.10	c 1086
124.22	o 13947
124.22	c 1085
124.34	o 13948
124.34	c 1084
124.71	o 13950
124.71	c 1082
124.83	o 13951
124.83	c 1081
125.24	o 13952
125.24	c 1080
125.37	o 13954
125.37	c 1078
125.64	o 13956
125.64	c 1076
125.90	o 13959
125.90	c 1073
126.05	o 13960
126.05	c 1072
126.62	o 13962
126.62	c 1070
126.77	o 13964
126.77	c 1068
126.90	o 13967
126.90	c 1065
127.16	o 13968
127.16	c 1064
127.46	o 13969
127.46	c 1063
127.62	o 13970
127.62	c 1062
127.75	o 13972
127.75	c 1060
127.90	o 13974
127.90	c 1058
128.04	o 13975
128.04	c 1057
129.13	o 13977
129.13	c 1055
129.46	o 13980
129.46	c 1052
131.45	o 13981
131.45	c 1051
131.63	o 13982
131.63	c 1050
131.75	o 13985
131.75	c 1047
132.08	o 13986
132.08	c 1046
132.25	o 13989
132.25	c 1043
132.60	o 13992
132.60	c 1040
132.67	o 13995
132.67	c 1037
133.01	o 13998
133.01	c 1034
133.35	o 13999
133.35	c 1033
134.04	o 14001
134.04	c 1031
134.22	o 14003
134.22	c 1029
135.45	o 14004
135.45	c 1028
135.94	o 14006
135.94	c 1026
136.00	o 14011
136.00	c 1021
136.15	o 14015
136.15	c 1017
136.27	o 14016
136.27	c 1016
136.56	o 14017
136.56	c 1015
136.70	o 14018
136.70	c 1014
137.31	o 14019
137.32	c 1013
137.47	o 14020
137.47	c 1012
138.39	o 14021
138.39	c 1011
138.55	o 14023
138.55	c 1009
138.68	o 14024
138.68	c 1008
138.84	o 14025
138.84	c 1007
147.10	o 14026
147.10	c 1006
147.41	o 14029
147.41	c 1003
147.57	o 14030
147.57	c 1002
147.74	o 14033
147.74	c 999
148.20	o 14034
148.20	c 998
148.34	o 14035
148.34	c 997
148.50	o 14039
148.50	c 993
148.64	o 14040
148.64	c 992
148.78	o 14041
148.78	c 991
148.94	o 14043
148.94	c 989
149.08	o 14044
149.08	c 988
149.22	o 14048
149.22	c 984
149.52	o 14049
149.52	c 983
149.65	o 14051
149.65	c 981
150.20	o 14052
150.20	c 980
152.20	o 14054
152.20	c 978
152.59	o 14055
152.59	c 977
152.75	o 14059
152.75	c 973
153.08	o 14061
153.08	c 971
153.24	o 14063
153.24	c 969
153.40	o 14065
153.40	c 967
153.56	o 14066
153.56	c 966
154.30	o 14068
154.30	c 964
154.45	o 14069
154.45	c 963
154.62	o 14071
154.62	c 961
154.78	o 14072
154.78	c 960
154.94	o 14074
154.94	c 958
155.11	o 14077
155.11	c 955
155.39	o 14079
155.39	c 953
156.01	o 14081
156.01	c 951
156.35	o 14083
156.35	c 949
156.50	o 14085
156.50	c 947
156.66	o 14087
156.66	c 945
156.80	o 14088
156.80	c 944
156.96	o 14090
156.96	c 942
157.29	o 14093
157.29	c 939
157.45	o 14094
157.45	c 938
157.60	o 14096
157.60	c 936
158.24	o 14097
158.24	c 935
158.40	o 14099
158.40	c 933
158.56	o 14104
158.56	c 928
159.45	o 14107
159.45	c 925
160.07	o 14108
160.07	c 924
160.23	o 14109
160.23	c 923
160.87	o 14112
160.87	c 920
161.02	o 14114
161.02	c 918
161.39	o 14116
161.39	c 916
161.54	o 14118
161.54	c 914
161.97	o 14125
161.97	c 907
162.16	o 14127
162.16	c 905
162.31	o 14129
162.31	c 903
162.62	o 14130
162.62	c 902
162.74	o 14131
162.74	c 901
162.90	o 14132
162.90	c 900
163.06	o 14134
163.06	c 898
163.18	o 14138
163.18	c 894
163.45	o 14139
163.45	c 893
163.83	o 14140
163.83	c 892
163.93	o 14141
163.93	c 891
164.08	o 14142
164.08	c 890
164.23	o 14143
164.23	c 889
164.38	o 14146
164.38	c 886
164.52	o 14147
164.52	c 885
164.67	o 14148
164.67	c 884
164.82	o 14150
164.82	c 882
165.26	o 14152
165.26	c 880
165.42	o 14153
165.42	c 879
165.73	o 14154
165.73	c 878
165.88	o 14156
165.88	c 876
166.03	o 14157
166.03	c 875
166.18	o 14158
166.18	c 874
166.33	o 14162
166.33	c 870
166.61	o 14163
166.61	c 869
166.75	o 14164
166.75	c 868
166.90	o 14167
166.90	c 865
167.05	o 14169
167.05	c 863
168.00	o 14171
168.00	c 861
168.14	o 14172
168.14	c 860
168.56	o 14174
168.56	c 858
168.72	o 14177
168.72	c 855
169.01	o 14180
169.01	c 852
169.14	o 14181
169.14	c 851
169.42	o 14184
169.42	c 848
173.14	o 14185
173.14	c 847
173.44	o 14186
173.44	c 846
174.65	o 14187
174.65	c 845
174.94	o 14188
174.94	c 844
175.09	o 14189
175.09	c 843
175.74	o 14190
175.74	c 842
175.90	o 14191
175.90	c 841
176.05	o 14192
176.05	c 840
176.17	o 14194
176.17	c 838
176.31	o 14197
176.31	c 835
176.60	o 14198
176.60	c 834
176.64	o 14200
176.64	c 832
176.76	o 14201
176.76	c 831
177.20	o 14202
177.20	c 830
177.33	o 14203
177.33	c 829
177.49	o 14205
177.49	c 827
177.73	o 14206
177.73	c 826
177.88	o 14207
177.88	c 825
178.33	o 14208
178.33	c 824
178.49	o 14210
178.49	c 822
178.81	o 14212
178.81	c 820
178.98	o 14214
178.98	c 818
179.13	o 14215
179.13	c 817
179.29	o 14217
179.29	c 815
179.81	o 14218
179.81	c 814
179.98	o 14220
179.98	c 812
180.15	o 14222
180.15	c 810
180.89	o 14223
180.89	c 809
181.07	o 14225
181.07	c 807
181.88	o 14226
181.88	c 806
182.03	o 14229
182.03	c 803
182.55	o 14230
182.55	c 802
183.57	o 14232
183.57	c 800
184.22	o 14235
184.22	c 797
184.38	o 14236
184.38	c 796
184.56	o 14237
184.56	c 795
184.73	o 14238
184.73	c 794
184.90	o 14240
184.90	c 792
185.41	o 14241
185.41	c 791
185.76	o 14242
185.76	c 790
185.93	o 14243
185.93	c 789
186.80	o 14244
186.80	c 788
187.35	o 14245
187.35	c 787
187.52	o 14249
187.52	c 783
187.70	o 14250
187.70	c 782
187.89	o 14251
187.89	c 781
188.03	o 14253
188.03	c 779
188.22	o 14254
188.22	c 778
188.76	o 14255
188.76	c 777
188.96	o 14257
188.96	c 775
189.14	o 14258
189.14	c 774
189.27	o 14260
189.27	c 772
189.44	o 14261
189.44	c 771
190.88	o 14264
190.88	c 768
191.03	o 14265
191.03	c 767
191.45	o 14266
191.45	c 766
191.60	o 14269
191.60	c 763
192.06	o 14273
192.06	c 759
192.22	o 14277
192.23	c 755
193.58	o 14279
193.58	c 753
195.03	o 14281
195.03	c 751
195.93	o 14283
195.93	c 749
196.11	o 14284
196.11	c 748
196.29	o 14285
196.29	c 747
196.47	o 14288
196.47	c 744
197.26	o 14290
197.26	c 742
197.61	o 14292
197.61	c 740
197.75	o 14294
197.75	c 738
198.11	o 14298
198.11	c 734
198.27	o 14301
198.27	c 731
198.62	o 14302
198.62	c 730
198.80	o 14303
198.80	c 729
203.31	o 14304
203.31	c 728
203.51	o 14305
203.51	c 727
203.72	o 14307
203.72	c 725
207.33	o 14308
207.33	c 724
207.70	o 14309
207.70	c 723
207.91	o 14311
207.91	c 721
210.36	o 14312
210.36	c 720
212.49	o 14313
212.49	c 719
216.77	o 14317
216.77	c 715
219.95	o 14319
219.95	c 713
220.35	o 14320
220.35	c 712
220.53	o 14322
220.53	c 710
220.74	o 14324
220.74	c 708
221.21	o 14326
221.21	c 706
221.41	o 14327
221.41	c 705
221.50	o 14328
221.50	c 704
222.29	o 14329
222.29	c 703
222.48	o 14330
222.48	c 702
223.38	o 14331
223.38	c 701
223.57	o 14333
223.57	c 699
224.15	o 14334
224.15	c 698
224.21	o 14336
224.21	c 696
224.40	o 14338
224.40	c 694
224.79	o 14339
224.79	c 693
225.08	o 14340
225.08	c 692
225.27	o 14341
225.27	c 691
225.32	o 14345
225.32	c 687
225.50	o 14348
225.50	c 684
225.69	o 14350
225.69	c 682
227.58	o 14351
227.58	c 681
227.76	o 14352
227.76	c 680
228.27	o 14354
228.27	c 678
228.44	o 14355
228.44	c 677
228.47	o 14358
228.47	c 674
228.65	o 14361
228.65	c 671
228.81	o 14363
228.81	c 669
228.97	o 14365
228.97	c 667
232.31	o 14367
232.31	c 665
232.95	o 14369
232.95	c 663
233.15	o 14371
233.15	c 661
233.33	o 14372
233.33	c 660
233.51	o 14373
233.51	c 659
233.70	o 14375
233.70	c 657
234.07	o 14376
234.07	c 656
234.45	o 14377
234.45	c 655
235.02	o 14378
235.02	c 654
236.72	o 14379
236.72	c 653
236.91	o 14380
236.91	c 652
237.89	o 14381
237.89	c 651
238.08	o 14383
238.08	c 649
238.27	o 14385
238.27	c 647
239.35	o 14387
239.35	c 645
239.54	o 14389
239.54	c 643
239.90	o 14391
239.90	c 641
240.25	o 14393
240.25	c 639
241.16	o 14394
241.16	c 638
241.34	o 14396
241.34	c 636
241.70	o 14399
241.70	c 633
241.88	o 14400
241.88	c 632
247.04	o 14401
247.04	c 631
247.20	o 14403
247.20	c 629
249.32	o 14404
249.32	c 628
249.49	o 14405
249.49	c 627
249.68	o 14406
249.68	c 626
257.17	o 14408
257.17	c 624
258.40	o 14409
258.40	c 623
258.49	o 14410
258.49	c 622
258.70	o 14411
258.70	c 621
259.06	o 14412
259.06	c 620
261.95	o 14414
261.95	c 618
263.45	o 14416
263.45	c 616
263.64	o 14417
263.64	c 615
264.58	o 14418
264.58	c 614
264.78	o 14422
264.78	c 610
264.95	o 14423
264.95	c 609
265.13	o 14424
265.13	c 608
266.59	o 14427
266.59	c 605
266.77	o 14428
266.77	c 604
267.18	o 14429
267.18	c 603
267.35	o 14430
267.35	c 602
272.09	o 14431
272.09	c 601
272.27	o 14433
272.27	c 599
272.49	o 14434
272.49	c 598
274.85	o 14439
274.85	c 593
275.60	o 14440
275.60	c 592
275.74	o 14441
275.74	c 591
275.96	o 14442
275.96	c 590
277.42	o 14443
277.42	c 589
277.79	o 14445
277.79	c 587
277.93	o 14448
277.93	c 584
278.10	o 14454
278.10	c 578
281.77	o 14455
281.77	c 577
282.02	o 14456
282.02	c 576
282.26	o 14459
282.26	c 573
283.17	o 14460
283.17	c 572
283.34	o 14461
283.34	c 571
283.57	o 14465
283.57	c 567
284.28	o 14468
284.28	c 564
286.12	o 14469
286.12	c 563
286.38	o 14470
286.38	c 562
286.62	o 14471
286.62	c 561
286.82	o 14474
286.82	c 558
286.91	o 14475
286.91	c 557
287.15	o 14477
287.15	c 555
287.39	o 14478
287.39	c 554
287.64	o 14479
287.64	c 553
291.80	o 14480
291.80	c 552
292.95	o 14481
292.95	c 551
292.97	o 14483
292.97	c 549
293.15	o 14484
293.15	c 548
298.87	o 14485
298.87	c 547
299.11	o 14487
299.11	c 545
299.35	o 14490
299.35	c 542
299.58	o 14491
299.58	c 541
299.83	o 14492
299.83	c 540
300.20	o 14494
300.20	c 538
301.65	o 14495
301.65	c 537
301.90	o 14496
301.90	c 536
302.39	o 14498
302.39	c 534
302.55	o 14499
302.55	c 533
302.69	o 14501
302.69	c 531
302.95	o 14503
302.95	c 529
303.71	o 14505
303.71	c 527
303.94	o 14508
303.94	c 524
304.19	o 14509
304.19	c 523
304.92	o 14510
304.92	c 522
306.29	o 14511
306.29	c 521
306.47	o 14512
306.47	c 520
306.73	o 14514
306.73	c 518
309.18	o 14515
309.18	c 517
311.81	o 14517
311.81	c 515
312.05	o 14519
312.05	c 513
312.32	o 14520
312.32	c 512
314.84	o 14522
314.84	c 510
315.40	o 14524
315.40	c 508
315.97	o 14525
315.97	c 507
316.00	o 14527
316.01	c 505
316.94	o 14529
316.94	c 503
317.10	o 14531
317.10	c 501
317.29	o 14532
317.29	c 500
317.54	o 14533
317.54	c 499
317.71	o 14535
317.71	c 497
318.00	o 14537
318.00	c 495
318.27	o 14538
318.27	c 494
318.89	o 14539
318.89	c 493
319.16	o 14543
319.16	c 489
319.66	o 14544
319.66	c 488
320.46	o 14546
320.46	c 486
320.73	o 14547
320.73	c 485
321.26	o 14548
321.26	c 484
322.17	o 14549
322.17	c 483
327.39	o 14550
327.39	c 482
327.65	o 14551
327.65	c 481
328.14	o 14552
328.14	c 480
330.62	o 14554
330.62	c 478
333.95	o 14555
333.95	c 477
334.20	o 14558
334.20	c 474
334.65	o 14559
334.65	c 473
335.17	o 14560
335.17	c 472
335.39	o 14562
335.39	c 470
336.52	o 14563
336.52	c 469
336.78	o 14564
336.78	c 468
337.29	o 14565
337.29	c 467
337.64	o 14567
337.64	c 465
337.90	o 14568
337.90	c 464
339.32	o 14571
339.32	c 461
348.67	o 14572
348.67	c 460
348.92	o 14574
348.92	c 458
349.18	o 14577
349.18	c 455
349.44	o 14578
349.44	c 454
349.69	o 14579
349.69	c 453
349.95	o 14581
349.95	c 451
380.31	   
380.31	   search
380.31	     run=0  nbConstraintChecks=917304627  nbAssignments=2355
380.31	       =>  wckTime=317.7  cpuTime=314.82  mem=48M441
380.31	   
380.31	   global
380.31	     nbConstraintChecks=917304627  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
380.31	     solvingWckTime=317.689  solvingCpuTime=314.81  expiredTime=no  totalExploration=no  nbFoundSolutions=0
380.31	     globalCpuTime=375.75
380.31	       =>  wckTime=379.962  cpuTime=375.72  mem=48M441
380.31	   
380.31	   solver IterativeSystematicSolver being built... 
380.79	       =>  wckTime=380.441  cpuTime=376.02  mem=90M922
1687.31	   
1687.31	   preprocessing
1687.31	     nbConstraintChecks=1133938277  nbValidityChecks=7235917691  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1687.31	     nbRemovedValues=0  detectedInconsistency=no
1687.31	       =>  wckTime=1306.514  cpuTime=1295.03  mem=90M922
2421.53	v -2020 -2680 -2036 -2112 -2060 2692 -2064 2400 2716 -2248 2048 2692 2168 -2456 2688 -2712 2188 -2468 -2536 -2548 2060 -2028 -2252 -2484 -2364 -2336 2468 2616 -2700 2684 -2108 -2676 -2508 2340 -2700 -2164 -2368 -2024 2304 -2508 -2628 -2732 -2104 -2528 -2116 -2436 2108 -2072 -2140 2532 2444 2376 2296 2104 -2516 2592 2712 -2264 -2720 2236 -2736 2420 2076 -2588 -2368 -2100 -2080 2352 2724 2076 -2340 -2216 -2728 -2732 -2564 -2468 2532 2332 2632 2332 2596 -2020 2492 -2340 -2048 2460 2156 2460 -2316 -2228 -2108 2648 -2488 -2028 2096 -2492 2080 -2344 2588 -2020 2088 -2432 2492 2348 -2696 -2496 2724 -2604 -2740 -2384 -2724 -2508 -2468 -2408 -2504 -2032 -2456 -2256 2720 2180 2244 -2444 -2092 -2720 -2148 -2060 -2508 2740 -2684 -2480 -2540 -2684 -2580 2372 -2124 -2020 -2128 2732 -2544 -2724 2528 2088 -2180 2056 -2272 -2148 -2336 2680 -2608 -2336 2244 2168 2128 -2600 2024 -2508 2356 2732 2080 2368 2588 -2640 2724 -2304 2496 2040 2204 -2508 2584 2732 2576 2652 2136 2092 -2656 -2564 2292 2024 2552 -2716 -2696 -2660 -2328 -2384 -2464 2404 2444 -2356 2740 -2088 2020 2428 2112 -2068 -2316 -2172 2204 2020 2256 -2576 2548 -2704 -2060 -2724 -2288 -2556 2700 2028 2712 2036 2076 2440 -2020 2532 2700 -2540 2316 -2628 -2436 2552 -2144 -2172 2036 -2436 -2732 2736 2484 -2472 -2300 -2376 2608 -2740 -2636 2500 2740 2528 -2312 2036 2376 -2308 -2500 -2276 -2132 2736 2692 2468 -2684 -2556 2112 -2072 2516 2076 -2116 -2604 -2020 -2036 2336 -2716 2264 2692 2128 -2368 2132 -2380 -2676 2080 -2472 -2508 2040 2736 2524 2352 2604 -2564 2052 2088 -2556 -2232 -2276 2644 2084 -2476 2260 2168 -2604 -2624 -2104 -2740 -2564 -2092 -2700 -2660 -2332 2316 2024 -2468 2644 2376 -2520 2416 2328 -2192 2216 -2700 -2688 -2296 -2740 2072 2296 2380 2404 2116 -2404 -2312 -2372 2512 -2052 -2064 2060 2408 2392 2468 -2724 2068 2020 -2448 2596 2652 -2304 -2540 2656 -2052 2132 2448 -2076 2092 -2188 -2464 -2212 -2404 2060 2064 -2284 2536 -2060 -2504 2268 2672 -2636 -2372 2716 2060 2088 -2560 2496 -2592 -2616 -2380 -2580 -2492 -2576 -2412 -2160 2132 2324 2548 -2060 2128 -2684 -2536 -2712 2284 -2036 -2092 -2692 -2656 -2692 2552 -2400 2140 2140 -2200 2740 2060 -2028 2148 -2040 -2592 -2020 2252 2072 -2688 -2600 -2244 2196 -2184 2092 -2656 -2344 -2308 2568 -2328 2064 2528 -2116 2484 -2460 -2312 2256 -2636 2216 -2632 2732 -2488 -2696 -2392 2604 2176 -2680 -2640 -2460 -2172 2596 -2608 -2496 2208 -2360 2060 -2612 2348 -2472 2716 -2020 2544 -2432 -2740 2296 -2244 2028 -2308 2020 -2060 2272 -2724 -2716 -2032 2476 2544 2524 -2700 2172 -2432 -2728 -2516 -2576 -2460 2368 -2576 2448 -2672 -2700 -2304 2216 -2092 -2468 2676 -2564 2512 -2252 2292 -2564 2172 -2252 -2340 -2140 2672 2540 -2568 2460 -2168 -2620 -2628 2736 2348 2572 2060 2268 2668 -2644 -2220 -2572 -2612 -2580 2580 -2308 -2028 -2020 -2708 2388 2492 -2408 2272 -2716 -2488 2604 2672 -2056 2136 -2376 2180 -2476 -2364 -2380 -2724 2536 2696 -2416 -2060 -2676 2680 2728 -2476 -2596 2360 2236 -2480 2332 -2728 -2376 2620 2448 2376 2028 2500 2124 -2384 -2084 -2624 -2560 -2344 2644 -2652 2504 -2736 -2232 -2688 2620 2700 2384 2604 2248 -2692 2736 2308 -2336 -2060 -2560 2320 2692 -2148 2532 -2212 2660 2168 2132 2196 2076 2596 2676 2180 -2500 -2124 -2180 -2120 2432 2396 2020 -2556 -2688 -2648 2524 -2020 -2592 -2376 -2408 -2604 -2312 -2132 -2700 2060 -2472 2556 2648 -2020 2740 -2652 2336 2236 -2536 -2020 -2356 -2708 2104 2668 -2564 -2292 -2688 2080 -2220 -2604 -2676 -2508 -2588 -2524 -2292 2408 -2340 2296 -2672 2696 2640 2376 2348 -2120 2128 -2684 -2068 -2268 -2580 -2636 2420 2712 2492 2096 -2664 -2508 2480 -2296 2696 -2660 -2392 -2020 -2368 2304 -2144 2072 2076 2080 2632 2088 -2556 -2020 -2468 2520 2380 -2108 2092 -2696 -2096 2184 -2516 2692 -2208 -2308 -2140 2164 2700 2548 -2708 2164 2396 2280 2356 -2084 2540 -2696 2356 2360 -2440 -2168 -2692 2408 2192 -2592 2348 2328 2140 -2608 -2316 -2400 2060 -2024 2520 2724 2076 -2468 -2656 -2328 2228 2068 2392 2256 -2020 2020 2688 -2336 -2600 -2488 -2060 -2528 2416 2368 -2068 2480 -2456 2580 2228 2532 -2148 2140 -2512 -2428 2288 -2040 -2032 2264 -2684 -2388 2268 -2256 -2688 -2508 2408 2484 2036 -2068 -2660 2132 2572 2260 2056 -2024 -2048 -2728 2416 -2660 2688 -2112 2696 2060 -2540 -2064 -2312 -2216 -2040 -2308 2688 -2428 2228 2472 -2344 2652 -2316 -2604 -2060 -2408 -2440 2552 -2160 2580 -2352 -2700 -2356 -2736 -2216 2632 2164 2036 -2080 2156 -2736 -2068 -2620 2020 -2448 -2148 -2688 2348 2188 2260 2532 2020 -2536 -2668 2616 -2220 2672 2340 -2492 2184 2632 2588 -2444 2284 -2728 -2284 -2036 2596 2344 2244 2516 -2616 -2584 -2268 2396 2336 -2316 -2060 -2504 -2684 -2584 -2688 2304 -2144 -2664 2572 -2616 -2300 -2040 -2292 2080 -2060 2272 -2448 2224 -2144 -2684 2304 2696 -2696 2020 2496 -2588 2668 -2564 2740 2708 -2424 2064 2124 -2500 -2400 2316 2108 2060 2276 2544 2412 -2036 2700 -2496 2120 -2044 -2668 2192 -2224 -2596 -2676 -2536 2128 -2552 2464 -2268 2368 2620 2288 -2020 -2052 2100 2488 -2264 2540 -2472 2648 -2628 2432 2128 -2436 2388 2688 2060 -2740 -2452 -2144 -2152 -2080 2468 -2324 -2720 -2568 2668 -2632 2128 -2728 2344 2216 2400 2304 -2452 2456 -2076 -2700 2040 2728 -2420 2152 -2720 2444 2348 2068 2020 2672 -2360 2740 -2260 -2312 -2152 2428 2024 -2736 -2444 2692 -2452 2592 -2388 2580 -2352 -2256 -2728 -2600 -2280 2376 -2300 2624 2104 2416 -2024 2212 -2528 -2420 -2064 -2576 -2576 2504 2300 -2344 -2332 -2576 -2668 2180 -2204 -2168 -2532 2128 -2224 -2172 -2444 -2064 2020 2488 -2736 -2476 -2468 2292 -2080 -2344 2740 2164 2360 2212 2076 -2564 2676 -2432 -2076 2408 2128 2568 2648 2740 2124 2476 -2620 2600 2544 2432 2628 -2684 -2512 -2732

Verifier Data (download as text)

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

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

/proc/loadavg: 1.95 2.00 1.93 5/74 26194
/proc/meminfo: memFree=1209608/2055920 swapFree=4192812/4192956
[pid=26193] ppid=26191 vsize=47892 CPUtime=0
/proc/26193/stat : 26193 (java) D 26191 26193 25670 0 -1 0 1219 0 1 0 0 0 0 0 17 0 1 0 270313678 49041408 968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/26193/statm: 11973 968 766 14 0 1707 0

[startup+0.103741 s]
/proc/loadavg: 1.95 2.00 1.93 5/74 26194
/proc/meminfo: memFree=1209608/2055920 swapFree=4192812/4192956
[pid=26193] ppid=26191 vsize=914988 CPUtime=0.08
/proc/26193/stat : 26193 (java) D 26191 26193 25670 0 -1 0 2987 0 1 0 7 1 0 0 17 0 8 0 270313678 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26193/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511771 s]
/proc/loadavg: 1.95 2.00 1.93 5/74 26194
/proc/meminfo: memFree=1209608/2055920 swapFree=4192812/4192956
[pid=26193] ppid=26191 vsize=915332 CPUtime=0.45
/proc/26193/stat : 26193 (java) R 26191 26193 25670 0 -1 0 6504 0 1 0 41 4 0 0 18 0 8 0 270313678 937299968 6243 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155769989 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26193/statm: 228833 6243 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915332

[startup+1.33985 s]
/proc/loadavg: 1.95 2.00 1.93 3/81 26201
/proc/meminfo: memFree=1142608/2055920 swapFree=4192812/4192956
[pid=26193] ppid=26191 vsize=915636 CPUtime=1.28
/proc/26193/stat : 26193 (java) R 26191 26193 25670 0 -1 0 21029 0 1 0 117 11 0 0 24 0 8 0 270313678 937611264 20766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26193/statm: 228909 20766 2164 14 0 215379 0
[pid=26193/tid=26195] ppid=26191 vsize=915636 CPUtime=0.06
/proc/26193/task/26195/stat : 26195 (java) S 26191 26193 25670 0 -1 64 4474 0 0 0 5 1 0 0 16 0 8 0 270313681 937611264 20766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26196] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26196/stat : 26196 (java) S 26191 26193 25670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270313682 937611264 20766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26197] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26197/stat : 26197 (java) S 26191 26193 25670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270313682 937611264 20766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26198] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26198/stat : 26198 (java) S 26191 26193 25670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270313685 937611264 20766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26199] ppid=26191 vsize=915636 CPUtime=0.16
/proc/26193/task/26199/stat : 26199 (java) R 26191 26193 25670 0 -1 64 396 0 0 0 16 0 0 0 16 0 8 0 270313685 937611264 20766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152817520 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26200] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26200/stat : 26200 (java) S 26191 26193 25670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270313685 937611264 20766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26201] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26201/stat : 26201 (java) S 26191 26193 25670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270313685 937611264 20766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915636

[startup+2.98801 s]
/proc/loadavg: 1.95 2.00 1.93 3/81 26201
/proc/meminfo: memFree=1134672/2055920 swapFree=4192812/4192956
[pid=26193] ppid=26191 vsize=915636 CPUtime=2.91
/proc/26193/stat : 26193 (java) R 26191 26193 25670 0 -1 0 21099 0 1 0 280 11 0 0 25 0 8 0 270313678 937611264 20835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794147 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26193/statm: 228909 20835 2184 14 0 215379 0
[pid=26193/tid=26195] ppid=26191 vsize=915636 CPUtime=0.06
/proc/26193/task/26195/stat : 26195 (java) S 26191 26193 25670 0 -1 64 4474 0 0 0 5 1 0 0 17 0 8 0 270313681 937611264 20835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26196] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26196/stat : 26196 (java) S 26191 26193 25670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270313682 937611264 20835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26197] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26197/stat : 26197 (java) S 26191 26193 25670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270313682 937611264 20835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26198] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26198/stat : 26198 (java) S 26191 26193 25670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270313685 937611264 20835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26199] ppid=26191 vsize=915636 CPUtime=0.18
/proc/26193/task/26199/stat : 26199 (java) S 26191 26193 25670 0 -1 64 408 0 0 0 18 0 0 0 16 0 8 0 270313685 937611264 20835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26200] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26200/stat : 26200 (java) S 26191 26193 25670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270313685 937611264 20835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26201] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26201/stat : 26201 (java) S 26191 26193 25670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270313685 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.91
Current children cumulated vsize (KiB) 915636

[startup+6.26734 s]
/proc/loadavg: 1.96 2.00 1.93 3/81 26201
/proc/meminfo: memFree=1134416/2055920 swapFree=4192812/4192956
[pid=26193] ppid=26191 vsize=915636 CPUtime=6.16
/proc/26193/stat : 26193 (java) R 26191 26193 25670 0 -1 0 21116 0 1 0 605 11 0 0 25 0 8 0 270313678 937611264 20852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810815 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26193/statm: 228909 20852 2185 14 0 215379 0
[pid=26193/tid=26195] ppid=26191 vsize=915636 CPUtime=0.06
/proc/26193/task/26195/stat : 26195 (java) S 26191 26193 25670 0 -1 64 4474 0 0 0 5 1 0 0 16 0 8 0 270313681 937611264 20852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26196] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26196/stat : 26196 (java) S 26191 26193 25670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270313682 937611264 20852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26197] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26197/stat : 26197 (java) S 26191 26193 25670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270313682 937611264 20852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26198] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26198/stat : 26198 (java) S 26191 26193 25670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270313685 937611264 20852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26199] ppid=26191 vsize=915636 CPUtime=0.19
/proc/26193/task/26199/stat : 26199 (java) S 26191 26193 25670 0 -1 64 424 0 0 0 19 0 0 0 15 0 8 0 270313685 937611264 20852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26200] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26200/stat : 26200 (java) S 26191 26193 25670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270313685 937611264 20852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26201] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26201/stat : 26201 (java) S 26191 26193 25670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270313685 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.16
Current children cumulated vsize (KiB) 915636

[startup+12.754 s]
/proc/loadavg: 1.96 2.00 1.93 3/81 26201
/proc/meminfo: memFree=1134552/2055920 swapFree=4192812/4192956
[pid=26193] ppid=26191 vsize=915636 CPUtime=12.59
/proc/26193/stat : 26193 (java) R 26191 26193 25670 0 -1 0 21119 0 1 0 1247 12 0 0 25 0 8 0 270313678 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26193/statm: 228909 20854 2185 14 0 215379 0
[pid=26193/tid=26195] ppid=26191 vsize=915636 CPUtime=0.06
/proc/26193/task/26195/stat : 26195 (java) S 26191 26193 25670 0 -1 64 4474 0 0 0 5 1 0 0 16 0 8 0 270313681 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26196] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26196/stat : 26196 (java) S 26191 26193 25670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270313682 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26197] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26197/stat : 26197 (java) S 26191 26193 25670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270313682 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26198] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26198/stat : 26198 (java) S 26191 26193 25670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270313685 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26199] ppid=26191 vsize=915636 CPUtime=0.2
/proc/26193/task/26199/stat : 26199 (java) S 26191 26193 25670 0 -1 64 426 0 0 0 20 0 0 0 15 0 8 0 270313685 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26200] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26200/stat : 26200 (java) S 26191 26193 25670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270313685 937611264 20854 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26201] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26201/stat : 26201 (java) S 26191 26193 25670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270313685 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.59
Current children cumulated vsize (KiB) 915636

[startup+25.5993 s]
/proc/loadavg: 1.97 2.00 1.93 3/81 26201
/proc/meminfo: memFree=1132120/2055920 swapFree=4192812/4192956
[pid=26193] ppid=26191 vsize=915636 CPUtime=25.33
/proc/26193/stat : 26193 (java) R 26191 26193 25670 0 -1 0 21749 0 1 0 2517 16 0 0 25 0 8 0 270313678 937611264 21482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470032 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26193/statm: 228909 21482 2185 14 0 215379 0
[pid=26193/tid=26195] ppid=26191 vsize=915636 CPUtime=0.12
/proc/26193/task/26195/stat : 26195 (java) S 26191 26193 25670 0 -1 64 5097 0 0 0 11 1 0 0 16 0 8 0 270313681 937611264 21482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26196] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26196/stat : 26196 (java) S 26191 26193 25670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270313682 937611264 21482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26197] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26197/stat : 26197 (java) S 26191 26193 25670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270313682 937611264 21482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26198] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26198/stat : 26198 (java) S 26191 26193 25670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270313685 937611264 21482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26199] ppid=26191 vsize=915636 CPUtime=0.21
/proc/26193/task/26199/stat : 26199 (java) S 26191 26193 25670 0 -1 64 431 0 0 0 21 0 0 0 16 0 8 0 270313685 937611264 21482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26200] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26200/stat : 26200 (java) S 26191 26193 25670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270313685 937611264 21482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26201] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26201/stat : 26201 (java) S 26191 26193 25670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270313685 937611264 21482 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915636

[startup+51.2108 s]
/proc/loadavg: 1.98 2.00 1.93 3/81 26201
/proc/meminfo: memFree=1119896/2055920 swapFree=4192812/4192956
[pid=26193] ppid=26191 vsize=915636 CPUtime=50.73
/proc/26193/stat : 26193 (java) R 26191 26193 25670 0 -1 0 24845 0 1 0 5046 27 0 0 25 0 8 0 270313678 937611264 24576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795220 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26193/statm: 228909 24576 2185 14 0 215379 0
[pid=26193/tid=26195] ppid=26191 vsize=915636 CPUtime=0.23
/proc/26193/task/26195/stat : 26195 (java) S 26191 26193 25670 0 -1 64 8182 0 0 0 20 3 0 0 16 0 8 0 270313681 937611264 24576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26196] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26196/stat : 26196 (java) S 26191 26193 25670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270313682 937611264 24576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26197] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26197/stat : 26197 (java) S 26191 26193 25670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270313682 937611264 24576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26198] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26198/stat : 26198 (java) S 26191 26193 25670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270313685 937611264 24576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26199] ppid=26191 vsize=915636 CPUtime=0.23
/proc/26193/task/26199/stat : 26199 (java) S 26191 26193 25670 0 -1 64 440 0 0 0 22 1 0 0 15 0 8 0 270313685 937611264 24576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26200] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26200/stat : 26200 (java) S 26191 26193 25670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270313685 937611264 24576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26201] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26201/stat : 26201 (java) S 26191 26193 25670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270313685 937611264 24576 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915636

[startup+102.448 s]
/proc/loadavg: 1.99 2.00 1.93 4/81 26201
/proc/meminfo: memFree=1098968/2055920 swapFree=4192812/4192956
[pid=26193] ppid=26191 vsize=915636 CPUtime=101.48
/proc/26193/stat : 26193 (java) R 26191 26193 25670 0 -1 0 30398 0 1 0 10103 45 0 0 25 0 8 0 270313678 937611264 30123 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800236 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26193/statm: 228909 30123 2504 14 0 215379 0
[pid=26193/tid=26195] ppid=26191 vsize=915636 CPUtime=0.62
/proc/26193/task/26195/stat : 26195 (java) S 26191 26193 25670 0 -1 64 13356 0 0 0 57 5 0 0 16 0 8 0 270313681 937611264 30123 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26196] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26196/stat : 26196 (java) S 26191 26193 25670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270313682 937611264 30123 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26197] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26197/stat : 26197 (java) S 26191 26193 25670 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270313682 937611264 30123 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26198] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26198/stat : 26198 (java) S 26191 26193 25670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270313685 937611264 30123 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26199] ppid=26191 vsize=915636 CPUtime=0.29
/proc/26193/task/26199/stat : 26199 (java) S 26191 26193 25670 0 -1 64 468 0 0 0 28 1 0 0 16 0 8 0 270313685 937611264 30123 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26200] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26200/stat : 26200 (java) S 26191 26193 25670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270313685 937611264 30123 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26201] ppid=26191 vsize=915636 CPUtime=0
/proc/26193/task/26201/stat : 26201 (java) S 26191 26193 25670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270313685 937611264 30123 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915636

[startup+162.545 s]
/proc/loadavg: 1.99 2.00 1.93 3/81 26201
/proc/meminfo: memFree=1098904/2055920 swapFree=4192812/4192956
[pid=26193] ppid=26191 vsize=915636 CPUtime=161.08
/proc/26193/stat : 26193 (java) R 26191 26193 25670 0 -1 0 30399 0 1 0 16057 51 0 0 25 0 8 0 270313678 937611264 30124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073983172 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2006.5
Current children cumulated vsize (KiB) 915844

[startup+2084.51 s]
/proc/loadavg: 2.10 2.03 2.00 3/87 26419
/proc/meminfo: memFree=1014448/2055920 swapFree=4192812/4192956
[pid=26193] ppid=26191 vsize=915844 CPUtime=2066.05
/proc/26193/stat : 26193 (java) R 26191 26193 25670 0 -1 0 39947 0 1 0 206534 71 0 0 25 0 8 0 270313678 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073978624 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26193/statm: 228961 39643 2553 14 0 215431 0
[pid=26193/tid=26195] ppid=26191 vsize=915844 CPUtime=0.74
/proc/26193/task/26195/stat : 26195 (java) S 26191 26193 25670 0 -1 64 22658 0 0 0 65 9 0 0 16 0 8 0 270313681 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26196] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26196/stat : 26196 (java) S 26191 26193 25670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270313682 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26197] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26197/stat : 26197 (java) S 26191 26193 25670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270313682 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26198] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26198/stat : 26198 (java) S 26191 26193 25670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270313685 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26199] ppid=26191 vsize=915844 CPUtime=0.41
/proc/26193/task/26199/stat : 26199 (java) S 26191 26193 25670 0 -1 64 598 0 0 0 40 1 0 0 16 0 8 0 270313685 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26200] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26200/stat : 26200 (java) S 26191 26193 25670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270313685 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26201] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26201/stat : 26201 (java) S 26191 26193 25670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270313685 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2066.05
Current children cumulated vsize (KiB) 915844

[startup+2144.58 s]
/proc/loadavg: 2.03 2.02 2.00 4/87 26419
/proc/meminfo: memFree=1014384/2055920 swapFree=4192812/4192956
[pid=26193] ppid=26191 vsize=915844 CPUtime=2125.58
/proc/26193/stat : 26193 (java) R 26191 26193 25670 0 -1 0 39947 0 1 0 212486 72 0 0 25 0 8 0 270313678 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074247642 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26193/statm: 228961 39643 2553 14 0 215431 0
[pid=26193/tid=26195] ppid=26191 vsize=915844 CPUtime=0.74
/proc/26193/task/26195/stat : 26195 (java) S 26191 26193 25670 0 -1 64 22658 0 0 0 65 9 0 0 16 0 8 0 270313681 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26196] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26196/stat : 26196 (java) S 26191 26193 25670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270313682 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26197] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26197/stat : 26197 (java) S 26191 26193 25670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270313682 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26198] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26198/stat : 26198 (java) S 26191 26193 25670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270313685 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26199] ppid=26191 vsize=915844 CPUtime=0.41
/proc/26193/task/26199/stat : 26199 (java) S 26191 26193 25670 0 -1 64 598 0 0 0 40 1 0 0 16 0 8 0 270313685 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26200] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26200/stat : 26200 (java) S 26191 26193 25670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270313685 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26201] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26201/stat : 26201 (java) S 26191 26193 25670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270313685 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2125.58
Current children cumulated vsize (KiB) 915844

[startup+2204.63 s]
/proc/loadavg: 2.01 2.02 2.00 3/87 26419
/proc/meminfo: memFree=1014384/2055920 swapFree=4192812/4192956
[pid=26193] ppid=26191 vsize=915844 CPUtime=2185.09
/proc/26193/stat : 26193 (java) R 26191 26193 25670 0 -1 0 39947 0 1 0 218437 72 0 0 25 0 8 0 270313678 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074276648 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26193/statm: 228961 39643 2553 14 0 215431 0
[pid=26193/tid=26195] ppid=26191 vsize=915844 CPUtime=0.74
/proc/26193/task/26195/stat : 26195 (java) S 26191 26193 25670 0 -1 64 22658 0 0 0 65 9 0 0 16 0 8 0 270313681 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26196] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26196/stat : 26196 (java) S 26191 26193 25670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270313682 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26197] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26197/stat : 26197 (java) S 26191 26193 25670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270313682 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26198] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26198/stat : 26198 (java) S 26191 26193 25670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270313685 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26199] ppid=26191 vsize=915844 CPUtime=0.41
/proc/26193/task/26199/stat : 26199 (java) S 26191 26193 25670 0 -1 64 598 0 0 0 40 1 0 0 16 0 8 0 270313685 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26200] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26200/stat : 26200 (java) S 26191 26193 25670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270313685 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26201] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26201/stat : 26201 (java) S 26191 26193 25670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270313685 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2185.09
Current children cumulated vsize (KiB) 915844

[startup+2264.68 s]
/proc/loadavg: 2.03 2.03 2.00 3/87 26419
/proc/meminfo: memFree=1014384/2055920 swapFree=4192812/4192956
[pid=26193] ppid=26191 vsize=915844 CPUtime=2244.6
/proc/26193/stat : 26193 (java) R 26191 26193 25670 0 -1 0 39947 0 1 0 224388 72 0 0 25 0 8 0 270313678 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074276607 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26193/statm: 228961 39643 2553 14 0 215431 0
[pid=26193/tid=26195] ppid=26191 vsize=915844 CPUtime=0.74
/proc/26193/task/26195/stat : 26195 (java) S 26191 26193 25670 0 -1 64 22658 0 0 0 65 9 0 0 16 0 8 0 270313681 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26196] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26196/stat : 26196 (java) S 26191 26193 25670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270313682 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26197] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26197/stat : 26197 (java) S 26191 26193 25670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270313682 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26198] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26198/stat : 26198 (java) S 26191 26193 25670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270313685 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26199] ppid=26191 vsize=915844 CPUtime=0.41
/proc/26193/task/26199/stat : 26199 (java) S 26191 26193 25670 0 -1 64 598 0 0 0 40 1 0 0 16 0 8 0 270313685 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26200] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26200/stat : 26200 (java) S 26191 26193 25670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270313685 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26201] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26201/stat : 26201 (java) S 26191 26193 25670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270313685 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2244.6
Current children cumulated vsize (KiB) 915844

[startup+2324.74 s]
/proc/loadavg: 2.01 2.02 2.00 3/87 26419
/proc/meminfo: memFree=1014384/2055920 swapFree=4192812/4192956
[pid=26193] ppid=26191 vsize=915844 CPUtime=2304.11
/proc/26193/stat : 26193 (java) R 26191 26193 25670 0 -1 0 39947 0 1 0 230339 72 0 0 25 0 8 0 270313678 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074247652 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26193/statm: 228961 39643 2553 14 0 215431 0
[pid=26193/tid=26195] ppid=26191 vsize=915844 CPUtime=0.74
/proc/26193/task/26195/stat : 26195 (java) S 26191 26193 25670 0 -1 64 22658 0 0 0 65 9 0 0 16 0 8 0 270313681 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26196] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26196/stat : 26196 (java) S 26191 26193 25670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270313682 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26197] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26197/stat : 26197 (java) S 26191 26193 25670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270313682 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26198] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26198/stat : 26198 (java) S 26191 26193 25670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270313685 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26199] ppid=26191 vsize=915844 CPUtime=0.41
/proc/26193/task/26199/stat : 26199 (java) S 26191 26193 25670 0 -1 64 598 0 0 0 40 1 0 0 16 0 8 0 270313685 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26200] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26200/stat : 26200 (java) S 26191 26193 25670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270313685 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26201] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26201/stat : 26201 (java) S 26191 26193 25670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270313685 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2304.11
Current children cumulated vsize (KiB) 915844

[startup+2384.8 s]
/proc/loadavg: 2.05 2.03 2.00 3/87 26419
/proc/meminfo: memFree=1014320/2055920 swapFree=4192812/4192956
[pid=26193] ppid=26191 vsize=915844 CPUtime=2363.63
/proc/26193/stat : 26193 (java) R 26191 26193 25670 0 -1 0 39947 0 1 0 236291 72 0 0 25 0 8 0 270313678 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796725 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26193/statm: 228961 39643 2553 14 0 215431 0
[pid=26193/tid=26195] ppid=26191 vsize=915844 CPUtime=0.74
/proc/26193/task/26195/stat : 26195 (java) S 26191 26193 25670 0 -1 64 22658 0 0 0 65 9 0 0 16 0 8 0 270313681 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26196] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26196/stat : 26196 (java) S 26191 26193 25670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270313682 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26197] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26197/stat : 26197 (java) S 26191 26193 25670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270313682 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26198] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26198/stat : 26198 (java) S 26191 26193 25670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270313685 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26199] ppid=26191 vsize=915844 CPUtime=0.41
/proc/26193/task/26199/stat : 26199 (java) S 26191 26193 25670 0 -1 64 598 0 0 0 40 1 0 0 16 0 8 0 270313685 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26200] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26200/stat : 26200 (java) S 26191 26193 25670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270313685 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26201] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26201/stat : 26201 (java) S 26191 26193 25670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270313685 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2363.63
Current children cumulated vsize (KiB) 915844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2421.53 s]
/proc/loadavg: 2.03 2.03 2.00 3/87 26419
/proc/meminfo: memFree=1014384/2055920 swapFree=4192812/4192956
[pid=26193] ppid=26191 vsize=915844 CPUtime=2400.03
/proc/26193/stat : 26193 (java) R 26191 26193 25670 0 -1 0 39947 0 1 0 239930 73 0 0 25 0 8 0 270313678 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074242262 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26193/statm: 228961 39643 2553 14 0 215431 0
[pid=26193/tid=26195] ppid=26191 vsize=915844 CPUtime=0.74
/proc/26193/task/26195/stat : 26195 (java) S 26191 26193 25670 0 -1 64 22658 0 0 0 65 9 0 0 16 0 8 0 270313681 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26196] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26196/stat : 26196 (java) S 26191 26193 25670 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 270313682 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26197] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26197/stat : 26197 (java) S 26191 26193 25670 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270313682 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26198] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26198/stat : 26198 (java) S 26191 26193 25670 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270313685 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26199] ppid=26191 vsize=915844 CPUtime=0.41
/proc/26193/task/26199/stat : 26199 (java) S 26191 26193 25670 0 -1 64 598 0 0 0 40 1 0 0 16 0 8 0 270313685 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26200] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26200/stat : 26200 (java) S 26191 26193 25670 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270313685 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26193/tid=26201] ppid=26191 vsize=915844 CPUtime=0
/proc/26193/task/26201/stat : 26201 (java) R 26191 26193 25670 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270313685 937824256 39643 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 915844

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

Child status: 143
Real time (s): 2421.61
CPU time (s): 2400.11
CPU user time (s): 2399.35
CPU system time (s): 0.756884
CPU usage (%): 99.1121
Max. virtual memory (cumulated for all children) (KiB): 915936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.35
system time used= 0.756884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39972
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= 50828
involuntary context switches= 97579

runsolver used 2.67859 s user time and 8.11477 s system time

The end

Launcher Data (download as text)

Begin job on node60 on Fri Jan 19 15:05:58 UTC 2007


IDJOB= 275276
IDBENCH= 3762
IDSOLVER= 68
FILE ID= node60/275276-1169219158

PBS_JOBID= 3589173

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  b661827da205822238b3e0d3c05549cf

RANDOM SEED= 84286904

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.236
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.236
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:       1210088 kB
Buffers:         55160 kB
Cached:         684680 kB
SwapCached:          0 kB
Active:         100368 kB
Inactive:       663992 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1210088 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3672 kB
Writeback:           0 kB
Mapped:          36640 kB
Slab:            66852 kB
Committed_AS:  5274852 kB
PageTables:       1880 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 node60 on Fri Jan 19 15:46:20 UTC 2007