Trace number 4309287

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 - Parallel with EPS 2018-08-14SAT (TO)241978164 19917.7 2520.39

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-18-0350_c18.xml
MD5SUM970c879d9e656f0525c6818b69538b39
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark162507055
Best CPU time to get the best result obtained on this benchmark2436.88
Satisfiable
(Un)Satisfiability was proved
Number of variables4976
Number of constraints3812
Number of domains49
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":4},{"size":2,"count":1771},{"size":11,"count":1425},{"size":12,"count":1},{"size":21,"count":54},{"size":22,"count":3},{"size":26,"count":5},{"size":27,"count":67},{"size":35,"count":51},{"size":41,"count":8},{"size":42,"count":5},{"size":43,"count":24},{"size":46,"count":13},{"size":47,"count":27},{"size":49,"count":29},{"size":55,"count":18},{"size":69,"count":6},{"size":75,"count":20},{"size":78,"count":3},{"size":82,"count":2},{"size":83,"count":66},{"size":85,"count":10},{"size":86,"count":78},{"size":88,"count":4},{"size":103,"count":37},{"size":111,"count":78},{"size":123,"count":7},{"size":129,"count":11},{"size":134,"count":14},{"size":135,"count":123},{"size":142,"count":28},{"size":143,"count":195},{"size":150,"count":69},{"size":151,"count":720}]
Minimum variable degree2
Maximum variable degree1426
Distribution of variable degrees[{"degree":2,"count":4277},{"degree":3,"count":4},{"degree":4,"count":14},{"degree":5,"count":20},{"degree":6,"count":25},{"degree":7,"count":40},{"degree":8,"count":48},{"degree":9,"count":61},{"degree":10,"count":81},{"degree":11,"count":74},{"degree":12,"count":95},{"degree":13,"count":88},{"degree":14,"count":68},{"degree":15,"count":55},{"degree":16,"count":21},{"degree":17,"count":4},{"degree":1426,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":962},{"arity":3,"count":1425},{"arity":6,"count":1425}]
Number of extensional constraints1425
Number of intensional constraints2387
Distribution of constraint types[{"type":"extension","count":1425},{"type":"intension","count":2387}]
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.67/0.55	c version: 2018-08-14
0.67/0.55	c seed: 2080779646
0.67/0.55	c timeout: 20160
0.67/0.55	c memlimit: 22000
0.67/0.55	c nbcore: 8
0.67/0.58	c Parsing instance...
21.34/11.31	c Parsing done, starting search...
314.64/60.94	o 242562796
315.46/61.07	o 242562795
316.23/61.16	o 242562788
317.00/61.21	o 242548536
317.00/61.23	o 242548528
317.00/61.27	o 242534276
317.00/61.29	o 242534268
318.62/61.47	o 242520023
318.62/61.49	o 242520015
319.38/61.52	o 242520008
319.38/61.56	o 242505781
319.38/61.58	o 242505773
319.38/61.59	o 242505772
320.11/61.60	o 242505766
320.11/61.62	o 242505764
320.11/61.65	o 242505757
320.11/61.67	o 242505755
320.11/61.69	o 242505748
320.92/61.73	o 242491521
320.92/61.74	o 242491503
320.92/61.75	o 242491502
320.92/61.76	o 242491495
320.92/61.78	o 242491488
321.69/61.83	o 242477261
321.69/61.83	o 242477243
321.69/61.85	o 242477242
321.69/61.86	o 242477237
321.69/61.87	o 242477235
321.69/61.89	o 242477228
322.38/61.93	o 242463001
322.38/61.94	o 242462992
322.38/61.96	o 242462986
322.38/61.97	o 242462985
322.38/61.97	o 242462984
322.38/61.99	o 242462977
323.16/62.01	o 242462976
323.16/62.03	o 242462975
323.16/62.04	o 242462968
323.16/62.08	o 242448741
323.16/62.08	o 242448740
323.16/62.09	o 242448734
323.16/62.09	o 242448732
323.92/62.11	o 242448725
323.92/62.13	o 242448724
323.92/62.13	o 242448723
323.92/62.14	o 242448717
323.92/62.15	o 242448716
323.92/62.16	o 242448715
323.92/62.18	o 242448708
324.73/62.21	o 242434481
324.73/62.22	o 242434472
324.73/62.24	o 242434465
324.73/62.25	o 242434464
324.73/62.27	o 242434457
324.73/62.28	o 242434456
324.73/62.29	o 242434455
325.53/62.32	o 242434448
325.53/62.36	o 242420232
325.53/62.37	o 242420229
325.53/62.38	o 242420227
325.53/62.39	o 242420220
325.53/62.40	o 242420211
326.31/62.41	o 242420203
326.31/62.43	o 242420196
326.31/62.45	o 242420193
326.31/62.47	o 242420188
327.09/62.52	o 242405960
327.09/62.54	o 242405953
327.09/62.56	o 242405951
327.09/62.57	o 242405949
327.09/62.58	o 242405944
327.09/62.59	o 242405941
327.84/62.61	o 242405936
327.84/62.62	o 242405933
327.84/62.64	o 242405928
327.84/62.68	o 242391709
327.84/62.69	o 242391705
327.84/62.70	o 242391703
327.84/62.71	o 242391701
328.75/62.72	o 242391700
328.75/62.72	o 242391692
328.75/62.74	o 242391690
328.75/62.74	o 242391685
328.75/62.76	o 242391684
328.75/62.76	o 242391681
328.75/62.77	o 242391679
328.75/62.78	o 242391676
328.75/62.80	o 242391673
329.46/62.82	o 242391671
329.46/62.83	o 242391668
329.46/62.87	o 242377454
329.46/62.88	o 242377446
329.46/62.89	o 242377445
329.46/62.89	o 242377443
330.17/62.91	o 242377437
330.17/62.92	o 242377430
330.17/62.93	o 242377428
330.17/62.95	o 242377426
330.17/62.95	o 242377425
330.17/62.96	o 242377422
330.17/62.97	o 242377420
330.17/62.99	o 242377417
330.98/63.03	o 242363226
330.98/63.04	o 242363222
330.98/63.05	o 242363220
330.98/63.05	o 242363208
330.98/63.06	o 242363204
330.98/63.06	o 242363200
330.98/63.07	o 242363199
330.98/63.08	o 242363196
330.98/63.09	o 242363194
330.98/63.09	o 242363193
330.98/63.09	o 242363191
331.71/63.11	o 242363184
331.71/63.12	o 242363183
331.71/63.13	o 242363182
331.71/63.14	o 242363180
331.71/63.14	o 242363178
331.71/63.15	o 242363175
331.71/63.18	o 242363174
331.71/63.19	o 242363172
332.51/63.20	o 242363170
332.51/63.21	o 242363167
413.75/73.45	o 242363165
413.75/73.46	o 242363158
413.75/73.48	o 242348948
413.75/73.49	o 242348940
413.75/73.50	o 242348939
414.55/73.51	o 242348932
414.55/73.52	o 242348925
414.55/73.53	o 242348924
414.55/73.54	o 242348923
414.55/73.55	o 242348916
414.55/73.57	o 242348914
414.55/73.58	o 242348907
547.60/90.22	o 242334689
547.60/90.23	o 242334685
547.60/90.24	o 242334683
547.60/90.25	o 242334680
547.60/90.26	o 242334677
547.60/90.27	o 242334675
547.60/90.28	o 242334672
547.60/90.29	o 242334668
547.60/90.30	o 242334666
548.43/90.31	o 242334663
548.43/90.33	o 242334662
548.43/90.34	o 242334661
548.43/90.36	o 242334659
548.43/90.37	o 242334657
548.43/90.38	o 242334654
548.43/90.40	o 242334652
548.43/90.40	o 242334650
549.24/90.42	o 242334647
648.83/102.93	o 242320445
648.83/102.94	o 242320441
648.83/102.96	o 242320439
648.83/102.97	o 242320436
648.83/102.98	o 242320435
648.83/102.99	o 242320433
648.83/103.00	o 242320431
649.65/103.01	o 242320428
649.65/103.02	o 242320427
649.65/103.03	o 242320424
649.65/103.04	o 242320422
649.65/103.05	o 242320419
649.65/103.06	o 242320418
649.65/103.07	o 242320415
649.65/103.09	o 242320413
649.65/103.10	o 242320410
650.45/103.11	o 242320408
650.45/103.12	o 242320406
650.45/103.13	o 242320403
650.45/103.15	o 242320402
650.45/103.15	o 242320401
650.45/103.17	o 242320400
650.45/103.18	o 242320398
650.45/103.19	o 242320395
651.22/103.22	o 242320394
651.22/103.23	o 242320393
651.22/103.23	o 242320392
651.22/103.24	o 242320390
651.22/103.25	o 242320387
654.41/103.70	o 242320386
654.41/103.72	o 242306185
655.27/103.73	o 242306181
655.27/103.74	o 242306179
655.27/103.75	o 242306176
655.27/103.75	o 242306174
655.27/103.76	o 242306169
655.27/103.77	o 242306168
655.27/103.78	o 242306167
655.27/103.79	o 242306165
655.27/103.79	o 242306160
655.27/103.80	o 242306153
655.27/103.81	o 242306152
655.27/103.82	o 242306149
656.25/103.83	o 242306147
656.25/103.85	o 242306146
656.25/103.85	o 242306144
656.25/103.86	o 242306143
656.25/103.87	o 242306140
656.25/103.88	o 242306138
656.25/103.90	o 242306135
656.77/103.98	o 242306133
657.57/104.01	o 242306132
657.57/104.02	o 242306130
657.57/104.03	o 242306127
664.75/104.92	o 242291933
664.75/104.93	o 242291929
664.75/104.94	o 242291927
664.75/104.95	o 242291924
664.75/104.95	o 242291920
664.75/104.96	o 242291918
664.75/104.97	o 242291915
664.75/104.98	o 242291914
664.75/104.99	o 242291912
664.75/105.00	o 242291909
665.59/105.01	o 242291908
665.59/105.01	o 242291906
665.59/105.02	o 242291905
665.59/105.03	o 242291903
665.59/105.04	o 242291900
665.59/105.05	o 242291899
665.59/105.05	o 242291898
665.59/105.06	o 242291896
665.59/105.07	o 242291893
665.59/105.09	o 242291892
665.59/105.10	o 242291891
666.35/105.11	o 242291890
666.35/105.12	o 242291888
666.35/105.13	o 242291885
666.35/105.18	o 242291884
666.35/105.19	o 242291883
667.13/105.20	o 242291882
667.13/105.21	o 242291880
667.13/105.21	o 242291877
669.56/105.55	o 242277675
669.56/105.56	o 242277671
669.56/105.57	o 242277669
669.56/105.58	o 242277666
669.56/105.59	o 242277663
669.56/105.59	o 242277661
669.56/105.60	o 242277658
670.40/105.61	o 242277654
670.40/105.62	o 242277652
670.40/105.63	o 242277649
670.40/105.65	o 242277648
670.40/105.66	o 242277645
670.40/105.67	o 242277643
670.40/105.68	o 242277640
670.40/105.69	o 242277638
670.40/105.70	o 242277636
671.19/105.71	o 242277633
671.19/105.72	o 242277632
671.19/105.74	o 242277630
671.19/105.75	o 242277628
671.19/105.75	o 242277625
671.19/105.77	o 242277623
671.19/105.80	o 242277622
671.19/105.80	o 242277620
671.99/105.82	o 242277617
680.67/106.95	o 242277616
680.67/106.97	o 242277615
680.67/106.98	o 242263398
680.67/106.99	o 242263394
680.67/106.99	o 242263392
680.67/107.00	o 242263389
681.51/107.01	o 242263387
681.51/107.02	o 242263385
681.51/107.03	o 242263382
681.51/107.04	o 242263380
681.51/107.05	o 242263378
681.51/107.06	o 242263376
681.51/107.06	o 242263373
681.51/107.08	o 242263372
681.51/107.09	o 242263371
682.26/107.10	o 242263370
682.26/107.11	o 242263368
682.26/107.11	o 242263365
682.26/107.14	o 242263364
682.26/107.15	o 242263362
682.26/107.16	o 242263360
682.26/107.17	o 242263357
690.24/108.11	o 242249155
690.24/108.11	o 242249151
690.24/108.12	o 242249149
690.24/108.13	o 242249146
690.24/108.14	o 242249145
690.24/108.14	o 242249143
690.24/108.15	o 242249141
690.24/108.17	o 242249138
690.24/108.18	o 242249137
690.24/108.19	o 242249134
691.03/108.20	o 242249132
691.03/108.21	o 242249129
691.03/108.22	o 242249128
691.03/108.23	o 242249125
691.03/108.24	o 242249123
691.03/108.25	o 242249120
691.03/108.26	o 242249118
691.03/108.27	o 242249116
691.03/108.29	o 242249113
691.85/108.31	o 242249111
691.85/108.33	o 242249110
691.85/108.34	o 242249108
691.85/108.36	o 242249105
691.85/108.37	o 242249103
691.85/108.39	o 242249102
692.63/108.40	o 242249100
692.63/108.41	o 242249097
699.80/109.35	o 242249096
699.80/109.40	o 242249095
700.60/109.41	o 242234878
700.60/109.41	o 242234874
700.60/109.42	o 242234872
700.60/109.43	o 242234869
700.60/109.44	o 242234867
700.60/109.45	o 242234865
700.60/109.45	o 242234862
700.60/109.46	o 242234860
700.60/109.47	o 242234858
700.60/109.48	o 242234856
700.60/109.49	o 242234853
700.60/109.50	o 242234852
701.44/109.51	o 242234850
701.44/109.52	o 242234848
701.44/109.53	o 242234845
703.04/109.79	o 242234844
703.04/109.80	o 242234842
703.84/109.81	o 242234840
703.84/109.82	o 242234837
706.15/110.17	o 242220645
706.15/110.18	o 242220641
706.15/110.19	o 242220639
706.15/110.20	o 242220636
707.01/110.22	o 242220635
707.01/110.23	o 242220633
707.01/110.24	o 242220631
707.01/110.25	o 242220628
707.01/110.26	o 242220627
707.01/110.26	o 242220624
707.01/110.27	o 242220622
707.01/110.28	o 242220619
707.01/110.29	o 242220618
707.74/110.30	o 242220617
707.74/110.31	o 242220615
707.74/110.31	o 242220613
707.74/110.33	o 242220610
707.74/110.35	o 242220608
707.74/110.35	o 242220606
707.74/110.36	o 242220603
707.74/110.38	o 242220601
708.53/110.40	o 242220600
708.53/110.41	o 242220598
708.53/110.42	o 242220595
708.53/110.45	o 242220593
708.53/110.47	o 242220592
708.53/110.48	o 242220590
708.53/110.50	o 242220587
710.99/110.77	o 242206386
710.99/110.78	o 242206382
710.99/110.79	o 242206380
710.99/110.80	o 242206377
710.99/110.81	o 242206374
710.99/110.81	o 242206372
711.84/110.82	o 242206369
711.84/110.83	o 242206365
711.84/110.85	o 242206363
711.84/110.85	o 242206360
711.84/110.86	o 242206358
711.84/110.87	o 242206356
711.84/110.88	o 242206353
711.84/110.89	o 242206351
712.51/110.92	o 242206350
712.51/110.93	o 242206348
712.51/110.94	o 242206345
712.51/110.97	o 242206343
712.51/110.99	o 242206342
712.51/111.00	o 242206340
713.39/111.01	o 242206337
753.15/116.07	o 242206336
753.15/116.09	o 242206335
753.15/116.10	o 242192118
753.98/116.11	o 242192114
753.98/116.11	o 242192112
753.98/116.12	o 242192109
753.98/116.12	o 242192105
753.98/116.13	o 242192103
753.98/116.14	o 242192100
753.98/116.14	o 242192098
753.98/116.16	o 242192096
753.98/116.17	o 242192093
753.98/116.18	o 242192092
753.98/116.19	o 242192090
753.98/116.19	o 242192088
754.75/116.20	o 242192085
754.75/116.22	o 242192084
754.75/116.23	o 242192082
754.75/116.24	o 242192080
754.75/116.25	o 242192077
775.55/118.85	o 242192075
775.55/118.90	o 242177866
776.28/118.91	o 242177862
776.28/118.92	o 242177860
776.28/118.92	o 242177857
776.28/118.93	o 242177854
776.28/118.94	o 242177852
776.28/118.94	o 242177849
776.28/118.95	o 242177845
776.28/118.96	o 242177843
776.28/118.97	o 242177840
776.28/118.99	o 242177838
776.28/118.99	o 242177836
777.09/119.00	o 242177833
777.09/119.04	o 242177831
777.09/119.06	o 242177830
777.09/119.07	o 242177828
777.09/119.07	o 242177825
777.86/119.17	o 242177823
778.66/119.21	o 242177822
778.66/119.22	o 242177820
778.66/119.23	o 242177817
963.58/142.43	o 242177816
963.58/142.45	o 242177815
963.58/142.46	o 242177814
963.58/142.47	o 242177812
963.58/142.48	o 242177810
963.58/142.49	o 242177807
964.43/142.52	o 242177806
964.43/142.54	o 242163612
964.43/142.55	o 242163608
964.43/142.55	o 242163606
964.43/142.56	o 242163603
964.43/142.57	o 242163601
964.43/142.57	o 242163599
964.43/142.58	o 242163596
964.43/142.59	o 242163594
964.43/142.59	o 242163592
964.43/142.60	o 242163590
964.43/142.60	o 242163587
965.22/142.61	o 242163585
965.22/142.62	o 242163584
965.22/142.63	o 242163582
965.22/142.63	o 242163579
965.22/142.64	o 242163578
965.22/142.65	o 242163577
965.22/142.66	o 242163575
965.22/142.67	o 242163572
965.22/142.68	o 242163571
965.22/142.69	o 242163570
965.22/142.70	o 242163569
965.22/142.70	o 242163567
965.22/142.70	o 242163564
965.22/142.72	o 242163563
966.15/142.73	o 242163562
966.15/142.74	o 242163561
966.15/142.75	o 242163560
966.15/142.76	o 242163558
966.15/142.77	o 242163555
966.15/142.79	o 242163554
966.15/142.79	o 242163552
966.15/142.80	o 242163550
966.15/142.81	o 242163547
1131.69/163.55	o 242163545
1131.69/163.56	o 242163542
1131.69/163.59	o 242163541
1132.52/163.61	o 242163539
1132.52/163.62	o 242163537
1132.52/163.63	o 242163534
1132.52/163.64	o 242163533
1219.39/174.59	o 242149354
1219.39/174.59	o 242149350
1220.22/174.60	o 242149348
1220.22/174.60	o 242149345
1220.22/174.61	o 242149341
1220.22/174.62	o 242149339
1220.22/174.63	o 242149336
1220.22/174.63	o 242149334
1220.22/174.64	o 242149332
1220.22/174.65	o 242149329
1220.22/174.66	o 242149327
1220.22/174.66	o 242149325
1220.22/174.67	o 242149323
1220.22/174.67	o 242149320
1220.22/174.68	o 242149319
1220.22/174.70	o 242149317
1220.22/174.71	o 242149315
1220.22/174.71	o 242149312
1220.22/174.72	o 242149311
1221.05/174.73	o 242149310
1221.05/174.74	o 242149308
1221.05/174.75	o 242149306
1221.05/174.76	o 242149303
1221.05/174.77	o 242149301
1221.05/174.79	o 242149300
1221.05/174.80	o 242149298
1221.05/174.81	o 242149295
1221.05/174.82	o 242149293
1221.97/174.83	o 242149290
1221.97/174.85	o 242149288
1221.97/174.86	o 242149287
1221.97/174.87	o 242149285
1221.97/174.88	o 242149282
1222.58/174.95	o 242149281
1222.58/174.97	o 242149280
1224.08/175.15	o 242149279
1224.08/175.16	o 242149277
1224.08/175.16	o 242149274
1224.08/175.18	o 242149273
1407.36/198.11	o 242149272
1407.36/198.13	o 242149271
1407.36/198.15	o 242149270
1407.36/198.16	o 242149268
1407.36/198.18	o 242149265
1408.17/198.22	o 242149264
2023.61/275.41	o 242135077
2023.61/275.42	o 242135073
2023.61/275.43	o 242135071
2023.61/275.44	o 242135068
2023.61/275.45	o 242135064
2023.61/275.45	o 242135062
2023.61/275.46	o 242135059
2023.61/275.47	o 242135057
2023.61/275.48	o 242135055
2023.61/275.48	o 242135052
2023.61/275.49	o 242135051
2023.61/275.50	o 242135049
2024.44/275.51	o 242135047
2024.44/275.51	o 242135044
2024.44/275.53	o 242135043
2024.44/275.54	o 242135042
2024.44/275.55	o 242135040
2024.44/275.55	o 242135038
2024.44/275.56	o 242135035
2024.44/275.59	o 242135034
2025.27/275.63	o 242135033
2025.27/275.64	o 242135032
2025.27/275.65	o 242135030
2025.27/275.65	o 242135028
2025.27/275.66	o 242135025
2025.27/275.71	o 242135023
2025.27/275.72	o 242135021
2026.13/275.73	o 242135018
2027.57/275.92	o 242135017
2027.57/275.93	o 242135015
2027.57/275.94	o 242135012
2027.57/275.95	o 242135011
2029.96/276.26	o 242135010
2029.96/276.26	o 242135008
2029.96/276.27	o 242135005
2029.96/276.29	o 242135004
2166.27/293.34	o 242120808
2166.27/293.35	o 242120804
2166.27/293.35	o 242120802
2166.27/293.35	o 242120799
2166.27/293.36	o 242120795
2166.27/293.37	o 242120793
2166.27/293.38	o 242120790
2166.27/293.39	o 242120786
2166.27/293.39	o 242120784
2166.27/293.40	o 242120781
2167.11/293.41	o 242120780
2167.11/293.42	o 242120778
2167.11/293.43	o 242120776
2167.11/293.44	o 242120773
2167.11/293.46	o 242120772
2167.11/293.47	o 242120770
2167.11/293.48	o 242120768
2167.11/293.49	o 242120765
2167.88/293.51	o 242120763
2167.88/293.52	o 242120761
2167.88/293.52	o 242120758
2172.64/294.10	o 242120757
2172.64/294.11	o 242120755
2172.64/294.12	o 242120752
2172.64/294.14	o 242120751
2176.63/294.65	o 242120750
2176.63/294.66	o 242120748
2176.63/294.67	o 242120745
2176.63/294.69	o 242120744
2604.58/348.30	o 242106567
2604.58/348.31	o 242106563
2604.58/348.33	o 242106561
2604.58/348.33	o 242106558
2604.58/348.34	o 242106554
2604.58/348.34	o 242106552
2604.58/348.35	o 242106549
2604.58/348.35	o 242106548
2604.58/348.37	o 242106544
2604.58/348.37	o 242106542
2604.58/348.38	o 242106539
2604.58/348.39	o 242106538
2604.58/348.40	o 242106536
2604.58/348.40	o 242106534
2605.38/348.41	o 242106531
2605.38/348.42	o 242106530
2605.38/348.43	o 242106529
2605.38/348.44	o 242106527
2605.38/348.44	o 242106525
2605.38/348.45	o 242106522
2608.65/348.87	o 242106521
2608.65/348.88	o 242106519
2608.65/348.90	o 242106517
2608.65/348.91	o 242106514
2614.95/349.63	o 242106513
2614.95/349.65	o 242106512
2614.95/349.66	o 242106510
2614.95/349.67	o 242106508
2614.95/349.67	o 242106505
2705.83/361.08	o 242106503
2705.83/361.10	o 242106501
2705.83/361.10	o 242106498
2795.06/372.30	o 242106497
2795.86/372.31	o 242106495
2795.86/372.32	o 242106492
2795.86/372.37	o 242106491
2963.23/393.37	o 242106490
2963.23/393.37	o 242106488
2963.23/393.38	o 242106485
3164.88/418.64	o 242106484
3224.61/426.13	o 242092302
3224.61/426.14	o 242092298
3224.61/426.14	o 242092296
3224.61/426.15	o 242092293
3224.61/426.15	o 242092292
3224.61/426.17	o 242092288
3224.61/426.18	o 242092286
3224.61/426.18	o 242092283
3224.61/426.19	o 242092279
3224.61/426.19	o 242092277
3225.41/426.20	o 242092274
3225.41/426.21	o 242092272
3225.41/426.21	o 242092270
3225.41/426.22	o 242092267
3225.41/426.23	o 242092266
3225.41/426.24	o 242092264
3225.41/426.25	o 242092262
3225.41/426.26	o 242092259
3225.41/426.27	o 242092258
3225.41/426.28	o 242092257
3226.21/426.30	o 242092255
3226.21/426.31	o 242092253
3226.21/426.32	o 242092250
3226.21/426.34	o 242092249
3226.21/426.37	o 242092248
3226.21/426.39	o 242092247
3226.21/426.39	o 242092245
3227.00/426.41	o 242092242
3227.00/426.42	o 242092241
3227.00/426.45	o 242092240
3227.00/426.49	o 242092239
3227.00/426.50	o 242092237
3227.85/426.52	o 242092234
3227.85/426.52	o 242092233
3241.36/428.26	o 242092232
3241.36/428.28	o 242092231
3242.21/428.40	o 242092230
3243.03/428.41	o 242092228
3243.03/428.42	o 242092225
3243.03/428.44	o 242092224
3455.79/455.17	o 242078074
3455.79/455.17	o 242078070
3455.79/455.18	o 242078068
3455.79/455.19	o 242078065
3455.79/455.19	o 242078061
3456.59/455.20	o 242078059
3456.59/455.21	o 242078056
3456.59/455.21	o 242078055
3456.59/455.24	o 242078051
3456.59/455.25	o 242078049
3456.59/455.25	o 242078046
3456.59/455.26	o 242078042
3456.59/455.27	o 242078040
3456.59/455.27	o 242078037
3456.59/455.28	o 242078036
3456.59/455.29	o 242078034
3456.59/455.30	o 242078032
3456.59/455.30	o 242078029
3457.44/455.32	o 242078028
3457.44/455.32	o 242078027
3457.44/455.33	o 242078025
3457.44/455.34	o 242078023
3457.44/455.34	o 242078020
3457.44/455.37	o 242078019
3457.44/455.38	o 242078017
3457.44/455.38	o 242078015
3457.44/455.39	o 242078012
3461.44/455.82	o 242078011
3461.44/455.85	o 242078009
3461.44/455.85	o 242078007
3461.44/455.86	o 242078004
3466.94/456.54	o 242078003
3466.94/456.56	o 242078002
3466.94/456.57	o 242078000
3466.94/456.57	o 242077998
3466.94/456.58	o 242077995
3562.57/468.60	o 242077993
3563.36/468.61	o 242077991
3563.36/468.62	o 242077988
3646.20/479.01	o 242077987
3646.20/479.03	o 242077984
3654.98/480.16	o 242077983
3655.77/480.23	o 242077982
3655.77/480.25	o 242077981
3656.57/480.38	o 242077980
3656.57/480.39	o 242077978
3656.57/480.41	o 242077975
3657.44/480.42	o 242077974
3840.01/503.34	o 242063796
3840.01/503.35	o 242063792
3840.01/503.35	o 242063790
3840.01/503.37	o 242063787
3840.01/503.37	o 242063783
3840.01/503.37	o 242063781
3840.01/503.39	o 242063778
3840.01/503.39	o 242063777
3840.01/503.40	o 242063773
3840.01/503.40	o 242063771
3840.77/503.41	o 242063768
3840.77/503.42	o 242063767
3840.77/503.43	o 242063765
3840.77/503.44	o 242063763
3840.77/503.44	o 242063760
3840.77/503.45	o 242063759
3840.77/503.46	o 242063758
3840.77/503.48	o 242063756
3840.77/503.48	o 242063754
3840.77/503.49	o 242063751
3841.54/503.50	o 242063750
3841.54/503.52	o 242063748
3841.54/503.52	o 242063746
3841.54/503.53	o 242063743
3841.54/503.57	o 242063742
3841.54/503.58	o 242063740
3841.54/503.59	o 242063738
3841.54/503.59	o 242063735
3975.42/520.38	o 242063733
3975.42/520.38	o 242063731
3975.42/520.39	o 242063728
4045.55/529.18	o 242063727
4045.55/529.20	o 242063724
4046.42/529.22	o 242063723
4050.41/529.73	o 242063720
4050.41/529.77	o 242063719
4050.41/529.78	o 242063717
4050.41/529.81	o 242063714
4236.88/553.17	o 242049554
4236.88/553.18	o 242049550
4236.88/553.19	o 242049548
4236.88/553.19	o 242049545
4236.88/553.20	o 242049544
4236.88/553.20	o 242049540
4237.74/553.21	o 242049538
4237.74/553.21	o 242049535
4237.74/553.22	o 242049531
4237.74/553.23	o 242049529
4237.74/553.23	o 242049526
4237.74/553.24	o 242049522
4237.74/553.25	o 242049520
4237.74/553.25	o 242049517
4237.74/553.26	o 242049516
4237.74/553.27	o 242049514
4237.74/553.28	o 242049512
4237.74/553.28	o 242049509
4237.74/553.29	o 242049508
4238.48/553.30	o 242049507
4238.48/553.31	o 242049505
4238.48/553.32	o 242049503
4238.48/553.32	o 242049500
4238.48/553.34	o 242049499
4238.48/553.35	o 242049497
4238.48/553.36	o 242049495
4238.48/553.37	o 242049492
4250.51/554.85	o 242049491
4250.51/554.86	o 242049489
4250.51/554.86	o 242049487
4250.51/554.87	o 242049484
4252.03/555.05	o 242049483
4257.68/555.72	o 242049482
4257.68/555.72	o 242049480
4257.68/555.73	o 242049478
4257.68/555.74	o 242049475
4359.67/568.57	o 242049473
4359.67/568.58	o 242049471
4359.67/568.59	o 242049468
4448.93/579.73	o 242049467
4448.93/579.74	o 242049464
4464.88/581.72	o 242049463
4479.14/583.53	o 242049462
4479.14/583.55	o 242049461
4480.00/583.72	o 242049460
4480.88/583.73	o 242049458
4480.88/583.74	o 242049455
4480.88/583.75	o 242049454
4702.25/611.52	o 242035303
4702.25/611.53	o 242035299
4702.25/611.53	o 242035297
4702.25/611.54	o 242035294
4702.25/611.54	o 242035293
4702.25/611.54	o 242035289
4702.25/611.55	o 242035287
4702.25/611.56	o 242035284
4702.25/611.56	o 242035282
4702.25/611.57	o 242035280
4702.25/611.57	o 242035277
4702.25/611.58	o 242035275
4702.25/611.59	o 242035273
4702.25/611.59	o 242035271
4702.25/611.60	o 242035268
4703.10/611.61	o 242035266
4703.10/611.61	o 242035264
4703.10/611.62	o 242035262
4703.10/611.62	o 242035259
4703.10/611.63	o 242035257
4703.10/611.64	o 242035255
4703.10/611.64	o 242035253
4703.10/611.65	o 242035250
4703.10/611.66	o 242035249
4703.10/611.67	o 242035247
4703.10/611.67	o 242035245
4703.10/611.68	o 242035242
4703.10/611.69	o 242035241
4703.10/611.70	o 242035240
4703.92/611.71	o 242035238
4703.92/611.72	o 242035236
4703.92/611.72	o 242035233
4703.92/611.74	o 242035232
4703.92/611.76	o 242035230
4703.92/611.77	o 242035228
4703.92/611.77	o 242035225
4703.92/611.80	o 242035224
4704.72/611.88	o 242035223
4704.72/611.89	o 242035222
4705.44/611.90	o 242035220
4705.44/611.91	o 242035218
4705.44/611.92	o 242035215
4706.23/612.03	o 242035213
4706.23/612.04	o 242035211
4706.23/612.05	o 242035208
4837.73/628.57	o 242035207
4837.73/628.59	o 242035205
4838.55/628.60	o 242035202
4838.55/628.62	o 242035199
4838.55/628.64	o 242035197
4838.55/628.66	o 242035194
5034.58/653.20	o 242021033
5034.58/653.21	o 242021029
5034.58/653.21	o 242021027
5034.58/653.22	o 242021024
5034.58/653.23	o 242021023
5034.58/653.23	o 242021019
5034.58/653.24	o 242021017
5034.58/653.24	o 242021014
5034.58/653.26	o 242021010
5034.58/653.27	o 242021008
5034.58/653.27	o 242021005
5034.58/653.28	o 242021001
5034.58/653.28	o 242020999
5034.58/653.29	o 242020996
5034.58/653.30	o 242020995
5035.41/653.31	o 242020993
5035.41/653.31	o 242020991
5035.41/653.32	o 242020988
5035.41/653.33	o 242020986
5035.41/653.34	o 242020985
5035.41/653.35	o 242020983
5035.41/653.35	o 242020980
5035.41/653.37	o 242020979
5035.41/653.38	o 242020977
5035.41/653.39	o 242020976
5035.41/653.40	o 242020974
5036.23/653.41	o 242020971
5036.23/653.42	o 242020969
5036.23/653.43	o 242020968
5036.23/653.44	o 242020966
5036.23/653.45	o 242020963
5036.23/653.49	o 242020961
5037.00/653.50	o 242020960
5037.00/653.52	o 242020958
5037.00/653.52	o 242020955
5168.51/670.01	o 242020954
5168.51/670.03	o 242020953
5168.51/670.03	o 242020951
5168.51/670.04	o 242020948
5203.60/674.50	o 242020946
5204.43/674.51	o 242020943
5204.43/674.53	o 242020942
5204.43/674.57	o 242020940
5204.43/674.59	o 242020938
5205.23/674.61	o 242020935
5205.23/674.63	o 242020934
8741.09/1118.23	o 242006779
8741.09/1118.24	o 242006778
8741.09/1118.24	o 242006771
8741.09/1118.25	o 242006764
8741.09/1118.26	o 242006761
8741.09/1118.27	o 242006754
8741.09/1118.28	o 242006753
8741.09/1118.28	o 242006746
8741.09/1118.30	o 242006745
8741.88/1118.31	o 242006744
8741.88/1118.32	o 242006737
8741.88/1118.33	o 242006735
8741.88/1118.33	o 242006728
8741.88/1118.35	o 242006727
8741.88/1118.37	o 242006720
8741.88/1118.38	o 242006718
8741.88/1118.39	o 242006712
8742.68/1118.42	o 242006711
8742.68/1118.42	o 242006709
8742.68/1118.45	o 242006703
8745.21/1118.81	o 242006702
8746.03/1118.83	o 242006700
8746.03/1118.84	o 242006694
8746.03/1118.86	o 242006693
8759.43/1120.60	o 242006690
8760.23/1120.62	o 242006688
8760.23/1120.64	o 242006687
8760.23/1120.66	o 242006684
13901.86/1765.65	o 241992517
13901.86/1765.66	o 241992516
13901.86/1765.67	o 241992509
13901.86/1765.68	o 241992508
13901.86/1765.69	o 241992500
13901.86/1765.70	o 241992499
13901.86/1765.71	o 241992492
13901.86/1765.71	o 241992491
13902.79/1765.73	o 241992490
13902.79/1765.73	o 241992489
13902.79/1765.75	o 241992482
13902.79/1765.76	o 241992475
13902.79/1765.77	o 241992473
13902.79/1765.77	o 241992466
13902.79/1765.78	o 241992465
13902.79/1765.79	o 241992458
13902.79/1765.80	o 241992456
13902.79/1765.81	o 241992450
13903.55/1765.83	o 241992448
13903.55/1765.84	o 241992442
13903.55/1765.86	o 241992438
13903.55/1765.87	o 241992436
13903.55/1765.89	o 241992433
13904.26/1765.92	o 241992432
13904.26/1765.99	o 241992429
13905.08/1766.01	o 241992427
13905.08/1766.02	o 241992424
15645.28/1984.39	o 241978251
15646.08/1984.40	o 241978249
15646.08/1984.41	o 241978243
15646.08/1984.41	o 241978242
15646.08/1984.42	o 241978236
15646.08/1984.43	o 241978234
15646.08/1984.44	o 241978233
15646.08/1984.45	o 241978227
15646.08/1984.46	o 241978224
15646.08/1984.47	o 241978221
15646.08/1984.48	o 241978217
15646.08/1984.49	o 241978216
15646.08/1984.50	o 241978213
15646.89/1984.51	o 241978209
15646.89/1984.52	o 241978208
15646.89/1984.54	o 241978207
15646.89/1984.55	o 241978204
15646.89/1984.55	o 241978200
15646.89/1984.56	o 241978196
15646.89/1984.57	o 241978195
15646.89/1984.59	o 241978194
15647.68/1984.60	o 241978193
15647.68/1984.61	o 241978187
15647.68/1984.63	o 241978185
15647.68/1984.64	o 241978182
15647.68/1984.67	o 241978179
15647.68/1984.68	o 241978177
15647.68/1984.70	o 241978174
15648.54/1984.75	o 241978173
15648.54/1984.79	o 241978170
15648.54/1984.81	o 241978168
15649.35/1984.82	o 241978165
15659.64/1986.15	o 241978164
19915.24/2520.08	s SATISFIABLE
19915.24/2520.10	v <instantiation>
19915.24/2520.10	v 	<list>
19915.24/2520.10	v 		f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424]
19915.24/2520.10	v 	</list>
19915.24/2520.10	v 	<values>
19915.24/2520.10	v 		2520 2356 2704 2628 2568 2520 2684 2748 2556 2564 2756 2504 2704 2572 2540 2532 2704 2552 2756 2620 2648 2684 2384 2400 2580 2652 2724 2592 2688 2728 2452 2732 2720 2444 2588 2596 2512 2692 2704 2424 2492 2668 2612 2572 2744 2540 2764 2652 2560 2396 2556 2480 2512 2724 2732 2704 2588 2560 2588 2616 2660 2548 2744 2764 2548 2724 2568 2628 2684 2664 2744 2528 2576 2616 2744 2520 2724 2704 2580 2520 2716 2716 2628 2560 2624 2540 2692 2680 2640 2688 2556 2564 2380 2488 2556 2436 2724 2696 2528 2644 2564 2596 2656 2632 2688 2644 2444 2684 2716 2544 2684 2668 2524 2684 2492 2676 2744 2464 2604 2524 2692 2584 2392 2612 2552 2700 2520 2708 2560 2528 2684 2604 2704 2720 2688 2536 2604 2720 2692 2528 2576 2668 2708 2516 2580 2588 2684 2684 2644 2624 2704 2552 2744 2540 2548 2552 2504 2568 2728 2720 2664 2520 2708 2512 2672 2384 2560 2524 2452 2476 2680 2548 2600 2652 2480 2644 2724 2668 2764 2708 2440 2448 2572 2532 2500 2652 2524 2696 2404 2600 2584 2604 2404 2584 2552 2712 2408 2560 2704 2516 2728 2608 2688 2724 2724 2636 2552 2724 2660 2708 2544 2672 2516 2564 2532 2724 2568 2520 2668 2556 2632 2748 2756 2724 2352 2632 2748 2688 2532 2580 2448 2744 2688 2484 2724 2684 2576 2748 2556 2532 2712 2708 2684 2492 2444 2692 2656 2652 2672 2696 2588 2676 2680 2620 2592 2400 2440 2436 2560 2692 2528 2424 2496 2644 2668 2748 2556 2560 2716 2716 2484 2516 2724 2728 2580 2592 2664 2572 2704 2420 2756 2360 2568 2708 2744 2664 2572 2724 2604 2640 2732 2364 2572 2704 2400 2684 2532 2704 2440 2628 2588 2564 2596 2752 2684 2696 2628 2648 2564 2600 2684 2704 2656 2396 2644 2584 2704 2412 2436 2400 2616 2692 2564 2604 2532 2460 2664 2344 2732 2544 2448 2680 2728 2464 2656 2636 2544 2548 2396 2592 2592 2408 2744 2552 2532 2504 2520 2516 2760 2568 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 1 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 0 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 11 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 1 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 0 1 1 1 1 0 1 0 1 1 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 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 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 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 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 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 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 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 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 10 0 10 10 10 10 10 10 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 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 10 10 10 10 10 10 10 10 10 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 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 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 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 0 10 10 10 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 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 0 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 0 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 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 8 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 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 0 10 10 0 0 0 10 0 0 0 10 10 10 10 10 10 0 10 0 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 0 10 0 10 10 10 10 10 10 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 0 10 10 10 0 0 10 10 10 10 10 10 10 10 10 9 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 0 10 10 10 0 10 10 10 10 10 10 9 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 0 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 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 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 8 10 10 10 10 10 10 0 0 10 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 0 10 10 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 0 10 10 10 10 10 0 0 10 10 10 10 0 10 10 10 10 0 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 0 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 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 0 10 0 10 10 10 10 10 10 0 10 0 10 10 10 10 0 10 10 10 10 36 128 16 176 172 40 84 4 312 216 328 264 200 132 16 308 76 20 52 296 20 4 60 284 160 184 68 36 140 80 68 20 72 268 116 68 16 8 152 112 136 156 68 128 100 160 176 0 172 4 148 184 116 44 40 76 12 200 168 112 284 20 20 4 8 176 44 188 4 116 172 244 20 24 308 352 56 148 104 88 44 4 28 84 12 44 48 144 4 24 28 28 372 68 232 28 48 224 188 12 200 52 92 56 52 220 176 160 52 204 96 68 256 20 16 0 60 16 144 148 48 308 8 80 144 48 96 128 16 12 92 0 188 216 112 204 24 36 216 56 136 152 196 108 212 28 112 148 320 12 16 68 160 8 12 124 0 76 60 140 52 156 140 152 152 36 32 200 228 92 4 28 104 124 20 84 116 264 44 76 16 20 24 80 132 116 36 136 156 124 76 164 16 216 344 304 340 144 136 264 4 152 116 256 0 164 68 80 184 36 0 44 44 128 16 136 36 16 120 52 8 200 164 188 120 164 20 124 52 8 108 12 8 0 0 164 4 296 128 304 180 12 40 184 252 136 144 276 64 8 48 12 212 12 24 4 336 208 0 168 144 188 24 48 232 264 140 196 120 100 104 32 208 60 60 96 156 204 36 16 40 56 44 48 88 92 28 8 4 176 4 76 48 8 132 24 168 172 12 228 128 152 144 16 16 72 172 260 140 296 88 108 20 260 272 136 108 216 68 224 72 148 100 24 116 56 80 56 232 120 132 104 32 84 116 104 248 216 24 112 28 112 48 172 20 204 164 60 192 36 340 28 16 60 100 180 8 184 48 100 172 164 140 404 84 124 24 92 76 32 68 12 80 188 164 104 12 288 160 292 352 148 260 152 124 176 68 188 4 156 28 28 80 244 80 188 64 84 8 168 100 108 216 28 116 32 180 136 228 168 20 108 192 92 184 20 324 12 80 72 24 72 40 340 36 24 84 32 96 0 56 12 68 140 24 144 96 40 28 0 72 24 236 112 232 16 40 44 88 32 0 84 56 64 260 4 124 28 52 92 252 92 60 100 308 192 136 224 16 280 40 36 400 100 128 160 100 140 108 148 108 108 8 4 28 0 148 32 164 40 180 164 24 112 16 56 104 124 16 96 100 76 108 60 16 72 20 120 100 92 116 164 180 132 20 204 48 180 116 132 20 36 136 8 8 28 56 104 64 96 176 72 128 192 32 108 164 144 0 0 192 176 84 196 32 204 160 4 152 188 172 144 132 20 52 104 136 180 84 4 64 40 64 28 4 12 16 0 4 48 36 192 72 188 12 12 16 320 192 56 120 56 220 132 32 160 164 32 148 164 40 64 16 48 16 212 144 28 136 48 28 140 128 252 268 24 36 8 284 156 108 232 36 280 268 280 24 84 36 92 12 68 76 88 144 136 4 32 32 116 48 44 144 156 8 88 156 168 152 96 80 120 80 20 88 28 4 32 100 148 364 172 252 316 264 152 72 68 204 176 112 204 24 140 168 140 88 148 216 196 172 200 152 124 104 332 40 20 144 104 32 100 116 4 108 96 100 32 160 88 196 100 160 44 92 92 56 28 4 100 8 44 84 40 24 96 48 40 24 88 124 72 16 140 164 284 40 36 0 16 328 120 32 40 196 144 112 52 12 160 168 164 76 124 120 160 32 0 92 48 8 200 8 120 96 20 16 152 100 80 48 20 60 184 56 228 28 204 180 164 80 132 292 156 24 20 68 44 232 72 100 12 36 84 108 152 40 8 60 64 88 208 52 168 136 28 44 4 88 32 240 8 168 44 156 24 8 8 92 20 136 32 20 180 92 68 64 72 148 52 176 316 208 184 228 332 312 8 312 52 96 4 20 40 72 32 136 152 152 112 152 208 128 0 56 116 168 128 100 44 32 144 80 72 72 24 108 16 16 44 148 124 160 68 4 160 132 40 52 20 180 144 4 4 68 120 16 80 56 288 224 160 164 84 4 52 224 36 172 48 360 160 32 196 200 64 320 256 44 120 156 8 264 268 84 88 12 24 188 88 44 20 120 100 100 168 168 4 36 104 256 312 8 8 136 124 196 80 92 176 128 44 16 84 304 136 228 144 112 44 36 136 180 232 0 32 52 20 8 48 56 40 84 136 12 16 84 40 172 140 200 28 76 12 52 4 100 84 140 40 80 280 12 180 120 68 124 212 148 120 112 4 196 360 192 116 60 212 100 48 116 120 28 32 8 52 56 80 96 84 16 28 200 152 80 104 128 48 148 156 36 176 96 328 124 100 136 192 200 144 64 60 40 72 204 24 212 28 16 148 28 16 16 0 48 152 16 300 20 128 20 168 292 16 220 244 12 40 28 204 8 140 236 176 48 76 112 76 88 4 100 36 32 204 188 56 204 12 120 136 224 36 264 224 128 80 8 128 0 84 284 108 100 56 112 48 96 64 40 152 4 36 84 128 80 20 316 128 132 0 8 172 132 56 152 152 120 128 176 192 0 124 184 172 60 100 168 56 248 64 92 72 164 132 112 28 32 28 320 152 192 128 148 68 56 88 100 120 188 320 128 268 300 280 4 4 164 24 172 184 52 12 312 56 164 320 148 316 288 156 52 0 184 36 172 120 96 8 72 212 4 232 32 0 100 136 124 8 36 20 284 288 132 60 172 32 208 144 20 68 40 4 20 112 68 8 40 128 4 140 0 144 48 140 60 168 160 124 152 4 0 28 48 40 36 0 4 36 124 148 40 12 24 48 104 152 44 80 344 332 112 4 16 100 204 244 8 28 288 32 4 184 172 12 100 144 176 16 36 172 84 56 52 188 324 0 96 0 204 288 4 8 0 180 88 196 20 4 88 36 180 16 60 132 128 92 0 60 4 20 144 0 24 20 160 180 264 104 56 48 212 296 36 92 92 28 100 116 44 56 12 108 264 72 28 124 40 52 164 16 16 40 4 40 52 96 32 8 112 16 44 88 84 72 8 28 12 44 0 204 228 4 276 140 32 248 128 12 28 184 28 136 44 12 64 124 4 292 148 16 164 180 336 36 152 80 36 4 24 8 160 20 40 160 36 168 76 184 308 244 20 44 36 116 180 64 168 48 12 76 24 176 80 16 28 12 172 40 276 108 136 4 32 16 20 152 164 328 48 32 152 124 132 308 188 28 152 104 192 4 180 160 208 288 152 8 20 20 340 112 188 64 112 244 116 96 152 72 168 104 92 108 320 228 296 
19915.24/2520.10	v 	</values>
19915.24/2520.10	v </instantiation>

Verifier Data 

OK	241978164

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309287-1534373665/watcher-4309287-1534373665 -o /tmp/evaluation-result-4309287-1534373665/solver-4309287-1534373665 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1534373665-29765 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 2080779646 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309287-1534373665.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=29782, runsolver pid=29779

[startup+0.10012 s]*
/proc/loadavg: 8.19 8.62 8.69 2/199 29802
/proc/meminfo: memFree=24711664/32770624 swapFree=67108524/67108860
[pid=29782] ppid=29779 vsize=26103420 memory=31908 CPUtime=0.11 cores=0-7
/proc/29782/stat : 29782 (java) S 29779 29782 29738 0 -1 1077944320 7398 0 0 0 10 1 0 0 20 0 20 0 254929720 26729902080 7977 33554432000 4194304 4196468 140722460163456 140722460146000 140479448612599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
/proc/29782/statm: 6525855 7977 3121 1 0 6487932 0
[pid=29782/tid=29784] ppid=29779 vsize=26103420 memory=8186870605257022367 CPUtime=0.08 cores=0-7
/proc/29782/task/29784/stat : 29784 (java) R 29779 29782 29738 0 -1 4202560 5466 0 0 0 8 0 0 0 20 0 20 0 254929721 26729902080 7977 33554432000 4194304 4196468 140722460163456 140479452807408 140479448624534 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29785] ppid=29779 vsize=26103420 memory=732370490725927909 CPUtime=0 cores=0-7
/proc/29782/task/29785/stat : 29785 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929721 26729902080 7977 33554432000 4194304 4196468 140722460163456 140479401232784 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29786] ppid=29779 vsize=26103420 memory=140352388474496 CPUtime=0 cores=0-7
/proc/29782/task/29786/stat : 29786 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929721 26729902080 7977 33554432000 4194304 4196468 140722460163456 140479400179984 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29787] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29787/stat : 29787 (java) S 29779 29782 29738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254929721 26729902080 7977 33554432000 4194304 4196468 140722460163456 140479399127696 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29788] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29788/stat : 29788 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929721 26729902080 7977 33554432000 4194304 4196468 140722460163456 140479398074896 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29789] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29789/stat : 29789 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929721 26729902080 7977 33554432000 4194304 4196468 140722460163456 140479397022608 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29790] ppid=29779 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/29782/task/29790/stat : 29790 (java) S 29779 29782 29738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254929721 26729902080 7977 33554432000 4194304 4196468 140722460163456 140479395969808 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29791] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29791/stat : 29791 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929721 26729902080 7977 33554432000 4194304 4196468 140722460163456 140479394917520 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29792] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29792/stat : 29792 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929721 26729902080 7977 33554432000 4194304 4196468 140722460163456 140479393864720 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29793] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29793/stat : 29793 (java) S 29779 29782 29738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254929723 26729902080 7977 33554432000 4194304 4196468 140722460163456 140477855680624 140479448623746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29794] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29794/stat : 29794 (java) S 29779 29782 29738 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 254929723 26729902080 7977 33554432000 4194304 4196468 140722460163456 140477854626592 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29795] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29795/stat : 29795 (java) S 29779 29782 29738 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 254929723 26729902080 7977 33554432000 4194304 4196468 140722460163456 140477853574256 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29796] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29796/stat : 29796 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929726 26729902080 7977 33554432000 4194304 4196468 140722460163456 140477852522576 140479448631195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29797] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29797/stat : 29797 (java) R 29779 29782 29738 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 254929726 26729902080 7977 33554432000 4194304 4196468 140722460163456 140477851470448 140479448623746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29798] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29798/stat : 29798 (java) S 29779 29782 29738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254929726 26729902080 7977 33554432000 4194304 4196468 140722460163456 140477850417648 140479448623746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29799] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29799/stat : 29799 (java) R 29779 29782 29738 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 20 0 254929726 26729902080 7977 33554432000 4194304 4196468 140722460163456 140477849365360 140479448623746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29800] ppid=29779 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/29782/task/29800/stat : 29800 (java) R 29779 29782 29738 0 -1 4202560 261 0 0 0 1 0 0 0 20 0 20 0 254929726 26729902080 7977 33554432000 4194304 4196468 140722460163456 140477848312560 140479427242986 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29801] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29801/stat : 29801 (java) S 29779 29782 29738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254929726 26729902080 7977 33554432000 4194304 4196468 140722460163456 140477847259488 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29802] ppid=29779 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/29782/task/29802/stat : 29802 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929726 26729902080 7977 33554432000 4194304 4196468 140722460163456 140477846206768 140479448623746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 31908 KiB

