Trace number 4292050

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2018-07-02SAT (TO)241978164 19905.7 2520.35

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-18-0350_c18.xml
MD5SUM970c879d9e656f0525c6818b69538b39
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark162507055
Best CPU time to get the best result obtained on this benchmark2436.88
Satisfiable
(Un)Satisfiability was proved
Number of variables4976
Number of constraints3812
Number of domains49
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":4},{"size":2,"count":1771},{"size":11,"count":1425},{"size":12,"count":1},{"size":21,"count":54},{"size":22,"count":3},{"size":26,"count":5},{"size":27,"count":67},{"size":35,"count":51},{"size":41,"count":8},{"size":42,"count":5},{"size":43,"count":24},{"size":46,"count":13},{"size":47,"count":27},{"size":49,"count":29},{"size":55,"count":18},{"size":69,"count":6},{"size":75,"count":20},{"size":78,"count":3},{"size":82,"count":2},{"size":83,"count":66},{"size":85,"count":10},{"size":86,"count":78},{"size":88,"count":4},{"size":103,"count":37},{"size":111,"count":78},{"size":123,"count":7},{"size":129,"count":11},{"size":134,"count":14},{"size":135,"count":123},{"size":142,"count":28},{"size":143,"count":195},{"size":150,"count":69},{"size":151,"count":720}]
Minimum variable degree2
Maximum variable degree1426
Distribution of variable degrees[{"degree":2,"count":4277},{"degree":3,"count":4},{"degree":4,"count":14},{"degree":5,"count":20},{"degree":6,"count":25},{"degree":7,"count":40},{"degree":8,"count":48},{"degree":9,"count":61},{"degree":10,"count":81},{"degree":11,"count":74},{"degree":12,"count":95},{"degree":13,"count":88},{"degree":14,"count":68},{"degree":15,"count":55},{"degree":16,"count":21},{"degree":17,"count":4},{"degree":1426,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":962},{"arity":3,"count":1425},{"arity":6,"count":1425}]
Number of extensional constraints1425
Number of intensional constraints2387
Distribution of constraint types[{"type":"extension","count":1425},{"type":"intension","count":2387}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.67/0.55	c version: 2018-07-02
0.67/0.55	c seed: 1952665522
0.67/0.55	c timeout: 20160
0.67/0.55	c memlimit: 22000
0.67/0.55	c nbcore: 8
0.67/0.58	c Parsing instance...
21.73/12.24	c Parsing done, starting search...
238.08/52.45	o 242562796
238.92/52.55	o 242562795
238.92/52.58	o 242562788
239.61/52.67	o 242548536
239.61/52.70	o 242548528
240.46/52.75	o 242534276
240.46/52.77	o 242534268
241.30/52.83	o 242520023
241.30/52.86	o 242520022
241.30/52.86	o 242520015
241.30/52.90	o 242520008
242.04/52.95	o 242505781
242.04/52.98	o 242505773
242.75/53.00	o 242505772
242.75/53.01	o 242505766
242.75/53.02	o 242505764
242.75/53.04	o 242505763
242.75/53.04	o 242505757
242.75/53.06	o 242505755
242.75/53.08	o 242505748
243.58/53.13	o 242491521
243.58/53.13	o 242491512
243.58/53.15	o 242491504
243.58/53.17	o 242491497
244.30/53.20	o 242491495
244.30/53.23	o 242491488
244.30/53.27	o 242477261
244.30/53.28	o 242477252
244.30/53.29	o 242477244
245.05/53.30	o 242477237
245.05/53.32	o 242477235
245.05/53.35	o 242477228
245.05/53.39	o 242462993
245.85/53.41	o 242462986
245.85/53.43	o 242462984
245.85/53.45	o 242462977
245.85/53.47	o 242462975
245.85/53.49	o 242462968
246.62/53.53	o 242448749
246.62/53.53	o 242448741
246.62/53.54	o 242448733
246.62/53.55	o 242448726
246.62/53.60	o 242448725
247.30/53.61	o 242448724
247.30/53.62	o 242448717
247.30/53.64	o 242448716
247.30/53.66	o 242448715
247.30/53.67	o 242448708
247.30/53.71	o 242434472
248.15/53.72	o 242434471
248.15/53.72	o 242434465
248.15/53.73	o 242434464
248.15/53.74	o 242434457
248.15/53.76	o 242434455
248.15/53.78	o 242434448
248.96/53.82	o 242420229
248.96/53.83	o 242420225
248.96/53.84	o 242420223
248.96/53.85	o 242420220
248.96/53.86	o 242420213
248.96/53.87	o 242420212
248.96/53.88	o 242420211
248.96/53.89	o 242420210
249.65/53.90	o 242420208
249.65/53.90	o 242420205
249.65/53.92	o 242420203
249.65/53.93	o 242420201
249.65/53.93	o 242420196
249.65/53.98	o 242420195
249.65/54.00	o 242420188
250.44/54.03	o 242405969
250.44/54.04	o 242405968
250.44/54.05	o 242405965
250.44/54.05	o 242405952
250.44/54.08	o 242405951
250.44/54.08	o 242405950
250.44/54.09	o 242405945
251.16/54.10	o 242405943
251.16/54.11	o 242405941
251.16/54.12	o 242405939
251.16/54.12	o 242405936
251.16/54.15	o 242405935
251.16/54.17	o 242405928
251.88/54.21	o 242391709
251.88/54.21	o 242391692
251.88/54.24	o 242391685
251.88/54.25	o 242391683
251.88/54.26	o 242391677
251.88/54.27	o 242391676
251.88/54.28	o 242391675
251.88/54.29	o 242391673
251.88/54.30	o 242391668
252.69/54.34	o 242377458
252.69/54.34	o 242377441
252.69/54.36	o 242377434
252.69/54.37	o 242377432
252.69/54.39	o 242377428
252.69/54.39	o 242377425
253.45/54.41	o 242377424
253.45/54.42	o 242377422
253.45/54.43	o 242377417
253.45/54.47	o 242363199
253.45/54.48	o 242363190
253.45/54.49	o 242363183
254.23/54.51	o 242363182
254.23/54.51	o 242363180
254.23/54.52	o 242363175
254.23/54.54	o 242363174
254.23/54.54	o 242363172
254.23/54.56	o 242363170
254.23/54.58	o 242363167
260.58/55.38	o 242363166
260.58/55.40	o 242348931
261.38/55.41	o 242348924
261.38/55.43	o 242348922
261.38/55.44	o 242348915
261.38/55.46	o 242348914
261.38/55.48	o 242348907
266.17/56.04	o 242348906
266.17/56.07	o 242348905
266.17/56.08	o 242348898
266.96/56.10	o 242334671
266.96/56.11	o 242334662
266.96/56.12	o 242334655
266.96/56.14	o 242334654
266.96/56.15	o 242334647
270.15/56.54	o 242320427
270.15/56.55	o 242320418
270.15/56.57	o 242320411
270.15/56.58	o 242320410
270.15/56.60	o 242320403
270.95/56.62	o 242320401
270.95/56.64	o 242320395
270.95/56.67	o 242320393
270.95/56.69	o 242320387
272.61/56.81	o 242306167
272.61/56.82	o 242306158
272.61/56.83	o 242306151
272.61/56.85	o 242306150
272.61/56.87	o 242306143
272.61/56.89	o 242306141
273.34/56.91	o 242306135
273.34/56.95	o 242306133
273.34/56.96	o 242306132
273.34/56.97	o 242306127
274.93/57.14	o 242291917
274.93/57.15	o 242291908
274.93/57.17	o 242291901
274.93/57.18	o 242291900
275.73/57.20	o 242291893
275.73/57.22	o 242291891
275.73/57.24	o 242291885
275.73/57.27	o 242291883
275.73/57.30	o 242291877
277.33/57.47	o 242277657
277.33/57.48	o 242277648
277.33/57.50	o 242277641
278.12/57.52	o 242277640
278.12/57.54	o 242277633
278.12/57.57	o 242277631
278.12/57.60	o 242277625
278.92/57.64	o 242277623
278.92/57.65	o 242277622
278.92/57.66	o 242277617
280.58/57.89	o 242263397
281.31/57.91	o 242263388
281.31/57.92	o 242263381
281.31/57.94	o 242263380
281.31/57.96	o 242263373
281.31/57.99	o 242263371
282.08/58.02	o 242263365
282.08/58.06	o 242263363
282.08/58.08	o 242263357
286.87/58.67	o 242249128
286.87/58.68	o 242249121
286.87/58.70	o 242249120
287.71/58.72	o 242249113
287.71/58.75	o 242249111
287.71/58.78	o 242249105
288.51/58.81	o 242249103
288.51/58.83	o 242249097
292.43/59.39	o 242234868
293.23/59.40	o 242234861
293.23/59.42	o 242234860
293.23/59.44	o 242234853
293.23/59.47	o 242234851
293.23/59.49	o 242234845
294.03/59.53	o 242234843
294.03/59.55	o 242234837
298.80/60.11	o 242220618
298.80/60.12	o 242220611
298.80/60.15	o 242220610
298.80/60.16	o 242220603
298.80/60.19	o 242220601
299.60/60.22	o 242220595
299.60/60.25	o 242220593
299.60/60.28	o 242220587
301.99/60.51	o 242206368
301.99/60.53	o 242206361
301.99/60.55	o 242206360
301.99/60.57	o 242206353
302.79/60.61	o 242206351
302.79/60.63	o 242206345
302.79/60.66	o 242206343
302.79/60.69	o 242206337
333.04/64.43	o 242206335
333.04/64.46	o 242206333
333.04/64.48	o 242206327
333.84/64.52	o 242192117
333.84/64.52	o 242192108
333.84/64.53	o 242192101
333.84/64.55	o 242192100
333.84/64.57	o 242192093
334.64/64.61	o 242192091
334.64/64.63	o 242192085
334.64/64.66	o 242192083
334.64/64.68	o 242192077
345.80/66.07	o 242192075
345.80/66.10	o 242192073
346.59/66.13	o 242192067
346.59/66.17	o 242177857
346.59/66.18	o 242177848
346.59/66.19	o 242177841
346.59/66.20	o 242177840
347.44/66.22	o 242177833
347.44/66.25	o 242177831
347.44/66.27	o 242177825
347.44/66.30	o 242177823
348.26/66.32	o 242177817
884.54/133.66	o 242177816
884.54/133.70	o 242177815
885.40/133.72	o 242177814
885.40/133.74	o 242177807
1055.86/155.20	o 242163605
1055.86/155.20	o 242163596
1056.67/155.21	o 242163587
1056.67/155.22	o 242163580
1056.67/155.23	o 242163579
1056.67/155.25	o 242163572
1056.67/155.27	o 242163571
1056.67/155.28	o 242163570
1056.67/155.29	o 242163563
1057.53/155.31	o 242163561
1057.53/155.34	o 242163555
1057.53/155.37	o 242163553
1057.53/155.39	o 242163547
1175.41/170.13	o 242163543
1175.41/170.15	o 242163542
1176.20/170.20	o 242163540
1176.20/170.22	o 242163534
1176.20/170.26	o 242163533
1244.86/178.84	o 242149345
1244.86/178.85	o 242149336
1244.86/178.86	o 242149327
1244.86/178.87	o 242149320
1244.86/178.88	o 242149319
1244.86/178.90	o 242149312
1245.61/178.92	o 242149311
1245.61/178.94	o 242149310
1245.61/178.94	o 242149303
1245.61/178.96	o 242149301
1245.61/178.98	o 242149295
1246.38/179.01	o 242149293
1246.38/179.03	o 242149287
1246.38/179.07	o 242149282
1246.38/179.10	o 242149280
1247.18/179.12	o 242149274
1247.18/179.14	o 242149273
1672.92/232.59	o 242149272
1674.58/232.78	o 242149271
1674.58/232.79	o 242149270
1674.58/232.80	o 242149268
1675.46/232.82	o 242149265
1675.46/232.85	o 242149264
2105.85/286.81	o 242135068
2105.85/286.82	o 242135064
2105.85/286.83	o 242135062
2105.85/286.84	o 242135059
2105.85/286.85	o 242135055
2105.85/286.86	o 242135053
2105.85/286.86	o 242135050
2105.85/286.88	o 242135049
2105.85/286.89	o 242135046
2105.85/286.90	o 242135042
2105.85/286.90	o 242135040
2106.63/286.92	o 242135037
2106.63/286.94	o 242135036
2106.63/286.95	o 242135034
2106.63/286.96	o 242135032
2106.63/286.97	o 242135029
2106.63/286.98	o 242135028
2107.38/287.01	o 242135026
2107.38/287.02	o 242135024
2107.38/287.03	o 242135021
2107.38/287.04	o 242135020
2107.38/287.06	o 242135019
2107.38/287.08	o 242135017
2107.38/287.09	o 242135014
2107.38/287.10	o 242135013
2111.36/287.55	o 242135012
2112.16/287.62	o 242135010
2112.16/287.63	o 242135008
2112.16/287.64	o 242135005
2112.16/287.67	o 242135004
2163.93/294.14	o 242120802
2163.93/294.15	o 242120793
2163.93/294.16	o 242120791
2163.93/294.17	o 242120789
2163.93/294.19	o 242120786
2163.93/294.20	o 242120782
2163.93/294.20	o 242120780
2164.72/294.22	o 242120779
2164.72/294.23	o 242120778
2164.72/294.23	o 242120774
2164.72/294.24	o 242120772
2164.72/294.26	o 242120769
2164.72/294.28	o 242120768
2165.52/294.30	o 242120766
2165.52/294.31	o 242120764
2165.52/294.33	o 242120761
2165.52/294.34	o 242120760
2165.52/294.36	o 242120759
2165.52/294.37	o 242120757
2165.52/294.39	o 242120754
2166.32/294.40	o 242120753
2182.26/296.42	o 242120752
2182.26/296.44	o 242120751
2182.26/296.45	o 242120750
2182.26/296.46	o 242120748
2182.26/296.48	o 242120745
2182.26/296.49	o 242120744
3120.55/414.11	o 242106559
3120.55/414.12	o 242106555
3120.55/414.13	o 242106553
3120.55/414.13	o 242106550
3120.55/414.14	o 242106549
3120.55/414.15	o 242106545
3120.55/414.16	o 242106543
3120.55/414.17	o 242106540
3120.55/414.19	o 242106536
3120.55/414.20	o 242106534
3120.55/414.20	o 242106531
3121.42/414.22	o 242106527
3121.42/414.23	o 242106525
3121.42/414.23	o 242106522
3121.42/414.25	o 242106520
3121.42/414.26	o 242106518
3121.42/414.27	o 242106515
3122.14/414.32	o 242106514
3122.14/414.33	o 242106511
3122.14/414.36	o 242106509
3122.14/414.38	o 242106507
3122.14/414.39	o 242106505
3122.14/414.40	o 242106502
3122.99/414.42	o 242106501
3122.99/414.44	o 242106500
3123.77/414.55	o 242106499
3123.77/414.57	o 242106497
3123.77/414.58	o 242106496
3124.53/414.60	o 242106494
3124.53/414.62	o 242106493
3137.29/416.24	o 242106492
3138.08/416.36	o 242106491
3138.08/416.38	o 242106490
3138.08/416.39	o 242106488
3138.08/416.40	o 242106485
3138.92/416.42	o 242106484
3345.32/442.40	o 242092316
3346.12/442.41	o 242092308
3346.12/442.42	o 242092307
3346.12/442.42	o 242092299
3346.12/442.44	o 242092297
3346.12/442.45	o 242092289
3346.12/442.46	o 242092285
3346.12/442.47	o 242092284
3346.12/442.48	o 242092276
3346.93/442.50	o 242092271
3346.93/442.51	o 242092267
3346.93/442.53	o 242092265
3346.93/442.55	o 242092262
3346.93/442.59	o 242092259
3347.74/442.61	o 242092257
3347.74/442.63	o 242092254
3350.90/443.02	o 242092250
3350.90/443.04	o 242092248
3350.90/443.05	o 242092245
3366.05/444.95	o 242092243
3366.05/444.96	o 242092241
3366.05/444.97	o 242092238
3381.27/446.88	o 242092237
3381.27/446.89	o 242092235
3381.99/446.90	o 242092234
3381.99/446.92	o 242092232
3381.99/446.93	o 242092231
3415.49/451.18	o 242092230
3415.49/451.19	o 242092228
3415.49/451.20	o 242092227
3416.31/451.22	o 242092225
3416.31/451.24	o 242092224
3668.89/482.95	o 242078061
3668.89/482.96	o 242078052
3668.89/482.97	o 242078043
3668.89/482.98	o 242078042
3668.89/482.99	o 242078033
3668.89/483.00	o 242078032
3669.74/483.01	o 242078025
3669.74/483.03	o 242078023
3669.74/483.04	o 242078020
3669.74/483.05	o 242078019
3669.74/483.07	o 242078016
3669.74/483.07	o 242078012
3669.74/483.09	o 242078010
3669.74/483.10	o 242078007
3670.53/483.12	o 242078004
3670.53/483.13	o 242078002
3670.53/483.14	o 242077999
3670.53/483.17	o 242077996
3670.53/483.19	o 242077994
3671.35/483.21	o 242077991
3672.90/483.41	o 242077990
3677.66/484.04	o 242077989
3677.66/484.05	o 242077987
3677.66/484.07	o 242077984
3679.26/484.29	o 242077983
3731.96/490.90	o 242077982
3733.45/491.02	o 242077981
3733.45/491.04	o 242077980
3733.45/491.05	o 242077978
3733.45/491.06	o 242077975
3733.45/491.08	o 242077974
3826.80/502.79	o 242063797
3826.80/502.80	o 242063793
3826.80/502.81	o 242063791
3827.60/502.82	o 242063788
3827.60/502.83	o 242063787
3827.60/502.84	o 242063783
3827.60/502.85	o 242063781
3827.60/502.86	o 242063778
3827.60/502.87	o 242063774
3827.60/502.89	o 242063772
3827.60/502.90	o 242063769
3828.33/502.91	o 242063766
3828.33/502.93	o 242063764
3828.33/502.94	o 242063761
3828.33/502.95	o 242063760
3828.33/502.96	o 242063757
3828.33/502.98	o 242063755
3828.33/502.99	o 242063752
3828.33/503.00	o 242063751
3829.13/503.01	o 242063748
3829.13/503.02	o 242063746
3829.13/503.03	o 242063743
3829.13/503.06	o 242063740
3829.13/503.07	o 242063738
3829.13/503.09	o 242063735
3833.92/503.61	o 242063727
3833.92/503.65	o 242063725
3833.92/503.68	o 242063722
3833.92/503.70	o 242063721
3924.82/515.07	o 242063720
3924.82/515.08	o 242063718
3925.60/515.10	o 242063715
3925.60/515.12	o 242063714
4192.48/548.70	o 242049545
4193.34/548.71	o 242049541
4193.34/548.72	o 242049536
4193.34/548.72	o 242049532
4193.34/548.73	o 242049527
4193.34/548.74	o 242049523
4193.34/548.75	o 242049517
4193.34/548.76	o 242049513
4193.34/548.77	o 242049512
4193.34/548.78	o 242049505
4193.34/548.79	o 242049503
4193.34/548.81	o 242049500
4194.19/548.82	o 242049499
4194.19/548.83	o 242049496
4194.19/548.84	o 242049492
4194.19/548.86	o 242049490
4194.19/548.87	o 242049487
4194.19/548.88	o 242049484
4194.88/548.90	o 242049482
4194.88/548.91	o 242049479
4194.88/548.94	o 242049476
4194.88/548.95	o 242049474
4194.88/548.96	o 242049471
4197.27/549.21	o 242049470
4202.85/549.91	o 242049469
4202.85/549.93	o 242049467
4202.85/549.94	o 242049464
4204.44/550.18	o 242049463
4261.02/557.20	o 242049462
4262.61/557.43	o 242049461
4262.61/557.45	o 242049460
4262.61/557.46	o 242049458
4262.61/557.47	o 242049455
4262.61/557.49	o 242049454
4357.49/569.36	o 242035259
4357.49/569.37	o 242035255
4357.49/569.38	o 242035253
4357.49/569.39	o 242035250
4357.49/569.40	o 242035249
4358.34/569.41	o 242035245
4358.34/569.41	o 242035243
4358.34/569.42	o 242035240
4358.34/569.44	o 242035237
4358.34/569.45	o 242035235
4358.34/569.46	o 242035232
4358.34/569.47	o 242035231
4358.34/569.48	o 242035228
4358.34/569.49	o 242035226
4358.34/569.50	o 242035223
4359.14/569.53	o 242035220
4359.14/569.54	o 242035218
4359.14/569.55	o 242035215
4362.28/569.94	o 242035211
4362.28/569.95	o 242035207
4362.28/569.98	o 242035205
4363.07/570.00	o 242035202
4363.07/570.03	o 242035201
4414.83/576.57	o 242035200
4414.83/576.58	o 242035198
4414.83/576.60	o 242035195
4415.65/576.61	o 242035194
4643.65/605.28	o 242021008
4643.65/605.29	o 242021004
4643.65/605.29	o 242021002
4643.65/605.31	o 242020994
4644.51/605.31	o 242020992
4644.51/605.33	o 242020984
4644.51/605.34	o 242020983
4644.51/605.35	o 242020975
4644.51/605.37	o 242020974
4644.51/605.38	o 242020966
4644.51/605.39	o 242020964
4644.51/605.40	o 242020962
4645.30/605.42	o 242020961
4645.30/605.43	o 242020959
4645.30/605.45	o 242020955
4645.30/605.45	o 242020953
4645.30/605.47	o 242020950
4645.30/605.49	o 242020949
4646.04/605.51	o 242020947
4646.04/605.52	o 242020945
4646.04/605.54	o 242020942
4646.04/605.56	o 242020941
4647.69/605.71	o 242020940
4647.69/605.72	o 242020938
4647.69/605.74	o 242020935
4647.69/605.76	o 242020934
7814.84/1003.16	o 242006751
7814.84/1003.18	o 242006741
7814.84/1003.19	o 242006740
7815.56/1003.20	o 242006733
7815.56/1003.22	o 242006730
7815.56/1003.23	o 242006728
7815.56/1003.24	o 242006727
7815.56/1003.25	o 242006720
7815.56/1003.26	o 242006717
7815.56/1003.28	o 242006714
7815.56/1003.29	o 242006712
7816.38/1003.30	o 242006709
7816.38/1003.32	o 242006706
7816.38/1003.33	o 242006704
7816.38/1003.34	o 242006701
7821.14/1003.97	o 242006699
7821.14/1003.97	o 242006697
7821.14/1003.99	o 242006694
7824.36/1004.31	o 242006693
7846.65/1007.16	o 242006692
7848.24/1007.39	o 242006690
7848.24/1007.40	o 242006688
7849.10/1007.41	o 242006685
7851.52/1007.75	o 242006684
12747.30/1621.86	o 241992506
12747.30/1621.87	o 241992502
12747.30/1621.88	o 241992497
12747.30/1621.89	o 241992493
12747.30/1621.89	o 241992487
12747.30/1621.90	o 241992483
12748.07/1621.92	o 241992482
12748.07/1621.94	o 241992479
12748.07/1621.94	o 241992475
12748.07/1621.95	o 241992473
12748.07/1621.97	o 241992470
12748.07/1621.98	o 241992469
12748.83/1622.01	o 241992467
12748.83/1622.02	o 241992465
12748.83/1622.02	o 241992462
12749.62/1622.14	o 241992461
12749.62/1622.16	o 241992459
12749.62/1622.16	o 241992457
12749.62/1622.17	o 241992454
12767.15/1624.36	o 241992452
12767.15/1624.36	o 241992450
12767.15/1624.37	o 241992447
12883.48/1638.92	o 241992446
12883.48/1638.94	o 241992444
12883.48/1638.95	o 241992441
12905.80/1641.72	o 241992440
12912.92/1642.64	o 241992439
12912.92/1642.66	o 241992437
12912.92/1642.68	o 241992434
12915.31/1642.95	o 241992433
14054.07/1785.88	o 241992432
14054.07/1785.89	o 241992431
14258.02/1811.43	o 241992430
14259.67/1811.70	o 241992428
14260.47/1811.72	o 241992427
14260.47/1811.74	o 241992425
14260.47/1811.75	o 241992424
19459.65/2464.32	o 241978231
19459.65/2464.33	o 241978221
19459.65/2464.34	o 241978220
19459.65/2464.35	o 241978213
19459.65/2464.37	o 241978210
19459.65/2464.38	o 241978208
19459.65/2464.39	o 241978207
19459.65/2464.40	o 241978206
19460.51/2464.41	o 241978202
19460.51/2464.41	o 241978200
19460.51/2464.43	o 241978197
19460.51/2464.45	o 241978194
19460.51/2464.46	o 241978192
19460.51/2464.47	o 241978189
19461.25/2464.54	o 241978186
19461.25/2464.55	o 241978184
19461.25/2464.56	o 241978181
19463.70/2464.85	o 241978179
19463.70/2464.86	o 241978177
19463.70/2464.87	o 241978174
19466.03/2465.17	o 241978173
19489.95/2468.15	o 241978172
19492.35/2468.41	o 241978170
19492.35/2468.41	o 241978168
19492.35/2468.43	o 241978165
19495.58/2468.85	o 241978164
19903.37/2520.10	s SATISFIABLE
19903.37/2520.10	v <instantiation>
19903.37/2520.10	v 	<list>
19903.37/2520.10	v 		f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424]
19903.37/2520.10	v 	</list>
19903.37/2520.10	v 	<values>
19903.37/2520.10	v 		2520 2436 2704 2628 2560 2520 2684 2748 2556 2568 2756 2504 2704 2572 2600 2532 2704 2540 2756 2620 2648 2684 2420 2408 2580 2656 2724 2596 2688 2728 2452 2732 2712 2444 2592 2596 2500 2692 2704 2424 2492 2684 2612 2572 2752 2540 2764 2660 2560 2392 2548 2484 2508 2724 2724 2704 2588 2560 2588 2616 2660 2548 2744 2764 2548 2724 2564 2628 2676 2664 2744 2532 2576 2616 2744 2520 2732 2704 2560 2520 2716 2732 2620 2560 2620 2540 2764 2680 2640 2688 2556 2572 2444 2488 2556 2436 2724 2696 2528 2644 2564 2588 2656 2632 2688 2644 2480 2684 2716 2544 2684 2668 2524 2684 2492 2724 2744 2464 2604 2524 2692 2580 2392 2616 2552 2700 2524 2708 2560 2536 2684 2520 2704 2720 2688 2536 2604 2720 2692 2528 2576 2684 2700 2516 2580 2588 2684 2692 2644 2624 2704 2552 2744 2540 2548 2548 2380 2572 2728 2712 2664 2520 2708 2508 2676 2384 2560 2524 2452 2476 2672 2548 2600 2652 2536 2644 2724 2668 2764 2708 2448 2448 2572 2532 2496 2652 2532 2704 2400 2600 2584 2604 2404 2584 2556 2736 2404 2560 2712 2512 2728 2600 2688 2716 2724 2648 2552 2644 2660 2724 2544 2672 2516 2564 2532 2724 2576 2520 2668 2552 2636 2740 2756 2724 2352 2632 2748 2688 2532 2580 2448 2744 2684 2484 2724 2684 2576 2764 2556 2532 2712 2724 2684 2492 2444 2692 2656 2652 2696 2696 2588 2688 2680 2620 2592 2408 2436 2432 2560 2692 2524 2424 2496 2644 2660 2748 2556 2564 2716 2764 2520 2516 2724 2728 2580 2592 2664 2572 2704 2484 2772 2448 2568 2724 2744 2664 2572 2724 2608 2640 2732 2360 2572 2704 2396 2684 2532 2704 2448 2628 2588 2560 2596 2752 2684 2696 2628 2648 2564 2604 2684 2704 2664 2396 2644 2584 2692 2412 2432 2408 2616 2700 2564 2604 2532 2456 2652 2380 2732 2544 2444 2680 2724 2464 2656 2636 2420 2552 2392 2592 2592 2408 2744 2548 2532 2504 2576 2516 2752 2568 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 0 0 1 1 0 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 11 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 1 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 0 1 1 1 0 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 0 1 1 1 1 0 1 0 1 1 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 0 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 8 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 0 0 0 10 0 0 0 10 10 10 10 10 10 0 10 0 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 0 10 0 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 0 10 10 10 10 10 10 10 10 10 9 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 0 10 10 10 0 10 10 10 10 10 10 9 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 0 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 8 10 10 10 10 10 10 0 0 10 10 10 0 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 0 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 0 10 10 10 0 10 10 0 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 0 0 0 10 10 10 0 10 10 10 10 0 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 0 10 10 0 10 0 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 10 0 10 10 10 10 10 10 0 10 0 10 10 10 10 0 10 10 10 10 36 128 16 184 172 44 88 4 232 136 248 184 120 132 8 312 84 20 52 300 60 20 60 220 160 184 68 36 140 80 76 28 72 180 116 68 20 16 152 112 152 164 88 136 100 168 184 0 172 4 148 184 116 44 40 84 12 164 168 112 288 20 32 4 8 176 44 188 4 116 172 368 20 24 300 352 56 148 104 88 48 0 32 84 8 48 48 132 8 20 24 24 336 68 232 28 48 224 188 12 200 52 92 56 44 220 176 160 52 204 96 68 248 20 8 0 60 16 144 152 48 312 8 84 144 48 112 128 16 12 92 0 180 156 56 144 28 24 156 116 88 92 220 108 212 28 112 148 284 12 16 56 160 8 12 124 0 80 48 152 64 184 152 164 236 44 40 204 232 104 4 24 104 124 20 84 116 228 44 76 16 36 24 76 136 116 36 136 156 124 84 164 16 180 308 268 296 136 128 256 8 148 104 248 0 152 80 80 184 36 20 40 44 120 16 136 36 12 124 48 12 200 164 188 120 164 20 120 56 16 76 16 8 4 0 164 4 296 124 304 180 12 40 184 252 136 136 276 48 0 48 12 212 12 40 8 340 212 8 156 136 180 16 48 280 264 140 196 120 100 108 44 148 64 56 92 152 208 40 16 36 60 48 44 88 92 20 8 4 112 4 88 36 24 144 24 168 168 12 228 128 152 144 16 16 72 172 252 140 296 84 108 20 260 272 136 108 232 68 224 72 164 112 40 132 40 64 40 252 132 128 120 32 84 116 104 252 220 24 104 28 112 48 164 20 212 192 60 200 44 348 12 24 68 108 188 8 184 48 92 196 164 144 316 96 128 64 84 68 24 76 8 24 188 164 104 12 284 160 296 356 152 264 160 184 104 60 196 4 140 24 36 88 240 76 200 64 92 12 172 108 108 220 24 116 32 180 136 228 168 20 108 184 84 176 12 320 28 84 72 24 72 40 344 36 24 108 32 96 0 56 12 60 140 24 152 104 16 28 0 72 24 172 112 232 16 40 44 88 32 0 84 56 64 252 4 124 28 52 92 252 92 60 100 312 196 144 224 16 280 40 36 404 112 176 152 100 140 112 152 116 108 8 4 20 0 148 32 164 40 304 164 20 116 16 56 104 248 16 96 100 76 52 68 16 96 12 116 92 84 108 168 180 132 20 208 48 180 112 140 12 36 128 0 8 28 56 96 60 96 180 72 128 192 8 96 164 144 0 0 192 176 88 204 40 212 160 4 156 188 172 140 132 20 72 124 116 152 84 4 60 40 64 28 4 12 16 0 4 48 36 208 88 208 4 28 0 340 184 64 144 64 212 204 24 160 164 36 164 164 16 60 20 52 20 208 144 32 140 48 44 212 200 328 340 0 36 80 356 156 108 232 84 284 268 272 24 84 120 92 12 84 76 88 144 136 4 32 24 116 48 44 144 156 16 88 148 168 168 100 80 120 72 28 80 20 4 40 80 84 300 108 188 252 200 88 72 68 204 176 116 212 24 148 168 140 88 148 216 196 172 192 152 120 104 336 32 20 144 104 36 100 116 4 108 96 100 44 124 88 200 100 160 44 100 100 48 12 4 108 16 44 84 48 24 96 48 40 24 88 124 68 12 140 156 288 40 36 4 16 240 120 80 40 196 148 112 52 12 124 136 120 40 88 84 160 32 0 92 48 8 200 8 120 96 12 20 152 100 80 48 20 60 148 56 220 28 204 188 164 80 132 292 148 40 20 68 44 232 72 148 36 12 132 156 152 40 8 60 64 92 208 52 168 140 28 44 4 88 32 244 8 168 48 148 24 8 8 92 20 140 32 24 180 88 72 68 84 148 56 172 316 208 184 228 332 312 4 312 48 104 16 20 36 68 32 136 144 152 112 144 172 128 4 56 116 168 128 96 44 24 140 76 80 68 24 108 16 16 40 148 124 152 68 4 152 140 16 44 12 172 152 4 4 80 128 16 76 56 288 228 76 84 56 4 52 168 36 172 48 324 284 32 196 200 64 324 256 44 112 156 8 264 204 84 88 12 24 188 88 44 20 120 100 100 172 168 44 36 104 256 312 0 8 136 128 196 80 92 176 128 44 32 100 324 152 164 140 104 52 44 136 188 232 0 32 52 16 8 48 56 40 208 136 12 16 84 40 176 140 208 28 72 12 52 4 100 84 140 40 80 244 12 180 120 56 124 212 148 144 116 4 196 360 192 116 60 212 92 48 116 56 28 32 12 52 60 80 96 84 16 16 196 140 204 220 132 52 88 160 32 176 96 320 120 100 128 188 136 144 64 56 28 72 204 24 212 32 16 148 36 16 64 16 48 152 16 300 24 132 24 168 304 24 224 244 12 40 28 204 8 140 236 176 56 76 112 68 88 12 104 36 36 204 188 180 208 12 120 136 176 20 208 168 132 80 8 128 0 80 276 108 92 56 112 48 96 64 40 152 4 36 84 128 72 36 324 120 124 0 4 172 140 60 152 152 128 128 192 192 0 124 184 172 60 104 172 56 268 64 92 72 152 132 120 12 40 20 324 156 196 132 148 60 64 112 64 120 188 240 128 292 300 280 4 4 164 24 172 176 52 12 340 80 184 324 148 320 292 156 52 4 184 36 172 120 96 8 68 216 4 232 32 4 124 144 116 16 36 36 280 284 124 52 168 32 208 144 20 56 52 0 20 116 32 72 40 128 4 84 0 160 48 140 60 168 172 128 200 4 0 32 12 40 44 8 4 28 124 140 44 12 100 48 108 172 52 80 344 332 112 4 16 100 204 244 8 76 280 32 8 232 160 44 100 148 192 16 160 172 84 60 52 188 260 0 96 0 200 288 0 4 36 180 88 196 20 4 88 36 180 16 60 132 128 92 0 60 52 20 144 0 40 20 160 204 280 104 60 48 212 296 36 92 92 28 104 140 68 32 12 132 288 48 28 124 32 52 164 16 16 36 4 28 40 108 36 4 124 28 44 88 84 72 8 28 12 40 0 200 220 4 328 144 28 252 132 12 24 184 28 136 44 12 64 124 8 292 148 24 164 180 328 36 116 80 36 8 24 24 160 24 40 164 20 164 124 232 356 208 20 44 36 132 180 64 104 48 28 92 24 192 92 16 28 12 164 40 280 108 136 8 32 16 20 156 164 328 48 32 152 132 120 312 180 36 144 104 196 4 184 164 332 288 152 16 20 8 304 112 188 60 112 248 116 100 152 196 172 104 92 112 272 228 300 
19903.37/2520.10	v 	</values>
19903.37/2520.10	v </instantiation>

Verifier Data 

OK	241978164

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (10410 MiB free)
  memory of node 1: 16384 MiB (12438 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292050-1532649518/watcher-4292050-1532649518 -o /tmp/evaluation-result-4292050-1532649518/solver-4292050-1532649518 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1532644131-1407 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1952665522 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4292050-1532649518.xml 

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

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

solver pid=2579, runsolver pid=2576

[startup+0.10011 s]*
/proc/loadavg: 8.08 8.55 8.65 3/198 2599
/proc/meminfo: memFree=23381912/32770624 swapFree=67108800/67108860
[pid=2579] ppid=2576 vsize=26103424 memory=29760 CPUtime=0.11 cores=0-7
/proc/2579/stat : 2579 (java) S 2576 2579 1380 0 -1 1077944320 6899 0 0 0 10 1 0 0 20 0 20 0 82515046 26729906176 7440 33554432000 4194304 4196468 140733863732000 140733863714544 140662712622839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
/proc/2579/statm: 6525856 7440 3136 1 0 6487932 0
[pid=2579/tid=2581] ppid=2576 vsize=26103424 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/2579/task/2581/stat : 2581 (java) R 2576 2579 1380 0 -1 4202560 5191 0 0 0 8 0 0 0 20 0 20 0 82515047 26729906176 7638 33554432000 4194304 4196468 140733863732000 140662716825968 140662692898588 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2582] ppid=2576 vsize=26103424 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2579/task/2582/stat : 2582 (java) S 2576 2579 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82515048 26729906176 7704 33554432000 4194304 4196468 140733863732000 140662665243408 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2583] ppid=2576 vsize=26103424 memory=140008833058432 CPUtime=0 cores=0-7
/proc/2579/task/2583/stat : 2583 (java) S 2576 2579 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82515048 26729906176 7704 33554432000 4194304 4196468 140733863732000 140662664190864 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2584] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2584/stat : 2584 (java) S 2576 2579 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82515048 26729906176 7704 33554432000 4194304 4196468 140733863732000 140662663138320 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2585] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2585/stat : 2585 (java) S 2576 2579 1380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82515048 26729906176 7704 33554432000 4194304 4196468 140733863732000 140662268099728 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2586] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2586/stat : 2586 (java) S 2576 2579 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82515048 26729906176 7704 33554432000 4194304 4196468 140733863732000 140662267046160 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2587] ppid=2576 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/2579/task/2587/stat : 2587 (java) S 2576 2579 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82515048 26729906176 7704 33554432000 4194304 4196468 140733863732000 140662265993616 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2588] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2588/stat : 2588 (java) S 2576 2579 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82515048 26729906176 7704 33554432000 4194304 4196468 140733863732000 140662264941072 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2589] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2589/stat : 2589 (java) S 2576 2579 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82515048 26729906176 7704 33554432000 4194304 4196468 140733863732000 140662263888528 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2590] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2590/stat : 2590 (java) S 2576 2579 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82515049 26729906176 7704 33554432000 4194304 4196468 140733863732000 140662042196464 140662712633986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2591] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2591/stat : 2591 (java) S 2576 2579 1380 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 82515050 26729906176 7704 33554432000 4194304 4196468 140733863732000 140662041142688 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2592] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2592/stat : 2592 (java) S 2576 2579 1380 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82515050 26729906176 7770 33554432000 4194304 4196468 140733863732000 140662040090096 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2593] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2593/stat : 2593 (java) S 2576 2579 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82515052 26729906176 7770 33554432000 4194304 4196468 140733863732000 140662039038672 140662712641435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2594] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2594/stat : 2594 (java) S 2576 2579 1380 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 82515052 26729906176 7770 33554432000 4194304 4196468 140733863732000 140662037985264 140662712633986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2595] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2595/stat : 2595 (java) S 2576 2579 1380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82515052 26729906176 7770 33554432000 4194304 4196468 140733863732000 140662036932720 140662712633986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2596] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2596/stat : 2596 (java) S 2576 2579 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82515052 26729906176 7770 33554432000 4194304 4196468 140733863732000 140662035880176 140662712633986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2597] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2597/stat : 2597 (java) S 2576 2579 1380 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 20 0 82515052 26729906176 7770 33554432000 4194304 4196468 140733863732000 140662034827632 140662712633986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2598] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2598/stat : 2598 (java) S 2576 2579 1380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82515052 26729906176 7770 33554432000 4194304 4196468 140733863732000 140662033775328 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2599] ppid=2576 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/2579/task/2599/stat : 2599 (java) S 2576 2579 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82515053 26729906176 7770 33554432000 4194304 4196468 140733863732000 140662032722864 140662712633986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 29760 KiB

