Trace number 4308665

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-08-14SAT (TO)232059 2520.11 2468.63

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.67/0.55	c version: 2018-08-14
0.67/0.55	c seed: 1577477083
0.67/0.56	c timeout: 2520
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
7.76/3.83	c Parsing done, starting first complete search...
526.12/518.33	o 331588
526.12/518.33	c First complete search done, starting ALNS search...
528.70/519.91	o 331488
528.85/520.03	o 331487
528.95/520.15	o 330588
529.10/520.25	o 330587
529.29/520.34	o 330488
529.39/520.44	o 330487
529.90/520.93	o 330478
530.01/521.03	o 330477
531.18/522.11	o 330469
531.28/522.20	o 330468
531.39/522.30	o 330459
531.39/522.39	o 330458
534.20/524.81	o 330457
535.34/525.62	o 329457
535.34/525.67	o 329357
535.45/525.73	o 328457
535.45/525.78	o 328357
535.96/526.30	o 328257
536.06/526.34	o 328157
536.37/526.61	o 328057
537.08/527.39	o 327467
537.18/527.44	o 327367
537.28/527.54	o 327267
537.39/527.62	o 327167
537.39/527.67	o 327067
540.29/530.13	o 327059
540.39/530.21	o 327058
540.49/530.39	o 327057
540.69/530.58	o 326969
540.90/530.75	o 326968
541.10/530.93	o 326967
541.31/531.14	o 326958
541.50/531.31	o 326957
541.70/531.59	o 326956
541.95/531.70	o 326955
542.05/531.85	o 326954
542.26/532.04	o 326953
542.46/532.25	o 326952
542.66/532.50	o 326951
542.96/532.74	o 326950
543.16/532.92	o 326949
543.37/533.17	o 326948
543.66/533.40	o 326947
543.88/533.65	o 326946
546.47/534.54	o 326945
546.67/534.79	o 326065
546.87/535.00	o 326064
547.17/535.22	o 325965
547.27/535.37	o 325964
547.47/535.59	o 325963
547.67/535.74	o 325962
547.87/535.95	o 325961
548.08/536.18	o 325960
548.37/536.41	o 325959
548.57/536.64	o 325958
548.77/536.87	o 325957
549.08/537.11	o 325956
549.27/537.37	o 325955
549.57/537.65	o 325954
549.90/537.91	o 325953
550.01/538.08	o 325952
550.20/538.27	o 325951
550.40/538.46	o 325950
550.60/538.66	o 325949
550.80/538.85	o 325948
551.01/539.07	o 325947
552.70/540.34	o 325847
553.23/540.78	o 325747
553.43/540.94	o 325746
553.43/540.99	o 325646
554.23/541.65	o 325255
554.33/541.78	o 325254
554.43/541.89	o 325253
554.64/542.01	o 325252
554.74/542.14	o 325155
554.83/542.25	o 325154
554.93/542.37	o 325153
555.03/542.49	o 325152
555.83/543.29	o 325151
556.03/543.42	o 325145
556.13/543.54	o 325144
556.23/543.66	o 325143
556.33/543.78	o 325142
556.53/543.90	o 325141
556.64/544.04	o 325135
556.74/544.16	o 325134
556.83/544.28	o 325133
557.03/544.40	o 325132
557.13/544.52	o 325131
557.23/544.68	o 325125
557.33/544.80	o 325124
557.53/544.92	o 325123
557.64/545.04	o 325122
557.74/545.16	o 325121
557.93/545.30	o 325055
558.03/545.42	o 325045
558.13/545.54	o 325044
558.23/545.67	o 325043
558.34/545.79	o 325042
558.54/545.91	o 325035
558.64/546.03	o 325034
558.74/546.16	o 325033
558.84/546.28	o 325032
559.03/546.41	o 325025
559.13/546.54	o 325024
559.59/546.75	o 325023
559.69/546.86	o 325022
559.79/546.98	o 325021
560.00/547.16	o 324965
560.09/547.28	o 324964
560.29/547.41	o 324963
560.39/547.53	o 324962
560.49/547.65	o 324961
560.59/547.77	o 324955
560.69/547.89	o 324954
560.90/548.01	o 324953
561.00/548.13	o 324952
561.09/548.25	o 324951
561.19/548.37	o 324945
561.29/548.48	o 324944
561.49/548.61	o 324943
561.59/548.73	o 324942
561.69/548.84	o 324941
561.80/548.97	o 324935
561.91/549.09	o 324934
562.10/549.21	o 324933
562.20/549.33	o 324932
562.30/549.44	o 324931
562.50/549.62	o 324925
562.60/549.74	o 324924
565.16/552.29	o 323924
565.27/552.30	o 323923
565.27/552.32	o 322923
565.27/552.34	o 322824
568.66/555.62	o 322822
568.86/555.81	o 322821
569.13/556.03	o 322812
569.33/556.22	o 322811
569.53/556.44	o 322810
569.73/556.68	o 322802
570.02/556.93	o 322801
570.23/557.18	o 322800
570.43/557.39	o 322742
570.73/557.60	o 322741
570.93/557.80	o 322740
571.14/558.01	o 322732
571.33/558.21	o 322731
571.53/558.42	o 322730
571.73/558.66	o 322722
572.03/558.91	o 322721
572.24/559.16	o 322720
572.53/559.41	o 322712
572.73/559.64	o 322711
573.03/559.90	o 322710
573.24/560.14	o 322702
573.43/560.39	o 322701
573.79/560.65	o 322700
574.10/560.91	o 322699
574.31/561.12	o 322642
574.49/561.33	o 322641
574.70/561.55	o 322640
574.89/561.77	o 322632
575.09/561.98	o 322631
575.43/562.20	o 322630
575.63/562.42	o 322622
575.83/562.62	o 322621
576.03/562.82	o 322620
576.24/563.07	o 322612
576.53/563.32	o 322611
576.73/563.56	o 322610
577.03/563.82	o 322602
577.24/564.06	o 322601
577.43/564.30	o 322600
577.73/564.55	o 322599
578.43/565.22	o 322592
578.63/565.47	o 322591
578.93/565.71	o 322590
579.13/565.96	o 322589
579.43/566.21	o 322582
579.63/566.43	o 322581
579.83/566.69	o 322580
580.13/566.93	o 322579
581.64/568.45	o 322572
608.85/595.59	o 322571
609.71/596.31	o 322570
610.42/597.07	o 322569
611.22/597.81	o 322561
611.32/597.98	o 322551
611.53/598.18	o 322550
611.72/598.36	o 322471
611.92/598.54	o 322461
612.12/598.72	o 322460
612.32/598.91	o 322451
612.43/599.10	o 322450
612.62/599.27	o 322361
612.82/599.43	o 322351
613.02/599.61	o 322350
613.72/600.36	o 321671
613.92/600.52	o 321571
614.02/600.68	o 321561
614.22/600.87	o 321560
614.43/601.06	o 321471
614.62/601.24	o 321461
614.83/601.42	o 321460
615.03/601.63	o 321451
615.23/601.81	o 321450
615.33/602.00	o 321361
615.54/602.18	o 321360
615.73/602.35	o 321351
615.93/602.52	o 321350
616.23/602.84	o 321349
616.44/603.06	o 321340
616.63/603.27	o 321339
618.33/604.95	o 320670
618.54/605.19	o 320560
618.90/605.41	o 320550
619.10/605.60	o 320549
619.20/605.79	o 320460
619.40/605.99	o 320450
619.61/606.18	o 320449
619.80/606.37	o 320360
620.00/606.55	o 320350
620.20/606.76	o 320349
620.40/606.97	o 320348
620.61/607.17	o 320339
620.80/607.37	o 320338
622.00/608.59	o 320260
622.20/608.79	o 320259
622.40/608.98	o 320250
622.61/609.16	o 320249
622.81/609.38	o 320248
623.01/609.59	o 320239
623.21/609.79	o 320238
623.81/610.37	o 320160
624.01/610.57	o 320150
624.21/610.79	o 320149
624.52/611.03	o 320148
624.71/611.25	o 320139
624.91/611.45	o 320138
625.71/612.26	o 320137
629.65/616.18	o 320129
629.84/616.39	o 320128
630.04/616.57	o 320127
631.65/618.16	o 319658
631.84/618.33	o 319648
633.25/619.73	o 319048
633.35/619.89	o 319047
635.16/621.67	o 318948
635.36/621.83	o 318947
635.57/622.06	o 318941
635.76/622.20	o 318940
635.86/622.35	o 318939
636.06/622.54	o 318938
636.27/622.77	o 318937
636.77/623.26	o 318848
636.97/623.40	o 318847
637.10/623.57	o 318846
637.29/623.74	o 318841
637.39/623.88	o 318840
637.60/624.03	o 318839
637.70/624.17	o 318838
637.89/624.33	o 318837
638.60/625.08	o 318059
638.80/625.24	o 318058
638.90/625.39	o 318057
639.10/625.54	o 318056
639.30/625.71	o 317960
639.40/625.86	o 317959
639.60/626.01	o 317958
639.70/626.16	o 317957
639.89/626.32	o 317956
639.99/626.48	o 317955
640.19/626.68	o 317949
640.40/626.83	o 317948
640.50/627.00	o 317947
640.70/627.16	o 317946
640.90/627.32	o 317945
641.10/627.50	o 317859
641.20/627.65	o 317858
641.40/627.81	o 317857
641.50/627.96	o 317856
641.71/628.12	o 317855
641.90/628.30	o 317849
642.00/628.46	o 317848
642.20/628.62	o 317847
642.30/628.77	o 317846
642.50/628.93	o 317845
643.10/629.54	o 317060
643.30/629.71	o 317059
643.40/629.87	o 317058
643.61/630.03	o 317049
643.71/630.17	o 317048
643.90/630.34	o 317047
644.00/630.50	o 317046
644.20/630.67	o 316949
644.40/630.82	o 316948
644.61/631.02	o 316947
644.71/631.18	o 316946
644.90/631.35	o 316945
645.10/631.53	o 316860
645.20/631.68	o 316859
645.40/631.86	o 316858
645.64/632.03	o 316857
645.83/632.22	o 316856
645.93/632.39	o 316849
646.13/632.53	o 316848
646.23/632.69	o 316847
646.43/632.83	o 316846
646.64/633.02	o 316845
646.93/633.35	o 316844
647.13/633.53	o 316059
647.24/633.68	o 315959
647.44/633.84	o 315958
647.65/634.01	o 315957
647.75/634.17	o 315956
647.94/634.34	o 315955
648.14/634.52	o 315954
648.24/634.67	o 315948
648.44/634.82	o 315947
648.54/634.97	o 315946
648.75/635.11	o 315945
648.84/635.26	o 315944
649.04/635.43	o 315848
649.14/635.58	o 315847
649.34/635.73	o 315846
649.44/635.88	o 315845
649.65/636.09	o 315844
653.60/639.93	o 315835
654.04/640.35	o 315825
654.54/640.81	o 315735
654.94/641.20	o 315725
655.34/641.67	o 315724
655.85/642.12	o 315635
656.24/642.52	o 315625
656.64/642.97	o 315624
657.14/643.42	o 315615
657.54/643.85	o 315614
657.94/644.29	o 315545
658.44/644.71	o 315535
658.85/645.14	o 315525
659.24/645.58	o 315524
659.75/646.01	o 315515
660.14/646.43	o 315514
660.54/646.88	o 315505
660.94/647.28	o 315504
661.44/647.77	o 315503
661.96/648.24	o 315502
662.47/648.73	o 315495
662.78/649.10	o 315494
663.17/649.48	o 315493
663.57/649.89	o 315492
664.18/650.42	o 315491
664.58/650.88	o 315484
664.98/651.24	o 315483
665.38/651.61	o 315482
665.79/652.01	o 315481
666.28/652.56	o 315425
666.68/652.93	o 315424
667.08/653.32	o 315423
667.48/653.71	o 315415
667.79/654.10	o 315414
668.18/654.49	o 315413
668.68/654.95	o 315405
669.09/655.34	o 315404
669.49/655.72	o 315403
669.90/656.18	o 315395
670.29/656.56	o 315394
670.69/656.93	o 315393
671.19/657.42	o 315392
671.59/657.87	o 315385
672.09/658.32	o 315384
672.49/658.75	o 315383
673.00/659.21	o 315382
673.40/659.68	o 315381
673.91/660.13	o 315374
674.70/660.97	o 315364
674.82/661.05	o 314364
675.43/661.60	o 313364
675.43/661.69	o 313354
675.63/661.81	o 312354
675.84/662.09	o 312275
676.36/662.55	o 312274
676.46/662.69	o 312174
676.67/662.89	o 312173
676.88/663.03	o 311365
676.98/663.15	o 311364
677.17/663.31	o 311265
677.27/663.45	o 311264
677.47/663.60	o 311263
677.57/663.74	o 311164
677.77/663.90	o 311163
679.67/665.86	o 310356
679.77/665.98	o 310355
679.98/666.12	o 310256
680.07/666.21	o 310255
680.17/666.35	o 310155
680.37/666.50	o 310154
680.57/666.72	o 310153
681.07/667.28	o 310055
681.27/667.43	o 310054
681.57/667.72	o 310053
682.27/668.41	o 310045
682.27/668.49	o 310044
682.57/668.73	o 310043
683.61/669.73	o 310042
705.09/691.08	o 310041
705.30/691.20	o 310040
705.40/691.33	o 309941
705.50/691.46	o 309940
705.70/691.60	o 309041
705.80/691.73	o 308941
705.90/691.88	o 308940
706.60/692.54	o 308841
706.70/692.68	o 308840
706.90/692.83	o 308741
707.00/692.97	o 308740
707.53/693.44	o 308739
707.73/693.65	o 308738
709.78/695.62	o 308273
721.55/707.31	o 308173
722.75/708.58	o 308163
725.65/711.44	o 308153
726.28/712.08	o 308143
734.60/720.35	o 308142
735.22/720.98	o 308132
735.52/721.22	o 308042
736.36/722.05	o 307143
736.55/722.25	o 307142
737.75/723.40	o 307043
737.85/723.59	o 307042
738.15/723.89	o 307033
738.46/724.12	o 307032
742.70/728.32	o 307031
743.51/729.19	o 307021
744.10/729.76	o 306199
744.51/730.15	o 306198
744.90/730.51	o 306197
745.31/730.99	o 306099
745.73/731.33	o 306098
746.13/731.70	o 306097
746.63/732.26	o 306089
747.03/732.64	o 306088
747.44/733.02	o 306087
748.03/733.60	o 305199
748.33/733.98	o 305189
748.72/734.37	o 305188
749.13/734.78	o 305187
749.65/735.22	o 305099
750.05/735.63	o 305089
750.46/736.01	o 305088
750.85/736.41	o 305087
751.35/736.97	o 305079
751.75/737.40	o 305078
752.15/737.78	o 305077
752.68/738.26	o 304189
753.07/738.67	o 304179
753.48/739.05	o 304178
753.88/739.42	o 304177
754.28/739.84	o 304089
754.68/740.25	o 304079
755.08/740.66	o 304078
755.49/741.01	o 304077
755.99/741.58	o 303999
756.39/741.99	o 303989
756.79/742.38	o 303988
757.19/742.75	o 303987
757.79/743.34	o 303899
758.19/743.71	o 303898
758.50/744.06	o 303889
758.89/744.44	o 303888
759.31/744.84	o 303887
760.41/745.97	o 303886
761.01/746.52	o 303811
761.31/746.87	o 303810
761.71/747.29	o 303809
762.23/747.70	o 303801
762.53/748.08	o 303800
762.93/748.47	o 303799
763.33/748.85	o 303798
764.13/749.61	o 303711
764.43/749.95	o 303701
764.97/750.42	o 303613
765.37/750.81	o 303603
767.17/752.64	o 303602
769.09/754.59	o 303513
769.49/754.98	o 303503
769.89/755.36	o 303502
770.81/756.30	o 303413
771.21/756.65	o 303403
771.62/757.02	o 303402
772.31/757.72	o 302713
772.73/758.11	o 302613
773.12/758.53	o 302612
773.52/758.90	o 302604
773.73/759.16	o 302603
774.22/759.61	o 302602
774.73/760.16	o 302513
775.25/760.69	o 302512
775.85/761.22	o 302504
776.35/761.72	o 302503
776.85/762.20	o 302502
777.56/762.95	o 302413
778.06/763.48	o 302412
778.67/764.01	o 302404
779.16/764.54	o 302403
779.69/765.07	o 302402
780.28/765.62	o 301712
780.58/765.93	o 301711
780.88/766.22	o 301612
781.18/766.51	o 301611
781.48/766.89	o 301610
781.90/767.25	o 301602
782.30/767.60	o 301601
782.60/768.00	o 301600
783.10/768.47	o 301511
783.48/768.79	o 301510
783.99/769.21	o 301502
784.29/769.53	o 301501
784.59/769.89	o 301500
785.29/770.51	o 301412
785.69/770.90	o 301411
793.60/778.74	o 301410
795.32/780.44	o 301311
795.52/780.63	o 300311
795.72/780.83	o 300310
796.84/781.96	o 300221
797.05/782.15	o 300220
797.24/782.34	o 299221
797.44/782.55	o 299220
797.97/783.03	o 299211
798.16/783.24	o 299210
798.97/784.03	o 299121
799.17/784.29	o 299111
799.47/784.56	o 299110
799.87/784.94	o 298320
800.17/785.25	o 298220
800.49/785.55	o 298120
800.79/785.80	o 298119
801.00/786.03	o 298118
801.29/786.32	o 298110
801.49/786.54	o 298109
801.69/786.78	o 298108
807.00/790.62	o 298106
807.43/791.08	o 298105
808.32/792.01	o 298104
809.34/792.98	o 298103
810.75/794.30	o 297124
810.95/794.59	o 297114
811.15/794.75	o 297104
811.57/795.12	o 296324
811.77/795.36	o 296314
812.74/796.27	o 296224
813.04/796.56	o 296214
813.34/796.88	o 295234
813.65/797.14	o 295224
813.95/797.41	o 295134
814.15/797.66	o 295124
814.45/797.97	o 295114
815.15/798.67	o 295034
815.35/798.89	o 295024
815.66/799.16	o 295014
815.95/799.49	o 294934
816.25/799.77	o 294924
816.56/800.04	o 294914
816.87/800.35	o 294904
822.59/806.08	o 294834
822.88/806.35	o 294824
823.18/806.63	o 294814
823.59/807.04	o 294804
826.70/810.17	o 294794
832.11/815.53	o 294734
832.31/815.77	o 294724
832.63/816.04	o 294722
832.82/816.20	o 294714
833.03/816.45	o 294713
833.33/816.70	o 294703
833.93/817.36	o 293715
834.13/817.58	o 293616
834.43/817.81	o 293615
834.64/818.01	o 293516
834.93/818.31	o 293515
835.13/818.51	o 293416
835.74/818.96	o 293415
836.29/819.37	o 293406
836.69/819.73	o 293405
837.29/820.30	o 293404
838.69/821.76	o 293403
840.19/823.26	o 293393
842.58/824.16	o 292393
842.87/824.41	o 292383
843.07/824.68	o 292293
843.37/824.92	o 292283
847.78/829.31	o 291392
847.98/829.55	o 291382
848.18/829.79	o 291292
848.38/829.96	o 291282
848.78/830.34	o 291193
848.98/830.57	o 291183
849.38/831.00	o 291173
850.08/831.60	o 291171
852.04/833.54	o 291170
852.34/833.84	o 290271
874.84/856.25	o 289375
875.04/856.48	o 289275
875.84/857.22	o 289274
876.54/857.92	o 289273
877.34/858.72	o 289272
878.45/859.85	o 289271
879.95/861.35	o 289264
880.35/861.74	o 288273
880.55/861.96	o 288263
882.05/863.10	o 288175
882.35/863.39	o 288174
882.65/863.67	o 288173
882.95/863.94	o 288172
883.45/864.40	o 288164
883.65/864.69	o 288163
883.95/864.98	o 288162
884.35/865.33	o 288074
884.65/865.60	o 288073
884.85/865.86	o 288072
885.25/866.21	o 288064
885.45/866.48	o 288063
885.85/866.83	o 288062
886.35/867.36	o 288052
886.55/867.56	o 287153
886.65/867.69	o 287152
886.95/867.92	o 287053
887.06/868.04	o 287052
887.25/868.28	o 286953
887.35/868.37	o 286952
901.23/881.98	o 286943
901.44/882.16	o 286942
901.83/882.55	o 286873
902.13/882.80	o 286863
902.34/883.05	o 286853
902.63/883.30	o 286852
902.83/883.59	o 286843
903.03/883.79	o 286842
904.13/884.82	o 286073
904.34/885.09	o 286063
904.63/885.31	o 286053
904.83/885.56	o 286052
905.13/885.82	o 285973
905.34/886.05	o 285963
905.53/886.26	o 285953
905.73/886.46	o 285952
906.03/886.77	o 285943
906.23/886.98	o 285942
915.65/896.13	o 285842
915.94/896.45	o 284942
916.24/896.71	o 284842
916.55/897.05	o 284742
917.04/897.55	o 284642
919.65/900.12	o 284641
925.77/906.20	o 283942
926.07/906.50	o 283941
926.27/906.76	o 283842
926.58/907.03	o 283841
926.87/907.36	o 283742
927.17/907.61	o 283741
927.47/907.94	o 283642
927.77/908.22	o 283641
930.17/910.64	o 282942
930.37/910.86	o 282842
930.58/911.09	o 282841
930.88/911.38	o 282742
931.18/911.61	o 282741
931.48/912.01	o 282642
931.78/912.26	o 282641
933.69/914.14	o 281763
933.88/914.36	o 281762
934.78/915.20	o 280763
934.88/915.38	o 280762
936.52/916.54	o 280761
937.72/917.79	o 280753
937.92/918.00	o 280752
939.03/919.02	o 280751
940.33/920.34	o 280750
941.63/921.63	o 280743
941.93/921.93	o 280742
943.23/923.21	o 280741
944.53/924.52	o 280740
945.93/925.98	o 280739
947.91/927.60	o 280734
948.71/928.47	o 280733
950.01/929.79	o 280732
951.32/931.02	o 280731
952.61/932.35	o 280730
954.01/933.78	o 280729
955.16/934.85	o 279739
955.47/935.14	o 279729
955.86/935.52	o 279639
956.16/935.82	o 279629
956.37/936.09	o 279619
972.07/950.19	o 279582
972.76/950.81	o 279581
973.36/951.43	o 279572
973.97/952.06	o 279562
974.56/952.69	o 279561
975.26/953.33	o 279560
975.86/953.99	o 279559
976.56/954.63	o 279552
977.16/955.28	o 279551
977.86/955.93	o 279550
978.46/956.58	o 279549
979.16/957.20	o 279542
979.46/957.52	o 279352
979.56/957.65	o 279342
979.66/957.78	o 279252
979.86/957.93	o 279242
980.98/959.02	o 278442
981.17/959.27	o 278342
984.00/962.01	o 278242
984.19/962.26	o 277342
984.39/962.43	o 277242
986.50/964.57	o 277241
987.01/965.09	o 277152
987.40/965.40	o 277151
993.02/971.04	o 277150
994.31/972.34	o 277149
994.91/972.95	o 277148
997.94/975.93	o 277139
1001.04/979.04	o 277138
1002.54/980.54	o 277137
1003.64/981.68	o 277136
1016.07/994.03	o 277048
1016.37/994.34	o 276948
1017.37/995.38	o 276938
1017.97/995.91	o 276866
1018.47/996.44	o 276856
1019.08/997.03	o 276855
1019.87/997.87	o 276854
1021.74/999.28	o 276853
1023.04/1000.57	o 276852
1024.74/1002.24	o 276851
1026.24/1003.75	o 276850
1028.14/1005.67	o 276849
1033.25/1010.72	o 276848
1037.98/1015.01	o 276845
1038.87/1015.99	o 276844
1039.47/1016.51	o 276843
1040.67/1017.72	o 276842
1047.67/1024.74	o 276832
1050.00/1026.74	o 276822
1059.61/1036.31	o 276821
1062.52/1038.82	o 276820
1062.73/1039.10	o 276819
1063.42/1039.77	o 276810
1063.83/1040.12	o 276809
1064.22/1040.50	o 275820
1064.42/1040.75	o 275819
1064.83/1041.13	o 275810
1065.12/1041.47	o 275809
1065.52/1041.87	o 275808
1066.22/1042.56	o 275807
1066.92/1043.28	o 274820
1067.22/1043.53	o 274819
1067.62/1043.93	o 274818
1067.92/1044.26	o 274810
1068.22/1044.52	o 274809
1068.52/1044.83	o 274808
1068.92/1045.21	o 274807
1069.73/1046.04	o 273820
1070.02/1046.38	o 273819
1070.53/1046.81	o 273818
1070.74/1047.10	o 273809
1071.04/1047.38	o 273808
1071.75/1048.01	o 273807
1072.04/1048.37	o 273806
1072.44/1048.72	o 273805
1072.94/1049.28	o 273804
1073.86/1050.15	o 273803
1074.95/1051.22	o 273802
1076.61/1052.58	o 273801
1078.61/1054.57	o 273800
1081.01/1056.96	o 273799
1086.52/1062.40	o 273796
1086.82/1062.78	o 273795
1087.23/1063.17	o 273794
1087.92/1063.90	o 273793
1088.82/1064.78	o 273792
1091.80/1066.26	o 273791
1094.50/1068.91	o 273729
1094.90/1069.34	o 273728
1095.40/1069.81	o 273727
1095.80/1070.29	o 273717
1096.30/1070.72	o 273716
1096.90/1071.38	o 273715
1097.61/1072.03	o 273714
1098.40/1072.83	o 273713
1099.10/1073.57	o 273712
1099.91/1074.38	o 273711
1100.91/1075.31	o 273710
1102.01/1076.41	o 273709
1104.31/1078.73	o 272911
1104.72/1079.17	o 272910
1105.74/1079.80	o 272909
1106.34/1080.45	o 272908
1111.34/1085.47	o 272811
1111.74/1085.88	o 272810
1112.14/1086.27	o 272809
1112.54/1086.69	o 272808
1113.24/1087.39	o 271811
1113.74/1087.80	o 271810
1114.14/1088.22	o 271809
1114.84/1088.95	o 271808
1116.24/1090.36	o 271711
1116.64/1090.79	o 271710
1117.15/1091.22	o 271709
1117.65/1091.78	o 271708
1120.07/1093.82	o 271707
1121.18/1094.98	o 271621
1121.78/1095.52	o 271620
1122.29/1096.03	o 271619
1122.78/1096.58	o 271618
1123.29/1097.09	o 271617
1127.58/1101.37	o 271529
1127.98/1101.78	o 271528
1128.98/1102.74	o 271527
1129.48/1103.27	o 271518
1129.98/1103.75	o 271517
1130.58/1104.36	o 271516
1131.08/1104.87	o 271515
1139.33/1113.08	o 271514
1139.82/1113.53	o 270827
1140.22/1113.93	o 270727
1140.62/1114.30	o 270627
1141.02/1114.70	o 270626
1141.43/1115.18	o 270625
1141.82/1115.58	o 270616
1142.12/1115.83	o 270615
1142.52/1116.21	o 270614
1143.04/1116.78	o 270516
1143.36/1117.09	o 270515
1143.85/1117.52	o 270514
1144.85/1118.53	o 269827
1145.05/1118.79	o 269826
1145.36/1119.10	o 269816
1145.75/1119.46	o 269814
1146.46/1120.20	o 269813
1147.38/1121.03	o 269764
1148.07/1121.71	o 269754
1148.68/1122.37	o 269744
1149.28/1122.98	o 269734
1149.99/1123.67	o 269724
1150.68/1124.36	o 269723
1151.39/1125.02	o 269714
1151.89/1125.54	o 269713
1152.79/1126.43	o 269664
1153.29/1127.00	o 269654
1153.89/1127.55	o 269644
1154.50/1128.17	o 269634
1155.09/1128.77	o 269624
1155.79/1129.44	o 269623
1156.40/1130.05	o 269614
1156.89/1130.55	o 269613
1173.02/1146.68	o 268727
1177.24/1150.84	o 268726
1177.55/1151.11	o 268725
1181.95/1155.59	o 268625
1182.25/1155.83	o 268624
1182.46/1156.09	o 268623
1182.75/1156.33	o 268622
1187.77/1161.40	o 268533
1187.97/1161.59	o 268532
1188.17/1161.78	o 268523
1188.37/1161.95	o 268522
1188.67/1162.21	o 268513
1188.87/1162.47	o 268512
1189.37/1162.95	o 267633
1189.58/1163.17	o 267623
1189.77/1163.34	o 267533
1189.97/1163.55	o 267523
1190.18/1163.74	o 267522
1190.38/1163.97	o 267513
1190.59/1164.16	o 267512
1190.98/1164.52	o 267433
1191.08/1164.69	o 267423
1191.28/1164.88	o 267413
1191.59/1165.15	o 267412
1191.88/1165.48	o 266724
1192.18/1165.76	o 266714
1192.49/1166.03	o 266704
1192.68/1166.27	o 266703
1192.98/1166.55	o 266624
1193.18/1166.76	o 266623
1193.49/1167.02	o 266614
1193.68/1167.24	o 266613
1193.88/1167.48	o 266604
1194.08/1167.69	o 266603
1194.38/1167.96	o 266524
1194.68/1168.22	o 266514
1194.88/1168.46	o 266504
1195.08/1168.69	o 266503
1195.49/1169.10	o 266502
1196.28/1169.86	o 265913
1196.49/1170.08	o 265813
1196.88/1170.48	o 265812
1197.30/1170.81	o 265803
1197.51/1171.04	o 265802
1197.80/1171.31	o 265704
1198.00/1171.54	o 265703
1198.30/1171.81	o 265702
1203.20/1176.74	o 265613
1203.40/1176.96	o 265612
1204.10/1177.68	o 265602
1225.37/1198.89	o 265593
1225.69/1199.18	o 265592
1225.98/1199.46	o 265583
1226.28/1199.73	o 265582
1235.12/1208.55	o 265581
1238.12/1211.57	o 265580
1239.26/1212.67	o 265579
1239.88/1213.22	o 265578
1240.38/1213.74	o 265577
1241.08/1214.40	o 265572
1241.58/1214.90	o 265571
1242.08/1215.41	o 265570
1242.59/1215.93	o 265569
1243.09/1216.46	o 265568
1243.89/1217.29	o 265567
1246.73/1220.10	o 265559
1247.53/1220.89	o 265558
1296.54/1269.37	o 264677
1297.05/1269.80	o 264676
1297.55/1270.35	o 264667
1298.11/1270.78	o 264666
1315.86/1288.20	o 264665
1322.95/1295.27	o 264639
1323.15/1295.45	o 264549
1323.35/1295.66	o 264548
1323.55/1295.89	o 264547
1325.31/1297.42	o 264541
1325.41/1297.56	o 264540
1325.71/1297.80	o 264539
1325.92/1298.03	o 264530
1326.02/1298.18	o 264529
1326.21/1298.37	o 264528
1326.71/1298.88	o 264440
1326.92/1299.07	o 264439
1327.11/1299.27	o 264438
1327.41/1299.50	o 264430
1327.51/1299.67	o 264429
1327.71/1299.86	o 264428
1327.92/1300.07	o 264340
1328.11/1300.24	o 264339
1328.21/1300.39	o 264338
1336.19/1308.17	o 264330
1336.38/1308.32	o 264329
1336.58/1308.55	o 264328
1341.69/1313.69	o 264244
1341.99/1313.96	o 264243
1342.29/1314.26	o 264242
1342.89/1314.84	o 264241
1343.89/1315.80	o 264234
1344.96/1316.44	o 264233
1345.46/1316.91	o 264232
1345.96/1317.45	o 264231
1347.06/1318.56	o 264224
1347.36/1318.84	o 264223
1347.86/1319.31	o 264222
1348.36/1319.80	o 264221
1349.57/1321.06	o 264220
1350.86/1322.32	o 264219
1352.47/1324.00	o 264218
1354.37/1325.80	o 264217
1356.78/1327.84	o 264212
1357.09/1328.19	o 264211
1357.99/1329.02	o 264210
1359.18/1330.29	o 264209
1360.48/1331.53	o 264208
1362.09/1333.11	o 264207
1363.39/1334.44	o 264188
1369.31/1340.00	o 263377
1369.71/1340.33	o 263376
1370.11/1340.76	o 263375
1372.61/1343.28	o 263374
1374.12/1344.76	o 263277
1374.42/1345.06	o 263276
1374.72/1345.33	o 263275
1375.02/1345.61	o 263274
1376.62/1347.21	o 263177
1376.82/1347.49	o 263176
1377.13/1347.76	o 263175
1377.44/1348.04	o 263174
1378.32/1348.96	o 263078
1378.62/1349.22	o 263077
1380.04/1350.27	o 263074
1380.95/1351.12	o 263073
1382.04/1352.20	o 263072
1383.14/1353.39	o 263071
1384.44/1354.63	o 263070
1385.74/1355.96	o 263069
1388.14/1358.35	o 263068
1390.34/1360.53	o 263061
1390.54/1360.72	o 263060
1393.23/1362.99	o 263059
1395.43/1365.18	o 263058
1398.53/1368.20	o 263057
1401.24/1370.93	o 261960
1401.54/1371.22	o 261950
1401.84/1371.56	o 261949
1402.14/1371.83	o 261948
1402.35/1372.05	o 261947
1404.35/1374.01	o 261946
1404.64/1374.30	o 261945
1407.46/1376.79	o 260966
1408.16/1377.40	o 260965
1408.77/1378.10	o 260956
1409.46/1378.72	o 260955
1410.16/1379.46	o 260946
1410.66/1379.99	o 260945
1412.56/1381.88	o 260866
1413.36/1382.62	o 260856
1414.06/1383.32	o 260846
1414.77/1384.07	o 260845
1417.26/1386.55	o 260295
1418.47/1387.43	o 260225
1421.37/1390.34	o 260224
1423.37/1392.35	o 260125
1423.97/1392.99	o 260124
1425.18/1394.16	o 260025
1425.77/1394.75	o 260024
1427.18/1396.18	o 260015
1427.77/1396.77	o 260014
1435.31/1402.85	o 259205
1436.01/1403.59	o 259105
1440.32/1407.84	o 259095
1450.34/1417.83	o 259094
1451.14/1418.62	o 259084
1486.62/1454.10	o 258999
1487.30/1454.45	o 258998
1488.17/1455.25	o 258997
1488.98/1456.09	o 258996
1493.08/1460.13	o 258995
1497.57/1464.61	o 258989
1499.58/1466.62	o 258988
1504.63/1471.38	o 258779
1505.53/1472.28	o 258778
1506.44/1473.16	o 258767
1506.93/1473.68	o 258766
1507.53/1474.27	o 257767
1508.03/1474.74	o 257766
1508.73/1475.45	o 257765
1509.44/1476.12	o 256767
1509.73/1476.43	o 256766
1510.34/1477.02	o 256765
1512.75/1479.40	o 256764
1513.25/1479.99	o 256763
1513.96/1480.66	o 256762
1514.76/1481.48	o 256761
1517.37/1484.04	o 256760
1518.86/1485.57	o 256759
1522.07/1488.74	o 256758
1525.31/1491.65	o 256757
1528.82/1495.19	o 256688
1539.45/1505.41	o 255899
1539.95/1505.90	o 255898
1540.35/1506.39	o 255798
1540.85/1506.85	o 255788
1541.35/1507.32	o 255698
1541.75/1507.73	o 255688
1542.96/1508.90	o 255588
1543.56/1509.55	o 255587
1544.26/1510.27	o 255488
1544.96/1510.91	o 255487
1547.86/1513.87	o 255478
1548.49/1514.48	o 255477
1549.69/1515.64	o 255468
1550.20/1516.18	o 255467
1552.10/1518.04	o 255388
1552.69/1518.68	o 255387
1553.39/1519.35	o 255378
1553.99/1519.95	o 255377
1554.69/1520.70	o 255368
1555.29/1521.26	o 255367
1562.22/1528.14	o 255357
1563.02/1528.98	o 255356
1574.75/1540.60	o 255267
1575.26/1541.14	o 255257
1575.85/1541.79	o 255167
1576.35/1542.28	o 255157
1587.19/1553.01	o 255147
1588.78/1554.60	o 255069
1589.08/1554.92	o 255059
1589.38/1555.24	o 255049
1589.78/1555.61	o 255047
1605.64/1571.50	o 254968
1606.04/1571.82	o 254967
1607.05/1572.89	o 254868
1607.36/1573.16	o 254867
1610.07/1575.88	o 254058
1610.38/1576.16	o 254057
1610.77/1576.60	o 253958
1611.07/1576.84	o 253957
1612.28/1578.04	o 253858
1612.87/1578.65	o 253857
1613.87/1579.66	o 253856
1618.90/1584.68	o 253846
1632.53/1598.22	o 253159
1633.34/1599.06	o 253059
1634.36/1600.02	o 253058
1636.25/1601.93	o 253048
1636.96/1602.68	o 253047
1637.86/1603.50	o 252959
1638.47/1604.12	o 252958
1639.16/1604.85	o 252948
1639.76/1605.43	o 252947
1640.56/1606.22	o 252859
1641.26/1606.92	o 252858
1645.59/1611.27	o 252848
1646.19/1611.83	o 252847
1658.85/1624.49	o 252758
1659.25/1624.86	o 252757
1682.25/1647.78	o 252750
1682.75/1648.25	o 252749
1685.56/1651.02	o 252550
1686.25/1651.78	o 252530
1688.28/1653.70	o 252529
1689.08/1654.54	o 252520
1689.48/1654.99	o 252519
1699.03/1664.40	o 252511
1699.23/1664.69	o 252510
1699.74/1665.15	o 252509
1713.90/1679.20	o 252499
1715.40/1680.70	o 252490
1715.71/1681.11	o 252489
1727.28/1692.54	o 252488
1728.11/1693.35	o 252487
1730.82/1696.05	o 252481
1731.94/1697.18	o 252479
1741.90/1707.04	o 252478
1749.46/1714.54	o 252468
1758.14/1723.18	o 252467
1759.76/1724.74	o 252458
1761.06/1726.05	o 252457
1767.65/1732.56	o 251986
1768.16/1733.08	o 251886
1768.65/1733.56	o 251787
1769.16/1734.02	o 251687
1769.67/1734.55	o 251677
1770.57/1735.49	o 251587
1770.87/1735.79	o 251577
1771.60/1736.41	o 251487
1771.90/1736.72	o 251477
1773.00/1737.81	o 251467
1774.12/1738.91	o 251457
1775.34/1740.12	o 251378
1776.05/1740.88	o 251377
1777.65/1742.41	o 251368
1778.38/1743.14	o 251367
1779.28/1744.07	o 251366
1780.10/1744.89	o 251358
1781.00/1745.70	o 251357
1781.92/1746.67	o 251356
1794.61/1759.14	o 251278
1795.32/1759.83	o 251277
1795.93/1760.41	o 250277
1798.18/1762.63	o 250276
1800.61/1765.06	o 250176
1801.63/1766.05	o 249176
1805.59/1769.94	o 248264
1805.89/1770.29	o 248254
1811.19/1775.46	o 248164
1811.80/1776.05	o 248154
1812.81/1777.02	o 248144
1813.81/1778.02	o 248143
1815.25/1779.40	o 248142
1820.29/1784.12	o 247279
1822.03/1784.62	o 247278
1822.22/1784.87	o 247277
1822.72/1785.34	o 247276
1823.62/1786.25	o 247275
1824.55/1787.19	o 247178
1825.24/1787.84	o 247177
1826.06/1788.63	o 247176
1826.96/1789.50	o 247175
1827.96/1790.56	o 247174
1828.98/1791.54	o 247168
1829.88/1792.47	o 247167
1830.79/1793.32	o 247166
1831.71/1794.23	o 247165
1833.01/1795.51	o 247164
1834.23/1796.73	o 247163
1835.63/1798.17	o 247162
1837.13/1799.66	o 247161
1838.75/1801.23	o 247160
1840.56/1803.10	o 247159
1841.45/1803.96	o 247155
1844.12/1806.20	o 247154
1846.72/1808.85	o 247153
1850.15/1812.14	o 247152
1868.32/1830.20	o 246151
1872.06/1833.95	o 246150
1878.20/1840.07	o 246040
1891.04/1852.88	o 245306
1891.54/1853.33	o 245304
1892.04/1853.84	o 245296
1892.44/1854.23	o 245294
1904.33/1865.65	o 244904
1905.74/1867.03	o 244903
1909.06/1870.32	o 244902
1941.58/1901.48	o 244895
1943.30/1902.98	o 244894
1946.41/1906.03	o 244893
1951.53/1911.17	o 244892
1955.25/1914.83	o 244891
1959.58/1919.13	o 244889
1961.08/1920.67	o 244888
1961.68/1921.28	o 244878
1974.45/1933.98	o 244869
1975.35/1934.88	o 243879
1976.15/1935.68	o 243869
1978.69/1938.11	o 243859
1978.88/1938.30	o 243759
1979.28/1938.73	o 243659
1999.54/1958.22	o 243650
2000.07/1958.76	o 243570
2000.49/1959.16	o 243560
2000.98/1959.65	o 243559
2001.18/1959.85	o 243558
2001.58/1960.21	o 243548
2001.98/1960.65	o 243538
2002.80/1961.42	o 243535
2003.30/1961.95	o 243534
2006.04/1964.29	o 243533
2008.54/1966.72	o 243532
2011.99/1969.90	o 243531
2015.89/1973.83	o 243530
2043.65/2001.49	o 243529
2044.85/2002.63	o 243430
2045.78/2003.60	o 243429
2048.29/2006.08	o 243410
2049.18/2007.00	o 243409
2052.41/2010.13	o 242630
2053.20/2010.98	o 242629
2054.31/2012.06	o 242530
2055.00/2012.78	o 242529
2056.31/2014.09	o 242510
2057.41/2015.14	o 242509
2057.80/2015.52	o 242508
2078.62/2036.25	o 242507
2079.53/2037.17	o 242489
2080.23/2037.86	o 242488
2081.02/2038.65	o 242487
2082.23/2039.80	o 242429
2082.83/2040.49	o 242428
2083.56/2041.19	o 242427
2084.46/2042.01	o 242409
2085.05/2042.60	o 242408
2085.75/2043.32	o 242407
2086.65/2044.21	o 242389
2087.25/2044.80	o 242388
2087.85/2045.46	o 242387
2091.89/2049.44	o 242386
2094.33/2051.82	o 241486
2095.03/2052.54	o 241386
2095.64/2053.19	o 241385
2096.24/2053.71	o 241384
2098.58/2056.09	o 241374
2099.07/2056.58	o 241373
2099.58/2057.10	o 241372
2100.17/2057.66	o 241371
2103.50/2060.94	o 241363
2103.90/2061.37	o 241362
2104.40/2061.89	o 241361
2105.00/2062.45	o 241360
2106.40/2063.85	o 241273
2106.90/2064.34	o 241272
2109.82/2067.21	o 241271
2111.32/2068.78	o 241262
2111.82/2069.21	o 241261
2112.25/2069.65	o 241260
2127.86/2085.12	o 241258
2135.86/2093.02	o 241257
2143.51/2100.64	o 241256
2145.24/2102.30	o 241255
2148.87/2105.99	o 241155
2158.65/2114.20	o 240476
2159.35/2114.95	o 240466
2163.78/2119.30	o 240376
2164.41/2119.97	o 240366
2181.34/2136.72	o 240266
2183.07/2138.47	o 240166
2183.57/2138.94	o 240066
2184.17/2139.53	o 240056
2190.39/2145.70	o 239966
2190.60/2145.93	o 239866
2190.90/2146.23	o 239856
2221.49/2176.56	o 239847
2227.54/2182.56	o 239846
2256.68/2211.38	o 238848
2257.11/2211.78	o 238847
2257.51/2212.13	o 237847
2258.21/2212.80	o 237846
2315.75/2269.30	o 237766
2318.51/2272.10	o 237765
2319.42/2272.90	o 237764
2343.83/2296.94	o 237674
2346.05/2298.77	o 237673
2348.32/2300.64	o 237672
2352.68/2304.81	o 237671
2358.05/2310.18	o 237670
2362.18/2314.24	o 237669
2370.05/2322.01	o 237668
2371.87/2323.85	o 237600
2372.57/2324.50	o 237590
2373.18/2325.16	o 237589
2373.97/2325.92	o 237588
2374.61/2326.58	o 237580
2375.22/2327.20	o 237579
2375.91/2327.89	o 237578
2376.61/2328.54	o 237570
2377.31/2329.23	o 237569
2377.91/2329.88	o 237568
2379.84/2331.72	o 237558
2382.98/2334.80	o 237467
2396.67/2348.44	o 237378
2396.97/2348.79	o 237377
2397.47/2349.25	o 237368
2397.77/2349.57	o 237367
2398.30/2350.07	o 237359
2398.79/2350.56	o 237358
2400.70/2352.41	o 236448
2401.82/2353.55	o 236447
2403.02/2354.76	o 236348
2404.12/2355.90	o 236347
2405.36/2357.08	o 235448
2406.55/2358.21	o 235348
2407.65/2359.38	o 235347
2429.67/2381.11	o 234560
2430.29/2381.75	o 234559
2431.09/2382.53	o 234558
2431.89/2383.31	o 234550
2432.62/2384.06	o 234549
2433.41/2384.81	o 234548
2434.21/2385.63	o 234460
2434.94/2386.34	o 234450
2435.65/2387.08	o 234449
2436.34/2387.79	o 234448
2437.26/2388.70	o 234447
2438.06/2389.44	o 234359
2438.77/2390.18	o 234358
2439.59/2390.94	o 234349
2440.20/2391.52	o 234348
2441.00/2392.34	o 234347
2442.12/2393.41	o 234346
2442.83/2394.11	o 233560
2443.44/2394.79	o 233550
2444.14/2395.49	o 233460
2448.30/2399.50	o 233450
2449.72/2400.91	o 233370
2450.83/2402.06	o 233360
2452.15/2403.30	o 233350
2465.97/2416.97	o 233252
2466.70/2417.63	o 233152
2470.98/2421.84	o 233151
2472.21/2423.02	o 232352
2472.71/2423.59	o 232252
2473.53/2424.34	o 232251
2474.45/2425.28	o 232152
2475.26/2426.01	o 232151
2497.75/2448.19	o 232063
2499.04/2449.38	o 232062
2502.74/2451.51	o 232061
2507.19/2455.93	o 232060
2513.70/2462.37	o 232059
2520.07/2468.60	s SATISFIABLE
2520.07/2468.61	v <instantiation>
2520.07/2468.61	v 	<list>
2520.07/2468.61	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]
2520.07/2468.61	v 	</list>
2520.07/2468.61	v 	<values>
2520.07/2468.61	v 		666 428 44 282 394 156 30 268 792 554 142 380 240 478 44 282 156 394 142 380 554 792 484 722 540 778 792 554 554 792 554 792 792 554 44 282 170 408 156 394 792 554 554 792 484 722 86 324 554 792 240 478 792 554 44 282 526 764 414 652 156 394 296 58 722 484 470 708 554 792 652 414 268 30 58 296 708 470 470 708 72 310 554 792 554 792 708 470 156 394 792 554 296 58 540 778 778 540 540 778 540 778 380 142 470 708 554 792 792 554 394 156 554 792 554 792 240 478 792 554 366 128 540 778 554 792 498 736 170 408 30 268 792 554 554 792 170 408 100 338 142 380 268 30 778 540 366 128 380 142 394 156 156 394 792 554 554 792 764 526 338 100 554 792 526 764 778 540 128 366 114 352 778 540 554 792 540 778 456 694 296 58 324 86 792 554 310 72 58 296 792 554 792 554 792 554 470 708 554 792 414 652 394 156 456 694 282 44 86 324 778 540 268 30 666 428 736 498 526 764 470 708 512 750 484 722 100 338 554 792 750 512 526 764 470 708 44 282 380 142 380 142 526 764 764 526 792 554 310 72 310 72 380 142 750 512 282 44 428 666 414 652 778 540 30 268 30 268 414 652 554 792 296 58 694 456 792 554 380 142 470 708 86 324 792 554 792 554 142 380 282 44 380 142 652 414 72 310 764 526 792 554 338 100 128 366 156 394 554 792 512 750 240 478 540 778 792 554 240 478 554 792 554 792 86 324 540 778 30 268 240 478 722 484 694 456 380 142 380 142 142 380 408 170 512 750 156 394 750 512 792 554 44 282 44 282 142 380 408 170 366 128 736 498 666 428 366 128 380 142 170 408 478 240 792 554 282 44 778 540 394 156 414 652 352 114 128 366 554 792 540 778 750 512 764 526 156 394 792 554 540 778 526 764 282 44 128 366 324 86 792 554 792 554 554 792 470 708 554 792 240 478 414 652 58 296 540 778 554 792 428 666 428 666 694 456 722 484 142 380 736 498 310 72 652 414 512 750 722 484 156 394 540 778 540 778 652 414 142 380 100 338 498 736 554 792 778 540 540 778 554 792 380 142 540 778 240 478 268 30 778 540 736 498 554 792 554 792 352 114 30 268 554 792 338 100 526 764 72 310 114 352 498 736 792 554 128 366 554 792 44 282 554 792 792 554 792 554 58 296 128 366 352 114 498 736 526 764 30 268 554 792 478 240 778 540 778 540 156 394 554 792 792 554 44 282 778 540 512 750 554 792 708 470 540 778 30 268 540 778 16 254 778 540 792 554 666 428 394 156 366 128 540 778 540 778 86 324 792 554 394 156 86 324 72 310 170 408 338 100 282 44 540 778 366 128 30 268 470 708 666 428 128 366 778 540 100 338 792 554 526 764 366 128 380 142 240 478 792 554 394 156 792 554 240 478 708 470 44 282 44 282 764 526 310 72 282 44 792 554 540 778 792 554 86 324 540 778 72 310 792 554 554 792 526 764 380 142 394 156 708 470 792 554 778 540 666 428 750 512 792 554 142 380 114 352 100 338 652 414 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 1000 0 1000 0 0 0 1000 0 0 1000 1000 1000 1000 1000 0 1000 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 1000 1000 0 0 1000 0 0 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 1000 1000 1000 1000 0 0 0 1000 1000 0 0 0 1000 0 1000 1000 0 0 0 1000 0 0 0 0 1000 0 0 0 0 1000 1000 0 0 0 0 0 0 1000 1000 1000 0 1000 0 0 1000 0 1000 1000 1000 0 0 0 0 0 0 0 1000 0 0 1000 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 1000 0 0 1000 0 1000 1000 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 1000 0 0 0 0 0 1000 1000 1000 0 1000 1000 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 1000 1000 0 0 1000 0 0 1000 0 0 1000 1000 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 1000 0 0 1000 1000 1000 0 0 1000 0 0 0 0 0 1000 0 1000 0 0 0 0 1000 0 0 1000 0 1000 1000 0 1000 0 1000 0 0 0 1000 0 0 0 0 1000 1000 0 0 0 1000 0 0 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 1000 0 0 0 0 0 1000 1000 1000 1000 0 0 1000 0 1000 0 0 1000 0 0 1000 0 0 1000 1000 0 0 0 0 0 1000 1000 0 0 0 1000 1000 0 0 0 0 1000 1000 0 0 1000 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 1000 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 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 1000 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 0 0 0 1000 0 0 0 0 1000 0 1000 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 1000 0 1000 0 0 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 1000 0 1000 0 0 0 1000 0 0 0 1000 0 1000 0 0 0 0 0 0 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 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 1000 1000 0 0 1000 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 100 0 0 0 100 0 100 0 100 0 100 100 0 0 0 100 0 0 0 100 0 0 0 100 100 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 100 0 0 0 100 0 0 0 0 100 0 0 0 100 0 100 0 0 0 0 0 0 0 100 0 0 100 100 0 100 100 0 100 0 100 0 0 0 0 0 100 0 0 0 0 0 100 100 0 100 0 0 100 0 0 0 0 0 0 0 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 100 0 0 0 0 100 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 0 0 0 0 0 0 100 100 0 100 0 100 0 100 0 0 0 100 100 100 100 0 0 0 0 0 0 0 0 0 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 0 0 0 100 0 100 100 100 100 0 0 0 0 0 0 0 0 100 0 0 0 0 100 100 100 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 100 0 0 0 100 100 0 100 100 0 0 0 100 0 0 0 0 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 0 100 100 100 0 100 0 100 100 100 0 0 0 0 0 0 100 0 0 0 0 0 100 100 100 0 0 0 100 0 0 0 100 100 0 100 100 0 0 0 0 0 0 100 100 0 100 0 0 0 0 0 0 100 0 100 100 100 0 0 0 100 100 0 0 0 100 100 100 100 100 0 100 0 0 0 0 0 0 0 100 0 0 0 100 0 100 100 0 0 0 100 100 100 0 100 0 100 0 0 0 100 0 0 0 0 100 100 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 0 100 100 0 0 0 100 0 100 0 0 100 0 0 100 0 100 0 100 100 0 0 0 100 0 0 100 0 0 0 100 0 0 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 100 0 0 0 0 0 0 0 0 100 100 0 100 0 0 0 100 100 100 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 100 0 100 100 0 100 100 100 0 0 0 100 0 100 100 0 0 100 100 100 100 100 100 0 0 100 100 0 0 0 0 100 0 0 0 100 100 100 0 0 0 100 0 0 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 100 0 0 0 0 100 0 100 0 100 0 0 100 0 0 0 100 100 100 100 0 0 0 0 100 100 100 100 0 100 100 0 0 100 0 0 100 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 0 100 0 0 0 0 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 0 100 0 0 0 0 0 0 100 0 0 0 100 0 0 100 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 100 0 0 0 0 0 0 100 0 0 0 100 0 0 100 0 0 100 100 0 0 0 0 0 0 0 0 100 0 0 100 0 0 100 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 100 0 100 100 10 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 10 0 0 0 10 0 0 10 0 10 0 10 10 0 0 10 10 0 0 0 0 10 10 0 0 0 10 10 10 0 0 0 0 10 0 0 0 10 10 10 10 10 10 0 10 0 0 0 10 0 0 0 10 0 0 0 0 10 0 0 10 0 0 10 0 0 0 0 0 0 0 0 10 0 10 10 10 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 10 0 10 10 10 10 0 0 0 0 10 0 0 10 0 0 0 0 0 0 10 10 10 10 0 10 0 10 0 0 10 10 0 0 0 10 0 0 10 10 0 0 0 10 0 10 0 0 0 10 0 10 10 10 10 0 0 0 0 10 0 0 0 10 10 0 0 10 10 10 0 0 10 0 0 0 0 0 10 0 10 10 0 0 10 0 0 10 0 10 0 0 0 10 10 0 0 0 0 0 10 0 10 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 0 10 0 0 0 0 10 0 10 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 10 0 10 0 0 10 10 10 0 10 10 0 0 0 10 0 0 0 10 0 10 10 0 10 10 10 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 10 0 0 0 10 0 0 10 0 0 0 0 10 10 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 10 0 0 0 0 10 10 10 0 0 0 10 0 0 0 10 0 0 10 0 0 10 10 0 0 0 0 10 10 0 10 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 10 0 0 0 0 10 0 0 10 0 10 10 0 0 0 0 0 0 0 0 10 10 0 10 0 0 0 10 0 0 10 10 0 0 0 0 0 0 10 10 0 0 10 0 10 0 0 0 10 10 0 0 10 10 10 0 10 0 0 0 10 10 10 10 10 0 0 10 0 0 0 10 0 10 0 10 0 10 0 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 10 10 0 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 10 0 10 10 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 10 0 0 0 0 10 0 0 0 0 10 10 10 10 10 10 0 10 0 0 0 10 0 0 0 0 10 0 0 0 0 0 10 10 10 0 0 0 0 0 10 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 0 0 10 10 10 10 0 0 0 0 10 0 10 0 0 10 0 0 10 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 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 10 0 10 0 0 0 0 0 10 0 0 0 0 10 0 10 0 0 0 0 10 10 0 10 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 10 0 10 10 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 1 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 0 0 0 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 1 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 0 0 1 0 1 0 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 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 1 1 0 0 1 0 1 1 1 1 0 0 1 1 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 1 0 1 1 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 0 0 1 1 1 1 0 1 1 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 1 1 1 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 1 1 1 1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 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 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 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 0 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 1 0 0 0 0 1 0 1 0 1 1 1 0 0 0 1 0 0 0 0 1 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 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 1 
2520.07/2468.61	v 	</values>
2520.07/2468.61	v </instantiation>

