Trace number 4291856

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-07-02SAT (TO)229840 2400.15 2346.17

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.67/0.56	c version: 2018-07-02
0.67/0.56	c seed: 1639965605
0.67/0.57	c timeout: 2400
0.67/0.57	c memlimit: 11000
0.67/0.57	c nbcore: 4
0.67/0.58	c Parsing instance...
14.27/8.17	c Parsing done, starting first complete search...
82.00/72.95	o 423098
82.00/72.95	o 422098
82.00/72.96	o 421998
82.00/72.97	o 421898
82.00/72.97	o 421896
82.00/72.98	o 421795
82.00/72.98	o 420795
82.00/72.99	o 419795
82.00/73.00	o 419695
82.22/73.00	o 418695
82.22/73.01	o 417694
82.22/73.01	o 415694
82.22/73.02	o 415684
82.22/73.03	o 414684
82.22/73.03	o 414584
82.22/73.04	o 414583
82.22/73.05	o 414574
82.48/73.16	o 414375
82.48/73.16	o 414374
82.80/73.23	o 414363
82.80/73.24	o 414362
83.02/73.32	o 413473
83.02/73.32	o 413472
83.02/73.32	o 413372
83.02/73.33	o 413282
83.02/73.34	o 413273
83.02/73.34	o 413262
83.02/73.35	o 413261
83.31/73.61	o 413162
83.31/73.62	o 413061
83.31/73.65	o 411161
83.31/73.66	o 411061
83.31/73.70	o 409061
83.41/73.71	o 409041
83.52/73.84	o 408963
83.52/73.84	o 408953
83.52/73.85	o 408952
83.52/73.85	o 408854
83.52/73.86	o 408853
83.52/73.86	o 408852
83.72/74.03	o 408765
83.72/74.04	o 408764
83.72/74.04	o 408763
83.72/74.05	o 408762
84.03/74.36	o 408743
84.03/74.39	o 408735
84.03/74.40	o 408734
84.13/74.40	o 408733
84.13/74.41	o 408643
84.63/74.88	o 408256
84.63/74.88	o 408156
84.63/74.89	o 408155
84.63/74.89	o 407154
84.73/74.90	o 407053
84.73/74.90	o 406843
87.46/77.69	o 406842
91.76/81.93	o 406834
91.76/81.94	o 406833
96.99/87.13	o 406832
104.92/95.07	o 406511
104.92/95.07	o 405512
104.92/95.08	o 405412
105.02/95.15	o 405355
105.02/95.15	o 405354
105.02/95.15	o 405353
105.02/95.16	o 405343
105.13/95.22	o 405314
105.13/95.23	o 405313
105.13/95.24	o 405223
105.23/95.38	o 405123
106.92/97.02	o 405116
106.92/97.02	o 405115
106.92/97.02	o 405114
106.92/97.03	o 405113
106.92/97.05	o 405023
108.33/98.46	o 405022
123.44/113.56	o 405015
123.44/113.56	o 405014
123.44/113.57	o 405013
131.85/121.91	o 405012
175.23/165.30	o 404589
175.23/165.31	o 404489
175.33/165.31	o 404488
175.33/165.32	o 403489
175.33/165.32	o 403389
175.33/165.33	o 403379
175.33/165.34	o 403301
175.33/165.35	o 403300
175.33/165.35	o 403299
175.33/165.36	o 403289
175.33/165.37	o 403201
175.33/165.38	o 403200
175.33/165.39	o 403100
176.23/166.21	o 403099
181.94/171.95	o 403002
181.94/171.96	o 403001
181.94/171.96	o 402999
203.58/193.58	o 401292
203.58/193.59	o 401192
203.58/193.59	o 401191
203.68/193.60	o 401091
203.68/193.60	o 400990
203.68/193.61	o 400890
203.68/193.62	o 400889
203.68/193.63	o 400831
203.68/193.63	o 400830
203.68/193.64	o 400829
203.68/193.64	o 400819
203.68/193.65	o 400809
203.68/193.66	o 400799
203.68/193.67	o 399899
203.68/193.67	o 398898
203.79/193.71	o 398379
203.79/193.71	o 398378
203.79/193.72	o 398278
203.79/193.74	o 398179
203.79/193.74	o 398178
203.79/193.75	o 398088
203.79/193.78	o 397988
204.00/193.94	o 397987
204.81/194.75	o 397900
204.81/194.76	o 397898
204.81/194.78	o 397889
204.81/194.79	o 397888
204.92/194.80	o 397799
204.92/194.80	o 397798
257.06/246.89	c First complete search done, starting ALNS search...
257.47/247.20	o 397268
260.40/248.74	o 396267
260.40/248.74	o 396167
260.40/248.75	o 395357
260.40/248.75	o 395257
260.40/248.75	o 395157
260.40/248.76	o 395057
260.40/248.76	o 394957
260.40/248.77	o 394867
260.40/248.77	o 394767
260.40/248.77	o 394667
260.40/248.78	o 394666
260.40/248.78	o 394665
260.52/248.80	o 394357
260.52/248.81	o 394257
260.52/248.81	o 394157
260.52/248.81	o 394057
260.52/248.82	o 393957
260.52/248.82	o 393857
260.52/248.82	o 393856
260.52/248.83	o 393757
260.52/248.83	o 393756
260.52/248.83	o 393755
260.73/249.03	o 393754
261.62/249.58	o 393753
261.62/249.58	o 393752
262.07/249.90	o 393677
262.07/249.91	o 393676
262.07/249.95	o 392677
262.07/249.96	o 392676
262.07/249.97	o 391677
262.07/249.97	o 391676
262.07/249.98	o 391675
262.17/250.01	o 391667
262.17/250.01	o 391666
262.17/250.02	o 391665
262.17/250.05	o 391577
262.17/250.06	o 391576
262.17/250.06	o 391567
262.17/250.07	o 391566
262.17/250.08	o 390577
262.17/250.08	o 390576
262.17/250.09	o 390567
262.17/250.09	o 390566
262.27/250.10	o 390565
262.27/250.14	o 390564
262.27/250.17	o 389576
262.27/250.18	o 389566
262.27/250.18	o 389565
262.27/250.19	o 389564
262.27/250.19	o 389563
262.98/250.81	o 389558
263.92/251.72	o 389458
264.44/252.20	o 388668
264.59/252.21	o 388658
264.59/252.21	o 388578
264.59/252.22	o 388568
264.70/252.32	o 387668
264.70/252.33	o 387658
264.70/252.33	o 387578
264.70/252.34	o 387568
264.70/252.35	o 386668
264.70/252.35	o 386658
264.70/252.36	o 386578
264.70/252.36	o 386568
264.79/252.41	o 386468
264.79/252.41	o 386458
264.79/252.42	o 386378
264.79/252.42	o 386368
264.79/252.49	o 385668
264.79/252.49	o 385658
264.89/252.50	o 385468
264.89/252.51	o 385458
264.89/252.52	o 385378
264.89/252.52	o 385368
264.89/252.56	o 384668
265.37/252.94	o 384600
265.37/252.94	o 384599
270.29/256.56	o 384598
270.29/256.56	o 384589
270.29/256.57	o 384588
270.29/256.58	o 384579
270.29/256.59	o 384578
270.47/256.60	o 384577
270.47/256.61	o 384489
270.47/256.61	o 384488
270.47/256.62	o 384479
270.47/256.63	o 384478
270.47/256.64	o 384477
270.47/256.65	o 384469
270.47/256.66	o 384468
270.47/256.67	o 384467
270.47/256.68	o 383699
270.47/256.69	o 383698
270.47/256.69	o 383689
270.57/256.70	o 383688
270.57/256.71	o 383679
270.57/256.72	o 383678
270.57/256.73	o 383599
270.57/256.74	o 383589
270.57/256.75	o 383588
270.57/256.76	o 383579
270.57/256.77	o 383578
270.57/256.78	o 383569
270.57/256.78	o 383489
270.57/256.79	o 383479
270.68/256.80	o 383469
270.68/256.81	o 383468
270.68/256.82	o 383467
270.68/256.87	o 382589
270.68/256.88	o 382579
270.68/256.89	o 382578
271.52/257.58	o 382577
271.62/257.67	o 381687
272.55/258.59	o 381666
272.65/258.67	o 381665
272.75/258.74	o 381664
274.72/260.66	o 381626
274.83/260.73	o 381625
274.93/260.83	o 381624
275.03/260.93	o 381623
275.23/261.18	o 381536
275.35/261.26	o 381535
275.45/261.36	o 381526
275.54/261.43	o 381525
275.64/261.53	o 381524
275.74/261.64	o 381523
276.04/261.93	o 380746
276.14/262.01	o 380745
276.24/262.10	o 380646
276.24/262.18	o 380645
276.36/262.28	o 380644
276.46/262.38	o 380643
276.65/262.50	o 380626
276.65/262.58	o 380625
276.74/262.69	o 380624
276.85/262.78	o 380623
277.07/262.92	o 380536
277.07/263.00	o 380535
277.17/263.08	o 380526
277.27/263.16	o 380525
277.38/263.23	o 380524
277.48/263.32	o 380523
277.77/263.66	o 380516
277.87/263.73	o 380515
277.97/263.82	o 380514
278.07/263.93	o 380506
278.07/263.99	o 380505
278.17/264.06	o 380504
278.27/264.15	o 380503
279.17/265.02	o 379956
279.27/265.11	o 379955
279.38/265.21	o 379954
279.48/265.31	o 379953
279.57/265.41	o 379856
279.67/265.51	o 379855
279.77/265.61	o 379854
279.87/265.72	o 379853
279.97/265.83	o 379852
280.07/265.95	o 379754
280.19/266.04	o 379753
280.29/266.14	o 379752
280.40/266.26	o 379654
280.50/266.36	o 379653
280.59/266.46	o 379652
280.69/266.59	o 379554
280.80/266.68	o 379553
280.90/266.79	o 379552
281.00/266.89	o 379534
281.10/266.98	o 379533
281.20/267.06	o 379532
281.30/267.18	o 378856
281.41/267.28	o 378855
281.51/267.37	o 378854
281.60/267.47	o 378853
281.70/267.56	o 378754
281.80/267.66	o 378753
281.90/267.76	o 378752
282.00/267.86	o 378654
292.86/278.59	o 378644
294.86/280.55	o 377842
294.98/280.65	o 377832
295.08/280.75	o 377831
295.18/280.86	o 377821
295.28/280.97	o 377811
295.38/281.08	o 377742
295.48/281.17	o 377732
295.59/281.25	o 377722
295.69/281.36	o 377721
295.78/281.45	o 377711
295.98/281.62	o 376842
296.08/281.70	o 376832
296.18/281.80	o 376822
296.18/281.90	o 376821
296.28/281.98	o 376811
296.38/282.08	o 376742
296.48/282.17	o 376732
296.59/282.26	o 376722
296.69/282.35	o 376721
296.78/282.43	o 376711
297.38/283.02	o 376701
297.69/283.31	o 376652
297.69/283.39	o 376642
297.78/283.49	o 376641
297.88/283.58	o 376631
297.98/283.67	o 376621
298.08/283.79	o 376611
299.00/284.63	o 376601
299.10/284.74	o 376552
299.20/284.83	o 376542
299.30/284.92	o 376532
299.40/285.01	o 376522
299.50/285.10	o 376521
299.50/285.18	o 376511
300.00/285.68	o 376510
300.10/285.77	o 376500
300.71/286.33	o 375842
300.80/286.43	o 375831
300.90/286.56	o 375742
301.00/286.64	o 375731
301.10/286.77	o 375721
301.20/286.89	o 375642
301.41/287.01	o 375631
301.51/287.14	o 375621
301.61/287.26	o 375552
301.71/287.38	o 375541
301.91/287.51	o 375531
302.01/287.66	o 375521
302.11/287.79	o 375520
302.20/287.90	o 375510
303.23/288.90	o 375501
303.42/289.01	o 375453
303.42/289.09	o 375442
303.52/289.19	o 375431
303.63/289.30	o 375421
303.82/289.42	o 375411
304.52/290.12	o 375401
304.63/290.26	o 374842
304.73/290.34	o 374831
304.82/290.43	o 374742
304.92/290.51	o 374731
305.02/290.60	o 374642
305.02/290.68	o 374631
309.07/294.64	o 374521
318.26/303.77	o 374401
318.36/303.82	o 373511
318.36/303.84	o 373401
318.36/303.87	o 372511
318.36/303.89	o 372501
320.47/305.95	o 371502
320.47/305.99	o 371501
320.97/306.44	o 371481
321.17/306.65	o 371402
321.27/306.72	o 371401
321.27/306.79	o 371381
321.37/306.89	o 370481
321.80/307.26	o 370381
321.90/307.36	o 369481
322.00/307.41	o 369381
322.13/307.53	o 369371
322.23/307.65	o 369370
322.63/308.03	o 368483
322.73/308.11	o 368473
322.73/308.18	o 368383
322.84/308.26	o 368373
322.94/308.36	o 368372
357.11/342.25	o 368371
357.11/342.28	o 368362
357.11/342.29	o 368361
357.24/342.36	o 367373
357.24/342.39	o 367372
359.98/344.96	o 366382
360.09/345.07	o 366372
360.69/345.65	o 364393
360.69/345.66	o 364382
360.89/345.83	o 364372
361.00/345.90	o 364272
361.00/345.92	o 364252
361.00/345.94	o 364172
361.00/345.96	o 364152
361.00/345.99	o 364132
362.51/347.44	o 364052
362.61/347.56	o 364032
362.91/347.87	o 364022
364.13/349.09	o 363022
364.63/349.55	o 362911
364.93/349.82	o 362112
365.03/349.94	o 362001
365.23/350.12	o 361911
365.53/350.41	o 361112
365.63/350.57	o 361111
365.73/350.69	o 361102
365.93/350.81	o 361032
365.93/350.84	o 361012
365.93/350.89	o 360212
366.03/350.91	o 360192
366.03/350.94	o 360122
366.03/350.97	o 360102
366.13/351.01	o 358212
366.13/351.03	o 358192
366.13/351.05	o 358122
366.13/351.09	o 358102
366.23/351.17	o 358101
366.47/351.32	o 358011
366.47/351.35	o 358010
366.56/351.40	o 357010
409.98/394.49	o 356131
410.08/394.53	o 356031
410.08/394.56	o 356030
430.21/414.53	o 355130
430.21/414.55	o 355030
430.41/414.72	o 355029
430.51/414.80	o 355019
470.70/454.80	o 355009
470.80/454.93	o 354909
471.00/455.10	o 354899
471.11/455.22	o 353119
471.21/455.33	o 353019
471.30/455.48	o 353009
471.50/455.62	o 352909
487.32/471.36	o 352902
487.51/471.52	o 352901
489.32/473.32	o 352823
489.51/473.52	o 352822
489.71/473.72	o 352813
489.81/473.88	o 352812
490.11/474.10	o 352811
490.22/474.27	o 352802
490.41/474.43	o 352801
490.73/474.71	o 352800
491.03/475.05	o 352793
491.24/475.23	o 352792
491.43/475.40	o 352782
491.53/475.57	o 352781
491.73/475.76	o 352780
492.03/476.03	o 352779
492.53/476.56	o 352772
492.73/476.77	o 352771
492.93/476.98	o 352770
493.13/477.19	o 352769
493.93/477.94	o 352763
494.13/478.15	o 352762
494.34/478.37	o 352761
494.44/478.46	o 352760
494.54/478.55	o 352759
495.04/479.05	o 352751
495.14/479.19	o 352649
495.37/479.39	o 352648
495.46/479.49	o 352647
495.57/479.55	o 352646
495.67/479.65	o 352638
495.77/479.70	o 352637
496.58/480.57	o 352577
496.78/480.70	o 351677
497.58/481.51	o 351577
497.58/481.54	o 351477
497.97/481.99	o 351467
498.39/482.32	o 351466
499.03/482.95	o 351456
499.12/483.04	o 351455
501.22/485.17	o 351255
501.52/485.47	o 349645
501.62/485.58	o 349644
501.82/485.73	o 349444
503.34/487.26	o 349434
503.34/487.28	o 349334
503.34/487.31	o 348534
503.50/487.33	o 348334
503.69/487.56	o 348234
503.79/487.60	o 347234
504.12/487.92	o 346354
504.32/488.19	o 346254
506.55/490.37	o 346253
507.75/491.56	o 345253
507.95/491.76	o 345153
508.05/491.81	o 345133
508.15/491.94	o 344053
508.15/491.99	o 343953
508.25/492.02	o 343933
509.60/493.33	o 343923
509.79/493.51	o 343833
509.89/493.69	o 343823
510.19/493.93	o 343822
510.42/494.18	o 341822
510.63/494.35	o 341821
511.22/494.92	o 340842
511.33/495.01	o 340841
511.33/495.08	o 339842
511.43/495.17	o 339841
511.54/495.28	o 339840
511.73/495.45	o 339822
511.83/495.55	o 339821
511.93/495.64	o 339820
513.77/497.40	o 339811
513.77/497.46	o 339810
513.87/497.59	o 339721
513.97/497.63	o 339720
513.97/497.66	o 339700
514.07/497.70	o 339699
514.07/497.74	o 339689
514.07/497.79	o 339688
520.90/504.44	o 339609
521.71/505.25	o 336609
522.00/505.55	o 335609
522.30/505.84	o 335599
522.60/506.11	o 335589
524.04/507.52	o 333489
524.14/507.65	o 333488
524.64/508.20	o 333468
525.64/509.14	o 333459
525.75/509.29	o 333458
526.14/509.69	o 333450
526.34/509.83	o 333449
526.54/510.05	o 332453
526.54/510.09	o 332452
526.64/510.14	o 332451
526.75/510.25	o 331553
526.75/510.27	o 331552
527.85/511.32	o 331549
529.28/512.74	o 331449
529.58/513.01	o 331447
530.28/513.74	o 331349
530.48/513.97	o 331347
531.59/515.02	o 331346
532.59/516.02	o 330751
532.69/516.15	o 330750
532.90/516.31	o 330650
532.99/516.44	o 330649
533.19/516.60	o 330550
533.29/516.76	o 330549
533.49/516.98	o 330450
533.69/517.19	o 330448
533.90/517.39	o 330447
534.19/517.60	o 330350
534.29/517.76	o 330349
534.49/517.96	o 330348
534.69/518.14	o 330347
534.95/518.37	o 330346
535.24/518.68	o 329750
535.44/518.82	o 329749
535.53/518.98	o 329650
535.73/519.12	o 329649
535.84/519.30	o 329549
536.03/519.48	o 329548
536.23/519.68	o 329449
536.43/519.86	o 329448
536.64/520.09	o 329349
536.84/520.27	o 329348
537.04/520.48	o 329347
537.24/520.64	o 329346
537.95/521.32	o 328347
541.60/524.91	o 327348
542.80/526.20	o 327329
542.91/526.29	o 327328
545.55/528.83	o 326469
547.55/530.80	o 326459
547.55/530.87	o 326449
551.20/534.46	o 325539
551.30/534.55	o 325529
552.20/535.45	o 325519
553.01/536.23	o 325479
553.11/536.34	o 325469
553.20/536.46	o 325459
553.40/536.63	o 325449
553.60/536.84	o 325439
553.70/536.94	o 325339
553.80/537.07	o 325329
554.01/537.21	o 325319
555.50/538.76	o 324559
555.71/538.97	o 324459
555.91/539.12	o 324449
556.02/539.23	o 324439
556.12/539.39	o 324319
557.26/540.41	o 323329
557.46/540.65	o 323319
557.86/541.02	o 323309
558.66/541.83	o 322410
559.17/542.38	o 322320
559.46/542.63	o 322310
560.07/543.30	o 322309
561.82/544.95	o 321309
572.97/556.06	o 321209
575.22/558.27	o 320409
575.32/558.39	o 320309
575.51/558.54	o 320209
581.54/564.52	o 319908
581.84/564.81	o 318908
582.64/565.63	o 318008
583.64/566.69	o 317929
583.84/566.83	o 317928
583.94/566.99	o 317927
584.25/567.25	o 317919
584.35/567.37	o 317918
584.54/567.50	o 317917
584.64/567.66	o 316930
584.74/567.75	o 316929
584.84/567.87	o 316928
584.94/567.99	o 316927
585.25/568.27	o 316919
585.35/568.37	o 316918
585.54/568.51	o 316917
585.64/568.68	o 315929
585.84/568.83	o 315928
585.94/568.95	o 315927
586.44/569.41	o 315920
586.54/569.55	o 315919
586.70/569.67	o 315918
586.80/569.80	o 315917
587.00/569.94	o 315029
587.10/570.06	o 315028
587.20/570.18	o 315027
587.41/570.32	o 314929
587.70/570.60	o 313023
587.70/570.67	o 313022
587.80/570.78	o 313021
589.50/572.43	o 313020
589.60/572.59	o 312834
589.70/572.63	o 312833
589.70/572.68	o 312832
589.90/572.82	o 312824
589.90/572.87	o 312823
590.00/572.93	o 312822
590.10/573.10	o 312032
590.20/573.17	o 312031
590.31/573.24	o 312030
590.41/573.32	o 312029
590.50/573.45	o 311833
590.60/573.51	o 311832
590.60/573.55	o 311831
590.80/573.70	o 311823
590.80/573.75	o 311822
590.90/573.80	o 311821
591.20/574.15	o 311734
591.31/574.21	o 311723
591.50/574.44	o 310814
591.60/574.50	o 310714
591.70/574.62	o 310704
592.00/574.91	o 310703
592.00/574.99	o 310604
592.10/575.07	o 310603
592.31/575.25	o 310594
592.50/575.40	o 310593
595.55/578.44	o 309814
595.65/578.52	o 309813
595.75/578.61	o 309714
595.85/578.71	o 309713
595.95/578.80	o 309704
595.95/578.89	o 309703
596.15/579.02	o 309614
596.25/579.12	o 309604
596.35/579.24	o 309603
596.95/579.80	o 309594
596.95/579.89	o 309593
597.15/580.01	o 308904
597.15/580.09	o 308894
597.25/580.20	o 308804
597.46/580.33	o 308794
597.55/580.46	o 308704
597.65/580.57	o 308694
597.85/580.70	o 308693
597.95/580.81	o 308604
598.05/580.91	o 308603
598.15/581.01	o 308594
598.25/581.10	o 308593
598.65/581.55	o 308592
599.02/581.88	o 308591
599.62/582.43	o 308590
604.92/587.72	o 308570
606.15/588.96	o 308390
606.35/589.12	o 308370
607.77/590.55	o 308291
607.87/590.64	o 308280
607.97/590.74	o 308270
608.68/591.48	o 308180
608.78/591.59	o 308170
611.28/594.09	o 308169
612.55/595.21	o 307380
612.55/595.30	o 307280
612.74/595.40	o 307279
612.84/595.52	o 307191
612.94/595.62	o 307180
613.04/595.72	o 307179
613.14/595.84	o 307170
613.24/595.93	o 307169
614.26/596.91	o 307168
615.76/598.40	o 307068
615.96/598.60	o 306169
616.06/598.72	o 306168
616.16/598.83	o 306068
616.36/599.07	o 306058
619.00/601.63	o 305258
619.20/601.86	o 304358
619.40/602.00	o 304158
625.17/607.79	o 304148
625.68/608.21	o 304079
625.97/608.51	o 304078
627.27/609.84	o 304070
627.57/610.12	o 304069
627.78/610.33	o 303980
628.07/610.66	o 303979
628.37/610.92	o 303959
628.68/611.23	o 303958
629.17/611.78	o 303957
629.47/612.05	o 303948
629.78/612.33	o 303947
630.37/613.00	o 303937
631.07/613.62	o 303858
631.17/613.73	o 303848
631.72/614.23	o 303828
635.76/618.30	o 303818
636.25/618.78	o 303816
636.57/619.00	o 303815
637.07/619.50	o 303715
638.62/621.09	o 303714
638.93/621.36	o 303615
644.36/626.70	o 303614
644.46/626.81	o 303605
644.56/626.91	o 303604
645.46/627.83	o 303603
646.87/629.29	o 303602
646.97/629.37	o 303594
647.06/629.43	o 303593
649.88/632.25	o 303512
651.19/633.05	o 303511
651.79/633.69	o 303502
652.19/634.00	o 303501
652.99/634.88	o 303500
654.00/635.83	o 303492
654.80/636.67	o 303491
655.70/637.58	o 303490
656.90/638.78	o 302498
658.97/640.78	o 302408
659.37/641.12	o 301418
662.67/644.45	o 301409
665.90/647.50	o 301330
666.30/647.91	o 301329
666.50/648.17	o 300450
666.80/648.44	o 300449
667.20/648.81	o 300350
667.50/649.17	o 300349
667.90/649.55	o 300330
668.20/649.83	o 300329
670.58/652.16	o 300328
671.28/652.83	o 300318
676.87/658.31	o 300316
677.53/658.90	o 300315
681.92/661.16	o 299295
682.03/661.30	o 298295
684.03/663.26	o 298294
689.15/668.39	o 298195
689.54/668.70	o 298194
689.84/669.01	o 297995
690.15/669.33	o 297994
690.45/669.66	o 297195
690.75/669.96	o 297194
691.05/670.28	o 296995
691.35/670.56	o 296994
691.85/671.04	o 296985
692.15/671.32	o 296984
692.45/671.69	o 296195
692.85/672.03	o 295995
693.16/672.37	o 295994
694.35/673.54	o 295195
694.65/673.80	o 295095
695.08/674.21	o 294995
695.37/674.51	o 294994
695.67/674.89	o 293994
695.87/675.04	o 293993
696.08/675.22	o 293894
696.18/675.39	o 293893
722.69/701.73	o 293883
722.79/701.88	o 293874
726.52/705.57	o 292074
726.72/705.70	o 291874
736.27/715.23	o 291784
736.46/715.40	o 291774
736.56/715.59	o 291684
737.42/716.35	o 291676
737.52/716.49	o 291675
740.72/719.62	o 291575
742.64/721.58	o 289575
743.55/722.40	o 289495
743.65/722.59	o 288595
745.15/724.07	o 288495
745.75/724.68	o 288485
746.36/725.28	o 288475
747.36/726.22	o 288377
748.26/727.13	o 288376
750.22/729.06	o 288367
753.62/732.45	o 288288
753.92/732.71	o 288287
754.32/733.12	o 288286
755.12/733.99	o 288268
755.32/734.19	o 288267
755.72/734.55	o 288266
758.66/737.41	o 288167
769.01/747.79	o 288158
769.52/748.23	o 288157
770.02/748.78	o 288156
774.17/752.50	o 286347
774.37/752.65	o 286147
774.57/752.83	o 286047
774.77/753.06	o 286046
775.27/753.57	o 285944
775.57/753.86	o 285842
776.08/754.33	o 285832
776.77/755.05	o 285822
776.98/755.27	o 285631
777.17/755.42	o 285621
777.27/755.53	o 285611
777.57/755.86	o 285610
777.87/756.10	o 284841
777.98/756.23	o 284831
778.08/756.35	o 284821
778.47/756.73	o 284631
778.57/756.86	o 284621
778.67/756.97	o 284611
778.77/757.06	o 284610
782.83/760.86	o 284600
788.93/766.92	o 284599
789.99/767.79	o 284499
790.09/767.88	o 284399
792.09/769.86	o 282900
792.39/770.16	o 282799
792.69/770.47	o 282600
792.99/770.72	o 282499
793.30/771.03	o 282399
794.80/772.58	o 282390
795.10/772.81	o 282388
817.91/794.99	o 282387
818.51/795.51	o 282378
818.81/795.86	o 282377
821.15/798.17	o 282369
821.36/798.35	o 282368
821.55/798.59	o 282367
821.85/798.80	o 282359
822.05/799.00	o 282358
822.15/799.20	o 282357
837.96/814.53	o 282356
838.67/815.23	o 282347
863.09/839.01	o 282257
863.29/839.24	o 282248
863.79/839.77	o 282247
865.89/841.88	o 282167
866.89/842.86	o 282157
867.19/843.19	o 282147
868.69/844.62	o 282138
869.30/845.21	o 282137
883.00/858.53	o 281938
886.60/862.20	o 281937
906.70/881.88	o 281828
907.11/882.22	o 281827
910.04/884.75	o 280836
911.04/885.71	o 279836
911.84/886.56	o 279827
920.36/894.65	o 279748
920.56/894.81	o 279747
920.56/894.87	o 279737
920.86/895.17	o 279637
920.97/895.23	o 279627
944.71/918.28	o 279626
946.07/919.27	o 279616
967.49/939.96	o 279537
967.70/940.16	o 278536
968.00/940.48	o 278516
980.77/952.81	o 278515
983.06/954.76	o 278425
983.16/954.85	o 278424
983.26/954.96	o 278423
983.76/955.44	o 278422
984.36/956.09	o 278421
985.16/956.89	o 278420
986.36/958.09	o 278419
987.96/959.70	o 278418
992.64/963.91	o 276618
998.14/969.44	o 276418
999.44/970.72	o 276417
1003.51/974.44	o 276408
1003.71/974.69	o 276407
1038.98/1008.67	o 276398
1039.47/1008.91	o 276397
1046.78/1016.29	o 275498
1046.97/1016.45	o 275398
1047.47/1016.97	o 274497
1047.67/1017.17	o 274397
1050.53/1019.66	o 273498
1050.73/1019.82	o 273398
1056.73/1025.88	o 273397
1057.03/1026.13	o 273298
1057.14/1026.26	o 273296
1057.34/1026.42	o 273197
1057.44/1026.58	o 273195
1058.99/1027.75	o 273194
1069.86/1038.30	o 273184
1075.46/1043.85	o 273174
1075.46/1043.87	o 273164
1111.55/1078.41	o 273163
1128.25/1094.34	o 272967
1128.54/1094.66	o 272966
1128.85/1094.98	o 272965
1129.44/1095.51	o 272964
1132.05/1098.10	o 272954
1132.95/1099.00	o 272952
1133.55/1099.60	o 272872
1133.75/1099.84	o 272852
1133.95/1100.07	o 272672
1134.70/1100.42	o 272652
1135.10/1100.87	o 272642
1146.28/1111.68	o 271861
1146.48/1111.83	o 271851
1146.58/1111.97	o 271761
1146.78/1112.10	o 271751
1147.08/1112.42	o 271741
1162.96/1127.92	o 271740
1185.78/1149.64	o 271540
1222.88/1185.26	o 270652
1223.07/1185.40	o 270642
1223.17/1185.51	o 270632
1223.27/1185.66	o 270631
1223.47/1185.82	o 270562
1223.57/1185.96	o 270552
1223.77/1186.11	o 270542
1223.88/1186.25	o 270541
1224.07/1186.41	o 269572
1224.17/1186.54	o 269562
1224.27/1186.67	o 269552
1224.37/1186.79	o 269551
1224.98/1187.36	o 268661
1225.37/1187.75	o 268561
1225.77/1188.10	o 268551
1227.88/1190.28	o 268431
1227.98/1190.39	o 267632
1228.07/1190.49	o 267432
1228.17/1190.57	o 267431
1228.27/1190.67	o 266631
1228.37/1190.75	o 266431
1230.07/1192.40	o 266343
1230.07/1192.49	o 266333
1230.73/1192.72	o 265451
1230.83/1192.82	o 265351
1230.93/1192.91	o 265341
1231.03/1193.03	o 265333
1234.65/1196.62	o 265323
1237.45/1199.41	o 265313
1239.05/1201.06	o 265312
1240.02/1201.66	o 265300
1240.12/1201.73	o 265299
1243.82/1205.49	o 265290
1246.62/1208.24	o 265289
1265.65/1226.54	o 265280
1265.75/1226.64	o 265270
1266.25/1227.18	o 265269
1268.36/1229.22	o 265266
1270.05/1230.52	o 265265
1271.35/1231.80	o 265255
1275.05/1235.52	o 265055
1279.13/1239.28	o 264955
1279.52/1239.61	o 264945
1279.82/1239.96	o 264855
1280.13/1240.28	o 264845
1281.23/1241.39	o 264055
1281.32/1241.47	o 264045
1281.52/1241.63	o 263855
1281.62/1241.71	o 263845
1281.72/1241.84	o 263055
1281.82/1241.92	o 263045
1281.92/1242.05	o 262855
1282.02/1242.11	o 262845
1295.09/1254.81	o 261964
1295.19/1254.90	o 261864
1295.19/1254.98	o 261764
1295.39/1255.10	o 261754
1295.50/1255.23	o 261745
1314.23/1273.21	o 261743
1371.93/1328.72	o 261643
1418.28/1372.16	o 261634
1418.49/1372.34	o 261624
1418.68/1372.57	o 261623
1440.14/1393.94	o 261423
1440.84/1394.61	o 259633
1441.14/1394.94	o 259533
1441.45/1395.25	o 259523
1441.74/1395.59	o 259433
1442.14/1395.90	o 259423
1442.45/1396.26	o 258733
1442.74/1396.52	o 258633
1443.04/1396.83	o 258533
1443.34/1397.17	o 258523
1443.64/1397.48	o 258433
1443.96/1397.78	o 258423
1458.00/1411.71	o 257635
1459.61/1413.37	o 257634
1461.82/1415.56	o 257633
1463.82/1417.59	o 257525
1464.02/1417.73	o 257524
1464.22/1417.94	o 257523
1464.82/1418.59	o 257415
1465.02/1418.74	o 257414
1465.22/1418.93	o 257413
1467.73/1421.44	o 257315
1467.83/1421.59	o 257314
1468.23/1421.96	o 256535
1468.43/1422.10	o 256425
1468.54/1422.25	o 256315
1468.73/1422.45	o 256314
1469.03/1422.70	o 256313
1529.76/1483.26	o 256193
1530.35/1483.80	o 256192
1552.45/1505.88	o 256173
1552.86/1506.25	o 255171
1553.35/1506.73	o 255170
1553.65/1507.07	o 254171
1554.05/1507.44	o 254170
1567.79/1521.17	o 253480
1568.32/1521.66	o 253280
1572.42/1525.75	o 253270
1586.38/1539.62	o 252582
1587.28/1540.54	o 252382
1588.28/1541.51	o 252381
1588.99/1542.23	o 252372
1589.38/1542.69	o 252371
1600.67/1553.83	o 252364
1602.77/1555.96	o 252363
1603.47/1556.62	o 252354
1615.34/1568.47	o 251444
1619.04/1572.12	o 251443
1622.95/1576.01	o 251442
1671.58/1623.12	o 251440
1672.18/1623.79	o 251430
1678.38/1629.94	o 249431
1681.61/1632.99	o 249331
1682.81/1634.17	o 249330
1683.31/1634.62	o 249230
1690.65/1641.70	o 248130
1691.85/1642.97	o 247430
1692.16/1643.29	o 247330
1692.95/1644.05	o 247230
1695.95/1647.08	o 247133
1696.55/1647.66	o 247132
1697.26/1648.36	o 247131
1698.08/1648.98	o 247130
1749.25/1698.94	o 247062
1749.75/1699.48	o 247052
1750.35/1700.09	o 247051
1751.05/1700.70	o 247042
1751.56/1701.22	o 247041
1752.25/1701.99	o 247031
1752.66/1702.38	o 247021
1757.49/1706.99	o 246861
1760.19/1709.63	o 246841
1760.99/1710.46	o 246831
1772.87/1722.07	o 246830
1773.47/1722.67	o 246741
1773.57/1722.77	o 246740
1773.77/1722.90	o 246731
1773.87/1723.04	o 246730
1781.70/1730.82	o 246659
1784.70/1733.81	o 246651
1785.30/1734.43	o 246650
1805.07/1754.12	o 246640
1817.74/1766.73	o 246621
1818.14/1767.15	o 246620
1829.89/1778.85	o 245971
1830.19/1779.19	o 245961
1830.59/1779.59	o 245960
1830.99/1779.96	o 245871
1831.40/1780.33	o 245870
1831.59/1780.57	o 245860
1844.01/1792.92	o 245850
1845.55/1794.46	o 245780
1846.05/1794.92	o 245770
1846.55/1795.49	o 245760
1925.33/1873.97	o 245750
1933.47/1882.01	o 245681
1934.07/1882.62	o 245671
1934.78/1883.34	o 245661
1960.80/1909.29	o 242661
1995.06/1943.38	o 242651
2005.49/1953.76	o 242552
2005.79/1954.04	o 242551
2029.28/1977.49	o 242550
2057.51/2005.51	o 242542
2058.45/2006.46	o 242442
2070.41/2018.38	o 242363
2070.60/2018.54	o 242353
2095.70/2043.55	o 242254
2096.25/2044.05	o 242244
2130.00/2077.64	o 241233
2131.61/2079.30	o 240334
2165.91/2113.36	o 240246
2166.30/2113.79	o 240245
2167.30/2114.71	o 240244
2168.20/2115.63	o 240236
2184.31/2131.66	o 240146
2194.26/2141.54	o 240145
2204.21/2151.40	o 240035
2205.41/2152.62	o 240034
2212.77/2159.99	o 240024
2214.08/2161.21	o 239924
2215.57/2162.70	o 239024
2218.57/2165.75	o 238924
2225.82/2172.97	o 238914
2263.12/2210.06	o 238033
2264.92/2211.80	o 238023
2266.87/2213.74	o 238014
2269.07/2215.95	o 238013
2271.57/2218.47	o 238012
2293.49/2240.28	o 238005
2295.32/2242.00	o 238004
2297.02/2243.75	o 238003
2299.32/2246.09	o 238002
2304.64/2251.35	o 236163
2306.18/2252.86	o 236162
2307.28/2253.97	o 236143
2311.28/2257.95	o 236133
2312.59/2259.27	o 236033
2314.53/2261.20	o 236032
2316.03/2262.63	o 236031
2318.64/2265.21	o 236030
2321.65/2268.22	o 236020
2334.34/2280.86	o 235321
2334.94/2281.48	o 235221
2337.05/2283.54	o 235220
2337.55/2284.02	o 235120
2338.25/2284.71	o 235020
2340.79/2287.24	o 233140
2342.08/2288.56	o 233040
2350.04/2296.46	o 232040
2351.14/2297.57	o 231040
2355.69/2302.01	o 230940
2383.65/2329.86	o 230840
2384.55/2330.71	o 229940
2384.95/2331.20	o 229840
2400.02/2346.12	s SATISFIABLE
2400.02/2346.12	v <instantiation>
2400.02/2346.12	v 	<list>
2400.02/2346.12	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] zb1[0] zb1[1] zb1[2] zb1[3] zb1[4] zb1[5] zb1[6] zb1[7] zb1[8] zb1[9] zb1[10] zb1[11] zb1[12] zb1[13] zb1[14] zb1[15] zb1[16] zb1[17] zb1[18] zb1[19] zb1[20] zb1[21] zb1[22] zb1[23] zb1[24] zb1[25] zb1[26] zb1[27] zb1[28] zb1[29] zb1[30] zb1[31] zb1[32] zb1[33] zb1[34] zb1[35] zb1[36] zb1[37] zb1[38] zb1[39] zb1[40] zb1[41] zb1[42] zb1[43] zb1[44] zb1[45] zb1[46] zb1[47] zb1[48] zb1[49] zb1[50] zb1[51] zb1[52] zb1[53] zb1[54] zb1[55] zb1[56] zb1[57] zb1[58] zb1[59] zb1[60] zb1[61] zb1[62] zb1[63] zb1[64] zb1[65] zb1[66] zb1[67] zb1[68] zb1[69] zb1[70] zb1[71] zb1[72] zb1[73] zb1[74] zb1[75] zb1[76] zb1[77] zb1[78] zb1[79] zb1[80] zb1[81] zb1[82] zb1[83] zb1[84] zb1[85] zb1[86] zb1[87] zb1[88] zb1[89] zb1[90] zb1[91] zb1[92] zb1[93] zb1[94] zb1[95] zb1[96] zb1[97] zb1[98] zb1[99] zb1[100] zb1[101] zb1[102] zb1[103] zb1[104] zb1[105] zb1[106] zb1[107] zb1[108] zb1[109] zb1[110] zb1[111] zb1[112] zb1[113] zb1[114] zb1[115] zb1[116] zb1[117] zb2[0] zb2[1] zb2[2] zb2[3] zb2[4] zb2[5] zb2[6] zb2[7] zb2[8] zb2[9] zb2[10] zb2[11] zb2[12] zb2[13] zb2[14] zb2[15] zb2[16] zb2[17] zb2[18] zb2[19] zb2[20] zb2[21] zb2[22] zb2[23] zb2[24] zb2[25] zb2[26] zb2[27] zb2[28] zb2[29] zb2[30] zb2[31] zb2[32] zb2[33] zb2[34] zb2[35] zb2[36] zb2[37] zb2[38] zb2[39] zb2[40] zb2[41] zb2[42] zb2[43] zb2[44] zb2[45] zb2[46] zb2[47] zb2[48] zb2[49] zb2[50] zb2[51] zb2[52] zb2[53] zb2[54] zb2[55] zb2[56] zb2[57] zb2[58] zb2[59] zb2[60] zb2[61] zb2[62] zb2[63] zb2[64] zb2[65] zb2[66] zb2[67] zb2[68] zb2[69] zb2[70] zb2[71] zb2[72] zb2[73] zb2[74] zb2[75] zb2[76] zb2[77] zb2[78] zb2[79] zb2[80] zb2[81] zb2[82] zb2[83] zb2[84] zb2[85] zb2[86] zb2[87] zb2[88] zb2[89] zb2[90] zb2[91] zb2[92] zb2[93] zb2[94] zb2[95] zb2[96] zb2[97] zb2[98] zb2[99] zb2[100] zb2[101] zb2[102] zb2[103] zb2[104] zb2[105] zb3[0] zb3[1] zb3[2] zb3[3] zb3[4] zb3[5] zb3[6] zb3[7] zb3[8] zb3[9] zb3[10] zb3[11] zb3[12] zb3[13] zb3[14] zb3[15] zb3[16] zb3[17] zb3[18] zb3[19] zb3[20] zb3[21] zb3[22] zb3[23] zb3[24] zb3[25] zb3[26] zb3[27] zb3[28] zb3[29] zb3[30] zb3[31] zb3[32] zb3[33] zb3[34] zb3[35] zb3[36] zb3[37] zb3[38] zb3[39] zb3[40] zb3[41] zb3[42] zb3[43] zb3[44] zb3[45] zb3[46] zb3[47] zb3[48] zb3[49] zb3[50] zb3[51] zb3[52] zb3[53] zb3[54] zb3[55] zb3[56] zb3[57] zb3[58] zb3[59] zb3[60] zb3[61] zb3[62] zb3[63] zb3[64] zb3[65] zb3[66] zb3[67] zb3[68] zb3[69] zb3[70] zb3[71] zb3[72] zb3[73] zb3[74] zb3[75] zb3[76] zb3[77] zb3[78] zb3[79] zb3[80] zb3[81] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[416] za1[417] za1[418] za1[419] za1[420] za1[421] za1[422] za1[423] za1[424] za1[425] za1[426] za1[427] za1[428] za1[429] za1[430] za1[431] za1[432] za1[433] za1[434] za1[435] za1[436] za1[437] za1[438] za1[439] za1[440] za1[441] za1[442] za1[443] za1[444] za1[445] za1[446] za1[447] za1[448] za1[449] za1[450] za1[451] za1[452] za1[453] za1[454] za1[455] za1[456] za1[457] za1[458] za1[459] za1[460] za1[461] za1[462] za1[463] za1[464] za1[465] za1[466] za1[467] za1[468] za1[469] za1[470] za1[471] za1[472] za1[473] za1[474] za1[475] za1[476] za1[477] za1[478] za1[479] za1[480] za1[481] za1[482] za1[483] za1[484] za1[485] za1[486] za1[487] za1[488] za1[489] za1[490] za1[491] za1[492] za1[493] za1[494] za1[495] za1[496] za1[497] za1[498] za1[499] za1[500] za1[501] za1[502] za1[503] za1[504] za1[505] za1[506] za1[507] za1[508] za1[509] za1[510] za1[511] za1[512] za1[513] za1[514] za1[515] za1[516] za1[517] za1[518] za1[519] za1[520] za1[521] za1[522] za1[523] za1[524] za1[525] za1[526] za1[527] za1[528] za1[529] za1[530] za1[531] za1[532] za1[533] za1[534] za1[535] za1[536] za1[537] za1[538] za1[539] za1[540] za1[541] za1[542] za1[543] za1[544] za1[545] za1[546] za1[547] za1[548] za1[549] za1[550] za1[551] za1[552] za1[553] za1[554] za1[555] za1[556] za1[557] za1[558] za1[559] za1[560] za1[561] za1[562] za1[563] za1[564] za1[565] za1[566] za1[567] za1[568] za1[569] za1[570] za1[571] za1[572] za1[573] za1[574] za1[575] za1[576] za1[577] za1[578] za1[579] za1[580] za1[581] za1[582] za1[583] za1[584] za1[585] za1[586] za1[587] za1[588] za1[589] za1[590] za1[591] za1[592] za1[593] za1[594] za1[595] za1[596] za1[597] za1[598] za1[599] za1[600] za1[601] za1[602] za1[603] za1[604] za1[605] za1[606] za1[607] za1[608] za1[609] za1[610] za1[611] za1[612] za1[613] za1[614] za1[615] za1[616] za1[617] za1[618] za1[619] za1[620] za1[621] za1[622] za1[623] za1[624] za1[625] za1[626] za1[627] za1[628] za1[629] za1[630] za1[631] za1[632] za1[633] za1[634] za1[635] za1[636] za1[637] za1[638] za1[639] za1[640] za1[641] za1[642] za1[643] za1[644] za1[645] za1[646] za1[647] za1[648] za1[649] za1[650] za1[651] za1[652] za1[653] za1[654] za1[655] za1[656] za1[657] za1[658] za1[659] za1[660] za1[661] za1[662] za1[663] za1[664] za1[665] za1[666] za1[667] za1[668] za1[669] za1[670] za1[671] za1[672] za1[673] za1[674] za1[675] za1[676] za1[677] za1[678] za1[679] za1[680] za1[681] za1[682] za1[683] za1[684] za1[685] za1[686] za1[687] za1[688] za1[689] za1[690] za1[691] za1[692] za1[693] za1[694] za1[695] za1[696] za1[697] za1[698] za1[699] za1[700] za1[701] za1[702] za1[703] za1[704] za1[705] za1[706] za1[707] za1[708] za1[709] za1[710] za1[711] za1[712] za1[713] za1[714] za1[715] za1[716] za1[717] za1[718] za1[719] za1[720] za1[721] za1[722] za1[723] za1[724] za1[725] za1[726] za1[727] za1[728] za1[729] za1[730] za1[731] za1[732] za1[733] za1[734] za1[735] za1[736] za1[737] za1[738] za1[739] za1[740] za1[741] za1[742] za1[743] za1[744] za1[745] za1[746] za1[747] za1[748] za1[749] za1[750] za1[751] za1[752] za1[753] za1[754] za1[755] za1[756] za1[757] za1[758] za1[759] za1[760] za1[761] za1[762] za1[763] za1[764] za1[765] za1[766] za1[767] za1[768] za1[769] za1[770] za1[771] za1[772] za1[773] za1[774] za1[775] za1[776] za1[777] za1[778] za1[779] za1[780] za1[781] za1[782] za1[783] za1[784] za1[785] za1[786] za1[787] za1[788] za1[789] za1[790] za1[791] za1[792] za1[793] za1[794] za1[795] za1[796] za1[797] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za2[559] za2[560] za2[561] za2[562] za2[563] za2[564] za2[565] za2[566] za2[567] za2[568] za2[569] za2[570] za2[571] za2[572] za2[573] za2[574] za2[575] za2[576] za2[577] za2[578] za2[579] za2[580] za2[581] za2[582] za2[583] za2[584] za2[585] za2[586] za2[587] za2[588] za2[589] za2[590] za2[591] za2[592] za2[593] za2[594] za2[595] za2[596] za2[597] za2[598] za2[599] za2[600] za2[601] za2[602] za2[603] za2[604] za2[605] za2[606] za2[607] za2[608] za2[609] za2[610] za2[611] za2[612] za2[613] za2[614] za2[615] za2[616] za2[617] za2[618] za2[619] za2[620] za2[621] za2[622] za2[623] za2[624] za2[625] za2[626] za2[627] za2[628] za2[629] za2[630] za2[631] za2[632] za2[633] za2[634] za2[635] za2[636] za2[637] za2[638] za2[639] za2[640] za2[641] za2[642] za2[643] za2[644] za2[645] za2[646] za2[647] za2[648] za2[649] za2[650] za2[651] za2[652] za2[653] za2[654] za2[655] za2[656] za2[657] za2[658] za2[659] za2[660] za2[661] za2[662] za2[663] za2[664] za2[665] za2[666] za2[667] za2[668] za2[669] za2[670] za2[671] za2[672] za2[673] za2[674] za2[675] za2[676] za2[677] za2[678] za2[679] za2[680] za2[681] za2[682] za2[683] za2[684] za2[685] za2[686] za2[687] za2[688] za2[689] za2[690] za2[691] za2[692] za2[693] za2[694] za2[695] za2[696] za2[697] za2[698] za2[699] za2[700] za2[701] za2[702] za2[703] za2[704] za2[705] za2[706] za2[707] za2[708] za2[709] za2[710] za2[711] za2[712] za2[713] za2[714] za2[715] za2[716] za2[717] za2[718] za2[719] za2[720] za2[721] za2[722] za2[723] za2[724] za2[725] za2[726] za2[727] za2[728] za2[729] za2[730] za2[731] za2[732] za2[733] za2[734] za2[735] za2[736] za2[737] za2[738] za2[739] za2[740] za2[741] za2[742] za2[743] za2[744] za2[745] za2[746] za2[747] za2[748] za2[749] za2[750] za2[751] za2[752] za2[753] za2[754] za2[755] za2[756] za2[757] za2[758] za2[759] za2[760] za2[761] za2[762] za2[763] za2[764] za2[765] za2[766] za2[767] za2[768] za2[769] za2[770] za2[771] za2[772] za2[773] za2[774] za2[775] za2[776] za2[777] za2[778] za2[779] za2[780] za2[781] za2[782] za2[783] za2[784] za2[785] za2[786] za2[787] za2[788] za2[789] za2[790] za2[791] za2[792] za2[793] za2[794] za2[795] za2[796] za2[797] za2[798] za2[799] za2[800] za2[801] za2[802] za2[803] za2[804] za2[805] za2[806] za2[807] za2[808] za2[809] za2[810] za2[811] za2[812] za2[813] za2[814] za2[815] za2[816] za2[817] za2[818] za2[819] za2[820] za2[821] za2[822] za2[823] za2[824] za2[825] za2[826] za2[827] za2[828] za2[829] za2[830] za2[831] za2[832] za2[833] za2[834] za2[835] za2[836] za2[837] za2[838] za2[839] za2[840] za2[841] za2[842] za2[843] za2[844] za2[845] za2[846] za2[847] za2[848] za2[849] za2[850] za2[851] za2[852] za2[853] za2[854] za2[855] za2[856] za2[857] za2[858] za2[859] za2[860] za2[861] za2[862] za2[863] za2[864] za2[865] za2[866] za2[867] za2[868] za2[869] za2[870] za2[871] za2[872] za2[873] za2[874] za2[875] za2[876] za2[877] za2[878] za2[879] za2[880] za2[881] za2[882] za2[883] za2[884] za2[885] za2[886] za2[887] za2[888] za2[889] za2[890] za2[891] za2[892] za2[893] za2[894] za2[895] za2[896] za2[897] za2[898] za2[899] za2[900] za2[901] za2[902] za2[903] za2[904] za2[905] za2[906] za2[907] za2[908] za2[909] za2[910] za2[911] za2[912] za2[913] za2[914] za2[915] za2[916] za2[917] za2[918] za2[919] za2[920] za2[921] za2[922] za2[923] za2[924] za2[925] za2[926] za2[927] za2[928] za2[929] za2[930] za2[931] za2[932] za2[933] za2[934] za2[935] za2[936] za2[937] za2[938] za2[939] za2[940] za2[941] za2[942] za2[943] za2[944] za2[945] za2[946] za2[947] za2[948] za2[949] za2[950] za2[951] za2[952] za2[953] za2[954] za2[955] za2[956] za2[957] za2[958] za2[959] za2[960] za2[961] za2[962] za2[963] za2[964] za2[965] za2[966] za2[967] za2[968] za2[969] za2[970] za2[971] za2[972] za2[973] za2[974] za2[975] za2[976] za2[977] za2[978] za2[979] za2[980] za2[981] za2[982] za2[983] za2[984] za2[985] za2[986] za2[987] za2[988] za2[989] za2[990] za2[991] za2[992] za2[993] za2[994] za2[995] za2[996] za2[997] za2[998] za2[999] za2[1000] za2[1001] za2[1002] za2[1003] za2[1004] za2[1005] za2[1006] za2[1007] za2[1008] za2[1009] za2[1010] za2[1011] za2[1012] za2[1013] za2[1014] za2[1015] za2[1016] za2[1017] za2[1018] za2[1019] za2[1020] za2[1021] za2[1022] za2[1023] za2[1024] za2[1025] za2[1026] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[506] za3[507] za3[508] za3[509] za3[510] za3[511] za3[512] za3[513] za3[514] za3[515] za3[516] za3[517] za3[518] za3[519] za3[520] za3[521] za3[522] za3[523] za3[524] za3[525] za3[526] za3[527] za3[528] za3[529] za3[530] za3[531] za3[532] za3[533] za3[534] za3[535] za3[536] za3[537] za3[538] za3[539] za3[540] za3[541] za3[542] za3[543] za3[544] za3[545] za3[546] za3[547] za3[548] za3[549] za3[550] za3[551] za3[552] za3[553] za3[554] za3[555] za3[556] za3[557] za3[558] za3[559] za3[560] za3[561] za3[562] za3[563] za3[564] za3[565] za3[566] za3[567] za3[568] za3[569] za3[570] za3[571] za3[572] za3[573] za3[574] za3[575] za3[576] za3[577] za3[578] za3[579] za3[580] za3[581] za3[582] za3[583] za3[584] za3[585] za3[586] za3[587] za3[588] za3[589] za3[590] za3[591] za3[592] za3[593] za3[594] za3[595] za3[596] za3[597] za3[598] za3[599] za3[600] za3[601] za3[602] za3[603] za3[604] za3[605] za3[606] za3[607] za3[608] za3[609] za3[610] za3[611] za3[612] za3[613] za3[614] za3[615] za3[616] za3[617] za3[618] za3[619] za3[620] za3[621] za3[622] za3[623] za3[624] za3[625] za3[626] za3[627] za3[628] za3[629] za3[630] za3[631] za3[632] za3[633] za3[634] za3[635] za3[636] za3[637] za3[638] za3[639] za3[640] za3[641] za3[642] za3[643] za3[644] za3[645] za3[646] za3[647] za3[648] za3[649] za3[650] za3[651] za3[652] za3[653] za3[654] za3[655] za3[656] za3[657] za3[658] za3[659] za3[660] za3[661] za3[662] za3[663] za3[664] za3[665] za3[666] za3[667] za3[668] za3[669] za3[670] za3[671] za3[672] za3[673] za3[674] za3[675] za3[676] za3[677] za3[678] za3[679] za3[680] za3[681] za3[682] za3[683] za3[684] za3[685] za3[686] za3[687] za3[688] za3[689] za3[690] za3[691] za3[692] za3[693] za3[694] za3[695] za3[696] za3[697] za3[698] za3[699] za3[700] za3[701] za3[702] za3[703] za3[704] za3[705] za3[706] za3[707] za3[708] za3[709] za3[710] za3[711] za3[712] za3[713] za3[714] za3[715] za3[716] za3[717] za3[718] za3[719] za3[720] za3[721] za3[722] za3[723] za3[724] za3[725] za3[726] za3[727] za3[728] za3[729] za3[730] za3[731] za3[732] za3[733] za3[734] za3[735] za3[736] za3[737] za3[738] za3[739] za3[740] za3[741] za3[742] za3[743] za3[744] za3[745] za3[746] za3[747] za3[748] za3[749] za3[750] za3[751] za3[752] za3[753] za3[754] za3[755] za3[756] za3[757] za3[758] za3[759] za3[760] za3[761] za3[762] za3[763] za3[764] za3[765] za3[766] za3[767] za3[768] za3[769] za3[770] za3[771] za3[772] za3[773] za3[774] za3[775] za3[776] za3[777] za3[778] za3[779] za3[780] za3[781] za3[782] za3[783] za3[784] za3[785] za3[786] za3[787] za3[788] za3[789] za3[790] za3[791] za3[792] za3[793] za3[794] za3[795] za3[796] za3[797] za3[798] za3[799] za3[800] za3[801] za3[802] za3[803] za3[804] za3[805] za3[806] za3[807] za3[808] za3[809] za3[810] za3[811] za3[812] za3[813] za3[814] za3[815] za3[816] za3[817] za3[818] za3[819] za3[820] za3[821] za3[822] za3[823] za3[824] za3[825] za3[826] za3[827] za3[828] za3[829] za3[830] za3[831] za3[832] za3[833] za3[834] za3[835] za3[836] za3[837] za3[838] za3[839] za3[840] za3[841] za3[842] za3[843] za3[844] za3[845] za3[846] za3[847] za3[848] za3[849] za3[850] za3[851] za3[852] za3[853] za3[854] za3[855] za3[856] za3[857] za3[858] za3[859] za3[860] za3[861] za3[862] za3[863] za3[864] za3[865] za3[866] za3[867] za3[868] za3[869] za3[870] za3[871] za3[872] za3[873] za3[874] za3[875] za3[876] za3[877] za3[878] za3[879] za3[880] za3[881] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533] za4[534] za4[535] za4[536] za4[537] za4[538] za4[539] za4[540] za4[541] za4[542] za4[543] za4[544] za4[545] za4[546] za4[547] za4[548] za4[549] za4[550] za4[551] za4[552] za4[553] za4[554] za4[555] za4[556] za4[557] za4[558] za4[559] za4[560] za4[561] za4[562] za4[563] za4[564] za4[565] za4[566] za4[567] za4[568] za4[569] za4[570] za4[571] za4[572] za4[573] za4[574] za4[575] za4[576] za4[577] za4[578] za4[579] za4[580] za4[581] za4[582] za4[583] za4[584] za4[585] za4[586] za4[587] za4[588] za4[589] za4[590] za4[591] za4[592] za4[593] za4[594] za4[595] za4[596] za4[597] za4[598] za4[599] za4[600] za4[601] za4[602] za4[603] za4[604] za4[605] za4[606] za4[607] za4[608] za4[609] za4[610] za4[611] za4[612] za4[613] za4[614] za4[615] za4[616] za4[617] za4[618] za4[619] za4[620] za4[621] za4[622] za4[623] za4[624] za4[625] za4[626] za4[627] za4[628] za4[629] za4[630] za4[631] za4[632] za4[633] za4[634] za4[635] za4[636] za4[637] za4[638] za4[639] za4[640] za4[641] za4[642] za4[643] za4[644] za4[645] za4[646] za4[647] za4[648] za4[649] za4[650] za4[651] za4[652] za4[653] za4[654] za4[655] za4[656] za4[657] za4[658] za4[659] za4[660] za4[661] za4[662] za4[663] za4[664] za4[665] za4[666] za4[667] za4[668] za4[669] za4[670] za4[671] za4[672] za4[673] za4[674] za4[675] za4[676] za4[677] za4[678] za4[679] za4[680] za4[681] za4[682] za4[683] za4[684] za4[685] za4[686] za4[687] za4[688] za4[689] za4[690] za4[691] za4[692] za4[693] za4[694] za4[695] za4[696] za4[697] za4[698] za4[699] za4[700] za4[701] za4[702] za4[703] za4[704] za4[705] za4[706] za4[707] za4[708] za4[709] za4[710] za4[711] za4[712] za4[713] za4[714] za4[715] za4[716] za4[717] za4[718] za4[719] za4[720] za4[721] za4[722] za4[723] za4[724] za4[725] za4[726] za4[727] za4[728] za4[729] za4[730] za4[731] za4[732] za4[733] za4[734] za4[735] za4[736] za4[737] za4[738] za4[739] za4[740] za4[741] za4[742] za4[743] za4[744] za4[745] za4[746] za4[747] za4[748] za4[749] za4[750] za4[751] za4[752] za4[753] za4[754] za4[755] za4[756] za4[757] za4[758] za4[759] za4[760] za4[761] za4[762] za4[763] za4[764] za4[765] za4[766] za4[767] za4[768] za4[769] za4[770] za4[771] za4[772] za4[773] za4[774] za4[775] za4[776] za4[777] za4[778] za4[779] za4[780] za4[781] za4[782] za4[783] za4[784] za4[785] za4[786] za4[787] za4[788] za4[789] za4[790] za4[791] za4[792] za4[793] za4[794] za4[795] za4[796] za4[797] za4[798] za4[799] za4[800] za4[801] za4[802] za4[803] za4[804] za4[805] za4[806] za4[807] za4[808] za4[809] za4[810] za4[811] za4[812] za4[813] za4[814] za4[815] za4[816] za4[817] za4[818] za4[819] za4[820] za4[821] za4[822] za4[823] za4[824] za4[825] za4[826] za4[827] za4[828] za4[829] za4[830] za4[831] za4[832] za4[833] za4[834] za4[835] za4[836] za4[837] za4[838] za4[839] za4[840] za4[841] za4[842] za4[843] za4[844] za4[845] za4[846] za4[847] za4[848] za4[849] za4[850] za4[851] za4[852] za4[853] za4[854] za4[855] za4[856] za4[857] za4[858] za4[859] za4[860] za4[861] za4[862] za4[863] za4[864] za4[865] za4[866] za4[867] za4[868] za4[869] za4[870] za4[871] za4[872] za4[873] za4[874] za4[875] za4[876] za4[877] za4[878] za4[879] za4[880] za4[881] za4[882] za4[883] za4[884] za4[885] za4[886] za4[887] za4[888] za4[889] za4[890] za4[891] za4[892] za4[893] za4[894] za4[895] za4[896] za4[897] za4[898] za4[899] za4[900] za4[901] za4[902] za4[903] za4[904] za4[905] za4[906] za4[907] za4[908] za4[909] za4[910] za4[911] za4[912] za4[913] za4[914] za4[915] za4[916] za4[917] za4[918] za4[919] za4[920] za4[921] za4[922] za4[923] za4[924] za4[925] za4[926] za4[927] za4[928] za4[929] za4[930] za4[931] za4[932] za4[933] za4[934] za4[935] za4[936] za4[937] za4[938] za4[939] za4[940] za4[941] za4[942] za4[943] za4[944] za4[945] za4[946] za4[947] za4[948] za4[949] za4[950] za4[951] za4[952] za4[953] za4[954] za4[955] za4[956] za4[957] za4[958] za4[959] za4[960] za4[961] za4[962] za4[963] za4[964] za4[965] za4[966] za4[967] za4[968] za4[969] za4[970] za4[971] za4[972] za4[973] za4[974] za4[975] za4[976] za4[977] za4[978] za4[979] za4[980] za4[981] za4[982] za4[983] za4[984] za4[985] za4[986] za4[987] za4[988] za4[989] za4[990] za4[991] za4[992] za4[993] za4[994] za4[995] za4[996] za4[997] za4[998] za4[999] za4[1000] za4[1001] za4[1002] za4[1003] za4[1004] za4[1005] za4[1006] za4[1007] za4[1008] za4[1009] za4[1010] za4[1011] za4[1012] za4[1013] za4[1014] za4[1015] za4[1016] za4[1017] za4[1018] za4[1019] za4[1020] za4[1021] za4[1022] za4[1023] za4[1024] za4[1025] za4[1026] za4[1027] za4[1028] za4[1029] za4[1030] za4[1031] za4[1032] za4[1033] za4[1034] za4[1035] za4[1036] za4[1037] za4[1038] za4[1039] za4[1040] za4[1041] za4[1042] za4[1043] za4[1044] za4[1045] za4[1046] za4[1047] za4[1048] za4[1049] za4[1050] za4[1051] za4[1052] za4[1053] za4[1054] za4[1055]
2400.02/2346.12	v 	</list>
2400.02/2346.12	v 	<values>
2400.02/2346.12	v 		442 680 554 792 694 456 414 652 484 722 268 30 778 540 680 442 310 72 554 792 16 254 16 254 16 254 324 86 142 380 100 338 484 722 414 652 540 778 44 282 442 680 792 554 554 792 366 128 338 100 722 484 44 282 338 100 16 254 722 484 338 100 16 254 44 282 366 128 324 86 750 512 58 296 680 442 792 554 142 380 156 394 380 142 44 282 380 142 470 708 366 128 156 394 498 736 142 380 526 764 324 86 30 268 554 792 414 652 282 44 778 540 750 512 792 554 456 694 44 282 30 268 16 254 282 44 652 414 310 72 428 666 296 58 512 750 442 680 156 394 442 680 442 680 58 296 114 352 394 156 282 44 750 512 44 282 792 554 170 408 58 296 428 666 296 58 268 30 254 16 282 44 792 554 352 114 86 324 86 324 114 352 470 708 296 58 442 680 554 792 394 156 142 380 792 554 792 554 352 114 708 470 142 380 324 86 254 16 114 352 142 380 526 764 666 428 778 540 72 310 722 484 142 380 142 380 778 540 456 694 296 58 268 30 540 778 86 324 540 778 428 666 114 352 540 778 540 778 268 30 456 694 778 540 778 540 666 428 30 268 792 554 282 44 30 268 708 470 282 44 778 540 380 142 442 680 282 44 44 282 694 456 30 268 86 324 540 778 282 44 526 764 540 778 792 554 778 540 268 30 142 380 778 540 142 380 526 764 442 680 366 128 456 694 540 778 512 750 268 30 708 470 254 16 142 380 666 428 30 268 554 792 338 100 58 296 428 666 540 778 44 282 540 778 540 778 142 380 554 792 254 16 268 30 750 512 764 526 72 310 142 380 792 554 792 554 470 708 512 750 540 778 380 142 310 72 456 694 282 44 380 142 470 708 540 778 338 100 666 428 254 16 282 44 16 254 44 282 736 498 414 652 380 142 680 442 30 268 778 540 282 44 750 512 526 764 736 498 736 498 428 666 30 268 44 282 72 310 540 778 142 380 30 268 680 442 352 114 778 540 708 470 282 44 86 324 30 268 778 540 128 366 736 498 498 736 456 694 142 380 652 414 268 30 352 114 414 652 254 16 16 254 156 394 750 512 128 366 778 540 338 100 456 694 268 30 722 484 30 268 484 722 352 114 792 554 526 764 442 680 554 792 114 352 526 764 554 792 484 722 254 16 142 380 128 366 708 470 268 30 526 764 268 30 484 722 296 58 282 44 352 114 268 30 268 30 526 764 694 456 456 694 456 694 366 128 58 296 694 456 470 708 128 366 30 268 652 414 394 156 540 778 778 540 142 380 142 380 268 30 366 128 352 114 708 470 380 142 442 680 142 380 72 310 764 526 324 86 268 30 366 128 282 44 540 778 338 100 296 58 680 442 366 128 764 526 428 666 792 554 666 428 338 100 778 540 310 72 694 456 58 296 736 498 114 352 156 394 540 778 254 16 156 394 722 484 30 268 792 554 44 282 324 86 540 778 540 778 142 380 778 540 142 380 268 30 540 778 666 428 296 58 86 324 86 324 366 128 324 86 254 16 680 442 792 554 72 310 100 338 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 0 0 0 0 0 0 1000 1000 1000 1000 0 0 0 0 0 0 1000 1000 1000 1000 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 0 0 0 0 1000 1000 0 0 1000 1000 0 0 0 0 1000 1000 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 1000 1000 1000 1000 1000 1000 1000 1000 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 100 100 100 100 0 0 100 100 100 100 100 100 0 0 0 0 100 100 100 100 0 0 0 0 100 100 100 100 100 100 100 100 100 100 0 0 0 0 0 0 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 0 0 100 100 100 100 100 100 100 100 100 100 0 0 0 0 0 0 100 100 100 100 0 0 0 0 0 0 100 100 100 100 100 100 0 0 100 100 100 100 0 0 100 100 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 0 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 0 0 0 0 10 10 10 10 10 10 0 0 0 0 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 0 0 10 10 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 1000 0 1000 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 0 0 1000 1000 1000 0 0 0 0 0 0 0 1000 0 1000 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 1000 1000 1000 1000 0 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 1000 0 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 1000 0 0 0 1000 0 1000 1000 1000 1000 1000 0 1000 0 1000 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 1000 1000 1000 1000 0 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 1000 1000 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 1000 0 1000 0 1000 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 1000 1000 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 100 100 0 0 0 100 0 0 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 100 100 0 100 0 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 100 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 100 0 0 0 0 100 0 0 100 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 100 100 100 0 0 100 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 100 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 0 0 100 100 0 0 100 100 0 100 0 0 0 0 0 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 100 100 0 100 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 0 0 0 100 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 100 100 0 0 0 0 100 0 100 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 100 100 100 100 100 0 0 0 0 100 0 0 100 100 100 0 100 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 100 0 0 0 100 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 100 0 0 100 0 0 0 100 100 0 0 100 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 100 100 0 0 100 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 100 0 100 0 100 0 100 0 0 0 100 0 100 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 100 100 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 100 100 100 0 0 100 100 0 0 100 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 100 0 100 100 100 100 100 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 100 100 0 0 0 0 100 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 100 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 10 0 0 0 0 0 10 10 0 0 10 10 10 10 0 0 10 10 10 0 0 0 0 0 0 10 0 0 10 10 10 0 0 0 0 10 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 10 10 0 10 10 0 0 0 10 10 10 10 0 0 10 10 0 0 0 10 0 10 0 0 0 0 0 0 10 0 0 10 0 0 0 0 10 10 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 10 10 0 10 0 0 0 10 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 0 10 10 10 10 10 0 10 0 10 0 0 10 10 0 0 10 0 10 0 10 0 10 10 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 10 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 10 0 0 10 0 0 0 0 0 0 0 10 0 10 0 10 10 10 0 10 10 10 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 10 10 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 10 0 10 10 10 10 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 10 10 10 10 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 10 0 0 10 0 10 0 0 0 0 10 0 10 0 0 0 0 0 0 10 0 10 0 10 0 0 0 0 10 10 10 10 10 0 10 0 10 10 10 0 0 0 0 10 0 10 10 0 0 10 0 0 0 10 10 0 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 10 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 10 10 10 10 0 0 10 0 10 10 0 0 0 10 0 10 0 0 0 10 10 10 10 0 0 0 10 10 0 0 0 10 0 0 10 0 10 10 10 10 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 10 0 10 10 0 0 10 10 10 0 10 0 0 0 0 0 10 0 10 0 0 0 0 10 10 0 10 0 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 10 10 0 0 0 10 0 0 0 10 0 0 0 10 10 10 10 0 0 0 0 10 0 10 0 0 0 0 10 0 0 0 10 10 10 0 0 0 0 10 0 0 0 0 10 0 10 0 0 0 0 0 0 0 10 10 0 10 10 10 0 0 0 0 10 10 0 10 10 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 1 1 0 0 1 1 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 0 1 
2400.02/2346.12	v 	</values>
2400.02/2346.12	v </instantiation>

