Trace number 4308295

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-08-14SAT (TO)380148 2520.1 2493.73

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-12-opt_c18.xml
MD5SUM6121a94880b1ccb1614ec86f716938fa
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark21762
Best CPU time to get the best result obtained on this benchmark2400.18
Satisfiable
(Un)Satisfiability was proved
Number of variables4691
Number of constraints4352
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":4011},{"size":6,"count":48},{"size":22,"count":40},{"size":24,"count":24},{"size":36,"count":134},{"size":42,"count":50},{"size":44,"count":384}]
Minimum variable degree2
Maximum variable degree20
Distribution of variable degrees[{"degree":2,"count":4011},{"degree":5,"count":1},{"degree":6,"count":2},{"degree":7,"count":6},{"degree":8,"count":15},{"degree":9,"count":39},{"degree":10,"count":66},{"degree":11,"count":85},{"degree":12,"count":119},{"degree":13,"count":112},{"degree":14,"count":103},{"degree":15,"count":59},{"degree":16,"count":45},{"degree":17,"count":21},{"degree":18,"count":4},{"degree":19,"count":1},{"degree":20,"count":2}]
Minimum constraint arity2
Maximum constraint arity176
Distribution of constraint arities[{"arity":2,"count":674},{"arity":3,"count":3677},{"arity":176,"count":1}]
Number of extensional constraints0
Number of intensional constraints4351
Distribution of constraint types[{"type":"intension","count":4351},{"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.68/0.56	c version: 2018-08-14
0.68/0.56	c seed: 1764888574
0.68/0.56	c timeout: 2520
0.68/0.56	c memlimit: 11000
0.68/0.56	c nbcore: 4
0.68/0.58	c Parsing instance...
10.37/5.55	c Parsing done, starting search...
385.59/377.69	o 433261
385.59/377.70	o 433161
385.76/377.70	o 432161
385.76/377.71	o 432061
385.76/377.72	o 432060
385.76/377.73	o 431062
385.76/377.74	o 430062
385.76/377.75	o 429962
385.76/377.76	o 429862
385.76/377.76	o 429762
385.76/377.77	o 428762
385.76/377.78	o 428672
385.76/377.79	o 428662
385.76/377.79	o 428563
385.76/377.80	o 428562
385.95/377.81	o 427562
385.95/377.82	o 427462
385.95/377.83	o 427451
385.95/377.84	o 427450
385.95/377.86	o 427351
385.95/377.87	o 427350
385.95/377.88	o 427330
386.22/377.90	o 427329
386.22/377.92	o 427230
386.22/377.93	o 426138
386.22/377.94	o 426137
386.22/377.95	o 426038
386.22/377.96	o 426037
386.22/377.97	o 425938
386.22/377.98	o 425840
386.22/377.99	o 425839
386.22/378.00	o 425838
386.39/378.02	o 424937
386.39/378.03	o 424838
386.39/378.04	o 424041
386.39/378.05	o 423941
386.39/378.06	o 423940
386.39/378.07	o 423939
386.39/378.08	o 423840
386.39/378.09	o 421840
386.49/378.11	o 421029
386.49/378.12	o 420929
386.49/378.13	o 420830
386.49/378.15	o 420731
386.49/378.16	o 420721
386.49/378.16	o 420720
386.49/378.19	o 420713
386.49/378.20	o 420712
386.59/378.20	o 420702
386.59/378.21	o 420701
386.69/378.35	o 419910
386.69/378.38	o 419909
386.69/378.39	o 419810
386.79/378.45	o 418921
386.79/378.46	o 418911
386.79/378.47	o 418910
386.79/378.48	o 418810
386.99/378.60	o 418012
386.99/378.61	o 417912
386.99/378.62	o 417812
386.99/378.63	o 417802
386.99/378.64	o 417801
386.99/378.68	o 416692
386.99/378.69	o 416592
387.09/378.70	o 416492
387.09/378.71	o 416482
387.09/378.72	o 416481
387.22/378.80	o 415490
387.22/378.81	o 415390
387.22/378.83	o 415380
387.22/378.83	o 415379
387.22/378.89	o 414711
387.32/378.90	o 414701
387.32/378.91	o 414700
387.43/379.06	o 414622
387.43/379.07	o 414621
387.43/379.07	o 414620
387.62/379.25	o 414410
387.62/379.26	o 414409
387.62/379.27	o 414399
387.62/379.28	o 414310
387.62/379.29	o 414300
387.72/379.30	o 414299
387.82/379.42	o 413631
387.82/379.42	o 413630
387.82/379.44	o 413620
389.32/380.94	o 413609
389.32/380.96	o 413509
389.32/380.97	o 413499
389.32/380.97	o 413498
389.43/381.04	o 413489
389.43/381.04	o 413488
390.62/382.27	o 412929
390.62/382.28	o 412829
390.73/382.31	o 412819
390.73/382.32	o 412809
390.73/382.37	o 412732
390.73/382.38	o 412632
390.86/382.41	o 412622
390.86/382.45	o 412064
390.86/382.45	o 412053
390.86/382.46	o 411953
390.86/382.48	o 411943
390.95/382.52	o 411831
390.95/382.53	o 411821
390.95/382.55	o 411811
390.95/382.57	o 411721
391.04/382.61	o 411714
391.04/382.61	o 411713
391.04/382.62	o 411712
391.04/382.62	o 411711
391.04/382.64	o 411591
391.54/383.10	o 411590
391.65/383.11	o 411580
395.04/386.51	o 411570
395.04/386.51	o 411569
412.92/404.31	o 410983
412.92/404.32	o 410883
412.92/404.34	o 410873
412.92/404.35	o 410763
412.92/404.37	o 410762
412.92/404.38	o 410761
412.92/404.39	o 410751
413.03/404.41	o 410651
413.03/404.42	o 410650
413.03/404.44	o 410649
413.03/404.45	o 410648
413.03/404.46	o 410638
413.03/404.49	o 410637
413.13/404.51	o 410636
413.33/404.74	o 410629
413.33/404.75	o 410628
413.33/404.76	o 410627
413.33/404.77	o 410626
419.57/410.91	o 409761
419.57/410.92	o 409751
419.57/410.93	o 409750
419.57/410.97	o 409749
419.57/410.99	o 409739
420.68/412.03	o 409658
420.68/412.04	o 409648
420.97/412.31	o 409638
422.27/413.67	o 409629
422.27/413.68	o 409628
422.37/413.75	o 409627
424.59/415.96	o 409616
424.59/415.97	o 409526
424.59/415.98	o 409516
433.19/424.42	o 409447
433.19/424.43	o 409437
433.19/424.44	o 409427
433.19/424.45	o 409417
433.19/424.46	o 409317
433.19/424.48	o 409227
433.29/424.50	o 409226
433.29/424.52	o 409167
433.29/424.53	o 409157
433.29/424.55	o 409137
433.29/424.57	o 409037
433.29/424.59	o 408837
433.39/424.64	o 408739
433.39/424.65	o 408738
433.39/424.66	o 408737
433.39/424.68	o 408537
433.49/424.73	o 407916
433.49/424.74	o 407915
433.49/424.75	o 407914
433.49/424.77	o 407904
433.49/424.78	o 407704
433.59/424.80	o 407694
433.59/424.82	o 407684
433.59/424.84	o 406694
433.59/424.86	o 406594
433.59/424.88	o 406592
433.59/424.89	o 406582
433.69/424.91	o 405583
433.69/424.92	o 405581
433.69/424.94	o 405494
433.69/424.96	o 404485
434.39/425.63	o 404475
434.39/425.65	o 404375
434.49/425.70	o 404365
434.49/425.71	o 404275
434.49/425.77	o 404075
434.49/425.78	o 403975
434.49/425.80	o 403775
434.59/425.81	o 403675
434.59/425.82	o 403665
434.59/425.83	o 403565
434.59/425.85	o 403475
434.59/425.88	o 403465
434.59/425.89	o 403463
434.69/425.90	o 403376
435.71/427.00	o 403305
435.82/427.01	o 403205
435.82/427.03	o 403195
435.82/427.04	o 403175
435.82/427.06	o 403085
435.82/427.07	o 402985
435.82/427.09	o 402975
435.82/427.10	o 402885
435.92/427.11	o 402785
435.92/427.13	o 402784
435.92/427.15	o 402774
435.92/427.16	o 402675
435.92/427.18	o 402673
436.01/427.20	o 402573
436.01/427.21	o 402572
436.01/427.22	o 402473
436.92/428.14	o 402406
436.92/428.15	o 402306
436.92/428.16	o 402206
436.92/428.18	o 402204
436.92/428.19	o 401925
437.01/428.20	o 401825
437.01/428.21	o 401725
437.01/428.22	o 401715
437.01/428.24	o 401705
437.01/428.25	o 401704
437.01/428.26	o 401604
437.01/428.27	o 401504
437.01/428.28	o 401404
437.01/428.30	o 401304
437.11/428.31	o 401204
437.11/428.38	o 401115
437.11/428.39	o 401114
437.21/428.40	o 401104
437.21/428.46	o 401094
437.21/428.48	o 400994
437.31/428.53	o 400993
437.31/428.54	o 400983
437.52/428.70	o 400887
437.52/428.71	o 400886
437.52/428.72	o 400884
437.52/428.78	o 400883
437.62/428.81	o 400874
438.72/429.98	o 400815
438.72/429.99	o 400805
438.72/430.00	o 400705
438.83/430.01	o 400704
438.83/430.02	o 400604
438.83/430.03	o 400594
438.83/430.04	o 400494
438.83/430.05	o 400394
438.83/430.06	o 400284
438.83/430.07	o 400283
438.83/430.08	o 400273
438.83/430.10	o 400174
438.93/430.11	o 400173
438.93/430.12	o 400163
438.93/430.14	o 400063
438.93/430.16	o 399963
439.75/430.94	o 399914
439.75/430.95	o 399904
439.75/430.96	o 399894
439.75/430.97	o 399883
439.75/430.98	o 399873
439.75/431.00	o 399872
439.87/431.01	o 399863
440.16/431.38	o 399794
440.16/431.39	o 399784
440.26/431.40	o 399774
440.26/431.41	o 399773
440.87/432.07	o 399772
440.97/432.11	o 399691
440.97/432.12	o 399681
440.97/432.13	o 399672
440.97/432.19	o 399574
441.06/432.20	o 399573
441.26/432.45	o 399563
441.26/432.46	o 399553
441.36/432.50	o 398953
441.36/432.51	o 398853
441.36/432.52	o 398753
441.36/432.53	o 398653
441.36/432.54	o 398553
442.46/433.62	o 398473
442.46/433.63	o 398463
442.46/433.65	o 398462
442.46/433.66	o 398453
442.46/433.69	o 398444
442.56/433.72	o 398443
443.71/434.85	o 398395
443.71/434.87	o 398384
443.71/434.87	o 398374
443.71/434.88	o 398364
443.71/434.89	o 398354
443.81/434.91	o 398353
443.81/434.92	o 398253
443.81/434.95	o 398244
443.92/435.08	o 397254
444.02/435.18	o 397244
444.11/435.23	o 397242
444.11/435.24	o 397241
444.11/435.25	o 397041
444.11/435.26	o 397040
444.11/435.27	o 396940
444.11/435.29	o 396840
444.21/435.30	o 396741
444.21/435.31	o 396651
444.21/435.32	o 396552
444.21/435.33	o 396543
444.21/435.35	o 396444
444.21/435.37	o 396345
444.21/435.38	o 396245
444.21/435.39	o 396244
445.31/436.46	o 396181
445.31/436.47	o 396171
445.31/436.48	o 396161
445.31/436.49	o 396160
445.41/436.50	o 396159
445.41/436.51	o 396059
445.41/436.52	o 395959
445.41/436.53	o 395859
445.41/436.54	o 395759
445.41/436.55	o 395649
445.41/436.56	o 395639
445.41/436.57	o 395439
445.41/436.58	o 395339
445.41/436.60	o 395330
445.51/436.61	o 395231
445.51/436.62	o 395141
445.51/436.63	o 395042
445.51/436.67	o 394942
445.51/436.68	o 394843
445.51/436.69	o 394842
446.21/437.33	o 394831
449.54/440.64	o 394748
449.54/440.65	o 394747
449.54/440.66	o 394737
449.54/440.67	o 394637
449.54/440.68	o 394538
449.64/440.70	o 394439
449.64/440.71	o 394339
449.64/440.73	o 394338
449.64/440.75	o 394239
449.64/440.77	o 394238
449.64/440.79	o 394148
450.44/441.58	o 393787
450.44/441.59	o 393687
450.54/441.60	o 393686
450.54/441.61	o 393486
450.54/441.62	o 393387
450.54/441.63	o 393277
450.54/441.64	o 393267
453.46/444.54	o 392980
453.46/444.54	o 392970
453.46/444.55	o 392960
453.46/444.56	o 392760
453.46/444.58	o 392660
453.46/444.59	o 392659
453.46/444.59	o 392559
453.56/444.66	o 392460
453.56/444.67	o 392459
453.56/444.68	o 392369
453.66/444.70	o 392368
453.66/444.72	o 392367
458.39/449.49	o 392277
458.49/449.53	o 392177
458.59/449.64	o 392078
458.59/449.65	o 392077
458.59/449.68	o 392076
458.69/449.70	o 391977
458.79/449.83	o 391967
470.44/461.40	o 391965
470.44/461.41	o 391964
470.44/461.42	o 391963
470.44/461.43	o 391953
470.44/461.44	o 391942
470.44/461.45	o 391932
471.05/462.05	o 391923
471.05/462.06	o 391922
471.05/462.08	o 391822
472.06/463.03	o 391297
472.06/463.04	o 391287
472.06/463.04	o 391286
472.06/463.05	o 391276
472.06/463.07	o 391266
472.06/463.08	o 391256
472.06/463.09	o 391255
472.06/463.10	o 391244
472.16/463.12	o 391044
472.16/463.13	o 391043
472.16/463.15	o 391033
472.16/463.17	o 390932
472.26/463.22	o 390923
472.26/463.23	o 390922
472.26/463.25	o 390833
472.26/463.26	o 390832
472.26/463.27	o 390822
474.46/465.49	o 390735
474.56/465.50	o 390734
474.56/465.58	o 390714
474.86/465.82	o 390706
474.86/465.83	o 390705
474.86/465.84	o 390704
855.22/843.55	o 390177
855.22/843.56	o 390176
855.22/843.57	o 390166
855.22/843.58	o 390156
855.22/843.59	o 390155
855.32/843.60	o 390154
855.32/843.61	o 390144
855.32/843.62	o 390134
855.32/843.63	o 390034
855.32/843.64	o 390023
855.32/843.66	o 390004
855.32/843.67	o 390003
855.32/843.69	o 389903
855.42/843.70	o 389893
855.42/843.72	o 389883
855.42/843.73	o 389863
855.42/843.75	o 389862
855.42/843.76	o 389861
855.42/843.78	o 389851
855.54/843.81	o 389751
855.64/843.99	o 389750
855.64/844.00	o 389749
855.75/844.01	o 389748
855.75/844.02	o 389747
855.75/844.03	o 389746
855.75/844.04	o 389745
855.75/844.05	o 389744
855.75/844.06	o 389743
855.75/844.08	o 389741
855.85/844.12	o 388792
855.85/844.14	o 388772
855.85/844.15	o 388771
855.85/844.18	o 388671
855.85/844.20	o 388651
855.94/844.24	o 388581
855.94/844.25	o 388561
855.94/844.27	o 388560
855.94/844.29	o 387651
856.14/844.47	o 386781
856.14/844.49	o 386681
856.24/844.51	o 386662
856.24/844.52	o 386661
856.64/844.94	o 386593
856.64/844.95	o 386592
856.64/844.96	o 386582
856.64/844.98	o 386562
856.64/845.00	o 386462
857.44/845.75	o 386443
857.44/845.76	o 386442
857.44/845.78	o 386342
857.44/845.80	o 386242
858.46/846.72	o 386170
858.46/846.74	o 386070
858.46/846.76	o 385970
858.46/846.78	o 385950
858.56/846.80	o 385931
858.56/846.81	o 385930
858.56/846.85	o 384961
858.56/846.87	o 384941
858.56/846.88	o 384940
859.89/848.16	o 384690
859.89/848.17	o 384590
859.89/848.19	o 384490
859.98/848.22	o 384395
859.98/848.23	o 384394
859.98/848.24	o 384392
859.98/848.26	o 384391
859.98/848.27	o 384390
860.08/848.30	o 384290
860.08/848.32	o 384190
860.08/848.34	o 384171
860.08/848.35	o 384170
860.08/848.37	o 384151
860.08/848.39	o 384150
860.99/849.27	o 384070
860.99/849.29	o 384069
861.09/849.31	o 383969
861.09/849.32	o 383949
861.09/849.34	o 382949
861.09/849.37	o 382849
861.19/849.40	o 382749
861.70/849.92	o 382670
861.70/849.94	o 382669
861.70/849.96	o 382649
862.60/850.85	o 382639
862.60/850.87	o 382629
862.60/850.88	o 382628
863.11/851.33	o 382550
863.11/851.34	o 382549
863.11/851.35	o 382529
863.11/851.38	o 382429
872.01/860.18	o 381888
872.10/860.24	o 381887
872.10/860.25	o 381886
872.10/860.26	o 381885
872.10/860.28	o 381884
872.10/860.29	o 381883
872.20/860.30	o 381882
872.20/860.31	o 381881
872.20/860.32	o 381880
872.20/860.34	o 381879
872.20/860.35	o 381869
872.20/860.39	o 381669
872.30/860.41	o 381649
872.30/860.46	o 381639
872.30/860.48	o 381638
884.85/872.87	o 381569
884.85/872.89	o 381469
884.95/872.91	o 381450
885.16/873.15	o 381449
885.16/873.17	o 381439
965.05/952.16	o 381359
965.05/952.17	o 381358
965.05/952.19	o 381357
965.14/952.22	o 381347
965.14/952.26	o 381248
965.14/952.27	o 381247
965.25/952.32	o 381147
967.53/954.52	o 380549
967.53/954.53	o 380548
967.53/954.54	o 380547
967.73/954.70	o 380546
967.73/954.76	o 380450
967.73/954.78	o 380449
967.73/954.79	o 380448
967.82/954.81	o 380447
967.82/954.85	o 380347
968.32/955.34	o 380323
968.32/955.35	o 380322
968.32/955.36	o 380321
968.32/955.37	o 380311
968.32/955.38	o 380301
968.32/955.39	o 380300
968.44/955.41	o 380290
968.44/955.42	o 380280
968.44/955.44	o 380279
968.44/955.46	o 380269
968.44/955.49	o 380268
968.54/955.51	o 380148
2520.05/2493.70	s SATISFIABLE
2520.05/2493.71	v <instantiation>
2520.05/2493.71	v 	<list>
2520.05/2493.71	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] 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] 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] zb3[82] zb3[83] zb3[84] zb3[85] zb3[86] zb3[87] zb3[88] zb3[89] zb3[90] zb3[91] zb3[92] zb3[93] zb3[94] zb3[95] zb3[96] zb3[97] zb3[98] zb3[99] zb3[100] zb3[101] zb3[102] zb3[103] zb3[104] zb3[105] zb3[106] zb3[107] zb3[108] zb3[109] zb3[110] zb3[111] zb3[112] zb3[113] zb3[114] zb3[115] zb3[116] zb3[117] zb3[118] zb3[119] zb3[120] zb3[121] zb3[122] zb3[123] zb3[124] zb3[125] zb3[126] zb3[127] zb3[128] zb3[129] zb3[130] zb3[131] zb3[132] zb3[133] zb3[134] zb3[135] zb3[136] zb3[137] zb3[138] zb3[139] zb3[140] zb3[141] zb3[142] zb3[143] zb3[144] zb3[145] zb3[146] zb3[147] zb3[148] zb3[149] zb3[150] zb3[151] zb3[152] zb3[153] zb3[154] zb3[155] zb3[156] zb3[157] zb3[158] zb3[159] zb3[160] zb3[161] 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] za1[798] za1[799] za1[800] za1[801] za1[802] za1[803] za1[804] za1[805] za1[806] za1[807] 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] 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] za3[882] za3[883] za3[884] za3[885] za3[886] za3[887] za3[888] za3[889] za3[890] za3[891] za3[892] za3[893] za3[894] za3[895] za3[896] za3[897] za3[898] za3[899] za3[900] za3[901] za3[902] za3[903] za3[904] za3[905] za3[906] za3[907] za3[908] 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]
2520.05/2493.71	v 	</list>
2520.05/2493.71	v 	<values>
2520.05/2493.71	v 		16 254 526 764 554 792 72 310 72 310 114 352 86 324 170 408 792 554 128 366 156 394 526 764 16 254 708 470 470 708 58 296 16 254 666 428 156 394 282 44 282 44 296 58 16 254 484 722 16 254 72 310 240 478 694 456 680 442 792 554 268 30 394 156 456 694 268 30 72 310 86 324 792 554 680 442 44 282 142 380 442 680 680 442 142 380 554 792 240 478 58 296 268 30 680 442 554 792 792 554 380 142 30 268 456 694 16 254 114 352 128 366 792 554 540 778 652 414 324 86 296 58 652 414 652 414 72 310 44 282 72 310 680 442 142 380 680 442 16 254 554 792 58 296 414 652 708 470 680 442 254 16 498 736 30 268 58 296 778 540 30 268 100 338 16 254 792 554 394 156 156 394 254 16 44 282 254 16 792 554 394 156 414 652 394 156 736 498 142 380 708 470 722 484 16 254 394 156 736 498 366 128 16 254 72 310 722 484 114 352 428 666 142 380 428 666 680 442 736 498 338 100 16 254 100 338 652 414 156 394 44 282 694 456 72 310 44 282 414 652 694 456 310 72 142 380 442 680 282 44 778 540 30 268 128 366 100 338 526 764 86 324 380 142 16 254 394 156 380 142 540 778 414 652 44 282 792 554 338 100 428 666 778 540 296 58 442 680 666 428 526 764 156 394 128 366 478 240 16 254 282 44 86 324 792 554 764 526 58 296 114 352 652 414 30 268 156 394 16 254 792 554 708 470 478 240 72 310 16 254 16 254 408 170 778 540 170 408 442 680 86 324 792 554 652 414 16 254 114 352 722 484 554 792 58 296 142 380 442 680 792 554 414 652 456 694 498 736 540 778 296 58 338 100 414 652 484 722 414 652 792 554 750 512 680 442 128 366 428 666 470 708 666 428 366 128 240 478 86 324 44 282 16 254 380 142 310 72 296 58 526 764 554 792 792 554 254 16 366 128 310 72 16 254 470 708 470 708 498 736 554 792 30 268 792 554 394 156 554 792 380 142 16 254 512 750 512 750 478 240 750 512 338 100 764 526 764 526 156 394 240 478 778 540 736 498 792 554 408 170 778 540 708 470 156 394 142 380 156 394 16 254 156 394 680 442 254 16 778 540 16 254 666 428 156 394 792 554 792 554 792 554 778 540 694 456 16 254 338 100 652 414 16 254 58 296 352 114 764 526 338 100 750 512 540 778 526 764 540 778 778 540 394 156 380 142 380 142 792 554 792 554 792 554 778 540 666 428 722 484 750 512 254 16 792 554 16 254 526 764 156 394 394 156 750 512 414 652 58 296 170 408 484 722 554 792 736 498 792 554 296 58 478 240 30 268 736 498 792 554 282 44 666 428 512 750 100 338 666 428 114 352 694 456 554 792 708 470 792 554 428 666 666 428 16 254 170 408 778 540 72 310 170 408 268 30 44 282 680 442 652 414 722 484 470 708 408 170 380 142 268 30 268 30 338 100 792 554 778 540 442 680 86 324 428 666 764 526 30 268 58 296 414 652 652 414 16 254 142 380 16 254 554 792 240 478 268 30 30 268 1000 1000 1000 1000 0 0 1000 1000 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 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 1000 1000 1000 1000 1000 1000 1000 1000 100 100 100 100 100 100 0 0 100 100 0 0 100 100 100 100 100 100 100 100 0 0 100 100 0 0 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 0 0 100 100 0 0 100 100 0 0 100 100 100 100 0 0 100 100 100 100 0 0 0 0 0 0 100 100 0 0 100 100 0 0 100 100 0 0 100 100 100 100 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 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 10 10 10 10 10 10 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 10 10 10 10 10 10 10 10 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 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 1000 1000 1000 1000 1000 0 1000 1000 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 1000 0 1000 0 0 1000 1000 0 1000 0 0 1000 1000 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 1000 0 1000 1000 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 0 1000 0 1000 0 0 0 1000 0 0 0 0 0 0 1000 1000 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 1000 0 1000 0 1000 1000 0 0 0 1000 0 0 0 1000 0 0 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 0 0 1000 0 0 0 1000 0 1000 0 1000 0 0 1000 0 1000 1000 1000 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 1000 0 0 0 1000 0 0 1000 0 0 1000 0 1000 0 0 1000 0 0 0 0 0 0 0 0 1000 1000 1000 0 1000 0 0 1000 1000 1000 1000 1000 0 1000 0 0 0 0 0 1000 0 1000 0 0 0 1000 0 0 0 1000 1000 1000 0 0 0 0 1000 0 0 1000 0 0 0 0 1000 0 0 1000 0 1000 1000 1000 1000 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 1000 1000 0 1000 1000 1000 1000 1000 0 1000 1000 0 1000 0 0 0 0 1000 1000 1000 1000 1000 1000 1000 0 1000 0 1000 0 0 0 0 0 0 0 0 1000 1000 0 1000 1000 1000 1000 0 0 1000 0 0 0 0 0 1000 0 1000 1000 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 1000 1000 0 0 0 0 1000 0 0 0 0 1000 0 1000 1000 0 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 1000 0 0 0 0 0 1000 0 1000 1000 0 1000 0 1000 0 0 0 1000 0 1000 0 0 1000 0 0 1000 0 1000 0 0 0 1000 1000 1000 1000 1000 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 0 0 1000 1000 0 0 0 1000 0 0 1000 0 1000 0 1000 1000 0 0 1000 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 1000 1000 0 0 1000 1000 0 0 0 1000 1000 0 1000 1000 1000 0 0 1000 1000 0 0 0 0 1000 0 1000 0 1000 0 1000 0 1000 0 0 0 0 1000 1000 0 0 0 0 1000 0 0 1000 0 1000 0 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 1000 0 1000 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 1000 1000 0 0 1000 0 0 1000 1000 0 1000 1000 1000 0 0 1000 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 1000 1000 0 0 0 1000 0 0 1000 0 0 0 1000 1000 0 0 0 0 1000 0 1000 0 0 0 0 0 1000 1000 1000 0 0 0 0 1000 0 0 1000 1000 1000 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 100 0 100 0 0 0 0 100 0 0 0 100 0 100 100 0 100 0 0 100 0 0 0 100 100 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 0 0 0 0 0 0 100 100 0 100 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 100 0 0 0 100 0 0 100 100 100 100 100 100 0 100 0 0 0 100 0 0 0 100 0 100 0 0 100 0 0 0 0 0 0 100 100 100 100 0 0 100 0 100 100 0 0 100 100 0 100 100 0 0 0 0 0 100 0 100 100 100 0 0 100 0 100 100 100 0 100 100 0 0 0 100 0 0 0 0 0 0 100 0 0 100 0 0 0 100 100 0 100 100 0 0 100 100 100 100 100 0 0 100 0 100 100 0 0 100 0 0 100 0 0 100 100 100 100 0 0 0 0 100 0 100 0 0 0 0 100 0 0 0 0 100 0 100 100 100 0 100 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 100 100 0 100 100 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 100 100 100 100 0 0 0 100 0 0 0 100 100 100 100 100 100 0 0 0 0 0 0 100 0 100 0 100 0 100 100 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 100 100 100 100 100 0 0 0 0 0 100 0 100 100 0 0 100 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 100 100 100 100 0 0 0 0 0 0 100 0 0 100 100 100 100 100 100 100 0 100 0 100 0 0 0 100 100 0 100 100 0 0 0 100 0 100 0 100 100 0 0 0 0 100 100 0 0 0 100 0 0 0 0 100 0 100 0 0 0 0 100 100 100 0 100 100 100 100 0 0 0 100 100 0 0 0 100 0 0 0 0 100 0 100 0 0 0 100 100 100 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 100 100 100 0 0 100 0 0 100 100 100 0 0 0 0 0 0 0 0 0 100 100 0 0 100 0 0 100 100 0 0 0 0 0 100 0 100 0 100 0 0 100 0 0 0 100 0 0 0 0 0 100 0 0 0 100 100 100 0 100 0 0 0 0 100 100 100 0 100 100 0 0 0 0 0 0 100 100 0 0 0 0 0 0 100 0 0 100 0 0 100 100 100 100 0 100 0 0 0 100 100 100 100 0 0 0 100 0 0 0 0 100 0 100 0 0 0 0 100 100 0 100 0 100 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 100 100 100 100 0 100 0 100 0 0 100 0 0 0 0 100 100 0 0 100 0 0 0 100 100 100 0 0 100 100 100 100 0 0 0 0 0 0 0 100 0 0 0 100 100 0 0 0 100 100 100 100 100 0 100 100 100 0 0 0 0 100 100 0 0 100 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 100 0 0 100 100 0 0 100 100 0 100 100 0 0 0 100 0 0 100 100 100 100 0 0 100 0 0 0 100 0 0 0 0 100 0 0 0 0 100 100 0 100 100 0 0 0 100 0 100 100 0 0 100 0 0 0 0 100 0 100 100 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 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 100 100 100 0 100 100 0 0 100 0 0 100 0 0 0 100 100 0 100 0 100 0 0 0 0 0 100 100 0 100 100 0 0 0 0 100 100 0 100 0 0 0 0 100 100 0 0 0 100 0 0 0 100 100 0 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 0 0 0 0 100 0 100 0 100 100 0 100 100 0 100 0 0 0 0 100 0 100 0 0 100 0 0 100 0 0 0 0 0 0 100 0 100 0 0 100 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 10 10 10 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 10 0 10 0 0 0 10 0 0 0 10 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 10 10 0 0 0 0 10 10 10 0 10 0 10 10 10 0 0 10 10 10 0 0 10 10 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 10 0 0 10 0 0 10 10 0 0 10 0 0 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 10 0 0 10 0 0 10 10 10 10 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 10 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 10 0 10 10 0 0 0 10 10 0 0 10 0 10 10 10 10 0 10 10 10 10 0 0 0 0 10 0 10 0 0 10 0 0 10 0 0 10 0 0 10 0 0 0 0 10 0 0 0 0 10 10 10 10 10 10 10 10 10 0 0 0 10 0 10 0 0 10 10 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 10 10 0 10 10 10 0 0 0 0 10 10 0 0 10 10 10 10 0 0 0 0 0 10 0 0 0 0 10 0 10 0 10 0 10 10 0 0 0 0 0 10 10 0 10 0 0 0 10 0 0 0 0 10 0 10 0 0 0 10 10 0 0 0 0 0 0 0 10 0 10 10 10 0 0 0 0 0 10 10 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 10 10 10 10 0 10 0 10 10 0 10 10 0 0 0 0 10 0 0 10 10 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 10 0 10 0 0 0 0 10 0 0 0 10 10 10 0 10 0 0 10 0 0 0 10 0 0 10 10 10 0 10 10 0 10 10 10 0 0 10 10 0 0 0 10 10 0 0 10 0 10 10 0 10 0 0 10 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 0 10 0 0 0 0 10 0 0 10 10 10 10 0 10 0 10 10 0 10 0 0 0 0 10 0 0 0 10 0 10 0 0 10 0 0 0 10 10 10 0 0 10 0 0 10 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 0 10 0 0 10 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 10 0 0 0 0 10 10 0 0 10 0 10 0 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 10 0 10 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 10 10 0 0 10 0 0 0 0 10 10 10 10 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 10 10 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 0 10 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 10 0 10 0 10 0 0 0 10 0 0 0 10 0 0 0 0 10 0 10 10 0 10 10 0 0 10 0 0 0 0 10 10 0 10 0 10 0 0 0 0 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 10 0 10 0 10 0 0 0 0 0 0 0 10 0 0 10 10 0 0 0 0 10 10 10 0 0 0 0 0 0 0 10 10 0 0 10 10 0 0 0 0 0 0 10 0 0 0 0 10 10 0 10 10 0 10 0 10 10 0 0 10 10 0 0 10 10 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 10 0 10 10 0 0 0 0 0 10 10 10 0 0 0 10 0 10 0 0 0 10 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 10 10 0 0 0 0 0 10 0 10 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 1 1 1 0 0 1 1 1 1 0 1 1 1 0 1 0 1 0 0 1 0 0 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 1 1 0 1 0 1 0 0 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 1 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 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 0 1 1 1 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 1 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 1 1 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 1 1 1 0 0 0 1 1 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 1 1 1 0 1 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 1 0 0 
2520.05/2493.71	v 	</values>
2520.05/2493.71	v </instantiation>

