Trace number 4291916

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-07-02SAT (TO)87071194 2400.13 2205.77

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-scen-07-opt_c18.xml
MD5SUMba4df16e86f19a26142e39b1a48414c8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5249896
Best CPU time to get the best result obtained on this benchmark2400.22
Satisfiable
(Un)Satisfiability was proved
Number of variables3065
Number of constraints2865
Number of domains7
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":2665},{"size":22,"count":8},{"size":36,"count":184},{"size":44,"count":208}]
Minimum variable degree2
Maximum variable degree62
Distribution of variable degrees[{"degree":2,"count":2665},{"degree":3,"count":15},{"degree":4,"count":8},{"degree":5,"count":34},{"degree":6,"count":11},{"degree":7,"count":34},{"degree":8,"count":5},{"degree":9,"count":45},{"degree":10,"count":18},{"degree":11,"count":11},{"degree":12,"count":7},{"degree":13,"count":30},{"degree":14,"count":10},{"degree":15,"count":31},{"degree":16,"count":5},{"degree":17,"count":26},{"degree":18,"count":5},{"degree":19,"count":13},{"degree":20,"count":13},{"degree":21,"count":11},{"degree":22,"count":7},{"degree":23,"count":7},{"degree":24,"count":7},{"degree":25,"count":5},{"degree":27,"count":9},{"degree":28,"count":8},{"degree":29,"count":2},{"degree":30,"count":6},{"degree":31,"count":1},{"degree":35,"count":3},{"degree":36,"count":3},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":42,"count":1},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":47,"count":1},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":200},{"arity":3,"count":2665}]
Number of extensional constraints0
Number of intensional constraints2865
Distribution of constraint types[{"type":"intension","count":2865}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.67/0.55	c version: 2018-07-02
0.67/0.55	c seed: 223039357
0.67/0.55	c timeout: 2400
0.67/0.55	c memlimit: 11000
0.67/0.55	c nbcore: 4
0.67/0.58	c Parsing instance...
82.40/59.65	c Parsing done, starting first complete search...
436.19/409.40	o 192675160
436.19/409.40	c First complete search done, starting ALNS search...
437.10/409.99	o 192655160
437.10/410.00	o 191675160
437.51/410.16	o 190675160
437.51/410.19	o 190675159
438.22/410.64	o 190665160
438.22/410.69	o 190665159
438.43/410.85	o 190665158
438.53/410.96	o 189675159
438.53/410.97	o 189665159
438.53/410.98	o 189665158
438.64/411.02	o 189655160
438.64/411.02	o 189655159
438.64/411.03	o 188665160
438.64/411.03	o 188655160
438.64/411.05	o 188655159
438.75/411.15	o 188655158
438.96/411.36	o 187665160
438.96/411.37	o 187655160
438.96/411.37	o 187655159
439.09/411.48	o 187655158
439.45/411.70	o 187655157
439.65/411.92	o 186665160
439.65/411.92	o 186655160
439.65/411.92	o 186655159
439.65/411.93	o 186655158
439.65/411.94	o 185665160
439.65/411.94	o 185665159
439.65/411.94	o 185655160
439.65/411.95	o 185655159
439.65/411.95	o 185655158
439.87/412.11	o 185655157
440.16/412.47	o 185655060
440.16/412.48	o 185655059
440.16/412.48	o 185655058
440.36/412.61	o 185655057
441.41/413.59	o 184655057
445.81/417.23	o 184645057
446.96/418.29	o 183655159
447.08/418.31	o 183645159
447.08/418.32	o 183645157
447.08/418.38	o 182655157
447.19/418.40	o 182645157
447.19/418.44	o 181655157
447.19/418.46	o 181645157
447.32/418.51	o 181635157
447.32/418.52	o 181625157
447.32/418.58	o 180665158
447.32/418.59	o 180655158
447.42/418.61	o 180645158
447.42/418.63	o 180635158
447.42/418.65	o 180635157
447.42/418.67	o 179665157
447.42/418.69	o 179655157
447.52/418.71	o 179645157
447.52/418.73	o 179635157
447.52/418.78	o 179635156
447.62/418.81	o 178665256
447.62/418.83	o 178655256
447.62/418.85	o 178645256
447.62/418.87	o 178635256
447.74/418.94	o 178625257
447.74/418.96	o 178625256
447.74/419.00	o 178625255
447.85/419.04	o 178615257
447.85/419.05	o 178615256
447.85/419.07	o 178615255
447.85/419.09	o 178605256
447.95/419.11	o 178605255
450.78/421.91	o 178595256
450.78/421.93	o 178595255
468.02/438.76	o 178585257
468.02/438.77	o 178585256
468.16/438.80	o 178585255
468.16/438.85	o 178585254
468.26/438.91	o 178585158
468.26/438.95	o 178585157
468.26/439.00	o 178585156
468.37/439.05	o 178585155
468.47/439.11	o 178585154
487.31/456.87	o 178575256
487.31/456.89	o 177585256
487.42/456.92	o 177575256
487.42/456.95	o 177565256
487.63/457.11	o 177565255
487.63/457.15	o 177565056
487.63/457.18	o 177565055
487.72/457.21	o 176585056
487.72/457.22	o 176575056
487.72/457.25	o 176575055
487.72/457.27	o 176565056
487.82/457.30	o 176565055
487.82/457.36	o 176555056
487.82/457.39	o 176555055
487.92/457.43	o 176554954
487.92/457.45	o 176554953
488.02/457.59	o 175584953
488.12/457.61	o 175574953
488.12/457.63	o 175574952
488.12/457.65	o 175564953
488.12/457.66	o 175564952
488.12/457.69	o 175554953
488.22/457.71	o 175554952
488.33/457.82	o 174554952
488.33/457.84	o 173554952
488.33/457.86	o 172554952
488.33/457.89	o 172534952
489.18/458.33	o 171554952
489.18/458.35	o 171534952
489.29/458.41	o 170554952
489.29/458.43	o 170534952
490.69/459.85	o 170534852
493.52/462.68	o 170534652
493.62/462.75	o 170534552
494.76/463.55	o 170534551
495.56/464.31	o 170534550
495.76/464.52	o 170534452
495.76/464.59	o 170534451
495.87/464.69	o 170534450
495.97/464.79	o 170524652
496.07/464.87	o 170524651
496.17/464.96	o 170524552
496.28/465.03	o 170524551
496.38/465.12	o 170524452
496.47/465.21	o 170524451
496.57/465.31	o 170524450
517.35/480.42	o 169524450
518.36/481.41	o 169514450
521.48/484.03	o 168514450
523.38/485.91	o 167514450
523.49/486.05	o 166514450
524.98/487.53	o 166504450
525.68/488.21	o 166494450
526.49/489.05	o 165524450
529.22/491.23	o 164574751
529.32/491.30	o 164574651
529.32/491.36	o 164564751
529.42/491.42	o 164564651
529.52/491.50	o 164564551
529.52/491.58	o 164564451
530.22/492.22	o 164564450
530.42/492.40	o 164554851
530.42/492.46	o 164554751
530.52/492.51	o 164554651
530.52/492.57	o 164554551
530.62/492.63	o 164554550
531.03/493.01	o 164554549
531.13/493.11	o 164554451
531.13/493.16	o 164554450
531.22/493.22	o 164554449
531.52/493.57	o 164554351
531.62/493.63	o 164554350
531.72/493.70	o 164554349
531.72/493.77	o 164554251
531.83/493.83	o 164554250
531.93/493.91	o 164554249
531.93/494.00	o 164544751
532.04/494.05	o 164544750
532.14/494.13	o 164544749
532.14/494.19	o 164544651
532.23/494.25	o 164544650
532.33/494.32	o 164544649
532.33/494.38	o 164544551
532.43/494.44	o 164544550
532.53/494.52	o 164544549
532.53/494.58	o 164544451
532.63/494.64	o 164544450
532.73/494.70	o 164544449
532.73/494.78	o 164544351
533.49/495.07	o 164544350
533.59/495.13	o 164544349
533.88/495.43	o 164544251
533.88/495.50	o 164544250
533.98/495.58	o 164544151
534.09/495.64	o 164544150
534.50/496.08	o 164544051
534.60/496.12	o 164544050
534.70/496.21	o 164534651
534.70/496.27	o 164534551
534.80/496.34	o 164534451
534.90/496.41	o 164534450
534.90/496.47	o 164534351
535.00/496.52	o 164534350
535.10/496.60	o 164534251
535.10/496.68	o 164534250
535.20/496.75	o 164534151
535.20/496.80	o 164534150
535.30/496.87	o 164534051
535.40/496.92	o 164534050
535.51/497.10	o 164524751
535.61/497.15	o 164524750
535.70/497.21	o 164524651
535.70/497.27	o 164524650
535.80/497.33	o 164524551
535.80/497.38	o 164524550
535.90/497.45	o 164524549
536.00/497.52	o 164524451
536.00/497.58	o 164524450
536.10/497.65	o 164524449
536.20/497.73	o 164524351
536.20/497.79	o 164524350
536.30/497.85	o 164524349
536.40/497.93	o 164524251
536.40/497.99	o 164524250
536.51/498.07	o 164524151
536.62/498.14	o 164524150
556.78/517.89	o 164514150
556.88/517.91	o 164514149
557.91/518.98	o 164504149
558.31/519.34	o 163504149
558.52/519.50	o 163504049
558.62/519.64	o 161514149
558.62/519.69	o 161514049
559.22/520.23	o 160504148
559.22/520.28	o 160504048
559.82/520.85	o 160494248
559.92/520.90	o 160494148
559.92/520.95	o 160494048
559.92/521.00	o 160494047
560.03/521.09	o 160484249
560.13/521.12	o 160484149
560.13/521.16	o 160484148
560.22/521.21	o 160484147
560.22/521.26	o 160484048
560.99/521.55	o 160484047
561.09/521.67	o 160484046
561.19/521.72	o 160483949
561.19/521.75	o 160483948
561.19/521.79	o 160483947
561.29/521.83	o 160483946
561.29/521.88	o 160483848
561.39/521.92	o 160483847
561.39/521.96	o 160483846
561.50/522.09	o 160483845
562.50/523.06	o 160483844
562.60/523.13	o 159544249
562.60/523.17	o 159544149
562.69/523.20	o 159534249
562.69/523.23	o 159534149
562.69/523.27	o 159534148
562.79/523.33	o 159524249
562.79/523.36	o 159524248
562.79/523.40	o 159524149
562.89/523.43	o 159524148
562.89/523.48	o 159524147
562.99/523.53	o 159524146
562.99/523.58	o 159524050
563.09/523.62	o 159524049
563.09/523.66	o 159524048
563.20/523.71	o 159524047
563.20/523.75	o 159523950
563.20/523.77	o 159523949
563.30/523.81	o 159523948
563.30/523.85	o 159523947
563.30/523.89	o 159523946
563.40/523.94	o 159523849
563.40/523.98	o 159523848
563.51/524.03	o 159523847
563.51/524.08	o 159523846
563.61/524.14	o 159514251
563.61/524.18	o 159514250
563.70/524.23	o 159514249
563.70/524.28	o 159514248
563.80/524.33	o 159514247
563.80/524.38	o 159514246
563.90/524.43	o 159514150
563.90/524.46	o 159514149
564.00/524.50	o 159514148
564.00/524.54	o 159514147
564.00/524.58	o 159514146
564.10/524.63	o 159514051
564.10/524.67	o 159514050
564.20/524.71	o 159514049
564.20/524.75	o 159514048
564.20/524.79	o 159514047
564.30/524.84	o 159514046
564.30/524.88	o 159513949
564.40/524.92	o 159513948
564.40/524.95	o 159513947
564.40/525.00	o 159513946
564.51/525.05	o 159513850
564.51/525.08	o 159513849
564.61/525.11	o 159513848
564.61/525.15	o 159513847
564.70/525.20	o 159513846
564.70/525.26	o 159513845
564.80/525.32	o 159504248
564.80/525.36	o 159504247
564.90/525.40	o 159504246
564.90/525.46	o 159504149
564.90/525.49	o 159504148
565.00/525.53	o 159504147
565.00/525.57	o 159504146
565.10/525.62	o 159504049
565.10/525.65	o 159504048
565.10/525.69	o 159504047
565.20/525.72	o 159504046
565.20/525.77	o 159503948
565.30/525.81	o 159503947
565.30/525.85	o 159503946
565.41/525.90	o 159503848
565.41/525.94	o 159503847
565.41/525.98	o 159503846
565.52/526.03	o 159503845
565.52/526.08	o 159494449
565.62/526.13	o 159494448
565.62/526.17	o 159494447
565.71/526.22	o 159494349
565.71/526.26	o 159494348
565.81/526.31	o 159494347
566.42/526.60	o 159494249
566.61/526.64	o 159494248
566.61/526.68	o 159494247
566.70/526.73	o 159494150
566.70/526.76	o 159494149
566.80/526.81	o 159494148
566.80/526.85	o 159494050
566.80/526.89	o 159494049
566.90/526.93	o 159494048
566.90/526.98	o 159494047
567.00/527.03	o 159493949
567.00/527.07	o 159493948
567.10/527.12	o 159493947
567.10/527.16	o 159493849
567.10/527.20	o 159493848
567.19/527.24	o 159493847
567.19/527.28	o 159493846
567.29/527.34	o 159493845
567.29/527.39	o 159484449
567.39/527.44	o 159484448
567.39/527.49	o 159484447
567.50/527.54	o 159484446
567.50/527.59	o 159484349
567.60/527.64	o 159484348
567.60/527.69	o 159484347
567.70/527.74	o 159484346
567.70/527.79	o 159484249
567.80/527.83	o 159484248
567.80/527.88	o 159484247
567.90/527.93	o 159484246
567.90/527.98	o 159484148
568.00/528.03	o 159484147
568.00/528.07	o 159484146
568.10/528.12	o 159484048
568.10/528.17	o 159484047
568.20/528.21	o 159484046
568.20/528.26	o 159484045
568.30/528.31	o 159483948
568.30/528.35	o 159483947
568.40/528.40	o 159483946
568.40/528.45	o 159483848
568.40/528.49	o 159483847
568.50/528.54	o 159483846
568.50/528.59	o 159483845
570.33/530.36	o 158493845
570.33/530.38	o 158483845
571.16/531.15	o 158473845
571.26/531.29	o 157473845
571.56/531.52	o 157463845
573.05/532.57	o 157453845
573.25/532.75	o 157443845
573.45/532.90	o 157433845
575.25/534.70	o 157423845
576.05/535.51	o 157413845
581.05/540.03	o 157413745
581.05/540.06	o 155413845
581.05/540.09	o 155413745
581.19/540.13	o 154413845
581.19/540.16	o 154413745
581.33/540.20	o 154413744
581.64/540.52	o 154393845
581.64/540.55	o 154393745
581.64/540.57	o 154393744
581.74/540.60	o 153393845
581.74/540.63	o 153393745
581.74/540.66	o 153393744
581.74/540.69	o 152393845
581.84/540.71	o 152393844
581.84/540.73	o 152393745
581.84/540.76	o 152393744
581.94/540.81	o 151393845
581.94/540.83	o 151393745
581.94/540.88	o 151393744
582.15/541.06	o 151383845
582.15/541.09	o 151383745
582.26/541.12	o 151383744
582.68/541.50	o 151383743
582.68/541.53	o 151383742
602.82/561.65	o 151374043
602.82/561.66	o 151373943
602.82/561.68	o 151373843
602.94/561.70	o 151373842
602.94/561.73	o 151363942
602.94/561.74	o 151363941
603.04/561.85	o 151363841
603.85/562.16	o 151363840
604.78/563.06	o 151363839
604.88/563.14	o 149363841
604.88/563.18	o 149363840
604.97/563.22	o 149363839
610.56/568.30	o 149363838
610.56/568.38	o 149363837
610.76/568.53	o 148394139
610.86/568.61	o 148394138
610.86/568.68	o 148393939
610.96/568.76	o 148393938
611.06/568.83	o 148393937
611.16/568.90	o 148384039
611.16/568.97	o 148384038
611.27/569.04	o 148383839
611.27/569.10	o 148383838
611.37/569.17	o 148383837
611.46/569.24	o 148374040
611.56/569.31	o 148374039
611.56/569.38	o 148373840
611.66/569.45	o 148373839
611.76/569.52	o 148373838
611.76/569.58	o 148373837
611.86/569.66	o 148364039
611.96/569.73	o 148364038
611.96/569.79	o 148363839
612.06/569.86	o 148363838
612.16/569.92	o 148363837
612.66/570.40	o 148353937
612.76/570.51	o 148353837
612.86/570.63	o 148353737
613.06/570.85	o 147363738
613.27/571.10	o 147353738
613.37/571.18	o 147353737
615.72/572.99	o 147353637
615.83/573.07	o 147353537
623.12/579.78	o 147343537
627.83/583.92	o 146353537
628.04/584.18	o 146343537
629.43/585.52	o 145353537
629.63/585.79	o 145343537
631.13/587.24	o 144353537
631.33/587.49	o 144343537
634.33/590.00	o 143353537
634.63/590.24	o 143343537
636.23/591.81	o 142383635
636.23/591.84	o 142383535
636.23/591.88	o 142373635
636.33/591.91	o 142373535
636.33/591.95	o 142363635
636.33/592.00	o 142363535
636.44/592.07	o 142353635
636.44/592.10	o 142353535
636.54/592.19	o 142343635
636.63/592.28	o 142343535
636.73/592.36	o 142343534
636.83/592.42	o 142343533
636.93/592.59	o 142343532
637.03/592.68	o 142343433
637.13/592.72	o 142343432
637.23/592.84	o 142343333
637.23/592.88	o 142343332
637.44/593.09	o 142333633
637.54/593.16	o 142333533
637.63/593.22	o 142333433
637.63/593.28	o 142333333
637.83/593.49	o 142333332
643.07/598.13	o 140333332
645.76/600.30	o 140323332
646.66/601.20	o 139333332
646.96/601.51	o 139323332
649.57/604.12	o 139313332
661.07/614.67	o 139303332
661.37/614.98	o 139293332
675.30/627.81	o 139293331
675.40/627.90	o 139293330
687.80/639.81	o 139293329
695.74/647.20	o 139273329
695.74/647.26	o 139253329
695.94/647.41	o 139243327
699.16/650.18	o 138303229
699.35/650.33	o 138303228
699.55/650.50	o 138293230
699.65/650.65	o 138293229
700.35/651.36	o 138293228
700.55/651.51	o 138283230
700.65/651.66	o 138283229
701.16/652.17	o 138283228
701.35/652.38	o 138273230
701.55/652.54	o 138273229
701.95/652.91	o 138273228
702.06/653.09	o 138263230
702.25/653.28	o 138263229
702.65/653.63	o 138263228
703.94/654.48	o 138263227
706.84/657.38	o 138263226
707.04/657.57	o 138253230
707.24/657.72	o 138253229
707.34/657.87	o 138253228
707.55/658.07	o 138253227
709.05/659.50	o 138253226
711.35/661.33	o 138243229
711.45/661.49	o 138243228
711.65/661.64	o 138243227
711.85/661.83	o 138243226
713.75/663.75	o 138233229
713.95/663.91	o 138233228
714.06/664.06	o 138233227
714.35/664.31	o 138233226
723.07/672.56	o 138233225
724.08/673.06	o 137233426
724.18/673.11	o 137233425
724.18/673.17	o 137233226
724.27/673.22	o 137233225
746.98/694.93	o 137233128
747.09/695.02	o 137233127
747.09/695.10	o 137233126
747.20/695.19	o 137233125
747.30/695.28	o 137233124
747.50/695.41	o 137233123
747.50/695.48	o 137233122
747.59/695.59	o 136253328
747.69/695.69	o 136253327
747.99/695.99	o 136253228
748.10/696.06	o 136253227
748.20/696.11	o 136253226
748.29/696.20	o 136253127
748.29/696.27	o 136253126
748.39/696.33	o 136253125
748.49/696.42	o 136253124
748.49/696.49	o 136233226
748.59/696.56	o 136233126
748.69/696.63	o 136233125
748.80/696.70	o 136233124
751.01/698.92	o 135233124
755.47/702.90	o 134243425
755.47/702.99	o 134243325
755.58/703.06	o 134243324
755.68/703.16	o 134243323
755.77/703.24	o 134233425
755.87/703.32	o 134233424
755.97/703.40	o 134233325
755.97/703.47	o 134233324
756.07/703.57	o 134233323
756.27/703.74	o 134233225
756.37/703.81	o 134233125
756.47/703.91	o 134233124
756.57/704.02	o 134233123
756.77/704.26	o 133253123
757.58/704.59	o 133243123
757.68/704.63	o 133233123
778.52/724.49	o 133233122
778.73/724.61	o 133233121
781.53/727.48	o 132273223
781.63/727.58	o 132273123
781.73/727.67	o 132273122
781.83/727.78	o 132263223
781.93/727.89	o 132263222
782.03/728.00	o 132263123
782.14/728.10	o 132263122
782.33/728.21	o 132253223
782.43/728.32	o 132253123
782.53/728.42	o 132253122
782.63/728.53	o 132243223
782.73/728.63	o 132243123
782.83/728.74	o 132243122
783.03/728.90	o 132243121
783.14/729.01	o 132243120
783.24/729.15	o 132243021
784.14/729.52	o 132243020
784.24/729.65	o 132233223
784.34/729.77	o 132233222
784.44/729.89	o 132233123
784.54/730.00	o 132233122
784.75/730.13	o 132233121
784.84/730.23	o 132233120
784.94/730.36	o 132233021
785.04/730.46	o 132233020
785.24/730.60	o 132233019
811.25/755.59	o 132232921
811.45/755.78	o 132232920
811.65/755.95	o 132232919
811.86/756.16	o 132232918
819.07/762.86	o 131232919
819.17/762.98	o 131232918
825.08/768.35	o 131232820
825.18/768.48	o 131232819
826.38/769.63	o 131223119
826.48/769.75	o 131223019
827.49/770.21	o 131223018
827.69/770.44	o 131222919
827.79/770.55	o 131222918
827.99/770.79	o 131222820
828.09/770.90	o 131222819
828.40/771.18	o 131222818
828.59/771.32	o 131222720
829.09/771.85	o 130272621
829.30/772.01	o 130262621
829.40/772.15	o 130252621
829.60/772.31	o 130242621
829.70/772.47	o 130232621
841.04/783.23	o 129292725
841.24/783.40	o 129292724
841.34/783.59	o 129282724
841.54/783.76	o 129282723
841.85/784.03	o 129282624
842.04/784.20	o 129282623
842.24/784.43	o 129282622
843.25/784.90	o 129272724
843.46/785.11	o 129272723
843.65/785.33	o 129272722
843.85/785.56	o 129272624
844.05/785.75	o 129272623
844.25/785.94	o 129272622
844.46/786.19	o 129262722
844.66/786.37	o 129262721
844.86/786.55	o 129262720
845.16/786.81	o 129262622
845.26/786.99	o 129262621
845.56/787.23	o 129262620
845.96/787.60	o 129252722
846.06/787.78	o 129252721
846.37/788.03	o 129252720
846.76/788.40	o 129252622
846.86/788.57	o 129252621
847.16/788.81	o 129252620
847.56/789.23	o 129242722
847.76/789.46	o 129242721
847.96/789.68	o 129242720
848.26/789.93	o 129242622
849.27/790.40	o 129242621
849.47/790.62	o 129242620
849.88/791.01	o 129242522
850.07/791.23	o 129242521
850.27/791.45	o 129242520
850.98/792.15	o 128292725
851.17/792.32	o 128282725
851.37/792.53	o 128282724
851.57/792.74	o 128282723
851.77/792.99	o 128272725
852.07/793.20	o 128272724
852.27/793.42	o 128272723
852.47/793.63	o 128272625
852.67/793.81	o 128272624
852.77/794.00	o 128272623
853.07/794.26	o 128262723
853.27/794.45	o 128262722
853.47/794.65	o 128262721
853.67/794.85	o 128262623
853.88/795.05	o 128262622
854.07/795.25	o 128262621
854.37/795.52	o 128262620
854.57/795.72	o 128252722
855.50/796.17	o 128252721
855.69/796.38	o 128252720
855.89/796.57	o 128252622
856.09/796.76	o 128252621
856.29/796.94	o 128252620
856.79/797.45	o 128242722
856.99/797.65	o 128242721
857.19/797.84	o 128242622
857.39/798.03	o 128242621
857.69/798.31	o 128242620
858.09/798.74	o 128242522
858.29/798.92	o 128242521
858.39/799.10	o 128242520
858.89/799.52	o 128232822
860.40/801.03	o 128232722
865.71/805.81	o 128232721
865.81/805.91	o 128232720
866.02/806.12	o 128232719
866.11/806.22	o 128232620
866.21/806.33	o 128232619
871.66/811.29	o 128232519
872.06/811.60	o 128232518
873.87/812.90	o 128222719
874.08/813.19	o 128222718
874.47/813.52	o 128222619
874.77/813.81	o 128222618
874.98/814.11	o 128222519
875.27/814.40	o 128222518
875.77/814.80	o 128222419
875.98/815.08	o 128222418
876.92/815.91	o 128222321
878.53/817.55	o 128222320
879.94/818.45	o 128222221
880.34/818.81	o 128222220
880.94/819.47	o 128222219
882.84/821.37	o 128222218
883.74/822.28	o 128222217
889.45/827.47	o 127262521
889.75/827.76	o 127262520
890.06/828.05	o 127252521
890.35/828.34	o 127252520
890.65/828.63	o 127242521
890.85/828.89	o 127242520
891.16/829.19	o 127242421
891.45/829.49	o 127242420
891.85/829.81	o 127242321
892.06/830.07	o 127242320
893.57/831.03	o 127232521
893.76/831.28	o 127232421
894.06/831.59	o 127232420
894.36/831.86	o 127232321
894.67/832.14	o 127232320
895.26/832.75	o 127222521
895.46/832.99	o 127222421
895.76/833.25	o 127222321
896.06/833.55	o 127222320
896.67/834.12	o 127222319
939.62/873.44	o 127212319
943.84/877.18	o 127202319
944.03/877.34	o 127192319
945.33/878.69	o 127192235
945.53/878.84	o 127192234
945.74/879.04	o 127192233
945.93/879.28	o 127192232
946.23/879.51	o 127192231
946.74/880.03	o 127192230
947.23/880.50	o 127192229
947.63/880.99	o 127192228
948.13/881.44	o 127192227
953.18/883.21	o 127192226
953.58/883.67	o 127192225
954.09/884.17	o 127192224
954.58/884.65	o 127192223
956.09/886.17	o 126222633
956.38/886.44	o 126222533
956.68/886.70	o 126212633
956.88/886.96	o 126212533
957.18/887.30	o 126212532
957.78/887.81	o 126212531
958.28/888.36	o 126212530
959.76/889.23	o 126212529
960.26/889.73	o 126212434
960.76/890.23	o 126212433
961.27/890.70	o 126212432
961.68/891.16	o 126212431
962.17/891.63	o 126212430
962.68/892.15	o 126212429
963.17/892.68	o 126212428
963.77/893.23	o 126212334
964.17/893.68	o 126212333
965.61/894.56	o 126212332
966.12/895.09	o 126212331
966.61/895.59	o 126212330
967.22/896.12	o 126212329
967.71/896.62	o 126212328
968.22/897.17	o 126212327
978.51/906.48	o 126212326
978.81/906.76	o 126212325
990.26/917.16	o 126202425
990.75/917.68	o 126202326
990.95/917.84	o 126202325
994.47/921.30	o 126202127
994.57/921.43	o 126202126
994.67/921.54	o 126202125
995.61/921.94	o 126202124
1065.38/987.47	o 125222123
1065.58/987.62	o 125212123
1068.02/989.53	o 125212122
1068.22/989.78	o 125212023
1068.42/989.94	o 125202023
1068.72/990.21	o 125201923
1069.02/990.59	o 125201922
1069.32/990.86	o 125201921
1069.62/991.18	o 124222122
1069.82/991.31	o 124212122
1069.92/991.44	o 124202122
1070.11/991.63	o 124202023
1070.31/991.82	o 124192023
1070.41/992.00	o 124191923
1070.62/992.17	o 124191922
1070.81/992.34	o 124191921
1071.38/992.81	o 124182223
1071.48/992.94	o 124182222
1071.59/993.10	o 124182123
1071.78/993.22	o 124182122
1074.32/995.25	o 124182023
1074.42/995.38	o 124182022
1074.72/995.69	o 124181923
1074.92/995.80	o 124181922
1075.32/996.21	o 123192122
1075.42/996.34	o 123192121
1075.52/996.49	o 123192022
1075.72/996.61	o 123192021
1075.82/996.75	o 123191922
1075.92/996.86	o 123191921
1076.02/997.00	o 123191822
1076.23/997.12	o 123191821
1076.32/997.27	o 123191820
1076.52/997.49	o 123182125
1076.72/997.61	o 123182124
1076.82/997.75	o 123182025
1076.92/997.86	o 123182024
1077.02/997.99	o 123181925
1077.12/998.08	o 123181924
1077.32/998.21	o 123181923
1077.42/998.34	o 123181823
1077.52/998.49	o 123181822
1077.82/998.75	o 122192124
1078.02/998.90	o 122192024
1078.12/999.03	o 122192023
1078.23/999.17	o 122191924
1078.32/999.26	o 122191923
1078.43/999.38	o 122191922
1078.63/999.51	o 122191822
1078.73/999.65	o 122191821
1079.67/1000.07	o 122191820
1079.86/1000.29	o 122182123
1080.06/1000.43	o 122182023
1080.16/1000.57	o 122181923
1080.36/1000.70	o 122181823
1080.46/1000.84	o 122181822
1080.77/1001.12	o 121222224
1080.86/1001.27	o 121222124
1080.96/1001.39	o 121222122
1081.16/1001.52	o 121222022
1081.26/1001.68	o 121221922
1081.46/1001.82	o 121221822
1081.56/1001.96	o 121221821
1081.77/1002.12	o 121221820
1081.96/1002.35	o 121212125
1082.07/1002.48	o 121212124
1082.27/1002.62	o 121212025
1082.37/1002.73	o 121212024
1082.47/1002.87	o 121212023
1082.57/1003.00	o 121211923
1082.77/1003.14	o 121211922
1082.97/1003.30	o 121211823
1083.07/1003.40	o 121211822
1083.37/1003.75	o 121211821
1083.89/1004.28	o 121201821
1111.31/1029.05	o 121201820
1114.20/1031.91	o 119221921
1114.31/1032.07	o 119221920
1114.60/1032.37	o 119211921
1114.80/1032.54	o 119211920
1116.11/1033.86	o 119211823
1116.21/1033.98	o 119211822
1116.41/1034.11	o 119211821
1116.50/1034.24	o 119211820
1118.15/1035.32	o 119201820
1142.36/1055.50	o 119191920
1142.46/1055.62	o 119191820
1142.76/1056.00	o 119191819
1143.16/1056.37	o 119191818
1143.36/1056.58	o 119182021
1143.56/1056.77	o 119182020
1144.63/1057.23	o 119182019
1144.83/1057.41	o 119182018
1147.01/1059.53	o 118212019
1147.11/1059.61	o 118202019
1147.41/1059.94	o 118192019
1147.71/1060.22	o 118182019
1148.01/1060.55	o 118182018
1161.77/1073.18	o 117202321
1162.26/1073.62	o 117202221
1162.56/1073.99	o 117202220
1162.96/1074.34	o 117202120
1164.21/1075.10	o 117192320
1164.60/1075.43	o 117192220
1165.21/1076.01	o 117192120
1165.60/1076.49	o 117182220
1166.10/1076.95	o 117182120
1166.60/1077.49	o 117182119
1167.10/1077.91	o 117182118
1168.10/1078.93	o 117182117
1193.07/1101.79	o 117172218
1193.38/1102.03	o 117172217
1193.67/1102.33	o 117172118
1193.87/1102.56	o 117172117
1194.57/1103.28	o 117172019
1194.72/1103.35	o 117172018
1194.82/1103.42	o 117172017
1194.92/1103.52	o 117172016
1195.02/1103.61	o 117172015
1195.12/1103.72	o 117172014
1195.32/1103.98	o 117172013
1196.92/1105.52	o 116172014
1197.02/1105.67	o 116172013
1197.22/1105.87	o 116162014
1197.43/1106.05	o 116162013
1197.62/1106.23	o 116162012
1205.27/1112.90	o 116161913
1206.57/1114.13	o 116161912
1207.87/1115.46	o 116161911
1208.67/1116.24	o 115202421
1208.87/1116.46	o 115202420
1209.07/1116.69	o 115202419
1209.27/1116.86	o 115202418
1209.58/1117.13	o 115202321
1209.77/1117.33	o 115202319
1209.97/1117.55	o 115202318
1210.27/1117.86	o 115192521
1215.57/1119.44	o 115192519
1215.77/1119.66	o 115192518
1215.97/1119.87	o 115192421
1216.18/1120.04	o 115192420
1216.37/1120.23	o 115192419
1216.57/1120.41	o 115192418
1216.77/1120.66	o 115192321
1216.97/1120.85	o 115192319
1217.18/1121.07	o 115192318
1217.57/1121.44	o 115192317
1218.28/1122.12	o 115192220
1218.47/1122.37	o 115192218
1218.87/1122.71	o 115192217
1219.47/1123.38	o 115192122
1219.77/1123.61	o 115192120
1220.07/1123.94	o 115192119
1220.47/1124.32	o 115192118
1222.04/1125.30	o 115192021
1222.34/1125.68	o 115192019
1222.74/1126.06	o 115192018
1223.54/1126.81	o 115182422
1223.85/1127.17	o 115182420
1224.24/1127.57	o 115182419
1224.64/1127.92	o 115182322
1224.94/1128.27	o 115182320
1225.34/1128.65	o 115182319
1225.85/1129.19	o 115182222
1226.24/1129.51	o 115182220
1226.54/1129.87	o 115182219
1228.03/1130.71	o 115182218
1228.53/1131.29	o 115182122
1228.93/1131.67	o 115182120
1229.53/1132.21	o 115182119
1230.03/1132.77	o 115182118
1230.73/1133.43	o 115182021
1231.23/1133.95	o 115182020
1231.73/1134.49	o 115182019
1232.03/1134.73	o 115182018
1239.30/1141.50	o 115172019
1244.46/1146.09	o 115172018
1245.86/1147.46	o 115172017
1248.84/1149.39	o 115172016
1250.44/1150.97	o 115171927
1250.94/1151.42	o 115171926
1251.74/1152.24	o 115171925
1252.55/1153.05	o 115171924
1254.22/1154.17	o 115171923
1255.12/1155.07	o 115171922
1256.02/1155.97	o 115171921
1256.92/1156.84	o 115171920
1257.92/1157.83	o 115171919
1259.02/1158.92	o 115171918
1261.01/1160.33	o 115171917
1262.21/1161.50	o 115171916
1263.31/1162.69	o 115171915
1264.61/1163.96	o 115171914
1271.49/1170.27	o 115161914
1277.23/1175.49	o 115152016
1277.53/1175.77	o 115152015
1277.94/1176.11	o 115151916
1278.23/1176.41	o 115151915
1279.39/1177.05	o 115151816
1279.68/1177.33	o 115151815
1279.88/1177.58	o 115151814
1307.08/1203.06	o 114232216
1307.47/1203.49	o 114222216
1307.88/1203.88	o 114212216
1308.38/1204.32	o 114212215
1310.28/1206.21	o 114212214
1311.08/1207.01	o 114202214
1311.48/1207.45	o 114202113
1313.36/1208.76	o 114202013
1314.06/1209.42	o 114202012
1314.96/1210.30	o 114192215
1315.36/1210.73	o 114192114
1315.86/1211.21	o 114192113
1316.46/1211.82	o 114192013
1316.96/1212.38	o 114192012
1318.85/1213.63	o 114182113
1319.36/1214.13	o 114182013
1319.76/1214.56	o 114172113
1320.55/1215.39	o 114172112
1321.45/1216.28	o 114172111
1321.95/1216.79	o 114172110
1322.16/1216.95	o 114172010
1322.46/1217.23	o 114171910
1348.21/1240.65	o 114171909
1348.91/1241.30	o 113191911
1349.01/1241.50	o 112191911
1349.21/1241.69	o 112181910
1349.51/1241.97	o 112181909
1350.11/1242.50	o 112181810
1351.10/1242.96	o 112181809
1353.80/1245.61	o 112181709
1354.50/1246.34	o 112181609
1377.17/1266.79	o 111201609
1377.58/1267.11	o 111181609
1378.07/1267.63	o 111171613
1378.27/1267.89	o 111171612
1378.58/1268.11	o 111171611
1378.78/1268.36	o 111171610
1379.08/1268.61	o 111171512
1379.28/1268.85	o 111171511
1379.49/1269.06	o 111171510
1379.68/1269.28	o 111171509
1380.08/1269.61	o 111171508
1396.53/1284.90	o 111171507
1414.17/1300.80	o 111171506
1415.97/1302.61	o 111171407
1416.38/1303.09	o 111171406
1419.64/1305.78	o 111171307
1419.84/1305.90	o 111171306
1419.95/1306.04	o 111171305
1420.05/1306.17	o 110191507
1420.14/1306.29	o 110191407
1420.34/1306.41	o 110191406
1420.44/1306.53	o 110181507
1420.54/1306.67	o 110181506
1420.64/1306.79	o 110181407
1420.84/1306.92	o 110181406
1420.95/1307.02	o 110181405
1421.05/1307.16	o 110171507
1421.14/1307.28	o 110171506
1421.34/1307.40	o 110171407
1421.44/1307.51	o 110171406
1421.54/1307.63	o 110171405
1424.06/1310.11	o 110161416
1424.66/1310.72	o 110161415
1425.36/1311.41	o 110161414
1427.41/1312.58	o 110161413
1428.41/1313.50	o 110161412
1429.31/1314.46	o 110161411
1430.41/1315.59	o 110161410
1431.41/1316.53	o 110161409
1434.41/1318.95	o 110161408
1437.31/1321.85	o 110161407
1441.43/1325.35	o 110161406
1446.14/1330.06	o 110161405
1447.20/1330.59	o 110161306
1447.50/1330.80	o 110161305
1447.81/1331.13	o 110161206
1448.00/1331.36	o 110161205
1448.50/1331.87	o 110151606
1448.90/1332.22	o 110151506
1449.20/1332.58	o 110151505
1449.60/1332.91	o 110151406
1450.00/1333.30	o 110151405
1450.60/1333.93	o 110151306
1451.10/1334.45	o 110151305
1451.60/1334.99	o 110151206
1452.10/1335.50	o 110151205
1453.56/1336.33	o 109171606
1453.96/1336.76	o 109171506
1454.37/1337.19	o 109171406
1454.86/1337.66	o 109171405
1455.27/1338.08	o 109171306
1455.76/1338.54	o 109171305
1456.27/1339.10	o 109171206
1456.86/1339.63	o 109171205
1457.38/1340.12	o 109161606
1457.77/1340.50	o 109161506
1458.17/1340.91	o 109161406
1458.57/1341.40	o 109161405
1459.84/1342.10	o 109161306
1460.34/1342.58	o 109161305
1460.85/1343.05	o 109161206
1461.34/1343.52	o 109161205
1461.95/1344.14	o 109151606
1462.34/1344.59	o 109151506
1462.85/1345.08	o 109151406
1463.34/1345.59	o 109151306
1463.85/1346.08	o 109151206
1464.44/1346.67	o 109151205
1466.02/1347.60	o 109151105
1466.02/1347.69	o 109151104
1466.22/1347.81	o 109141206
1466.32/1347.92	o 109141105
1466.43/1348.02	o 109141104
1466.82/1348.47	o 109141103
1469.33/1350.92	o 108161103
1469.44/1351.04	o 108161003
1475.21/1356.24	o 108161002
1475.41/1356.45	o 108161001
1475.61/1356.69	o 107171102
1475.91/1356.90	o 107171002
1476.12/1357.13	o 107171001
1476.31/1357.37	o 107161002
1476.51/1357.58	o 107161001
1476.81/1357.84	o 106171102
1477.02/1358.03	o 106171101
1477.21/1358.24	o 106171002
1477.41/1358.45	o 106171001
1477.61/1358.67	o 106161002
1478.69/1359.15	o 106161001
1484.19/1364.65	o 105231507
1484.49/1364.95	o 105221507
1484.89/1365.34	o 105221506
1486.06/1365.98	o 105221505
1486.56/1366.42	o 105211507
1486.76/1366.69	o 105211506
1487.27/1367.13	o 105211505
1488.06/1367.97	o 105211504
1488.66/1368.58	o 105201506
1488.96/1368.86	o 105201505
1489.46/1369.37	o 105201504
1493.55/1372.83	o 105191504
1494.35/1373.61	o 105191503
1496.05/1375.31	o 105181604
1496.25/1375.50	o 105181504
1496.65/1375.92	o 105181503
1496.95/1376.22	o 105181405
1497.35/1376.60	o 105181404
1497.65/1376.96	o 105181403
1499.73/1378.49	o 105181324
1500.03/1378.75	o 105181323
1500.34/1379.03	o 105181322
1502.54/1381.29	o 105181321
1503.24/1381.94	o 105181320
1504.35/1383.03	o 105181319
1506.14/1384.09	o 105181318
1507.14/1385.03	o 105181317
1508.04/1385.95	o 105181316
1509.15/1387.10	o 105181315
1512.63/1389.90	o 105181314
1514.43/1391.75	o 105181313
1517.13/1394.46	o 105181312
1520.20/1396.99	o 105171822
1541.80/1416.82	o 105171724
1542.01/1417.07	o 105171723
1542.30/1417.32	o 105171722
1547.01/1421.41	o 105171721
1553.31/1427.12	o 105171720
1553.80/1427.60	o 105171719
1578.16/1450.21	o 105171718
1578.46/1450.52	o 105171619
1578.97/1451.02	o 105171618
1580.56/1452.67	o 105171518
1580.97/1453.09	o 105171517
1582.76/1454.21	o 105161618
1582.96/1454.48	o 105161518
1587.37/1458.85	o 104171519
1587.57/1459.09	o 104161419
1590.27/1461.17	o 103181318
1590.56/1461.48	o 103171318
1590.96/1461.81	o 103161318
1591.27/1462.17	o 102181318
1591.56/1462.48	o 102171318
1591.86/1462.73	o 102161318
1600.46/1470.84	o 102161218
1600.67/1471.08	o 102161217
1601.06/1471.43	o 102161216
1602.65/1472.40	o 102161215
1623.21/1491.22	o 101281316
1623.71/1491.73	o 101281216
1624.31/1492.32	o 100301418
1624.61/1492.61	o 100301417
1624.81/1492.85	o 100301416
1625.02/1493.09	o 100301318
1625.31/1493.31	o 100301317
1625.51/1493.54	o 100301316
1625.81/1493.80	o 100291418
1626.02/1494.04	o 100291417
1626.31/1494.31	o 100291318
1626.51/1494.55	o 100291317
1626.81/1494.80	o 100291316
1627.02/1495.06	o 100281418
1627.31/1495.30	o 100281417
1628.38/1495.84	o 100281416
1628.58/1496.09	o 100281318
1628.88/1496.33	o 100281317
1629.08/1496.55	o 100281316
1629.38/1496.81	o 100281218
1629.58/1497.01	o 100281217
1629.78/1497.23	o 100281216
1630.08/1497.55	o 99301418
1630.28/1497.79	o 99301417
1630.59/1498.05	o 99301416
1630.78/1498.29	o 99301318
1630.98/1498.49	o 99301317
1631.28/1498.72	o 99301316
1631.48/1498.94	o 99301218
1631.69/1499.14	o 99301217
1631.88/1499.32	o 99301216
1632.08/1499.55	o 99291418
1632.38/1499.80	o 99291318
1632.59/1500.01	o 99291317
1632.78/1500.21	o 99291316
1632.98/1500.42	o 99291218
1633.18/1500.60	o 99291217
1633.28/1500.78	o 99291216
1633.59/1501.01	o 99281418
1633.88/1501.36	o 99281319
1635.17/1502.03	o 99281318
1635.56/1502.43	o 99281317
1657.27/1522.92	o 99271317
1658.07/1523.74	o 99271217
1663.86/1529.01	o 99261619
1665.07/1530.18	o 99261617
1666.56/1531.69	o 99261616
1667.97/1533.09	o 99261519
1699.81/1562.66	o 99261518
1705.80/1568.09	o 99261516
1706.80/1569.08	o 99261515
1707.90/1570.16	o 99261514
1709.09/1571.36	o 99261416
1710.19/1572.42	o 99261415
1712.52/1574.11	o 99261414
1713.91/1575.54	o 99261413
1715.11/1576.76	o 99261412
1718.20/1579.28	o 99261316
1719.20/1580.26	o 99261315
1720.30/1581.37	o 99261314
1723.12/1584.13	o 99251314
1723.31/1584.36	o 99251313
1724.91/1585.42	o 99251312
1725.21/1585.75	o 99251311
1725.53/1586.01	o 99251310
1738.59/1597.97	o 99241611
1739.19/1598.58	o 99241610
1739.80/1599.19	o 99241609
1740.29/1599.65	o 99241511
1740.89/1600.24	o 99241510
1741.29/1600.70	o 99241411
1741.99/1601.38	o 99241410
1742.49/1601.89	o 99241312
1744.09/1602.83	o 99241311
1744.69/1603.47	o 99241310
1745.79/1604.51	o 99231611
1746.09/1604.90	o 99231511
1746.59/1605.30	o 99231510
1746.99/1605.77	o 99221610
1747.09/1605.81	o 99221510
1750.98/1609.16	o 99221509
1751.47/1609.69	o 99211912
1752.08/1610.23	o 99211911
1752.77/1610.94	o 99211910
1753.27/1611.46	o 99211812
1753.98/1612.19	o 99211811
1754.77/1612.91	o 99211810
1755.28/1613.46	o 99211712
1755.78/1613.99	o 99211711
1757.47/1615.02	o 99211710
1758.16/1615.76	o 99211612
1758.96/1616.53	o 99211611
1759.86/1617.48	o 99211610
1782.55/1638.33	o 99211608
1796.40/1651.52	o 98221608
1796.70/1651.89	o 98211608
1802.90/1657.41	o 97221710
1803.40/1658.00	o 97221610
1803.80/1658.35	o 97221609
1805.97/1659.94	o 97221608
1807.27/1661.29	o 96221610
1807.57/1661.59	o 96221609
1807.87/1661.87	o 96221608
1809.37/1663.34	o 96211609
1809.67/1663.63	o 96211608
1811.86/1665.22	o 96211607
1812.36/1665.76	o 96211508
1812.77/1666.13	o 96211507
1819.65/1672.44	o 94221707
1819.85/1672.70	o 94221607
1820.45/1673.29	o 94211707
1820.75/1673.55	o 94211607
1821.55/1674.32	o 93241708
1821.75/1674.51	o 92231708
1821.95/1674.73	o 92231707
1822.15/1675.00	o 92221708
1822.45/1675.20	o 92221707
1823.55/1676.38	o 92221706
1823.85/1676.60	o 92221607
1824.05/1676.80	o 92221606
1825.14/1677.36	o 91241607
1825.44/1677.60	o 91241606
1825.64/1677.84	o 91231607
1825.85/1678.06	o 91231606
1826.04/1678.28	o 91231605
1831.64/1683.82	o 91221706
1834.92/1686.58	o 91211706
1841.27/1692.38	o 90211807
1841.57/1692.68	o 90211707
1842.08/1693.13	o 90211706
1844.78/1695.81	o 90201707
1845.09/1696.12	o 90201706
1845.28/1696.31	o 90201607
1846.47/1696.91	o 90201606
1846.58/1697.04	o 90201508
1846.87/1697.34	o 90201507
1848.68/1699.16	o 90191508
1848.87/1699.36	o 90191507
1849.07/1699.55	o 90181508
1849.27/1699.74	o 90181507
1851.37/1701.80	o 90181506
1852.08/1702.54	o 90181407
1852.28/1702.80	o 90181406
1855.00/1704.94	o 90171507
1855.40/1705.31	o 90171506
1855.70/1705.66	o 90171505
1856.11/1706.03	o 90171407
1856.40/1706.38	o 90171406
1856.80/1706.73	o 90171405
1857.21/1707.12	o 90161507
1857.51/1707.46	o 90161506
1857.81/1707.77	o 90161505
1858.21/1708.12	o 90161407
1858.51/1708.44	o 90161406
1858.81/1708.75	o 90161405
1864.77/1714.13	o 89161405
1869.85/1718.63	o 88161407
1896.00/1742.45	o 88161406
1896.71/1743.16	o 88151707
1897.10/1743.50	o 88151706
1898.61/1745.09	o 88151607
1898.90/1745.31	o 88151606
1899.20/1745.60	o 88141807
1899.30/1745.76	o 88141707
1899.50/1745.94	o 88141706
1899.80/1746.21	o 88141607
1900.00/1746.41	o 88141606
1920.65/1765.36	o 88141506
1923.84/1767.98	o 88131507
1924.05/1768.19	o 88131506
1924.64/1768.71	o 88121506
1924.84/1769.01	o 88121505
1926.24/1770.34	o 88121504
1926.64/1770.72	o 88111706
1926.74/1770.83	o 88111606
1927.14/1771.26	o 88111506
1927.34/1771.43	o 88111505
1938.73/1781.69	o 88111504
1939.24/1782.19	o 88111503
1940.53/1783.43	o 88111403
1969.04/1810.77	o 88101503
1981.78/1822.31	o 88101502
1986.18/1826.15	o 88091503
1986.87/1826.88	o 88091502
2003.96/1842.15	o 88091403
2006.86/1845.10	o 88091402
2007.65/1845.88	o 88091304
2007.96/1846.17	o 88091303
2008.45/1846.64	o 88091302
2013.05/1850.67	o 88091301
2022.66/1859.56	o 88091300
2063.04/1897.53	o 88081301
2064.74/1899.27	o 87091302
2065.24/1899.74	o 87091301
2093.81/1925.22	o 87091300
2182.93/2007.23	o 87091299
2184.80/2008.50	o 87091298
2185.80/2009.57	o 87091297
2229.59/2049.42	o 87081605
2229.89/2049.74	o 87081604
2230.30/2050.19	o 87081603
2231.20/2051.02	o 87081505
2232.49/2051.74	o 87081504
2232.90/2052.17	o 87081503
2233.90/2053.15	o 87081502
2234.99/2054.24	o 87081501
2235.99/2055.25	o 87081500
2237.29/2056.60	o 87081499
2239.40/2058.09	o 87081498
2240.89/2059.54	o 87081497
2267.85/2084.99	o 87081404
2268.46/2085.55	o 87081403
2269.16/2086.21	o 87081402
2271.05/2087.53	o 87081401
2272.75/2089.27	o 87081400
2274.75/2091.25	o 87081399
2278.24/2094.18	o 87081398
2281.53/2097.47	o 87081397
2339.35/2150.04	o 87081395
2356.59/2165.98	o 87081296
2356.89/2166.21	o 87081295
2357.09/2166.44	o 87081294
2357.49/2166.80	o 87081196
2357.80/2167.17	o 87081195
2357.99/2167.40	o 87081194
2358.29/2167.67	o 87071396
2358.49/2167.87	o 87071296
2358.70/2168.10	o 87071295
2360.23/2168.84	o 87071196
2360.43/2169.07	o 87071195
2360.73/2169.36	o 87071194
2400.05/2205.70	s SATISFIABLE
2400.05/2205.71	v <instantiation>
2400.05/2205.71	v 	<list>
2400.05/2205.71	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] 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] 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] 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] 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]
2400.05/2205.71	v 	</list>
2400.05/2205.71	v 	<values>
2400.05/2205.71	v 		268 30 554 792 282 44 282 44 442 680 30 268 792 554 254 16 414 652 352 114 554 792 44 282 512 750 268 30 114 352 540 778 652 414 540 778 156 394 456 694 554 792 540 778 30 268 428 666 296 58 16 254 394 156 554 792 554 792 324 86 680 442 554 792 764 526 750 512 254 16 484 722 708 470 72 310 778 540 16 254 554 792 792 554 394 156 554 792 338 100 86 324 16 254 16 254 554 792 680 442 442 680 142 380 394 156 792 554 156 394 58 296 470 708 554 792 268 30 254 16 456 694 456 694 764 526 86 324 694 456 750 512 554 792 484 722 736 498 764 526 254 16 736 498 792 554 680 442 456 694 778 540 540 778 666 428 142 380 764 526 366 128 44 282 526 764 554 792 142 380 30 268 778 540 156 394 86 324 764 526 778 540 722 484 442 680 254 16 540 778 58 296 470 708 778 540 470 708 750 512 722 484 778 540 86 324 778 540 540 778 156 394 792 554 666 428 58 296 282 44 282 44 268 30 778 540 778 540 44 282 282 44 792 554 736 498 792 554 708 470 156 394 778 540 380 142 470 708 44 282 128 366 540 778 540 778 778 540 100 338 764 526 540 778 58 296 540 778 428 666 540 778 778 540 526 764 380 142 324 86 708 470 414 652 58 296 366 128 324 86 380 142 540 778 554 792 792 554 58 296 366 128 792 554 394 156 792 554 554 792 394 156 310 72 296 58 792 554 554 792 792 554 722 484 58 296 296 58 366 128 778 540 44 282 540 778 156 394 526 764 778 540 310 72 114 352 30 268 30 268 512 750 442 680 86 324 778 540 778 540 128 366 540 778 58 296 380 142 540 778 778 540 554 792 778 540 778 540 778 540 58 296 526 764 540 778 142 380 58 296 778 540 540 778 442 680 736 498 792 554 0 0 0 0 0 0 0 0 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 0 0 0 0 0 1000000 0 0 0 0 0 1000000 0 0 0 1000000 1000000 0 0 0 0 0 0 0 0 1000000 0 0 0 0 0 0 1000000 0 1000000 0 1000000 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 0 0 0 0 0 0 1000000 0 1000000 0 0 0 0 0 1000000 0 0 0 0 0 0 0 0 0 1000000 0 1000000 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 1000000 0 0 0 0 0 0 1000000 1000000 1000000 0 0 0 0 0 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 1000000 1000000 0 0 1000000 0 0 1000000 0 0 0 1000000 0 0 0 1000000 0 0 1000000 0 0 0 0 1000000 0 1000000 0 1000000 0 0 0 0 1000000 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 1000000 0 0 0 0 1000000 1000000 0 0 0 0 1000000 0 0 0 0 1000000 1000000 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 0 0 1000000 0 0 0 0 0 1000000 0 1000000 0 0 1000000 1000000 1000000 1000000 0 0 1000000 1000000 0 0 0 0 0 0 0 0 0 0 0 1000000 1000000 0 0 0 0 1000000 0 0 1000000 0 1000000 1000000 1000000 0 0 0 0 0 0 1000000 0 0 0 0 0 1000000 0 0 0 0 0 0 0 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 0 0 0 0 0 1000000 0 1000000 0 0 1000000 0 0 0 0 0 0 1000000 1000000 1000000 0 0 1000000 1000000 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 1000000 1000000 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 0 0 0 0 1000000 1000000 1000000 0 0 1000000 0 0 1000000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000000 0 0 0 0 10000 0 10000 10000 0 10000 0 0 10000 0 10000 0 0 0 10000 0 0 0 0 0 10000 0 0 0 0 10000 0 0 0 0 10000 0 0 0 0 0 0 0 10000 0 0 10000 10000 0 0 0 0 0 10000 10000 0 10000 0 0 0 0 10000 0 0 0 10000 0 10000 0 10000 10000 10000 0 10000 10000 0 0 10000 0 10000 10000 10000 10000 0 10000 10000 0 10000 0 0 0 0 0 0 0 0 10000 0 0 10000 0 10000 0 0 0 0 0 0 0 0 10000 10000 10000 10000 0 0 0 0 10000 10000 0 0 0 10000 10000 10000 0 0 0 0 0 10000 10000 10000 10000 0 0 0 10000 10000 0 0 0 10000 0 10000 0 0 0 0 10000 0 0 0 0 10000 10000 0 10000 0 0 10000 10000 10000 0 0 10000 0 0 0 10000 10000 0 10000 10000 0 10000 0 10000 10000 0 10000 10000 10000 0 0 0 0 10000 0 0 0 10000 0 0 0 0 0 10000 10000 0 0 0 0 0 10000 10000 10000 0 0 0 0 0 0 0 0 10000 0 0 0 0 0 0 0 0 0 0 10000 0 0 10000 10000 0 10000 10000 0 10000 0 0 0 0 0 0 0 0 0 10000 10000 0 0 0 0 0 0 0 10000 10000 10000 0 10000 10000 0 0 10000 0 0 0 0 10000 10000 0 10000 0 0 10000 0 0 0 0 0 10000 10000 10000 10000 0 0 0 10000 10000 0 10000 0 10000 10000 0 0 10000 10000 0 10000 10000 0 10000 10000 10000 10000 0 0 10000 10000 10000 10000 10000 10000 10000 0 0 0 10000 10000 10000 0 0 10000 10000 0 0 0 0 0 0 0 0 0 10000 0 0 10000 0 0 0 0 0 0 0 0 10000 0 0 0 10000 0 0 10000 10000 10000 10000 10000 10000 10000 10000 10000 0 10000 0 0 10000 0 0 0 0 0 10000 0 0 10000 10000 0 0 10000 0 0 0 0 0 10000 10000 0 0 0 0 10000 0 0 0 0 10000 0 0 0 0 10000 0 0 0 10000 10000 0 0 0 0 0 0 0 0 10000 0 10000 0 0 0 0 0 0 0 0 10000 10000 0 10000 0 10000 10000 10000 0 0 10000 0 0 10000 10000 10000 0 0 10000 0 0 10000 0 0 0 0 0 10000 0 0 10000 10000 10000 10000 0 10000 10000 0 0 0 0 10000 0 10000 0 10000 0 10000 0 0 0 0 10000 0 10000 0 0 0 0 0 10000 0 0 10000 0 10000 0 10000 0 10000 0 10000 0 0 0 0 0 0 0 0 10000 10000 0 10000 10000 0 0 0 0 0 0 10000 0 0 0 10000 10000 0 0 0 0 0 0 10000 0 10000 10000 10000 10000 0 10000 10000 10000 0 10000 10000 10000 0 0 0 0 0 10000 0 0 0 0 10000 0 0 0 0 0 0 10000 0 0 10000 0 0 10000 10000 0 10000 0 0 10000 0 10000 0 10000 0 0 10000 10000 0 0 10000 0 0 10000 0 0 0 0 0 10000 0 0 10000 10000 10000 10000 0 10000 0 10000 0 0 10000 10000 0 0 10000 0 10000 0 0 0 0 0 0 10000 0 10000 10000 10000 0 10000 10000 10000 0 0 0 10000 0 0 10000 10000 10000 0 0 0 0 0 0 0 10000 0 0 0 0 0 0 0 10000 0 0 0 10000 10000 0 0 0 0 10000 10000 0 10000 0 10000 10000 0 0 10000 10000 10000 10000 10000 0 0 0 0 10000 10000 10000 10000 0 0 10000 10000 0 0 0 0 0 0 0 0 0 0 0 10000 0 10000 0 0 0 0 0 0 10000 0 0 10000 0 10000 0 0 0 10000 0 0 0 0 0 0 0 0 10000 0 10000 10000 10000 10000 0 0 0 10000 0 10000 0 0 0 0 0 10000 0 10000 10000 0 0 10000 0 0 0 10000 0 0 0 0 0 0 0 0 10000 10000 0 10000 10000 0 0 0 0 10000 0 10000 0 0 0 0 0 10000 0 0 10000 0 10000 10000 0 0 0 0 0 10000 0 0 0 0 0 0 10000 10000 10000 0 0 10000 0 10000 0 0 0 0 10000 10000 0 0 0 10000 0 0 0 0 0 10000 0 10000 0 10000 10000 0 0 10000 0 0 10000 10000 0 10000 0 0 0 0 0 10000 10000 0 0 0 0 0 0 0 0 0 100 0 100 100 0 100 0 0 0 100 0 0 100 100 0 100 0 0 0 0 100 0 0 0 0 0 100 100 0 0 100 0 100 100 0 0 100 0 0 0 100 0 0 100 100 100 100 0 0 100 0 0 0 0 0 0 100 0 100 0 100 0 0 0 0 100 0 0 0 0 0 0 100 0 0 100 100 0 0 0 100 100 100 100 100 0 100 100 100 0 0 0 0 100 100 100 100 0 0 100 0 0 0 0 0 100 100 0 0 0 0 0 100 100 0 0 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 0 100 0 0 100 0 100 100 0 0 100 0 0 100 100 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 100 0 100 100 100 0 0 0 0 100 0 0 0 0 0 100 100 0 100 0 0 100 100 0 100 100 100 0 0 0 0 100 0 100 0 100 100 0 100 100 0 0 0 0 100 0 100 100 100 100 100 0 0 0 0 0 0 100 100 100 0 100 100 0 100 100 100 0 0 100 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 100 100 100 0 100 0 100 0 0 0 100 0 100 0 0 0 0 0 100 0 0 0 100 100 0 0 100 0 0 100 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 100 100 0 100 0 0 100 0 0 0 100 0 0 100 100 0 100 0 100 0 0 0 0 0 100 0 0 100 100 100 0 0 100 0 0 0 100 100 0 100 0 0 0 0 100 0 100 100 0 0 0 100 0 0 0 0 0 100 100 0 100 100 0 0 100 100 0 0 100 100 0 0 100 0 0 0 0 0 0 100 0 100 100 100 100 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 100 100 0 0 100 0 100 0 100 0 0 0 0 100 0 0 0 100 0 0 0 100 100 0 0 0 100 100 100 100 100 100 100 100 100 0 100 100 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 100 0 0 0 0 0 100 0 0 100 100 100 100 0 0 0 100 100 0 0 100 0 100 0 0 0 0 100 100 100 0 0 0 100 0 0 0 0 0 0 0 100 0 0 100 0 0 100 0 0 100 0 0 0 0 0 100 100 0 0 0 0 100 0 100 100 0 100 0 0 0 0 0 0 100 0 100 0 0 100 0 0 100 100 100 0 0 0 0 0 100 100 100 100 0 0 0 100 100 100 0 0 100 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 1 0 0 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1 1 0 0 1 0 1 0 1 1 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 0 1 1 1 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 1 1 0 1 1 0 1 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 1 0 0 0 1 1 1 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 0 1 1 1 1 1 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 1 0 1 0 0 1 0 0 0 1 1 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 
2400.05/2205.71	v 	</values>
2400.05/2205.71	v </instantiation>