Verifier Data 

OK	229840

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291856-1532263217/watcher-4291856-1532263217 -o /tmp/evaluation-result-4291856-1532263217/solver-4291856-1532263217 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532260876-3287 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1639965605 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291856-1532263217.xml 

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

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

solver pid=3635, runsolver pid=3632

[startup+0.100167 s]*
/proc/loadavg: 1.29 1.38 1.44 3/216 3650
/proc/meminfo: memFree=21454108/32770624 swapFree=67108860/67108860
[pid=3635] ppid=3632 vsize=14082740 memory=34336 CPUtime=0.11 cores=0,2,4,6
/proc/3635/stat : 3635 (java) S 3632 3635 3256 0 -1 1077944320 6991 0 0 0 10 1 0 0 20 0 15 0 43884901 14420725760 8584 33554432000 4194304 4196468 140725392493856 140725392476400 140075764559607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
/proc/3635/statm: 3520685 8584 3119 1 0 3482761 0
[pid=3635/tid=3637] ppid=3632 vsize=14082740 memory=-8537241003015107776 CPUtime=0.09 cores=0,2,4,6
/proc/3635/task/3637/stat : 3637 (java) R 3632 3635 3256 0 -1 4202560 5075 0 0 0 8 1 0 0 20 0 15 0 43884901 14420725760 8584 33554432000 4194304 4196468 140725392493856 140075768744288 140075764581533 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3638] ppid=3632 vsize=14082740 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3638/stat : 3638 (java) S 3632 3635 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43884902 14420725760 8584 33554432000 4194304 4196468 140725392493856 140075729840912 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3639] ppid=3632 vsize=14082740 memory=140503142700672 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3639/stat : 3639 (java) S 3632 3635 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43884902 14420725760 8584 33554432000 4194304 4196468 140725392493856 140075358862224 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3640] ppid=3632 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3640/stat : 3640 (java) S 3632 3635 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43884902 14420725760 8584 33554432000 4194304 4196468 140725392493856 140075357809680 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3641] ppid=3632 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3641/stat : 3641 (java) S 3632 3635 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43884902 14420725760 8584 33554432000 4194304 4196468 140725392493856 140075356757136 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3642] ppid=3632 vsize=14082740 memory=140503142700672 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3642/stat : 3642 (java) S 3632 3635 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43884903 14420725760 8584 33554432000 4194304 4196468 140725392493856 140075239163888 140075764570754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3643] ppid=3632 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3643/stat : 3643 (java) S 3632 3635 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43884904 14420725760 8584 33554432000 4194304 4196468 140725392493856 140075238110112 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3644] ppid=3632 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3644/stat : 3644 (java) S 3632 3635 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43884904 14420725760 8584 33554432000 4194304 4196468 140725392493856 140075237057520 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3645] ppid=3632 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3645/stat : 3645 (java) S 3632 3635 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43884906 14420725760 8584 33554432000 4194304 4196468 140725392493856 140075236006096 140075764578203 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3646] ppid=3632 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3646/stat : 3646 (java) S 3632 3635 3256 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 43884906 14420725760 8584 33554432000 4194304 4196468 140725392493856 140075234953712 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3647] ppid=3632 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3647/stat : 3647 (java) S 3632 3635 3256 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 43884906 14420725760 8584 33554432000 4194304 4196468 140725392493856 140075233901168 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3648] ppid=3632 vsize=14082740 memory=140503142700672 CPUtime=0.01 cores=0,2,4,6
/proc/3635/task/3648/stat : 3648 (java) R 3632 3635 3256 0 -1 4202560 247 0 0 0 1 0 0 0 20 0 15 0 43884906 14420725760 8584 33554432000 4194304 4196468 140725392493856 140075232848624 140075743968524 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3649] ppid=3632 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3649/stat : 3649 (java) S 3632 3635 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43884906 14420725760 8584 33554432000 4194304 4196468 140725392493856 140075231796320 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3650] ppid=3632 vsize=14082740 memory=140503142700672 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3650/stat : 3650 (java) S 3632 3635 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43884907 14420725760 8584 33554432000 4194304 4196468 140725392493856 140075230742832 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 34336 KiB