Verifier Data 

OK	380148

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 (10377 MiB free)
  memory of node 1: 16384 MiB (12969 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308295-1534280704/watcher-4308295-1534280704 -o /tmp/evaluation-result-4308295-1534280704/solver-4308295-1534280704 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534258226-10046 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1764888574 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308295-1534280704.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Starting watchdog thread
solver pid=12331, runsolver pid=12328
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 1.21 1.31 1.38 3/215 12346
/proc/meminfo: memFree=23888476/32770624 swapFree=67059120/67108860
[pid=12331] ppid=12328 vsize=14082736 memory=31440 CPUtime=0.12 cores=1,3,5,7
/proc/12331/stat : 12331 (java) S 12328 12331 10014 0 -1 1077944320 6773 0 0 0 11 1 0 0 20 0 15 0 245633587 14420721664 7860 33554432000 4194304 4196468 140730169477856 140730169460400 140364644155127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
/proc/12331/statm: 3520684 7860 3151 1 0 3482761 0
[pid=12331/tid=12333] ppid=12328 vsize=14082736 memory=-8701690554792448383 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12333/stat : 12333 (java) R 12328 12331 10014 0 -1 4202560 4817 0 0 0 8 0 0 0 20 0 15 0 245633588 14420721664 7860 33554432000 4194304 4196468 140730169477856 140364648386624 140364628235614 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12334] ppid=12328 vsize=14082736 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12334/stat : 12334 (java) S 12328 12331 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245633589 14420721664 7860 33554432000 4194304 4196468 140730169477856 140364574243600 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12335] ppid=12328 vsize=14082736 memory=140159718938240 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12335/stat : 12335 (java) S 12328 12331 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245633589 14420721664 7860 33554432000 4194304 4196468 140730169477856 140364573191056 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12336] ppid=12328 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12336/stat : 12336 (java) S 12328 12331 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245633589 14420721664 7860 33554432000 4194304 4196468 140730169477856 140364572138512 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12337] ppid=12328 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12337/stat : 12337 (java) S 12328 12331 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245633589 14420721664 7860 33554432000 4194304 4196468 140730169477856 140364571085968 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12338] ppid=12328 vsize=14082736 memory=140159718938240 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12338/stat : 12338 (java) S 12328 12331 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245633590 14420721664 7860 33554432000 4194304 4196468 140730169477856 140364118190064 140364644166274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12339] ppid=12328 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12339/stat : 12339 (java) S 12328 12331 10014 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245633590 14420721664 7860 33554432000 4194304 4196468 140730169477856 140364117136288 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12340] ppid=12328 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12340/stat : 12340 (java) S 12328 12331 10014 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245633591 14420721664 7860 33554432000 4194304 4196468 140730169477856 140364116083696 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12341] ppid=12328 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12341/stat : 12341 (java) S 12328 12331 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245633593 14420721664 7860 33554432000 4194304 4196468 140730169477856 140364115032272 140364644173723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12342] ppid=12328 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12342/stat : 12342 (java) S 12328 12331 10014 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 245633593 14420721664 7860 33554432000 4194304 4196468 140730169477856 140364113979888 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12343] ppid=12328 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12343/stat : 12343 (java) S 12328 12331 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245633593 14420721664 7860 33554432000 4194304 4196468 140730169477856 140364112927344 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12344] ppid=12328 vsize=14082736 memory=140159718938240 CPUtime=0.01 cores=1,3,5,7
/proc/12331/task/12344/stat : 12344 (java) S 12328 12331 10014 0 -1 1077944384 275 0 0 0 1 0 0 0 20 0 15 0 245633593 14420721664 7860 33554432000 4194304 4196468 140730169477856 140364111874800 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12345] ppid=12328 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12345/stat : 12345 (java) S 12328 12331 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245633593 14420721664 7860 33554432000 4194304 4196468 140730169477856 140364110822496 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12346] ppid=12328 vsize=14082736 memory=140159718938240 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12346/stat : 12346 (java) S 12328 12331 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245633593 14420721664 7860 33554432000 4194304 4196468 140730169477856 140364109769008 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31440 KiB

