Trace number 4297878

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
Choco-solver 4.0.7b par (e747e1e)SAT (TO)64511 19386.5 2520.14

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-06-opt_c18.xml
MD5SUMe2f0d6978164174a80e953d0a2a49c7e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark64511
Best CPU time to get the best result obtained on this benchmark19386.5
Satisfiable
(Un)Satisfiability was proved
Number of variables2370
Number of constraints2170
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":1970},{"size":6,"count":34},{"size":22,"count":22},{"size":24,"count":20},{"size":36,"count":26},{"size":42,"count":66},{"size":44,"count":232}]
Minimum variable degree1
Maximum variable degree24
Distribution of variable degrees[{"degree":1,"count":1},{"degree":2,"count":1975},{"degree":3,"count":12},{"degree":4,"count":24},{"degree":5,"count":37},{"degree":6,"count":38},{"degree":7,"count":58},{"degree":8,"count":40},{"degree":9,"count":22},{"degree":10,"count":22},{"degree":11,"count":7},{"degree":12,"count":4},{"degree":13,"count":3},{"degree":14,"count":1},{"degree":17,"count":15},{"degree":18,"count":19},{"degree":19,"count":26},{"degree":20,"count":34},{"degree":21,"count":18},{"degree":22,"count":10},{"degree":23,"count":3},{"degree":24,"count":1}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":200},{"arity":3,"count":1970}]
Number of extensional constraints0
Number of intensional constraints2170
Distribution of constraint types[{"type":"intension","count":2170}]
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.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297878-1532705499.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4297878-1532705499.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
41.42/16.27	c solve instance...
50.17/17.47	o 309598 
51.29/17.72	o 308698 
51.29/17.76	o 307708 
51.29/17.78	o 307698 
51.29/17.79	o 307598 
51.58/17.80	o 307498 
51.58/17.81	o 307497 
51.58/17.82	o 307496 
51.58/17.86	o 307404 
51.58/17.88	o 307395 
52.85/18.03	o 307295 
52.85/18.05	o 307294 
53.38/18.16	o 307195 
53.38/18.17	o 306404 
53.38/18.18	o 306395 
53.73/18.29	o 306295 
53.73/18.30	o 306294 
54.09/18.31	o 306195 
54.09/18.32	o 306194 
54.09/18.33	o 306094 
54.09/18.34	o 305294 
54.09/18.34	o 304304 
54.09/18.36	o 304294 
55.02/18.82	o 304194 
55.18/18.92	o 304094 
57.80/21.29	o 304085 
57.92/21.31	o 304084 
57.92/21.33	o 303985 
57.92/21.34	o 303984 
58.41/21.47	o 303312 
58.41/21.48	o 303302 
59.00/21.51	o 303202 
59.00/21.52	o 303102 
59.00/21.53	o 303093 
59.00/21.55	o 303092 
59.00/21.56	o 302993 
59.00/21.58	o 302992 
59.32/21.61	o 302980 
59.32/21.62	o 302971 
59.32/21.63	o 302970 
59.32/21.64	o 302871 
59.32/21.65	o 302870 
59.32/21.67	o 302190 
59.78/21.71	o 302180 
59.78/21.74	o 302080 
59.78/21.77	o 301980 
60.10/21.81	o 301971 
60.10/21.85	o 301970 
60.10/21.87	o 301871 
60.26/21.91	o 301870 
60.26/21.93	o 301190 
60.26/21.97	o 301180 
60.46/22.04	o 301080 
61.57/22.21	o 300980 
61.57/22.23	o 300881 
61.57/22.27	o 300880 
61.57/22.29	o 300871 
61.77/22.33	o 300870 
61.77/22.35	o 300780 
61.98/22.42	o 300750 
61.98/22.46	o 300180 
61.98/22.48	o 300170 
62.32/22.52	o 300070 
62.32/22.55	o 299970 
62.32/22.59	o 299961 
62.54/22.66	o 299960 
62.72/22.71	o 299861 
62.72/22.72	o 299860 
62.72/22.77	o 299180 
62.72/22.79	o 299170 
62.94/22.83	o 299070 
63.12/22.90	o 298970 
63.12/22.94	o 298961 
63.12/22.96	o 298960 
63.12/23.00	o 298861 
63.28/23.02	o 298860 
63.28/23.06	o 298770 
63.45/23.14	o 298769 
63.90/23.20	o 298736 
63.90/23.22	o 298735 
64.92/23.92	o 298645 
64.92/23.94	o 298644 
64.92/23.99	o 298054 
65.16/24.06	o 298044 
66.30/24.23	o 297944 
66.88/24.63	o 297844 
66.88/24.65	o 297746 
66.88/24.66	o 297745 
67.06/24.70	o 297736 
67.06/24.72	o 297735 
67.06/24.76	o 297734 
67.32/24.83	o 297655 
67.32/24.88	o 297654 
67.32/24.89	o 297645 
67.48/24.94	o 297644 
67.48/24.96	o 297643 
67.48/25.00	o 297636 
67.74/25.08	o 297635 
67.88/25.12	o 297634 
68.57/25.71	o 297141 
68.57/25.75	o 297131 
68.57/25.77	o 297031 
68.73/25.81	o 296931 
68.73/25.88	o 296833 
68.90/25.91	o 296832 
68.90/25.95	o 296823 
68.90/25.96	o 296822 
68.90/25.98	o 296821 
69.08/26.02	o 296820 
69.08/26.06	o 296742 
69.08/26.10	o 296741 
69.35/26.12	o 296732 
69.35/26.18	o 296731 
69.47/26.21	o 296730 
69.47/26.25	o 296729 
69.92/26.39	o 296723 
70.54/26.41	o 296722 
70.54/26.45	o 296721 
70.94/26.59	o 296639 
71.64/26.95	o 296631 
73.93/29.03	o 296621 
74.10/29.18	o 296521 
74.22/29.20	o 296421 
74.22/29.24	o 296323 
74.40/29.31	o 296322 
74.40/29.35	o 296313 
74.40/29.37	o 296312 
74.55/29.41	o 296311 
76.02/29.80	o 295718 
76.02/29.83	o 295708 
76.02/29.83	o 295608 
76.02/29.87	o 295508 
76.23/29.94	o 295410 
76.23/29.99	o 295409 
76.40/30.01	o 295400 
76.40/30.08	o 295399 
76.53/30.12	o 295398 
76.81/30.30	o 295397 
76.81/30.36	o 295391 
77.32/30.40	o 295390 
77.32/30.47	o 295389 
77.64/30.53	o 295388 
78.17/30.60	o 295363 
78.17/30.64	o 295356 
78.33/30.70	o 295355 
78.33/30.74	o 295346 
79.57/30.90	o 295345 
79.57/30.93	o 295344 
79.57/30.97	o 295265 
79.57/30.99	o 295264 
79.76/31.05	o 295255 
79.96/31.12	o 295254 
79.96/31.15	o 295253 
79.96/31.18	o 294751 
80.28/31.24	o 294741 
80.28/31.27	o 294641 
80.59/31.32	o 294541 
80.59/31.39	o 294443 
80.78/31.43	o 294442 
80.78/31.45	o 294433 
80.78/31.48	o 294432 
80.93/31.51	o 294431 
80.93/31.55	o 294430 
81.41/31.77	o 294352 
81.52/31.84	o 294351 
81.66/31.91	o 294342 
81.66/31.94	o 294341 
81.66/31.97	o 294340 
81.66/31.99	o 294339 
81.96/32.03	o 293673 
81.96/32.10	o 293663 
82.13/32.14	o 293563 
82.13/32.15	o 293463 
82.13/32.19	o 293454 
82.30/32.21	o 293453 
82.30/32.25	o 293354 
82.45/32.31	o 293353 
83.08/32.45	o 293263 
83.08/32.46	o 293262 
83.87/32.73	o 293229 
83.87/32.77	o 293228 
84.16/32.84	o 293226 
84.74/33.28	o 293138 
84.86/33.31	o 293137 
84.86/33.32	o 292547 
87.16/35.47	o 292537 
87.40/35.66	o 292437 
87.40/35.70	o 292337 
87.52/35.77	o 292239 
87.73/35.87	o 292238 
87.88/35.90	o 292229 
87.88/35.94	o 292228 
87.88/35.97	o 292227 
87.88/36.01	o 292148 
88.15/36.07	o 292147 
88.30/36.11	o 292138 
88.30/36.15	o 292137 
88.30/36.17	o 292136 
88.58/36.22	o 291634 
88.58/36.25	o 291624 
88.58/36.29	o 291524 
88.81/36.35	o 291424 
88.81/36.39	o 291326 
88.98/36.44	o 291325 
88.98/36.49	o 291316 
89.14/36.52	o 291315 
89.14/36.56	o 291314 
89.32/36.63	o 291313 
89.53/36.70	o 291235 
89.53/36.73	o 291234 
89.53/36.76	o 291225 
89.53/36.78	o 291224 
89.78/36.82	o 291223 
89.78/36.89	o 291222 
90.86/37.09	o 291215 
91.29/37.13	o 291214 
91.29/37.17	o 291213 
91.29/37.19	o 291212 
91.93/37.44	o 291205 
92.08/37.51	o 291204 
92.08/37.54	o 291195 
92.08/37.57	o 291194 
92.08/37.58	o 291193 
92.27/37.61	o 291192 
92.27/37.65	o 291185 
92.27/37.68	o 291184 
92.56/37.75	o 291183 
92.74/37.81	o 291182 
92.74/37.85	o 291095 
92.99/37.90	o 291094 
92.99/37.92	o 291085 
92.99/37.97	o 291084 
93.24/38.04	o 291083 
93.24/38.07	o 291082 
93.51/38.12	o 291079 
93.51/38.17	o 291078 
93.51/38.19	o 291077 
93.81/38.24	o 290998 
93.81/38.29	o 290997 
94.00/38.36	o 290988 
94.25/38.42	o 290987 
94.25/38.45	o 290986 
94.25/38.49	o 290985 
95.21/38.63	o 290497 
95.21/38.69	o 290487 
95.44/38.71	o 290387 
95.44/38.75	o 290287 
95.66/38.81	o 290187 
95.66/38.85	o 290089 
95.91/38.92	o 290088 
95.91/38.97	o 290079 
96.11/39.02	o 290078 
96.11/39.05	o 290077 
96.11/39.10	o 290076 
96.45/39.15	o 289998 
96.45/39.19	o 289997 
96.65/39.26	o 289988 
96.85/39.32	o 289987 
97.51/39.43	o 289986 
97.51/39.47	o 289985 
97.87/39.53	o 289984 
97.87/39.57	o 289983 
98.18/39.64	o 289907 
99.18/40.04	o 289903 
101.20/42.04	o 289902 
101.52/42.25	o 289893 
101.68/42.32	o 289892 
101.68/42.36	o 289891 
101.93/42.40	o 289890 
101.93/42.46	o 289889 
102.43/42.55	o 289882 
102.62/42.64	o 289881 
102.62/42.69	o 289872 
102.84/42.74	o 289871 
102.84/42.78	o 289870 
103.06/42.85	o 289869 
103.37/42.94	o 289862 
103.59/43.01	o 289861 
103.59/43.05	o 289860 
103.59/43.09	o 289859 
103.86/43.13	o 289772 
103.86/43.19	o 289771 
104.11/43.24	o 289762 
104.11/43.27	o 289761 
104.32/43.34	o 289760 
104.32/43.40	o 289759 
104.49/43.43	o 289666 
104.49/43.47	o 289665 
104.79/43.51	o 289656 
106.06/43.71	o 289655 
106.06/43.79	o 289654 
106.28/43.83	o 289653 
106.75/44.19	o 289579 
106.85/44.23	o 289578 
106.85/44.26	o 289569 
107.14/44.30	o 289568 
107.14/44.37	o 289567 
107.51/44.48	o 289074 
108.03/44.53	o 289064 
108.03/44.57	o 288964 
108.28/44.64	o 288864 
108.45/44.72	o 288764 
108.45/44.77	o 288666 
108.63/44.82	o 288665 
108.63/44.86	o 288656 
108.63/44.89	o 288655 
108.84/44.96	o 288654 
109.08/45.01	o 288653 
109.08/45.07	o 288652 
109.35/45.12	o 288651 
109.35/45.17	o 288650 
110.27/45.30	o 288647 
110.27/45.33	o 288646 
110.27/45.36	o 288645 
110.60/45.42	o 288644 
110.99/45.52	o 288643 
110.99/45.58	o 288642 
111.15/45.63	o 288641 
111.78/45.76	o 288636 
112.12/45.83	o 288626 
112.12/45.84	o 288526 
112.12/45.87	o 288426 
112.30/45.90	o 288335 
112.30/45.95	o 288317 
112.30/46.00	o 288316 
112.54/46.04	o 288226 
113.55/46.22	o 288225 
113.55/46.26	o 288217 
113.85/46.32	o 288216 
114.37/46.50	o 288197 
114.96/46.93	o 288126 
114.96/46.97	o 288116 
114.96/47.01	o 288016 
115.11/47.07	o 287916 
115.33/47.13	o 287907 
115.33/47.15	o 287807 
115.50/47.21	o 287806 
116.17/47.39	o 287213 
116.41/47.43	o 287203 
116.41/47.46	o 287103 
118.71/49.65	o 287003 
119.09/49.83	o 286994 
119.09/49.83	o 286894 
119.09/49.89	o 286893 
119.31/49.96	o 286892 
119.99/50.20	o 286885 
119.99/50.26	o 286884 
120.36/50.32	o 286883 
121.00/50.43	o 286790 
121.00/50.47	o 286780 
121.36/50.52	o 286773 
121.36/50.56	o 286772 
121.50/50.60	o 286771 
121.50/50.64	o 286770 
122.01/50.76	o 286764 
122.24/50.80	o 286763 
122.24/50.85	o 286762 
122.24/50.88	o 286761 
123.83/51.11	o 286758 
123.83/51.15	o 286757 
123.83/51.20	o 286657 
124.02/51.25	o 286656 
124.29/51.30	o 286655 
124.29/51.34	o 286570 
124.54/51.41	o 286569 
125.20/51.57	o 286077 
125.40/51.62	o 286067 
125.58/51.70	o 285967 
125.58/51.77	o 285867 
125.76/51.81	o 285866 
127.01/52.04	o 285766 
127.01/52.09	o 285758 
127.30/52.15	o 285757 
127.30/52.19	o 285756 
127.45/52.23	o 285657 
127.45/52.29	o 285656 
127.60/52.35	o 285655 
127.95/52.44	o 285654 
127.95/52.48	o 285653 
128.18/52.58	o 285553 
128.85/52.72	o 285543 
128.85/52.75	o 285536 
129.07/52.86	o 285535 
129.31/52.91	o 285534 
129.31/52.96	o 285533 
129.31/53.00	o 285532 
129.60/53.07	o 285531 
129.83/53.15	o 285530 
130.07/53.39	o 285529 
130.60/53.55	o 285271 
139.21/56.48	o 285263 
139.39/56.54	o 285262 
139.39/56.58	o 285261 
139.84/56.71	o 285253 
140.03/56.80	o 285252 
140.25/56.99	o 285251 
140.50/57.08	o 285244 
140.85/57.12	o 285243 
140.85/57.18	o 285242 
141.29/57.33	o 285241 
142.23/57.52	o 285165 
142.81/57.67	o 285155 
143.03/57.71	o 285145 
143.03/57.74	o 285144 
143.03/57.77	o 285134 
143.27/57.82	o 285124 
143.56/57.94	o 285123 
143.77/58.04	o 285115 
143.95/58.11	o 285114 
143.95/58.17	o 285113 
144.16/58.23	o 285112 
144.59/58.34	o 285111 
144.78/58.46	o 285110 
145.08/58.57	o 285102 
145.44/58.60	o 285101 
145.44/58.66	o 285100 
149.18/59.15	o 285093 
149.49/59.21	o 285092 
149.49/59.27	o 285091 
149.84/59.40	o 285090 
158.37/62.21	o 285089 
158.37/62.22	o 285088 
158.37/62.26	o 285087 
166.09/63.42	o 285081 
169.90/63.95	o 284081 
173.69/64.46	o 283981 
176.15/64.84	o 283949 
176.36/64.90	o 283939 
176.36/64.94	o 283929 
176.36/65.01	o 283928 
176.51/65.07	o 283918 
176.71/65.12	o 283908 
177.73/65.34	o 283081 
181.14/65.80	o 282281 
184.98/66.35	o 282081 
188.61/66.98	o 281681 
193.91/67.77	o 280681 
199.59/68.59	o 280581 
200.77/69.04	o 280537 
201.01/69.15	o 280527 
201.29/69.34	o 280520 
201.44/69.41	o 280519 
201.44/69.42	o 280518 
201.65/69.53	o 280517 
201.84/69.60	o 280516 
202.02/69.72	o 280515 
202.67/69.83	o 280438 
202.87/69.90	o 280437 
203.07/70.01	o 280428 
203.26/70.11	o 280427 
203.26/70.15	o 280420 
203.43/70.20	o 280419 
203.43/70.24	o 280418 
203.63/70.35	o 280417 
203.84/70.43	o 280416 
204.01/70.57	o 280415 
204.28/70.62	o 279581 
207.90/71.21	o 279541 
207.90/71.24	o 279532 
208.11/71.31	o 279522 
208.11/71.35	o 279521 
208.29/71.44	o 279511 
208.51/71.54	o 279501 
209.53/71.70	o 279451 
209.53/71.78	o 279441 
209.98/71.92	o 279431 
209.98/71.99	o 279430 
210.29/72.04	o 279420 
210.29/72.10	o 279410 
210.72/72.33	o 279409 
210.97/72.48	o 279408 
211.16/72.59	o 279407 
211.60/72.65	o 279398 
211.79/72.74	o 279397 
215.03/75.17	o 279396 
216.07/75.39	o 279395 
216.26/75.43	o 279394 
216.51/75.51	o 279393 
218.83/75.84	o 279351 
218.83/75.87	o 279341 
219.03/75.91	o 279331 
219.03/75.98	o 279330 
219.03/76.00	o 279320 
219.21/76.04	o 279310 
219.46/76.14	o 279309 
219.46/76.20	o 279308 
220.49/76.43	o 279307 
223.93/76.92	o 279298 
223.93/76.93	o 279297 
224.26/77.07	o 279295 
224.26/77.09	o 279294 
228.38/77.65	o 279293 
238.80/79.03	o 279288 
239.07/79.26	o 279279 
239.76/79.43	o 279278 
239.76/79.45	o 279277 
240.16/79.64	o 279268 
240.36/79.70	o 279266 
242.70/80.07	o 279265 
243.09/80.26	o 279264 
244.20/80.48	o 279263 
244.71/80.58	o 279262 
245.06/80.69	o 279261 
257.14/82.29	o 279219 
257.34/82.35	o 279209 
257.61/82.46	o 279199 
257.85/82.53	o 279198 
259.34/82.87	o 279197 
259.49/82.98	o 279196 
260.43/83.15	o 279195 
260.88/83.33	o 279194 
260.88/83.39	o 279193 
270.68/84.93	o 279191 
270.93/85.01	o 279190 
270.93/85.09	o 279189 
271.21/85.15	o 279181 
271.41/85.25	o 279180 
271.41/85.29	o 279179 
271.61/85.35	o 279178 
272.14/85.58	o 279130 
272.29/85.70	o 279129 
272.45/85.75	o 279121 
272.62/85.82	o 279120 
272.62/85.85	o 279119 
272.77/85.90	o 279118 
272.77/85.97	o 279110 
273.15/86.04	o 279109 
273.15/86.08	o 279099 
273.15/86.10	o 279089 
273.36/86.16	o 279088 
273.75/86.37	o 279081 
273.86/86.40	o 279080 
273.86/86.47	o 279079 
274.08/86.58	o 279078 
274.22/86.63	o 279077 
274.69/86.73	o 279039 
274.88/86.80	o 279038 
274.88/86.86	o 279030 
275.12/86.92	o 279029 
275.12/86.96	o 279028 
275.37/87.03	o 279027 
275.71/87.13	o 279019 
275.71/87.13	o 279018 
275.71/87.19	o 279008 
276.07/87.44	o 278998 
276.31/87.54	o 278997 
276.51/87.61	o 278990 
276.51/87.62	o 278989 
276.69/87.79	o 278988 
276.92/87.99	o 278987 
277.04/88.04	o 278986 
277.57/88.17	o 278985 
282.09/88.89	o 278976 
282.20/88.92	o 278975 
282.20/88.92	o 278974 
282.84/89.08	o 278966 
282.84/89.09	o 278965 
283.13/89.15	o 278964 
284.72/89.44	o 278963 
284.72/89.44	o 278962 
284.93/89.52	o 278961 
293.34/90.62	o 278958 
293.34/90.69	o 278957 
293.34/90.70	o 278956 
293.71/90.80	o 278955 
294.20/90.91	o 278939 
294.47/91.10	o 278938 
294.59/91.16	o 278930 
294.75/91.23	o 278929 
294.95/91.34	o 278928 
295.17/91.40	o 278927 
295.17/91.47	o 278918 
295.52/91.53	o 278909 
295.52/91.59	o 278908 
295.71/91.65	o 278907 
296.07/91.76	o 278906 
296.37/91.83	o 278905 
296.85/92.07	o 278898 
297.04/92.17	o 278897 
297.27/92.25	o 278896 
297.77/92.52	o 278895 
297.77/92.59	o 278890 
298.27/92.60	o 278889 
298.40/92.77	o 278888 
298.59/92.83	o 278887 
298.89/92.90	o 278886 
299.31/93.04	o 278877 
299.61/93.11	o 278868 
299.94/93.30	o 278867 
299.94/93.36	o 278866 
300.67/93.79	o 278865 
300.77/93.85	o 278864 
301.14/93.96	o 278858 
301.30/94.02	o 278857 
301.30/94.08	o 278856 
301.46/94.14	o 278855 
301.74/94.21	o 278854 
302.46/94.37	o 278853 
307.87/95.11	o 278852 
308.23/95.22	o 278844 
308.23/95.27	o 278843 
308.46/95.33	o 278842 
309.92/95.60	o 278834 
309.92/95.61	o 278833 
309.92/95.64	o 278832 
312.02/95.94	o 278831 
312.02/96.00	o 278830 
312.44/96.06	o 278829 
319.04/96.90	o 278828 
319.04/96.92	o 278827 
319.04/96.98	o 278737 
319.34/97.06	o 278736 
319.62/97.12	o 278735 
319.62/97.18	o 278728 
319.62/97.18	o 278727 
319.81/97.27	o 278726 
320.25/97.52	o 278637 
320.25/97.53	o 278636 
320.25/97.59	o 278635 
320.68/97.75	o 278628 
320.89/97.81	o 278529 
320.89/97.85	o 278528 
321.03/97.92	o 278527 
321.03/97.98	o 278519 
321.30/98.05	o 278518 
321.57/98.15	o 278517 
322.05/98.43	o 278516 
322.05/98.49	o 278509 
322.28/98.53	o 278508 
322.64/98.70	o 278507 
322.64/98.76	o 278506 
322.77/98.84	o 278499 
323.04/98.94	o 278498 
323.04/99.00	o 278497 
323.26/99.07	o 278496 
323.75/99.33	o 278438 
323.75/99.39	o 278437 
323.93/99.43	o 278436 
323.93/99.48	o 278428 
324.24/99.56	o 278427 
324.24/99.59	o 278426 
324.50/99.63	o 278425 
324.91/99.89	o 278418 
325.40/100.17	o 278417 
325.54/100.25	o 278416 
325.73/100.30	o 278415 
325.97/100.46	o 278408 
326.14/100.53	o 278407 
326.39/100.64	o 278406 
326.62/100.71	o 278405 
327.20/100.92	o 278326 
327.20/101.01	o 278316 
327.46/101.07	o 278306 
327.59/101.13	o 278305 
327.59/101.19	o 278295 
327.74/101.24	o 278285 
328.06/101.34	o 278284 
328.52/101.57	o 278283 
329.14/101.74	o 278235 
329.14/101.74	o 278234 
329.42/101.81	o 278225 
329.42/101.87	o 278224 
329.60/101.95	o 278215 
329.81/102.01	o 278214 
329.81/102.08	o 278205 
330.04/102.14	o 278204 
330.24/102.23	o 278195 
330.24/102.28	o 278194 
330.69/102.55	o 278193 
331.03/102.61	o 278192 
331.85/102.89	o 278186 
331.98/102.96	o 278185 
332.30/103.10	o 278184 
332.54/103.17	o 278135 
332.82/103.25	o 278134 
333.07/103.31	o 278125 
333.07/103.37	o 278124 
333.28/103.42	o 278115 
333.46/103.51	o 278114 
333.77/103.79	o 278105 
333.90/103.84	o 278104 
334.07/103.90	o 278095 
334.07/103.96	o 278094 
334.27/104.02	o 278093 
334.75/104.26	o 278092 
334.88/104.37	o 278083 
335.08/104.43	o 278082 
335.08/104.49	o 278073 
335.29/104.51	o 278072 
335.29/104.59	o 278071 
335.56/104.63	o 278063 
335.56/104.70	o 278062 
335.67/104.74	o 278061 
336.48/105.08	o 278060 
337.67/105.36	o 278054 
337.67/105.39	o 278053 
337.86/105.43	o 278052 
338.68/105.70	o 278035 
338.68/105.74	o 278034 
339.01/105.90	o 278033 
339.12/105.94	o 278013 
339.12/105.98	o 278012 
339.33/106.04	o 278003 
339.52/106.12	o 278002 
339.89/106.21	o 277995 
339.89/106.22	o 277994 
339.89/106.26	o 277993 
340.23/106.35	o 277992 
340.66/106.63	o 277983 
340.66/106.67	o 277982 
340.81/106.72	o 277973 
340.81/106.78	o 277972 
341.05/106.82	o 277971 
341.28/106.99	o 277963 
341.45/107.06	o 277962 
341.68/107.16	o 277961 
342.71/107.34	o 277960 
344.74/107.76	o 277954 
344.74/107.76	o 277953 
344.90/107.80	o 277952 
345.28/107.95	o 277926 
345.28/108.00	o 277925 
345.43/108.08	o 277924 
345.70/108.13	o 277904 
345.70/108.18	o 277903 
345.95/108.22	o 277894 
345.95/108.27	o 277893 
346.33/108.36	o 277886 
346.72/108.63	o 277885 
346.72/108.70	o 277884 
346.88/108.76	o 277883 
347.23/108.99	o 277874 
347.38/109.10	o 277873 
347.56/109.17	o 277864 
347.75/109.22	o 277863 
347.75/109.26	o 277862 
347.96/109.35	o 277854 
347.96/109.38	o 277853 
348.14/109.42	o 277852 
348.14/109.49	o 277851 
348.48/109.53	o 277850 
348.66/109.62	o 277842 
348.66/109.63	o 277841 
349.03/109.88	o 277840 
349.21/109.95	o 277834 
349.21/110.00	o 277833 
349.65/110.04	o 277832 
350.33/110.27	o 277794 
350.45/110.38	o 277793 
350.57/110.41	o 277792 
350.57/110.45	o 277791 
350.86/110.51	o 277772 
350.86/110.51	o 277771 
350.86/110.56	o 277770 
351.08/110.65	o 277762 
351.08/110.69	o 277761 
351.34/110.73	o 277760 
351.77/110.82	o 277756 
351.99/111.10	o 277755 
352.10/111.14	o 277754 
352.10/111.17	o 277753 
352.30/111.21	o 277752 
352.30/111.29	o 277743 
352.79/111.46	o 277742 
352.99/111.54	o 277741 
353.24/111.62	o 277733 
353.43/111.73	o 277732 
353.65/111.80	o 277731 
354.18/111.96	o 277705 
354.69/112.33	o 277704 
354.87/112.41	o 277703 
354.87/112.48	o 277702 
355.17/112.57	o 277683 
355.17/112.58	o 277682 
355.70/112.86	o 277681 
355.87/112.91	o 277673 
355.87/112.96	o 277672 
356.23/113.14	o 277671 
356.59/113.21	o 277665 
356.59/113.25	o 277664 
356.78/113.36	o 277663 
356.93/113.40	o 277662 
357.48/113.76	o 277661 
357.84/113.84	o 277653 
357.84/113.84	o 277652 
358.10/113.92	o 277651 
358.10/113.98	o 277643 
358.29/114.02	o 277642 
358.29/114.11	o 277641 
358.47/114.15	o 277640 
358.72/114.25	o 277633 
358.72/114.29	o 277632 
358.72/114.29	o 277631 
359.14/114.57	o 277630 
359.40/114.66	o 277614 
359.75/114.70	o 277613 
360.01/114.86	o 277612 
360.23/114.95	o 277611 
360.23/114.99	o 277592 
360.90/115.21	o 277591 
360.90/115.26	o 277590 
361.20/115.31	o 277582 
361.20/115.39	o 277581 
361.44/115.42	o 277580 
361.99/115.58	o 277574 
362.13/115.62	o 277573 
362.13/115.62	o 277572 
362.13/115.66	o 277571 
362.53/115.86	o 277570 
362.75/115.92	o 277562 
362.75/115.97	o 277561 
362.99/116.02	o 277560 
362.99/116.06	o 277552 
362.99/116.06	o 277551 
362.99/116.10	o 277550 
363.15/116.11	o 277549 
363.15/116.17	o 277542 
363.45/116.22	o 277541 
363.45/116.28	o 277540 
363.63/116.32	o 277539 
364.43/116.64	o 277538 
367.77/117.30	o 277518 
367.77/117.35	o 277517 
368.00/117.45	o 277516 
368.38/117.56	o 277477 
368.67/117.60	o 277476 
368.67/117.60	o 277376 
368.67/117.66	o 277375 
368.91/117.73	o 277374 
369.33/117.96	o 277285 
369.33/117.96	o 277284 
369.54/118.05	o 277283 
370.63/118.24	o 277276 
370.63/118.26	o 277275 
370.87/118.31	o 277185 
371.06/118.41	o 277184 
371.52/118.54	o 277183 
372.00/118.82	o 277163 
372.00/118.83	o 277162 
372.00/118.89	o 277153 
372.16/119.00	o 277152 
372.87/119.12	o 277151 
375.34/119.54	o 277144 
375.34/119.54	o 277143 
375.45/119.60	o 277134 
375.45/119.68	o 277133 
376.42/119.92	o 277132 
380.25/120.52	o 277085 
380.25/120.59	o 277084 
380.68/120.72	o 277076 
380.68/120.72	o 277075 
380.92/120.85	o 277074 
381.39/121.08	o 277054 
381.51/121.14	o 277053 
381.51/121.19	o 277044 
381.63/121.28	o 277043 
382.13/121.51	o 276985 
382.30/121.60	o 276984 
382.60/121.77	o 276983 
382.84/121.84	o 276963 
383.05/121.93	o 276962 
383.05/121.98	o 276953 
383.32/122.19	o 276952 
383.41/122.30	o 276944 
383.74/122.34	o 276943 
383.74/122.38	o 276934 
383.74/122.38	o 276933 
384.28/122.56	o 276932 
384.55/122.65	o 276923 
384.71/122.74	o 276922 
385.06/122.97	o 276914 
385.17/123.05	o 276913 
385.17/123.10	o 276904 
385.43/123.26	o 276903 
385.65/123.34	o 276855 
385.80/123.42	o 276854 
386.14/123.65	o 276853 
386.37/123.76	o 276852 
386.83/123.99	o 276833 
386.95/124.03	o 276832 
387.16/124.12	o 276831 
387.16/124.16	o 276823 
387.54/124.32	o 276822 
387.54/124.39	o 276821 
388.02/124.52	o 276814 
388.14/124.70	o 276813 
388.39/124.81	o 276812 
388.60/124.92	o 276804 
388.87/125.15	o 276803 
388.98/125.23	o 276802 
389.50/125.46	o 276764 
389.78/125.68	o 276763 
390.10/125.83	o 276762 
390.10/125.88	o 276761 
390.63/126.03	o 276742 
390.63/126.09	o 276741 
390.82/126.14	o 276740 
390.82/126.19	o 276732 
391.02/126.23	o 276731 
391.02/126.27	o 276730 
391.46/126.42	o 276723 
391.61/126.60	o 276722 
392.01/126.83	o 276721 
392.01/126.87	o 276713 
392.19/126.92	o 276712 
392.36/127.07	o 276711 
396.61/127.64	o 276710 
397.09/127.77	o 276706 
398.15/128.63	o 276696 
398.31/128.75	o 276695 
398.31/128.79	o 276685 
398.43/128.82	o 276675 
399.12/129.39	o 276674 
399.53/129.60	o 276673 
400.23/129.83	o 276664 
400.53/130.06	o 276663 
400.83/130.28	o 276654 
401.09/130.49	o 276653 
401.46/130.73	o 276652 
401.69/130.81	o 276644 
401.92/130.97	o 276643 
402.08/131.04	o 276642 
402.60/131.13	o 276641 
404.25/131.96	o 276635 
404.25/131.98	o 276634 
405.31/132.70	o 276633 
405.51/132.82	o 276625 
406.12/133.47	o 276624 
406.30/133.51	o 276623 
408.88/134.28	o 276622 
411.71/134.94	o 276614 
411.71/134.98	o 276613 
412.20/135.37	o 276612 
412.44/135.44	o 276586 
412.44/135.45	o 276585 
412.89/135.79	o 276584 
413.04/135.85	o 276583 
413.47/136.15	o 276564 
413.65/136.21	o 276563 
413.85/136.42	o 276562 
413.85/136.48	o 276554 
413.85/136.48	o 276553 
414.12/136.52	o 276552 
414.41/136.60	o 276546 
414.55/136.78	o 276545 
414.70/136.89	o 276544 
414.84/136.99	o 276543 
415.07/137.10	o 276542 
415.07/137.11	o 276534 
415.19/137.15	o 276533 
415.19/137.16	o 276532 
415.37/137.27	o 276524 
415.37/137.30	o 276523 
415.76/137.42	o 276522 
415.76/137.47	o 276521 
415.76/137.48	o 276514 
415.91/137.53	o 276513 
415.91/137.53	o 276512 
416.13/137.65	o 276511 
416.47/137.79	o 276495 
416.64/137.87	o 276494 
416.82/137.98	o 276493 
417.02/138.02	o 276492 
417.02/138.09	o 276473 
417.28/138.11	o 276472 
417.28/138.16	o 276471 
417.53/138.26	o 276463 
417.53/138.26	o 276462 
417.70/138.31	o 276461 
417.70/138.38	o 276455 
417.70/138.39	o 276454 
418.07/138.47	o 276453 
418.34/138.62	o 276452 
418.34/138.68	o 276451 
418.67/138.76	o 276443 
418.82/138.84	o 276442 
418.82/138.89	o 276441 
418.97/138.97	o 276433 
419.15/139.04	o 276432 
419.15/139.09	o 276431 
419.45/139.22	o 276430 
419.64/139.32	o 276423 
419.64/139.33	o 276422 
419.81/139.43	o 276421 
420.00/139.54	o 276420 
421.31/139.78	o 276419 
422.15/139.91	o 276414 
422.15/139.93	o 276413 
422.42/140.08	o 276412 
422.68/140.18	o 276411 
423.08/140.31	o 276410 
423.08/140.39	o 276404 
423.36/140.45	o 276403 
423.55/140.55	o 276402 
423.73/140.65	o 276401 
423.97/140.71	o 276400 
434.28/142.10	o 276399 
434.54/142.13	o 276398 
434.66/142.22	o 276397 
435.25/142.34	o 276390 
435.25/142.39	o 276389 
435.53/142.43	o 276388 
436.08/142.56	o 276380 
436.32/142.60	o 276379 
436.32/142.65	o 276378 
439.90/143.14	o 276377 
440.02/143.20	o 276376 
477.18/148.00	o 276371 
477.18/148.00	o 276370 
477.29/148.06	o 276369 
494.96/150.36	o 276368 
495.12/150.40	o 276367 
526.48/154.75	o 119889 
526.82/154.96	o 118989 
527.15/155.16	o 118889 
527.15/155.18	o 118879 
527.67/155.35	o 118311 
527.90/155.53	o 118211 
528.17/155.70	o 118210 
528.31/155.88	o 118110 
528.58/156.05	o 118100 
528.58/156.06	o 118010 
528.81/156.26	o 118000 
528.81/156.27	o 117990 
529.13/156.45	o 117989 
1295.43/252.55	o 64520 
1296.58/252.79	o 64511 
19385.69/2520.09	s SATISFIABLE
19385.69/2520.09	v <instantiation>
19385.69/2520.09	v 	<list>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] 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] 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] 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] </list>
19385.69/2520.09	v 	<values>680 442 16 254 470 708 16 254 296 58 16 254 16 254 254 16 526 764 526 764 30 268 30 268 792 554 456 694 540 778 16 254 512 750 484 722 414 652 16 254 58 296 58 296 142 380 540 778 16 254 240 478 16 254 526 764 554 792 16 254 142 380 414 652 484 722 16 254 750 512 526 764 156 394 736 498 414 652 16 254 792 554 792 554 792 554 680 442 526 764 16 254 554 792 44 282 72 310 414 652 72 310 100 338 526 764 86 324 792 554 240 478 540 778 456 694 540 778 652 414 540 778 16 254 268 30 680 442 30 268 526 764 428 666 72 310 512 750 86 324 16 254 554 792 526 764 170 408 30 268 296 58 484 722 16 254 16 254 708 470 554 792 16 254 484 722 254 16 408 170 170 408 16 254 456 694 442 680 268 30 478 240 156 394 680 442 764 526 736 498 16 254 240 478 16 254 16 254 30 268 750 512 114 352 778 540 100 338 16 254 58 296 16 254 652 414 268 30 240 478 484 722 268 30 554 792 792 554 414 652 526 764 512 750 554 792 442 680 652 414 470 708 44 282 128 366 170 408 722 484 554 792 240 478 254 16 652 414 414 652 58 296 44 282 778 540 16 254 58 296 554 792 408 170 30 268 540 778 540 778 16 254 380 142 156 394 484 722 554 792 554 792 708 470 792 554 30 268 58 296 16 254 324 86 792 554 778 540 16 254 30 268 30 268 722 484 114 352 540 778 16 254 86 324 512 750 30 268 114 352 394 156 142 380 16 254 722 484 16 254 16 254 554 792 128 366 16 254 16 254 540 778 498 736 498 736 498 736 142 380 540 778 142 380 526 764 540 778 512 750 268 30 100 338 16 254 44 282 30 268 268 30 554 792 240 478 512 750 128 366 554 792 170 408 16 254 498 736 470 708 1000 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 1000 1000 1000 1000 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 1000 1000 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 100 0 100 0 0 0 0 100 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 100 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 100 100 100 0 0 0 100 0 0 0 0 100 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 100 100 0 0 0 0 0 0 0 100 0 100 100 0 0 100 0 100 0 0 0 0 0 0 100 0 0 0 100 0 0 100 0 100 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 100 0 0 0 100 0 100 100 100 0 0 0 0 100 0 100 0 100 0 0 100 100 100 100 0 100 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 100 100 100 0 100 0 0 100 0 0 100 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 100 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 100 0 0 0 100 0 0 0 0 100 0 0 100 0 0 100 0 0 100 100 0 0 0 10 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 10 10 0 0 10 0 10 10 0 0 10 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 10 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 10 0 0 10 0 0 10 0 10 0 10 0 10 0 0 0 0 0 0 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 10 10 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 10 0 0 0 10 10 0 10 0 0 0 0 0 0 0 0 0 10 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 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 0 0 0 1 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 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 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 </values>
19385.69/2520.09	v </instantiation>
19385.69/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	64511

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297878-1532705499/watcher-4297878-1532705499 -o /tmp/evaluation-result-4297878-1532705499/solver-4297878-1532705499 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1532702978-20723 --watchdog 2580 HOME/xcsp3-exec -seed 229251502 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297878-1532705499.xml 

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

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