Verifier Data 

OK	87071194

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291916-1532266064/watcher-4291916-1532266064 -o /tmp/evaluation-result-4291916-1532266064/solver-4291916-1532266064 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532261360-2532 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 223039357 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291916-1532266064.xml 

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

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


[startup+0.101072 s]*
/proc/loadavg: 1.50 1.46 1.55 3/215 3374
/proc/meminfo: memFree=24879396/32770624 swapFree=67108852/67108860
[pid=3359] ppid=3356 vsize=14082740 memory=34120 CPUtime=0.11 cores=0,2,4,6
/proc/3359/stat : 3359 (java) S 3356 3359 2501 0 -1 1077944320 6948 0 0 0 10 1 0 0 20 0 15 0 44169589 14420725760 8530 33554432000 4194304 4196468 140734728995040 140734728977584 140497199525623 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
/proc/3359/statm: 3520685 8530 3138 1 0 3482761 0
[pid=3359/tid=3361] ppid=3356 vsize=14082740 memory=-8969870241242641600 CPUtime=0.09 cores=0,2,4,6
/proc/3359/task/3361/stat : 3361 (java) R 3356 3359 2501 0 -1 4202560 5020 0 0 0 8 1 0 0 20 0 15 0 44169590 14420725760 8530 33554432000 4194304 4196468 140734728995040 140497203724744 140497199547549 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3362] ppid=3356 vsize=14082740 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3362/stat : 3362 (java) S 3356 3359 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44169590 14420725760 8530 33554432000 4194304 4196468 140734728995040 140497114593552 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3363] ppid=3356 vsize=14082740 memory=140638962574976 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3363/stat : 3363 (java) S 3356 3359 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44169590 14420725760 8530 33554432000 4194304 4196468 140734728995040 140497113541008 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3364] ppid=3356 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3364/stat : 3364 (java) S 3356 3359 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44169590 14420725760 8530 33554432000 4194304 4196468 140734728995040 140497112488464 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3365] ppid=3356 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3365/stat : 3365 (java) S 3356 3359 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44169590 14420725760 8530 33554432000 4194304 4196468 140734728995040 140497111435920 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3366] ppid=3356 vsize=14082740 memory=140638962574976 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3366/stat : 3366 (java) S 3356 3359 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44169592 14420725760 8530 33554432000 4194304 4196468 140734728995040 140496672901616 140497199536770 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3367] ppid=3356 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3367/stat : 3367 (java) S 3356 3359 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44169592 14420725760 8530 33554432000 4194304 4196468 140734728995040 140496671847840 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3368] ppid=3356 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3368/stat : 3368 (java) S 3356 3359 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44169592 14420725760 8530 33554432000 4194304 4196468 140734728995040 140496670795248 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3369] ppid=3356 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3369/stat : 3369 (java) S 3356 3359 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44169595 14420725760 8530 33554432000 4194304 4196468 140734728995040 140496669743824 140497199544219 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3370] ppid=3356 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3370/stat : 3370 (java) S 3356 3359 2501 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 44169595 14420725760 8530 33554432000 4194304 4196468 140734728995040 140496668690416 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3371] ppid=3356 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3371/stat : 3371 (java) S 3356 3359 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44169595 14420725760 8530 33554432000 4194304 4196468 140734728995040 140496667637872 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3372] ppid=3356 vsize=14082740 memory=140638962574976 CPUtime=0.01 cores=0,2,4,6
/proc/3359/task/3372/stat : 3372 (java) R 3356 3359 2501 0 -1 4202560 251 0 0 0 1 0 0 0 20 0 15 0 44169595 14420725760 8530 33554432000 4194304 4196468 140734728995040 140496666585328 140497183773150 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3373] ppid=3356 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3373/stat : 3373 (java) S 3356 3359 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44169595 14420725760 8530 33554432000 4194304 4196468 140734728995040 140496665533024 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3374] ppid=3356 vsize=14082740 memory=140638962574976 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3374/stat : 3374 (java) S 3356 3359 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44169595 14420725760 8530 33554432000 4194304 4196468 140734728995040 140496664480560 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 34120 KiB

