Trace number 275283

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 PFCMSAT (TO) 2400.09 2410.56

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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/275283-1169219341/unknown.xml
0.38	   
0.38	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.58	     nbVariables=1000  nbDomainTypes=18  minDomainSize=50  maxDomainSize=362
0.58	       =>  wckTime=0.267  cpuTime=0.19  mem=17M636
0.58	   
0.58	   predicates being loaded...
0.59	   
0.59	   constraints being loaded...
61.00	   
61.00	   INFO : Stopping converting binary constraints (cpu=60.01, mem = 66M895)
62.19	     nbConstraints=15032  nbConvertedConstraints=3646  nbConvertConstraintsChecks=189698396  nbExtensionStructures=2420
62.19	     nbSharedExtensionStructures=1226  nbConflictsStructures=2420  nbSharedConflictsStructures=1226
62.19	     nbSharedBinaryRepresentations=1276804  nbEvaluationManagers=5791  nbSharedEvaluationManagers=5595  maxDegree=51
62.19	     maxArity=2
62.19	       =>  wckTime=61.87  cpuTime=60.93  mem=50M95
62.40	   
62.40	   solver LocalSearchSolver being built... 
62.44	       =>  wckTime=62.128  cpuTime=60.98  mem=46M806
62.57	
62.57	s SATISFIABLE
62.57	o 11155
62.57	c 3877
62.63	o 11164
62.63	c 3868
62.67	o 11172
62.67	c 3860
62.71	o 11179
62.71	c 3853
62.74	o 11186
62.74	c 3846
62.77	o 11188
62.77	c 3844
62.81	o 11195
62.81	c 3837
62.84	o 11200
62.84	c 3832
62.88	o 11204
62.88	c 3828
62.91	o 11206
62.91	c 3826
62.94	o 11207
62.94	c 3825
62.96	o 11216
62.96	c 3816
63.00	o 11224
63.00	c 3808
63.04	o 11229
63.04	c 3803
63.08	o 11233
63.08	c 3799
63.12	o 11237
63.12	c 3795
63.15	o 11240
63.15	c 3792
63.18	o 11242
63.18	c 3790
63.20	o 11244
63.20	c 3788
63.23	o 11245
63.23	c 3787
63.25	o 11249
63.25	c 3783
63.27	o 11250
63.27	c 3782
63.30	o 11257
63.30	c 3775
63.32	o 11263
63.32	c 3769
63.36	o 11270
63.36	c 3762
63.39	o 11276
63.39	c 3756
63.42	o 11284
63.42	c 3748
63.45	o 11290
63.45	c 3742
63.49	o 11296
63.49	c 3736
63.52	o 11301
63.52	c 3731
63.55	o 11306
63.55	c 3726
63.58	o 11310
63.58	c 3722
63.61	o 11314
63.61	c 3718
63.64	o 11317
63.64	c 3715
63.67	o 11320
63.67	c 3712
63.69	o 11322
63.69	c 3710
63.72	o 11324
63.72	c 3708
63.74	o 11326
63.74	c 3706
63.76	o 11330
63.76	c 3702
63.78	o 11332
63.78	c 3700
63.80	o 11336
63.80	c 3696
63.82	o 11340
63.82	c 3692
63.84	o 11344
63.84	c 3688
63.86	o 11348
63.86	c 3684
63.87	o 11354
63.87	c 3678
63.90	o 11363
63.90	c 3669
63.92	o 11367
63.92	c 3665
63.95	o 11372
63.95	c 3660
63.98	o 11377
63.98	c 3655
64.02	o 11385
64.02	c 3647
64.05	o 11389
64.05	c 3643
64.08	o 11393
64.08	c 3639
64.10	o 11397
64.10	c 3635
64.13	o 11400
64.13	c 3632
64.17	o 11403
64.17	c 3629
64.20	o 11405
64.20	c 3627
64.25	o 11407
64.25	c 3625
64.27	o 11410
64.27	c 3622
64.30	o 11412
64.30	c 3620
64.32	o 11417
64.32	c 3615
64.34	o 11418
64.34	c 3614
64.41	o 11424
64.41	c 3608
64.43	o 11427
64.43	c 3605
64.46	o 11430
64.46	c 3602
64.49	o 11433
64.49	c 3599
64.51	o 11438
64.51	c 3594
64.54	o 11442
64.54	c 3590
64.57	o 11444
64.57	c 3588
64.60	o 11448
64.60	c 3584
64.62	o 11450
64.62	c 3582
64.64	o 11458
64.64	c 3574
64.65	o 11459
64.65	c 3573
64.67	o 11462
64.67	c 3570
64.73	o 11464
64.73	c 3568
64.77	o 11467
64.77	c 3565
64.80	o 11470
64.80	c 3562
64.84	o 11476
64.84	c 3556
64.89	o 11480
64.89	c 3552
64.93	o 11483
64.93	c 3549
64.97	o 11486
64.97	c 3546
65.00	o 11489
65.00	c 3543
65.03	o 11492
65.03	c 3540
65.06	o 11494
65.06	c 3538
65.09	o 11496
65.09	c 3536
65.12	o 11498
65.12	c 3534
65.15	o 11500
65.15	c 3532
65.18	o 11502
65.18	c 3530
65.21	o 11504
65.21	c 3528
65.23	o 11506
65.23	c 3526
65.26	o 11513
65.26	c 3519
65.28	o 11514
65.28	c 3518
65.30	o 11515
65.31	c 3517
65.33	o 11516
65.33	c 3516
65.35	o 11517
65.35	c 3515
65.39	o 11519
65.39	c 3513
65.41	o 11522
65.41	c 3510
65.44	o 11525
65.44	c 3507
65.48	o 11530
65.48	c 3502
65.50	o 11533
65.50	c 3499
65.53	o 11537
65.53	c 3495
65.56	o 11538
65.56	c 3494
65.59	o 11541
65.59	c 3491
65.62	o 11547
65.62	c 3485
65.65	o 11549
65.65	c 3483
65.75	o 11550
65.75	c 3482
65.78	o 11554
65.78	c 3478
65.81	o 11559
65.81	c 3473
65.83	o 11560
65.83	c 3472
65.84	o 11563
65.84	c 3469
65.87	o 11564
65.87	c 3468
65.90	o 11566
65.90	c 3466
65.95	o 11571
65.95	c 3461
65.99	o 11575
65.99	c 3457
66.03	o 11578
66.03	c 3454
66.07	o 11581
66.07	c 3451
66.10	o 11583
66.10	c 3449
66.13	o 11585
66.13	c 3447
66.17	o 11587
66.17	c 3445
66.20	o 11588
66.20	c 3444
66.26	o 11591
66.26	c 3441
66.32	o 11594
66.32	c 3438
66.40	o 11599
66.40	c 3433
66.45	o 11603
66.45	c 3429
66.48	o 11607
66.48	c 3425
66.52	o 11609
66.52	c 3423
66.53	o 11612
66.53	c 3420
66.56	o 11618
66.56	c 3414
66.59	o 11622
66.59	c 3410
66.61	o 11623
66.61	c 3409
66.63	o 11624
66.63	c 3408
66.66	o 11626
66.66	c 3406
66.72	o 11627
66.72	c 3405
66.82	o 11630
66.82	c 3402
66.85	o 11631
66.85	c 3401
66.88	o 11632
66.88	c 3400
66.91	o 11636
66.91	c 3396
66.94	o 11637
66.94	c 3395
66.98	o 11638
66.98	c 3394
67.01	o 11641
67.01	c 3391
67.04	o 11642
67.04	c 3390
67.08	o 11648
67.08	c 3384
67.12	o 11653
67.12	c 3379
67.20	o 11654
67.20	c 3378
67.22	o 11656
67.22	c 3376
67.26	o 11659
67.26	c 3373
67.29	o 11660
67.29	c 3372
67.31	o 11663
67.31	c 3369
67.34	o 11668
67.34	c 3364
67.37	o 11670
67.37	c 3362
67.44	o 11677
67.44	c 3355
67.49	o 11679
67.49	c 3353
67.52	o 11684
67.52	c 3348
67.56	o 11688
67.56	c 3344
67.59	o 11692
67.60	c 3340
67.64	o 11693
67.64	c 3339
67.72	o 11698
67.72	c 3334
67.74	o 11699
67.74	c 3333
67.78	o 11700
67.78	c 3332
67.83	o 11701
67.83	c 3331
67.98	o 11702
67.98	c 3330
68.04	o 11703
68.04	c 3329
68.13	o 11706
68.14	c 3326
68.16	o 11709
68.16	c 3323
68.19	o 11715
68.19	c 3317
68.24	o 11717
68.24	c 3315
68.27	o 11720
68.27	c 3312
68.31	o 11723
68.31	c 3309
68.34	o 11725
68.34	c 3307
68.37	o 11727
68.37	c 3305
68.40	o 11729
68.40	c 3303
68.43	o 11735
68.43	c 3297
68.46	o 11739
68.46	c 3293
68.50	o 11740
68.50	c 3292
68.53	o 11743
68.53	c 3289
68.57	o 11744
68.57	c 3288
68.62	o 11746
68.62	c 3286
68.65	o 11754
68.65	c 3278
68.69	o 11757
68.69	c 3275
68.74	o 11759
68.74	c 3273
68.78	o 11761
68.78	c 3271
68.82	o 11770
68.82	c 3262
68.88	o 11772
68.88	c 3260
68.94	o 11777
68.94	c 3255
69.00	o 11780
69.00	c 3252
69.06	o 11781
69.06	c 3251
69.11	o 11782
69.11	c 3250
69.17	o 11783
69.17	c 3249
69.29	o 11787
69.29	c 3245
69.34	o 11788
69.34	c 3244
69.39	o 11790
69.39	c 3242
69.48	o 11793
69.48	c 3239
69.55	o 11795
69.55	c 3237
69.61	o 11796
69.61	c 3236
69.66	o 11797
69.66	c 3235
69.72	o 11800
69.72	c 3232
69.77	o 11807
69.77	c 3225
69.82	o 11813
69.82	c 3219
69.88	o 11818
69.88	c 3214
69.93	o 11821
69.93	c 3211
70.00	o 11823
70.00	c 3209
70.05	o 11827
70.05	c 3205
70.10	o 11830
70.10	c 3202
70.17	o 11831
70.17	c 3201
70.23	o 11834
70.23	c 3198
70.28	o 11836
70.28	c 3196
70.41	o 11837
70.41	c 3195
70.47	o 11842
70.47	c 3190
70.53	o 11845
70.53	c 3187
70.58	o 11849
70.58	c 3183
70.64	o 11852
70.64	c 3180
70.70	o 11855
70.70	c 3177
70.75	o 11858
70.75	c 3174
70.86	o 11863
70.86	c 3169
70.92	o 11864
70.92	c 3168
70.96	o 11867
70.96	c 3165
71.00	o 11875
71.00	c 3157
71.05	o 11878
71.05	c 3154
71.09	o 11882
71.09	c 3150
71.14	o 11891
71.14	c 3141
71.19	o 11892
71.19	c 3140
71.23	o 11897
71.23	c 3135
71.29	o 11901
71.29	c 3131
71.33	o 11905
71.33	c 3127
71.43	o 11909
71.43	c 3123
71.49	o 11913
71.49	c 3119
71.54	o 11915
71.54	c 3117
71.59	o 11917
71.59	c 3115
71.63	o 11920
71.63	c 3112
71.67	o 11921
71.67	c 3111
71.71	o 11925
71.71	c 3107
71.75	o 11927
71.75	c 3105
71.80	o 11933
71.80	c 3099
71.92	o 11935
71.92	c 3097
71.97	o 11941
71.97	c 3091
72.03	o 11943
72.03	c 3089
72.06	o 11947
72.06	c 3085
72.16	o 11953
72.16	c 3079
72.21	o 11957
72.21	c 3075
72.26	o 11961
72.26	c 3071
72.32	o 11964
72.32	c 3068
72.36	o 11967
72.36	c 3065
72.42	o 11969
72.42	c 3063
72.47	o 11974
72.47	c 3058
72.51	o 11979
72.51	c 3053
72.57	o 11980
72.57	c 3052
72.62	o 11984
72.62	c 3048
72.68	o 11988
72.68	c 3044
72.92	o 11990
72.92	c 3042
72.99	o 11991
72.99	c 3041
73.04	o 11992
73.04	c 3040
73.09	o 11994
73.09	c 3038
73.19	o 11998
73.19	c 3034
73.25	o 12004
73.25	c 3028
73.31	o 12006
73.31	c 3026
73.44	o 12007
73.44	c 3025
73.49	o 12008
73.49	c 3024
73.56	o 12017
73.56	c 3015
73.66	o 12024
73.66	c 3008
73.73	o 12026
73.73	c 3006
73.80	o 12027
73.80	c 3005
73.87	o 12031
73.87	c 3001
73.93	o 12035
73.93	c 2997
74.00	o 12039
74.00	c 2993
74.06	o 12044
74.06	c 2988
74.13	o 12046
74.13	c 2986
74.20	o 12048
74.20	c 2984
74.26	o 12054
74.26	c 2978
74.32	o 12055
74.32	c 2977
74.38	o 12056
74.38	c 2976
74.44	o 12058
74.44	c 2974
74.52	o 12064
74.52	c 2968
74.59	o 12065
74.59	c 2967
74.66	o 12067
74.66	c 2965
74.73	o 12069
74.73	c 2963
74.82	o 12074
74.82	c 2958
74.88	o 12076
74.88	c 2956
74.97	o 12077
74.97	c 2955
75.21	o 12082
75.21	c 2950
75.35	o 12086
75.35	c 2946
75.43	o 12090
75.43	c 2942
75.51	o 12092
75.51	c 2940
75.60	o 12095
75.60	c 2937
75.68	o 12097
75.68	c 2935
75.76	o 12098
75.76	c 2934
76.00	o 12099
76.00	c 2933
76.07	o 12100
76.07	c 2932
76.24	o 12104
76.24	c 2928
76.31	o 12106
76.31	c 2926
76.37	o 12111
76.37	c 2921
76.43	o 12112
76.43	c 2920
76.49	o 12114
76.49	c 2918
76.56	o 12119
76.56	c 2913
76.70	o 12121
76.70	c 2911
76.77	o 12124
76.77	c 2908
76.85	o 12125
76.85	c 2907
77.04	o 12127
77.04	c 2905
77.18	o 12129
77.18	c 2903
77.25	o 12132
77.25	c 2900
77.34	o 12135
77.34	c 2897
77.42	o 12139
77.42	c 2893
77.48	o 12141
77.48	c 2891
77.55	o 12145
77.55	c 2887
77.61	o 12148
77.61	c 2884
77.68	o 12152
77.68	c 2880
77.75	o 12156
77.75	c 2876
77.82	o 12158
77.82	c 2874
78.03	o 12162
78.03	c 2870
78.11	o 12164
78.11	c 2868
78.38	o 12166
78.38	c 2866
78.59	o 12168
78.59	c 2864
78.66	o 12170
78.66	c 2862
78.72	o 12174
78.72	c 2858
78.86	o 12177
78.86	c 2855
78.93	o 12181
78.93	c 2851
78.98	o 12187
78.98	c 2845
79.05	o 12190
79.05	c 2842
79.13	o 12195
79.13	c 2837
79.21	o 12199
79.21	c 2833
79.28	o 12203
79.28	c 2829
79.34	o 12208
79.34	c 2824
79.41	o 12212
79.41	c 2820
79.47	o 12213
79.47	c 2819
79.54	o 12216
79.54	c 2816
79.61	o 12221
79.61	c 2811
79.68	o 12223
79.68	c 2809
79.74	o 12229
79.74	c 2803
79.81	o 12230
79.81	c 2802
79.88	o 12236
79.88	c 2796
79.94	o 12239
79.94	c 2793
80.01	o 12241
80.01	c 2791
80.08	o 12247
80.08	c 2785
80.15	o 12254
80.15	c 2778
80.24	o 12257
80.24	c 2775
80.31	o 12258
80.31	c 2774
80.39	o 12261
80.39	c 2771
80.48	o 12262
80.48	c 2770
80.56	o 12263
80.56	c 2769
80.70	o 12265
80.70	c 2767
80.76	o 12271
80.76	c 2761
80.90	o 12274
80.90	c 2758
80.95	o 12275
80.95	c 2757
81.28	o 12276
81.28	c 2756
81.45	o 12280
81.45	c 2752
81.53	o 12285
81.53	c 2747
81.60	o 12286
81.60	c 2746
81.68	o 12288
81.68	c 2744
81.75	o 12293
81.75	c 2739
81.83	o 12294
81.83	c 2738
81.90	o 12296
81.90	c 2736
81.97	o 12299
81.97	c 2733
82.05	o 12300
82.05	c 2732
82.13	o 12304
82.13	c 2728
82.20	o 12305
82.20	c 2727
82.26	o 12308
82.26	c 2724
82.32	o 12314
82.32	c 2718
82.38	o 12317
82.38	c 2715
82.44	o 12322
82.44	c 2710
82.56	o 12326
82.56	c 2706
82.63	o 12330
82.63	c 2702
82.69	o 12332
82.69	c 2700
82.75	o 12336
82.75	c 2696
82.80	o 12341
82.80	c 2691
82.87	o 12345
82.87	c 2687
82.93	o 12347
82.93	c 2685
82.99	o 12350
82.99	c 2682
83.04	o 12353
83.04	c 2679
83.09	o 12355
83.09	c 2677
83.15	o 12356
83.15	c 2676
83.21	o 12357
83.21	c 2675
83.26	o 12364
83.26	c 2668
83.33	o 12368
83.33	c 2664
83.39	o 12369
83.39	c 2663
83.46	o 12374
83.46	c 2658
83.52	o 12382
83.52	c 2650
83.65	o 12383
83.65	c 2649
83.80	o 12386
83.80	c 2646
83.88	o 12387
83.88	c 2645
83.94	o 12392
83.94	c 2640
84.09	o 12397
84.09	c 2635
84.30	o 12404
84.30	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.91	o 12420
84.91	c 2612
84.98	o 12425
84.98	c 2607
85.04	o 12427
85.05	c 2605
85.21	o 12431
85.21	c 2601
85.35	o 12435
85.35	c 2597
85.53	o 12440
85.53	c 2592
85.61	o 12442
85.61	c 2590
85.68	o 12443
85.68	c 2589
85.76	o 12449
85.76	c 2583
85.83	o 12452
85.83	c 2580
85.90	o 12455
85.90	c 2577
85.98	o 12460
85.98	c 2572
86.06	o 12463
86.06	c 2569
86.13	o 12468
86.13	c 2564
86.21	o 12471
86.21	c 2561
86.29	o 12473
86.29	c 2559
86.38	o 12475
86.38	c 2557
86.45	o 12477
86.45	c 2555
86.68	o 12478
86.68	c 2554
86.83	o 12479
86.83	c 2553
86.91	o 12480
86.91	c 2552
86.99	o 12484
86.99	c 2548
87.17	o 12486
87.17	c 2546
87.30	o 12487
87.30	c 2545
87.38	o 12489
87.38	c 2543
87.46	o 12490
87.46	c 2542
87.53	o 12493
87.53	c 2539
87.82	o 12496
87.82	c 2536
88.08	o 12500
88.08	c 2532
88.17	o 12501
88.17	c 2531
88.35	o 12502
88.35	c 2530
88.45	o 12505
88.45	c 2527
88.54	o 12509
88.54	c 2523
88.63	o 12510
88.63	c 2522
88.72	o 12513
88.72	c 2519
88.83	o 12515
88.83	c 2517
88.93	o 12518
88.93	c 2514
89.04	o 12525
89.04	c 2507
89.14	o 12527
89.14	c 2505
89.24	o 12532
89.24	c 2500
89.35	o 12533
89.35	c 2499
89.45	o 12534
89.45	c 2498
89.55	o 12535
89.55	c 2497
89.76	o 12536
89.76	c 2496
89.87	o 12538
89.87	c 2494
89.98	o 12541
89.99	c 2491
90.09	o 12546
90.09	c 2486
90.20	o 12553
90.20	c 2479
90.30	o 12554
90.30	c 2478
90.40	o 12559
90.40	c 2473
90.61	o 12562
90.61	c 2470
90.72	o 12563
90.72	c 2469
90.83	o 12567
90.83	c 2465
91.05	o 12568
91.05	c 2464
91.16	o 12573
91.16	c 2459
91.36	o 12574
91.36	c 2458
91.48	o 12575
91.48	c 2457
91.59	o 12577
91.59	c 2455
91.69	o 12578
91.69	c 2454
91.80	o 12580
91.80	c 2452
92.00	o 12583
92.00	c 2449
92.11	o 12587
92.11	c 2445
92.21	o 12589
92.21	c 2443
92.30	o 12592
92.30	c 2440
92.40	o 12596
92.40	c 2436
92.49	o 12600
92.49	c 2432
92.68	o 12602
92.68	c 2430
92.80	o 12603
92.80	c 2429
92.89	o 12605
92.89	c 2427
93.19	o 12608
93.19	c 2424
93.29	o 12612
93.29	c 2420
93.61	o 12616
93.61	c 2416
93.70	o 12619
93.70	c 2413
93.79	o 12620
93.79	c 2412
93.99	o 12622
93.99	c 2410
94.09	o 12623
94.09	c 2409
94.27	o 12625
94.27	c 2407
94.46	o 12629
94.46	c 2403
94.69	o 12631
94.69	c 2401
94.79	o 12635
94.79	c 2397
94.89	o 12636
94.89	c 2396
95.12	o 12638
95.12	c 2394
95.23	o 12640
95.23	c 2392
95.34	o 12641
95.34	c 2391
95.45	o 12645
95.45	c 2387
95.55	o 12652
95.55	c 2380
95.69	o 12658
95.69	c 2374
96.00	o 12659
96.00	c 2373
96.23	o 12662
96.23	c 2370
96.35	o 12664
96.35	c 2368
96.46	o 12666
96.46	c 2366
96.58	o 12670
96.58	c 2362
97.12	o 12671
97.12	c 2361
97.47	o 12676
97.47	c 2356
97.59	o 12677
97.59	c 2355
97.98	o 12680
97.98	c 2352
98.12	o 12688
98.12	c 2344
98.51	o 12689
98.51	c 2343
98.78	o 12690
98.78	c 2342
98.91	o 12694
98.91	c 2338
99.04	o 12695
99.04	c 2337
99.17	o 12698
99.17	c 2334
99.29	o 12701
99.29	c 2331
99.67	o 12705
99.68	c 2327
99.81	o 12709
99.81	c 2323
99.93	o 12713
99.93	c 2319
100.19	o 12714
100.19	c 2318
100.30	o 12717
100.30	c 2315
100.42	o 12718
100.42	c 2314
100.75	o 12721
100.75	c 2311
100.89	o 12724
100.89	c 2308
100.99	o 12725
100.99	c 2307
101.11	o 12730
101.11	c 2302
101.24	o 12735
101.24	c 2297
101.38	o 12737
101.38	c 2295
101.53	o 12738
101.53	c 2294
101.65	o 12740
101.65	c 2292
101.93	o 12746
101.93	c 2286
102.06	o 12748
102.06	c 2284
102.20	o 12750
102.20	c 2282
102.33	o 12752
102.33	c 2280
102.47	o 12756
102.47	c 2276
102.60	o 12759
102.60	c 2273
102.88	o 12762
102.88	c 2270
103.01	o 12764
103.01	c 2268
103.14	o 12768
103.14	c 2264
103.41	o 12771
103.41	c 2261
103.55	o 12772
103.55	c 2260
103.69	o 12775
103.69	c 2257
103.84	o 12776
103.84	c 2256
103.97	o 12780
103.97	c 2252
104.10	o 12788
104.10	c 2244
104.23	o 12789
104.23	c 2243
104.47	o 12793
104.47	c 2239
104.59	o 12796
104.59	c 2236
104.84	o 12800
104.84	c 2232
105.09	o 12802
105.09	c 2230
105.34	o 12805
105.34	c 2227
105.45	o 12808
105.45	c 2224
105.57	o 12810
105.57	c 2222
105.80	o 12811
105.80	c 2221
105.90	o 12815
105.90	c 2217
106.01	o 12818
106.02	c 2214
106.13	o 12820
106.13	c 2212
106.40	o 12824
106.40	c 2208
106.82	o 12825
106.82	c 2207
107.11	o 12830
107.11	c 2202
107.26	o 12831
107.26	c 2201
107.41	o 12832
107.41	c 2200
107.55	o 12834
107.55	c 2198
107.83	o 12836
107.83	c 2196
108.12	o 12838
108.12	c 2194
108.26	o 12840
108.26	c 2192
108.65	o 12842
108.65	c 2190
108.77	o 12845
108.77	c 2187
108.88	o 12851
108.88	c 2181
109.16	o 12852
109.16	c 2180
109.29	o 12854
109.29	c 2178
109.43	o 12855
109.43	c 2177
110.35	o 12856
110.35	c 2176
110.47	o 12857
110.47	c 2175
110.73	o 12858
110.73	c 2174
110.86	o 12859
110.86	c 2173
111.00	o 12862
111.00	c 2170
111.27	o 12864
111.27	c 2168
111.40	o 12866
111.40	c 2166
111.52	o 12868
111.52	c 2164
111.65	o 12870
111.65	c 2162
111.89	o 12872
111.89	c 2160
112.01	o 12875
112.01	c 2157
112.55	o 12876
112.55	c 2156
112.68	o 12877
112.68	c 2155
112.80	o 12878
112.80	c 2154
112.91	o 12880
112.91	c 2152
113.40	o 12882
113.40	c 2150
113.63	o 12885
113.63	c 2147
113.74	o 12888
113.74	c 2144
113.81	o 12890
113.81	c 2142
113.92	o 12893
113.92	c 2139
114.06	o 12894
114.06	c 2138
114.18	o 12895
114.18	c 2137
114.30	o 12899
114.30	c 2133
114.42	o 12905
114.42	c 2127
114.54	o 12907
114.54	c 2125
114.65	o 12908
114.65	c 2124
114.77	o 12909
114.77	c 2123
114.98	o 12910
114.98	c 2122
115.09	o 12915
115.09	c 2117
115.30	o 12918
115.30	c 2114
115.42	o 12919
115.42	c 2113
115.54	o 12921
115.54	c 2111
115.76	o 12922
115.76	c 2110
115.89	o 12926
115.89	c 2106
116.04	o 12929
116.04	c 2103
116.38	o 12934
116.38	c 2098
117.02	o 12937
117.02	c 2095
117.28	o 12938
117.28	c 2094
117.41	o 12941
117.41	c 2091
117.68	o 12943
117.68	c 2089
118.87	o 12946
118.87	c 2086
119.00	o 12947
119.00	c 2085
119.13	o 12951
119.13	c 2081
120.07	o 12952
120.07	c 2080
120.20	o 12953
120.20	c 2079
120.58	o 12956
120.58	c 2076
120.67	o 12958
120.67	c 2074
121.15	o 12961
121.15	c 2071
121.29	o 12964
121.29	c 2068
122.37	o 12966
122.37	c 2066
122.67	o 12967
122.67	c 2065
122.95	o 12969
122.95	c 2063
123.08	o 12970
123.08	c 2062
123.56	o 12972
123.56	c 2060
123.69	o 12973
123.69	c 2059
123.81	o 12975
123.81	c 2057
124.19	o 12976
124.19	c 2056
124.33	o 12980
124.33	c 2052
124.46	o 12982
124.46	c 2050
124.62	o 12987
124.62	c 2045
124.78	o 12990
124.78	c 2042
124.93	o 12992
124.93	c 2040
125.09	o 12994
125.09	c 2038
125.25	o 12995
125.25	c 2037
125.40	o 12996
125.40	c 2036
125.55	o 12997
125.55	c 2035
125.87	o 13000
125.88	c 2032
126.03	o 13001
126.03	c 2031
126.18	o 13003
126.18	c 2029
126.33	o 13006
126.33	c 2026
126.49	o 13008
126.50	c 2024
126.61	o 13009
126.61	c 2023
126.77	o 13016
126.77	c 2016
126.92	o 13021
126.92	c 2011
127.09	o 13022
127.09	c 2010
127.24	o 13023
127.24	c 2009
127.38	o 13024
127.38	c 2008
127.67	o 13027
127.67	c 2005
127.81	o 13028
127.81	c 2004
127.97	o 13033
127.97	c 1999
128.13	o 13036
128.13	c 1996
128.29	o 13037
128.29	c 1995
128.58	o 13039
128.58	c 1993
129.06	o 13043
129.06	c 1989
129.70	o 13047
129.70	c 1985
129.85	o 13048
129.85	c 1984
130.17	o 13049
130.17	c 1983
130.32	o 13053
130.32	c 1979
130.65	o 13054
130.65	c 1978
131.11	o 13058
131.11	c 1974
131.41	o 13060
131.41	c 1972
131.55	o 13064
131.55	c 1968
131.70	o 13066
131.70	c 1966
131.85	o 13071
131.85	c 1961
132.46	o 13075
132.46	c 1957
132.61	o 13078
132.61	c 1954
132.77	o 13079
132.77	c 1953
132.92	o 13082
132.92	c 1950
133.36	o 13083
133.36	c 1949
133.50	o 13084
133.50	c 1948
133.67	o 13087
133.67	c 1945
133.83	o 13088
133.83	c 1944
133.99	o 13089
133.99	c 1943
134.17	o 13090
134.17	c 1942
137.00	o 13092
137.00	c 1940
137.15	o 13098
137.15	c 1934
137.31	o 13100
137.31	c 1932
137.64	o 13104
137.64	c 1928
137.79	o 13105
137.79	c 1927
137.93	o 13106
137.93	c 1926
138.24	o 13109
138.24	c 1923
138.39	o 13110
138.39	c 1922
138.53	o 13112
138.53	c 1920
138.68	o 13119
138.68	c 1913
138.83	o 13122
138.83	c 1910
139.26	o 13126
139.26	c 1906
139.41	o 13127
139.41	c 1905
140.89	o 13128
140.89	c 1904
141.18	o 13130
141.18	c 1902
141.32	o 13134
141.33	c 1898
141.48	o 13135
141.48	c 1897
141.64	o 13139
141.64	c 1893
141.91	o 13141
141.91	c 1891
142.07	o 13142
142.07	c 1890
142.85	o 13143
142.85	c 1889
143.02	o 13146
143.02	c 1886
143.19	o 13150
143.19	c 1882
143.34	o 13155
143.34	c 1877
143.49	o 13158
143.49	c 1874
143.80	o 13159
143.80	c 1873
143.95	o 13162
143.95	c 1870
144.11	o 13163
144.11	c 1869
144.27	o 13164
144.27	c 1868
145.48	o 13166
145.48	c 1866
145.64	o 13168
145.64	c 1864
145.79	o 13171
145.79	c 1861
146.19	o 13172
146.19	c 1860
146.35	o 13174
146.35	c 1858
146.51	o 13175
146.51	c 1857
146.67	o 13176
146.67	c 1856
146.83	o 13178
146.83	c 1854
147.00	o 13179
147.00	c 1853
147.16	o 13182
147.16	c 1850
147.32	o 13183
147.32	c 1849
148.28	o 13185
148.28	c 1847
149.02	o 13189
149.02	c 1843
149.16	o 13191
149.16	c 1841
149.46	o 13193
149.46	c 1839
149.60	o 13195
149.60	c 1837
149.90	o 13198
149.90	c 1834
150.24	o 13201
150.24	c 1831
150.39	o 13202
150.39	c 1830
150.55	o 13204
150.55	c 1828
150.71	o 13207
150.71	c 1825
151.04	o 13209
151.04	c 1823
151.17	o 13212
151.17	c 1820
152.69	o 13213
152.69	c 1819
152.82	o 13218
152.82	c 1814
152.99	o 13219
152.99	c 1813
153.14	o 13221
153.14	c 1811
153.30	o 13222
153.30	c 1810
153.44	o 13225
153.44	c 1807
153.60	o 13227
153.60	c 1805
153.77	o 13230
153.77	c 1802
153.95	o 13233
153.95	c 1799
154.12	o 13235
154.12	c 1797
154.28	o 13237
154.28	c 1795
154.44	o 13239
154.44	c 1793
154.62	o 13241
154.62	c 1791
154.78	o 13245
154.78	c 1787
154.93	o 13248
154.93	c 1784
157.65	o 13250
157.65	c 1782
157.84	o 13252
157.84	c 1780
158.54	o 13255
158.54	c 1777
160.95	o 13256
160.95	c 1776
161.13	o 13261
161.13	c 1771
161.30	o 13264
161.30	c 1768
162.17	o 13268
162.17	c 1764
162.33	o 13271
162.33	c 1761
162.66	o 13273
162.66	c 1759
162.83	o 13274
162.83	c 1758
163.01	o 13277
163.01	c 1755
163.18	o 13282
163.18	c 1750
163.34	o 13284
163.34	c 1748
163.66	o 13287
163.66	c 1745
164.20	o 13288
164.20	c 1744
164.78	o 13289
164.78	c 1743
164.87	o 13292
164.87	c 1740
165.01	o 13295
165.01	c 1737
165.34	o 13297
165.34	c 1735
165.54	o 13298
165.54	c 1734
165.74	o 13300
165.74	c 1732
166.46	o 13302
166.46	c 1730
166.65	o 13305
166.65	c 1727
166.79	o 13308
166.79	c 1724
166.99	o 13310
166.99	c 1722
167.18	o 13313
167.18	c 1719
167.52	o 13314
167.52	c 1718
167.70	o 13317
167.70	c 1715
168.62	o 13321
168.62	c 1711
168.69	o 13324
168.69	c 1708
168.88	o 13327
168.88	c 1705
169.07	o 13328
169.07	c 1704
169.45	o 13329
169.45	c 1703
169.82	o 13332
169.82	c 1700
170.01	o 13333
170.01	c 1699
170.21	o 13337
170.21	c 1695
170.71	o 13338
170.71	c 1694
171.96	o 13339
171.96	c 1693
172.15	o 13340
172.15	c 1692
172.31	o 13343
172.31	c 1689
172.48	o 13346
172.48	c 1686
172.65	o 13349
172.65	c 1683
174.96	o 13351
174.96	c 1681
175.15	o 13353
175.15	c 1679
175.73	o 13358
175.73	c 1674
175.91	o 13359
175.91	c 1673
176.65	o 13361
176.65	c 1671
176.83	o 13362
176.83	c 1670
177.18	o 13366
177.18	c 1666
177.36	o 13369
177.36	c 1663
177.88	o 13372
177.88	c 1660
177.94	o 13375
177.94	c 1657
178.29	o 13378
178.29	c 1654
178.45	o 13380
178.45	c 1652
178.62	o 13382
178.62	c 1650
178.80	o 13384
178.80	c 1648
178.98	o 13387
178.98	c 1645
179.27	o 13388
179.27	c 1644
179.43	o 13390
179.43	c 1642
179.60	o 13392
179.60	c 1640
179.75	o 13396
179.75	c 1636
180.09	o 13399
180.09	c 1633
180.26	o 13402
180.26	c 1630
180.42	o 13404
180.42	c 1628
180.58	o 13405
180.58	c 1627
180.74	o 13408
180.74	c 1624
180.89	o 13411
180.89	c 1621
181.05	o 13412
181.05	c 1620
181.21	o 13413
181.21	c 1619
181.36	o 13415
181.36	c 1617
181.53	o 13416
181.53	c 1616
181.69	o 13420
181.69	c 1612
181.87	o 13421
181.87	c 1611
182.02	o 13424
182.02	c 1608
182.37	o 13425
182.37	c 1607
182.54	o 13426
182.54	c 1606
182.90	o 13429
182.90	c 1603
183.08	o 13430
183.08	c 1602
183.28	o 13433
183.28	c 1599
183.64	o 13437
183.64	c 1595
184.01	o 13438
184.01	c 1594
184.17	o 13439
184.17	c 1593
184.33	o 13440
184.33	c 1592
184.42	o 13441
184.42	c 1591
184.60	o 13442
184.60	c 1590
184.93	o 13443
184.93	c 1589
184.97	o 13445
184.97	c 1587
185.32	o 13447
185.32	c 1585
185.52	o 13450
185.52	c 1582
187.77	o 13451
187.77	c 1581
187.95	o 13453
187.95	c 1579
188.13	o 13454
188.13	c 1578
188.89	o 13455
188.89	c 1577
189.07	o 13458
189.07	c 1574
189.98	o 13459
189.99	c 1573
190.35	o 13463
190.35	c 1569
190.55	o 13464
190.55	c 1568
190.74	o 13465
190.74	c 1567
190.91	o 13467
190.91	c 1565
191.09	o 13468
191.09	c 1564
191.27	o 13470
191.27	c 1562
191.46	o 13473
191.46	c 1559
193.64	o 13474
193.64	c 1558
193.81	o 13478
193.81	c 1554
193.97	o 13480
193.97	c 1552
194.30	o 13482
194.30	c 1550
194.46	o 13488
194.46	c 1544
194.77	o 13489
194.77	c 1543
194.94	o 13491
194.94	c 1541
195.09	o 13492
195.09	c 1540
195.41	o 13494
195.41	c 1538
195.83	o 13495
195.83	c 1537
195.99	o 13497
195.99	c 1535
196.31	o 13499
196.31	c 1533
196.47	o 13502
196.47	c 1530
196.80	o 13505
196.80	c 1527
196.97	o 13509
196.97	c 1523
197.13	o 13510
197.13	c 1522
197.30	o 13512
197.30	c 1520
197.45	o 13513
197.45	c 1519
197.60	o 13514
197.60	c 1518
198.00	o 13515
198.00	c 1517
198.15	o 13517
198.15	c 1515
198.31	o 13520
198.31	c 1512
198.46	o 13522
198.46	c 1510
198.77	o 13524
198.77	c 1508
198.92	o 13528
198.92	c 1504
199.38	o 13529
199.38	c 1503
200.63	o 13531
200.63	c 1501
200.93	o 13533
200.93	c 1499
202.33	o 13537
202.33	c 1495
202.48	o 13541
202.48	c 1491
202.77	o 13542
202.77	c 1490
202.94	o 13544
202.94	c 1488
203.10	o 13545
203.10	c 1487
203.26	o 13546
203.26	c 1486
203.45	o 13548
203.45	c 1484
203.63	o 13552
203.63	c 1480
203.85	o 13554
203.85	c 1478
204.44	o 13555
204.44	c 1477
204.64	o 13558
204.64	c 1474
204.84	o 13564
204.84	c 1468
205.24	o 13567
205.24	c 1465
205.33	o 13569
205.33	c 1463
205.92	o 13573
205.92	c 1459
206.73	o 13574
206.73	c 1458
207.28	o 13577
207.28	c 1455
207.89	o 13578
207.89	c 1454
208.10	o 13582
208.10	c 1450
208.54	o 13584
208.54	c 1448
208.76	o 13586
208.76	c 1446
208.97	o 13587
208.97	c 1445
209.43	o 13588
209.43	c 1444
210.33	o 13589
210.33	c 1443
210.57	o 13590
210.57	c 1442
211.50	o 13595
211.50	c 1437
211.94	o 13598
211.94	c 1434
212.40	o 13599
212.40	c 1433
212.62	o 13601
212.62	c 1431
213.07	o 13603
213.07	c 1429
217.08	o 13604
217.08	c 1428
217.34	o 13608
217.34	c 1424
217.82	o 13609
217.82	c 1423
219.57	o 13610
219.57	c 1422
219.74	o 13611
219.74	c 1421
219.90	o 13613
219.90	c 1419
220.30	o 13616
220.30	c 1416
220.70	o 13617
220.70	c 1415
220.93	o 13618
220.93	c 1414
221.78	o 13620
221.78	c 1412
222.21	o 13621
222.21	c 1411
222.86	o 13622
222.86	c 1410
223.06	o 13623
223.06	c 1409
223.28	o 13624
223.28	c 1408
223.51	o 13625
223.51	c 1407
223.70	o 13628
223.70	c 1404
223.88	o 13630
223.88	c 1402
224.09	o 13635
224.09	c 1397
224.30	o 13636
224.30	c 1396
224.51	o 13639
224.51	c 1393
225.16	o 13645
225.16	c 1387
225.90	o 13646
225.90	c 1386
226.08	o 13649
226.08	c 1383
226.30	o 13651
226.30	c 1381
227.10	o 13654
227.10	c 1378
227.28	o 13655
227.28	c 1377
227.51	o 13657
227.51	c 1375
227.74	o 13659
227.74	c 1373
228.68	o 13662
228.68	c 1370
229.91	o 13665
229.91	c 1367
230.10	o 13668
230.10	c 1364
230.32	o 13670
230.32	c 1362
230.56	o 13671
230.56	c 1361
230.79	o 13673
230.79	c 1359
231.83	o 13674
231.83	c 1358
233.37	o 13675
233.37	c 1357
233.61	o 13677
233.61	c 1355
234.62	o 13679
234.62	c 1353
234.99	o 13680
234.99	c 1352
235.97	o 13681
235.97	c 1351
236.22	o 13683
236.22	c 1349
236.44	o 13684
236.44	c 1348
237.52	o 13687
237.52	c 1345
240.01	o 13688
240.01	c 1344
240.22	o 13691
240.22	c 1341
240.45	o 13692
240.45	c 1340
240.68	o 13693
240.68	c 1339
241.73	o 13695
241.73	c 1337
242.05	o 13696
242.05	c 1336
242.73	o 13697
242.73	c 1335
242.94	o 13698
242.94	c 1334
243.17	o 13700
243.17	c 1332
243.40	o 13702
243.40	c 1330
243.63	o 13703
243.63	c 1329
243.88	o 13705
243.88	c 1327
246.27	o 13708
246.27	c 1324
246.76	o 13710
246.76	c 1322
247.01	o 13712
247.01	c 1320
247.48	o 13714
247.48	c 1318
247.72	o 13715
247.72	c 1317
248.26	o 13716
248.26	c 1316
248.78	o 13717
248.78	c 1315
249.05	o 13718
249.05	c 1314
249.32	o 13719
249.32	c 1313
250.12	o 13720
250.12	c 1312
250.39	o 13723
250.39	c 1309
252.51	o 13725
252.51	c 1307
254.98	o 13727
254.98	c 1305
255.77	o 13728
255.77	c 1304
257.83	o 13729
257.83	c 1303
258.01	o 13732
258.01	c 1300
260.01	o 13733
260.01	c 1299
260.45	o 13734
260.45	c 1298
261.01	o 13737
261.01	c 1295
262.34	o 13738
262.34	c 1294
262.60	o 13739
262.60	c 1293
262.86	o 13741
262.86	c 1291
263.07	o 13742
263.08	c 1290
263.34	o 13744
263.34	c 1288
263.87	o 13745
263.87	c 1287
264.15	o 13746
264.15	c 1286
264.39	o 13747
264.39	c 1285
264.66	o 13749
264.66	c 1283
264.92	o 13750
264.92	c 1282
265.18	o 13751
265.18	c 1281
267.44	o 13753
267.44	c 1279
268.28	o 13755
268.29	c 1277
268.53	o 13756
268.53	c 1276
268.74	o 13760
268.74	c 1272
269.25	o 13762
269.25	c 1270
269.50	o 13763
269.50	c 1269
270.01	o 13764
270.01	c 1268
270.28	o 13766
270.28	c 1266
270.54	o 13767
270.54	c 1265
270.71	o 13769
270.71	c 1263
270.96	o 13771
270.96	c 1261
271.23	o 13773
271.23	c 1259
271.46	o 13775
271.46	c 1257
271.73	o 13777
271.73	c 1255
271.97	o 13779
271.97	c 1253
282.68	o 13780
282.68	c 1252
283.20	o 13782
283.20	c 1250
283.75	o 13784
283.75	c 1248
284.60	o 13785
284.60	c 1247
285.15	o 13786
285.15	c 1246
285.43	o 13788
285.43	c 1244
285.99	o 13789
285.99	c 1243
286.57	o 13791
286.57	c 1241
286.85	o 13793
286.85	c 1239
287.16	o 13795
287.16	c 1237
302.52	o 13796
302.52	c 1236
303.53	o 13801
303.53	c 1231
303.71	o 13803
303.71	c 1229
304.05	o 13805
304.05	c 1227
304.76	o 13806
304.76	c 1226
307.17	o 13807
307.17	c 1225
307.49	o 13808
307.49	c 1224
307.69	o 13810
307.69	c 1222
308.02	o 13811
308.02	c 1221
308.36	o 13812
308.36	c 1220
309.05	o 13813
309.05	c 1219
317.37	o 13814
317.37	c 1218
319.69	o 13815
319.69	c 1217
321.18	o 13817
321.18	c 1215
323.30	o 13818
323.30	c 1214
323.66	o 13820
323.66	c 1212
324.04	o 13821
324.04	c 1211
325.91	o 13822
325.91	c 1210
326.31	o 13825
326.31	c 1207
327.00	o 13826
327.00	c 1206
327.38	o 13828
327.38	c 1204
328.88	o 13830
328.88	c 1202
331.54	o 13831
331.54	c 1201
340.35	o 13832
340.35	c 1200
340.74	o 13835
340.74	c 1197
341.88	o 13837
341.88	c 1195
342.67	o 13838
342.67	c 1194
344.40	o 13840
344.40	c 1192
344.79	o 13842
344.79	c 1190
345.99	o 13844
345.99	c 1188
347.16	o 13846
347.16	c 1186
347.92	o 13847
347.92	c 1185
350.68	o 13848
350.68	c 1184
354.81	o 13849
354.81	c 1183
359.88	o 13850
359.88	c 1182
360.24	o 13853
360.24	c 1179
360.58	o 13855
360.58	c 1177
360.89	o 13857
360.89	c 1175
361.25	o 13861
361.25	c 1171
361.60	o 13864
361.60	c 1168
362.62	o 13865
362.62	c 1167
362.95	o 13868
362.95	c 1164
364.32	o 13869
364.32	c 1163
364.63	o 13871
364.63	c 1161
365.26	o 13872
365.26	c 1160
366.64	o 13874
366.64	c 1158
366.99	o 13876
366.99	c 1156
367.34	o 13878
367.34	c 1154
367.58	o 13880
367.58	c 1152
367.94	o 13882
367.94	c 1150
371.34	o 13883
371.34	c 1149
373.26	o 13885
373.26	c 1147
373.37	o 13887
373.37	c 1145
373.71	o 13888
373.71	c 1144
374.07	o 13889
374.07	c 1143
374.40	o 13891
374.40	c 1141
375.17	o 13892
375.17	c 1140
375.76	o 13893
375.76	c 1139
375.99	o 13895
375.99	c 1137
376.33	o 13897
376.33	c 1135
376.68	o 13900
376.68	c 1132
376.92	o 13901
376.92	c 1131
377.28	o 13902
377.28	c 1130
377.62	o 13903
377.62	c 1129
378.98	o 13904
378.98	c 1128
379.24	o 13906
379.24	c 1126
379.58	o 13907
379.58	c 1125
380.61	o 13909
380.61	c 1123
386.12	o 13910
386.12	c 1122
387.35	o 13913
387.35	c 1119
387.51	o 13915
387.51	c 1117
388.54	o 13918
388.54	c 1114
388.88	o 13920
388.88	c 1112
389.22	o 13921
389.22	c 1111
389.52	o 13923
389.52	c 1109
389.86	o 13924
389.86	c 1108
390.21	o 13926
390.21	c 1106
390.47	o 13928
390.47	c 1104
390.73	o 13930
390.73	c 1102
391.08	o 13932
391.08	c 1100
391.41	o 13934
391.41	c 1098
392.09	o 13935
392.09	c 1097
392.33	o 13936
392.33	c 1096
392.90	o 13937
392.90	c 1095
393.55	o 13940
393.55	c 1092
393.90	o 13941
393.90	c 1091
394.24	o 13942
394.24	c 1090
394.58	o 13943
394.58	c 1089
397.99	o 13945
397.99	c 1087
398.14	o 13947
398.14	c 1085
398.49	o 13949
398.49	c 1083
399.85	o 13952
399.85	c 1080
401.16	o 13954
401.16	c 1078
401.21	o 13955
401.21	c 1077
404.77	o 13957
404.77	c 1075
407.31	o 13958
407.31	c 1074
407.99	o 13959
407.99	c 1073
408.33	o 13960
408.33	c 1072
410.34	o 13961
410.34	c 1071
410.96	o 13962
410.96	c 1070
413.83	o 13963
413.83	c 1069
415.71	o 13964
415.71	c 1068
417.32	o 13966
417.32	c 1066
417.99	o 13967
417.99	c 1065
418.28	o 13968
418.28	c 1064
420.02	o 13970
420.02	c 1062
423.66	o 13971
423.66	c 1061
426.56	o 13972
426.56	c 1060
426.91	o 13974
426.91	c 1058
428.69	o 13976
428.69	c 1056
429.44	o 13977
429.44	c 1055
429.76	o 13980
429.76	c 1052
431.53	o 13981
431.53	c 1051
431.89	o 13984
431.89	c 1048
439.60	o 13985
439.60	c 1047
439.94	o 13987
439.94	c 1045
440.29	o 13988
440.29	c 1044
441.23	o 13990
441.23	c 1042
441.59	o 13991
441.59	c 1041
441.95	o 13993
441.95	c 1039
442.30	o 13995
442.30	c 1037
445.54	o 13999
445.54	c 1033
446.22	o 14000
446.22	c 1032
446.55	o 14001
446.55	c 1031
446.90	o 14002
446.90	c 1030
449.97	o 14004
449.97	c 1028
450.69	o 14005
450.69	c 1027
451.72	o 14006
451.72	c 1026
452.34	o 14008
452.34	c 1024
452.70	o 14009
452.70	c 1023
453.90	o 14012
453.90	c 1020
455.35	o 14014
455.35	c 1018
455.71	o 14017
455.71	c 1015
456.06	o 14018
456.06	c 1014
456.42	o 14021
456.42	c 1011
456.78	o 14024
456.78	c 1008
457.60	o 14028
457.60	c 1004
457.97	o 14031
457.97	c 1001
458.62	o 14033
458.62	c 999
459.33	o 14034
459.33	c 998
460.04	o 14036
460.04	c 996
460.40	o 14037
460.40	c 995
460.58	o 14038
460.58	c 994
464.84	o 14041
464.84	c 991
465.20	o 14042
465.20	c 990
465.56	o 14045
465.56	c 987
478.16	o 14047
478.16	c 985
478.82	o 14048
478.82	c 984
479.16	o 14049
479.16	c 983
484.64	o 14050
484.64	c 982
484.98	o 14052
484.98	c 980
485.33	o 14053
485.33	c 979
486.36	o 14054
486.36	c 978
492.36	o 14055
492.36	c 977
494.08	o 14057
494.08	c 975
494.40	o 14058
494.40	c 974
494.75	o 14059
494.75	c 973
499.00	o 14060
499.00	c 972
499.36	o 14063
499.36	c 969
500.46	o 14068
500.46	c 964
504.11	o 14069
504.11	c 963
504.47	o 14070
504.47	c 962
504.80	o 14072
504.80	c 960
512.16	o 14073
512.16	c 959
513.62	o 14074
513.62	c 958
514.36	o 14076
514.36	c 956
519.09	o 14077
519.09	c 955
519.48	o 14079
519.48	c 953
520.96	o 14082
520.96	c 950
524.68	o 14083
524.68	c 949
531.98	o 14086
531.98	c 946
532.58	o 14087
532.58	c 945
533.36	o 14088
533.36	c 944
535.35	o 14090
535.35	c 942
535.75	o 14095
535.75	c 937
557.25	o 14096
557.25	c 936
557.98	o 14098
557.98	c 934
558.28	o 14099
558.28	c 933
558.61	o 14100
558.61	c 932
565.62	o 14101
565.62	c 931
566.41	o 14102
566.41	c 930
566.83	o 14104
566.83	c 928
567.25	o 14105
567.25	c 927
567.65	o 14107
567.65	c 925
568.50	o 14108
568.50	c 924
570.66	o 14111
570.66	c 921
574.25	o 14114
574.25	c 918
575.24	o 14115
575.24	c 917
575.66	o 14118
575.66	c 914
576.44	o 14119
576.44	c 913
576.85	o 14120
576.85	c 912
578.10	o 14121
578.10	c 911
605.28	o 14123
605.28	c 909
605.74	o 14127
605.74	c 905
610.03	o 14128
610.03	c 904
610.49	o 14130
610.49	c 902
614.57	o 14132
614.57	c 900
615.03	o 14133
615.03	c 899
615.41	o 14135
615.41	c 897
615.81	o 14136
615.81	c 896
616.68	o 14137
616.68	c 895
617.15	o 14138
617.15	c 894
618.07	o 14139
618.07	c 893
618.95	o 14140
618.95	c 892
620.69	o 14142
620.69	c 890
621.15	o 14144
621.15	c 888
621.61	o 14147
621.61	c 885
622.93	o 14150
622.93	c 882
624.37	o 14154
624.37	c 878
624.81	o 14156
624.81	c 876
625.25	o 14159
625.25	c 873
626.13	o 14160
626.13	c 872
627.66	o 14161
627.66	c 871
630.44	o 14162
630.44	c 870
635.66	o 14163
635.66	c 869
636.11	o 14164
636.11	c 868
637.38	o 14165
637.38	c 867
639.13	o 14166
639.13	c 866
648.09	o 14170
648.09	c 862
648.43	o 14174
648.43	c 858
650.95	o 14177
650.95	c 855
651.78	o 14178
651.78	c 854
651.94	o 14179
651.94	c 853
653.64	o 14182
653.64	c 850
653.97	o 14185
653.97	c 847
654.83	o 14186
654.83	c 846
658.46	o 14187
658.46	c 845
660.18	o 14188
660.18	c 844
660.60	o 14189
660.60	c 843
661.03	o 14190
661.03	c 842
661.46	o 14191
661.46	c 841
662.71	o 14192
662.71	c 840
663.14	o 14193
663.14	c 839
663.59	o 14195
663.59	c 837
664.96	o 14197
664.96	c 835
665.23	o 14199
665.23	c 833
665.68	o 14201
665.68	c 831
666.56	o 14203
666.56	c 829
667.02	o 14204
667.02	c 828
672.64	o 14206
672.64	c 826
673.04	o 14207
673.04	c 825
673.30	o 14210
673.30	c 822
673.70	o 14212
673.70	c 820
674.57	o 14213
674.57	c 819
675.00	o 14214
675.00	c 818
676.35	o 14215
676.35	c 817
677.18	o 14217
677.18	c 815
678.10	o 14218
678.10	c 814
678.98	o 14219
678.98	c 813
686.40	o 14220
686.40	c 812
686.86	o 14221
686.86	c 811
690.38	o 14223
690.38	c 809
692.19	o 14224
692.19	c 808
692.42	o 14225
692.42	c 807
693.05	o 14226
693.05	c 806
699.32	o 14228
699.32	c 804
699.79	o 14229
699.79	c 803
700.97	o 14231
700.97	c 801
701.22	o 14233
701.22	c 799
702.09	o 14235
702.09	c 797
702.34	o 14237
702.34	c 795
702.72	o 14239
702.72	c 793
732.89	   
732.89	   search
732.89	     run=0  nbConstraintChecks=1862909102  nbAssignments=2866
732.89	       =>  wckTime=670.446  cpuTime=667.1  mem=47M814
732.89	   
732.89	   global
732.89	     nbConstraintChecks=1862909102  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
732.89	     solvingWckTime=670.436  solvingCpuTime=667.09  expiredTime=no  totalExploration=no  nbFoundSolutions=0
732.89	     globalCpuTime=728.13
732.89	       =>  wckTime=732.574  cpuTime=728.08  mem=47M814
732.89	   
732.89	   solver IterativeSystematicSolver being built... 
733.38	       =>  wckTime=733.061  cpuTime=728.38  mem=93M480
795.89	   
795.89	   preprocessing
795.89	     nbConstraintChecks=131865672  nbValidityChecks=449223  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
795.89	     nbRemovedValues=0  detectedInconsistency=no
795.89	       =>  wckTime=62.506  cpuTime=62.18  mem=93M480
1939.14	   
1939.14	   search
1939.14	     run=0  nbConstraintChecks=1122386438  nbValidityChecks=3130581464  nbPropagations=0  nbRevisions=0
1939.14	     nbUselessRevisions=0  nbAssignments=510  nbFailedAssignments=85  nbBacktracks=10  nbVisitedNodes=606
1939.14	     nbRestartNogoods=0
1939.14	       =>  wckTime=1205.763  cpuTime=1199.95  mem=93M480
2410.50	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/node15/watcher-275283-1169219341 -o ROOT/results/node15/solver-275283-1169219341 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275283-1169219341/unknown.xml 

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