[startup+0.10014 s]*
/proc/loadavg: 7.60 8.18 8.14 3/205 21830
/proc/meminfo: memFree=27341212/32770624 swapFree=67108860/67108860
[pid=21809] ppid=21806 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21809/stat : 21809 (xcsp3-exec) S 21806 21809 20696 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 88113116 115843072 363 33554432000 4194304 5098028 140721565544160 140721565542264 140076650369660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25321472 140721565545526 140721565545728 140721565545728 140721565548490 0
/proc/21809/statm: 28282 363 306 221 0 87 0
[pid=21811] ppid=21809 vsize=26104152 memory=29404 CPUtime=0.12 cores=0-7
/proc/21811/stat : 21811 (java) S 21809 21809 20696 0 -1 1077944320 5768 0 0 0 11 1 0 0 20 0 20 0 88113116 26730651648 7351 33554432000 4194304 4196468 140735209744448 140735209726992 140341954379511 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
/proc/21811/statm: 6526038 7351 2996 1 0 6488315 0
[pid=21811/tid=21812] ppid=21809 vsize=26104152 memory=8256676399481264792 CPUtime=0.08 cores=0-7
/proc/21811/task/21812/stat : 21812 (java) R 21809 21809 20696 0 -1 4202560 3781 0 0 0 8 0 0 0 20 0 20 0 88113116 26730651648 7351 33554432000 4194304 4196468 140735209744448 140341958618304 140341954391446 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21813] ppid=21809 vsize=26104152 memory=732369909573180389 CPUtime=0 cores=0-7
/proc/21811/task/21813/stat : 21813 (java) S 21809 21809 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88113117 26730651648 7351 33554432000 4194304 4196468 140735209744448 140341907000080 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21814] ppid=21809 vsize=26104152 memory=139771235726976 CPUtime=0 cores=0-7
/proc/21811/task/21814/stat : 21814 (java) S 21809 21809 20696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88113117 26730651648 7351 33554432000 4194304 4196468 140735209744448 140341905947536 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21815] ppid=21809 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21815/stat : 21815 (java) S 21809 21809 20696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88113117 26730651648 7351 33554432000 4194304 4196468 140735209744448 140341904894992 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21816] ppid=21809 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21816/stat : 21816 (java) S 21809 21809 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88113117 26730651648 7351 33554432000 4194304 4196468 140735209744448 140341903842448 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21817] ppid=21809 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21817/stat : 21817 (java) S 21809 21809 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88113117 26730651648 7351 33554432000 4194304 4196468 140735209744448 140341902788880 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21818] ppid=21809 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/21811/task/21818/stat : 21818 (java) S 21809 21809 20696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88113117 26730651648 7351 33554432000 4194304 4196468 140735209744448 140341901736336 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21819] ppid=21809 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21819/stat : 21819 (java) S 21809 21809 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88113117 26730651648 7351 33554432000 4194304 4196468 140735209744448 140341900683792 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21820] ppid=21809 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21820/stat : 21820 (java) S 21809 21809 20696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88113117 26730651648 7351 33554432000 4194304 4196468 140735209744448 140341899631248 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21821] ppid=21809 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21821/stat : 21821 (java) S 21809 21809 20696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88113118 26730651648 7351 33554432000 4194304 4196468 140735209744448 140341081741808 140341954390658 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21822] ppid=21809 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21822/stat : 21822 (java) S 21809 21809 20696 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88113119 26730651648 7351 33554432000 4194304 4196468 140735209744448 140341080688032 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21823] ppid=21809 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21823/stat : 21823 (java) S 21809 21809 20696 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88113119 26730651648 7351 33554432000 4194304 4196468 140735209744448 140341079635440 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21824] ppid=21809 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21824/stat : 21824 (java) S 21809 21809 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88113122 26730651648 7351 33554432000 4194304 4196468 140735209744448 140341078584016 140341954398107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21825] ppid=21809 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21825/stat : 21825 (java) S 21809 21809 20696 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 20 0 88113122 26730651648 7351 33554432000 4194304 4196468 140735209744448 140341077530608 140341954390658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21826] ppid=21809 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21826/stat : 21826 (java) S 21809 21809 20696 0 -1 1077944384 118 0 0 0 0 0 0 0 20 0 20 0 88113122 26730651648 7351 33554432000 4194304 4196468 140735209744448 140340086958192 140341954390658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21827] ppid=21809 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21827/stat : 21827 (java) S 21809 21809 20696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88113122 26730651648 7351 33554432000 4194304 4196468 140735209744448 140340085905648 140341954390658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21828] ppid=21809 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/21811/task/21828/stat : 21828 (java) R 21809 21809 20696 0 -1 4202560 237 0 0 0 1 0 0 0 20 0 20 0 88113122 26730651648 7351 33554432000 4194304 4196468 140735209744448 140340084853104 140341954391446 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21829] ppid=21809 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21829/stat : 21829 (java) S 21809 21809 20696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88113122 26730651648 7351 33554432000 4194304 4196468 140735209744448 140340083800800 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21830] ppid=21809 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/21811/task/21830/stat : 21830 (java) S 21809 21809 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88113122 26730651648 7351 33554432000 4194304 4196468 140735209744448 140340082748336 140341954390658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 30856 KiB