[startup+0.20992 s]*
/proc/loadavg: 8.08 8.55 8.65 3/198 2599
/proc/meminfo: memFree=23368176/32770624 swapFree=67108800/67108860
[pid=2579] ppid=2576 vsize=26103424 memory=42740 CPUtime=0.29 cores=0-7
/proc/2579/stat : 2579 (java) S 2576 2579 1380 0 -1 1077944320 10411 0 0 0 27 2 0 0 20 0 20 0 82515046 26729906176 10685 33554432000 4194304 4196468 140733863732000 140733863714544 140662712622839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
/proc/2579/statm: 6525856 10685 3306 1 0 6487932 0
[pid=2579/tid=2581] ppid=2576 vsize=26103424 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/2579/task/2581/stat : 2581 (java) R 2576 2579 1380 0 -1 4202560 8168 0 0 0 18 1 0 0 20 0 20 0 82515047 26729906176 10685 33554432000 4194304 4196468 140733863732000 140662716848896 140662696666469 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2582] ppid=2576 vsize=26103424 memory=11921 CPUtime=0 cores=0-7
/proc/2579/task/2582/stat : 2582 (java) S 2576 2579 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82515048 26729906176 10685 33554432000 4194304 4196468 140733863732000 140662665243408 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2583] ppid=2576 vsize=26103424 memory=140008833065441 CPUtime=0 cores=0-7
/proc/2579/task/2583/stat : 2583 (java) S 2576 2579 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82515048 26729906176 10685 33554432000 4194304 4196468 140733863732000 140662664190864 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2584] ppid=2576 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/2579/task/2584/stat : 2584 (java) S 2576 2579 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82515048 26729906176 10685 33554432000 4194304 4196468 140733863732000 140662663138320 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2585] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2585/stat : 2585 (java) S 2576 2579 1380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82515048 26729906176 10685 33554432000 4194304 4196468 140733863732000 140662268099728 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2586] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2586/stat : 2586 (java) S 2576 2579 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82515048 26729906176 10685 33554432000 4194304 4196468 140733863732000 140662267046160 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2587] ppid=2576 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/2579/task/2587/stat : 2587 (java) S 2576 2579 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82515048 26729906176 10685 33554432000 4194304 4196468 140733863732000 140662265993616 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2588] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2588/stat : 2588 (java) S 2576 2579 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82515048 26729906176 10685 33554432000 4194304 4196468 140733863732000 140662264941072 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2589] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2589/stat : 2589 (java) S 2576 2579 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82515048 26729906176 10685 33554432000 4194304 4196468 140733863732000 140662263888528 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2590] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2590/stat : 2590 (java) S 2576 2579 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82515049 26729906176 10685 33554432000 4194304 4196468 140733863732000 140662042196464 140662712633986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2591] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2591/stat : 2591 (java) S 2576 2579 1380 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 82515050 26729906176 10685 33554432000 4194304 4196468 140733863732000 140662041142688 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2592] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2592/stat : 2592 (java) S 2576 2579 1380 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82515050 26729906176 10685 33554432000 4194304 4196468 140733863732000 140662040090096 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2593] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2593/stat : 2593 (java) S 2576 2579 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82515052 26729906176 10685 33554432000 4194304 4196468 140733863732000 140662039038672 140662712641435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2594] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2594/stat : 2594 (java) S 2576 2579 1380 0 -1 1077944384 327 0 0 0 0 0 0 0 20 0 20 0 82515052 26729906176 10685 33554432000 4194304 4196468 140733863732000 140662037985264 140662712633986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2595] ppid=2576 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/2579/task/2595/stat : 2595 (java) S 2576 2579 1380 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 82515052 26729906176 10685 33554432000 4194304 4196468 140733863732000 140662036932720 140662712633986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2596] ppid=2576 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/2579/task/2596/stat : 2596 (java) S 2576 2579 1380 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 20 0 82515052 26729906176 10685 33554432000 4194304 4196468 140733863732000 140662035880176 140662712633986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2597] ppid=2576 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/2579/task/2597/stat : 2597 (java) R 2576 2579 1380 0 -1 4202560 313 0 0 0 6 0 0 0 20 0 20 0 82515052 26729906176 10685 33554432000 4194304 4196468 140733863732000 140662034823360 140662712634774 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2598] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2598/stat : 2598 (java) S 2576 2579 1380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82515052 26729906176 10685 33554432000 4194304 4196468 140733863732000 140662033775328 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2599] ppid=2576 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/2579/task/2599/stat : 2599 (java) S 2576 2579 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82515053 26729906176 10685 33554432000 4194304 4196468 140733863732000 140662032722864 140662712633986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 42740 KiB