/proc/loadavg: 2.08 2.04 1.96 2/93 6164
/proc/meminfo: memFree=1350352/2055920 swapFree=4173628/4192956
[pid=6163] ppid=6161 vsize=18540 CPUtime=0
/proc/6163/stat : 6163 (runsolver) R 6161 6163 5171 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 270328944 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/6163/statm: 4635 279 244 17 0 2626 0

[startup+0.103246 s]
/proc/loadavg: 2.08 2.04 1.96 2/93 6164
/proc/meminfo: memFree=1350352/2055920 swapFree=4173628/4192956
[pid=6163] ppid=6161 vsize=914988 CPUtime=0.08
/proc/6163/stat : 6163 (java) R 6161 6163 5171 0 -1 0 2952 0 1 0 7 1 0 0 17 0 8 0 270328944 936947712 2698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942674 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6163/statm: 228747 2698 1412 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.513315 s]
/proc/loadavg: 2.08 2.04 1.96 2/93 6164
/proc/meminfo: memFree=1350352/2055920 swapFree=4173628/4192956
[pid=6163] ppid=6161 vsize=915332 CPUtime=0.49
/proc/6163/stat : 6163 (java) R 6161 6163 5171 0 -1 0 7294 0 1 0 45 4 0 0 18 0 8 0 270328944 937299968 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072946462 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6163/statm: 228833 7033 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33446 s]
/proc/loadavg: 2.08 2.04 1.96 3/100 6171
/proc/meminfo: memFree=1283416/2055920 swapFree=4173628/4192956
[pid=6163] ppid=6161 vsize=915636 CPUtime=1.31
/proc/6163/stat : 6163 (java) R 6161 6163 5171 0 -1 0 21085 0 1 0 120 11 0 0 23 0 8 0 270328944 937611264 20822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072940296 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6163/statm: 228909 20822 2181 14 0 215379 0
[pid=6163/tid=6165] ppid=6161 vsize=915636 CPUtime=0.06
/proc/6163/task/6165/stat : 6165 (java) S 6161 6163 5171 0 -1 64 4474 0 0 0 5 1 0 0 16 0 8 0 270328948 937611264 20822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6166] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6166/stat : 6166 (java) S 6161 6163 5171 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270328949 937611264 20822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6167] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6167/stat : 6167 (java) S 6161 6163 5171 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270328949 937611264 20822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6168] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6168/stat : 6168 (java) S 6161 6163 5171 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270328952 937611264 20822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6169] ppid=6161 vsize=915636 CPUtime=0.17
/proc/6163/task/6169/stat : 6169 (java) S 6161 6163 5171 0 -1 64 399 0 0 0 17 0 0 0 16 0 8 0 270328952 937611264 20822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6170] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6170/stat : 6170 (java) S 6161 6163 5171 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270328952 937611264 20822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6171] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6171/stat : 6171 (java) S 6161 6163 5171 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270328952 937611264 20822 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915636

