Trace number 275282

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.15 2406.17

General information on the benchmark

Namefapp/fapp11-15/fapp11/
fapp11-1000-0.xml
MD5SUMdbef2f05eaf3bc2b6a5a2e59b2388b70
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints14239
Best CPU time to get the best result obtained on this benchmark2400.09
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=epfc.xml
0.39	   
0.39	   instance
0.39	     name=/tmp/evaluation/275282-1169219286/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.29  cpuTime=0.2  mem=17M615
0.62	   
0.62	   predicates being loaded...
0.63	   
0.63	   constraints being loaded...
61.31	   
61.31	   INFO : Stopping converting binary constraints (cpu=60.02, mem = 66M632)
62.46	     nbConstraints=15032  nbConvertedConstraints=3645  nbConvertConstraintsChecks=189602104  nbExtensionStructures=2419
62.46	     nbSharedExtensionStructures=1226  nbConflictsStructures=2419  nbSharedConflictsStructures=1226
62.46	     nbSharedBinaryRepresentations=1276176  nbEvaluationManagers=5792  nbSharedEvaluationManagers=5595  maxDegree=51
62.46	     maxArity=2
62.46	       =>  wckTime=62.131  cpuTime=60.91  mem=50M31
62.67	   
62.68	   solver LocalSearchSolver being built... 
62.71	       =>  wckTime=62.381  cpuTime=60.96  mem=46M757
62.84	
62.84	s SATISFIABLE
62.84	o 11155
62.84	c 3877
62.90	o 11164
62.90	c 3868
62.93	o 11172
62.93	c 3860
62.97	o 11179
62.97	c 3853
63.00	o 11186
63.00	c 3846
63.04	o 11188
63.04	c 3844
63.08	o 11195
63.08	c 3837
63.11	o 11200
63.11	c 3832
63.15	o 11204
63.15	c 3828
63.18	o 11206
63.18	c 3826
63.20	o 11207
63.20	c 3825
63.23	o 11216
63.23	c 3816
63.27	o 11224
63.27	c 3808
63.30	o 11229
63.30	c 3803
63.35	o 11233
63.35	c 3799
63.39	o 11237
63.39	c 3795
63.42	o 11240
63.42	c 3792
63.44	o 11242
63.44	c 3790
63.46	o 11244
63.46	c 3788
63.50	o 11245
63.50	c 3787
63.52	o 11249
63.52	c 3783
63.53	o 11250
63.53	c 3782
63.56	o 11257
63.56	c 3775
63.58	o 11263
63.58	c 3769
63.62	o 11270
63.62	c 3762
63.65	o 11276
63.65	c 3756
63.68	o 11284
63.68	c 3748
63.71	o 11290
63.71	c 3742
63.75	o 11296
63.75	c 3736
63.77	o 11301
63.77	c 3731
63.80	o 11306
63.80	c 3726
63.83	o 11310
63.83	c 3722
63.86	o 11314
63.86	c 3718
63.89	o 11317
63.89	c 3715
63.92	o 11320
63.92	c 3712
63.94	o 11322
63.94	c 3710
63.96	o 11324
63.96	c 3708
63.99	o 11326
63.99	c 3706
64.01	o 11330
64.01	c 3702
64.02	o 11332
64.02	c 3700
64.04	o 11336
64.04	c 3696
64.07	o 11340
64.07	c 3692
64.09	o 11344
64.09	c 3688
64.10	o 11348
64.10	c 3684
64.11	o 11354
64.11	c 3678
64.14	o 11363
64.14	c 3669
64.17	o 11367
64.17	c 3665
64.19	o 11372
64.19	c 3660
64.23	o 11377
64.23	c 3655
64.27	o 11385
64.27	c 3647
64.29	o 11389
64.29	c 3643
64.32	o 11393
64.32	c 3639
64.35	o 11397
64.35	c 3635
64.38	o 11400
64.38	c 3632
64.41	o 11403
64.41	c 3629
64.44	o 11405
64.44	c 3627
64.48	o 11407
64.48	c 3625
64.52	o 11410
64.52	c 3622
64.54	o 11412
64.54	c 3620
64.56	o 11417
64.56	c 3615
64.59	o 11418
64.59	c 3614
64.65	o 11424
64.65	c 3608
64.67	o 11427
64.67	c 3605
64.70	o 11430
64.70	c 3602
64.72	o 11433
64.72	c 3599
64.74	o 11438
64.74	c 3594
64.77	o 11442
64.77	c 3590
64.80	o 11444
64.80	c 3588
64.83	o 11448
64.83	c 3584
64.85	o 11450
64.85	c 3582
64.87	o 11458
64.87	c 3574
64.88	o 11459
64.88	c 3573
64.90	o 11462
64.90	c 3570
64.96	o 11464
64.96	c 3568
65.00	o 11467
65.00	c 3565
65.03	o 11470
65.03	c 3562
65.06	o 11476
65.06	c 3556
65.11	o 11480
65.11	c 3552
65.15	o 11483
65.15	c 3549
65.19	o 11486
65.19	c 3546
65.22	o 11489
65.22	c 3543
65.25	o 11492
65.25	c 3540
65.28	o 11494
65.28	c 3538
65.31	o 11496
65.31	c 3536
65.34	o 11498
65.34	c 3534
65.37	o 11500
65.37	c 3532
65.40	o 11502
65.40	c 3530
65.42	o 11504
65.42	c 3528
65.45	o 11506
65.45	c 3526
65.47	o 11513
65.47	c 3519
65.50	o 11514
65.50	c 3518
65.52	o 11515
65.52	c 3517
65.55	o 11516
65.55	c 3516
65.56	o 11517
65.56	c 3515
65.60	o 11519
65.60	c 3513
65.63	o 11522
65.63	c 3510
65.66	o 11525
65.66	c 3507
65.70	o 11530
65.70	c 3502
65.72	o 11533
65.72	c 3499
65.74	o 11537
65.74	c 3495
65.77	o 11538
65.77	c 3494
65.81	o 11541
65.81	c 3491
65.83	o 11547
65.83	c 3485
65.85	o 11549
65.85	c 3483
65.95	o 11550
65.95	c 3482
65.98	o 11554
65.98	c 3478
66.01	o 11559
66.01	c 3473
66.03	o 11560
66.03	c 3472
66.04	o 11563
66.04	c 3469
66.07	o 11564
66.07	c 3468
66.10	o 11566
66.10	c 3466
66.14	o 11571
66.14	c 3461
66.19	o 11575
66.19	c 3457
66.23	o 11578
66.23	c 3454
66.26	o 11581
66.26	c 3451
66.29	o 11583
66.29	c 3449
66.32	o 11585
66.32	c 3447
66.36	o 11587
66.36	c 3445
66.39	o 11588
66.39	c 3444
66.45	o 11591
66.45	c 3441
66.51	o 11594
66.51	c 3438
66.60	o 11599
66.60	c 3433
66.64	o 11603
66.64	c 3429
66.67	o 11607
66.67	c 3425
66.71	o 11609
66.71	c 3423
66.72	o 11612
66.72	c 3420
66.75	o 11618
66.75	c 3414
66.77	o 11622
66.77	c 3410
66.80	o 11623
66.80	c 3409
66.82	o 11624
66.82	c 3408
66.85	o 11626
66.85	c 3406
66.90	o 11627
66.90	c 3405
67.00	o 11630
67.00	c 3402
67.03	o 11631
67.03	c 3401
67.06	o 11632
67.06	c 3400
67.09	o 11636
67.09	c 3396
67.12	o 11637
67.12	c 3395
67.16	o 11638
67.16	c 3394
67.19	o 11641
67.19	c 3391
67.22	o 11642
67.22	c 3390
67.26	o 11648
67.26	c 3384
67.30	o 11653
67.30	c 3379
67.37	o 11654
67.37	c 3378
67.40	o 11656
67.40	c 3376
67.43	o 11659
67.43	c 3373
67.46	o 11660
67.46	c 3372
67.48	o 11663
67.48	c 3369
67.51	o 11668
67.51	c 3364
67.54	o 11670
67.54	c 3362
67.62	o 11677
67.62	c 3355
67.66	o 11679
67.66	c 3353
67.69	o 11684
67.69	c 3348
67.73	o 11688
67.73	c 3344
67.76	o 11692
67.76	c 3340
67.81	o 11693
67.81	c 3339
67.88	o 11698
67.88	c 3334
67.91	o 11699
67.91	c 3333
67.95	o 11700
67.95	c 3332
68.00	o 11701
68.00	c 3331
68.14	o 11702
68.14	c 3330
68.20	o 11703
68.20	c 3329
68.29	o 11706
68.29	c 3326
68.32	o 11709
68.32	c 3323
68.35	o 11715
68.35	c 3317
68.39	o 11717
68.39	c 3315
68.42	o 11720
68.42	c 3312
68.46	o 11723
68.46	c 3309
68.49	o 11725
68.49	c 3307
68.52	o 11727
68.52	c 3305
68.55	o 11729
68.55	c 3303
68.58	o 11735
68.58	c 3297
68.61	o 11739
68.61	c 3293
68.64	o 11740
68.64	c 3292
68.68	o 11743
68.68	c 3289
68.72	o 11744
68.72	c 3288
68.76	o 11746
68.76	c 3286
68.80	o 11754
68.80	c 3278
68.83	o 11757
68.83	c 3275
68.89	o 11759
68.89	c 3273
68.92	o 11761
68.92	c 3271
68.96	o 11770
68.96	c 3262
69.02	o 11772
69.02	c 3260
69.08	o 11777
69.08	c 3255
69.14	o 11780
69.14	c 3252
69.20	o 11781
69.20	c 3251
69.24	o 11782
69.24	c 3250
69.30	o 11783
69.30	c 3249
69.42	o 11787
69.42	c 3245
69.47	o 11788
69.47	c 3244
69.52	o 11790
69.52	c 3242
69.61	o 11793
69.61	c 3239
69.68	o 11795
69.68	c 3237
69.74	o 11796
69.74	c 3236
69.79	o 11797
69.79	c 3235
69.85	o 11800
69.85	c 3232
69.90	o 11807
69.90	c 3225
69.95	o 11813
69.95	c 3219
70.01	o 11818
70.01	c 3214
70.06	o 11821
70.06	c 3211
70.13	o 11823
70.13	c 3209
70.19	o 11827
70.19	c 3205
70.23	o 11830
70.24	c 3202
70.30	o 11831
70.30	c 3201
70.35	o 11834
70.35	c 3198
70.41	o 11836
70.41	c 3196
70.54	o 11837
70.54	c 3195
70.60	o 11842
70.60	c 3190
70.65	o 11845
70.65	c 3187
70.71	o 11849
70.71	c 3183
70.76	o 11852
70.76	c 3180
70.82	o 11855
70.83	c 3177
70.87	o 11858
70.87	c 3174
70.99	o 11863
70.99	c 3169
71.04	o 11864
71.04	c 3168
71.09	o 11867
71.09	c 3165
71.13	o 11875
71.13	c 3157
71.17	o 11878
71.17	c 3154
71.21	o 11882
71.21	c 3150
71.26	o 11891
71.26	c 3141
71.32	o 11892
71.32	c 3140
71.36	o 11897
71.36	c 3135
71.41	o 11901
71.41	c 3131
71.45	o 11905
71.45	c 3127
71.55	o 11909
71.55	c 3123
71.61	o 11913
71.61	c 3119
71.66	o 11915
71.66	c 3117
71.71	o 11917
71.71	c 3115
71.75	o 11920
71.75	c 3112
71.79	o 11921
71.79	c 3111
71.82	o 11925
71.82	c 3107
71.87	o 11927
71.87	c 3105
71.91	o 11933
71.91	c 3099
72.04	o 11935
72.04	c 3097
72.09	o 11941
72.09	c 3091
72.15	o 11943
72.15	c 3089
72.19	o 11947
72.19	c 3085
72.28	o 11953
72.28	c 3079
72.33	o 11957
72.33	c 3075
72.38	o 11961
72.38	c 3071
72.44	o 11964
72.44	c 3068
72.48	o 11967
72.48	c 3065
72.53	o 11969
72.53	c 3063
72.58	o 11974
72.58	c 3058
72.63	o 11979
72.63	c 3053
72.69	o 11980
72.69	c 3052
72.74	o 11984
72.74	c 3048
72.80	o 11988
72.80	c 3044
73.04	o 11990
73.04	c 3042
73.10	o 11991
73.10	c 3041
73.15	o 11992
73.15	c 3040
73.21	o 11994
73.21	c 3038
73.30	o 11998
73.30	c 3034
73.36	o 12004
73.36	c 3028
73.42	o 12006
73.42	c 3026
73.55	o 12007
73.55	c 3025
73.61	o 12008
73.61	c 3024
73.67	o 12017
73.67	c 3015
73.77	o 12024
73.77	c 3008
73.84	o 12026
73.84	c 3006
73.91	o 12027
73.91	c 3005
73.98	o 12031
73.98	c 3001
74.04	o 12035
74.04	c 2997
74.10	o 12039
74.10	c 2993
74.17	o 12044
74.17	c 2988
74.24	o 12046
74.24	c 2986
74.31	o 12048
74.31	c 2984
74.37	o 12054
74.37	c 2978
74.43	o 12055
74.43	c 2977
74.49	o 12056
74.49	c 2976
74.55	o 12058
74.55	c 2974
74.63	o 12064
74.63	c 2968
74.70	o 12065
74.70	c 2967
74.77	o 12067
74.77	c 2965
74.84	o 12069
74.84	c 2963
74.92	o 12074
74.92	c 2958
74.99	o 12076
74.99	c 2956
75.07	o 12077
75.07	c 2955
75.31	o 12082
75.31	c 2950
75.46	o 12086
75.46	c 2946
75.54	o 12090
75.54	c 2942
75.62	o 12092
75.62	c 2940
75.71	o 12095
75.71	c 2937
75.79	o 12097
75.79	c 2935
75.88	o 12098
75.88	c 2934
76.10	o 12099
76.10	c 2933
76.18	o 12100
76.18	c 2932
76.34	o 12104
76.34	c 2928
76.41	o 12106
76.41	c 2926
76.48	o 12111
76.48	c 2921
76.53	o 12112
76.53	c 2920
76.60	o 12114
76.60	c 2918
76.67	o 12119
76.67	c 2913
76.80	o 12121
76.80	c 2911
76.88	o 12124
76.88	c 2908
76.95	o 12125
76.95	c 2907
77.15	o 12127
77.15	c 2905
77.28	o 12129
77.28	c 2903
77.36	o 12132
77.36	c 2900
77.44	o 12135
77.44	c 2897
77.52	o 12139
77.52	c 2893
77.59	o 12141
77.59	c 2891
77.65	o 12145
77.65	c 2887
77.72	o 12148
77.72	c 2884
77.79	o 12152
77.79	c 2880
77.86	o 12156
77.86	c 2876
77.92	o 12158
77.92	c 2874
78.14	o 12162
78.14	c 2870
78.21	o 12164
78.21	c 2868
78.48	o 12166
78.48	c 2866
78.69	o 12168
78.69	c 2864
78.76	o 12170
78.76	c 2862
78.82	o 12174
78.82	c 2858
78.97	o 12177
78.97	c 2855
79.03	o 12181
79.03	c 2851
79.09	o 12187
79.09	c 2845
79.16	o 12190
79.16	c 2842
79.24	o 12195
79.24	c 2837
79.31	o 12199
79.31	c 2833
79.39	o 12203
79.39	c 2829
79.44	o 12208
79.44	c 2824
79.52	o 12212
79.52	c 2820
79.57	o 12213
79.57	c 2819
79.64	o 12216
79.64	c 2816
79.71	o 12221
79.71	c 2811
79.78	o 12223
79.78	c 2809
79.84	o 12229
79.84	c 2803
79.91	o 12230
79.91	c 2802
79.98	o 12236
79.98	c 2796
80.04	o 12239
80.04	c 2793
80.11	o 12241
80.11	c 2791
80.18	o 12247
80.18	c 2785
80.24	o 12254
80.25	c 2778
80.33	o 12257
80.33	c 2775
80.41	o 12258
80.41	c 2774
80.49	o 12261
80.49	c 2771
80.57	o 12262
80.57	c 2770
80.65	o 12263
80.65	c 2769
80.79	o 12265
80.79	c 2767
80.85	o 12271
80.85	c 2761
80.98	o 12274
80.98	c 2758
81.03	o 12275
81.03	c 2757
81.36	o 12276
81.36	c 2756
81.52	o 12280
81.52	c 2752
81.59	o 12285
81.59	c 2747
81.67	o 12286
81.67	c 2746
81.75	o 12288
81.75	c 2744
81.81	o 12293
81.81	c 2739
81.89	o 12294
81.89	c 2738
81.96	o 12296
81.96	c 2736
82.03	o 12299
82.03	c 2733
82.11	o 12300
82.11	c 2732
82.19	o 12304
82.19	c 2728
82.26	o 12305
82.26	c 2727
82.32	o 12308
82.32	c 2724
82.38	o 12314
82.38	c 2718
82.43	o 12317
82.43	c 2715
82.49	o 12322
82.49	c 2710
82.61	o 12326
82.61	c 2706
82.68	o 12330
82.68	c 2702
82.74	o 12332
82.74	c 2700
82.80	o 12336
82.80	c 2696
82.84	o 12341
82.84	c 2691
82.91	o 12345
82.91	c 2687
82.97	o 12347
82.97	c 2685
83.02	o 12350
83.03	c 2682
83.07	o 12353
83.07	c 2679
83.13	o 12355
83.13	c 2677
83.18	o 12356
83.18	c 2676
83.24	o 12357
83.24	c 2675
83.29	o 12364
83.29	c 2668
83.36	o 12368
83.36	c 2664
83.42	o 12369
83.42	c 2663
83.49	o 12374
83.49	c 2658
83.55	o 12382
83.55	c 2650
83.67	o 12383
83.67	c 2649
83.82	o 12386
83.82	c 2646
83.90	o 12387
83.90	c 2645
83.96	o 12392
83.96	c 2640
84.10	o 12397
84.10	c 2635
84.31	o 12404
84.31	c 2628
84.39	o 12405
84.39	c 2627
84.46	o 12408
84.46	c 2624
84.53	o 12411
84.53	c 2621
84.67	o 12412
84.67	c 2620
84.75	o 12416
84.75	c 2616
84.82	o 12418
84.82	c 2614
84.90	o 12420
84.90	c 2612
84.98	o 12425
84.98	c 2607
85.04	o 12427
85.04	c 2605
85.19	o 12431
85.19	c 2601
85.33	o 12435
85.33	c 2597
85.51	o 12440
85.51	c 2592
85.58	o 12442
85.58	c 2590
85.66	o 12443
85.66	c 2589
85.73	o 12449
85.73	c 2583
85.80	o 12452
85.80	c 2580
85.88	o 12455
85.88	c 2577
85.95	o 12460
85.95	c 2572
86.03	o 12463
86.03	c 2569
86.10	o 12468
86.10	c 2564
86.18	o 12471
86.18	c 2561
86.25	o 12473
86.25	c 2559
86.34	o 12475
86.34	c 2557
86.41	o 12477
86.41	c 2555
86.64	o 12478
86.64	c 2554
86.79	o 12479
86.79	c 2553
86.86	o 12480
86.86	c 2552
86.94	o 12484
86.94	c 2548
87.11	o 12486
87.11	c 2546
87.25	o 12487
87.25	c 2545
87.32	o 12489
87.32	c 2543
87.40	o 12490
87.40	c 2542
87.47	o 12493
87.47	c 2539
87.75	o 12496
87.75	c 2536
88.01	o 12500
88.01	c 2532
88.09	o 12501
88.09	c 2531
88.27	o 12502
88.27	c 2530
88.37	o 12505
88.37	c 2527
88.45	o 12509
88.45	c 2523
88.54	o 12510
88.54	c 2522
88.63	o 12513
88.63	c 2519
88.73	o 12515
88.73	c 2517
88.84	o 12518
88.84	c 2514
88.94	o 12525
88.94	c 2507
89.04	o 12527
89.04	c 2505
89.14	o 12532
89.14	c 2500
89.24	o 12533
89.24	c 2499
89.34	o 12534
89.34	c 2498
89.44	o 12535
89.45	c 2497
89.64	o 12536
89.64	c 2496
89.76	o 12538
89.76	c 2494
89.87	o 12541
89.87	c 2491
89.97	o 12546
89.97	c 2486
90.08	o 12553
90.08	c 2479
90.19	o 12554
90.19	c 2478
90.29	o 12559
90.29	c 2473
90.48	o 12562
90.48	c 2470
90.60	o 12563
90.60	c 2469
90.71	o 12567
90.71	c 2465
90.93	o 12568
90.93	c 2464
91.04	o 12573
91.04	c 2459
91.23	o 12574
91.23	c 2458
91.36	o 12575
91.36	c 2457
91.47	o 12577
91.47	c 2455
91.56	o 12578
91.56	c 2454
91.67	o 12580
91.67	c 2452
91.88	o 12583
91.88	c 2449
91.98	o 12587
91.98	c 2445
92.08	o 12589
92.08	c 2443
92.17	o 12592
92.17	c 2440
92.27	o 12596
92.27	c 2436
92.36	o 12600
92.36	c 2432
92.55	o 12602
92.59	c 2430
92.66	o 12603
92.66	c 2429
92.76	o 12605
92.76	c 2427
93.06	o 12608
93.06	c 2424
93.16	o 12612
93.16	c 2420
93.47	o 12616
93.47	c 2416
93.57	o 12619
93.57	c 2413
93.66	o 12620
93.66	c 2412
93.85	o 12622
93.85	c 2410
93.96	o 12623
93.96	c 2409
94.13	o 12625
94.13	c 2407
94.32	o 12629
94.32	c 2403
94.54	o 12631
94.54	c 2401
94.64	o 12635
94.64	c 2397
94.75	o 12636
94.75	c 2396
94.98	o 12638
94.98	c 2394
95.09	o 12640
95.09	c 2392
95.20	o 12641
95.20	c 2391
95.30	o 12645
95.30	c 2387
95.41	o 12652
95.41	c 2380
95.54	o 12658
95.54	c 2374
95.86	o 12659
95.86	c 2373
96.07	o 12662
96.07	c 2370
96.19	o 12664
96.19	c 2368
96.32	o 12666
96.32	c 2366
96.43	o 12670
96.43	c 2362
96.97	o 12671
96.97	c 2361
97.31	o 12676
97.31	c 2356
97.43	o 12677
97.43	c 2355
97.83	o 12680
97.83	c 2352
97.97	o 12688
97.97	c 2344
98.35	o 12689
98.35	c 2343
98.62	o 12690
98.62	c 2342
98.76	o 12694
98.76	c 2338
98.88	o 12695
98.88	c 2337
99.01	o 12698
99.01	c 2334
99.13	o 12701
99.13	c 2331
99.51	o 12705
99.51	c 2327
99.65	o 12709
99.65	c 2323
99.77	o 12713
99.77	c 2319
100.02	o 12714
100.02	c 2318
100.13	o 12717
100.13	c 2315
100.24	o 12718
100.24	c 2314
100.56	o 12721
100.56	c 2311
100.70	o 12724
100.70	c 2308
100.81	o 12725
100.81	c 2307
100.93	o 12730
100.93	c 2302
101.06	o 12735
101.06	c 2297
101.19	o 12737
101.19	c 2295
101.33	o 12738
101.33	c 2294
101.45	o 12740
101.45	c 2292
101.72	o 12746
101.72	c 2286
101.85	o 12748
101.85	c 2284
102.00	o 12750
102.00	c 2282
102.12	o 12752
102.12	c 2280
102.25	o 12756
102.25	c 2276
102.38	o 12759
102.38	c 2273
102.66	o 12762
102.66	c 2270
102.78	o 12764
102.78	c 2268
102.91	o 12768
102.91	c 2264
103.18	o 12771
103.18	c 2261
103.32	o 12772
103.32	c 2260
103.45	o 12775
103.45	c 2257
103.60	o 12776
103.60	c 2256
103.74	o 12780
103.74	c 2252
103.86	o 12788
103.86	c 2244
103.98	o 12789
103.98	c 2243
104.22	o 12793
104.22	c 2239
104.34	o 12796
104.34	c 2236
104.58	o 12800
104.58	c 2232
104.83	o 12802
104.83	c 2230
105.07	o 12805
105.07	c 2227
105.18	o 12808
105.18	c 2224
105.30	o 12810
105.30	c 2222
105.52	o 12811
105.52	c 2221
105.63	o 12815
105.63	c 2217
105.73	o 12818
105.73	c 2214
105.85	o 12820
105.85	c 2212
106.11	o 12824
106.11	c 2208
106.53	o 12825
106.53	c 2207
106.81	o 12830
106.81	c 2202
106.95	o 12831
106.95	c 2201
107.09	o 12832
107.09	c 2200
107.24	o 12834
107.24	c 2198
107.51	o 12836
107.51	c 2196
107.80	o 12838
107.80	c 2194
107.93	o 12840
107.93	c 2192
108.31	o 12842
108.31	c 2190
108.43	o 12845
108.43	c 2187
108.54	o 12851
108.54	c 2181
108.82	o 12852
108.82	c 2180
108.94	o 12854
108.94	c 2178
109.07	o 12855
109.07	c 2177
109.98	o 12856
109.98	c 2176
110.10	o 12857
110.10	c 2175
110.37	o 12858
110.37	c 2174
110.49	o 12859
110.49	c 2173
110.63	o 12862
110.63	c 2170
110.89	o 12864
110.89	c 2168
111.03	o 12866
111.03	c 2166
111.15	o 12868
111.15	c 2164
111.28	o 12870
111.28	c 2162
111.51	o 12872
111.51	c 2160
111.63	o 12875
111.63	c 2157
112.18	o 12876
112.18	c 2156
112.31	o 12877
112.31	c 2155
112.42	o 12878
112.42	c 2154
112.54	o 12880
112.54	c 2152
113.02	o 12882
113.02	c 2150
113.25	o 12885
113.25	c 2147
113.36	o 12888
113.36	c 2144
113.43	o 12890
113.43	c 2142
113.54	o 12893
113.54	c 2139
113.68	o 12894
113.68	c 2138
113.79	o 12895
113.79	c 2137
113.91	o 12899
113.91	c 2133
114.03	o 12905
114.03	c 2127
114.16	o 12907
114.16	c 2125
114.26	o 12908
114.26	c 2124
114.39	o 12909
114.39	c 2123
114.59	o 12910
114.59	c 2122
114.70	o 12915
114.70	c 2117
114.91	o 12918
114.91	c 2114
115.03	o 12919
115.03	c 2113
115.15	o 12921
115.15	c 2111
115.37	o 12922
115.37	c 2110
115.50	o 12926
115.50	c 2106
115.64	o 12929
115.64	c 2103
115.99	o 12934
115.99	c 2098
116.63	o 12937
116.63	c 2095
116.88	o 12938
116.88	c 2094
117.01	o 12941
117.01	c 2091
117.28	o 12943
117.28	c 2089
118.46	o 12946
118.46	c 2086
118.59	o 12947
118.59	c 2085
118.72	o 12951
118.72	c 2081
119.65	o 12952
119.65	c 2080
119.78	o 12953
119.78	c 2079
120.16	o 12956
120.16	c 2076
120.25	o 12958
120.25	c 2074
120.72	o 12961
120.72	c 2071
120.86	o 12964
120.86	c 2068
121.91	o 12966
121.91	c 2066
122.20	o 12967
122.20	c 2065
122.48	o 12969
122.48	c 2063
122.61	o 12970
122.61	c 2062
123.07	o 12972
123.07	c 2060
123.20	o 12973
123.20	c 2059
123.32	o 12975
123.32	c 2057
123.70	o 12976
123.70	c 2056
123.83	o 12980
123.83	c 2052
123.96	o 12982
123.96	c 2050
124.11	o 12987
124.11	c 2045
124.27	o 12990
124.27	c 2042
124.41	o 12992
124.41	c 2040
124.57	o 12994
124.57	c 2038
124.73	o 12995
124.73	c 2037
124.88	o 12996
124.88	c 2036
125.02	o 12997
125.02	c 2035
125.34	o 13000
125.34	c 2032
125.49	o 13001
125.49	c 2031
125.64	o 13003
125.64	c 2029
125.79	o 13006
125.79	c 2026
125.95	o 13008
125.95	c 2024
126.06	o 13009
126.06	c 2023
126.21	o 13016
126.21	c 2016
126.36	o 13021
126.36	c 2011
126.53	o 13022
126.53	c 2010
126.67	o 13023
126.67	c 2009
126.82	o 13024
126.82	c 2008
127.10	o 13027
127.10	c 2005
127.24	o 13028
127.24	c 2004
127.38	o 13033
127.38	c 1999
127.54	o 13036
127.54	c 1996
127.70	o 13037
127.70	c 1995
127.99	o 13039
127.99	c 1993
128.45	o 13043
128.45	c 1989
129.09	o 13047
129.09	c 1985
129.23	o 13048
129.23	c 1984
129.54	o 13049
129.54	c 1983
129.69	o 13053
129.69	c 1979
130.02	o 13054
130.02	c 1978
130.48	o 13058
130.48	c 1974
130.77	o 13060
130.77	c 1972
130.92	o 13064
130.92	c 1968
131.07	o 13066
131.07	c 1966
131.22	o 13071
131.22	c 1961
131.83	o 13075
131.83	c 1957
131.97	o 13078
131.97	c 1954
132.14	o 13079
132.14	c 1953
132.29	o 13082
132.29	c 1950
132.73	o 13083
132.73	c 1949
132.87	o 13084
132.87	c 1948
133.03	o 13087
133.03	c 1945
133.20	o 13088
133.20	c 1944
133.35	o 13089
133.35	c 1943
133.53	o 13090
133.53	c 1942
136.35	o 13092
136.35	c 1940
136.50	o 13098
136.50	c 1934
136.66	o 13100
136.66	c 1932
137.00	o 13104
137.00	c 1928
137.14	o 13105
137.14	c 1927
137.28	o 13106
137.28	c 1926
137.59	o 13109
137.59	c 1923
137.74	o 13110
137.74	c 1922
137.88	o 13112
137.88	c 1920
138.03	o 13119
138.03	c 1913
138.18	o 13122
138.18	c 1910
138.60	o 13126
138.60	c 1906
138.75	o 13127
138.75	c 1905
140.21	o 13128
140.21	c 1904
140.50	o 13130
140.50	c 1902
140.63	o 13134
140.63	c 1898
140.78	o 13135
140.78	c 1897
140.94	o 13139
140.94	c 1893
141.20	o 13141
141.20	c 1891
141.36	o 13142
141.36	c 1890
142.11	o 13143
142.11	c 1889
142.28	o 13146
142.28	c 1886
142.45	o 13150
142.45	c 1882
142.59	o 13155
142.59	c 1877
142.75	o 13158
142.75	c 1874
143.04	o 13159
143.04	c 1873
143.19	o 13162
143.19	c 1870
143.35	o 13163
143.35	c 1869
143.51	o 13164
143.51	c 1868
144.68	o 13166
144.68	c 1866
144.84	o 13168
144.84	c 1864
144.99	o 13171
144.99	c 1861
145.38	o 13172
145.38	c 1860
145.53	o 13174
145.53	c 1858
145.69	o 13175
145.69	c 1857
145.85	o 13176
145.85	c 1856
146.01	o 13178
146.01	c 1854
146.18	o 13179
146.18	c 1853
146.33	o 13182
146.33	c 1850
146.48	o 13183
146.48	c 1849
147.42	o 13185
147.42	c 1847
148.15	o 13189
148.15	c 1843
148.28	o 13191
148.28	c 1841
148.57	o 13193
148.57	c 1839
148.71	o 13195
148.71	c 1837
149.00	o 13198
149.00	c 1834
149.34	o 13201
149.34	c 1831
149.49	o 13202
149.49	c 1830
149.65	o 13204
149.65	c 1828
149.81	o 13207
149.81	c 1825
150.13	o 13209
150.13	c 1823
150.26	o 13212
150.26	c 1820
151.78	o 13213
151.78	c 1819
151.90	o 13218
151.90	c 1814
152.07	o 13219
152.07	c 1813
152.22	o 13221
152.22	c 1811
152.38	o 13222
152.38	c 1810
152.52	o 13225
152.52	c 1807
152.68	o 13227
152.68	c 1805
152.86	o 13230
152.86	c 1802
153.03	o 13233
153.03	c 1799
153.20	o 13235
153.20	c 1797
153.35	o 13237
153.35	c 1795
153.51	o 13239
153.51	c 1793
153.70	o 13241
153.70	c 1791
153.85	o 13245
153.85	c 1787
154.00	o 13248
154.00	c 1784
156.71	o 13250
156.71	c 1782
156.89	o 13252
156.89	c 1780
157.59	o 13255
157.59	c 1777
159.97	o 13256
159.97	c 1776
160.15	o 13261
160.15	c 1771
160.32	o 13264
160.32	c 1768
161.17	o 13268
161.17	c 1764
161.33	o 13271
161.33	c 1761
161.65	o 13273
161.65	c 1759
161.82	o 13274
161.82	c 1758
161.99	o 13277
161.99	c 1755
162.15	o 13282
162.15	c 1750
162.31	o 13284
162.31	c 1748
162.63	o 13287
162.63	c 1745
163.15	o 13288
163.15	c 1744
163.72	o 13289
163.72	c 1743
163.81	o 13292
163.81	c 1740
163.95	o 13295
163.95	c 1737
164.27	o 13297
164.27	c 1735
164.47	o 13298
164.47	c 1734
164.65	o 13300
164.65	c 1732
165.37	o 13302
165.37	c 1730
165.55	o 13305
165.55	c 1727
165.68	o 13308
165.68	c 1724
165.88	o 13310
165.88	c 1722
166.07	o 13313
166.07	c 1719
166.40	o 13314
166.40	c 1718
166.58	o 13317
166.58	c 1715
167.47	o 13321
167.47	c 1711
167.54	o 13324
167.54	c 1708
167.72	o 13327
167.72	c 1705
167.91	o 13328
167.91	c 1704
168.29	o 13329
168.29	c 1703
168.64	o 13332
168.64	c 1700
168.83	o 13333
168.83	c 1699
169.02	o 13337
169.02	c 1695
169.52	o 13338
169.52	c 1694
170.76	o 13339
170.76	c 1693
170.95	o 13340
170.95	c 1692
171.12	o 13343
171.12	c 1689
171.28	o 13346
171.28	c 1686
171.45	o 13349
171.45	c 1683
173.75	o 13351
173.75	c 1681
173.94	o 13353
173.94	c 1679
174.51	o 13358
174.51	c 1674
174.70	o 13359
174.70	c 1673
175.42	o 13361
175.42	c 1671
175.61	o 13362
175.61	c 1670
175.95	o 13366
175.95	c 1666
176.14	o 13369
176.14	c 1663
176.66	o 13372
176.66	c 1660
176.71	o 13375
176.71	c 1657
177.06	o 13378
177.06	c 1654
177.22	o 13380
177.22	c 1652
177.39	o 13382
177.39	c 1650
177.57	o 13384
177.57	c 1648
177.74	o 13387
177.74	c 1645
178.04	o 13388
178.04	c 1644
178.20	o 13390
178.20	c 1642
178.36	o 13392
178.36	c 1640
178.52	o 13396
178.52	c 1636
178.84	o 13399
178.84	c 1633
179.01	o 13402
179.01	c 1630
179.17	o 13404
179.17	c 1628
179.33	o 13405
179.33	c 1627
179.49	o 13408
179.49	c 1624
179.64	o 13411
179.64	c 1621
179.79	o 13412
179.79	c 1620
179.94	o 13413
179.94	c 1619
180.10	o 13415
180.10	c 1617
180.26	o 13416
180.26	c 1616
180.42	o 13420
180.42	c 1612
180.59	o 13421
180.59	c 1611
180.75	o 13424
180.75	c 1608
181.08	o 13425
181.08	c 1607
181.25	o 13426
181.25	c 1606
181.61	o 13429
181.61	c 1603
181.78	o 13430
181.78	c 1602
181.98	o 13433
181.98	c 1599
182.33	o 13437
182.33	c 1595
182.69	o 13438
182.69	c 1594
182.84	o 13439
182.84	c 1593
183.01	o 13440
183.01	c 1592
183.09	o 13441
183.09	c 1591
183.26	o 13442
183.26	c 1590
183.59	o 13443
183.59	c 1589
183.63	o 13445
183.63	c 1587
183.97	o 13447
183.97	c 1585
184.17	o 13450
184.17	c 1582
186.37	o 13451
186.37	c 1581
186.54	o 13453
186.54	c 1579
186.71	o 13454
186.71	c 1578
187.47	o 13455
187.47	c 1577
187.63	o 13458
187.63	c 1574
188.53	o 13459
188.53	c 1573
188.89	o 13463
188.89	c 1569
189.08	o 13464
189.08	c 1568
189.27	o 13465
189.27	c 1567
189.44	o 13467
189.44	c 1565
189.62	o 13468
189.62	c 1564
189.80	o 13470
189.80	c 1562
189.99	o 13473
189.99	c 1559
192.15	o 13474
192.15	c 1558
192.31	o 13478
192.31	c 1554
192.48	o 13480
192.48	c 1552
192.80	o 13482
192.80	c 1550
192.96	o 13488
192.96	c 1544
193.27	o 13489
193.27	c 1543
193.43	o 13491
193.43	c 1541
193.58	o 13492
193.58	c 1540
193.91	o 13494
193.91	c 1538
194.33	o 13495
194.33	c 1537
194.48	o 13497
194.48	c 1535
194.80	o 13499
194.80	c 1533
194.96	o 13502
194.96	c 1530
195.29	o 13505
195.29	c 1527
195.45	o 13509
195.45	c 1523
195.61	o 13510
195.61	c 1522
195.78	o 13512
195.78	c 1520
195.94	o 13513
195.94	c 1519
196.09	o 13514
196.09	c 1518
196.48	o 13515
196.48	c 1517
196.63	o 13517
196.63	c 1515
196.79	o 13520
196.79	c 1512
196.94	o 13522
196.94	c 1510
197.25	o 13524
197.25	c 1508
197.39	o 13528
197.39	c 1504
197.85	o 13529
197.85	c 1503
199.09	o 13531
199.09	c 1501
199.39	o 13533
199.39	c 1499
200.76	o 13537
200.76	c 1495
200.90	o 13541
200.90	c 1491
201.19	o 13542
201.19	c 1490
201.35	o 13544
201.35	c 1488
201.51	o 13545
201.51	c 1487
201.67	o 13546
201.67	c 1486
201.86	o 13548
201.86	c 1484
202.03	o 13552
202.03	c 1480
202.24	o 13554
202.24	c 1478
202.83	o 13555
202.83	c 1477
203.02	o 13558
203.02	c 1474
203.21	o 13564
203.21	c 1468
203.61	o 13567
203.61	c 1465
203.69	o 13569
203.69	c 1463
204.27	o 13573
204.27	c 1459
205.06	o 13574
205.06	c 1458
205.59	o 13577
205.59	c 1455
206.20	o 13578
206.20	c 1454
206.40	o 13582
206.40	c 1450
206.83	o 13584
206.83	c 1448
207.04	o 13586
207.04	c 1446
207.25	o 13587
207.25	c 1445
207.69	o 13588
207.69	c 1444
208.58	o 13589
208.58	c 1443
208.82	o 13590
208.82	c 1442
209.74	o 13595
209.74	c 1437
210.18	o 13598
210.18	c 1434
210.63	o 13599
210.63	c 1433
210.85	o 13601
210.85	c 1431
211.30	o 13603
211.30	c 1429
215.29	o 13604
215.29	c 1428
215.55	o 13608
215.55	c 1424
216.02	o 13609
216.02	c 1423
217.76	o 13610
217.76	c 1422
217.92	o 13611
217.92	c 1421
218.09	o 13613
218.09	c 1419
218.48	o 13616
218.48	c 1416
218.88	o 13617
218.88	c 1415
219.10	o 13618
219.10	c 1414
219.93	o 13620
219.93	c 1412
220.35	o 13621
220.35	c 1411
220.99	o 13622
220.99	c 1410
221.19	o 13623
221.19	c 1409
221.40	o 13624
221.40	c 1408
221.62	o 13625
221.62	c 1407
221.81	o 13628
221.81	c 1404
221.99	o 13630
221.99	c 1402
222.20	o 13635
222.20	c 1397
222.39	o 13636
222.39	c 1396
222.60	o 13639
222.60	c 1393
223.23	o 13645
223.23	c 1387
223.95	o 13646
223.95	c 1386
224.13	o 13649
224.13	c 1383
224.35	o 13651
224.35	c 1381
225.12	o 13654
225.12	c 1378
225.30	o 13655
225.30	c 1377
225.53	o 13657
225.53	c 1375
225.75	o 13659
225.75	c 1373
226.66	o 13662
226.66	c 1370
227.87	o 13665
227.87	c 1367
228.05	o 13668
228.05	c 1364
228.27	o 13670
228.27	c 1362
228.51	o 13671
228.51	c 1361
228.74	o 13673
228.74	c 1359
229.77	o 13674
229.77	c 1358
231.29	o 13675
231.29	c 1357
231.53	o 13677
231.53	c 1355
232.54	o 13679
232.54	c 1353
232.91	o 13680
232.91	c 1352
233.88	o 13681
233.88	c 1351
234.14	o 13683
234.14	c 1349
234.35	o 13684
234.35	c 1348
235.42	o 13687
235.42	c 1345
237.90	o 13688
237.90	c 1344
238.10	o 13691
238.10	c 1341
238.33	o 13692
238.33	c 1340
238.57	o 13693
238.57	c 1339
239.60	o 13695
239.60	c 1337
239.91	o 13696
239.91	c 1336
240.58	o 13697
240.58	c 1335
240.79	o 13698
240.79	c 1334
241.01	o 13700
241.01	c 1332
241.24	o 13702
241.24	c 1330
241.46	o 13703
241.46	c 1329
241.70	o 13705
241.70	c 1327
244.05	o 13708
244.05	c 1324
244.52	o 13710
244.52	c 1322
244.77	o 13712
244.77	c 1320
245.23	o 13714
245.23	c 1318
245.46	o 13715
245.46	c 1317
245.99	o 13716
245.99	c 1316
246.50	o 13717
246.50	c 1315
246.76	o 13718
246.76	c 1314
247.03	o 13719
247.03	c 1313
247.82	o 13720
247.82	c 1312
248.09	o 13723
248.09	c 1309
250.19	o 13725
250.19	c 1307
252.67	o 13727
252.67	c 1305
253.46	o 13728
253.46	c 1304
255.53	o 13729
255.53	c 1303
255.70	o 13732
255.70	c 1300
257.71	o 13733
257.71	c 1299
258.14	o 13734
258.14	c 1298
258.69	o 13737
258.69	c 1295
260.01	o 13738
260.01	c 1294
260.27	o 13739
260.27	c 1293
260.53	o 13741
260.53	c 1291
260.73	o 13742
260.73	c 1290
260.99	o 13744
260.99	c 1288
261.51	o 13745
261.51	c 1287
261.79	o 13746
261.79	c 1286
262.03	o 13747
262.03	c 1285
262.30	o 13749
262.30	c 1283
262.55	o 13750
262.55	c 1282
262.80	o 13751
262.80	c 1281
265.02	o 13753
265.02	c 1279
265.85	o 13755
265.85	c 1277
266.10	o 13756
266.10	c 1276
266.30	o 13760
266.30	c 1272
266.80	o 13762
266.80	c 1270
267.04	o 13763
267.04	c 1269
267.55	o 13764
267.55	c 1268
267.82	o 13766
267.82	c 1266
268.08	o 13767
268.08	c 1265
268.25	o 13769
268.25	c 1263
268.50	o 13771
268.50	c 1261
268.76	o 13773
268.76	c 1259
268.99	o 13775
268.99	c 1257
269.26	o 13777
269.26	c 1255
269.50	o 13779
269.50	c 1253
280.18	o 13780
280.18	c 1252
280.69	o 13782
280.69	c 1250
281.24	o 13784
281.24	c 1248
282.08	o 13785
282.08	c 1247
282.62	o 13786
282.62	c 1246
282.89	o 13788
282.89	c 1244
283.44	o 13789
283.44	c 1243
284.00	o 13791
284.00	c 1241
284.29	o 13793
284.29	c 1239
284.59	o 13795
284.59	c 1237
299.87	o 13796
299.87	c 1236
300.87	o 13801
300.87	c 1231
301.04	o 13803
301.04	c 1229
301.38	o 13805
301.38	c 1227
302.08	o 13806
302.08	c 1226
304.45	o 13807
304.45	c 1225
304.77	o 13808
304.77	c 1224
304.96	o 13810
304.96	c 1222
305.29	o 13811
305.29	c 1221
305.62	o 13812
305.62	c 1220
306.30	o 13813
306.30	c 1219
314.61	o 13814
314.61	c 1218
316.93	o 13815
316.93	c 1217
318.42	o 13817
318.42	c 1215
320.51	o 13818
320.51	c 1214
320.87	o 13820
320.87	c 1212
321.24	o 13821
321.24	c 1211
323.08	o 13822
323.08	c 1210
323.47	o 13825
323.47	c 1207
324.15	o 13826
324.15	c 1206
324.53	o 13828
324.53	c 1204
326.00	o 13830
326.00	c 1202
328.63	o 13831
328.63	c 1201
337.43	o 13832
337.43	c 1200
337.81	o 13835
337.81	c 1197
338.94	o 13837
338.94	c 1195
339.73	o 13838
339.73	c 1194
341.43	o 13840
341.43	c 1192
341.81	o 13842
341.81	c 1190
342.99	o 13844
342.99	c 1188
344.15	o 13846
344.15	c 1186
344.90	o 13847
344.90	c 1185
347.62	o 13848
347.62	c 1184
351.73	o 13849
351.73	c 1183
356.81	o 13850
356.81	c 1182
357.16	o 13853
357.16	c 1179
357.50	o 13855
357.50	c 1177
357.81	o 13857
357.81	c 1175
358.16	o 13861
358.16	c 1171
358.51	o 13864
358.51	c 1168
359.52	o 13865
359.52	c 1167
359.84	o 13868
359.84	c 1164
361.19	o 13869
361.19	c 1163
361.49	o 13871
361.49	c 1161
362.11	o 13872
362.11	c 1160
363.47	o 13874
363.47	c 1158
363.81	o 13876
363.81	c 1156
364.16	o 13878
364.16	c 1154
364.39	o 13880
364.39	c 1152
364.74	o 13882
364.74	c 1150
368.09	o 13883
368.09	c 1149
370.00	o 13885
370.00	c 1147
370.11	o 13887
370.11	c 1145
370.45	o 13888
370.45	c 1144
370.80	o 13889
370.80	c 1143
371.14	o 13891
371.14	c 1141
371.91	o 13892
371.91	c 1140
372.50	o 13893
372.50	c 1139
372.73	o 13895
372.73	c 1137
373.06	o 13897
373.06	c 1135
373.41	o 13900
373.41	c 1132
373.65	o 13901
373.65	c 1131
374.01	o 13902
374.01	c 1130
374.35	o 13903
374.35	c 1129
375.71	o 13904
375.71	c 1128
375.96	o 13906
375.96	c 1126
376.31	o 13907
376.31	c 1125
377.32	o 13909
377.32	c 1123
382.76	o 13910
382.76	c 1122
383.97	o 13913
383.97	c 1119
384.13	o 13915
384.13	c 1117
385.14	o 13918
385.14	c 1114
385.48	o 13920
385.48	c 1112
385.81	o 13921
385.81	c 1111
386.10	o 13923
386.10	c 1109
386.45	o 13924
386.45	c 1108
386.79	o 13926
386.79	c 1106
387.04	o 13928
387.04	c 1104
387.30	o 13930
387.30	c 1102
387.65	o 13932
387.65	c 1100
387.97	o 13934
387.97	c 1098
388.65	o 13935
388.65	c 1097
388.89	o 13936
388.89	c 1096
389.44	o 13937
389.44	c 1095
390.10	o 13940
390.10	c 1092
390.45	o 13941
390.45	c 1091
390.79	o 13942
390.79	c 1090
391.13	o 13943
391.13	c 1089
394.54	o 13945
394.54	c 1087
394.68	o 13947
394.68	c 1085
395.02	o 13949
395.02	c 1083
396.38	o 13952
396.39	c 1080
397.68	o 13954
397.68	c 1078
397.74	o 13955
397.74	c 1077
401.25	o 13957
401.25	c 1075
403.73	o 13958
403.73	c 1074
404.39	o 13959
404.39	c 1073
404.73	o 13960
404.73	c 1072
406.69	o 13961
406.69	c 1071
407.31	o 13962
407.31	c 1070
410.15	o 13963
410.15	c 1069
411.93	o 13964
411.93	c 1068
413.40	o 13966
413.40	c 1066
414.05	o 13967
414.05	c 1065
414.31	o 13968
414.31	c 1064
415.90	o 13970
415.90	c 1062
419.19	o 13971
419.19	c 1061
421.84	o 13972
421.84	c 1060
422.16	o 13974
422.16	c 1058
423.78	o 13976
423.78	c 1056
424.46	o 13977
424.46	c 1055
424.75	o 13980
424.75	c 1052
426.38	o 13981
426.38	c 1051
426.71	o 13984
426.71	c 1048
433.78	o 13985
433.78	c 1047
434.10	o 13987
434.10	c 1045
434.41	o 13988
434.41	c 1044
435.26	o 13990
435.26	c 1042
435.58	o 13991
435.58	c 1041
435.91	o 13993
435.91	c 1039
436.23	o 13995
436.23	c 1037
439.16	o 13999
439.16	c 1033
439.77	o 14000
439.77	c 1032
440.07	o 14001
440.07	c 1031
440.39	o 14002
440.39	c 1030
443.18	o 14004
443.18	c 1028
443.85	o 14005
443.85	c 1027
444.79	o 14006
444.79	c 1026
445.36	o 14008
445.36	c 1024
445.70	o 14009
445.70	c 1023
446.80	o 14012
446.80	c 1020
448.13	o 14014
448.14	c 1018
448.47	o 14017
448.47	c 1015
448.80	o 14018
448.80	c 1014
449.13	o 14021
449.13	c 1011
449.46	o 14024
449.46	c 1008
450.21	o 14028
450.21	c 1004
450.55	o 14031
450.55	c 1001
451.14	o 14033
451.14	c 999
451.79	o 14034
451.79	c 998
452.44	o 14036
452.44	c 996
452.77	o 14037
452.77	c 995
452.93	o 14038
452.93	c 994
456.78	o 14041
456.78	c 991
457.10	o 14042
457.10	c 990
457.42	o 14045
457.42	c 987
468.96	o 14047
468.96	c 985
469.58	o 14048
469.58	c 984
469.89	o 14049
469.89	c 983
474.87	o 14050
474.87	c 982
475.19	o 14052
475.19	c 980
475.51	o 14053
475.51	c 979
476.47	o 14054
476.47	c 978
481.96	o 14055
481.96	c 977
483.54	o 14057
483.54	c 975
483.84	o 14058
483.84	c 974
484.16	o 14059
484.16	c 973
488.09	o 14060
488.09	c 972
488.43	o 14063
488.43	c 969
489.43	o 14068
489.43	c 964
492.75	o 14069
492.75	c 963
493.08	o 14070
493.08	c 962
493.38	o 14072
493.38	c 960
500.08	o 14073
500.08	c 959
501.43	o 14074
501.43	c 958
502.11	o 14076
502.11	c 956
506.47	o 14077
506.47	c 955
506.83	o 14079
506.83	c 953
508.18	o 14082
508.18	c 950
511.57	o 14083
511.57	c 949
518.21	o 14086
518.21	c 946
518.75	o 14087
518.75	c 945
519.46	o 14088
519.46	c 944
521.32	o 14090
521.32	c 942
521.69	o 14095
521.69	c 937
541.36	o 14096
541.36	c 936
542.04	o 14098
542.04	c 934
542.31	o 14099
542.31	c 933
542.61	o 14100
542.61	c 932
549.03	o 14101
549.03	c 931
549.75	o 14102
549.75	c 930
550.13	o 14104
550.13	c 928
550.52	o 14105
550.52	c 927
550.88	o 14107
550.88	c 925
551.65	o 14108
551.65	c 924
553.61	o 14111
553.61	c 921
556.89	o 14114
556.89	c 918
557.79	o 14115
557.79	c 917
558.18	o 14118
558.18	c 914
558.89	o 14119
558.89	c 913
559.27	o 14120
559.27	c 912
560.42	o 14121
560.42	c 911
585.29	o 14123
585.29	c 909
585.71	o 14127
585.71	c 905
589.64	o 14128
589.64	c 904
590.05	o 14130
590.05	c 902
593.79	o 14132
593.79	c 900
594.21	o 14133
594.21	c 899
594.56	o 14135
594.56	c 897
594.92	o 14136
594.92	c 896
595.72	o 14137
595.72	c 895
596.15	o 14138
596.15	c 894
596.99	o 14139
596.99	c 893
597.80	o 14140
597.80	c 892
599.38	o 14142
599.38	c 890
599.80	o 14144
599.80	c 888
600.22	o 14147
600.22	c 885
601.43	o 14150
601.43	c 882
602.75	o 14154
602.75	c 878
603.15	o 14156
603.15	c 876
603.55	o 14159
603.55	c 873
604.35	o 14160
604.35	c 872
605.76	o 14161
605.76	c 871
608.30	o 14162
608.30	c 870
613.10	o 14163
613.10	c 869
613.51	o 14164
613.51	c 868
614.66	o 14165
614.66	c 867
616.27	o 14166
616.27	c 866
624.43	o 14170
624.43	c 862
624.75	o 14174
624.75	c 858
627.05	o 14177
627.05	c 855
627.82	o 14178
627.82	c 854
627.97	o 14179
627.97	c 853
629.53	o 14182
629.53	c 850
629.84	o 14185
629.84	c 847
630.63	o 14186
630.63	c 846
633.96	o 14187
633.96	c 845
635.52	o 14188
635.52	c 844
635.91	o 14189
635.91	c 843
636.29	o 14190
636.29	c 842
636.68	o 14191
636.68	c 841
637.82	o 14192
637.82	c 840
638.21	o 14193
638.21	c 839
638.62	o 14195
638.62	c 837
639.86	o 14197
639.86	c 835
640.11	o 14199
640.11	c 833
640.52	o 14201
640.52	c 831
641.33	o 14203
641.33	c 829
641.75	o 14204
641.75	c 828
646.89	o 14206
646.89	c 826
647.26	o 14207
647.26	c 825
647.50	o 14210
647.50	c 822
647.87	o 14212
647.87	c 820
648.67	o 14213
648.67	c 819
649.07	o 14214
649.07	c 818
650.30	o 14215
650.30	c 817
651.07	o 14217
651.07	c 815
651.90	o 14218
651.90	c 814
652.70	o 14219
652.70	c 813
659.46	o 14220
659.46	c 812
659.88	o 14221
659.88	c 811
663.09	o 14223
663.09	c 809
664.76	o 14224
664.76	c 808
664.96	o 14225
664.96	c 807
665.55	o 14226
665.55	c 806
671.32	o 14228
671.32	c 804
671.74	o 14229
671.74	c 803
672.81	o 14231
672.82	c 801
673.04	o 14233
673.04	c 799
673.83	o 14235
673.83	c 797
674.05	o 14237
674.05	c 795
674.40	o 14239
674.40	c 793
704.66	   
704.66	   search
704.66	     run=0  nbConstraintChecks=1871153218  nbAssignments=2873
704.66	       =>  wckTime=641.948  cpuTime=638.28  mem=47M758
704.66	   
704.66	   global
704.66	     nbConstraintChecks=1871153218  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
704.66	     solvingWckTime=641.939  solvingCpuTime=638.27  expiredTime=no  totalExploration=no  nbFoundSolutions=0
704.66	     globalCpuTime=699.29
704.66	       =>  wckTime=704.33  cpuTime=699.24  mem=47M758
704.66	   
704.66	   solver IterativeSystematicSolver being built... 
705.12	       =>  wckTime=704.788  cpuTime=699.51  mem=93M473
2074.79	   
2074.79	   preprocessing
2074.79	     nbConstraintChecks=1592077919  nbValidityChecks=7617371591  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
2074.79	     nbRemovedValues=0  detectedInconsistency=no
2074.79	       =>  wckTime=1369.664  cpuTime=1368.21  mem=93M473
2406.13	v 2088 -2708 2024 2040 2072 -2740 -2020 -2356 2700 -2716 2192 2740 -2044 -2492 -2568 2632 2216 2500 2596 -2588 2020 -2020 2352 2464 -2372 2456 2468 -2580 2732 -2592 2028 2684 -2520 2300 -2736 2068 -2340 -2124 -2344 2540 2544 -2464 2032 -2520 2084 -2476 2088 -2196 -2220 2532 -2332 -2496 -2236 -2048 -2548 -2624 2736 2216 2736 2196 2736 2420 2044 -2636 -2040 -2076 -2060 -2476 2736 2064 -2292 2216 2716 -2736 2552 2468 2508 2344 2648 2332 2588 2040 2548 -2348 2024 -2580 -2164 2548 -2340 -2712 2148 2648 2560 2020 2084 2560 -2020 2332 -2548 -2032 2100 -2460 -2536 2348 2636 2548 -2728 2668 2736 2372 2724 -2508 -2604 -2596 -2584 2024 -2456 2324 2684 2288 -2324 -2576 2096 2668 2128 2280 2540 2696 -2600 -2504 2560 -2688 -2716 2372 2140 2028 -2360 2700 2640 -2388 -2680 2084 -2272 -2044 2284 2108 -2456 -2700 2724 -2336 -2216 2320 -2140 -2628 2020 -2564 2344 -2684 2048 2340 2584 2628 -2552 -2276 -2452 -2024 2204 2540 -2552 2688 -2508 -2740 -2200 2144 2432 -2580 -2432 -2024 2432 2692 -2732 -2724 2384 -2332 2464 2292 2484 2356 -2700 2200 -2020 2508 -2128 2060 2316 2160 -2284 2076 -2196 -2620 2552 -2292 -2092 -2728 2260 -2556 2700 -2024 -2696 2032 -2620 2464 -2024 -2492 2696 -2628 2376 2624 2280 -2436 -2072 -2052 -2060 -2436 2728 -2692 -2484 -2468 2296 -2576 2608 2696 2636 -2360 -2700 -2516 -2352 2056 -2316 2352 -2560 -2268 2176 -2668 2700 2544 2512 -2540 -2208 -2064 2516 2024 2124 -2684 2240 2720 -2212 2720 2316 -2688 2020 2116 2104 -2400 -2700 2088 -2356 -2480 2024 -2024 -2512 -2352 -2628 2504 -2116 2080 2588 -2060 2288 -2724 -2128 2548 2032 -2052 2612 2520 -2104 -2720 -2716 2024 -2740 -2740 2248 -2308 -2040 2432 -2728 -2400 -2464 2320 2344 -2128 2196 -2660 2536 2296 -2692 2508 2328 -2332 2444 2128 2372 -2256 2440 -2504 2088 -2020 2064 2176 2372 2508 2692 2048 2064 -2428 -2580 -2688 -2396 2676 2684 -2136 -2024 2456 2072 -2020 -2132 2504 -2200 -2452 2188 2088 2216 2732 -2036 2548 -2296 2688 -2640 2304 -2552 2104 2080 -2600 2252 -2600 2548 -2340 -2376 -2580 -2592 2400 -2072 2160 2308 2600 2032 2072 -2348 2564 2640 2232 2076 2092 2724 -2596 -2732 2560 -2396 2156 -2056 2244 -2636 -2080 -2020 -2188 -2344 2628 2020 2252 -2060 -2080 2600 -2256 2356 2240 -2156 2676 2372 2268 -2568 -2528 -2224 -2572 -2124 -2616 2444 2088 2168 -2724 2284 -2640 -2700 -2640 -2656 2260 -2612 2152 -2716 2616 -2544 2200 -2600 -2740 2408 -2028 2356 -2176 -2532 -2292 2348 -2736 -2076 -2436 -2692 -2024 -2296 2192 2064 -2388 2024 2060 2088 -2684 2740 2024 -2480 2544 -2476 2704 -2060 2388 -2496 -2508 -2692 -2460 2384 -2596 -2392 2684 2728 2304 2424 -2048 -2472 -2660 2588 2372 2412 2236 -2516 -2064 2340 2336 -2248 -2736 2352 -2532 -2400 -2020 -2416 2628 2696 2312 -2548 2020 2672 -2720 -2632 -2260 2580 -2588 -2664 2444 2392 2028 2072 2592 2464 2452 2432 -2024 -2736 2560 2736 2716 2072 -2260 2400 2096 -2476 2252 -2408 -2552 -2556 -2696 -2440 -2036 2676 2740 2728 -2468 2596 2132 2440 2504 2292 -2724 -2376 2640 -2556 2488 2052 -2532 -2180 2432 -2104 2672 -2576 2384 2640 -2708 2504 2700 2188 -2476 2616 -2736 -2412 -2688 2068 2648 2712 2388 2336 2248 2596 -2172 2696 2172 -2404 -2032 -2700 -2104 2244 2076 2044 -2696 2652 -2128 -2564 2020 -2192 -2176 -2316 -2472 2216 -2556 -2676 -2684 -2516 2168 -2588 -2376 2380 2572 -2312 2116 2696 2052 2500 -2560 2700 2148 2736 2580 2272 -2404 -2588 -2060 -2384 -2728 2080 2552 -2572 -2288 -2504 2236 -2072 -2600 -2740 -2584 2592 -2580 2392 2300 2352 2252 2680 2672 2640 2144 2348 2020 -2240 2688 2060 -2308 2668 2736 2404 2676 2492 -2032 2560 -2488 2440 -2312 2740 2700 2436 -2020 2384 2272 2032 2080 2084 -2064 -2616 2020 2548 -2068 -2480 -2556 2392 -2068 -2080 -2736 -2220 -2072 2508 -2668 -2128 2332 2232 -2060 2676 -2520 2684 -2164 -2356 -2216 2396 2324 2572 2700 2444 -2316 2400 2168 -2728 -2248 -2100 2612 -2308 -2300 -2168 -2740 2384 2276 -2032 2024 2440 2724 2020 2500 -2684 -2328 2256 2064 -2732 -2256 -2032 -2124 2688 2052 2656 -2476 2028 -2440 -2360 2488 -2068 -2592 -2448 -2576 2216 -2488 2120 2020 2556 -2424 2676 -2048 2156 2192 2732 -2388 -2256 2464 -2684 2588 2076 -2556 2084 2060 -2688 -2132 -2548 2352 -2060 -2080 -2040 -2728 2528 2740 2272 2020 2736 2116 2520 -2040 2352 2128 -2088 2392 2688 2696 -2284 -2380 2312 -2492 2344 2540 2020 2344 -2552 -2548 2176 -2600 -2048 -2740 2432 -2676 2200 2644 2220 -2036 2392 -2036 -2736 -2168 -2620 -2680 2288 -2120 2720 2352 -2160 -2220 -2512 2044 2616 -2724 -2644 2232 -2592 2360 -2444 2580 -2680 2584 2444 2284 -2700 -2256 2024 2480 2472 2256 2620 2556 -2660 2324 -2240 2368 2404 2064 2440 2672 -2600 2740 -2300 2144 -2680 -2552 -2724 -2460 -2036 -2292 2160 2084 2312 -2600 2620 -2144 -2696 -2384 2636 -2708 -2024 2500 2560 2688 2612 2656 2708 -2452 2020 -2144 -2584 -2392 -2248 2088 2036 -2300 2556 2548 -2036 -2608 -2524 -2040 2144 2680 -2148 -2220 2600 -2676 2360 2092 2524 2588 2352 2344 2624 2288 2032 2020 2116 -2416 2260 -2676 -2464 2732 -2728 2428 2084 -2440 2628 -2740 2060 -2696 2520 -2244 2168 -2076 2504 2332 2700 -2600 2668 -2736 2144 2736 2344 2112 2448 2152 2496 -2540 2044 2696 2060 2232 -2540 2172 -2740 -2492 2348 2092 2208 2720 -2396 2736 -2256 -2128 2088 -2248 2060 -2740 -2424 2700 2588 -2688 -2348 2636 2220 2160 -2516 -2616 -2276 -2416 -2308 2620 2104 -2416 2184 -2092 2544 -2368 2120 -2576 2400 -2596 2392 2344 2332 -2596 2688 -2180 2296 2060 2620 2060 2200 -2204 2464 2064 -2060 -2480 -2696 2436 -2580 -2292 -2020 2436 2064 -2180 2392 2212 2096 -2572 2592 -2412 2076 -2080 -2060 2700 -2680 2736 2028 -2660 2740 2680 2684 2420 -2596 2684 -2564 -2652

