Trace number 4291961

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)227490 2401.27 2343.96

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-11-opt_c18.xml
MD5SUMd12361b5a6bb1fd64c8bfae02a2f4f2f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark101994
Best CPU time to get the best result obtained on this benchmark2400.14
Satisfiable
(Un)Satisfiability was proved
Number of variables4097
Number of constraints3757
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":3417},{"size":6,"count":48},{"size":22,"count":32},{"size":24,"count":18},{"size":36,"count":132},{"size":42,"count":168},{"size":44,"count":282}]
Minimum variable degree1
Maximum variable degree22
Distribution of variable degrees[{"degree":1,"count":3},{"degree":2,"count":3418},{"degree":3,"count":6},{"degree":4,"count":10},{"degree":5,"count":46},{"degree":6,"count":68},{"degree":7,"count":77},{"degree":8,"count":85},{"degree":9,"count":54},{"degree":10,"count":33},{"degree":11,"count":37},{"degree":12,"count":21},{"degree":13,"count":8},{"degree":14,"count":1},{"degree":15,"count":35},{"degree":16,"count":26},{"degree":17,"count":63},{"degree":18,"count":54},{"degree":19,"count":32},{"degree":20,"count":12},{"degree":21,"count":7},{"degree":22,"count":1}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":340},{"arity":3,"count":3417}]
Number of extensional constraints0
Number of intensional constraints3757
Distribution of constraint types[{"type":"intension","count":3757}]
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.68/0.56	c version: 2018-07-02
0.68/0.56	c seed: 473890358
0.68/0.56	c timeout: 2400
0.68/0.56	c memlimit: 11000
0.68/0.56	c nbcore: 4
0.68/0.59	c Parsing instance...
12.04/6.29	c Parsing done, starting first complete search...
546.66/536.50	o 331588
546.66/536.51	c First complete search done, starting ALNS search...
548.08/537.15	o 331587
548.08/537.16	o 331586
549.08/537.84	o 330586
549.08/537.86	o 329586
549.08/537.88	o 328586
549.23/537.90	o 328486
549.23/537.92	o 328386
549.23/537.94	o 328286
549.23/537.96	o 328186
549.61/538.16	o 327586
549.61/538.18	o 327486
549.61/538.19	o 327386
550.10/538.51	o 327377
550.10/538.55	o 327376
550.10/538.56	o 327375
550.10/538.58	o 327374
550.10/538.59	o 327367
550.24/538.60	o 327366
550.24/538.61	o 327365
550.24/538.62	o 327364
550.24/538.63	o 327287
550.24/538.64	o 327286
550.24/538.65	o 327277
550.24/538.66	o 327276
550.24/538.67	o 327275
550.24/538.67	o 327274
550.24/538.68	o 327267
550.24/538.69	o 327266
550.35/538.70	o 327265
550.35/538.71	o 327264
550.35/538.72	o 327257
550.35/538.73	o 327256
550.35/538.74	o 327255
550.35/538.75	o 327254
550.35/538.76	o 327253
550.35/538.78	o 327187
550.35/538.79	o 327186
550.35/538.79	o 327177
550.45/538.80	o 327176
550.45/538.81	o 327175
550.45/538.82	o 327174
550.45/538.83	o 327173
550.45/538.84	o 327167
555.18/541.48	o 327166
555.18/541.49	o 327067
555.34/541.50	o 327066
555.34/541.53	o 326168
555.34/541.54	o 326068
555.34/541.55	o 326067
555.34/541.58	o 326066
555.34/541.60	o 325967
555.49/541.61	o 325966
555.49/541.62	o 325068
555.49/541.64	o 325067
555.49/541.65	o 324968
555.49/541.66	o 324967
555.49/541.68	o 324948
555.49/541.70	o 324947
556.71/542.52	o 324946
556.71/542.54	o 323947
556.71/542.54	o 323946
556.71/542.56	o 323847
556.71/542.57	o 323846
556.71/542.59	o 323845
556.86/542.62	o 323047
556.86/542.62	o 323046
556.86/542.63	o 323045
556.86/542.64	o 322947
556.86/542.65	o 322946
556.86/542.65	o 322945
556.86/542.67	o 322937
556.86/542.68	o 322936
556.86/542.69	o 322935
556.96/542.72	o 322846
556.96/542.73	o 322845
556.96/542.74	o 322836
556.96/542.75	o 322835
556.96/542.77	o 322046
556.96/542.78	o 322045
556.96/542.79	o 321946
557.06/542.80	o 321945
557.06/542.81	o 321936
557.06/542.81	o 321935
557.16/542.90	o 321855
557.16/542.91	o 321854
557.16/542.92	o 321845
557.16/542.93	o 321844
557.16/542.97	o 321843
557.16/542.98	o 321836
557.16/542.99	o 321835
557.16/543.00	o 321834
557.27/543.01	o 321833
557.27/543.02	o 321755
557.27/543.03	o 321754
557.27/543.04	o 321753
557.27/543.05	o 321745
557.27/543.06	o 321744
557.27/543.07	o 321743
557.27/543.09	o 321046
557.27/543.09	o 321045
557.27/543.10	o 320946
557.39/543.11	o 320945
557.39/543.12	o 320944
557.39/543.13	o 320936
557.39/543.13	o 320935
557.39/543.14	o 320934
557.39/543.15	o 320933
557.39/543.16	o 320855
557.39/543.17	o 320854
557.39/543.18	o 320853
557.39/543.19	o 320845
557.39/543.19	o 320844
557.48/543.20	o 320843
557.48/543.27	o 320833
557.48/543.28	o 320823
557.69/543.48	o 320822
557.90/543.67	o 320821
558.00/543.74	o 320820
558.10/543.83	o 320743
558.10/543.87	o 320733
558.20/543.91	o 320723
558.20/543.95	o 320722
558.20/543.99	o 320721
558.31/544.03	o 320720
558.41/544.11	o 320713
558.41/544.14	o 320703
558.41/544.19	o 320702
558.51/544.23	o 320701
558.51/544.27	o 320700
558.61/544.33	o 320642
558.61/544.37	o 320632
558.71/544.41	o 320631
558.71/544.45	o 320630
558.71/544.49	o 320629
558.81/544.55	o 320622
558.81/544.59	o 320621
558.96/544.64	o 320620
558.96/544.68	o 320619
559.06/544.73	o 320542
559.06/544.76	o 320532
559.06/544.79	o 320531
559.16/544.83	o 320530
559.16/544.88	o 320529
559.26/544.91	o 320522
559.26/544.95	o 320521
559.26/544.99	o 320520
559.38/545.02	o 320519
559.38/545.05	o 320512
559.38/545.07	o 320511
559.38/545.09	o 320510
559.48/545.12	o 320509
559.48/545.14	o 320502
559.48/545.16	o 320501
559.48/545.18	o 320500
559.57/545.20	o 320499
560.10/545.74	o 320442
560.10/545.78	o 320441
560.21/545.83	o 320440
560.21/545.87	o 320432
560.32/545.91	o 320431
560.32/545.96	o 320430
560.32/546.00	o 320422
560.43/546.04	o 320421
560.43/546.08	o 320420
560.53/546.13	o 320419
560.53/546.18	o 320412
560.62/546.22	o 320411
560.62/546.27	o 320410
560.75/546.32	o 320409
560.75/546.39	o 320402
560.85/546.43	o 320401
560.85/546.47	o 320400
560.95/546.51	o 320399
561.06/546.63	o 320392
561.06/546.66	o 320391
561.16/546.70	o 320390
561.16/546.74	o 320389
561.58/547.18	o 320352
561.67/547.21	o 320351
561.67/547.25	o 320350
561.67/547.29	o 320342
561.77/547.33	o 320341
561.77/547.37	o 320340
561.87/547.41	o 320332
561.87/547.45	o 320331
561.87/547.49	o 320330
561.97/547.54	o 320322
561.97/547.57	o 320321
562.07/547.60	o 320320
562.07/547.65	o 320312
562.07/547.69	o 320311
562.17/547.73	o 320310
562.17/547.77	o 320309
563.02/548.41	o 320236
563.02/548.43	o 320235
563.02/548.47	o 320234
563.12/548.52	o 320226
563.12/548.54	o 320225
563.37/548.64	o 320224
563.53/548.71	o 320223
563.53/548.76	o 320222
563.63/548.82	o 320221
563.63/548.88	o 320216
572.67/557.58	o 319416
572.80/557.63	o 319415
572.80/557.67	o 319406
572.93/557.72	o 319405
589.06/573.80	o 317515
589.16/573.82	o 317514
589.16/573.84	o 317415
589.16/573.86	o 317414
589.16/573.89	o 317413
589.27/573.92	o 317412
589.27/573.96	o 317411
589.27/573.98	o 317410
589.37/574.01	o 317409
589.37/574.05	o 316513
589.37/574.07	o 316413
589.37/574.10	o 316412
589.48/574.15	o 316411
589.48/574.18	o 316410
589.57/574.22	o 316409
589.57/574.26	o 316408
589.57/574.29	o 316403
589.67/574.31	o 316401
589.67/574.33	o 316400
589.67/574.36	o 316399
589.67/574.39	o 316398
589.87/574.55	o 316312
589.87/574.58	o 316311
589.97/574.61	o 316310
589.97/574.65	o 316212
589.97/574.68	o 316211
590.07/574.73	o 316210
590.07/574.77	o 316202
590.17/574.80	o 316201
590.17/574.83	o 316200
590.17/574.87	o 316199
590.27/574.92	o 316198
590.27/574.95	o 316197
590.38/575.04	o 315512
590.38/575.07	o 315511
590.38/575.10	o 315510
590.48/575.14	o 315509
590.48/575.17	o 315508
590.57/575.21	o 315412
590.57/575.23	o 315411
590.57/575.27	o 315410
590.68/575.30	o 315409
590.68/575.34	o 315408
590.68/575.37	o 315402
590.68/575.39	o 315401
590.78/575.42	o 315400
590.78/575.44	o 315399
590.78/575.47	o 315398
590.88/575.51	o 315311
590.88/575.55	o 315211
590.88/575.59	o 315201
590.98/575.63	o 315199
590.98/575.67	o 315198
591.08/575.71	o 315197
591.08/575.76	o 315191
591.18/575.80	o 315190
591.18/575.83	o 315189
591.18/575.86	o 315100
591.18/575.89	o 315000
591.30/575.92	o 314990
591.30/575.95	o 314989
591.30/575.99	o 314988
592.19/576.84	o 314222
592.19/576.86	o 314220
592.19/576.89	o 314219
592.29/576.92	o 314218
592.29/576.95	o 314011
592.29/576.98	o 314010
592.29/577.00	o 314009
592.50/577.12	o 313910
592.50/577.16	o 313909
592.50/577.19	o 313908
592.62/577.22	o 313810
592.62/577.24	o 313809
592.62/577.27	o 313808
593.02/577.52	o 313322
593.02/577.54	o 313321
593.02/577.55	o 313320
593.02/577.58	o 313111
593.02/577.60	o 313110
593.12/577.61	o 313109
593.12/577.64	o 313010
593.12/577.66	o 312910
593.12/577.69	o 312909
593.22/577.71	o 312908
593.32/577.82	o 312810
593.32/577.83	o 312809
593.32/577.85	o 312808
594.43/578.99	o 312730
594.53/579.02	o 312729
594.53/579.04	o 312728
594.73/579.21	o 312727
596.13/580.61	o 312720
596.13/580.63	o 312719
596.13/580.65	o 312718
596.13/580.67	o 312717
596.64/581.13	o 312716
596.64/581.15	o 312710
596.64/581.17	o 312709
596.64/581.18	o 312708
596.73/581.20	o 312707
596.73/581.22	o 312706
597.03/581.51	o 312701
597.03/581.53	o 312700
597.03/581.55	o 312699
597.03/581.57	o 312698
597.03/581.59	o 312323
597.13/581.61	o 312322
597.13/581.63	o 312321
597.13/581.65	o 312320
597.13/581.67	o 312313
597.13/581.68	o 312312
597.13/581.70	o 312311
597.23/581.71	o 312310
597.23/581.73	o 312112
597.23/581.75	o 312111
597.23/581.77	o 312110
597.23/581.78	o 312102
597.33/581.80	o 312101
597.33/581.82	o 312100
597.33/581.84	o 312099
597.33/581.88	o 312011
597.43/581.90	o 312010
597.43/581.92	o 312001
597.43/581.94	o 312000
597.43/581.96	o 311999
597.43/581.98	o 311911
597.43/582.00	o 311910
597.54/582.02	o 311901
597.54/582.04	o 311900
597.54/582.07	o 311899
597.54/582.08	o 311898
597.54/582.10	o 311811
597.68/582.12	o 311810
597.68/582.14	o 311801
597.68/582.15	o 311800
597.68/582.17	o 311799
597.68/582.19	o 311798
598.07/582.53	o 311731
598.07/582.55	o 311730
598.07/582.57	o 311721
598.07/582.59	o 311720
598.17/582.61	o 311719
598.17/582.62	o 311718
598.37/582.84	o 311432
598.37/582.85	o 311431
598.37/582.87	o 311422
598.37/582.88	o 311421
598.47/582.90	o 311420
598.47/582.92	o 311419
598.47/582.94	o 311221
598.47/582.95	o 311220
598.47/582.97	o 311219
598.47/582.99	o 311218
598.47/583.01	o 311211
598.58/583.02	o 311210
598.58/583.03	o 311209
598.58/583.05	o 311208
598.58/583.07	o 311131
598.58/583.09	o 311130
598.68/583.11	o 311129
598.68/583.13	o 311121
598.68/583.14	o 311120
598.68/583.16	o 311119
598.68/583.18	o 311020
598.68/583.19	o 311010
598.77/583.21	o 310920
598.77/583.23	o 310910
598.77/583.25	o 310909
598.77/583.27	o 310908
598.77/583.29	o 310907
599.10/583.52	o 310820
599.10/583.54	o 310819
599.10/583.56	o 310810
599.10/583.57	o 310809
599.10/583.59	o 310808
599.20/583.60	o 310807
599.20/583.63	o 310800
599.20/583.65	o 310799
599.20/583.66	o 310798
599.20/583.68	o 310797
606.41/590.69	o 310698
606.73/590.91	o 310697
606.94/591.15	o 310598
607.13/591.37	o 310597
607.33/591.60	o 310596
607.63/591.82	o 310595
607.84/592.04	o 310587
608.03/592.25	o 310586
608.23/592.47	o 310585
608.53/592.70	o 310577
608.73/592.93	o 310576
608.94/593.14	o 310575
610.44/594.60	o 310567
610.64/594.80	o 310566
610.86/595.02	o 310565
611.25/595.44	o 310557
611.45/595.64	o 310556
611.65/595.85	o 310555
612.65/596.89	o 310498
612.86/597.10	o 310497
613.15/597.32	o 310496
613.35/597.54	o 310487
613.56/597.75	o 310486
613.76/597.97	o 310477
613.97/598.18	o 310476
614.16/598.39	o 310467
614.46/598.62	o 310466
614.66/598.84	o 310457
614.88/599.06	o 310456
615.07/599.29	o 310455
615.67/599.90	o 310398
615.88/600.10	o 310397
616.17/600.33	o 310396
616.37/600.56	o 310387
616.57/600.75	o 310386
616.77/600.99	o 310377
617.07/601.20	o 310376
617.27/601.43	o 310367
617.47/601.64	o 310366
617.67/601.87	o 310357
617.98/602.11	o 310356
618.17/602.34	o 310355
618.69/602.84	o 310354
619.09/603.21	o 310347
619.29/603.42	o 310346
619.49/603.61	o 310345
619.69/603.85	o 310344
620.09/604.21	o 310298
620.29/604.41	o 310288
620.49/604.63	o 310287
620.69/604.84	o 310286
620.89/605.06	o 310285
621.18/605.30	o 310277
621.38/605.51	o 310276
621.58/605.70	o 310275
621.79/605.93	o 310274
622.00/606.15	o 310267
622.43/606.57	o 310140
622.63/606.70	o 310130
622.73/606.86	o 309140
622.83/606.99	o 309130
623.04/607.15	o 308141
623.23/607.31	o 308131
623.33/607.47	o 308041
623.53/607.60	o 308031
623.73/607.81	o 308021
623.83/607.97	o 307141
627.07/611.16	o 306141
627.46/611.55	o 305141
632.18/616.28	o 304141
632.69/616.75	o 303141
633.19/617.20	o 302141
639.33/623.31	o 301141
642.74/626.75	o 300141
644.08/628.08	o 300133
644.18/628.11	o 300033
644.60/628.50	o 300023
644.70/628.60	o 299932
644.70/628.64	o 299922
644.80/628.76	o 299912
644.80/628.79	o 299902
645.50/629.42	o 299892
646.90/630.80	o 299891
648.41/632.38	o 299832
648.51/632.42	o 299822
648.51/632.45	o 299812
648.51/632.48	o 299802
648.61/632.52	o 299801
648.71/632.63	o 299792
648.71/632.66	o 299791
653.64/637.58	o 299243
653.74/637.61	o 299242
653.74/637.65	o 299223
653.74/637.68	o 299222
653.84/637.72	o 299143
653.84/637.76	o 299142
653.84/637.80	o 299123
653.94/637.83	o 299122
653.94/637.87	o 299121
654.04/637.90	o 299042
654.04/637.94	o 299041
654.04/637.97	o 299022
654.16/638.01	o 299021
654.16/638.04	o 299012
654.16/638.07	o 299011
654.26/638.11	o 298942
654.26/638.15	o 298941
654.26/638.19	o 298922
654.35/638.22	o 298921
654.35/638.25	o 298912
654.35/638.28	o 298911
654.45/638.36	o 298902
654.45/638.38	o 298901
654.55/638.42	o 298832
654.55/638.47	o 298812
654.65/638.51	o 298802
654.65/638.54	o 298801
654.95/638.89	o 298792
655.05/638.92	o 298791
674.56/658.23	o 298691
674.56/658.27	o 298690
675.30/658.94	o 297691
675.41/659.03	o 297690
677.83/661.44	o 296791
677.93/661.56	o 296790
678.13/661.73	o 296690
678.23/661.83	o 296689
678.33/661.98	o 295790
678.55/662.15	o 295789
678.74/662.38	o 295690
678.84/662.48	o 295689
679.55/663.12	o 295680
679.64/663.23	o 295679
680.28/663.87	o 295669
680.38/663.95	o 295589
680.49/664.03	o 295579
680.49/664.10	o 295569
680.59/664.18	o 295489
680.70/664.25	o 295479
680.80/664.38	o 294689
680.90/664.45	o 294679
681.00/664.53	o 294589
681.10/664.61	o 294579
681.10/664.69	o 294489
681.20/664.76	o 294479
681.30/664.89	o 294469
681.40/665.00	o 294459
682.21/665.78	o 293459
703.18/686.22	o 292778
703.28/686.35	o 292768
703.40/686.44	o 292678
703.50/686.56	o 292668
703.70/686.76	o 292578
703.80/686.88	o 292568
704.71/687.77	o 291778
704.92/687.93	o 291768
705.03/688.04	o 291678
705.13/688.18	o 291668
705.22/688.30	o 291578
705.42/688.44	o 291568
706.23/689.26	o 291558
706.94/689.91	o 290778
707.05/690.04	o 290768
707.15/690.18	o 290758
707.34/690.31	o 290678
707.44/690.45	o 290668
707.54/690.59	o 290658
707.74/690.72	o 290589
707.84/690.81	o 290579
707.94/690.95	o 290569
708.06/691.08	o 290568
708.26/691.21	o 290558
708.86/691.83	o 290557
709.47/692.40	o 290548
709.57/692.53	o 290479
709.57/692.59	o 290469
709.67/692.66	o 290459
709.77/692.76	o 290458
709.87/692.83	o 290448
709.97/692.97	o 290447
711.20/694.16	o 290368
711.29/694.24	o 290367
711.39/694.31	o 290358
711.39/694.38	o 290357
711.49/694.45	o 290348
711.59/694.51	o 290347
712.11/695.06	o 290278
712.21/695.13	o 290268
712.30/695.20	o 290258
712.40/695.34	o 290257
713.22/696.13	o 290249
713.31/696.24	o 290248
713.41/696.37	o 290238
713.51/696.49	o 290237
713.71/696.65	o 290228
713.83/696.77	o 290227
714.03/696.92	o 290189
714.13/697.01	o 290179
714.24/697.13	o 290178
714.33/697.23	o 290168
714.43/697.34	o 290167
714.53/697.48	o 290158
714.64/697.55	o 290148
714.74/697.68	o 290147
714.84/697.78	o 290138
714.94/697.87	o 290137
716.67/699.58	o 290136
720.44/703.28	o 289147
720.54/703.38	o 289047
720.64/703.47	o 287146
720.76/703.55	o 286146
720.86/703.63	o 286046
720.96/703.73	o 286045
721.06/703.82	o 286036
721.16/703.90	o 286035
721.27/704.01	o 286034
721.39/704.14	o 285946
721.48/704.22	o 285936
721.58/704.30	o 285935
721.58/704.39	o 285934
721.77/704.58	o 285847
721.87/704.68	o 285846
721.98/704.76	o 285837
722.08/704.84	o 285836
722.18/704.93	o 285835
722.40/705.19	o 285766
722.49/705.25	o 285765
722.60/705.32	o 285764
722.60/705.38	o 285756
722.70/705.44	o 285755
722.80/705.50	o 285754
722.90/705.68	o 285746
723.00/705.74	o 285745
723.12/705.83	o 285744
723.23/705.97	o 284975
723.34/706.05	o 284974
723.44/706.13	o 284965
723.44/706.19	o 284964
723.53/706.28	o 284955
724.86/706.73	o 284954
724.96/706.82	o 284875
724.96/706.87	o 284874
725.06/706.95	o 284865
725.16/707.03	o 284864
725.27/707.12	o 284855
725.37/707.21	o 284854
725.46/707.30	o 284775
725.46/707.35	o 284765
725.56/707.40	o 284764
725.56/707.49	o 284755
725.66/707.56	o 284754
725.76/707.66	o 284753
725.88/707.77	o 284752
725.97/707.86	o 284744
726.07/707.96	o 284743
726.18/708.05	o 284742
726.28/708.17	o 284675
726.38/708.22	o 284665
726.48/708.31	o 284664
726.48/708.38	o 284654
726.58/708.46	o 284653
726.68/708.55	o 284644
726.78/708.63	o 284643
726.89/708.74	o 284642
726.99/708.86	o 284641
727.09/708.98	o 284577
727.20/709.03	o 284567
727.20/709.08	o 284557
727.30/709.17	o 284556
727.41/709.25	o 284547
727.51/709.33	o 284546
727.61/709.41	o 284545
727.71/709.54	o 284477
727.81/709.63	o 284476
727.92/709.71	o 284467
727.92/709.79	o 284466
728.02/709.86	o 284457
728.12/709.94	o 284456
728.23/710.02	o 284455
728.23/710.10	o 284447
728.33/710.15	o 284446
728.42/710.23	o 284445
728.53/710.32	o 284444
728.63/710.41	o 284436
728.63/710.49	o 284435
728.73/710.58	o 284434
728.84/710.68	o 284433
728.94/710.78	o 284426
729.04/710.86	o 284425
729.14/710.95	o 284424
729.24/711.04	o 284423
729.95/711.71	o 283523
729.95/711.77	o 283522
730.07/711.84	o 283521
730.47/712.26	o 283513
730.58/712.32	o 283512
730.68/712.41	o 283511
730.78/712.58	o 283510
731.49/713.28	o 283503
731.59/713.34	o 283502
731.59/713.38	o 283501
761.23/742.34	o 283491
761.44/742.52	o 283401
761.64/742.70	o 283391
761.96/743.04	o 283390
762.15/743.28	o 283389
763.27/744.39	o 283381
763.48/744.56	o 283380
763.68/744.76	o 283379
764.29/745.30	o 282501
764.39/745.48	o 282491
764.60/745.65	o 282490
764.80/745.83	o 282489
765.02/746.03	o 282401
765.21/746.21	o 282400
765.31/746.38	o 282399
765.52/746.58	o 282391
765.72/746.75	o 282390
765.92/746.92	o 282389
766.14/747.13	o 282381
766.33/747.30	o 282380
766.55/747.52	o 282379
775.63/756.47	o 282378
783.02/763.54	o 281378
783.73/764.26	o 280378
784.34/764.82	o 279378
794.04/774.34	o 278378
806.10/786.17	o 278377
806.20/786.26	o 278279
806.31/786.35	o 278278
806.41/786.44	o 278277
807.73/787.75	o 278268
808.66/788.69	o 278258
808.96/788.96	o 278257
809.27/789.23	o 278187
809.37/789.31	o 278177
809.37/789.38	o 278167
809.47/789.47	o 278157
809.57/789.57	o 278156
811.30/791.21	o 277255
811.30/791.25	o 277155
811.30/791.28	o 277145
811.40/791.38	o 277135
811.52/791.47	o 277035
812.14/792.02	o 275845
816.93/796.78	o 275835
817.14/796.96	o 275834
818.67/798.40	o 275825
818.77/798.59	o 275824
822.45/802.17	o 275815
822.65/802.32	o 275814
824.28/803.98	o 275805
824.49/804.12	o 275804
827.76/807.31	o 275645
827.96/807.50	o 275635
828.06/807.69	o 275625
828.26/807.88	o 275615
828.47/808.06	o 275614
828.66/808.26	o 275605
828.88/808.41	o 275604
832.14/811.64	o 275545
832.34/811.81	o 275535
832.44/811.99	o 275525
832.66/812.18	o 275515
832.85/812.36	o 275505
833.05/812.55	o 275504
835.22/814.63	o 275445
835.32/814.78	o 275444
835.52/814.94	o 275435
835.74/815.13	o 275434
835.74/815.17	o 274435
835.85/815.22	o 274434
837.38/816.74	o 274426
837.50/816.82	o 274425
838.21/817.50	o 274416
838.21/817.57	o 274415
838.61/817.90	o 274414
838.92/818.22	o 274413
839.02/818.34	o 274405
839.12/818.41	o 274404
839.22/818.50	o 274403
839.54/818.86	o 274395
839.63/818.94	o 274394
839.74/819.02	o 274393
841.79/821.08	o 273504
841.98/821.21	o 273503
842.08/821.35	o 273404
842.18/821.48	o 273403
842.49/821.79	o 273394
842.69/821.90	o 273393
843.01/822.24	o 273304
843.10/822.38	o 273294
843.30/822.54	o 273293
843.52/822.79	o 273284
843.62/822.89	o 273283
855.07/833.90	o 273282
855.68/834.59	o 273281
856.19/835.04	o 273184
856.38/835.27	o 272284
856.58/835.48	o 272184
856.88/835.76	o 272183
858.31/837.18	o 272182
860.61/839.43	o 271192
860.61/839.46	o 271191
861.01/839.81	o 270311
861.01/839.87	o 270301
884.37/862.99	o 270230
884.67/863.21	o 270220
884.87/863.47	o 270219
885.28/863.80	o 270210
885.49/864.04	o 270209
885.78/864.36	o 270130
886.08/864.60	o 270129
886.19/864.70	o 270128
886.30/864.84	o 270118
886.40/864.99	o 270108
887.94/866.43	o 270008
889.06/867.57	o 269908
890.29/868.76	o 269108
891.63/870.01	o 269107
893.98/872.33	o 269027
894.18/872.54	o 269025
894.49/872.80	o 269017
894.70/873.01	o 269015
897.26/875.52	o 268116
897.46/875.72	o 268016
897.66/875.93	o 268015
897.76/876.08	o 267915
897.97/876.26	o 267115
898.17/876.42	o 267015
898.27/876.59	o 266916
898.57/876.83	o 266906
898.90/877.12	o 266897
903.49/881.62	o 266797
908.39/886.48	o 266796
908.70/886.72	o 266707
908.90/886.94	o 266697
909.11/887.19	o 266696
914.02/891.91	o 266695
914.32/892.21	o 266687
914.42/892.36	o 266686
914.63/892.51	o 266685
915.56/893.48	o 266676
916.88/894.78	o 266675
917.20/895.09	o 265796
917.40/895.26	o 265795
917.60/895.49	o 265786
917.81/895.65	o 265785
919.74/897.58	o 265776
919.96/897.73	o 265775
920.27/898.01	o 265686
920.46/898.26	o 265676
920.78/898.51	o 265675
920.98/898.77	o 264796
921.31/899.02	o 264786
921.50/899.25	o 264785
923.03/900.70	o 264776
923.13/900.89	o 264775
923.55/901.27	o 264686
923.85/901.50	o 264685
924.05/901.71	o 264676
924.26/901.91	o 264675
924.47/902.19	o 263796
924.66/902.37	o 263795
924.98/902.60	o 263786
925.08/902.78	o 263785
925.89/903.53	o 263696
926.09/903.76	o 263686
926.29/903.99	o 263685
931.72/909.25	o 263596
931.82/909.40	o 263595
932.02/909.59	o 263586
932.22/909.80	o 263585
954.82/931.85	o 263584
955.33/932.34	o 263577
955.44/932.49	o 263576
955.64/932.65	o 263575
955.84/932.83	o 263574
956.76/933.76	o 263573
957.03/933.95	o 263572
958.27/935.17	o 262696
958.47/935.31	o 262695
958.67/935.50	o 262694
958.78/935.69	o 262686
958.98/935.84	o 262685
959.08/935.99	o 262684
959.29/936.18	o 262676
959.50/936.34	o 262675
959.70/936.50	o 262674
959.90/936.77	o 262673
960.10/936.96	o 262672
964.01/938.84	o 262671
965.86/940.65	o 262667
965.96/940.79	o 262666
966.16/940.95	o 262665
966.27/941.08	o 262664
966.48/941.24	o 262663
966.78/941.59	o 262662
967.18/941.93	o 262661
967.99/942.76	o 262496
968.09/942.86	o 262495
968.31/943.07	o 262494
968.50/943.26	o 262493
968.70/943.44	o 262492
968.90/943.67	o 262491
969.10/943.85	o 262486
969.22/943.97	o 262485
969.32/944.10	o 262484
969.52/944.26	o 262483
969.72/944.43	o 262482
969.92/944.64	o 262481
970.13/944.89	o 262476
970.23/944.98	o 262475
970.34/945.10	o 262474
970.53/945.25	o 262473
970.73/945.40	o 262472
970.83/945.56	o 262471
971.15/945.85	o 261596
971.25/945.97	o 261595
971.46/946.12	o 261594
971.55/946.25	o 261593
971.65/946.38	o 261592
971.87/946.55	o 261591
972.06/946.76	o 261586
972.16/946.87	o 261585
972.26/946.99	o 261584
972.47/947.13	o 261583
972.56/947.25	o 261582
972.66/947.38	o 261581
972.98/947.60	o 261575
973.08/947.70	o 261574
973.18/947.83	o 261573
973.28/947.98	o 261572
973.50/948.19	o 261571
973.80/948.45	o 261564
973.90/948.56	o 261563
974.00/948.66	o 261562
974.20/948.86	o 261561
975.94/950.50	o 261462
996.49/970.70	o 261362
1003.80/977.79	o 261361
1006.45/980.34	o 261360
1006.86/980.79	o 261359
1007.88/981.79	o 261351
1008.38/982.21	o 261350
1008.78/982.64	o 261349
1010.11/983.97	o 261348
1010.81/984.67	o 261341
1011.24/985.07	o 261340
1011.73/985.53	o 261339
1012.14/985.98	o 261338
1014.18/987.93	o 261292
1014.58/988.32	o 261291
1014.99/988.72	o 261290
1015.40/989.15	o 261282
1015.79/989.58	o 261281
1016.21/989.97	o 261280
1016.73/990.42	o 261279
1017.03/990.79	o 261271
1017.44/991.18	o 261270
1017.84/991.55	o 261269
1018.37/992.02	o 261261
1018.76/992.41	o 261260
1019.06/992.77	o 261259
1019.57/993.28	o 261252
1019.99/993.65	o 261251
1020.39/994.02	o 261250
1020.81/994.42	o 261249
1021.63/995.27	o 261241
1022.04/995.66	o 261240
1022.45/996.04	o 261239
1026.12/999.67	o 260239
1034.28/1007.67	o 259239
1049.96/1023.05	o 259229
1052.91/1025.94	o 258341
1053.12/1026.12	o 258241
1060.87/1033.77	o 258141
1063.03/1035.82	o 257241
1064.86/1037.63	o 257141
1067.81/1040.58	o 256241
1069.75/1042.49	o 256141
1083.92/1056.32	o 256131
1084.14/1056.54	o 256130
1084.44/1056.89	o 256121
1084.65/1057.08	o 256120
1087.20/1059.53	o 255130
1087.51/1059.85	o 255120
1089.24/1061.55	o 255030
1089.66/1061.92	o 255020
1094.75/1066.95	o 254370
1094.96/1067.18	o 254369
1095.25/1067.43	o 254360
1095.47/1067.65	o 254359
1095.77/1067.98	o 254350
1096.07/1068.26	o 254349
1096.89/1069.09	o 254339
1100.32/1072.30	o 254338
1101.24/1073.27	o 254239
1101.46/1073.49	o 254238
1101.96/1073.91	o 254237
1102.17/1074.11	o 253840
1102.37/1074.30	o 253839
1102.47/1074.48	o 253740
1102.68/1074.65	o 253739
1102.88/1074.81	o 253738
1103.11/1075.05	o 253640
1103.30/1075.25	o 253639
1103.40/1075.36	o 253629
1103.50/1075.48	o 252729
1103.60/1075.55	o 252629
1107.58/1079.48	o 252529
1116.67/1088.32	o 251629
1118.81/1090.45	o 251529
1122.89/1094.40	o 250629
1124.21/1095.74	o 250550
1124.43/1095.98	o 250449
1124.73/1096.28	o 250448
1125.13/1096.65	o 250447
1125.35/1096.88	o 250438
1125.56/1097.10	o 250437
1125.85/1097.37	o 250428
1126.05/1097.57	o 250427
1126.37/1097.87	o 250349
1126.58/1098.09	o 250348
1126.87/1098.31	o 250347
1127.07/1098.52	o 250338
1127.27/1098.72	o 250337
1127.49/1098.98	o 250328
1127.69/1099.18	o 250327
1128.71/1100.13	o 250318
1128.90/1100.32	o 250317
1129.30/1100.77	o 250316
1129.82/1101.26	o 250216
1133.12/1104.45	o 250146
1133.32/1104.68	o 249146
1133.62/1104.93	o 249046
1133.83/1105.19	o 249036
1134.24/1105.59	o 249026
1134.64/1106.00	o 249016
1134.95/1106.21	o 248936
1135.15/1106.40	o 248926
1135.25/1106.59	o 248916
1139.34/1110.57	o 248341
1139.64/1110.85	o 248340
1141.77/1112.99	o 248339
1142.80/1113.93	o 248338
1143.20/1114.37	o 248330
1143.40/1114.56	o 248329
1143.60/1114.78	o 248328
1143.92/1115.06	o 248327
1144.61/1115.71	o 248326
1145.23/1116.38	o 248325
1146.14/1117.23	o 248319
1146.34/1117.40	o 248318
1146.54/1117.60	o 248317
1146.84/1117.92	o 248316
1147.14/1118.24	o 248315
1147.56/1118.60	o 248314
1148.07/1119.15	o 248230
1148.28/1119.33	o 248229
1148.48/1119.52	o 248228
1148.78/1119.83	o 248227
1149.09/1120.15	o 248226
1149.39/1120.49	o 248225
1149.90/1120.90	o 248219
1150.00/1121.07	o 248218
1150.20/1121.26	o 248217
1150.41/1121.45	o 248216
1150.61/1121.66	o 248215
1150.91/1121.96	o 248214
1151.53/1122.56	o 248119
1151.73/1122.77	o 248118
1151.93/1122.97	o 248117
1152.25/1123.21	o 248116
1152.45/1123.46	o 248115
1152.75/1123.73	o 248114
1153.37/1124.35	o 248109
1153.57/1124.52	o 248108
1153.77/1124.70	o 248107
1153.98/1124.99	o 248106
1154.28/1125.28	o 248105
1154.58/1125.57	o 248104
1155.00/1125.93	o 248020
1155.20/1126.12	o 248019
1155.39/1126.32	o 248018
1155.61/1126.54	o 248017
1155.91/1126.80	o 248016
1156.12/1127.09	o 248015
1156.63/1127.52	o 248009
1156.83/1127.72	o 248008
1167.55/1138.27	o 247999
1167.65/1138.37	o 247998
1171.73/1142.39	o 247991
1172.56/1143.14	o 247990
1173.37/1143.93	o 247980
1174.27/1144.83	o 247111
1174.69/1145.29	o 247101
1178.96/1149.46	o 247001
1183.02/1153.30	o 246922
1183.22/1153.57	o 246822
1186.58/1156.82	o 246812
1187.10/1157.33	o 246811
1187.60/1157.81	o 246802
1187.81/1158.07	o 246801
1188.72/1158.91	o 246800
1189.65/1159.83	o 246799
1198.04/1168.09	o 246700
1198.63/1168.63	o 246699
1205.27/1175.17	o 246599
1215.38/1185.05	o 246499
1218.53/1188.16	o 245699
1220.76/1190.36	o 245690
1220.96/1190.58	o 245689
1221.29/1190.81	o 245600
1221.39/1191.00	o 245599
1221.69/1191.23	o 245590
1221.89/1191.42	o 245589
1225.77/1195.24	o 245500
1225.97/1195.48	o 245499
1226.29/1195.75	o 245490
1226.49/1195.94	o 245489
1227.22/1196.62	o 245488
1227.73/1197.19	o 245478
1230.57/1200.00	o 245418
1230.99/1200.36	o 245408
1231.39/1200.71	o 245398
1231.72/1201.09	o 245388
1232.11/1201.48	o 245387
1232.53/1201.83	o 245377
1233.35/1202.62	o 245376
1234.77/1204.03	o 245375
1234.77/1204.09	o 245365
1245.48/1214.55	o 245286
1245.78/1214.84	o 245276
1246.01/1215.10	o 245266
1249.37/1218.33	o 245265
1264.17/1232.84	o 245257
1264.67/1233.34	o 245256
1265.19/1233.89	o 245255
1267.14/1235.77	o 245254
1267.76/1236.39	o 245245
1268.26/1236.84	o 245244
1269.08/1237.65	o 245235
1269.61/1238.12	o 245234
1270.20/1238.74	o 245164
1270.71/1239.22	o 245154
1271.21/1239.71	o 245144
1271.71/1240.21	o 245135
1272.13/1240.68	o 245134
1272.64/1241.15	o 245133
1273.36/1241.85	o 245064
1273.86/1242.33	o 245063
1274.28/1242.78	o 245054
1274.78/1243.23	o 245053
1275.30/1243.79	o 245052
1276.10/1244.53	o 245044
1276.52/1244.99	o 245043
1277.02/1245.46	o 245042
1278.04/1246.46	o 245041
1279.06/1247.47	o 245040
1279.98/1248.32	o 245039
1280.81/1249.17	o 245038
1281.00/1249.39	o 244938
1301.63/1269.58	o 244937
1301.95/1269.82	o 244737
1302.16/1270.10	o 244637
1302.45/1270.33	o 244636
1302.85/1270.77	o 244526
1339.87/1307.09	o 244426
1340.90/1308.09	o 244425
1342.21/1309.32	o 243748
1342.93/1310.03	o 243747
1349.20/1316.17	o 243746
1349.59/1316.54	o 243658
1350.72/1317.10	o 243657
1351.11/1317.47	o 243656
1351.51/1317.84	o 243648
1351.84/1318.15	o 243647
1352.13/1318.47	o 243646
1354.90/1321.16	o 243638
1355.39/1321.60	o 243538
1355.82/1322.06	o 243528
1356.31/1322.54	o 243527
1356.74/1322.96	o 243526
1357.87/1324.01	o 243525
1358.16/1324.38	o 243517
1358.58/1324.71	o 243516
1358.99/1325.13	o 243515
1361.24/1327.37	o 243447
1362.16/1328.22	o 243438
1367.54/1333.58	o 243437
1371.02/1336.93	o 243436
1371.42/1337.31	o 243428
1371.74/1337.67	o 243427
1380.83/1346.54	o 243426
1391.27/1356.76	o 243416
1392.13/1357.41	o 243415
1403.49/1367.55	o 242425
1403.59/1367.63	o 242415
1423.19/1387.09	o 242315
1426.73/1390.52	o 241415
1430.15/1393.94	o 241315
1438.24/1401.94	o 241215
1443.92/1407.55	o 241125
1449.59/1413.18	o 241025
1449.81/1413.32	o 241015
1453.46/1416.96	o 241003
1453.96/1417.45	o 240903
1481.38/1444.22	o 240803
1482.88/1445.70	o 240716
1488.13/1450.96	o 240715
1497.74/1460.31	o 240245
1498.74/1461.32	o 240145
1508.47/1470.93	o 240144
1511.32/1473.76	o 240135
1512.42/1474.86	o 240134
1518.76/1481.09	o 240072
1520.27/1482.57	o 240062
1521.69/1484.00	o 240052
1524.01/1486.25	o 240051
1526.26/1488.46	o 239982
1573.04/1534.47	o 239883
1606.63/1567.50	o 239783
1623.32/1583.94	o 239782
1664.35/1624.36	o 239781
1694.06/1653.50	o 239707
1694.46/1653.90	o 239706
1694.76/1654.28	o 239696
1695.28/1654.75	o 239607
1695.59/1655.07	o 239606
1695.98/1655.45	o 239596
1696.38/1655.88	o 239595
1700.56/1659.91	o 239585
1701.36/1660.71	o 239584
1702.49/1661.87	o 239583
1730.55/1689.40	o 239582
1768.93/1726.23	o 239581
1790.31/1747.23	o 239481
1812.74/1769.22	o 239472
1813.04/1769.51	o 239471
1813.44/1769.91	o 239470
1813.94/1770.40	o 239463
1814.17/1770.70	o 239462
1814.58/1771.07	o 239461
1814.97/1771.41	o 239460
1815.90/1772.34	o 238492
1816.20/1772.68	o 238491
1816.61/1773.02	o 238490
1817.00/1773.43	o 238483
1817.32/1773.75	o 238482
1817.63/1774.09	o 238481
1818.02/1774.44	o 238480
1818.52/1774.98	o 238472
1818.85/1775.28	o 238471
1819.15/1775.59	o 238470
1819.95/1776.33	o 238463
1820.15/1776.59	o 238462
1820.47/1776.89	o 238461
1820.87/1777.26	o 238460
1833.52/1789.62	o 238450
1840.78/1796.75	o 238441
1844.55/1800.45	o 238260
1845.06/1800.96	o 238250
1845.66/1801.59	o 238241
1857.28/1812.93	o 238152
1857.68/1813.30	o 238151
1862.15/1817.76	o 238150
1867.58/1823.08	o 238053
1867.97/1823.43	o 238052
1868.80/1824.29	o 238051
1871.45/1826.82	o 238043
1871.56/1826.93	o 238042
1872.06/1827.40	o 238033
1872.79/1828.18	o 238032
1873.18/1828.59	o 238022
1874.31/1829.69	o 238021
1910.46/1865.12	o 237963
1911.39/1866.06	o 237953
1912.61/1867.20	o 237951
1918.22/1872.70	o 237941
1919.24/1873.73	o 237931
1934.49/1888.71	o 237921
1943.59/1897.69	o 237913
1944.10/1898.13	o 237912
1944.61/1898.64	o 237903
1944.91/1899.00	o 237902
1958.83/1912.64	o 237822
1959.96/1913.16	o 237812
1960.96/1914.14	o 237802
1982.17/1934.96	o 237801
1984.62/1937.31	o 237800
1986.45/1939.19	o 237799
1990.32/1942.92	o 237792
1990.95/1943.50	o 237791
1991.45/1944.08	o 237790
1992.04/1944.66	o 237691
1992.67/1945.24	o 237690
1993.50/1946.08	o 237689
1995.55/1948.09	o 237591
1996.13/1948.64	o 237590
1997.06/1949.54	o 237589
1998.41/1950.84	o 237579
1999.01/1951.48	o 237578
2014.83/1966.91	o 237577
2015.53/1967.62	o 237568
2016.36/1968.44	o 237567
2017.16/1969.24	o 237566
2030.33/1982.14	o 237487
2030.92/1982.76	o 237477
2031.74/1983.50	o 237476
2032.47/1984.28	o 237467
2033.28/1985.02	o 237466
2034.09/1985.84	o 237458
2034.69/1986.49	o 237457
2035.52/1987.23	o 237367
2035.66/1987.36	o 237357
2037.19/1988.83	o 237258
2038.22/1989.89	o 237158
2039.75/1991.38	o 237157
2041.51/1993.04	o 237057
2041.60/1993.17	o 236957
2041.90/1993.49	o 236867
2042.20/1993.75	o 236866
2044.19/1995.66	o 236865
2051.10/2002.46	o 236864
2053.97/2005.26	o 236855
2054.17/2005.43	o 236854
2054.37/2005.62	o 236853
2079.92/2030.80	o 236763
2080.12/2031.00	o 236753
2113.55/2063.78	o 235764
2114.28/2064.40	o 235763
2114.89/2065.01	o 235754
2115.30/2065.49	o 235753
2124.17/2074.15	o 235744
2125.50/2075.42	o 235743
2131.32/2081.13	o 235654
2132.34/2082.12	o 235653
2133.13/2083.00	o 235645
2134.06/2083.89	o 235644
2134.96/2084.75	o 235643
2136.72/2086.41	o 235642
2143.64/2093.25	o 234954
2164.31/2113.47	o 234253
2165.24/2114.33	o 234153
2176.98/2125.20	o 234143
2178.52/2126.79	o 234142
2179.05/2127.27	o 234141
2179.45/2127.70	o 234042
2180.05/2128.24	o 234041
2180.78/2129.01	o 233041
2181.28/2129.41	o 233040
2187.31/2135.34	o 232342
2191.51/2139.47	o 232341
2192.94/2140.87	o 232340
2196.32/2144.19	o 232243
2196.61/2144.43	o 232242
2197.01/2144.83	o 232241
2197.44/2145.22	o 232240
2220.54/2167.79	o 231240
2221.34/2168.54	o 231230
2229.10/2176.14	o 231229
2242.01/2188.87	o 231130
2242.11/2188.98	o 231129
2266.53/2212.82	o 231119
2267.06/2213.34	o 231029
2267.16/2213.45	o 231019
2268.16/2214.42	o 230949
2268.69/2214.97	o 230939
2270.62/2216.89	o 230929
2271.55/2217.77	o 230928
2273.80/2219.98	o 229949
2274.40/2220.53	o 229939
2275.03/2221.19	o 229929
2275.85/2221.95	o 229928
2277.87/2223.92	o 229849
2278.50/2224.54	o 229848
2279.11/2225.17	o 229839
2279.72/2225.76	o 229838
2280.42/2226.48	o 229829
2281.25/2227.24	o 229828
2282.87/2228.86	o 229031
2283.51/2229.49	o 229030
2284.22/2230.11	o 229021
2294.78/2240.57	o 229012
2295.42/2241.17	o 229011
2302.72/2248.37	o 228933
2304.17/2249.76	o 228923
2304.77/2250.32	o 228823
2305.61/2251.15	o 228822
2306.64/2252.12	o 228813
2307.23/2252.71	o 228812
2308.85/2254.33	o 228803
2309.48/2254.96	o 228802
2339.40/2284.21	o 228801
2359.51/2303.12	o 227801
2369.12/2312.50	o 227800
2387.53/2330.50	o 227799
2392.33/2335.23	o 227791
2392.53/2335.49	o 227790
2393.56/2336.43	o 227690
2397.65/2340.48	o 227590
2399.37/2342.19	o 227490
2400.07/2343.93	s SATISFIABLE
2400.07/2343.93	v <instantiation>
2400.07/2343.93	v 	<list>
2400.07/2343.93	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] 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] 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] 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] 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]
2400.07/2343.94	v 	</list>
2400.07/2343.94	v 	<values>
2400.07/2343.94	v 		666 428 44 282 394 156 30 268 666 428 408 170 240 478 44 282 30 268 708 470 352 114 792 554 540 778 554 792 554 792 526 764 526 764 44 282 170 408 156 394 764 526 540 778 540 778 86 324 310 72 240 478 792 554 44 282 526 764 414 652 156 394 296 58 722 484 470 708 554 792 708 470 394 156 58 296 540 778 554 792 156 394 792 554 540 778 778 540 156 394 792 554 338 100 792 554 736 498 526 764 540 778 380 142 526 764 554 792 792 554 268 30 470 708 554 792 240 478 792 554 268 30 484 722 792 554 498 736 240 478 254 16 484 722 554 792 240 478 338 100 114 352 100 338 694 456 296 58 380 142 156 394 156 394 792 554 554 792 764 526 16 254 554 792 526 764 778 540 128 366 142 380 778 540 554 792 778 540 428 666 254 16 30 268 792 554 310 72 58 296 792 554 792 554 792 554 652 414 792 554 526 764 394 156 498 736 338 100 380 142 778 540 268 30 666 428 736 498 526 764 526 764 58 296 414 652 86 324 554 792 750 512 526 764 72 310 100 338 778 540 380 142 142 380 792 554 792 554 310 72 310 72 380 142 708 470 324 86 456 694 414 652 792 554 554 792 44 282 414 652 100 338 296 58 128 366 792 554 394 156 428 666 114 352 16 254 792 554 142 380 282 44 540 778 652 414 114 352 736 498 792 554 394 156 72 310 156 394 554 792 30 268 240 478 554 792 652 414 142 380 554 792 554 792 352 114 540 778 268 30 240 478 708 470 694 456 380 142 282 44 792 554 380 142 470 708 156 394 778 540 156 394 30 268 30 268 142 380 240 478 16 254 778 540 666 428 366 128 380 142 240 478 478 240 792 554 268 30 778 540 296 58 554 792 352 114 86 324 554 792 540 778 750 512 764 526 414 652 792 554 540 778 540 778 394 156 310 72 324 86 792 554 792 554 554 792 792 554 554 792 170 408 428 666 44 282 722 484 554 792 394 156 428 666 652 414 156 394 142 380 736 498 428 666 666 428 484 722 792 554 128 366 526 764 792 554 680 442 72 310 44 282 540 778 554 792 722 484 540 778 296 58 380 142 540 778 170 408 338 100 764 526 736 498 540 778 526 764 114 352 380 142 708 470 380 142 526 764 72 310 114 352 456 694 792 554 394 156 554 792 16 254 554 792 792 554 792 554 58 296 114 352 282 44 498 736 526 764 30 268 554 792 478 240 778 540 778 540 86 324 554 792 792 554 44 282 778 540 512 750 554 792 666 428 296 58 30 268 540 778 16 254 778 540 792 554 30 268 394 156 254 16 526 764 484 722 114 352 722 484 394 156 44 282 30 268 478 240 352 114 282 44 470 708 366 128 58 296 526 764 680 442 142 380 778 540 58 296 792 554 498 736 366 128 408 170 240 478 764 526 394 156 778 540 240 478 652 414 30 268 114 352 282 44 310 72 282 44 792 554 526 764 764 526 72 310 778 540 72 310 792 554 554 792 310 72 498 736 156 394 708 470 666 428 366 128 736 498 680 442 526 764 722 484 156 394 694 456 652 414 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 1000 0 0 0 0 1000 0 1000 0 1000 1000 0 1000 1000 1000 1000 1000 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 1000 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 1000 1000 1000 0 0 0 1000 1000 0 0 0 0 0 1000 1000 0 0 1000 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 1000 1000 1000 1000 1000 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 1000 0 1000 0 0 1000 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 1000 1000 0 0 0 1000 0 0 1000 0 1000 0 0 1000 0 1000 0 0 0 0 0 0 0 0 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 1000 1000 0 0 1000 0 0 1000 0 0 1000 0 0 0 0 0 0 0 1000 0 1000 0 1000 0 0 0 0 0 0 0 0 1000 0 1000 0 0 1000 0 1000 0 0 0 0 0 0 1000 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 1000 0 1000 1000 0 0 0 1000 0 0 1000 1000 0 0 0 0 1000 1000 0 0 0 1000 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 0 1000 0 0 0 0 0 1000 1000 1000 1000 0 0 1000 0 0 0 0 1000 0 0 1000 0 0 1000 1000 0 0 0 0 0 1000 1000 0 0 0 0 1000 0 0 0 0 1000 1000 0 0 1000 0 1000 0 0 0 0 1000 1000 0 0 0 0 1000 0 1000 0 0 1000 0 0 0 1000 0 1000 0 1000 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 1000 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 1000 0 1000 1000 0 0 1000 0 1000 0 0 0 1000 1000 1000 1000 0 0 1000 1000 0 0 1000 1000 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 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 1000 1000 1000 1000 0 0 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 1000 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 1000 0 1000 0 0 0 1000 0 1000 0 1000 0 1000 0 0 0 0 0 1000 0 0 1000 0 0 1000 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 1000 1000 1000 0 0 0 1000 1000 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 100 100 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 100 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 100 100 100 100 0 0 100 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 100 0 100 0 0 0 100 0 100 0 0 0 0 0 0 0 100 0 0 100 100 0 100 100 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 100 100 0 100 0 0 0 0 0 0 0 100 0 100 0 100 0 0 0 100 0 100 100 0 0 0 0 0 100 100 100 100 100 100 100 0 0 100 0 100 0 100 100 0 100 0 100 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 100 0 100 0 0 0 0 0 100 100 100 100 100 100 0 0 0 0 0 100 0 0 0 0 0 100 0 100 100 0 100 0 0 0 100 0 100 0 0 0 0 0 0 0 100 100 0 0 0 100 0 0 100 100 0 100 100 0 0 0 0 0 0 0 0 100 0 100 0 100 0 0 100 0 0 0 0 100 0 0 0 100 0 100 100 0 0 100 100 100 0 0 0 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 100 0 100 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 100 100 100 100 0 0 100 100 0 100 0 100 0 0 0 0 0 0 0 100 100 0 100 0 100 0 0 0 0 0 100 0 0 100 0 0 0 100 0 0 0 0 0 100 100 100 100 0 0 0 0 100 100 0 0 0 0 0 0 100 0 0 0 0 0 0 100 100 0 0 0 100 0 0 0 100 100 100 100 100 0 0 0 0 0 0 100 100 0 100 0 100 0 0 100 0 100 0 100 100 100 0 0 0 100 0 0 0 0 0 0 100 100 100 100 100 100 0 0 0 0 0 0 100 0 0 0 100 0 100 100 0 0 0 100 0 100 0 100 0 0 0 0 0 100 0 0 0 0 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 100 0 100 0 0 100 100 0 100 0 100 0 0 100 0 0 100 0 100 0 0 100 0 0 0 100 0 0 100 0 0 0 100 0 100 0 100 0 100 0 100 100 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 100 100 0 100 100 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 100 0 100 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 100 100 0 100 100 100 0 0 0 0 0 100 100 0 0 100 100 100 100 100 100 0 0 100 0 0 0 0 0 100 0 0 0 100 100 100 0 0 0 100 0 100 0 0 0 100 0 100 100 0 100 100 100 100 0 0 0 0 0 0 0 100 100 100 100 100 0 0 0 100 0 0 100 0 0 100 0 0 0 0 0 0 0 100 0 100 0 100 0 0 0 0 0 0 100 100 100 100 0 0 0 0 100 100 0 100 0 100 100 0 0 100 0 0 100 0 0 0 0 0 100 0 0 0 0 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 100 0 0 0 100 0 0 100 0 0 0 100 0 0 0 0 0 100 0 0 0 0 100 0 100 0 100 100 100 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 0 0 100 100 0 0 0 0 0 0 100 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 100 100 0 100 100 100 100 0 10 0 0 10 0 0 0 0 0 0 0 0 10 10 10 0 0 10 10 0 0 0 0 0 0 10 10 10 10 0 10 0 0 10 10 0 0 10 0 10 10 0 10 0 10 10 0 0 0 0 0 10 0 0 0 10 10 10 10 10 10 0 10 10 0 0 0 0 0 0 10 0 0 0 0 10 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 10 10 10 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 0 10 0 10 10 0 0 0 0 0 0 0 10 0 0 10 10 0 0 10 10 10 0 0 10 0 10 0 0 10 10 0 0 0 10 0 0 0 10 0 0 0 10 0 10 10 0 0 10 0 10 10 10 10 0 0 0 0 10 0 0 0 10 10 0 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 10 0 10 10 0 10 0 0 10 10 10 0 10 0 0 0 0 0 0 0 0 0 0 10 10 0 10 10 0 0 0 10 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 10 0 0 10 10 10 0 10 10 0 0 0 10 0 0 0 10 0 0 10 0 10 10 0 0 0 10 10 10 0 0 10 0 0 0 10 0 0 0 0 0 10 0 10 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 10 0 0 0 10 10 0 10 0 0 0 0 0 0 0 0 10 10 10 10 0 0 0 0 0 0 0 0 10 0 10 10 10 0 10 0 10 0 10 0 10 0 0 10 0 0 10 10 0 0 0 0 10 10 0 10 10 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 0 0 0 10 0 0 0 10 10 0 0 10 0 10 10 0 0 0 0 0 10 0 0 10 10 0 10 0 0 0 10 0 0 10 10 10 0 0 10 0 0 0 10 0 0 10 0 0 0 0 0 10 10 0 0 10 10 10 0 10 0 0 10 10 10 10 10 0 0 0 10 0 0 0 10 0 10 0 10 0 10 0 0 0 10 0 10 0 10 0 0 0 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 10 0 0 0 0 0 10 10 0 10 0 0 0 0 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 0 10 0 10 10 10 0 0 0 0 0 0 10 0 0 0 0 10 10 10 10 10 10 0 0 0 0 0 10 0 0 0 0 10 0 0 10 10 0 10 10 10 10 0 0 0 0 0 10 10 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 10 0 0 0 10 0 10 0 0 0 10 0 10 10 10 10 10 0 0 0 10 0 10 0 0 0 0 0 10 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 10 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 10 0 0 10 10 0 0 0 10 0 0 10 0 0 0 0 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 10 10 0 10 0 0 0 0 10 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 10 0 0 0 0 10 0 10 0 10 0 10 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 1 0 1 0 1 1 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 1 0 0 1 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 1 0 1 1 1 1 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 1 1 0 1 1 1 1 1 0 0 1 1 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 1 0 0 0 1 1 0 0 1 1 1 0 0 1 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 
2400.07/2343.94	v 	</values>
2400.07/2343.94	v </instantiation>