[startup+0.211376 s]*
/proc/loadavg: 1.21 1.31 1.38 6/215 12346
/proc/meminfo: memFree=23873328/32770624 swapFree=67059120/67108860
[pid=12331] ppid=12328 vsize=14082736 memory=47496 CPUtime=0.3 cores=1,3,5,7
/proc/12331/stat : 12331 (java) S 12328 12331 10014 0 -1 1077944320 10435 0 0 0 28 2 0 0 20 0 15 0 245633587 14420721664 11874 33554432000 4194304 4196468 140730169477856 140730169460400 140364644155127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
/proc/12331/statm: 3520684 11874 3399 1 0 3482761 0
[pid=12331/tid=12333] ppid=12328 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/12331/task/12333/stat : 12333 (java) R 12328 12331 10014 0 -1 4202560 8138 0 0 0 18 1 0 0 20 0 15 0 245633588 14420721664 11874 33554432000 4194304 4196468 140730169477856 140364648380376 140364625561426 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12334] ppid=12328 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12334/stat : 12334 (java) S 12328 12331 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245633589 14420721664 11874 33554432000 4194304 4196468 140730169477856 140364574243600 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12335] ppid=12328 vsize=14082736 memory=140159720253883 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12335/stat : 12335 (java) S 12328 12331 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245633589 14420721664 11874 33554432000 4194304 4196468 140730169477856 140364573191056 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12336] ppid=12328 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12336/stat : 12336 (java) S 12328 12331 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245633589 14420721664 11874 33554432000 4194304 4196468 140730169477856 140364572138512 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12337] ppid=12328 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12337/stat : 12337 (java) S 12328 12331 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245633589 14420721664 11874 33554432000 4194304 4196468 140730169477856 140364571085968 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12338] ppid=12328 vsize=14082736 memory=140159718938240 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12338/stat : 12338 (java) S 12328 12331 10014 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245633590 14420721664 11874 33554432000 4194304 4196468 140730169477856 140364118190064 140364644166274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12339] ppid=12328 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12339/stat : 12339 (java) S 12328 12331 10014 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245633590 14420721664 11874 33554432000 4194304 4196468 140730169477856 140364117136288 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12340] ppid=12328 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12340/stat : 12340 (java) S 12328 12331 10014 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245633591 14420721664 11874 33554432000 4194304 4196468 140730169477856 140364116083696 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12341] ppid=12328 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12341/stat : 12341 (java) S 12328 12331 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245633593 14420721664 11874 33554432000 4194304 4196468 140730169477856 140364115032272 140364644173723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12342] ppid=12328 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12331/task/12342/stat : 12342 (java) R 12328 12331 10014 0 -1 1077944384 413 0 0 0 2 0 0 0 20 0 15 0 245633593 14420721664 11874 33554432000 4194304 4196468 140730169477856 140364113979888 140364644166274 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12343] ppid=12328 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/12331/task/12343/stat : 12343 (java) R 12328 12331 10014 0 -1 4202560 201 0 0 0 2 0 0 0 20 0 15 0 245633593 14420721664 11874 33554432000 4194304 4196468 140730169477856 140364112927344 140364629278706 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12344] ppid=12328 vsize=14082736 memory=140159718938240 CPUtime=0.05 cores=1,3,5,7
/proc/12331/task/12344/stat : 12344 (java) R 12328 12331 10014 0 -1 4202560 300 0 0 0 5 0 0 0 20 0 15 0 245633593 14420721664 11874 33554432000 4194304 4196468 140730169477856 140364111872760 140364622688488 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12345] ppid=12328 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12345/stat : 12345 (java) S 12328 12331 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245633593 14420721664 11874 33554432000 4194304 4196468 140730169477856 140364110822496 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12346] ppid=12328 vsize=14082736 memory=140159718938240 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12346/stat : 12346 (java) S 12328 12331 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245633593 14420721664 11874 33554432000 4194304 4196468 140730169477856 140364109769008 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47496 KiB

