Trace number 4291886

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-07-02SAT (TO)112921 2400.09 2340.94

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-07-02
0.67/0.56	c seed: 321930602
0.67/0.56	c timeout: 2400
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
8.46/3.68	c Parsing done, starting first complete search...
121.56/112.96	o 216253
121.56/112.96	o 216252
121.56/112.97	o 216152
121.56/112.97	o 216142
121.56/112.97	o 216141
121.56/112.98	o 216131
121.56/112.98	o 216121
121.56/112.98	o 216021
121.56/112.99	o 216020
121.56/112.99	o 216010
121.56/113.00	o 215010
121.77/113.01	o 214921
121.77/113.05	o 214911
121.77/113.05	o 214910
121.77/113.06	o 214821
121.99/113.11	o 214820
121.99/113.14	o 214721
121.99/113.15	o 214720
122.09/113.22	o 214714
122.09/113.23	o 214614
122.09/113.23	o 214613
122.09/113.23	o 214612
122.09/113.23	o 214611
122.09/113.23	o 214610
122.22/113.31	o 214533
122.22/113.32	o 213531
122.22/113.37	o 213521
122.41/113.40	o 213520
122.62/113.60	o 212719
122.62/113.60	o 212619
122.62/113.60	o 212609
122.83/113.80	o 212523
122.83/113.80	o 211521
122.83/113.81	o 211520
124.29/115.26	o 211511
124.29/115.26	o 211510
124.29/115.27	o 211410
125.20/116.16	o 210723
125.20/116.16	o 210623
125.20/116.16	o 210622
125.20/116.17	o 210621
125.20/116.17	o 210611
125.20/116.18	o 210610
126.79/117.71	o 210542
126.79/117.71	o 210541
126.79/117.71	o 210531
126.79/117.72	o 210530
126.79/117.72	o 210520
128.40/119.32	o 210432
128.40/119.32	o 210431
128.40/119.32	o 210421
128.40/119.33	o 210420
128.40/119.34	o 210410
130.81/121.73	o 209442
130.81/121.74	o 209432
130.81/121.74	o 209431
130.81/121.74	o 209342
130.81/121.74	o 209341
130.81/121.75	o 209331
131.41/122.39	o 208561
131.51/122.40	o 208551
131.51/122.43	o 208542
131.51/122.43	o 208541
131.51/122.43	o 208452
131.51/122.44	o 208451
131.51/122.44	o 208441
131.61/122.57	o 208342
131.61/122.57	o 208332
131.61/122.58	o 208331
134.22/125.16	o 208243
134.22/125.16	o 208233
134.22/125.16	o 208232
134.22/125.18	o 208222
134.22/125.18	o 208221
135.42/126.32	o 207352
135.42/126.32	o 207351
135.42/126.32	o 207341
135.42/126.32	o 207331
138.32/129.24	o 206553
138.32/129.24	o 206552
138.32/129.24	o 206542
138.32/129.25	o 206442
138.32/129.25	o 206342
138.32/129.25	o 206341
138.32/129.25	o 206331
141.43/132.31	o 206042
141.43/132.32	o 206041
141.43/132.32	o 206031
141.43/132.32	o 205031
141.43/132.33	o 204031
141.53/132.49	o 203943
141.53/132.49	o 203933
141.73/132.64	o 203932
141.73/132.64	o 203922
142.53/133.40	o 203921
144.43/135.36	o 203141
144.43/135.36	o 203041
144.43/135.37	o 203031
144.43/135.37	o 203021
173.19/164.01	o 202942
173.19/164.01	o 202932
173.19/164.01	o 202931
173.19/164.06	o 202929
173.19/164.07	o 202920
195.21/186.10	o 202911
211.83/202.65	o 202832
211.83/202.65	o 202831
212.84/203.66	o 202760
212.84/203.66	o 202750
212.84/203.67	o 202740
212.84/203.67	o 202731
212.84/203.67	o 202730
214.45/205.24	o 202721
247.82/238.59	o 202640
247.82/238.59	o 202630
247.92/238.61	o 202621
252.13/242.85	c First complete search done, starting ALNS search...
254.25/244.45	o 202611
254.25/244.45	o 202521
254.25/244.46	o 202511
254.25/244.46	o 201621
254.25/244.46	o 201611
254.25/244.46	o 201521
254.25/244.46	o 201511
254.25/244.46	o 201510
254.59/244.64	o 201509
255.12/245.19	o 201507
255.12/245.19	o 201506
255.21/245.20	o 201497
255.21/245.20	o 201496
255.21/245.22	o 201487
255.21/245.23	o 201486
255.21/245.23	o 201485
255.21/245.24	o 201477
255.21/245.24	o 201476
255.21/245.26	o 201407
255.21/245.26	o 201397
255.21/245.26	o 201387
255.21/245.26	o 201386
255.21/245.27	o 201377
255.21/245.27	o 201376
255.21/245.28	o 201306
255.21/245.28	o 201296
255.21/245.29	o 201286
255.21/245.29	o 201276
256.50/246.25	o 200377
256.50/246.26	o 200376
261.00/250.39	o 199377
261.23/250.45	o 199376
261.23/250.48	o 199375
261.38/250.52	o 199374
261.38/250.55	o 199373
261.38/250.59	o 199372
261.48/250.62	o 199371
261.48/250.65	o 199370
261.48/250.69	o 199369
261.59/250.77	o 199368
261.79/250.81	o 199365
261.79/250.84	o 199364
261.79/250.87	o 199363
261.89/250.90	o 199362
261.89/250.93	o 199361
261.89/250.96	o 199360
261.89/250.99	o 199359
261.99/251.03	o 199358
261.99/251.06	o 199357
262.10/251.11	o 199356
262.10/251.17	o 199355
262.19/251.24	o 199354
262.29/251.30	o 199277
262.29/251.37	o 199276
262.39/251.40	o 199275
262.39/251.44	o 199274
262.39/251.49	o 199273
262.49/251.57	o 199272
262.60/251.62	o 199271
262.60/251.68	o 199270
262.70/251.72	o 199269
262.70/251.77	o 199268
262.80/251.81	o 199267
262.80/251.85	o 199266
262.90/251.92	o 199265
262.90/252.00	o 199264
263.07/252.05	o 199263
263.07/252.09	o 199262
263.18/252.13	o 199261
263.18/252.17	o 199260
263.28/252.22	o 199259
263.28/252.26	o 199258
263.38/252.30	o 199257
263.38/252.35	o 199256
263.38/252.39	o 199255
263.48/252.44	o 199254
263.58/252.55	o 199177
263.68/252.64	o 199176
263.68/252.70	o 199175
263.78/252.76	o 199174
263.88/252.83	o 199173
263.88/252.88	o 199172
263.98/252.96	o 199171
264.09/253.01	o 199170
264.09/253.06	o 199169
264.19/253.11	o 199168
264.19/253.17	o 199167
264.28/253.23	o 199166
264.28/253.29	o 199165
264.38/253.36	o 199164
264.48/253.43	o 199163
264.59/253.50	o 199162
264.59/253.56	o 199161
264.69/253.61	o 199160
264.69/253.67	o 199159
264.79/253.73	o 199158
264.79/253.79	o 199157
264.89/253.83	o 199156
264.89/253.89	o 199155
264.99/253.95	o 199154
265.10/254.04	o 199074
265.10/254.05	o 199073
265.10/254.08	o 199072
265.20/254.11	o 199071
265.20/254.16	o 199070
265.29/254.20	o 199069
265.29/254.25	o 199068
265.39/254.30	o 199067
265.39/254.35	o 199066
265.49/254.42	o 199065
265.49/254.49	o 199063
265.59/254.52	o 199062
265.59/254.57	o 199061
265.69/254.62	o 199060
265.69/254.66	o 199059
265.79/254.71	o 199058
265.93/254.88	o 199057
266.15/254.93	o 199056
266.15/254.97	o 199055
266.26/255.03	o 198966
266.26/255.05	o 198965
266.26/255.09	o 198964
266.36/255.14	o 198963
266.36/255.19	o 198962
266.45/255.24	o 198961
266.45/255.29	o 198960
267.45/255.67	o 197960
267.55/255.70	o 196970
275.46/263.51	o 196172
275.46/263.54	o 196162
275.46/263.58	o 196161
276.37/264.42	o 196072
276.37/264.47	o 196062
276.48/264.52	o 196061
276.78/264.80	o 196060
277.58/265.61	o 196052
277.58/265.66	o 196051
277.68/265.72	o 196050
278.59/266.67	o 195172
278.69/266.70	o 195171
278.69/266.75	o 195072
278.79/266.80	o 195071
278.79/266.86	o 195062
278.89/266.91	o 195061
278.89/266.97	o 195052
279.00/267.02	o 195051
279.00/267.08	o 195050
279.39/267.43	o 194981
279.39/267.47	o 194881
279.49/267.53	o 194871
279.49/267.59	o 194861
279.59/267.65	o 194860
279.69/267.71	o 194851
279.69/267.77	o 194850
280.12/268.11	o 194781
280.12/268.17	o 194780
280.21/268.22	o 194771
280.21/268.28	o 194770
280.51/268.54	o 194761
280.51/268.59	o 194760
282.12/270.12	o 194661
282.12/270.14	o 194660
282.53/270.57	o 194561
282.53/270.60	o 194560
282.73/270.73	o 194559
282.73/270.76	o 194460
282.73/270.78	o 194459
282.93/270.95	o 194449
282.93/270.99	o 194448
283.04/271.07	o 193760
283.14/271.11	o 193660
283.14/271.15	o 193659
283.14/271.18	o 193560
283.23/271.22	o 193559
283.23/271.26	o 193558
283.23/271.29	o 193459
283.33/271.32	o 193458
283.43/271.41	o 193457
284.12/272.04	o 193448
284.12/272.08	o 192448
284.23/272.12	o 192447
284.23/272.16	o 192347
284.32/272.22	o 191448
284.32/272.28	o 191447
284.42/272.34	o 191347
284.52/272.42	o 190649
284.52/272.45	o 190549
284.52/272.48	o 190548
284.62/272.52	o 190449
284.62/272.55	o 190448
284.62/272.58	o 190349
284.74/272.62	o 190348
284.74/272.64	o 190347
284.84/272.70	o 189549
284.84/272.73	o 189548
284.84/272.76	o 189449
284.84/272.79	o 189448
284.94/272.83	o 189349
284.94/272.85	o 189348
284.94/272.89	o 189347
285.04/273.00	o 189346
285.58/273.40	o 189267
285.58/273.45	o 189266
285.68/273.50	o 189265
285.88/273.75	o 189264
286.08/273.92	o 189257
286.08/273.98	o 189256
286.30/274.14	o 189163
286.30/274.16	o 189162
286.39/274.22	o 189161
291.91/279.56	o 189072
292.11/279.79	o 189070
292.22/279.83	o 188971
292.91/280.51	o 188961
298.50/286.02	o 188960
298.81/286.34	o 188959
299.01/286.57	o 188860
299.62/287.13	o 188760
301.23/288.61	o 188660
301.23/288.67	o 188650
301.34/288.70	o 188640
301.60/288.99	o 188062
301.71/289.03	o 188052
301.82/289.13	o 188051
301.91/289.24	o 188042
302.01/289.34	o 188041
302.21/289.50	o 188040
302.21/289.58	o 187973
302.31/289.65	o 187963
302.41/289.71	o 187962
302.41/289.78	o 187953
302.51/289.84	o 187952
302.61/289.97	o 187951
302.71/290.09	o 187942
302.82/290.14	o 187941
302.91/290.24	o 187873
302.91/290.28	o 187863
303.01/290.33	o 187853
303.01/290.39	o 187852
303.22/290.51	o 187851
303.32/290.63	o 187842
303.32/290.70	o 187841
303.42/290.78	o 187773
303.52/290.86	o 187763
303.62/290.92	o 187753
303.62/290.99	o 187752
303.72/291.10	o 187751
303.92/291.21	o 187062
303.92/291.28	o 187052
304.02/291.35	o 187042
304.12/291.42	o 187041
304.12/291.49	o 186962
304.22/291.56	o 186952
304.32/291.63	o 186942
304.42/291.70	o 186941
304.42/291.77	o 186862
304.52/291.84	o 186852
304.63/291.91	o 186842
304.63/291.98	o 186841
304.74/292.09	o 186840
304.84/292.18	o 186773
304.93/292.25	o 186763
305.03/292.31	o 186762
305.03/292.38	o 186753
305.13/292.44	o 186752
305.23/292.57	o 186751
307.15/294.42	o 186052
307.15/294.49	o 186042
307.26/294.56	o 185952
307.36/294.63	o 185942
307.46/294.73	o 185932
307.56/294.82	o 185852
307.56/294.88	o 185842
307.66/294.97	o 185832
307.76/295.05	o 185831
307.87/295.17	o 185763
307.96/295.25	o 185753
308.06/295.34	o 185743
308.16/295.42	o 185742
308.26/295.55	o 185741
309.28/296.58	o 185740
309.98/297.28	o 185739
310.08/297.35	o 185732
310.08/297.40	o 185731
310.18/297.47	o 185730
310.28/297.54	o 185729
310.38/297.65	o 185728
310.48/297.75	o 185663
310.58/297.82	o 185662
310.58/297.89	o 185661
310.68/297.95	o 185660
310.79/298.02	o 185653
310.79/298.08	o 185652
310.89/298.15	o 185651
310.98/298.22	o 185650
310.98/298.30	o 185643
311.10/298.35	o 185642
311.20/298.41	o 185641
311.20/298.47	o 185640
311.30/298.59	o 185639
311.60/298.82	o 185638
311.60/298.89	o 185637
311.70/298.95	o 185630
311.70/298.99	o 185629
311.80/299.06	o 185628
311.91/299.13	o 185627
312.00/299.22	o 185550
312.00/299.27	o 185460
312.00/299.29	o 185450
312.10/299.32	o 184560
312.10/299.35	o 184460
312.10/299.38	o 184360
312.20/299.40	o 184350
312.31/299.53	o 184250
312.41/299.60	o 183551
312.41/299.69	o 183451
312.51/299.74	o 183450
312.61/299.81	o 183350
312.71/299.90	o 183250
313.53/300.76	o 183241
313.63/300.83	o 183240
314.85/302.09	o 183239
315.35/302.58	o 183219
315.86/303.10	o 183209
319.10/306.28	o 183200
319.30/306.44	o 183190
319.40/306.52	o 183189
319.50/306.61	o 183188
320.10/307.25	o 183187
320.81/307.95	o 183180
320.91/308.01	o 183179
320.91/308.08	o 183178
321.02/308.18	o 183177
324.13/311.29	o 183170
324.23/311.35	o 183169
324.33/311.41	o 183168
324.43/311.52	o 183167
325.45/312.60	o 183166
329.90/316.96	o 183157
330.01/317.04	o 183156
330.12/317.12	o 183155
330.21/317.21	o 183154
330.21/317.29	o 183147
330.31/317.37	o 183146
330.41/317.45	o 183145
330.51/317.54	o 183144
331.13/318.16	o 183135
331.22/318.24	o 183134
331.32/318.35	o 183133
331.62/318.63	o 183057
331.73/318.70	o 183056
331.83/318.80	o 183055
331.83/318.88	o 183054
331.93/318.97	o 183047
332.03/319.05	o 183046
332.14/319.13	o 183045
332.23/319.21	o 183044
332.33/319.30	o 183043
332.33/319.39	o 183035
332.43/319.48	o 183034
332.55/319.57	o 183033
335.39/322.30	o 183032
341.93/328.77	o 182960
342.03/328.82	o 182959
342.03/328.87	o 182958
342.13/328.99	o 182957
342.38/329.07	o 182950
342.48/329.13	o 182949
342.57/329.20	o 182948
342.57/329.26	o 182947
342.67/329.36	o 182946
342.78/329.45	o 182945
342.88/329.56	o 182939
342.88/329.59	o 182938
342.98/329.62	o 182937
343.08/329.72	o 182936
343.19/329.82	o 182935
343.29/329.95	o 182934
343.39/330.10	o 182933
343.59/330.27	o 182049
343.69/330.30	o 182048
343.69/330.38	o 182047
343.89/330.52	o 182046
343.99/330.66	o 182045
344.20/330.83	o 182044
344.30/330.99	o 182039
344.41/331.01	o 182038
344.41/331.10	o 182037
344.60/331.24	o 182036
344.70/331.39	o 182035
344.92/331.55	o 182034
345.12/331.71	o 182033
345.32/331.96	o 182032
345.42/332.10	o 182031
345.62/332.25	o 182030
345.82/332.42	o 182029
346.03/332.61	o 182028
346.13/332.79	o 182027
346.43/333.01	o 182026
346.63/333.25	o 182025
346.84/333.45	o 182024
347.64/334.27	o 181025
348.15/334.76	o 180135
348.35/334.91	o 180134
349.06/335.60	o 180023
349.06/335.63	o 180022
349.16/335.73	o 179133
349.16/335.76	o 179132
350.29/336.83	o 179033
350.39/336.92	o 179032
351.40/337.90	o 178123
351.40/337.95	o 178122
351.61/338.14	o 178049
351.61/338.17	o 178048
351.71/338.22	o 178047
351.81/338.31	o 178046
351.81/338.39	o 178045
351.91/338.49	o 178029
352.56/338.75	o 178028
352.73/338.86	o 178027
352.83/338.94	o 178026
352.94/339.06	o 178025
353.04/339.17	o 178024
353.13/339.29	o 177152
353.23/339.32	o 177151
353.33/339.40	o 177150
353.33/339.50	o 177131
353.43/339.53	o 177130
354.28/340.34	o 177129
354.28/340.37	o 177128
354.28/340.40	o 177127
354.99/341.09	o 177119
355.09/341.12	o 177118
355.09/341.14	o 177117
356.10/342.17	o 176341
356.10/342.18	o 176340
356.19/342.20	o 176339
356.19/342.22	o 176241
356.19/342.24	o 176240
356.19/342.26	o 176239
356.19/342.28	o 176231
356.29/342.30	o 176230
356.29/342.32	o 176229
356.29/342.35	o 176221
356.29/342.37	o 176220
356.29/342.39	o 176219
356.39/342.44	o 176218
356.69/342.79	o 176141
356.79/342.80	o 176140
356.79/342.84	o 176139
356.79/342.88	o 176131
356.90/342.90	o 176130
356.90/342.93	o 176129
356.90/342.97	o 176121
356.90/342.98	o 176120
357.00/343.01	o 176119
357.00/343.05	o 176118
357.80/343.84	o 176117
358.20/344.26	o 176108
358.20/344.28	o 176107
358.30/344.35	o 176097
358.40/344.42	o 176018
358.40/344.44	o 176017
358.40/344.48	o 176008
358.51/344.51	o 176007
358.51/344.55	o 175997
358.61/344.70	o 175897
358.95/344.94	o 175797
359.06/345.01	o 175787
360.81/346.74	o 175687
367.26/353.15	o 175678
367.35/353.26	o 175677
367.45/353.37	o 174688
367.55/353.47	o 174678
367.65/353.56	o 174677
369.28/355.18	o 174582
369.37/355.21	o 174581
369.37/355.26	o 174580
369.47/355.35	o 174579
369.57/355.47	o 174578
369.67/355.59	o 174577
369.97/355.81	o 174576
369.97/355.85	o 174575
370.07/355.95	o 174574
370.38/356.13	o 174573
370.47/356.27	o 174572
370.67/356.42	o 174571
402.19/387.62	o 174503
402.19/387.65	o 174493
402.19/387.68	o 174492
402.30/387.72	o 174491
402.30/387.76	o 174483
402.30/387.79	o 174482
402.40/387.82	o 174481
402.50/388.00	o 174474
402.61/388.04	o 174473
402.61/388.07	o 174472
402.72/388.12	o 174471
402.72/388.18	o 174464
402.81/388.21	o 174463
402.81/388.23	o 174462
402.81/388.28	o 173693
402.91/388.30	o 173692
402.91/388.32	o 173683
402.91/388.34	o 173682
402.91/388.37	o 173673
402.91/388.39	o 173672
403.01/388.42	o 173671
403.01/388.44	o 173593
403.01/388.47	o 173583
403.11/388.50	o 173582
403.11/388.51	o 173581
403.11/388.54	o 173573
403.11/388.56	o 173572
403.11/388.58	o 173571
403.22/388.61	o 173563
403.22/388.64	o 173562
403.22/388.66	o 173561
403.22/388.68	o 173493
403.32/388.70	o 173483
403.32/388.73	o 173473
403.32/388.77	o 173463
403.43/388.80	o 173462
403.43/388.82	o 173461
403.43/388.88	o 173454
403.53/388.91	o 173453
403.53/388.94	o 173452
403.64/389.02	o 173451
404.04/389.45	o 173351
404.35/389.76	o 173249
404.76/390.14	o 173248
404.86/390.26	o 173247
405.05/390.37	o 173246
405.15/390.49	o 173245
405.35/390.63	o 173244
405.46/390.78	o 173243
405.66/390.95	o 173242
405.88/391.14	o 173241
406.07/391.33	o 173240
406.27/391.51	o 173239
406.71/391.98	o 173228
408.65/393.82	o 173220
408.76/393.96	o 173219
409.46/394.61	o 173171
409.56/394.71	o 173161
409.66/394.83	o 173160
409.76/394.95	o 173151
409.87/395.07	o 173150
409.97/395.19	o 173141
410.06/395.30	o 173140
410.26/395.42	o 173130
410.36/395.56	o 173129
410.46/395.68	o 173120
410.66/395.80	o 173119
411.17/396.38	o 173110
411.37/396.50	o 173109
411.47/396.64	o 173061
411.57/396.74	o 173060
411.67/396.86	o 173051
411.77/396.98	o 173050
411.88/397.09	o 173041
412.08/397.20	o 173040
412.18/397.33	o 173030
412.28/397.46	o 173020
412.48/397.60	o 173010
412.58/397.73	o 173009
412.68/397.84	o 172762
412.78/397.92	o 172662
412.78/397.99	o 172652
412.89/398.07	o 172651
412.99/398.16	o 172641
413.08/398.24	o 172632
413.18/398.32	o 172631
413.28/398.41	o 172621
413.28/398.49	o 172562
413.38/398.56	o 172552
413.48/398.63	o 172551
413.58/398.71	o 172541
413.58/398.79	o 172531
413.69/398.87	o 172521
413.79/398.99	o 172462
413.89/399.10	o 172461
414.09/399.21	o 172451
414.19/399.31	o 172441
414.29/399.44	o 172431
414.39/399.55	o 172421
414.49/399.68	o 172411
414.70/399.80	o 172410
414.80/399.93	o 172362
414.90/400.04	o 172352
415.01/400.15	o 172351
415.10/400.27	o 172341
415.20/400.38	o 172340
415.40/400.50	o 172331
415.50/400.62	o 172330
415.60/400.74	o 172321
415.70/400.86	o 172320
415.80/400.98	o 172311
415.91/401.09	o 172310
416.10/401.22	o 172261
416.20/401.33	o 172251
416.30/401.45	o 172250
416.41/401.57	o 172240
416.61/401.70	o 172230
416.71/401.84	o 172220
416.81/401.97	o 172210
416.92/402.10	o 172209
417.11/402.24	o 172161
417.22/402.35	o 172151
417.32/402.48	o 172150
417.52/402.61	o 172140
417.62/402.73	o 172130
417.72/402.87	o 172120
417.82/402.99	o 172119
418.04/403.13	o 172110
418.13/403.25	o 172109
419.54/404.65	o 172061
419.64/404.77	o 172051
419.74/404.88	o 172050
419.84/405.00	o 172040
420.05/405.12	o 172030
420.14/405.24	o 172020
420.25/405.38	o 172019
420.45/405.50	o 172010
420.55/405.62	o 172009
421.56/406.69	o 171752
421.67/406.78	o 171751
421.77/406.85	o 171652
421.87/406.93	o 171651
421.97/407.02	o 171650
422.08/407.14	o 171552
422.17/407.25	o 171551
422.27/407.32	o 171541
422.27/407.35	o 171532
422.27/407.39	o 170552
422.40/407.41	o 170542
422.40/407.43	o 170533
422.70/407.75	o 170442
422.80/407.81	o 170441
422.80/407.89	o 170440
423.10/408.01	o 170439
423.30/408.20	o 170438
423.40/408.40	o 170437
423.70/408.62	o 170436
423.92/408.80	o 170435
424.32/409.22	o 170434
426.85/411.79	o 170346
426.96/411.83	o 170345
426.96/411.88	o 170335
427.06/411.92	o 170235
427.06/411.97	o 170234
427.17/412.02	o 170225
427.17/412.07	o 170224
427.28/412.12	o 170215
427.28/412.16	o 170214
429.50/414.30	o 170206
429.60/414.41	o 170205
429.70/414.51	o 170204
429.90/414.74	o 170203
430.21/415.02	o 170202
431.02/415.88	o 169217
431.12/415.98	o 169216
431.22/416.09	o 169215
431.33/416.20	o 169205
431.52/416.31	o 169204
431.62/416.42	o 169203
431.82/416.67	o 169202
434.65/419.42	o 169201
434.95/419.80	o 169126
435.15/419.91	o 169125
435.25/420.03	o 169124
435.36/420.14	o 169123
435.45/420.27	o 169122
435.65/420.42	o 169114
435.75/420.52	o 169113
435.85/420.61	o 169112
435.95/420.76	o 169111
436.36/421.18	o 169110
436.55/421.31	o 169103
436.65/421.42	o 169102
436.75/421.52	o 169101
436.85/421.65	o 169100
436.96/421.76	o 169099
438.17/422.96	o 169098
450.34/434.93	o 168611
450.44/435.01	o 168511
451.36/435.91	o 168510
451.36/435.94	o 168410
451.98/436.56	o 168310
453.40/437.96	o 168300
457.90/442.38	o 167502
459.23/443.63	o 167403
459.44/443.83	o 167402
459.75/444.17	o 167303
459.84/444.23	o 167302
460.04/444.40	o 166404
460.04/444.46	o 166304
460.15/444.54	o 166303
460.35/444.73	o 166302
462.28/446.68	o 166301
464.24/448.54	o 165311
464.35/448.65	o 165300
464.76/449.02	o 165212
464.87/449.11	o 165211
464.96/449.20	o 165202
464.96/449.28	o 165201
465.18/449.44	o 165192
465.28/449.53	o 165191
465.38/449.64	o 165190
465.48/449.75	o 164312
465.59/449.83	o 164212
465.69/449.92	o 164211
465.69/450.00	o 164202
465.79/450.08	o 164201
465.90/450.18	o 164192
465.99/450.26	o 164191
466.09/450.36	o 164190
466.29/450.56	o 164101
466.81/451.04	o 163102
467.32/451.55	o 163002
467.52/451.75	o 162910
467.62/451.80	o 162909
467.62/451.85	o 162908
467.73/451.91	o 162010
467.73/451.95	o 161910
467.73/452.00	o 161909
468.03/452.24	o 161811
468.03/452.29	o 161810
491.00/474.77	o 161809
491.62/475.34	o 161800
491.73/475.47	o 161799
493.76/477.48	o 161699
512.07/495.31	o 161101
512.17/495.40	o 161100
512.28/495.51	o 161099
520.64/503.71	o 160211
520.74/503.87	o 160210
521.06/504.15	o 160201
521.25/504.30	o 160200
521.46/504.57	o 160199
522.89/505.98	o 160198
525.34/508.30	o 160191
525.44/508.43	o 160190
525.55/508.57	o 160189
525.75/508.74	o 160188
527.90/510.86	o 159188
528.00/510.92	o 158188
528.21/511.14	o 158108
528.21/511.19	o 158098
528.31/511.23	o 158097
532.30/515.12	o 158087
532.39/515.27	o 157307
532.49/515.35	o 157207
532.59/515.46	o 157197
532.69/515.58	o 157187
532.90/515.72	o 157107
533.00/515.81	o 157097
533.10/515.93	o 157087
537.08/519.85	o 157078
537.19/519.97	o 157068
546.17/528.75	o 157058
546.17/528.79	o 156068
546.28/528.82	o 156058
546.38/528.91	o 156048
571.11/552.37	o 155950
571.21/552.44	o 155949
571.31/552.55	o 155948
571.83/553.08	o 155947
573.14/554.31	o 155847
574.77/555.95	o 155047
574.77/555.97	o 154947
577.12/558.21	o 154941
577.74/558.89	o 154931
578.25/559.40	o 154930
578.57/559.60	o 154741
578.57/559.65	o 154731
578.67/559.70	o 154641
578.67/559.74	o 154631
579.27/560.30	o 154630
586.62/567.58	o 154629
589.55/570.48	o 154619
589.65/570.55	o 154618
597.05/577.89	o 154608
597.66/578.47	o 154518
597.76/578.52	o 154508
601.76/582.47	o 154507
602.15/582.70	o 154506
602.35/582.90	o 154505
602.46/583.11	o 154504
602.77/583.32	o 154503
602.97/583.52	o 154502
603.18/583.74	o 154501
603.48/584.02	o 154432
603.68/584.20	o 154431
603.79/584.37	o 154430
603.99/584.55	o 154429
604.19/584.72	o 154428
604.38/584.94	o 154421
604.49/585.09	o 154420
604.69/585.26	o 154419
604.89/585.42	o 154418
604.99/585.59	o 154417
605.30/585.82	o 154416
605.50/586.05	o 154415
605.70/586.28	o 154414
606.11/586.65	o 154413
606.62/587.17	o 154412
607.22/587.71	o 154411
607.53/588.10	o 154410
607.83/588.38	o 154409
608.23/588.79	o 154408
608.33/588.86	o 154407
608.54/589.06	o 154406
608.85/589.31	o 154405
613.52/593.94	o 153568
613.74/594.12	o 153567
614.34/594.74	o 153566
617.60/597.93	o 153565
621.68/601.95	o 153558
621.90/602.13	o 153557
622.09/602.31	o 153556
622.20/602.49	o 153555
625.74/605.91	o 153554
625.96/606.19	o 153547
626.15/606.36	o 153546
626.35/606.54	o 153545
626.55/606.72	o 153544
631.49/611.54	o 153543
632.50/612.59	o 153533
635.35/615.32	o 153433
635.55/615.54	o 153424
635.96/615.90	o 153334
635.96/615.98	o 153325
636.88/616.81	o 152544
637.08/617.05	o 152443
637.19/617.11	o 152434
637.29/617.26	o 152335
638.50/618.40	o 152334
639.01/618.99	o 152333
640.54/620.44	o 152332
640.64/620.50	o 152331
640.64/620.57	o 152232
640.85/620.70	o 152222
641.27/621.11	o 152221
643.22/623.04	o 152121
646.68/626.41	o 152113
646.68/626.46	o 152112
647.29/627.03	o 152111
647.29/627.10	o 152110
647.70/627.42	o 151225
647.70/627.47	o 151224
647.80/627.52	o 151223
647.80/627.57	o 151222
647.91/627.64	o 151221
647.91/627.69	o 150125
648.01/627.75	o 150124
648.11/627.82	o 150123
648.21/627.91	o 150025
648.21/627.97	o 150024
648.21/628.01	o 150023
648.32/628.05	o 150022
648.52/628.26	o 149926
648.52/628.29	o 149925
648.62/628.34	o 149924
648.72/628.40	o 149923
648.82/628.55	o 149922
662.08/641.46	o 149822
662.59/641.91	o 149722
662.59/641.96	o 148923
662.59/641.98	o 148922
662.70/642.02	o 148823
662.70/642.03	o 148822
662.70/642.07	o 148722
662.89/642.21	o 148622
676.52/655.56	o 148078
677.53/656.50	o 148077
679.67/658.60	o 148076
683.94/662.82	o 148068
684.15/663.04	o 148067
684.65/663.51	o 148066
701.54/680.10	o 148065
701.94/680.43	o 148064
702.24/680.70	o 148056
702.54/680.96	o 148055
702.84/681.29	o 148054
703.26/681.65	o 148053
703.68/682.03	o 148052
704.17/682.57	o 148051
707.56/685.87	o 147962
708.36/686.63	o 147961
712.52/690.74	o 147363
713.02/691.26	o 147263
713.63/691.82	o 147162
713.83/692.09	o 147062
714.34/692.50	o 147061
714.85/693.02	o 146961
716.06/694.24	o 146960
717.08/695.22	o 146860
718.72/696.84	o 146760
723.62/701.69	o 146160
723.92/701.98	o 146060
724.23/702.28	o 145960
725.26/703.20	o 145863
725.56/703.50	o 145763
727.10/705.09	o 145760
727.70/705.66	o 145663
728.01/705.93	o 145563
728.94/706.86	o 145554
729.05/706.93	o 145553
729.05/707.00	o 145552
729.26/707.12	o 144664
729.26/707.16	o 144663
729.35/707.21	o 144662
729.35/707.27	o 144654
729.45/707.31	o 144653
729.45/707.36	o 144554
729.56/707.43	o 144553
729.56/707.48	o 144552
729.66/707.58	o 143774
729.76/707.62	o 143773
729.76/707.67	o 143764
729.86/707.72	o 143664
729.86/707.79	o 143663
729.96/707.87	o 143662
730.69/708.53	o 143652
732.52/710.31	o 143643
732.82/710.63	o 143543
733.13/710.99	o 143443
733.84/711.60	o 143442
734.36/712.13	o 142643
734.66/712.46	o 142543
735.07/712.88	o 142443
735.58/713.31	o 142442
736.09/713.86	o 142343
742.72/720.35	o 142334
743.33/720.95	o 141344
743.55/721.11	o 141334
748.56/726.06	o 141333
757.43/734.74	o 141146
757.74/735.03	o 141046
757.84/735.18	o 140946
758.24/735.55	o 140456
758.34/735.66	o 140256
758.55/735.88	o 140156
758.76/736.02	o 140056
759.36/736.63	o 139745
759.47/736.79	o 139645
759.67/736.94	o 139545
759.98/737.21	o 139445
781.89/758.36	o 139353
782.09/758.50	o 138254
782.71/759.13	o 138155
783.42/759.85	o 138145
783.52/759.96	o 138046
784.54/760.94	o 138045
784.75/761.17	o 137946
785.26/761.64	o 137937
785.46/761.88	o 137837
785.67/762.09	o 137826
785.77/762.16	o 137816
785.86/762.24	o 137815
785.96/762.35	o 137026
785.96/762.39	o 137016
786.07/762.44	o 137015
786.18/762.51	o 136926
786.18/762.56	o 136925
786.28/762.65	o 136916
786.28/762.69	o 136915
786.49/762.81	o 136826
786.49/762.87	o 136816
786.59/762.92	o 136815
786.69/763.07	o 136806
786.81/763.12	o 136805
790.55/766.84	o 136795
792.01/768.23	o 136706
810.59/786.42	o 136699
810.69/786.54	o 136698
811.00/786.86	o 136609
811.20/787.02	o 136608
811.50/787.32	o 136607
812.53/788.39	o 136008
812.73/788.52	o 135908
812.94/788.70	o 135808
813.04/788.83	o 135708
813.14/788.99	o 135707
813.36/789.12	o 135608
813.45/789.24	o 135607
813.86/789.68	o 135508
814.06/789.84	o 135507
814.28/790.02	o 135506
815.80/791.58	o 135407
816.70/792.43	o 135406
817.51/793.20	o 134708
817.62/793.31	o 134707
817.72/793.42	o 134608
817.82/793.53	o 134607
818.02/793.74	o 134606
818.23/793.93	o 134507
818.44/794.11	o 134506
818.73/794.46	o 134505
818.94/794.63	o 134496
819.14/794.81	o 134495
820.56/796.24	o 134494
823.82/799.45	o 134416
823.92/799.59	o 134415
824.23/799.81	o 134414
824.33/799.95	o 134405
824.43/800.09	o 134404
825.34/801.00	o 134325
825.65/801.23	o 134324
825.96/801.54	o 134315
826.06/801.64	o 134314
851.97/827.08	o 134233
852.08/827.14	o 134232
852.18/827.24	o 134223
852.28/827.34	o 134222
852.58/827.69	o 134213
852.68/827.78	o 134212
858.29/833.26	o 134211
858.70/833.68	o 134202
859.11/834.09	o 134201
859.61/834.57	o 134123
860.02/835.00	o 134122
860.42/835.39	o 134113
860.92/835.81	o 134112
861.34/836.21	o 134111
861.75/836.64	o 134102
865.31/840.14	o 134092
866.42/841.21	o 134091
866.52/841.35	o 134090
867.14/841.98	o 134081
867.75/842.53	o 134080
870.00/844.76	o 134079
891.95/866.22	o 134070
892.05/866.32	o 134069
892.25/866.56	o 134060
892.57/866.80	o 134050
892.77/867.07	o 134049
892.97/867.23	o 134039
893.37/867.66	o 133940
893.69/867.98	o 133939
895.32/869.50	o 133849
895.73/869.98	o 133259
895.94/870.13	o 133169
896.03/870.27	o 133069
896.34/870.55	o 132979
896.54/870.77	o 132879
896.85/871.07	o 132859
897.76/871.99	o 132849
898.68/872.81	o 132848
899.00/873.16	o 132838
900.63/874.78	o 132836
900.83/874.90	o 132826
900.95/875.05	o 132817
901.15/875.27	o 132816
902.78/876.86	o 132815
904.11/878.15	o 132717
904.31/878.34	o 132716
908.39/882.33	o 132715
911.04/884.97	o 131817
911.14/885.09	o 131808
911.34/885.20	o 131807
911.44/885.31	o 131717
911.55/885.41	o 131708
911.65/885.52	o 131707
911.75/885.63	o 131706
912.88/886.77	o 131611
913.08/887.00	o 131610
913.48/887.27	o 131609
913.78/887.53	o 131608
914.09/887.88	o 131607
914.60/888.32	o 131606
915.92/889.67	o 131605
942.63/915.82	o 131509
942.95/916.13	o 131508
943.25/916.46	o 131507
943.55/916.79	o 131506
943.97/917.13	o 131505
955.66/928.69	o 131447
959.14/932.01	o 131347
963.74/936.56	o 131337
966.50/939.24	o 131238
971.09/943.78	o 131237
971.60/944.22	o 131137
977.84/950.37	o 130267
978.04/950.51	o 130257
978.35/950.80	o 130167
978.45/950.93	o 130157
978.75/951.20	o 130067
978.86/951.36	o 130057
979.16/951.65	o 130056
979.37/951.87	o 129957
979.47/951.92	o 129956
979.57/952.02	o 129955
997.99/969.78	o 129281
998.30/970.01	o 129181
998.49/970.25	o 129180
998.70/970.49	o 129179
999.00/970.72	o 129178
999.21/970.95	o 129177
999.51/971.26	o 129170
999.72/971.49	o 129169
1000.03/971.72	o 129168
1000.23/971.94	o 129167
1000.44/972.16	o 129158
1003.18/974.82	o 129157
1004.11/975.79	o 129067
1004.31/975.94	o 129057
1004.52/976.14	o 129048
1004.72/976.32	o 129047
1004.82/976.47	o 129046
1004.93/976.58	o 129038
1005.04/976.70	o 129037
1005.24/976.80	o 129036
1005.34/976.93	o 128957
1005.45/977.03	o 128956
1005.65/977.24	o 128947
1005.75/977.32	o 128946
1005.85/977.48	o 128068
1005.95/977.56	o 128067
1006.06/977.64	o 128058
1006.16/977.71	o 128057
1006.26/977.80	o 128048
1006.36/977.90	o 128047
1006.36/977.99	o 127957
1006.47/978.06	o 127956
1006.58/978.12	o 127947
1006.68/978.20	o 127946
1006.88/978.40	o 127937
1006.98/978.53	o 127936
1007.08/978.64	o 127935
1008.81/980.30	o 127856
1009.32/980.85	o 127846
1009.63/981.14	o 127836
1009.93/981.47	o 127835
1011.36/982.84	o 127834
1034.46/1005.47	o 127761
1034.56/1005.54	o 127760
1034.96/1005.85	o 127750
1035.06/1005.91	o 127749
1035.27/1006.17	o 127748
1035.77/1006.63	o 127747
1036.18/1007.03	o 127746
1036.68/1007.50	o 127745
1037.20/1008.02	o 127744
1037.80/1008.66	o 127741
1038.00/1008.88	o 127740
1038.33/1009.13	o 127739
1038.52/1009.35	o 127738
1039.03/1009.81	o 127737
1039.43/1010.29	o 127736
1040.04/1010.87	o 127735
1040.64/1011.44	o 127734
1041.45/1012.20	o 127733
1042.37/1013.14	o 127654
1042.57/1013.33	o 127653
1042.67/1013.48	o 127644
1042.87/1013.65	o 127643
1043.07/1013.81	o 127634
1043.17/1013.94	o 127633
1047.95/1018.63	o 127632
1048.96/1019.61	o 127624
1049.07/1019.79	o 127622
1052.32/1022.98	o 126732
1053.56/1024.12	o 126632
1053.99/1024.57	o 126540
1054.21/1024.78	o 126539
1054.67/1025.11	o 126538
1054.96/1025.44	o 126537
1055.37/1025.83	o 126536
1055.87/1026.38	o 126535
1056.48/1026.90	o 126534
1056.99/1027.45	o 126533
1057.60/1028.08	o 126532
1058.31/1028.72	o 126531
1058.72/1029.15	o 126442
1058.81/1029.21	o 126441
1059.44/1029.84	o 126342
1059.54/1029.90	o 126341
1060.25/1030.67	o 126332
1060.35/1030.73	o 126331
1068.96/1039.26	o 126326
1071.29/1041.51	o 126226
1071.70/1041.98	o 126126
1072.01/1042.27	o 126116
1072.93/1043.15	o 126016
1073.43/1043.67	o 126015
1073.64/1043.81	o 125915
1073.74/1043.98	o 125815
1074.36/1044.54	o 125805
1074.98/1045.11	o 125795
1075.59/1045.72	o 125705
1075.90/1046.04	o 125695
1076.72/1046.85	o 125604
1076.93/1047.06	o 125594
1077.64/1047.71	o 125593
1078.06/1048.14	o 125583
1078.25/1048.34	o 125582
1078.86/1049.00	o 125581
1079.08/1049.17	o 125504
1079.27/1049.34	o 125503
1079.48/1049.51	o 125494
1079.58/1049.66	o 125493
1079.78/1049.86	o 125483
1079.99/1050.05	o 125482
1080.60/1050.61	o 125404
1080.80/1050.81	o 125403
1080.90/1050.98	o 125393
1081.11/1051.17	o 125392
1081.31/1051.34	o 125383
1081.51/1051.52	o 125382
1082.95/1052.90	o 125283
1083.26/1053.29	o 124583
1083.35/1053.37	o 124483
1083.66/1053.61	o 124383
1084.88/1054.88	o 124382
1087.73/1057.63	o 124294
1087.83/1057.74	o 124293
1096.92/1066.68	o 124193
1097.03/1066.76	o 124183
1100.89/1070.40	o 124173
1101.70/1071.28	o 124165
1118.48/1087.36	o 124156
1118.58/1087.43	o 124155
1119.09/1087.97	o 124154
1120.60/1089.45	o 124086
1120.70/1089.57	o 124076
1123.63/1092.47	o 124075
1124.21/1092.91	o 124074
1124.42/1093.11	o 124073
1124.61/1093.32	o 124072
1124.91/1093.64	o 124071
1125.35/1094.03	o 124070
1125.85/1094.55	o 124069
1126.48/1095.19	o 124068
1127.17/1095.89	o 124067
1129.79/1098.41	o 124066
1135.65/1104.21	o 124058
1135.85/1104.40	o 124057
1135.95/1104.59	o 124056
1141.00/1109.54	o 124047
1141.20/1109.70	o 123947
1141.40/1109.93	o 123946
1144.04/1112.54	o 123866
1148.40/1116.85	o 123865
1167.59/1135.65	o 123864
1181.15/1148.93	o 123858
1181.25/1149.09	o 123857
1181.45/1149.21	o 123856
1181.55/1149.33	o 123855
1202.83/1170.13	o 123854
1202.92/1170.26	o 123853
1203.12/1170.41	o 123852
1203.40/1170.64	o 123851
1203.70/1170.99	o 123850
1204.12/1171.40	o 123849
1204.62/1171.85	o 123848
1205.13/1172.32	o 123847
1205.95/1173.11	o 123846
1206.75/1173.93	o 123845
1213.44/1180.56	o 123157
1213.54/1180.68	o 123147
1213.64/1180.78	o 123146
1213.85/1180.95	o 123145
1214.15/1181.21	o 123057
1214.25/1181.34	o 123056
1214.35/1181.43	o 123047
1214.45/1181.57	o 123046
1214.67/1181.71	o 123045
1214.87/1181.94	o 122957
1214.98/1182.02	o 122947
1215.08/1182.12	o 122946
1215.17/1182.25	o 122945
1215.38/1182.48	o 122857
1215.48/1182.56	o 122856
1215.58/1182.64	o 122847
1215.68/1182.73	o 122846
1215.78/1182.85	o 122845
1217.62/1184.69	o 122834
1217.82/1184.80	o 122824
1218.02/1185.04	o 122823
1218.53/1185.50	o 121923
1236.82/1203.46	o 121917
1236.91/1203.58	o 121916
1237.11/1203.71	o 121907
1237.24/1203.83	o 121906
1237.34/1203.97	o 121905
1238.25/1204.86	o 121896
1238.35/1205.00	o 121895
1239.06/1205.63	o 121886
1239.16/1205.76	o 121885
1240.08/1206.63	o 121884
1246.11/1212.59	o 121883
1249.28/1215.69	o 121873
1253.15/1219.48	o 121863
1260.73/1226.89	o 121862
1287.73/1252.93	o 121763
1288.03/1253.21	o 121762
1297.64/1262.68	o 121753
1298.16/1263.13	o 121752
1310.51/1275.20	o 121695
1310.51/1275.23	o 121694
1310.61/1275.37	o 121684
1310.61/1275.38	o 121683
1310.90/1275.56	o 121682
1311.10/1275.75	o 121681
1311.32/1275.94	o 121680
1311.72/1276.35	o 121679
1312.13/1276.73	o 121674
1312.23/1276.82	o 121673
1312.33/1276.97	o 121672
1312.64/1277.26	o 121671
1313.04/1277.63	o 121670
1313.45/1278.02	o 121669
1313.85/1278.45	o 121668
1314.36/1278.92	o 121667
1314.87/1279.49	o 121666
1315.48/1280.06	o 121665
1321.16/1285.64	o 121579
1321.27/1285.71	o 121578
1321.37/1285.83	o 121568
1321.47/1285.94	o 121567
1321.57/1286.08	o 121566
1330.26/1294.54	o 121562
1330.66/1294.80	o 121561
1330.87/1295.08	o 121560
1331.29/1295.46	o 121559
1331.89/1296.09	o 121558
1332.70/1296.83	o 121557
1333.41/1297.53	o 121556
1334.22/1298.33	o 121555
1335.04/1299.16	o 121554
1336.06/1300.14	o 121553
1337.26/1301.39	o 120883
1337.36/1301.43	o 120882
1337.46/1301.54	o 120784
1337.46/1301.56	o 120783
1337.46/1301.59	o 120782
1337.67/1301.76	o 120781
1338.18/1302.28	o 120780
1338.79/1302.85	o 120779
1339.39/1303.45	o 120778
1340.11/1304.12	o 120777
1340.82/1304.86	o 120776
1341.43/1305.42	o 120775
1342.04/1306.06	o 120774
1343.05/1307.09	o 120773
1343.86/1307.83	o 120684
1343.96/1307.99	o 120683
1344.27/1308.25	o 120682
1344.77/1308.70	o 120681
1345.39/1309.34	o 120680
1346.10/1310.02	o 120679
1346.71/1310.70	o 120678
1347.63/1311.52	o 120677
1348.15/1312.07	o 120676
1348.75/1312.65	o 120675
1349.66/1313.54	o 120674
1363.48/1327.05	o 120576
1365.73/1329.29	o 120575
1376.67/1340.00	o 120574
1377.99/1341.13	o 120573
1388.84/1351.45	o 120572
1389.24/1351.73	o 120571
1389.74/1352.24	o 120570
1390.50/1352.98	o 120569
1391.30/1353.70	o 120568
1392.21/1354.62	o 120567
1393.21/1355.61	o 120566
1394.23/1356.67	o 120565
1395.04/1357.46	o 120564
1449.54/1411.06	o 120486
1449.64/1411.19	o 120485
1450.03/1411.43	o 120484
1450.23/1411.66	o 120477
1450.43/1411.82	o 120476
1450.63/1412.01	o 120475
1450.83/1412.23	o 120474
1451.70/1412.77	o 120473
1451.90/1412.95	o 120472
1452.30/1413.39	o 120471
1452.92/1413.94	o 120470
1453.52/1414.57	o 120469
1454.13/1415.18	o 120468
1454.83/1415.81	o 120467
1455.44/1416.45	o 120466
1456.25/1417.22	o 120465
1457.17/1418.20	o 120464
1458.58/1419.54	o 120463
1472.51/1433.23	o 120375
1472.71/1433.49	o 120374
1473.01/1433.72	o 120373
1473.21/1433.95	o 120372
1473.59/1434.22	o 120371
1474.09/1434.74	o 120370
1474.50/1435.15	o 120369
1475.04/1435.67	o 120368
1475.64/1436.28	o 120367
1476.34/1436.93	o 120366
1477.05/1437.61	o 120365
1477.95/1438.60	o 120364
1478.37/1438.92	o 119594
1478.37/1438.94	o 119494
1478.37/1438.98	o 119484
1478.48/1439.01	o 119474
1479.27/1439.88	o 118885
1479.86/1440.31	o 118875
1482.64/1443.03	o 118874
1483.55/1443.90	o 118784
1483.95/1444.31	o 118774
1484.67/1445.07	o 118684
1485.06/1445.46	o 118674
1485.56/1445.95	o 118584
1486.06/1446.41	o 118574
1487.48/1447.81	o 118474
1491.93/1452.24	o 118473
1493.44/1453.74	o 118454
1496.94/1457.19	o 118375
1497.13/1457.31	o 118374
1497.43/1457.60	o 118373
1497.83/1457.95	o 118365
1497.94/1458.09	o 118364
1498.23/1458.36	o 118363
1498.73/1458.83	o 118355
1498.83/1458.96	o 118354
1499.19/1459.24	o 118353
1503.26/1463.29	o 118263
1508.31/1468.29	o 118253
1508.51/1468.44	o 118163
1521.84/1481.11	o 118156
1522.33/1481.69	o 118155
1523.23/1482.57	o 118154
1529.48/1488.71	o 118151
1529.77/1488.92	o 118150
1530.27/1489.48	o 118149
1531.07/1490.21	o 118148
1531.92/1491.04	o 118147
1532.71/1491.83	o 118146
1533.53/1492.69	o 118145
1534.74/1493.83	o 118144
1538.98/1498.10	o 118136
1539.27/1498.35	o 118135
1539.57/1498.69	o 118134
1546.23/1505.14	o 118133
1546.82/1505.61	o 118132
1549.09/1507.88	o 118052
1549.40/1508.13	o 118042
1549.79/1508.59	o 118032
1550.42/1509.14	o 118022
1564.62/1523.28	o 117975
1565.13/1523.74	o 117974
1565.53/1524.16	o 117965
1566.03/1524.63	o 117964
1566.54/1525.11	o 117955
1566.93/1525.56	o 117954
1567.35/1525.97	o 117945
1567.85/1526.42	o 117944
1568.36/1526.94	o 117934
1568.76/1527.33	o 117924
1569.26/1527.88	o 117923
1571.08/1529.69	o 117922
1571.28/1529.87	o 117022
1572.38/1530.85	o 117021
1573.52/1531.90	o 116922
1574.42/1532.88	o 116921
1576.62/1534.94	o 116851
1577.02/1535.35	o 116841
1577.42/1535.77	o 116840
1577.99/1536.21	o 116839
1578.59/1536.82	o 116838
1579.29/1537.50	o 116837
1580.10/1538.38	o 116836
1581.10/1539.35	o 116835
1582.12/1540.38	o 116831
1582.32/1540.53	o 116830
1583.44/1541.60	o 116828
1583.74/1541.90	o 116827
1584.04/1542.23	o 116826
1584.97/1543.04	o 116825
1585.86/1543.99	o 116824
1587.52/1545.13	o 116823
1588.61/1546.22	o 116822
1589.72/1547.37	o 116821
1592.94/1550.57	o 116811
1595.59/1553.12	o 116801
1599.51/1557.03	o 116792
1599.70/1557.24	o 116791
1611.83/1569.16	o 116712
1611.92/1569.22	o 116711
1612.02/1569.33	o 116702
1612.22/1569.57	o 116701
1612.42/1569.75	o 116612
1612.52/1569.82	o 116611
1612.62/1569.94	o 116602
1612.62/1570.00	o 116601
1623.74/1580.80	o 116600
1625.66/1582.79	o 116592
1626.26/1583.33	o 116591
1628.08/1585.15	o 116590
1664.83/1621.26	o 116508
1665.23/1621.60	o 116507
1665.64/1622.04	o 116506
1666.14/1622.51	o 116498
1666.44/1622.88	o 116497
1666.95/1623.32	o 116496
1667.55/1623.91	o 116495
1668.16/1624.52	o 116494
1668.78/1625.18	o 116493
1669.68/1626.08	o 116492
1670.59/1626.98	o 116491
1671.70/1628.05	o 116490
1678.32/1634.51	o 116489
1690.79/1646.15	o 116390
1693.50/1648.81	o 116379
1728.71/1683.46	o 116370
1728.91/1683.68	o 116360
1729.22/1683.94	o 116359
1763.20/1716.37	o 116282
1763.40/1716.59	o 116234
1763.60/1716.73	o 116233
1763.91/1717.01	o 116224
1764.01/1717.14	o 116223
1764.30/1717.42	o 116222
1764.60/1717.73	o 116221
1764.80/1717.97	o 116220
1765.10/1718.25	o 116212
1765.20/1718.30	o 116211
1765.40/1718.53	o 116210
1765.70/1718.89	o 116209
1766.10/1719.26	o 116208
1766.70/1719.85	o 116207
1767.42/1720.48	o 116206
1768.13/1721.12	o 116202
1768.13/1721.18	o 116201
1768.52/1721.54	o 116200
1768.82/1721.88	o 116199
1769.33/1722.34	o 116198
1769.83/1722.82	o 116197
1770.43/1723.41	o 116196
1771.23/1724.16	o 116193
1771.32/1724.29	o 116192
1771.52/1724.46	o 116191
1771.72/1724.64	o 116190
1771.92/1724.83	o 116189
1772.23/1725.12	o 116188
1772.52/1725.47	o 116187
1773.02/1725.91	o 116186
1773.52/1726.44	o 116185
1774.32/1727.26	o 116184
1775.33/1728.24	o 116183
1776.45/1729.39	o 116182
1777.55/1730.42	o 116181
1791.10/1743.99	o 116124
1791.50/1744.31	o 116114
1791.81/1744.64	o 116104
1793.22/1746.04	o 116103
1793.92/1746.76	o 116102
1800.04/1752.80	o 116094
1800.24/1753.06	o 116093
1800.54/1753.34	o 116092
1803.86/1756.69	o 115232
1804.56/1757.36	o 115131
1804.86/1757.63	o 115011
1809.59/1762.39	o 114911
1810.30/1763.03	o 114036
1810.40/1763.13	o 114026
1811.09/1763.80	o 114025
1815.52/1768.20	o 114016
1815.62/1768.37	o 114006
1815.82/1768.53	o 114005
1816.94/1769.69	o 114004
1823.27/1775.91	o 113995
1824.28/1776.96	o 113994
1829.02/1781.68	o 113904
1834.36/1786.96	o 113903
1844.96/1797.32	o 113902
1846.37/1798.75	o 113901
1848.70/1801.07	o 113801
1852.24/1804.51	o 113800
1866.38/1818.01	o 113799
1870.30/1821.82	o 113790
1870.70/1822.23	o 113789
1882.98/1834.42	o 113788
1886.20/1837.64	o 113689
1886.40/1837.80	o 113688
1886.61/1838.10	o 113680
1886.80/1838.23	o 113679
1887.10/1838.57	o 113678
1887.31/1838.77	o 113677
1887.72/1839.19	o 113670
1887.91/1839.35	o 113669
1888.12/1839.57	o 113668
1893.36/1844.79	o 113667
1938.68/1889.32	o 113588
1938.85/1889.45	o 113587
1939.28/1889.80	o 113586
1939.59/1890.13	o 113585
1940.00/1890.56	o 113584
1940.61/1891.11	o 113578
1940.70/1891.28	o 113577
1941.01/1891.53	o 113576
1941.41/1891.93	o 113575
1941.81/1892.38	o 113574
1942.43/1892.94	o 113573
1943.24/1893.72	o 113572
1944.04/1894.52	o 113571
1944.95/1895.41	o 113570
1946.05/1896.54	o 113569
1946.97/1897.44	o 113568
1948.28/1898.77	o 113567
1982.18/1932.04	o 113557
1982.99/1932.82	o 113487
1983.30/1933.16	o 113477
1983.70/1933.52	o 113467
1984.00/1933.89	o 113457
1987.68/1937.44	o 113456
2004.15/1953.58	o 113368
2004.35/1953.78	o 113367
2004.86/1954.11	o 113366
2005.15/1954.42	o 113365
2005.45/1954.76	o 113364
2005.78/1955.09	o 113363
2006.17/1955.40	o 113362
2006.48/1955.70	o 113361
2006.79/1956.02	o 113360
2007.39/1956.63	o 113359
2008.10/1957.37	o 113358
2009.01/1958.27	o 113357
2010.11/1959.39	o 113356
2060.99/2009.23	o 113348
2062.20/2010.45	o 113347
2101.60/2048.74	o 113339
2101.80/2048.91	o 113338
2142.53/2089.07	o 113248
2142.73/2089.21	o 113247
2143.23/2089.62	o 113246
2143.64/2090.08	o 113245
2144.16/2090.51	o 113244
2144.56/2090.92	o 113243
2145.08/2091.45	o 113242
2145.89/2092.21	o 113241
2146.89/2093.21	o 113240
2148.11/2094.50	o 113239
2149.93/2096.25	o 113238
2156.27/2102.32	o 113160
2156.37/2102.40	o 113159
2156.57/2102.64	o 113158
2156.87/2102.92	o 113150
2157.08/2103.12	o 113149
2157.27/2103.34	o 113148
2158.00/2103.92	o 113147
2158.50/2104.40	o 113146
2159.00/2104.93	o 113145
2160.19/2106.02	o 113144
2161.20/2107.05	o 113143
2162.72/2108.53	o 113142
2164.02/2109.88	o 113141
2165.54/2111.38	o 113140
2167.15/2112.98	o 113139
2252.51/2196.48	o 113130
2253.12/2197.04	o 113129
2312.06/2254.09	o 112933
2312.25/2254.24	o 112932
2312.45/2254.40	o 112931
2313.25/2255.29	o 112923
2313.45/2255.47	o 112922
2313.75/2255.73	o 112921
2400.04/2340.90	s SATISFIABLE
2400.04/2340.91	v <instantiation>
2400.04/2340.91	v 	<list>
2400.04/2340.91	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]
2400.04/2340.91	v 	</list>
2400.04/2340.91	v 	<values>
2400.04/2340.91	v 		554 792 268 30 792 554 708 470 142 380 470 708 72 310 58 296 736 498 554 792 764 526 30 268 254 16 156 394 722 484 44 282 750 512 156 394 16 254 456 694 484 722 764 526 142 380 254 16 792 554 478 240 792 554 554 792 86 324 792 554 240 478 764 526 554 792 428 666 680 442 254 16 86 324 792 554 30 268 254 16 792 554 792 554 100 338 442 680 526 764 394 156 708 470 30 268 282 44 554 792 554 792 554 792 708 470 554 792 30 268 408 170 394 156 394 156 282 44 100 338 324 86 470 708 554 792 142 380 778 540 526 764 778 540 778 540 296 58 554 792 414 652 666 428 554 792 142 380 540 778 156 394 16 254 792 554 680 442 338 100 680 442 554 792 792 554 394 156 380 142 240 478 554 792 30 268 366 128 792 554 478 240 792 554 736 498 72 310 792 554 792 554 380 142 16 254 778 540 156 394 540 778 128 366 792 554 554 792 394 156 338 100 254 16 498 736 142 380 380 142 554 792 30 268 792 554 142 380 100 338 540 778 792 554 792 554 254 16 282 44 526 764 652 414 414 652 478 240 708 470 666 428 240 478 764 526 470 708 394 156 540 778 414 652 792 554 142 380 708 470 442 680 380 142 540 778 428 666 100 338 338 100 408 170 554 792 498 736 554 792 428 666 268 30 30 268 540 778 512 750 16 254 498 736 750 512 792 554 16 254 498 736 254 16 764 526 30 268 694 456 512 750 352 114 338 100 778 540 526 764 764 526 792 554 554 792 72 310 254 16 554 792 652 414 414 652 792 554 512 750 554 792 750 512 512 750 30 268 240 478 58 296 86 324 268 30 16 254 540 778 722 484 764 526 792 554 268 30 554 792 30 268 414 652 240 478 338 100 268 30 58 296 170 408 282 44 554 792 526 764 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 1000 0 1000 1000 1000 1000 0 0 1000 0 0 0 0 1000 0 0 0 0 0 1000 1000 1000 0 0 0 0 1000 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 1000 1000 1000 0 0 1000 0 1000 0 0 1000 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 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 0 0 0 1000 0 0 0 0 1000 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 1000 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 1000 1000 0 0 0 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 0 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 1000 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 1000 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 1000 1000 0 1000 0 0 0 0 1000 1000 1000 1000 0 0 1000 0 0 0 1000 0 1000 0 0 0 1000 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 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 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 100 0 0 100 100 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 100 100 100 0 0 0 0 0 0 100 0 100 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 100 0 100 100 0 100 100 0 0 100 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 100 0 100 100 0 0 100 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 100 0 0 0 100 100 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 0 0 0 0 100 0 100 0 0 100 100 0 0 100 0 0 0 100 100 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 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 100 0 100 0 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 0 0 100 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 100 0 0 0 100 0 0 0 0 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 100 0 0 0 100 100 0 0 0 0 100 0 100 0 0 0 100 0 100 100 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 10 0 0 10 10 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 10 10 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 10 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 10 10 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 10 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 10 10 0 10 10 10 10 10 0 0 10 0 0 10 10 0 0 10 0 0 0 10 10 0 0 0 0 10 0 10 0 10 0 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 10 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 10 10 10 0 10 0 0 0 0 0 10 0 0 0 10 0 0 10 0 10 0 0 10 0 10 10 0 10 10 0 0 0 0 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 10 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 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 0 0 10 10 0 10 0 0 10 0 10 0 10 10 0 10 0 0 0 0 0 0 10 0 0 10 0 10 0 10 0 10 0 0 0 10 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 10 10 0 0 10 0 0 0 0 10 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 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 0 0 10 0 10 10 0 0 10 10 0 0 10 0 10 0 10 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 1 1 0 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 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 1 0 0 0 0 1 0 0 1 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 0 1 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 0 1 1 1 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 
2400.04/2340.91	v 	</values>
2400.04/2340.91	v </instantiation>

