Trace number 4291854

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering with restarts 2018-07-02SAT (TO)294555 2400.14 2374.04

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-scen-09-opt_c18.xml
MD5SUM19bcf73076031218e5fd4b7208c9a15e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark19049
Best CPU time to get the best result obtained on this benchmark2400.17
Satisfiable
(Un)Satisfiability was proved
Number of variables4749
Number of constraints4410
Number of domains9
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":4069},{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}]
Minimum variable degree2
Maximum variable degree63
Distribution of variable degrees[{"degree":2,"count":4070},{"degree":3,"count":1},{"degree":4,"count":27},{"degree":5,"count":22},{"degree":6,"count":78},{"degree":7,"count":29},{"degree":8,"count":79},{"degree":9,"count":23},{"degree":10,"count":77},{"degree":11,"count":29},{"degree":12,"count":39},{"degree":13,"count":29},{"degree":14,"count":40},{"degree":15,"count":18},{"degree":16,"count":32},{"degree":17,"count":15},{"degree":18,"count":21},{"degree":19,"count":8},{"degree":20,"count":16},{"degree":21,"count":14},{"degree":22,"count":10},{"degree":23,"count":9},{"degree":24,"count":6},{"degree":25,"count":9},{"degree":26,"count":6},{"degree":27,"count":3},{"degree":28,"count":8},{"degree":29,"count":6},{"degree":30,"count":3},{"degree":31,"count":5},{"degree":32,"count":1},{"degree":36,"count":3},{"degree":37,"count":3},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":1},{"degree":48,"count":1},{"degree":56,"count":1},{"degree":63,"count":1}]
Minimum constraint arity2
Maximum constraint arity280
Distribution of constraint arities[{"arity":2,"count":646},{"arity":3,"count":3763},{"arity":280,"count":1}]
Number of extensional constraints0
Number of intensional constraints4409
Distribution of constraint types[{"type":"intension","count":4409},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.66/0.55	c version: 2018-07-02
0.66/0.56	c seed: 653501643
0.66/0.56	c timeout: 2400
0.66/0.56	c memlimit: 11000
0.66/0.56	c nbcore: 4
0.66/0.58	c Parsing instance...
14.74/8.33	c Parsing done, starting search...
296.16/287.63	o 379460
296.16/287.66	o 378460
296.16/287.66	o 378459
296.16/287.67	o 378458
296.16/287.67	o 378457
296.16/287.68	o 378449
296.16/287.69	o 378448
296.16/287.69	o 378447
296.37/287.70	o 378247
296.37/287.73	o 376250
296.37/287.74	o 376249
296.37/287.74	o 376239
296.37/287.75	o 376238
296.37/287.75	o 376237
296.37/287.76	o 376137
296.37/287.76	o 376051
296.37/287.76	o 376050
296.37/287.77	o 376049
296.37/287.77	o 376048
296.37/287.78	o 376047
296.37/287.78	o 375338
296.37/287.79	o 375337
296.37/287.79	o 375137
296.60/287.80	o 375047
296.60/287.85	o 375046
296.80/287.93	o 373144
296.80/287.93	o 373046
296.91/288.07	o 373036
297.01/288.13	o 373035
297.01/288.18	o 373034
297.10/288.28	o 372222
297.10/288.28	o 372220
297.10/288.28	o 372122
297.10/288.29	o 372032
297.20/288.39	o 371920
297.20/288.40	o 371830
297.40/288.51	o 371732
297.40/288.52	o 371731
297.40/288.52	o 371730
297.60/288.61	o 371720
297.60/288.62	o 371630
297.70/288.72	o 371623
297.70/288.73	o 371533
298.01/289.05	o 371470
298.01/289.05	o 371469
298.01/289.05	o 371468
298.01/289.06	o 371467
298.01/289.06	o 371466
298.01/289.06	o 371465
298.01/289.07	o 371464
298.01/289.07	o 371462
298.01/289.07	o 371452
298.01/289.08	o 371451
298.01/289.08	o 371448
298.01/289.08	o 371438
298.01/289.09	o 371437
298.01/289.09	o 371433
298.99/289.97	o 371415
298.99/289.97	o 371413
298.99/289.97	o 371412
298.99/289.98	o 371323
298.99/289.99	o 371322
299.49/290.42	o 371315
299.49/290.42	o 371313
299.69/290.65	o 370204
299.69/290.65	o 370202
299.69/290.66	o 370192
300.69/291.69	o 370003
300.69/291.70	o 370001
300.79/291.70	o 369992
300.89/291.81	o 369111
300.89/291.82	o 369021
300.89/291.83	o 368835
300.89/291.83	o 368833
300.89/291.84	o 368832
300.89/291.84	o 368831
300.89/291.84	o 368821
300.89/291.85	o 368812
301.10/292.01	o 366823
301.10/292.01	o 366821
301.10/292.02	o 366731
301.10/292.02	o 366721
301.10/292.03	o 366712
301.20/292.13	o 366704
301.20/292.14	o 366702
301.20/292.14	o 366693
301.20/292.16	o 366692
302.10/293.07	o 366685
302.10/293.08	o 366683
302.71/293.67	o 366133
302.71/293.67	o 366132
302.71/293.67	o 366131
302.71/293.68	o 366130
302.71/293.68	o 366129
302.71/293.68	o 366126
302.71/293.69	o 366122
302.71/293.69	o 366121
302.71/293.69	o 365121
302.71/293.69	o 365111
302.81/293.70	o 365110
302.81/293.70	o 365100
302.81/293.71	o 365000
302.81/293.71	o 364991
302.81/293.72	o 364981
302.81/293.72	o 364683
302.81/293.73	o 364682
302.81/293.74	o 364673
304.62/295.51	o 364480
304.62/295.52	o 364479
304.62/295.52	o 364469
304.62/295.54	o 364462
304.62/295.55	o 364452
304.62/295.55	o 364451
304.62/295.56	o 364361
304.72/295.63	o 364352
313.05/304.00	o 364303
313.16/304.01	o 364302
313.16/304.01	o 364300
313.16/304.02	o 364290
313.16/304.03	o 364280
313.16/304.04	o 364270
313.16/304.05	o 364269
313.46/304.32	o 364252
313.46/304.33	o 364251
313.46/304.34	o 364249
313.66/304.55	o 364152
313.66/304.55	o 364052
313.66/304.58	o 364051
313.66/304.58	o 364050
313.76/304.63	o 363251
313.76/304.64	o 363052
313.76/304.66	o 363050
314.18/305.05	o 363049
314.28/305.14	o 363048
316.07/306.92	o 362964
316.07/306.92	o 362963
316.07/306.93	o 362953
316.07/306.94	o 362952
316.07/306.94	o 362752
316.07/306.95	o 362652
316.07/306.96	o 362651
316.07/306.97	o 362649
317.59/308.40	o 361841
317.59/308.41	o 361731
317.59/308.41	o 361730
317.59/308.42	o 361641
317.59/308.43	o 361541
317.59/308.45	o 361539
323.89/314.65	o 361361
323.89/314.65	o 361161
323.89/314.66	o 361151
323.89/314.67	o 361051
323.89/314.67	o 361041
323.89/314.69	o 360052
323.99/314.70	o 360051
323.99/314.71	o 360041
324.90/315.62	o 359962
324.90/315.63	o 359952
324.90/315.63	o 359951
324.90/315.64	o 359941
674.38/662.87	o 348782
674.38/662.87	o 348682
674.38/662.88	o 348582
674.38/662.88	o 347582
674.38/662.88	o 346582
674.38/662.89	o 346483
674.38/662.89	o 346482
674.38/662.89	o 346481
674.48/662.90	o 346381
674.48/662.90	o 344381
674.48/662.91	o 344281
674.48/662.91	o 344280
674.48/662.92	o 343390
674.48/662.97	o 343294
674.48/662.97	o 343284
674.48/662.98	o 343274
674.48/662.98	o 343273
674.48/662.98	o 343272
674.48/662.99	o 343271
674.48/662.99	o 343270
674.48/663.00	o 343190
674.48/663.00	o 343170
674.61/663.01	o 342170
674.61/663.06	o 340416
674.61/663.06	o 340406
674.61/663.06	o 340405
674.61/663.07	o 340404
674.61/663.07	o 340403
674.61/663.07	o 340402
674.61/663.08	o 340302
674.61/663.08	o 340201
674.61/663.08	o 340181
674.61/663.09	o 340173
674.61/663.09	o 340172
674.61/663.10	o 340171
674.61/663.10	o 340170
674.61/663.10	o 340160
674.71/663.11	o 338160
674.71/663.15	o 338115
674.71/663.15	o 338114
674.71/663.15	o 338113
674.71/663.16	o 338103
674.71/663.16	o 338102
674.71/663.16	o 338101
674.71/663.17	o 338100
674.71/663.17	o 338090
674.71/663.17	o 338070
674.71/663.18	o 338060
674.81/663.21	o 337160
674.81/663.21	o 337159
674.81/663.22	o 337059
674.81/663.26	o 337058
674.81/663.28	o 336968
674.91/663.31	o 336958
675.01/663.49	o 336955
675.01/663.49	o 336947
675.21/663.60	o 336940
675.21/663.61	o 336939
675.21/663.61	o 336849
675.21/663.64	o 336840
675.21/663.68	o 336749
675.31/663.77	o 336640
675.31/663.78	o 336639
675.31/663.79	o 336549
675.42/663.88	o 335740
675.42/663.89	o 335649
675.52/663.91	o 335640
675.52/663.92	o 335549
675.74/664.20	o 335527
675.83/664.20	o 333629
675.83/664.21	o 333619
675.83/664.22	o 333529
675.93/664.35	o 332820
675.93/664.35	o 332620
675.93/664.36	o 332529
676.34/664.75	o 332519
676.54/664.96	o 332499
676.54/664.97	o 332489
676.54/664.97	o 332289
676.54/664.98	o 332198
676.54/664.99	o 332098
676.84/665.25	o 332096
676.84/665.25	o 332095
678.46/666.88	o 332094
678.87/667.25	o 332085
678.87/667.25	o 332075
678.87/667.25	o 332074
679.68/668.01	o 331299
679.68/668.01	o 331289
679.68/668.02	o 331269
679.68/668.02	o 331169
679.68/668.03	o 331167
679.68/668.04	o 331166
679.68/668.05	o 331165
679.68/668.06	o 331085
679.68/668.07	o 331065
679.68/668.10	o 330975
679.68/668.11	o 330974
680.71/669.09	o 330690
680.71/669.09	o 330689
680.71/669.10	o 330669
680.71/669.10	o 330659
680.71/669.10	o 330649
680.81/669.11	o 330647
680.81/669.12	o 329647
680.81/669.13	o 329637
680.81/669.13	o 329437
680.81/669.14	o 329226
680.81/669.14	o 329216
680.81/669.15	o 329016
680.81/669.15	o 328995
680.81/669.16	o 328994
682.02/670.35	o 328819
682.02/670.35	o 328818
682.02/670.35	o 328717
682.02/670.36	o 328707
682.02/670.38	o 328208
682.02/670.38	o 328188
682.02/670.38	o 328178
682.12/670.40	o 328176
682.12/670.42	o 328175
687.38/675.61	o 328089
687.38/675.61	o 328088
687.38/675.62	o 328078
687.38/675.63	o 328076
687.38/675.63	o 328075
701.34/689.49	o 327619
701.34/689.50	o 327519
701.44/689.50	o 327419
701.44/689.51	o 327418
701.44/689.51	o 327398
701.44/689.52	o 327198
701.44/689.53	o 327197
701.44/689.54	o 327196
701.44/689.55	o 327176
702.57/690.68	o 327008
702.57/690.69	o 326998
702.57/690.70	o 326997
702.69/690.70	o 326977
702.69/690.71	o 326976
703.90/691.96	o 326918
703.90/691.97	o 326898
703.90/691.98	o 326888
704.01/692.08	o 326787
704.22/692.21	o 324787
704.32/692.35	o 324786
705.85/693.84	o 324185
705.85/693.85	o 324184
705.85/693.85	o 324084
705.85/693.86	o 323984
705.85/693.87	o 323784
705.85/693.89	o 322976
705.95/693.90	o 322886
705.95/693.92	o 322876
705.95/693.93	o 322786
706.98/694.98	o 322785
706.98/695.00	o 322783
707.09/695.02	o 321785
707.28/695.28	o 321696
707.28/695.28	o 321695
707.90/695.90	o 321686
708.00/695.90	o 321685
708.00/695.92	o 321684
708.72/696.68	o 320867
708.72/696.69	o 320866
708.72/696.70	o 320865
710.77/698.61	o 320855
710.77/698.61	o 320854
710.77/698.62	o 320844
710.77/698.64	o 320744
710.77/698.68	o 320644
710.87/698.71	o 319744
710.87/698.72	o 319644
710.87/698.75	o 318644
712.32/700.18	o 318554
724.11/711.73	o 318505
724.11/711.74	o 318504
724.11/711.75	o 318484
724.11/711.75	o 318474
724.11/711.76	o 318472
724.21/711.80	o 318362
725.02/712.65	o 318342
725.73/713.31	o 318341
730.24/717.73	o 318261
730.24/717.75	o 318241
730.94/718.45	o 317682
730.94/718.46	o 317582
730.94/718.46	o 317482
730.94/718.47	o 317481
730.94/718.47	o 317381
730.94/718.48	o 317281
730.94/718.49	o 317271
731.04/718.50	o 317261
731.04/718.54	o 317241
731.36/718.85	o 316261
731.46/718.93	o 316241
734.11/721.53	o 316172
734.11/721.54	o 316162
734.11/721.55	o 316152
734.11/721.57	o 316052
740.73/728.04	o 316051
740.73/728.06	o 315142
740.73/728.09	o 315132
740.92/728.20	o 315032
741.53/728.82	o 314981
741.53/728.83	o 314971
741.53/728.83	o 314961
741.53/728.84	o 314941
741.53/728.85	o 314841
741.53/728.85	o 314831
742.44/729.72	o 313941
742.44/729.73	o 313931
1126.81/1110.64	o 313914
1126.81/1110.64	o 313904
1126.81/1110.65	o 313894
1126.81/1110.65	o 313893
1126.81/1110.65	o 313892
1126.81/1110.66	o 313891
1126.81/1110.66	o 313881
1126.81/1110.66	o 313879
1126.81/1110.67	o 313869
1126.81/1110.67	o 313859
1126.81/1110.68	o 313849
1126.81/1110.69	o 313838
1126.91/1110.70	o 313829
1126.91/1110.71	o 313819
1126.91/1110.72	o 313809
1126.91/1110.73	o 313808
1126.91/1110.74	o 313786
1126.91/1110.75	o 313686
1126.91/1110.77	o 313496
1126.91/1110.79	o 313495
1127.01/1110.80	o 312487
1127.01/1110.83	o 312486
1127.01/1110.86	o 312386
1127.01/1110.88	o 312385
1127.01/1110.89	o 312188
1127.11/1110.98	o 312088
1133.70/1117.49	o 311687
1133.80/1117.50	o 311487
1133.80/1117.51	o 311387
1133.80/1117.52	o 311188
1133.80/1117.56	o 311185
1133.80/1117.57	o 311088
1136.94/1120.63	o 310888
1138.25/1121.91	o 310285
1138.25/1121.91	o 310275
1138.25/1121.93	o 310175
1138.25/1121.95	o 310089
1138.25/1121.96	o 310088
1138.25/1121.97	o 310078
1138.25/1121.99	o 309978
1140.08/1123.73	o 309976
1140.08/1123.74	o 309975
1140.08/1123.75	o 309878
1140.08/1123.78	o 309778
1141.60/1125.21	o 308799
1141.60/1125.21	o 308788
1141.60/1125.27	o 308699
1141.60/1125.27	o 308688
1141.70/1125.39	o 308386
1141.80/1125.40	o 308376
1141.80/1125.41	o 308176
1141.80/1125.42	o 308076
1141.80/1125.45	o 308075
1141.80/1125.46	o 307878
1141.80/1125.48	o 307778
1144.44/1128.01	o 307775
1144.83/1128.47	o 307768
1144.83/1128.48	o 306878
1144.94/1128.50	o 306778
1144.94/1128.51	o 306177
1144.94/1128.52	o 305989
1144.94/1128.53	o 305988
1144.94/1128.54	o 305978
1144.94/1128.54	o 305778
1144.94/1128.56	o 305678
1146.76/1130.33	o 305667
1148.98/1132.58	o 305555
1148.98/1132.59	o 305454
1149.09/1132.60	o 305357
1149.09/1132.61	o 303667
1171.63/1155.01	o 303666
1171.74/1155.01	o 303665
1221.78/1204.50	o 303027
1221.78/1204.51	o 303017
1221.78/1204.51	o 303016
1221.78/1204.52	o 303005
1221.78/1204.53	o 302985
1221.78/1204.53	o 302963
1221.78/1204.54	o 302862
1221.89/1204.60	o 302765
1221.89/1204.63	o 302762
1221.89/1204.65	o 302665
1233.25/1215.86	o 302092
1233.25/1215.87	o 302082
1233.25/1215.88	o 302080
1233.25/1215.88	o 302070
1233.25/1215.89	o 302062
1233.25/1215.89	o 302060
1233.35/1215.90	o 302050
1233.35/1215.91	o 301949
1233.35/1215.93	o 301750
1251.85/1234.14	o 301651
1251.85/1234.15	o 301641
1301.29/1282.92	o 301413
1301.29/1282.92	o 301393
1301.29/1282.92	o 301383
1301.29/1282.97	o 301284
1301.29/1282.97	o 301283
1301.29/1282.98	o 301183
1301.40/1283.02	o 301083
1301.60/1283.22	o 301082
1302.51/1284.12	o 301005
1302.51/1284.12	o 301004
1302.51/1284.13	o 301002
1302.51/1284.13	o 300982
1303.71/1285.37	o 300974
1304.22/1285.87	o 299874
1306.74/1288.38	o 299785
1306.74/1288.39	o 299775
1306.94/1288.59	o 298986
1307.04/1288.60	o 298885
1307.04/1288.61	o 298875
1307.04/1288.62	o 298775
1307.14/1288.79	o 298774
1307.24/1288.80	o 298675
1308.66/1290.21	o 296885
1308.66/1290.22	o 296875
1308.76/1290.34	o 296785
1308.76/1290.35	o 296775
1309.06/1290.66	o 296683
1309.06/1290.67	o 296676
1309.06/1290.68	o 296675
1315.16/1296.66	o 296674
1317.19/1298.60	o 296665
1319.66/1301.01	o 295882
1319.66/1301.01	o 295874
1319.66/1301.03	o 295775
1319.66/1301.03	o 295675
1319.96/1301.38	o 294775
1320.08/1301.40	o 294685
1320.08/1301.40	o 294683
1320.08/1301.42	o 294675
1320.48/1301.87	o 294673
1320.48/1301.88	o 294665
1321.49/1302.81	o 294655
1321.49/1302.88	o 294555
2400.09/2374.01	s SATISFIABLE
2400.09/2374.02	v <instantiation>
2400.09/2374.02	v 	<list>
2400.09/2374.02	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] zb1[0] zb1[1] zb1[2] zb1[3] zb1[4] zb1[5] zb1[6] zb1[7] zb1[8] zb1[9] zb1[10] zb1[11] zb1[12] zb1[13] zb1[14] zb1[15] zb1[16] zb1[17] zb1[18] zb1[19] zb1[20] zb1[21] zb1[22] zb1[23] zb1[24] zb1[25] zb1[26] zb1[27] zb1[28] zb1[29] zb1[30] zb1[31] zb1[32] zb1[33] zb1[34] zb1[35] zb1[36] zb1[37] zb1[38] zb1[39] zb1[40] zb1[41] zb1[42] zb1[43] zb1[44] zb1[45] zb1[46] zb1[47] zb1[48] zb1[49] zb1[50] zb1[51] zb1[52] zb1[53] zb1[54] zb1[55] zb1[56] zb1[57] zb1[58] zb1[59] zb1[60] zb1[61] zb1[62] zb1[63] zb1[64] zb1[65] zb1[66] zb1[67] zb1[68] zb1[69] zb1[70] zb1[71] zb1[72] zb1[73] zb1[74] zb1[75] zb1[76] zb1[77] zb1[78] zb1[79] zb1[80] zb1[81] zb1[82] zb1[83] zb1[84] zb1[85] zb1[86] zb1[87] zb1[88] zb1[89] zb1[90] zb1[91] zb1[92] zb1[93] zb1[94] zb1[95] zb1[96] zb1[97] zb1[98] zb1[99] zb1[100] zb1[101] zb1[102] zb1[103] zb1[104] zb1[105] zb1[106] zb1[107] zb1[108] zb1[109] zb1[110] zb1[111] zb1[112] zb1[113] zb1[114] zb1[115] zb1[116] zb1[117] zb2[0] zb2[1] zb2[2] zb2[3] zb2[4] zb2[5] zb2[6] zb2[7] zb2[8] zb2[9] zb2[10] zb2[11] zb2[12] zb2[13] zb2[14] zb2[15] zb2[16] zb2[17] zb2[18] zb2[19] zb2[20] zb2[21] zb2[22] zb2[23] zb2[24] zb2[25] zb2[26] zb2[27] zb2[28] zb2[29] zb2[30] zb2[31] zb2[32] zb2[33] zb2[34] zb2[35] zb2[36] zb2[37] zb2[38] zb2[39] zb2[40] zb2[41] zb2[42] zb2[43] zb2[44] zb2[45] zb2[46] zb2[47] zb2[48] zb2[49] zb2[50] zb2[51] zb2[52] zb2[53] zb2[54] zb2[55] zb2[56] zb2[57] zb2[58] zb2[59] zb2[60] zb2[61] zb2[62] zb2[63] zb2[64] zb2[65] zb2[66] zb2[67] zb2[68] zb2[69] zb2[70] zb2[71] zb2[72] zb2[73] zb2[74] zb2[75] zb2[76] zb2[77] zb2[78] zb2[79] zb2[80] zb2[81] zb2[82] zb2[83] zb2[84] zb2[85] zb2[86] zb2[87] zb2[88] zb2[89] zb2[90] zb2[91] zb2[92] zb2[93] zb2[94] zb2[95] zb2[96] zb2[97] zb2[98] zb2[99] zb2[100] zb2[101] zb2[102] zb2[103] zb2[104] zb2[105] zb3[0] zb3[1] zb3[2] zb3[3] zb3[4] zb3[5] zb3[6] zb3[7] zb3[8] zb3[9] zb3[10] zb3[11] zb3[12] zb3[13] zb3[14] zb3[15] zb3[16] zb3[17] zb3[18] zb3[19] zb3[20] zb3[21] zb3[22] zb3[23] zb3[24] zb3[25] zb3[26] zb3[27] zb3[28] zb3[29] zb3[30] zb3[31] zb3[32] zb3[33] zb3[34] zb3[35] zb3[36] zb3[37] zb3[38] zb3[39] zb3[40] zb3[41] zb3[42] zb3[43] zb3[44] zb3[45] zb3[46] zb3[47] zb3[48] zb3[49] zb3[50] zb3[51] zb3[52] zb3[53] zb3[54] zb3[55] zb3[56] zb3[57] zb3[58] zb3[59] zb3[60] zb3[61] zb3[62] zb3[63] zb3[64] zb3[65] zb3[66] zb3[67] zb3[68] zb3[69] zb3[70] zb3[71] zb3[72] zb3[73] zb3[74] zb3[75] zb3[76] zb3[77] zb3[78] zb3[79] zb3[80] zb3[81] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[416] za1[417] za1[418] za1[419] za1[420] za1[421] za1[422] za1[423] za1[424] za1[425] za1[426] za1[427] za1[428] za1[429] za1[430] za1[431] za1[432] za1[433] za1[434] za1[435] za1[436] za1[437] za1[438] za1[439] za1[440] za1[441] za1[442] za1[443] za1[444] za1[445] za1[446] za1[447] za1[448] za1[449] za1[450] za1[451] za1[452] za1[453] za1[454] za1[455] za1[456] za1[457] za1[458] za1[459] za1[460] za1[461] za1[462] za1[463] za1[464] za1[465] za1[466] za1[467] za1[468] za1[469] za1[470] za1[471] za1[472] za1[473] za1[474] za1[475] za1[476] za1[477] za1[478] za1[479] za1[480] za1[481] za1[482] za1[483] za1[484] za1[485] za1[486] za1[487] za1[488] za1[489] za1[490] za1[491] za1[492] za1[493] za1[494] za1[495] za1[496] za1[497] za1[498] za1[499] za1[500] za1[501] za1[502] za1[503] za1[504] za1[505] za1[506] za1[507] za1[508] za1[509] za1[510] za1[511] za1[512] za1[513] za1[514] za1[515] za1[516] za1[517] za1[518] za1[519] za1[520] za1[521] za1[522] za1[523] za1[524] za1[525] za1[526] za1[527] za1[528] za1[529] za1[530] za1[531] za1[532] za1[533] za1[534] za1[535] za1[536] za1[537] za1[538] za1[539] za1[540] za1[541] za1[542] za1[543] za1[544] za1[545] za1[546] za1[547] za1[548] za1[549] za1[550] za1[551] za1[552] za1[553] za1[554] za1[555] za1[556] za1[557] za1[558] za1[559] za1[560] za1[561] za1[562] za1[563] za1[564] za1[565] za1[566] za1[567] za1[568] za1[569] za1[570] za1[571] za1[572] za1[573] za1[574] za1[575] za1[576] za1[577] za1[578] za1[579] za1[580] za1[581] za1[582] za1[583] za1[584] za1[585] za1[586] za1[587] za1[588] za1[589] za1[590] za1[591] za1[592] za1[593] za1[594] za1[595] za1[596] za1[597] za1[598] za1[599] za1[600] za1[601] za1[602] za1[603] za1[604] za1[605] za1[606] za1[607] za1[608] za1[609] za1[610] za1[611] za1[612] za1[613] za1[614] za1[615] za1[616] za1[617] za1[618] za1[619] za1[620] za1[621] za1[622] za1[623] za1[624] za1[625] za1[626] za1[627] za1[628] za1[629] za1[630] za1[631] za1[632] za1[633] za1[634] za1[635] za1[636] za1[637] za1[638] za1[639] za1[640] za1[641] za1[642] za1[643] za1[644] za1[645] za1[646] za1[647] za1[648] za1[649] za1[650] za1[651] za1[652] za1[653] za1[654] za1[655] za1[656] za1[657] za1[658] za1[659] za1[660] za1[661] za1[662] za1[663] za1[664] za1[665] za1[666] za1[667] za1[668] za1[669] za1[670] za1[671] za1[672] za1[673] za1[674] za1[675] za1[676] za1[677] za1[678] za1[679] za1[680] za1[681] za1[682] za1[683] za1[684] za1[685] za1[686] za1[687] za1[688] za1[689] za1[690] za1[691] za1[692] za1[693] za1[694] za1[695] za1[696] za1[697] za1[698] za1[699] za1[700] za1[701] za1[702] za1[703] za1[704] za1[705] za1[706] za1[707] za1[708] za1[709] za1[710] za1[711] za1[712] za1[713] za1[714] za1[715] za1[716] za1[717] za1[718] za1[719] za1[720] za1[721] za1[722] za1[723] za1[724] za1[725] za1[726] za1[727] za1[728] za1[729] za1[730] za1[731] za1[732] za1[733] za1[734] za1[735] za1[736] za1[737] za1[738] za1[739] za1[740] za1[741] za1[742] za1[743] za1[744] za1[745] za1[746] za1[747] za1[748] za1[749] za1[750] za1[751] za1[752] za1[753] za1[754] za1[755] za1[756] za1[757] za1[758] za1[759] za1[760] za1[761] za1[762] za1[763] za1[764] za1[765] za1[766] za1[767] za1[768] za1[769] za1[770] za1[771] za1[772] za1[773] za1[774] za1[775] za1[776] za1[777] za1[778] za1[779] za1[780] za1[781] za1[782] za1[783] za1[784] za1[785] za1[786] za1[787] za1[788] za1[789] za1[790] za1[791] za1[792] za1[793] za1[794] za1[795] za1[796] za1[797] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za2[559] za2[560] za2[561] za2[562] za2[563] za2[564] za2[565] za2[566] za2[567] za2[568] za2[569] za2[570] za2[571] za2[572] za2[573] za2[574] za2[575] za2[576] za2[577] za2[578] za2[579] za2[580] za2[581] za2[582] za2[583] za2[584] za2[585] za2[586] za2[587] za2[588] za2[589] za2[590] za2[591] za2[592] za2[593] za2[594] za2[595] za2[596] za2[597] za2[598] za2[599] za2[600] za2[601] za2[602] za2[603] za2[604] za2[605] za2[606] za2[607] za2[608] za2[609] za2[610] za2[611] za2[612] za2[613] za2[614] za2[615] za2[616] za2[617] za2[618] za2[619] za2[620] za2[621] za2[622] za2[623] za2[624] za2[625] za2[626] za2[627] za2[628] za2[629] za2[630] za2[631] za2[632] za2[633] za2[634] za2[635] za2[636] za2[637] za2[638] za2[639] za2[640] za2[641] za2[642] za2[643] za2[644] za2[645] za2[646] za2[647] za2[648] za2[649] za2[650] za2[651] za2[652] za2[653] za2[654] za2[655] za2[656] za2[657] za2[658] za2[659] za2[660] za2[661] za2[662] za2[663] za2[664] za2[665] za2[666] za2[667] za2[668] za2[669] za2[670] za2[671] za2[672] za2[673] za2[674] za2[675] za2[676] za2[677] za2[678] za2[679] za2[680] za2[681] za2[682] za2[683] za2[684] za2[685] za2[686] za2[687] za2[688] za2[689] za2[690] za2[691] za2[692] za2[693] za2[694] za2[695] za2[696] za2[697] za2[698] za2[699] za2[700] za2[701] za2[702] za2[703] za2[704] za2[705] za2[706] za2[707] za2[708] za2[709] za2[710] za2[711] za2[712] za2[713] za2[714] za2[715] za2[716] za2[717] za2[718] za2[719] za2[720] za2[721] za2[722] za2[723] za2[724] za2[725] za2[726] za2[727] za2[728] za2[729] za2[730] za2[731] za2[732] za2[733] za2[734] za2[735] za2[736] za2[737] za2[738] za2[739] za2[740] za2[741] za2[742] za2[743] za2[744] za2[745] za2[746] za2[747] za2[748] za2[749] za2[750] za2[751] za2[752] za2[753] za2[754] za2[755] za2[756] za2[757] za2[758] za2[759] za2[760] za2[761] za2[762] za2[763] za2[764] za2[765] za2[766] za2[767] za2[768] za2[769] za2[770] za2[771] za2[772] za2[773] za2[774] za2[775] za2[776] za2[777] za2[778] za2[779] za2[780] za2[781] za2[782] za2[783] za2[784] za2[785] za2[786] za2[787] za2[788] za2[789] za2[790] za2[791] za2[792] za2[793] za2[794] za2[795] za2[796] za2[797] za2[798] za2[799] za2[800] za2[801] za2[802] za2[803] za2[804] za2[805] za2[806] za2[807] za2[808] za2[809] za2[810] za2[811] za2[812] za2[813] za2[814] za2[815] za2[816] za2[817] za2[818] za2[819] za2[820] za2[821] za2[822] za2[823] za2[824] za2[825] za2[826] za2[827] za2[828] za2[829] za2[830] za2[831] za2[832] za2[833] za2[834] za2[835] za2[836] za2[837] za2[838] za2[839] za2[840] za2[841] za2[842] za2[843] za2[844] za2[845] za2[846] za2[847] za2[848] za2[849] za2[850] za2[851] za2[852] za2[853] za2[854] za2[855] za2[856] za2[857] za2[858] za2[859] za2[860] za2[861] za2[862] za2[863] za2[864] za2[865] za2[866] za2[867] za2[868] za2[869] za2[870] za2[871] za2[872] za2[873] za2[874] za2[875] za2[876] za2[877] za2[878] za2[879] za2[880] za2[881] za2[882] za2[883] za2[884] za2[885] za2[886] za2[887] za2[888] za2[889] za2[890] za2[891] za2[892] za2[893] za2[894] za2[895] za2[896] za2[897] za2[898] za2[899] za2[900] za2[901] za2[902] za2[903] za2[904] za2[905] za2[906] za2[907] za2[908] za2[909] za2[910] za2[911] za2[912] za2[913] za2[914] za2[915] za2[916] za2[917] za2[918] za2[919] za2[920] za2[921] za2[922] za2[923] za2[924] za2[925] za2[926] za2[927] za2[928] za2[929] za2[930] za2[931] za2[932] za2[933] za2[934] za2[935] za2[936] za2[937] za2[938] za2[939] za2[940] za2[941] za2[942] za2[943] za2[944] za2[945] za2[946] za2[947] za2[948] za2[949] za2[950] za2[951] za2[952] za2[953] za2[954] za2[955] za2[956] za2[957] za2[958] za2[959] za2[960] za2[961] za2[962] za2[963] za2[964] za2[965] za2[966] za2[967] za2[968] za2[969] za2[970] za2[971] za2[972] za2[973] za2[974] za2[975] za2[976] za2[977] za2[978] za2[979] za2[980] za2[981] za2[982] za2[983] za2[984] za2[985] za2[986] za2[987] za2[988] za2[989] za2[990] za2[991] za2[992] za2[993] za2[994] za2[995] za2[996] za2[997] za2[998] za2[999] za2[1000] za2[1001] za2[1002] za2[1003] za2[1004] za2[1005] za2[1006] za2[1007] za2[1008] za2[1009] za2[1010] za2[1011] za2[1012] za2[1013] za2[1014] za2[1015] za2[1016] za2[1017] za2[1018] za2[1019] za2[1020] za2[1021] za2[1022] za2[1023] za2[1024] za2[1025] za2[1026] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[506] za3[507] za3[508] za3[509] za3[510] za3[511] za3[512] za3[513] za3[514] za3[515] za3[516] za3[517] za3[518] za3[519] za3[520] za3[521] za3[522] za3[523] za3[524] za3[525] za3[526] za3[527] za3[528] za3[529] za3[530] za3[531] za3[532] za3[533] za3[534] za3[535] za3[536] za3[537] za3[538] za3[539] za3[540] za3[541] za3[542] za3[543] za3[544] za3[545] za3[546] za3[547] za3[548] za3[549] za3[550] za3[551] za3[552] za3[553] za3[554] za3[555] za3[556] za3[557] za3[558] za3[559] za3[560] za3[561] za3[562] za3[563] za3[564] za3[565] za3[566] za3[567] za3[568] za3[569] za3[570] za3[571] za3[572] za3[573] za3[574] za3[575] za3[576] za3[577] za3[578] za3[579] za3[580] za3[581] za3[582] za3[583] za3[584] za3[585] za3[586] za3[587] za3[588] za3[589] za3[590] za3[591] za3[592] za3[593] za3[594] za3[595] za3[596] za3[597] za3[598] za3[599] za3[600] za3[601] za3[602] za3[603] za3[604] za3[605] za3[606] za3[607] za3[608] za3[609] za3[610] za3[611] za3[612] za3[613] za3[614] za3[615] za3[616] za3[617] za3[618] za3[619] za3[620] za3[621] za3[622] za3[623] za3[624] za3[625] za3[626] za3[627] za3[628] za3[629] za3[630] za3[631] za3[632] za3[633] za3[634] za3[635] za3[636] za3[637] za3[638] za3[639] za3[640] za3[641] za3[642] za3[643] za3[644] za3[645] za3[646] za3[647] za3[648] za3[649] za3[650] za3[651] za3[652] za3[653] za3[654] za3[655] za3[656] za3[657] za3[658] za3[659] za3[660] za3[661] za3[662] za3[663] za3[664] za3[665] za3[666] za3[667] za3[668] za3[669] za3[670] za3[671] za3[672] za3[673] za3[674] za3[675] za3[676] za3[677] za3[678] za3[679] za3[680] za3[681] za3[682] za3[683] za3[684] za3[685] za3[686] za3[687] za3[688] za3[689] za3[690] za3[691] za3[692] za3[693] za3[694] za3[695] za3[696] za3[697] za3[698] za3[699] za3[700] za3[701] za3[702] za3[703] za3[704] za3[705] za3[706] za3[707] za3[708] za3[709] za3[710] za3[711] za3[712] za3[713] za3[714] za3[715] za3[716] za3[717] za3[718] za3[719] za3[720] za3[721] za3[722] za3[723] za3[724] za3[725] za3[726] za3[727] za3[728] za3[729] za3[730] za3[731] za3[732] za3[733] za3[734] za3[735] za3[736] za3[737] za3[738] za3[739] za3[740] za3[741] za3[742] za3[743] za3[744] za3[745] za3[746] za3[747] za3[748] za3[749] za3[750] za3[751] za3[752] za3[753] za3[754] za3[755] za3[756] za3[757] za3[758] za3[759] za3[760] za3[761] za3[762] za3[763] za3[764] za3[765] za3[766] za3[767] za3[768] za3[769] za3[770] za3[771] za3[772] za3[773] za3[774] za3[775] za3[776] za3[777] za3[778] za3[779] za3[780] za3[781] za3[782] za3[783] za3[784] za3[785] za3[786] za3[787] za3[788] za3[789] za3[790] za3[791] za3[792] za3[793] za3[794] za3[795] za3[796] za3[797] za3[798] za3[799] za3[800] za3[801] za3[802] za3[803] za3[804] za3[805] za3[806] za3[807] za3[808] za3[809] za3[810] za3[811] za3[812] za3[813] za3[814] za3[815] za3[816] za3[817] za3[818] za3[819] za3[820] za3[821] za3[822] za3[823] za3[824] za3[825] za3[826] za3[827] za3[828] za3[829] za3[830] za3[831] za3[832] za3[833] za3[834] za3[835] za3[836] za3[837] za3[838] za3[839] za3[840] za3[841] za3[842] za3[843] za3[844] za3[845] za3[846] za3[847] za3[848] za3[849] za3[850] za3[851] za3[852] za3[853] za3[854] za3[855] za3[856] za3[857] za3[858] za3[859] za3[860] za3[861] za3[862] za3[863] za3[864] za3[865] za3[866] za3[867] za3[868] za3[869] za3[870] za3[871] za3[872] za3[873] za3[874] za3[875] za3[876] za3[877] za3[878] za3[879] za3[880] za3[881] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533] za4[534] za4[535] za4[536] za4[537] za4[538] za4[539] za4[540] za4[541] za4[542] za4[543] za4[544] za4[545] za4[546] za4[547] za4[548] za4[549] za4[550] za4[551] za4[552] za4[553] za4[554] za4[555] za4[556] za4[557] za4[558] za4[559] za4[560] za4[561] za4[562] za4[563] za4[564] za4[565] za4[566] za4[567] za4[568] za4[569] za4[570] za4[571] za4[572] za4[573] za4[574] za4[575] za4[576] za4[577] za4[578] za4[579] za4[580] za4[581] za4[582] za4[583] za4[584] za4[585] za4[586] za4[587] za4[588] za4[589] za4[590] za4[591] za4[592] za4[593] za4[594] za4[595] za4[596] za4[597] za4[598] za4[599] za4[600] za4[601] za4[602] za4[603] za4[604] za4[605] za4[606] za4[607] za4[608] za4[609] za4[610] za4[611] za4[612] za4[613] za4[614] za4[615] za4[616] za4[617] za4[618] za4[619] za4[620] za4[621] za4[622] za4[623] za4[624] za4[625] za4[626] za4[627] za4[628] za4[629] za4[630] za4[631] za4[632] za4[633] za4[634] za4[635] za4[636] za4[637] za4[638] za4[639] za4[640] za4[641] za4[642] za4[643] za4[644] za4[645] za4[646] za4[647] za4[648] za4[649] za4[650] za4[651] za4[652] za4[653] za4[654] za4[655] za4[656] za4[657] za4[658] za4[659] za4[660] za4[661] za4[662] za4[663] za4[664] za4[665] za4[666] za4[667] za4[668] za4[669] za4[670] za4[671] za4[672] za4[673] za4[674] za4[675] za4[676] za4[677] za4[678] za4[679] za4[680] za4[681] za4[682] za4[683] za4[684] za4[685] za4[686] za4[687] za4[688] za4[689] za4[690] za4[691] za4[692] za4[693] za4[694] za4[695] za4[696] za4[697] za4[698] za4[699] za4[700] za4[701] za4[702] za4[703] za4[704] za4[705] za4[706] za4[707] za4[708] za4[709] za4[710] za4[711] za4[712] za4[713] za4[714] za4[715] za4[716] za4[717] za4[718] za4[719] za4[720] za4[721] za4[722] za4[723] za4[724] za4[725] za4[726] za4[727] za4[728] za4[729] za4[730] za4[731] za4[732] za4[733] za4[734] za4[735] za4[736] za4[737] za4[738] za4[739] za4[740] za4[741] za4[742] za4[743] za4[744] za4[745] za4[746] za4[747] za4[748] za4[749] za4[750] za4[751] za4[752] za4[753] za4[754] za4[755] za4[756] za4[757] za4[758] za4[759] za4[760] za4[761] za4[762] za4[763] za4[764] za4[765] za4[766] za4[767] za4[768] za4[769] za4[770] za4[771] za4[772] za4[773] za4[774] za4[775] za4[776] za4[777] za4[778] za4[779] za4[780] za4[781] za4[782] za4[783] za4[784] za4[785] za4[786] za4[787] za4[788] za4[789] za4[790] za4[791] za4[792] za4[793] za4[794] za4[795] za4[796] za4[797] za4[798] za4[799] za4[800] za4[801] za4[802] za4[803] za4[804] za4[805] za4[806] za4[807] za4[808] za4[809] za4[810] za4[811] za4[812] za4[813] za4[814] za4[815] za4[816] za4[817] za4[818] za4[819] za4[820] za4[821] za4[822] za4[823] za4[824] za4[825] za4[826] za4[827] za4[828] za4[829] za4[830] za4[831] za4[832] za4[833] za4[834] za4[835] za4[836] za4[837] za4[838] za4[839] za4[840] za4[841] za4[842] za4[843] za4[844] za4[845] za4[846] za4[847] za4[848] za4[849] za4[850] za4[851] za4[852] za4[853] za4[854] za4[855] za4[856] za4[857] za4[858] za4[859] za4[860] za4[861] za4[862] za4[863] za4[864] za4[865] za4[866] za4[867] za4[868] za4[869] za4[870] za4[871] za4[872] za4[873] za4[874] za4[875] za4[876] za4[877] za4[878] za4[879] za4[880] za4[881] za4[882] za4[883] za4[884] za4[885] za4[886] za4[887] za4[888] za4[889] za4[890] za4[891] za4[892] za4[893] za4[894] za4[895] za4[896] za4[897] za4[898] za4[899] za4[900] za4[901] za4[902] za4[903] za4[904] za4[905] za4[906] za4[907] za4[908] za4[909] za4[910] za4[911] za4[912] za4[913] za4[914] za4[915] za4[916] za4[917] za4[918] za4[919] za4[920] za4[921] za4[922] za4[923] za4[924] za4[925] za4[926] za4[927] za4[928] za4[929] za4[930] za4[931] za4[932] za4[933] za4[934] za4[935] za4[936] za4[937] za4[938] za4[939] za4[940] za4[941] za4[942] za4[943] za4[944] za4[945] za4[946] za4[947] za4[948] za4[949] za4[950] za4[951] za4[952] za4[953] za4[954] za4[955] za4[956] za4[957] za4[958] za4[959] za4[960] za4[961] za4[962] za4[963] za4[964] za4[965] za4[966] za4[967] za4[968] za4[969] za4[970] za4[971] za4[972] za4[973] za4[974] za4[975] za4[976] za4[977] za4[978] za4[979] za4[980] za4[981] za4[982] za4[983] za4[984] za4[985] za4[986] za4[987] za4[988] za4[989] za4[990] za4[991] za4[992] za4[993] za4[994] za4[995] za4[996] za4[997] za4[998] za4[999] za4[1000] za4[1001] za4[1002] za4[1003] za4[1004] za4[1005] za4[1006] za4[1007] za4[1008] za4[1009] za4[1010] za4[1011] za4[1012] za4[1013] za4[1014] za4[1015] za4[1016] za4[1017] za4[1018] za4[1019] za4[1020] za4[1021] za4[1022] za4[1023] za4[1024] za4[1025] za4[1026] za4[1027] za4[1028] za4[1029] za4[1030] za4[1031] za4[1032] za4[1033] za4[1034] za4[1035] za4[1036] za4[1037] za4[1038] za4[1039] za4[1040] za4[1041] za4[1042] za4[1043] za4[1044] za4[1045] za4[1046] za4[1047] za4[1048] za4[1049] za4[1050] za4[1051] za4[1052] za4[1053] za4[1054] za4[1055]
2400.09/2374.02	v 	</list>
2400.09/2374.02	v 	<values>
2400.09/2374.02	v 		442 680 554 792 694 456 792 554 394 156 512 750 512 750 680 442 310 72 512 750 414 652 16 254 764 526 764 526 114 352 792 554 484 722 414 652 540 778 16 254 442 680 352 114 554 792 512 750 792 554 722 484 44 282 338 100 16 254 722 484 338 100 652 414 44 282 100 338 324 86 750 512 58 296 44 282 296 58 142 380 156 394 30 268 44 282 380 142 470 708 366 128 254 16 44 282 736 498 526 764 58 296 394 156 526 764 414 652 778 540 366 128 750 512 792 554 456 694 44 282 30 268 16 254 282 44 694 456 414 652 428 666 296 58 16 254 442 680 156 394 442 680 442 680 58 296 156 394 394 156 16 254 86 324 44 282 792 554 170 408 254 16 428 666 394 156 268 30 778 540 282 44 498 736 352 114 652 414 58 296 764 526 30 268 296 58 366 128 526 764 16 254 142 380 58 296 792 554 352 114 394 156 86 324 394 156 324 86 310 72 764 526 526 764 666 428 778 540 142 380 722 484 142 380 722 484 736 498 456 694 44 282 268 30 708 470 86 324 114 352 428 666 44 282 540 778 456 694 540 778 268 30 778 540 366 128 722 484 72 310 128 366 282 44 30 268 428 666 282 44 778 540 380 142 442 680 778 540 44 282 694 456 30 268 86 324 722 484 282 44 540 778 540 778 540 778 366 128 268 30 694 456 694 456 324 86 442 680 100 338 540 778 456 694 540 778 512 750 470 708 708 470 282 44 666 428 666 428 30 268 526 764 338 100 512 750 428 666 540 778 44 282 722 484 540 778 142 380 470 708 736 498 324 86 750 512 764 526 72 310 142 380 792 554 792 554 470 708 512 750 30 268 380 142 310 72 456 694 282 44 268 30 380 142 540 778 338 100 666 428 254 16 282 44 254 16 44 282 736 498 414 652 380 142 680 442 282 44 540 778 764 526 750 512 498 736 58 296 736 498 428 666 16 254 282 44 540 778 428 666 142 380 268 30 680 442 352 114 778 540 708 470 666 428 86 324 778 540 778 540 694 456 736 498 498 736 456 694 142 380 540 778 268 30 352 114 414 652 554 792 16 254 156 394 750 512 352 114 114 352 338 100 456 694 268 30 722 484 30 268 484 722 352 114 792 554 58 296 442 680 394 156 44 282 512 750 30 268 764 526 526 764 142 380 764 526 268 30 268 30 526 764 268 30 484 722 296 58 778 540 352 114 268 30 268 30 764 526 694 456 540 778 456 694 366 128 58 296 128 366 414 652 128 366 44 282 156 394 310 72 540 778 666 428 156 394 142 380 268 30 428 666 352 114 708 470 470 708 442 680 296 58 470 708 764 526 72 310 722 484 30 268 58 296 778 540 338 100 456 694 680 442 366 128 128 366 792 554 554 792 666 428 310 72 540 778 310 72 156 394 296 58 736 498 114 352 156 394 128 366 30 268 778 540 380 142 428 666 778 540 16 254 680 442 268 30 268 30 540 778 86 324 282 44 694 456 282 44 338 100 296 58 142 380 380 142 526 764 442 680 708 470 470 708 414 652 58 296 296 58 1000 1000 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 1000 1000 1000 0 0 1000 1000 0 0 1000 1000 0 0 1000 1000 0 0 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 0 0 0 0 1000 1000 0 0 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 100 100 100 100 100 100 100 100 100 100 0 0 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 0 0 0 0 0 0 100 100 0 0 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 100 100 0 0 100 100 100 100 0 0 0 0 100 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 0 0 10 10 10 10 10 10 0 0 10 10 0 0 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 1000 0 0 0 1000 1000 1000 0 1000 1000 0 1000 0 1000 0 0 0 0 0 0 0 0 1000 0 0 1000 0 1000 0 0 0 0 0 0 1000 0 1000 0 1000 1000 1000 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 1000 0 0 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 1000 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 0 0 1000 0 0 0 0 1000 1000 0 0 1000 0 0 0 1000 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 1000 0 1000 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 1000 1000 0 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 1000 0 0 0 1000 1000 1000 1000 1000 0 1000 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 1000 0 1000 0 0 0 0 0 1000 0 1000 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 1000 0 1000 1000 1000 0 1000 1000 1000 0 0 1000 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 1000 1000 1000 1000 1000 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 0 1000 1000 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 0 1000 1000 0 0 0 0 0 1000 0 1000 0 0 0 1000 1000 1000 0 0 1000 1000 1000 1000 0 0 0 1000 0 0 1000 0 1000 0 1000 1000 0 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 0 0 0 1000 0 1000 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 1000 1000 1000 1000 1000 1000 1000 0 0 0 1000 0 0 100 0 0 0 0 0 0 0 100 0 100 0 0 100 100 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 100 100 0 100 0 100 100 100 0 0 0 0 0 0 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 100 100 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 100 100 100 100 0 100 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 100 100 0 100 0 0 0 0 0 0 0 0 0 100 0 100 0 0 100 0 0 0 0 0 0 0 100 100 100 0 100 100 100 100 100 100 0 100 0 0 100 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 100 100 0 0 100 0 100 100 0 0 0 0 0 0 0 0 100 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 100 100 0 0 100 0 0 0 100 0 0 0 0 0 100 0 100 0 100 100 100 100 100 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 100 0 100 0 100 100 100 100 100 100 0 100 100 100 100 0 0 100 100 0 0 0 0 0 0 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 100 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 100 100 0 100 0 0 100 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 100 100 100 100 0 0 100 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 100 100 100 0 0 0 0 100 0 100 0 0 100 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 100 100 100 100 100 0 0 0 0 100 100 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 100 0 0 0 100 0 0 0 0 0 100 0 100 0 0 0 0 100 0 100 100 0 100 100 100 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 100 0 0 0 0 100 0 100 0 100 0 100 0 0 100 100 100 0 100 100 100 0 0 100 100 0 0 0 0 100 0 0 100 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 100 100 0 0 0 0 0 100 100 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 100 100 0 0 0 0 100 0 100 0 0 100 0 100 0 0 0 0 100 100 0 100 0 0 0 0 0 100 0 100 0 100 0 0 0 0 100 0 100 0 100 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 100 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 10 0 0 10 10 0 0 0 0 0 10 0 10 0 0 10 0 0 0 0 0 10 10 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 10 0 10 10 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 10 10 10 10 10 10 0 0 10 10 0 0 0 10 0 0 10 10 0 0 0 10 10 10 0 10 10 10 0 0 10 10 10 0 0 0 0 10 10 0 0 0 10 10 0 10 0 0 0 10 10 10 0 0 10 10 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 0 10 0 10 10 10 0 0 0 0 0 10 10 10 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 10 0 0 10 0 10 10 10 0 10 0 10 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 10 0 0 0 0 10 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 10 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 10 10 0 0 0 0 0 0 10 10 10 10 0 10 0 10 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 10 0 0 10 0 10 0 10 10 0 10 0 0 0 0 0 10 0 10 0 0 10 0 0 0 0 0 10 0 10 0 0 10 0 0 10 0 0 0 10 0 0 0 10 0 10 10 0 10 0 10 0 10 10 0 0 10 10 10 10 0 10 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 10 10 0 0 10 0 10 0 0 0 0 10 10 0 10 0 10 0 10 0 0 0 0 0 10 10 10 0 0 0 10 0 0 0 10 0 0 10 0 10 0 10 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 10 10 0 10 10 10 10 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 10 0 0 10 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 10 0 10 0 0 0 0 0 10 0 10 10 10 0 10 0 10 10 0 10 0 0 0 0 10 0 10 0 10 0 10 0 0 0 0 0 0 10 10 10 10 0 0 10 0 0 10 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 10 0 10 10 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 10 10 0 0 0 0 10 0 10 0 0 10 0 0 10 10 0 0 0 0 0 10 10 0 10 0 0 0 0 10 0 10 10 0 10 0 0 10 10 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 0 0 0 1 0 0 1 1 0 1 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 1 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 1 1 1 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 
2400.09/2374.02	v 	</values>
2400.09/2374.02	v </instantiation>