[startup+0.310419 s]*
/proc/loadavg: 1.27 1.32 1.38 3/215 12346
/proc/meminfo: memFree=23869792/32770624 swapFree=67059120/67108860
[pid=12331] ppid=12328 vsize=14082736 memory=50824 CPUtime=0.43 cores=1,3,5,7
/proc/12331/stat : 12331 (java) S 12328 12331 10014 0 -1 1077944320 10798 0 0 0 41 2 0 0 20 0 15 0 245633587 14420721664 12706 33554432000 4194304 4196468 140730169477856 140730169460400 140364644155127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
/proc/12331/statm: 3520684 12706 3402 1 0 3482761 0
[pid=12331/tid=12333] ppid=12328 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/12331/task/12333/stat : 12333 (java) R 12328 12331 10014 0 -1 4202560 8471 0 0 0 28 2 0 0 20 0 15 0 245633588 14420721664 12706 33554432000 4194304 4196468 140730169477856 140364648366640 140364625718679 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12334] ppid=12328 vsize=14082736 memory=4294979972 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12334/stat : 12334 (java) S 12328 12331 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245633589 14420721664 12706 33554432000 4194304 4196468 140730169477856 140364574243600 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12335] ppid=12328 vsize=14082736 memory=140159720253564 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12335/stat : 12335 (java) S 12328 12331 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245633589 14420721664 12706 33554432000 4194304 4196468 140730169477856 140364573191056 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12336] ppid=12328 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12336/stat : 12336 (java) S 12328 12331 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245633589 14420721664 12706 33554432000 4194304 4196468 140730169477856 140364572138512 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12337] ppid=12328 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12337/stat : 12337 (java) S 12328 12331 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245633589 14420721664 12706 33554432000 4194304 4196468 140730169477856 140364571085968 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12338] ppid=12328 vsize=14082736 memory=140159718938240 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12338/stat : 12338 (java) S 12328 12331 10014 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245633590 14420721664 12706 33554432000 4194304 4196468 140730169477856 140364118190064 140364644166274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12339] ppid=12328 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12339/stat : 12339 (java) S 12328 12331 10014 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245633590 14420721664 12706 33554432000 4194304 4196468 140730169477856 140364117136288 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12340] ppid=12328 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12340/stat : 12340 (java) S 12328 12331 10014 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245633591 14420721664 12706 33554432000 4194304 4196468 140730169477856 140364116083696 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12341] ppid=12328 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12341/stat : 12341 (java) S 12328 12331 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245633593 14420721664 12706 33554432000 4194304 4196468 140730169477856 140364115032272 140364644173723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12342] ppid=12328 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12331/task/12342/stat : 12342 (java) S 12328 12331 10014 0 -1 1077944384 418 0 0 0 2 0 0 0 20 0 15 0 245633593 14420721664 12706 33554432000 4194304 4196468 140730169477856 140364113979888 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12343] ppid=12328 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/12331/task/12343/stat : 12343 (java) S 12328 12331 10014 0 -1 1077944384 216 0 0 0 2 0 0 0 20 0 15 0 245633593 14420721664 12706 33554432000 4194304 4196468 140730169477856 140364112927344 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12344] ppid=12328 vsize=14082736 memory=140159718938240 CPUtime=0.07 cores=1,3,5,7
/proc/12331/task/12344/stat : 12344 (java) S 12328 12331 10014 0 -1 1077944384 310 0 0 0 7 0 0 0 20 0 15 0 245633593 14420721664 12706 33554432000 4194304 4196468 140730169477856 140364111874800 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12345] ppid=12328 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12345/stat : 12345 (java) S 12328 12331 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245633593 14420721664 12706 33554432000 4194304 4196468 140730169477856 140364110822496 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12346] ppid=12328 vsize=14082736 memory=140159718938240 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12346/stat : 12346 (java) S 12328 12331 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245633593 14420721664 12706 33554432000 4194304 4196468 140730169477856 140364109769008 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50824 KiB