[startup+0.211031 s]*
/proc/loadavg: 1.50 1.46 1.55 4/215 3374
/proc/meminfo: memFree=24866420/32770624 swapFree=67108852/67108860
[pid=3359] ppid=3356 vsize=14082740 memory=47752 CPUtime=0.31 cores=0,2,4,6
/proc/3359/stat : 3359 (java) S 3356 3359 2501 0 -1 1077944320 10000 0 0 0 28 3 0 0 20 0 15 0 44169589 14420725760 11938 33554432000 4194304 4196468 140734728995040 140734728977584 140497199525623 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
/proc/3359/statm: 3520685 11938 3413 1 0 3482761 0
[pid=3359/tid=3361] ppid=3356 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/3359/task/3361/stat : 3361 (java) R 3356 3359 2501 0 -1 4202560 7724 0 0 0 18 2 0 0 20 0 15 0 44169590 14420725760 11938 33554432000 4194304 4196468 140734728995040 140497203751728 140497199547549 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3362] ppid=3356 vsize=14082740 memory=343 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3362/stat : 3362 (java) S 3356 3359 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44169590 14420725760 11938 33554432000 4194304 4196468 140734728995040 140497114593552 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3363] ppid=3356 vsize=14082740 memory=140638962578592 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3363/stat : 3363 (java) S 3356 3359 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44169590 14420725760 11938 33554432000 4194304 4196468 140734728995040 140497113541008 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3364] ppid=3356 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3364/stat : 3364 (java) S 3356 3359 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44169590 14420725760 11938 33554432000 4194304 4196468 140734728995040 140497112488464 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3365] ppid=3356 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3365/stat : 3365 (java) S 3356 3359 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44169590 14420725760 11938 33554432000 4194304 4196468 140734728995040 140497111435920 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3366] ppid=3356 vsize=14082740 memory=140638962574976 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3366/stat : 3366 (java) S 3356 3359 2501 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44169592 14420725760 11938 33554432000 4194304 4196468 140734728995040 140496672901616 140497199536770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3367] ppid=3356 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3367/stat : 3367 (java) S 3356 3359 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44169592 14420725760 11938 33554432000 4194304 4196468 140734728995040 140496671847840 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3368] ppid=3356 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3368/stat : 3368 (java) S 3356 3359 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44169592 14420725760 11938 33554432000 4194304 4196468 140734728995040 140496670795248 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3369] ppid=3356 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3369/stat : 3369 (java) S 3356 3359 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44169595 14420725760 11938 33554432000 4194304 4196468 140734728995040 140496669743824 140497199544219 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3370] ppid=3356 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3359/task/3370/stat : 3370 (java) S 3356 3359 2501 0 -1 1077944384 545 0 0 0 2 0 0 0 20 0 15 0 44169595 14420725760 11938 33554432000 4194304 4196468 140734728995040 140496668690416 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3371] ppid=3356 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/3359/task/3371/stat : 3371 (java) S 3356 3359 2501 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 15 0 44169595 14420725760 11938 33554432000 4194304 4196468 140734728995040 140496667637872 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3372] ppid=3356 vsize=14082740 memory=140638962574976 CPUtime=0.05 cores=0,2,4,6
/proc/3359/task/3372/stat : 3372 (java) R 3356 3359 2501 0 -1 4202560 279 0 0 0 5 0 0 0 20 0 15 0 44169595 14420725760 11938 33554432000 4194304 4196468 140734728995040 140496666582264 140497178204799 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3373] ppid=3356 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3373/stat : 3373 (java) S 3356 3359 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44169595 14420725760 11938 33554432000 4194304 4196468 140734728995040 140496665533024 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3374] ppid=3356 vsize=14082740 memory=140638962574976 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3374/stat : 3374 (java) S 3356 3359 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44169595 14420725760 11938 33554432000 4194304 4196468 140734728995040 140496664480560 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47752 KiB

