Trace number 4291889

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering with restarts 2018-07-02SAT (TO)354730 2400.44 2370.07

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-12-opt_c18.xml
MD5SUM6121a94880b1ccb1614ec86f716938fa
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark21762
Best CPU time to get the best result obtained on this benchmark2400.18
Satisfiable
(Un)Satisfiability was proved
Number of variables4691
Number of constraints4352
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":4011},{"size":6,"count":48},{"size":22,"count":40},{"size":24,"count":24},{"size":36,"count":134},{"size":42,"count":50},{"size":44,"count":384}]
Minimum variable degree2
Maximum variable degree20
Distribution of variable degrees[{"degree":2,"count":4011},{"degree":5,"count":1},{"degree":6,"count":2},{"degree":7,"count":6},{"degree":8,"count":15},{"degree":9,"count":39},{"degree":10,"count":66},{"degree":11,"count":85},{"degree":12,"count":119},{"degree":13,"count":112},{"degree":14,"count":103},{"degree":15,"count":59},{"degree":16,"count":45},{"degree":17,"count":21},{"degree":18,"count":4},{"degree":19,"count":1},{"degree":20,"count":2}]
Minimum constraint arity2
Maximum constraint arity176
Distribution of constraint arities[{"arity":2,"count":674},{"arity":3,"count":3677},{"arity":176,"count":1}]
Number of extensional constraints0
Number of intensional constraints4351
Distribution of constraint types[{"type":"intension","count":4351},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.67/0.56	c version: 2018-07-02
0.67/0.56	c seed: 794726543
0.67/0.56	c timeout: 2400
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
14.26/7.63	c Parsing done, starting search...
460.15/450.78	o 401573
460.15/450.79	o 401473
460.15/450.79	o 401463
460.31/450.80	o 401453
460.31/450.81	o 401443
460.31/450.81	o 401343
460.31/450.82	o 401342
460.31/450.83	o 401341
460.31/450.83	o 400341
460.31/450.84	o 399341
460.48/450.93	o 398582
460.48/450.94	o 398572
460.48/450.94	o 398562
460.48/450.95	o 398552
460.48/450.95	o 398542
460.48/450.96	o 398442
460.48/450.97	o 398441
460.48/450.97	o 398341
460.48/450.99	o 397251
460.48/451.00	o 397250
460.71/451.01	o 397150
460.71/451.01	o 397140
460.71/451.06	o 397139
460.71/451.09	o 396169
460.71/451.10	o 396167
460.71/451.10	o 396166
460.89/451.11	o 396157
460.89/451.12	o 396138
460.89/451.16	o 396137
460.89/451.18	o 396136
460.89/451.19	o 396127
460.98/451.20	o 396126
460.98/451.27	o 396117
460.98/451.28	o 396107
460.98/451.28	o 396106
461.08/451.34	o 396105
461.08/451.35	o 396096
461.08/451.36	o 396087
461.08/451.36	o 396086
461.18/451.49	o 395998
461.28/451.50	o 395997
461.28/451.50	o 395987
461.28/451.51	o 395986
461.28/451.52	o 395887
461.28/451.53	o 395886
461.28/451.55	o 395877
461.28/451.56	o 395876
461.48/451.75	o 395867
461.48/451.76	o 395866
461.58/451.84	o 395337
461.58/451.84	o 395227
461.58/451.85	o 395226
461.58/451.86	o 395216
461.58/451.86	o 395196
461.58/451.87	o 395086
461.58/451.88	o 394986
461.58/451.89	o 394985
461.58/451.89	o 394886
461.70/451.91	o 394877
461.70/451.91	o 394876
461.81/452.04	o 394335
461.81/452.04	o 394325
461.81/452.05	o 394225
461.81/452.06	o 394115
461.81/452.06	o 394015
461.81/452.07	o 393996
461.81/452.08	o 393995
461.81/452.09	o 393994
461.81/452.09	o 393986
461.81/452.10	o 393985
461.91/452.11	o 393976
461.91/452.12	o 393975
461.91/452.13	o 393886
461.91/452.14	o 393885
461.91/452.15	o 393876
461.91/452.16	o 393875
462.22/452.45	o 393867
462.22/452.46	o 393866
462.22/452.46	o 393865
462.52/452.79	o 393403
462.52/452.80	o 393303
462.62/452.80	o 393302
462.62/452.81	o 393202
462.62/452.82	o 393183
462.62/452.83	o 393174
462.62/452.83	o 393075
462.62/452.84	o 392976
462.62/452.88	o 392975
462.62/452.89	o 392965
462.62/452.90	o 392956
462.72/452.90	o 392955
462.87/453.03	o 392544
462.87/453.04	o 392444
462.87/453.04	o 392443
462.87/453.05	o 392343
462.87/453.05	o 392333
462.87/453.06	o 392223
462.87/453.07	o 392123
462.87/453.07	o 392113
462.87/453.08	o 392104
462.87/453.09	o 392094
462.87/453.10	o 392015
462.97/453.11	o 392005
462.97/453.12	o 391995
462.97/453.13	o 391986
462.97/453.16	o 391935
462.97/453.16	o 391925
462.97/453.17	o 391915
462.97/453.18	o 391905
462.97/453.18	o 391896
463.08/453.21	o 391895
463.08/453.22	o 391886
463.08/453.24	o 391876
463.08/453.25	o 391875
463.08/453.26	o 391866
463.08/453.26	o 391865
463.28/453.44	o 391425
463.28/453.44	o 391325
463.28/453.44	o 391315
463.28/453.45	o 391305
463.28/453.46	o 391105
463.28/453.46	o 391104
463.28/453.47	o 390994
463.28/453.48	o 390975
463.28/453.48	o 390876
463.28/453.49	o 390866
463.39/453.50	o 390796
463.39/453.51	o 390786
463.39/453.52	o 390776
463.39/453.53	o 390766
463.39/453.55	o 390765
463.39/453.56	o 390756
463.39/453.57	o 390755
463.49/453.68	o 390725
463.49/453.68	o 390715
463.49/453.69	o 390705
463.59/453.70	o 390686
463.59/453.71	o 389993
463.59/453.71	o 389992
463.59/453.72	o 389893
463.59/453.73	o 389793
463.59/453.74	o 389694
463.59/453.75	o 389685
463.59/453.76	o 389684
463.59/453.77	o 389675
463.59/453.79	o 389674
463.69/453.80	o 389664
463.69/453.82	o 389655
463.69/453.82	o 389654
463.79/453.98	o 389646
463.79/453.98	o 389645
463.79/453.99	o 389644
463.90/454.10	o 389614
463.90/454.10	o 389604
464.02/454.12	o 389594
464.02/454.12	o 389593
464.02/454.13	o 389574
464.02/454.14	o 389565
464.02/454.15	o 389555
464.02/454.16	o 389455
464.02/454.18	o 389445
464.02/454.19	o 389444
464.41/454.55	o 389275
464.41/454.56	o 389265
464.41/454.56	o 389155
464.41/454.57	o 389055
464.41/454.57	o 388955
464.41/454.58	o 387955
464.41/454.59	o 386955
464.41/454.59	o 386745
464.51/454.60	o 386645
464.51/454.61	o 386635
464.51/454.63	o 386634
464.51/454.64	o 386625
464.51/454.64	o 386624
464.61/454.79	o 386615
464.71/454.80	o 386614
464.81/454.94	o 386465
464.81/454.94	o 386455
464.81/454.95	o 386445
464.81/454.95	o 386436
464.81/454.96	o 386435
464.81/454.98	o 386336
464.81/454.99	o 386335
464.81/455.00	o 386325
464.92/455.01	o 386215
464.92/455.02	o 386115
464.92/455.03	o 386114
464.92/455.04	o 386015
464.92/455.06	o 385944
464.92/455.08	o 385924
464.92/455.09	o 385915
465.04/455.13	o 385914
465.04/455.13	o 385904
465.04/455.17	o 385844
465.04/455.17	o 385834
465.04/455.18	o 385814
465.04/455.19	o 385804
465.13/455.20	o 385744
465.13/455.21	o 385743
465.13/455.22	o 385733
465.13/455.22	o 385714
465.13/455.24	o 385705
465.13/455.25	o 385704
465.23/455.30	o 385165
465.23/455.31	o 385155
465.23/455.31	o 385045
465.23/455.32	o 385044
465.23/455.33	o 385043
465.23/455.33	o 384933
465.23/455.34	o 384833
465.23/455.36	o 384733
465.23/455.37	o 384723
465.23/455.38	o 384714
465.33/455.43	o 384705
465.33/455.44	o 384704
465.53/455.60	o 384056
465.53/455.61	o 384055
465.53/455.61	o 384035
465.53/455.62	o 383925
465.53/455.63	o 383915
465.53/455.65	o 383906
465.53/455.66	o 383905
465.63/455.72	o 383865
465.63/455.72	o 383864
465.63/455.72	o 383854
465.63/455.73	o 383835
465.63/455.75	o 383825
465.63/455.75	o 383815
465.63/455.76	o 383715
465.63/455.79	o 383706
465.73/455.80	o 383705
465.95/456.02	o 383696
465.95/456.02	o 383695
466.14/456.20	o 383016
466.14/456.21	o 383006
466.14/456.22	o 382896
466.14/456.22	o 382876
466.14/456.23	o 382776
466.14/456.24	o 382775
466.14/456.27	o 382714
466.14/456.28	o 382713
466.14/456.29	o 382703
466.14/456.29	o 382694
466.24/456.30	o 382675
466.24/456.34	o 382674
466.24/456.34	o 382665
466.44/456.52	o 382235
466.44/456.53	o 382135
466.44/456.54	o 382115
466.44/456.54	o 382105
466.44/456.55	o 381895
466.44/456.57	o 381886
466.44/456.58	o 381876
466.44/456.58	o 381875
466.44/456.59	o 381866
466.56/456.60	o 381865
466.56/456.62	o 381795
466.56/456.62	o 381786
466.56/456.64	o 381785
466.56/456.65	o 381784
466.56/456.66	o 381776
466.56/456.67	o 381775
466.56/456.68	o 381766
466.56/456.68	o 381765
466.66/456.72	o 381715
466.66/456.73	o 381695
466.66/456.74	o 381686
466.66/456.75	o 381676
466.66/456.77	o 381675
466.66/456.78	o 381665
466.87/456.96	o 381293
466.87/456.97	o 381273
466.87/456.97	o 381262
466.87/456.98	o 381183
466.87/456.99	o 381083
466.87/457.00	o 380883
466.98/457.01	o 380873
466.98/457.02	o 380872
466.98/457.03	o 380773
466.98/457.04	o 380764
466.98/457.05	o 380754
466.98/457.06	o 380745
466.98/457.08	o 379875
466.98/457.09	o 379784
466.98/457.10	o 379775
467.08/457.11	o 379765
467.08/457.13	o 379764
467.08/457.14	o 379755
467.08/457.14	o 379754
467.27/457.38	o 379744
467.47/457.60	o 379702
467.57/457.60	o 379692
467.57/457.61	o 379672
467.57/457.62	o 379662
467.57/457.66	o 379653
467.57/457.66	o 379643
468.00/458.05	o 379004
468.00/458.06	o 379003
468.00/458.06	o 378993
468.00/458.07	o 378973
468.00/458.08	o 378873
468.00/458.10	o 378773
468.10/458.11	o 378763
468.10/458.11	o 378653
468.10/458.16	o 378644
468.10/458.17	o 378643
468.61/458.60	o 378592
468.61/458.61	o 378582
468.61/458.63	o 378563
468.61/458.65	o 378554
468.91/458.94	o 378553
468.91/458.95	o 378552
468.91/458.96	o 378543
472.44/462.45	o 378522
472.44/462.46	o 378521
472.44/462.46	o 378501
472.44/462.47	o 378490
472.44/462.47	o 378390
472.44/462.48	o 378373
472.44/462.49	o 378163
472.54/462.50	o 378143
472.54/462.51	o 378134
472.54/462.52	o 378053
472.54/462.53	o 378034
472.54/462.54	o 377955
472.54/462.56	o 377875
472.54/462.57	o 377855
472.54/462.59	o 377854
472.54/462.59	o 377834
472.64/462.62	o 377124
472.64/462.63	o 377104
472.64/462.64	o 377004
472.64/462.66	o 376924
472.64/462.66	o 376904
472.64/462.67	o 376804
472.75/462.73	o 376055
472.75/462.73	o 376035
472.75/462.74	o 376034
472.75/462.75	o 375934
472.75/462.77	o 375855
472.75/462.78	o 375854
472.75/462.78	o 375834
472.95/463.00	o 375765
473.06/463.05	o 375755
473.06/463.06	o 375754
473.06/463.06	o 375745
473.06/463.07	o 375744
473.36/463.33	o 375675
473.36/463.34	o 375674
473.36/463.34	o 375654
473.36/463.35	o 375644
473.90/463.86	o 375575
473.90/463.87	o 375565
473.90/463.88	o 375555
474.00/463.92	o 375554
474.00/463.93	o 375544
479.15/469.06	o 375534
479.15/469.06	o 375533
479.15/469.07	o 375433
479.15/469.07	o 375432
479.15/469.08	o 375431
479.15/469.08	o 375331
479.15/469.09	o 375311
479.15/469.09	o 375211
479.15/469.10	o 375191
479.25/469.11	o 374991
479.25/469.12	o 374981
479.25/469.13	o 374882
479.25/469.14	o 374873
479.25/469.15	o 374854
479.75/469.61	o 374805
479.75/469.62	o 374785
479.75/469.63	o 374775
479.75/469.64	o 374765
479.75/469.64	o 374764
479.75/469.65	o 374755
479.75/469.66	o 374754
480.97/470.89	o 374676
481.07/470.96	o 374666
481.07/470.97	o 374665
481.07/470.98	o 374656
481.07/470.99	o 374655
481.38/471.23	o 374654
481.38/471.25	o 374575
481.38/471.25	o 374574
481.38/471.25	o 374554
490.96/480.75	o 374513
490.96/480.75	o 374512
490.96/480.76	o 374511
490.96/480.76	o 374491
490.96/480.76	o 374480
490.96/480.77	o 374460
490.96/480.78	o 374360
490.96/480.78	o 374261
490.96/480.79	o 374162
491.06/480.80	o 374153
491.06/480.81	o 374134
491.06/480.82	o 374114
491.06/480.83	o 373916
491.06/480.83	o 373816
491.06/480.84	o 373815
491.06/480.86	o 373714
491.06/480.89	o 373703
491.15/480.91	o 373693
491.15/480.94	o 373613
491.15/480.94	o 373593
492.87/482.67	o 373485
492.87/482.67	o 373385
492.87/482.68	o 373384
492.87/482.68	o 373364
492.87/482.69	o 373264
492.97/482.74	o 373193
492.97/482.75	o 373184
492.97/482.75	o 373164
493.07/482.81	o 372966
493.07/482.81	o 372866
493.07/482.82	o 372865
493.18/482.93	o 372845
493.18/482.94	o 372844
493.89/483.66	o 372775
493.89/483.67	o 372774
493.89/483.67	o 372754
493.89/483.68	o 372744
500.67/490.36	o 372665
500.67/490.37	o 372654
500.67/490.38	o 372644
500.77/490.43	o 372565
500.87/490.52	o 372555
500.87/490.53	o 372554
500.87/490.54	o 372545
500.87/490.54	o 372544
513.01/502.51	o 372457
513.01/502.51	o 372456
513.01/502.52	o 372446
513.01/502.53	o 372445
513.11/502.60	o 372436
513.11/502.61	o 372435
514.25/503.79	o 371885
514.35/503.80	o 371875
514.35/503.80	o 371865
514.35/503.81	o 371864
514.35/503.82	o 371844
514.35/503.82	o 371834
514.35/503.83	o 371824
514.35/503.85	o 371735
514.35/503.85	o 371734
514.35/503.86	o 371435
514.66/504.16	o 371434
515.28/504.72	o 371433
518.24/507.64	o 371432
625.99/614.18	o 371428
625.99/614.18	o 371427
625.99/614.19	o 371426
626.08/614.20	o 371425
626.08/614.21	o 371415
626.08/614.24	o 371405
626.08/614.25	o 370617
626.08/614.26	o 370607
627.00/615.18	o 370606
637.18/625.28	o 370587
638.79/626.89	o 370586
646.59/634.53	o 370457
646.59/634.54	o 370447
646.69/634.60	o 370265
646.69/634.61	o 370255
646.69/634.62	o 369457
646.69/634.67	o 369437
646.80/634.72	o 369436
647.40/635.33	o 369428
647.40/635.37	o 369427
647.51/635.40	o 369225
647.51/635.42	o 368437
647.51/635.43	o 368427
648.44/636.39	o 368426
888.28/873.87	o 368257
888.28/873.87	o 368256
888.28/873.88	o 368246
888.28/873.89	o 368245
888.28/873.89	o 368244
888.38/873.91	o 368232
888.38/873.92	o 368231
888.50/874.09	o 368132
888.50/874.10	o 368131
888.69/874.23	o 368033
888.69/874.24	o 368032
888.69/874.26	o 368031
889.80/875.32	o 367933
889.90/875.44	o 367932
892.44/877.97	o 367852
931.34/916.36	o 367844
931.34/916.36	o 367843
931.44/916.42	o 367842
958.17/942.74	o 367817
958.17/942.74	o 367816
958.17/942.75	o 367815
958.17/942.75	o 367814
958.17/942.76	o 367813
958.17/942.77	o 367812
958.17/942.79	o 367811
958.28/942.80	o 367801
958.38/942.91	o 367800
958.38/943.00	o 367712
958.49/943.01	o 367692
958.59/943.15	o 367605
958.59/943.16	o 367604
958.59/943.17	o 367593
958.59/943.17	o 367592
958.78/943.37	o 366594
958.78/943.38	o 366583
958.78/943.39	o 366582
959.09/943.64	o 366474
959.09/943.65	o 366463
959.09/943.66	o 366462
961.15/945.68	o 366402
961.15/945.69	o 366392
961.27/945.70	o 366391
961.27/945.70	o 366381
961.27/945.71	o 366370
961.27/945.72	o 366369
961.27/945.72	o 366368
961.27/945.73	o 366358
961.27/945.74	o 366258
961.27/945.77	o 366257
961.37/945.85	o 365790
961.37/945.85	o 365690
961.37/945.86	o 365680
961.37/945.87	o 365679
961.37/945.88	o 365569
961.37/945.89	o 365559
961.47/945.91	o 364767
961.47/945.93	o 364677
961.47/945.94	o 364557
961.47/945.99	o 364547
961.47/946.00	o 364537
961.58/946.03	o 363798
961.58/946.04	o 363797
961.58/946.05	o 363777
961.58/946.06	o 363767
961.58/946.07	o 363677
961.58/946.08	o 363567
961.58/946.09	o 363557
965.05/949.45	o 363553
965.05/949.45	o 363543
965.05/949.46	o 363533
965.05/949.47	o 363532
965.05/949.47	o 363521
965.05/949.48	o 363511
965.05/949.49	o 363491
965.90/950.26	o 363434
965.90/950.27	o 363424
965.90/950.27	o 363423
965.90/950.28	o 363422
965.90/950.28	o 363412
966.10/950.48	o 363395
966.10/950.48	o 363394
966.10/950.49	o 363384
966.10/950.49	o 363373
966.20/950.50	o 363364
966.20/950.50	o 363363
966.20/950.51	o 363362
966.20/950.52	o 363191
966.20/950.52	o 363171
966.20/950.53	o 363161
966.20/950.54	o 363160
966.20/950.54	o 363150
966.20/950.56	o 363140
966.20/950.57	o 363131
966.20/950.57	o 363130
966.20/950.59	o 362930
966.30/950.60	o 362920
966.30/950.61	o 362919
966.30/950.62	o 362821
966.30/950.63	o 362752
966.30/950.64	o 362742
966.30/950.65	o 362543
966.30/950.66	o 362533
967.11/951.49	o 362531
967.22/951.50	o 362521
967.22/951.53	o 362434
967.22/951.53	o 362433
967.22/951.54	o 362423
976.69/960.87	o 362421
976.69/960.88	o 362420
976.69/960.89	o 362410
976.69/960.89	o 362310
976.79/960.91	o 362213
976.79/960.91	o 362212
976.79/960.92	o 362211
976.79/960.92	o 362210
976.79/960.94	o 362116
976.79/960.95	o 362115
976.79/960.95	o 362114
976.79/960.96	o 362113
976.79/960.96	o 362112
976.79/960.97	o 362111
976.79/960.98	o 362011
976.79/960.98	o 362010
976.79/960.99	o 361910
976.79/961.00	o 361800
976.90/961.03	o 361706
976.90/961.03	o 361705
976.90/961.04	o 361704
976.90/961.05	o 361703
976.90/961.06	o 361702
976.90/961.08	o 361633
976.90/961.08	o 361623
977.21/961.39	o 361616
977.21/961.40	o 361615
977.31/961.40	o 361614
982.01/966.07	o 361613
983.86/967.85	o 361545
983.86/967.85	o 361535
983.86/967.86	o 361534
983.86/967.87	o 361533
985.10/969.04	o 361465
985.10/969.04	o 361464
985.10/969.05	o 361463
985.10/969.08	o 361453
986.41/970.40	o 361445
986.51/970.40	o 361444
986.51/970.43	o 361434
986.82/970.73	o 361354
986.82/970.74	o 361353
986.82/970.74	o 361343
986.82/970.76	o 361303
986.82/970.77	o 361293
986.82/970.77	o 361292
986.82/970.78	o 361272
986.82/970.79	o 361252
986.82/970.79	o 361152
986.94/970.80	o 361052
986.94/970.81	o 360952
986.94/970.82	o 360852
986.94/970.82	o 360752
986.94/970.83	o 360652
986.94/970.83	o 360642
986.94/970.85	o 360552
986.94/970.86	o 360353
987.54/971.44	o 360273
987.54/971.46	o 360263
987.54/971.47	o 359263
1007.84/991.46	o 359254
1007.84/991.47	o 359253
1007.84/991.48	o 359153
1007.84/991.49	o 359152
1007.94/991.50	o 359151
1007.94/991.51	o 359150
1007.94/991.52	o 359140
1007.94/991.53	o 359030
1007.94/991.54	o 359010
1008.04/991.64	o 358841
1008.04/991.66	o 358830
1008.04/991.67	o 358820
1008.14/991.74	o 358720
1008.14/991.75	o 358620
1008.14/991.77	o 357651
1008.14/991.79	o 357631
1008.24/991.84	o 357541
1008.34/991.93	o 356641
1008.34/991.99	o 356441
1008.45/992.10	o 356433
1009.05/992.68	o 356254
1009.05/992.69	o 356154
1009.15/992.70	o 356054
1009.15/992.72	o 355954
1009.15/992.73	o 355953
1009.15/992.73	o 355943
1009.15/992.74	o 355933
1009.15/992.77	o 355932
1009.15/992.78	o 355830
1009.15/992.79	o 355822
1009.26/992.80	o 355732
1009.26/992.84	o 355541
1009.26/992.84	o 355540
1009.26/992.86	o 355533
1009.26/992.87	o 355532
1012.70/996.20	o 355440
1046.75/1029.70	o 355439
1046.75/1029.71	o 355429
1046.75/1029.72	o 355420
1047.46/1030.45	o 355386
1047.46/1030.46	o 355376
1047.46/1030.46	o 355366
1047.46/1030.47	o 355356
1047.46/1030.47	o 355355
1047.46/1030.48	o 355335
1047.46/1030.49	o 355325
1047.46/1030.49	o 355305
1047.57/1030.50	o 355285
1047.57/1030.51	o 355275
1047.57/1030.52	o 355274
1047.57/1030.52	o 355273
1047.57/1030.54	o 355173
1047.57/1030.55	o 355163
1047.57/1030.56	o 355162
1047.57/1030.58	o 355152
1047.57/1030.58	o 355142
1047.57/1030.60	o 355052
1047.67/1030.61	o 354851
1047.67/1030.62	o 354751
1047.67/1030.64	o 354750
1047.67/1030.65	o 354740
1047.67/1030.66	o 354731
1047.67/1030.69	o 354730
2400.05/2370.05	s SATISFIABLE
2400.05/2370.05	v <instantiation>
2400.05/2370.05	v 	<list>
2400.05/2370.05	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] zb1[0] zb1[1] zb1[2] zb1[3] zb1[4] zb1[5] zb1[6] zb1[7] zb1[8] zb1[9] zb1[10] zb1[11] zb1[12] zb1[13] zb1[14] zb1[15] zb1[16] zb1[17] zb1[18] zb1[19] zb1[20] zb1[21] zb1[22] zb1[23] zb1[24] zb1[25] zb1[26] zb1[27] zb1[28] zb1[29] zb1[30] zb1[31] zb1[32] zb1[33] zb1[34] zb1[35] zb1[36] zb1[37] zb1[38] zb1[39] zb1[40] zb1[41] zb1[42] zb1[43] zb1[44] zb1[45] zb1[46] zb1[47] zb1[48] zb1[49] zb1[50] zb1[51] zb1[52] zb1[53] zb1[54] zb1[55] zb1[56] zb1[57] zb1[58] zb1[59] zb1[60] zb1[61] zb1[62] zb1[63] zb1[64] zb1[65] zb1[66] zb1[67] zb1[68] zb1[69] zb1[70] zb1[71] zb1[72] zb1[73] zb1[74] zb1[75] zb1[76] zb1[77] zb1[78] zb1[79] zb1[80] zb1[81] zb2[0] zb2[1] zb2[2] zb2[3] zb2[4] zb2[5] zb2[6] zb2[7] zb2[8] zb2[9] zb2[10] zb2[11] zb2[12] zb2[13] zb2[14] zb2[15] zb2[16] zb2[17] zb2[18] zb2[19] zb2[20] zb2[21] zb2[22] zb2[23] zb2[24] zb2[25] zb2[26] zb2[27] zb2[28] zb2[29] zb2[30] zb2[31] zb2[32] zb2[33] zb2[34] zb2[35] zb2[36] zb2[37] zb2[38] zb2[39] zb2[40] zb2[41] zb2[42] zb2[43] zb2[44] zb2[45] zb2[46] zb2[47] zb2[48] zb2[49] zb2[50] zb2[51] zb2[52] zb2[53] zb2[54] zb2[55] zb2[56] zb2[57] zb2[58] zb2[59] zb2[60] zb2[61] zb2[62] zb2[63] zb2[64] zb2[65] zb2[66] zb2[67] zb2[68] zb2[69] zb2[70] zb2[71] zb2[72] zb2[73] zb2[74] zb2[75] zb2[76] zb2[77] zb2[78] zb2[79] zb2[80] zb2[81] zb2[82] zb2[83] zb2[84] zb2[85] zb2[86] zb2[87] zb2[88] zb2[89] zb3[0] zb3[1] zb3[2] zb3[3] zb3[4] zb3[5] zb3[6] zb3[7] zb3[8] zb3[9] zb3[10] zb3[11] zb3[12] zb3[13] zb3[14] zb3[15] zb3[16] zb3[17] zb3[18] zb3[19] zb3[20] zb3[21] zb3[22] zb3[23] zb3[24] zb3[25] zb3[26] zb3[27] zb3[28] zb3[29] zb3[30] zb3[31] zb3[32] zb3[33] zb3[34] zb3[35] zb3[36] zb3[37] zb3[38] zb3[39] zb3[40] zb3[41] zb3[42] zb3[43] zb3[44] zb3[45] zb3[46] zb3[47] zb3[48] zb3[49] zb3[50] zb3[51] zb3[52] zb3[53] zb3[54] zb3[55] zb3[56] zb3[57] zb3[58] zb3[59] zb3[60] zb3[61] zb3[62] zb3[63] zb3[64] zb3[65] zb3[66] zb3[67] zb3[68] zb3[69] zb3[70] zb3[71] zb3[72] zb3[73] zb3[74] zb3[75] zb3[76] zb3[77] zb3[78] zb3[79] zb3[80] zb3[81] zb3[82] zb3[83] zb3[84] zb3[85] zb3[86] zb3[87] zb3[88] zb3[89] zb3[90] zb3[91] zb3[92] zb3[93] zb3[94] zb3[95] zb3[96] zb3[97] zb3[98] zb3[99] zb3[100] zb3[101] zb3[102] zb3[103] zb3[104] zb3[105] zb3[106] zb3[107] zb3[108] zb3[109] zb3[110] zb3[111] zb3[112] zb3[113] zb3[114] zb3[115] zb3[116] zb3[117] zb3[118] zb3[119] zb3[120] zb3[121] zb3[122] zb3[123] zb3[124] zb3[125] zb3[126] zb3[127] zb3[128] zb3[129] zb3[130] zb3[131] zb3[132] zb3[133] zb3[134] zb3[135] zb3[136] zb3[137] zb3[138] zb3[139] zb3[140] zb3[141] zb3[142] zb3[143] zb3[144] zb3[145] zb3[146] zb3[147] zb3[148] zb3[149] zb3[150] zb3[151] zb3[152] zb3[153] zb3[154] zb3[155] zb3[156] zb3[157] zb3[158] zb3[159] zb3[160] zb3[161] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[416] za1[417] za1[418] za1[419] za1[420] za1[421] za1[422] za1[423] za1[424] za1[425] za1[426] za1[427] za1[428] za1[429] za1[430] za1[431] za1[432] za1[433] za1[434] za1[435] za1[436] za1[437] za1[438] za1[439] za1[440] za1[441] za1[442] za1[443] za1[444] za1[445] za1[446] za1[447] za1[448] za1[449] za1[450] za1[451] za1[452] za1[453] za1[454] za1[455] za1[456] za1[457] za1[458] za1[459] za1[460] za1[461] za1[462] za1[463] za1[464] za1[465] za1[466] za1[467] za1[468] za1[469] za1[470] za1[471] za1[472] za1[473] za1[474] za1[475] za1[476] za1[477] za1[478] za1[479] za1[480] za1[481] za1[482] za1[483] za1[484] za1[485] za1[486] za1[487] za1[488] za1[489] za1[490] za1[491] za1[492] za1[493] za1[494] za1[495] za1[496] za1[497] za1[498] za1[499] za1[500] za1[501] za1[502] za1[503] za1[504] za1[505] za1[506] za1[507] za1[508] za1[509] za1[510] za1[511] za1[512] za1[513] za1[514] za1[515] za1[516] za1[517] za1[518] za1[519] za1[520] za1[521] za1[522] za1[523] za1[524] za1[525] za1[526] za1[527] za1[528] za1[529] za1[530] za1[531] za1[532] za1[533] za1[534] za1[535] za1[536] za1[537] za1[538] za1[539] za1[540] za1[541] za1[542] za1[543] za1[544] za1[545] za1[546] za1[547] za1[548] za1[549] za1[550] za1[551] za1[552] za1[553] za1[554] za1[555] za1[556] za1[557] za1[558] za1[559] za1[560] za1[561] za1[562] za1[563] za1[564] za1[565] za1[566] za1[567] za1[568] za1[569] za1[570] za1[571] za1[572] za1[573] za1[574] za1[575] za1[576] za1[577] za1[578] za1[579] za1[580] za1[581] za1[582] za1[583] za1[584] za1[585] za1[586] za1[587] za1[588] za1[589] za1[590] za1[591] za1[592] za1[593] za1[594] za1[595] za1[596] za1[597] za1[598] za1[599] za1[600] za1[601] za1[602] za1[603] za1[604] za1[605] za1[606] za1[607] za1[608] za1[609] za1[610] za1[611] za1[612] za1[613] za1[614] za1[615] za1[616] za1[617] za1[618] za1[619] za1[620] za1[621] za1[622] za1[623] za1[624] za1[625] za1[626] za1[627] za1[628] za1[629] za1[630] za1[631] za1[632] za1[633] za1[634] za1[635] za1[636] za1[637] za1[638] za1[639] za1[640] za1[641] za1[642] za1[643] za1[644] za1[645] za1[646] za1[647] za1[648] za1[649] za1[650] za1[651] za1[652] za1[653] za1[654] za1[655] za1[656] za1[657] za1[658] za1[659] za1[660] za1[661] za1[662] za1[663] za1[664] za1[665] za1[666] za1[667] za1[668] za1[669] za1[670] za1[671] za1[672] za1[673] za1[674] za1[675] za1[676] za1[677] za1[678] za1[679] za1[680] za1[681] za1[682] za1[683] za1[684] za1[685] za1[686] za1[687] za1[688] za1[689] za1[690] za1[691] za1[692] za1[693] za1[694] za1[695] za1[696] za1[697] za1[698] za1[699] za1[700] za1[701] za1[702] za1[703] za1[704] za1[705] za1[706] za1[707] za1[708] za1[709] za1[710] za1[711] za1[712] za1[713] za1[714] za1[715] za1[716] za1[717] za1[718] za1[719] za1[720] za1[721] za1[722] za1[723] za1[724] za1[725] za1[726] za1[727] za1[728] za1[729] za1[730] za1[731] za1[732] za1[733] za1[734] za1[735] za1[736] za1[737] za1[738] za1[739] za1[740] za1[741] za1[742] za1[743] za1[744] za1[745] za1[746] za1[747] za1[748] za1[749] za1[750] za1[751] za1[752] za1[753] za1[754] za1[755] za1[756] za1[757] za1[758] za1[759] za1[760] za1[761] za1[762] za1[763] za1[764] za1[765] za1[766] za1[767] za1[768] za1[769] za1[770] za1[771] za1[772] za1[773] za1[774] za1[775] za1[776] za1[777] za1[778] za1[779] za1[780] za1[781] za1[782] za1[783] za1[784] za1[785] za1[786] za1[787] za1[788] za1[789] za1[790] za1[791] za1[792] za1[793] za1[794] za1[795] za1[796] za1[797] za1[798] za1[799] za1[800] za1[801] za1[802] za1[803] za1[804] za1[805] za1[806] za1[807] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za2[559] za2[560] za2[561] za2[562] za2[563] za2[564] za2[565] za2[566] za2[567] za2[568] za2[569] za2[570] za2[571] za2[572] za2[573] za2[574] za2[575] za2[576] za2[577] za2[578] za2[579] za2[580] za2[581] za2[582] za2[583] za2[584] za2[585] za2[586] za2[587] za2[588] za2[589] za2[590] za2[591] za2[592] za2[593] za2[594] za2[595] za2[596] za2[597] za2[598] za2[599] za2[600] za2[601] za2[602] za2[603] za2[604] za2[605] za2[606] za2[607] za2[608] za2[609] za2[610] za2[611] za2[612] za2[613] za2[614] za2[615] za2[616] za2[617] za2[618] za2[619] za2[620] za2[621] za2[622] za2[623] za2[624] za2[625] za2[626] za2[627] za2[628] za2[629] za2[630] za2[631] za2[632] za2[633] za2[634] za2[635] za2[636] za2[637] za2[638] za2[639] za2[640] za2[641] za2[642] za2[643] za2[644] za2[645] za2[646] za2[647] za2[648] za2[649] za2[650] za2[651] za2[652] za2[653] za2[654] za2[655] za2[656] za2[657] za2[658] za2[659] za2[660] za2[661] za2[662] za2[663] za2[664] za2[665] za2[666] za2[667] za2[668] za2[669] za2[670] za2[671] za2[672] za2[673] za2[674] za2[675] za2[676] za2[677] za2[678] za2[679] za2[680] za2[681] za2[682] za2[683] za2[684] za2[685] za2[686] za2[687] za2[688] za2[689] za2[690] za2[691] za2[692] za2[693] za2[694] za2[695] za2[696] za2[697] za2[698] za2[699] za2[700] za2[701] za2[702] za2[703] za2[704] za2[705] za2[706] za2[707] za2[708] za2[709] za2[710] za2[711] za2[712] za2[713] za2[714] za2[715] za2[716] za2[717] za2[718] za2[719] za2[720] za2[721] za2[722] za2[723] za2[724] za2[725] za2[726] za2[727] za2[728] za2[729] za2[730] za2[731] za2[732] za2[733] za2[734] za2[735] za2[736] za2[737] za2[738] za2[739] za2[740] za2[741] za2[742] za2[743] za2[744] za2[745] za2[746] za2[747] za2[748] za2[749] za2[750] za2[751] za2[752] za2[753] za2[754] za2[755] za2[756] za2[757] za2[758] za2[759] za2[760] za2[761] za2[762] za2[763] za2[764] za2[765] za2[766] za2[767] za2[768] za2[769] za2[770] za2[771] za2[772] za2[773] za2[774] za2[775] za2[776] za2[777] za2[778] za2[779] za2[780] za2[781] za2[782] za2[783] za2[784] za2[785] za2[786] za2[787] za2[788] za2[789] za2[790] za2[791] za2[792] za2[793] za2[794] za2[795] za2[796] za2[797] za2[798] za2[799] za2[800] za2[801] za2[802] za2[803] za2[804] za2[805] za2[806] za2[807] za2[808] za2[809] za2[810] za2[811] za2[812] za2[813] za2[814] za2[815] za2[816] za2[817] za2[818] za2[819] za2[820] za2[821] za2[822] za2[823] za2[824] za2[825] za2[826] za2[827] za2[828] za2[829] za2[830] za2[831] za2[832] za2[833] za2[834] za2[835] za2[836] za2[837] za2[838] za2[839] za2[840] za2[841] za2[842] za2[843] za2[844] za2[845] za2[846] za2[847] za2[848] za2[849] za2[850] za2[851] za2[852] za2[853] za2[854] za2[855] za2[856] za2[857] za2[858] za2[859] za2[860] za2[861] za2[862] za2[863] za2[864] za2[865] za2[866] za2[867] za2[868] za2[869] za2[870] za2[871] za2[872] za2[873] za2[874] za2[875] za2[876] za2[877] za2[878] za2[879] za2[880] za2[881] za2[882] za2[883] za2[884] za2[885] za2[886] za2[887] za2[888] za2[889] za2[890] za2[891] za2[892] za2[893] za2[894] za2[895] za2[896] za2[897] za2[898] za2[899] za2[900] za2[901] za2[902] za2[903] za2[904] za2[905] za2[906] za2[907] za2[908] za2[909] za2[910] za2[911] za2[912] za2[913] za2[914] za2[915] za2[916] za2[917] za2[918] za2[919] za2[920] za2[921] za2[922] za2[923] za2[924] za2[925] za2[926] za2[927] za2[928] za2[929] za2[930] za2[931] za2[932] za2[933] za2[934] za2[935] za2[936] za2[937] za2[938] za2[939] za2[940] za2[941] za2[942] za2[943] za2[944] za2[945] za2[946] za2[947] za2[948] za2[949] za2[950] za2[951] za2[952] za2[953] za2[954] za2[955] za2[956] za2[957] za2[958] za2[959] za2[960] za2[961] za2[962] za2[963] za2[964] za2[965] za2[966] za2[967] za2[968] za2[969] za2[970] za2[971] za2[972] za2[973] za2[974] za2[975] za2[976] za2[977] za2[978] za2[979] za2[980] za2[981] za2[982] za2[983] za2[984] za2[985] za2[986] za2[987] za2[988] za2[989] za2[990] za2[991] za2[992] za2[993] za2[994] za2[995] za2[996] za2[997] za2[998] za2[999] za2[1000] za2[1001] za2[1002] za2[1003] za2[1004] za2[1005] za2[1006] za2[1007] za2[1008] za2[1009] za2[1010] za2[1011] za2[1012] za2[1013] za2[1014] za2[1015] za2[1016] za2[1017] za2[1018] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[506] za3[507] za3[508] za3[509] za3[510] za3[511] za3[512] za3[513] za3[514] za3[515] za3[516] za3[517] za3[518] za3[519] za3[520] za3[521] za3[522] za3[523] za3[524] za3[525] za3[526] za3[527] za3[528] za3[529] za3[530] za3[531] za3[532] za3[533] za3[534] za3[535] za3[536] za3[537] za3[538] za3[539] za3[540] za3[541] za3[542] za3[543] za3[544] za3[545] za3[546] za3[547] za3[548] za3[549] za3[550] za3[551] za3[552] za3[553] za3[554] za3[555] za3[556] za3[557] za3[558] za3[559] za3[560] za3[561] za3[562] za3[563] za3[564] za3[565] za3[566] za3[567] za3[568] za3[569] za3[570] za3[571] za3[572] za3[573] za3[574] za3[575] za3[576] za3[577] za3[578] za3[579] za3[580] za3[581] za3[582] za3[583] za3[584] za3[585] za3[586] za3[587] za3[588] za3[589] za3[590] za3[591] za3[592] za3[593] za3[594] za3[595] za3[596] za3[597] za3[598] za3[599] za3[600] za3[601] za3[602] za3[603] za3[604] za3[605] za3[606] za3[607] za3[608] za3[609] za3[610] za3[611] za3[612] za3[613] za3[614] za3[615] za3[616] za3[617] za3[618] za3[619] za3[620] za3[621] za3[622] za3[623] za3[624] za3[625] za3[626] za3[627] za3[628] za3[629] za3[630] za3[631] za3[632] za3[633] za3[634] za3[635] za3[636] za3[637] za3[638] za3[639] za3[640] za3[641] za3[642] za3[643] za3[644] za3[645] za3[646] za3[647] za3[648] za3[649] za3[650] za3[651] za3[652] za3[653] za3[654] za3[655] za3[656] za3[657] za3[658] za3[659] za3[660] za3[661] za3[662] za3[663] za3[664] za3[665] za3[666] za3[667] za3[668] za3[669] za3[670] za3[671] za3[672] za3[673] za3[674] za3[675] za3[676] za3[677] za3[678] za3[679] za3[680] za3[681] za3[682] za3[683] za3[684] za3[685] za3[686] za3[687] za3[688] za3[689] za3[690] za3[691] za3[692] za3[693] za3[694] za3[695] za3[696] za3[697] za3[698] za3[699] za3[700] za3[701] za3[702] za3[703] za3[704] za3[705] za3[706] za3[707] za3[708] za3[709] za3[710] za3[711] za3[712] za3[713] za3[714] za3[715] za3[716] za3[717] za3[718] za3[719] za3[720] za3[721] za3[722] za3[723] za3[724] za3[725] za3[726] za3[727] za3[728] za3[729] za3[730] za3[731] za3[732] za3[733] za3[734] za3[735] za3[736] za3[737] za3[738] za3[739] za3[740] za3[741] za3[742] za3[743] za3[744] za3[745] za3[746] za3[747] za3[748] za3[749] za3[750] za3[751] za3[752] za3[753] za3[754] za3[755] za3[756] za3[757] za3[758] za3[759] za3[760] za3[761] za3[762] za3[763] za3[764] za3[765] za3[766] za3[767] za3[768] za3[769] za3[770] za3[771] za3[772] za3[773] za3[774] za3[775] za3[776] za3[777] za3[778] za3[779] za3[780] za3[781] za3[782] za3[783] za3[784] za3[785] za3[786] za3[787] za3[788] za3[789] za3[790] za3[791] za3[792] za3[793] za3[794] za3[795] za3[796] za3[797] za3[798] za3[799] za3[800] za3[801] za3[802] za3[803] za3[804] za3[805] za3[806] za3[807] za3[808] za3[809] za3[810] za3[811] za3[812] za3[813] za3[814] za3[815] za3[816] za3[817] za3[818] za3[819] za3[820] za3[821] za3[822] za3[823] za3[824] za3[825] za3[826] za3[827] za3[828] za3[829] za3[830] za3[831] za3[832] za3[833] za3[834] za3[835] za3[836] za3[837] za3[838] za3[839] za3[840] za3[841] za3[842] za3[843] za3[844] za3[845] za3[846] za3[847] za3[848] za3[849] za3[850] za3[851] za3[852] za3[853] za3[854] za3[855] za3[856] za3[857] za3[858] za3[859] za3[860] za3[861] za3[862] za3[863] za3[864] za3[865] za3[866] za3[867] za3[868] za3[869] za3[870] za3[871] za3[872] za3[873] za3[874] za3[875] za3[876] za3[877] za3[878] za3[879] za3[880] za3[881] za3[882] za3[883] za3[884] za3[885] za3[886] za3[887] za3[888] za3[889] za3[890] za3[891] za3[892] za3[893] za3[894] za3[895] za3[896] za3[897] za3[898] za3[899] za3[900] za3[901] za3[902] za3[903] za3[904] za3[905] za3[906] za3[907] za3[908] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533] za4[534] za4[535] za4[536] za4[537] za4[538] za4[539] za4[540] za4[541] za4[542] za4[543] za4[544] za4[545] za4[546] za4[547] za4[548] za4[549] za4[550] za4[551] za4[552] za4[553] za4[554] za4[555] za4[556] za4[557] za4[558] za4[559] za4[560] za4[561] za4[562] za4[563] za4[564] za4[565] za4[566] za4[567] za4[568] za4[569] za4[570] za4[571] za4[572] za4[573] za4[574] za4[575] za4[576] za4[577] za4[578] za4[579] za4[580] za4[581] za4[582] za4[583] za4[584] za4[585] za4[586] za4[587] za4[588] za4[589] za4[590] za4[591] za4[592] za4[593] za4[594] za4[595] za4[596] za4[597] za4[598] za4[599] za4[600] za4[601] za4[602] za4[603] za4[604] za4[605] za4[606] za4[607] za4[608] za4[609] za4[610] za4[611] za4[612] za4[613] za4[614] za4[615] za4[616] za4[617] za4[618] za4[619] za4[620] za4[621] za4[622] za4[623] za4[624] za4[625] za4[626] za4[627] za4[628] za4[629] za4[630] za4[631] za4[632] za4[633] za4[634] za4[635] za4[636] za4[637] za4[638] za4[639] za4[640] za4[641] za4[642] za4[643] za4[644] za4[645] za4[646] za4[647] za4[648] za4[649] za4[650] za4[651] za4[652] za4[653] za4[654] za4[655] za4[656] za4[657] za4[658] za4[659] za4[660] za4[661] za4[662] za4[663] za4[664] za4[665] za4[666] za4[667] za4[668] za4[669] za4[670] za4[671] za4[672] za4[673] za4[674] za4[675] za4[676] za4[677] za4[678] za4[679] za4[680] za4[681] za4[682] za4[683] za4[684] za4[685] za4[686] za4[687] za4[688] za4[689] za4[690] za4[691] za4[692] za4[693] za4[694] za4[695] za4[696] za4[697] za4[698] za4[699] za4[700] za4[701] za4[702] za4[703] za4[704] za4[705] za4[706] za4[707] za4[708] za4[709] za4[710] za4[711] za4[712] za4[713] za4[714] za4[715] za4[716] za4[717] za4[718] za4[719] za4[720] za4[721] za4[722] za4[723] za4[724] za4[725] za4[726] za4[727] za4[728] za4[729] za4[730] za4[731] za4[732] za4[733] za4[734] za4[735] za4[736] za4[737] za4[738] za4[739] za4[740] za4[741] za4[742] za4[743] za4[744] za4[745] za4[746] za4[747] za4[748] za4[749] za4[750] za4[751] za4[752] za4[753] za4[754] za4[755] za4[756] za4[757] za4[758] za4[759] za4[760] za4[761] za4[762] za4[763] za4[764] za4[765] za4[766] za4[767] za4[768] za4[769] za4[770] za4[771] za4[772] za4[773] za4[774] za4[775] za4[776] za4[777] za4[778] za4[779] za4[780] za4[781] za4[782] za4[783] za4[784] za4[785] za4[786] za4[787] za4[788] za4[789] za4[790] za4[791] za4[792] za4[793] za4[794] za4[795] za4[796] za4[797] za4[798] za4[799] za4[800] za4[801] za4[802] za4[803] za4[804] za4[805] za4[806] za4[807] za4[808] za4[809] za4[810] za4[811] za4[812] za4[813] za4[814] za4[815] za4[816] za4[817] za4[818] za4[819] za4[820] za4[821] za4[822] za4[823] za4[824] za4[825] za4[826] za4[827] za4[828] za4[829] za4[830] za4[831] za4[832] za4[833] za4[834] za4[835] za4[836] za4[837] za4[838] za4[839] za4[840] za4[841] za4[842] za4[843] za4[844] za4[845] za4[846] za4[847] za4[848] za4[849] za4[850] za4[851] za4[852] za4[853] za4[854] za4[855] za4[856] za4[857] za4[858] za4[859] za4[860] za4[861] za4[862] za4[863] za4[864] za4[865] za4[866] za4[867] za4[868] za4[869] za4[870] za4[871] za4[872] za4[873] za4[874] za4[875] za4[876] za4[877] za4[878] za4[879] za4[880] za4[881] za4[882] za4[883] za4[884] za4[885] za4[886] za4[887] za4[888] za4[889] za4[890] za4[891] za4[892] za4[893] za4[894] za4[895] za4[896] za4[897] za4[898] za4[899] za4[900] za4[901] za4[902] za4[903] za4[904] za4[905] za4[906] za4[907] za4[908] za4[909] za4[910] za4[911] za4[912] za4[913] za4[914] za4[915] za4[916] za4[917] za4[918] za4[919] za4[920] za4[921] za4[922] za4[923] za4[924] za4[925] za4[926] za4[927] za4[928] za4[929] za4[930] za4[931] za4[932] za4[933] za4[934] za4[935] za4[936] za4[937] za4[938] za4[939] za4[940]
2400.05/2370.05	v 	</list>
2400.05/2370.05	v 	<values>
2400.05/2370.05	v 		16 254 142 380 324 86 72 310 540 778 680 442 30 268 170 408 792 554 128 366 86 324 414 652 16 254 708 470 652 414 58 296 58 296 666 428 484 722 16 254 526 764 156 394 498 736 128 366 16 254 736 498 408 170 694 456 352 114 792 554 100 338 44 282 736 498 254 16 652 414 86 324 268 30 680 442 44 282 86 324 540 778 680 442 142 380 394 156 240 478 30 268 764 526 114 352 414 652 792 554 408 170 156 394 792 554 30 268 254 16 128 366 792 554 470 708 778 540 282 44 736 498 380 142 652 414 30 268 254 16 442 680 554 792 142 380 680 442 16 254 442 680 156 394 414 652 708 470 680 442 352 114 708 470 338 100 58 296 764 526 114 352 296 58 394 156 792 554 526 764 156 394 394 156 750 512 16 254 792 554 484 722 456 694 554 792 44 282 156 394 708 470 722 484 16 254 394 156 736 498 394 156 16 254 72 310 156 394 72 310 540 778 170 408 414 652 72 310 736 498 652 414 16 254 100 338 456 694 268 30 16 254 268 30 72 310 652 414 764 526 680 442 764 526 722 484 114 352 282 44 778 540 722 484 512 750 778 540 750 512 72 310 540 778 16 254 296 58 156 394 380 142 268 30 16 254 792 554 792 554 142 380 484 722 456 694 72 310 750 512 16 254 156 394 128 366 478 240 16 254 44 282 282 44 792 554 764 526 526 764 254 16 652 414 352 114 156 394 16 254 792 554 708 470 240 478 778 540 30 268 86 324 478 240 30 268 170 408 128 366 296 58 156 394 792 554 666 428 282 44 142 380 666 428 16 254 170 408 554 792 792 554 16 254 526 764 442 680 456 694 484 722 694 456 30 268 526 764 456 694 16 254 750 512 442 680 310 72 86 324 100 338 86 324 778 540 240 478 86 324 44 282 16 254 366 128 442 680 16 254 456 694 156 394 792 554 310 72 722 484 16 254 526 764 30 268 554 792 792 554 394 156 526 764 792 554 310 72 736 498 142 380 128 366 44 282 414 652 408 170 750 512 366 128 750 512 764 526 156 394 478 240 394 156 736 498 792 554 380 142 58 296 708 470 156 394 478 240 554 792 498 736 156 394 764 526 16 254 722 484 540 778 666 428 100 338 792 554 512 750 792 554 86 324 694 456 16 254 128 366 16 254 16 254 750 512 254 16 764 526 156 394 750 512 30 268 16 254 512 750 254 16 156 394 380 142 722 484 554 792 526 764 470 708 778 540 666 428 442 680 442 680 338 100 86 324 16 254 394 156 792 554 324 86 338 100 16 254 666 428 170 408 792 554 268 30 526 764 554 792 30 268 478 240 792 554 142 380 792 554 16 254 394 156 30 268 666 428 540 778 156 394 722 484 512 750 86 324 792 554 428 666 666 428 16 254 408 170 778 540 30 268 170 408 338 100 456 694 282 44 652 414 722 484 254 16 380 142 114 352 540 778 722 484 778 540 428 666 680 442 750 512 86 324 30 268 792 554 722 484 484 722 680 442 366 128 16 254 142 380 16 254 554 792 408 170 764 526 366 128 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 0 0 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 0 0 1000 1000 0 0 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 100 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 0 0 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 0 0 10 10 0 0 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 0 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 10 10 10 10 10 10 10 10 10 10 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 1000 0 1000 1000 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 1000 1000 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 1000 0 0 1000 1000 1000 0 0 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 1000 1000 1000 1000 1000 1000 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 1000 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 1000 0 1000 0 1000 0 1000 0 1000 0 0 0 0 1000 1000 1000 1000 0 0 1000 1000 0 1000 1000 0 1000 0 0 1000 0 0 1000 0 1000 0 0 1000 0 0 1000 1000 0 0 0 0 1000 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 0 0 0 0 1000 0 0 1000 0 0 0 0 1000 0 0 0 1000 1000 1000 0 1000 0 0 1000 1000 0 1000 0 0 0 0 0 1000 0 1000 1000 0 1000 1000 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 1000 0 0 1000 0 1000 0 0 0 1000 1000 1000 0 0 0 0 1000 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 1000 1000 1000 0 1000 1000 0 1000 0 0 1000 0 0 1000 1000 0 0 1000 1000 1000 0 0 0 1000 1000 0 1000 0 1000 1000 0 1000 0 0 0 0 0 1000 0 0 1000 0 0 1000 0 1000 0 1000 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 1000 1000 1000 1000 0 0 0 0 0 0 0 1000 1000 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 1000 0 0 1000 1000 0 0 1000 1000 0 1000 0 0 1000 0 1000 1000 0 1000 0 0 0 1000 0 0 1000 0 0 0 1000 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 1000 0 0 0 0 0 1000 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 1000 1000 0 0 0 0 0 0 0 0 1000 0 1000 1000 0 0 0 0 0 1000 0 0 0 1000 1000 0 1000 1000 0 1000 0 0 1000 0 1000 0 0 0 1000 1000 1000 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 1000 0 0 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 1000 1000 1000 1000 1000 1000 1000 0 0 0 1000 1000 0 0 1000 0 0 1000 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 1000 0 0 1000 0 1000 1000 0 0 0 0 1000 1000 0 0 0 1000 0 0 0 0 1000 1000 1000 1000 1000 0 0 0 0 0 1000 1000 0 1000 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 1000 0 0 0 1000 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 100 100 100 0 100 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 100 0 100 100 0 0 0 100 100 0 0 0 0 0 100 0 0 100 0 100 0 0 0 100 0 0 0 0 100 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 100 100 0 100 100 0 100 0 0 0 0 100 100 0 0 0 100 0 0 0 100 0 0 100 0 0 0 100 0 0 0 100 0 100 100 100 0 100 0 0 0 0 100 0 0 0 0 0 0 100 100 0 0 0 0 0 100 0 100 100 0 0 100 0 0 100 100 0 0 100 0 0 0 100 0 0 0 0 0 0 100 0 100 100 0 0 0 0 0 0 100 100 0 100 0 0 0 100 0 100 0 0 0 0 0 0 100 0 0 100 0 0 100 100 100 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 100 0 0 100 0 100 100 0 100 100 0 100 100 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 100 0 0 0 0 100 0 100 100 0 0 100 100 100 100 0 0 100 0 100 100 0 0 0 0 0 100 0 0 0 100 0 0 0 0 100 0 0 0 0 100 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 100 0 100 0 100 0 0 100 100 100 0 0 0 0 0 100 0 100 100 100 100 0 0 0 0 0 0 100 0 0 100 100 0 0 100 0 0 100 0 0 100 100 0 0 100 100 0 0 0 0 0 0 0 0 100 100 100 100 100 100 100 100 100 0 0 0 0 0 0 0 100 100 100 100 0 0 0 0 100 0 0 0 0 0 100 100 0 0 100 0 100 0 100 0 0 0 0 100 0 0 100 0 0 100 0 100 100 0 0 0 100 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 100 0 100 100 0 0 100 100 0 100 100 0 100 0 0 100 0 0 0 0 0 100 100 0 0 0 0 100 100 0 0 100 0 100 0 0 0 0 0 0 0 100 0 0 0 100 100 100 0 100 0 0 0 0 0 100 0 100 0 100 100 100 100 0 0 0 0 0 0 0 0 0 0 0 100 0 100 100 0 100 0 100 0 0 0 100 0 0 100 100 0 0 0 100 100 100 0 0 100 0 100 0 100 0 0 100 100 0 0 0 0 0 0 0 100 0 100 100 0 0 100 0 0 100 100 0 100 0 0 0 100 0 0 0 100 0 0 100 0 0 100 0 0 0 100 100 100 0 0 0 100 100 0 0 0 0 0 100 0 100 0 0 0 100 100 100 0 100 0 0 0 100 0 100 0 0 100 100 100 0 0 100 0 0 0 100 100 100 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 100 0 100 100 100 0 0 100 0 0 0 100 100 0 0 0 100 0 100 0 0 0 100 100 0 0 100 0 100 0 100 0 0 100 0 0 0 100 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 100 0 100 100 100 100 100 100 0 100 0 0 0 0 0 0 0 100 100 0 100 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 100 0 100 100 0 100 0 0 100 0 0 100 100 0 100 0 100 100 0 0 100 0 100 100 100 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 100 0 100 0 0 100 0 100 100 0 100 100 0 0 100 100 100 0 0 0 0 100 0 0 0 0 0 0 100 100 0 100 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 100 0 100 0 0 100 100 0 0 0 100 0 0 0 0 0 100 100 100 0 0 100 0 100 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 100 100 0 0 0 100 0 0 0 0 100 100 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 100 0 0 0 100 100 100 0 0 0 100 100 0 0 0 0 100 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 100 0 100 0 0 100 100 0 100 0 0 100 0 100 0 100 0 0 0 0 100 0 0 0 0 10 0 0 10 0 0 10 10 10 10 0 0 0 10 10 0 10 10 0 0 0 0 10 10 10 10 10 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 10 0 0 10 10 10 0 0 10 10 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 10 10 0 10 10 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 0 10 0 0 10 0 0 0 10 0 0 10 0 10 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 10 10 0 10 0 10 0 0 0 0 0 10 10 10 0 0 10 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 10 10 10 10 0 10 0 10 0 0 10 10 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 10 10 0 10 0 0 10 10 0 0 0 0 0 10 10 0 0 10 10 0 0 10 0 10 10 10 0 10 10 0 10 0 0 0 0 0 0 0 10 10 0 10 0 10 10 0 10 10 10 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 10 0 0 0 10 0 0 0 10 0 0 0 0 0 10 10 10 10 10 0 10 0 0 10 10 10 10 0 10 10 10 0 10 0 0 0 0 0 10 0 0 0 0 10 0 10 0 0 0 0 0 0 0 10 10 0 0 10 0 0 0 0 0 0 10 10 10 0 10 0 10 0 0 0 0 10 10 0 0 0 0 0 10 10 0 0 10 10 0 0 10 0 0 10 10 0 0 10 0 10 10 0 0 10 0 0 0 0 0 0 0 0 0 10 0 10 0 10 10 10 10 10 0 10 0 0 0 0 10 10 0 0 0 0 0 0 0 10 0 0 10 0 0 10 10 10 10 0 10 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 10 0 10 0 0 0 0 10 10 0 0 0 10 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 10 10 0 0 0 0 10 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 10 0 0 10 10 10 10 10 0 0 10 10 10 0 10 0 0 0 10 0 10 0 0 10 10 0 0 0 10 0 10 0 10 0 0 0 10 0 10 10 10 10 0 0 0 0 10 0 10 10 10 10 0 10 0 0 10 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 0 0 0 0 0 10 0 10 10 0 0 0 0 10 0 10 0 0 0 0 10 0 10 0 10 0 0 10 0 0 0 10 0 0 10 0 0 0 10 10 10 0 0 0 0 0 0 10 10 10 0 10 0 0 0 0 10 0 10 0 0 0 0 10 10 10 0 0 10 0 10 0 10 0 0 10 0 0 10 0 0 0 0 10 0 0 10 0 10 0 10 10 10 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 0 0 0 10 0 10 0 0 0 0 10 0 0 10 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 10 0 10 0 0 0 0 10 10 0 10 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 10 0 10 0 10 0 10 10 10 10 0 0 0 0 0 0 10 10 0 0 10 10 0 10 10 0 0 0 0 0 10 0 10 0 10 0 0 0 0 0 0 0 10 0 10 10 0 0 0 0 10 0 0 10 0 0 10 0 0 0 10 10 0 0 0 10 10 10 0 0 0 0 0 10 0 0 0 10 10 0 10 0 10 10 0 0 10 0 0 10 0 10 0 0 0 0 10 10 10 10 10 0 10 0 0 0 10 0 0 0 0 10 10 10 10 10 0 0 0 0 10 10 0 0 0 0 0 10 10 0 10 0 10 10 0 0 10 0 10 0 0 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 0 1 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 0 0 0 1 1 1 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 1 1 0 1 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 0 1 0 0 1 1 1 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 
2400.05/2370.05	v 	</values>
2400.05/2370.05	v </instantiation>