Verifier Data 

OK	227490

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 (10638 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291961-1532267955/watcher-4291961-1532267955 -o /tmp/evaluation-result-4291961-1532267955/solver-4291961-1532267955 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532260876-3287 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 473890358 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291961-1532267955.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=4408, runsolver pid=4405

[startup+0.100093 s]*
/proc/loadavg: 2.13 1.58 1.54 5/215 4423
/proc/meminfo: memFree=21445848/32770624 swapFree=67108860/67108860
[pid=4408] ppid=4405 vsize=14082740 memory=30316 CPUtime=0.12 cores=0,2,4,6
/proc/4408/stat : 4408 (java) S 4405 4408 3256 0 -1 1077944320 7002 0 0 0 11 1 0 0 20 0 15 0 44358653 14420725760 7579 33554432000 4194304 4196468 140733647693088 140733647675632 140610145287927 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
/proc/4408/statm: 3520685 7579 3158 1 0 3482761 0
[pid=4408/tid=4410] ppid=4405 vsize=14082740 memory=-8537803970148398272 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4410/stat : 4410 (java) R 4405 4408 3256 0 -1 4202560 5191 0 0 0 8 0 0 0 20 0 15 0 44358653 14420725760 7711 33554432000 4194304 4196468 140733647693088 140610149482016 140610125563676 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4411] ppid=4405 vsize=14082740 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4411/stat : 4411 (java) S 4405 4408 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44358654 14420725760 7711 33554432000 4194304 4196468 140733647693088 140610117131408 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4412] ppid=4405 vsize=14082740 memory=139974668129920 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4412/stat : 4412 (java) S 4405 4408 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358654 14420725760 7777 33554432000 4194304 4196468 140733647693088 140609740184592 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4413] ppid=4405 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4413/stat : 4413 (java) S 4405 4408 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358654 14420725760 7777 33554432000 4194304 4196468 140733647693088 140609739131792 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4414] ppid=4405 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4414/stat : 4414 (java) S 4405 4408 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358654 14420725760 7777 33554432000 4194304 4196468 140733647693088 140609738078992 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4415] ppid=4405 vsize=14082740 memory=139974668129920 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4415/stat : 4415 (java) S 4405 4408 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44358655 14420725760 7777 33554432000 4194304 4196468 140733647693088 140609327077744 140610145299074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4416] ppid=4405 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4416/stat : 4416 (java) S 4405 4408 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44358656 14420725760 7777 33554432000 4194304 4196468 140733647693088 140609326023712 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4417] ppid=4405 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4417/stat : 4417 (java) S 4405 4408 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44358656 14420725760 7777 33554432000 4194304 4196468 140733647693088 140609324970864 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4418] ppid=4405 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4418/stat : 4418 (java) S 4405 4408 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358658 14420725760 7777 33554432000 4194304 4196468 140733647693088 140609323919184 140610145306523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4419] ppid=4405 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4419/stat : 4419 (java) S 4405 4408 3256 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 44358658 14420725760 7777 33554432000 4194304 4196468 140733647693088 140609322867568 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4420] ppid=4405 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4420/stat : 4420 (java) S 4405 4408 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358658 14420725760 7777 33554432000 4194304 4196468 140733647693088 140609321814768 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4421] ppid=4405 vsize=14082740 memory=139974668129920 CPUtime=0.01 cores=0,2,4,6
/proc/4408/task/4421/stat : 4421 (java) S 4405 4408 3256 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 15 0 44358658 14420725760 7777 33554432000 4194304 4196468 140733647693088 140609320761968 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4422] ppid=4405 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4422/stat : 4422 (java) S 4405 4408 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358658 14420725760 7777 33554432000 4194304 4196468 140733647693088 140609319709408 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4423] ppid=4405 vsize=14082740 memory=139974668129920 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4423/stat : 4423 (java) S 4405 4408 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358659 14420725760 7777 33554432000 4194304 4196468 140733647693088 140609318656688 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 30316 KiB