Verifier Data 

OK	294555

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (8318 MiB free)
  memory of node 1: 16384 MiB (13249 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291854-1532273263/watcher-4291854-1532273263 -o /tmp/evaluation-result-4291854-1532273263/solver-4291854-1532273263 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532270887-2091 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 653501643 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291854-1532273263.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=2308, runsolver pid=2305

[startup+0.100122 s]*
/proc/loadavg: 1.20 1.31 1.38 3/215 2323
/proc/meminfo: memFree=22068676/32770624 swapFree=67108860/67108860
[pid=2308] ppid=2305 vsize=14082740 memory=30944 CPUtime=0.11 cores=0,2,4,6
/proc/2308/stat : 2308 (java) S 2305 2308 671 0 -1 1077944320 6631 0 0 0 10 1 0 0 20 0 15 0 44889533 14420725760 7736 33554432000 4194304 4196468 140728579800080 140728579782624 140300946726647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
/proc/2308/statm: 3520685 7736 3156 1 0 3482761 0
[pid=2308/tid=2310] ppid=2305 vsize=14082740 memory=7022364594140610616 CPUtime=0.09 cores=0,2,4,6
/proc/2308/task/2310/stat : 2310 (java) R 2305 2308 671 0 -1 4202560 4679 0 0 0 8 1 0 0 20 0 15 0 44889533 14420725760 7736 33554432000 4194304 4196468 140728579800080 140300950917928 140300930807134 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2311] ppid=2305 vsize=14082740 memory=342 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2311/stat : 2311 (java) S 2305 2308 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44889534 14420725760 7736 33554432000 4194304 4196468 140728579800080 140300884327056 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2312] ppid=2305 vsize=14082740 memory=140709228555599 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2312/stat : 2312 (java) S 2305 2308 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44889534 14420725760 7736 33554432000 4194304 4196468 140728579800080 140300883274256 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2313] ppid=2305 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2313/stat : 2313 (java) S 2305 2308 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44889534 14420725760 7736 33554432000 4194304 4196468 140728579800080 140300882221456 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2314] ppid=2305 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2314/stat : 2314 (java) S 2305 2308 671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44889534 14420725760 7736 33554432000 4194304 4196468 140728579800080 140300881168656 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2315] ppid=2305 vsize=14082740 memory=140709228533376 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2315/stat : 2315 (java) S 2305 2308 671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44889535 14420725760 7736 33554432000 4194304 4196468 140728579800080 140300488137584 140300946737794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2316] ppid=2305 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2316/stat : 2316 (java) S 2305 2308 671 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44889536 14420725760 7736 33554432000 4194304 4196468 140728579800080 140300487083552 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2317] ppid=2305 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2317/stat : 2317 (java) S 2305 2308 671 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44889536 14420725760 7736 33554432000 4194304 4196468 140728579800080 140300486030704 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2318] ppid=2305 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2318/stat : 2318 (java) S 2305 2308 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44889538 14420725760 7736 33554432000 4194304 4196468 140728579800080 140300484979024 140300946745243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2319] ppid=2305 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2319/stat : 2319 (java) S 2305 2308 671 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 44889538 14420725760 7736 33554432000 4194304 4196468 140728579800080 140300483926384 140300946737794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2320] ppid=2305 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2320/stat : 2320 (java) S 2305 2308 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44889538 14420725760 7736 33554432000 4194304 4196468 140728579800080 140300482873584 140300946737794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2321] ppid=2305 vsize=14082740 memory=140709228533376 CPUtime=0.01 cores=0,2,4,6
/proc/2308/task/2321/stat : 2321 (java) R 2305 2308 671 0 -1 4202560 278 0 0 0 1 0 0 0 20 0 15 0 44889538 14420725760 7736 33554432000 4194304 4196468 140728579800080 140300481820784 140300938978160 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2322] ppid=2305 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2322/stat : 2322 (java) S 2305 2308 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44889539 14420725760 7736 33554432000 4194304 4196468 140728579800080 140300480768224 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2323] ppid=2305 vsize=14082740 memory=140709228533376 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2323/stat : 2323 (java) S 2305 2308 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44889539 14420725760 7736 33554432000 4194304 4196468 140728579800080 140300479716528 140300946737794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 30944 KiB