[startup+0.310583 s]*
/proc/loadavg: 1.50 1.46 1.55 3/215 3374
/proc/meminfo: memFree=24862760/32770624 swapFree=67108852/67108860
[pid=3359] ppid=3356 vsize=14082740 memory=51236 CPUtime=0.43 cores=0,2,4,6
/proc/3359/stat : 3359 (java) S 3356 3359 2501 0 -1 1077944320 10360 0 0 0 40 3 0 0 20 0 15 0 44169589 14420725760 12809 33554432000 4194304 4196468 140734728995040 140734728977584 140497199525623 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
/proc/3359/statm: 3520685 12809 3416 1 0 3482761 0
[pid=3359/tid=3361] ppid=3356 vsize=14082740 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/3359/task/3361/stat : 3361 (java) R 3356 3359 2501 0 -1 4202560 8071 0 0 0 28 2 0 0 20 0 15 0 44169590 14420725760 12809 33554432000 4194304 4196468 140734728995040 140497203737184 140497181089152 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3362] ppid=3356 vsize=14082740 memory=290763879498383383 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3362/stat : 3362 (java) S 3356 3359 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44169590 14420725760 12809 33554432000 4194304 4196468 140734728995040 140497114593552 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3363] ppid=3356 vsize=14082740 memory=16245401378875032 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3363/stat : 3363 (java) S 3356 3359 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44169590 14420725760 12809 33554432000 4194304 4196468 140734728995040 140497113541008 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3364] ppid=3356 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3364/stat : 3364 (java) S 3356 3359 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44169590 14420725760 12809 33554432000 4194304 4196468 140734728995040 140497112488464 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3365] ppid=3356 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3365/stat : 3365 (java) S 3356 3359 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44169590 14420725760 12809 33554432000 4194304 4196468 140734728995040 140497111435920 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3366] ppid=3356 vsize=14082740 memory=140638962574976 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3366/stat : 3366 (java) S 3356 3359 2501 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44169592 14420725760 12809 33554432000 4194304 4196468 140734728995040 140496672901616 140497199536770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3367] ppid=3356 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3367/stat : 3367 (java) S 3356 3359 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44169592 14420725760 12809 33554432000 4194304 4196468 140734728995040 140496671847840 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3368] ppid=3356 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3368/stat : 3368 (java) S 3356 3359 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44169592 14420725760 12809 33554432000 4194304 4196468 140734728995040 140496670795248 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3369] ppid=3356 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3369/stat : 3369 (java) S 3356 3359 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44169595 14420725760 12809 33554432000 4194304 4196468 140734728995040 140496669743824 140497199544219 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3370] ppid=3356 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3359/task/3370/stat : 3370 (java) S 3356 3359 2501 0 -1 1077944384 545 0 0 0 2 0 0 0 20 0 15 0 44169595 14420725760 12809 33554432000 4194304 4196468 140734728995040 140496668690416 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3371] ppid=3356 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/3359/task/3371/stat : 3371 (java) S 3356 3359 2501 0 -1 1077944384 77 0 0 0 1 0 0 0 20 0 15 0 44169595 14420725760 12809 33554432000 4194304 4196468 140734728995040 140496667637872 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3372] ppid=3356 vsize=14082740 memory=140638962574976 CPUtime=0.07 cores=0,2,4,6
/proc/3359/task/3372/stat : 3372 (java) S 3356 3359 2501 0 -1 1077944384 285 0 0 0 7 0 0 0 20 0 15 0 44169595 14420725760 12809 33554432000 4194304 4196468 140734728995040 140496666585328 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3373] ppid=3356 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3373/stat : 3373 (java) S 3356 3359 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44169595 14420725760 12809 33554432000 4194304 4196468 140734728995040 140496665533024 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3374] ppid=3356 vsize=14082740 memory=140638962574976 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3374/stat : 3374 (java) S 3356 3359 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44169595 14420725760 12809 33554432000 4194304 4196468 140734728995040 140496664480560 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 51236 KiB