Verifier Data (download as text)

793 unsatisfied constraints, 14239 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/node20/watcher-275282-1169219286 -o ROOT/results/node20/solver-275282-1169219286 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275282-1169219286/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.92 1.99 1.94 4/87 15485
/proc/meminfo: memFree=1321472/2055920 swapFree=4170260/4192956
[pid=15484] ppid=15482 vsize=18540 CPUtime=0
/proc/15484/stat : 15484 (runsolver) R 15482 15484 14815 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 270323147 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 273952599335 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/15484/statm: 4635 279 244 17 0 2626 0

[startup+0.102622 s]
/proc/loadavg: 1.92 1.99 1.94 4/87 15485
/proc/meminfo: memFree=1321472/2055920 swapFree=4170260/4192956
[pid=15484] ppid=15482 vsize=914988 CPUtime=0.08
/proc/15484/stat : 15484 (java) R 15482 15484 14815 0 -1 0 2951 0 1 0 7 1 0 0 17 0 8 0 270323147 936947712 2697 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155082709 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15484/statm: 228747 2697 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.510673 s]
/proc/loadavg: 1.92 1.99 1.94 4/87 15485
/proc/meminfo: memFree=1321472/2055920 swapFree=4170260/4192956
[pid=15484] ppid=15482 vsize=915332 CPUtime=0.45
/proc/15484/stat : 15484 (java) R 15482 15484 14815 0 -1 0 6392 0 11 0 41 4 0 0 18 0 8 0 270323147 937299968 6141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072937043 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15484/statm: 228833 6141 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915332