[startup+0.211362 s]*
/proc/loadavg: 1.29 1.38 1.44 6/216 3650
/proc/meminfo: memFree=21439208/32770624 swapFree=67108860/67108860
[pid=3635] ppid=3632 vsize=14082740 memory=47700 CPUtime=0.31 cores=0,2,4,6
/proc/3635/stat : 3635 (java) S 3632 3635 3256 0 -1 1077944320 10041 0 0 0 29 2 0 0 20 0 15 0 43884901 14420725760 11925 33554432000 4194304 4196468 140725392493856 140725392476400 140075764559607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
/proc/3635/statm: 3520685 11925 3379 1 0 3482761 0
[pid=3635/tid=3637] ppid=3632 vsize=14082740 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/3635/task/3637/stat : 3637 (java) R 3632 3635 3256 0 -1 4202560 7770 0 0 0 18 1 0 0 20 0 15 0 43884901 14420725760 11925 33554432000 4194304 4196468 140725392493856 140075768787952 140075764571542 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3638] ppid=3632 vsize=14082740 memory=331 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3638/stat : 3638 (java) S 3632 3635 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43884902 14420725760 11925 33554432000 4194304 4196468 140725392493856 140075729840912 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3639] ppid=3632 vsize=14082740 memory=140503142704487 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3639/stat : 3639 (java) S 3632 3635 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43884902 14420725760 11925 33554432000 4194304 4196468 140725392493856 140075358862224 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3640] ppid=3632 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3640/stat : 3640 (java) S 3632 3635 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43884902 14420725760 11925 33554432000 4194304 4196468 140725392493856 140075357809680 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3641] ppid=3632 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3641/stat : 3641 (java) S 3632 3635 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43884902 14420725760 11925 33554432000 4194304 4196468 140725392493856 140075356757136 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3642] ppid=3632 vsize=14082740 memory=140503142700672 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3642/stat : 3642 (java) S 3632 3635 3256 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 43884903 14420725760 11925 33554432000 4194304 4196468 140725392493856 140075239163888 140075764570754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3643] ppid=3632 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3643/stat : 3643 (java) S 3632 3635 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43884904 14420725760 11925 33554432000 4194304 4196468 140725392493856 140075238110112 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3644] ppid=3632 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3644/stat : 3644 (java) S 3632 3635 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43884904 14420725760 11925 33554432000 4194304 4196468 140725392493856 140075237057520 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3645] ppid=3632 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3645/stat : 3645 (java) S 3632 3635 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43884906 14420725760 11925 33554432000 4194304 4196468 140725392493856 140075236006096 140075764578203 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3646] ppid=3632 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3635/task/3646/stat : 3646 (java) S 3632 3635 3256 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 15 0 43884906 14420725760 11925 33554432000 4194304 4196468 140725392493856 140075234953712 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3647] ppid=3632 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/3635/task/3647/stat : 3647 (java) S 3632 3635 3256 0 -1 1077944384 478 0 0 0 2 0 0 0 20 0 15 0 43884906 14420725760 11925 33554432000 4194304 4196468 140725392493856 140075233901168 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3648] ppid=3632 vsize=14082740 memory=140503142700672 CPUtime=0.06 cores=0,2,4,6
/proc/3635/task/3648/stat : 3648 (java) R 3632 3635 3256 0 -1 4202560 280 0 0 0 6 0 0 0 20 0 15 0 43884906 14420725760 11925 33554432000 4194304 4196468 140725392493856 140075232847808 140075743527734 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3649] ppid=3632 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3649/stat : 3649 (java) S 3632 3635 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43884906 14420725760 11925 33554432000 4194304 4196468 140725392493856 140075231796320 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3650] ppid=3632 vsize=14082740 memory=140503142700672 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3650/stat : 3650 (java) S 3632 3635 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43884907 14420725760 11925 33554432000 4194304 4196468 140725392493856 140075230742832 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47700 KiB