[startup+0.700682 s]
/proc/loadavg: 1.50 1.46 1.55 3/215 3374
/proc/meminfo: memFree=24839072/32770624 swapFree=67108852/67108860
[pid=3359] ppid=3356 vsize=14084808 memory=88800 CPUtime=0.98 cores=0,2,4,6
/proc/3359/stat : 3359 (java) S 3356 3359 2501 0 -1 1077944320 17070 0 0 0 94 4 0 0 20 0 15 0 44169589 14422843392 22200 33554432000 4194304 4196468 140734728995040 140734728977584 140497199525623 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
/proc/3359/statm: 3521202 22200 3499 1 0 3483273 0
[pid=3359/tid=3361] ppid=3356 vsize=14084808 memory=9248 CPUtime=0.67 cores=0,2,4,6
/proc/3359/task/3361/stat : 3361 (java) R 3356 3359 2501 0 -1 4202560 14387 0 0 0 64 3 0 0 20 0 15 0 44169590 14422843392 22200 33554432000 4194304 4196468 140734728995040 140497203750704 140497167110064 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3362] ppid=3356 vsize=14084808 memory=16432 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3362/stat : 3362 (java) S 3356 3359 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44169590 14422843392 22200 33554432000 4194304 4196468 140734728995040 140497114593552 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3363] ppid=3356 vsize=14084808 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3363/stat : 3363 (java) S 3356 3359 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44169590 14422843392 22200 33554432000 4194304 4196468 140734728995040 140497113541008 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3364] ppid=3356 vsize=14084808 memory=644 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3364/stat : 3364 (java) S 3356 3359 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44169590 14422843392 22200 33554432000 4194304 4196468 140734728995040 140497112488464 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3365] ppid=3356 vsize=14084808 memory=956 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3365/stat : 3365 (java) S 3356 3359 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44169590 14422843392 22200 33554432000 4194304 4196468 140734728995040 140497111435920 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3366] ppid=3356 vsize=14084808 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3366/stat : 3366 (java) S 3356 3359 2501 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44169592 14422843392 22200 33554432000 4194304 4196468 140734728995040 140496672901616 140497199536770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3367] ppid=3356 vsize=14084808 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3367/stat : 3367 (java) S 3356 3359 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44169592 14422843392 22200 33554432000 4194304 4196468 140734728995040 140496671847840 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3368] ppid=3356 vsize=14084808 memory=1580 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3368/stat : 3368 (java) S 3356 3359 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44169592 14422843392 22200 33554432000 4194304 4196468 140734728995040 140496670795248 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3369] ppid=3356 vsize=14084808 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3369/stat : 3369 (java) S 3356 3359 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44169595 14422843392 22200 33554432000 4194304 4196468 140734728995040 140496669743824 140497199544219 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3370] ppid=3356 vsize=14084808 memory=6081387179578519657 CPUtime=0.08 cores=0,2,4,6
/proc/3359/task/3370/stat : 3370 (java) S 3356 3359 2501 0 -1 1077944384 690 0 0 0 8 0 0 0 20 0 15 0 44169595 14422843392 22200 33554432000 4194304 4196468 140734728995040 140496668690416 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3371] ppid=3356 vsize=14084808 memory=6220993253238723945 CPUtime=0.06 cores=0,2,4,6
/proc/3359/task/3371/stat : 3371 (java) S 3356 3359 2501 0 -1 1077944384 248 0 0 0 6 0 0 0 20 0 15 0 44169595 14422843392 22200 33554432000 4194304 4196468 140734728995040 140496667637872 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3372] ppid=3356 vsize=14084808 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/3359/task/3372/stat : 3372 (java) S 3356 3359 2501 0 -1 1077944384 363 0 0 0 15 0 0 0 20 0 15 0 44169595 14422843392 22200 33554432000 4194304 4196468 140734728995040 140496666585328 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3373] ppid=3356 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3373/stat : 3373 (java) S 3356 3359 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44169595 14422843392 22200 33554432000 4194304 4196468 140734728995040 140496665533024 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3374] ppid=3356 vsize=14084808 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3374/stat : 3374 (java) S 3356 3359 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44169595 14422843392 22200 33554432000 4194304 4196468 140734728995040 140496664480560 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88800 KiB