Verifier Data 

OK	232059

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308665-1534288360/watcher-4308665-1534288360 -o /tmp/evaluation-result-4308665-1534288360/solver-4308665-1534288360 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534271020-14113 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1577477083 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308665-1534288360.xml 

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

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

solver pid=16402, runsolver pid=16399

[startup+0.100968 s]*
/proc/loadavg: 1.72 1.64 1.60 3/216 16417
/proc/meminfo: memFree=17246712/32770624 swapFree=67105356/67108860
[pid=16402] ppid=16399 vsize=14082736 memory=32824 CPUtime=0.12 cores=1,3,5,7
/proc/16402/stat : 16402 (java) S 16399 16402 12124 0 -1 1077944320 7133 0 0 0 10 2 0 0 20 0 15 0 246399257 14420721664 8206 33554432000 4194304 4196468 140720934068800 140720934051344 140648167939831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
/proc/16402/statm: 3520684 8206 3136 1 0 3482761 0
[pid=16402/tid=16404] ppid=16399 vsize=14082736 memory=-6966721798027829888 CPUtime=0.09 cores=1,3,5,7
/proc/16402/task/16404/stat : 16404 (java) R 16399 16402 12124 0 -1 4202560 5213 0 0 0 8 1 0 0 20 0 15 0 246399258 14420721664 8206 33554432000 4194304 4196468 140720934068800 140648172150744 140648152020318 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16405] ppid=16399 vsize=14082736 memory=5793855243970574777 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16405/stat : 16405 (java) S 16399 16402 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246399259 14420721664 8206 33554432000 4194304 4196468 140720934068800 140648105540496 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16406] ppid=16399 vsize=14082736 memory=139992960681600 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16406/stat : 16406 (java) S 16399 16402 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246399259 14420721664 8206 33554432000 4194304 4196468 140720934068800 140648104487696 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16407] ppid=16399 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16407/stat : 16407 (java) S 16399 16402 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246399259 14420721664 8206 33554432000 4194304 4196468 140720934068800 140648103435408 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16408] ppid=16399 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16408/stat : 16408 (java) S 16399 16402 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246399259 14420721664 8206 33554432000 4194304 4196468 140720934068800 140648102382608 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16409] ppid=16399 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16409/stat : 16409 (java) S 16399 16402 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246399260 14420721664 8206 33554432000 4194304 4196468 140720934068800 140647147186288 140648167950978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16410] ppid=16399 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16410/stat : 16410 (java) S 16399 16402 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246399261 14420721664 8206 33554432000 4194304 4196468 140720934068800 140647146132256 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16411] ppid=16399 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16411/stat : 16411 (java) S 16399 16402 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246399261 14420721664 8206 33554432000 4194304 4196468 140720934068800 140647145079920 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16412] ppid=16399 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16412/stat : 16412 (java) S 16399 16402 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246399263 14420721664 8206 33554432000 4194304 4196468 140720934068800 140647144028240 140648167958427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16413] ppid=16399 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16413/stat : 16413 (java) S 16399 16402 12124 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 246399263 14420721664 8206 33554432000 4194304 4196468 140720934068800 140647142976112 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16414] ppid=16399 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16414/stat : 16414 (java) S 16399 16402 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246399263 14420721664 8206 33554432000 4194304 4196468 140720934068800 140647141923312 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16415] ppid=16399 vsize=14082736 memory=139992960681600 CPUtime=0.01 cores=1,3,5,7
/proc/16402/task/16415/stat : 16415 (java) S 16399 16402 12124 0 -1 1077944384 236 0 0 0 1 0 0 0 20 0 15 0 246399263 14420721664 8206 33554432000 4194304 4196468 140720934068800 140647140871024 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16416] ppid=16399 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16416/stat : 16416 (java) S 16399 16402 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246399263 14420721664 8206 33554432000 4194304 4196468 140720934068800 140647139818464 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16417] ppid=16399 vsize=14082736 memory=139992960681600 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16417/stat : 16417 (java) S 16399 16402 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246399264 14420721664 8206 33554432000 4194304 4196468 140720934068800 140647138765232 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32824 KiB