[startup+0.701012 s]
/proc/loadavg: 1.27 1.32 1.38 3/215 12346
/proc/meminfo: memFree=23845732/32770624 swapFree=67059120/67108860
[pid=12331] ppid=12328 vsize=14084804 memory=88904 CPUtime=0.99 cores=1,3,5,7
/proc/12331/stat : 12331 (java) S 12328 12331 10014 0 -1 1077944320 17620 0 0 0 95 4 0 0 20 0 15 0 245633587 14422839296 22226 33554432000 4194304 4196468 140730169477856 140730169460400 140364644155127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
/proc/12331/statm: 3521201 22226 3499 1 0 3483273 0
[pid=12331/tid=12333] ppid=12328 vsize=14084804 memory=193150920442769 CPUtime=0.68 cores=1,3,5,7
/proc/12331/task/12333/stat : 12333 (java) R 12328 12331 10014 0 -1 4202560 14909 0 0 0 64 4 0 0 20 0 15 0 245633588 14422839296 22226 33554432000 4194304 4196468 140730169477856 140364648365936 140364644177053 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12334] ppid=12328 vsize=14084804 memory=1283939 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12334/stat : 12334 (java) S 12328 12331 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245633589 14422839296 22226 33554432000 4194304 4196468 140730169477856 140364574243600 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12335] ppid=12328 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12335/stat : 12335 (java) S 12328 12331 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245633589 14422839296 22226 33554432000 4194304 4196468 140730169477856 140364573191056 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12336] ppid=12328 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12336/stat : 12336 (java) S 12328 12331 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245633589 14422839296 22226 33554432000 4194304 4196468 140730169477856 140364572138512 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12337] ppid=12328 vsize=14084804 memory=7809523229951467572 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12337/stat : 12337 (java) S 12328 12331 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245633589 14422839296 22226 33554432000 4194304 4196468 140730169477856 140364571085968 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12338] ppid=12328 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12338/stat : 12338 (java) S 12328 12331 10014 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245633590 14422839296 22226 33554432000 4194304 4196468 140730169477856 140364118190064 140364644166274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12339] ppid=12328 vsize=14084804 memory=9050152349273784493 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12339/stat : 12339 (java) S 12328 12331 10014 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245633590 14422839296 22226 33554432000 4194304 4196468 140730169477856 140364117136288 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12340] ppid=12328 vsize=14084804 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12340/stat : 12340 (java) S 12328 12331 10014 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245633591 14422839296 22226 33554432000 4194304 4196468 140730169477856 140364116083696 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12341] ppid=12328 vsize=14084804 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12341/stat : 12341 (java) S 12328 12331 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245633593 14422839296 22226 33554432000 4194304 4196468 140730169477856 140364115032272 140364644173723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12342] ppid=12328 vsize=14084804 memory=6944656575208382560 CPUtime=0.08 cores=1,3,5,7
/proc/12331/task/12342/stat : 12342 (java) S 12328 12331 10014 0 -1 1077944384 567 0 0 0 8 0 0 0 20 0 15 0 245633593 14422839296 22226 33554432000 4194304 4196468 140730169477856 140364113979888 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12343] ppid=12328 vsize=14084804 memory=6943526294502006880 CPUtime=0.06 cores=1,3,5,7
/proc/12331/task/12343/stat : 12343 (java) S 12328 12331 10014 0 -1 1077944384 362 0 0 0 6 0 0 0 20 0 15 0 245633593 14422839296 22226 33554432000 4194304 4196468 140730169477856 140364112927344 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12344] ppid=12328 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/12331/task/12344/stat : 12344 (java) S 12328 12331 10014 0 -1 1077944384 399 0 0 0 15 0 0 0 20 0 15 0 245633593 14422839296 22226 33554432000 4194304 4196468 140730169477856 140364111874800 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12345] ppid=12328 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12345/stat : 12345 (java) S 12328 12331 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245633593 14422839296 22226 33554432000 4194304 4196468 140730169477856 140364110822496 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12346] ppid=12328 vsize=14084804 memory=1860 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12346/stat : 12346 (java) S 12328 12331 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245633593 14422839296 22226 33554432000 4194304 4196468 140730169477856 140364109769008 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88904 KiB