[startup+0.210037 s]*
/proc/loadavg: 8.19 8.62 8.69 4/199 29802
/proc/meminfo: memFree=24699308/32770624 swapFree=67108524/67108860
[pid=29782] ppid=29779 vsize=26103420 memory=43076 CPUtime=0.3 cores=0-7
/proc/29782/stat : 29782 (java) S 29779 29782 29738 0 -1 1077944320 10472 0 0 0 28 2 0 0 20 0 20 0 254929720 26729902080 10769 33554432000 4194304 4196468 140722460163456 140722460146000 140479448612599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
/proc/29782/statm: 6525855 10769 3339 1 0 6487932 0
[pid=29782/tid=29784] ppid=29779 vsize=26103420 memory=32758254098972862 CPUtime=0.2 cores=0-7
/proc/29782/task/29784/stat : 29784 (java) R 29779 29782 29738 0 -1 4202560 8214 0 0 0 19 1 0 0 20 0 20 0 254929721 26729902080 10769 33554432000 4194304 4196468 140722460163456 140479452833728 140479448624534 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29785] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29785/stat : 29785 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929721 26729902080 10769 33554432000 4194304 4196468 140722460163456 140479401232784 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29786] ppid=29779 vsize=26103420 memory=3833607670901122720 CPUtime=0 cores=0-7
/proc/29782/task/29786/stat : 29786 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929721 26729902080 10769 33554432000 4194304 4196468 140722460163456 140479400179984 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29787] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29787/stat : 29787 (java) S 29779 29782 29738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254929721 26729902080 10769 33554432000 4194304 4196468 140722460163456 140479399127696 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29788] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29788/stat : 29788 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929721 26729902080 10769 33554432000 4194304 4196468 140722460163456 140479398074896 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29789] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29789/stat : 29789 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929721 26729902080 10769 33554432000 4194304 4196468 140722460163456 140479397022608 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29790] ppid=29779 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/29782/task/29790/stat : 29790 (java) S 29779 29782 29738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254929721 26729902080 10769 33554432000 4194304 4196468 140722460163456 140479395969808 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29791] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29791/stat : 29791 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929721 26729902080 10769 33554432000 4194304 4196468 140722460163456 140479394917520 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29792] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29792/stat : 29792 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929721 26729902080 10769 33554432000 4194304 4196468 140722460163456 140479393864720 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29793] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29793/stat : 29793 (java) S 29779 29782 29738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254929723 26729902080 10769 33554432000 4194304 4196468 140722460163456 140477855680624 140479448623746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29794] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29794/stat : 29794 (java) S 29779 29782 29738 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 254929723 26729902080 10769 33554432000 4194304 4196468 140722460163456 140477854626592 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29795] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29795/stat : 29795 (java) S 29779 29782 29738 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 254929723 26729902080 10769 33554432000 4194304 4196468 140722460163456 140477853574256 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29796] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29796/stat : 29796 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929726 26729902080 10769 33554432000 4194304 4196468 140722460163456 140477852522576 140479448631195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29797] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29797/stat : 29797 (java) S 29779 29782 29738 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 20 0 254929726 26729902080 10769 33554432000 4194304 4196468 140722460163456 140477851470448 140479448623746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29798] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29798/stat : 29798 (java) S 29779 29782 29738 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 254929726 26729902080 10769 33554432000 4194304 4196468 140722460163456 140477850417648 140479448623746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29799] ppid=29779 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/29782/task/29799/stat : 29799 (java) S 29779 29782 29738 0 -1 1077944384 423 0 0 0 1 0 0 0 20 0 20 0 254929726 26729902080 10769 33554432000 4194304 4196468 140722460163456 140477849365360 140479448623746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29800] ppid=29779 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7
/proc/29782/task/29800/stat : 29800 (java) R 29779 29782 29738 0 -1 4202560 302 0 0 0 6 0 0 0 20 0 20 0 254929726 26729902080 10769 33554432000 4194304 4196468 140722460163456 140477848312560 140479448633946 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29801] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29801/stat : 29801 (java) S 29779 29782 29738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254929726 26729902080 10769 33554432000 4194304 4196468 140722460163456 140477847259488 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29802] ppid=29779 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/29782/task/29802/stat : 29802 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929726 26729902080 10769 33554432000 4194304 4196468 140722460163456 140477846206768 140479448623746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 43076 KiB