[startup+0.210269 s]*
/proc/loadavg: 7.60 8.18 8.14 4/205 21830
/proc/meminfo: memFree=27329912/32770624 swapFree=67108860/67108860
[pid=21809] ppid=21806 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21809/stat : 21809 (xcsp3-exec) S 21806 21809 20696 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 88113116 115843072 363 33554432000 4194304 5098028 140721565544160 140721565542264 140076650369660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25321472 140721565545526 140721565545728 140721565545728 140721565548490 0
/proc/21809/statm: 28282 363 306 221 0 87 0
[pid=21811] ppid=21809 vsize=26104152 memory=41652 CPUtime=0.33 cores=0-7
/proc/21811/stat : 21811 (java) S 21809 21809 20696 0 -1 1077944320 8485 0 0 0 32 1 0 0 20 0 20 0 88113116 26730651648 10413 33554432000 4194304 4196468 140735209744448 140735209726992 140341954379511 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
/proc/21811/statm: 6526038 10413 3188 1 0 6488315 0
[pid=21811/tid=21812] ppid=21809 vsize=26104152 memory=0 CPUtime=0.2 cores=0-7
/proc/21811/task/21812/stat : 21812 (java) R 21809 21809 20696 0 -1 4202560 5592 0 0 0 19 1 0 0 20 0 20 0 88113116 26730651648 10413 33554432000 4194304 4196468 140735209744448 140341958611424 140341938459998 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21813] ppid=21809 vsize=26104152 memory=732369909573180389 CPUtime=0 cores=0-7
/proc/21811/task/21813/stat : 21813 (java) S 21809 21809 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88113117 26730651648 10413 33554432000 4194304 4196468 140735209744448 140341907000080 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21814] ppid=21809 vsize=26104152 memory=139771235726976 CPUtime=0 cores=0-7
/proc/21811/task/21814/stat : 21814 (java) S 21809 21809 20696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88113117 26730651648 10413 33554432000 4194304 4196468 140735209744448 140341905947536 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21815] ppid=21809 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21815/stat : 21815 (java) S 21809 21809 20696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88113117 26730651648 10413 33554432000 4194304 4196468 140735209744448 140341904894992 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21816] ppid=21809 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21816/stat : 21816 (java) S 21809 21809 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88113117 26730651648 10413 33554432000 4194304 4196468 140735209744448 140341903842448 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21817] ppid=21809 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21817/stat : 21817 (java) S 21809 21809 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88113117 26730651648 10413 33554432000 4194304 4196468 140735209744448 140341902788880 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21818] ppid=21809 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/21811/task/21818/stat : 21818 (java) S 21809 21809 20696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88113117 26730651648 10413 33554432000 4194304 4196468 140735209744448 140341901736336 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21819] ppid=21809 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21819/stat : 21819 (java) S 21809 21809 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88113117 26730651648 10413 33554432000 4194304 4196468 140735209744448 140341900683792 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21820] ppid=21809 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21820/stat : 21820 (java) S 21809 21809 20696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88113117 26730651648 10413 33554432000 4194304 4196468 140735209744448 140341899631248 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21821] ppid=21809 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21821/stat : 21821 (java) S 21809 21809 20696 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88113118 26730651648 10413 33554432000 4194304 4196468 140735209744448 140341081741808 140341954390658 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21822] ppid=21809 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21822/stat : 21822 (java) S 21809 21809 20696 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88113119 26730651648 10413 33554432000 4194304 4196468 140735209744448 140341080688032 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21823] ppid=21809 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21823/stat : 21823 (java) S 21809 21809 20696 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88113119 26730651648 10413 33554432000 4194304 4196468 140735209744448 140341079635440 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21824] ppid=21809 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21824/stat : 21824 (java) S 21809 21809 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88113122 26730651648 10413 33554432000 4194304 4196468 140735209744448 140341078584016 140341954398107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21825] ppid=21809 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/21811/task/21825/stat : 21825 (java) S 21809 21809 20696 0 -1 1077944384 580 0 0 0 1 0 0 0 20 0 20 0 88113122 26730651648 10413 33554432000 4194304 4196468 140735209744448 140341077530608 140341954390658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21826] ppid=21809 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/21811/task/21826/stat : 21826 (java) S 21809 21809 20696 0 -1 1077944384 158 0 0 0 1 0 0 0 20 0 20 0 88113122 26730651648 10413 33554432000 4194304 4196468 140735209744448 140340086958192 140341954390658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21827] ppid=21809 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/21811/task/21827/stat : 21827 (java) S 21809 21809 20696 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 20 0 88113122 26730651648 10413 33554432000 4194304 4196468 140735209744448 140340085905648 140341954390658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21828] ppid=21809 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7
/proc/21811/task/21828/stat : 21828 (java) S 21809 21809 20696 0 -1 1077944384 743 0 0 0 7 0 0 0 20 0 20 0 88113122 26730651648 10413 33554432000 4194304 4196468 140735209744448 140340084853104 140341954390658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21829] ppid=21809 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21829/stat : 21829 (java) S 21809 21809 20696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88113122 26730651648 10413 33554432000 4194304 4196468 140735209744448 140340083800800 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21830] ppid=21809 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/21811/task/21830/stat : 21830 (java) S 21809 21809 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88113122 26730651648 10413 33554432000 4194304 4196468 140735209744448 140340082748336 140341954390658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 43104 KiB