[startup+1.33277 s]
/proc/loadavg: 1.92 1.99 1.94 3/94 15492
/proc/meminfo: memFree=1251720/2055920 swapFree=4170260/4192956
[pid=15484] ppid=15482 vsize=915636 CPUtime=1.25
/proc/15484/stat : 15484 (java) R 15482 15484 14815 0 -1 0 21013 0 11 0 116 9 0 0 24 0 8 0 270323147 937611264 20760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380216 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15484/statm: 228909 20760 2164 14 0 215379 0
[pid=15484/tid=15486] ppid=15482 vsize=915636 CPUtime=0.07
/proc/15484/task/15486/stat : 15486 (java) S 15482 15484 14815 0 -1 64 4474 0 0 0 6 1 0 0 16 0 8 0 270323151 937611264 20760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15487] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15487/stat : 15487 (java) S 15482 15484 14815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270323151 937611264 20760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15488] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15488/stat : 15488 (java) S 15482 15484 14815 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270323151 937611264 20760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15489] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15489/stat : 15489 (java) S 15482 15484 14815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270323155 937611264 20760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15490] ppid=15482 vsize=915636 CPUtime=0.15
/proc/15484/task/15490/stat : 15490 (java) S 15482 15484 14815 0 -1 64 395 0 0 0 15 0 0 0 16 0 8 0 270323155 937611264 20760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15491] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15491/stat : 15491 (java) S 15482 15484 14815 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270323155 937611264 20760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15492] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15492/stat : 15492 (java) S 15482 15484 14815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270323155 937611264 20760 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915636