[startup+0.310089 s]*
/proc/loadavg: 8.19 8.62 8.69 2/199 29802
/proc/meminfo: memFree=24695524/32770624 swapFree=67108524/67108860
[pid=29782] ppid=29779 vsize=26103420 memory=46600 CPUtime=0.43 cores=0-7
/proc/29782/stat : 29782 (java) S 29779 29782 29738 0 -1 1077944320 10868 0 0 0 41 2 0 0 20 0 20 0 254929720 26729902080 11650 33554432000 4194304 4196468 140722460163456 140722460146000 140479448612599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
/proc/29782/statm: 6525855 11650 3365 1 0 6487932 0
[pid=29782/tid=29784] ppid=29779 vsize=26103420 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/29782/task/29784/stat : 29784 (java) R 29779 29782 29738 0 -1 4202560 8554 0 0 0 28 1 0 0 20 0 20 0 254929721 26729902080 11650 33554432000 4194304 4196468 140722460163456 140479452811600 140479432693086 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29785] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29785/stat : 29785 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929721 26729902080 11650 33554432000 4194304 4196468 140722460163456 140479401232784 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29786] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29786/stat : 29786 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929721 26729902080 11650 33554432000 4194304 4196468 140722460163456 140479400179984 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29787] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29787/stat : 29787 (java) S 29779 29782 29738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254929721 26729902080 11650 33554432000 4194304 4196468 140722460163456 140479399127696 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29788] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29788/stat : 29788 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929721 26729902080 11650 33554432000 4194304 4196468 140722460163456 140479398074896 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29789] ppid=29779 vsize=26103420 memory=2244 CPUtime=0 cores=0-7
/proc/29782/task/29789/stat : 29789 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929721 26729902080 11650 33554432000 4194304 4196468 140722460163456 140479397022608 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29790] ppid=29779 vsize=26103420 memory=140352283571119 CPUtime=0 cores=0-7
/proc/29782/task/29790/stat : 29790 (java) S 29779 29782 29738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254929721 26729902080 11650 33554432000 4194304 4196468 140722460163456 140479395969808 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29791] ppid=29779 vsize=26103420 memory=140352283573424 CPUtime=0 cores=0-7
/proc/29782/task/29791/stat : 29791 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929721 26729902080 11650 33554432000 4194304 4196468 140722460163456 140479394917520 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29792] ppid=29779 vsize=26103420 memory=140352283575728 CPUtime=0 cores=0-7
/proc/29782/task/29792/stat : 29792 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929721 26729902080 11650 33554432000 4194304 4196468 140722460163456 140479393864720 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29793] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29793/stat : 29793 (java) S 29779 29782 29738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254929723 26729902080 11650 33554432000 4194304 4196468 140722460163456 140477855680624 140479448623746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29794] ppid=29779 vsize=26103420 memory=280704567158416 CPUtime=0 cores=0-7
/proc/29782/task/29794/stat : 29794 (java) S 29779 29782 29738 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 254929723 26729902080 11650 33554432000 4194304 4196468 140722460163456 140477854626592 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29795] ppid=29779 vsize=26103420 memory=280704567165328 CPUtime=0 cores=0-7
/proc/29782/task/29795/stat : 29795 (java) S 29779 29782 29738 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 254929723 26729902080 11650 33554432000 4194304 4196468 140722460163456 140477853574256 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29796] ppid=29779 vsize=26103420 memory=280704567106608 CPUtime=0 cores=0-7
/proc/29782/task/29796/stat : 29796 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929726 26729902080 11650 33554432000 4194304 4196468 140722460163456 140477852522576 140479448631195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29797] ppid=29779 vsize=26103420 memory=280704567179152 CPUtime=0 cores=0-7
/proc/29782/task/29797/stat : 29797 (java) S 29779 29782 29738 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 20 0 254929726 26729902080 11650 33554432000 4194304 4196468 140722460163456 140477851470448 140479448623746 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29798] ppid=29779 vsize=26103420 memory=280704567186064 CPUtime=0.01 cores=0-7
/proc/29782/task/29798/stat : 29798 (java) S 29779 29782 29738 0 -1 1077944384 87 0 0 0 1 0 0 0 20 0 20 0 254929726 26729902080 11650 33554432000 4194304 4196468 140722460163456 140477850417648 140479448623746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29799] ppid=29779 vsize=26103420 memory=280704567183760 CPUtime=0.01 cores=0-7
/proc/29782/task/29799/stat : 29799 (java) S 29779 29782 29738 0 -1 1077944384 423 0 0 0 1 0 0 0 20 0 20 0 254929726 26729902080 11650 33554432000 4194304 4196468 140722460163456 140477849365360 140479448623746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29800] ppid=29779 vsize=26103420 memory=280704567200320 CPUtime=0.08 cores=0-7
/proc/29782/task/29800/stat : 29800 (java) S 29779 29782 29738 0 -1 1077944384 317 0 0 0 8 0 0 0 20 0 20 0 254929726 26729902080 11650 33554432000 4194304 4196468 140722460163456 140477848312560 140479448623746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29801] ppid=29779 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29801/stat : 29801 (java) S 29779 29782 29738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254929726 26729902080 11650 33554432000 4194304 4196468 140722460163456 140477847259488 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29802] ppid=29779 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/29782/task/29802/stat : 29802 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929726 26729902080 11650 33554432000 4194304 4196468 140722460163456 140477846206768 140479448623746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 46600 KiB