[startup+2.97174 s]
/proc/loadavg: 2.07 2.04 1.96 3/100 6171
/proc/meminfo: memFree=1275416/2055920 swapFree=4173628/4192956
[pid=6163] ppid=6161 vsize=915636 CPUtime=2.93
/proc/6163/stat : 6163 (java) R 6161 6163 5171 0 -1 0 21095 0 1 0 282 11 0 0 25 0 8 0 270328944 937611264 20831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6163/statm: 228909 20831 2181 14 0 215379 0
[pid=6163/tid=6165] ppid=6161 vsize=915636 CPUtime=0.06
/proc/6163/task/6165/stat : 6165 (java) S 6161 6163 5171 0 -1 64 4474 0 0 0 5 1 0 0 17 0 8 0 270328948 937611264 20831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6166] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6166/stat : 6166 (java) S 6161 6163 5171 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270328949 937611264 20831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6167] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6167/stat : 6167 (java) S 6161 6163 5171 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270328949 937611264 20831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6168] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6168/stat : 6168 (java) S 6161 6163 5171 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270328952 937611264 20831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6169] ppid=6161 vsize=915636 CPUtime=0.18
/proc/6163/task/6169/stat : 6169 (java) S 6161 6163 5171 0 -1 64 408 0 0 0 18 0 0 0 16 0 8 0 270328952 937611264 20831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6170] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6170/stat : 6170 (java) S 6161 6163 5171 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270328952 937611264 20831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6171] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6171/stat : 6171 (java) S 6161 6163 5171 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270328952 937611264 20831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915636