[startup+0.309452 s]*
/proc/loadavg: 8.08 8.55 8.65 3/198 2599
/proc/meminfo: memFree=23364676/32770624 swapFree=67108800/67108860
[pid=2579] ppid=2576 vsize=26103424 memory=46788 CPUtime=0.43 cores=0-7
/proc/2579/stat : 2579 (java) S 2576 2579 1380 0 -1 1077944320 10869 0 0 0 40 3 0 0 20 0 20 0 82515046 26729906176 11697 33554432000 4194304 4196468 140733863732000 140733863714544 140662712622839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
/proc/2579/statm: 6525856 11697 3399 1 0 6487932 0
[pid=2579/tid=2581] ppid=2576 vsize=26103424 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/2579/task/2581/stat : 2581 (java) R 2576 2579 1380 0 -1 4202560 8516 0 0 0 28 1 0 0 20 0 20 0 82515047 26729906176 11697 33554432000 4194304 4196468 140733863732000 140662716784576 140662694187798 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2582] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2582/stat : 2582 (java) S 2576 2579 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82515048 26729906176 11697 33554432000 4194304 4196468 140733863732000 140662665243408 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2583] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2583/stat : 2583 (java) S 2576 2579 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82515048 26729906176 11697 33554432000 4194304 4196468 140733863732000 140662664190864 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2584] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2584/stat : 2584 (java) S 2576 2579 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82515048 26729906176 11697 33554432000 4194304 4196468 140733863732000 140662663138320 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2585] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2585/stat : 2585 (java) S 2576 2579 1380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82515048 26729906176 11697 33554432000 4194304 4196468 140733863732000 140662268099728 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2586] ppid=2576 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/2579/task/2586/stat : 2586 (java) S 2576 2579 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82515048 26729906176 11697 33554432000 4194304 4196468 140733863732000 140662267046160 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2587] ppid=2576 vsize=26103424 memory=140008686187439 CPUtime=0 cores=0-7
/proc/2579/task/2587/stat : 2587 (java) S 2576 2579 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82515048 26729906176 11697 33554432000 4194304 4196468 140733863732000 140662265993616 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2588] ppid=2576 vsize=26103424 memory=140008686189744 CPUtime=0 cores=0-7
/proc/2579/task/2588/stat : 2588 (java) S 2576 2579 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82515048 26729906176 11697 33554432000 4194304 4196468 140733863732000 140662264941072 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2589] ppid=2576 vsize=26103424 memory=140008686192048 CPUtime=0 cores=0-7
/proc/2579/task/2589/stat : 2589 (java) S 2576 2579 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82515048 26729906176 11697 33554432000 4194304 4196468 140733863732000 140662263888528 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2590] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2590/stat : 2590 (java) S 2576 2579 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82515049 26729906176 11697 33554432000 4194304 4196468 140733863732000 140662042196464 140662712633986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2591] ppid=2576 vsize=26103424 memory=280017372391056 CPUtime=0 cores=0-7
/proc/2579/task/2591/stat : 2591 (java) S 2576 2579 1380 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 82515050 26729906176 11697 33554432000 4194304 4196468 140733863732000 140662041142688 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2592] ppid=2576 vsize=26103424 memory=280017372397968 CPUtime=0 cores=0-7
/proc/2579/task/2592/stat : 2592 (java) S 2576 2579 1380 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 82515050 26729906176 11697 33554432000 4194304 4196468 140733863732000 140662040090096 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2593] ppid=2576 vsize=26103424 memory=280017372339248 CPUtime=0 cores=0-7
/proc/2579/task/2593/stat : 2593 (java) S 2576 2579 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82515052 26729906176 11697 33554432000 4194304 4196468 140733863732000 140662039038672 140662712641435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2594] ppid=2576 vsize=26103424 memory=280017372411792 CPUtime=0 cores=0-7
/proc/2579/task/2594/stat : 2594 (java) S 2576 2579 1380 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 20 0 82515052 26729906176 11697 33554432000 4194304 4196468 140733863732000 140662037985264 140662712633986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2595] ppid=2576 vsize=26103424 memory=280017372418704 CPUtime=0.02 cores=0-7
/proc/2579/task/2595/stat : 2595 (java) S 2576 2579 1380 0 -1 1077944384 134 0 0 0 2 0 0 0 20 0 20 0 82515052 26729906176 11697 33554432000 4194304 4196468 140733863732000 140662036932720 140662712633986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2596] ppid=2576 vsize=26103424 memory=280017372416400 CPUtime=0.01 cores=0-7
/proc/2579/task/2596/stat : 2596 (java) S 2576 2579 1380 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 20 0 82515052 26729906176 11697 33554432000 4194304 4196468 140733863732000 140662035880176 140662712633986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2597] ppid=2576 vsize=26103424 memory=280017372433008 CPUtime=0.07 cores=0-7
/proc/2579/task/2597/stat : 2597 (java) S 2576 2579 1380 0 -1 1077944384 330 0 0 0 7 0 0 0 20 0 20 0 82515052 26729906176 11697 33554432000 4194304 4196468 140733863732000 140662034827632 140662712633986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2598] ppid=2576 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2598/stat : 2598 (java) S 2576 2579 1380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82515052 26729906176 11697 33554432000 4194304 4196468 140733863732000 140662033775328 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2599] ppid=2576 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/2579/task/2599/stat : 2599 (java) S 2576 2579 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82515053 26729906176 11697 33554432000 4194304 4196468 140733863732000 140662032722864 140662712633986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 46788 KiB