[startup+0.310483 s]*
/proc/loadavg: 1.29 1.38 1.44 3/216 3650
/proc/meminfo: memFree=21435672/32770624 swapFree=67108860/67108860
[pid=3635] ppid=3632 vsize=14082740 memory=50952 CPUtime=0.43 cores=0,2,4,6
/proc/3635/stat : 3635 (java) S 3632 3635 3256 0 -1 1077944320 10385 0 0 0 41 2 0 0 20 0 15 0 43884901 14420725760 12738 33554432000 4194304 4196468 140725392493856 140725392476400 140075764559607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
/proc/3635/statm: 3520685 12738 3381 1 0 3482761 0
[pid=3635/tid=3637] ppid=3632 vsize=14082740 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/3635/task/3637/stat : 3637 (java) R 3632 3635 3256 0 -1 4202560 8100 0 0 0 28 1 0 0 20 0 15 0 43884901 14420725760 12738 33554432000 4194304 4196468 140725392493856 140075768740656 140075746124569 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3638] ppid=3632 vsize=14082740 memory=304556140472303639 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3638/stat : 3638 (java) S 3632 3635 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43884902 14420725760 12738 33554432000 4194304 4196468 140725392493856 140075729840912 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3639] ppid=3632 vsize=14082740 memory=13713098870167192 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3639/stat : 3639 (java) S 3632 3635 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43884902 14420725760 12738 33554432000 4194304 4196468 140725392493856 140075358862224 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3640] ppid=3632 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3640/stat : 3640 (java) S 3632 3635 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43884902 14420725760 12738 33554432000 4194304 4196468 140725392493856 140075357809680 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3641] ppid=3632 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3641/stat : 3641 (java) S 3632 3635 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43884902 14420725760 12738 33554432000 4194304 4196468 140725392493856 140075356757136 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3642] ppid=3632 vsize=14082740 memory=140503142700672 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3642/stat : 3642 (java) S 3632 3635 3256 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 43884903 14420725760 12738 33554432000 4194304 4196468 140725392493856 140075239163888 140075764570754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3643] ppid=3632 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3643/stat : 3643 (java) S 3632 3635 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43884904 14420725760 12738 33554432000 4194304 4196468 140725392493856 140075238110112 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3644] ppid=3632 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3644/stat : 3644 (java) S 3632 3635 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43884904 14420725760 12738 33554432000 4194304 4196468 140725392493856 140075237057520 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3645] ppid=3632 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3645/stat : 3645 (java) S 3632 3635 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43884906 14420725760 12738 33554432000 4194304 4196468 140725392493856 140075236006096 140075764578203 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3646] ppid=3632 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3635/task/3646/stat : 3646 (java) S 3632 3635 3256 0 -1 1077944384 131 0 0 0 2 0 0 0 20 0 15 0 43884906 14420725760 12738 33554432000 4194304 4196468 140725392493856 140075234953712 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3647] ppid=3632 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/3635/task/3647/stat : 3647 (java) S 3632 3635 3256 0 -1 1077944384 483 0 0 0 2 0 0 0 20 0 15 0 43884906 14420725760 12738 33554432000 4194304 4196468 140725392493856 140075233901168 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3648] ppid=3632 vsize=14082740 memory=140503142700672 CPUtime=0.08 cores=0,2,4,6
/proc/3635/task/3648/stat : 3648 (java) S 3632 3635 3256 0 -1 1077944384 288 0 0 0 8 0 0 0 20 0 15 0 43884906 14420725760 12738 33554432000 4194304 4196468 140725392493856 140075232848624 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3649] ppid=3632 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3649/stat : 3649 (java) S 3632 3635 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43884906 14420725760 12738 33554432000 4194304 4196468 140725392493856 140075231796320 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3650] ppid=3632 vsize=14082740 memory=140503142700672 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3650/stat : 3650 (java) S 3632 3635 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43884907 14420725760 12738 33554432000 4194304 4196468 140725392493856 140075230742832 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50952 KiB