[startup+1.50103 s]
/proc/loadavg: 1.50 1.46 1.55 5/215 3374
/proc/meminfo: memFree=24787636/32770624 swapFree=67108852/67108860
[pid=3359] ppid=3356 vsize=14086856 memory=225600 CPUtime=3.47 cores=0,2,4,6
/proc/3359/stat : 3359 (java) S 3356 3359 2501 0 -1 1077944320 26992 0 0 0 339 8 0 0 20 0 15 0 44169589 14424940544 56400 33554432000 4194304 4196468 140734728995040 140734728977584 140497199525623 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
/proc/3359/statm: 3521714 56400 3569 1 0 3483785 0
[pid=3359/tid=3361] ppid=3356 vsize=14086856 memory=164512 CPUtime=1.45 cores=0,2,4,6
/proc/3359/task/3361/stat : 3361 (java) R 3356 3359 2501 0 -1 4202560 16442 0 0 0 139 6 0 0 20 0 15 0 44169590 14424940544 56400 33554432000 4194304 4196468 140734728995040 140497203760784 140496791195926 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3362] ppid=3356 vsize=14086856 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3362/stat : 3362 (java) S 3356 3359 2501 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 15 0 44169590 14424940544 56400 33554432000 4194304 4196468 140734728995040 140497114593552 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3363] ppid=3356 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3363/stat : 3363 (java) S 3356 3359 2501 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 15 0 44169590 14424940544 56400 33554432000 4194304 4196468 140734728995040 140497113541008 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3364] ppid=3356 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3364/stat : 3364 (java) S 3356 3359 2501 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 44169590 14424940544 56400 33554432000 4194304 4196468 140734728995040 140497112488464 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3365] ppid=3356 vsize=14086856 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3365/stat : 3365 (java) S 3356 3359 2501 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 44169590 14424940544 56400 33554432000 4194304 4196468 140734728995040 140497111435920 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3366] ppid=3356 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3366/stat : 3366 (java) S 3356 3359 2501 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 15 0 44169592 14424940544 56400 33554432000 4194304 4196468 140734728995040 140496672901616 140497199536770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0

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