[startup+0.310127 s]*
/proc/loadavg: 7.60 8.18 8.14 5/205 21830
/proc/meminfo: memFree=27324340/32770624 swapFree=67108860/67108860
[pid=21809] ppid=21806 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21809/stat : 21809 (xcsp3-exec) S 21806 21809 20696 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 88113116 115843072 363 33554432000 4194304 5098028 140721565544160 140721565542264 140076650369660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25321472 140721565545526 140721565545728 140721565545728 140721565548490 0
/proc/21809/statm: 28282 363 306 221 0 87 0
[pid=21811] ppid=21809 vsize=26108408 memory=48636 CPUtime=0.51 cores=0-7
/proc/21811/stat : 21811 (java) S 21809 21809 20696 0 -1 1077944320 9366 0 0 0 49 2 0 0 20 0 20 0 88113116 26735009792 12159 33554432000 4194304 4196468 140735209744448 140735209726992 140341954379511 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
/proc/21811/statm: 6527102 12159 3237 1 0 6488315 0
[pid=21811/tid=21812] ppid=21809 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/21811/task/21812/stat : 21812 (java) R 21809 21809 20696 0 -1 4202560 6282 0 0 0 28 1 0 0 20 0 20 0 88113116 26735009792 12180 33554432000 4194304 4196468 140735209744448 140341958610704 140341947096474 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21813] ppid=21809 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21813/stat : 21813 (java) S 21809 21809 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88113117 26735009792 12180 33554432000 4194304 4196468 140735209744448 140341907000080 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21814] ppid=21809 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21814/stat : 21814 (java) S 21809 21809 20696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88113117 26735009792 12180 33554432000 4194304 4196468 140735209744448 140341905947536 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21815] ppid=21809 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21815/stat : 21815 (java) S 21809 21809 20696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88113117 26735009792 12180 33554432000 4194304 4196468 140735209744448 140341904894992 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21816] ppid=21809 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21816/stat : 21816 (java) S 21809 21809 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88113117 26735009792 12180 33554432000 4194304 4196468 140735209744448 140341903842448 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21817] ppid=21809 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/21811/task/21817/stat : 21817 (java) S 21809 21809 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88113117 26735009792 12180 33554432000 4194304 4196468 140735209744448 140341902788880 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21818] ppid=21809 vsize=26108408 memory=139771120808879 CPUtime=0 cores=0-7
/proc/21811/task/21818/stat : 21818 (java) S 21809 21809 20696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88113117 26735009792 12180 33554432000 4194304 4196468 140735209744448 140341901736336 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21819] ppid=21809 vsize=26108408 memory=139771120811184 CPUtime=0 cores=0-7
/proc/21811/task/21819/stat : 21819 (java) S 21809 21809 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88113117 26735009792 12180 33554432000 4194304 4196468 140735209744448 140341900683792 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21820] ppid=21809 vsize=26108408 memory=139771120813488 CPUtime=0 cores=0-7
/proc/21811/task/21820/stat : 21820 (java) S 21809 21809 20696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88113117 26735009792 12180 33554432000 4194304 4196468 140735209744448 140341899631248 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21821] ppid=21809 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21821/stat : 21821 (java) S 21809 21809 20696 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88113118 26735009792 12180 33554432000 4194304 4196468 140735209744448 140341081741808 140341954390658 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21822] ppid=21809 vsize=26108408 memory=279542241633936 CPUtime=0 cores=0-7
/proc/21811/task/21822/stat : 21822 (java) S 21809 21809 20696 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88113119 26735009792 12180 33554432000 4194304 4196468 140735209744448 140341080688032 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21823] ppid=21809 vsize=26108408 memory=279542241640848 CPUtime=0 cores=0-7
/proc/21811/task/21823/stat : 21823 (java) S 21809 21809 20696 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88113119 26735009792 12180 33554432000 4194304 4196468 140735209744448 140341079635440 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21824] ppid=21809 vsize=26108408 memory=279542241582128 CPUtime=0 cores=0-7
/proc/21811/task/21824/stat : 21824 (java) S 21809 21809 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88113122 26735009792 12180 33554432000 4194304 4196468 140735209744448 140341078584016 140341954398107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21825] ppid=21809 vsize=26108408 memory=279542241654672 CPUtime=0.04 cores=0-7
/proc/21811/task/21825/stat : 21825 (java) R 21809 21809 20696 0 -1 4202560 683 0 0 0 4 0 0 0 20 0 20 0 88113122 26735009792 12180 33554432000 4194304 4196468 140735209744448 140341077520992 140341935923804 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21826] ppid=21809 vsize=26108408 memory=279542241661584 CPUtime=0.02 cores=0-7
/proc/21811/task/21826/stat : 21826 (java) S 21809 21809 20696 0 -1 1077944384 166 0 0 0 2 0 0 0 20 0 20 0 88113122 26735009792 12180 33554432000 4194304 4196468 140735209744448 140340086958192 140341954390658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21827] ppid=21809 vsize=26108408 memory=279542241659280 CPUtime=0.02 cores=0-7
/proc/21811/task/21827/stat : 21827 (java) S 21809 21809 20696 0 -1 1077944384 109 0 0 0 2 0 0 0 20 0 20 0 88113122 26735009792 12180 33554432000 4194304 4196468 140735209744448 140340085905648 140341954390658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21828] ppid=21809 vsize=26108408 memory=279542241675440 CPUtime=0.12 cores=0-7
/proc/21811/task/21828/stat : 21828 (java) S 21809 21809 20696 0 -1 1077944384 815 0 0 0 12 0 0 0 20 0 20 0 88113122 26735009792 12180 33554432000 4194304 4196468 140735209744448 140340084853104 140341954390658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21829] ppid=21809 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21829/stat : 21829 (java) S 21809 21809 20696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88113122 26735009792 12180 33554432000 4194304 4196468 140735209744448 140340083800800 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21830] ppid=21809 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/21811/task/21830/stat : 21830 (java) S 21809 21809 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88113122 26735009792 12180 33554432000 4194304 4196468 140735209744448 140340082748336 140341954390658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 50088 KiB