[startup+0.210297 s]*
/proc/loadavg: 2.13 1.58 1.54 8/215 4423
/proc/meminfo: memFree=21429704/32770624 swapFree=67108860/67108860
[pid=4408] ppid=4405 vsize=14082740 memory=45540 CPUtime=0.3 cores=0,2,4,6
/proc/4408/stat : 4408 (java) S 4405 4408 3256 0 -1 1077944320 10445 0 0 0 29 1 0 0 20 0 15 0 44358653 14420725760 11385 33554432000 4194304 4196468 140733647693088 140733647675632 140610145287927 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
/proc/4408/statm: 3520685 11385 3368 1 0 3482761 0
[pid=4408/tid=4410] ppid=4405 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/4408/task/4410/stat : 4410 (java) R 4405 4408 3256 0 -1 4202560 8079 0 0 0 19 1 0 0 20 0 15 0 44358653 14420725760 11385 33554432000 4194304 4196468 140733647693088 140610149512976 140610126936721 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4411] ppid=4405 vsize=14082740 memory=331 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4411/stat : 4411 (java) S 4405 4408 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44358654 14420725760 11385 33554432000 4194304 4196468 140733647693088 140610117131408 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4412] ppid=4405 vsize=14082740 memory=139974668134508 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4412/stat : 4412 (java) S 4405 4408 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358654 14420725760 11385 33554432000 4194304 4196468 140733647693088 140609740184592 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4413] ppid=4405 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4413/stat : 4413 (java) S 4405 4408 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358654 14420725760 11385 33554432000 4194304 4196468 140733647693088 140609739131792 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4414] ppid=4405 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4414/stat : 4414 (java) S 4405 4408 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358654 14420725760 11385 33554432000 4194304 4196468 140733647693088 140609738078992 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4415] ppid=4405 vsize=14082740 memory=139974668129920 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4415/stat : 4415 (java) S 4405 4408 3256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44358655 14420725760 11385 33554432000 4194304 4196468 140733647693088 140609327077744 140610145299074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4416] ppid=4405 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4416/stat : 4416 (java) S 4405 4408 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44358656 14420725760 11385 33554432000 4194304 4196468 140733647693088 140609326023712 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4417] ppid=4405 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4417/stat : 4417 (java) S 4405 4408 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44358656 14420725760 11385 33554432000 4194304 4196468 140733647693088 140609324970864 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4418] ppid=4405 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4418/stat : 4418 (java) S 4405 4408 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358658 14420725760 11385 33554432000 4194304 4196468 140733647693088 140609323919184 140610145306523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4419] ppid=4405 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4408/task/4419/stat : 4419 (java) R 4405 4408 3256 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 15 0 44358658 14420725760 11385 33554432000 4194304 4196468 140733647693088 140609322867568 140610145299074 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4420] ppid=4405 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/4408/task/4420/stat : 4420 (java) R 4405 4408 3256 0 -1 4202560 239 0 0 0 1 0 0 0 20 0 15 0 44358658 14420725760 11385 33554432000 4194304 4196468 140733647693088 140609321814768 140610130926464 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4421] ppid=4405 vsize=14082740 memory=139974668129920 CPUtime=0.06 cores=0,2,4,6
/proc/4408/task/4421/stat : 4421 (java) R 4405 4408 3256 0 -1 4202560 430 0 0 0 6 0 0 0 20 0 15 0 44358658 14420725760 11385 33554432000 4194304 4196468 140733647693088 140609320761968 140610138384684 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4422] ppid=4405 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4422/stat : 4422 (java) S 4405 4408 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358658 14420725760 11385 33554432000 4194304 4196468 140733647693088 140609319709408 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4423] ppid=4405 vsize=14082740 memory=139974668129920 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4423/stat : 4423 (java) S 4405 4408 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358659 14420725760 11385 33554432000 4194304 4196468 140733647693088 140609318656688 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 45540 KiB