/proc/3359/task/3361/stat : 3361 (java) R 3356 3359 2501 0 -1 4202560 201718 0 0 0 206070 76 0 0 20 0 15 0 44169590 14431232000 2943157 33554432000 4194304 4196468 140734728995040 140497203763200 140496795848005 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3362] ppid=3356 vsize=14093000 memory=11772612 CPUtime=59.14 cores=0,2,4,6
/proc/3359/task/3362/stat : 3362 (java) S 3356 3359 2501 0 -1 1077944384 38571 0 0 0 5790 124 0 0 20 0 15 0 44169590 14431232000 2943157 33554432000 4194304 4196468 140734728995040 140497114593552 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3363] ppid=3356 vsize=14093000 memory=11772612 CPUtime=58.95 cores=0,2,4,6
/proc/3359/task/3363/stat : 3363 (java) S 3356 3359 2501 0 -1 1077944384 46476 0 0 0 5775 120 0 0 20 0 15 0 44169590 14431232000 2943157 33554432000 4194304 4196468 140734728995040 140497113541008 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3364] ppid=3356 vsize=14093000 memory=11772612 CPUtime=59.1 cores=0,2,4,6
/proc/3359/task/3364/stat : 3364 (java) S 3356 3359 2501 0 -1 1077944384 47993 0 0 0 5776 134 0 0 20 0 15 0 44169590 14431232000 2943157 33554432000 4194304 4196468 140734728995040 140497112488464 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3365] ppid=3356 vsize=14093000 memory=11772612 CPUtime=58.99 cores=0,2,4,6
/proc/3359/task/3365/stat : 3365 (java) S 3356 3359 2501 0 -1 1077944384 34766 0 0 0 5765 134 0 0 20 0 15 0 44169590 14431232000 2943157 33554432000 4194304 4196468 140734728995040 140497111435920 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3366] ppid=3356 vsize=14093000 memory=11772624 CPUtime=20.58 cores=0,2,4,6
/proc/3359/task/3366/stat : 3366 (java) S 3356 3359 2501 0 -1 1077944384 423202 0 0 0 2034 24 0 0 20 0 15 0 44169592 14431232000 2943157 33554432000 4194304 4196468 140734728995040 140496672901616 140497199536770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3367] ppid=3356 vsize=14093000 memory=11772628 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3367/stat : 3367 (java) S 3356 3359 2501 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 44169592 14431232000 2943157 33554432000 4194304 4196468 140734728995040 140496671847904 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3368] ppid=3356 vsize=14093000 memory=11772628 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3368/stat : 3368 (java) S 3356 3359 2501 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 44169592 14431232000 2943157 33554432000 4194304 4196468 140734728995040 140496670795264 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3369] ppid=3356 vsize=14093000 memory=11772628 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3369/stat : 3369 (java) S 3356 3359 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44169595 14431232000 2943157 33554432000 4194304 4196468 140734728995040 140496669743824 140497199544219 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3370] ppid=3356 vsize=14093000 memory=11772628 CPUtime=5 cores=0,2,4,6
/proc/3359/task/3370/stat : 3370 (java) S 3356 3359 2501 0 -1 1077944384 20432 0 0 0 497 3 0 0 20 0 15 0 44169595 14431232000 2943157 33554432000 4194304 4196468 140734728995040 140496668690416 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 47 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3371] ppid=3356 vsize=14093000 memory=11772628 CPUtime=4.39 cores=0,2,4,6
/proc/3359/task/3371/stat : 3371 (java) S 3356 3359 2501 0 -1 1077944384 23295 0 0 0 437 2 0 0 20 0 15 0 44169595 14431232000 2943157 33554432000 4194304 4196468 140734728995040 140496667637872 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3372] ppid=3356 vsize=14093000 memory=4012 CPUtime=1.74 cores=0,2,4,6
/proc/3359/task/3372/stat : 3372 (java) S 3356 3359 2501 0 -1 1077944384 26769 0 0 0 170 4 0 0 20 0 15 0 44169595 14431232000 2943157 33554432000 4194304 4196468 140734728995040 140496666585328 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3373] ppid=3356 vsize=14093000 memory=11772628 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3373/stat : 3373 (java) S 3356 3359 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44169595 14431232000 2943157 33554432000 4194304 4196468 140734728995040 140496665533024 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3374] ppid=3356 vsize=14093000 memory=4012 CPUtime=1.11 cores=0,2,4,6
/proc/3359/task/3374/stat : 3374 (java) S 3356 3359 2501 0 -1 1077944384 1939 0 0 0 55 56 0 0 20 0 15 0 44169595 14431232000 2943157 33554432000 4194304 4196468 140734728995040 140496664480560 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 44 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
Current children cumulated CPU time: 2330.53 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 11772628 KiB