Verifier Data 

OK	112921

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291886-1532264521/watcher-4291886-1532264521 -o /tmp/evaluation-result-4291886-1532264521/solver-4291886-1532264521 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532262189-32666 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 321930602 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291886-1532264521.xml 

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

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

solver pid=515, runsolver pid=512

[startup+0.100425 s]*
/proc/loadavg: 1.35 1.50 1.61 3/220 531
/proc/meminfo: memFree=22234512/32770624 swapFree=67108860/67108860
[pid=515] ppid=512 vsize=14082740 memory=30436 CPUtime=0.1 cores=1,3,5,7
/proc/515/stat : 515 (java) S 512 515 32634 0 -1 1077944320 6506 0 0 0 9 1 0 0 20 0 15 0 44015243 14420725760 7609 33554432000 4194304 4196468 140724575711920 140724575694464 140468377431799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
/proc/515/statm: 3520685 7609 3135 1 0 3482761 0
[pid=515/tid=518] ppid=512 vsize=14082740 memory=7022364594140610616 CPUtime=0.08 cores=1,3,5,7
/proc/515/task/518/stat : 518 (java) R 512 515 32634 0 -1 4202560 4665 0 0 0 8 0 0 0 20 0 15 0 44015244 14420725760 7684 33554432000 4194304 4196468 140724575711920 140468381619840 140468361512286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=519] ppid=512 vsize=14082740 memory=365 CPUtime=0 cores=1,3,5,7
/proc/515/task/519/stat : 519 (java) S 512 515 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44015244 14420725760 7684 33554432000 4194304 4196468 140724575711920 140467973397264 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=520] ppid=512 vsize=14082740 memory=139906665201416 CPUtime=0 cores=1,3,5,7
/proc/515/task/520/stat : 520 (java) S 512 515 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44015244 14420725760 7684 33554432000 4194304 4196468 140724575711920 140467972344720 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=521] ppid=512 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/515/task/521/stat : 521 (java) S 512 515 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44015244 14420725760 7684 33554432000 4194304 4196468 140724575711920 140467971292176 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=522] ppid=512 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/515/task/522/stat : 522 (java) S 512 515 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44015244 14420725760 7684 33554432000 4194304 4196468 140724575711920 140467970239632 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=523] ppid=512 vsize=14082740 memory=139906665006720 CPUtime=0 cores=1,3,5,7
/proc/515/task/523/stat : 523 (java) S 512 515 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44015246 14420725760 7684 33554432000 4194304 4196468 140724575711920 140467919685616 140468377442946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=524] ppid=512 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/515/task/524/stat : 524 (java) S 512 515 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44015246 14420725760 7684 33554432000 4194304 4196468 140724575711920 140467918631840 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=525] ppid=512 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/515/task/525/stat : 525 (java) S 512 515 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44015246 14420725760 7684 33554432000 4194304 4196468 140724575711920 140467917579248 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=526] ppid=512 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/515/task/526/stat : 526 (java) S 512 515 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44015249 14420725760 7684 33554432000 4194304 4196468 140724575711920 140467916527824 140468377450395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=527] ppid=512 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/515/task/527/stat : 527 (java) S 512 515 32634 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 44015249 14420725760 7684 33554432000 4194304 4196468 140724575711920 140467915475440 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=528] ppid=512 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/515/task/528/stat : 528 (java) S 512 515 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44015249 14420725760 7684 33554432000 4194304 4196468 140724575711920 140467914422896 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=529] ppid=512 vsize=14082740 memory=139906665006720 CPUtime=0.01 cores=1,3,5,7
/proc/515/task/529/stat : 529 (java) S 512 515 32634 0 -1 1077944384 235 0 0 0 1 0 0 0 20 0 15 0 44015249 14420725760 7684 33554432000 4194304 4196468 140724575711920 140467913370352 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=530] ppid=512 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/515/task/530/stat : 530 (java) S 512 515 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44015249 14420725760 7684 33554432000 4194304 4196468 140724575711920 140467844934752 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=531] ppid=512 vsize=14082740 memory=139906665006720 CPUtime=0 cores=1,3,5,7
/proc/515/task/531/stat : 531 (java) S 512 515 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44015249 14420725760 7684 33554432000 4194304 4196468 140724575711920 140467843881264 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 30436 KiB

