Trace number 4291924

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)10133272 2400.12 2385.34

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.67/0.56	c version: 2018-07-02
0.67/0.56	c seed: 1698315212
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...
17.26/10.22	c Parsing done, starting search...
217.11/207.01	o 11812624
217.11/207.02	o 11812623
217.11/207.03	o 11812523
217.11/207.04	o 11812521
217.11/207.04	o 11810521
217.11/207.05	o 11810519
217.11/207.06	o 11810419
217.11/207.07	o 11610419
217.11/207.07	o 11610418
217.11/207.08	o 11410418
217.11/207.09	o 11410416
217.11/207.10	o 11410415
217.11/207.10	o 11410413
217.38/207.11	o 11410315
217.38/207.12	o 11410217
217.38/207.13	o 11410215
217.38/207.14	o 11410115
217.38/207.15	o 11410016
217.38/207.15	o 11410015
217.38/207.16	o 11409015
217.38/207.18	o 11408915
217.38/207.18	o 11408914
217.38/207.19	o 11408913
217.64/207.20	o 11408912
217.64/207.21	o 11408910
217.64/207.22	o 11408908
217.64/207.22	o 11408905
217.64/207.23	o 11408805
217.64/207.24	o 11408706
217.64/207.25	o 11408606
217.64/207.25	o 11408605
217.64/207.26	o 11408602
217.64/207.27	o 11408598
217.64/207.28	o 11388598
217.64/207.29	o 11386698
217.83/207.30	o 11386697
217.83/207.31	o 11386696
217.83/207.31	o 11386694
217.83/207.32	o 11386393
217.83/207.33	o 11386293
217.83/207.34	o 11384293
217.83/207.35	o 11384193
217.83/207.37	o 11185202
217.83/207.37	o 11185200
217.83/207.38	o 11185199
217.83/207.38	o 11185196
217.83/207.39	o 11185096
217.95/207.41	o 11185095
217.95/207.42	o 11184295
217.95/207.42	o 11184293
217.95/207.44	o 11184193
217.95/207.45	o 11183993
217.95/207.46	o 11182993
217.95/207.47	o 10982893
217.95/207.49	o 10982797
218.05/207.50	o 10982795
218.05/207.50	o 10982794
218.05/207.52	o 10982793
218.05/207.53	o 10981694
218.05/207.55	o 10962693
218.05/207.56	o 10962692
218.05/207.57	o 10961693
218.05/207.58	o 10961592
218.05/207.59	o 10961590
218.16/207.60	o 10961589
218.16/207.62	o 10764691
218.16/207.63	o 10764591
218.16/207.63	o 10764491
218.16/207.64	o 10764391
218.16/207.64	o 10764291
218.16/207.65	o 10764290
218.16/207.65	o 10764288
218.16/207.66	o 10764188
218.16/207.66	o 10764088
218.16/207.67	o 10763988
218.16/207.67	o 10763888
218.16/207.68	o 10763791
218.16/207.68	o 10763790
218.16/207.69	o 10763690
218.16/207.69	o 10763590
218.26/207.70	o 10761590
218.26/207.75	o 10761497
218.26/207.76	o 10761402
218.26/207.77	o 10761400
218.26/207.77	o 10761399
218.26/207.78	o 10761397
218.26/207.79	o 10761392
218.26/207.79	o 10761292
218.36/207.81	o 10760601
218.36/207.82	o 10760599
218.36/207.83	o 10760598
218.36/207.84	o 10760597
218.36/207.85	o 10760596
218.36/207.86	o 10760497
218.36/207.86	o 10760496
218.36/207.88	o 10760403
218.36/207.88	o 10760401
218.36/207.89	o 10760396
218.46/207.90	o 10760196
218.46/207.91	o 10760195
218.46/207.92	o 10760192
218.46/207.94	o 10760191
218.46/207.95	o 10760092
218.57/208.09	o 10759401
218.57/208.09	o 10759400
218.57/208.10	o 10759399
218.57/208.10	o 10759398
218.67/208.11	o 10759397
218.67/208.12	o 10759395
218.67/208.13	o 10759390
218.67/208.14	o 10759389
218.67/208.15	o 10759386
218.67/208.16	o 10759186
218.67/208.18	o 10759092
218.67/208.19	o 10759089
218.77/208.28	o 10758808
218.77/208.29	o 10758608
218.77/208.29	o 10758504
218.87/208.30	o 10758502
218.87/208.31	o 10758500
218.87/208.32	o 10758497
218.87/208.32	o 10758496
218.87/208.33	o 10758395
218.87/208.34	o 10758296
218.87/208.35	o 10758291
218.87/208.35	o 10758290
218.87/208.36	o 10758287
218.87/208.37	o 10758087
218.97/208.40	o 10757801
218.97/208.41	o 10757799
218.97/208.42	o 10757798
218.97/208.42	o 10757797
218.97/208.43	o 10757795
218.97/208.44	o 10757791
218.97/208.45	o 10757787
218.97/208.46	o 10757786
218.97/208.46	o 10757687
218.97/208.47	o 10757686
218.97/208.47	o 10757685
218.97/208.48	o 10757591
218.97/208.49	o 10757589
218.97/208.49	o 10757588
219.07/208.50	o 10757494
219.07/208.51	o 10757396
219.07/208.53	o 10757393
219.07/208.54	o 10757391
219.07/208.55	o 10757390
219.07/208.56	o 10757387
219.07/208.57	o 10757196
219.07/208.58	o 10757194
219.07/208.58	o 10757192
219.07/208.59	o 10757190
219.17/208.60	o 10757188
219.17/208.61	o 10757187
219.17/208.62	o 10757185
219.17/208.64	o 10757085
219.17/208.64	o 10757084
219.17/208.65	o 10756987
219.27/208.75	o 10756912
219.27/208.75	o 10756910
219.27/208.75	o 10756909
219.27/208.76	o 10756809
219.27/208.76	o 10756807
219.27/208.77	o 10756707
219.27/208.77	o 10756603
219.27/208.78	o 10756601
219.27/208.78	o 10756597
219.27/208.79	o 10756497
219.37/208.81	o 10756397
219.37/208.82	o 10756298
219.37/208.84	o 10756197
219.37/208.85	o 10756192
219.37/208.86	o 10756191
219.37/208.86	o 10756188
219.37/208.87	o 10755988
219.48/208.93	o 10755987
219.58/209.01	o 10559198
219.58/209.02	o 10559098
219.58/209.02	o 10559095
219.58/209.03	o 10559094
219.58/209.03	o 10559093
219.58/209.04	o 10558992
219.58/209.07	o 10558892
219.58/209.08	o 10558891
219.58/209.09	o 10558888
219.69/209.13	o 10558788
219.69/209.13	o 10558787
219.69/209.18	o 10558195
219.69/209.19	o 10558096
219.78/209.20	o 10557996
219.78/209.21	o 10557902
219.78/209.22	o 10557801
219.78/209.24	o 10557796
219.78/209.25	o 10557795
219.78/209.25	o 10557794
219.78/209.25	o 10557791
220.08/209.55	o 10557711
220.08/209.56	o 10557710
220.08/209.56	o 10557709
220.08/209.56	o 10557707
220.08/209.57	o 10557705
220.08/209.57	o 10557704
220.08/209.58	o 10557702
220.08/209.58	o 10557700
220.08/209.58	o 10557699
220.08/209.59	o 10557697
220.08/209.59	o 10557695
220.18/209.60	o 10557691
220.18/209.60	o 10557690
220.18/209.61	o 10557589
220.18/209.62	o 10557489
220.18/209.63	o 10557289
220.28/209.78	o 10557287
220.28/209.78	o 10557190
220.28/209.79	o 10557089
220.38/209.83	o 10556889
220.38/209.89	o 10556791
220.88/210.33	o 10556597
220.88/210.33	o 10556596
220.88/210.34	o 10556595
220.88/210.34	o 10556495
220.88/210.35	o 10556493
220.88/210.36	o 10556403
220.88/210.37	o 10556302
220.88/210.38	o 10556300
220.88/210.38	o 10556299
220.88/210.39	o 10556298
221.02/210.40	o 10556200
221.02/210.41	o 10556199
221.02/210.41	o 10556100
221.02/210.42	o 10556099
221.02/210.48	o 10556096
221.02/210.49	o 10556094
221.02/210.49	o 10556093
221.12/210.50	o 10556090
221.12/210.51	o 10556089
221.22/210.61	o 10556003
221.22/210.62	o 10556001
221.22/210.67	o 10555996
221.22/210.67	o 10555995
221.22/210.68	o 10555994
221.22/210.68	o 10555991
221.32/210.76	o 10555907
221.32/210.76	o 10555905
221.32/210.77	o 10555903
221.32/210.77	o 10555902
221.32/210.78	o 10555901
221.32/210.78	o 10555896
221.32/210.79	o 10555895
221.32/210.79	o 10555894
221.43/210.80	o 10555891
246.85/236.20	o 10555816
246.85/236.21	o 10555814
246.85/236.21	o 10555813
246.85/236.22	o 10555812
246.85/236.22	o 10555712
246.85/236.23	o 10555710
246.85/236.24	o 10555609
246.85/236.25	o 10555410
246.85/236.26	o 10555311
246.85/236.27	o 10555310
246.85/236.27	o 10555206
246.85/236.28	o 10555204
246.85/236.28	o 10555200
246.95/236.31	o 10555199
246.95/236.31	o 10555198
246.95/236.32	o 10555197
246.95/236.32	o 10555194
246.95/236.33	o 10555192
246.95/236.34	o 10555191
246.95/236.34	o 10555190
247.15/236.50	o 10555096
247.15/236.51	o 10555095
247.15/236.51	o 10555092
247.15/236.52	o 10554992
248.25/237.66	o 10554991
249.15/238.57	o 10554903
249.15/238.57	o 10554901
249.25/238.60	o 10554896
249.25/238.61	o 10554895
249.25/238.61	o 10554894
249.25/238.61	o 10554891
250.15/239.53	o 10554795
250.15/239.53	o 10554794
250.15/239.54	o 10554793
250.15/239.54	o 10554792
250.15/239.55	o 10554592
250.15/239.56	o 10554492
250.15/239.57	o 10554491
250.15/239.57	o 10554391
250.15/239.58	o 10554389
250.15/239.59	o 10554387
250.15/239.60	o 10554288
250.96/240.31	o 10554287
255.86/245.29	o 10554087
255.86/245.29	o 10553986
255.96/245.30	o 10553886
255.96/245.30	o 10553687
255.96/245.31	o 10553587
258.60/247.80	o 10553487
258.91/248.16	o 10552487
259.00/248.22	o 10552392
259.00/248.23	o 10552391
259.00/248.24	o 10552389
259.00/248.24	o 10552289
259.00/248.25	o 10552189
259.00/248.26	o 10551989
259.00/248.27	o 10551789
259.00/248.27	o 10551689
259.00/248.28	o 10551589
259.00/248.29	o 10551487
260.40/249.60	o 10550587
261.51/250.77	o 10549789
261.61/250.84	o 10549689
263.31/252.55	o 10549687
263.31/252.58	o 10549686
268.51/257.71	o 10549685
1105.47/1093.75	o 10211304
1105.47/1093.75	o 10210304
1105.47/1093.76	o 10210202
1105.47/1093.76	o 10209203
1105.47/1093.77	o 10209202
1105.47/1093.77	o 10209200
1105.47/1093.77	o 10209198
1105.47/1093.78	o 10209196
1105.47/1093.78	o 10209195
1105.47/1093.79	o 10189195
1105.47/1093.80	o 10188195
1105.58/1093.81	o 10188194
1105.58/1093.81	o 10188193
1105.58/1093.82	o 10187193
1105.58/1093.82	o 10187191
1105.58/1093.83	o 10187189
1105.58/1093.84	o 10187105
1105.58/1093.85	o 10187104
1105.58/1093.85	o 10187103
1105.58/1093.85	o 10187102
1105.58/1093.86	o 10187101
1105.58/1093.86	o 10187099
1105.58/1093.87	o 10187097
1105.58/1093.87	o 10187095
1105.58/1093.88	o 10187093
1105.58/1093.88	o 10187091
1105.58/1093.89	o 10187089
1105.58/1093.89	o 10187088
1105.67/1093.90	o 10186991
1105.67/1093.91	o 10186990
1105.67/1093.91	o 10186988
1105.67/1093.92	o 10186987
1105.67/1093.94	o 10185992
1105.67/1093.94	o 10185990
1105.67/1093.95	o 10185987
1105.78/1094.04	o 10185889
1105.78/1094.04	o 10185888
1105.78/1094.05	o 10185886
1105.78/1094.06	o 10185885
1105.88/1094.18	o 10185884
1105.88/1094.18	o 10185883
1106.08/1094.31	o 10185684
1106.08/1094.32	o 10185683
1106.18/1094.47	o 10185485
1106.18/1094.48	o 10185484
1106.67/1094.93	o 10183590
1106.67/1094.94	o 10183490
1106.67/1094.95	o 10183489
1106.67/1094.96	o 10183488
1106.67/1094.96	o 10183486
1106.67/1094.97	o 10183484
1107.17/1095.49	o 10183385
1107.27/1095.54	o 10183313
1107.27/1095.54	o 10183312
1107.27/1095.55	o 10183311
1107.27/1095.55	o 10183310
1107.27/1095.55	o 10183309
1107.27/1095.56	o 10183308
1107.27/1095.56	o 10183306
1107.27/1095.57	o 10183304
1107.27/1095.57	o 10183302
1107.27/1095.57	o 10183300
1107.27/1095.58	o 10183298
1107.27/1095.58	o 10183296
1107.27/1095.59	o 10183294
1107.27/1095.59	o 10183291
1107.38/1095.60	o 10183289
1107.38/1095.61	o 10183288
1107.89/1096.19	o 10183089
1107.98/1096.20	o 10183088
1108.48/1096.72	o 10182184
1108.48/1096.74	o 10182183
1108.58/1096.86	o 10182089
1108.58/1096.86	o 10182088
1108.79/1097.07	o 10182087
1109.89/1098.19	o 10182086
1109.89/1098.20	o 10182085
1109.98/1098.21	o 10181990
1109.98/1098.23	o 10181989
1109.98/1098.27	o 10181987
1111.28/1099.53	o 10181880
1111.28/1099.54	o 10181879
1112.59/1100.81	o 10180781
1112.59/1100.82	o 10180778
1112.59/1100.82	o 10180777
1112.59/1100.82	o 10180776
1112.59/1100.84	o 10180775
1112.59/1100.85	o 10179775
1112.59/1100.89	o 10179683
1112.59/1100.89	o 10179682
1112.71/1100.90	o 10179680
1112.71/1100.94	o 10179679
1114.31/1102.57	o 10178817
1114.31/1102.58	o 10178816
1114.31/1102.58	o 10178815
1114.31/1102.58	o 10178814
1114.31/1102.59	o 10178812
1114.31/1102.59	o 10178810
1114.31/1102.59	o 10178808
1114.31/1102.60	o 10178806
1114.41/1102.60	o 10178803
1114.41/1102.60	o 10178802
1114.41/1102.61	o 10178801
1114.41/1102.61	o 10178799
1114.41/1102.62	o 10178797
1114.41/1102.62	o 10178795
1114.41/1102.63	o 10178792
1114.41/1102.63	o 10178791
1114.41/1102.63	o 10178789
1114.41/1102.64	o 10178788
1114.41/1102.65	o 10178686
1114.41/1102.66	o 10178685
1114.41/1102.66	o 10178683
1114.41/1102.67	o 10178682
1114.61/1102.82	o 10178681
1114.61/1102.82	o 10178680
1114.92/1103.11	o 10178679
1114.92/1103.12	o 10177780
1114.92/1103.19	o 10177778
1114.92/1103.19	o 10177776
1115.11/1103.37	o 10177682
1115.11/1103.39	o 10177680
1116.91/1105.12	o 10177581
1117.00/1105.23	o 10176684
1117.00/1105.24	o 10176683
1117.00/1105.24	o 10176682
1117.10/1105.31	o 10176680
1119.11/1107.33	o 10176617
1119.11/1107.33	o 10176515
1119.11/1107.34	o 10176513
1119.11/1107.34	o 10176512
1119.11/1107.34	o 10176511
1119.11/1107.35	o 10176411
1119.11/1107.35	o 10176309
1119.11/1107.36	o 10176308
1119.11/1107.36	o 10176208
1119.11/1107.36	o 10176206
1119.11/1107.37	o 10176204
1119.11/1107.37	o 10176203
1119.11/1107.38	o 10176201
1119.11/1107.38	o 10176199
1119.11/1107.39	o 10176099
1119.11/1107.39	o 10175999
1119.11/1107.39	o 10175891
1119.21/1107.40	o 10175889
1119.21/1107.40	o 10175888
1119.21/1107.41	o 10175788
1119.21/1107.41	o 10175786
1119.21/1107.42	o 10175784
1119.21/1107.42	o 10175584
1119.21/1107.43	o 10175583
1119.21/1107.44	o 10175383
1119.21/1107.44	o 10175283
1119.21/1107.45	o 10175083
1119.21/1107.45	o 10174983
1119.21/1107.46	o 10174981
1119.21/1107.46	o 10174979
1119.21/1107.47	o 10174879
1119.21/1107.48	o 10174680
1121.71/1109.90	o 10174679
1123.21/1111.46	o 10159776
1123.21/1111.48	o 10159680
1123.31/1111.54	o 10159678
1123.61/1111.89	o 10158978
1123.71/1111.90	o 10158976
1123.71/1111.92	o 10158880
1123.81/1112.01	o 10158875
1123.81/1112.03	o 10158781
1123.81/1112.04	o 10158779
1123.81/1112.09	o 10156681
1123.91/1112.15	o 10156679
1124.71/1113.00	o 10156079
1124.71/1113.00	o 10156077
1124.81/1113.01	o 10156076
1124.81/1113.01	o 10155977
1124.81/1113.01	o 10155976
1124.81/1113.02	o 10155776
1124.81/1113.03	o 10154877
1124.81/1113.06	o 10154875
1124.81/1113.09	o 10154782
1124.81/1113.09	o 10154780
1124.81/1113.09	o 10154779
1124.81/1113.10	o 10154679
1126.01/1114.25	o 10154677
1126.01/1114.25	o 10154577
1126.01/1114.27	o 10154481
1126.01/1114.29	o 10154479
1130.92/1119.15	o 10154478
1130.92/1119.15	o 10154477
1130.92/1119.15	o 10154476
1130.92/1119.16	o 10154474
1130.92/1119.16	o 10154374
1130.92/1119.18	o 10154372
1130.92/1119.19	o 10154276
1134.85/1123.01	o 10145880
1134.85/1123.02	o 10144882
1134.85/1123.03	o 10143882
1134.85/1123.04	o 10143786
1134.85/1123.05	o 10143785
1134.85/1123.05	o 10143784
1134.85/1123.07	o 10143783
1134.85/1123.08	o 10143683
1134.85/1123.09	o 10143484
1134.96/1123.11	o 10143479
1134.96/1123.12	o 10143381
1134.96/1123.13	o 10143281
1134.96/1123.16	o 10142980
1134.96/1123.16	o 10142780
1134.96/1123.17	o 10142680
1134.96/1123.18	o 10141680
1134.96/1123.19	o 10141580
1135.05/1123.20	o 10141484
1135.05/1123.26	o 10141479
1135.05/1123.27	o 10141382
1135.05/1123.28	o 10141381
1135.05/1123.29	o 10141281
1135.15/1123.34	o 10141277
1135.15/1123.35	o 10141181
1135.15/1123.38	o 10140180
1135.25/1123.46	o 10140178
1135.25/1123.50	o 10140177
1135.35/1123.51	o 10140175
1135.65/1123.82	o 10140174
1135.65/1123.82	o 10140173
1135.75/1123.95	o 10139978
1135.75/1123.96	o 10139778
1135.75/1123.97	o 10139678
1135.75/1123.97	o 10139677
1135.75/1123.98	o 10139675
1135.86/1124.02	o 10139584
1135.86/1124.02	o 10139581
1135.86/1124.05	o 10139579
1135.86/1124.09	o 10139577
1135.96/1124.14	o 10139576
1135.96/1124.15	o 10139575
1135.96/1124.16	o 10139573
1136.05/1124.26	o 10139479
1136.05/1124.27	o 10139478
1136.05/1124.28	o 10139477
1136.25/1124.42	o 10139476
1136.25/1124.43	o 10139475
1136.25/1124.43	o 10139474
1136.25/1124.44	o 10139472
1136.25/1124.48	o 10139470
1136.35/1124.52	o 10139376
1136.35/1124.53	o 10139374
1136.45/1124.68	o 10139370
1136.55/1124.75	o 10139275
1136.55/1124.76	o 10139274
1136.65/1124.83	o 10139081
1136.65/1124.83	o 10139080
1136.65/1124.84	o 10138979
1136.65/1124.85	o 10137979
1136.65/1124.86	o 10137974
1136.65/1124.87	o 10137876
1136.65/1124.87	o 10137774
1136.75/1124.93	o 10137677
1136.75/1124.95	o 10137579
1136.75/1124.97	o 10137577
1136.75/1124.97	o 10137576
1136.75/1125.00	o 10137575
1136.86/1125.01	o 10137475
1136.86/1125.07	o 10137378
1136.86/1125.08	o 10137376
1136.86/1125.09	o 10137276
1137.16/1125.37	o 10137182
1137.16/1125.37	o 10137180
1137.16/1125.38	o 10137179
1137.16/1125.38	o 10136979
1137.16/1125.39	o 10136877
1137.16/1125.40	o 10136876
1137.26/1125.40	o 10136775
1137.26/1125.42	o 10136582
1137.26/1125.43	o 10136581
1137.26/1125.43	o 10136579
1137.36/1125.53	o 10136572
1137.36/1125.53	o 10136472
1137.36/1125.56	o 10136378
1137.46/1125.61	o 10136376
1137.46/1125.66	o 10136374
1137.46/1125.67	o 10136278
1137.56/1125.71	o 10136276
1140.26/1128.43	o 10136271
1140.26/1128.47	o 10136270
1140.26/1128.47	o 10136269
1140.46/1128.67	o 10135580
1140.46/1128.68	o 10135579
1140.46/1128.68	o 10135578
1140.46/1128.69	o 10135576
1140.46/1128.70	o 10135480
1140.56/1128.71	o 10135478
1140.56/1128.77	o 10135471
1140.56/1128.78	o 10135371
1140.56/1128.79	o 10135278
1140.66/1128.80	o 10135277
1140.66/1128.81	o 10135275
1140.66/1128.84	o 10135178
1140.66/1128.85	o 10135176
1140.66/1128.85	o 10135175
1141.16/1129.32	o 10134776
1141.16/1129.32	o 10134674
1141.16/1129.33	o 10134673
1141.16/1129.34	o 10134570
1141.16/1129.36	o 10134478
1141.16/1129.36	o 10134477
1141.16/1129.37	o 10134374
1141.16/1129.38	o 10134372
1141.26/1129.40	o 10134276
1178.81/1166.95	o 10134274
1180.61/1168.75	o 10134272
1182.51/1170.62	o 10133875
1182.51/1170.62	o 10133775
1182.51/1170.63	o 10133672
1182.51/1170.63	o 10133670
1182.51/1170.64	o 10133570
1182.51/1170.66	o 10133477
1182.51/1170.67	o 10133475
1182.51/1170.67	o 10133474
1182.51/1170.68	o 10133374
1185.31/1173.49	o 10133371
1185.31/1173.50	o 10133275
1185.41/1173.50	o 10133273
1302.42/1290.49	o 10133272
2400.07/2385.30	s SATISFIABLE
2400.07/2385.31	v <instantiation>
2400.07/2385.31	v 	<list>
2400.07/2385.31	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] zb1[0] zb1[1] zb1[2] zb1[3] zb1[4] zb1[5] zb1[6] zb1[7] zb1[8] zb1[9] zb1[10] zb1[11] zb1[12] zb1[13] zb1[14] zb1[15] zb1[16] zb1[17] zb1[18] zb1[19] zb1[20] zb1[21] zb1[22] zb1[23] zb1[24] zb1[25] zb1[26] zb1[27] zb1[28] zb1[29] zb1[30] zb1[31] zb1[32] zb1[33] zb1[34] zb1[35] zb1[36] zb1[37] zb1[38] zb1[39] zb1[40] zb1[41] zb1[42] zb1[43] zb1[44] zb1[45] zb1[46] zb1[47] zb1[48] zb1[49] zb1[50] zb1[51] zb1[52] zb1[53] zb1[54] zb1[55] zb1[56] zb1[57] zb1[58] zb1[59] zb1[60] zb1[61] zb1[62] zb1[63] zb1[64] zb1[65] zb1[66] zb1[67] zb1[68] zb1[69] zb1[70] zb1[71] zb1[72] zb1[73] zb1[74] zb1[75] zb1[76] zb1[77] zb1[78] zb1[79] zb1[80] zb1[81] zb1[82] zb1[83] zb1[84] zb1[85] zb1[86] zb1[87] zb1[88] zb1[89] zb1[90] zb1[91] zb1[92] zb1[93] zb1[94] zb1[95] zb1[96] zb1[97] zb1[98] zb1[99] zb1[100] zb1[101] zb1[102] zb1[103] zb1[104] zb1[105] zb1[106] zb1[107] zb1[108] zb1[109] zb1[110] zb1[111] zb1[112] zb1[113] zb1[114] zb1[115] zb1[116] zb1[117] zb2[0] zb2[1] zb2[2] zb2[3] zb2[4] zb2[5] zb2[6] zb2[7] zb2[8] zb2[9] zb2[10] zb2[11] zb2[12] zb2[13] zb2[14] zb2[15] zb2[16] zb2[17] zb2[18] zb2[19] zb2[20] zb2[21] zb2[22] zb2[23] zb2[24] zb2[25] zb2[26] zb2[27] zb2[28] zb2[29] zb2[30] zb2[31] zb2[32] zb2[33] zb2[34] zb2[35] zb2[36] zb2[37] zb2[38] zb2[39] zb2[40] zb2[41] zb2[42] zb2[43] zb2[44] zb2[45] zb2[46] zb2[47] zb2[48] zb2[49] zb2[50] zb2[51] zb2[52] zb2[53] zb2[54] zb2[55] zb2[56] zb2[57] zb2[58] zb2[59] zb2[60] zb2[61] zb2[62] zb2[63] zb2[64] zb2[65] zb2[66] zb2[67] zb2[68] zb2[69] zb2[70] zb2[71] zb2[72] zb2[73] zb2[74] zb2[75] zb2[76] zb2[77] zb2[78] zb2[79] zb2[80] zb2[81] zb2[82] zb2[83] zb2[84] zb2[85] zb2[86] zb2[87] zb2[88] zb2[89] zb2[90] zb2[91] zb2[92] zb2[93] zb2[94] zb2[95] zb2[96] zb2[97] zb2[98] zb2[99] zb2[100] zb2[101] zb2[102] zb2[103] zb2[104] zb2[105] zb3[0] zb3[1] zb3[2] zb3[3] zb3[4] zb3[5] zb3[6] zb3[7] zb3[8] zb3[9] zb3[10] zb3[11] zb3[12] zb3[13] zb3[14] zb3[15] zb3[16] zb3[17] zb3[18] zb3[19] zb3[20] zb3[21] zb3[22] zb3[23] zb3[24] zb3[25] zb3[26] zb3[27] zb3[28] zb3[29] zb3[30] zb3[31] zb3[32] zb3[33] zb3[34] zb3[35] zb3[36] zb3[37] zb3[38] zb3[39] zb3[40] zb3[41] zb3[42] zb3[43] zb3[44] zb3[45] zb3[46] zb3[47] zb3[48] zb3[49] zb3[50] zb3[51] zb3[52] zb3[53] zb3[54] zb3[55] zb3[56] zb3[57] zb3[58] zb3[59] zb3[60] zb3[61] zb3[62] zb3[63] zb3[64] zb3[65] zb3[66] zb3[67] zb3[68] zb3[69] zb3[70] zb3[71] zb3[72] zb3[73] zb3[74] zb3[75] zb3[76] zb3[77] zb3[78] zb3[79] zb3[80] zb3[81] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[416] za1[417] za1[418] za1[419] za1[420] za1[421] za1[422] za1[423] za1[424] za1[425] za1[426] za1[427] za1[428] za1[429] za1[430] za1[431] za1[432] za1[433] za1[434] za1[435] za1[436] za1[437] za1[438] za1[439] za1[440] za1[441] za1[442] za1[443] za1[444] za1[445] za1[446] za1[447] za1[448] za1[449] za1[450] za1[451] za1[452] za1[453] za1[454] za1[455] za1[456] za1[457] za1[458] za1[459] za1[460] za1[461] za1[462] za1[463] za1[464] za1[465] za1[466] za1[467] za1[468] za1[469] za1[470] za1[471] za1[472] za1[473] za1[474] za1[475] za1[476] za1[477] za1[478] za1[479] za1[480] za1[481] za1[482] za1[483] za1[484] za1[485] za1[486] za1[487] za1[488] za1[489] za1[490] za1[491] za1[492] za1[493] za1[494] za1[495] za1[496] za1[497] za1[498] za1[499] za1[500] za1[501] za1[502] za1[503] za1[504] za1[505] za1[506] za1[507] za1[508] za1[509] za1[510] za1[511] za1[512] za1[513] za1[514] za1[515] za1[516] za1[517] za1[518] za1[519] za1[520] za1[521] za1[522] za1[523] za1[524] za1[525] za1[526] za1[527] za1[528] za1[529] za1[530] za1[531] za1[532] za1[533] za1[534] za1[535] za1[536] za1[537] za1[538] za1[539] za1[540] za1[541] za1[542] za1[543] za1[544] za1[545] za1[546] za1[547] za1[548] za1[549] za1[550] za1[551] za1[552] za1[553] za1[554] za1[555] za1[556] za1[557] za1[558] za1[559] za1[560] za1[561] za1[562] za1[563] za1[564] za1[565] za1[566] za1[567] za1[568] za1[569] za1[570] za1[571] za1[572] za1[573] za1[574] za1[575] za1[576] za1[577] za1[578] za1[579] za1[580] za1[581] za1[582] za1[583] za1[584] za1[585] za1[586] za1[587] za1[588] za1[589] za1[590] za1[591] za1[592] za1[593] za1[594] za1[595] za1[596] za1[597] za1[598] za1[599] za1[600] za1[601] za1[602] za1[603] za1[604] za1[605] za1[606] za1[607] za1[608] za1[609] za1[610] za1[611] za1[612] za1[613] za1[614] za1[615] za1[616] za1[617] za1[618] za1[619] za1[620] za1[621] za1[622] za1[623] za1[624] za1[625] za1[626] za1[627] za1[628] za1[629] za1[630] za1[631] za1[632] za1[633] za1[634] za1[635] za1[636] za1[637] za1[638] za1[639] za1[640] za1[641] za1[642] za1[643] za1[644] za1[645] za1[646] za1[647] za1[648] za1[649] za1[650] za1[651] za1[652] za1[653] za1[654] za1[655] za1[656] za1[657] za1[658] za1[659] za1[660] za1[661] za1[662] za1[663] za1[664] za1[665] za1[666] za1[667] za1[668] za1[669] za1[670] za1[671] za1[672] za1[673] za1[674] za1[675] za1[676] za1[677] za1[678] za1[679] za1[680] za1[681] za1[682] za1[683] za1[684] za1[685] za1[686] za1[687] za1[688] za1[689] za1[690] za1[691] za1[692] za1[693] za1[694] za1[695] za1[696] za1[697] za1[698] za1[699] za1[700] za1[701] za1[702] za1[703] za1[704] za1[705] za1[706] za1[707] za1[708] za1[709] za1[710] za1[711] za1[712] za1[713] za1[714] za1[715] za1[716] za1[717] za1[718] za1[719] za1[720] za1[721] za1[722] za1[723] za1[724] za1[725] za1[726] za1[727] za1[728] za1[729] za1[730] za1[731] za1[732] za1[733] za1[734] za1[735] za1[736] za1[737] za1[738] za1[739] za1[740] za1[741] za1[742] za1[743] za1[744] za1[745] za1[746] za1[747] za1[748] za1[749] za1[750] za1[751] za1[752] za1[753] za1[754] za1[755] za1[756] za1[757] za1[758] za1[759] za1[760] za1[761] za1[762] za1[763] za1[764] za1[765] za1[766] za1[767] za1[768] za1[769] za1[770] za1[771] za1[772] za1[773] za1[774] za1[775] za1[776] za1[777] za1[778] za1[779] za1[780] za1[781] za1[782] za1[783] za1[784] za1[785] za1[786] za1[787] za1[788] za1[789] za1[790] za1[791] za1[792] za1[793] za1[794] za1[795] za1[796] za1[797] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za2[559] za2[560] za2[561] za2[562] za2[563] za2[564] za2[565] za2[566] za2[567] za2[568] za2[569] za2[570] za2[571] za2[572] za2[573] za2[574] za2[575] za2[576] za2[577] za2[578] za2[579] za2[580] za2[581] za2[582] za2[583] za2[584] za2[585] za2[586] za2[587] za2[588] za2[589] za2[590] za2[591] za2[592] za2[593] za2[594] za2[595] za2[596] za2[597] za2[598] za2[599] za2[600] za2[601] za2[602] za2[603] za2[604] za2[605] za2[606] za2[607] za2[608] za2[609] za2[610] za2[611] za2[612] za2[613] za2[614] za2[615] za2[616] za2[617] za2[618] za2[619] za2[620] za2[621] za2[622] za2[623] za2[624] za2[625] za2[626] za2[627] za2[628] za2[629] za2[630] za2[631] za2[632] za2[633] za2[634] za2[635] za2[636] za2[637] za2[638] za2[639] za2[640] za2[641] za2[642] za2[643] za2[644] za2[645] za2[646] za2[647] za2[648] za2[649] za2[650] za2[651] za2[652] za2[653] za2[654] za2[655] za2[656] za2[657] za2[658] za2[659] za2[660] za2[661] za2[662] za2[663] za2[664] za2[665] za2[666] za2[667] za2[668] za2[669] za2[670] za2[671] za2[672] za2[673] za2[674] za2[675] za2[676] za2[677] za2[678] za2[679] za2[680] za2[681] za2[682] za2[683] za2[684] za2[685] za2[686] za2[687] za2[688] za2[689] za2[690] za2[691] za2[692] za2[693] za2[694] za2[695] za2[696] za2[697] za2[698] za2[699] za2[700] za2[701] za2[702] za2[703] za2[704] za2[705] za2[706] za2[707] za2[708] za2[709] za2[710] za2[711] za2[712] za2[713] za2[714] za2[715] za2[716] za2[717] za2[718] za2[719] za2[720] za2[721] za2[722] za2[723] za2[724] za2[725] za2[726] za2[727] za2[728] za2[729] za2[730] za2[731] za2[732] za2[733] za2[734] za2[735] za2[736] za2[737] za2[738] za2[739] za2[740] za2[741] za2[742] za2[743] za2[744] za2[745] za2[746] za2[747] za2[748] za2[749] za2[750] za2[751] za2[752] za2[753] za2[754] za2[755] za2[756] za2[757] za2[758] za2[759] za2[760] za2[761] za2[762] za2[763] za2[764] za2[765] za2[766] za2[767] za2[768] za2[769] za2[770] za2[771] za2[772] za2[773] za2[774] za2[775] za2[776] za2[777] za2[778] za2[779] za2[780] za2[781] za2[782] za2[783] za2[784] za2[785] za2[786] za2[787] za2[788] za2[789] za2[790] za2[791] za2[792] za2[793] za2[794] za2[795] za2[796] za2[797] za2[798] za2[799] za2[800] za2[801] za2[802] za2[803] za2[804] za2[805] za2[806] za2[807] za2[808] za2[809] za2[810] za2[811] za2[812] za2[813] za2[814] za2[815] za2[816] za2[817] za2[818] za2[819] za2[820] za2[821] za2[822] za2[823] za2[824] za2[825] za2[826] za2[827] za2[828] za2[829] za2[830] za2[831] za2[832] za2[833] za2[834] za2[835] za2[836] za2[837] za2[838] za2[839] za2[840] za2[841] za2[842] za2[843] za2[844] za2[845] za2[846] za2[847] za2[848] za2[849] za2[850] za2[851] za2[852] za2[853] za2[854] za2[855] za2[856] za2[857] za2[858] za2[859] za2[860] za2[861] za2[862] za2[863] za2[864] za2[865] za2[866] za2[867] za2[868] za2[869] za2[870] za2[871] za2[872] za2[873] za2[874] za2[875] za2[876] za2[877] za2[878] za2[879] za2[880] za2[881] za2[882] za2[883] za2[884] za2[885] za2[886] za2[887] za2[888] za2[889] za2[890] za2[891] za2[892] za2[893] za2[894] za2[895] za2[896] za2[897] za2[898] za2[899] za2[900] za2[901] za2[902] za2[903] za2[904] za2[905] za2[906] za2[907] za2[908] za2[909] za2[910] za2[911] za2[912] za2[913] za2[914] za2[915] za2[916] za2[917] za2[918] za2[919] za2[920] za2[921] za2[922] za2[923] za2[924] za2[925] za2[926] za2[927] za2[928] za2[929] za2[930] za2[931] za2[932] za2[933] za2[934] za2[935] za2[936] za2[937] za2[938] za2[939] za2[940] za2[941] za2[942] za2[943] za2[944] za2[945] za2[946] za2[947] za2[948] za2[949] za2[950] za2[951] za2[952] za2[953] za2[954] za2[955] za2[956] za2[957] za2[958] za2[959] za2[960] za2[961] za2[962] za2[963] za2[964] za2[965] za2[966] za2[967] za2[968] za2[969] za2[970] za2[971] za2[972] za2[973] za2[974] za2[975] za2[976] za2[977] za2[978] za2[979] za2[980] za2[981] za2[982] za2[983] za2[984] za2[985] za2[986] za2[987] za2[988] za2[989] za2[990] za2[991] za2[992] za2[993] za2[994] za2[995] za2[996] za2[997] za2[998] za2[999] za2[1000] za2[1001] za2[1002] za2[1003] za2[1004] za2[1005] za2[1006] za2[1007] za2[1008] za2[1009] za2[1010] za2[1011] za2[1012] za2[1013] za2[1014] za2[1015] za2[1016] za2[1017] za2[1018] za2[1019] za2[1020] za2[1021] za2[1022] za2[1023] za2[1024] za2[1025] za2[1026] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[506] za3[507] za3[508] za3[509] za3[510] za3[511] za3[512] za3[513] za3[514] za3[515] za3[516] za3[517] za3[518] za3[519] za3[520] za3[521] za3[522] za3[523] za3[524] za3[525] za3[526] za3[527] za3[528] za3[529] za3[530] za3[531] za3[532] za3[533] za3[534] za3[535] za3[536] za3[537] za3[538] za3[539] za3[540] za3[541] za3[542] za3[543] za3[544] za3[545] za3[546] za3[547] za3[548] za3[549] za3[550] za3[551] za3[552] za3[553] za3[554] za3[555] za3[556] za3[557] za3[558] za3[559] za3[560] za3[561] za3[562] za3[563] za3[564] za3[565] za3[566] za3[567] za3[568] za3[569] za3[570] za3[571] za3[572] za3[573] za3[574] za3[575] za3[576] za3[577] za3[578] za3[579] za3[580] za3[581] za3[582] za3[583] za3[584] za3[585] za3[586] za3[587] za3[588] za3[589] za3[590] za3[591] za3[592] za3[593] za3[594] za3[595] za3[596] za3[597] za3[598] za3[599] za3[600] za3[601] za3[602] za3[603] za3[604] za3[605] za3[606] za3[607] za3[608] za3[609] za3[610] za3[611] za3[612] za3[613] za3[614] za3[615] za3[616] za3[617] za3[618] za3[619] za3[620] za3[621] za3[622] za3[623] za3[624] za3[625] za3[626] za3[627] za3[628] za3[629] za3[630] za3[631] za3[632] za3[633] za3[634] za3[635] za3[636] za3[637] za3[638] za3[639] za3[640] za3[641] za3[642] za3[643] za3[644] za3[645] za3[646] za3[647] za3[648] za3[649] za3[650] za3[651] za3[652] za3[653] za3[654] za3[655] za3[656] za3[657] za3[658] za3[659] za3[660] za3[661] za3[662] za3[663] za3[664] za3[665] za3[666] za3[667] za3[668] za3[669] za3[670] za3[671] za3[672] za3[673] za3[674] za3[675] za3[676] za3[677] za3[678] za3[679] za3[680] za3[681] za3[682] za3[683] za3[684] za3[685] za3[686] za3[687] za3[688] za3[689] za3[690] za3[691] za3[692] za3[693] za3[694] za3[695] za3[696] za3[697] za3[698] za3[699] za3[700] za3[701] za3[702] za3[703] za3[704] za3[705] za3[706] za3[707] za3[708] za3[709] za3[710] za3[711] za3[712] za3[713] za3[714] za3[715] za3[716] za3[717] za3[718] za3[719] za3[720] za3[721] za3[722] za3[723] za3[724] za3[725] za3[726] za3[727] za3[728] za3[729] za3[730] za3[731] za3[732] za3[733] za3[734] za3[735] za3[736] za3[737] za3[738] za3[739] za3[740] za3[741] za3[742] za3[743] za3[744] za3[745] za3[746] za3[747] za3[748] za3[749] za3[750] za3[751] za3[752] za3[753] za3[754] za3[755] za3[756] za3[757] za3[758] za3[759] za3[760] za3[761] za3[762] za3[763] za3[764] za3[765] za3[766] za3[767] za3[768] za3[769] za3[770] za3[771] za3[772] za3[773] za3[774] za3[775] za3[776] za3[777] za3[778] za3[779] za3[780] za3[781] za3[782] za3[783] za3[784] za3[785] za3[786] za3[787] za3[788] za3[789] za3[790] za3[791] za3[792] za3[793] za3[794] za3[795] za3[796] za3[797] za3[798] za3[799] za3[800] za3[801] za3[802] za3[803] za3[804] za3[805] za3[806] za3[807] za3[808] za3[809] za3[810] za3[811] za3[812] za3[813] za3[814] za3[815] za3[816] za3[817] za3[818] za3[819] za3[820] za3[821] za3[822] za3[823] za3[824] za3[825] za3[826] za3[827] za3[828] za3[829] za3[830] za3[831] za3[832] za3[833] za3[834] za3[835] za3[836] za3[837] za3[838] za3[839] za3[840] za3[841] za3[842] za3[843] za3[844] za3[845] za3[846] za3[847] za3[848] za3[849] za3[850] za3[851] za3[852] za3[853] za3[854] za3[855] za3[856] za3[857] za3[858] za3[859] za3[860] za3[861] za3[862] za3[863] za3[864] za3[865] za3[866] za3[867] za3[868] za3[869] za3[870] za3[871] za3[872] za3[873] za3[874] za3[875] za3[876] za3[877] za3[878] za3[879] za3[880] za3[881] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533] za4[534] za4[535] za4[536] za4[537] za4[538] za4[539] za4[540] za4[541] za4[542] za4[543] za4[544] za4[545] za4[546] za4[547] za4[548] za4[549] za4[550] za4[551] za4[552] za4[553] za4[554] za4[555] za4[556] za4[557] za4[558] za4[559] za4[560] za4[561] za4[562] za4[563] za4[564] za4[565] za4[566] za4[567] za4[568] za4[569] za4[570] za4[571] za4[572] za4[573] za4[574] za4[575] za4[576] za4[577] za4[578] za4[579] za4[580] za4[581] za4[582] za4[583] za4[584] za4[585] za4[586] za4[587] za4[588] za4[589] za4[590] za4[591] za4[592] za4[593] za4[594] za4[595] za4[596] za4[597] za4[598] za4[599] za4[600] za4[601] za4[602] za4[603] za4[604] za4[605] za4[606] za4[607] za4[608] za4[609] za4[610] za4[611] za4[612] za4[613] za4[614] za4[615] za4[616] za4[617] za4[618] za4[619] za4[620] za4[621] za4[622] za4[623] za4[624] za4[625] za4[626] za4[627] za4[628] za4[629] za4[630] za4[631] za4[632] za4[633] za4[634] za4[635] za4[636] za4[637] za4[638] za4[639] za4[640] za4[641] za4[642] za4[643] za4[644] za4[645] za4[646] za4[647] za4[648] za4[649] za4[650] za4[651] za4[652] za4[653] za4[654] za4[655] za4[656] za4[657] za4[658] za4[659] za4[660] za4[661] za4[662] za4[663] za4[664] za4[665] za4[666] za4[667] za4[668] za4[669] za4[670] za4[671] za4[672] za4[673] za4[674] za4[675] za4[676] za4[677] za4[678] za4[679] za4[680] za4[681] za4[682] za4[683] za4[684] za4[685] za4[686] za4[687] za4[688] za4[689] za4[690] za4[691] za4[692] za4[693] za4[694] za4[695] za4[696] za4[697] za4[698] za4[699] za4[700] za4[701] za4[702] za4[703] za4[704] za4[705] za4[706] za4[707] za4[708] za4[709] za4[710] za4[711] za4[712] za4[713] za4[714] za4[715] za4[716] za4[717] za4[718] za4[719] za4[720] za4[721] za4[722] za4[723] za4[724] za4[725] za4[726] za4[727] za4[728] za4[729] za4[730] za4[731] za4[732] za4[733] za4[734] za4[735] za4[736] za4[737] za4[738] za4[739] za4[740] za4[741] za4[742] za4[743] za4[744] za4[745] za4[746] za4[747] za4[748] za4[749] za4[750] za4[751] za4[752] za4[753] za4[754] za4[755] za4[756] za4[757] za4[758] za4[759] za4[760] za4[761] za4[762] za4[763] za4[764] za4[765] za4[766] za4[767] za4[768] za4[769] za4[770] za4[771] za4[772] za4[773] za4[774] za4[775] za4[776] za4[777] za4[778] za4[779] za4[780] za4[781] za4[782] za4[783] za4[784] za4[785] za4[786] za4[787] za4[788] za4[789] za4[790] za4[791] za4[792] za4[793] za4[794] za4[795] za4[796] za4[797] za4[798] za4[799] za4[800] za4[801] za4[802] za4[803] za4[804] za4[805] za4[806] za4[807] za4[808] za4[809] za4[810] za4[811] za4[812] za4[813] za4[814] za4[815] za4[816] za4[817] za4[818] za4[819] za4[820] za4[821] za4[822] za4[823] za4[824] za4[825] za4[826] za4[827] za4[828] za4[829] za4[830] za4[831] za4[832] za4[833] za4[834] za4[835] za4[836] za4[837] za4[838] za4[839] za4[840] za4[841] za4[842] za4[843] za4[844] za4[845] za4[846] za4[847] za4[848] za4[849] za4[850] za4[851] za4[852] za4[853] za4[854] za4[855] za4[856] za4[857] za4[858] za4[859] za4[860] za4[861] za4[862] za4[863] za4[864] za4[865] za4[866] za4[867] za4[868] za4[869] za4[870] za4[871] za4[872] za4[873] za4[874] za4[875] za4[876] za4[877] za4[878] za4[879] za4[880] za4[881] za4[882] za4[883] za4[884] za4[885] za4[886] za4[887] za4[888] za4[889] za4[890] za4[891] za4[892] za4[893] za4[894] za4[895] za4[896] za4[897] za4[898] za4[899] za4[900] za4[901] za4[902] za4[903] za4[904] za4[905] za4[906] za4[907] za4[908] za4[909] za4[910] za4[911] za4[912] za4[913] za4[914] za4[915] za4[916] za4[917] za4[918] za4[919] za4[920] za4[921] za4[922] za4[923] za4[924] za4[925] za4[926] za4[927] za4[928] za4[929] za4[930] za4[931] za4[932] za4[933] za4[934] za4[935] za4[936] za4[937] za4[938] za4[939] za4[940] za4[941] za4[942] za4[943] za4[944] za4[945] za4[946] za4[947] za4[948] za4[949] za4[950] za4[951] za4[952] za4[953] za4[954] za4[955] za4[956] za4[957] za4[958] za4[959] za4[960] za4[961] za4[962] za4[963] za4[964] za4[965] za4[966] za4[967] za4[968] za4[969] za4[970] za4[971] za4[972] za4[973] za4[974] za4[975] za4[976] za4[977] za4[978] za4[979] za4[980] za4[981] za4[982] za4[983] za4[984] za4[985] za4[986] za4[987] za4[988] za4[989] za4[990] za4[991] za4[992] za4[993] za4[994] za4[995] za4[996] za4[997] za4[998] za4[999] za4[1000] za4[1001] za4[1002] za4[1003] za4[1004] za4[1005] za4[1006] za4[1007] za4[1008] za4[1009] za4[1010] za4[1011] za4[1012] za4[1013] za4[1014] za4[1015] za4[1016] za4[1017] za4[1018] za4[1019] za4[1020] za4[1021] za4[1022] za4[1023] za4[1024] za4[1025] za4[1026] za4[1027] za4[1028] za4[1029] za4[1030] za4[1031] za4[1032] za4[1033] za4[1034] za4[1035] za4[1036] za4[1037] za4[1038] za4[1039] za4[1040] za4[1041] za4[1042] za4[1043] za4[1044] za4[1045] za4[1046] za4[1047] za4[1048] za4[1049] za4[1050] za4[1051] za4[1052] za4[1053] za4[1054] za4[1055]
2400.07/2385.31	v 	</list>
2400.07/2385.31	v 	<values>
2400.07/2385.31	v 		442 680 554 792 694 456 254 16 470 708 470 708 72 310 680 442 310 72 540 778 16 254 16 254 428 666 296 58 30 268 128 366 484 722 414 652 540 778 750 512 442 680 352 114 554 792 512 750 156 394 722 484 44 282 338 100 16 254 722 484 338 100 142 380 44 282 792 554 324 86 750 512 58 296 526 764 30 268 142 380 156 394 156 394 44 282 268 30 470 708 366 128 16 254 324 86 142 380 526 764 414 652 254 16 394 156 414 652 652 414 666 428 750 512 778 540 456 694 44 282 30 268 16 254 414 652 652 414 526 764 428 666 296 58 498 736 442 680 156 394 442 680 442 680 58 296 708 470 394 156 58 296 352 114 44 282 792 554 170 408 456 694 484 722 156 394 268 30 554 792 352 114 72 310 352 114 72 310 666 428 114 352 484 722 296 58 652 414 414 652 414 652 142 380 736 498 792 554 352 114 778 540 442 680 470 708 456 694 722 484 540 778 526 764 380 142 708 470 456 694 722 484 142 380 128 366 526 764 456 694 680 442 268 30 268 30 86 324 338 100 428 666 86 324 540 778 366 128 526 764 456 694 778 540 540 778 666 428 778 540 254 16 282 44 30 268 778 540 296 58 764 526 44 282 338 100 72 310 44 282 694 456 666 428 86 324 268 30 526 764 680 442 540 778 338 100 352 114 268 30 722 484 722 484 442 680 352 114 30 268 554 792 456 694 540 778 512 750 296 58 708 470 268 30 282 44 666 428 44 282 58 296 338 100 30 268 428 666 540 778 44 282 526 764 540 778 142 380 456 694 736 498 414 652 750 512 764 526 72 310 142 380 652 414 792 554 470 708 512 750 86 324 380 142 310 72 456 694 282 44 428 666 442 680 512 750 338 100 666 428 254 16 282 44 470 708 44 282 736 498 414 652 380 142 680 442 526 764 680 442 86 324 750 512 722 484 30 268 736 498 428 666 310 72 296 58 526 764 352 114 722 484 30 268 680 442 352 114 778 540 708 470 666 428 86 324 526 764 778 540 764 526 736 498 498 736 58 296 142 380 114 352 268 30 352 114 414 652 16 254 16 254 156 394 750 512 428 666 442 680 338 100 456 694 268 30 722 484 72 310 484 722 352 114 792 554 268 30 442 680 100 338 142 380 470 708 708 470 652 414 282 44 142 380 708 470 512 750 324 86 526 764 456 694 694 456 296 58 526 764 352 114 268 30 268 30 100 338 694 456 338 100 456 694 366 128 58 296 694 456 414 652 128 366 778 540 652 414 394 156 540 778 694 456 484 722 142 380 268 30 72 310 352 114 708 470 380 142 442 680 324 86 484 722 764 526 324 86 512 750 694 456 722 484 30 268 338 100 338 100 680 442 366 128 268 30 86 324 414 652 666 428 114 352 282 44 310 72 380 142 414 652 736 498 114 352 156 394 128 366 282 44 16 254 310 72 666 428 156 394 652 414 30 268 58 296 366 128 778 540 86 324 268 30 666 428 338 100 352 114 750 512 86 324 380 142 498 736 680 442 778 540 324 86 86 324 296 58 100 338 100000 100000 100000 100000 100000 100000 100000 100000 0 0 100000 100000 100000 100000 0 0 100000 100000 100000 100000 100000 100000 100000 100000 0 0 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 0 0 100000 100000 100000 100000 100000 100000 100000 100000 0 0 100000 100000 0 0 0 0 100000 100000 0 0 100000 100000 100000 100000 100000 100000 0 0 0 0 0 0 100000 100000 100000 100000 100000 100000 0 0 100000 100000 100000 100000 100000 100000 100000 100000 100000 100000 0 0 100000 100000 100000 100000 0 0 10000 10000 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 0 0 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 0 0 10000 10000 0 0 0 0 10000 10000 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 100 100 0 0 100 100 100 100 0 0 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 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 100 100 100 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 1000 1000 1000 1000 0 1000 1000 0 0 0 1000 0 0 0 0 1000 0 0 0 1000 1000 0 0 0 0 1000 1000 1000 0 0 0 1000 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 1000 0 0 1000 1000 0 1000 1000 1000 1000 1000 0 0 1000 0 0 0 1000 0 1000 0 0 0 1000 1000 0 0 0 1000 0 0 0 0 0 1000 0 1000 0 0 0 0 0 1000 0 0 0 0 1000 0 1000 0 0 0 1000 0 0 0 0 1000 1000 0 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 1000 0 1000 0 0 1000 0 0 1000 0 0 1000 0 1000 0 1000 1000 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 1000 1000 1000 0 1000 0 0 1000 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 1000 0 1000 0 1000 1000 1000 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 1000 1000 1000 1000 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 1000 0 1000 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 1000 0 1000 1000 0 0 0 0 1000 0 0 1000 0 0 1000 0 0 0 1000 0 1000 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 1000 1000 1000 0 1000 0 0 1000 1000 1000 1000 0 1000 1000 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 1000 1000 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 1000 0 0 1000 0 1000 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 1000 0 0 1000 0 1000 0 0 0 0 0 1000 0 1000 0 0 0 1000 0 0 0 1000 0 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 1000 0 0 0 0 0 0 1000 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 1000 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 1000 1000 0 1000 0 1000 1000 1000 1000 1000 0 1000 0 1000 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 1000 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 1000 1000 1000 1000 0 0 0 0 0 0 0 1000 0 1000 1000 1000 1000 1000 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 1000 1000 0 0 0 0 1000 1000 0 0 0 0 0 0 0 1000 1000 1000 0 0 1000 0 0 0 0 0 1000 1000 1000 1000 0 0 0 0 0 0 1000 0 1000 1000 0 0 0 0 0 0 1000 0 0 0 1000 1000 0 0 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 1000 1000 1000 1000 0 0 0 0 0 0 1000 1000 0 0 0 1000 1000 1000 0 0 0 0 0 1000 1000 0 0 1000 1000 0 0 0 1000 0 0 0 0 0 0 0 1000 1000 0 1000 0 0 0 0 0 1000 1000 0 100 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 100 0 0 100 100 100 0 0 0 100 0 100 100 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 100 0 0 0 100 0 0 100 0 0 0 0 100 0 100 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 100 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 100 100 100 100 0 0 0 0 0 100 100 100 100 100 0 100 0 0 0 0 100 0 100 0 0 100 100 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 100 100 0 0 0 0 100 100 0 0 0 0 0 100 0 0 100 0 0 100 0 100 100 100 100 100 0 100 100 0 100 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 0 100 0 0 100 0 0 100 0 100 0 0 0 0 100 0 0 0 0 100 0 0 0 0 100 100 100 100 0 0 100 0 100 100 100 100 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 100 0 100 100 0 0 0 0 0 0 100 0 0 0 0 0 100 100 100 100 0 0 0 100 100 100 0 0 0 0 100 0 0 0 100 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 100 0 0 0 100 0 100 0 0 0 0 0 0 100 0 100 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 100 100 0 0 100 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 100 0 100 0 0 0 100 0 0 100 0 100 0 0 100 0 0 0 0 0 0 0 0 0 100 0 100 0 100 0 0 0 0 100 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 100 0 100 0 0 0 100 100 100 100 0 0 100 100 100 0 0 0 0 0 0 100 0 0 0 100 100 0 0 100 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 100 0 100 100 100 0 100 0 0 0 0 0 100 0 0 0 0 0 100 100 0 0 100 100 0 0 0 0 100 0 0 0 100 0 100 0 100 0 0 0 0 100 100 0 0 0 0 0 100 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 100 100 0 0 0 0 100 0 100 0 0 0 0 0 100 0 0 0 0 0 0 100 100 0 0 100 0 0 0 0 100 0 100 0 100 100 100 0 100 0 0 100 100 100 100 0 100 0 100 0 0 0 100 0 0 0 0 100 0 100 0 0 0 100 0 100 0 0 100 0 100 100 100 0 0 100 100 0 100 0 100 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 100 100 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 100 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 100 100 0 100 0 100 0 0 0 0 0 0 100 0 100 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 0 0 0 100 0 0 100 100 100 0 100 0 0 100 100 0 0 0 0 0 0 0 0 100 0 100 100 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 100 100 0 0 0 100 0 100 0 100 100 100 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 2 0 0 0 0 0 0 2 0 2 0 2 0 0 2 0 0 0 0 0 2 2 0 0 0 0 2 0 0 2 0 0 2 0 0 2 2 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 0 2 2 0 0 0 0 2 2 2 0 0 0 0 2 0 2 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 2 0 0 0 2 2 2 2 2 0 0 2 2 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 2 0 0 0 0 2 0 0 0 0 0 0 2 0 0 2 0 0 0 2 0 2 0 0 2 2 2 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 2 0 0 0 0 2 2 2 0 0 0 0 0 0 0 0 0 0 0 2 0 2 2 0 0 0 0 0 2 0 0 2 2 0 0 0 0 0 0 2 0 2 0 0 0 0 0 2 0 0 0 2 0 0 0 0 0 0 0 0 0 0 2 2 2 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 2 2 2 0 0 2 0 0 0 0 0 0 2 2 2 2 2 0 0 2 0 2 0 0 2 2 0 0 2 0 2 0 0 2 0 0 2 0 0 2 0 0 0 0 0 0 0 0 2 0 2 0 0 0 0 2 0 0 2 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 0 2 2 2 0 0 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 0 2 0 0 2 0 0 0 2 0 0 0 0 0 0 0 0 0 2 2 0 0 0 2 2 0 0 0 2 0 0 0 2 0 2 2 0 0 2 0 0 0 2 2 2 2 0 0 2 2 0 0 2 2 2 2 0 0 2 0 0 0 2 2 2 0 2 2 0 2 2 2 2 0 2 0 0 0 2 2 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 2 2 2 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 2 2 0 2 0 0 0 0 0 0 2 0 0 2 0 2 0 2 0 2 2 2 0 0 0 0 0 2 0 0 2 0 2 2 0 2 2 2 2 0 0 0 0 0 0 0 2 0 0 2 0 0 2 2 2 2 2 2 0 0 0 0 0 2 0 2 0 2 2 0 2 2 0 0 0 0 0 0 2 2 0 2 0 0 2 0 0 2 0 2 0 2 0 0 2 2 0 2 2 2 2 0 0 0 0 0 2 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 2 0 0 0 2 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 2 2 0 2 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 2 0 0 0 0 2 0 2 2 0 0 2 0 0 2 0 0 0 2 2 2 0 0 0 2 0 0 0 0 0 0 2 0 2 2 0 0 2 0 0 0 0 0 0 2 0 0 0 0 2 2 0 0 0 2 2 0 0 2 0 2 0 0 0 0 0 2 2 0 0 0 2 0 2 0 2 0 2 0 2 0 0 0 0 0 2 2 2 0 2 0 2 0 0 2 0 2 2 0 2 0 0 2 0 0 1 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 1 0 0 0 1 1 0 1 1 0 0 1 1 1 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 0 1 1 1 1 1 1 0 0 1 1 0 1 1 1 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 1 0 0 1 0 1 0 0 0 0 1 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 1 1 0 0 1 0 1 0 1 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 1 0 0 0 1 1 1 0 0 0 1 1 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 1 1 1 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 1 0 1 0 
2400.07/2385.31	v 	</values>
2400.07/2385.31	v </instantiation>