Verifier Data 

OK	354730

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291889-1532275453/watcher-4291889-1532275453 -o /tmp/evaluation-result-4291889-1532275453/solver-4291889-1532275453 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532270698-27817 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 794726543 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291889-1532275453.xml 

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

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


[startup+0.100145 s]*
/proc/loadavg: 1.65 1.42 1.36 3/216 28374
/proc/meminfo: memFree=15362428/32770624 swapFree=67108860/67108860
[pid=28359] ppid=28356 vsize=14082740 memory=31544 CPUtime=0.12 cores=1,3,5,7
/proc/28359/stat : 28359 (java) S 28356 28359 31076 0 -1 1077944320 6791 0 0 0 10 2 0 0 20 0 15 0 45108530 14420725760 7886 33554432000 4194304 4196468 140723484378672 140723484361216 140418035175159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
/proc/28359/statm: 3520685 7886 3154 1 0 3482761 0
[pid=28359/tid=28361] ppid=28356 vsize=14082740 memory=8326441112148417179 CPUtime=0.09 cores=1,3,5,7
/proc/28359/task/28361/stat : 28361 (java) R 28356 28359 31076 0 -1 4202560 4844 0 0 0 8 1 0 0 20 0 15 0 45108531 14420725760 7886 33554432000 4194304 4196468 140723484378672 140418039405808 140418019255646 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28362] ppid=28356 vsize=14082740 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28362/stat : 28362 (java) S 28356 28359 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108531 14420725760 7886 33554432000 4194304 4196468 140723484378672 140417987795216 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28363] ppid=28356 vsize=14082740 memory=140612491839104 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28363/stat : 28363 (java) S 28356 28359 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108531 14420725760 7886 33554432000 4194304 4196468 140723484378672 140417986742672 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28364] ppid=28356 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28364/stat : 28364 (java) S 28356 28359 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108531 14420725760 7886 33554432000 4194304 4196468 140723484378672 140417985690128 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28365] ppid=28356 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28365/stat : 28365 (java) S 28356 28359 31076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45108531 14420725760 7886 33554432000 4194304 4196468 140723484378672 140417984637584 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28366] ppid=28356 vsize=14082740 memory=140612491839104 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28366/stat : 28366 (java) S 28356 28359 31076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45108533 14420725760 7886 33554432000 4194304 4196468 140723484378672 140417014680048 140418035186306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28367] ppid=28356 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28367/stat : 28367 (java) S 28356 28359 31076 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45108533 14420725760 7886 33554432000 4194304 4196468 140723484378672 140417013626272 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28368] ppid=28356 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28368/stat : 28368 (java) S 28356 28359 31076 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45108533 14420725760 7886 33554432000 4194304 4196468 140723484378672 140417012573680 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28369] ppid=28356 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28369/stat : 28369 (java) S 28356 28359 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108536 14420725760 7886 33554432000 4194304 4196468 140723484378672 140417011522256 140418035193755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28370] ppid=28356 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28370/stat : 28370 (java) S 28356 28359 31076 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 45108536 14420725760 7886 33554432000 4194304 4196468 140723484378672 140417010468848 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28371] ppid=28356 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28371/stat : 28371 (java) S 28356 28359 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108536 14420725760 7886 33554432000 4194304 4196468 140723484378672 140417009416304 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28372] ppid=28356 vsize=14082740 memory=140612491839104 CPUtime=0.01 cores=1,3,5,7
/proc/28359/task/28372/stat : 28372 (java) S 28356 28359 31076 0 -1 1077944384 284 0 0 0 1 0 0 0 20 0 15 0 45108536 14420725760 7886 33554432000 4194304 4196468 140723484378672 140417008363760 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28373] ppid=28356 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28373/stat : 28373 (java) S 28356 28359 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108536 14420725760 7886 33554432000 4194304 4196468 140723484378672 140417007311456 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28374] ppid=28356 vsize=14082740 memory=140612491839104 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28374/stat : 28374 (java) S 28356 28359 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108536 14420725760 7886 33554432000 4194304 4196468 140723484378672 140417006258992 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31544 KiB