[startup+0.310516 s]*
/proc/loadavg: 2.13 1.58 1.54 3/215 4423
/proc/meminfo: memFree=21425796/32770624 swapFree=67108860/67108860
[pid=4408] ppid=4405 vsize=14082740 memory=49288 CPUtime=0.44 cores=0,2,4,6
/proc/4408/stat : 4408 (java) S 4405 4408 3256 0 -1 1077944320 10943 0 0 0 42 2 0 0 20 0 15 0 44358653 14420725760 12322 33554432000 4194304 4196468 140733647693088 140733647675632 140610145287927 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
/proc/4408/statm: 3520685 12322 3405 1 0 3482761 0
[pid=4408/tid=4410] ppid=4405 vsize=14082740 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/4408/task/4410/stat : 4410 (java) R 4405 4408 3256 0 -1 4202560 8443 0 0 0 29 1 0 0 20 0 15 0 44358653 14420725760 12322 33554432000 4194304 4196468 140733647693088 140610149449664 140610128474736 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4411] ppid=4405 vsize=14082740 memory=304556140472303639 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4411/stat : 4411 (java) S 4405 4408 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44358654 14420725760 12322 33554432000 4194304 4196468 140733647693088 140610117131408 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4412] ppid=4405 vsize=14082740 memory=14555917288937112 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4412/stat : 4412 (java) S 4405 4408 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358654 14420725760 12322 33554432000 4194304 4196468 140733647693088 140609740184592 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4413] ppid=4405 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4413/stat : 4413 (java) S 4405 4408 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358654 14420725760 12322 33554432000 4194304 4196468 140733647693088 140609739131792 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4414] ppid=4405 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4414/stat : 4414 (java) S 4405 4408 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358654 14420725760 12322 33554432000 4194304 4196468 140733647693088 140609738078992 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4415] ppid=4405 vsize=14082740 memory=139974668129920 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4415/stat : 4415 (java) S 4405 4408 3256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44358655 14420725760 12322 33554432000 4194304 4196468 140733647693088 140609327077744 140610145299074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4416] ppid=4405 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4416/stat : 4416 (java) S 4405 4408 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44358656 14420725760 12322 33554432000 4194304 4196468 140733647693088 140609326023712 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4417] ppid=4405 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4417/stat : 4417 (java) S 4405 4408 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44358656 14420725760 12322 33554432000 4194304 4196468 140733647693088 140609324970864 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4418] ppid=4405 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4418/stat : 4418 (java) S 4405 4408 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358658 14420725760 12322 33554432000 4194304 4196468 140733647693088 140609323919184 140610145306523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4419] ppid=4405 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4408/task/4419/stat : 4419 (java) S 4405 4408 3256 0 -1 1077944384 353 0 0 0 2 0 0 0 20 0 15 0 44358658 14420725760 12322 33554432000 4194304 4196468 140733647693088 140609322867568 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4420] ppid=4405 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4408/task/4420/stat : 4420 (java) S 4405 4408 3256 0 -1 1077944384 278 0 0 0 2 0 0 0 20 0 15 0 44358658 14420725760 12322 33554432000 4194304 4196468 140733647693088 140609321814768 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4421] ppid=4405 vsize=14082740 memory=139974668129920 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4421/stat : 4421 (java) S 4405 4408 3256 0 -1 1077944384 487 0 0 0 8 0 0 0 20 0 15 0 44358658 14420725760 12322 33554432000 4194304 4196468 140733647693088 140609320761968 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4422] ppid=4405 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4422/stat : 4422 (java) S 4405 4408 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358658 14420725760 12322 33554432000 4194304 4196468 140733647693088 140609319709408 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4423] ppid=4405 vsize=14082740 memory=139974668129920 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4423/stat : 4423 (java) S 4405 4408 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358659 14420725760 12322 33554432000 4194304 4196468 140733647693088 140609318656688 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 49288 KiB