[startup+0.700847 s]
/proc/loadavg: 8.08 8.55 8.65 3/198 2599
/proc/meminfo: memFree=23340988/32770624 swapFree=67108800/67108860
[pid=2579] ppid=2576 vsize=26105492 memory=87960 CPUtime=1 cores=0-7
/proc/2579/stat : 2579 (java) S 2576 2579 1380 0 -1 1077944320 17885 0 0 0 95 5 0 0 20 0 20 0 82515046 26732023808 21990 33554432000 4194304 4196468 140733863732000 140733863714544 140662712622839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
/proc/2579/statm: 6526373 21990 3492 1 0 6488444 0
[pid=2579/tid=2581] ppid=2576 vsize=26105492 memory=0 CPUtime=0.67 cores=0-7
/proc/2579/task/2581/stat : 2581 (java) R 2576 2579 1380 0 -1 4202560 15017 0 0 0 64 3 0 0 20 0 20 0 82515047 26732023808 21990 33554432000 4194304 4196468 140733863732000 140662716847008 140662712644765 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2582] ppid=2576 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2582/stat : 2582 (java) S 2576 2579 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82515048 26732023808 21990 33554432000 4194304 4196468 140733863732000 140662665243408 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2583] ppid=2576 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2583/stat : 2583 (java) S 2576 2579 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82515048 26732023808 21990 33554432000 4194304 4196468 140733863732000 140662664190864 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2584] ppid=2576 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/2579/task/2584/stat : 2584 (java) S 2576 2579 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82515048 26732023808 21990 33554432000 4194304 4196468 140733863732000 140662663138320 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2585] ppid=2576 vsize=26105492 memory=8548 CPUtime=0 cores=0-7
/proc/2579/task/2585/stat : 2585 (java) S 2576 2579 1380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 82515048 26732023808 21990 33554432000 4194304 4196468 140733863732000 140662268099728 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2586] ppid=2576 vsize=26105492 memory=1012 CPUtime=0 cores=0-7
/proc/2579/task/2586/stat : 2586 (java) S 2576 2579 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82515048 26732023808 21990 33554432000 4194304 4196468 140733863732000 140662267046160 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2587] ppid=2576 vsize=26105492 memory=1444 CPUtime=0 cores=0-7
/proc/2579/task/2587/stat : 2587 (java) S 2576 2579 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82515048 26732023808 21990 33554432000 4194304 4196468 140733863732000 140662265993616 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2588] ppid=2576 vsize=26105492 memory=1200 CPUtime=0 cores=0-7
/proc/2579/task/2588/stat : 2588 (java) S 2576 2579 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82515048 26732023808 21990 33554432000 4194304 4196468 140733863732000 140662264941072 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2589] ppid=2576 vsize=26105492 memory=15872 CPUtime=0 cores=0-7
/proc/2579/task/2589/stat : 2589 (java) S 2576 2579 1380 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 82515048 26732023808 21990 33554432000 4194304 4196468 140733863732000 140662263888528 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2590] ppid=2576 vsize=26105492 memory=14836 CPUtime=0 cores=0-7
/proc/2579/task/2590/stat : 2590 (java) S 2576 2579 1380 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 82515049 26732023808 21990 33554432000 4194304 4196468 140733863732000 140662042196464 140662712633986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0

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