[startup+0.700872 s]
/proc/loadavg: 8.19 8.62 8.69 2/199 29802
/proc/meminfo: memFree=24671588/32770624 swapFree=67108524/67108860
[pid=29782] ppid=29779 vsize=26105488 memory=87772 CPUtime=0.99 cores=0-7
/proc/29782/stat : 29782 (java) S 29779 29782 29738 0 -1 1077944320 17852 0 0 0 95 4 0 0 20 0 20 0 254929720 26732019712 21943 33554432000 4194304 4196468 140722460163456 140722460146000 140479448612599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
/proc/29782/statm: 6526372 21943 3499 1 0 6488444 0
[pid=29782/tid=29784] ppid=29779 vsize=26105488 memory=6080774704390820457 CPUtime=0.67 cores=0-7
/proc/29782/task/29784/stat : 29784 (java) R 29779 29782 29738 0 -1 4202560 15035 0 0 0 64 3 0 0 20 0 20 0 254929721 26732019712 21943 33554432000 4194304 4196468 140722460163456 140479452835920 140479430176155 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29785] ppid=29779 vsize=26105488 memory=127994320447698 CPUtime=0 cores=0-7
/proc/29782/task/29785/stat : 29785 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929721 26732019712 21943 33554432000 4194304 4196468 140722460163456 140479401232784 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29786] ppid=29779 vsize=26105488 memory=140352283603087 CPUtime=0 cores=0-7
/proc/29782/task/29786/stat : 29786 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929721 26732019712 21943 33554432000 4194304 4196468 140722460163456 140479400179984 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29787] ppid=29779 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29787/stat : 29787 (java) S 29779 29782 29738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254929721 26732019712 21943 33554432000 4194304 4196468 140722460163456 140479399127696 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29788] ppid=29779 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29788/stat : 29788 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929721 26732019712 21943 33554432000 4194304 4196468 140722460163456 140479398074896 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29789] ppid=29779 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29789/stat : 29789 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929721 26732019712 21943 33554432000 4194304 4196468 140722460163456 140479397022608 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29790] ppid=29779 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29790/stat : 29790 (java) S 29779 29782 29738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254929721 26732019712 21943 33554432000 4194304 4196468 140722460163456 140479395969808 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29791] ppid=29779 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/29782/task/29791/stat : 29791 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929721 26732019712 21943 33554432000 4194304 4196468 140722460163456 140479394917520 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29792] ppid=29779 vsize=26105488 memory=1740 CPUtime=0 cores=0-7
/proc/29782/task/29792/stat : 29792 (java) S 29779 29782 29738 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254929721 26732019712 21943 33554432000 4194304 4196468 140722460163456 140479393864720 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29793] ppid=29779 vsize=26105488 memory=11192 CPUtime=0 cores=0-7
/proc/29782/task/29793/stat : 29793 (java) S 29779 29782 29738 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254929723 26732019712 21943 33554432000 4194304 4196468 140722460163456 140477855680624 140479448623746 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0

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