[startup+0.211401 s]*
/proc/loadavg: 1.20 1.31 1.38 6/215 2323
/proc/meminfo: memFree=22052800/32770624 swapFree=67108860/67108860
[pid=2308] ppid=2305 vsize=14082740 memory=47264 CPUtime=0.3 cores=0,2,4,6
/proc/2308/stat : 2308 (java) S 2305 2308 671 0 -1 1077944320 10380 0 0 0 28 2 0 0 20 0 15 0 44889533 14420725760 11816 33554432000 4194304 4196468 140728579800080 140728579782624 140300946726647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
/proc/2308/statm: 3520685 11816 3404 1 0 3482761 0
[pid=2308/tid=2310] ppid=2305 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/2308/task/2310/stat : 2310 (java) R 2305 2308 671 0 -1 4202560 8074 0 0 0 19 1 0 0 20 0 15 0 44889533 14420725760 11816 33554432000 4194304 4196468 140728579800080 140300950949280 140300946747994 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2311] ppid=2305 vsize=14082740 memory=342 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2311/stat : 2311 (java) S 2305 2308 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44889534 14420725760 11816 33554432000 4194304 4196468 140728579800080 140300884327056 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2312] ppid=2305 vsize=14082740 memory=140709228555599 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2312/stat : 2312 (java) S 2305 2308 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44889534 14420725760 11816 33554432000 4194304 4196468 140728579800080 140300883274256 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2313] ppid=2305 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2313/stat : 2313 (java) S 2305 2308 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44889534 14420725760 11816 33554432000 4194304 4196468 140728579800080 140300882221456 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2314] ppid=2305 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2314/stat : 2314 (java) S 2305 2308 671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44889534 14420725760 11816 33554432000 4194304 4196468 140728579800080 140300881168656 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2315] ppid=2305 vsize=14082740 memory=140709228533376 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2315/stat : 2315 (java) S 2305 2308 671 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44889535 14420725760 11816 33554432000 4194304 4196468 140728579800080 140300488137584 140300946737794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2316] ppid=2305 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2316/stat : 2316 (java) S 2305 2308 671 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44889536 14420725760 11816 33554432000 4194304 4196468 140728579800080 140300487083552 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2317] ppid=2305 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2317/stat : 2317 (java) S 2305 2308 671 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44889536 14420725760 11816 33554432000 4194304 4196468 140728579800080 140300486030704 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2318] ppid=2305 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2318/stat : 2318 (java) S 2305 2308 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44889538 14420725760 11816 33554432000 4194304 4196468 140728579800080 140300484979024 140300946745243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2319] ppid=2305 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2308/task/2319/stat : 2319 (java) R 2305 2308 671 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 15 0 44889538 14420725760 11816 33554432000 4194304 4196468 140728579800080 140300483926480 140300946736853 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2320] ppid=2305 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/2308/task/2320/stat : 2320 (java) R 2305 2308 671 0 -1 4202560 142 0 0 0 1 0 0 0 20 0 15 0 44889538 14420725760 11816 33554432000 4194304 4196468 140728579800080 140300482873584 140300929938047 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2321] ppid=2305 vsize=14082740 memory=140709228533376 CPUtime=0.06 cores=0,2,4,6
/proc/2308/task/2321/stat : 2321 (java) R 2305 2308 671 0 -1 4202560 323 0 0 0 6 0 0 0 20 0 15 0 44889538 14420725760 11816 33554432000 4194304 4196468 140728579800080 140300481816048 140300930807134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2322] ppid=2305 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2322/stat : 2322 (java) S 2305 2308 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44889539 14420725760 11816 33554432000 4194304 4196468 140728579800080 140300480768224 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2323] ppid=2305 vsize=14082740 memory=140709228533376 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2323/stat : 2323 (java) S 2305 2308 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44889539 14420725760 11816 33554432000 4194304 4196468 140728579800080 140300479716528 140300946737794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47264 KiB