[startup+0.700719 s]
/proc/loadavg: 1.29 1.38 1.44 3/216 3650
/proc/meminfo: memFree=21413536/32770624 swapFree=67108860/67108860
[pid=3635] ppid=3632 vsize=14084808 memory=88308 CPUtime=0.99 cores=0,2,4,6
/proc/3635/stat : 3635 (java) S 3632 3635 3256 0 -1 1077944320 17018 0 0 0 95 4 0 0 20 0 15 0 43884901 14422843392 22077 33554432000 4194304 4196468 140725392493856 140725392476400 140075764559607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
/proc/3635/statm: 3521202 22077 3477 1 0 3483273 0
[pid=3635/tid=3637] ppid=3632 vsize=14084808 memory=1728 CPUtime=0.67 cores=0,2,4,6
/proc/3635/task/3637/stat : 3637 (java) R 3632 3635 3256 0 -1 4202560 14419 0 0 0 64 3 0 0 20 0 15 0 43884901 14422843392 22077 33554432000 4194304 4196468 140725392493856 140075768778848 140075745954813 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3638] ppid=3632 vsize=14084808 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3638/stat : 3638 (java) S 3632 3635 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43884902 14422843392 22077 33554432000 4194304 4196468 140725392493856 140075729840912 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3639] ppid=3632 vsize=14084808 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3639/stat : 3639 (java) S 3632 3635 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43884902 14422843392 22077 33554432000 4194304 4196468 140725392493856 140075358862224 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3640] ppid=3632 vsize=14084808 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3640/stat : 3640 (java) S 3632 3635 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43884902 14422843392 22077 33554432000 4194304 4196468 140725392493856 140075357809680 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3641] ppid=3632 vsize=14084808 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3641/stat : 3641 (java) S 3632 3635 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43884902 14422843392 22077 33554432000 4194304 4196468 140725392493856 140075356757136 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3642] ppid=3632 vsize=14084808 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3642/stat : 3642 (java) S 3632 3635 3256 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 43884903 14422843392 22077 33554432000 4194304 4196468 140725392493856 140075239163888 140075764570754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3643] ppid=3632 vsize=14084808 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3643/stat : 3643 (java) S 3632 3635 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43884904 14422843392 22077 33554432000 4194304 4196468 140725392493856 140075238110112 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3644] ppid=3632 vsize=14084808 memory=8372 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3644/stat : 3644 (java) S 3632 3635 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43884904 14422843392 22077 33554432000 4194304 4196468 140725392493856 140075237057520 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3645] ppid=3632 vsize=14084808 memory=7518026621751089001 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3645/stat : 3645 (java) S 3632 3635 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43884906 14422843392 22077 33554432000 4194304 4196468 140725392493856 140075236006096 140075764578203 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3646] ppid=3632 vsize=14084808 memory=7236547281622689387 CPUtime=0.08 cores=0,2,4,6
/proc/3635/task/3646/stat : 3646 (java) S 3632 3635 3256 0 -1 1077944384 258 0 0 0 8 0 0 0 20 0 15 0 43884906 14422843392 22077 33554432000 4194304 4196468 140725392493856 140075234953712 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3647] ppid=3632 vsize=14084808 memory=5787213827063244903 CPUtime=0.07 cores=0,2,4,6
/proc/3635/task/3647/stat : 3647 (java) S 3632 3635 3256 0 -1 1077944384 639 0 0 0 7 0 0 0 20 0 15 0 43884906 14422843392 22077 33554432000 4194304 4196468 140725392493856 140075233901168 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3648] ppid=3632 vsize=14084808 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/3635/task/3648/stat : 3648 (java) R 3632 3635 3256 0 -1 4202560 320 0 0 0 15 0 0 0 20 0 15 0 43884906 14422843392 22077 33554432000 4194304 4196468 140725392493856 140075232848624 140075764580954 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3649] ppid=3632 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3649/stat : 3649 (java) S 3632 3635 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43884906 14422843392 22077 33554432000 4194304 4196468 140725392493856 140075231796320 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3650] ppid=3632 vsize=14084808 memory=33 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3650/stat : 3650 (java) S 3632 3635 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43884907 14422843392 22077 33554432000 4194304 4196468 140725392493856 140075230742832 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88308 KiB