/proc/2579/task/2601/stat : 2601 (java) S 2576 2579 1380 0 -1 1077944384 9968 0 0 0 215 342 0 0 20 0 46 0 82517826 28521037824 2306842 33554432000 4194304 4196468 140733863732000 140662016128368 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2602] ppid=2576 vsize=27852576 memory=9251992 CPUtime=2477.91 cores=0-7
/proc/2579/task/2602/stat : 2602 (java) S 2576 2579 1380 0 -1 1077944384 239888 0 0 0 247563 228 0 0 20 0 46 0 82517842 28521037824 2306842 33554432000 4194304 4196468 140733863732000 140662012970512 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2603] ppid=2576 vsize=27852576 memory=9233012 CPUtime=2478.82 cores=0-7
/proc/2579/task/2603/stat : 2603 (java) S 2576 2579 1380 0 -1 1077944384 121018 0 0 0 247656 226 0 0 20 0 46 0 82517843 28521037824 2306842 33554432000 4194304 4196468 140733863732000 140662011920240 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2604] ppid=2576 vsize=27852576 memory=9267428 CPUtime=2459.82 cores=0-7
/proc/2579/task/2604/stat : 2604 (java) S 2576 2579 1380 0 -1 1077944384 97137 0 0 0 245759 223 0 0 20 0 46 0 82517843 28521037824 2306842 33554432000 4194304 4196468 140733863732000 140662010864704 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2605] ppid=2576 vsize=27852576 memory=9267428 CPUtime=2477.59 cores=0-7
/proc/2579/task/2605/stat : 2605 (java) S 2576 2579 1380 0 -1 1077944384 173149 0 0 0 247527 232 0 0 20 0 46 0 82517850 28521037824 2306842 33554432000 4194304 4196468 140733863732000 140662007715728 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2606] ppid=2576 vsize=27852576 memory=15825499331426668 CPUtime=1.85 cores=0-7
/proc/2579/task/2606/stat : 2606 (java) S 2576 2579 1380 0 -1 1077944384 989 0 0 0 179 6 0 0 20 0 46 0 82517850 28521037824 2306842 33554432000 4194304 4196468 140733863732000 140662006670736 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2607] ppid=2576 vsize=27852576 memory=8112282956445269571 CPUtime=2469.03 cores=0-7
/proc/2579/task/2607/stat : 2607 (java) S 2576 2579 1380 0 -1 1077944384 83129 0 0 0 246732 171 0 0 20 0 46 0 82517850 28521037824 2306842 33554432000 4194304 4196468 140733863732000 140662005610080 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 19 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2608] ppid=2576 vsize=27852576 memory=280017372184816 CPUtime=2466.5 cores=0-7
/proc/2579/task/2608/stat : 2608 (java) S 2576 2579 1380 0 -1 1077944384 74334 0 0 0 246451 199 0 0 20 0 46 0 82517850 28521037824 2306842 33554432000 4194304 4196468 140733863732000 140662004557728 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2609] ppid=2576 vsize=27852576 memory=280017372184816 CPUtime=1.75 cores=0-7
/proc/2579/task/2609/stat : 2609 (java) S 2576 2579 1380 0 -1 1077944384 1678 0 0 0 171 4 0 0 20 0 46 0 82517850 28521037824 2306842 33554432000 4194304 4196468 140733863732000 140662003513104 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2610] ppid=2576 vsize=27852576 memory=9227368 CPUtime=2470.4 cores=0-7
/proc/2579/task/2610/stat : 2610 (java) S 2576 2579 1380 0 -1 1077944384 117386 0 0 0 246870 170 0 0 20 0 46 0 82517850 28521037824 2306842 33554432000 4194304 4196468 140733863732000 140662002451360 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2611] ppid=2576 vsize=27852576 memory=8112282956445269571 CPUtime=2464.14 cores=0-7
/proc/2579/task/2611/stat : 2611 (java) S 2576 2579 1380 0 -1 1077944384 83648 0 0 0 246230 184 0 0 20 0 46 0 82517852 28521037824 2306842 33554432000 4194304 4196468 140733863732000 140662001398720 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2612] ppid=2576 vsize=27852576 memory=4126316290023845779 CPUtime=0.01 cores=0-7
/proc/2579/task/2612/stat : 2612 (java) S 2576 2579 1380 0 -1 1077944384 368 0 0 0 1 0 0 0 20 0 46 0 82518253 28521037824 2306842 33554432000 4194304 4196468 140733863732000 140662000354448 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2613] ppid=2576 vsize=27852576 memory=1296 CPUtime=0.01 cores=0-7
/proc/2579/task/2613/stat : 2613 (java) S 2576 2579 1380 0 -1 1077944384 431 0 0 0 1 0 0 0 20 0 46 0 82518253 28521037824 2306842 33554432000 4194304 4196468 140733863732000 140661999301904 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2614] ppid=2576 vsize=27852576 memory=2412 CPUtime=0.01 cores=0-7
/proc/2579/task/2614/stat : 2614 (java) S 2576 2579 1380 0 -1 1077944384 653 0 0 0 1 0 0 0 20 0 46 0 82518253 28521037824 2306842 33554432000 4194304 4196468 140733863732000 140661998249360 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2615] ppid=2576 vsize=27852576 memory=1836 CPUtime=0.01 cores=0-7
/proc/2579/task/2615/stat : 2615 (java) S 2576 2579 1380 0 -1 1077944384 706 0 0 0 1 0 0 0 20 0 46 0 82518253 28521037824 2306842 33554432000 4194304 4196468 140733863732000 140661997196816 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2616] ppid=2576 vsize=27852576 memory=9233012 CPUtime=0.02 cores=0-7
/proc/2579/task/2616/stat : 2616 (java) S 2576 2579 1380 0 -1 1077944384 837 0 0 0 2 0 0 0 20 0 46 0 82518253 28521037824 2306842 33554432000 4194304 4196468 140733863732000 140661996144272 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2617] ppid=2576 vsize=27852576 memory=2412 CPUtime=0 cores=0-7
/proc/2579/task/2617/stat : 2617 (java) S 2576 2579 1380 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 46 0 82520293 28521037824 2306842 33554432000 4194304 4196468 140733863732000 140661992957712 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2618] ppid=2576 vsize=27852576 memory=4140 CPUtime=0.01 cores=0-7
/proc/2579/task/2618/stat : 2618 (java) S 2576 2579 1380 0 -1 1077944384 311 0 0 0 1 0 0 0 20 0 46 0 82520295 28521037824 2306842 33554432000 4194304 4196468 140733863732000 140661789549456 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2619] ppid=2576 vsize=27852576 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2579/task/2619/stat : 2619 (java) S 2576 2579 1380 0 -1 1077944384 116 0 0 0 0 0 0 0 20 0 46 0 82520298 28521037824 2306842 33554432000 4194304 4196468 140733863732000 140661788496912 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2620] ppid=2576 vsize=27852576 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/2579/task/2620/stat : 2620 (java) S 2576 2579 1380 0 -1 1077944384 458 0 0 0 0 0 0 0 20 0 46 0 82520333 28521037824 2306842 33554432000 4194304 4196468 140733863732000 140661787444368 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2621] ppid=2576 vsize=27852576 memory=14410423554279548 CPUtime=0.01 cores=0-7
/proc/2579/task/2621/stat : 2621 (java) S 2576 2579 1380 0 -1 1077944384 349 0 0 0 1 0 0 0 20 0 46 0 82520335 28521037824 2306842 33554432000 4194304 4196468 140733863732000 140661786391824 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2622] ppid=2576 vsize=27852576 memory=8112282956445269571 CPUtime=0.01 cores=0-7
/proc/2579/task/2622/stat : 2622 (java) S 2576 2579 1380 0 -1 1077944384 449 0 0 0 0 1 0 0 20 0 46 0 82520336 28521037824 2306842 33554432000 4194304 4196468 140733863732000 140661785339280 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2623] ppid=2576 vsize=27852576 memory=280017373594128 CPUtime=0.01 cores=0-7
/proc/2579/task/2623/stat : 2623 (java) S 2576 2579 1380 0 -1 1077944384 522 0 0 0 1 0 0 0 20 0 46 0 82520337 28521037824 2306842 33554432000 4194304 4196468 140733863732000 140661784286736 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2624] ppid=2576 vsize=27852576 memory=9254052 CPUtime=0 cores=0-7
/proc/2579/task/2624/stat : 2624 (java) S 2576 2579 1380 0 -1 1077944384 655 0 0 0 0 0 0 0 20 0 46 0 82520337 28521037824 2306842 33554432000 4194304 4196468 140733863732000 140661783234192 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2625] ppid=2576 vsize=27852576 memory=4140 CPUtime=0 cores=0-7
/proc/2579/task/2625/stat : 2625 (java) S 2576 2579 1380 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 46 0 82520337 28521037824 2306842 33554432000 4194304 4196468 140733863732000 140661782181648 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
Current children cumulated CPU time: 19903.4 s
Current children cumulated vsize: 27852576 KiB
Current children cumulated memory: 9227368 KiB

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