[startup+0.210358 s]*
/proc/loadavg: 1.74 1.64 1.61 4/216 16417
/proc/meminfo: memFree=17231332/32770624 swapFree=67105356/67108860
[pid=16402] ppid=16399 vsize=14082736 memory=46836 CPUtime=0.3 cores=1,3,5,7
/proc/16402/stat : 16402 (java) S 16399 16402 12124 0 -1 1077944320 10308 0 0 0 27 3 0 0 20 0 15 0 246399257 14420721664 11709 33554432000 4194304 4196468 140720934068800 140720934051344 140648167939831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
/proc/16402/statm: 3520684 11709 3377 1 0 3482761 0
[pid=16402/tid=16404] ppid=16399 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/16402/task/16404/stat : 16404 (java) R 16399 16402 12124 0 -1 4202560 8026 0 0 0 18 2 0 0 20 0 15 0 246399258 14420721664 11709 33554432000 4194304 4196468 140720934068800 140648172166864 140648152020348 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16405] ppid=16399 vsize=14082736 memory=4211973719165472138 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16405/stat : 16405 (java) S 16399 16402 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246399259 14420721664 11709 33554432000 4194304 4196468 140720934068800 140648105540496 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16406] ppid=16399 vsize=14082736 memory=139992960681600 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16406/stat : 16406 (java) S 16399 16402 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246399259 14420721664 11709 33554432000 4194304 4196468 140720934068800 140648104487696 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16407] ppid=16399 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16407/stat : 16407 (java) S 16399 16402 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246399259 14420721664 11709 33554432000 4194304 4196468 140720934068800 140648103435408 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16408] ppid=16399 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16408/stat : 16408 (java) S 16399 16402 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246399259 14420721664 11709 33554432000 4194304 4196468 140720934068800 140648102382608 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16409] ppid=16399 vsize=14082736 memory=139992960681600 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16409/stat : 16409 (java) S 16399 16402 12124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246399260 14420721664 11709 33554432000 4194304 4196468 140720934068800 140647147186288 140648167950978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16410] ppid=16399 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16410/stat : 16410 (java) S 16399 16402 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246399261 14420721664 11775 33554432000 4194304 4196468 140720934068800 140647146132256 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16411] ppid=16399 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16411/stat : 16411 (java) S 16399 16402 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246399261 14420721664 11775 33554432000 4194304 4196468 140720934068800 140647145079920 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16412] ppid=16399 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16412/stat : 16412 (java) S 16399 16402 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246399263 14420721664 11775 33554432000 4194304 4196468 140720934068800 140647144028240 140648167958427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16413] ppid=16399 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16402/task/16413/stat : 16413 (java) R 16399 16402 12124 0 -1 4202560 529 0 0 0 2 0 0 0 20 0 15 0 246399263 14420721664 11775 33554432000 4194304 4196468 140720934068800 140647142976112 140648145477632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16414] ppid=16399 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/16402/task/16414/stat : 16414 (java) S 16399 16402 12124 0 -1 1077944384 84 0 0 0 1 0 0 0 20 0 15 0 246399263 14420721664 11775 33554432000 4194304 4196468 140720934068800 140647141923312 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16415] ppid=16399 vsize=14082736 memory=139992960681600 CPUtime=0.05 cores=1,3,5,7
/proc/16402/task/16415/stat : 16415 (java) R 16399 16402 12124 0 -1 1077944384 294 0 0 0 5 0 0 0 20 0 15 0 246399263 14420721664 11775 33554432000 4194304 4196468 140720934068800 140647140871024 140648167950978 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16416] ppid=16399 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16416/stat : 16416 (java) S 16399 16402 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246399263 14420721664 11775 33554432000 4194304 4196468 140720934068800 140647139818464 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16417] ppid=16399 vsize=14082736 memory=139992960681600 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16417/stat : 16417 (java) S 16399 16402 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246399264 14420721664 11775 33554432000 4194304 4196468 140720934068800 140647138765232 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46836 KiB