[startup+0.214443 s]*
/proc/loadavg: 1.65 1.42 1.36 5/216 28374
/proc/meminfo: memFree=15320796/32770624 swapFree=67108860/67108860
[pid=28359] ppid=28356 vsize=14082740 memory=47600 CPUtime=0.31 cores=1,3,5,7
/proc/28359/stat : 28359 (java) S 28356 28359 31076 0 -1 1077944320 10464 0 0 0 29 2 0 0 20 0 15 0 45108530 14420725760 11900 33554432000 4194304 4196468 140723484378672 140723484361216 140418035175159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
/proc/28359/statm: 3520685 11900 3406 1 0 3482761 0
[pid=28359/tid=28361] ppid=28356 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/28359/task/28361/stat : 28361 (java) S 28356 28359 31076 0 -1 1077944384 8165 0 0 0 18 2 0 0 20 0 15 0 45108531 14420725760 11900 33554432000 4194304 4196468 140723484378672 140418039402816 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28362] ppid=28356 vsize=14082740 memory=342 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28362/stat : 28362 (java) S 28356 28359 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108531 14420725760 11900 33554432000 4194304 4196468 140723484378672 140417987795216 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28363] ppid=28356 vsize=14082740 memory=140612492140041 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28363/stat : 28363 (java) S 28356 28359 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108531 14420725760 11900 33554432000 4194304 4196468 140723484378672 140417986742672 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28364] ppid=28356 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28364/stat : 28364 (java) S 28356 28359 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108531 14420725760 11900 33554432000 4194304 4196468 140723484378672 140417985690128 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28365] ppid=28356 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28365/stat : 28365 (java) S 28356 28359 31076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45108531 14420725760 11900 33554432000 4194304 4196468 140723484378672 140417984637584 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28366] ppid=28356 vsize=14082740 memory=140612491839104 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28366/stat : 28366 (java) S 28356 28359 31076 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45108533 14420725760 11900 33554432000 4194304 4196468 140723484378672 140417014680048 140418035186306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28367] ppid=28356 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28367/stat : 28367 (java) S 28356 28359 31076 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45108533 14420725760 11900 33554432000 4194304 4196468 140723484378672 140417013626272 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28368] ppid=28356 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28368/stat : 28368 (java) S 28356 28359 31076 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45108533 14420725760 11900 33554432000 4194304 4196468 140723484378672 140417012573680 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28369] ppid=28356 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28369/stat : 28369 (java) S 28356 28359 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108536 14420725760 11900 33554432000 4194304 4196468 140723484378672 140417011522256 140418035193755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28370] ppid=28356 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28359/task/28370/stat : 28370 (java) S 28356 28359 31076 0 -1 1077944384 404 0 0 0 2 0 0 0 20 0 15 0 45108536 14420725760 11900 33554432000 4194304 4196468 140723484378672 140417010468848 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28371] ppid=28356 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/28359/task/28371/stat : 28371 (java) R 28356 28359 31076 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 15 0 45108536 14420725760 11900 33554432000 4194304 4196468 140723484378672 140417009416304 140418035186306 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28372] ppid=28356 vsize=14082740 memory=140612491839104 CPUtime=0.06 cores=1,3,5,7
/proc/28359/task/28372/stat : 28372 (java) S 28356 28359 31076 0 -1 1077944384 314 0 0 0 6 0 0 0 20 0 15 0 45108536 14420725760 11900 33554432000 4194304 4196468 140723484378672 140417008363760 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28373] ppid=28356 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28373/stat : 28373 (java) S 28356 28359 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108536 14420725760 11900 33554432000 4194304 4196468 140723484378672 140417007311456 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28374] ppid=28356 vsize=14082740 memory=140612491839104 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28374/stat : 28374 (java) S 28356 28359 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108536 14420725760 11900 33554432000 4194304 4196468 140723484378672 140417006258992 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47600 KiB