[startup+0.213705 s]*
/proc/loadavg: 1.35 1.50 1.61 4/220 531
/proc/meminfo: memFree=22218744/32770624 swapFree=67108860/67108860
[pid=515] ppid=512 vsize=14082740 memory=46596 CPUtime=0.29 cores=1,3,5,7
/proc/515/stat : 515 (java) S 512 515 32634 0 -1 1077944320 10230 0 0 0 27 2 0 0 20 0 15 0 44015243 14420725760 11649 33554432000 4194304 4196468 140724575711920 140724575694464 140468377431799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
/proc/515/statm: 3520685 11649 3379 1 0 3482761 0
[pid=515/tid=518] ppid=512 vsize=14082740 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/515/task/518/stat : 518 (java) R 512 515 32634 0 -1 4202560 8037 0 0 0 18 1 0 0 20 0 15 0 44015244 14420725760 11712 33554432000 4194304 4196468 140724575711920 140468381650176 140468361475429 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=519] ppid=512 vsize=14082740 memory=365 CPUtime=0 cores=1,3,5,7
/proc/515/task/519/stat : 519 (java) S 512 515 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44015244 14420725760 11712 33554432000 4194304 4196468 140724575711920 140467973397264 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=520] ppid=512 vsize=14082740 memory=139906665201416 CPUtime=0 cores=1,3,5,7
/proc/515/task/520/stat : 520 (java) S 512 515 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44015244 14420725760 11712 33554432000 4194304 4196468 140724575711920 140467972344720 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=521] ppid=512 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/515/task/521/stat : 521 (java) S 512 515 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44015244 14420725760 11712 33554432000 4194304 4196468 140724575711920 140467971292176 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=522] ppid=512 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/515/task/522/stat : 522 (java) S 512 515 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44015244 14420725760 11712 33554432000 4194304 4196468 140724575711920 140467970239632 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=523] ppid=512 vsize=14082740 memory=139906665006720 CPUtime=0 cores=1,3,5,7
/proc/515/task/523/stat : 523 (java) S 512 515 32634 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 44015246 14420725760 11712 33554432000 4194304 4196468 140724575711920 140467919685616 140468377442946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=524] ppid=512 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/515/task/524/stat : 524 (java) S 512 515 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44015246 14420725760 11712 33554432000 4194304 4196468 140724575711920 140467918631840 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=525] ppid=512 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/515/task/525/stat : 525 (java) S 512 515 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44015246 14420725760 11712 33554432000 4194304 4196468 140724575711920 140467917579248 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=526] ppid=512 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/515/task/526/stat : 526 (java) S 512 515 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44015249 14420725760 11712 33554432000 4194304 4196468 140724575711920 140467916527824 140468377450395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=527] ppid=512 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/515/task/527/stat : 527 (java) R 512 515 32634 0 -1 4202560 515 0 0 0 2 0 0 0 20 0 15 0 44015249 14420725760 11712 33554432000 4194304 4196468 140724575711920 140467915475440 140468362548956 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=528] ppid=512 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/515/task/528/stat : 528 (java) R 512 515 32634 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 15 0 44015249 14420725760 11712 33554432000 4194304 4196468 140724575711920 140467914422896 140468377442946 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=529] ppid=512 vsize=14082740 memory=139906665006720 CPUtime=0.06 cores=1,3,5,7
/proc/515/task/529/stat : 529 (java) R 512 515 32634 0 -1 4202560 300 0 0 0 6 0 0 0 20 0 15 0 44015249 14420725760 11712 33554432000 4194304 4196468 140724575711920 140467913370352 140468358805249 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=530] ppid=512 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/515/task/530/stat : 530 (java) S 512 515 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44015249 14420725760 11712 33554432000 4194304 4196468 140724575711920 140467844934752 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=531] ppid=512 vsize=14082740 memory=139906665006720 CPUtime=0 cores=1,3,5,7
/proc/515/task/531/stat : 531 (java) S 512 515 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44015249 14420725760 11712 33554432000 4194304 4196468 140724575711920 140467843881264 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46596 KiB