[startup+0.700771 s]
/proc/loadavg: 2.13 1.58 1.54 5/215 4423
/proc/meminfo: memFree=21403660/32770624 swapFree=67108860/67108860
[pid=4408] ppid=4405 vsize=14084808 memory=85656 CPUtime=0.99 cores=0,2,4,6
/proc/4408/stat : 4408 (java) S 4405 4408 3256 0 -1 1077944320 17852 0 0 0 96 3 0 0 20 0 15 0 44358653 14422843392 21414 33554432000 4194304 4196468 140733647693088 140733647675632 140610145287927 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
/proc/4408/statm: 3521202 21414 3504 1 0 3483273 0
[pid=4408/tid=4410] ppid=4405 vsize=14084808 memory=1728 CPUtime=0.67 cores=0,2,4,6
/proc/4408/task/4410/stat : 4410 (java) R 4405 4408 3256 0 -1 4202560 14855 0 0 0 65 2 0 0 20 0 15 0 44358653 14422843392 21414 33554432000 4194304 4196468 140733647693088 140610149513232 140610128466440 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4411] ppid=4405 vsize=14084808 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4411/stat : 4411 (java) S 4405 4408 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44358654 14422843392 21414 33554432000 4194304 4196468 140733647693088 140610117131408 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4412] ppid=4405 vsize=14084808 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4412/stat : 4412 (java) S 4405 4408 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358654 14422843392 21414 33554432000 4194304 4196468 140733647693088 140609740184592 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4413] ppid=4405 vsize=14084808 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4413/stat : 4413 (java) S 4405 4408 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358654 14422843392 21414 33554432000 4194304 4196468 140733647693088 140609739131792 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4414] ppid=4405 vsize=14084808 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4414/stat : 4414 (java) S 4405 4408 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358654 14422843392 21414 33554432000 4194304 4196468 140733647693088 140609738078992 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4415] ppid=4405 vsize=14084808 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4415/stat : 4415 (java) S 4405 4408 3256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44358655 14422843392 21414 33554432000 4194304 4196468 140733647693088 140609327077744 140610145299074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4416] ppid=4405 vsize=14084808 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4416/stat : 4416 (java) S 4405 4408 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44358656 14422843392 21414 33554432000 4194304 4196468 140733647693088 140609326023712 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4417] ppid=4405 vsize=14084808 memory=8372 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4417/stat : 4417 (java) S 4405 4408 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44358656 14422843392 21414 33554432000 4194304 4196468 140733647693088 140609324970864 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4418] ppid=4405 vsize=14084808 memory=7518026621751089001 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4418/stat : 4418 (java) S 4405 4408 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358658 14422843392 21414 33554432000 4194304 4196468 140733647693088 140609323919184 140610145306523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4419] ppid=4405 vsize=14084808 memory=7236547281622689387 CPUtime=0.07 cores=0,2,4,6
/proc/4408/task/4419/stat : 4419 (java) S 4405 4408 3256 0 -1 1077944384 529 0 0 0 7 0 0 0 20 0 15 0 44358658 14422843392 21414 33554432000 4194304 4196468 140733647693088 140609322867568 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4420] ppid=4405 vsize=14084808 memory=5787213827063244903 CPUtime=0.08 cores=0,2,4,6
/proc/4408/task/4420/stat : 4420 (java) S 4405 4408 3256 0 -1 1077944384 438 0 0 0 8 0 0 0 20 0 15 0 44358658 14422843392 21414 33554432000 4194304 4196468 140733647693088 140609321814768 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4421] ppid=4405 vsize=14084808 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/4408/task/4421/stat : 4421 (java) S 4405 4408 3256 0 -1 1077944384 648 0 0 0 15 0 0 0 20 0 15 0 44358658 14422843392 21414 33554432000 4194304 4196468 140733647693088 140609320761968 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4422] ppid=4405 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4422/stat : 4422 (java) S 4405 4408 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358658 14422843392 21414 33554432000 4194304 4196468 140733647693088 140609319709408 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4423] ppid=4405 vsize=14084808 memory=33 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4423/stat : 4423 (java) S 4405 4408 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44358659 14422843392 21414 33554432000 4194304 4196468 140733647693088 140609318656688 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 85656 KiB