[startup+2.97096 s]
/proc/loadavg: 1.92 1.99 1.94 3/94 15492
/proc/meminfo: memFree=1243784/2055920 swapFree=4170260/4192956
[pid=15484] ppid=15482 vsize=915636 CPUtime=2.89
/proc/15484/stat : 15484 (java) R 15482 15484 14815 0 -1 0 21088 0 11 0 279 10 0 0 25 0 8 0 270323147 937611264 20834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073798600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15484/statm: 228909 20834 2184 14 0 215379 0
[pid=15484/tid=15486] ppid=15482 vsize=915636 CPUtime=0.07
/proc/15484/task/15486/stat : 15486 (java) S 15482 15484 14815 0 -1 64 4474 0 0 0 6 1 0 0 17 0 8 0 270323151 937611264 20834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15487] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15487/stat : 15487 (java) S 15482 15484 14815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270323151 937611264 20834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15488] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15488/stat : 15488 (java) S 15482 15484 14815 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270323151 937611264 20834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15489] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15489/stat : 15489 (java) S 15482 15484 14815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270323155 937611264 20834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15490] ppid=15482 vsize=915636 CPUtime=0.17
/proc/15484/task/15490/stat : 15490 (java) S 15482 15484 14815 0 -1 64 407 0 0 0 17 0 0 0 15 0 8 0 270323155 937611264 20834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15491] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15491/stat : 15491 (java) S 15482 15484 14815 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270323155 937611264 20834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15492] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15492/stat : 15492 (java) S 15482 15484 14815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270323155 937611264 20834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915636