[startup+2202.3 s]
/proc/loadavg: 1.53 1.57 1.58 3/216 3464
/proc/meminfo: memFree=12946520/32770624 swapFree=67108852/67108860
[pid=3359] ppid=3356 vsize=14093000 memory=11772636 CPUtime=2396.64 cores=0,2,4,6
/proc/3359/stat : 3359 (java) S 3356 3359 2501 0 -1 1077944320 889805 0 0 0 238994 670 0 0 20 0 15 0 44169589 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140734728977584 140497199525623 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
/proc/3359/statm: 3523250 2943159 3619 1 0 3485321 0
[pid=3359/tid=3361] ppid=3356 vsize=14093000 memory=11772636 CPUtime=2118.53 cores=0,2,4,6
/proc/3359/task/3361/stat : 3361 (java) R 3356 3359 2501 0 -1 4202560 206910 0 0 0 211775 78 0 0 20 0 15 0 44169590 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140497203763312 140496793213013 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3362] ppid=3356 vsize=14093000 memory=11772628 CPUtime=61.16 cores=0,2,4,6
/proc/3359/task/3362/stat : 3362 (java) S 3356 3359 2501 0 -1 1077944384 39552 0 0 0 5991 125 0 0 20 0 15 0 44169590 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140497114593552 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3363] ppid=3356 vsize=14093000 memory=11772632 CPUtime=60.97 cores=0,2,4,6
/proc/3359/task/3363/stat : 3363 (java) S 3356 3359 2501 0 -1 1077944384 47523 0 0 0 5977 120 0 0 20 0 15 0 44169590 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140497113541008 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3364] ppid=3356 vsize=14093000 memory=11772636 CPUtime=61.15 cores=0,2,4,6
/proc/3359/task/3364/stat : 3364 (java) S 3356 3359 2501 0 -1 1077944384 48753 0 0 0 5980 135 0 0 20 0 15 0 44169590 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140497112488464 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3365] ppid=3356 vsize=14093000 memory=11772636 CPUtime=61.03 cores=0,2,4,6
/proc/3359/task/3365/stat : 3365 (java) S 3356 3359 2501 0 -1 1077944384 35861 0 0 0 5969 134 0 0 20 0 15 0 44169590 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140497111435920 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3366] ppid=3356 vsize=14093000 memory=5372 CPUtime=21.46 cores=0,2,4,6
/proc/3359/task/3366/stat : 3366 (java) S 3356 3359 2501 0 -1 1077944384 437112 0 0 0 2121 25 0 0 20 0 15 0 44169592 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140496672901616 140497199536770 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3367] ppid=3356 vsize=14093000 memory=11772628 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3367/stat : 3367 (java) S 3356 3359 2501 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 44169592 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140496671847904 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3368] ppid=3356 vsize=14093000 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3368/stat : 3368 (java) S 3356 3359 2501 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 44169592 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140496670795264 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3369] ppid=3356 vsize=14093000 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3369/stat : 3369 (java) S 3356 3359 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44169595 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140496669743824 140497199544219 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3370] ppid=3356 vsize=14093000 memory=11772636 CPUtime=5 cores=0,2,4,6
/proc/3359/task/3370/stat : 3370 (java) S 3356 3359 2501 0 -1 1077944384 20489 0 0 0 497 3 0 0 20 0 15 0 44169595 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140496668690416 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3371] ppid=3356 vsize=14093000 memory=8112282956445269571 CPUtime=4.4 cores=0,2,4,6
/proc/3359/task/3371/stat : 3371 (java) S 3356 3359 2501 0 -1 1077944384 23413 0 0 0 437 3 0 0 20 0 15 0 44169595 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140496667637872 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3372] ppid=3356 vsize=14093000 memory=11772632 CPUtime=1.74 cores=0,2,4,6
/proc/3359/task/3372/stat : 3372 (java) S 3356 3359 2501 0 -1 1077944384 26771 0 0 0 170 4 0 0 20 0 15 0 44169595 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140496666585328 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3373] ppid=3356 vsize=14093000 memory=11772628 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3373/stat : 3373 (java) S 3356 3359 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44169595 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140496665533024 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3374] ppid=3356 vsize=14093000 memory=11772632 CPUtime=1.14 cores=0,2,4,6
/proc/3359/task/3374/stat : 3374 (java) S 3356 3359 2501 0 -1 1077944384 1987 0 0 0 56 58 0 0 20 0 15 0 44169595 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140496664480560 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 44 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
Current children cumulated CPU time: 2396.64 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 11772636 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2205.7 s]
/proc/loadavg: 1.56 1.57 1.59 3/216 3464
/proc/meminfo: memFree=12937592/32770624 swapFree=67108852/67108860
[pid=3359] ppid=3356 vsize=14093000 memory=11772636 CPUtime=2400.05 cores=0,2,4,6
/proc/3359/stat : 3359 (java) S 3356 3359 2501 0 -1 1077944320 889842 0 0 0 239334 671 0 0 20 0 15 0 44169589 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140734728977584 140497199525623 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
/proc/3359/statm: 3523250 2943159 3619 1 0 3485321 0
[pid=3359/tid=3361] ppid=3356 vsize=14093000 memory=1732 CPUtime=2121.92 cores=0,2,4,6
/proc/3359/task/3361/stat : 3361 (java) R 3356 3359 2501 0 -1 4202560 206947 0 0 0 212114 78 0 0 20 0 15 0 44169590 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140497203763200 140496793213008 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3362] ppid=3356 vsize=14093000 memory=11772636 CPUtime=61.16 cores=0,2,4,6
/proc/3359/task/3362/stat : 3362 (java) S 3356 3359 2501 0 -1 1077944384 39552 0 0 0 5991 125 0 0 20 0 15 0 44169590 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140497114593552 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3363] ppid=3356 vsize=14093000 memory=11772636 CPUtime=60.97 cores=0,2,4,6
/proc/3359/task/3363/stat : 3363 (java) S 3356 3359 2501 0 -1 1077944384 47523 0 0 0 5977 120 0 0 20 0 15 0 44169590 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140497113541008 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3364] ppid=3356 vsize=14093000 memory=11772636 CPUtime=61.15 cores=0,2,4,6
/proc/3359/task/3364/stat : 3364 (java) S 3356 3359 2501 0 -1 1077944384 48753 0 0 0 5980 135 0 0 20 0 15 0 44169590 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140497112488464 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3365] ppid=3356 vsize=14093000 memory=11772632 CPUtime=61.03 cores=0,2,4,6
/proc/3359/task/3365/stat : 3365 (java) S 3356 3359 2501 0 -1 1077944384 35861 0 0 0 5969 134 0 0 20 0 15 0 44169590 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140497111435920 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3366] ppid=3356 vsize=14093000 memory=11772628 CPUtime=21.46 cores=0,2,4,6
/proc/3359/task/3366/stat : 3366 (java) S 3356 3359 2501 0 -1 1077944384 437112 0 0 0 2121 25 0 0 20 0 15 0 44169592 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140496672901616 140497199536770 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3367] ppid=3356 vsize=14093000 memory=11772636 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3367/stat : 3367 (java) S 3356 3359 2501 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 44169592 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140496671847904 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3368] ppid=3356 vsize=14093000 memory=161 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3368/stat : 3368 (java) S 3356 3359 2501 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 44169592 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140496670795264 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3369] ppid=3356 vsize=14093000 memory=11772636 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3369/stat : 3369 (java) S 3356 3359 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44169595 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140496669743824 140497199544219 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3370] ppid=3356 vsize=14093000 memory=11772628 CPUtime=5 cores=0,2,4,6
/proc/3359/task/3370/stat : 3370 (java) S 3356 3359 2501 0 -1 1077944384 20489 0 0 0 497 3 0 0 20 0 15 0 44169595 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140496668690416 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3371] ppid=3356 vsize=14093000 memory=11772636 CPUtime=4.4 cores=0,2,4,6
/proc/3359/task/3371/stat : 3371 (java) S 3356 3359 2501 0 -1 1077944384 23413 0 0 0 437 3 0 0 20 0 15 0 44169595 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140496667637872 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3372] ppid=3356 vsize=14093000 memory=11772636 CPUtime=1.74 cores=0,2,4,6
/proc/3359/task/3372/stat : 3372 (java) S 3356 3359 2501 0 -1 1077944384 26771 0 0 0 170 4 0 0 20 0 15 0 44169595 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140496666585328 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3373] ppid=3356 vsize=14093000 memory=11772636 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3373/stat : 3373 (java) S 3356 3359 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44169595 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140496665533024 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3374] ppid=3356 vsize=14093000 memory=4012 CPUtime=1.14 cores=0,2,4,6
/proc/3359/task/3374/stat : 3374 (java) S 3356 3359 2501 0 -1 1077944384 1987 0 0 0 56 58 0 0 20 0 15 0 44169595 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140496664480560 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 44 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 11772636 KiB

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

[startup+2205.77 s]
# the end of solver process 3359 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2393.36 s, system=6.77372 s

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

[startup+2205.7 s]
/proc/loadavg: 1.56 1.57 1.59 3/216 3464
/proc/meminfo: memFree=12937592/32770624 swapFree=67108852/67108860
[pid=3359] ppid=3356 vsize=14093000 memory=11772636 CPUtime=2400.05 cores=0,2,4,6
/proc/3359/stat : 3359 (java) S 3356 3359 2501 0 -1 1077944320 889842 0 0 0 239334 671 0 0 20 0 15 0 44169589 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140734728977584 140497199525623 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
/proc/3359/statm: 3523250 2943159 3619 1 0 3485321 0
[pid=3359/tid=3361] ppid=3356 vsize=14093000 memory=1732 CPUtime=2121.92 cores=0,2,4,6
/proc/3359/task/3361/stat : 3361 (java) R 3356 3359 2501 0 -1 4202560 206947 0 0 0 212114 78 0 0 20 0 15 0 44169590 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140497203763200 140496793213008 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3362] ppid=3356 vsize=14093000 memory=11772636 CPUtime=61.16 cores=0,2,4,6
/proc/3359/task/3362/stat : 3362 (java) S 3356 3359 2501 0 -1 1077944384 39552 0 0 0 5991 125 0 0 20 0 15 0 44169590 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140497114593552 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3363] ppid=3356 vsize=14093000 memory=11772636 CPUtime=60.97 cores=0,2,4,6
/proc/3359/task/3363/stat : 3363 (java) S 3356 3359 2501 0 -1 1077944384 47523 0 0 0 5977 120 0 0 20 0 15 0 44169590 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140497113541008 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3364] ppid=3356 vsize=14093000 memory=11772636 CPUtime=61.15 cores=0,2,4,6
/proc/3359/task/3364/stat : 3364 (java) S 3356 3359 2501 0 -1 1077944384 48753 0 0 0 5980 135 0 0 20 0 15 0 44169590 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140497112488464 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3365] ppid=3356 vsize=14093000 memory=11772632 CPUtime=61.03 cores=0,2,4,6
/proc/3359/task/3365/stat : 3365 (java) S 3356 3359 2501 0 -1 1077944384 35861 0 0 0 5969 134 0 0 20 0 15 0 44169590 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140497111435920 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3366] ppid=3356 vsize=14093000 memory=11772628 CPUtime=21.46 cores=0,2,4,6
/proc/3359/task/3366/stat : 3366 (java) S 3356 3359 2501 0 -1 1077944384 437112 0 0 0 2121 25 0 0 20 0 15 0 44169592 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140496672901616 140497199536770 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3367] ppid=3356 vsize=14093000 memory=11772636 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3367/stat : 3367 (java) S 3356 3359 2501 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 44169592 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140496671847904 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3368] ppid=3356 vsize=14093000 memory=161 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3368/stat : 3368 (java) S 3356 3359 2501 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 44169592 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140496670795264 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3369] ppid=3356 vsize=14093000 memory=11772636 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3369/stat : 3369 (java) S 3356 3359 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44169595 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140496669743824 140497199544219 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3370] ppid=3356 vsize=14093000 memory=11772628 CPUtime=5 cores=0,2,4,6
/proc/3359/task/3370/stat : 3370 (java) S 3356 3359 2501 0 -1 1077944384 20489 0 0 0 497 3 0 0 20 0 15 0 44169595 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140496668690416 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 47 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3371] ppid=3356 vsize=14093000 memory=11772636 CPUtime=4.4 cores=0,2,4,6
/proc/3359/task/3371/stat : 3371 (java) S 3356 3359 2501 0 -1 1077944384 23413 0 0 0 437 3 0 0 20 0 15 0 44169595 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140496667637872 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 47 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3372] ppid=3356 vsize=14093000 memory=11772636 CPUtime=1.74 cores=0,2,4,6
/proc/3359/task/3372/stat : 3372 (java) S 3356 3359 2501 0 -1 1077944384 26771 0 0 0 170 4 0 0 20 0 15 0 44169595 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140496666585328 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 46 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3373] ppid=3356 vsize=14093000 memory=11772636 CPUtime=0 cores=0,2,4,6
/proc/3359/task/3373/stat : 3373 (java) S 3356 3359 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44169595 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140496665533024 140497199535829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
[pid=3359/tid=3374] ppid=3356 vsize=14093000 memory=4012 CPUtime=1.14 cores=0,2,4,6
/proc/3359/task/3374/stat : 3374 (java) S 3356 3359 2501 0 -1 1077944384 1987 0 0 0 56 58 0 0 20 0 15 0 44169595 14431232000 2943159 33554432000 4194304 4196468 140734728995040 140496664480560 140497199536770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 44 0 0 6293624 6294260 31993856 140734729000021 140734729000201 140734729000201 140734729002959 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 11772636 KiB

Child status: 143
Real time (s): 2205.77
CPU time (s): 2400.13
CPU user time (s): 2393.36
CPU system time (s): 6.77372
CPU usage (%): 108.811
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 11776000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.36
system time used= 6.77372
maximum resident set size= 11776000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 890213
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64983
involuntary context switches= 6083


# summary of solver processes directly reported to runsolver:
#   pid: 3359
#   total CPU time (s): 2400.13
#   total CPU user time (s): 2393.36
#   total CPU system time (s): 6.77372

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0769 second user time and 20.9332 second system time

The end

Launcher Data 

Begin job on node148 at 2018-07-22 15:27:44
IDJOB=4291916
IDBENCH=141200
IDSOLVER=2746
FILE ID=node148/4291916-1532266064
RUNJOBID= node148-1532261360-2532
PBS_JOBID= 21018973
Free space on /tmp= 51956 MiB

SOLVER NAME= OscaR - Hybrid 2018-07-02
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-07-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-4291916-1532266064/watcher-4291916-1532266064 -o /tmp/evaluation-result-4291916-1532266064/solver-4291916-1532266064 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532261360-2532 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 223039357 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291916-1532266064.xml

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

MD5SUM BENCH= ba4df16e86f19a26142e39b1a48414c8
RANDOM SEED=223039357

node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24898448 kB
MemAvailable:   31744496 kB
Buffers:          152024 kB
Cached:          6877732 kB
SwapCached:            8 kB
Active:          1443176 kB
Inactive:        5834860 kB
Active(anon):     202116 kB
Inactive(anon):    66112 kB
Active(file):    1241060 kB
Inactive(file):  5768748 kB
Unevictable:        7080 kB
Mlocked:            7080 kB
SwapTotal:      67108860 kB
SwapFree:       67108852 kB
Dirty:             35848 kB
Writeback:             4 kB
AnonPages:        255416 kB
Mapped:            49224 kB
Shmem:             17024 kB
Slab:             292628 kB
SReclaimable:     264700 kB
SUnreclaim:        27928 kB
KernelStack:        3520 kB
PageTables:         5820 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1230752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    124928 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 51920 MiB
End job on node148 at 2018-07-22 16:04:30