[startup+0.700999 s]
/proc/loadavg: 7.60 8.18 8.14 6/205 21830
/proc/meminfo: memFree=27297044/32770624 swapFree=67108860/67108860
[pid=21809] ppid=21806 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21809/stat : 21809 (xcsp3-exec) S 21806 21809 20696 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 88113116 115843072 363 33554432000 4194304 5098028 140721565544160 140721565542264 140076650369660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25321472 140721565545526 140721565545728 140721565545728 140721565548490 0
/proc/21809/statm: 28282 363 306 221 0 87 0
[pid=21811] ppid=21809 vsize=26110532 memory=106448 CPUtime=1.98 cores=0-7
/proc/21811/stat : 21811 (java) S 21809 21809 20696 0 -1 1077944320 15296 0 0 0 194 4 0 0 20 0 20 0 88113116 26737184768 26612 33554432000 4194304 4196468 140735209744448 140735209726992 140341954379511 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
/proc/21811/statm: 6527633 26612 3359 1 0 6488827 0
[pid=21811/tid=21812] ppid=21809 vsize=26110532 memory=279542241970368 CPUtime=0.67 cores=0-7
/proc/21811/task/21812/stat : 21812 (java) R 21809 21809 20696 0 -1 4202560 7116 0 0 0 65 2 0 0 20 0 20 0 88113116 26737184768 26612 33554432000 4194304 4196468 140735209744448 140341958612320 140341954391446 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21813] ppid=21809 vsize=26110532 memory=5132485919913 CPUtime=0 cores=0-7
/proc/21811/task/21813/stat : 21813 (java) S 21809 21809 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88113117 26737184768 26612 33554432000 4194304 4196468 140735209744448 140341907000080 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21814] ppid=21809 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21814/stat : 21814 (java) S 21809 21809 20696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88113117 26737184768 26612 33554432000 4194304 4196468 140735209744448 140341905947536 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21815] ppid=21809 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/21811/task/21815/stat : 21815 (java) S 21809 21809 20696 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88113117 26737184768 26612 33554432000 4194304 4196468 140735209744448 140341904894992 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0

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