[startup+6.2713 s]
/proc/loadavg: 2.07 2.04 1.96 3/100 6171
/proc/meminfo: memFree=1275224/2055920 swapFree=4173628/4192956
[pid=6163] ppid=6161 vsize=915636 CPUtime=6.21
/proc/6163/stat : 6163 (java) R 6161 6163 5171 0 -1 0 21112 0 1 0 609 12 0 0 25 0 8 0 270328944 937611264 20848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793984 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6163/statm: 228909 20848 2182 14 0 215379 0
[pid=6163/tid=6165] ppid=6161 vsize=915636 CPUtime=0.06
/proc/6163/task/6165/stat : 6165 (java) S 6161 6163 5171 0 -1 64 4474 0 0 0 5 1 0 0 16 0 8 0 270328948 937611264 20848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6166] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6166/stat : 6166 (java) S 6161 6163 5171 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270328949 937611264 20848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6167] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6167/stat : 6167 (java) S 6161 6163 5171 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270328949 937611264 20848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6168] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6168/stat : 6168 (java) S 6161 6163 5171 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270328952 937611264 20848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6169] ppid=6161 vsize=915636 CPUtime=0.2
/proc/6163/task/6169/stat : 6169 (java) S 6161 6163 5171 0 -1 64 424 0 0 0 20 0 0 0 16 0 8 0 270328952 937611264 20848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6170] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6170/stat : 6170 (java) S 6161 6163 5171 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270328952 937611264 20848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6171] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6171/stat : 6171 (java) S 6161 6163 5171 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270328952 937611264 20848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915636