[startup+1.50313 s]
/proc/loadavg: 1.27 1.32 1.38 6/215 12346
/proc/meminfo: memFree=23784916/32770624 swapFree=67059120/67108860
[pid=12331] ppid=12328 vsize=14088900 memory=227432 CPUtime=3.45 cores=1,3,5,7
/proc/12331/stat : 12331 (java) S 12328 12331 10014 0 -1 1077944320 27548 0 0 0 335 10 0 0 20 0 15 0 245633587 14427033600 56858 33554432000 4194304 4196468 140730169477856 140730169460400 140364644155127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
/proc/12331/statm: 3522225 56858 3563 1 0 3484297 0
[pid=12331/tid=12333] ppid=12328 vsize=14088900 memory=12902 CPUtime=1.46 cores=1,3,5,7
/proc/12331/task/12333/stat : 12333 (java) R 12328 12331 10014 0 -1 4202560 17469 0 0 0 140 6 0 0 20 0 15 0 245633588 14427033600 56858 33554432000 4194304 4196468 140730169477856 140364648389632 140364250772034 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12334] ppid=12328 vsize=14088900 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12334/stat : 12334 (java) S 12328 12331 10014 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 245633589 14427033600 56858 33554432000 4194304 4196468 140730169477856 140364574243600 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12335] ppid=12328 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12335/stat : 12335 (java) S 12328 12331 10014 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 245633589 14427033600 56858 33554432000 4194304 4196468 140730169477856 140364573191056 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12336] ppid=12328 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12336/stat : 12336 (java) S 12328 12331 10014 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 15 0 245633589 14427033600 56858 33554432000 4194304 4196468 140730169477856 140364572138512 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12337] ppid=12328 vsize=14088900 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12337/stat : 12337 (java) S 12328 12331 10014 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 245633589 14427033600 56858 33554432000 4194304 4196468 140730169477856 140364571085968 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12338] ppid=12328 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7

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

/proc/12331/task/12333/stat : 12333 (java) R 12328 12331 10014 0 -1 4202560 66593 0 0 0 237208 39 0 0 20 0 15 0 245633588 14429130752 303161 33554432000 4194304 4196468 140730169477856 140364648393376 140364258025928 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12334] ppid=12328 vsize=14090948 memory=1212644 CPUtime=6.02 cores=1,3,5,7
/proc/12331/task/12334/stat : 12334 (java) S 12328 12331 10014 0 -1 1077944384 15577 0 0 0 579 23 0 0 20 0 15 0 245633589 14429130752 303161 33554432000 4194304 4196468 140730169477856 140364574243600 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12335] ppid=12328 vsize=14090948 memory=1212648 CPUtime=5.99 cores=1,3,5,7
/proc/12331/task/12335/stat : 12335 (java) S 12328 12331 10014 0 -1 1077944384 12423 0 0 0 574 25 0 0 20 0 15 0 245633589 14429130752 303161 33554432000 4194304 4196468 140730169477856 140364573191056 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12336] ppid=12328 vsize=14090948 memory=602 CPUtime=6.01 cores=1,3,5,7
/proc/12331/task/12336/stat : 12336 (java) S 12328 12331 10014 0 -1 1077944384 13248 0 0 0 576 25 0 0 20 0 15 0 245633589 14429130752 303161 33554432000 4194304 4196468 140730169477856 140364572138512 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12337] ppid=12328 vsize=14090948 memory=1212644 CPUtime=6.01 cores=1,3,5,7
/proc/12331/task/12337/stat : 12337 (java) S 12328 12331 10014 0 -1 1077944384 14736 0 0 0 575 26 0 0 20 0 15 0 245633589 14429130752 303161 33554432000 4194304 4196468 140730169477856 140364571085968 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12338] ppid=12328 vsize=14090948 memory=1212644 CPUtime=2.09 cores=1,3,5,7
/proc/12331/task/12338/stat : 12338 (java) S 12328 12331 10014 0 -1 1077944384 12811 0 0 0 187 22 0 0 20 0 15 0 245633590 14429130752 303161 33554432000 4194304 4196468 140730169477856 140364118190064 140364644166274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12339] ppid=12328 vsize=14090948 memory=1215220 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12339/stat : 12339 (java) S 12328 12331 10014 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 245633590 14429130752 303161 33554432000 4194304 4196468 140730169477856 140364117136352 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12340] ppid=12328 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12340/stat : 12340 (java) S 12328 12331 10014 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 245633591 14429130752 303161 33554432000 4194304 4196468 140730169477856 140364116083712 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12341] ppid=12328 vsize=14090948 memory=65664 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12341/stat : 12341 (java) S 12328 12331 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245633593 14429130752 303161 33554432000 4194304 4196468 140730169477856 140364115032272 140364644173723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12342] ppid=12328 vsize=14090948 memory=780 CPUtime=3.44 cores=1,3,5,7
/proc/12331/task/12342/stat : 12342 (java) S 12328 12331 10014 0 -1 1077944384 11940 0 0 0 342 2 0 0 20 0 15 0 245633593 14429130752 303161 33554432000 4194304 4196468 140730169477856 140364113979888 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12343] ppid=12328 vsize=14090948 memory=1948 CPUtime=3.24 cores=1,3,5,7
/proc/12331/task/12343/stat : 12343 (java) S 12328 12331 10014 0 -1 1077944384 14224 0 0 0 323 1 0 0 20 0 15 0 245633593 14429130752 303161 33554432000 4194304 4196468 140730169477856 140364112927344 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12344] ppid=12328 vsize=14090948 memory=1328 CPUtime=1.19 cores=1,3,5,7
/proc/12331/task/12344/stat : 12344 (java) S 12328 12331 10014 0 -1 1077944384 16655 0 0 0 117 2 0 0 20 0 15 0 245633593 14429130752 303161 33554432000 4194304 4196468 140730169477856 140364111874800 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12345] ppid=12328 vsize=14090948 memory=1212644 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12345/stat : 12345 (java) S 12328 12331 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245633593 14429130752 303161 33554432000 4194304 4196468 140730169477856 140364110822496 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12346] ppid=12328 vsize=14090948 memory=2076 CPUtime=1.08 cores=1,3,5,7
/proc/12331/task/12346/stat : 12346 (java) S 12328 12331 10014 0 -1 1077944384 2038 0 0 0 44 64 0 0 20 0 15 0 245633593 14429130752 303161 33554432000 4194304 4196468 140730169477856 140364109769008 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
Current children cumulated CPU time: 2407.66 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1212644 KiB