[pid=21811/tid=30057] ppid=21809 vsize=26711656 memory=4592932 CPUtime=2174.53 cores=0-7
/proc/21811/task/30057/stat : 30057 (java) R 21809 21809 20696 0 -1 4202560 12304 0 0 0 217446 7 0 0 20 0 28 0 88138396 27352735744 1148233 33554432000 4194304 4196468 140735209744448 140339756987464 140341566031453 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
Current children cumulated CPU time: 18765.7 s
Current children cumulated vsize: 26824784 KiB
Current children cumulated memory: 4594384 KiB

[startup+2502.3 s]
/proc/loadavg: 8.79 8.48 8.32 11/212 30125
/proc/meminfo: memFree=22807288/32770624 swapFree=67108860/67108860
[pid=21809] ppid=21806 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21809/stat : 21809 (xcsp3-exec) S 21806 21809 20696 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 88113116 115843072 363 33554432000 4194304 5098028 140721565544160 140721565542264 140076650369660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25321472 140721565545526 140721565545728 140721565545728 140721565548490 0
/proc/21809/statm: 28282 363 306 221 0 87 0
[pid=21811] ppid=21809 vsize=26711656 memory=4556512 CPUtime=19244.4 cores=0-7
/proc/21811/stat : 21811 (java) S 21809 21809 20696 0 -1 1077944320 505318 0 0 0 1922829 1610 0 0 20 0 28 0 88113116 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140735209726992 140341954379511 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
/proc/21811/statm: 6677914 1139128 3465 1 0 6639108 0
[pid=21811/tid=21812] ppid=21809 vsize=26711656 memory=1452 CPUtime=15.04 cores=0-7
/proc/21811/task/21812/stat : 21812 (java) S 21809 21809 20696 0 -1 1077944384 16622 0 0 0 1478 26 0 0 20 0 28 0 88113116 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140341958620224 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21813] ppid=21809 vsize=26711656 memory=4646284 CPUtime=4.39 cores=0-7
/proc/21811/task/21813/stat : 21813 (java) S 21809 21809 20696 0 -1 1077944384 10581 0 0 0 301 138 0 0 20 0 28 0 88113117 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140341907000080 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21814] ppid=21809 vsize=26711656 memory=5175292 CPUtime=4.43 cores=0-7
/proc/21811/task/21814/stat : 21814 (java) S 21809 21809 20696 0 -1 1077944384 8542 0 0 0 306 137 0 0 20 0 28 0 88113117 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140341905947536 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21815] ppid=21809 vsize=26711656 memory=4934032 CPUtime=4.4 cores=0-7
/proc/21811/task/21815/stat : 21815 (java) S 21809 21809 20696 0 -1 1077944384 8861 0 0 0 305 135 0 0 20 0 28 0 88113117 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140341904894992 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21816] ppid=21809 vsize=26711656 memory=4934032 CPUtime=4.46 cores=0-7
/proc/21811/task/21816/stat : 21816 (java) S 21809 21809 20696 0 -1 1077944384 8939 0 0 0 306 140 0 0 20 0 28 0 88113117 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140341903842448 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21817] ppid=21809 vsize=26711656 memory=4843768 CPUtime=4.45 cores=0-7
/proc/21811/task/21817/stat : 21817 (java) S 21809 21809 20696 0 -1 1077944384 6349 0 0 0 304 141 0 0 20 0 28 0 88113117 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140341902788880 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21818] ppid=21809 vsize=26711656 memory=1452 CPUtime=4.43 cores=0-7
/proc/21811/task/21818/stat : 21818 (java) S 21809 21809 20696 0 -1 1077944384 7423 0 0 0 309 134 0 0 20 0 28 0 88113117 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140341901736336 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21819] ppid=21809 vsize=26711656 memory=4790416 CPUtime=4.46 cores=0-7
/proc/21811/task/21819/stat : 21819 (java) S 21809 21809 20696 0 -1 1077944384 7579 0 0 0 305 141 0 0 20 0 28 0 88113117 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140341900683792 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21820] ppid=21809 vsize=26711656 memory=4767848 CPUtime=4.45 cores=0-7
/proc/21811/task/21820/stat : 21820 (java) S 21809 21809 20696 0 -1 1077944384 8322 0 0 0 304 141 0 0 20 0 28 0 88113117 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140341899631248 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21821] ppid=21809 vsize=26711656 memory=4767848 CPUtime=0.31 cores=0-7
/proc/21811/task/21821/stat : 21821 (java) S 21809 21809 20696 0 -1 1077944384 15121 0 0 0 18 13 0 0 20 0 28 0 88113118 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140341081741808 140341954390658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21822] ppid=21809 vsize=26711656 memory=4722200 CPUtime=0 cores=0-7
/proc/21811/task/21822/stat : 21822 (java) S 21809 21809 20696 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 88113119 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140341080688096 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21823] ppid=21809 vsize=26711656 memory=4723248 CPUtime=0 cores=0-7
/proc/21811/task/21823/stat : 21823 (java) S 21809 21809 20696 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 88113119 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140341079635456 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21824] ppid=21809 vsize=26711656 memory=4699648 CPUtime=0 cores=0-7
/proc/21811/task/21824/stat : 21824 (java) S 21809 21809 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88113122 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140341078584016 140341954398107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21825] ppid=21809 vsize=26711656 memory=4699648 CPUtime=5.32 cores=0-7
/proc/21811/task/21825/stat : 21825 (java) S 21809 21809 20696 0 -1 1077944384 38578 0 0 0 526 6 0 0 20 0 28 0 88113122 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140341077530608 140341954390658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21826] ppid=21809 vsize=26711656 memory=4592932 CPUtime=4.8 cores=0-7
/proc/21811/task/21826/stat : 21826 (java) S 21809 21809 20696 0 -1 1077944384 39085 0 0 0 474 6 0 0 20 0 28 0 88113122 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140340086958192 140341954390658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21827] ppid=21809 vsize=26711656 memory=4592932 CPUtime=4.69 cores=0-7
/proc/21811/task/21827/stat : 21827 (java) S 21809 21809 20696 0 -1 1077944384 39964 0 0 0 464 5 0 0 20 0 28 0 88113122 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140340085905648 140341954390658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 27 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21828] ppid=21809 vsize=26711656 memory=4556512 CPUtime=1.29 cores=0-7
/proc/21811/task/21828/stat : 21828 (java) S 21809 21809 20696 0 -1 1077944384 28112 0 0 0 124 5 0 0 20 0 28 0 88113122 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140340084853104 140341954390658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21829] ppid=21809 vsize=26711656 memory=4556512 CPUtime=0 cores=0-7
/proc/21811/task/21829/stat : 21829 (java) S 21809 21809 20696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88113122 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140340083800800 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21830] ppid=21809 vsize=26711656 memory=4556512 CPUtime=0.93 cores=0-7
/proc/21811/task/21830/stat : 21830 (java) S 21809 21809 20696 0 -1 1077944384 3916 0 0 0 40 53 0 0 20 0 28 0 88113122 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140340082748336 140341954390658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=30050] ppid=21809 vsize=26711656 memory=4556512 CPUtime=2228.7 cores=0-7
/proc/21811/task/30050/stat : 30050 (java) R 21809 21809 20696 0 -1 4202560 9766 0 0 0 222860 10 0 0 20 0 28 0 88138395 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140339760144272 140341565100771 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=30051] ppid=21809 vsize=26711656 memory=1452 CPUtime=2248.5 cores=0-7
/proc/21811/task/30051/stat : 30051 (java) R 21809 21809 20696 0 -1 4202560 11599 0 0 0 224837 13 0 0 20 0 28 0 88138395 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140339755935048 140341565111271 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=30052] ppid=21809 vsize=26711656 memory=1452 CPUtime=2244.27 cores=0-7
/proc/21811/task/30052/stat : 30052 (java) R 21809 21809 20696 0 -1 4202560 12254 0 0 0 224418 9 0 0 20 0 28 0 88138395 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140340071002568 140341565111690 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=30053] ppid=21809 vsize=26711656 memory=3560 CPUtime=2243.38 cores=0-7
/proc/21811/task/30053/stat : 30053 (java) R 21809 21809 20696 0 -1 4202560 43065 0 0 0 224248 90 0 0 20 0 28 0 88138396 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140339758039624 140341565111175 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=30054] ppid=21809 vsize=26711656 memory=1452 CPUtime=2248.52 cores=0-7
/proc/21811/task/30054/stat : 30054 (java) R 21809 21809 20696 0 -1 4202560 14428 0 0 0 224836 16 0 0 20 0 28 0 88138396 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140339762250440 140341566433599 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=30055] ppid=21809 vsize=26711656 memory=4556512 CPUtime=2248.99 cores=0-7
/proc/21811/task/30055/stat : 30055 (java) R 21809 21809 20696 0 -1 4202560 12109 0 0 0 224888 11 0 0 20 0 28 0 88138396 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140340072055624 140341565111168 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=30056] ppid=21809 vsize=26711656 memory=3560 CPUtime=2248.61 cores=0-7
/proc/21811/task/30056/stat : 30056 (java) R 21809 21809 20696 0 -1 4202560 28335 0 0 0 224844 17 0 0 20 0 28 0 88138396 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140339759095072 140341565101362 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=30057] ppid=21809 vsize=26711656 memory=3560 CPUtime=2233.29 cores=0-7
/proc/21811/task/30057/stat : 30057 (java) R 21809 21809 20696 0 -1 4202560 12499 0 0 0 223322 7 0 0 20 0 28 0 88138396 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140339756987464 140341565100870 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
Current children cumulated CPU time: 19244.4 s
Current children cumulated vsize: 26824784 KiB
Current children cumulated memory: 4557964 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.61 8.46 8.31 9/212 30125
/proc/meminfo: memFree=22807676/32770624 swapFree=67108860/67108860
[pid=21809] ppid=21806 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/21809/stat : 21809 (xcsp3-exec) S 21806 21809 20696 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 88113116 115843072 363 33554432000 4194304 5098028 140721565544160 140721565542264 140076650369660 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 25321472 140721565545526 140721565545728 140721565545728 140721565548490 0
/proc/21809/statm: 28282 363 306 221 0 87 0
[pid=21811] ppid=21809 vsize=26711656 memory=4556512 CPUtime=19385.7 cores=0-7
/proc/21811/stat : 21811 (java) S 21809 21809 20696 0 -1 1077944320 507392 0 0 0 1936958 1611 0 0 20 0 28 0 88113116 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140735209726992 140341954379511 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
/proc/21811/statm: 6677914 1139128 3465 1 0 6639108 0
[pid=21811/tid=21812] ppid=21809 vsize=26711656 memory=1398720917958146503 CPUtime=15.04 cores=0-7
/proc/21811/task/21812/stat : 21812 (java) S 21809 21809 20696 0 -1 1077944384 16622 0 0 0 1478 26 0 0 20 0 28 0 88113116 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140341958620224 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21813] ppid=21809 vsize=26711656 memory=4126316290023845779 CPUtime=4.39 cores=0-7
/proc/21811/task/21813/stat : 21813 (java) S 21809 21809 20696 0 -1 1077944384 10581 0 0 0 301 138 0 0 20 0 28 0 88113117 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140341907000080 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21814] ppid=21809 vsize=26711656 memory=1800 CPUtime=4.43 cores=0-7
/proc/21811/task/21814/stat : 21814 (java) S 21809 21809 20696 0 -1 1077944384 8542 0 0 0 306 137 0 0 20 0 28 0 88113117 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140341905947536 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21815] ppid=21809 vsize=26711656 memory=916 CPUtime=4.4 cores=0-7
/proc/21811/task/21815/stat : 21815 (java) S 21809 21809 20696 0 -1 1077944384 8861 0 0 0 305 135 0 0 20 0 28 0 88113117 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140341904894992 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21816] ppid=21809 vsize=26711656 memory=4216 CPUtime=4.46 cores=0-7
/proc/21811/task/21816/stat : 21816 (java) S 21809 21809 20696 0 -1 1077944384 8939 0 0 0 306 140 0 0 20 0 28 0 88113117 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140341903842448 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21817] ppid=21809 vsize=26711656 memory=6791534058613427641 CPUtime=4.45 cores=0-7
/proc/21811/task/21817/stat : 21817 (java) S 21809 21809 20696 0 -1 1077944384 6349 0 0 0 304 141 0 0 20 0 28 0 88113117 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140341902788880 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21818] ppid=21809 vsize=26711656 memory=968 CPUtime=4.43 cores=0-7
/proc/21811/task/21818/stat : 21818 (java) S 21809 21809 20696 0 -1 1077944384 7423 0 0 0 309 134 0 0 20 0 28 0 88113117 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140341901736336 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21819] ppid=21809 vsize=26711656 memory=12040 CPUtime=4.46 cores=0-7
/proc/21811/task/21819/stat : 21819 (java) S 21809 21809 20696 0 -1 1077944384 7579 0 0 0 305 141 0 0 20 0 28 0 88113117 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140341900683792 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21820] ppid=21809 vsize=26711656 memory=1696 CPUtime=4.45 cores=0-7
/proc/21811/task/21820/stat : 21820 (java) S 21809 21809 20696 0 -1 1077944384 8322 0 0 0 304 141 0 0 20 0 28 0 88113117 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140341899631248 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21821] ppid=21809 vsize=26711656 memory=8476 CPUtime=0.31 cores=0-7
/proc/21811/task/21821/stat : 21821 (java) S 21809 21809 20696 0 -1 1077944384 15125 0 0 0 18 13 0 0 20 0 28 0 88113118 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140341081741808 140341954390658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21822] ppid=21809 vsize=26711656 memory=4576 CPUtime=0 cores=0-7
/proc/21811/task/21822/stat : 21822 (java) S 21809 21809 20696 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 88113119 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140341080688096 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21823] ppid=21809 vsize=26711656 memory=15864 CPUtime=0 cores=0-7
/proc/21811/task/21823/stat : 21823 (java) S 21809 21809 20696 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 88113119 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140341079635456 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21824] ppid=21809 vsize=26711656 memory=288291090765972736 CPUtime=0 cores=0-7
/proc/21811/task/21824/stat : 21824 (java) S 21809 21809 20696 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88113122 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140341078584016 140341954398107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21825] ppid=21809 vsize=26711656 memory=301741390604534054 CPUtime=5.32 cores=0-7
/proc/21811/task/21825/stat : 21825 (java) S 21809 21809 20696 0 -1 1077944384 38587 0 0 0 526 6 0 0 20 0 28 0 88113122 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140341077530608 140341954390658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21826] ppid=21809 vsize=26711656 memory=288291090765972736 CPUtime=4.8 cores=0-7
/proc/21811/task/21826/stat : 21826 (java) S 21809 21809 20696 0 -1 1077944384 39086 0 0 0 474 6 0 0 20 0 28 0 88113122 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140340086958192 140341954390658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21827] ppid=21809 vsize=26711656 memory=288230591722422566 CPUtime=4.69 cores=0-7
/proc/21811/task/21827/stat : 21827 (java) S 21809 21809 20696 0 -1 1077944384 39965 0 0 0 464 5 0 0 20 0 28 0 88113122 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140340085905648 140341954390658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 27 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21828] ppid=21809 vsize=26711656 memory=288291090765972736 CPUtime=1.29 cores=0-7
/proc/21811/task/21828/stat : 21828 (java) S 21809 21809 20696 0 -1 1077944384 28113 0 0 0 124 5 0 0 20 0 28 0 88113122 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140340084853104 140341954390658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21829] ppid=21809 vsize=26711656 memory=8747226831578988619 CPUtime=0 cores=0-7
/proc/21811/task/21829/stat : 21829 (java) S 21809 21809 20696 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88113122 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140340083800800 140341954389717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=21830] ppid=21809 vsize=26711656 memory=2192 CPUtime=0.95 cores=0-7
/proc/21811/task/21830/stat : 21830 (java) S 21809 21809 20696 0 -1 1077944384 3942 0 0 0 41 54 0 0 20 0 28 0 88113122 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140340082748336 140341954390658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=30050] ppid=21809 vsize=26711656 memory=7528 CPUtime=2246.4 cores=0-7
/proc/21811/task/30050/stat : 30050 (java) R 21809 21809 20696 0 -1 4202560 9901 0 0 0 224630 10 0 0 20 0 28 0 88138395 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140339760144272 140341565101274 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=30051] ppid=21809 vsize=26711656 memory=2192 CPUtime=2266.21 cores=0-7
/proc/21811/task/30051/stat : 30051 (java) R 21809 21809 20696 0 -1 4202560 11772 0 0 0 226608 13 0 0 20 0 28 0 88138395 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140339755935048 140341566433567 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=30052] ppid=21809 vsize=26711656 memory=7528 CPUtime=2261.98 cores=0-7
/proc/21811/task/30052/stat : 30052 (java) R 21809 21809 20696 0 -1 4202560 12371 0 0 0 226189 9 0 0 20 0 28 0 88138395 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140340071002568 140341565101343 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=30053] ppid=21809 vsize=26711656 memory=828 CPUtime=2261.09 cores=0-7
/proc/21811/task/30053/stat : 30053 (java) R 21809 21809 20696 0 -1 4202560 43418 0 0 0 226019 90 0 0 20 0 28 0 88138396 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140339758039624 140341566433606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=30054] ppid=21809 vsize=26711656 memory=1800 CPUtime=2266.23 cores=0-7
/proc/21811/task/30054/stat : 30054 (java) R 21809 21809 20696 0 -1 4202560 14735 0 0 0 226606 17 0 0 20 0 28 0 88138396 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140339762250440 140341566433590 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=30055] ppid=21809 vsize=26711656 memory=916 CPUtime=2266.7 cores=0-7
/proc/21811/task/30055/stat : 30055 (java) R 21809 21809 20696 0 -1 4202560 12258 0 0 0 226659 11 0 0 20 0 28 0 88138396 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140340072055624 140341565101140 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=30056] ppid=21809 vsize=26711656 memory=4216 CPUtime=2266.33 cores=0-7
/proc/21811/task/30056/stat : 30056 (java) R 21809 21809 20696 0 -1 4202560 28895 0 0 0 226615 18 0 0 20 0 28 0 88138396 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140339759095072 140341565101535 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
[pid=21811/tid=30057] ppid=21809 vsize=26711656 memory=1408 CPUtime=2250.64 cores=0-7
/proc/21811/task/30057/stat : 30057 (java) R 21809 21809 20696 0 -1 4202560 12737 0 0 0 225057 7 0 0 20 0 28 0 88138396 27352735744 1139128 33554432000 4194304 4196468 140735209744448 140339756987464 140341565111331 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 39501824 140735209747585 140735209747757 140735209747757 140735209750479 0
Current children cumulated CPU time: 19385.7 s
Current children cumulated vsize: 26824784 KiB
Current children cumulated memory: 4557964 KiB

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