[startup+1.50899 s]
/proc/loadavg: 2.13 1.58 1.54 5/215 4423
/proc/meminfo: memFree=21331684/32770624 swapFree=67108860/67108860
[pid=4408] ppid=4405 vsize=14086856 memory=220432 CPUtime=3.42 cores=0,2,4,6
/proc/4408/stat : 4408 (java) S 4405 4408 3256 0 -1 1077944320 24429 0 0 0 335 7 0 0 20 0 15 0 44358653 14424940544 55108 33554432000 4194304 4196468 140733647693088 140733647675632 140610145287927 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
/proc/4408/statm: 3521714 55108 3550 1 0 3483785 0
[pid=4408/tid=4410] ppid=4405 vsize=14086856 memory=8112282956445269571 CPUtime=1.46 cores=0,2,4,6
/proc/4408/task/4410/stat : 4410 (java) S 4405 4408 3256 0 -1 1077944384 17008 0 0 0 142 4 0 0 20 0 15 0 44358653 14424940544 55108 33554432000 4194304 4196468 140733647693088 140610149522416 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4411] ppid=4405 vsize=14086856 memory=-8754540793456063680 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4411/stat : 4411 (java) S 4405 4408 3256 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 44358654 14424940544 55108 33554432000 4194304 4196468 140733647693088 140610117131408 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4412] ppid=4405 vsize=14086856 memory=-2843869621055772062 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4412/stat : 4412 (java) S 4405 4408 3256 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 44358654 14424940544 55108 33554432000 4194304 4196468 140733647693088 140609740184592 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4413] ppid=4405 vsize=14086856 memory=5450919713671312938 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4413/stat : 4413 (java) R 4405 4408 3256 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 44358654 14424940544 55108 33554432000 4194304 4196468 140733647693088 140609739131792 140610145298133 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4414] ppid=4405 vsize=14086856 memory=7005738693937936738 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4414/stat : 4414 (java) S 4405 4408 3256 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 44358654 14424940544 55108 33554432000 4194304 4196468 140733647693088 140609738079008 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4415] ppid=4405 vsize=14086856 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4415/stat : 4415 (java) S 4405 4408 3256 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 44358655 14424940544 55108 33554432000 4194304 4196468 140733647693088 140609327076256 140610145298133 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0

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