Verifier Data 

OK	10133272

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291924-1532276132/watcher-4291924-1532276132 -o /tmp/evaluation-result-4291924-1532276132/solver-4291924-1532276132 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532271385-3550 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1698315212 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291924-1532276132.xml 

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

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

solver pid=4020, runsolver pid=4017

[startup+0.107783 s]*
/proc/loadavg: 1.12 1.26 1.33 3/215 4035
/proc/meminfo: memFree=21967908/32770624 swapFree=67108860/67108860
[pid=4020] ppid=4017 vsize=14082740 memory=33064 CPUtime=0.13 cores=0,2,4,6
/proc/4020/stat : 4020 (java) S 4017 4020 2046 0 -1 1077944320 7140 0 0 0 12 1 0 0 20 0 15 0 45176379 14420725760 8266 33554432000 4194304 4196468 140725874427024 140725874409568 140611660156663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
/proc/4020/statm: 3520685 8266 3164 1 0 3482761 0
[pid=4020/tid=4022] ppid=4017 vsize=14082740 memory=-8680515068990682304 CPUtime=0.09 cores=0,2,4,6
/proc/4020/task/4022/stat : 4022 (java) R 4017 4020 2046 0 -1 4202560 5337 0 0 0 9 0 0 0 20 0 15 0 45176379 14420725760 8398 33554432000 4194304 4196468 140725874427024 140611664377504 140611646354608 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4023] ppid=4017 vsize=14082740 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4023/stat : 4023 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176380 14420725760 8398 33554432000 4194304 4196468 140725874427024 140611597757072 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4024] ppid=4017 vsize=14082740 memory=140308182967936 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4024/stat : 4024 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176380 14420725760 8398 33554432000 4194304 4196468 140725874427024 140611596704272 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4025] ppid=4017 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4025/stat : 4025 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176380 14420725760 8398 33554432000 4194304 4196468 140725874427024 140611595651472 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4026] ppid=4017 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4026/stat : 4026 (java) S 4017 4020 2046 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45176380 14420725760 8398 33554432000 4194304 4196468 140725874427024 140611594598672 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4027] ppid=4017 vsize=14082740 memory=140308182967936 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4027/stat : 4027 (java) S 4017 4020 2046 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45176382 14420725760 8398 33554432000 4194304 4196468 140725874427024 140611202177904 140611660167810 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4028] ppid=4017 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4028/stat : 4028 (java) S 4017 4020 2046 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45176382 14420725760 8398 33554432000 4194304 4196468 140725874427024 140611201123872 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4029] ppid=4017 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4029/stat : 4029 (java) S 4017 4020 2046 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45176382 14420725760 8398 33554432000 4194304 4196468 140725874427024 140611200071024 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4030] ppid=4017 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4030/stat : 4030 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14420725760 8398 33554432000 4194304 4196468 140725874427024 140611199019344 140611660175259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4031] ppid=4017 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4031/stat : 4031 (java) S 4017 4020 2046 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 45176385 14420725760 8398 33554432000 4194304 4196468 140725874427024 140611197966704 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4032] ppid=4017 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4032/stat : 4032 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14420725760 8398 33554432000 4194304 4196468 140725874427024 140611196913904 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4033] ppid=4017 vsize=14082740 memory=140308182967936 CPUtime=0.01 cores=0,2,4,6
/proc/4020/task/4033/stat : 4033 (java) R 4017 4020 2046 0 -1 4202560 270 0 0 0 1 0 0 0 20 0 15 0 45176385 14420725760 8398 33554432000 4194304 4196468 140725874427024 140611195861104 140611639283267 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4034] ppid=4017 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4034/stat : 4034 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14420725760 8398 33554432000 4194304 4196468 140725874427024 140611194808544 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4035] ppid=4017 vsize=14082740 memory=140308182967936 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4035/stat : 4035 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176385 14420725760 8398 33554432000 4194304 4196468 140725874427024 140611193756848 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 33064 KiB