[startup+12.7474 s]
/proc/loadavg: 2.06 2.03 1.96 3/100 6171
/proc/meminfo: memFree=1275296/2055920 swapFree=4173628/4192956
[pid=6163] ppid=6161 vsize=915636 CPUtime=12.66
/proc/6163/stat : 6163 (java) R 6161 6163 5171 0 -1 0 21115 0 1 0 1253 13 0 0 25 0 8 0 270328944 937611264 20850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811251 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6163/statm: 228909 20850 2182 14 0 215379 0
[pid=6163/tid=6165] ppid=6161 vsize=915636 CPUtime=0.06
/proc/6163/task/6165/stat : 6165 (java) S 6161 6163 5171 0 -1 64 4474 0 0 0 5 1 0 0 16 0 8 0 270328948 937611264 20850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6166] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6166/stat : 6166 (java) S 6161 6163 5171 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270328949 937611264 20850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6167] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6167/stat : 6167 (java) S 6161 6163 5171 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270328949 937611264 20850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6168] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6168/stat : 6168 (java) S 6161 6163 5171 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270328952 937611264 20850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6169] ppid=6161 vsize=915636 CPUtime=0.2
/proc/6163/task/6169/stat : 6169 (java) S 6161 6163 5171 0 -1 64 426 0 0 0 20 0 0 0 16 0 8 0 270328952 937611264 20850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6170] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6170/stat : 6170 (java) S 6161 6163 5171 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270328952 937611264 20850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6171] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6171/stat : 6171 (java) S 6161 6163 5171 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270328952 937611264 20850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915636