[startup+0.31054 s]*
/proc/loadavg: 1.74 1.64 1.61 3/216 16417
/proc/meminfo: memFree=17227400/32770624 swapFree=67105356/67108860
[pid=16402] ppid=16399 vsize=14082736 memory=50564 CPUtime=0.43 cores=1,3,5,7
/proc/16402/stat : 16402 (java) S 16399 16402 12124 0 -1 1077944320 10728 0 0 0 40 3 0 0 20 0 15 0 246399257 14420721664 12641 33554432000 4194304 4196468 140720934068800 140720934051344 140648167939831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
/proc/16402/statm: 3520684 12641 3416 1 0 3482761 0
[pid=16402/tid=16404] ppid=16399 vsize=14082736 memory=4871374705135476842 CPUtime=0.29 cores=1,3,5,7
/proc/16402/task/16404/stat : 16404 (java) R 16399 16402 12124 0 -1 4202560 8414 0 0 0 27 2 0 0 20 0 15 0 246399258 14420721664 12641 33554432000 4194304 4196468 140720934068800 140648172150432 140648151138474 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16405] ppid=16399 vsize=14082736 memory=4211973719165472138 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16405/stat : 16405 (java) S 16399 16402 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246399259 14420721664 12641 33554432000 4194304 4196468 140720934068800 140648105540496 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16406] ppid=16399 vsize=14082736 memory=139992960683944 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16406/stat : 16406 (java) S 16399 16402 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246399259 14420721664 12641 33554432000 4194304 4196468 140720934068800 140648104487696 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16407] ppid=16399 vsize=14082736 memory=139992848521580 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16407/stat : 16407 (java) S 16399 16402 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246399259 14420721664 12641 33554432000 4194304 4196468 140720934068800 140648103435408 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16408] ppid=16399 vsize=14082736 memory=139992848518607 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16408/stat : 16408 (java) S 16399 16402 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246399259 14420721664 12641 33554432000 4194304 4196468 140720934068800 140648102382608 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16409] ppid=16399 vsize=14082736 memory=139992960693751 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16409/stat : 16409 (java) S 16399 16402 12124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246399260 14420721664 12641 33554432000 4194304 4196468 140720934068800 140647147186288 140648167950978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16410] ppid=16399 vsize=14082736 memory=139992848527791 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16410/stat : 16410 (java) S 16399 16402 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246399261 14420721664 12641 33554432000 4194304 4196468 140720934068800 140647146132256 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16411] ppid=16399 vsize=14082736 memory=279985697046416 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16411/stat : 16411 (java) S 16399 16402 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246399261 14420721664 12641 33554432000 4194304 4196468 140720934068800 140647145079920 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16412] ppid=16399 vsize=14082736 memory=279985697044112 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16412/stat : 16412 (java) S 16399 16402 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246399263 14420721664 12641 33554432000 4194304 4196468 140720934068800 140647144028240 140648167958427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16413] ppid=16399 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16402/task/16413/stat : 16413 (java) S 16399 16402 12124 0 -1 1077944384 534 0 0 0 2 0 0 0 20 0 15 0 246399263 14420721664 12641 33554432000 4194304 4196468 140720934068800 140647142976112 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16414] ppid=16399 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/16402/task/16414/stat : 16414 (java) S 16399 16402 12124 0 -1 1077944384 84 0 0 0 1 0 0 0 20 0 15 0 246399263 14420721664 12641 33554432000 4194304 4196468 140720934068800 140647141923312 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16415] ppid=16399 vsize=14082736 memory=139992960681600 CPUtime=0.07 cores=1,3,5,7
/proc/16402/task/16415/stat : 16415 (java) S 16399 16402 12124 0 -1 1077944384 313 0 0 0 7 0 0 0 20 0 15 0 246399263 14420721664 12641 33554432000 4194304 4196468 140720934068800 140647140871024 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16416] ppid=16399 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16416/stat : 16416 (java) S 16399 16402 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246399263 14420721664 12641 33554432000 4194304 4196468 140720934068800 140647139818464 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16417] ppid=16399 vsize=14082736 memory=139992960681600 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16417/stat : 16417 (java) S 16399 16402 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246399264 14420721664 12641 33554432000 4194304 4196468 140720934068800 140647138765232 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50564 KiB