[startup+0.310545 s]*
/proc/loadavg: 1.20 1.31 1.38 5/215 2323
/proc/meminfo: memFree=22049264/32770624 swapFree=67108860/67108860
[pid=2308] ppid=2305 vsize=14082740 memory=50940 CPUtime=0.43 cores=0,2,4,6
/proc/2308/stat : 2308 (java) S 2305 2308 671 0 -1 1077944320 10778 0 0 0 41 2 0 0 20 0 15 0 44889533 14420725760 12735 33554432000 4194304 4196468 140728579800080 140728579782624 140300946726647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
/proc/2308/statm: 3520685 12735 3419 1 0 3482761 0
[pid=2308/tid=2310] ppid=2305 vsize=14082740 memory=140709101402150 CPUtime=0.3 cores=0,2,4,6
/proc/2308/task/2310/stat : 2310 (java) R 2305 2308 671 0 -1 4202560 8435 0 0 0 28 2 0 0 20 0 15 0 44889533 14420725760 12735 33554432000 4194304 4196468 140728579800080 140300950934984 140300931892302 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2311] ppid=2305 vsize=14082740 memory=281418202611952 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2311/stat : 2311 (java) S 2305 2308 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44889534 14420725760 12735 33554432000 4194304 4196468 140728579800080 140300884327056 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2312] ppid=2305 vsize=14082740 memory=140709101407469 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2312/stat : 2312 (java) S 2305 2308 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44889534 14420725760 12735 33554432000 4194304 4196468 140728579800080 140300883274256 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2313] ppid=2305 vsize=14082740 memory=140709101409776 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2313/stat : 2313 (java) S 2305 2308 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44889534 14420725760 12735 33554432000 4194304 4196468 140728579800080 140300882221456 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2314] ppid=2305 vsize=14082740 memory=140709101410287 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2314/stat : 2314 (java) S 2305 2308 671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44889534 14420725760 12735 33554432000 4194304 4196468 140728579800080 140300881168656 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2315] ppid=2305 vsize=14082740 memory=281418202766416 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2315/stat : 2315 (java) S 2305 2308 671 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44889535 14420725760 12735 33554432000 4194304 4196468 140728579800080 140300488137584 140300946737794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2316] ppid=2305 vsize=14082740 memory=1970350607106051 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2316/stat : 2316 (java) S 2305 2308 671 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44889536 14420725760 12735 33554432000 4194304 4196468 140728579800080 140300487083552 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2317] ppid=2305 vsize=14082740 memory=281418329955168 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2317/stat : 2317 (java) S 2305 2308 671 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44889536 14420725760 12735 33554432000 4194304 4196468 140728579800080 140300486030704 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2318] ppid=2305 vsize=14082740 memory=140709101305991 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2318/stat : 2318 (java) S 2305 2308 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44889538 14420725760 12735 33554432000 4194304 4196468 140728579800080 140300484979024 140300946745243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2319] ppid=2305 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2308/task/2319/stat : 2319 (java) R 2305 2308 671 0 -1 1077944384 468 0 0 0 1 0 0 0 20 0 15 0 44889538 14420725760 12735 33554432000 4194304 4196468 140728579800080 140300483926384 140300946737794 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2320] ppid=2305 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/2308/task/2320/stat : 2320 (java) S 2305 2308 671 0 -1 1077944384 149 0 0 0 2 0 0 0 20 0 15 0 44889538 14420725760 12735 33554432000 4194304 4196468 140728579800080 140300482873584 140300946737794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2321] ppid=2305 vsize=14082740 memory=4294969536 CPUtime=0.08 cores=0,2,4,6
/proc/2308/task/2321/stat : 2321 (java) S 2305 2308 671 0 -1 1077944384 344 0 0 0 8 0 0 0 20 0 15 0 44889538 14420725760 12735 33554432000 4194304 4196468 140728579800080 140300481820784 140300946737794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2322] ppid=2305 vsize=14082740 memory=2209 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2322/stat : 2322 (java) S 2305 2308 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44889539 14420725760 12735 33554432000 4194304 4196468 140728579800080 140300480768224 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2323] ppid=2305 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2323/stat : 2323 (java) S 2305 2308 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44889539 14420725760 12735 33554432000 4194304 4196468 140728579800080 140300479716528 140300946737794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50940 KiB