[startup+0.310739 s]*
/proc/loadavg: 1.35 1.50 1.61 4/220 531
/proc/meminfo: memFree=22214616/32770624 swapFree=67108860/67108860
[pid=515] ppid=512 vsize=14082740 memory=50320 CPUtime=0.43 cores=1,3,5,7
/proc/515/stat : 515 (java) S 512 515 32634 0 -1 1077944320 10696 0 0 0 40 3 0 0 20 0 15 0 44015243 14420725760 12580 33554432000 4194304 4196468 140724575711920 140724575694464 140468377431799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
/proc/515/statm: 3520685 12580 3427 1 0 3482761 0
[pid=515/tid=518] ppid=512 vsize=14082740 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/515/task/518/stat : 518 (java) R 512 515 32634 0 -1 4202560 8388 0 0 0 27 2 0 0 20 0 15 0 44015244 14420725760 12580 33554432000 4194304 4196468 140724575711920 140468381640496 140468358995286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=519] ppid=512 vsize=14082740 memory=288293255295271336 CPUtime=0 cores=1,3,5,7
/proc/515/task/519/stat : 519 (java) S 512 515 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44015244 14420725760 12580 33554432000 4194304 4196468 140724575711920 140467973397264 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=520] ppid=512 vsize=14082740 memory=218307 CPUtime=0 cores=1,3,5,7
/proc/515/task/520/stat : 520 (java) S 512 515 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44015244 14420725760 12580 33554432000 4194304 4196468 140724575711920 140467972344720 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=521] ppid=512 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/515/task/521/stat : 521 (java) S 512 515 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44015244 14420725760 12580 33554432000 4194304 4196468 140724575711920 140467971292176 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=522] ppid=512 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/515/task/522/stat : 522 (java) S 512 515 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44015244 14420725760 12580 33554432000 4194304 4196468 140724575711920 140467970239632 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=523] ppid=512 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/515/task/523/stat : 523 (java) S 512 515 32634 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 44015246 14420725760 12580 33554432000 4194304 4196468 140724575711920 140467919685616 140468377442946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=524] ppid=512 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/515/task/524/stat : 524 (java) S 512 515 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44015246 14420725760 12580 33554432000 4194304 4196468 140724575711920 140467918631840 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=525] ppid=512 vsize=14082740 memory=139906665006720 CPUtime=0 cores=1,3,5,7
/proc/515/task/525/stat : 525 (java) S 512 515 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44015246 14420725760 12580 33554432000 4194304 4196468 140724575711920 140467917579248 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=526] ppid=512 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/515/task/526/stat : 526 (java) S 512 515 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44015249 14420725760 12580 33554432000 4194304 4196468 140724575711920 140467916527824 140468377450395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=527] ppid=512 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/515/task/527/stat : 527 (java) S 512 515 32634 0 -1 1077944384 529 0 0 0 2 0 0 0 20 0 15 0 44015249 14420725760 12580 33554432000 4194304 4196468 140724575711920 140467915475440 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=528] ppid=512 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/515/task/528/stat : 528 (java) S 512 515 32634 0 -1 1077944384 82 0 0 0 2 0 0 0 20 0 15 0 44015249 14420725760 12580 33554432000 4194304 4196468 140724575711920 140467914422896 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=529] ppid=512 vsize=14082740 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/515/task/529/stat : 529 (java) S 512 515 32634 0 -1 1077944384 319 0 0 0 8 0 0 0 20 0 15 0 44015249 14420725760 12580 33554432000 4194304 4196468 140724575711920 140467913370352 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=530] ppid=512 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/515/task/530/stat : 530 (java) S 512 515 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44015249 14420725760 12580 33554432000 4194304 4196468 140724575711920 140467844934752 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=531] ppid=512 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/515/task/531/stat : 531 (java) S 512 515 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44015249 14420725760 12580 33554432000 4194304 4196468 140724575711920 140467843881264 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50320 KiB

