Trace number 4308660

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 - Hybrid 2018-08-14SAT (TO)113744 2520.05 2454.15

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-06-opt_c18.xml
MD5SUMe2f0d6978164174a80e953d0a2a49c7e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark41530
Best CPU time to get the best result obtained on this benchmark2520.08
Satisfiable
(Un)Satisfiability was proved
Number of variables2370
Number of constraints2170
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":1970},{"size":6,"count":34},{"size":22,"count":22},{"size":24,"count":20},{"size":36,"count":26},{"size":42,"count":66},{"size":44,"count":232}]
Minimum variable degree1
Maximum variable degree24
Distribution of variable degrees[{"degree":1,"count":1},{"degree":2,"count":1975},{"degree":3,"count":12},{"degree":4,"count":24},{"degree":5,"count":37},{"degree":6,"count":38},{"degree":7,"count":58},{"degree":8,"count":40},{"degree":9,"count":22},{"degree":10,"count":22},{"degree":11,"count":7},{"degree":12,"count":4},{"degree":13,"count":3},{"degree":14,"count":1},{"degree":17,"count":15},{"degree":18,"count":19},{"degree":19,"count":26},{"degree":20,"count":34},{"degree":21,"count":18},{"degree":22,"count":10},{"degree":23,"count":3},{"degree":24,"count":1}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":200},{"arity":3,"count":1970}]
Number of extensional constraints0
Number of intensional constraints2170
Distribution of constraint types[{"type":"intension","count":2170}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.67/0.55	c version: 2018-08-14
0.67/0.56	c seed: 951419525
0.67/0.56	c timeout: 2520
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
5.71/2.55	c Parsing done, starting first complete search...
116.57/109.72	o 216253
116.57/109.72	o 216252
116.57/109.72	o 216152
116.57/109.73	o 216142
116.57/109.73	o 216141
116.57/109.73	o 216131
116.57/109.74	o 216121
116.57/109.74	o 216021
116.57/109.74	o 216020
116.57/109.75	o 216010
116.57/109.76	o 215010
116.57/109.77	o 214921
116.83/109.81	o 214911
116.83/109.82	o 214910
116.83/109.82	o 214821
116.83/109.88	o 214820
117.10/109.91	o 214721
117.10/109.92	o 214720
117.10/109.99	o 214714
117.10/109.99	o 214614
117.10/109.99	o 214613
117.10/110.00	o 214612
117.10/110.00	o 214611
117.10/110.00	o 214610
117.22/110.08	o 214533
117.22/110.09	o 213531
117.36/110.13	o 213521
117.36/110.17	o 213520
117.58/110.37	o 212719
117.58/110.37	o 212619
117.58/110.37	o 212609
117.83/110.57	o 212523
117.83/110.57	o 211521
117.83/110.57	o 211520
119.40/112.02	o 211511
119.40/112.02	o 211510
119.40/112.02	o 211410
120.29/112.90	o 210723
120.29/112.90	o 210623
120.29/112.90	o 210622
120.29/112.90	o 210621
120.29/112.91	o 210611
120.29/112.92	o 210610
121.79/114.44	o 210542
121.79/114.44	o 210541
121.79/114.44	o 210531
121.79/114.44	o 210530
121.79/114.45	o 210520
123.41/116.03	o 210432
123.41/116.03	o 210431
123.41/116.03	o 210421
123.41/116.04	o 210420
123.41/116.04	o 210410
125.71/118.37	o 209442
125.71/118.37	o 209432
125.71/118.37	o 209431
125.71/118.38	o 209342
125.71/118.38	o 209341
125.71/118.38	o 209331
126.42/119.02	o 208561
126.42/119.03	o 208551
126.42/119.05	o 208542
126.42/119.06	o 208541
126.42/119.06	o 208452
126.42/119.06	o 208451
126.42/119.07	o 208441
126.52/119.20	o 208342
126.61/119.20	o 208332
126.61/119.20	o 208331
129.11/121.78	o 208243
129.11/121.78	o 208233
129.11/121.78	o 208232
129.21/121.80	o 208222
129.21/121.80	o 208221
130.31/122.93	o 207352
130.31/122.93	o 207351
130.31/122.93	o 207341
130.31/122.94	o 207331
133.21/125.86	o 206553
133.21/125.86	o 206552
133.21/125.86	o 206542
133.21/125.86	o 206442
133.21/125.87	o 206342
133.21/125.87	o 206341
133.21/125.87	o 206331
136.33/128.94	o 206042
136.33/128.94	o 206041
136.33/128.95	o 206031
136.33/128.95	o 205031
136.33/128.95	o 204031
136.54/129.12	o 203943
136.54/129.12	o 203933
136.63/129.27	o 203932
136.63/129.27	o 203922
137.44/130.04	o 203921
139.44/132.01	o 203141
139.44/132.01	o 203041
139.44/132.02	o 203031
139.44/132.02	o 203021
167.96/160.52	o 202942
167.96/160.52	o 202932
167.96/160.52	o 202931
167.96/160.57	o 202929
167.96/160.58	o 202920
190.29/182.81	o 202911
207.10/199.65	o 202832
207.10/199.66	o 202831
208.10/200.65	o 202760
208.10/200.65	o 202750
208.10/200.66	o 202740
208.10/200.66	o 202731
208.10/200.66	o 202730
209.71/202.26	o 202721
243.69/236.13	o 202640
243.69/236.13	o 202630
243.69/236.15	o 202621
261.45/253.83	c First complete search done, starting ALNS search...
262.16/254.28	o 201828
263.28/255.14	o 201818
263.76/255.57	o 201808
263.87/255.63	o 201807
263.99/255.76	o 200828
264.09/255.80	o 200818
264.09/255.83	o 200808
264.09/255.87	o 200807
264.19/255.91	o 200798
264.19/255.94	o 200797
264.30/256.01	o 200728
264.30/256.05	o 200718
264.30/256.09	o 200708
264.41/256.12	o 200698
264.41/256.16	o 200697
264.62/256.38	o 200696
264.62/256.39	o 200606
264.74/256.40	o 200596
264.74/256.41	o 200506
264.74/256.42	o 200496
264.74/256.44	o 200486
264.74/256.45	o 200485
264.74/256.47	o 200406
264.74/256.48	o 200396
264.74/256.49	o 200386
264.84/256.51	o 200385
267.14/258.14	o 200378
267.14/258.17	o 200377
267.14/258.19	o 200376
267.23/258.22	o 200375
267.53/258.52	o 200368
267.53/258.55	o 200367
267.53/258.57	o 200366
267.53/258.59	o 200358
267.63/258.61	o 200357
267.63/258.63	o 200356
267.63/258.67	o 200355
269.75/260.67	o 200255
269.93/260.75	o 200245
269.93/260.76	o 200235
270.35/261.13	o 200234
270.35/261.16	o 200233
270.74/261.56	o 200232
270.96/261.75	o 200231
271.06/261.82	o 200230
271.06/261.85	o 200229
271.16/261.95	o 200228
272.09/262.73	o 199433
272.09/262.75	o 199432
272.09/262.76	o 199423
272.09/262.78	o 199422
272.09/262.79	o 199413
272.20/262.81	o 199412
272.20/262.83	o 199403
272.20/262.84	o 199402
272.31/262.97	o 199332
273.14/263.68	o 199246
273.37/263.71	o 198346
277.05/267.11	o 198266
277.05/267.13	o 198265
277.57/267.64	o 198166
277.57/267.66	o 198066
277.67/267.74	o 198056
277.67/267.76	o 197966
277.67/267.78	o 197956
277.77/267.81	o 197946
278.08/268.15	o 197866
278.08/268.18	o 197856
278.17/268.21	o 197846
278.17/268.27	o 197836
278.28/268.30	o 197826
278.28/268.33	o 197825
278.28/268.40	o 197824
279.10/269.14	o 197816
279.10/269.17	o 197815
279.19/269.21	o 197814
279.29/269.37	o 197176
279.41/269.40	o 197175
279.41/269.43	o 197166
279.41/269.46	o 197165
279.41/269.50	o 197156
279.51/269.53	o 197155
279.51/269.56	o 197076
279.51/269.58	o 197075
279.61/269.61	o 197066
279.61/269.64	o 197065
279.61/269.67	o 197056
279.61/269.69	o 197055
279.71/269.73	o 196976
279.71/269.75	o 196975
279.71/269.78	o 196966
279.81/269.81	o 196965
279.81/269.84	o 196956
279.81/269.86	o 196955
279.91/269.90	o 196946
279.91/269.93	o 196945
279.91/269.97	o 196936
279.91/269.99	o 196935
280.02/270.04	o 196876
280.02/270.06	o 196866
280.02/270.08	o 196856
280.14/270.11	o 196846
280.14/270.15	o 196836
280.14/270.19	o 196835
280.23/270.24	o 196826
280.23/270.27	o 196825
280.33/270.31	o 196824
280.33/270.39	o 196286
280.43/270.41	o 196276
280.43/270.43	o 196266
280.43/270.46	o 196256
280.55/270.57	o 196156
280.69/270.61	o 196146
280.69/270.65	o 196136
280.69/270.68	o 195245
280.69/270.69	o 195235
280.79/270.70	o 195145
280.79/270.72	o 195135
280.79/270.77	o 195125
280.79/270.79	o 194245
280.89/270.81	o 194235
280.89/270.83	o 194145
280.89/270.84	o 194135
280.89/270.86	o 194125
288.36/278.18	o 193485
288.46/278.22	o 193475
288.46/278.26	o 193385
288.56/278.31	o 193375
288.76/278.50	o 193365
288.76/278.57	o 193355
289.18/278.99	o 193354
289.29/279.04	o 193344
289.40/279.15	o 193343
290.31/280.10	o 192485
290.41/280.13	o 192475
290.41/280.18	o 192465
290.50/280.23	o 192455
290.50/280.27	o 192385
290.60/280.32	o 192375
290.60/280.37	o 192365
290.70/280.42	o 192355
290.70/280.47	o 192354
290.81/280.51	o 192344
290.81/280.58	o 192343
292.02/281.77	o 192334
292.12/281.82	o 192333
301.19/290.63	o 192238
301.19/290.64	o 192237
301.19/290.69	o 192236
301.29/290.73	o 192235
301.29/290.78	o 192234
301.39/290.85	o 192148
301.39/290.89	o 192147
301.49/290.93	o 192146
301.49/290.99	o 192137
301.62/291.03	o 192136
301.62/291.09	o 192135
301.72/291.14	o 192134
301.81/291.28	o 191347
301.91/291.33	o 191346
301.91/291.38	o 191345
302.01/291.43	o 191337
302.01/291.48	o 191336
302.11/291.53	o 191335
302.11/291.58	o 191334
302.21/291.64	o 191237
302.21/291.69	o 191236
302.32/291.75	o 191235
302.42/291.80	o 191234
302.42/291.85	o 191137
302.52/291.91	o 191136
302.52/291.96	o 191135
302.63/292.01	o 191134
302.63/292.10	o 191133
302.82/292.20	o 191047
302.82/292.24	o 191046
302.82/292.30	o 191045
302.92/292.35	o 191044
303.02/292.41	o 191043
303.02/292.47	o 191037
303.02/292.49	o 191036
303.13/292.53	o 191035
303.13/292.57	o 191034
303.23/292.64	o 191033
303.33/292.74	o 191027
303.33/292.76	o 191026
303.43/292.80	o 191025
303.43/292.84	o 191024
303.43/292.89	o 191023
303.64/293.01	o 190338
303.64/293.04	o 190337
303.64/293.08	o 190336
303.74/293.14	o 190335
303.83/293.20	o 190238
303.83/293.25	o 190237
303.93/293.30	o 190236
303.93/293.36	o 190235
304.05/293.44	o 190228
304.05/293.46	o 190227
304.15/293.50	o 190226
304.15/293.55	o 190225
304.25/293.61	o 190224
304.25/293.69	o 190137
304.35/293.74	o 190136
304.35/293.79	o 190135
304.45/293.85	o 190134
304.55/293.91	o 190126
304.55/293.97	o 190125
304.66/294.03	o 190124
304.76/294.11	o 190038
304.76/294.14	o 190037
304.85/294.20	o 190036
304.85/294.26	o 190035
304.95/294.32	o 190028
304.95/294.37	o 190027
305.05/294.43	o 190026
305.05/294.49	o 190025
305.15/294.56	o 190024
305.26/294.63	o 190023
305.36/294.71	o 190022
305.46/294.81	o 190021
305.46/294.87	o 190020
305.56/294.96	o 190019
305.67/295.02	o 190018
305.67/295.08	o 190017
305.77/295.13	o 190016
305.77/295.19	o 189345
305.86/295.21	o 189344
305.86/295.25	o 189343
305.96/295.30	o 189342
305.96/295.36	o 189341
306.06/295.41	o 189340
306.06/295.48	o 189339
306.16/295.53	o 189338
306.16/295.59	o 189337
306.26/295.65	o 189335
306.26/295.69	o 189334
306.38/295.75	o 189333
306.48/295.81	o 189332
306.48/295.86	o 189331
306.58/295.93	o 189330
306.58/296.00	o 189329
306.69/296.09	o 189319
307.10/296.46	o 189318
307.10/296.47	o 189229
307.20/296.55	o 189228
307.20/296.57	o 189219
307.20/296.58	o 189218
307.40/296.71	o 189129
307.40/296.72	o 189128
307.40/296.73	o 189119
307.40/296.74	o 189118
307.60/296.98	o 188329
307.60/296.99	o 188229
307.60/297.01	o 188219
307.73/297.02	o 188218
307.73/297.03	o 188129
307.73/297.04	o 188119
307.73/297.05	o 188118
308.86/298.12	o 188114
308.86/298.14	o 188113
308.86/298.17	o 188112
308.95/298.28	o 187114
309.19/298.31	o 187113
309.19/298.34	o 187112
309.29/298.42	o 187111
309.29/298.50	o 187015
309.39/298.57	o 187014
309.49/298.64	o 187013
309.59/298.76	o 186913
309.93/299.06	o 186912
312.96/301.89	o 186904
317.30/306.17	o 186903
318.25/306.91	o 186837
318.25/306.94	o 186827
318.25/306.97	o 186817
318.36/307.04	o 186807
318.63/307.20	o 186737
318.63/307.24	o 186727
318.63/307.29	o 186717
318.83/307.40	o 186707
318.83/307.48	o 186706
318.93/307.54	o 186705
319.03/307.61	o 186637
319.03/307.64	o 186627
319.03/307.68	o 186626
319.13/307.71	o 186617
319.13/307.75	o 186616
319.23/307.80	o 186615
319.33/307.93	o 186607
319.33/307.95	o 186606
319.44/308.01	o 186605
320.41/308.91	o 186597
320.41/308.95	o 186596
320.41/308.99	o 186595
321.01/309.50	o 186594
321.41/309.95	o 186590
321.52/310.01	o 186589
321.52/310.08	o 186588
321.62/310.14	o 186587
321.71/310.22	o 186586
321.81/310.34	o 186337
321.81/310.37	o 186336
321.91/310.41	o 186326
321.91/310.45	o 186237
321.91/310.48	o 186227
322.02/310.52	o 186226
322.02/310.57	o 186216
322.12/310.64	o 186136
322.12/310.68	o 186135
322.22/310.71	o 186126
322.22/310.74	o 186125
322.32/310.80	o 186117
322.32/310.83	o 186116
322.42/310.92	o 186036
322.42/310.96	o 186026
322.53/311.01	o 186025
322.53/311.08	o 186017
322.63/311.12	o 186016
322.72/311.21	o 186015
322.72/311.29	o 186014
322.82/311.36	o 186013
322.92/311.44	o 186006
322.92/311.49	o 186005
323.02/311.58	o 186004
323.12/311.67	o 186003
323.22/311.74	o 185996
323.22/311.78	o 185995
323.32/311.85	o 185994
323.42/311.99	o 185938
323.53/312.01	o 185937
323.53/312.06	o 185928
323.53/312.08	o 185927
323.64/312.13	o 185926
323.64/312.18	o 185925
323.73/312.25	o 185924
323.83/312.32	o 185917
323.83/312.34	o 185916
323.93/312.40	o 185915
323.93/312.46	o 185914
324.03/312.54	o 185907
324.03/312.59	o 185906
324.13/312.64	o 185905
324.23/312.70	o 185904
324.23/312.79	o 185903
324.33/312.87	o 185838
324.33/312.90	o 185837
324.43/312.97	o 185836
324.54/313.04	o 185835
324.64/313.12	o 185829
324.64/313.16	o 185828
324.73/313.23	o 185827
324.83/313.30	o 185826
325.19/313.60	o 185757
325.19/313.62	o 185747
325.39/313.85	o 185746
325.49/313.93	o 185745
325.49/313.99	o 185738
325.49/314.00	o 185737
325.60/314.02	o 185736
325.70/314.11	o 185638
325.70/314.13	o 185637
325.70/314.16	o 185636
325.70/314.18	o 185628
325.79/314.20	o 185627
325.79/314.22	o 185626
325.89/314.32	o 185616
326.00/314.41	o 184636
326.00/314.44	o 184626
326.00/314.47	o 184616
326.10/314.52	o 184536
326.10/314.55	o 184526
326.10/314.58	o 184516
327.13/315.60	o 184506
327.33/315.75	o 183606
327.33/315.78	o 183596
327.43/315.81	o 182606
327.43/315.82	o 182596
327.53/315.92	o 182506
327.53/315.94	o 182496
327.64/316.05	o 181606
327.64/316.07	o 181596
327.64/316.10	o 181506
327.74/316.11	o 181496
327.84/316.22	o 181407
327.84/316.24	o 181397
328.04/316.44	o 181394
328.04/316.45	o 181393
328.04/316.47	o 181392
328.14/316.51	o 181391
328.14/316.55	o 181390
328.37/316.65	o 180494
328.37/316.68	o 180394
328.48/316.72	o 180393
328.48/316.76	o 180392
328.58/316.80	o 180391
328.58/316.84	o 180390
328.58/316.89	o 180389
328.68/316.97	o 180388
328.79/317.03	o 180387
328.89/317.11	o 180386
329.18/317.47	o 180385
329.38/317.67	o 180384
329.68/317.91	o 180383
329.68/317.95	o 180382
329.68/318.00	o 180381
329.79/318.06	o 180380
329.89/318.14	o 180379
329.98/318.23	o 180378
330.71/318.54	o 180377
330.81/318.68	o 180376
331.01/318.86	o 180375
331.21/319.06	o 180374
331.41/319.29	o 180373
332.01/319.82	o 180372
332.32/320.14	o 180363
332.32/320.16	o 180362
332.32/320.18	o 179363
332.41/320.20	o 179362
332.41/320.22	o 179263
332.41/320.24	o 179262
332.94/320.79	o 179162
333.04/320.88	o 179161
333.24/321.01	o 179153
333.24/321.04	o 179152
335.39/323.12	o 179143
335.39/323.16	o 179052
335.39/323.18	o 179042
335.48/323.22	o 178952
335.48/323.24	o 178942
335.48/323.29	o 178243
335.58/323.31	o 178233
335.58/323.35	o 178143
335.58/323.38	o 178133
335.68/323.42	o 178132
335.68/323.45	o 178042
335.68/323.48	o 178032
335.78/323.52	o 177942
335.78/323.55	o 177932
335.78/323.58	o 177842
335.88/323.60	o 177832
335.88/323.67	o 177733
335.98/323.71	o 177732
335.98/323.74	o 177633
335.98/323.76	o 177632
336.08/323.85	o 177532
336.08/323.90	o 176832
336.18/323.92	o 176732
336.18/323.95	o 176632
336.18/323.98	o 176532
336.29/324.06	o 176433
336.29/324.08	o 176432
336.39/324.11	o 176423
336.39/324.13	o 176422
336.39/324.15	o 175523
336.39/324.17	o 175522
336.39/324.20	o 175513
336.48/324.21	o 175512
336.48/324.24	o 175423
336.48/324.26	o 175422
336.48/324.28	o 175413
336.48/324.29	o 175412
336.58/324.35	o 175411
336.58/324.36	o 175321
336.69/324.48	o 175320
336.79/324.57	o 175319
337.11/324.77	o 174524
337.21/324.82	o 174523
337.31/324.91	o 174522
337.31/324.99	o 174521
337.42/325.07	o 174520
337.61/325.25	o 174424
337.71/325.34	o 174423
337.81/325.44	o 174422
337.91/325.57	o 174421
338.01/325.68	o 174420
338.31/325.91	o 174415
338.31/325.98	o 174414
338.42/326.05	o 174413
352.08/339.48	o 174402
352.18/339.55	o 174401
352.29/339.68	o 174392
352.39/339.75	o 174391
352.49/339.84	o 174382
352.59/339.92	o 174381
354.35/341.60	o 173620
354.86/342.11	o 173120
354.86/342.14	o 173020
354.86/342.17	o 173010
354.86/342.20	o 172920
354.95/342.23	o 172910
354.95/342.29	o 172820
355.05/342.32	o 172810
355.05/342.39	o 172720
355.15/342.42	o 172710
355.25/342.52	o 172700
355.35/342.61	o 172620
355.35/342.65	o 172610
355.35/342.67	o 172600
355.59/342.84	o 172020
355.59/342.87	o 172010
355.59/342.89	o 171920
355.70/342.92	o 171910
355.70/342.95	o 171820
355.81/343.10	o 171734
355.91/343.14	o 171733
356.00/343.27	o 171732
356.43/343.58	o 171731
356.83/343.97	o 171730
357.13/344.22	o 171729
357.23/344.39	o 171728
357.53/344.61	o 171727
357.53/344.66	o 171627
357.63/344.70	o 171617
357.63/344.75	o 171537
357.63/344.78	o 171527
358.04/345.13	o 171525
358.04/345.18	o 171524
358.14/345.29	o 171523
358.48/345.48	o 171522
358.68/345.67	o 171521
358.88/345.86	o 171520
359.19/346.11	o 171519
359.48/346.43	o 171518
360.60/347.52	o 171517
361.19/348.07	o 170528
361.29/348.11	o 170518
361.29/348.14	o 170517
361.38/348.26	o 170516
361.64/348.41	o 170418
361.74/348.50	o 169628
361.74/348.54	o 169627
363.86/350.65	o 169617
366.60/353.34	o 169599
368.04/354.72	o 168509
368.45/355.16	o 168506
368.54/355.26	o 168505
368.64/355.38	o 168504
368.84/355.54	o 168503
369.62/356.13	o 168502
369.91/356.46	o 168501
370.21/356.76	o 168500
370.64/357.19	o 168490
370.74/357.23	o 168481
370.74/357.26	o 168480
370.84/357.30	o 167500
370.84/357.33	o 167490
371.74/358.24	o 167390
371.84/358.31	o 166490
371.84/358.35	o 166390
372.35/358.80	o 166290
373.89/359.91	o 166201
374.10/360.15	o 165501
374.10/360.19	o 165401
374.19/360.22	o 165301
374.19/360.25	o 165201
374.29/360.31	o 165200
374.39/360.44	o 164300
374.39/360.47	o 164200
375.11/361.17	o 164100
396.32/382.27	o 164099
396.63/382.55	o 164010
396.63/382.57	o 164009
396.63/382.59	o 164000
396.73/382.61	o 163999
396.93/382.87	o 163909
398.54/384.45	o 163907
399.01/384.81	o 163906
399.21/385.10	o 163905
399.61/385.44	o 163904
400.01/385.84	o 163903
400.51/386.32	o 163902
411.82/397.58	o 163901
412.34/398.04	o 163900
413.03/398.79	o 163896
413.54/399.23	o 163895
413.94/399.63	o 163894
414.45/400.11	o 163893
414.95/400.66	o 163892
416.47/402.16	o 163891
416.97/402.62	o 163890
417.48/403.19	o 163886
417.87/403.59	o 163885
418.52/404.15	o 163882
418.52/404.19	o 163881
418.61/404.26	o 163880
418.71/404.36	o 163879
418.91/404.56	o 163878
419.21/404.82	o 163877
419.42/405.10	o 163782
419.82/405.39	o 163781
420.12/405.63	o 163780
420.32/405.88	o 163779
420.63/406.13	o 163778
421.06/406.54	o 163693
421.16/406.68	o 163692
421.46/406.91	o 163691
421.67/407.15	o 163690
421.96/407.41	o 163689
422.16/407.65	o 163688
422.36/407.89	o 163683
422.68/408.11	o 163682
422.87/408.35	o 163681
423.07/408.58	o 163680
423.37/408.83	o 163679
423.58/409.09	o 163678
423.97/409.40	o 163677
424.38/409.80	o 163583
424.48/409.97	o 163582
424.69/410.18	o 163581
424.98/410.41	o 163580
425.18/410.65	o 163579
425.49/410.91	o 163578
425.79/411.25	o 163577
426.30/411.74	o 163483
426.30/411.77	o 163482
426.50/411.95	o 163481
426.71/412.14	o 163480
426.90/412.36	o 163479
427.20/412.61	o 163478
427.51/412.91	o 163477
428.01/413.49	o 163476
428.51/413.96	o 163475
429.42/414.83	o 163003
429.42/414.89	o 163002
451.05/436.14	o 162902
452.48/437.55	o 162020
452.88/438.00	o 162010
453.10/438.19	o 162002
455.64/440.61	o 162001
456.67/441.69	o 161910
456.87/441.87	o 161909
457.07/442.05	o 161899
457.27/442.29	o 161892
457.47/442.47	o 161891
460.74/445.67	o 161890
461.56/446.49	o 161809
461.76/446.67	o 161799
462.08/446.98	o 161798
462.29/447.19	o 161791
462.59/447.48	o 161790
466.08/450.88	o 161781
466.50/451.25	o 161780
469.25/453.92	o 161771
469.65/454.36	o 161770
473.65/458.29	o 161687
473.75/458.35	o 161677
473.85/458.44	o 161676
474.16/458.63	o 161675
474.26/458.79	o 161674
474.46/458.98	o 161673
474.69/459.16	o 161672
474.98/459.42	o 161667
474.98/459.46	o 161666
475.19/459.65	o 161665
475.39/459.83	o 161664
475.49/460.00	o 161663
475.80/460.20	o 161662
475.99/460.46	o 161661
476.39/460.84	o 161658
476.49/460.95	o 161657
476.61/461.07	o 161656
476.80/461.22	o 161655
478.93/463.30	o 161555
479.03/463.48	o 161554
479.23/463.63	o 161553
479.43/463.87	o 161552
479.74/464.17	o 161551
480.17/464.49	o 161550
480.37/464.69	o 161549
480.67/464.98	o 161548
480.97/465.24	o 161547
481.27/465.53	o 161455
481.27/465.58	o 161454
482.41/466.04	o 161453
482.61/466.28	o 161452
482.91/466.54	o 161451
483.21/466.80	o 161450
483.31/466.96	o 160450
483.42/467.01	o 160449
483.61/467.24	o 160448
483.61/467.29	o 160447
483.92/467.58	o 160446
484.02/467.67	o 160436
484.12/467.74	o 159436
484.22/467.80	o 159426
484.22/467.89	o 159425
487.93/471.32	o 158526
488.03/471.43	o 158426
488.23/471.60	o 158425
488.23/471.69	o 157436
488.33/471.75	o 157435
488.43/471.83	o 157336
492.77/476.18	o 157246
492.87/476.24	o 157146
492.97/476.31	o 157136
493.07/476.49	o 156136
493.27/476.62	o 155136
493.78/477.16	o 155135
493.97/477.33	o 154335
494.10/477.42	o 154235
494.91/478.23	o 154234
495.01/478.35	o 153336
495.01/478.40	o 153335
495.11/478.48	o 152336
495.21/478.52	o 152335
495.21/478.58	o 152334
495.41/478.72	o 152236
495.41/478.79	o 152235
495.51/478.83	o 152234
495.61/478.98	o 151336
495.72/479.04	o 151335
495.82/479.14	o 151236
495.82/479.19	o 151235
496.01/479.30	o 151234
497.63/480.98	o 151225
498.63/481.99	o 151215
499.45/482.72	o 151205
499.76/483.02	o 151204
504.59/487.84	o 151203
504.80/488.03	o 151195
504.80/488.08	o 151194
504.90/488.14	o 151193
510.26/493.30	o 151093
514.52/497.55	o 150093
514.64/497.62	o 149993
514.74/497.71	o 149893
514.74/497.78	o 149793
515.05/498.09	o 149792
515.67/498.68	o 149704
515.90/498.81	o 149694
517.62/500.57	o 149693
517.92/500.82	o 149692
518.63/501.58	o 148912
518.73/501.66	o 148902
518.83/501.76	o 148812
518.93/501.83	o 148802
519.03/501.91	o 148792
519.14/502.02	o 148782
519.24/502.13	o 148772
519.33/502.28	o 148712
519.51/502.34	o 148702
519.61/502.43	o 148692
519.71/502.52	o 148682
519.81/502.61	o 147822
519.81/502.69	o 147812
519.91/502.77	o 147802
520.01/502.84	o 147792
520.11/502.92	o 147782
520.11/502.99	o 147712
520.22/503.06	o 147702
520.32/503.14	o 147692
520.41/503.20	o 147682
520.41/503.27	o 147672
541.87/524.47	o 147572
542.25/524.78	o 147563
542.46/524.91	o 147562
542.57/525.04	o 147561
547.39/529.66	o 147500
547.59/529.85	o 147499
547.69/530.01	o 147498
548.61/530.74	o 147497
549.11/531.21	o 147496
549.31/531.47	o 147495
554.52/536.56	o 147494
554.71/536.71	o 147484
576.15/557.80	o 147474
577.47/559.14	o 147473
578.07/559.73	o 147374
578.17/559.81	o 147373
578.78/560.46	o 147372
580.61/562.21	o 147262
580.81/562.40	o 147261
581.11/562.79	o 146264
581.31/562.93	o 146263
581.44/563.10	o 146262
581.63/563.21	o 146261
581.73/563.33	o 146162
581.83/563.45	o 146161
584.67/566.22	o 146061
586.62/568.15	o 146052
587.31/568.89	o 146042
587.94/569.44	o 146041
588.04/569.58	o 146031
589.21/570.66	o 146030
589.41/570.84	o 146029
589.51/571.00	o 146028
592.89/574.29	o 146027
593.19/574.52	o 145028
593.39/574.74	o 145027
593.59/574.99	o 144028
593.92/575.22	o 144027
594.93/576.21	o 143147
595.03/576.31	o 143137
595.13/576.42	o 143127
595.23/576.57	o 143047
595.33/576.65	o 143037
595.43/576.77	o 143027
596.48/577.73	o 143026
597.83/578.55	o 142926
598.03/578.74	o 142858
600.88/581.50	o 142857
623.19/603.58	o 142856
623.70/604.03	o 142848
623.80/604.14	o 142847
623.89/604.29	o 142846
627.35/607.60	o 142757
628.15/608.36	o 142747
630.07/610.26	o 142746
634.72/614.84	o 142666
635.42/615.54	o 142656
636.23/616.38	o 142647
636.37/616.49	o 142646
643.97/623.93	o 142637
644.08/624.08	o 142636
644.27/624.28	o 142635
649.65/629.56	o 141947
650.67/630.59	o 141937
661.55/641.12	o 141936
662.06/641.67	o 141935
662.36/642.00	o 141934
663.39/642.98	o 141933
664.84/644.23	o 141846
665.24/644.68	o 141809
665.67/645.03	o 141808
666.69/646.07	o 141798
673.96/653.16	o 141708
674.25/653.47	o 141698
674.75/653.91	o 141608
675.05/654.22	o 141598
675.45/654.68	o 141588
676.07/655.22	o 140588
678.07/657.30	o 140587
701.55/680.41	o 140487
701.55/680.46	o 140387
702.57/681.41	o 140377
702.87/681.75	o 140376
703.47/682.34	o 140375
703.68/682.56	o 140286
704.00/682.87	o 140285
704.31/683.15	o 140276
704.60/683.46	o 140275
707.97/686.72	o 140265
708.49/687.26	o 140165
709.92/688.62	o 140164
710.32/689.03	o 140163
710.74/689.42	o 140162
712.99/691.64	o 140161
716.74/695.27	o 139998
717.06/695.53	o 139898
717.36/695.86	o 139798
728.82/707.13	o 139788
728.92/707.29	o 138798
729.12/707.48	o 138788
729.32/707.68	o 138787
729.77/708.02	o 138786
729.89/708.16	o 138785
730.18/708.49	o 138783
730.48/708.70	o 138782
731.76/709.45	o 138781
732.37/710.03	o 138780
732.88/710.56	o 138779
733.39/711.06	o 138778
734.08/711.73	o 138777
734.80/712.40	o 138776
735.60/713.26	o 138775
736.22/713.88	o 138692
736.53/714.13	o 138691
736.92/714.58	o 138690
737.53/715.18	o 138689
738.24/715.89	o 138688
738.93/716.54	o 138687
739.44/717.06	o 138617
739.74/717.31	o 138607
740.24/717.87	o 138597
740.76/718.33	o 138498
740.86/718.43	o 138497
741.06/718.60	o 138496
741.16/718.78	o 138495
744.20/721.73	o 138487
744.51/722.03	o 138486
745.11/722.68	o 138485
745.51/723.04	o 138484
758.72/736.04	o 138474
762.27/739.55	o 138384
762.47/739.72	o 138374
763.71/740.93	o 138275
763.92/741.15	o 138274
764.11/741.33	o 138175
764.31/741.50	o 138174
764.54/741.71	o 138173
774.26/751.22	o 138163
790.43/767.02	o 138064
790.62/767.25	o 138054
790.82/767.49	o 138053
791.34/767.94	o 137064
791.55/768.17	o 137054
791.84/768.41	o 137053
792.76/769.39	o 137046
793.08/769.61	o 137045
797.29/773.77	o 137034
797.70/774.13	o 137024
797.89/774.34	o 137023
798.91/775.24	o 137022
799.64/775.92	o 137021
800.44/776.70	o 137020
801.76/778.08	o 137019
807.29/783.42	o 136910
807.59/783.76	o 136909
809.13/785.27	o 136809
809.23/785.38	o 136709
823.17/799.05	o 136700
823.46/799.39	o 136699
840.09/815.56	o 136698
843.03/818.45	o 136697
846.09/821.43	o 136696
849.60/824.88	o 136695
850.60/825.84	o 136694
851.75/826.90	o 136693
852.75/827.94	o 136692
853.78/828.98	o 136691
854.99/830.19	o 136690
856.42/831.55	o 136689
857.95/833.02	o 136688
859.59/834.54	o 136687
861.75/836.60	o 136679
861.95/836.88	o 136678
864.19/839.04	o 136677
864.89/839.76	o 135787
865.19/840.09	o 135687
865.51/840.37	o 135677
865.91/840.74	o 135676
866.51/841.34	o 135587
866.82/841.60	o 135577
867.12/841.95	o 135576
867.71/842.52	o 135575
868.45/843.28	o 135487
868.75/843.56	o 135477
869.05/843.84	o 135476
869.65/844.43	o 135475
870.48/845.26	o 135411
870.68/845.40	o 135410
870.88/845.68	o 135409
871.29/846.04	o 135408
871.68/846.45	o 135401
871.88/846.63	o 135400
872.18/846.97	o 135399
872.58/847.37	o 135398
873.30/847.97	o 135397
873.81/848.45	o 135396
874.71/849.37	o 135395
876.39/850.57	o 135394
877.69/851.81	o 135393
879.11/853.27	o 135392
880.82/854.91	o 135388
880.82/854.99	o 135387
881.12/855.21	o 134579
882.25/856.36	o 134569
882.75/856.86	o 134479
882.96/857.06	o 134469
883.55/857.64	o 134468
883.96/858.08	o 134467
885.19/859.28	o 134466
885.29/859.40	o 134465
885.69/859.74	o 134464
891.47/865.45	o 134463
891.80/865.76	o 134453
892.20/866.11	o 134452
892.50/866.43	o 134352
896.53/870.33	o 134262
896.73/870.58	o 134252
899.02/872.77	o 134251
899.82/873.54	o 133272
899.92/873.69	o 133263
900.02/873.77	o 133262
900.22/873.92	o 133261
900.33/874.09	o 133260
900.43/874.17	o 133252
900.52/874.26	o 133251
900.62/874.32	o 133250
901.95/875.69	o 132451
902.25/875.92	o 132351
905.46/879.10	o 132341
915.02/888.40	o 131463
915.32/888.76	o 131363
920.20/893.49	o 131361
924.04/897.11	o 131360
924.83/897.95	o 131260
925.13/898.22	o 131160
926.47/899.50	o 131159
926.76/899.84	o 131158
928.87/901.96	o 131068
929.81/902.83	o 131067
930.31/903.37	o 131066
932.57/905.54	o 130186
932.77/905.70	o 130176
932.87/905.90	o 130086
933.07/906.03	o 130076
933.18/906.16	o 130066
934.67/907.62	o 130065
950.40/923.02	o 129978
954.66/927.21	o 128988
954.76/927.33	o 128978
958.67/931.12	o 128977
958.76/931.21	o 128976
959.76/932.23	o 128975
1009.43/980.98	o 128974
1010.88/982.20	o 128973
1011.74/983.05	o 128972
1012.43/983.77	o 128962
1015.06/986.35	o 128961
1032.34/1003.32	o 128882
1032.68/1003.63	o 128881
1032.98/1003.91	o 128872
1033.19/1004.12	o 128871
1033.78/1004.77	o 128788
1034.19/1005.18	o 128787
1035.02/1005.90	o 128786
1037.50/1008.18	o 128785
1040.78/1011.35	o 128784
1041.39/1011.93	o 128783
1042.09/1012.69	o 128782
1044.04/1014.04	o 128781
1045.33/1015.31	o 128780
1046.88/1016.86	o 128779
1049.28/1019.26	o 128778
1053.57/1023.42	o 128699
1059.52/1029.36	o 128698
1061.66/1031.43	o 128689
1062.06/1031.83	o 128688
1062.46/1032.22	o 128687
1069.24/1039.00	o 128686
1072.16/1041.74	o 128676
1072.36/1041.96	o 128675
1073.57/1043.11	o 127775
1073.87/1043.43	o 127675
1077.41/1046.87	o 127666
1079.51/1048.92	o 127665
1102.33/1071.36	o 127575
1102.83/1071.80	o 127574
1126.96/1095.48	o 127573
1132.26/1100.69	o 127564
1132.46/1100.86	o 127563
1133.50/1101.85	o 126664
1133.71/1102.07	o 126663
1134.20/1102.54	o 126564
1134.30/1102.68	o 126563
1164.15/1131.79	o 126555
1164.89/1132.40	o 126455
1165.19/1132.77	o 126446
1166.99/1134.51	o 126445
1170.57/1138.10	o 126444
1174.60/1141.95	o 126443
1202.65/1169.47	o 126435
1202.95/1169.79	o 126434
1240.31/1206.21	o 125334
1241.01/1206.93	o 125333
1246.95/1212.72	o 125332
1257.75/1223.29	o 125254
1258.33/1223.78	o 125253
1258.64/1224.10	o 125244
1258.93/1224.36	o 125243
1259.33/1224.71	o 125234
1259.53/1225.00	o 125233
1311.73/1275.86	o 125154
1312.04/1276.12	o 125144
1315.95/1279.98	o 125134
1319.62/1283.47	o 125133
1350.96/1314.23	o 125124
1351.16/1314.47	o 125123
1351.66/1314.96	o 125114
1351.87/1315.17	o 125113
1358.82/1321.96	o 125024
1359.32/1322.43	o 124124
1359.76/1322.80	o 124024
1384.18/1346.44	o 123915
1390.62/1352.88	o 123905
1392.47/1354.66	o 123904
1392.98/1355.19	o 122914
1393.47/1355.66	o 122904
1412.39/1374.34	o 121914
1412.99/1374.96	o 121906
1445.69/1407.08	o 121905
1478.23/1438.98	o 121896
1478.53/1439.22	o 121895
1481.87/1442.58	o 121006
1483.00/1443.57	o 121005
1518.95/1478.50	o 120006
1531.59/1490.78	o 119917
1533.23/1492.39	o 119916
1534.98/1494.05	o 119907
1535.17/1494.28	o 119906
1536.11/1495.13	o 119897
1567.30/1525.80	o 119798
1571.38/1529.77	o 119790
1571.79/1530.16	o 119789
1572.38/1530.78	o 118918
1572.69/1531.10	o 118808
1574.32/1532.66	o 118807
1595.50/1553.38	o 118806
1596.85/1554.53	o 118805
1604.09/1561.66	o 118780
1604.99/1562.53	o 118779
1622.56/1579.60	o 118769
1623.07/1580.19	o 118759
1635.56/1592.32	o 118758
1636.66/1593.41	o 118757
1645.49/1602.15	o 118747
1645.79/1602.45	o 117967
1646.09/1602.72	o 117957
1648.43/1605.04	o 117867
1648.63/1605.24	o 117857
1649.43/1606.10	o 117757
1649.63/1606.30	o 117747
1650.47/1607.07	o 117657
1650.87/1607.40	o 117647
1654.70/1611.24	o 117646
1657.04/1613.57	o 117645
1660.63/1617.06	o 117636
1660.92/1617.30	o 117635
1661.32/1617.74	o 117634
1681.20/1637.16	o 117568
1683.76/1639.63	o 117567
1686.91/1642.77	o 117559
1687.65/1643.44	o 117558
1690.13/1645.86	o 117557
1690.34/1646.04	o 117556
1692.28/1647.91	o 117546
1692.68/1648.39	o 116657
1693.08/1648.70	o 116647
1696.47/1652.01	o 116646
1699.66/1654.67	o 116645
1705.54/1660.41	o 116644
1706.47/1661.37	o 115845
1707.18/1662.06	o 115745
1708.07/1662.97	o 115744
1708.78/1663.70	o 115645
1709.62/1664.47	o 115644
1712.16/1667.00	o 115643
1716.31/1671.05	o 115094
1717.94/1672.68	o 115084
1719.35/1674.08	o 115073
1720.98/1675.64	o 115063
1722.62/1677.20	o 115053
1724.12/1678.79	o 114973
1725.36/1679.98	o 114963
1726.61/1681.12	o 114953
1728.30/1682.85	o 114944
1730.04/1684.57	o 114885
1747.00/1701.09	o 114875
1835.21/1787.14	o 113996
1835.70/1787.65	o 113896
1846.06/1797.75	o 113886
1903.25/1853.50	o 113876
1928.30/1877.62	o 113875
1933.85/1883.01	o 113775
1961.36/1909.80	o 113765
2057.39/2003.11	o 113756
2058.24/2003.94	o 113755
2080.59/2025.73	o 113754
2175.33/2118.36	o 113747
2188.76/2131.45	o 113746
2220.39/2162.14	o 113745
2225.57/2167.27	o 113744
2520.00/2454.11	s SATISFIABLE
2520.00/2454.11	v <instantiation>
2520.00/2454.11	v 	<list>
2520.00/2454.11	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] 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] 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] 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] 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]
2520.00/2454.12	v 	</list>
2520.00/2454.12	v 	<values>
2520.00/2454.12	v 		414 652 352 114 778 540 708 470 792 554 736 498 792 554 58 296 736 498 282 44 394 156 30 268 254 16 792 554 722 484 44 282 652 414 352 114 156 394 484 722 156 394 366 128 170 408 792 554 310 72 380 142 16 254 540 778 86 324 792 554 170 408 428 666 554 792 44 282 142 380 254 16 86 324 792 554 456 694 310 72 792 554 792 554 310 72 554 792 428 666 708 470 554 792 310 72 58 296 554 792 554 792 554 792 764 526 44 282 380 142 478 240 16 254 282 44 792 554 282 44 380 142 498 736 764 526 114 352 540 778 498 736 778 540 792 554 778 540 554 792 414 652 142 380 554 792 240 478 540 778 254 16 16 254 778 540 554 792 338 100 680 442 736 498 792 554 394 156 380 142 240 478 554 792 30 268 254 16 792 554 478 240 792 554 736 498 72 310 526 764 792 554 380 142 352 114 792 554 72 310 484 722 30 268 16 254 498 736 394 156 338 100 16 254 86 324 428 666 380 142 554 792 512 750 792 554 30 268 296 58 540 778 792 554 526 764 254 16 114 352 722 484 666 428 414 652 478 240 708 470 666 428 240 478 792 554 470 708 554 792 554 792 414 652 554 792 352 114 708 470 470 708 380 142 428 666 470 708 100 338 484 722 408 170 338 100 366 128 470 708 554 792 296 58 72 310 484 722 554 792 30 268 554 792 498 736 792 554 16 254 554 792 268 30 778 540 16 254 694 456 792 554 380 142 100 338 792 554 526 764 764 526 792 554 498 736 792 554 254 16 554 792 722 484 428 666 778 540 526 764 526 764 750 512 512 750 268 30 240 478 394 156 792 554 296 58 16 254 778 540 722 484 764 526 792 554 394 156 554 792 324 86 414 652 240 478 694 456 268 30 296 58 170 408 792 554 554 792 338 100 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 1000 1000 0 1000 1000 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 1000 1000 1000 0 0 1000 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 1000 1000 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 1000 0 0 0 1000 0 0 1000 1000 0 0 0 1000 0 0 0 0 0 0 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 1000 0 0 0 0 0 0 1000 0 1000 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 1000 0 0 0 1000 0 0 1000 0 0 1000 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 1000 1000 0 1000 1000 0 0 1000 0 1000 0 0 1000 0 0 1000 1000 0 1000 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 1000 0 0 0 1000 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 1000 1000 0 0 0 0 0 0 1000 1000 1000 1000 1000 0 1000 0 1000 0 1000 0 1000 0 0 0 0 100 100 0 0 100 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 0 0 0 100 0 0 100 100 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 0 0 100 0 100 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 100 0 0 0 100 0 0 100 0 0 0 0 100 0 0 0 100 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 100 100 100 100 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 100 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 100 100 0 100 0 0 100 0 100 100 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 100 100 0 0 100 0 100 0 0 0 0 0 0 0 100 0 100 0 100 0 100 0 0 0 100 100 0 0 100 0 0 0 100 0 100 0 0 100 100 100 0 0 0 100 0 0 100 0 0 0 0 0 0 100 0 0 100 0 100 0 0 0 100 0 0 0 0 100 0 0 0 0 100 0 100 100 100 0 0 0 0 0 0 0 100 100 100 0 0 0 100 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 100 100 0 0 100 100 0 0 0 100 0 100 0 0 0 0 0 0 100 0 100 0 100 0 100 0 0 100 100 0 0 0 0 0 0 100 100 0 100 0 0 0 100 0 0 100 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 100 100 0 0 100 100 100 0 100 0 0 0 0 0 100 0 100 0 100 100 100 0 0 100 0 100 0 0 0 0 0 0 0 100 100 0 0 100 0 0 100 0 0 0 0 0 0 0 100 0 100 100 100 0 0 100 100 100 0 0 0 100 0 0 0 0 0 0 0 100 100 100 0 100 0 0 0 100 0 0 0 100 0 100 0 0 100 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 100 100 0 0 0 100 0 100 0 100 100 0 100 100 0 0 0 0 100 0 100 100 0 0 0 0 100 0 100 0 0 0 100 0 100 100 0 100 0 0 0 100 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 10 0 0 10 10 0 0 0 0 0 10 10 0 0 10 0 10 0 0 0 10 10 0 10 0 0 0 0 10 0 0 10 10 0 10 0 0 10 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 10 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 10 0 0 10 0 10 10 0 0 0 10 0 0 0 0 10 0 0 0 0 10 0 10 0 0 0 0 10 0 0 10 0 10 10 10 0 0 10 0 0 0 0 0 0 10 10 0 0 10 0 10 10 0 10 10 10 10 10 0 0 10 0 0 0 0 0 0 10 0 0 0 10 10 0 0 0 0 10 0 10 0 10 0 0 0 0 10 0 0 10 0 0 10 0 0 10 10 0 10 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 10 10 10 0 10 0 0 10 0 0 10 10 0 0 10 0 0 10 0 10 0 0 10 0 10 10 0 10 10 0 0 0 10 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 10 10 10 0 0 10 10 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 10 10 0 0 0 0 10 10 0 10 10 0 10 0 10 0 10 10 0 10 0 0 0 0 0 0 10 0 0 10 0 10 10 10 0 10 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 10 10 0 0 0 10 10 0 0 10 10 0 0 0 10 0 0 10 10 0 0 10 0 0 0 0 0 0 0 0 10 10 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 10 0 10 10 0 0 0 10 0 0 10 0 10 0 10 0 10 0 0 10 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 1 1 0 1 0 0 0 1 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 1 0 1 0 1 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 1 1 0 1 0 1 0 1 0 1 1 1 0 0 0 0 1 0 1 0 1 0 1 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 1 1 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 1 1 0 1 0 1 0 0 1 1 0 0 0 
2520.00/2454.12	v 	</values>
2520.00/2454.12	v </instantiation>