[startup+1.50071 s]
/proc/loadavg: 1.29 1.38 1.44 5/216 3650
/proc/meminfo: memFree=21354452/32770624 swapFree=67108860/67108860
[pid=3635] ppid=3632 vsize=14086856 memory=205612 CPUtime=3.48 cores=0,2,4,6
/proc/3635/stat : 3635 (java) S 3632 3635 3256 0 -1 1077944320 29256 0 0 0 340 8 0 0 20 0 15 0 43884901 14424940544 51403 33554432000 4194304 4196468 140725392493856 140725392476400 140075764559607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
/proc/3635/statm: 3521714 51403 3548 1 0 3483785 0
[pid=3635/tid=3637] ppid=3632 vsize=14086856 memory=8112282956445269571 CPUtime=1.47 cores=0,2,4,6
/proc/3635/task/3637/stat : 3637 (java) R 3632 3635 3256 0 -1 4202560 17391 0 0 0 141 6 0 0 20 0 15 0 43884901 14424940544 51403 33554432000 4194304 4196468 140725392493856 140075768792648 140075406233501 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3638] ppid=3632 vsize=14086856 memory=-8754540793456063680 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3638/stat : 3638 (java) S 3632 3635 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43884902 14424940544 51403 33554432000 4194304 4196468 140725392493856 140075729840912 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3639] ppid=3632 vsize=14086856 memory=-2843869621055772062 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3639/stat : 3639 (java) S 3632 3635 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43884902 14424940544 51403 33554432000 4194304 4196468 140725392493856 140075358862224 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3640] ppid=3632 vsize=14086856 memory=5450919713671312938 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3640/stat : 3640 (java) S 3632 3635 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43884902 14424940544 51403 33554432000 4194304 4196468 140725392493856 140075357809680 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3641] ppid=3632 vsize=14086856 memory=7005738693937936738 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3641/stat : 3641 (java) S 3632 3635 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43884902 14424940544 51403 33554432000 4194304 4196468 140725392493856 140075356757136 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3642] ppid=3632 vsize=14086856 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3642/stat : 3642 (java) S 3632 3635 3256 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 43884903 14424940544 51403 33554432000 4194304 4196468 140725392493856 140075239163888 140075764570754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0

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