/proc/29782/task/29805/stat : 29805 (java) R 29779 29782 29738 0 -1 4202560 87148 0 0 0 247128 202 0 0 20 0 46 0 254932444 28521033728 2630670 33554432000 4194304 4196468 140722460163456 140477758350824 140479083063044 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29806] ppid=29779 vsize=27852572 memory=3472875867245723137 CPUtime=2474.25 cores=0-7
/proc/29782/task/29806/stat : 29806 (java) R 29779 29782 29738 0 -1 4202560 101481 0 0 0 247229 196 0 0 20 0 46 0 254932445 28521033728 2630670 33554432000 4194304 4196468 140722460163456 140477757298184 140479083537245 0 4 0 16800975 0 0 0 -1 2 0 0 28 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29807] ppid=29779 vsize=27852572 memory=3472594353664506113 CPUtime=2465.52 cores=0-7
/proc/29782/task/29807/stat : 29807 (java) R 29779 29782 29738 0 -1 4202560 78227 0 0 0 246344 208 0 0 20 0 46 0 254932445 28521033728 2630670 33554432000 4194304 4196468 140722460163456 140477756245600 140479080539514 0 4 0 16800975 0 0 0 -1 3 0 0 23 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29808] ppid=29779 vsize=27852572 memory=10527808 CPUtime=2474.25 cores=0-7
/proc/29782/task/29808/stat : 29808 (java) R 29779 29782 29738 0 -1 4202560 83537 0 0 0 247224 201 0 0 20 0 46 0 254932452 28521033728 2630670 33554432000 4194304 4196468 140722460163456 140477755193720 140479082947331 0 4 0 16800975 0 0 0 -1 0 0 0 35 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29809] ppid=29779 vsize=27852572 memory=10527808 CPUtime=2470.26 cores=0-7
/proc/29782/task/29809/stat : 29809 (java) R 29779 29782 29738 0 -1 4202560 105105 0 0 0 246819 207 0 0 20 0 46 0 254932452 28521033728 2630670 33554432000 4194304 4196468 140722460163456 140477754139672 140479080517738 0 4 0 16800975 0 0 0 -1 6 0 0 32 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29810] ppid=29779 vsize=27852572 memory=10527808 CPUtime=2455.94 cores=0-7
/proc/29782/task/29810/stat : 29810 (java) R 29779 29782 29738 0 -1 4202560 88265 0 0 0 245402 192 0 0 20 0 46 0 254932452 28521033728 2630670 33554432000 4194304 4196468 140722460163456 140477753086824 140479083063334 0 4 0 16800975 0 0 0 -1 5 0 0 30 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29811] ppid=29779 vsize=27852572 memory=10525760 CPUtime=5.92 cores=0-7
/proc/29782/task/29811/stat : 29811 (java) S 29779 29782 29738 0 -1 1077944384 2288 0 0 0 575 17 0 0 20 0 46 0 254932452 28521033728 2630670 33554432000 4194304 4196468 140722460163456 140477752042768 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29812] ppid=29779 vsize=27852572 memory=1064 CPUtime=2448.75 cores=0-7
/proc/29782/task/29812/stat : 29812 (java) R 29779 29782 29738 0 -1 4202560 95375 0 0 0 244698 177 0 0 20 0 46 0 254932452 28521033728 2630670 33554432000 4194304 4196468 140722460163456 140477750984704 140479081930420 0 4 0 16800975 0 0 0 -1 7 0 0 29 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29813] ppid=29779 vsize=27852572 memory=2072 CPUtime=5.9 cores=0-7
/proc/29782/task/29813/stat : 29813 (java) S 29779 29782 29738 0 -1 1077944384 2443 0 0 0 576 14 0 0 20 0 46 0 254932453 28521033728 2630670 33554432000 4194304 4196468 140722460163456 140477749937680 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29814] ppid=29779 vsize=27852572 memory=10522680 CPUtime=0.02 cores=0-7
/proc/29782/task/29814/stat : 29814 (java) S 29779 29782 29738 0 -1 1077944384 488 0 0 0 1 1 0 0 20 0 46 0 254932453 28521033728 2630670 33554432000 4194304 4196468 140722460163456 140477748884880 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29816] ppid=29779 vsize=27852572 memory=38476 CPUtime=2460.51 cores=0-7
/proc/29782/task/29816/stat : 29816 (java) R 29779 29782 29738 0 -1 4202560 83545 0 0 0 245855 196 0 0 20 0 46 0 254933857 28521033728 2630670 33554432000 4194304 4196468 140722460163456 140477747825144 140479083134927 0 4 0 16800975 0 0 0 -1 1 0 0 26 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29817] ppid=29779 vsize=27852572 memory=3312 CPUtime=0.01 cores=0-7
/proc/29782/task/29817/stat : 29817 (java) S 29779 29782 29738 0 -1 1077944384 327 0 0 0 1 0 0 0 20 0 46 0 254933857 28521033728 2630670 33554432000 4194304 4196468 140722460163456 140477746779792 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29818] ppid=29779 vsize=27852572 memory=6791534058613427641 CPUtime=0.01 cores=0-7
/proc/29782/task/29818/stat : 29818 (java) S 29779 29782 29738 0 -1 1077944384 305 0 0 0 0 1 0 0 20 0 46 0 254933857 28521033728 2630670 33554432000 4194304 4196468 140722460163456 140477745726480 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29819] ppid=29779 vsize=27852572 memory=3516 CPUtime=0.01 cores=0-7
/proc/29782/task/29819/stat : 29819 (java) S 29779 29782 29738 0 -1 1077944384 526 0 0 0 1 0 0 0 20 0 46 0 254933857 28521033728 2630670 33554432000 4194304 4196468 140722460163456 140477744673680 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29820] ppid=29779 vsize=27852572 memory=872 CPUtime=0.01 cores=0-7
/proc/29782/task/29820/stat : 29820 (java) S 29779 29782 29738 0 -1 1077944384 433 0 0 0 1 0 0 0 20 0 46 0 254933857 28521033728 2630670 33554432000 4194304 4196468 140722460163456 140477743621392 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29821] ppid=29779 vsize=27852572 memory=1288 CPUtime=0.01 cores=0-7
/proc/29782/task/29821/stat : 29821 (java) S 29779 29782 29738 0 -1 1077944384 531 0 0 0 1 0 0 0 20 0 46 0 254933857 28521033728 2630670 33554432000 4194304 4196468 140722460163456 140477742568592 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29822] ppid=29779 vsize=27852572 memory=3712 CPUtime=0.01 cores=0-7
/proc/29782/task/29822/stat : 29822 (java) S 29779 29782 29738 0 -1 1077944384 326 0 0 0 1 0 0 0 20 0 46 0 254935815 28521033728 2630670 33554432000 4194304 4196468 140722460163456 140477737285136 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29823] ppid=29779 vsize=27852572 memory=69404 CPUtime=0.02 cores=0-7
/proc/29782/task/29823/stat : 29823 (java) S 29779 29782 29738 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 46 0 254935817 28521033728 2630670 33554432000 4194304 4196468 140722460163456 140477736232336 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29824] ppid=29779 vsize=27852572 memory=10527808 CPUtime=0.02 cores=0-7
/proc/29782/task/29824/stat : 29824 (java) S 29779 29782 29738 0 -1 1077944384 459 0 0 0 2 0 0 0 20 0 46 0 254935888 28521033728 2630670 33554432000 4194304 4196468 140722460163456 140477735180048 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29825] ppid=29779 vsize=27852572 memory=3712 CPUtime=0.02 cores=0-7
/proc/29782/task/29825/stat : 29825 (java) S 29779 29782 29738 0 -1 1077944384 449 0 0 0 1 1 0 0 20 0 46 0 254935929 28521033728 2630670 33554432000 4194304 4196468 140722460163456 140477734127248 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29826] ppid=29779 vsize=27852572 memory=10522680 CPUtime=0.01 cores=0-7
/proc/29782/task/29826/stat : 29826 (java) S 29779 29782 29738 0 -1 1077944384 237 0 0 0 1 0 0 0 20 0 46 0 254935930 28521033728 2630670 33554432000 4194304 4196468 140722460163456 140477733073936 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29827] ppid=29779 vsize=27852572 memory=10522680 CPUtime=0.01 cores=0-7
/proc/29782/task/29827/stat : 29827 (java) S 29779 29782 29738 0 -1 1077944384 597 0 0 0 1 0 0 0 20 0 46 0 254935943 28521033728 2630670 33554432000 4194304 4196468 140722460163456 140477732021136 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29828] ppid=29779 vsize=27852572 memory=3712 CPUtime=0.02 cores=0-7
/proc/29782/task/29828/stat : 29828 (java) S 29779 29782 29738 0 -1 1077944384 326 0 0 0 1 1 0 0 20 0 46 0 254935944 28521033728 2630670 33554432000 4194304 4196468 140722460163456 140477730968848 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29829] ppid=29779 vsize=27852572 memory=10522680 CPUtime=0.01 cores=0-7
/proc/29782/task/29829/stat : 29829 (java) S 29779 29782 29738 0 -1 1077944384 378 0 0 0 1 0 0 0 20 0 46 0 254935947 28521033728 2630670 33554432000 4194304 4196468 140722460163456 140477729916048 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
Current children cumulated CPU time: 19915.2 s
Current children cumulated vsize: 27852572 KiB
Current children cumulated memory: 10522680 KiB

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