[startup+0.214095 s]*
/proc/loadavg: 1.12 1.26 1.33 6/215 4035
/proc/meminfo: memFree=21953164/32770624 swapFree=67108860/67108860
[pid=4020] ppid=4017 vsize=14082740 memory=47016 CPUtime=0.31 cores=0,2,4,6
/proc/4020/stat : 4020 (java) S 4017 4020 2046 0 -1 1077944320 10391 0 0 0 30 1 0 0 20 0 15 0 45176379 14420725760 11754 33554432000 4194304 4196468 140725874427024 140725874409568 140611660156663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
/proc/4020/statm: 3520685 11754 3378 1 0 3482761 0
[pid=4020/tid=4022] ppid=4017 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/4020/task/4022/stat : 4022 (java) R 4017 4020 2046 0 -1 4202560 8080 0 0 0 19 1 0 0 20 0 15 0 45176379 14420725760 11754 33554432000 4194304 4196468 140725874427024 140611664384928 140611644237150 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4023] ppid=4017 vsize=14082740 memory=343 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4023/stat : 4023 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176380 14420725760 11754 33554432000 4194304 4196468 140725874427024 140611597757072 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4024] ppid=4017 vsize=14082740 memory=140308182992060 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4024/stat : 4024 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176380 14420725760 11754 33554432000 4194304 4196468 140725874427024 140611596704272 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4025] ppid=4017 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4025/stat : 4025 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176380 14420725760 11754 33554432000 4194304 4196468 140725874427024 140611595651472 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4026] ppid=4017 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4026/stat : 4026 (java) S 4017 4020 2046 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45176380 14420725760 11754 33554432000 4194304 4196468 140725874427024 140611594598672 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4027] ppid=4017 vsize=14082740 memory=140308182967936 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4027/stat : 4027 (java) S 4017 4020 2046 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45176382 14420725760 11754 33554432000 4194304 4196468 140725874427024 140611202177904 140611660167810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4028] ppid=4017 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4028/stat : 4028 (java) S 4017 4020 2046 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45176382 14420725760 11754 33554432000 4194304 4196468 140725874427024 140611201123872 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4029] ppid=4017 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4029/stat : 4029 (java) S 4017 4020 2046 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45176382 14420725760 11754 33554432000 4194304 4196468 140725874427024 140611200071024 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4030] ppid=4017 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4030/stat : 4030 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14420725760 11754 33554432000 4194304 4196468 140725874427024 140611199019344 140611660175259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4031] ppid=4017 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4020/task/4031/stat : 4031 (java) S 4017 4020 2046 0 -1 1077944384 526 0 0 0 2 0 0 0 20 0 15 0 45176385 14420725760 11754 33554432000 4194304 4196468 140725874427024 140611197966704 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4032] ppid=4017 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/4020/task/4032/stat : 4032 (java) S 4017 4020 2046 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 15 0 45176385 14420725760 11754 33554432000 4194304 4196468 140725874427024 140611196913904 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4033] ppid=4017 vsize=14082740 memory=140308182967936 CPUtime=0.06 cores=0,2,4,6
/proc/4020/task/4033/stat : 4033 (java) R 4017 4020 2046 0 -1 4202560 313 0 0 0 6 0 0 0 20 0 15 0 45176385 14420725760 11754 33554432000 4194304 4196468 140725874427024 140611195861104 140611639565012 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4034] ppid=4017 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4034/stat : 4034 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14420725760 11754 33554432000 4194304 4196468 140725874427024 140611194808544 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4035] ppid=4017 vsize=14082740 memory=140308182967936 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4035/stat : 4035 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176385 14420725760 11754 33554432000 4194304 4196468 140725874427024 140611193756848 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47016 KiB