[startup+2520.35 s]
# the end of solver process 2579 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19875.5 s, system=30.2425 s

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

[startup+2520.3 s]
/proc/loadavg: 9.02 8.85 8.80 10/224 2692
/proc/meminfo: memFree=14164308/32770624 swapFree=67108800/67108860
[pid=2579] ppid=2576 vsize=27986732 memory=9224708 CPUtime=19905.7 cores=0-7
/proc/2579/stat : 2579 (java) S 2576 2579 1380 0 -1 1077944320 2133632 0 0 0 1987547 3019 0 0 20 0 45 0 82515046 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140733863714544 140662712622839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
/proc/2579/statm: 6996683 2306177 3639 1 0 6958233 0
[pid=2579/tid=2581] ppid=2576 vsize=27986732 memory=4140 CPUtime=26.24 cores=0-7
/proc/2579/task/2581/stat : 2581 (java) S 2576 2579 1380 0 -1 1077944384 30371 0 0 0 2559 65 0 0 20 0 45 0 82515047 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662716861520 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2582] ppid=2576 vsize=27986732 memory=6791534058613427641 CPUtime=10.76 cores=0-7
/proc/2579/task/2582/stat : 2582 (java) S 2576 2579 1380 0 -1 1077944384 107834 0 0 0 913 163 0 0 20 0 45 0 82515048 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662665243408 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 61 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2583] ppid=2576 vsize=27986732 memory=24492 CPUtime=10.76 cores=0-7
/proc/2579/task/2583/stat : 2583 (java) S 2576 2579 1380 0 -1 1077944384 115122 0 0 0 918 158 0 0 20 0 45 0 82515048 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662664190864 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 58 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2584] ppid=2576 vsize=27986732 memory=1296 CPUtime=10.86 cores=0-7
/proc/2579/task/2584/stat : 2584 (java) S 2576 2579 1380 0 -1 1077944384 119818 0 0 0 925 161 0 0 20 0 45 0 82515048 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662663138320 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 58 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2585] ppid=2576 vsize=27986732 memory=2412 CPUtime=10.78 cores=0-7
/proc/2579/task/2585/stat : 2585 (java) S 2576 2579 1380 0 -1 1077944384 109832 0 0 0 925 153 0 0 20 0 45 0 82515048 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662268099728 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 61 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2586] ppid=2576 vsize=27986732 memory=1836 CPUtime=10.75 cores=0-7
/proc/2579/task/2586/stat : 2586 (java) S 2576 2579 1380 0 -1 1077944384 118186 0 0 0 924 151 0 0 20 0 45 0 82515048 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662267046160 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 59 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2587] ppid=2576 vsize=27986732 memory=792 CPUtime=10.87 cores=0-7
/proc/2579/task/2587/stat : 2587 (java) S 2576 2579 1380 0 -1 1077944384 111856 0 0 0 927 160 0 0 20 0 45 0 82515048 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662265993616 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 58 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2588] ppid=2576 vsize=27986732 memory=1960 CPUtime=10.79 cores=0-7
/proc/2579/task/2588/stat : 2588 (java) S 2576 2579 1380 0 -1 1077944384 117270 0 0 0 923 156 0 0 20 0 45 0 82515048 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662264941072 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 55 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2589] ppid=2576 vsize=27986732 memory=5672 CPUtime=10.86 cores=0-7
/proc/2579/task/2589/stat : 2589 (java) S 2576 2579 1380 0 -1 1077944384 125694 0 0 0 929 157 0 0 20 0 45 0 82515048 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662263888528 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 59 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2590] ppid=2576 vsize=27986732 memory=4616 CPUtime=0.76 cores=0-7
/proc/2579/task/2590/stat : 2590 (java) R 2576 2579 1380 0 -1 1077944384 57041 0 0 0 63 13 0 0 20 0 45 0 82515049 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662042196464 140662712633986 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2591] ppid=2576 vsize=27986732 memory=1232 CPUtime=0 cores=0-7
/proc/2579/task/2591/stat : 2591 (java) S 2576 2579 1380 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 45 0 82515050 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662041142752 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2592] ppid=2576 vsize=27986732 memory=12036 CPUtime=0 cores=0-7
/proc/2579/task/2592/stat : 2592 (java) S 2576 2579 1380 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 45 0 82515050 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662040090112 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2593] ppid=2576 vsize=27986732 memory=1724 CPUtime=0 cores=0-7
/proc/2579/task/2593/stat : 2593 (java) R 2576 2579 1380 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 45 0 82515052 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662039038672 140662712641435 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2594] ppid=2576 vsize=27986732 memory=8548 CPUtime=4.29 cores=0-7
/proc/2579/task/2594/stat : 2594 (java) S 2576 2579 1380 0 -1 1077944384 19901 0 0 0 423 6 0 0 20 0 45 0 82515052 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662037985264 140662712633986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2595] ppid=2576 vsize=27986732 memory=1012 CPUtime=4.58 cores=0-7
/proc/2579/task/2595/stat : 2595 (java) S 2576 2579 1380 0 -1 1077944384 19052 0 0 0 454 4 0 0 20 0 45 0 82515052 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662036932720 140662712633986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2596] ppid=2576 vsize=27986732 memory=1444 CPUtime=4.15 cores=0-7
/proc/2579/task/2596/stat : 2596 (java) S 2576 2579 1380 0 -1 1077944384 25708 0 0 0 410 5 0 0 20 0 45 0 82515052 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662035880176 140662712633986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2597] ppid=2576 vsize=27986732 memory=1200 CPUtime=2.02 cores=0-7
/proc/2579/task/2597/stat : 2597 (java) S 2576 2579 1380 0 -1 1077944384 35116 0 0 0 194 8 0 0 20 0 45 0 82515052 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662034827632 140662712633986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2598] ppid=2576 vsize=27986732 memory=15872 CPUtime=0 cores=0-7
/proc/2579/task/2598/stat : 2598 (java) S 2576 2579 1380 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 82515052 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662033775328 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2600] ppid=2576 vsize=27986732 memory=16240 CPUtime=0.04 cores=0-7
/proc/2579/task/2600/stat : 2600 (java) S 2576 2579 1380 0 -1 1077944384 1816 0 0 0 4 0 0 0 20 0 45 0 82517810 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662019278032 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2602] ppid=2576 vsize=27986732 memory=640 CPUtime=2478.18 cores=0-7
/proc/2579/task/2602/stat : 2602 (java) R 2576 2579 1380 0 -1 4202560 239897 0 0 0 247590 228 0 0 20 0 45 0 82517842 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662012972120 140662357585337 0 4 0 16800975 0 0 0 -1 7 0 0 15 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2603] ppid=2576 vsize=27986732 memory=1792 CPUtime=2479.09 cores=0-7
/proc/2579/task/2603/stat : 2603 (java) R 2576 2579 1380 0 -1 4202560 121033 0 0 0 247683 226 0 0 20 0 45 0 82517843 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662011919576 140662350390365 0 4 0 16800975 0 0 0 -1 4 0 0 27 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2604] ppid=2576 vsize=27986732 memory=960 CPUtime=2460.08 cores=0-7
/proc/2579/task/2604/stat : 2604 (java) R 2576 2579 1380 0 -1 4202560 97145 0 0 0 245785 223 0 0 20 0 45 0 82517843 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662010865376 140662345775198 0 4 0 16800975 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2605] ppid=2576 vsize=27986732 memory=1232 CPUtime=2477.85 cores=0-7
/proc/2579/task/2605/stat : 2605 (java) R 2576 2579 1380 0 -1 4202560 173157 0 0 0 247553 232 0 0 20 0 45 0 82517850 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662007715040 140662359257977 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2606] ppid=2576 vsize=27986732 memory=1696 CPUtime=1.86 cores=0-7
/proc/2579/task/2606/stat : 2606 (java) S 2576 2579 1380 0 -1 1077944384 1056 0 0 0 180 6 0 0 20 0 45 0 82517850 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662006670736 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2607] ppid=2576 vsize=27986732 memory=920 CPUtime=2469.28 cores=0-7
/proc/2579/task/2607/stat : 2607 (java) R 2576 2579 1380 0 -1 4202560 83136 0 0 0 246757 171 0 0 20 0 45 0 82517850 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662005609944 140662357603000 0 4 0 16800975 0 0 0 -1 1 0 0 19 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2608] ppid=2576 vsize=27986732 memory=4240 CPUtime=2466.75 cores=0-7
/proc/2579/task/2608/stat : 2608 (java) R 2576 2579 1380 0 -1 4202560 74338 0 0 0 246476 199 0 0 20 0 45 0 82517850 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662004559784 140662352743868 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2609] ppid=2576 vsize=27986732 memory=2340 CPUtime=1.75 cores=0-7
/proc/2579/task/2609/stat : 2609 (java) S 2576 2579 1380 0 -1 1077944384 1699 0 0 0 171 4 0 0 20 0 45 0 82517850 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662003513104 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2610] ppid=2576 vsize=27986732 memory=928 CPUtime=2470.66 cores=0-7
/proc/2579/task/2610/stat : 2610 (java) R 2576 2579 1380 0 -1 4202560 117391 0 0 0 246896 170 0 0 20 0 45 0 82517850 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662002451608 140662354804263 0 4 0 16800975 0 0 0 -1 2 0 0 17 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2611] ppid=2576 vsize=27986732 memory=1580 CPUtime=2464.38 cores=0-7
/proc/2579/task/2611/stat : 2611 (java) R 2576 2579 1380 0 -1 4202560 83652 0 0 0 246254 184 0 0 20 0 45 0 82517852 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662001401048 140662343489568 0 4 0 16800975 0 0 0 -1 3 0 0 23 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2612] ppid=2576 vsize=27986732 memory=2244 CPUtime=0.01 cores=0-7
/proc/2579/task/2612/stat : 2612 (java) S 2576 2579 1380 0 -1 1077944384 389 0 0 0 1 0 0 0 20 0 45 0 82518253 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140662000354448 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2613] ppid=2576 vsize=27986732 memory=4136 CPUtime=0.03 cores=0-7
/proc/2579/task/2613/stat : 2613 (java) S 2576 2579 1380 0 -1 1077944384 953 0 0 0 3 0 0 0 20 0 45 0 82518253 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140661999301904 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2614] ppid=2576 vsize=27986732 memory=2204 CPUtime=0.01 cores=0-7
/proc/2579/task/2614/stat : 2614 (java) S 2576 2579 1380 0 -1 1077944384 676 0 0 0 1 0 0 0 20 0 45 0 82518253 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140661998249360 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2615] ppid=2576 vsize=27986732 memory=7532 CPUtime=0.02 cores=0-7
/proc/2579/task/2615/stat : 2615 (java) S 2576 2579 1380 0 -1 1077944384 816 0 0 0 2 0 0 0 20 0 45 0 82518253 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140661997196816 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2616] ppid=2576 vsize=27986732 memory=840 CPUtime=0.02 cores=0-7
/proc/2579/task/2616/stat : 2616 (java) S 2576 2579 1380 0 -1 1077944384 888 0 0 0 2 0 0 0 20 0 45 0 82518253 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140661996144272 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2617] ppid=2576 vsize=27986732 memory=4104 CPUtime=0 cores=0-7
/proc/2579/task/2617/stat : 2617 (java) S 2576 2579 1380 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 45 0 82520293 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140661992957712 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2618] ppid=2576 vsize=27986732 memory=1408 CPUtime=0.01 cores=0-7
/proc/2579/task/2618/stat : 2618 (java) S 2576 2579 1380 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 45 0 82520295 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140661789549456 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2619] ppid=2576 vsize=27986732 memory=4584 CPUtime=0 cores=0-7
/proc/2579/task/2619/stat : 2619 (java) S 2576 2579 1380 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 45 0 82520298 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140661788496912 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2620] ppid=2576 vsize=27986732 memory=9227368 CPUtime=0 cores=0-7
/proc/2579/task/2620/stat : 2620 (java) S 2576 2579 1380 0 -1 1077944384 490 0 0 0 0 0 0 0 20 0 45 0 82520333 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140661787444368 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2621] ppid=2576 vsize=27986732 memory=8112282956445269571 CPUtime=0.03 cores=0-7
/proc/2579/task/2621/stat : 2621 (java) S 2576 2579 1380 0 -1 1077944384 672 0 0 0 3 0 0 0 20 0 45 0 82520335 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140661786391824 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2622] ppid=2576 vsize=27986732 memory=4126316290023845779 CPUtime=0.01 cores=0-7
/proc/2579/task/2622/stat : 2622 (java) S 2576 2579 1380 0 -1 1077944384 470 0 0 0 0 1 0 0 20 0 45 0 82520336 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140661785339280 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2623] ppid=2576 vsize=27986732 memory=1444 CPUtime=0.02 cores=0-7
/proc/2579/task/2623/stat : 2623 (java) S 2576 2579 1380 0 -1 1077944384 907 0 0 0 2 0 0 0 20 0 45 0 82520337 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140661784286736 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2624] ppid=2576 vsize=27986732 memory=1200 CPUtime=0 cores=0-7
/proc/2579/task/2624/stat : 2624 (java) S 2576 2579 1380 0 -1 1077944384 655 0 0 0 0 0 0 0 20 0 45 0 82520337 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140661783234192 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
[pid=2579/tid=2625] ppid=2576 vsize=27986732 memory=15872 CPUtime=0 cores=0-7
/proc/2579/task/2625/stat : 2625 (java) S 2576 2579 1380 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 45 0 82520337 28658413568 2306177 33554432000 4194304 4196468 140733863732000 140661782181648 140662712633045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32198656 140733863740493 140733863740677 140733863740677 140733863743439 0
Current children cumulated CPU time: 19905.7 s
Current children cumulated vsize: 27986732 KiB
Current children cumulated memory: 9224708 KiB