[startup+0.310563 s]*
/proc/loadavg: 1.65 1.42 1.36 3/216 28374
/proc/meminfo: memFree=15313164/32770624 swapFree=67108860/67108860
[pid=28359] ppid=28356 vsize=14082740 memory=50724 CPUtime=0.44 cores=1,3,5,7
/proc/28359/stat : 28359 (java) S 28356 28359 31076 0 -1 1077944320 10818 0 0 0 42 2 0 0 20 0 15 0 45108530 14420725760 12681 33554432000 4194304 4196468 140723484378672 140723484361216 140418035175159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
/proc/28359/statm: 3520685 12681 3409 1 0 3482761 0
[pid=28359/tid=28361] ppid=28356 vsize=14082740 memory=53476 CPUtime=0.29 cores=1,3,5,7
/proc/28359/task/28361/stat : 28361 (java) R 28356 28359 31076 0 -1 4202560 8493 0 0 0 27 2 0 0 20 0 15 0 45108531 14420725760 12681 33554432000 4194304 4196468 140723484378672 140418039354088 140418019255676 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28362] ppid=28356 vsize=14082740 memory=35 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28362/stat : 28362 (java) S 28356 28359 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108531 14420725760 12681 33554432000 4194304 4196468 140723484378672 140417987795216 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28363] ppid=28356 vsize=14082740 memory=140612491897120 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28363/stat : 28363 (java) S 28356 28359 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108531 14420725760 12681 33554432000 4194304 4196468 140723484378672 140417986742672 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28364] ppid=28356 vsize=14082740 memory=60388 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28364/stat : 28364 (java) S 28356 28359 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108531 14420725760 12681 33554432000 4194304 4196468 140723484378672 140417985690128 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28365] ppid=28356 vsize=14082740 memory=35 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28365/stat : 28365 (java) S 28356 28359 31076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45108531 14420725760 12681 33554432000 4194304 4196468 140723484378672 140417984637584 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28366] ppid=28356 vsize=14082740 memory=140612491904032 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28366/stat : 28366 (java) S 28356 28359 31076 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45108533 14420725760 12681 33554432000 4194304 4196468 140723484378672 140417014680048 140418035186306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28367] ppid=28356 vsize=14082740 memory=35 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28367/stat : 28367 (java) S 28356 28359 31076 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45108533 14420725760 12681 33554432000 4194304 4196468 140723484378672 140417013626272 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28368] ppid=28356 vsize=14082740 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28368/stat : 28368 (java) S 28356 28359 31076 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45108533 14420725760 12681 33554432000 4194304 4196468 140723484378672 140417012573680 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28369] ppid=28356 vsize=14082740 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28369/stat : 28369 (java) S 28356 28359 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108536 14420725760 12681 33554432000 4194304 4196468 140723484378672 140417011522256 140418035193755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28370] ppid=28356 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28359/task/28370/stat : 28370 (java) S 28356 28359 31076 0 -1 1077944384 404 0 0 0 2 0 0 0 20 0 15 0 45108536 14420725760 12681 33554432000 4194304 4196468 140723484378672 140417010468848 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28371] ppid=28356 vsize=14082740 memory=140612330442255 CPUtime=0.02 cores=1,3,5,7
/proc/28359/task/28371/stat : 28371 (java) S 28356 28359 31076 0 -1 1077944384 218 0 0 0 2 0 0 0 20 0 15 0 45108536 14420725760 12681 33554432000 4194304 4196468 140723484378672 140417009416304 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28372] ppid=28356 vsize=14082740 memory=140612491867386 CPUtime=0.08 cores=1,3,5,7
/proc/28359/task/28372/stat : 28372 (java) S 28356 28359 31076 0 -1 1077944384 324 0 0 0 8 0 0 0 20 0 15 0 45108536 14420725760 12681 33554432000 4194304 4196468 140723484378672 140417008363760 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28373] ppid=28356 vsize=14082740 memory=140612330446799 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28373/stat : 28373 (java) S 28356 28359 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108536 14420725760 12681 33554432000 4194304 4196468 140723484378672 140417007311456 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28374] ppid=28356 vsize=14082740 memory=281224822302656 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28374/stat : 28374 (java) S 28356 28359 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108536 14420725760 12681 33554432000 4194304 4196468 140723484378672 140417006258992 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50724 KiB