[startup+25.6126 s]
/proc/loadavg: 2.05 2.03 1.96 3/100 6171
/proc/meminfo: memFree=1273184/2055920 swapFree=4173628/4192956
[pid=6163] ppid=6161 vsize=915636 CPUtime=25.46
/proc/6163/stat : 6163 (java) R 6161 6163 5171 0 -1 0 21687 0 1 0 2530 16 0 0 25 0 8 0 270328944 937611264 21419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073815287 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6163/statm: 228909 21419 2182 14 0 215379 0
[pid=6163/tid=6165] ppid=6161 vsize=915636 CPUtime=0.12
/proc/6163/task/6165/stat : 6165 (java) S 6161 6163 5171 0 -1 64 5038 0 0 0 11 1 0 0 16 0 8 0 270328948 937611264 21419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6166] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6166/stat : 6166 (java) S 6161 6163 5171 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270328949 937611264 21419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6167] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6167/stat : 6167 (java) S 6161 6163 5171 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270328949 937611264 21419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6168] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6168/stat : 6168 (java) S 6161 6163 5171 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270328952 937611264 21419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6169] ppid=6161 vsize=915636 CPUtime=0.21
/proc/6163/task/6169/stat : 6169 (java) S 6161 6163 5171 0 -1 64 431 0 0 0 21 0 0 0 17 0 8 0 270328952 937611264 21419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6170] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6170/stat : 6170 (java) S 6161 6163 5171 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270328952 937611264 21419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6171] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6171/stat : 6171 (java) S 6161 6163 5171 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270328952 937611264 21419 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915636