[startup+0.7014 s]
/proc/loadavg: 1.20 1.31 1.38 4/215 2323
/proc/meminfo: memFree=22025012/32770624 swapFree=67108860/67108860
[pid=2308] ppid=2305 vsize=14084808 memory=89068 CPUtime=0.98 cores=0,2,4,6
/proc/2308/stat : 2308 (java) S 2305 2308 671 0 -1 1077944320 17627 0 0 0 94 4 0 0 20 0 15 0 44889533 14422843392 22267 33554432000 4194304 4196468 140728579800080 140728579782624 140300946726647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
/proc/2308/statm: 3521202 22267 3500 1 0 3483273 0
[pid=2308/tid=2310] ppid=2305 vsize=14084808 memory=7668012111147524688 CPUtime=0.67 cores=0,2,4,6
/proc/2308/task/2310/stat : 2310 (java) R 2305 2308 671 0 -1 4202560 14889 0 0 0 64 3 0 0 20 0 15 0 44889533 14422843392 22267 33554432000 4194304 4196468 140728579800080 140300950946192 140300931982454 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2311] ppid=2305 vsize=14084808 memory=7091855846171698496 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2311/stat : 2311 (java) S 2305 2308 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44889534 14422843392 22267 33554432000 4194304 4196468 140728579800080 140300884327056 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2312] ppid=2305 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2312/stat : 2312 (java) S 2305 2308 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44889534 14422843392 22267 33554432000 4194304 4196468 140728579800080 140300883274256 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2313] ppid=2305 vsize=14084808 memory=150651950737738 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2313/stat : 2313 (java) S 2305 2308 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44889534 14422843392 22267 33554432000 4194304 4196468 140728579800080 140300882221456 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2314] ppid=2305 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2314/stat : 2314 (java) S 2305 2308 671 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44889534 14422843392 22267 33554432000 4194304 4196468 140728579800080 140300881168656 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2315] ppid=2305 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2315/stat : 2315 (java) S 2305 2308 671 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44889535 14422843392 22267 33554432000 4194304 4196468 140728579800080 140300488137584 140300946737794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2316] ppid=2305 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2316/stat : 2316 (java) S 2305 2308 671 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44889536 14422843392 22267 33554432000 4194304 4196468 140728579800080 140300487083552 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2317] ppid=2305 vsize=14084808 memory=281418202611952 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2317/stat : 2317 (java) S 2305 2308 671 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44889536 14422843392 22267 33554432000 4194304 4196468 140728579800080 140300486030704 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2318] ppid=2305 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2318/stat : 2318 (java) S 2305 2308 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44889538 14422843392 22267 33554432000 4194304 4196468 140728579800080 140300484979024 140300946745243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2319] ppid=2305 vsize=14084808 memory=-3535359994705171555 CPUtime=0.05 cores=0,2,4,6
/proc/2308/task/2319/stat : 2319 (java) S 2305 2308 671 0 -1 1077944384 632 0 0 0 5 0 0 0 20 0 15 0 44889538 14422843392 22267 33554432000 4194304 4196468 140728579800080 140300483926384 140300946737794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2320] ppid=2305 vsize=14084808 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/2308/task/2320/stat : 2320 (java) S 2305 2308 671 0 -1 1077944384 293 0 0 0 8 0 0 0 20 0 15 0 44889538 14422843392 22267 33554432000 4194304 4196468 140728579800080 140300482873584 140300946737794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2321] ppid=2305 vsize=14084808 memory=6944656575208382560 CPUtime=0.15 cores=0,2,4,6
/proc/2308/task/2321/stat : 2321 (java) S 2305 2308 671 0 -1 1077944384 431 0 0 0 15 0 0 0 20 0 15 0 44889538 14422843392 22267 33554432000 4194304 4196468 140728579800080 140300481820784 140300946737794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2322] ppid=2305 vsize=14084808 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2322/stat : 2322 (java) S 2305 2308 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44889539 14422843392 22267 33554432000 4194304 4196468 140728579800080 140300480768224 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2323] ppid=2305 vsize=14084808 memory=-3039135443232236825 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2323/stat : 2323 (java) S 2305 2308 671 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44889539 14422843392 22267 33554432000 4194304 4196468 140728579800080 140300479716528 140300946737794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 89068 KiB