Verifier Data 

OK	113744

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308660-1534285448/watcher-4308660-1534285448 -o /tmp/evaluation-result-4308660-1534285448/solver-4308660-1534285448 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534270673-20078 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 951419525 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308660-1534285448.xml 

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

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


[startup+0.100091 s]*
/proc/loadavg: 1.50 1.49 1.51 3/216 21791
/proc/meminfo: memFree=23785936/32770624 swapFree=67108796/67108860
[pid=21776] ppid=21773 vsize=14082736 memory=33372 CPUtime=0.11 cores=1,3,5,7
/proc/21776/stat : 21776 (java) S 21773 21776 18471 0 -1 1077944320 7287 0 0 0 10 1 0 0 20 0 15 0 246107963 14420721664 8343 33554432000 4194304 4196468 140722085522400 140722085504944 139989527793399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
/proc/21776/statm: 3520684 8343 3135 1 0 3482761 0
[pid=21776/tid=21778] ppid=21773 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=1,3,5,7
/proc/21776/task/21778/stat : 21778 (java) R 21773 21776 18471 0 -1 4202560 5348 0 0 0 8 1 0 0 20 0 15 0 246107964 14420721664 8343 33554432000 4194304 4196468 140722085522400 139989531988208 139989527805334 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21779] ppid=21773 vsize=14082736 memory=5793855596871436729 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21779/stat : 21779 (java) S 21773 21776 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246107964 14420721664 8343 33554432000 4194304 4196468 140722085522400 139989123972240 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21780] ppid=21773 vsize=14082736 memory=140345861543552 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21780/stat : 21780 (java) S 21773 21776 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246107964 14420721664 8343 33554432000 4194304 4196468 140722085522400 139989122919440 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21781] ppid=21773 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21781/stat : 21781 (java) S 21773 21776 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246107964 14420721664 8343 33554432000 4194304 4196468 140722085522400 139989121866640 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21782] ppid=21773 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21782/stat : 21782 (java) S 21773 21776 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246107964 14420721664 8343 33554432000 4194304 4196468 140722085522400 139989120813840 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21783] ppid=21773 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21783/stat : 21783 (java) S 21773 21776 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246107966 14420721664 8343 33554432000 4194304 4196468 140722085522400 139988709489008 139989527804546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21784] ppid=21773 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21784/stat : 21784 (java) S 21773 21776 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246107966 14420721664 8343 33554432000 4194304 4196468 140722085522400 139988708434976 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21785] ppid=21773 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21785/stat : 21785 (java) S 21773 21776 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246107966 14420721664 8343 33554432000 4194304 4196468 140722085522400 139988707382128 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21786] ppid=21773 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21786/stat : 21786 (java) S 21773 21776 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246107969 14420721664 8343 33554432000 4194304 4196468 140722085522400 139988706330448 139989527811995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21787] ppid=21773 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21787/stat : 21787 (java) S 21773 21776 18471 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 246107969 14420721664 8343 33554432000 4194304 4196468 140722085522400 139988705278832 139989527804546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21788] ppid=21773 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21788/stat : 21788 (java) S 21773 21776 18471 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 246107969 14420721664 8343 33554432000 4194304 4196468 140722085522400 139988704226032 139989527804546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21789] ppid=21773 vsize=14082736 memory=140345861543552 CPUtime=0.01 cores=1,3,5,7
/proc/21776/task/21789/stat : 21789 (java) R 21773 21776 18471 0 -1 4202560 262 0 0 0 1 0 0 0 20 0 15 0 246107969 14420721664 8343 33554432000 4194304 4196468 140722085522400 139988703173232 139989512040714 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21790] ppid=21773 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21790/stat : 21790 (java) S 21773 21776 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246107969 14420721664 8343 33554432000 4194304 4196468 140722085522400 139988702120672 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21791] ppid=21773 vsize=14082736 memory=140345861543552 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21791/stat : 21791 (java) S 21773 21776 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246107969 14420721664 8343 33554432000 4194304 4196468 140722085522400 139988701067952 139989527804546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33372 KiB