[startup+0.700757 s]
/proc/loadavg: 1.74 1.64 1.61 4/216 16417
/proc/meminfo: memFree=17205264/32770624 swapFree=67105356/67108860
[pid=16402] ppid=16399 vsize=14084804 memory=88860 CPUtime=0.97 cores=1,3,5,7
/proc/16402/stat : 16402 (java) S 16399 16402 12124 0 -1 1077944320 17576 0 0 0 92 5 0 0 20 0 15 0 246399257 14422839296 22215 33554432000 4194304 4196468 140720934068800 140720934051344 140648167939831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
/proc/16402/statm: 3521201 22215 3502 1 0 3483273 0
[pid=16402/tid=16404] ppid=16399 vsize=14084804 memory=1612 CPUtime=0.67 cores=1,3,5,7
/proc/16402/task/16404/stat : 16404 (java) R 16399 16402 12124 0 -1 4202560 14841 0 0 0 63 4 0 0 20 0 15 0 246399258 14422839296 22215 33554432000 4194304 4196468 140720934068800 140648172162320 140648149503391 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16405] ppid=16399 vsize=14084804 memory=1812 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16405/stat : 16405 (java) S 16399 16402 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246399259 14422839296 22215 33554432000 4194304 4196468 140720934068800 140648105540496 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16406] ppid=16399 vsize=14084804 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16406/stat : 16406 (java) S 16399 16402 12124 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246399259 14422839296 22215 33554432000 4194304 4196468 140720934068800 140648104487696 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16407] ppid=16399 vsize=14084804 memory=7235408084361307456 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16407/stat : 16407 (java) S 16399 16402 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246399259 14422839296 22215 33554432000 4194304 4196468 140720934068800 140648103435408 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16408] ppid=16399 vsize=14084804 memory=7739276948478389351 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16408/stat : 16408 (java) S 16399 16402 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246399259 14422839296 22215 33554432000 4194304 4196468 140720934068800 140648102382608 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16409] ppid=16399 vsize=14084804 memory=6154282490091891024 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16409/stat : 16409 (java) S 16399 16402 12124 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246399260 14422839296 22215 33554432000 4194304 4196468 140720934068800 140647147186288 140648167950978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16410] ppid=16399 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16410/stat : 16410 (java) S 16399 16402 12124 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246399261 14422839296 22215 33554432000 4194304 4196468 140720934068800 140647146132256 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16411] ppid=16399 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16411/stat : 16411 (java) S 16399 16402 12124 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246399261 14422839296 22215 33554432000 4194304 4196468 140720934068800 140647145079920 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16412] ppid=16399 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16412/stat : 16412 (java) S 16399 16402 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246399263 14422839296 22215 33554432000 4194304 4196468 140720934068800 140647144028240 140648167958427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16413] ppid=16399 vsize=14084804 memory=8815 CPUtime=0.06 cores=1,3,5,7
/proc/16402/task/16413/stat : 16413 (java) S 16399 16402 12124 0 -1 1077944384 679 0 0 0 6 0 0 0 20 0 15 0 246399263 14422839296 22215 33554432000 4194304 4196468 140720934068800 140647142976112 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16414] ppid=16399 vsize=14084804 memory=6 CPUtime=0.07 cores=1,3,5,7
/proc/16402/task/16414/stat : 16414 (java) S 16399 16402 12124 0 -1 1077944384 253 0 0 0 7 0 0 0 20 0 15 0 246399263 14422839296 22215 33554432000 4194304 4196468 140720934068800 140647141923312 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16415] ppid=16399 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/16402/task/16415/stat : 16415 (java) S 16399 16402 12124 0 -1 1077944384 420 0 0 0 15 0 0 0 20 0 15 0 246399263 14422839296 22215 33554432000 4194304 4196468 140720934068800 140647140871024 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16416] ppid=16399 vsize=14084804 memory=279985697230320 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16416/stat : 16416 (java) S 16399 16402 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246399263 14422839296 22215 33554432000 4194304 4196468 140720934068800 140647139818464 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16417] ppid=16399 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16417/stat : 16417 (java) S 16399 16402 12124 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246399264 14422839296 22215 33554432000 4194304 4196468 140720934068800 140647138765232 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88860 KiB