/proc/3635/task/3637/stat : 3637 (java) R 3632 3635 3256 0 -1 4202560 261627 0 0 0 224703 67 0 0 20 0 15 0 43884901 14431232000 1190660 33554432000 4194304 4196468 140725392493856 140075768796768 140075406002291 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3638] ppid=3632 vsize=14093000 memory=4762640 CPUtime=13.28 cores=0,2,4,6
/proc/3635/task/3638/stat : 3638 (java) S 3632 3635 3256 0 -1 1077944384 35974 0 0 0 1251 77 0 0 20 0 15 0 43884902 14431232000 1190660 33554432000 4194304 4196468 140725392493856 140075729840912 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3639] ppid=3632 vsize=14093000 memory=4762640 CPUtime=13.24 cores=0,2,4,6
/proc/3635/task/3639/stat : 3639 (java) S 3632 3635 3256 0 -1 1077944384 29146 0 0 0 1246 78 0 0 20 0 15 0 43884902 14431232000 1190660 33554432000 4194304 4196468 140725392493856 140075358862224 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3640] ppid=3632 vsize=14093000 memory=4762640 CPUtime=13.24 cores=0,2,4,6
/proc/3635/task/3640/stat : 3640 (java) S 3632 3635 3256 0 -1 1077944384 35333 0 0 0 1249 75 0 0 20 0 15 0 43884902 14431232000 1190660 33554432000 4194304 4196468 140725392493856 140075357809680 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3641] ppid=3632 vsize=14093000 memory=4762640 CPUtime=13.23 cores=0,2,4,6
/proc/3635/task/3641/stat : 3641 (java) S 3632 3635 3256 0 -1 1077944384 33163 0 0 0 1245 78 0 0 20 0 15 0 43884902 14431232000 1190660 33554432000 4194304 4196468 140725392493856 140075356757136 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3642] ppid=3632 vsize=14093000 memory=4762640 CPUtime=0.57 cores=0,2,4,6
/proc/3635/task/3642/stat : 3642 (java) S 3632 3635 3256 0 -1 1077944384 22942 0 0 0 50 7 0 0 20 0 15 0 43884903 14431232000 1190660 33554432000 4194304 4196468 140725392493856 140075239163888 140075764570754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 45 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3643] ppid=3632 vsize=14093000 memory=4762640 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3643/stat : 3643 (java) S 3632 3635 3256 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 43884904 14431232000 1190660 33554432000 4194304 4196468 140725392493856 140075238110176 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3644] ppid=3632 vsize=14093000 memory=4762640 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3644/stat : 3644 (java) S 3632 3635 3256 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 43884904 14431232000 1190660 33554432000 4194304 4196468 140725392493856 140075237057536 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3645] ppid=3632 vsize=14093000 memory=4760592 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3645/stat : 3645 (java) S 3632 3635 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43884906 14431232000 1190660 33554432000 4194304 4196468 140725392493856 140075236006096 140075764578203 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3646] ppid=3632 vsize=14093000 memory=4760592 CPUtime=5.57 cores=0,2,4,6
/proc/3635/task/3646/stat : 3646 (java) S 3632 3635 3256 0 -1 1077944384 29320 0 0 0 553 4 0 0 20 0 15 0 43884906 14431232000 1190660 33554432000 4194304 4196468 140725392493856 140075234953712 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3647] ppid=3632 vsize=14093000 memory=4762640 CPUtime=5.61 cores=0,2,4,6
/proc/3635/task/3647/stat : 3647 (java) S 3632 3635 3256 0 -1 1077944384 28759 0 0 0 558 3 0 0 20 0 15 0 43884906 14431232000 1190660 33554432000 4194304 4196468 140725392493856 140075233901168 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3648] ppid=3632 vsize=14093000 memory=4762640 CPUtime=1.89 cores=0,2,4,6
/proc/3635/task/3648/stat : 3648 (java) S 3632 3635 3256 0 -1 1077944384 49013 0 0 0 183 6 0 0 20 0 15 0 43884906 14431232000 1190660 33554432000 4194304 4196468 140725392493856 140075232848624 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3649] ppid=3632 vsize=14093000 memory=4760592 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3649/stat : 3649 (java) S 3632 3635 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43884906 14431232000 1190660 33554432000 4194304 4196468 140725392493856 140075231796320 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3650] ppid=3632 vsize=14093000 memory=281006020422640 CPUtime=1.29 cores=0,2,4,6
/proc/3635/task/3650/stat : 3650 (java) S 3632 3635 3256 0 -1 1077944384 1824 0 0 0 63 66 0 0 20 0 15 0 43884907 14431232000 1190660 33554432000 4194304 4196468 140725392493856 140075230742832 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 62 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
Current children cumulated CPU time: 2315.74 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 4762640 KiB