/proc/4408/task/4410/stat : 4410 (java) R 4405 4408 3256 0 -1 4202560 108219 0 0 0 218551 56 0 0 20 0 15 0 44358653 14431232000 439810 33554432000 4194304 4196468 140733647693088 140610149525584 140609787080420 0 4 0 16800975 0 0 0 -1 2 0 0 18 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4411] ppid=4405 vsize=14093000 memory=1531908 CPUtime=13.33 cores=0,2,4,6
/proc/4408/task/4411/stat : 4411 (java) S 4405 4408 3256 0 -1 1077944384 25283 0 0 0 1288 45 0 0 20 0 15 0 44358654 14431232000 439810 33554432000 4194304 4196468 140733647693088 140610117131408 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4412] ppid=4405 vsize=14093000 memory=1569140 CPUtime=13.31 cores=0,2,4,6
/proc/4408/task/4412/stat : 4412 (java) S 4405 4408 3256 0 -1 1077944384 24660 0 0 0 1285 46 0 0 20 0 15 0 44358654 14431232000 439810 33554432000 4194304 4196468 140733647693088 140609740184592 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4413] ppid=4405 vsize=14093000 memory=1760264 CPUtime=13.31 cores=0,2,4,6
/proc/4408/task/4413/stat : 4413 (java) S 4405 4408 3256 0 -1 1077944384 28080 0 0 0 1282 49 0 0 20 0 15 0 44358654 14431232000 439810 33554432000 4194304 4196468 140733647693088 140609739131792 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4414] ppid=4405 vsize=14093000 memory=1760264 CPUtime=13.31 cores=0,2,4,6
/proc/4408/task/4414/stat : 4414 (java) S 4405 4408 3256 0 -1 1077944384 24309 0 0 0 1282 49 0 0 20 0 15 0 44358654 14431232000 439810 33554432000 4194304 4196468 140733647693088 140609738078992 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4415] ppid=4405 vsize=14093000 memory=1801972 CPUtime=1.71 cores=0,2,4,6
/proc/4408/task/4415/stat : 4415 (java) S 4405 4408 3256 0 -1 1077944384 39550 0 0 0 147 24 0 0 20 0 15 0 44358655 14431232000 439810 33554432000 4194304 4196468 140733647693088 140609327077744 140610145299074 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4416] ppid=4405 vsize=14093000 memory=279949056298544 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4416/stat : 4416 (java) S 4405 4408 3256 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 44358656 14431232000 439810 33554432000 4194304 4196468 140733647693088 140609326023776 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4417] ppid=4405 vsize=14093000 memory=1760264 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4417/stat : 4417 (java) S 4405 4408 3256 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 44358656 14431232000 439810 33554432000 4194304 4196468 140733647693088 140609324970880 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4418] ppid=4405 vsize=14093000 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4418/stat : 4418 (java) S 4405 4408 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358658 14431232000 439810 33554432000 4194304 4196468 140733647693088 140609323919184 140610145306523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4419] ppid=4405 vsize=14093000 memory=4420 CPUtime=5.77 cores=0,2,4,6
/proc/4408/task/4419/stat : 4419 (java) S 4405 4408 3256 0 -1 1077944384 36085 0 0 0 574 3 0 0 20 0 15 0 44358658 14431232000 439810 33554432000 4194304 4196468 140733647693088 140609322867568 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4420] ppid=4405 vsize=14093000 memory=55 CPUtime=5.89 cores=0,2,4,6
/proc/4408/task/4420/stat : 4420 (java) S 4405 4408 3256 0 -1 1077944384 34321 0 0 0 585 4 0 0 20 0 15 0 44358658 14431232000 439810 33554432000 4194304 4196468 140733647693088 140609321814768 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4421] ppid=4405 vsize=14093000 memory=1784884 CPUtime=1.81 cores=0,2,4,6
/proc/4408/task/4421/stat : 4421 (java) S 4405 4408 3256 0 -1 1077944384 42405 0 0 0 176 5 0 0 20 0 15 0 44358658 14431232000 439810 33554432000 4194304 4196468 140733647693088 140609320761968 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4422] ppid=4405 vsize=14093000 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4422/stat : 4422 (java) S 4405 4408 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358658 14431232000 439810 33554432000 4194304 4196468 140733647693088 140609319709408 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4423] ppid=4405 vsize=14093000 memory=1760264 CPUtime=1.2 cores=0,2,4,6
/proc/4408/task/4423/stat : 4423 (java) S 4405 4408 3256 0 -1 1077944384 2310 0 0 0 57 63 0 0 20 0 15 0 44358659 14431232000 439810 33554432000 4194304 4196468 140733647693088 140609318656688 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
Current children cumulated CPU time: 2255.82 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1759240 KiB

[startup+2262.3 s]
/proc/loadavg: 1.14 1.37 1.42 3/215 4517
/proc/meminfo: memFree=19333804/32770624 swapFree=67108860/67108860
[pid=4408] ppid=4405 vsize=14093000 memory=1662796 CPUtime=2317.03 cores=0,2,4,6
/proc/4408/stat : 4408 (java) S 4405 4408 3256 0 -1 1077944320 369719 0 0 0 231370 333 0 0 20 0 15 0 44358653 14431232000 415699 33554432000 4194304 4196468 140733647693088 140733647675632 140610145287927 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
/proc/4408/statm: 3523250 415699 3624 1 0 3485321 0
[pid=4408/tid=4410] ppid=4405 vsize=14093000 memory=1664848 CPUtime=2245.59 cores=0,2,4,6
/proc/4408/task/4410/stat : 4410 (java) R 4405 4408 3256 0 -1 4202560 109324 0 0 0 224502 57 0 0 20 0 15 0 44358653 14431232000 415699 33554432000 4194304 4196468 140733647693088 140610149525584 140609789947691 0 4 0 16800975 0 0 0 -1 2 0 0 18 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4411] ppid=4405 vsize=14093000 memory=1705888 CPUtime=13.73 cores=0,2,4,6
/proc/4408/task/4411/stat : 4411 (java) S 4405 4408 3256 0 -1 1077944384 25612 0 0 0 1327 46 0 0 20 0 15 0 44358654 14431232000 415699 33554432000 4194304 4196468 140733647693088 140610117131408 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4412] ppid=4405 vsize=14093000 memory=55 CPUtime=13.71 cores=0,2,4,6
/proc/4408/task/4412/stat : 4412 (java) S 4405 4408 3256 0 -1 1077944384 24854 0 0 0 1325 46 0 0 20 0 15 0 44358654 14431232000 415699 33554432000 4194304 4196468 140733647693088 140609740184592 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4413] ppid=4405 vsize=14093000 memory=1669976 CPUtime=13.72 cores=0,2,4,6
/proc/4408/task/4413/stat : 4413 (java) S 4405 4408 3256 0 -1 1077944384 28579 0 0 0 1323 49 0 0 20 0 15 0 44358654 14431232000 415699 33554432000 4194304 4196468 140733647693088 140609739131792 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4414] ppid=4405 vsize=14093000 memory=1669976 CPUtime=13.72 cores=0,2,4,6
/proc/4408/task/4414/stat : 4414 (java) S 4405 4408 3256 0 -1 1077944384 24844 0 0 0 1323 49 0 0 20 0 15 0 44358654 14431232000 415699 33554432000 4194304 4196468 140733647693088 140609738078992 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4415] ppid=4405 vsize=14093000 memory=1669976 CPUtime=1.74 cores=0,2,4,6
/proc/4408/task/4415/stat : 4415 (java) S 4405 4408 3256 0 -1 1077944384 39739 0 0 0 149 25 0 0 20 0 15 0 44358655 14431232000 415699 33554432000 4194304 4196468 140733647693088 140609327077744 140610145299074 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4416] ppid=4405 vsize=14093000 memory=1664848 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4416/stat : 4416 (java) S 4405 4408 3256 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 44358656 14431232000 415699 33554432000 4194304 4196468 140733647693088 140609326023776 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4417] ppid=4405 vsize=14093000 memory=1664848 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4417/stat : 4417 (java) S 4405 4408 3256 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 44358656 14431232000 415699 33554432000 4194304 4196468 140733647693088 140609324970880 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4418] ppid=4405 vsize=14093000 memory=1664848 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4418/stat : 4418 (java) S 4405 4408 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358658 14431232000 415699 33554432000 4194304 4196468 140733647693088 140609323919184 140610145306523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4419] ppid=4405 vsize=14093000 memory=124 CPUtime=5.77 cores=0,2,4,6
/proc/4408/task/4419/stat : 4419 (java) S 4405 4408 3256 0 -1 1077944384 36087 0 0 0 574 3 0 0 20 0 15 0 44358658 14431232000 415699 33554432000 4194304 4196468 140733647693088 140609322867568 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4420] ppid=4405 vsize=14093000 memory=1669976 CPUtime=5.89 cores=0,2,4,6
/proc/4408/task/4420/stat : 4420 (java) S 4405 4408 3256 0 -1 1077944384 34323 0 0 0 585 4 0 0 20 0 15 0 44358658 14431232000 415699 33554432000 4194304 4196468 140733647693088 140609321814768 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4421] ppid=4405 vsize=14093000 memory=1664848 CPUtime=1.81 cores=0,2,4,6
/proc/4408/task/4421/stat : 4421 (java) S 4405 4408 3256 0 -1 1077944384 42593 0 0 0 176 5 0 0 20 0 15 0 44358658 14431232000 415699 33554432000 4194304 4196468 140733647693088 140609320761968 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4422] ppid=4405 vsize=14093000 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4422/stat : 4422 (java) S 4405 4408 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358658 14431232000 415699 33554432000 4194304 4196468 140733647693088 140609319709408 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4423] ppid=4405 vsize=14093000 memory=1664848 CPUtime=1.24 cores=0,2,4,6
/proc/4408/task/4423/stat : 4423 (java) S 4405 4408 3256 0 -1 1077944384 2333 0 0 0 59 65 0 0 20 0 15 0 44358659 14431232000 415699 33554432000 4194304 4196468 140733647693088 140609318656688 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
Current children cumulated CPU time: 2317.03 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1662796 KiB