[startup+1.50065 s]
/proc/loadavg: 1.20 1.31 1.38 5/215 2323
/proc/meminfo: memFree=21966872/32770624 swapFree=67108860/67108860
[pid=2308] ppid=2305 vsize=14088904 memory=227516 CPUtime=3.44 cores=0,2,4,6
/proc/2308/stat : 2308 (java) S 2305 2308 671 0 -1 1077944320 26891 0 0 0 334 10 0 0 20 0 15 0 44889533 14427037696 56879 33554432000 4194304 4196468 140728579800080 140728579782624 140300946726647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
/proc/2308/statm: 3522226 56879 3561 1 0 3484297 0
[pid=2308/tid=2310] ppid=2305 vsize=14088904 memory=281418202886272 CPUtime=1.46 cores=0,2,4,6
/proc/2308/task/2310/stat : 2310 (java) R 2305 2308 671 0 -1 4202560 17814 0 0 0 140 6 0 0 20 0 15 0 44889533 14427037696 56879 33554432000 4194304 4196468 140728579800080 140300950960464 140300564679054 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2311] ppid=2305 vsize=14088904 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2311/stat : 2311 (java) S 2305 2308 671 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 44889534 14427037696 56879 33554432000 4194304 4196468 140728579800080 140300884327056 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2312] ppid=2305 vsize=14088904 memory=2436 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2312/stat : 2312 (java) S 2305 2308 671 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 44889534 14427037696 56879 33554432000 4194304 4196468 140728579800080 140300883274256 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2313] ppid=2305 vsize=14088904 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2313/stat : 2313 (java) S 2305 2308 671 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 15 0 44889534 14427037696 56879 33554432000 4194304 4196468 140728579800080 140300882221456 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2314] ppid=2305 vsize=14088904 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2314/stat : 2314 (java) S 2305 2308 671 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 44889534 14427037696 56879 33554432000 4194304 4196468 140728579800080 140300881168656 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2315] ppid=2305 vsize=14088904 memory=5792 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2315/stat : 2315 (java) S 2305 2308 671 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 15 0 44889535 14427037696 56879 33554432000 4194304 4196468 140728579800080 140300488137584 140300946737794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0

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