[startup+0.210305 s]*
/proc/loadavg: 1.50 1.49 1.51 5/216 21791
/proc/meminfo: memFree=23770804/32770624 swapFree=67108796/67108860
[pid=21776] ppid=21773 vsize=14082736 memory=47008 CPUtime=0.3 cores=1,3,5,7
/proc/21776/stat : 21776 (java) S 21773 21776 18471 0 -1 1077944320 10347 0 0 0 27 3 0 0 20 0 15 0 246107963 14420721664 11752 33554432000 4194304 4196468 140722085522400 140722085504944 139989527793399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
/proc/21776/statm: 3520684 11752 3373 1 0 3482761 0
[pid=21776/tid=21778] ppid=21773 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/21776/task/21778/stat : 21778 (java) R 21773 21776 18471 0 -1 4202560 8062 0 0 0 18 2 0 0 20 0 15 0 246107964 14420721664 11752 33554432000 4194304 4196468 140722085522400 139989532022416 139989527805334 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21779] ppid=21773 vsize=14082736 memory=4211974072066334090 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21779/stat : 21779 (java) S 21773 21776 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246107964 14420721664 11752 33554432000 4194304 4196468 140722085522400 139989123972240 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21780] ppid=21773 vsize=14082736 memory=140345861543552 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21780/stat : 21780 (java) S 21773 21776 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246107964 14420721664 11752 33554432000 4194304 4196468 140722085522400 139989122919440 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21781] ppid=21773 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21781/stat : 21781 (java) S 21773 21776 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246107964 14420721664 11752 33554432000 4194304 4196468 140722085522400 139989121866640 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21782] ppid=21773 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21782/stat : 21782 (java) S 21773 21776 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246107964 14420721664 11752 33554432000 4194304 4196468 140722085522400 139989120813840 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21783] ppid=21773 vsize=14082736 memory=140345861543552 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21783/stat : 21783 (java) S 21773 21776 18471 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246107966 14420721664 11752 33554432000 4194304 4196468 140722085522400 139988709489008 139989527804546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21784] ppid=21773 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21784/stat : 21784 (java) S 21773 21776 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246107966 14420721664 11752 33554432000 4194304 4196468 140722085522400 139988708434976 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21785] ppid=21773 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21785/stat : 21785 (java) S 21773 21776 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246107966 14420721664 11752 33554432000 4194304 4196468 140722085522400 139988707382128 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21786] ppid=21773 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21786/stat : 21786 (java) S 21773 21776 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246107969 14420721664 11752 33554432000 4194304 4196468 140722085522400 139988706330448 139989527811995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21787] ppid=21773 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21776/task/21787/stat : 21787 (java) R 21773 21776 18471 0 -1 4202560 471 0 0 0 1 0 0 0 20 0 15 0 246107969 14420721664 11752 33554432000 4194304 4196468 140722085522400 139988705270336 139989507959360 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21788] ppid=21773 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/21776/task/21788/stat : 21788 (java) R 21773 21776 18471 0 -1 4202560 125 0 0 0 1 0 0 0 20 0 15 0 246107969 14420721664 11752 33554432000 4194304 4196468 140722085522400 139988704226128 139989509338941 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21789] ppid=21773 vsize=14082736 memory=140345861543552 CPUtime=0.06 cores=1,3,5,7
/proc/21776/task/21789/stat : 21789 (java) R 21773 21776 18471 0 -1 1077944384 306 0 0 0 6 0 0 0 20 0 15 0 246107969 14420721664 11752 33554432000 4194304 4196468 140722085522400 139988703173232 139989527804546 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21790] ppid=21773 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21790/stat : 21790 (java) S 21773 21776 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246107969 14420721664 11752 33554432000 4194304 4196468 140722085522400 139988702120672 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21791] ppid=21773 vsize=14082736 memory=140345861543552 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21791/stat : 21791 (java) S 21773 21776 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246107969 14420721664 11752 33554432000 4194304 4196468 140722085522400 139988701067952 139989527804546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47008 KiB