[startup+0.700745 s]
/proc/loadavg: 1.65 1.42 1.36 3/216 28374
/proc/meminfo: memFree=15260184/32770624 swapFree=67108860/67108860
[pid=28359] ppid=28356 vsize=14084808 memory=88700 CPUtime=0.97 cores=1,3,5,7
/proc/28359/stat : 28359 (java) S 28356 28359 31076 0 -1 1077944320 17604 0 0 0 93 4 0 0 20 0 15 0 45108530 14422843392 22175 33554432000 4194304 4196468 140723484378672 140723484361216 140418035175159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
/proc/28359/statm: 3521202 22175 3498 1 0 3483273 0
[pid=28359/tid=28361] ppid=28356 vsize=14084808 memory=2372 CPUtime=0.67 cores=1,3,5,7
/proc/28359/task/28361/stat : 28361 (java) R 28356 28359 31076 0 -1 4202560 14923 0 0 0 64 3 0 0 20 0 15 0 45108531 14422843392 22175 33554432000 4194304 4196468 140723484378672 140418039399376 140418035197085 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28362] ppid=28356 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28362/stat : 28362 (java) S 28356 28359 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108531 14422843392 22175 33554432000 4194304 4196468 140723484378672 140417987795216 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28363] ppid=28356 vsize=14084808 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28363/stat : 28363 (java) S 28356 28359 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108531 14422843392 22175 33554432000 4194304 4196468 140723484378672 140417986742672 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28364] ppid=28356 vsize=14084808 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28364/stat : 28364 (java) S 28356 28359 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108531 14422843392 22175 33554432000 4194304 4196468 140723484378672 140417985690128 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28365] ppid=28356 vsize=14084808 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28365/stat : 28365 (java) S 28356 28359 31076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45108531 14422843392 22175 33554432000 4194304 4196468 140723484378672 140417984637584 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28366] ppid=28356 vsize=14084808 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28366/stat : 28366 (java) S 28356 28359 31076 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45108533 14422843392 22175 33554432000 4194304 4196468 140723484378672 140417014680048 140418035186306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28367] ppid=28356 vsize=14084808 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28367/stat : 28367 (java) S 28356 28359 31076 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45108533 14422843392 22175 33554432000 4194304 4196468 140723484378672 140417013626272 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28368] ppid=28356 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28368/stat : 28368 (java) S 28356 28359 31076 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45108533 14422843392 22175 33554432000 4194304 4196468 140723484378672 140417012573680 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28369] ppid=28356 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28369/stat : 28369 (java) S 28356 28359 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108536 14422843392 22175 33554432000 4194304 4196468 140723484378672 140417011522256 140418035193755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28370] ppid=28356 vsize=14084808 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/28359/task/28370/stat : 28370 (java) S 28356 28359 31076 0 -1 1077944384 564 0 0 0 6 0 0 0 20 0 15 0 45108536 14422843392 22175 33554432000 4194304 4196468 140723484378672 140417010468848 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28371] ppid=28356 vsize=14084808 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28359/task/28371/stat : 28371 (java) S 28356 28359 31076 0 -1 1077944384 322 0 0 0 7 0 0 0 20 0 15 0 45108536 14422843392 22175 33554432000 4194304 4196468 140723484378672 140417009416304 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28372] ppid=28356 vsize=14084808 memory=-1807685287725067907 CPUtime=0.15 cores=1,3,5,7
/proc/28359/task/28372/stat : 28372 (java) S 28356 28359 31076 0 -1 1077944384 414 0 0 0 15 0 0 0 20 0 15 0 45108536 14422843392 22175 33554432000 4194304 4196468 140723484378672 140417008363760 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28373] ppid=28356 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28373/stat : 28373 (java) S 28356 28359 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108536 14422843392 22175 33554432000 4194304 4196468 140723484378672 140417007311456 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28374] ppid=28356 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28374/stat : 28374 (java) S 28356 28359 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45108536 14422843392 22175 33554432000 4194304 4196468 140723484378672 140417006258992 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88700 KiB