[startup+51.228 s]
/proc/loadavg: 2.03 2.03 1.96 3/100 6171
/proc/meminfo: memFree=1261600/2055920 swapFree=4173628/4192956
[pid=6163] ppid=6161 vsize=915636 CPUtime=50.96
/proc/6163/stat : 6163 (java) R 6161 6163 5171 0 -1 0 24599 0 1 0 5072 24 0 0 25 0 8 0 270328944 937611264 24329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794003 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6163/statm: 228909 24329 2182 14 0 215379 0
[pid=6163/tid=6165] ppid=6161 vsize=915636 CPUtime=0.22
/proc/6163/task/6165/stat : 6165 (java) S 6161 6163 5171 0 -1 64 7940 0 0 0 20 2 0 0 16 0 8 0 270328948 937611264 24329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6166] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6166/stat : 6166 (java) S 6161 6163 5171 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270328949 937611264 24329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6167] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6167/stat : 6167 (java) S 6161 6163 5171 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270328949 937611264 24329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6168] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6168/stat : 6168 (java) S 6161 6163 5171 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270328952 937611264 24329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6169] ppid=6161 vsize=915636 CPUtime=0.23
/proc/6163/task/6169/stat : 6169 (java) S 6161 6163 5171 0 -1 64 439 0 0 0 23 0 0 0 16 0 8 0 270328952 937611264 24329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6170] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6170/stat : 6170 (java) S 6161 6163 5171 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270328952 937611264 24329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6171] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6171/stat : 6171 (java) S 6161 6163 5171 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270328952 937611264 24329 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915636

[startup+102.469 s]
/proc/loadavg: 2.08 2.04 1.96 3/100 6171
/proc/meminfo: memFree=1240224/2055920 swapFree=4173628/4192956
[pid=6163] ppid=6161 vsize=915636 CPUtime=101.9
/proc/6163/stat : 6163 (java) R 6161 6163 5171 0 -1 0 30241 0 1 0 10152 38 0 0 25 0 8 0 270328944 937611264 29965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073980339 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6163/statm: 228909 29965 2501 14 0 215379 0
[pid=6163/tid=6165] ppid=6161 vsize=915636 CPUtime=0.61
/proc/6163/task/6165/stat : 6165 (java) S 6161 6163 5171 0 -1 64 13202 0 0 0 58 3 0 0 16 0 8 0 270328948 937611264 29965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6166] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6166/stat : 6166 (java) S 6161 6163 5171 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270328949 937611264 29965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6167] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6167/stat : 6167 (java) S 6161 6163 5171 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 270328949 937611264 29965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6168] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6168/stat : 6168 (java) S 6161 6163 5171 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270328952 937611264 29965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6169] ppid=6161 vsize=915636 CPUtime=0.29
/proc/6163/task/6169/stat : 6169 (java) S 6161 6163 5171 0 -1 64 468 0 0 0 28 1 0 0 16 0 8 0 270328952 937611264 29965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6170] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6170/stat : 6170 (java) S 6161 6163 5171 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270328952 937611264 29965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6171] ppid=6161 vsize=915636 CPUtime=0
/proc/6163/task/6171/stat : 6171 (java) S 6161 6163 5171 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270328952 937611264 29965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 915636

[startup+162.47 s]
/proc/loadavg: 2.03 2.03 1.96 3/100 6171
/proc/meminfo: memFree=1240288/2055920 swapFree=4173628/4192956
[pid=6163] ppid=6161 vsize=915636 CPUtime=161.6
/proc/6163/stat : 6163 (java) R 6161 6163 5171 0 -1 0 30241 0 1 0 16117 43 0 0 25 0 8 0 270328944 937611264 29965 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073981197 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2083.98 s]
/proc/loadavg: 1.98 1.99 1.99 3/93 6221
/proc/meminfo: memFree=1327648/2055920 swapFree=4173628/4192956
[pid=6163] ppid=6161 vsize=915936 CPUtime=2074.27
/proc/6163/stat : 6163 (java) R 6161 6163 5171 0 -1 0 39810 0 1 0 207340 87 0 0 25 0 8 0 270328944 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074240189 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6163/statm: 228984 39509 2551 14 0 215454 0
[pid=6163/tid=6165] ppid=6161 vsize=915936 CPUtime=0.73
/proc/6163/task/6165/stat : 6165 (java) S 6161 6163 5171 0 -1 64 22519 0 0 0 66 7 0 0 16 0 8 0 270328948 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6166] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6166/stat : 6166 (java) S 6161 6163 5171 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270328949 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6167] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6167/stat : 6167 (java) S 6161 6163 5171 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270328949 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6168] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6168/stat : 6168 (java) S 6161 6163 5171 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270328952 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6169] ppid=6161 vsize=915936 CPUtime=0.41
/proc/6163/task/6169/stat : 6169 (java) S 6161 6163 5171 0 -1 64 594 0 0 0 40 1 0 0 16 0 8 0 270328952 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6170] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6170/stat : 6170 (java) S 6161 6163 5171 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270328952 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6171] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6171/stat : 6171 (java) S 6161 6163 5171 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270328952 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2074.27
Current children cumulated vsize (KiB) 915936