[startup+0.31145 s]*
/proc/loadavg: 1.50 1.49 1.51 3/216 21791
/proc/meminfo: memFree=23766772/32770624 swapFree=67108796/67108860
[pid=21776] ppid=21773 vsize=14082736 memory=50468 CPUtime=0.43 cores=1,3,5,7
/proc/21776/stat : 21776 (java) S 21773 21776 18471 0 -1 1077944320 10750 0 0 0 40 3 0 0 20 0 15 0 246107963 14420721664 12617 33554432000 4194304 4196468 140722085522400 140722085504944 139989527793399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
/proc/21776/statm: 3520684 12617 3409 1 0 3482761 0
[pid=21776/tid=21778] ppid=21773 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=1,3,5,7
/proc/21776/task/21778/stat : 21778 (java) R 21773 21776 18471 0 -1 4202560 8423 0 0 0 28 2 0 0 20 0 15 0 246107964 14420721664 12617 33554432000 4194304 4196468 140722085522400 139989531974448 139989508070224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21779] ppid=21773 vsize=14082736 memory=4211974072066334090 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21779/stat : 21779 (java) S 21773 21776 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246107964 14420721664 12617 33554432000 4194304 4196468 140722085522400 139989123972240 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21780] ppid=21773 vsize=14082736 memory=140345861545916 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21780/stat : 21780 (java) S 21773 21776 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246107964 14420721664 12617 33554432000 4194304 4196468 140722085522400 139989122919440 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21781] ppid=21773 vsize=14082736 memory=140345706934839 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21781/stat : 21781 (java) S 21773 21776 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246107964 14420721664 12617 33554432000 4194304 4196468 140722085522400 139989121866640 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21782] ppid=21773 vsize=14082736 memory=140345706925519 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21782/stat : 21782 (java) S 21773 21776 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246107964 14420721664 12617 33554432000 4194304 4196468 140722085522400 139989120813840 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21783] ppid=21773 vsize=14082736 memory=140345861562050 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21783/stat : 21783 (java) S 21773 21776 18471 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246107966 14420721664 12617 33554432000 4194304 4196468 140722085522400 139988709489008 139989527804546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21784] ppid=21773 vsize=14082736 memory=140345706934703 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21784/stat : 21784 (java) S 21773 21776 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246107966 14420721664 12617 33554432000 4194304 4196468 140722085522400 139988708434976 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21785] ppid=21773 vsize=14082736 memory=280691413860240 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21785/stat : 21785 (java) S 21773 21776 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246107966 14420721664 12617 33554432000 4194304 4196468 140722085522400 139988707382128 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21786] ppid=21773 vsize=14082736 memory=280691413857936 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21786/stat : 21786 (java) S 21773 21776 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246107969 14420721664 12617 33554432000 4194304 4196468 140722085522400 139988706330448 139989527811995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21787] ppid=21773 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21776/task/21787/stat : 21787 (java) S 21773 21776 18471 0 -1 1077944384 472 0 0 0 2 0 0 0 20 0 15 0 246107969 14420721664 12617 33554432000 4194304 4196468 140722085522400 139988705278832 139989527804546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21788] ppid=21773 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21776/task/21788/stat : 21788 (java) S 21773 21776 18471 0 -1 1077944384 145 0 0 0 2 0 0 0 20 0 15 0 246107969 14420721664 12617 33554432000 4194304 4196468 140722085522400 139988704226032 139989527804546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21789] ppid=21773 vsize=14082736 memory=140345861543552 CPUtime=0.08 cores=1,3,5,7
/proc/21776/task/21789/stat : 21789 (java) S 21773 21776 18471 0 -1 1077944384 327 0 0 0 8 0 0 0 20 0 15 0 246107969 14420721664 12617 33554432000 4194304 4196468 140722085522400 139988703173232 139989527804546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21790] ppid=21773 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21790/stat : 21790 (java) S 21773 21776 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246107969 14420721664 12617 33554432000 4194304 4196468 140722085522400 139988702120672 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21791] ppid=21773 vsize=14082736 memory=140345861543552 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21791/stat : 21791 (java) S 21773 21776 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246107969 14420721664 12617 33554432000 4194304 4196468 140722085522400 139988701067952 139989527804546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50468 KiB