[startup+1.50592 s]
/proc/loadavg: 1.65 1.42 1.36 6/216 28374
/proc/meminfo: memFree=15199500/32770624 swapFree=67108860/67108860
[pid=28359] ppid=28356 vsize=14088904 memory=220944 CPUtime=3.44 cores=1,3,5,7
/proc/28359/stat : 28359 (java) S 28356 28359 31076 0 -1 1077944320 25172 0 0 0 334 10 0 0 20 0 15 0 45108530 14427037696 55236 33554432000 4194304 4196468 140723484378672 140723484361216 140418035175159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
/proc/28359/statm: 3522226 55236 3564 1 0 3484297 0
[pid=28359/tid=28361] ppid=28356 vsize=14088904 memory=3689069560434284645 CPUtime=1.46 cores=1,3,5,7
/proc/28359/task/28361/stat : 28361 (java) S 28356 28359 31076 0 -1 1077944384 17492 0 0 0 140 6 0 0 20 0 15 0 45108531 14427037696 55236 33554432000 4194304 4196468 140723484378672 140418039411200 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28362] ppid=28356 vsize=14088904 memory=106840 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28362/stat : 28362 (java) S 28356 28359 31076 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 45108531 14427037696 55236 33554432000 4194304 4196468 140723484378672 140417987795216 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28363] ppid=28356 vsize=14088904 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28363/stat : 28363 (java) S 28356 28359 31076 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 15 0 45108531 14427037696 55236 33554432000 4194304 4196468 140723484378672 140417986742672 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28364] ppid=28356 vsize=14088904 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28364/stat : 28364 (java) S 28356 28359 31076 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 45108531 14427037696 55236 33554432000 4194304 4196468 140723484378672 140417985690128 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28365] ppid=28356 vsize=14088904 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28365/stat : 28365 (java) S 28356 28359 31076 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 45108531 14427037696 55236 33554432000 4194304 4196468 140723484378672 140417984637584 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28366] ppid=28356 vsize=14088904 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28366/stat : 28366 (java) R 28356 28359 31076 0 -1 4202560 152 0 0 0 0 0 0 0 20 0 15 0 45108533 14427037696 55236 33554432000 4194304 4196468 140723484378672 140417014678560 140418035196506 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0

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