[startup+0.310324 s]*
/proc/loadavg: 1.12 1.26 1.33 4/215 4035
/proc/meminfo: memFree=21949876/32770624 swapFree=67108860/67108860
[pid=4020] ppid=4017 vsize=14082740 memory=50744 CPUtime=0.44 cores=0,2,4,6
/proc/4020/stat : 4020 (java) S 4017 4020 2046 0 -1 1077944320 10788 0 0 0 43 1 0 0 20 0 15 0 45176379 14420725760 12686 33554432000 4194304 4196468 140725874427024 140725874409568 140611660156663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
/proc/4020/statm: 3520685 12686 3424 1 0 3482761 0
[pid=4020/tid=4022] ppid=4017 vsize=14082740 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/4020/task/4022/stat : 4022 (java) R 4017 4020 2046 0 -1 4202560 8434 0 0 0 28 1 0 0 20 0 15 0 45176379 14420725760 12686 33554432000 4194304 4196468 140725874427024 140611664375832 140611652393790 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4023] ppid=4017 vsize=14082740 memory=290763879498383383 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4023/stat : 4023 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176380 14420725760 12686 33554432000 4194304 4196468 140725874427024 140611597757072 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4024] ppid=4017 vsize=14082740 memory=15675515002922648 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4024/stat : 4024 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176380 14420725760 12686 33554432000 4194304 4196468 140725874427024 140611596704272 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4025] ppid=4017 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4025/stat : 4025 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176380 14420725760 12686 33554432000 4194304 4196468 140725874427024 140611595651472 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4026] ppid=4017 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4026/stat : 4026 (java) S 4017 4020 2046 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45176380 14420725760 12737 33554432000 4194304 4196468 140725874427024 140611594598672 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4027] ppid=4017 vsize=14082740 memory=140308182967936 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4027/stat : 4027 (java) S 4017 4020 2046 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45176382 14420725760 12737 33554432000 4194304 4196468 140725874427024 140611202177904 140611660167810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4028] ppid=4017 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4028/stat : 4028 (java) S 4017 4020 2046 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45176382 14420725760 12737 33554432000 4194304 4196468 140725874427024 140611201123872 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4029] ppid=4017 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4029/stat : 4029 (java) S 4017 4020 2046 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45176382 14420725760 12737 33554432000 4194304 4196468 140725874427024 140611200071024 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4030] ppid=4017 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4030/stat : 4030 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14420725760 12737 33554432000 4194304 4196468 140725874427024 140611199019344 140611660175259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4031] ppid=4017 vsize=14082740 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4020/task/4031/stat : 4031 (java) S 4017 4020 2046 0 -1 1077944384 531 0 0 0 3 0 0 0 20 0 15 0 45176385 14420725760 12737 33554432000 4194304 4196468 140725874427024 140611197966704 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4032] ppid=4017 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4020/task/4032/stat : 4032 (java) S 4017 4020 2046 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 15 0 45176385 14420725760 12737 33554432000 4194304 4196468 140725874427024 140611196913904 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4033] ppid=4017 vsize=14082740 memory=140308182967936 CPUtime=0.08 cores=0,2,4,6
/proc/4020/task/4033/stat : 4033 (java) S 4017 4020 2046 0 -1 1077944384 335 0 0 0 8 0 0 0 20 0 15 0 45176385 14420725760 12737 33554432000 4194304 4196468 140725874427024 140611195861104 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4034] ppid=4017 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4034/stat : 4034 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14420725760 12737 33554432000 4194304 4196468 140725874427024 140611194808544 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4035] ppid=4017 vsize=14082740 memory=140308182967936 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4035/stat : 4035 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176385 14420725760 12737 33554432000 4194304 4196468 140725874427024 140611193756848 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50744 KiB