[startup+0.700644 s]
/proc/loadavg: 1.50 1.49 1.51 4/216 21791
/proc/meminfo: memFree=23747836/32770624 swapFree=67108796/67108860
[pid=21776] ppid=21773 vsize=14084804 memory=88288 CPUtime=0.99 cores=1,3,5,7
/proc/21776/stat : 21776 (java) S 21773 21776 18471 0 -1 1077944320 17532 0 0 0 94 5 0 0 20 0 15 0 246107963 14422839296 22072 33554432000 4194304 4196468 140722085522400 140722085504944 139989527793399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
/proc/21776/statm: 3521201 22072 3490 1 0 3483273 0
[pid=21776/tid=21778] ppid=21773 vsize=14084804 memory=796 CPUtime=0.67 cores=1,3,5,7
/proc/21776/task/21778/stat : 21778 (java) R 21773 21776 18471 0 -1 4202560 14863 0 0 0 63 4 0 0 20 0 15 0 246107964 14422839296 22072 33554432000 4194304 4196468 140722085522400 139989532018480 139989527815325 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21779] ppid=21773 vsize=14084804 memory=1592 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21779/stat : 21779 (java) S 21773 21776 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246107964 14422839296 22072 33554432000 4194304 4196468 140722085522400 139989123972240 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21780] ppid=21773 vsize=14084804 memory=3780 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21780/stat : 21780 (java) S 21773 21776 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246107964 14422839296 22072 33554432000 4194304 4196468 140722085522400 139989122919440 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21781] ppid=21773 vsize=14084804 memory=7236533984234661184 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21781/stat : 21781 (java) S 21773 21776 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246107964 14422839296 22072 33554432000 4194304 4196468 140722085522400 139989121866640 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21782] ppid=21773 vsize=14084804 memory=8099279071866868837 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21782/stat : 21782 (java) S 21773 21776 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246107964 14422839296 22072 33554432000 4194304 4196468 140722085522400 139989120813840 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21783] ppid=21773 vsize=14084804 memory=4641330296368681047 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21783/stat : 21783 (java) S 21773 21776 18471 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246107966 14422839296 22072 33554432000 4194304 4196468 140722085522400 139988709489008 139989527804546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21784] ppid=21773 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21784/stat : 21784 (java) S 21773 21776 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246107966 14422839296 22072 33554432000 4194304 4196468 140722085522400 139988708434976 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21785] ppid=21773 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21785/stat : 21785 (java) S 21773 21776 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246107966 14422839296 22072 33554432000 4194304 4196468 140722085522400 139988707382128 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21786] ppid=21773 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21786/stat : 21786 (java) S 21773 21776 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246107969 14422839296 22072 33554432000 4194304 4196468 140722085522400 139988706330448 139989527811995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21787] ppid=21773 vsize=14084804 memory=572 CPUtime=0.09 cores=1,3,5,7
/proc/21776/task/21787/stat : 21787 (java) S 21773 21776 18471 0 -1 1077944384 637 0 0 0 9 0 0 0 20 0 15 0 246107969 14422839296 22072 33554432000 4194304 4196468 140722085522400 139988705278832 139989527804546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21788] ppid=21773 vsize=14084804 memory=7 CPUtime=0.05 cores=1,3,5,7
/proc/21776/task/21788/stat : 21788 (java) S 21773 21776 18471 0 -1 1077944384 262 0 0 0 5 0 0 0 20 0 15 0 246107969 14422839296 22072 33554432000 4194304 4196468 140722085522400 139988704226032 139989527804546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21789] ppid=21773 vsize=14084804 memory=703 CPUtime=0.15 cores=1,3,5,7
/proc/21776/task/21789/stat : 21789 (java) S 21773 21776 18471 0 -1 1077944384 387 0 0 0 15 0 0 0 20 0 15 0 246107969 14422839296 22072 33554432000 4194304 4196468 140722085522400 139988703173232 139989527804546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21790] ppid=21773 vsize=14084804 memory=280691414044144 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21790/stat : 21790 (java) S 21773 21776 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246107969 14422839296 22072 33554432000 4194304 4196468 140722085522400 139988702120672 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21791] ppid=21773 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21791/stat : 21791 (java) S 21773 21776 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246107969 14422839296 22072 33554432000 4194304 4196468 140722085522400 139988701067952 139989527804546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88288 KiB