/proc/2308/task/2310/stat : 2310 (java) R 2305 2308 671 0 -1 4202560 48653 0 0 0 219264 29 0 0 20 0 15 0 44889533 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300950964848 140300564227732 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2311] ppid=2305 vsize=14093000 memory=539892 CPUtime=5.74 cores=0,2,4,6
/proc/2308/task/2311/stat : 2311 (java) S 2305 2308 671 0 -1 1077944384 8772 0 0 0 550 24 0 0 20 0 15 0 44889534 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300884327056 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2312] ppid=2305 vsize=14093000 memory=539892 CPUtime=5.71 cores=0,2,4,6
/proc/2308/task/2312/stat : 2312 (java) S 2305 2308 671 0 -1 1077944384 9662 0 0 0 547 24 0 0 20 0 15 0 44889534 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300883274256 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2313] ppid=2305 vsize=14093000 memory=539892 CPUtime=5.71 cores=0,2,4,6
/proc/2308/task/2313/stat : 2313 (java) S 2305 2308 671 0 -1 1077944384 12363 0 0 0 544 27 0 0 20 0 15 0 44889534 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300882221456 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2314] ppid=2305 vsize=14093000 memory=539892 CPUtime=5.71 cores=0,2,4,6
/proc/2308/task/2314/stat : 2314 (java) S 2305 2308 671 0 -1 1077944384 11158 0 0 0 547 24 0 0 20 0 15 0 44889534 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300881168656 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2315] ppid=2305 vsize=14093000 memory=539892 CPUtime=2.3 cores=0,2,4,6
/proc/2308/task/2315/stat : 2315 (java) S 2305 2308 671 0 -1 1077944384 9944 0 0 0 207 23 0 0 20 0 15 0 44889535 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300488137584 140300946737794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2316] ppid=2305 vsize=14093000 memory=539892 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2316/stat : 2316 (java) S 2305 2308 671 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 44889536 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300487083616 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2317] ppid=2305 vsize=14093000 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2317/stat : 2317 (java) S 2305 2308 671 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 44889536 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300486030720 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2318] ppid=2305 vsize=14093000 memory=539892 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2318/stat : 2318 (java) S 2305 2308 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44889538 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300484979024 140300946745243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2319] ppid=2305 vsize=14093000 memory=1944 CPUtime=3.54 cores=0,2,4,6
/proc/2308/task/2319/stat : 2319 (java) S 2305 2308 671 0 -1 1077944384 9664 0 0 0 351 3 0 0 20 0 15 0 44889538 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300483926384 140300946737794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2320] ppid=2305 vsize=14093000 memory=544508 CPUtime=3.54 cores=0,2,4,6
/proc/2308/task/2320/stat : 2320 (java) S 2305 2308 671 0 -1 1077944384 11784 0 0 0 351 3 0 0 20 0 15 0 44889538 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300482873584 140300946737794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2321] ppid=2305 vsize=14093000 memory=544508 CPUtime=1.38 cores=0,2,4,6
/proc/2308/task/2321/stat : 2321 (java) S 2305 2308 671 0 -1 1077944384 15606 0 0 0 136 2 0 0 20 0 15 0 44889538 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300481820784 140300946737794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2322] ppid=2305 vsize=14093000 memory=539892 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2322/stat : 2322 (java) S 2305 2308 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44889539 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300480768224 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2323] ppid=2305 vsize=14093000 memory=539892 CPUtime=0.82 cores=0,2,4,6
/proc/2308/task/2323/stat : 2323 (java) S 2305 2308 671 0 -1 1077944384 1556 0 0 0 43 39 0 0 20 0 15 0 44889539 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300479716528 140300946737794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
Current children cumulated CPU time: 2227.49 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 539892 KiB

[startup+2262.3 s]
/proc/loadavg: 1.45 1.58 1.59 3/215 2497
/proc/meminfo: memFree=20012300/32770624 swapFree=67108860/67108860
[pid=2308] ppid=2305 vsize=14093000 memory=539892 CPUtime=2287.81 cores=0,2,4,6
/proc/2308/stat : 2308 (java) S 2305 2308 671 0 -1 1077944320 141811 0 0 0 228600 181 0 0 20 0 15 0 44889533 14431232000 134973 33554432000 4194304 4196468 140728579800080 140728579782624 140300946726647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
/proc/2308/statm: 3523250 134973 3611 1 0 3485321 0
[pid=2308/tid=2310] ppid=2305 vsize=14093000 memory=539892 CPUtime=2252.7 cores=0,2,4,6
/proc/2308/task/2310/stat : 2310 (java) R 2305 2308 671 0 -1 4202560 49080 0 0 0 225241 29 0 0 20 0 15 0 44889533 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300950964736 140300562248895 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2311] ppid=2305 vsize=14093000 memory=539892 CPUtime=5.86 cores=0,2,4,6
/proc/2308/task/2311/stat : 2311 (java) S 2305 2308 671 0 -1 1077944384 8887 0 0 0 561 25 0 0 20 0 15 0 44889534 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300884327056 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2312] ppid=2305 vsize=14093000 memory=539892 CPUtime=5.83 cores=0,2,4,6
/proc/2308/task/2312/stat : 2312 (java) S 2305 2308 671 0 -1 1077944384 9961 0 0 0 558 25 0 0 20 0 15 0 44889534 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300883274256 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2313] ppid=2305 vsize=14093000 memory=539892 CPUtime=5.82 cores=0,2,4,6
/proc/2308/task/2313/stat : 2313 (java) S 2305 2308 671 0 -1 1077944384 12438 0 0 0 555 27 0 0 20 0 15 0 44889534 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300882221456 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2314] ppid=2305 vsize=14093000 memory=539892 CPUtime=5.83 cores=0,2,4,6
/proc/2308/task/2314/stat : 2314 (java) S 2305 2308 671 0 -1 1077944384 11239 0 0 0 558 25 0 0 20 0 15 0 44889534 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300881168656 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2315] ppid=2305 vsize=14093000 memory=539892 CPUtime=2.37 cores=0,2,4,6
/proc/2308/task/2315/stat : 2315 (java) S 2305 2308 671 0 -1 1077944384 10132 0 0 0 213 24 0 0 20 0 15 0 44889535 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300488137584 140300946737794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2316] ppid=2305 vsize=14093000 memory=539892 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2316/stat : 2316 (java) S 2305 2308 671 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 44889536 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300487083616 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2317] ppid=2305 vsize=14093000 memory=539892 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2317/stat : 2317 (java) S 2305 2308 671 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 44889536 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300486030720 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2318] ppid=2305 vsize=14093000 memory=539892 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2318/stat : 2318 (java) S 2305 2308 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44889538 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300484979024 140300946745243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2319] ppid=2305 vsize=14093000 memory=539892 CPUtime=3.54 cores=0,2,4,6
/proc/2308/task/2319/stat : 2319 (java) S 2305 2308 671 0 -1 1077944384 9666 0 0 0 351 3 0 0 20 0 15 0 44889538 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300483926384 140300946737794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2320] ppid=2305 vsize=14093000 memory=539892 CPUtime=3.54 cores=0,2,4,6
/proc/2308/task/2320/stat : 2320 (java) S 2305 2308 671 0 -1 1077944384 11786 0 0 0 351 3 0 0 20 0 15 0 44889538 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300482873584 140300946737794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2321] ppid=2305 vsize=14093000 memory=539892 CPUtime=1.38 cores=0,2,4,6
/proc/2308/task/2321/stat : 2321 (java) S 2305 2308 671 0 -1 1077944384 15608 0 0 0 136 2 0 0 20 0 15 0 44889538 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300481820784 140300946737794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2322] ppid=2305 vsize=14093000 memory=539892 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2322/stat : 2322 (java) S 2305 2308 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44889539 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300480768224 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2323] ppid=2305 vsize=14093000 memory=539892 CPUtime=0.84 cores=0,2,4,6
/proc/2308/task/2323/stat : 2323 (java) S 2305 2308 671 0 -1 1077944384 1570 0 0 0 44 40 0 0 20 0 15 0 44889539 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300479716528 140300946737794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
Current children cumulated CPU time: 2287.81 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 539892 KiB