[startup+2144.04 s]
/proc/loadavg: 1.99 1.99 1.99 3/93 6221
/proc/meminfo: memFree=1327712/2055920 swapFree=4173628/4192956
[pid=6163] ppid=6161 vsize=915936 CPUtime=2134.26
/proc/6163/stat : 6163 (java) R 6161 6163 5171 0 -1 0 39810 0 1 0 213339 87 0 0 25 0 8 0 270328944 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794034 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6163/statm: 228984 39509 2551 14 0 215454 0
[pid=6163/tid=6165] ppid=6161 vsize=915936 CPUtime=0.73
/proc/6163/task/6165/stat : 6165 (java) S 6161 6163 5171 0 -1 64 22519 0 0 0 66 7 0 0 16 0 8 0 270328948 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6166] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6166/stat : 6166 (java) S 6161 6163 5171 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270328949 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6167] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6167/stat : 6167 (java) S 6161 6163 5171 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270328949 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6168] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6168/stat : 6168 (java) S 6161 6163 5171 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270328952 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6169] ppid=6161 vsize=915936 CPUtime=0.41
/proc/6163/task/6169/stat : 6169 (java) S 6161 6163 5171 0 -1 64 594 0 0 0 40 1 0 0 16 0 8 0 270328952 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6170] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6170/stat : 6170 (java) S 6161 6163 5171 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270328952 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6171] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6171/stat : 6171 (java) S 6161 6163 5171 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270328952 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2134.26
Current children cumulated vsize (KiB) 915936

[startup+2204.12 s]
/proc/loadavg: 1.99 1.99 1.99 3/93 6221
/proc/meminfo: memFree=1327648/2055920 swapFree=4173628/4192956
[pid=6163] ppid=6161 vsize=915936 CPUtime=2194.26
/proc/6163/stat : 6163 (java) R 6161 6163 5171 0 -1 0 39811 0 1 0 219339 87 0 0 25 0 8 0 270328944 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074240271 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6163/statm: 228984 39509 2551 14 0 215454 0
[pid=6163/tid=6165] ppid=6161 vsize=915936 CPUtime=0.73
/proc/6163/task/6165/stat : 6165 (java) S 6161 6163 5171 0 -1 64 22519 0 0 0 66 7 0 0 16 0 8 0 270328948 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6166] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6166/stat : 6166 (java) S 6161 6163 5171 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270328949 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6167] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6167/stat : 6167 (java) S 6161 6163 5171 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270328949 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6168] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6168/stat : 6168 (java) S 6161 6163 5171 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270328952 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6169] ppid=6161 vsize=915936 CPUtime=0.41
/proc/6163/task/6169/stat : 6169 (java) S 6161 6163 5171 0 -1 64 594 0 0 0 40 1 0 0 16 0 8 0 270328952 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6163/tid=6170] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6170/stat : 6170 (java) S 6161 6163 5171 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270328952 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6171] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6171/stat : 6171 (java) S 6161 6163 5171 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270328952 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2194.26
Current children cumulated vsize (KiB) 915936

[startup+2264.17 s]
/proc/loadavg: 1.99 1.99 1.99 3/93 6221
/proc/meminfo: memFree=1327648/2055920 swapFree=4173628/4192956
[pid=6163] ppid=6161 vsize=915936 CPUtime=2254.24
/proc/6163/stat : 6163 (java) R 6161 6163 5171 0 -1 0 39811 0 1 0 225337 87 0 0 25 0 8 0 270328944 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074240150 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6163/statm: 228984 39509 2551 14 0 215454 0
[pid=6163/tid=6165] ppid=6161 vsize=915936 CPUtime=0.73
/proc/6163/task/6165/stat : 6165 (java) S 6161 6163 5171 0 -1 64 22519 0 0 0 66 7 0 0 16 0 8 0 270328948 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6166] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6166/stat : 6166 (java) S 6161 6163 5171 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270328949 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6167] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6167/stat : 6167 (java) S 6161 6163 5171 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270328949 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6168] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6168/stat : 6168 (java) S 6161 6163 5171 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270328952 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6169] ppid=6161 vsize=915936 CPUtime=0.41
/proc/6163/task/6169/stat : 6169 (java) S 6161 6163 5171 0 -1 64 594 0 0 0 40 1 0 0 16 0 8 0 270328952 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6163/tid=6170] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6170/stat : 6170 (java) S 6161 6163 5171 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270328952 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6171] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6171/stat : 6171 (java) S 6161 6163 5171 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270328952 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2254.24
Current children cumulated vsize (KiB) 915936

[startup+2324.24 s]
/proc/loadavg: 1.99 1.99 1.99 3/93 6221
/proc/meminfo: memFree=1327648/2055920 swapFree=4173628/4192956
[pid=6163] ppid=6161 vsize=915936 CPUtime=2314.23
/proc/6163/stat : 6163 (java) R 6161 6163 5171 0 -1 0 39811 0 1 0 231336 87 0 0 25 0 8 0 270328944 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074212666 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6163/statm: 228984 39509 2551 14 0 215454 0
[pid=6163/tid=6165] ppid=6161 vsize=915936 CPUtime=0.73
/proc/6163/task/6165/stat : 6165 (java) S 6161 6163 5171 0 -1 64 22519 0 0 0 66 7 0 0 16 0 8 0 270328948 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6166] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6166/stat : 6166 (java) S 6161 6163 5171 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270328949 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6167] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6167/stat : 6167 (java) S 6161 6163 5171 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270328949 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6168] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6168/stat : 6168 (java) S 6161 6163 5171 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270328952 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6169] ppid=6161 vsize=915936 CPUtime=0.41
/proc/6163/task/6169/stat : 6169 (java) S 6161 6163 5171 0 -1 64 594 0 0 0 40 1 0 0 16 0 8 0 270328952 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6163/tid=6170] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6170/stat : 6170 (java) S 6161 6163 5171 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270328952 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6171] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6171/stat : 6171 (java) S 6161 6163 5171 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270328952 937918464 39509 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2314.23
Current children cumulated vsize (KiB) 915936

[startup+2384.26 s]
/proc/loadavg: 1.99 1.99 1.99 3/93 6221
/proc/meminfo: memFree=1327648/2055920 swapFree=4173628/4192956
[pid=6163] ppid=6161 vsize=915936 CPUtime=2373.94
/proc/6163/stat : 6163 (java) R 6161 6163 5171 0 -1 0 39815 0 1 0 237307 87 0 0 25 0 8 0 270328944 937918464 39511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6163/statm: 228984 39511 2551 14 0 215454 0
[pid=6163/tid=6165] ppid=6161 vsize=915936 CPUtime=0.73
/proc/6163/task/6165/stat : 6165 (java) S 6161 6163 5171 0 -1 64 22519 0 0 0 66 7 0 0 16 0 8 0 270328948 937918464 39511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6163/tid=6166] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6166/stat : 6166 (java) S 6161 6163 5171 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270328949 937918464 39511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6167] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6167/stat : 6167 (java) S 6161 6163 5171 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270328949 937918464 39511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6168] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6168/stat : 6168 (java) S 6161 6163 5171 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270328952 937918464 39511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6169] ppid=6161 vsize=915936 CPUtime=0.42
/proc/6163/task/6169/stat : 6169 (java) S 6161 6163 5171 0 -1 64 596 0 0 0 41 1 0 0 16 0 8 0 270328952 937918464 39511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6163/tid=6170] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6170/stat : 6170 (java) S 6161 6163 5171 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270328952 937918464 39511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6171] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6171/stat : 6171 (java) S 6161 6163 5171 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270328952 937918464 39511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2373.94
Current children cumulated vsize (KiB) 915936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2410.49 s]
/proc/loadavg: 1.99 1.99 1.99 3/93 6221
/proc/meminfo: memFree=1327584/2055920 swapFree=4173628/4192956
[pid=6163] ppid=6161 vsize=915936 CPUtime=2400.01
/proc/6163/stat : 6163 (java) R 6161 6163 5171 0 -1 0 39815 0 1 0 239914 87 0 0 25 0 8 0 270328944 937918464 39511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074248944 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6163/statm: 228984 39511 2551 14 0 215454 0
[pid=6163/tid=6165] ppid=6161 vsize=915936 CPUtime=0.73
/proc/6163/task/6165/stat : 6165 (java) S 6161 6163 5171 0 -1 64 22519 0 0 0 66 7 0 0 16 0 8 0 270328948 937918464 39511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6163/tid=6166] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6166/stat : 6166 (java) S 6161 6163 5171 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 270328949 937918464 39511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6167] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6167/stat : 6167 (java) S 6161 6163 5171 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 270328949 937918464 39511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6168] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6168/stat : 6168 (java) S 6161 6163 5171 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 270328952 937918464 39511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6169] ppid=6161 vsize=915936 CPUtime=0.42
/proc/6163/task/6169/stat : 6169 (java) S 6161 6163 5171 0 -1 64 596 0 0 0 41 1 0 0 16 0 8 0 270328952 937918464 39511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6163/tid=6170] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6170/stat : 6170 (java) S 6161 6163 5171 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 270328952 937918464 39511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6163/tid=6171] ppid=6161 vsize=915936 CPUtime=0
/proc/6163/task/6171/stat : 6171 (java) S 6161 6163 5171 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 270328952 937918464 39511 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915936

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

Child status: 143
Real time (s): 2410.56
CPU time (s): 2400.09
CPU user time (s): 2399.19
CPU system time (s): 0.899863
CPU usage (%): 99.5655
Max. virtual memory (cumulated for all children) (KiB): 915936

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

runsolver used 3.2895 s user time and 7.49086 s system time

The end

Launcher Data (download as text)

Begin job on node15 on Fri Jan 19 15:09:01 UTC 2007


IDJOB= 275283
IDBENCH= 3764
IDSOLVER= 69
FILE ID= node15/275283-1169219341

PBS_JOBID= 3588911

Free space on /tmp= 66555 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  dbef2f05eaf3bc2b6a5a2e59b2388b70

RANDOM SEED= 292602471

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.276
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.276
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:       1350832 kB
Buffers:         49756 kB
Cached:         419900 kB
SwapCached:       5936 kB
Active:         279932 kB
Inactive:       351236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1350832 kB
SwapTotal:     4192956 kB
SwapFree:      4173628 kB
Dirty:            3768 kB
Writeback:           0 kB
Mapped:         181096 kB
Slab:            58212 kB
Committed_AS:  8838588 kB
PageTables:       2688 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 node15 on Fri Jan 19 15:49:12 UTC 2007