/proc/28359/task/28361/stat : 28361 (java) R 28356 28359 31076 0 -1 4202560 60506 0 0 0 225235 28 0 0 20 0 15 0 45108531 14431232000 271357 33554432000 4194304 4196468 140723484378672 140418039413200 140417667239475 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28362] ppid=28356 vsize=14093000 memory=1085428 CPUtime=6.67 cores=1,3,5,7
/proc/28359/task/28362/stat : 28362 (java) S 28356 28359 31076 0 -1 1077944384 14153 0 0 0 638 29 0 0 20 0 15 0 45108531 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417987795216 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28363] ppid=28356 vsize=14093000 memory=1085428 CPUtime=6.63 cores=1,3,5,7
/proc/28359/task/28363/stat : 28363 (java) S 28356 28359 31076 0 -1 1077944384 12939 0 0 0 634 29 0 0 20 0 15 0 45108531 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417986742672 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28364] ppid=28356 vsize=14093000 memory=1085428 CPUtime=6.67 cores=1,3,5,7
/proc/28359/task/28364/stat : 28364 (java) S 28356 28359 31076 0 -1 1077944384 11965 0 0 0 638 29 0 0 20 0 15 0 45108531 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417985690128 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28365] ppid=28356 vsize=14093000 memory=1085428 CPUtime=6.71 cores=1,3,5,7
/proc/28359/task/28365/stat : 28365 (java) S 28356 28359 31076 0 -1 1077944384 17115 0 0 0 640 31 0 0 20 0 15 0 45108531 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417984637584 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28366] ppid=28356 vsize=14093000 memory=281224661565536 CPUtime=2.4 cores=1,3,5,7
/proc/28359/task/28366/stat : 28366 (java) S 28356 28359 31076 0 -1 1077944384 15985 0 0 0 216 24 0 0 20 0 15 0 45108533 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417014680048 140418035186306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28367] ppid=28356 vsize=14093000 memory=1085428 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28367/stat : 28367 (java) S 28356 28359 31076 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 45108533 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417013626336 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28368] ppid=28356 vsize=14093000 memory=1085428 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28368/stat : 28368 (java) S 28356 28359 31076 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 45108533 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417012573696 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28369] ppid=28356 vsize=14093000 memory=1085428 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28369/stat : 28369 (java) S 28356 28359 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108536 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417011522256 140418035193755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28370] ppid=28356 vsize=14093000 memory=1085428 CPUtime=3.5 cores=1,3,5,7
/proc/28359/task/28370/stat : 28370 (java) S 28356 28359 31076 0 -1 1077944384 12767 0 0 0 347 3 0 0 20 0 15 0 45108536 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417010468848 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28371] ppid=28356 vsize=14093000 memory=7649399380020246577 CPUtime=3.96 cores=1,3,5,7
/proc/28359/task/28371/stat : 28371 (java) S 28356 28359 31076 0 -1 1077944384 13659 0 0 0 394 2 0 0 20 0 15 0 45108536 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417009416304 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28372] ppid=28356 vsize=14093000 memory=7649540009497820834 CPUtime=1.38 cores=1,3,5,7
/proc/28359/task/28372/stat : 28372 (java) S 28356 28359 31076 0 -1 1077944384 22697 0 0 0 134 4 0 0 20 0 15 0 45108536 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417008363760 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28373] ppid=28356 vsize=14093000 memory=1085428 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28373/stat : 28373 (java) S 28356 28359 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108536 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417007311456 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28374] ppid=28356 vsize=14093000 memory=1728 CPUtime=0.98 cores=1,3,5,7
/proc/28359/task/28374/stat : 28374 (java) S 28356 28359 31076 0 -1 1077944384 1683 0 0 0 43 55 0 0 20 0 15 0 45108536 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417006258992 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 31 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
Current children cumulated CPU time: 2291.64 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1085428 KiB