[startup+0.70075 s]
/proc/loadavg: 1.35 1.50 1.61 3/220 531
/proc/meminfo: memFree=22192976/32770624 swapFree=67108860/67108860
[pid=515] ppid=512 vsize=14084808 memory=88944 CPUtime=0.99 cores=1,3,5,7
/proc/515/stat : 515 (java) S 512 515 32634 0 -1 1077944320 17557 0 0 0 94 5 0 0 20 0 15 0 44015243 14422843392 22236 33554432000 4194304 4196468 140724575711920 140724575694464 140468377431799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
/proc/515/statm: 3521202 22236 3504 1 0 3483273 0
[pid=515/tid=518] ppid=512 vsize=14084808 memory=203 CPUtime=0.67 cores=1,3,5,7
/proc/515/task/518/stat : 518 (java) R 512 515 32634 0 -1 4202560 14830 0 0 0 63 4 0 0 20 0 15 0 44015244 14422843392 22236 33554432000 4194304 4196468 140724575711920 140468381654352 140468361512286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=519] ppid=512 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/515/task/519/stat : 519 (java) S 512 515 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44015244 14422843392 22236 33554432000 4194304 4196468 140724575711920 140467973397264 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=520] ppid=512 vsize=14084808 memory=3828 CPUtime=0 cores=1,3,5,7
/proc/515/task/520/stat : 520 (java) S 512 515 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44015244 14422843392 22236 33554432000 4194304 4196468 140724575711920 140467972344720 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=521] ppid=512 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/515/task/521/stat : 521 (java) S 512 515 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44015244 14422843392 22236 33554432000 4194304 4196468 140724575711920 140467971292176 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=522] ppid=512 vsize=14084808 memory=23038 CPUtime=0 cores=1,3,5,7
/proc/515/task/522/stat : 522 (java) S 512 515 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44015244 14422843392 22236 33554432000 4194304 4196468 140724575711920 140467970239632 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=523] ppid=512 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/515/task/523/stat : 523 (java) S 512 515 32634 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 44015246 14422843392 22236 33554432000 4194304 4196468 140724575711920 140467919685616 140468377442946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=524] ppid=512 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/515/task/524/stat : 524 (java) S 512 515 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44015246 14422843392 22236 33554432000 4194304 4196468 140724575711920 140467918631840 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=525] ppid=512 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/515/task/525/stat : 525 (java) S 512 515 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44015246 14422843392 22236 33554432000 4194304 4196468 140724575711920 140467917579248 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=526] ppid=512 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/515/task/526/stat : 526 (java) S 512 515 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44015249 14422843392 22236 33554432000 4194304 4196468 140724575711920 140467916527824 140468377450395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=527] ppid=512 vsize=14084808 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/515/task/527/stat : 527 (java) S 512 515 32634 0 -1 1077944384 662 0 0 0 7 0 0 0 20 0 15 0 44015249 14422843392 22236 33554432000 4194304 4196468 140724575711920 140467915475440 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=528] ppid=512 vsize=14084808 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/515/task/528/stat : 528 (java) S 512 515 32634 0 -1 1077944384 264 0 0 0 8 0 0 0 20 0 15 0 44015249 14422843392 22236 33554432000 4194304 4196468 140724575711920 140467914422896 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=529] ppid=512 vsize=14084808 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/515/task/529/stat : 529 (java) S 512 515 32634 0 -1 1077944384 421 0 0 0 15 0 0 0 20 0 15 0 44015249 14422843392 22236 33554432000 4194304 4196468 140724575711920 140467913370352 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=530] ppid=512 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/515/task/530/stat : 530 (java) S 512 515 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44015249 14422843392 22236 33554432000 4194304 4196468 140724575711920 140467844934752 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=531] ppid=512 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/515/task/531/stat : 531 (java) S 512 515 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44015249 14422843392 22236 33554432000 4194304 4196468 140724575711920 140467843881264 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88944 KiB