[startup+1.50093 s]
/proc/loadavg: 1.74 1.64 1.61 6/216 16417
/proc/meminfo: memFree=17148676/32770624 swapFree=67105356/67108860
[pid=16402] ppid=16399 vsize=14086852 memory=225456 CPUtime=3.41 cores=1,3,5,7
/proc/16402/stat : 16402 (java) S 16399 16402 12124 0 -1 1077944320 25694 0 0 0 331 10 0 0 20 0 15 0 246399257 14424936448 56364 33554432000 4194304 4196468 140720934068800 140720934051344 140648167939831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
/proc/16402/statm: 3521713 56364 3562 1 0 3483785 0
[pid=16402/tid=16404] ppid=16399 vsize=14086852 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/16402/task/16404/stat : 16404 (java) R 16399 16402 12124 0 -1 4202560 17712 0 0 0 139 6 0 0 20 0 15 0 246399258 14424936448 56364 33554432000 4194304 4196468 140720934068800 140648172175736 140647785937438 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16405] ppid=16399 vsize=14086852 memory=-2746958450906831424 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16405/stat : 16405 (java) S 16399 16402 12124 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 15 0 246399259 14424936448 56364 33554432000 4194304 4196468 140720934068800 140648105540496 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16406] ppid=16399 vsize=14086852 memory=4947087232745708416 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16406/stat : 16406 (java) S 16399 16402 12124 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 246399259 14424936448 56364 33554432000 4194304 4196468 140720934068800 140648104487696 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16407] ppid=16399 vsize=14086852 memory=-6585528546044026665 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16407/stat : 16407 (java) S 16399 16402 12124 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 246399259 14424936448 56364 33554432000 4194304 4196468 140720934068800 140648103435408 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16408] ppid=16399 vsize=14086852 memory=-5935287287201355651 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16408/stat : 16408 (java) S 16399 16402 12124 0 -1 1077944384 155 0 0 0 0 0 0 0 20 0 15 0 246399259 14424936448 56364 33554432000 4194304 4196468 140720934068800 140648102382608 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16409] ppid=16399 vsize=14086852 memory=-7376442475184869934 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16409/stat : 16409 (java) S 16399 16402 12124 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 15 0 246399260 14424936448 56364 33554432000 4194304 4196468 140720934068800 140647147186288 140648167950978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0

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