[startup+1.50136 s]
/proc/loadavg: 1.50 1.49 1.51 6/216 21791
/proc/meminfo: memFree=23696712/32770624 swapFree=67108796/67108860
[pid=21776] ppid=21773 vsize=14086852 memory=224448 CPUtime=3.49 cores=1,3,5,7
/proc/21776/stat : 21776 (java) S 21773 21776 18471 0 -1 1077944320 25507 0 0 0 339 10 0 0 20 0 15 0 246107963 14424936448 56112 33554432000 4194304 4196468 140722085522400 140722085504944 139989527793399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
/proc/21776/statm: 3521713 56112 3566 1 0 3483785 0
[pid=21776/tid=21778] ppid=21773 vsize=14086852 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/21776/task/21778/stat : 21778 (java) R 21773 21776 18471 0 -1 4202560 16924 0 0 0 139 6 0 0 20 0 15 0 246107964 14424936448 56112 33554432000 4194304 4196468 140722085522400 139989532028424 139989171536975 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21779] ppid=21773 vsize=14086852 memory=-2746958450906831424 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21779/stat : 21779 (java) S 21773 21776 18471 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 15 0 246107964 14424936448 56112 33554432000 4194304 4196468 140722085522400 139989123972240 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21780] ppid=21773 vsize=14086852 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21780/stat : 21780 (java) S 21773 21776 18471 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246107964 14424936448 56112 33554432000 4194304 4196468 140722085522400 139989122919440 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21781] ppid=21773 vsize=14086852 memory=4947094916442135424 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21781/stat : 21781 (java) S 21773 21776 18471 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 246107964 14424936448 56112 33554432000 4194304 4196468 140722085522400 139989121866640 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21782] ppid=21773 vsize=14086852 memory=-3472574513799858003 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21782/stat : 21782 (java) S 21773 21776 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246107964 14424936448 56112 33554432000 4194304 4196468 140722085522400 139989120813840 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21783] ppid=21773 vsize=14086852 memory=-6305716117723112576 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21783/stat : 21783 (java) S 21773 21776 18471 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 15 0 246107966 14424936448 56112 33554432000 4194304 4196468 140722085522400 139988709489008 139989527804546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0

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