[startup+1.50143 s]
/proc/loadavg: 1.41 1.51 1.61 6/220 531
/proc/meminfo: memFree=22135964/32770624 swapFree=67108860/67108860
[pid=515] ppid=512 vsize=14086856 memory=224208 CPUtime=3.48 cores=1,3,5,7
/proc/515/stat : 515 (java) S 512 515 32634 0 -1 1077944320 26465 0 0 0 338 10 0 0 20 0 15 0 44015243 14424940544 56052 33554432000 4194304 4196468 140724575711920 140724575694464 140468377431799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
/proc/515/statm: 3521714 56052 3568 1 0 3483785 0
[pid=515/tid=518] ppid=512 vsize=14086856 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/515/task/518/stat : 518 (java) R 512 515 32634 0 -1 4202560 17307 0 0 0 139 7 0 0 20 0 15 0 44015244 14424940544 56052 33554432000 4194304 4196468 140724575711920 140468381667648 140468002174129 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=519] ppid=512 vsize=14086856 memory=88944 CPUtime=0 cores=1,3,5,7
/proc/515/task/519/stat : 519 (java) S 512 515 32634 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 44015244 14424940544 56052 33554432000 4194304 4196468 140724575711920 140467973397264 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=520] ppid=512 vsize=14086856 memory=203 CPUtime=0 cores=1,3,5,7
/proc/515/task/520/stat : 520 (java) S 512 515 32634 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 15 0 44015244 14424940544 56052 33554432000 4194304 4196468 140724575711920 140467972344720 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=521] ppid=512 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/515/task/521/stat : 521 (java) S 512 515 32634 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 44015244 14424940544 56052 33554432000 4194304 4196468 140724575711920 140467971292176 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=522] ppid=512 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/515/task/522/stat : 522 (java) S 512 515 32634 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 44015244 14424940544 56052 33554432000 4194304 4196468 140724575711920 140467970239632 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=523] ppid=512 vsize=14086856 memory=288230617492240660 CPUtime=0 cores=1,3,5,7
/proc/515/task/523/stat : 523 (java) S 512 515 32634 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 15 0 44015246 14424940544 56052 33554432000 4194304 4196468 140724575711920 140467919685616 140468377442946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0

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