/proc/16402/task/16404/stat : 16404 (java) R 16399 16402 12124 0 -1 4202560 182439 0 0 0 230835 90 0 0 20 0 15 0 246399258 14431227904 498343 33554432000 4194304 4196468 140720934068800 140648172173024 140647783006041 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16405] ppid=16399 vsize=14092996 memory=1816808 CPUtime=12.01 cores=1,3,5,7
/proc/16402/task/16405/stat : 16405 (java) S 16399 16402 12124 0 -1 1077944384 61932 0 0 0 1110 91 0 0 20 0 15 0 246399259 14431227904 498343 33554432000 4194304 4196468 140720934068800 140648105540496 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16406] ppid=16399 vsize=14092996 memory=1816808 CPUtime=12.01 cores=1,3,5,7
/proc/16402/task/16406/stat : 16406 (java) S 16399 16402 12124 0 -1 1077944384 49580 0 0 0 1115 86 0 0 20 0 15 0 246399259 14431227904 498343 33554432000 4194304 4196468 140720934068800 140648104487696 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16407] ppid=16399 vsize=14092996 memory=1816808 CPUtime=11.96 cores=1,3,5,7
/proc/16402/task/16407/stat : 16407 (java) S 16399 16402 12124 0 -1 1077944384 56784 0 0 0 1107 89 0 0 20 0 15 0 246399259 14431227904 498343 33554432000 4194304 4196468 140720934068800 140648103435408 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16408] ppid=16399 vsize=14092996 memory=1823164 CPUtime=12 cores=1,3,5,7
/proc/16402/task/16408/stat : 16408 (java) S 16399 16402 12124 0 -1 1077944384 56248 0 0 0 1113 87 0 0 20 0 15 0 246399259 14431227904 498343 33554432000 4194304 4196468 140720934068800 140648102382608 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16409] ppid=16399 vsize=14092996 memory=1925788 CPUtime=0.88 cores=1,3,5,7
/proc/16402/task/16409/stat : 16409 (java) S 16399 16402 12124 0 -1 1077944384 51494 0 0 0 74 14 0 0 20 0 15 0 246399260 14431227904 498343 33554432000 4194304 4196468 140720934068800 140647147186288 140648167950978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16410] ppid=16399 vsize=14092996 memory=1917372 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16410/stat : 16410 (java) S 16399 16402 12124 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 246399261 14431227904 498343 33554432000 4194304 4196468 140720934068800 140647146132320 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16411] ppid=16399 vsize=14092996 memory=1925788 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16411/stat : 16411 (java) S 16399 16402 12124 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 246399261 14431227904 498343 33554432000 4194304 4196468 140720934068800 140647145079936 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16412] ppid=16399 vsize=14092996 memory=1925788 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16412/stat : 16412 (java) S 16399 16402 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246399263 14431227904 498343 33554432000 4194304 4196468 140720934068800 140647144028240 140648167958427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16413] ppid=16399 vsize=14092996 memory=1954460 CPUtime=4.66 cores=1,3,5,7
/proc/16402/task/16413/stat : 16413 (java) S 16399 16402 12124 0 -1 1077944384 27565 0 0 0 462 4 0 0 20 0 15 0 246399263 14431227904 498343 33554432000 4194304 4196468 140720934068800 140647142976112 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16414] ppid=16399 vsize=14092996 memory=157 CPUtime=4.69 cores=1,3,5,7
/proc/16402/task/16414/stat : 16414 (java) S 16399 16402 12124 0 -1 1077944384 27313 0 0 0 466 3 0 0 20 0 15 0 246399263 14431227904 498343 33554432000 4194304 4196468 140720934068800 140647141923312 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16415] ppid=16399 vsize=14092996 memory=2807 CPUtime=1.58 cores=1,3,5,7
/proc/16402/task/16415/stat : 16415 (java) S 16399 16402 12124 0 -1 1077944384 36109 0 0 0 154 4 0 0 20 0 15 0 246399263 14431227904 498343 33554432000 4194304 4196468 140720934068800 140647140871024 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16416] ppid=16399 vsize=14092996 memory=1925788 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16416/stat : 16416 (java) S 16399 16402 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246399263 14431227904 498343 33554432000 4194304 4196468 140720934068800 140647139818464 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16417] ppid=16399 vsize=14092996 memory=1882412 CPUtime=1.2 cores=1,3,5,7
/proc/16402/task/16417/stat : 16417 (java) S 16399 16402 12124 0 -1 1077944384 1198 0 0 0 52 68 0 0 20 0 15 0 246399264 14431227904 498343 33554432000 4194304 4196468 140720934068800 140647138765232 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
Current children cumulated CPU time: 2370.34 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1993372 KiB

[startup+2382.3 s]
/proc/loadavg: 1.35 1.43 1.61 3/215 16566
/proc/meminfo: memFree=17938516/32770624 swapFree=67105356/67108860
[pid=16402] ppid=16399 vsize=14092996 memory=1945856 CPUtime=2430.89 cores=1,3,5,7
/proc/16402/stat : 16402 (java) S 16399 16402 12124 0 -1 1077944320 556737 0 0 0 242557 532 0 0 20 0 15 0 246399257 14431227904 486464 33554432000 4194304 4196468 140720934068800 140720934051344 140648167939831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
/proc/16402/statm: 3523249 486464 3618 1 0 3485321 0
[pid=16402/tid=16404] ppid=16399 vsize=14092996 memory=1945856 CPUtime=2369.06 cores=1,3,5,7
/proc/16402/task/16404/stat : 16404 (java) R 16399 16402 12124 0 -1 4202560 184751 0 0 0 236813 93 0 0 20 0 15 0 246399258 14431227904 486464 33554432000 4194304 4196468 140720934068800 140648172177472 140647787521943 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16405] ppid=16399 vsize=14092996 memory=2092576 CPUtime=12.17 cores=1,3,5,7
/proc/16402/task/16405/stat : 16405 (java) S 16399 16402 12124 0 -1 1077944384 62566 0 0 0 1126 91 0 0 20 0 15 0 246399259 14431227904 486464 33554432000 4194304 4196468 140720934068800 140648105540496 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16406] ppid=16399 vsize=14092996 memory=1945856 CPUtime=12.18 cores=1,3,5,7
/proc/16402/task/16406/stat : 16406 (java) S 16399 16402 12124 0 -1 1077944384 49925 0 0 0 1131 87 0 0 20 0 15 0 246399259 14431227904 486464 33554432000 4194304 4196468 140720934068800 140648104487696 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16407] ppid=16399 vsize=14092996 memory=1945856 CPUtime=12.14 cores=1,3,5,7
/proc/16402/task/16407/stat : 16407 (java) S 16399 16402 12124 0 -1 1077944384 57114 0 0 0 1124 90 0 0 20 0 15 0 246399259 14431227904 486464 33554432000 4194304 4196468 140720934068800 140648103435408 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16408] ppid=16399 vsize=14092996 memory=1973560 CPUtime=12.17 cores=1,3,5,7
/proc/16402/task/16408/stat : 16408 (java) S 16399 16402 12124 0 -1 1077944384 56934 0 0 0 1129 88 0 0 20 0 15 0 246399259 14431227904 486464 33554432000 4194304 4196468 140720934068800 140648102382608 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16409] ppid=16399 vsize=14092996 memory=4632 CPUtime=0.9 cores=1,3,5,7
/proc/16402/task/16409/stat : 16409 (java) S 16399 16402 12124 0 -1 1077944384 51807 0 0 0 75 15 0 0 20 0 15 0 246399260 14431227904 486464 33554432000 4194304 4196468 140720934068800 140647147186288 140648167950978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16410] ppid=16399 vsize=14092996 memory=1612 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16410/stat : 16410 (java) S 16399 16402 12124 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 246399261 14431227904 486464 33554432000 4194304 4196468 140720934068800 140647146132320 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16411] ppid=16399 vsize=14092996 memory=1968428 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16411/stat : 16411 (java) S 16399 16402 12124 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 246399261 14431227904 486464 33554432000 4194304 4196468 140720934068800 140647145079936 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16412] ppid=16399 vsize=14092996 memory=1973560 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16412/stat : 16412 (java) S 16399 16402 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246399263 14431227904 486464 33554432000 4194304 4196468 140720934068800 140647144028240 140648167958427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16413] ppid=16399 vsize=14092996 memory=1950476 CPUtime=4.66 cores=1,3,5,7
/proc/16402/task/16413/stat : 16413 (java) S 16399 16402 12124 0 -1 1077944384 27568 0 0 0 462 4 0 0 20 0 15 0 246399263 14431227904 486464 33554432000 4194304 4196468 140720934068800 140647142976112 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16414] ppid=16399 vsize=14092996 memory=2055640 CPUtime=4.69 cores=1,3,5,7
/proc/16402/task/16414/stat : 16414 (java) S 16399 16402 12124 0 -1 1077944384 27315 0 0 0 466 3 0 0 20 0 15 0 246399263 14431227904 486464 33554432000 4194304 4196468 140720934068800 140647141923312 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16415] ppid=16399 vsize=14092996 memory=1950476 CPUtime=1.58 cores=1,3,5,7
/proc/16402/task/16415/stat : 16415 (java) S 16399 16402 12124 0 -1 1077944384 36112 0 0 0 154 4 0 0 20 0 15 0 246399263 14431227904 486464 33554432000 4194304 4196468 140720934068800 140647140871024 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16416] ppid=16399 vsize=14092996 memory=2022808 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16416/stat : 16416 (java) S 16399 16402 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246399263 14431227904 486464 33554432000 4194304 4196468 140720934068800 140647139818464 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16417] ppid=16399 vsize=14092996 memory=1950476 CPUtime=1.24 cores=1,3,5,7
/proc/16402/task/16417/stat : 16417 (java) S 16399 16402 12124 0 -1 1077944384 1221 0 0 0 54 70 0 0 20 0 15 0 246399264 14431227904 486464 33554432000 4194304 4196468 140720934068800 140647138765232 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
Current children cumulated CPU time: 2430.89 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1945856 KiB