/proc/21776/task/21778/stat : 21778 (java) R 21773 21776 18471 0 -1 4202560 437366 0 0 0 236124 160 0 0 20 0 15 0 246107964 14431227904 859739 33554432000 4194304 4196468 140722085522400 139989532030480 139989166595968 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21779] ppid=21773 vsize=14092996 memory=1728 CPUtime=17.32 cores=1,3,5,7
/proc/21776/task/21779/stat : 21779 (java) S 21773 21776 18471 0 -1 1077944384 29165 0 0 0 1636 96 0 0 20 0 15 0 246107964 14431227904 859739 33554432000 4194304 4196468 140722085522400 139989123972240 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21780] ppid=21773 vsize=14092996 memory=3448192 CPUtime=17.32 cores=1,3,5,7
/proc/21776/task/21780/stat : 21780 (java) S 21773 21776 18471 0 -1 1077944384 30474 0 0 0 1640 92 0 0 20 0 15 0 246107964 14431227904 859739 33554432000 4194304 4196468 140722085522400 139989122919440 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21781] ppid=21773 vsize=14092996 memory=3459988 CPUtime=17.3 cores=1,3,5,7
/proc/21776/task/21781/stat : 21781 (java) S 21773 21776 18471 0 -1 1077944384 28702 0 0 0 1637 93 0 0 20 0 15 0 246107964 14431227904 859739 33554432000 4194304 4196468 140722085522400 139989121866640 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21782] ppid=21773 vsize=14092996 memory=3471276 CPUtime=17.32 cores=1,3,5,7
/proc/21776/task/21782/stat : 21782 (java) S 21773 21776 18471 0 -1 1077944384 27419 0 0 0 1640 92 0 0 20 0 15 0 246107964 14431227904 859739 33554432000 4194304 4196468 140722085522400 139989120813840 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21783] ppid=21773 vsize=14092996 memory=3471276 CPUtime=1.34 cores=1,3,5,7
/proc/21776/task/21783/stat : 21783 (java) S 21773 21776 18471 0 -1 1077944384 69172 0 0 0 104 30 0 0 20 0 15 0 246107966 14431227904 859739 33554432000 4194304 4196468 140722085522400 139988709489008 139989527804546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 44 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21784] ppid=21773 vsize=14092996 memory=3448192 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21784/stat : 21784 (java) S 21773 21776 18471 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 246107966 14431227904 859739 33554432000 4194304 4196468 140722085522400 139988708435040 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21785] ppid=21773 vsize=14092996 memory=3438956 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21785/stat : 21785 (java) S 21773 21776 18471 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 246107966 14431227904 859739 33554432000 4194304 4196468 140722085522400 139988707382144 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21786] ppid=21773 vsize=14092996 memory=3590804 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21786/stat : 21786 (java) S 21773 21776 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246107969 14431227904 859739 33554432000 4194304 4196468 140722085522400 139988706330448 139989527811995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21787] ppid=21773 vsize=14092996 memory=3438956 CPUtime=4.59 cores=1,3,5,7
/proc/21776/task/21787/stat : 21787 (java) S 21773 21776 18471 0 -1 1077944384 24470 0 0 0 455 4 0 0 20 0 15 0 246107969 14431227904 859739 33554432000 4194304 4196468 140722085522400 139988705278832 139989527804546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21788] ppid=21773 vsize=14092996 memory=920 CPUtime=4.84 cores=1,3,5,7
/proc/21776/task/21788/stat : 21788 (java) S 21773 21776 18471 0 -1 1077944384 23286 0 0 0 480 4 0 0 20 0 15 0 246107969 14431227904 859739 33554432000 4194304 4196468 140722085522400 139988704226032 139989527804546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 43 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21789] ppid=21773 vsize=14092996 memory=3848 CPUtime=1.65 cores=1,3,5,7
/proc/21776/task/21789/stat : 21789 (java) S 21773 21776 18471 0 -1 1077944384 36939 0 0 0 161 4 0 0 20 0 15 0 246107969 14431227904 859739 33554432000 4194304 4196468 140722085522400 139988703173232 139989527804546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21790] ppid=21773 vsize=14092996 memory=3438956 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21790/stat : 21790 (java) S 21773 21776 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246107969 14431227904 859739 33554432000 4194304 4196468 140722085522400 139988702120672 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21791] ppid=21773 vsize=14092996 memory=3632 CPUtime=1.42 cores=1,3,5,7
/proc/21776/task/21791/stat : 21791 (java) S 21773 21776 18471 0 -1 1077944384 1261 0 0 0 60 82 0 0 20 0 15 0 246107969 14431227904 859739 33554432000 4194304 4196468 140722085522400 139988701067952 139989527804546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 43 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
Current children cumulated CPU time: 2446.04 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 3438956 KiB

[startup+2442.3 s]
/proc/loadavg: 2.09 1.73 1.59 3/217 21970
/proc/meminfo: memFree=9455912/32770624 swapFree=67108796/67108860
[pid=21776] ppid=21773 vsize=14092996 memory=3326320 CPUtime=2507.92 cores=1,3,5,7
/proc/21776/stat : 21776 (java) S 21773 21776 18471 0 -1 1077944320 722995 0 0 0 250156 636 0 0 20 0 15 0 246107963 14431227904 831580 33554432000 4194304 4196468 140722085522400 140722085504944 139989527793399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
/proc/21776/statm: 3523249 831580 3626 1 0 3485321 0
[pid=21776/tid=21778] ppid=21773 vsize=14092996 memory=3326320 CPUtime=2422.15 cores=1,3,5,7
/proc/21776/task/21778/stat : 21778 (java) R 21773 21776 18471 0 -1 4202560 441169 0 0 0 242055 160 0 0 20 0 15 0 246107964 14431227904 831580 33554432000 4194304 4196468 140722085522400 139989532030480 139989168992852 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21779] ppid=21773 vsize=14092996 memory=3323532 CPUtime=17.94 cores=1,3,5,7
/proc/21776/task/21779/stat : 21779 (java) S 21773 21776 18471 0 -1 1077944384 29624 0 0 0 1698 96 0 0 20 0 15 0 246107964 14431227904 831580 33554432000 4194304 4196468 140722085522400 139989123972240 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21780] ppid=21773 vsize=14092996 memory=3371752 CPUtime=17.95 cores=1,3,5,7
/proc/21776/task/21780/stat : 21780 (java) S 21773 21776 18471 0 -1 1077944384 31616 0 0 0 1702 93 0 0 20 0 15 0 246107964 14431227904 831580 33554432000 4194304 4196468 140722085522400 139989122919440 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21781] ppid=21773 vsize=14092996 memory=3350720 CPUtime=17.92 cores=1,3,5,7
/proc/21776/task/21781/stat : 21781 (java) S 21773 21776 18471 0 -1 1077944384 29228 0 0 0 1699 93 0 0 20 0 15 0 246107964 14431227904 831580 33554432000 4194304 4196468 140722085522400 139989121866640 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21782] ppid=21773 vsize=14092996 memory=3356876 CPUtime=17.95 cores=1,3,5,7
/proc/21776/task/21782/stat : 21782 (java) S 21773 21776 18471 0 -1 1077944384 28490 0 0 0 1703 92 0 0 20 0 15 0 246107964 14431227904 831580 33554432000 4194304 4196468 140722085522400 139989120813840 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21783] ppid=21773 vsize=14092996 memory=3329688 CPUtime=1.38 cores=1,3,5,7
/proc/21776/task/21783/stat : 21783 (java) S 21773 21776 18471 0 -1 1077944384 75444 0 0 0 107 31 0 0 20 0 15 0 246107966 14431227904 831580 33554432000 4194304 4196468 140722085522400 139988709489008 139989527804546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 44 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21784] ppid=21773 vsize=14092996 memory=3329688 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21784/stat : 21784 (java) S 21773 21776 18471 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 246107966 14431227904 831580 33554432000 4194304 4196468 140722085522400 139988708435040 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21785] ppid=21773 vsize=14092996 memory=3329688 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21785/stat : 21785 (java) S 21773 21776 18471 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 246107966 14431227904 831580 33554432000 4194304 4196468 140722085522400 139988707382144 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21786] ppid=21773 vsize=14092996 memory=3323532 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21786/stat : 21786 (java) S 21773 21776 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246107969 14431227904 831580 33554432000 4194304 4196468 140722085522400 139988706330448 139989527811995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21787] ppid=21773 vsize=14092996 memory=3323532 CPUtime=4.59 cores=1,3,5,7
/proc/21776/task/21787/stat : 21787 (java) S 21773 21776 18471 0 -1 1077944384 24475 0 0 0 455 4 0 0 20 0 15 0 246107969 14431227904 831580 33554432000 4194304 4196468 140722085522400 139988705278832 139989527804546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21788] ppid=21773 vsize=14092996 memory=3323532 CPUtime=4.84 cores=1,3,5,7
/proc/21776/task/21788/stat : 21788 (java) S 21773 21776 18471 0 -1 1077944384 23289 0 0 0 480 4 0 0 20 0 15 0 246107969 14431227904 831580 33554432000 4194304 4196468 140722085522400 139988704226032 139989527804546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21789] ppid=21773 vsize=14092996 memory=3326320 CPUtime=1.65 cores=1,3,5,7
/proc/21776/task/21789/stat : 21789 (java) S 21773 21776 18471 0 -1 1077944384 36943 0 0 0 161 4 0 0 20 0 15 0 246107969 14431227904 831580 33554432000 4194304 4196468 140722085522400 139988703173232 139989527804546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21790] ppid=21773 vsize=14092996 memory=3326320 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21790/stat : 21790 (java) S 21773 21776 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246107969 14431227904 831580 33554432000 4194304 4196468 140722085522400 139988702120672 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21791] ppid=21773 vsize=14092996 memory=3326320 CPUtime=1.46 cores=1,3,5,7
/proc/21776/task/21791/stat : 21791 (java) S 21773 21776 18471 0 -1 1077944384 1282 0 0 0 62 84 0 0 20 0 15 0 246107969 14431227904 831580 33554432000 4194304 4196468 140722085522400 139988701067952 139989527804546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 43 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
Current children cumulated CPU time: 2507.92 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 3326320 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2454.11 s]
/proc/loadavg: 2.00 1.73 1.59 3/215 21970
/proc/meminfo: memFree=9477380/32770624 swapFree=67108796/67108860
[pid=21776] ppid=21773 vsize=14092996 memory=3304896 CPUtime=2520 cores=1,3,5,7
/proc/21776/stat : 21776 (java) S 21773 21776 18471 0 -1 1077944320 724402 0 0 0 251363 637 0 0 20 0 15 0 246107963 14431227904 826224 33554432000 4194304 4196468 140722085522400 140722085504944 139989527793399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
/proc/21776/statm: 3523249 826224 3626 1 0 3485321 0
[pid=21776/tid=21778] ppid=21773 vsize=14092996 memory=1036 CPUtime=2433.86 cores=1,3,5,7
/proc/21776/task/21778/stat : 21778 (java) R 21773 21776 18471 0 -1 4202560 441257 0 0 0 243226 160 0 0 20 0 15 0 246107964 14431227904 826224 33554432000 4194304 4196468 140722085522400 139989532030592 139989168992816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21779] ppid=21773 vsize=14092996 memory=3304896 CPUtime=18.03 cores=1,3,5,7
/proc/21776/task/21779/stat : 21779 (java) S 21773 21776 18471 0 -1 1077944384 29773 0 0 0 1707 96 0 0 20 0 15 0 246107964 14431227904 826224 33554432000 4194304 4196468 140722085522400 139989123972240 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21780] ppid=21773 vsize=14092996 memory=3304896 CPUtime=18.04 cores=1,3,5,7
/proc/21776/task/21780/stat : 21780 (java) S 21773 21776 18471 0 -1 1077944384 31759 0 0 0 1711 93 0 0 20 0 15 0 246107964 14431227904 826224 33554432000 4194304 4196468 140722085522400 139989122919440 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21781] ppid=21773 vsize=14092996 memory=3312592 CPUtime=18 cores=1,3,5,7
/proc/21776/task/21781/stat : 21781 (java) S 21773 21776 18471 0 -1 1077944384 29908 0 0 0 1707 93 0 0 20 0 15 0 246107964 14431227904 826224 33554432000 4194304 4196468 140722085522400 139989121866640 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21782] ppid=21773 vsize=14092996 memory=3312592 CPUtime=18.03 cores=1,3,5,7
/proc/21776/task/21782/stat : 21782 (java) S 21773 21776 18471 0 -1 1077944384 28682 0 0 0 1711 92 0 0 20 0 15 0 246107964 14431227904 826224 33554432000 4194304 4196468 140722085522400 139989120813840 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21783] ppid=21773 vsize=14092996 memory=3312592 CPUtime=1.38 cores=1,3,5,7
/proc/21776/task/21783/stat : 21783 (java) S 21773 21776 18471 0 -1 1077944384 75585 0 0 0 107 31 0 0 20 0 15 0 246107966 14431227904 826224 33554432000 4194304 4196468 140722085522400 139988709489008 139989527804546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 44 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21784] ppid=21773 vsize=14092996 memory=3318628 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21784/stat : 21784 (java) S 21773 21776 18471 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 246107966 14431227904 826224 33554432000 4194304 4196468 140722085522400 139988708435040 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21785] ppid=21773 vsize=14092996 memory=3323532 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21785/stat : 21785 (java) S 21773 21776 18471 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 246107966 14431227904 826224 33554432000 4194304 4196468 140722085522400 139988707382144 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21786] ppid=21773 vsize=14092996 memory=3323532 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21786/stat : 21786 (java) S 21773 21776 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246107969 14431227904 826224 33554432000 4194304 4196468 140722085522400 139988706330448 139989527811995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21787] ppid=21773 vsize=14092996 memory=3329688 CPUtime=4.59 cores=1,3,5,7
/proc/21776/task/21787/stat : 21787 (java) S 21773 21776 18471 0 -1 1077944384 24475 0 0 0 455 4 0 0 20 0 15 0 246107969 14431227904 826224 33554432000 4194304 4196468 140722085522400 139988705278832 139989527804546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21788] ppid=21773 vsize=14092996 memory=3329688 CPUtime=4.84 cores=1,3,5,7
/proc/21776/task/21788/stat : 21788 (java) S 21773 21776 18471 0 -1 1077944384 23289 0 0 0 480 4 0 0 20 0 15 0 246107969 14431227904 826224 33554432000 4194304 4196468 140722085522400 139988704226032 139989527804546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 43 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21789] ppid=21773 vsize=14092996 memory=3356876 CPUtime=1.65 cores=1,3,5,7
/proc/21776/task/21789/stat : 21789 (java) S 21773 21776 18471 0 -1 1077944384 36943 0 0 0 161 4 0 0 20 0 15 0 246107969 14431227904 826224 33554432000 4194304 4196468 140722085522400 139988703173232 139989527804546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21790] ppid=21773 vsize=14092996 memory=3304896 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21790/stat : 21790 (java) S 21773 21776 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246107969 14431227904 826224 33554432000 4194304 4196468 140722085522400 139988702120672 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21791] ppid=21773 vsize=14092996 memory=3326320 CPUtime=1.47 cores=1,3,5,7
/proc/21776/task/21791/stat : 21791 (java) S 21773 21776 18471 0 -1 1077944384 1296 0 0 0 62 85 0 0 20 0 15 0 246107969 14431227904 826224 33554432000 4194304 4196468 140722085522400 139988701067952 139989527804546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 43 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 3304896 KiB

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