[startup+2442.3 s]
/proc/loadavg: 1.29 1.28 1.33 3/215 12496
/proc/meminfo: memFree=22793196/32770624 swapFree=67059120/67108860
[pid=12331] ppid=12328 vsize=14090948 memory=1214692 CPUtime=2468.2 cores=1,3,5,7
/proc/12331/stat : 12331 (java) S 12328 12331 10014 0 -1 1077944320 183918 0 0 0 246607 213 0 0 20 0 15 0 245633587 14429130752 303673 33554432000 4194304 4196468 140730169477856 140730169460400 140364644155127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
/proc/12331/statm: 3522737 303673 3596 1 0 3484809 0
[pid=12331/tid=12333] ppid=12328 vsize=14090948 memory=1214692 CPUtime=2432.15 cores=1,3,5,7
/proc/12331/task/12333/stat : 12333 (java) R 12328 12331 10014 0 -1 4202560 67236 0 0 0 243175 40 0 0 20 0 15 0 245633588 14429130752 303673 33554432000 4194304 4196468 140730169477856 140364648393216 140364248703130 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12334] ppid=12328 vsize=14090948 memory=1212644 CPUtime=6.21 cores=1,3,5,7
/proc/12331/task/12334/stat : 12334 (java) S 12328 12331 10014 0 -1 1077944384 15585 0 0 0 597 24 0 0 20 0 15 0 245633589 14429130752 303673 33554432000 4194304 4196468 140730169477856 140364574243600 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12335] ppid=12328 vsize=14090948 memory=1214692 CPUtime=6.19 cores=1,3,5,7
/proc/12331/task/12335/stat : 12335 (java) S 12328 12331 10014 0 -1 1077944384 13066 0 0 0 593 26 0 0 20 0 15 0 245633589 14429130752 303673 33554432000 4194304 4196468 140730169477856 140364573191056 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12336] ppid=12328 vsize=14090948 memory=1214692 CPUtime=6.2 cores=1,3,5,7
/proc/12331/task/12336/stat : 12336 (java) S 12328 12331 10014 0 -1 1077944384 13529 0 0 0 595 25 0 0 20 0 15 0 245633589 14429130752 303673 33554432000 4194304 4196468 140730169477856 140364572138512 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12337] ppid=12328 vsize=14090948 memory=1214692 CPUtime=6.2 cores=1,3,5,7
/proc/12331/task/12337/stat : 12337 (java) S 12328 12331 10014 0 -1 1077944384 14996 0 0 0 593 27 0 0 20 0 15 0 245633589 14429130752 303673 33554432000 4194304 4196468 140730169477856 140364571085968 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12338] ppid=12328 vsize=14090948 memory=1214692 CPUtime=2.17 cores=1,3,5,7
/proc/12331/task/12338/stat : 12338 (java) S 12328 12331 10014 0 -1 1077944384 13154 0 0 0 194 23 0 0 20 0 15 0 245633590 14429130752 303673 33554432000 4194304 4196468 140730169477856 140364118190064 140364644166274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12339] ppid=12328 vsize=14090948 memory=1214692 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12339/stat : 12339 (java) S 12328 12331 10014 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 245633590 14429130752 303673 33554432000 4194304 4196468 140730169477856 140364117136352 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12340] ppid=12328 vsize=14090948 memory=1214692 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12340/stat : 12340 (java) S 12328 12331 10014 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 245633591 14429130752 303673 33554432000 4194304 4196468 140730169477856 140364116083712 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12341] ppid=12328 vsize=14090948 memory=1214692 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12341/stat : 12341 (java) S 12328 12331 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245633593 14429130752 303673 33554432000 4194304 4196468 140730169477856 140364115032272 140364644173723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12342] ppid=12328 vsize=14090948 memory=1214692 CPUtime=3.44 cores=1,3,5,7
/proc/12331/task/12342/stat : 12342 (java) S 12328 12331 10014 0 -1 1077944384 11944 0 0 0 342 2 0 0 20 0 15 0 245633593 14429130752 303673 33554432000 4194304 4196468 140730169477856 140364113979888 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12343] ppid=12328 vsize=14090948 memory=1214692 CPUtime=3.24 cores=1,3,5,7
/proc/12331/task/12343/stat : 12343 (java) S 12328 12331 10014 0 -1 1077944384 14228 0 0 0 323 1 0 0 20 0 15 0 245633593 14429130752 303673 33554432000 4194304 4196468 140730169477856 140364112927344 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12344] ppid=12328 vsize=14090948 memory=1214692 CPUtime=1.19 cores=1,3,5,7
/proc/12331/task/12344/stat : 12344 (java) S 12328 12331 10014 0 -1 1077944384 16659 0 0 0 117 2 0 0 20 0 15 0 245633593 14429130752 303673 33554432000 4194304 4196468 140730169477856 140364111874800 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12345] ppid=12328 vsize=14090948 memory=2588 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12345/stat : 12345 (java) S 12328 12331 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245633593 14429130752 303673 33554432000 4194304 4196468 140730169477856 140364110822496 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12346] ppid=12328 vsize=14090948 memory=6791534058613427641 CPUtime=1.11 cores=1,3,5,7
/proc/12331/task/12346/stat : 12346 (java) S 12328 12331 10014 0 -1 1077944384 2064 0 0 0 45 66 0 0 20 0 15 0 245633593 14429130752 303673 33554432000 4194304 4196468 140730169477856 140364109769008 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
Current children cumulated CPU time: 2468.2 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1214692 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2493.7 s]
/proc/loadavg: 1.41 1.31 1.34 3/215 12496
/proc/meminfo: memFree=22791264/32770624 swapFree=67059120/67108860
[pid=12331] ppid=12328 vsize=14090948 memory=1216740 CPUtime=2520.05 cores=1,3,5,7
/proc/12331/stat : 12331 (java) S 12328 12331 10014 0 -1 1077944320 185452 0 0 0 251789 216 0 0 20 0 15 0 245633587 14429130752 304185 33554432000 4194304 4196468 140730169477856 140730169460400 140364644155127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
/proc/12331/statm: 3522737 304185 3596 1 0 3484809 0
[pid=12331/tid=12333] ppid=12328 vsize=14090948 memory=1216740 CPUtime=2483.29 cores=1,3,5,7
/proc/12331/task/12333/stat : 12333 (java) R 12328 12331 10014 0 -1 4202560 67820 0 0 0 248289 40 0 0 20 0 15 0 245633588 14429130752 304185 33554432000 4194304 4196468 140730169477856 140364648393184 140364252327994 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12334] ppid=12328 vsize=14090948 memory=1216740 CPUtime=6.37 cores=1,3,5,7
/proc/12331/task/12334/stat : 12334 (java) S 12328 12331 10014 0 -1 1077944384 15590 0 0 0 613 24 0 0 20 0 15 0 245633589 14429130752 304185 33554432000 4194304 4196468 140730169477856 140364574243600 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12335] ppid=12328 vsize=14090948 memory=1216740 CPUtime=6.34 cores=1,3,5,7
/proc/12331/task/12335/stat : 12335 (java) S 12328 12331 10014 0 -1 1077944384 13091 0 0 0 608 26 0 0 20 0 15 0 245633589 14429130752 304185 33554432000 4194304 4196468 140730169477856 140364573191056 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12336] ppid=12328 vsize=14090948 memory=1216740 CPUtime=6.35 cores=1,3,5,7
/proc/12331/task/12336/stat : 12336 (java) S 12328 12331 10014 0 -1 1077944384 13962 0 0 0 610 25 0 0 20 0 15 0 245633589 14429130752 304185 33554432000 4194304 4196468 140730169477856 140364572138512 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12337] ppid=12328 vsize=14090948 memory=1216740 CPUtime=6.36 cores=1,3,5,7
/proc/12331/task/12337/stat : 12337 (java) S 12328 12331 10014 0 -1 1077944384 15286 0 0 0 608 28 0 0 20 0 15 0 245633589 14429130752 304185 33554432000 4194304 4196468 140730169477856 140364571085968 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12338] ppid=12328 vsize=14090948 memory=1216740 CPUtime=2.23 cores=1,3,5,7
/proc/12331/task/12338/stat : 12338 (java) S 12328 12331 10014 0 -1 1077944384 13330 0 0 0 200 23 0 0 20 0 15 0 245633590 14429130752 304185 33554432000 4194304 4196468 140730169477856 140364118190064 140364644166274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12339] ppid=12328 vsize=14090948 memory=1216740 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12339/stat : 12339 (java) S 12328 12331 10014 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 245633590 14429130752 304185 33554432000 4194304 4196468 140730169477856 140364117136352 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12340] ppid=12328 vsize=14090948 memory=1216740 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12340/stat : 12340 (java) S 12328 12331 10014 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 245633591 14429130752 304185 33554432000 4194304 4196468 140730169477856 140364116083712 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12341] ppid=12328 vsize=14090948 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12341/stat : 12341 (java) S 12328 12331 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245633593 14429130752 304185 33554432000 4194304 4196468 140730169477856 140364115032272 140364644173723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12342] ppid=12328 vsize=14090948 memory=1216740 CPUtime=3.44 cores=1,3,5,7
/proc/12331/task/12342/stat : 12342 (java) S 12328 12331 10014 0 -1 1077944384 11946 0 0 0 342 2 0 0 20 0 15 0 245633593 14429130752 304185 33554432000 4194304 4196468 140730169477856 140364113979888 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12343] ppid=12328 vsize=14090948 memory=1216740 CPUtime=3.24 cores=1,3,5,7
/proc/12331/task/12343/stat : 12343 (java) S 12328 12331 10014 0 -1 1077944384 14230 0 0 0 323 1 0 0 20 0 15 0 245633593 14429130752 304185 33554432000 4194304 4196468 140730169477856 140364112927344 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12344] ppid=12328 vsize=14090948 memory=1860 CPUtime=1.19 cores=1,3,5,7
/proc/12331/task/12344/stat : 12344 (java) S 12328 12331 10014 0 -1 1077944384 16661 0 0 0 117 2 0 0 20 0 15 0 245633593 14429130752 304185 33554432000 4194304 4196468 140730169477856 140364111874800 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12345] ppid=12328 vsize=14090948 memory=35424 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12345/stat : 12345 (java) S 12328 12331 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245633593 14429130752 304185 33554432000 4194304 4196468 140730169477856 140364110822496 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12346] ppid=12328 vsize=14090948 memory=1216740 CPUtime=1.13 cores=1,3,5,7
/proc/12331/task/12346/stat : 12346 (java) S 12328 12331 10014 0 -1 1077944384 2079 0 0 0 46 67 0 0 20 0 15 0 245633593 14429130752 304185 33554432000 4194304 4196468 140730169477856 140364109769008 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1216740 KiB

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