[startup+2520.04 s]
# the end of solver process 21809 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001474 s, system=0.000737 s

[startup+2520.14 s]
# the end of solver process 21811 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19370.3 s, system=16.1381 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 2520.14
CPU time (s): 19386.5
CPU user time (s): 19370.3
CPU system time (s): 16.1381
CPU usage (%): 769.262
Max. virtual memory (cumulated for all children) (KiB): 26824784
Max. memory (cumulated for all children) (KiB): 5187244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19370.3
system time used= 16.1381
maximum resident set size= 5204228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508905
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 124596
involuntary context switches= 215536


# summary of solver processes directly reported to runsolver:
#   pid: 21809,21811
#   total CPU time (s): 19386.5
#   total CPU user time (s): 19370.3
#   total CPU system time (s): 16.1381

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5597 second user time and 31.6286 second system time

The end

Launcher Data 

Begin job on node135 at 2018-07-27 17:31:39
IDJOB=4297878
IDBENCH=141194
IDSOLVER=2760
FILE ID=node135/4297878-1532705499
RUNJOBID= node135-1532702978-20723
PBS_JOBID= 21022301
Free space on /tmp= 48368 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-06-opt_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297878-1532705499/watcher-4297878-1532705499 -o /tmp/evaluation-result-4297878-1532705499/solver-4297878-1532705499 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1532702978-20723 --watchdog 2580  HOME/xcsp3-exec -seed 229251502 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297878-1532705499.xml

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

MD5SUM BENCH= e2f0d6978164174a80e953d0a2a49c7e
RANDOM SEED=229251502

node135.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:        27360364 kB
MemAvailable:   31930440 kB
Buffers:          162400 kB
Cached:          4640860 kB
SwapCached:            0 kB
Active:          1643812 kB
Inactive:        3214992 kB
Active(anon):       6272 kB
Inactive(anon):    76960 kB
Active(file):    1637540 kB
Inactive(file):  3138032 kB
Unevictable:        7212 kB
Mlocked:            7212 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             21936 kB
Writeback:             0 kB
AnonPages:         60832 kB
Mapped:            41656 kB
Shmem:             25248 kB
Slab:             248720 kB
SReclaimable:     220680 kB
SUnreclaim:        28040 kB
KernelStack:        3328 kB
PageTables:         5644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 48344 MiB
End job on node135 at 2018-07-27 18:13:40