[startup+2442.3 s]
/proc/loadavg: 1.72 1.53 1.63 3/215 16567
/proc/meminfo: memFree=18171836/32770624 swapFree=67105356/67108860
[pid=16402] ppid=16399 vsize=14092996 memory=1778116 CPUtime=2491.84 cores=1,3,5,7
/proc/16402/stat : 16402 (java) S 16399 16402 12124 0 -1 1077944320 562073 0 0 0 248649 535 0 0 20 0 15 0 246399257 14431227904 444529 33554432000 4194304 4196468 140720934068800 140720934051344 140648167939831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
/proc/16402/statm: 3523249 444529 3618 1 0 3485321 0
[pid=16402/tid=16404] ppid=16399 vsize=14092996 memory=1778116 CPUtime=2428.7 cores=1,3,5,7
/proc/16402/task/16404/stat : 16404 (java) R 16399 16402 12124 0 -1 4202560 186638 0 0 0 242776 94 0 0 20 0 15 0 246399258 14431227904 444529 33554432000 4194304 4196468 140720934068800 140648172177360 140647783006102 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16405] ppid=16399 vsize=14092996 memory=1798628 CPUtime=12.48 cores=1,3,5,7
/proc/16402/task/16405/stat : 16405 (java) S 16399 16402 12124 0 -1 1077944384 63494 0 0 0 1157 91 0 0 20 0 15 0 246399259 14431227904 444529 33554432000 4194304 4196468 140720934068800 140648105540496 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16406] ppid=16399 vsize=14092996 memory=1808888 CPUtime=12.49 cores=1,3,5,7
/proc/16402/task/16406/stat : 16406 (java) S 16399 16402 12124 0 -1 1077944384 50705 0 0 0 1162 87 0 0 20 0 15 0 246399259 14431227904 444529 33554432000 4194304 4196468 140720934068800 140648104487696 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16407] ppid=16399 vsize=14092996 memory=1798628 CPUtime=12.44 cores=1,3,5,7
/proc/16402/task/16407/stat : 16407 (java) S 16399 16402 12124 0 -1 1077944384 57535 0 0 0 1154 90 0 0 20 0 15 0 246399259 14431227904 444529 33554432000 4194304 4196468 140720934068800 140648103435408 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16408] ppid=16399 vsize=14092996 memory=1790932 CPUtime=12.48 cores=1,3,5,7
/proc/16402/task/16408/stat : 16408 (java) S 16399 16402 12124 0 -1 1077944384 57437 0 0 0 1160 88 0 0 20 0 15 0 246399259 14431227904 444529 33554432000 4194304 4196468 140720934068800 140648102382608 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16409] ppid=16399 vsize=14092996 memory=1781708 CPUtime=0.93 cores=1,3,5,7
/proc/16402/task/16409/stat : 16409 (java) S 16399 16402 12124 0 -1 1077944384 52064 0 0 0 77 16 0 0 20 0 15 0 246399260 14431227904 444529 33554432000 4194304 4196468 140720934068800 140647147186288 140648167950978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16410] ppid=16399 vsize=14092996 memory=1778116 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16410/stat : 16410 (java) S 16399 16402 12124 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 246399261 14431227904 444529 33554432000 4194304 4196468 140720934068800 140647146132320 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16411] ppid=16399 vsize=14092996 memory=1778116 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16411/stat : 16411 (java) S 16399 16402 12124 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 246399261 14431227904 444529 33554432000 4194304 4196468 140720934068800 140647145079936 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16412] ppid=16399 vsize=14092996 memory=1785812 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16412/stat : 16412 (java) S 16399 16402 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246399263 14431227904 444529 33554432000 4194304 4196468 140720934068800 140647144028240 140648167958427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16413] ppid=16399 vsize=14092996 memory=1778116 CPUtime=4.66 cores=1,3,5,7
/proc/16402/task/16413/stat : 16413 (java) S 16399 16402 12124 0 -1 1077944384 27571 0 0 0 462 4 0 0 20 0 15 0 246399263 14431227904 444529 33554432000 4194304 4196468 140720934068800 140647142976112 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16414] ppid=16399 vsize=14092996 memory=6154848845685878640 CPUtime=4.7 cores=1,3,5,7
/proc/16402/task/16414/stat : 16414 (java) S 16399 16402 12124 0 -1 1077944384 27833 0 0 0 467 3 0 0 20 0 15 0 246399263 14431227904 444529 33554432000 4194304 4196468 140720934068800 140647141923312 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16415] ppid=16399 vsize=14092996 memory=1778116 CPUtime=1.58 cores=1,3,5,7
/proc/16402/task/16415/stat : 16415 (java) S 16399 16402 12124 0 -1 1077944384 36115 0 0 0 154 4 0 0 20 0 15 0 246399263 14431227904 444529 33554432000 4194304 4196468 140720934068800 140647140871024 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16416] ppid=16399 vsize=14092996 memory=1778116 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16416/stat : 16416 (java) S 16399 16402 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246399263 14431227904 444529 33554432000 4194304 4196468 140720934068800 140647139818464 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16417] ppid=16399 vsize=14092996 memory=1778116 CPUtime=1.28 cores=1,3,5,7
/proc/16402/task/16417/stat : 16417 (java) S 16399 16402 12124 0 -1 1077944384 1257 0 0 0 55 73 0 0 20 0 15 0 246399264 14431227904 444529 33554432000 4194304 4196468 140720934068800 140647138765232 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
Current children cumulated CPU time: 2491.84 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1778116 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2468.6 s]
/proc/loadavg: 1.70 1.54 1.63 3/215 16567
/proc/meminfo: memFree=18074452/32770624 swapFree=67105356/67108860
[pid=16402] ppid=16399 vsize=14092996 memory=1952600 CPUtime=2520.07 cores=1,3,5,7
/proc/16402/stat : 16402 (java) S 16399 16402 12124 0 -1 1077944320 580850 0 0 0 251456 551 0 0 20 0 15 0 246399257 14431227904 488150 33554432000 4194304 4196468 140720934068800 140720934051344 140648167939831 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
/proc/16402/statm: 3523249 488150 3618 1 0 3485321 0
[pid=16402/tid=16404] ppid=16399 vsize=14092996 memory=1752 CPUtime=2454.32 cores=1,3,5,7
/proc/16402/task/16404/stat : 16404 (java) R 16399 16402 12124 0 -1 4202560 187877 0 0 0 245337 95 0 0 20 0 15 0 246399258 14431227904 488150 33554432000 4194304 4196468 140720934068800 140648172177472 140647783005959 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16405] ppid=16399 vsize=14092996 memory=856 CPUtime=13.12 cores=1,3,5,7
/proc/16402/task/16405/stat : 16405 (java) S 16399 16402 12124 0 -1 1077944384 68799 0 0 0 1218 94 0 0 20 0 15 0 246399259 14431227904 488150 33554432000 4194304 4196468 140720934068800 140648105540496 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16406] ppid=16399 vsize=14092996 memory=12468 CPUtime=13.13 cores=1,3,5,7
/proc/16402/task/16406/stat : 16406 (java) S 16399 16402 12124 0 -1 1077944384 53499 0 0 0 1224 89 0 0 20 0 15 0 246399259 14431227904 488150 33554432000 4194304 4196468 140720934068800 140648104487696 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16407] ppid=16399 vsize=14092996 memory=856 CPUtime=13.08 cores=1,3,5,7
/proc/16402/task/16407/stat : 16407 (java) S 16399 16402 12124 0 -1 1077944384 59829 0 0 0 1215 93 0 0 20 0 15 0 246399259 14431227904 488150 33554432000 4194304 4196468 140720934068800 140648103435408 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16408] ppid=16399 vsize=14092996 memory=12468 CPUtime=13.11 cores=1,3,5,7
/proc/16402/task/16408/stat : 16408 (java) S 16399 16402 12124 0 -1 1077944384 59869 0 0 0 1220 91 0 0 20 0 15 0 246399259 14431227904 488150 33554432000 4194304 4196468 140720934068800 140648102382608 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16409] ppid=16399 vsize=14092996 memory=752 CPUtime=0.96 cores=1,3,5,7
/proc/16402/task/16409/stat : 16409 (java) S 16399 16402 12124 0 -1 1077944384 56072 0 0 0 80 16 0 0 20 0 15 0 246399260 14431227904 488150 33554432000 4194304 4196468 140720934068800 140647147186288 140648167950978 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16410] ppid=16399 vsize=14092996 memory=1612 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16410/stat : 16410 (java) S 16399 16402 12124 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 246399261 14431227904 488150 33554432000 4194304 4196468 140720934068800 140647146132320 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16411] ppid=16399 vsize=14092996 memory=1812 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16411/stat : 16411 (java) S 16399 16402 12124 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 246399261 14431227904 488150 33554432000 4194304 4196468 140720934068800 140647145079936 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16412] ppid=16399 vsize=14092996 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16412/stat : 16412 (java) S 16399 16402 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246399263 14431227904 488150 33554432000 4194304 4196468 140720934068800 140647144028240 140648167958427 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16413] ppid=16399 vsize=14092996 memory=6400 CPUtime=4.66 cores=1,3,5,7
/proc/16402/task/16413/stat : 16413 (java) S 16399 16402 12124 0 -1 1077944384 27603 0 0 0 462 4 0 0 20 0 15 0 246399263 14431227904 488150 33554432000 4194304 4196468 140720934068800 140647142976112 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16414] ppid=16399 vsize=14092996 memory=4632 CPUtime=4.7 cores=1,3,5,7
/proc/16402/task/16414/stat : 16414 (java) S 16399 16402 12124 0 -1 1077944384 27835 0 0 0 467 3 0 0 20 0 15 0 246399263 14431227904 488150 33554432000 4194304 4196468 140720934068800 140647141923312 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16415] ppid=16399 vsize=14092996 memory=3644 CPUtime=1.58 cores=1,3,5,7
/proc/16402/task/16415/stat : 16415 (java) S 16399 16402 12124 0 -1 1077944384 36772 0 0 0 154 4 0 0 20 0 15 0 246399263 14431227904 488150 33554432000 4194304 4196468 140720934068800 140647140871024 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16416] ppid=16399 vsize=14092996 memory=1268 CPUtime=0 cores=1,3,5,7
/proc/16402/task/16416/stat : 16416 (java) S 16399 16402 12124 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246399263 14431227904 488150 33554432000 4194304 4196468 140720934068800 140647139818464 140648167950037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
[pid=16402/tid=16417] ppid=16399 vsize=14092996 memory=301741373374332954 CPUtime=1.29 cores=1,3,5,7
/proc/16402/task/16417/stat : 16417 (java) S 16399 16402 12124 0 -1 1077944384 1271 0 0 0 56 73 0 0 20 0 15 0 246399264 14431227904 488150 33554432000 4194304 4196468 140720934068800 140647138765232 140648167950978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28991488 140720934073428 140720934073609 140720934073609 140720934076367 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1952600 KiB

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

[startup+2468.63 s]
# the end of solver process 16402 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.58 s, system=5.52183 s

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

Child status: 143
Real time (s): 2468.63
CPU time (s): 2520.11
CPU user time (s): 2514.58
CPU system time (s): 5.52183
CPU usage (%): 102.085
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 4613828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.58
system time used= 5.52183
maximum resident set size= 4613828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 581062
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68535
involuntary context switches= 1846


# summary of solver processes directly reported to runsolver:
#   pid: 16402
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2514.58
#   total CPU system time (s): 5.52183

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1407 second user time and 22.5113 second system time

The end

Launcher Data 

Begin job on node149 at 2018-08-15 01:12:41
IDJOB=4308665
IDBENCH=141209
IDSOLVER=2792
FILE ID=node149/4308665-1534288360
RUNJOBID= node149-1534271020-14113
PBS_JOBID= 21038116
Free space on /tmp= 41752 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
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-4308665-1534288360/watcher-4308665-1534288360 -o /tmp/evaluation-result-4308665-1534288360/solver-4308665-1534288360 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534271020-14113 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1577477083 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308665-1534288360.xml

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

MD5SUM BENCH= d12361b5a6bb1fd64c8bfae02a2f4f2f
RANDOM SEED=1577477083

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        17265004 kB
MemAvailable:   27018516 kB
Buffers:          179340 kB
Cached:          9747292 kB
SwapCached:         1704 kB
Active:          9111976 kB
Inactive:        5749064 kB
Active(anon):    4885084 kB
Inactive(anon):   101548 kB
Active(file):    4226892 kB
Inactive(file):  5647516 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67105356 kB
Dirty:             36124 kB
Writeback:             0 kB
AnonPages:       4940316 kB
Mapped:            68016 kB
Shmem:             49568 kB
Slab:             335332 kB
SReclaimable:     307564 kB
SUnreclaim:        27768 kB
KernelStack:        3504 kB
PageTables:        15024 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5664664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4751360 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 41716 MiB
End job on node149 at 2018-08-15 01:53:49