[startup+2493.73 s]
# the end of solver process 12331 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.93 s, system=2.16795 s

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

[startup+2493.7 s]
/proc/loadavg: 1.41 1.31 1.34 3/215 12496
/proc/meminfo: memFree=22791264/32770624 swapFree=67059120/67108860
[pid=12331] ppid=12328 vsize=14090948 memory=1216740 CPUtime=2520.05 cores=1,3,5,7
/proc/12331/stat : 12331 (java) S 12328 12331 10014 0 -1 1077944320 185452 0 0 0 251789 216 0 0 20 0 15 0 245633587 14429130752 304185 33554432000 4194304 4196468 140730169477856 140730169460400 140364644155127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
/proc/12331/statm: 3522737 304185 3596 1 0 3484809 0
[pid=12331/tid=12333] ppid=12328 vsize=14090948 memory=1216740 CPUtime=2483.29 cores=1,3,5,7
/proc/12331/task/12333/stat : 12333 (java) R 12328 12331 10014 0 -1 4202560 67820 0 0 0 248289 40 0 0 20 0 15 0 245633588 14429130752 304185 33554432000 4194304 4196468 140730169477856 140364648393184 140364252327994 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12334] ppid=12328 vsize=14090948 memory=1216740 CPUtime=6.37 cores=1,3,5,7
/proc/12331/task/12334/stat : 12334 (java) S 12328 12331 10014 0 -1 1077944384 15590 0 0 0 613 24 0 0 20 0 15 0 245633589 14429130752 304185 33554432000 4194304 4196468 140730169477856 140364574243600 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12335] ppid=12328 vsize=14090948 memory=1216740 CPUtime=6.34 cores=1,3,5,7
/proc/12331/task/12335/stat : 12335 (java) S 12328 12331 10014 0 -1 1077944384 13091 0 0 0 608 26 0 0 20 0 15 0 245633589 14429130752 304185 33554432000 4194304 4196468 140730169477856 140364573191056 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12336] ppid=12328 vsize=14090948 memory=1216740 CPUtime=6.35 cores=1,3,5,7
/proc/12331/task/12336/stat : 12336 (java) S 12328 12331 10014 0 -1 1077944384 13962 0 0 0 610 25 0 0 20 0 15 0 245633589 14429130752 304185 33554432000 4194304 4196468 140730169477856 140364572138512 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12337] ppid=12328 vsize=14090948 memory=1216740 CPUtime=6.36 cores=1,3,5,7
/proc/12331/task/12337/stat : 12337 (java) S 12328 12331 10014 0 -1 1077944384 15286 0 0 0 608 28 0 0 20 0 15 0 245633589 14429130752 304185 33554432000 4194304 4196468 140730169477856 140364571085968 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12338] ppid=12328 vsize=14090948 memory=1216740 CPUtime=2.23 cores=1,3,5,7
/proc/12331/task/12338/stat : 12338 (java) S 12328 12331 10014 0 -1 1077944384 13330 0 0 0 200 23 0 0 20 0 15 0 245633590 14429130752 304185 33554432000 4194304 4196468 140730169477856 140364118190064 140364644166274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12339] ppid=12328 vsize=14090948 memory=1216740 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12339/stat : 12339 (java) S 12328 12331 10014 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 245633590 14429130752 304185 33554432000 4194304 4196468 140730169477856 140364117136352 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12340] ppid=12328 vsize=14090948 memory=1216740 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12340/stat : 12340 (java) S 12328 12331 10014 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 245633591 14429130752 304185 33554432000 4194304 4196468 140730169477856 140364116083712 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12341] ppid=12328 vsize=14090948 memory=3544 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12341/stat : 12341 (java) S 12328 12331 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245633593 14429130752 304185 33554432000 4194304 4196468 140730169477856 140364115032272 140364644173723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12342] ppid=12328 vsize=14090948 memory=1216740 CPUtime=3.44 cores=1,3,5,7
/proc/12331/task/12342/stat : 12342 (java) S 12328 12331 10014 0 -1 1077944384 11946 0 0 0 342 2 0 0 20 0 15 0 245633593 14429130752 304185 33554432000 4194304 4196468 140730169477856 140364113979888 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12343] ppid=12328 vsize=14090948 memory=1216740 CPUtime=3.24 cores=1,3,5,7
/proc/12331/task/12343/stat : 12343 (java) S 12328 12331 10014 0 -1 1077944384 14230 0 0 0 323 1 0 0 20 0 15 0 245633593 14429130752 304185 33554432000 4194304 4196468 140730169477856 140364112927344 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12344] ppid=12328 vsize=14090948 memory=1860 CPUtime=1.19 cores=1,3,5,7
/proc/12331/task/12344/stat : 12344 (java) S 12328 12331 10014 0 -1 1077944384 16661 0 0 0 117 2 0 0 20 0 15 0 245633593 14429130752 304185 33554432000 4194304 4196468 140730169477856 140364111874800 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12345] ppid=12328 vsize=14090948 memory=35424 CPUtime=0 cores=1,3,5,7
/proc/12331/task/12345/stat : 12345 (java) S 12328 12331 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245633593 14429130752 304185 33554432000 4194304 4196468 140730169477856 140364110822496 140364644165333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
[pid=12331/tid=12346] ppid=12328 vsize=14090948 memory=1216740 CPUtime=1.13 cores=1,3,5,7
/proc/12331/task/12346/stat : 12346 (java) S 12328 12331 10014 0 -1 1077944384 2079 0 0 0 46 67 0 0 20 0 15 0 245633593 14429130752 304185 33554432000 4194304 4196468 140730169477856 140364109769008 140364644166274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 29212672 140730169480264 140730169480457 140730169480457 140730169483215 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1216740 KiB

Child status: 143
Real time (s): 2493.73
CPU time (s): 2520.1
CPU user time (s): 2517.93
CPU system time (s): 2.16795
CPU usage (%): 101.057
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 1755112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.93
system time used= 2.16795
maximum resident set size= 1756724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185943
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112842
involuntary context switches= 4146


# summary of solver processes directly reported to runsolver:
#   pid: 12331
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2517.93
#   total CPU system time (s): 2.16795

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9101 second user time and 21.8554 second system time

The end

Launcher Data 

Begin job on node103 at 2018-08-14 23:05:04
IDJOB=4308295
IDBENCH=141195
IDSOLVER=2791
FILE ID=node103/4308295-1534280704
RUNJOBID= node103-1534258226-10046
PBS_JOBID= 21038130
Free space on /tmp= 37304 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-12-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-4308295-1534280704/watcher-4308295-1534280704 -o /tmp/evaluation-result-4308295-1534280704/solver-4308295-1534280704 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534258226-10046 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1764888574 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308295-1534280704.xml

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

MD5SUM BENCH= 6121a94880b1ccb1614ec86f716938fa
RANDOM SEED=1764888574

node103.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.48
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.48
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.48
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.48
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:        23907744 kB
MemAvailable:   31653736 kB
Buffers:          176884 kB
Cached:          7762504 kB
SwapCached:         5156 kB
Active:          4517652 kB
Inactive:        3725880 kB
Active(anon):     296216 kB
Inactive(anon):    59304 kB
Active(file):    4221436 kB
Inactive(file):  3666576 kB
Unevictable:        7768 kB
Mlocked:            7768 kB
SwapTotal:      67108860 kB
SwapFree:       67059120 kB
Dirty:             36072 kB
Writeback:             0 kB
AnonPages:        307240 kB
Mapped:            66464 kB
Shmem:             48716 kB
Slab:             315408 kB
SReclaimable:     286440 kB
SUnreclaim:        28968 kB
KernelStack:        3504 kB
PageTables:         6120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1223464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    272384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 37268 MiB
End job on node103 at 2018-08-14 23:46:38