[startup+0.700805 s]
/proc/loadavg: 1.12 1.26 1.33 3/215 4035
/proc/meminfo: memFree=21925320/32770624 swapFree=67108860/67108860
[pid=4020] ppid=4017 vsize=14084808 memory=89068 CPUtime=0.99 cores=0,2,4,6
/proc/4020/stat : 4020 (java) S 4017 4020 2046 0 -1 1077944320 17628 0 0 0 96 3 0 0 20 0 15 0 45176379 14422843392 22267 33554432000 4194304 4196468 140725874427024 140725874409568 140611660156663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
/proc/4020/statm: 3521202 22267 3506 1 0 3483273 0
[pid=4020/tid=4022] ppid=4017 vsize=14084808 memory=1724 CPUtime=0.67 cores=0,2,4,6
/proc/4020/task/4022/stat : 4022 (java) R 4017 4020 2046 0 -1 4202560 14873 0 0 0 65 2 0 0 20 0 15 0 45176379 14422843392 22267 33554432000 4194304 4196468 140725874427024 140611664380768 140611644264388 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4023] ppid=4017 vsize=14084808 memory=10928 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4023/stat : 4023 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176380 14422843392 22267 33554432000 4194304 4196468 140725874427024 140611597757072 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4024] ppid=4017 vsize=14084808 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4024/stat : 4024 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176380 14422843392 22267 33554432000 4194304 4196468 140725874427024 140611596704272 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4025] ppid=4017 vsize=14084808 memory=796 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4025/stat : 4025 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176380 14422843392 22267 33554432000 4194304 4196468 140725874427024 140611595651472 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4026] ppid=4017 vsize=14084808 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4026/stat : 4026 (java) S 4017 4020 2046 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45176380 14422843392 22267 33554432000 4194304 4196468 140725874427024 140611594598672 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4027] ppid=4017 vsize=14084808 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4027/stat : 4027 (java) S 4017 4020 2046 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45176382 14422843392 22267 33554432000 4194304 4196468 140725874427024 140611202177904 140611660167810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4028] ppid=4017 vsize=14084808 memory=5672 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4028/stat : 4028 (java) S 4017 4020 2046 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45176382 14422843392 22267 33554432000 4194304 4196468 140725874427024 140611201123872 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4029] ppid=4017 vsize=14084808 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4029/stat : 4029 (java) S 4017 4020 2046 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45176382 14422843392 22267 33554432000 4194304 4196468 140725874427024 140611200071024 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4030] ppid=4017 vsize=14084808 memory=1432 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4030/stat : 4030 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14422843392 22267 33554432000 4194304 4196468 140725874427024 140611199019344 140611660175259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4031] ppid=4017 vsize=14084808 memory=4639098309541129069 CPUtime=0.08 cores=0,2,4,6
/proc/4020/task/4031/stat : 4031 (java) S 4017 4020 2046 0 -1 1077944384 673 0 0 0 8 0 0 0 20 0 15 0 45176385 14422843392 22267 33554432000 4194304 4196468 140725874427024 140611197966704 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4032] ppid=4017 vsize=14084808 memory=7380106142448643183 CPUtime=0.07 cores=0,2,4,6
/proc/4020/task/4032/stat : 4032 (java) S 4017 4020 2046 0 -1 1077944384 272 0 0 0 7 0 0 0 20 0 15 0 45176385 14422843392 22267 33554432000 4194304 4196468 140725874427024 140611196913904 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4033] ppid=4017 vsize=14084808 memory=7810487918915055718 CPUtime=0.15 cores=0,2,4,6
/proc/4020/task/4033/stat : 4033 (java) S 4017 4020 2046 0 -1 1077944384 429 0 0 0 15 0 0 0 20 0 15 0 45176385 14422843392 22267 33554432000 4194304 4196468 140725874427024 140611195861104 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4034] ppid=4017 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4034/stat : 4034 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14422843392 22267 33554432000 4194304 4196468 140725874427024 140611194808544 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4035] ppid=4017 vsize=14084808 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4035/stat : 4035 (java) S 4017 4020 2046 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45176385 14422843392 22267 33554432000 4194304 4196468 140725874427024 140611193756848 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 89068 KiB