[startup+2520.39 s]
# the end of solver process 29782 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19882.8 s, system=34.9535 s

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

[startup+2520.3 s]
/proc/loadavg: 8.56 8.73 8.74 9/224 29888
/proc/meminfo: memFree=14199720/32770624 swapFree=67108524/67108860
[pid=29782] ppid=29779 vsize=28052264 memory=10523420 CPUtime=19917.6 cores=0-7
/proc/29782/stat : 29782 (java) S 29779 29782 29738 0 -1 1077944320 1647676 0 0 0 1988270 3487 0 0 20 0 46 0 254929720 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140722460146000 140479448612599 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
/proc/29782/statm: 7013066 2630855 3638 1 0 6974617 0
[pid=29782/tid=29784] ppid=29779 vsize=28052264 memory=872 CPUtime=24.39 cores=0-7
/proc/29782/task/29784/stat : 29784 (java) S 29779 29782 29738 0 -1 1077944384 33437 0 0 0 2372 67 0 0 20 0 46 0 254929721 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140479452851280 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29785] ppid=29779 vsize=28052264 memory=1288 CPUtime=16.68 cores=0-7
/proc/29782/task/29785/stat : 29785 (java) S 29779 29782 29738 0 -1 1077944384 85158 0 0 0 1446 222 0 0 20 0 46 0 254929721 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140479401232784 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 18 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29786] ppid=29779 vsize=28052264 memory=4872558044660077418 CPUtime=16.66 cores=0-7
/proc/29782/task/29786/stat : 29786 (java) S 29779 29782 29738 0 -1 1077944384 83350 0 0 0 1445 221 0 0 20 0 46 0 254929721 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140479400179984 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 19 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29787] ppid=29779 vsize=28052264 memory=4629771062077588875 CPUtime=16.76 cores=0-7
/proc/29782/task/29787/stat : 29787 (java) S 29779 29782 29738 0 -1 1077944384 88427 0 0 0 1457 219 0 0 20 0 46 0 254929721 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140479399127696 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29788] ppid=29779 vsize=28052264 memory=-8961168018402230209 CPUtime=16.68 cores=0-7
/proc/29782/task/29788/stat : 29788 (java) S 29779 29782 29738 0 -1 1077944384 89055 0 0 0 1450 218 0 0 20 0 46 0 254929721 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140479398074896 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29789] ppid=29779 vsize=28052264 memory=-8253362762722141311 CPUtime=16.62 cores=0-7
/proc/29782/task/29789/stat : 29789 (java) S 29779 29782 29738 0 -1 1077944384 92476 0 0 0 1442 220 0 0 20 0 46 0 254929721 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140479397022608 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29790] ppid=29779 vsize=28052264 memory=7100839861465685612 CPUtime=16.7 cores=0-7
/proc/29782/task/29790/stat : 29790 (java) S 29779 29782 29738 0 -1 1077944384 96078 0 0 0 1452 218 0 0 20 0 46 0 254929721 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140479395969808 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29791] ppid=29779 vsize=28052264 memory=10522680 CPUtime=16.72 cores=0-7
/proc/29782/task/29791/stat : 29791 (java) S 29779 29782 29738 0 -1 1077944384 78743 0 0 0 1452 220 0 0 20 0 46 0 254929721 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140479394917520 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29792] ppid=29779 vsize=28052264 memory=1120 CPUtime=16.76 cores=0-7
/proc/29782/task/29792/stat : 29792 (java) S 29779 29782 29738 0 -1 1077944384 96276 0 0 0 1459 217 0 0 20 0 46 0 254929721 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140479393864720 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29793] ppid=29779 vsize=28052264 memory=6076 CPUtime=0.88 cores=0-7
/proc/29782/task/29793/stat : 29793 (java) S 29779 29782 29738 0 -1 1077944384 55127 0 0 0 77 11 0 0 20 0 46 0 254929723 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477855680624 140479448623746 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29794] ppid=29779 vsize=28052264 memory=1828 CPUtime=0 cores=0-7
/proc/29782/task/29794/stat : 29794 (java) S 29779 29782 29738 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 46 0 254929723 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477854626656 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29795] ppid=29779 vsize=28052264 memory=1120 CPUtime=0 cores=0-7
/proc/29782/task/29795/stat : 29795 (java) S 29779 29782 29738 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 46 0 254929723 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477853574272 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29796] ppid=29779 vsize=28052264 memory=6076 CPUtime=0 cores=0-7
/proc/29782/task/29796/stat : 29796 (java) S 29779 29782 29738 0 -1 1077944384 200 0 0 0 0 0 0 0 20 0 46 0 254929726 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477852522576 140479448631195 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29797] ppid=29779 vsize=28052264 memory=1724 CPUtime=4.4 cores=0-7
/proc/29782/task/29797/stat : 29797 (java) S 29779 29782 29738 0 -1 1077944384 21040 0 0 0 435 5 0 0 20 0 46 0 254929726 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477851470448 140479448623746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29798] ppid=29779 vsize=28052264 memory=4004 CPUtime=4.53 cores=0-7
/proc/29782/task/29798/stat : 29798 (java) S 29779 29782 29738 0 -1 1077944384 23562 0 0 0 447 6 0 0 20 0 46 0 254929726 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477850417648 140479448623746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29799] ppid=29779 vsize=28052264 memory=3516 CPUtime=4.11 cores=0-7
/proc/29782/task/29799/stat : 29799 (java) S 29779 29782 29738 0 -1 1077944384 18807 0 0 0 404 7 0 0 20 0 46 0 254929726 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477849365360 140479448623746 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29800] ppid=29779 vsize=28052264 memory=872 CPUtime=1.79 cores=0-7
/proc/29782/task/29800/stat : 29800 (java) R 29779 29782 29738 0 -1 4202560 32116 0 0 0 173 6 0 0 20 0 46 0 254929726 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477848312480 140479434287743 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29801] ppid=29779 vsize=28052264 memory=1288 CPUtime=0 cores=0-7
/proc/29782/task/29801/stat : 29801 (java) S 29779 29782 29738 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 254929726 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477847259488 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29802] ppid=29779 vsize=28052264 memory=1088 CPUtime=1.1 cores=0-7
/proc/29782/task/29802/stat : 29802 (java) R 29779 29782 29738 0 -1 1077944384 4973 0 0 0 59 51 0 0 20 0 46 0 254929726 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477846206768 140479448623746 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29803] ppid=29779 vsize=28052264 memory=14888 CPUtime=0.06 cores=0-7
/proc/29782/task/29803/stat : 29803 (java) S 29779 29782 29738 0 -1 1077944384 1925 0 0 0 5 1 0 0 20 0 46 0 254932411 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477764658000 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29805] ppid=29779 vsize=28052264 memory=3312 CPUtime=2473.6 cores=0-7
/proc/29782/task/29805/stat : 29805 (java) R 29779 29782 29738 0 -1 4202560 87148 0 0 0 247158 202 0 0 20 0 46 0 254932444 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477758351448 140479082947331 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29806] ppid=29779 vsize=28052264 memory=15708 CPUtime=2474.54 cores=0-7
/proc/29782/task/29806/stat : 29806 (java) R 29779 29782 29738 0 -1 4202560 101481 0 0 0 247258 196 0 0 20 0 46 0 254932445 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477757298184 140479080461963 0 4 0 16800975 0 0 0 -1 0 0 0 28 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29807] ppid=29779 vsize=28052264 memory=1620 CPUtime=2465.78 cores=0-7
/proc/29782/task/29807/stat : 29807 (java) R 29779 29782 29738 0 -1 4202560 78228 0 0 0 246370 208 0 0 20 0 46 0 254932445 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477756245704 140479080460315 0 4 0 16800975 0 0 0 -1 5 0 0 23 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29808] ppid=29779 vsize=28052264 memory=504 CPUtime=2474.52 cores=0-7
/proc/29782/task/29808/stat : 29808 (java) R 29779 29782 29738 0 -1 4202560 83537 0 0 0 247251 201 0 0 20 0 46 0 254932452 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477755193176 140479080461301 0 4 0 16800975 0 0 0 -1 2 0 0 35 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29809] ppid=29779 vsize=28052264 memory=924 CPUtime=2470.55 cores=0-7
/proc/29782/task/29809/stat : 29809 (java) R 29779 29782 29738 0 -1 4202560 105106 0 0 0 246848 207 0 0 20 0 46 0 254932452 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477754139584 140479080539309 0 4 0 16800975 0 0 0 -1 6 0 0 32 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29810] ppid=29779 vsize=28052264 memory=1168 CPUtime=2456.19 cores=0-7
/proc/29782/task/29810/stat : 29810 (java) R 29779 29782 29738 0 -1 4202560 88265 0 0 0 245427 192 0 0 20 0 46 0 254932452 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477753087608 140479083537245 0 4 0 16800975 0 0 0 -1 7 0 0 30 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29811] ppid=29779 vsize=28052264 memory=2132 CPUtime=5.92 cores=0-7
/proc/29782/task/29811/stat : 29811 (java) S 29779 29782 29738 0 -1 1077944384 2288 0 0 0 575 17 0 0 20 0 46 0 254932452 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477752042768 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29812] ppid=29779 vsize=28052264 memory=2180 CPUtime=2449.03 cores=0-7
/proc/29782/task/29812/stat : 29812 (java) R 29779 29782 29738 0 -1 4202560 95376 0 0 0 244726 177 0 0 20 0 46 0 254932452 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477750982280 140479080456923 0 4 0 16800975 0 0 0 -1 3 0 0 29 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29813] ppid=29779 vsize=28052264 memory=924 CPUtime=5.9 cores=0-7
/proc/29782/task/29813/stat : 29813 (java) S 29779 29782 29738 0 -1 1077944384 2464 0 0 0 576 14 0 0 20 0 46 0 254932453 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477749937680 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29814] ppid=29779 vsize=28052264 memory=1576 CPUtime=0.02 cores=0-7
/proc/29782/task/29814/stat : 29814 (java) S 29779 29782 29738 0 -1 1077944384 488 0 0 0 1 1 0 0 20 0 46 0 254932453 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477748884880 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29816] ppid=29779 vsize=28052264 memory=3980 CPUtime=2460.76 cores=0-7
/proc/29782/task/29816/stat : 29816 (java) R 29779 29782 29738 0 -1 4202560 83545 0 0 0 245880 196 0 0 20 0 46 0 254933857 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477747826520 140479077860863 0 4 0 16800975 0 0 0 -1 1 0 0 26 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29817] ppid=29779 vsize=28052264 memory=1932 CPUtime=0.01 cores=0-7
/proc/29782/task/29817/stat : 29817 (java) S 29779 29782 29738 0 -1 1077944384 349 0 0 0 1 0 0 0 20 0 46 0 254933857 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477746779792 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29818] ppid=29779 vsize=28052264 memory=7288 CPUtime=0.03 cores=0-7
/proc/29782/task/29818/stat : 29818 (java) S 29779 29782 29738 0 -1 1077944384 592 0 0 0 2 1 0 0 20 0 46 0 254933857 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477745726480 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29819] ppid=29779 vsize=28052264 memory=804 CPUtime=0.01 cores=0-7
/proc/29782/task/29819/stat : 29819 (java) S 29779 29782 29738 0 -1 1077944384 547 0 0 0 1 0 0 0 20 0 46 0 254933857 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477744673680 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29820] ppid=29779 vsize=28052264 memory=4104 CPUtime=0.01 cores=0-7
/proc/29782/task/29820/stat : 29820 (java) S 29779 29782 29738 0 -1 1077944384 455 0 0 0 1 0 0 0 20 0 46 0 254933857 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477743621392 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29821] ppid=29779 vsize=28052264 memory=1800 CPUtime=0.03 cores=0-7
/proc/29782/task/29821/stat : 29821 (java) S 29779 29782 29738 0 -1 1077944384 992 0 0 0 3 0 0 0 20 0 46 0 254933857 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477742568592 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29822] ppid=29779 vsize=28052264 memory=920 CPUtime=0.01 cores=0-7
/proc/29782/task/29822/stat : 29822 (java) S 29779 29782 29738 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 46 0 254935815 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477737285136 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29823] ppid=29779 vsize=28052264 memory=3912 CPUtime=0.02 cores=0-7
/proc/29782/task/29823/stat : 29823 (java) S 29779 29782 29738 0 -1 1077944384 520 0 0 0 2 0 0 0 20 0 46 0 254935817 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477736232336 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29824] ppid=29779 vsize=28052264 memory=1408 CPUtime=0.02 cores=0-7
/proc/29782/task/29824/stat : 29824 (java) S 29779 29782 29738 0 -1 1077944384 459 0 0 0 2 0 0 0 20 0 46 0 254935888 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477735180048 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29825] ppid=29779 vsize=28052264 memory=4636 CPUtime=0.02 cores=0-7
/proc/29782/task/29825/stat : 29825 (java) S 29779 29782 29738 0 -1 1077944384 474 0 0 0 1 1 0 0 20 0 46 0 254935929 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477734127248 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29826] ppid=29779 vsize=28052264 memory=10522680 CPUtime=0.01 cores=0-7
/proc/29782/task/29826/stat : 29826 (java) S 29779 29782 29738 0 -1 1077944384 258 0 0 0 1 0 0 0 20 0 46 0 254935930 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477733073936 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29827] ppid=29779 vsize=28052264 memory=6791534058613427641 CPUtime=0.01 cores=0-7
/proc/29782/task/29827/stat : 29827 (java) S 29779 29782 29738 0 -1 1077944384 730 0 0 0 1 0 0 0 20 0 46 0 254935943 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477732021136 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29828] ppid=29779 vsize=28052264 memory=-7003737579269690708 CPUtime=0.04 cores=0-7
/proc/29782/task/29828/stat : 29828 (java) S 29779 29782 29738 0 -1 1077944384 646 0 0 0 3 1 0 0 20 0 46 0 254935944 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477730968848 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
[pid=29782/tid=29829] ppid=29779 vsize=28052264 memory=529 CPUtime=0.02 cores=0-7
/proc/29782/task/29829/stat : 29829 (java) S 29779 29782 29738 0 -1 1077944384 459 0 0 0 2 0 0 0 20 0 46 0 254935947 28725518336 2630855 33554432000 4194304 4196468 140722460163456 140477729916048 140479448622805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39825408 140722460169293 140722460169477 140722460169477 140722460172239 0
Current children cumulated CPU time: 19917.6 s
Current children cumulated vsize: 28052264 KiB
Current children cumulated memory: 10523420 KiB