[startup+6.17935 s]
/proc/loadavg: 1.93 1.99 1.94 3/94 15492
/proc/meminfo: memFree=1243656/2055920 swapFree=4170260/4192956
[pid=15484] ppid=15482 vsize=915636 CPUtime=6.06
/proc/15484/stat : 15484 (java) R 15482 15484 14815 0 -1 0 21105 0 11 0 595 11 0 0 25 0 8 0 270323147 937611264 20851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153901149 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15484/statm: 228909 20851 2185 14 0 215379 0
[pid=15484/tid=15486] ppid=15482 vsize=915636 CPUtime=0.07
/proc/15484/task/15486/stat : 15486 (java) S 15482 15484 14815 0 -1 64 4474 0 0 0 6 1 0 0 16 0 8 0 270323151 937611264 20851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15487] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15487/stat : 15487 (java) S 15482 15484 14815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270323151 937611264 20851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15488] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15488/stat : 15488 (java) S 15482 15484 14815 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270323151 937611264 20851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15489] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15489/stat : 15489 (java) S 15482 15484 14815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270323155 937611264 20851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15490] ppid=15482 vsize=915636 CPUtime=0.19
/proc/15484/task/15490/stat : 15490 (java) S 15482 15484 14815 0 -1 64 423 0 0 0 19 0 0 0 15 0 8 0 270323155 937611264 20851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15491] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15491/stat : 15491 (java) S 15482 15484 14815 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270323155 937611264 20851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15492] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15492/stat : 15492 (java) S 15482 15484 14815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270323155 937611264 20851 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 915636