[startup+1.50875 s]
/proc/loadavg: 1.12 1.26 1.33 5/215 4035
/proc/meminfo: memFree=21869352/32770624 swapFree=67108860/67108860
[pid=4020] ppid=4017 vsize=14088904 memory=221884 CPUtime=3.47 cores=0,2,4,6
/proc/4020/stat : 4020 (java) S 4017 4020 2046 0 -1 1077944320 27041 0 0 0 339 8 0 0 20 0 15 0 45176379 14427037696 55471 33554432000 4194304 4196468 140725874427024 140725874409568 140611660156663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
/proc/4020/statm: 3522226 55471 3561 1 0 3484297 0
[pid=4020/tid=4022] ppid=4017 vsize=14088904 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/4020/task/4022/stat : 4022 (java) S 4017 4020 2046 0 -1 1077944384 17826 0 0 0 142 4 0 0 20 0 15 0 45176379 14427037696 55471 33554432000 4194304 4196468 140725874427024 140611664389520 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4023] ppid=4017 vsize=14088904 memory=-8253362664378451598 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4023/stat : 4023 (java) S 4017 4020 2046 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 45176380 14427037696 55471 33554432000 4194304 4196468 140725874427024 140611597757072 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4024] ppid=4017 vsize=14088904 memory=7245577299922993209 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4024/stat : 4024 (java) R 4017 4020 2046 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 15 0 45176380 14427037696 55471 33554432000 4194304 4196468 140725874427024 140611596704336 140611660166869 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4025] ppid=4017 vsize=14088904 memory=-8412660957079705459 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4025/stat : 4025 (java) S 4017 4020 2046 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 15 0 45176380 14427037696 55471 33554432000 4194304 4196468 140725874427024 140611595651472 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4026] ppid=4017 vsize=14088904 memory=7005738693937936738 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4026/stat : 4026 (java) S 4017 4020 2046 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 45176380 14427037696 55471 33554432000 4194304 4196468 140725874427024 140611594598672 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4027] ppid=4017 vsize=14088904 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4027/stat : 4027 (java) R 4017 4020 2046 0 -1 4202560 153 0 0 0 0 0 0 0 20 0 15 0 45176382 14427037696 55471 33554432000 4194304 4196468 140725874427024 140611202176416 140611644516066 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0

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