[startup+2454.15 s]
# the end of solver process 21776 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2513.65 s, system=6.39389 s

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

[startup+2454.11 s]
/proc/loadavg: 2.00 1.73 1.59 3/215 21970
/proc/meminfo: memFree=9477380/32770624 swapFree=67108796/67108860
[pid=21776] ppid=21773 vsize=14092996 memory=3304896 CPUtime=2520 cores=1,3,5,7
/proc/21776/stat : 21776 (java) S 21773 21776 18471 0 -1 1077944320 724402 0 0 0 251363 637 0 0 20 0 15 0 246107963 14431227904 826224 33554432000 4194304 4196468 140722085522400 140722085504944 139989527793399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
/proc/21776/statm: 3523249 826224 3626 1 0 3485321 0
[pid=21776/tid=21778] ppid=21773 vsize=14092996 memory=1036 CPUtime=2433.86 cores=1,3,5,7
/proc/21776/task/21778/stat : 21778 (java) R 21773 21776 18471 0 -1 4202560 441257 0 0 0 243226 160 0 0 20 0 15 0 246107964 14431227904 826224 33554432000 4194304 4196468 140722085522400 139989532030592 139989168992816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21779] ppid=21773 vsize=14092996 memory=3304896 CPUtime=18.03 cores=1,3,5,7
/proc/21776/task/21779/stat : 21779 (java) S 21773 21776 18471 0 -1 1077944384 29773 0 0 0 1707 96 0 0 20 0 15 0 246107964 14431227904 826224 33554432000 4194304 4196468 140722085522400 139989123972240 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21780] ppid=21773 vsize=14092996 memory=3304896 CPUtime=18.04 cores=1,3,5,7
/proc/21776/task/21780/stat : 21780 (java) S 21773 21776 18471 0 -1 1077944384 31759 0 0 0 1711 93 0 0 20 0 15 0 246107964 14431227904 826224 33554432000 4194304 4196468 140722085522400 139989122919440 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21781] ppid=21773 vsize=14092996 memory=3312592 CPUtime=18 cores=1,3,5,7
/proc/21776/task/21781/stat : 21781 (java) S 21773 21776 18471 0 -1 1077944384 29908 0 0 0 1707 93 0 0 20 0 15 0 246107964 14431227904 826224 33554432000 4194304 4196468 140722085522400 139989121866640 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21782] ppid=21773 vsize=14092996 memory=3312592 CPUtime=18.03 cores=1,3,5,7
/proc/21776/task/21782/stat : 21782 (java) S 21773 21776 18471 0 -1 1077944384 28682 0 0 0 1711 92 0 0 20 0 15 0 246107964 14431227904 826224 33554432000 4194304 4196468 140722085522400 139989120813840 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21783] ppid=21773 vsize=14092996 memory=3312592 CPUtime=1.38 cores=1,3,5,7
/proc/21776/task/21783/stat : 21783 (java) S 21773 21776 18471 0 -1 1077944384 75585 0 0 0 107 31 0 0 20 0 15 0 246107966 14431227904 826224 33554432000 4194304 4196468 140722085522400 139988709489008 139989527804546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 44 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21784] ppid=21773 vsize=14092996 memory=3318628 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21784/stat : 21784 (java) S 21773 21776 18471 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 246107966 14431227904 826224 33554432000 4194304 4196468 140722085522400 139988708435040 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21785] ppid=21773 vsize=14092996 memory=3323532 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21785/stat : 21785 (java) S 21773 21776 18471 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 246107966 14431227904 826224 33554432000 4194304 4196468 140722085522400 139988707382144 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21786] ppid=21773 vsize=14092996 memory=3323532 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21786/stat : 21786 (java) S 21773 21776 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246107969 14431227904 826224 33554432000 4194304 4196468 140722085522400 139988706330448 139989527811995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21787] ppid=21773 vsize=14092996 memory=3329688 CPUtime=4.59 cores=1,3,5,7
/proc/21776/task/21787/stat : 21787 (java) S 21773 21776 18471 0 -1 1077944384 24475 0 0 0 455 4 0 0 20 0 15 0 246107969 14431227904 826224 33554432000 4194304 4196468 140722085522400 139988705278832 139989527804546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21788] ppid=21773 vsize=14092996 memory=3329688 CPUtime=4.84 cores=1,3,5,7
/proc/21776/task/21788/stat : 21788 (java) S 21773 21776 18471 0 -1 1077944384 23289 0 0 0 480 4 0 0 20 0 15 0 246107969 14431227904 826224 33554432000 4194304 4196468 140722085522400 139988704226032 139989527804546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 43 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21789] ppid=21773 vsize=14092996 memory=3356876 CPUtime=1.65 cores=1,3,5,7
/proc/21776/task/21789/stat : 21789 (java) S 21773 21776 18471 0 -1 1077944384 36943 0 0 0 161 4 0 0 20 0 15 0 246107969 14431227904 826224 33554432000 4194304 4196468 140722085522400 139988703173232 139989527804546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21790] ppid=21773 vsize=14092996 memory=3304896 CPUtime=0 cores=1,3,5,7
/proc/21776/task/21790/stat : 21790 (java) S 21773 21776 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246107969 14431227904 826224 33554432000 4194304 4196468 140722085522400 139988702120672 139989527803605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
[pid=21776/tid=21791] ppid=21773 vsize=14092996 memory=3326320 CPUtime=1.47 cores=1,3,5,7
/proc/21776/task/21791/stat : 21791 (java) S 21773 21776 18471 0 -1 1077944384 1296 0 0 0 62 85 0 0 20 0 15 0 246107969 14431227904 826224 33554432000 4194304 4196468 140722085522400 139988701067952 139989527804546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 43 0 0 6293624 6294260 22224896 140722085524565 140722085524745 140722085524745 140722085527503 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 3304896 KiB

Child status: 143
Real time (s): 2454.15
CPU time (s): 2520.05
CPU user time (s): 2513.65
CPU system time (s): 6.39389
CPU usage (%): 102.685
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 4079968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.65
system time used= 6.39389
maximum resident set size= 4081072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 725526
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79925
involuntary context switches= 3174


# summary of solver processes directly reported to runsolver:
#   pid: 21776
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2513.65
#   total CPU system time (s): 6.39389

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0313 second user time and 20.6405 second system time

The end

Launcher Data 

Begin job on node138 at 2018-08-15 00:24:08
IDJOB=4308660
IDBENCH=141194
IDSOLVER=2792
FILE ID=node138/4308660-1534285448
RUNJOBID= node138-1534270673-20078
PBS_JOBID= 21038119
Free space on /tmp= 27360 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-06-opt_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308660-1534285448/watcher-4308660-1534285448 -o /tmp/evaluation-result-4308660-1534285448/solver-4308660-1534285448 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534270673-20078 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 951419525 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308660-1534285448.xml

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

MD5SUM BENCH= e2f0d6978164174a80e953d0a2a49c7e
RANDOM SEED=951419525

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:        23803648 kB
MemAvailable:   31188184 kB
Buffers:          134460 kB
Cached:          7426892 kB
SwapCached:           12 kB
Active:          4658696 kB
Inactive:        3669532 kB
Active(anon):     710404 kB
Inactive(anon):   108392 kB
Active(file):    3948292 kB
Inactive(file):  3561140 kB
Unevictable:        7276 kB
Mlocked:            7276 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:             35808 kB
Writeback:            16 kB
AnonPages:        773800 kB
Mapped:            66916 kB
Shmem:             49740 kB
Slab:             331956 kB
SReclaimable:     303564 kB
SUnreclaim:        28392 kB
KernelStack:        3536 kB
PageTables:         9684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1380348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    614400 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= 27324 MiB
End job on node138 at 2018-08-15 01:05:02