[startup+12.6511 s]
/proc/loadavg: 1.93 1.99 1.94 3/94 15492
/proc/meminfo: memFree=1243792/2055920 swapFree=4170260/4192956
[pid=15484] ppid=15482 vsize=915636 CPUtime=12.47
/proc/15484/stat : 15484 (java) R 15482 15484 14815 0 -1 0 21108 0 11 0 1235 12 0 0 25 0 8 0 270323147 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794147 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15484/statm: 228909 20853 2185 14 0 215379 0
[pid=15484/tid=15486] ppid=15482 vsize=915636 CPUtime=0.07
/proc/15484/task/15486/stat : 15486 (java) S 15482 15484 14815 0 -1 64 4474 0 0 0 6 1 0 0 16 0 8 0 270323151 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15487] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15487/stat : 15487 (java) S 15482 15484 14815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270323151 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15488] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15488/stat : 15488 (java) S 15482 15484 14815 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270323151 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15489] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15489/stat : 15489 (java) S 15482 15484 14815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270323155 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15490] ppid=15482 vsize=915636 CPUtime=0.19
/proc/15484/task/15490/stat : 15490 (java) S 15482 15484 14815 0 -1 64 425 0 0 0 19 0 0 0 15 0 8 0 270323155 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15491] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15491/stat : 15491 (java) S 15482 15484 14815 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270323155 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15492] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15492/stat : 15492 (java) S 15482 15484 14815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270323155 937611264 20853 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 915636