/proc/515/task/518/stat : 518 (java) R 512 515 32634 0 -1 4202560 144961 0 0 0 224196 117 0 0 20 0 15 0 44015244 14431232000 651333 33554432000 4194304 4196468 140724575711920 140468381668848 140468002627479 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=519] ppid=512 vsize=14093000 memory=2607980 CPUtime=15.34 cores=1,3,5,7
/proc/515/task/519/stat : 519 (java) S 512 515 32634 0 -1 1077944384 20084 0 0 0 1468 66 0 0 20 0 15 0 44015244 14431232000 651333 33554432000 4194304 4196468 140724575711920 140467973397264 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=520] ppid=512 vsize=14093000 memory=2358728 CPUtime=15.33 cores=1,3,5,7
/proc/515/task/520/stat : 520 (java) S 512 515 32634 0 -1 1077944384 19997 0 0 0 1465 68 0 0 20 0 15 0 44015244 14431232000 651333 33554432000 4194304 4196468 140724575711920 140467972344720 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=521] ppid=512 vsize=14093000 memory=2607980 CPUtime=15.32 cores=1,3,5,7
/proc/515/task/521/stat : 521 (java) S 512 515 32634 0 -1 1077944384 25550 0 0 0 1463 69 0 0 20 0 15 0 44015244 14431232000 651333 33554432000 4194304 4196468 140724575711920 140467971292176 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=522] ppid=512 vsize=14093000 memory=2605332 CPUtime=15.31 cores=1,3,5,7
/proc/515/task/522/stat : 522 (java) S 512 515 32634 0 -1 1077944384 24121 0 0 0 1464 67 0 0 20 0 15 0 44015244 14431232000 651333 33554432000 4194304 4196468 140724575711920 140467970239632 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=523] ppid=512 vsize=14093000 memory=0 CPUtime=2.49 cores=1,3,5,7
/proc/515/task/523/stat : 523 (java) S 512 515 32634 0 -1 1077944384 47238 0 0 0 201 48 0 0 20 0 15 0 44015246 14431232000 651333 33554432000 4194304 4196468 140724575711920 140467919685616 140468377442946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=524] ppid=512 vsize=14093000 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/515/task/524/stat : 524 (java) S 512 515 32634 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 44015246 14431232000 651333 33554432000 4194304 4196468 140724575711920 140467918631904 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=525] ppid=512 vsize=14093000 memory=3828 CPUtime=0 cores=1,3,5,7
/proc/515/task/525/stat : 525 (java) S 512 515 32634 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 44015246 14431232000 651333 33554432000 4194304 4196468 140724575711920 140467917579264 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=526] ppid=512 vsize=14093000 memory=132 CPUtime=0 cores=1,3,5,7
/proc/515/task/526/stat : 526 (java) S 512 515 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44015249 14431232000 651333 33554432000 4194304 4196468 140724575711920 140467916527824 140468377450395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=527] ppid=512 vsize=14093000 memory=2605332 CPUtime=5.28 cores=1,3,5,7
/proc/515/task/527/stat : 527 (java) S 512 515 32634 0 -1 1077944384 21956 0 0 0 525 3 0 0 20 0 15 0 44015249 14431232000 651333 33554432000 4194304 4196468 140724575711920 140467915475440 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=528] ppid=512 vsize=14093000 memory=3828 CPUtime=5 cores=1,3,5,7
/proc/515/task/528/stat : 528 (java) S 512 515 32634 0 -1 1077944384 21720 0 0 0 497 3 0 0 20 0 15 0 44015249 14431232000 651333 33554432000 4194304 4196468 140724575711920 140467914422896 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=529] ppid=512 vsize=14093000 memory=4100 CPUtime=1.8 cores=1,3,5,7
/proc/515/task/529/stat : 529 (java) S 512 515 32634 0 -1 1077944384 28147 0 0 0 176 4 0 0 20 0 15 0 44015249 14431232000 651333 33554432000 4194304 4196468 140724575711920 140467913370352 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=530] ppid=512 vsize=14093000 memory=14956 CPUtime=0 cores=1,3,5,7
/proc/515/task/530/stat : 530 (java) S 512 515 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44015249 14431232000 651333 33554432000 4194304 4196468 140724575711920 140467844934752 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=531] ppid=512 vsize=14093000 memory=2609948 CPUtime=1.3 cores=1,3,5,7
/proc/515/task/531/stat : 531 (java) S 512 515 32634 0 -1 1077944384 1056 0 0 0 59 71 0 0 20 0 15 0 44015249 14431232000 651333 33554432000 4194304 4196468 140724575711920 140467843881264 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
Current children cumulated CPU time: 2320.4 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 2605332 KiB