Child status: 143
Real time (s): 2520.39
CPU time (s): 19917.7
CPU user time (s): 19882.8
CPU system time (s): 34.9535
CPU usage (%): 790.265
Max. virtual memory (cumulated for all children) (KiB): 28052264
Max. memory (cumulated for all children) (KiB): 11576244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19882.8
system time used= 34.9535
maximum resident set size= 11580336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1647981
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 331882
involuntary context switches= 423228


# summary of solver processes directly reported to runsolver:
#   pid: 29782
#   total CPU time (s): 19917.7
#   total CPU user time (s): 19882.8
#   total CPU system time (s): 34.9535

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.6183 second user time and 38.5041 second system time

The end

Launcher Data 

Begin job on node107 at 2018-08-16 00:54:25
IDJOB=4309287
IDBENCH=141273
IDSOLVER=2793
FILE ID=node107/4309287-1534373665
RUNJOBID= node107-1534373665-29765
PBS_JOBID= 21038294
Free space on /tmp= 50548 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-08-14
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-18-0350_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4309287-1534373665/watcher-4309287-1534373665 -o /tmp/evaluation-result-4309287-1534373665/solver-4309287-1534373665 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1534373665-29765 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 2080779646 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309287-1534373665.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 970c879d9e656f0525c6818b69538b39
RANDOM SEED=2080779646

node107.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.40
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.40
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.40
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.40
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:        24729664 kB
MemAvailable:   31893752 kB
Buffers:          222800 kB
Cached:          7191516 kB
SwapCached:           20 kB
Active:          4043296 kB
Inactive:        3424892 kB
Active(anon):       3076 kB
Inactive(anon):   111352 kB
Active(file):    4040220 kB
Inactive(file):  3313540 kB
Unevictable:        6972 kB
Mlocked:            6972 kB
SwapTotal:      67108860 kB
SwapFree:       67108524 kB
Dirty:            117804 kB
Writeback:             0 kB
AnonPages:         61060 kB
Mapped:            55352 kB
Shmem:             57824 kB
Slab:             266976 kB
SReclaimable:     238788 kB
SUnreclaim:        28188 kB
KernelStack:        3184 kB
PageTables:         4892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     356504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 50512 MiB
End job on node107 at 2018-08-16 01:36:26