[startup+25.5127 s]
/proc/loadavg: 1.95 1.99 1.94 3/94 15492
/proc/meminfo: memFree=1241744/2055920 swapFree=4170260/4192956
[pid=15484] ppid=15482 vsize=915636 CPUtime=25.21
/proc/15484/stat : 15484 (java) R 15482 15484 14815 0 -1 0 21679 0 11 0 2507 14 0 0 25 0 8 0 270323147 937611264 21421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794038 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15484/statm: 228909 21421 2185 14 0 215379 0
[pid=15484/tid=15486] ppid=15482 vsize=915636 CPUtime=0.12
/proc/15484/task/15486/stat : 15486 (java) S 15482 15484 14815 0 -1 64 5037 0 0 0 11 1 0 0 16 0 8 0 270323151 937611264 21421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15487] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15487/stat : 15487 (java) S 15482 15484 14815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270323151 937611264 21421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15488] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15488/stat : 15488 (java) S 15482 15484 14815 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270323151 937611264 21421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15489] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15489/stat : 15489 (java) S 15482 15484 14815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270323155 937611264 21421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15490] ppid=15482 vsize=915636 CPUtime=0.21
/proc/15484/task/15490/stat : 15490 (java) S 15482 15484 14815 0 -1 64 430 0 0 0 21 0 0 0 16 0 8 0 270323155 937611264 21421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15491] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15491/stat : 15491 (java) S 15482 15484 14815 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270323155 937611264 21421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15492] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15492/stat : 15492 (java) S 15482 15484 14815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270323155 937611264 21421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 915636

[startup+51.1318 s]
/proc/loadavg: 1.96 1.99 1.94 3/94 15492
/proc/meminfo: memFree=1230096/2055920 swapFree=4170260/4192956
[pid=15484] ppid=15482 vsize=915636 CPUtime=50.59
/proc/15484/stat : 15484 (java) R 15482 15484 14815 0 -1 0 24598 0 11 0 5035 24 0 0 25 0 8 0 270323147 937611264 24338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799528 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15484/statm: 228909 24338 2186 14 0 215379 0
[pid=15484/tid=15486] ppid=15482 vsize=915636 CPUtime=0.22
/proc/15484/task/15486/stat : 15486 (java) S 15482 15484 14815 0 -1 64 7945 0 0 0 20 2 0 0 16 0 8 0 270323151 937611264 24338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15487] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15487/stat : 15487 (java) S 15482 15484 14815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270323151 937611264 24338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15488] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15488/stat : 15488 (java) S 15482 15484 14815 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270323151 937611264 24338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15489] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15489/stat : 15489 (java) S 15482 15484 14815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270323155 937611264 24338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15490] ppid=15482 vsize=915636 CPUtime=0.22
/proc/15484/task/15490/stat : 15490 (java) S 15482 15484 14815 0 -1 64 439 0 0 0 22 0 0 0 15 0 8 0 270323155 937611264 24338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15491] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15491/stat : 15491 (java) S 15482 15484 14815 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270323155 937611264 24338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15492] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15492/stat : 15492 (java) S 15482 15484 14815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270323155 937611264 24338 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 915636

[startup+102.393 s]
/proc/loadavg: 1.98 1.99 1.94 3/94 15492
/proc/meminfo: memFree=1208848/2055920 swapFree=4170260/4192956
[pid=15484] ppid=15482 vsize=915636 CPUtime=101.35
/proc/15484/stat : 15484 (java) R 15482 15484 14815 0 -1 0 30232 0 11 0 10097 38 0 0 25 0 8 0 270323147 937611264 29966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073979159 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15484/statm: 228909 29966 2504 14 0 215379 0
[pid=15484/tid=15486] ppid=15482 vsize=915636 CPUtime=0.61
/proc/15484/task/15486/stat : 15486 (java) S 15482 15484 14815 0 -1 64 13201 0 0 0 57 4 0 0 16 0 8 0 270323151 937611264 29966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15487] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15487/stat : 15487 (java) S 15482 15484 14815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270323151 937611264 29966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15488] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15488/stat : 15488 (java) S 15482 15484 14815 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270323151 937611264 29966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15489] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15489/stat : 15489 (java) S 15482 15484 14815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270323155 937611264 29966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15490] ppid=15482 vsize=915636 CPUtime=0.28
/proc/15484/task/15490/stat : 15490 (java) S 15482 15484 14815 0 -1 64 466 0 0 0 28 0 0 0 16 0 8 0 270323155 937611264 29966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15491] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15491/stat : 15491 (java) S 15482 15484 14815 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270323155 937611264 29966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15492] ppid=15482 vsize=915636 CPUtime=0
/proc/15484/task/15492/stat : 15492 (java) S 15482 15484 14815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270323155 937611264 29966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.35
Current children cumulated vsize (KiB) 915636

[startup+162.408 s]
/proc/loadavg: 1.99 1.99 1.94 3/94 15492
/proc/meminfo: memFree=1208848/2055920 swapFree=4170260/4192956
[pid=15484] ppid=15482 vsize=915636 CPUtime=160.8
/proc/15484/stat : 15484 (java) R 15482 15484 14815 0 -1 0 30232 0 11 0 16037 43 0 0 25 0 8 0 270323147 937611264 29966 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073979113 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2017.36
Current children cumulated vsize (KiB) 916960

[startup+2082.99 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 15566
/proc/meminfo: memFree=1038808/2055920 swapFree=4170260/4192956
[pid=15484] ppid=15482 vsize=916960 CPUtime=2077.31
/proc/15484/stat : 15484 (java) R 15482 15484 14815 0 -1 0 39808 0 11 0 207653 78 0 0 25 0 8 0 270323147 938967040 39522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073977463 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15484/statm: 229240 39522 2553 14 0 215710 0
[pid=15484/tid=15486] ppid=15482 vsize=916960 CPUtime=0.72
/proc/15484/task/15486/stat : 15486 (java) S 15482 15484 14815 0 -1 64 22519 0 0 0 64 8 0 0 16 0 8 0 270323151 938967040 39522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15484/tid=15487] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15487/stat : 15487 (java) S 15482 15484 14815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270323151 938967040 39522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15484/tid=15488] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15488/stat : 15488 (java) S 15482 15484 14815 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270323151 938967040 39522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15484/tid=15489] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15489/stat : 15489 (java) S 15482 15484 14815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270323155 938967040 39522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15490] ppid=15482 vsize=916960 CPUtime=0.4
/proc/15484/task/15490/stat : 15490 (java) S 15482 15484 14815 0 -1 64 590 0 0 0 39 1 0 0 16 0 8 0 270323155 938967040 39522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15484/tid=15491] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15491/stat : 15491 (java) S 15482 15484 14815 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270323155 938967040 39522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15492] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15492/stat : 15492 (java) S 15482 15484 14815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270323155 938967040 39522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2077.31
Current children cumulated vsize (KiB) 916960