[startup+2322.3 s]
/proc/loadavg: 1.30 1.56 1.54 3/219 714
/proc/meminfo: memFree=16869348/32770624 swapFree=67108860/67108860
[pid=515] ppid=512 vsize=14093000 memory=2251876 CPUtime=2381.03 cores=1,3,5,7
/proc/515/stat : 515 (java) S 512 515 32634 0 -1 1077944320 362060 0 0 0 237608 495 0 0 20 0 15 0 44015243 14431232000 562969 33554432000 4194304 4196468 140724575711920 140724575694464 140468377431799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
/proc/515/statm: 3523250 562969 3624 1 0 3485321 0
[pid=515/tid=518] ppid=512 vsize=14093000 memory=2326260 CPUtime=2302.88 cores=1,3,5,7
/proc/515/task/518/stat : 518 (java) R 512 515 32634 0 -1 4202560 149565 0 0 0 230171 117 0 0 20 0 15 0 44015244 14431232000 562969 33554432000 4194304 4196468 140724575711920 140468381668960 140468002627600 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=519] ppid=512 vsize=14093000 memory=2303688 CPUtime=15.54 cores=1,3,5,7
/proc/515/task/519/stat : 519 (java) S 512 515 32634 0 -1 1077944384 20217 0 0 0 1488 66 0 0 20 0 15 0 44015244 14431232000 562969 33554432000 4194304 4196468 140724575711920 140467973397264 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=520] ppid=512 vsize=14093000 memory=2287784 CPUtime=15.52 cores=1,3,5,7
/proc/515/task/520/stat : 520 (java) S 512 515 32634 0 -1 1077944384 20230 0 0 0 1484 68 0 0 20 0 15 0 44015244 14431232000 562969 33554432000 4194304 4196468 140724575711920 140467972344720 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=521] ppid=512 vsize=14093000 memory=2277524 CPUtime=15.53 cores=1,3,5,7
/proc/515/task/521/stat : 521 (java) S 512 515 32634 0 -1 1077944384 25560 0 0 0 1484 69 0 0 20 0 15 0 44015244 14431232000 562969 33554432000 4194304 4196468 140724575711920 140467971292176 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=522] ppid=512 vsize=14093000 memory=2268292 CPUtime=15.53 cores=1,3,5,7
/proc/515/task/522/stat : 522 (java) S 512 515 32634 0 -1 1077944384 24475 0 0 0 1485 68 0 0 20 0 15 0 44015244 14431232000 562969 33554432000 4194304 4196468 140724575711920 140467970239632 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=523] ppid=512 vsize=14093000 memory=2263672 CPUtime=2.53 cores=1,3,5,7
/proc/515/task/523/stat : 523 (java) S 512 515 32634 0 -1 1077944384 47401 0 0 0 204 49 0 0 20 0 15 0 44015246 14431232000 562969 33554432000 4194304 4196468 140724575711920 140467919685616 140468377442946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=524] ppid=512 vsize=14093000 memory=2259568 CPUtime=0 cores=1,3,5,7
/proc/515/task/524/stat : 524 (java) S 512 515 32634 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 44015246 14431232000 562969 33554432000 4194304 4196468 140724575711920 140467918631904 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=525] ppid=512 vsize=14093000 memory=2255980 CPUtime=0 cores=1,3,5,7
/proc/515/task/525/stat : 525 (java) S 512 515 32634 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 44015246 14431232000 562969 33554432000 4194304 4196468 140724575711920 140467917579264 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=526] ppid=512 vsize=14093000 memory=0 CPUtime=0 cores=1,3,5,7
/proc/515/task/526/stat : 526 (java) S 512 515 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44015249 14431232000 562969 33554432000 4194304 4196468 140724575711920 140467916527824 140468377450395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=527] ppid=512 vsize=14093000 memory=2282140 CPUtime=5.28 cores=1,3,5,7
/proc/515/task/527/stat : 527 (java) S 512 515 32634 0 -1 1077944384 21958 0 0 0 525 3 0 0 20 0 15 0 44015249 14431232000 562969 33554432000 4194304 4196468 140724575711920 140467915475440 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=528] ppid=512 vsize=14093000 memory=2282140 CPUtime=5 cores=1,3,5,7
/proc/515/task/528/stat : 528 (java) S 512 515 32634 0 -1 1077944384 21975 0 0 0 497 3 0 0 20 0 15 0 44015249 14431232000 562969 33554432000 4194304 4196468 140724575711920 140467914422896 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=529] ppid=512 vsize=14093000 memory=11968 CPUtime=1.8 cores=1,3,5,7
/proc/515/task/529/stat : 529 (java) S 512 515 32634 0 -1 1077944384 28149 0 0 0 176 4 0 0 20 0 15 0 44015249 14431232000 562969 33554432000 4194304 4196468 140724575711920 140467913370352 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=530] ppid=512 vsize=14093000 memory=1696 CPUtime=0 cores=1,3,5,7
/proc/515/task/530/stat : 530 (java) S 512 515 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44015249 14431232000 562969 33554432000 4194304 4196468 140724575711920 140467844934752 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=531] ppid=512 vsize=14093000 memory=952 CPUtime=1.34 cores=1,3,5,7
/proc/515/task/531/stat : 531 (java) S 512 515 32634 0 -1 1077944384 1074 0 0 0 61 73 0 0 20 0 15 0 44015249 14431232000 562969 33554432000 4194304 4196468 140724575711920 140467843881264 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
Current children cumulated CPU time: 2381.03 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 2251876 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2340.9 s]
/proc/loadavg: 1.39 1.56 1.54 3/219 714
/proc/meminfo: memFree=16990096/32770624 swapFree=67108860/67108860
[pid=515] ppid=512 vsize=14093000 memory=2207244 CPUtime=2400.04 cores=1,3,5,7
/proc/515/stat : 515 (java) S 512 515 32634 0 -1 1077944320 363675 0 0 0 239508 496 0 0 20 0 15 0 44015243 14431232000 551811 33554432000 4194304 4196468 140724575711920 140724575694464 140468377431799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
/proc/515/statm: 3523250 551811 3624 1 0 3485321 0
[pid=515/tid=518] ppid=512 vsize=14093000 memory=2210320 CPUtime=2321.31 cores=1,3,5,7
/proc/515/task/518/stat : 518 (java) R 512 515 32634 0 -1 4202560 150460 0 0 0 232014 117 0 0 20 0 15 0 44015244 14431232000 551811 33554432000 4194304 4196468 140724575711920 140468381668992 140468005504152 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=519] ppid=512 vsize=14093000 memory=2207244 CPUtime=15.68 cores=1,3,5,7
/proc/515/task/519/stat : 519 (java) S 512 515 32634 0 -1 1077944384 20360 0 0 0 1502 66 0 0 20 0 15 0 44015244 14431232000 551811 33554432000 4194304 4196468 140724575711920 140467973397264 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=520] ppid=512 vsize=14093000 memory=2207244 CPUtime=15.66 cores=1,3,5,7
/proc/515/task/520/stat : 520 (java) S 512 515 32634 0 -1 1077944384 20376 0 0 0 1498 68 0 0 20 0 15 0 44015244 14431232000 551811 33554432000 4194304 4196468 140724575711920 140467972344720 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=521] ppid=512 vsize=14093000 memory=2210320 CPUtime=15.65 cores=1,3,5,7
/proc/515/task/521/stat : 521 (java) S 512 515 32634 0 -1 1077944384 25773 0 0 0 1496 69 0 0 20 0 15 0 44015244 14431232000 551811 33554432000 4194304 4196468 140724575711920 140467971292176 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=522] ppid=512 vsize=14093000 memory=2212372 CPUtime=15.66 cores=1,3,5,7
/proc/515/task/522/stat : 522 (java) S 512 515 32634 0 -1 1077944384 24688 0 0 0 1498 68 0 0 20 0 15 0 44015244 14431232000 551811 33554432000 4194304 4196468 140724575711920 140467970239632 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=523] ppid=512 vsize=14093000 memory=2212372 CPUtime=2.54 cores=1,3,5,7
/proc/515/task/523/stat : 523 (java) S 512 515 32634 0 -1 1077944384 47404 0 0 0 205 49 0 0 20 0 15 0 44015246 14431232000 551811 33554432000 4194304 4196468 140724575711920 140467919685616 140468377442946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=524] ppid=512 vsize=14093000 memory=2326260 CPUtime=0 cores=1,3,5,7
/proc/515/task/524/stat : 524 (java) S 512 515 32634 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 44015246 14431232000 551811 33554432000 4194304 4196468 140724575711920 140467918631904 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=525] ppid=512 vsize=14093000 memory=2216476 CPUtime=0 cores=1,3,5,7
/proc/515/task/525/stat : 525 (java) S 512 515 32634 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 44015246 14431232000 551811 33554432000 4194304 4196468 140724575711920 140467917579264 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=526] ppid=512 vsize=14093000 memory=2207244 CPUtime=0 cores=1,3,5,7
/proc/515/task/526/stat : 526 (java) S 512 515 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44015249 14431232000 551811 33554432000 4194304 4196468 140724575711920 140467916527824 140468377450395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=527] ppid=512 vsize=14093000 memory=0 CPUtime=5.28 cores=1,3,5,7
/proc/515/task/527/stat : 527 (java) S 512 515 32634 0 -1 1077944384 21958 0 0 0 525 3 0 0 20 0 15 0 44015249 14431232000 551811 33554432000 4194304 4196468 140724575711920 140467915475440 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=528] ppid=512 vsize=14093000 memory=2212372 CPUtime=5 cores=1,3,5,7
/proc/515/task/528/stat : 528 (java) S 512 515 32634 0 -1 1077944384 21975 0 0 0 497 3 0 0 20 0 15 0 44015249 14431232000 551811 33554432000 4194304 4196468 140724575711920 140467914422896 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=529] ppid=512 vsize=14093000 memory=1232 CPUtime=1.8 cores=1,3,5,7
/proc/515/task/529/stat : 529 (java) S 512 515 32634 0 -1 1077944384 28149 0 0 0 176 4 0 0 20 0 15 0 44015249 14431232000 551811 33554432000 4194304 4196468 140724575711920 140467913370352 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=530] ppid=512 vsize=14093000 memory=2210320 CPUtime=0 cores=1,3,5,7
/proc/515/task/530/stat : 530 (java) S 512 515 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44015249 14431232000 551811 33554432000 4194304 4196468 140724575711920 140467844934752 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=531] ppid=512 vsize=14093000 memory=1232 CPUtime=1.35 cores=1,3,5,7
/proc/515/task/531/stat : 531 (java) S 512 515 32634 0 -1 1077944384 1076 0 0 0 61 74 0 0 20 0 15 0 44015249 14431232000 551811 33554432000 4194304 4196468 140724575711920 140467843881264 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 2207244 KiB

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

[startup+2340.94 s]
# the end of solver process 515 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2395.11 s, system=4.98143 s

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

[startup+2340.9 s]
/proc/loadavg: 1.39 1.56 1.54 3/219 714
/proc/meminfo: memFree=16990096/32770624 swapFree=67108860/67108860
[pid=515] ppid=512 vsize=14093000 memory=2207244 CPUtime=2400.04 cores=1,3,5,7
/proc/515/stat : 515 (java) S 512 515 32634 0 -1 1077944320 363675 0 0 0 239508 496 0 0 20 0 15 0 44015243 14431232000 551811 33554432000 4194304 4196468 140724575711920 140724575694464 140468377431799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
/proc/515/statm: 3523250 551811 3624 1 0 3485321 0
[pid=515/tid=518] ppid=512 vsize=14093000 memory=2210320 CPUtime=2321.31 cores=1,3,5,7
/proc/515/task/518/stat : 518 (java) R 512 515 32634 0 -1 4202560 150460 0 0 0 232014 117 0 0 20 0 15 0 44015244 14431232000 551811 33554432000 4194304 4196468 140724575711920 140468381668992 140468005504152 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=519] ppid=512 vsize=14093000 memory=2207244 CPUtime=15.68 cores=1,3,5,7
/proc/515/task/519/stat : 519 (java) S 512 515 32634 0 -1 1077944384 20360 0 0 0 1502 66 0 0 20 0 15 0 44015244 14431232000 551811 33554432000 4194304 4196468 140724575711920 140467973397264 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=520] ppid=512 vsize=14093000 memory=2207244 CPUtime=15.66 cores=1,3,5,7
/proc/515/task/520/stat : 520 (java) S 512 515 32634 0 -1 1077944384 20376 0 0 0 1498 68 0 0 20 0 15 0 44015244 14431232000 551811 33554432000 4194304 4196468 140724575711920 140467972344720 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=521] ppid=512 vsize=14093000 memory=2210320 CPUtime=15.65 cores=1,3,5,7
/proc/515/task/521/stat : 521 (java) S 512 515 32634 0 -1 1077944384 25773 0 0 0 1496 69 0 0 20 0 15 0 44015244 14431232000 551811 33554432000 4194304 4196468 140724575711920 140467971292176 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=522] ppid=512 vsize=14093000 memory=2212372 CPUtime=15.66 cores=1,3,5,7
/proc/515/task/522/stat : 522 (java) S 512 515 32634 0 -1 1077944384 24688 0 0 0 1498 68 0 0 20 0 15 0 44015244 14431232000 551811 33554432000 4194304 4196468 140724575711920 140467970239632 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=523] ppid=512 vsize=14093000 memory=2212372 CPUtime=2.54 cores=1,3,5,7
/proc/515/task/523/stat : 523 (java) S 512 515 32634 0 -1 1077944384 47404 0 0 0 205 49 0 0 20 0 15 0 44015246 14431232000 551811 33554432000 4194304 4196468 140724575711920 140467919685616 140468377442946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=524] ppid=512 vsize=14093000 memory=2326260 CPUtime=0 cores=1,3,5,7
/proc/515/task/524/stat : 524 (java) S 512 515 32634 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 44015246 14431232000 551811 33554432000 4194304 4196468 140724575711920 140467918631904 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=525] ppid=512 vsize=14093000 memory=2216476 CPUtime=0 cores=1,3,5,7
/proc/515/task/525/stat : 525 (java) S 512 515 32634 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 44015246 14431232000 551811 33554432000 4194304 4196468 140724575711920 140467917579264 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=526] ppid=512 vsize=14093000 memory=2207244 CPUtime=0 cores=1,3,5,7
/proc/515/task/526/stat : 526 (java) S 512 515 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44015249 14431232000 551811 33554432000 4194304 4196468 140724575711920 140467916527824 140468377450395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=527] ppid=512 vsize=14093000 memory=0 CPUtime=5.28 cores=1,3,5,7
/proc/515/task/527/stat : 527 (java) S 512 515 32634 0 -1 1077944384 21958 0 0 0 525 3 0 0 20 0 15 0 44015249 14431232000 551811 33554432000 4194304 4196468 140724575711920 140467915475440 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=528] ppid=512 vsize=14093000 memory=2212372 CPUtime=5 cores=1,3,5,7
/proc/515/task/528/stat : 528 (java) S 512 515 32634 0 -1 1077944384 21975 0 0 0 497 3 0 0 20 0 15 0 44015249 14431232000 551811 33554432000 4194304 4196468 140724575711920 140467914422896 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=529] ppid=512 vsize=14093000 memory=1232 CPUtime=1.8 cores=1,3,5,7
/proc/515/task/529/stat : 529 (java) S 512 515 32634 0 -1 1077944384 28149 0 0 0 176 4 0 0 20 0 15 0 44015249 14431232000 551811 33554432000 4194304 4196468 140724575711920 140467913370352 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=530] ppid=512 vsize=14093000 memory=2210320 CPUtime=0 cores=1,3,5,7
/proc/515/task/530/stat : 530 (java) S 512 515 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44015249 14431232000 551811 33554432000 4194304 4196468 140724575711920 140467844934752 140468377442005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
[pid=515/tid=531] ppid=512 vsize=14093000 memory=1232 CPUtime=1.35 cores=1,3,5,7
/proc/515/task/531/stat : 531 (java) S 512 515 32634 0 -1 1077944384 1076 0 0 0 61 74 0 0 20 0 15 0 44015249 14431232000 551811 33554432000 4194304 4196468 140724575711920 140467843881264 140468377442946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20619264 140724575720533 140724575720713 140724575720713 140724575723471 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 2207244 KiB

Child status: 143
Real time (s): 2340.94
CPU time (s): 2400.09
CPU user time (s): 2395.11
CPU system time (s): 4.98143
CPU usage (%): 102.527
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 2821632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.11
system time used= 4.98143
maximum resident set size= 2823772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 364398
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102483
involuntary context switches= 5171


# summary of solver processes directly reported to runsolver:
#   pid: 515
#   total CPU time (s): 2400.09
#   total CPU user time (s): 2395.11
#   total CPU system time (s): 4.98143

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3973 second user time and 22.8913 second system time

The end

Launcher Data 

Begin job on node135 at 2018-07-22 15:02:01
IDJOB=4291886
IDBENCH=141194
IDSOLVER=2746
FILE ID=node135/4291886-1532264521
RUNJOBID= node135-1532262189-32666
PBS_JOBID= 21018977
Free space on /tmp= 52900 MiB

SOLVER NAME= OscaR - Hybrid 2018-07-02
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-4291886-1532264521/watcher-4291886-1532264521 -o /tmp/evaluation-result-4291886-1532264521/solver-4291886-1532264521 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532262189-32666 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 321930602 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291886-1532264521.xml

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

MD5SUM BENCH= e2f0d6978164174a80e953d0a2a49c7e
RANDOM SEED=321930602

node135.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.50
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.50
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.50
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.50
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:        22252812 kB
MemAvailable:   30816224 kB
Buffers:          159720 kB
Cached:          8607980 kB
SwapCached:            0 kB
Active:          2558852 kB
Inactive:        7383944 kB
Active(anon):    1124812 kB
Inactive(anon):    69912 kB
Active(file):    1434040 kB
Inactive(file):  7314032 kB
Unevictable:        7188 kB
Mlocked:            7188 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35756 kB
Writeback:             0 kB
AnonPages:       1173992 kB
Mapped:            49264 kB
Shmem:             17056 kB
Slab:             271428 kB
SReclaimable:     243800 kB
SUnreclaim:        27628 kB
KernelStack:        3888 kB
PageTables:         7604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1815932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1054720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 52864 MiB
End job on node135 at 2018-07-22 15:41:02