[startup+2322.3 s]
/proc/loadavg: 1.58 1.59 1.59 3/215 2498
/proc/meminfo: memFree=20014484/32770624 swapFree=67108860/67108860
[pid=2308] ppid=2305 vsize=14093000 memory=539892 CPUtime=2348.12 cores=0,2,4,6
/proc/2308/stat : 2308 (java) S 2305 2308 671 0 -1 1077944320 143027 0 0 0 234629 183 0 0 20 0 15 0 44889533 14431232000 134973 33554432000 4194304 4196468 140728579800080 140728579782624 140300946726647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
/proc/2308/statm: 3523250 134973 3611 1 0 3485321 0
[pid=2308/tid=2310] ppid=2305 vsize=14093000 memory=539892 CPUtime=2312.47 cores=0,2,4,6
/proc/2308/task/2310/stat : 2310 (java) R 2305 2308 671 0 -1 4202560 49508 0 0 0 231218 29 0 0 20 0 15 0 44889533 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300950964672 140300567204441 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2311] ppid=2305 vsize=14093000 memory=539892 CPUtime=5.96 cores=0,2,4,6
/proc/2308/task/2311/stat : 2311 (java) S 2305 2308 671 0 -1 1077944384 8978 0 0 0 571 25 0 0 20 0 15 0 44889534 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300884327056 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2312] ppid=2305 vsize=14093000 memory=539892 CPUtime=5.94 cores=0,2,4,6
/proc/2308/task/2312/stat : 2312 (java) S 2305 2308 671 0 -1 1077944384 10170 0 0 0 569 25 0 0 20 0 15 0 44889534 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300883274256 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2313] ppid=2305 vsize=14093000 memory=539892 CPUtime=5.93 cores=0,2,4,6
/proc/2308/task/2313/stat : 2313 (java) S 2305 2308 671 0 -1 1077944384 12539 0 0 0 566 27 0 0 20 0 15 0 44889534 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300882221456 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2314] ppid=2305 vsize=14093000 memory=539892 CPUtime=5.94 cores=0,2,4,6
/proc/2308/task/2314/stat : 2314 (java) S 2305 2308 671 0 -1 1077944384 11418 0 0 0 569 25 0 0 20 0 15 0 44889534 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300881168656 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2315] ppid=2305 vsize=14093000 memory=539892 CPUtime=2.44 cores=0,2,4,6
/proc/2308/task/2315/stat : 2315 (java) S 2305 2308 671 0 -1 1077944384 10319 0 0 0 220 24 0 0 20 0 15 0 44889535 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300488137584 140300946737794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2316] ppid=2305 vsize=14093000 memory=539892 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2316/stat : 2316 (java) S 2305 2308 671 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 44889536 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300487083616 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2317] ppid=2305 vsize=14093000 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2317/stat : 2317 (java) S 2305 2308 671 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 44889536 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300486030720 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2318] ppid=2305 vsize=14093000 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2318/stat : 2318 (java) S 2305 2308 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44889538 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300484979024 140300946745243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2319] ppid=2305 vsize=14093000 memory=539892 CPUtime=3.54 cores=0,2,4,6
/proc/2308/task/2319/stat : 2319 (java) S 2305 2308 671 0 -1 1077944384 9668 0 0 0 351 3 0 0 20 0 15 0 44889538 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300483926384 140300946737794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2320] ppid=2305 vsize=14093000 memory=539892 CPUtime=3.54 cores=0,2,4,6
/proc/2308/task/2320/stat : 2320 (java) S 2305 2308 671 0 -1 1077944384 11788 0 0 0 351 3 0 0 20 0 15 0 44889538 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300482873584 140300946737794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2321] ppid=2305 vsize=14093000 memory=288230574492221466 CPUtime=1.38 cores=0,2,4,6
/proc/2308/task/2321/stat : 2321 (java) S 2305 2308 671 0 -1 1077944384 15610 0 0 0 136 2 0 0 20 0 15 0 44889538 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300481820784 140300946737794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2322] ppid=2305 vsize=14093000 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2322/stat : 2322 (java) S 2305 2308 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44889539 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300480768224 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2323] ppid=2305 vsize=14093000 memory=539892 CPUtime=0.86 cores=0,2,4,6
/proc/2308/task/2323/stat : 2323 (java) S 2305 2308 671 0 -1 1077944384 1585 0 0 0 45 41 0 0 20 0 15 0 44889539 14431232000 134973 33554432000 4194304 4196468 140728579800080 140300479716528 140300946737794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
Current children cumulated CPU time: 2348.12 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 539892 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2374 s]*
/proc/loadavg: 1.38 1.53 1.57 3/215 2499
/proc/meminfo: memFree=20016656/32770624 swapFree=67108860/67108860
[pid=2308] ppid=2305 vsize=14093000 memory=538352 CPUtime=2400.09 cores=0,2,4,6
/proc/2308/stat : 2308 (java) S 2305 2308 671 0 -1 1077944320 144127 0 0 0 239824 185 0 0 20 0 15 0 44889533 14431232000 134588 33554432000 4194304 4196468 140728579800080 140728579782624 140300946726647 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
/proc/2308/statm: 3523250 134588 3611 1 0 3485321 0
[pid=2308/tid=2310] ppid=2305 vsize=14093000 memory=-6733704525061579059 CPUtime=2363.99 cores=0,2,4,6
/proc/2308/task/2310/stat : 2310 (java) R 2305 2308 671 0 -1 4202560 49804 0 0 0 236370 29 0 0 20 0 15 0 44889533 14431232000 134588 33554432000 4194304 4196468 140728579800080 140300950964736 140300563506666 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2311] ppid=2305 vsize=14093000 memory=4126316290023845779 CPUtime=6.07 cores=0,2,4,6
/proc/2308/task/2311/stat : 2311 (java) S 2305 2308 671 0 -1 1077944384 9137 0 0 0 581 26 0 0 20 0 15 0 44889534 14431232000 134588 33554432000 4194304 4196468 140728579800080 140300884327056 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2312] ppid=2305 vsize=14093000 memory=3054156605268465310 CPUtime=6.04 cores=0,2,4,6
/proc/2308/task/2312/stat : 2312 (java) S 2305 2308 671 0 -1 1077944384 10321 0 0 0 578 26 0 0 20 0 15 0 44889534 14431232000 134588 33554432000 4194304 4196468 140728579800080 140300883274256 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2313] ppid=2305 vsize=14093000 memory=7100839861465685612 CPUtime=6.04 cores=0,2,4,6
/proc/2308/task/2313/stat : 2313 (java) S 2305 2308 671 0 -1 1077944384 12741 0 0 0 576 28 0 0 20 0 15 0 44889534 14431232000 134588 33554432000 4194304 4196468 140728579800080 140300882221456 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2314] ppid=2305 vsize=14093000 memory=7523657151926790760 CPUtime=6.03 cores=0,2,4,6
/proc/2308/task/2314/stat : 2314 (java) S 2305 2308 671 0 -1 1077944384 11504 0 0 0 578 25 0 0 20 0 15 0 44889534 14431232000 134588 33554432000 4194304 4196468 140728579800080 140300881168656 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2315] ppid=2305 vsize=14093000 memory=7523657151926790760 CPUtime=2.49 cores=0,2,4,6
/proc/2308/task/2315/stat : 2315 (java) S 2305 2308 671 0 -1 1077944384 10505 0 0 0 225 24 0 0 20 0 15 0 44889535 14431232000 134588 33554432000 4194304 4196468 140728579800080 140300488137584 140300946737794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2316] ppid=2305 vsize=14093000 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2316/stat : 2316 (java) S 2305 2308 671 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 44889536 14431232000 134588 33554432000 4194304 4196468 140728579800080 140300487083616 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2317] ppid=2305 vsize=14093000 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2317/stat : 2317 (java) S 2305 2308 671 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 44889536 14431232000 134588 33554432000 4194304 4196468 140728579800080 140300486030720 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2318] ppid=2305 vsize=14093000 memory=644 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2318/stat : 2318 (java) S 2305 2308 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44889538 14431232000 134588 33554432000 4194304 4196468 140728579800080 140300484979024 140300946745243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2319] ppid=2305 vsize=14093000 memory=1792 CPUtime=3.54 cores=0,2,4,6
/proc/2308/task/2319/stat : 2319 (java) S 2305 2308 671 0 -1 1077944384 9670 0 0 0 351 3 0 0 20 0 15 0 44889538 14431232000 134588 33554432000 4194304 4196468 140728579800080 140300483926384 140300946737794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2320] ppid=2305 vsize=14093000 memory=1232 CPUtime=3.54 cores=0,2,4,6
/proc/2308/task/2320/stat : 2320 (java) S 2305 2308 671 0 -1 1077944384 11790 0 0 0 351 3 0 0 20 0 15 0 44889538 14431232000 134588 33554432000 4194304 4196468 140728579800080 140300482873584 140300946737794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2321] ppid=2305 vsize=14093000 memory=956 CPUtime=1.38 cores=0,2,4,6
/proc/2308/task/2321/stat : 2321 (java) S 2305 2308 671 0 -1 1077944384 15612 0 0 0 136 2 0 0 20 0 15 0 44889538 14431232000 134588 33554432000 4194304 4196468 140728579800080 140300481820784 140300946737794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2322] ppid=2305 vsize=14093000 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2322/stat : 2322 (java) S 2305 2308 671 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44889539 14431232000 134588 33554432000 4194304 4196468 140728579800080 140300480768224 140300946736853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
[pid=2308/tid=2323] ppid=2305 vsize=14093000 memory=1576 CPUtime=0.87 cores=0,2,4,6
/proc/2308/task/2323/stat : 2323 (java) S 2305 2308 671 0 -1 1077944384 1599 0 0 0 45 42 0 0 20 0 15 0 44889539 14431232000 134588 33554432000 4194304 4196468 140728579800080 140300479716528 140300946737794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21983232 140728579802185 140728579802377 140728579802377 140728579805135 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 538352 KiB

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

[startup+2374.04 s]
# the end of solver process 2308 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.28 s, system=1.866 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2374.04
CPU time (s): 2400.14
CPU user time (s): 2398.28
CPU system time (s): 1.866
CPU usage (%): 101.1
Max. virtual memory (cumulated for all children) (KiB): 14093032
Max. memory (cumulated for all children) (KiB): 1228560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.28
system time used= 1.866
maximum resident set size= 1232656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144665
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117666
involuntary context switches= 5486


# summary of solver processes directly reported to runsolver:
#   pid: 2308
#   total CPU time (s): 2400.14
#   total CPU user time (s): 2398.28
#   total CPU system time (s): 1.866

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2209 second user time and 22.3867 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-22 17:27:43
IDJOB=4291854
IDBENCH=141188
IDSOLVER=2743
FILE ID=node150/4291854-1532273263
RUNJOBID= node150-1532270887-2091
PBS_JOBID= 21018970
Free space on /tmp= 57220 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-07-02
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-09-opt_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291854-1532273263/watcher-4291854-1532273263 -o /tmp/evaluation-result-4291854-1532273263/solver-4291854-1532273263 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532270887-2091 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 653501643 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291854-1532273263.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 19bcf73076031218e5fd4b7208c9a15e
RANDOM SEED=653501643

node150.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        22086312 kB
MemAvailable:   31109792 kB
Buffers:          188144 kB
Cached:          9044300 kB
SwapCached:            0 kB
Active:          1966212 kB
Inactive:        8148556 kB
Active(anon):     840652 kB
Inactive(anon):    61492 kB
Active(file):    1125560 kB
Inactive(file):  8087064 kB
Unevictable:        7752 kB
Mlocked:            7752 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35584 kB
Writeback:             4 kB
AnonPages:        889808 kB
Mapped:            49260 kB
Shmem:             17032 kB
Slab:             266108 kB
SReclaimable:     239316 kB
SUnreclaim:        26792 kB
KernelStack:        3536 kB
PageTables:         7020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1867472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    813056 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 57184 MiB
End job on node150 at 2018-07-22 18:07:17