Child status: 143
Real time (s): 2520.35
CPU time (s): 19905.7
CPU user time (s): 19875.5
CPU system time (s): 30.2425
CPU usage (%): 789.799
Max. virtual memory (cumulated for all children) (KiB): 27986732
Max. memory (cumulated for all children) (KiB): 9547304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19875.5
system time used= 30.2425
maximum resident set size= 9549352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2133660
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 340523
involuntary context switches= 420050


# summary of solver processes directly reported to runsolver:
#   pid: 2579
#   total CPU time (s): 19905.7
#   total CPU user time (s): 19875.5
#   total CPU system time (s): 30.2425

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.2095 second user time and 38.6275 second system time

The end

Launcher Data 

Begin job on node104 at 2018-07-27 01:58:39
IDJOB=4292050
IDBENCH=141273
IDSOLVER=2745
FILE ID=node104/4292050-1532649518
RUNJOBID= node104-1532644131-1407
PBS_JOBID= 21022199
Free space on /tmp= 48264 MiB

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

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

MD5SUM BENCH= 970c879d9e656f0525c6818b69538b39
RANDOM SEED=1952665522

node104.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.11
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.11
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.11
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.11
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:        23398116 kB
MemAvailable:   31929800 kB
Buffers:          180356 kB
Cached:          8567688 kB
SwapCached:           60 kB
Active:          4113960 kB
Inactive:        4687484 kB
Active(anon):       3092 kB
Inactive(anon):    78012 kB
Active(file):    4110868 kB
Inactive(file):  4609472 kB
Unevictable:        7168 kB
Mlocked:            7168 kB
SwapTotal:      67108860 kB
SwapFree:       67108800 kB
Dirty:            117936 kB
Writeback:             4 kB
AnonPages:         59684 kB
Mapped:            41188 kB
Shmem:             25168 kB
Slab:             267396 kB
SReclaimable:     239804 kB
SUnreclaim:        27592 kB
KernelStack:        3216 kB
PageTables:         4736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 48228 MiB
End job on node104 at 2018-07-27 02:40:39