[startup+2143.01 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 15566
/proc/meminfo: memFree=1038744/2055920 swapFree=4170260/4192956
[pid=15484] ppid=15482 vsize=916960 CPUtime=2137.26
/proc/15484/stat : 15484 (java) R 15482 15484 14815 0 -1 0 39809 0 11 0 213648 78 0 0 25 0 8 0 270323147 938967040 39523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797815 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15484/statm: 229240 39523 2553 14 0 215710 0
[pid=15484/tid=15486] ppid=15482 vsize=916960 CPUtime=0.72
/proc/15484/task/15486/stat : 15486 (java) S 15482 15484 14815 0 -1 64 22519 0 0 0 64 8 0 0 16 0 8 0 270323151 938967040 39523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15484/tid=15487] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15487/stat : 15487 (java) S 15482 15484 14815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270323151 938967040 39523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15484/tid=15488] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15488/stat : 15488 (java) S 15482 15484 14815 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270323151 938967040 39523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15484/tid=15489] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15489/stat : 15489 (java) S 15482 15484 14815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270323155 938967040 39523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15490] ppid=15482 vsize=916960 CPUtime=0.4
/proc/15484/task/15490/stat : 15490 (java) S 15482 15484 14815 0 -1 64 591 0 0 0 39 1 0 0 16 0 8 0 270323155 938967040 39523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15484/tid=15491] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15491/stat : 15491 (java) S 15482 15484 14815 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270323155 938967040 39523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15492] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15492/stat : 15492 (java) S 15482 15484 14815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270323155 938967040 39523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2137.26
Current children cumulated vsize (KiB) 916960

[startup+2203.03 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 15566
/proc/meminfo: memFree=1038744/2055920 swapFree=4170260/4192956
[pid=15484] ppid=15482 vsize=916960 CPUtime=2197.22
/proc/15484/stat : 15484 (java) R 15482 15484 14815 0 -1 0 39809 0 11 0 219644 78 0 0 25 0 8 0 270323147 938967040 39523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074100724 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15484/statm: 229240 39523 2553 14 0 215710 0
[pid=15484/tid=15486] ppid=15482 vsize=916960 CPUtime=0.72
/proc/15484/task/15486/stat : 15486 (java) S 15482 15484 14815 0 -1 64 22519 0 0 0 64 8 0 0 16 0 8 0 270323151 938967040 39523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15484/tid=15487] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15487/stat : 15487 (java) S 15482 15484 14815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270323151 938967040 39523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15484/tid=15488] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15488/stat : 15488 (java) S 15482 15484 14815 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270323151 938967040 39523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15484/tid=15489] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15489/stat : 15489 (java) S 15482 15484 14815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270323155 938967040 39523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15490] ppid=15482 vsize=916960 CPUtime=0.4
/proc/15484/task/15490/stat : 15490 (java) S 15482 15484 14815 0 -1 64 591 0 0 0 39 1 0 0 16 0 8 0 270323155 938967040 39523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15484/tid=15491] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15491/stat : 15491 (java) S 15482 15484 14815 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270323155 938967040 39523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15492] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15492/stat : 15492 (java) S 15482 15484 14815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270323155 938967040 39523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2197.22
Current children cumulated vsize (KiB) 916960

[startup+2263.05 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 15566
/proc/meminfo: memFree=1038744/2055920 swapFree=4170260/4192956
[pid=15484] ppid=15482 vsize=916960 CPUtime=2257.18
/proc/15484/stat : 15484 (java) R 15482 15484 14815 0 -1 0 39809 0 11 0 225640 78 0 0 25 0 8 0 270323147 938967040 39523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074214169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15484/statm: 229240 39523 2553 14 0 215710 0
[pid=15484/tid=15486] ppid=15482 vsize=916960 CPUtime=0.72
/proc/15484/task/15486/stat : 15486 (java) S 15482 15484 14815 0 -1 64 22519 0 0 0 64 8 0 0 16 0 8 0 270323151 938967040 39523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15484/tid=15487] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15487/stat : 15487 (java) S 15482 15484 14815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270323151 938967040 39523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15484/tid=15488] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15488/stat : 15488 (java) S 15482 15484 14815 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270323151 938967040 39523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15484/tid=15489] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15489/stat : 15489 (java) S 15482 15484 14815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270323155 938967040 39523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15490] ppid=15482 vsize=916960 CPUtime=0.4
/proc/15484/task/15490/stat : 15490 (java) S 15482 15484 14815 0 -1 64 591 0 0 0 39 1 0 0 16 0 8 0 270323155 938967040 39523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15484/tid=15491] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15491/stat : 15491 (java) S 15482 15484 14815 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270323155 938967040 39523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15492] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15492/stat : 15492 (java) S 15482 15484 14815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270323155 938967040 39523 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2257.18
Current children cumulated vsize (KiB) 916960

[startup+2323.06 s]
/proc/loadavg: 2.09 2.03 1.97 3/100 15566
/proc/meminfo: memFree=1038744/2055920 swapFree=4170260/4192956
[pid=15484] ppid=15482 vsize=916960 CPUtime=2317.12
/proc/15484/stat : 15484 (java) R 15482 15484 14815 0 -1 0 39815 0 11 0 231634 78 0 0 25 0 8 0 270323147 938967040 39526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074246500 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15484/statm: 229240 39526 2553 14 0 215710 0
[pid=15484/tid=15486] ppid=15482 vsize=916960 CPUtime=0.72
/proc/15484/task/15486/stat : 15486 (java) S 15482 15484 14815 0 -1 64 22519 0 0 0 64 8 0 0 16 0 8 0 270323151 938967040 39526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15484/tid=15487] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15487/stat : 15487 (java) S 15482 15484 14815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270323151 938967040 39526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15484/tid=15488] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15488/stat : 15488 (java) S 15482 15484 14815 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270323151 938967040 39526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15484/tid=15489] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15489/stat : 15489 (java) S 15482 15484 14815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270323155 938967040 39526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15490] ppid=15482 vsize=916960 CPUtime=0.41
/proc/15484/task/15490/stat : 15490 (java) S 15482 15484 14815 0 -1 64 595 0 0 0 40 1 0 0 17 0 8 0 270323155 938967040 39526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15484/tid=15491] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15491/stat : 15491 (java) S 15482 15484 14815 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270323155 938967040 39526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15492] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15492/stat : 15492 (java) S 15482 15484 14815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270323155 938967040 39526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2317.12
Current children cumulated vsize (KiB) 916960

[startup+2383.08 s]
/proc/loadavg: 2.03 2.02 1.97 4/100 15566
/proc/meminfo: memFree=1038744/2055920 swapFree=4170260/4192956
[pid=15484] ppid=15482 vsize=916960 CPUtime=2377.07
/proc/15484/stat : 15484 (java) R 15482 15484 14815 0 -1 0 39815 0 11 0 237629 78 0 0 25 0 8 0 270323147 938967040 39526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074241110 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15484/statm: 229240 39526 2553 14 0 215710 0
[pid=15484/tid=15486] ppid=15482 vsize=916960 CPUtime=0.72
/proc/15484/task/15486/stat : 15486 (java) S 15482 15484 14815 0 -1 64 22519 0 0 0 64 8 0 0 16 0 8 0 270323151 938967040 39526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15484/tid=15487] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15487/stat : 15487 (java) S 15482 15484 14815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270323151 938967040 39526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15484/tid=15488] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15488/stat : 15488 (java) S 15482 15484 14815 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270323151 938967040 39526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15484/tid=15489] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15489/stat : 15489 (java) S 15482 15484 14815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270323155 938967040 39526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15490] ppid=15482 vsize=916960 CPUtime=0.41
/proc/15484/task/15490/stat : 15490 (java) S 15482 15484 14815 0 -1 64 595 0 0 0 40 1 0 0 17 0 8 0 270323155 938967040 39526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15484/tid=15491] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15491/stat : 15491 (java) S 15482 15484 14815 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270323155 938967040 39526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15492] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15492/stat : 15492 (java) S 15482 15484 14815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270323155 938967040 39526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2377.07
Current children cumulated vsize (KiB) 916960



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2406.12 s]
/proc/loadavg: 2.02 2.02 1.97 3/100 15566
/proc/meminfo: memFree=1038680/2055920 swapFree=4170260/4192956
[pid=15484] ppid=15482 vsize=916960 CPUtime=2400.1
/proc/15484/stat : 15484 (java) R 15482 15484 14815 0 -1 0 39815 0 11 0 239932 78 0 0 25 0 8 0 270323147 938967040 39526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074249499 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15484/statm: 229240 39526 2553 14 0 215710 0
[pid=15484/tid=15486] ppid=15482 vsize=916960 CPUtime=0.72
/proc/15484/task/15486/stat : 15486 (java) S 15482 15484 14815 0 -1 64 22519 0 0 0 64 8 0 0 16 0 8 0 270323151 938967040 39526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15484/tid=15487] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15487/stat : 15487 (java) S 15482 15484 14815 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270323151 938967040 39526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15484/tid=15488] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15488/stat : 15488 (java) S 15482 15484 14815 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270323151 938967040 39526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15484/tid=15489] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15489/stat : 15489 (java) S 15482 15484 14815 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 270323155 938967040 39526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15490] ppid=15482 vsize=916960 CPUtime=0.41
/proc/15484/task/15490/stat : 15490 (java) S 15482 15484 14815 0 -1 64 595 0 0 0 40 1 0 0 17 0 8 0 270323155 938967040 39526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15484/tid=15491] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15491/stat : 15491 (java) S 15482 15484 14815 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 270323155 938967040 39526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15484/tid=15492] ppid=15482 vsize=916960 CPUtime=0
/proc/15484/task/15492/stat : 15492 (java) S 15482 15484 14815 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 270323155 938967040 39526 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 916960

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

Child status: 143
Real time (s): 2406.17
CPU time (s): 2400.15
CPU user time (s): 2399.34
CPU system time (s): 0.812876
CPU usage (%): 99.75
Max. virtual memory (cumulated for all children) (KiB): 916960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.34
system time used= 0.812876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39838
page faults= 11
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50527
involuntary context switches= 86748

runsolver used 3.16552 s user time and 7.60384 s system time

The end

Launcher Data (download as text)

Begin job on node20 on Fri Jan 19 15:08:06 UTC 2007


IDJOB= 275282
IDBENCH= 3764
IDSOLVER= 68
FILE ID= node20/275282-1169219286

PBS_JOBID= 3589158

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  dbef2f05eaf3bc2b6a5a2e59b2388b70

RANDOM SEED= 75605289

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.216
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.216
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:       1321952 kB
Buffers:         41800 kB
Cached:         586148 kB
SwapCached:       3160 kB
Active:         122684 kB
Inactive:       537900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1321952 kB
SwapTotal:     4192956 kB
SwapFree:      4170260 kB
Dirty:            3752 kB
Writeback:           0 kB
Mapped:          49852 kB
Slab:            57916 kB
Committed_AS:  4857296 kB
PageTables:       2400 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= 66556 MiB



End job on node20 on Fri Jan 19 15:48:12 UTC 2007