/proc/4020/task/4022/stat : 4022 (java) R 4017 4020 2046 0 -1 4202560 127473 0 0 0 231960 70 0 0 20 0 15 0 45176379 14431232000 733684 33554432000 4194304 4196468 140725874427024 140611664394688 140611276910381 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4023] ppid=4017 vsize=14093000 memory=2934736 CPUtime=1.3 cores=0,2,4,6
/proc/4020/task/4023/stat : 4023 (java) S 4017 4020 2046 0 -1 1077944384 15275 0 0 0 109 21 0 0 20 0 15 0 45176380 14431232000 733684 33554432000 4194304 4196468 140725874427024 140611597757072 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4024] ppid=4017 vsize=14093000 memory=2934736 CPUtime=1.3 cores=0,2,4,6
/proc/4020/task/4024/stat : 4024 (java) S 4017 4020 2046 0 -1 1077944384 13557 0 0 0 109 21 0 0 20 0 15 0 45176380 14431232000 733684 33554432000 4194304 4196468 140725874427024 140611596704272 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4025] ppid=4017 vsize=14093000 memory=15244 CPUtime=1.3 cores=0,2,4,6
/proc/4020/task/4025/stat : 4025 (java) S 4017 4020 2046 0 -1 1077944384 18599 0 0 0 110 20 0 0 20 0 15 0 45176380 14431232000 733684 33554432000 4194304 4196468 140725874427024 140611595651472 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4026] ppid=4017 vsize=14093000 memory=2428 CPUtime=1.3 cores=0,2,4,6
/proc/4020/task/4026/stat : 4026 (java) S 4017 4020 2046 0 -1 1077944384 11593 0 0 0 110 20 0 0 20 0 15 0 45176380 14431232000 733684 33554432000 4194304 4196468 140725874427024 140611594598672 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4027] ppid=4017 vsize=14093000 memory=4140 CPUtime=0.3 cores=0,2,4,6
/proc/4020/task/4027/stat : 4027 (java) S 4017 4020 2046 0 -1 1077944384 19463 0 0 0 24 6 0 0 20 0 15 0 45176382 14431232000 733684 33554432000 4194304 4196468 140725874427024 140611202177904 140611660167810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4028] ppid=4017 vsize=14093000 memory=15244 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4028/stat : 4028 (java) S 4017 4020 2046 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 45176382 14431232000 733684 33554432000 4194304 4196468 140725874427024 140611201123936 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4029] ppid=4017 vsize=14093000 memory=2934736 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4029/stat : 4029 (java) S 4017 4020 2046 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 45176382 14431232000 733684 33554432000 4194304 4196468 140725874427024 140611200071040 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4030] ppid=4017 vsize=14093000 memory=2934736 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4030/stat : 4030 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14431232000 733684 33554432000 4194304 4196468 140725874427024 140611199019344 140611660175259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4031] ppid=4017 vsize=14093000 memory=1796 CPUtime=4.11 cores=0,2,4,6
/proc/4020/task/4031/stat : 4031 (java) S 4017 4020 2046 0 -1 1077944384 12422 0 0 0 409 2 0 0 20 0 15 0 45176385 14431232000 733684 33554432000 4194304 4196468 140725874427024 140611197966704 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4032] ppid=4017 vsize=14093000 memory=2244 CPUtime=4.11 cores=0,2,4,6
/proc/4020/task/4032/stat : 4032 (java) S 4017 4020 2046 0 -1 1077944384 9836 0 0 0 410 1 0 0 20 0 15 0 45176385 14431232000 733684 33554432000 4194304 4196468 140725874427024 140611196913904 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4033] ppid=4017 vsize=14093000 memory=2934736 CPUtime=1.41 cores=0,2,4,6
/proc/4020/task/4033/stat : 4033 (java) S 4017 4020 2046 0 -1 1077944384 22465 0 0 0 137 4 0 0 20 0 15 0 45176385 14431232000 733684 33554432000 4194304 4196468 140725874427024 140611195861104 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4034] ppid=4017 vsize=14093000 memory=2934736 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4034/stat : 4034 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14431232000 733684 33554432000 4194304 4196468 140725874427024 140611194808544 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4035] ppid=4017 vsize=14093000 memory=2428 CPUtime=0.98 cores=0,2,4,6
/proc/4020/task/4035/stat : 4035 (java) S 4017 4020 2046 0 -1 1077944384 1944 0 0 0 47 51 0 0 20 0 15 0 45176385 14431232000 733684 33554432000 4194304 4196468 140725874427024 140611193756848 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
Current children cumulated CPU time: 2336.53 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 2934736 KiB