[startup+2322.31 s]
/proc/loadavg: 2.08 1.73 1.64 3/215 3737
/proc/meminfo: memFree=16438084/32770624 swapFree=67108860/67108860
[pid=3635] ppid=3632 vsize=14093000 memory=4764688 CPUtime=2376.11 cores=0,2,4,6
/proc/3635/stat : 3635 (java) S 3632 3635 3256 0 -1 1077944320 542341 0 0 0 237156 455 0 0 20 0 15 0 43884901 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140725392476400 140075764559607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
/proc/3635/statm: 3523250 1191172 3625 1 0 3485321 0
[pid=3635/tid=3637] ppid=3632 vsize=14093000 memory=4764688 CPUtime=2307.6 cores=0,2,4,6
/proc/3635/task/3637/stat : 3637 (java) R 3632 3635 3256 0 -1 4202560 269679 0 0 0 230692 68 0 0 20 0 15 0 43884901 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075768796656 140075405919887 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3638] ppid=3632 vsize=14093000 memory=4764688 CPUtime=13.39 cores=0,2,4,6
/proc/3635/task/3638/stat : 3638 (java) S 3632 3635 3256 0 -1 1077944384 36389 0 0 0 1261 78 0 0 20 0 15 0 43884902 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075729840912 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3639] ppid=3632 vsize=14093000 memory=4764688 CPUtime=13.34 cores=0,2,4,6
/proc/3635/task/3639/stat : 3639 (java) S 3632 3635 3256 0 -1 1077944384 30539 0 0 0 1256 78 0 0 20 0 15 0 43884902 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075358862224 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3640] ppid=3632 vsize=14093000 memory=4764688 CPUtime=13.35 cores=0,2,4,6
/proc/3635/task/3640/stat : 3640 (java) S 3632 3635 3256 0 -1 1077944384 36032 0 0 0 1259 76 0 0 20 0 15 0 43884902 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075357809680 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3641] ppid=3632 vsize=14093000 memory=4764688 CPUtime=13.32 cores=0,2,4,6
/proc/3635/task/3641/stat : 3641 (java) S 3632 3635 3256 0 -1 1077944384 33895 0 0 0 1254 78 0 0 20 0 15 0 43884902 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075356757136 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3642] ppid=3632 vsize=14093000 memory=4764688 CPUtime=0.58 cores=0,2,4,6
/proc/3635/task/3642/stat : 3642 (java) S 3632 3635 3256 0 -1 1077944384 23164 0 0 0 50 8 0 0 20 0 15 0 43884903 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075239163888 140075764570754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 45 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3643] ppid=3632 vsize=14093000 memory=4764688 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3643/stat : 3643 (java) S 3632 3635 3256 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 43884904 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075238110176 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3644] ppid=3632 vsize=14093000 memory=4764688 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3644/stat : 3644 (java) S 3632 3635 3256 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 43884904 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075237057536 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3645] ppid=3632 vsize=14093000 memory=4764688 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3645/stat : 3645 (java) S 3632 3635 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43884906 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075236006096 140075764578203 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3646] ppid=3632 vsize=14093000 memory=4764688 CPUtime=5.6 cores=0,2,4,6
/proc/3635/task/3646/stat : 3646 (java) S 3632 3635 3256 0 -1 1077944384 30309 0 0 0 556 4 0 0 20 0 15 0 43884906 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075234953712 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3647] ppid=3632 vsize=14093000 memory=4764688 CPUtime=5.63 cores=0,2,4,6
/proc/3635/task/3647/stat : 3647 (java) S 3632 3635 3256 0 -1 1077944384 29989 0 0 0 560 3 0 0 20 0 15 0 43884906 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075233901168 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3648] ppid=3632 vsize=14093000 memory=3288 CPUtime=1.89 cores=0,2,4,6
/proc/3635/task/3648/stat : 3648 (java) S 3632 3635 3256 0 -1 1077944384 49016 0 0 0 183 6 0 0 20 0 15 0 43884906 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075232848624 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3649] ppid=3632 vsize=14093000 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3649/stat : 3649 (java) S 3632 3635 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43884906 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075231796320 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3650] ppid=3632 vsize=14093000 memory=14892 CPUtime=1.32 cores=0,2,4,6
/proc/3635/task/3650/stat : 3650 (java) S 3632 3635 3256 0 -1 1077944384 1886 0 0 0 64 68 0 0 20 0 15 0 43884907 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075230742832 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 62 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
Current children cumulated CPU time: 2376.11 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 4764688 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2346.1 s]
/proc/loadavg: 2.32 1.81 1.67 3/215 3814
/proc/meminfo: memFree=16691724/32770624 swapFree=67108860/67108860
[pid=3635] ppid=3632 vsize=14093000 memory=4764688 CPUtime=2400.02 cores=0,2,4,6
/proc/3635/stat : 3635 (java) S 3632 3635 3256 0 -1 1077944320 549567 0 0 0 239545 457 0 0 20 0 15 0 43884901 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140725392476400 140075764559607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
/proc/3635/statm: 3523250 1191172 3625 1 0 3485321 0
[pid=3635/tid=3637] ppid=3632 vsize=14093000 memory=4764688 CPUtime=2331.36 cores=0,2,4,6
/proc/3635/task/3637/stat : 3637 (java) R 3632 3635 3256 0 -1 4202560 273049 0 0 0 233067 69 0 0 20 0 15 0 43884901 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075768796656 140075406002208 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3638] ppid=3632 vsize=14093000 memory=8112282956445269571 CPUtime=13.42 cores=0,2,4,6
/proc/3635/task/3638/stat : 3638 (java) S 3632 3635 3256 0 -1 1077944384 37067 0 0 0 1264 78 0 0 20 0 15 0 43884902 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075729840912 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3639] ppid=3632 vsize=14093000 memory=4764688 CPUtime=13.37 cores=0,2,4,6
/proc/3635/task/3639/stat : 3639 (java) S 3632 3635 3256 0 -1 1077944384 32076 0 0 0 1259 78 0 0 20 0 15 0 43884902 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075358862224 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3640] ppid=3632 vsize=14093000 memory=4764688 CPUtime=13.38 cores=0,2,4,6
/proc/3635/task/3640/stat : 3640 (java) S 3632 3635 3256 0 -1 1077944384 36805 0 0 0 1262 76 0 0 20 0 15 0 43884902 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075357809680 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3641] ppid=3632 vsize=14093000 memory=4764688 CPUtime=13.36 cores=0,2,4,6
/proc/3635/task/3641/stat : 3641 (java) S 3632 3635 3256 0 -1 1077944384 34490 0 0 0 1258 78 0 0 20 0 15 0 43884902 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075356757136 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3642] ppid=3632 vsize=14093000 memory=4764688 CPUtime=0.58 cores=0,2,4,6
/proc/3635/task/3642/stat : 3642 (java) S 3632 3635 3256 0 -1 1077944384 23417 0 0 0 50 8 0 0 20 0 15 0 43884903 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075239163888 140075764570754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 45 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3643] ppid=3632 vsize=14093000 memory=4764688 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3643/stat : 3643 (java) S 3632 3635 3256 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 43884904 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075238110176 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3644] ppid=3632 vsize=14093000 memory=4764688 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3644/stat : 3644 (java) S 3632 3635 3256 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 43884904 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075237057536 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3645] ppid=3632 vsize=14093000 memory=4764688 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3645/stat : 3645 (java) S 3632 3635 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43884906 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075236006096 140075764578203 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3646] ppid=3632 vsize=14093000 memory=4764688 CPUtime=5.6 cores=0,2,4,6
/proc/3635/task/3646/stat : 3646 (java) S 3632 3635 3256 0 -1 1077944384 30312 0 0 0 556 4 0 0 20 0 15 0 43884906 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075234953712 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3647] ppid=3632 vsize=14093000 memory=4764688 CPUtime=5.63 cores=0,2,4,6
/proc/3635/task/3647/stat : 3647 (java) S 3632 3635 3256 0 -1 1077944384 29994 0 0 0 560 3 0 0 20 0 15 0 43884906 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075233901168 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3648] ppid=3632 vsize=14093000 memory=4764688 CPUtime=1.89 cores=0,2,4,6
/proc/3635/task/3648/stat : 3648 (java) S 3632 3635 3256 0 -1 1077944384 49023 0 0 0 183 6 0 0 20 0 15 0 43884906 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075232848624 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3649] ppid=3632 vsize=14093000 memory=4764688 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3649/stat : 3649 (java) S 3632 3635 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43884906 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075231796320 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3650] ppid=3632 vsize=14093000 memory=1796 CPUtime=1.34 cores=0,2,4,6
/proc/3635/task/3650/stat : 3650 (java) S 3632 3635 3256 0 -1 1077944384 1891 0 0 0 65 69 0 0 20 0 15 0 43884907 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075230742832 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 62 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 4764688 KiB

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

[startup+2346.17 s]
# the end of solver process 3635 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2395.55 s, system=4.59715 s

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

[startup+2346.1 s]
/proc/loadavg: 2.32 1.81 1.67 3/215 3814
/proc/meminfo: memFree=16691724/32770624 swapFree=67108860/67108860
[pid=3635] ppid=3632 vsize=14093000 memory=4764688 CPUtime=2400.02 cores=0,2,4,6
/proc/3635/stat : 3635 (java) S 3632 3635 3256 0 -1 1077944320 549567 0 0 0 239545 457 0 0 20 0 15 0 43884901 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140725392476400 140075764559607 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
/proc/3635/statm: 3523250 1191172 3625 1 0 3485321 0
[pid=3635/tid=3637] ppid=3632 vsize=14093000 memory=4764688 CPUtime=2331.36 cores=0,2,4,6
/proc/3635/task/3637/stat : 3637 (java) R 3632 3635 3256 0 -1 4202560 273049 0 0 0 233067 69 0 0 20 0 15 0 43884901 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075768796656 140075406002208 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3638] ppid=3632 vsize=14093000 memory=8112282956445269571 CPUtime=13.42 cores=0,2,4,6
/proc/3635/task/3638/stat : 3638 (java) S 3632 3635 3256 0 -1 1077944384 37067 0 0 0 1264 78 0 0 20 0 15 0 43884902 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075729840912 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3639] ppid=3632 vsize=14093000 memory=4764688 CPUtime=13.37 cores=0,2,4,6
/proc/3635/task/3639/stat : 3639 (java) S 3632 3635 3256 0 -1 1077944384 32076 0 0 0 1259 78 0 0 20 0 15 0 43884902 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075358862224 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3640] ppid=3632 vsize=14093000 memory=4764688 CPUtime=13.38 cores=0,2,4,6
/proc/3635/task/3640/stat : 3640 (java) S 3632 3635 3256 0 -1 1077944384 36805 0 0 0 1262 76 0 0 20 0 15 0 43884902 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075357809680 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3641] ppid=3632 vsize=14093000 memory=4764688 CPUtime=13.36 cores=0,2,4,6
/proc/3635/task/3641/stat : 3641 (java) S 3632 3635 3256 0 -1 1077944384 34490 0 0 0 1258 78 0 0 20 0 15 0 43884902 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075356757136 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3642] ppid=3632 vsize=14093000 memory=4764688 CPUtime=0.58 cores=0,2,4,6
/proc/3635/task/3642/stat : 3642 (java) S 3632 3635 3256 0 -1 1077944384 23417 0 0 0 50 8 0 0 20 0 15 0 43884903 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075239163888 140075764570754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 45 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3643] ppid=3632 vsize=14093000 memory=4764688 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3643/stat : 3643 (java) S 3632 3635 3256 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 43884904 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075238110176 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3644] ppid=3632 vsize=14093000 memory=4764688 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3644/stat : 3644 (java) S 3632 3635 3256 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 43884904 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075237057536 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3645] ppid=3632 vsize=14093000 memory=4764688 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3645/stat : 3645 (java) S 3632 3635 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43884906 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075236006096 140075764578203 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3646] ppid=3632 vsize=14093000 memory=4764688 CPUtime=5.6 cores=0,2,4,6
/proc/3635/task/3646/stat : 3646 (java) S 3632 3635 3256 0 -1 1077944384 30312 0 0 0 556 4 0 0 20 0 15 0 43884906 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075234953712 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3647] ppid=3632 vsize=14093000 memory=4764688 CPUtime=5.63 cores=0,2,4,6
/proc/3635/task/3647/stat : 3647 (java) S 3632 3635 3256 0 -1 1077944384 29994 0 0 0 560 3 0 0 20 0 15 0 43884906 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075233901168 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3648] ppid=3632 vsize=14093000 memory=4764688 CPUtime=1.89 cores=0,2,4,6
/proc/3635/task/3648/stat : 3648 (java) S 3632 3635 3256 0 -1 1077944384 49023 0 0 0 183 6 0 0 20 0 15 0 43884906 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075232848624 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3649] ppid=3632 vsize=14093000 memory=4764688 CPUtime=0 cores=0,2,4,6
/proc/3635/task/3649/stat : 3649 (java) S 3632 3635 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43884906 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075231796320 140075764569813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
[pid=3635/tid=3650] ppid=3632 vsize=14093000 memory=1796 CPUtime=1.34 cores=0,2,4,6
/proc/3635/task/3650/stat : 3650 (java) S 3632 3635 3256 0 -1 1077944384 1891 0 0 0 65 69 0 0 20 0 15 0 43884907 14431232000 1191172 33554432000 4194304 4196468 140725392493856 140075230742832 140075764570754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 62 0 0 6293624 6294260 38072320 140725392499796 140725392499977 140725392499977 140725392502735 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 4764688 KiB

Child status: 143
Real time (s): 2346.17
CPU time (s): 2400.15
CPU user time (s): 2395.55
CPU system time (s): 4.59715
CPU usage (%): 102.301
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 4764688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.55
system time used= 4.59715
maximum resident set size= 4765124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 551473
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63485
involuntary context switches= 3292


# summary of solver processes directly reported to runsolver:
#   pid: 3635
#   total CPU time (s): 2400.15
#   total CPU user time (s): 2395.55
#   total CPU system time (s): 4.59715

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4057 second user time and 21.599 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-22 14:40:17
IDJOB=4291856
IDBENCH=141188
IDSOLVER=2746
FILE ID=node137/4291856-1532263217
RUNJOBID= node137-1532260876-3287
PBS_JOBID= 21018969
Free space on /tmp= 56856 MiB

SOLVER NAME= OscaR - Hybrid 2018-07-02
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-09-opt_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291856-1532263217/watcher-4291856-1532263217 -o /tmp/evaluation-result-4291856-1532263217/solver-4291856-1532263217 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532260876-3287 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1639965605 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291856-1532263217.xml

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

MD5SUM BENCH= 19bcf73076031218e5fd4b7208c9a15e
RANDOM SEED=1639965605

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21472452 kB
MemAvailable:   31703052 kB
Buffers:          238140 kB
Cached:         10191168 kB
SwapCached:            0 kB
Active:          2015772 kB
Inactive:        8703244 kB
Active(anon):     292748 kB
Inactive(anon):    16944 kB
Active(file):    1723024 kB
Inactive(file):  8686300 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             36252 kB
Writeback:             0 kB
AnonPages:        297092 kB
Mapped:            49180 kB
Shmem:             17036 kB
Slab:             276932 kB
SReclaimable:     249736 kB
SUnreclaim:        27196 kB
KernelStack:        3584 kB
PageTables:         5372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1293092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    172032 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 56824 MiB
End job on node137 at 2018-07-22 15:19:24