[startup+2322.3 s]
/proc/loadavg: 1.51 1.44 1.44 3/215 4518
/proc/meminfo: memFree=19307828/32770624 swapFree=67108860/67108860
[pid=4408] ppid=4405 vsize=14093000 memory=1585904 CPUtime=2379.14 cores=0,2,4,6
/proc/4408/stat : 4408 (java) S 4405 4408 3256 0 -1 1077944320 373703 0 0 0 237577 337 0 0 20 0 15 0 44358653 14431232000 396476 33554432000 4194304 4196468 140733647693088 140733647675632 140610145287927 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
/proc/4408/statm: 3523250 396476 3624 1 0 3485321 0
[pid=4408/tid=4410] ppid=4405 vsize=14093000 memory=1588472 CPUtime=2304.83 cores=0,2,4,6
/proc/4408/task/4410/stat : 4410 (java) R 4405 4408 3256 0 -1 4202560 110122 0 0 0 230426 57 0 0 20 0 15 0 44358653 14431232000 396476 33554432000 4194304 4196468 140733647693088 140610149524352 140610130995693 0 4 0 16800975 0 0 0 -1 4 0 0 18 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4411] ppid=4405 vsize=14093000 memory=1585904 CPUtime=14.42 cores=0,2,4,6
/proc/4408/task/4411/stat : 4411 (java) S 4405 4408 3256 0 -1 1077944384 25849 0 0 0 1396 46 0 0 20 0 15 0 44358654 14431232000 396476 33554432000 4194304 4196468 140733647693088 140610117131408 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4412] ppid=4405 vsize=14093000 memory=1599756 CPUtime=14.39 cores=0,2,4,6
/proc/4408/task/4412/stat : 4412 (java) S 4405 4408 3256 0 -1 1077944384 25100 0 0 0 1393 46 0 0 20 0 15 0 44358654 14431232000 396476 33554432000 4194304 4196468 140733647693088 140609740184592 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4413] ppid=4405 vsize=14093000 memory=1599756 CPUtime=14.41 cores=0,2,4,6
/proc/4408/task/4413/stat : 4413 (java) S 4405 4408 3256 0 -1 1077944384 29092 0 0 0 1391 50 0 0 20 0 15 0 44358654 14431232000 396476 33554432000 4194304 4196468 140733647693088 140609739131792 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4414] ppid=4405 vsize=14093000 memory=1599756 CPUtime=14.42 cores=0,2,4,6
/proc/4408/task/4414/stat : 4414 (java) S 4405 4408 3256 0 -1 1077944384 25155 0 0 0 1392 50 0 0 20 0 15 0 44358654 14431232000 396476 33554432000 4194304 4196468 140733647693088 140609738078992 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4415] ppid=4405 vsize=14093000 memory=4140 CPUtime=1.79 cores=0,2,4,6
/proc/4408/task/4415/stat : 4415 (java) S 4405 4408 3256 0 -1 1077944384 41290 0 0 0 153 26 0 0 20 0 15 0 44358655 14431232000 396476 33554432000 4194304 4196468 140733647693088 140609327077744 140610145299074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4416] ppid=4405 vsize=14093000 memory=1599756 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4416/stat : 4416 (java) S 4405 4408 3256 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 44358656 14431232000 396476 33554432000 4194304 4196468 140733647693088 140609326023776 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4417] ppid=4405 vsize=14093000 memory=1599756 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4417/stat : 4417 (java) S 4405 4408 3256 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 44358656 14431232000 396476 33554432000 4194304 4196468 140733647693088 140609324970880 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4418] ppid=4405 vsize=14093000 memory=2412 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4418/stat : 4418 (java) S 4405 4408 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358658 14431232000 396476 33554432000 4194304 4196468 140733647693088 140609323919184 140610145306523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4419] ppid=4405 vsize=14093000 memory=1728 CPUtime=5.78 cores=0,2,4,6
/proc/4408/task/4419/stat : 4419 (java) S 4405 4408 3256 0 -1 1077944384 36171 0 0 0 575 3 0 0 20 0 15 0 44358658 14431232000 396476 33554432000 4194304 4196468 140733647693088 140609322867568 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4420] ppid=4405 vsize=14093000 memory=5408 CPUtime=5.9 cores=0,2,4,6
/proc/4408/task/4420/stat : 4420 (java) S 4405 4408 3256 0 -1 1077944384 34325 0 0 0 586 4 0 0 20 0 15 0 44358658 14431232000 396476 33554432000 4194304 4196468 140733647693088 140609321814768 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4421] ppid=4405 vsize=14093000 memory=1606424 CPUtime=1.82 cores=0,2,4,6
/proc/4408/task/4421/stat : 4421 (java) S 4405 4408 3256 0 -1 1077944384 42829 0 0 0 177 5 0 0 20 0 15 0 44358658 14431232000 396476 33554432000 4194304 4196468 140733647693088 140609320761968 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4422] ppid=4405 vsize=14093000 memory=1613096 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4422/stat : 4422 (java) S 4405 4408 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358658 14431232000 396476 33554432000 4194304 4196468 140733647693088 140609319709408 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4423] ppid=4405 vsize=14093000 memory=1708 CPUtime=1.28 cores=0,2,4,6
/proc/4408/task/4423/stat : 4423 (java) S 4405 4408 3256 0 -1 1077944384 2339 0 0 0 61 67 0 0 20 0 15 0 44358659 14431232000 396476 33554432000 4194304 4196468 140733647693088 140609318656688 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
Current children cumulated CPU time: 2379.14 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1585904 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2342.8 s]
/proc/loadavg: 1.36 1.41 1.43 3/215 4595
/proc/meminfo: memFree=18549432/32770624 swapFree=67108860/67108860
[pid=4408] ppid=4405 vsize=14093000 memory=1556156 CPUtime=2400.07 cores=0,2,4,6
/proc/4408/stat : 4408 (java) S 4405 4408 3256 0 -1 1077944320 375298 0 0 0 239668 339 0 0 20 0 15 0 44358653 14431232000 389039 33554432000 4194304 4196468 140733647693088 140733647675632 140610145287927 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
/proc/4408/statm: 3523250 389039 3624 1 0 3485321 0
[pid=4408/tid=4410] ppid=4405 vsize=14093000 memory=15020 CPUtime=2325.16 cores=0,2,4,6
/proc/4408/task/4410/stat : 4410 (java) R 4405 4408 3256 0 -1 4202560 110746 0 0 0 232459 57 0 0 20 0 15 0 44358653 14431232000 389039 33554432000 4194304 4196468 140733647693088 140610149525376 140609795296584 0 4 0 16800975 0 0 0 -1 4 0 0 18 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4411] ppid=4405 vsize=14093000 memory=1296 CPUtime=14.56 cores=0,2,4,6
/proc/4408/task/4411/stat : 4411 (java) S 4405 4408 3256 0 -1 1077944384 26216 0 0 0 1410 46 0 0 20 0 15 0 44358654 14431232000 389039 33554432000 4194304 4196468 140733647693088 140610117131408 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4412] ppid=4405 vsize=14093000 memory=2412 CPUtime=14.54 cores=0,2,4,6
/proc/4408/task/4412/stat : 4412 (java) S 4405 4408 3256 0 -1 1077944384 25208 0 0 0 1407 47 0 0 20 0 15 0 44358654 14431232000 389039 33554432000 4194304 4196468 140733647693088 140609740184592 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4413] ppid=4405 vsize=14093000 memory=1728 CPUtime=14.55 cores=0,2,4,6
/proc/4408/task/4413/stat : 4413 (java) S 4405 4408 3256 0 -1 1077944384 29190 0 0 0 1405 50 0 0 20 0 15 0 44358654 14431232000 389039 33554432000 4194304 4196468 140733647693088 140609739131792 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4414] ppid=4405 vsize=14093000 memory=12972 CPUtime=14.56 cores=0,2,4,6
/proc/4408/task/4414/stat : 4414 (java) S 4405 4408 3256 0 -1 1077944384 25423 0 0 0 1406 50 0 0 20 0 15 0 44358654 14431232000 389039 33554432000 4194304 4196468 140733647693088 140609738078992 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4415] ppid=4405 vsize=14093000 memory=796 CPUtime=1.8 cores=0,2,4,6
/proc/4408/task/4415/stat : 4415 (java) S 4405 4408 3256 0 -1 1077944384 41345 0 0 0 154 26 0 0 20 0 15 0 44358655 14431232000 389039 33554432000 4194304 4196468 140733647693088 140609327077744 140610145299074 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4416] ppid=4405 vsize=14093000 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4416/stat : 4416 (java) S 4405 4408 3256 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 44358656 14431232000 389039 33554432000 4194304 4196468 140733647693088 140609326023776 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4417] ppid=4405 vsize=14093000 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4417/stat : 4417 (java) S 4405 4408 3256 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 44358656 14431232000 389039 33554432000 4194304 4196468 140733647693088 140609324970880 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4418] ppid=4405 vsize=14093000 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4418/stat : 4418 (java) S 4405 4408 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358658 14431232000 389039 33554432000 4194304 4196468 140733647693088 140609323919184 140610145306523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4419] ppid=4405 vsize=14093000 memory=1566928 CPUtime=5.78 cores=0,2,4,6
/proc/4408/task/4419/stat : 4419 (java) S 4405 4408 3256 0 -1 1077944384 36171 0 0 0 575 3 0 0 20 0 15 0 44358658 14431232000 389039 33554432000 4194304 4196468 140733647693088 140609322867568 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4420] ppid=4405 vsize=14093000 memory=1728 CPUtime=5.9 cores=0,2,4,6
/proc/4408/task/4420/stat : 4420 (java) S 4405 4408 3256 0 -1 1077944384 34325 0 0 0 586 4 0 0 20 0 15 0 44358658 14431232000 389039 33554432000 4194304 4196468 140733647693088 140609321814768 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4421] ppid=4405 vsize=14093000 memory=5408 CPUtime=1.82 cores=0,2,4,6
/proc/4408/task/4421/stat : 4421 (java) S 4405 4408 3256 0 -1 1077944384 42894 0 0 0 177 5 0 0 20 0 15 0 44358658 14431232000 389039 33554432000 4194304 4196468 140733647693088 140609320761968 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4422] ppid=4405 vsize=14093000 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/4408/task/4422/stat : 4422 (java) S 4405 4408 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44358658 14431232000 389039 33554432000 4194304 4196468 140733647693088 140609319709408 140610145298133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
[pid=4408/tid=4423] ppid=4405 vsize=14093000 memory=1708 CPUtime=1.29 cores=0,2,4,6
/proc/4408/task/4423/stat : 4423 (java) S 4405 4408 3256 0 -1 1077944384 2349 0 0 0 61 68 0 0 20 0 15 0 44358659 14431232000 389039 33554432000 4194304 4196468 140733647693088 140609318656688 140610145299074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 36876288 140733647701077 140733647701257 140733647701257 140733647704015 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1556156 KiB

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

[startup+2343.96 s]
# the end of solver process 4408 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2397.86 s, system=3.4068 s

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

Child status: 143
Real time (s): 2343.96
CPU time (s): 2401.27
CPU user time (s): 2397.86
CPU system time (s): 3.4068
CPU usage (%): 102.445
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 2713920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.86
system time used= 3.4068
maximum resident set size= 2716484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 375601
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82823
involuntary context switches= 4970


# summary of solver processes directly reported to runsolver:
#   pid: 4408
#   total CPU time (s): 2401.27
#   total CPU user time (s): 2397.86
#   total CPU system time (s): 3.4068

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5124 second user time and 22.3243 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-22 15:59:15
IDJOB=4291961
IDBENCH=141209
IDSOLVER=2746
FILE ID=node137/4291961-1532267955
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-graph-11-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-4291961-1532267955/watcher-4291961-1532267955 -o /tmp/evaluation-result-4291961-1532267955/solver-4291961-1532267955 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532260876-3287 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 473890358 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291961-1532267955.xml

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

MD5SUM BENCH= d12361b5a6bb1fd64c8bfae02a2f4f2f
RANDOM SEED=473890358

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:        21461048 kB
MemAvailable:   31695456 kB
Buffers:          240072 kB
Cached:         10193244 kB
SwapCached:            0 kB
Active:          2027244 kB
Inactive:        8703724 kB
Active(anon):     301212 kB
Inactive(anon):    16944 kB
Active(file):    1726032 kB
Inactive(file):  8686780 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             36060 kB
Writeback:           244 kB
AnonPages:        305028 kB
Mapped:            49208 kB
Shmem:             17036 kB
Slab:             277476 kB
SReclaimable:     250056 kB
SUnreclaim:        27420 kB
KernelStack:        3584 kB
PageTables:         5944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1299572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    169984 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= 56732 MiB
End job on node137 at 2018-07-22 16:38:19