[startup+2322.3 s]
/proc/loadavg: 1.39 1.33 1.38 3/216 28445
/proc/meminfo: memFree=14436480/32770624 swapFree=67108860/67108860
[pid=28359] ppid=28356 vsize=14093000 memory=1085428 CPUtime=2352.2 cores=1,3,5,7
/proc/28359/stat : 28359 (java) S 28356 28359 31076 0 -1 1077944320 186588 0 0 0 235002 218 0 0 20 0 15 0 45108530 14431232000 271357 33554432000 4194304 4196468 140723484378672 140723484361216 140418035175159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
/proc/28359/statm: 3523250 271357 3616 1 0 3485321 0
[pid=28359/tid=28361] ppid=28356 vsize=14093000 memory=1085428 CPUtime=2312.37 cores=1,3,5,7
/proc/28359/task/28361/stat : 28361 (java) R 28356 28359 31076 0 -1 4202560 60991 0 0 0 231208 29 0 0 20 0 15 0 45108531 14431232000 271357 33554432000 4194304 4196468 140723484378672 140418039413120 140417669978847 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28362] ppid=28356 vsize=14093000 memory=2580 CPUtime=6.86 cores=1,3,5,7
/proc/28359/task/28362/stat : 28362 (java) S 28356 28359 31076 0 -1 1077944384 14211 0 0 0 656 30 0 0 20 0 15 0 45108531 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417987795216 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28363] ppid=28356 vsize=14093000 memory=1085428 CPUtime=6.82 cores=1,3,5,7
/proc/28359/task/28363/stat : 28363 (java) S 28356 28359 31076 0 -1 1077944384 13150 0 0 0 652 30 0 0 20 0 15 0 45108531 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417986742672 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28364] ppid=28356 vsize=14093000 memory=0 CPUtime=6.84 cores=1,3,5,7
/proc/28359/task/28364/stat : 28364 (java) S 28356 28359 31076 0 -1 1077944384 12394 0 0 0 655 29 0 0 20 0 15 0 45108531 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417985690128 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28365] ppid=28356 vsize=14093000 memory=1085428 CPUtime=6.89 cores=1,3,5,7
/proc/28359/task/28365/stat : 28365 (java) S 28356 28359 31076 0 -1 1077944384 17480 0 0 0 657 32 0 0 20 0 15 0 45108531 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417984637584 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28366] ppid=28356 vsize=14093000 memory=1085428 CPUtime=2.48 cores=1,3,5,7
/proc/28359/task/28366/stat : 28366 (java) S 28356 28359 31076 0 -1 1077944384 16081 0 0 0 224 24 0 0 20 0 15 0 45108533 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417014680048 140418035186306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28367] ppid=28356 vsize=14093000 memory=1085428 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28367/stat : 28367 (java) S 28356 28359 31076 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 45108533 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417013626336 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28368] ppid=28356 vsize=14093000 memory=1085428 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28368/stat : 28368 (java) S 28356 28359 31076 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 45108533 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417012573696 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28369] ppid=28356 vsize=14093000 memory=1085428 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28369/stat : 28369 (java) S 28356 28359 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108536 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417011522256 140418035193755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28370] ppid=28356 vsize=14093000 memory=1085428 CPUtime=3.5 cores=1,3,5,7
/proc/28359/task/28370/stat : 28370 (java) S 28356 28359 31076 0 -1 1077944384 12771 0 0 0 347 3 0 0 20 0 15 0 45108536 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417010468848 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28371] ppid=28356 vsize=14093000 memory=1085428 CPUtime=3.96 cores=1,3,5,7
/proc/28359/task/28371/stat : 28371 (java) S 28356 28359 31076 0 -1 1077944384 13663 0 0 0 394 2 0 0 20 0 15 0 45108536 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417009416304 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28372] ppid=28356 vsize=14093000 memory=1085428 CPUtime=1.38 cores=1,3,5,7
/proc/28359/task/28372/stat : 28372 (java) S 28356 28359 31076 0 -1 1077944384 22701 0 0 0 134 4 0 0 20 0 15 0 45108536 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417008363760 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28373] ppid=28356 vsize=14093000 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28373/stat : 28373 (java) S 28356 28359 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108536 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417007311456 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28374] ppid=28356 vsize=14093000 memory=15188 CPUtime=1.01 cores=1,3,5,7
/proc/28359/task/28374/stat : 28374 (java) S 28356 28359 31076 0 -1 1077944384 1698 0 0 0 45 56 0 0 20 0 15 0 45108536 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417006258992 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 31 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
Current children cumulated CPU time: 2352.2 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1085428 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2369.7 s]
/proc/loadavg: 1.37 1.33 1.38 3/216 28524
/proc/meminfo: memFree=14646412/32770624 swapFree=67108860/67108860
[pid=28359] ppid=28356 vsize=14093000 memory=1085428 CPUtime=2400.05 cores=1,3,5,7
/proc/28359/stat : 28359 (java) S 28356 28359 31076 0 -1 1077944320 187749 0 0 0 239784 221 0 0 20 0 15 0 45108530 14431232000 271357 33554432000 4194304 4196468 140723484378672 140723484361216 140418035175159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
/proc/28359/statm: 3523250 271357 3616 1 0 3485321 0
[pid=28359/tid=28361] ppid=28356 vsize=14093000 memory=1085428 CPUtime=2359.54 cores=1,3,5,7
/proc/28359/task/28361/stat : 28361 (java) R 28356 28359 31076 0 -1 4202560 61443 0 0 0 235925 29 0 0 20 0 15 0 45108531 14431232000 271357 33554432000 4194304 4196468 140723484378672 140418039413088 140417668100192 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28362] ppid=28356 vsize=14093000 memory=1085428 CPUtime=7.01 cores=1,3,5,7
/proc/28359/task/28362/stat : 28362 (java) S 28356 28359 31076 0 -1 1077944384 14241 0 0 0 671 30 0 0 20 0 15 0 45108531 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417987795216 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28363] ppid=28356 vsize=14093000 memory=1085428 CPUtime=6.96 cores=1,3,5,7
/proc/28359/task/28363/stat : 28363 (java) S 28356 28359 31076 0 -1 1077944384 13304 0 0 0 666 30 0 0 20 0 15 0 45108531 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417986742672 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28364] ppid=28356 vsize=14093000 memory=1085428 CPUtime=6.99 cores=1,3,5,7
/proc/28359/task/28364/stat : 28364 (java) S 28356 28359 31076 0 -1 1077944384 12575 0 0 0 669 30 0 0 20 0 15 0 45108531 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417985690128 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28365] ppid=28356 vsize=14093000 memory=1085428 CPUtime=7.03 cores=1,3,5,7
/proc/28359/task/28365/stat : 28365 (java) S 28356 28359 31076 0 -1 1077944384 17730 0 0 0 671 32 0 0 20 0 15 0 45108531 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417984637584 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28366] ppid=28356 vsize=14093000 memory=288230574492221466 CPUtime=2.55 cores=1,3,5,7
/proc/28359/task/28366/stat : 28366 (java) S 28356 28359 31076 0 -1 1077944384 16152 0 0 0 230 25 0 0 20 0 15 0 45108533 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417014680048 140418035186306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28367] ppid=28356 vsize=14093000 memory=1085428 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28367/stat : 28367 (java) S 28356 28359 31076 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 45108533 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417013626336 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28368] ppid=28356 vsize=14093000 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28368/stat : 28368 (java) S 28356 28359 31076 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 45108533 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417012573696 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28369] ppid=28356 vsize=14093000 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28369/stat : 28369 (java) S 28356 28359 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108536 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417011522256 140418035193755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28370] ppid=28356 vsize=14093000 memory=1085428 CPUtime=3.5 cores=1,3,5,7
/proc/28359/task/28370/stat : 28370 (java) S 28356 28359 31076 0 -1 1077944384 12773 0 0 0 347 3 0 0 20 0 15 0 45108536 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417010468848 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28371] ppid=28356 vsize=14093000 memory=1085428 CPUtime=3.96 cores=1,3,5,7
/proc/28359/task/28371/stat : 28371 (java) S 28356 28359 31076 0 -1 1077944384 13665 0 0 0 394 2 0 0 20 0 15 0 45108536 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417009416304 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28372] ppid=28356 vsize=14093000 memory=1085428 CPUtime=1.38 cores=1,3,5,7
/proc/28359/task/28372/stat : 28372 (java) S 28356 28359 31076 0 -1 1077944384 22703 0 0 0 134 4 0 0 20 0 15 0 45108536 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417008363760 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28373] ppid=28356 vsize=14093000 memory=1085428 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28373/stat : 28373 (java) S 28356 28359 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108536 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417007311456 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28374] ppid=28356 vsize=14093000 memory=1085428 CPUtime=1.03 cores=1,3,5,7
/proc/28359/task/28374/stat : 28374 (java) S 28356 28359 31076 0 -1 1077944384 1715 0 0 0 46 57 0 0 20 0 15 0 45108536 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417006258992 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 31 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1085428 KiB

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

[startup+2370.07 s]
# the end of solver process 28359 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.22 s, system=2.22203 s

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

[startup+2369.7 s]
/proc/loadavg: 1.37 1.33 1.38 3/216 28524
/proc/meminfo: memFree=14646412/32770624 swapFree=67108860/67108860
[pid=28359] ppid=28356 vsize=14093000 memory=1085428 CPUtime=2400.05 cores=1,3,5,7
/proc/28359/stat : 28359 (java) S 28356 28359 31076 0 -1 1077944320 187749 0 0 0 239784 221 0 0 20 0 15 0 45108530 14431232000 271357 33554432000 4194304 4196468 140723484378672 140723484361216 140418035175159 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
/proc/28359/statm: 3523250 271357 3616 1 0 3485321 0
[pid=28359/tid=28361] ppid=28356 vsize=14093000 memory=1085428 CPUtime=2359.54 cores=1,3,5,7
/proc/28359/task/28361/stat : 28361 (java) R 28356 28359 31076 0 -1 4202560 61443 0 0 0 235925 29 0 0 20 0 15 0 45108531 14431232000 271357 33554432000 4194304 4196468 140723484378672 140418039413088 140417668100192 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28362] ppid=28356 vsize=14093000 memory=1085428 CPUtime=7.01 cores=1,3,5,7
/proc/28359/task/28362/stat : 28362 (java) S 28356 28359 31076 0 -1 1077944384 14241 0 0 0 671 30 0 0 20 0 15 0 45108531 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417987795216 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28363] ppid=28356 vsize=14093000 memory=1085428 CPUtime=6.96 cores=1,3,5,7
/proc/28359/task/28363/stat : 28363 (java) S 28356 28359 31076 0 -1 1077944384 13304 0 0 0 666 30 0 0 20 0 15 0 45108531 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417986742672 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28364] ppid=28356 vsize=14093000 memory=1085428 CPUtime=6.99 cores=1,3,5,7
/proc/28359/task/28364/stat : 28364 (java) S 28356 28359 31076 0 -1 1077944384 12575 0 0 0 669 30 0 0 20 0 15 0 45108531 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417985690128 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28365] ppid=28356 vsize=14093000 memory=1085428 CPUtime=7.03 cores=1,3,5,7
/proc/28359/task/28365/stat : 28365 (java) S 28356 28359 31076 0 -1 1077944384 17730 0 0 0 671 32 0 0 20 0 15 0 45108531 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417984637584 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28366] ppid=28356 vsize=14093000 memory=288230574492221466 CPUtime=2.55 cores=1,3,5,7
/proc/28359/task/28366/stat : 28366 (java) S 28356 28359 31076 0 -1 1077944384 16152 0 0 0 230 25 0 0 20 0 15 0 45108533 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417014680048 140418035186306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28367] ppid=28356 vsize=14093000 memory=1085428 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28367/stat : 28367 (java) S 28356 28359 31076 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 45108533 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417013626336 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28368] ppid=28356 vsize=14093000 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28368/stat : 28368 (java) S 28356 28359 31076 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 45108533 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417012573696 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28369] ppid=28356 vsize=14093000 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28369/stat : 28369 (java) S 28356 28359 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108536 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417011522256 140418035193755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28370] ppid=28356 vsize=14093000 memory=1085428 CPUtime=3.5 cores=1,3,5,7
/proc/28359/task/28370/stat : 28370 (java) S 28356 28359 31076 0 -1 1077944384 12773 0 0 0 347 3 0 0 20 0 15 0 45108536 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417010468848 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28371] ppid=28356 vsize=14093000 memory=1085428 CPUtime=3.96 cores=1,3,5,7
/proc/28359/task/28371/stat : 28371 (java) S 28356 28359 31076 0 -1 1077944384 13665 0 0 0 394 2 0 0 20 0 15 0 45108536 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417009416304 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28372] ppid=28356 vsize=14093000 memory=1085428 CPUtime=1.38 cores=1,3,5,7
/proc/28359/task/28372/stat : 28372 (java) S 28356 28359 31076 0 -1 1077944384 22703 0 0 0 134 4 0 0 20 0 15 0 45108536 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417008363760 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28373] ppid=28356 vsize=14093000 memory=1085428 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28373/stat : 28373 (java) S 28356 28359 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45108536 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417007311456 140418035185365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
[pid=28359/tid=28374] ppid=28356 vsize=14093000 memory=1085428 CPUtime=1.03 cores=1,3,5,7
/proc/28359/task/28374/stat : 28374 (java) S 28356 28359 31076 0 -1 1077944384 1715 0 0 0 46 57 0 0 20 0 15 0 45108536 14431232000 271357 33554432000 4194304 4196468 140723484378672 140417006258992 140418035186306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 31 0 0 6293624 6294260 29937664 140723484382281 140723484382473 140723484382473 140723484385231 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1085428 KiB

Child status: 143
Real time (s): 2370.07
CPU time (s): 2400.44
CPU user time (s): 2398.22
CPU system time (s): 2.22203
CPU usage (%): 101.281
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 1359900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.22
system time used= 2.22203
maximum resident set size= 1361232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188250
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118152
involuntary context switches= 2230


# summary of solver processes directly reported to runsolver:
#   pid: 28359
#   total CPU time (s): 2400.44
#   total CPU user time (s): 2398.22
#   total CPU system time (s): 2.22203

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.269 second user time and 21.953 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-22 18:04:14
IDJOB=4291889
IDBENCH=141195
IDSOLVER=2743
FILE ID=node105/4291889-1532275453
RUNJOBID= node105-1532270698-27817
PBS_JOBID= 21018967
Free space on /tmp= 44888 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-07-02
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-12-opt_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291889-1532275453/watcher-4291889-1532275453 -o /tmp/evaluation-result-4291889-1532275453/solver-4291889-1532275453 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532270698-27817 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 794726543 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291889-1532275453.xml

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

MD5SUM BENCH= 6121a94880b1ccb1614ec86f716938fa
RANDOM SEED=794726543

node105.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.32
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.32
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.32
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.32
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:        15414204 kB
MemAvailable:   31381912 kB
Buffers:          169588 kB
Cached:         15764028 kB
SwapCached:            0 kB
Active:          1917468 kB
Inactive:       14629736 kB
Active(anon):     567716 kB
Inactive(anon):    65084 kB
Active(file):    1349752 kB
Inactive(file): 14564652 kB
Unevictable:        7308 kB
Mlocked:            7308 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35928 kB
Writeback:             0 kB
AnonPages:        618520 kB
Mapped:            49380 kB
Shmem:             17036 kB
Slab:             508840 kB
SReclaimable:     481764 kB
SUnreclaim:        27076 kB
KernelStack:        3568 kB
PageTables:         6044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1714440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    471040 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44852 MiB
End job on node105 at 2018-07-22 18:43:44