[startup+2382.3 s]
/proc/loadavg: 1.78 1.58 1.58 3/215 4261
/proc/meminfo: memFree=19200376/32770624 swapFree=67108860/67108860
[pid=4020] ppid=4017 vsize=14093000 memory=2936784 CPUtime=2397.04 cores=0,2,4,6
/proc/4020/stat : 4020 (java) S 4017 4020 2046 0 -1 1077944320 257679 0 0 0 239493 211 0 0 20 0 15 0 45176379 14431232000 734196 33554432000 4194304 4196468 140725874427024 140725874409568 140611660156663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
/proc/4020/statm: 3523250 734196 3615 1 0 3485321 0
[pid=4020/tid=4022] ppid=4017 vsize=14093000 memory=2936784 CPUtime=2380 cores=0,2,4,6
/proc/4020/task/4022/stat : 4022 (java) R 4017 4020 2046 0 -1 4202560 128546 0 0 0 237927 73 0 0 20 0 15 0 45176379 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611664394640 140611279419728 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4023] ppid=4017 vsize=14093000 memory=280616119673728 CPUtime=1.48 cores=0,2,4,6
/proc/4020/task/4023/stat : 4023 (java) S 4017 4020 2046 0 -1 1077944384 15305 0 0 0 127 21 0 0 20 0 15 0 45176380 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611597757072 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4024] ppid=4017 vsize=14093000 memory=55 CPUtime=1.49 cores=0,2,4,6
/proc/4020/task/4024/stat : 4024 (java) S 4017 4020 2046 0 -1 1077944384 14461 0 0 0 127 22 0 0 20 0 15 0 45176380 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611596704272 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4025] ppid=4017 vsize=14093000 memory=2936784 CPUtime=1.48 cores=0,2,4,6
/proc/4020/task/4025/stat : 4025 (java) S 4017 4020 2046 0 -1 1077944384 19152 0 0 0 127 21 0 0 20 0 15 0 45176380 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611595651472 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4026] ppid=4017 vsize=14093000 memory=2936784 CPUtime=1.49 cores=0,2,4,6
/proc/4020/task/4026/stat : 4026 (java) S 4017 4020 2046 0 -1 1077944384 12061 0 0 0 128 21 0 0 20 0 15 0 45176380 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611594598672 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4027] ppid=4017 vsize=14093000 memory=2936784 CPUtime=0.36 cores=0,2,4,6
/proc/4020/task/4027/stat : 4027 (java) S 4017 4020 2046 0 -1 1077944384 19999 0 0 0 29 7 0 0 20 0 15 0 45176382 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611202177904 140611660167810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4028] ppid=4017 vsize=14093000 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4028/stat : 4028 (java) S 4017 4020 2046 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 45176382 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611201123936 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4029] ppid=4017 vsize=14093000 memory=2936784 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4029/stat : 4029 (java) S 4017 4020 2046 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 45176382 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611200071040 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4030] ppid=4017 vsize=14093000 memory=10928 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4030/stat : 4030 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611199019344 140611660175259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4031] ppid=4017 vsize=14093000 memory=2936784 CPUtime=4.11 cores=0,2,4,6
/proc/4020/task/4031/stat : 4031 (java) S 4017 4020 2046 0 -1 1077944384 12428 0 0 0 409 2 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611197966704 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4032] ppid=4017 vsize=14093000 memory=14156 CPUtime=4.11 cores=0,2,4,6
/proc/4020/task/4032/stat : 4032 (java) S 4017 4020 2046 0 -1 1077944384 9842 0 0 0 410 1 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611196913904 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4033] ppid=4017 vsize=14093000 memory=18472 CPUtime=1.41 cores=0,2,4,6
/proc/4020/task/4033/stat : 4033 (java) S 4017 4020 2046 0 -1 1077944384 22471 0 0 0 137 4 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611195861104 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4034] ppid=4017 vsize=14093000 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4034/stat : 4034 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611194808544 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4035] ppid=4017 vsize=14093000 memory=15252 CPUtime=1.01 cores=0,2,4,6
/proc/4020/task/4035/stat : 4035 (java) S 4017 4020 2046 0 -1 1077944384 1974 0 0 0 48 53 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611193756848 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
Current children cumulated CPU time: 2397.04 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 2936784 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2385.3 s]
/proc/loadavg: 1.72 1.57 1.58 3/215 4261
/proc/meminfo: memFree=19200396/32770624 swapFree=67108860/67108860
[pid=4020] ppid=4017 vsize=14093000 memory=2936784 CPUtime=2400.07 cores=0,2,4,6
/proc/4020/stat : 4020 (java) S 4017 4020 2046 0 -1 1077944320 257816 0 0 0 239796 211 0 0 20 0 15 0 45176379 14431232000 734196 33554432000 4194304 4196468 140725874427024 140725874409568 140611660156663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
/proc/4020/statm: 3523250 734196 3615 1 0 3485321 0
[pid=4020/tid=4022] ppid=4017 vsize=14093000 memory=2936784 CPUtime=2382.98 cores=0,2,4,6
/proc/4020/task/4022/stat : 4022 (java) R 4017 4020 2046 0 -1 4202560 128662 0 0 0 238225 73 0 0 20 0 15 0 45176379 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611664394816 140611278973674 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4023] ppid=4017 vsize=14093000 memory=2936784 CPUtime=1.49 cores=0,2,4,6
/proc/4020/task/4023/stat : 4023 (java) S 4017 4020 2046 0 -1 1077944384 15320 0 0 0 128 21 0 0 20 0 15 0 45176380 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611597757072 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4024] ppid=4017 vsize=14093000 memory=2936784 CPUtime=1.5 cores=0,2,4,6
/proc/4020/task/4024/stat : 4024 (java) S 4017 4020 2046 0 -1 1077944384 14465 0 0 0 128 22 0 0 20 0 15 0 45176380 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611596704272 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4025] ppid=4017 vsize=14093000 memory=2936784 CPUtime=1.49 cores=0,2,4,6
/proc/4020/task/4025/stat : 4025 (java) S 4017 4020 2046 0 -1 1077944384 19152 0 0 0 128 21 0 0 20 0 15 0 45176380 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611595651472 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4026] ppid=4017 vsize=14093000 memory=2936784 CPUtime=1.5 cores=0,2,4,6
/proc/4020/task/4026/stat : 4026 (java) S 4017 4020 2046 0 -1 1077944384 12063 0 0 0 129 21 0 0 20 0 15 0 45176380 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611594598672 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4027] ppid=4017 vsize=14093000 memory=2936784 CPUtime=0.37 cores=0,2,4,6
/proc/4020/task/4027/stat : 4027 (java) S 4017 4020 2046 0 -1 1077944384 19999 0 0 0 30 7 0 0 20 0 15 0 45176382 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611202177904 140611660167810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4028] ppid=4017 vsize=14093000 memory=55 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4028/stat : 4028 (java) S 4017 4020 2046 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 45176382 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611201123936 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4029] ppid=4017 vsize=14093000 memory=280616119673728 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4029/stat : 4029 (java) S 4017 4020 2046 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 45176382 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611200071040 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4030] ppid=4017 vsize=14093000 memory=2936784 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4030/stat : 4030 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611199019344 140611660175259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4031] ppid=4017 vsize=14093000 memory=6944656592455359580 CPUtime=4.11 cores=0,2,4,6
/proc/4020/task/4031/stat : 4031 (java) S 4017 4020 2046 0 -1 1077944384 12428 0 0 0 409 2 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611197966704 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4032] ppid=4017 vsize=14093000 memory=2936784 CPUtime=4.11 cores=0,2,4,6
/proc/4020/task/4032/stat : 4032 (java) S 4017 4020 2046 0 -1 1077944384 9842 0 0 0 410 1 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611196913904 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4033] ppid=4017 vsize=14093000 memory=1236 CPUtime=1.41 cores=0,2,4,6
/proc/4020/task/4033/stat : 4033 (java) S 4017 4020 2046 0 -1 1077944384 22471 0 0 0 137 4 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611195861104 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4034] ppid=4017 vsize=14093000 memory=2936784 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4034/stat : 4034 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611194808544 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4035] ppid=4017 vsize=14093000 memory=4388 CPUtime=1.01 cores=0,2,4,6
/proc/4020/task/4035/stat : 4035 (java) S 4017 4020 2046 0 -1 1077944384 1974 0 0 0 48 53 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611193756848 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 2936784 KiB

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

[startup+2385.34 s]
# the end of solver process 4020 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2397.99 s, system=2.12641 s

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

[startup+2385.3 s]
/proc/loadavg: 1.72 1.57 1.58 3/215 4261
/proc/meminfo: memFree=19200396/32770624 swapFree=67108860/67108860
[pid=4020] ppid=4017 vsize=14093000 memory=2936784 CPUtime=2400.07 cores=0,2,4,6
/proc/4020/stat : 4020 (java) S 4017 4020 2046 0 -1 1077944320 257816 0 0 0 239796 211 0 0 20 0 15 0 45176379 14431232000 734196 33554432000 4194304 4196468 140725874427024 140725874409568 140611660156663 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
/proc/4020/statm: 3523250 734196 3615 1 0 3485321 0
[pid=4020/tid=4022] ppid=4017 vsize=14093000 memory=2936784 CPUtime=2382.98 cores=0,2,4,6
/proc/4020/task/4022/stat : 4022 (java) R 4017 4020 2046 0 -1 4202560 128662 0 0 0 238225 73 0 0 20 0 15 0 45176379 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611664394816 140611278973674 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4023] ppid=4017 vsize=14093000 memory=2936784 CPUtime=1.49 cores=0,2,4,6
/proc/4020/task/4023/stat : 4023 (java) S 4017 4020 2046 0 -1 1077944384 15320 0 0 0 128 21 0 0 20 0 15 0 45176380 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611597757072 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4024] ppid=4017 vsize=14093000 memory=2936784 CPUtime=1.5 cores=0,2,4,6
/proc/4020/task/4024/stat : 4024 (java) S 4017 4020 2046 0 -1 1077944384 14465 0 0 0 128 22 0 0 20 0 15 0 45176380 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611596704272 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4025] ppid=4017 vsize=14093000 memory=2936784 CPUtime=1.49 cores=0,2,4,6
/proc/4020/task/4025/stat : 4025 (java) S 4017 4020 2046 0 -1 1077944384 19152 0 0 0 128 21 0 0 20 0 15 0 45176380 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611595651472 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4026] ppid=4017 vsize=14093000 memory=2936784 CPUtime=1.5 cores=0,2,4,6
/proc/4020/task/4026/stat : 4026 (java) S 4017 4020 2046 0 -1 1077944384 12063 0 0 0 129 21 0 0 20 0 15 0 45176380 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611594598672 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4027] ppid=4017 vsize=14093000 memory=2936784 CPUtime=0.37 cores=0,2,4,6
/proc/4020/task/4027/stat : 4027 (java) S 4017 4020 2046 0 -1 1077944384 19999 0 0 0 30 7 0 0 20 0 15 0 45176382 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611202177904 140611660167810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4028] ppid=4017 vsize=14093000 memory=55 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4028/stat : 4028 (java) S 4017 4020 2046 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 45176382 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611201123936 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4029] ppid=4017 vsize=14093000 memory=280616119673728 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4029/stat : 4029 (java) S 4017 4020 2046 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 45176382 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611200071040 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4030] ppid=4017 vsize=14093000 memory=2936784 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4030/stat : 4030 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611199019344 140611660175259 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4031] ppid=4017 vsize=14093000 memory=6944656592455359580 CPUtime=4.11 cores=0,2,4,6
/proc/4020/task/4031/stat : 4031 (java) S 4017 4020 2046 0 -1 1077944384 12428 0 0 0 409 2 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611197966704 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4032] ppid=4017 vsize=14093000 memory=2936784 CPUtime=4.11 cores=0,2,4,6
/proc/4020/task/4032/stat : 4032 (java) S 4017 4020 2046 0 -1 1077944384 9842 0 0 0 410 1 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611196913904 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4033] ppid=4017 vsize=14093000 memory=1236 CPUtime=1.41 cores=0,2,4,6
/proc/4020/task/4033/stat : 4033 (java) S 4017 4020 2046 0 -1 1077944384 22471 0 0 0 137 4 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611195861104 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4034] ppid=4017 vsize=14093000 memory=2936784 CPUtime=0 cores=0,2,4,6
/proc/4020/task/4034/stat : 4034 (java) S 4017 4020 2046 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611194808544 140611660166869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
[pid=4020/tid=4035] ppid=4017 vsize=14093000 memory=4388 CPUtime=1.01 cores=0,2,4,6
/proc/4020/task/4035/stat : 4035 (java) S 4017 4020 2046 0 -1 1077944384 1974 0 0 0 48 53 0 0 20 0 15 0 45176385 14431232000 734196 33554432000 4194304 4196468 140725874427024 140611193756848 140611660167810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29396992 140725874431048 140725874431241 140725874431241 140725874433999 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 2936784 KiB

Child status: 143
Real time (s): 2385.34
CPU time (s): 2400.12
CPU user time (s): 2397.99
CPU system time (s): 2.12641
CPU usage (%): 100.62
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 3963672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.99
system time used= 2.12641
maximum resident set size= 3985072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258336
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62842
involuntary context switches= 2816


# summary of solver processes directly reported to runsolver:
#   pid: 4020
#   total CPU time (s): 2400.12
#   total CPU user time (s): 2397.99
#   total CPU system time (s): 2.12641

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3447 second user time and 21.2747 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-22 18:15:32
IDJOB=4291924
IDBENCH=141202
IDSOLVER=2743
FILE ID=node138/4291924-1532276132
RUNJOBID= node138-1532271385-3550
PBS_JOBID= 21018975
Free space on /tmp= 59072 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-07-02
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-10-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-4291924-1532276132/watcher-4291924-1532276132 -o /tmp/evaluation-result-4291924-1532276132/solver-4291924-1532276132 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532271385-3550 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1698315212 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291924-1532276132.xml

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

MD5SUM BENCH= 5aacc3d423af8ffef3990b4c8ed069d4
RANDOM SEED=1698315212

node138.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.71
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.71
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.71
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.71
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:        21986544 kB
MemAvailable:   31157308 kB
Buffers:          247100 kB
Cached:          9164468 kB
SwapCached:            0 kB
Active:          3179280 kB
Inactive:        7083240 kB
Active(anon):     853724 kB
Inactive(anon):    16960 kB
Active(file):    2325556 kB
Inactive(file):  7066280 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             36080 kB
Writeback:            44 kB
AnonPages:        858240 kB
Mapped:            49408 kB
Shmem:             17036 kB
Slab:             216816 kB
SReclaimable:     189524 kB
SUnreclaim:        27292 kB
KernelStack:        3488 kB
PageTables:         7428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1530368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    780288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 59040 MiB
End job on node138 at 2018-07-22 18:55:18