Trace number 4297884

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)36922 19353.5 2520.11

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-scen-06-opt_c18.xml
MD5SUMfd86b7eb5950840b127d09215950c850
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark36922
Best CPU time to get the best result obtained on this benchmark19353.5
Satisfiable
(Un)Satisfiability was proved
Number of variables1422
Number of constraints1322
Number of domains7
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":1222},{"size":22,"count":2},{"size":36,"count":92},{"size":44,"count":106}]
Minimum variable degree1
Maximum variable degree44
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":1225},{"degree":3,"count":9},{"degree":4,"count":5},{"degree":5,"count":12},{"degree":6,"count":11},{"degree":7,"count":15},{"degree":8,"count":5},{"degree":9,"count":12},{"degree":10,"count":17},{"degree":11,"count":9},{"degree":12,"count":7},{"degree":13,"count":15},{"degree":14,"count":1},{"degree":15,"count":18},{"degree":17,"count":11},{"degree":19,"count":8},{"degree":20,"count":3},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":23,"count":6},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":27,"count":4},{"degree":28,"count":8},{"degree":30,"count":4},{"degree":35,"count":2},{"degree":36,"count":2},{"degree":39,"count":1},{"degree":44,"count":1}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":100},{"arity":3,"count":1222}]
Number of extensional constraints0
Number of intensional constraints1322
Distribution of constraint types[{"type":"intension","count":1322}]
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-4297884-1532706982.xml"  -tl '20160s' -p 8
0.12/0.17	c Choco e747e1e
0.12/0.18	c [HOME/instance-4297884-1532706982.xml, -tl, 20160s, -p, 8]
0.12/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
26.54/11.27	c solve instance...
32.33/12.07	o 193286 
34.36/12.37	o 193186 
34.36/12.39	o 192286 
35.44/12.65	o 192186 
35.63/12.71	o 192184 
35.63/12.76	o 191284 
35.63/12.77	o 191184 
35.63/12.78	o 191175 
37.38/13.73	o 188861 
37.38/13.77	o 188761 
37.38/13.77	o 188751 
37.73/13.97	o 188651 
38.08/14.16	o 187751 
38.08/14.17	o 187651 
39.01/14.39	o 186850 
39.34/14.44	o 186750 
39.74/14.63	o 186651 
40.10/14.82	o 185759 
40.10/14.84	o 185659 
40.45/15.03	o 185649 
40.45/15.04	o 185549 
40.72/15.23	o 184649 
40.72/15.26	o 184549 
41.31/15.45	o 183851 
41.31/15.48	o 183751 
42.35/15.65	o 183651 
42.70/15.83	o 183551 
43.03/16.01	o 183550 
43.29/16.23	o 183548 
43.52/16.44	o 183448 
43.75/16.63	o 183348 
44.03/16.82	o 183339 
44.50/17.04	o 182851 
44.50/17.07	o 182751 
44.50/17.07	o 182651 
44.50/17.07	o 182551 
44.85/17.26	o 182549 
45.11/17.47	o 182548 
45.43/17.69	o 182448 
45.65/17.88	o 182348 
45.95/18.07	o 182339 
46.63/18.28	o 182251 
46.90/18.47	o 182249 
47.23/18.67	o 182231 
47.45/18.86	o 182229 
47.89/19.07	o 182228 
48.65/19.29	o 181738 
48.84/19.32	o 181638 
48.84/19.38	o 181538 
49.16/19.57	o 181438 
49.43/19.76	o 181436 
50.09/19.97	o 181336 
50.48/20.16	o 181236 
50.85/20.34	o 181229 
51.07/20.55	o 181227 
51.80/20.76	o 181211 
52.14/20.94	o 181209 
52.72/21.14	o 181208 
53.29/21.33	o 181128 
53.95/21.64	o 181095 
54.25/21.83	o 180995 
54.25/21.86	o 180895 
55.20/22.11	o 180893 
56.70/23.02	o 180793 
56.95/23.21	o 180693 
57.28/23.39	o 180686 
57.56/23.60	o 180684 
58.59/23.81	o 180195 
58.83/24.00	o 180095 
59.08/24.19	o 179995 
59.21/24.28	o 179895 
59.60/24.46	o 179893 
60.20/24.68	o 179793 
60.53/24.86	o 179693 
60.87/25.04	o 179686 
61.19/25.25	o 179684 
62.04/25.47	o 179680 
62.48/25.68	o 179678 
63.24/25.88	o 179677 
64.99/26.21	o 179672 
65.24/26.41	o 179665 
65.57/26.62	o 179656 
65.92/26.83	o 179599 
66.19/27.01	o 179499 
66.52/27.20	o 179399 
66.70/27.39	o 179396 
66.81/27.43	o 179296 
66.81/27.49	o 179196 
67.19/27.68	o 179187 
67.71/27.89	o 179167 
67.94/28.09	o 179067 
68.16/28.27	o 178967 
68.31/28.33	o 178867 
69.47/28.63	o 178864 
69.47/28.69	o 178764 
69.89/28.87	o 178664 
70.34/29.06	o 178655 
70.78/29.26	o 178576 
71.09/29.45	o 178567 
71.53/29.66	o 178566 
72.04/29.86	o 178168 
72.27/30.05	o 178068 
72.27/30.09	o 177968 
72.42/30.12	o 177868 
72.74/30.30	o 177865 
72.97/30.51	o 177765 
73.14/30.69	o 177665 
73.53/30.87	o 177656 
73.93/31.09	o 177348 
74.26/31.27	o 177248 
74.59/31.46	o 177148 
74.94/31.65	o 177048 
75.36/31.83	o 177045 
75.60/32.04	o 176945 
75.60/32.07	o 176845 
75.95/32.25	o 176836 
76.53/32.49	o 176834 
76.87/32.70	o 176825 
78.31/33.00	o 176733 
78.70/33.19	o 176633 
78.95/33.37	o 176624 
79.60/33.58	o 176545 
80.11/33.77	o 176536 
80.66/33.98	o 176535 
81.62/34.40	o 176137 
81.82/34.59	o 176037 
82.04/34.78	o 175937 
82.21/34.89	o 175837 
82.59/35.08	o 175834 
82.83/35.23	o 175734 
83.06/35.41	o 175634 
83.53/35.61	o 175625 
83.96/35.77	o 175624 
84.23/35.92	o 175622 
84.45/36.08	o 175613 
84.82/36.23	o 175612 
85.18/36.42	o 175533 
85.40/36.58	o 175526 
85.67/36.73	o 175524 
86.29/36.92	o 175520 
86.54/37.08	o 175518 
87.21/37.27	o 175517 
88.33/37.46	o 175515 
89.70/37.72	o 175514 
90.33/37.88	o 175512 
90.93/38.03	o 175511 
91.93/38.24	o 175508 
92.67/38.64	o 175506 
92.86/38.80	o 175505 
92.96/38.86	o 175504 
95.22/39.33	o 175495 
95.49/39.49	o 175457 
95.82/39.64	o 175455 
96.06/39.79	o 175454 
96.34/39.94	o 175354 
97.09/40.35	o 175353 
97.40/40.50	o 175342 
97.57/40.66	o 175341 
98.14/40.84	o 175332 
98.90/41.24	o 175331 
99.28/41.42	o 175320 
99.50/41.58	o 175313 
99.87/41.77	o 175312 
100.20/41.92	o 175311 
100.44/42.10	o 175310 
101.40/42.50	o 175303 
101.56/42.65	o 175302 
101.82/42.81	o 175301 
102.54/43.05	o 175300 
103.18/43.45	o 175293 
103.18/43.47	o 175291 
103.45/43.65	o 175290 
103.96/43.81	o 175285 
104.64/44.21	o 175283 
104.84/44.36	o 175282 
105.15/44.51	o 175182 
105.49/44.70	o 175181 
106.05/45.10	o 175180 
106.87/45.43	o 175104 
107.21/45.62	o 175103 
107.21/45.66	o 175101 
107.92/46.07	o 175100 
108.18/46.22	o 175099 
108.34/46.38	o 175098 
108.76/46.53	o 175032 
109.36/46.93	o 175030 
110.03/47.09	o 175023 
111.79/47.59	o 174924 
111.94/47.62	o 174923 
112.20/47.80	o 174921 
112.46/47.99	o 174920 
113.07/48.23	o 174919 
113.40/48.41	o 174918 
114.26/48.82	o 174833 
114.50/48.98	o 174825 
114.75/49.13	o 174824 
115.06/49.31	o 174822 
115.70/49.73	o 174821 
115.95/49.91	o 174820 
116.11/50.07	o 174819 
116.51/50.25	o 174775 
116.91/50.49	o 174773 
117.25/50.68	o 174753 
117.55/50.83	o 174752 
117.73/50.99	o 174751 
118.87/51.46	o 174750 
119.18/51.61	o 174746 
119.33/51.77	o 174744 
119.56/51.92	o 174724 
119.81/52.08	o 174723 
120.44/52.48	o 174722 
120.68/52.64	o 174721 
120.99/52.83	o 174713 
121.18/52.98	o 174712 
121.81/53.38	o 174711 
121.92/53.41	o 174710 
122.09/53.56	o 174709 
122.41/53.71	o 174708 
122.65/53.87	o 174707 
123.22/54.03	o 174703 
123.72/54.36	o 174702 
125.43/55.89	o 174701 
127.01/57.15	o 174619 
127.75/57.43	o 174554 
129.05/58.53	o 172619 
130.09/58.75	o 172553 
131.36/59.70	o 172551 
131.48/59.88	o 171719 
132.85/60.15	o 171718 
133.83/60.99	o 171717 
134.17/61.15	o 171715 
136.30/62.02	o 171653 
137.18/62.64	o 171645 
137.33/62.80	o 171644 
137.95/63.01	o 171643 
138.70/63.50	o 171635 
139.70/63.76	o 171634 
140.48/64.13	o 171633 
140.86/64.29	o 171632 
141.23/64.54	o 171631 
141.59/64.72	o 171630 
142.34/64.90	o 171553 
142.65/65.09	o 171551 
144.66/66.77	o 171453 
146.25/68.09	o 171451 
146.75/68.29	o 171450 
148.22/69.46	o 171441 
148.60/69.65	o 171439 
149.89/70.71	o 171438 
150.16/70.86	o 171431 
151.34/71.73	o 171429 
151.51/71.89	o 171428 
152.63/72.64	o 171427 
153.04/72.80	o 171419 
153.83/73.44	o 171417 
154.19/73.59	o 171412 
154.97/74.10	o 171410 
155.28/74.26	o 171409 
155.91/74.66	o 171408 
156.24/74.82	o 171407 
156.65/75.09	o 171402 
156.96/75.25	o 171400 
157.36/75.40	o 171398 
157.50/75.55	o 171397 
157.82/75.71	o 171313 
158.30/75.94	o 171291 
158.54/76.12	o 171191 
158.88/76.31	o 169413 
160.58/76.72	o 169412 
160.90/76.87	o 169411 
161.36/77.06	o 169409 
161.36/77.10	o 169401 
161.74/77.28	o 169389 
162.30/77.55	o 169381 
163.19/77.80	o 169380 
163.49/77.95	o 169369 
163.66/78.10	o 169361 
164.00/78.29	o 169360 
164.42/78.45	o 169359 
164.84/78.63	o 169358 
166.45/79.42	o 169353 
166.70/79.59	o 169351 
167.64/79.80	o 169350 
167.99/79.95	o 169298 
168.50/80.20	o 169290 
168.90/80.38	o 169278 
169.32/80.53	o 169270 
169.66/80.68	o 169258 
170.01/80.84	o 169250 
170.36/81.00	o 169249 
170.72/81.15	o 169248 
170.99/81.31	o 169247 
171.84/81.64	o 169246 
172.54/81.90	o 169245 
172.90/82.05	o 169244 
173.23/82.20	o 169243 
173.67/82.36	o 169242 
174.75/82.87	o 169001 
175.66/83.15	o 168983 
175.94/83.31	o 168901 
176.98/83.59	o 168804 
177.49/83.86	o 167001 
179.96/84.29	o 166001 
181.53/84.59	o 165973 
181.75/84.65	o 165901 
188.10/85.79	o 165859 
188.53/85.97	o 165759 
188.93/86.15	o 165659 
189.40/86.34	o 165657 
190.14/86.55	o 165557 
190.40/86.73	o 165457 
190.97/87.03	o 165450 
191.16/87.18	o 165448 
192.19/87.52	o 165444 
192.31/87.67	o 165442 
193.02/87.82	o 165441 
193.67/88.15	o 165379 
195.16/88.57	o 165337 
195.61/88.75	o 164489 
197.51/89.05	o 164428 
197.87/89.21	o 164389 
198.35/89.46	o 164323 
198.60/89.61	o 164289 
199.39/89.86	o 164288 
200.02/90.15	o 164279 
200.55/90.39	o 164278 
200.96/90.54	o 162579 
202.67/90.82	o 162527 
203.26/91.15	o 162526 
203.62/91.30	o 162479 
204.63/91.81	o 162468 
204.94/91.96	o 162379 
207.34/92.31	o 162369 
209.74/92.77	o 161349 
212.35/93.34	o 161249 
214.32/93.95	o 161216 
215.07/94.16	o 161149 
216.20/94.42	o 161141 
217.68/95.30	o 161133 
218.22/95.51	o 161132 
218.48/95.66	o 161131 
218.81/95.84	o 161130 
219.05/95.99	o 161129 
219.42/96.14	o 161128 
219.66/96.29	o 161127 
220.28/96.44	o 161126 
222.14/96.74	o 161081 
222.41/96.93	o 161073 
222.71/97.08	o 161061 
223.06/97.26	o 161053 
223.56/97.41	o 161041 
224.07/97.75	o 161033 
224.41/97.90	o 161032 
225.32/98.20	o 161031 
225.46/98.38	o 161030 
226.23/98.67	o 161029 
226.85/98.82	o 161028 
227.12/98.97	o 161027 
227.51/99.12	o 161026 
228.06/99.36	o 161025 
228.89/99.58	o 160980 
232.69/100.71	o 160963 
233.33/101.06	o 160962 
233.84/101.21	o 160961 
233.96/101.39	o 160960 
234.53/101.69	o 160956 
234.86/101.87	o 160954 
235.28/102.02	o 160934 
235.85/102.32	o 160933 
236.34/102.51	o 160932 
236.59/102.70	o 160931 
237.15/102.88	o 160930 
237.85/103.36	o 160929 
238.24/103.51	o 160928 
238.59/103.66	o 160924 
239.45/104.13	o 160923 
239.45/104.15	o 160922 
240.10/104.31	o 160921 
240.64/104.61	o 160920 
241.08/104.81	o 160919 
242.17/105.10	o 160913 
242.65/105.40	o 160912 
243.04/105.60	o 160911 
243.29/105.79	o 160910 
243.71/105.94	o 160909 
244.44/106.43	o 160908 
244.64/106.58	o 160907 
244.96/106.72	o 160888 
245.15/106.87	o 160788 
246.13/107.35	o 160786 
246.24/107.43	o 160688 
246.48/107.62	o 160686 
246.72/107.77	o 160685 
247.08/107.91	o 160676 
247.38/108.06	o 160674 
247.82/108.26	o 160673 
248.23/108.41	o 160666 
248.35/108.55	o 160664 
248.61/108.71	o 160663 
249.18/109.01	o 160662 
249.64/109.28	o 160654 
249.91/109.43	o 160652 
250.40/109.67	o 160637 
250.72/109.81	o 160635 
250.89/109.96	o 160634 
251.27/110.16	o 160633 
251.51/110.31	o 160632 
251.94/110.50	o 160627 
252.10/110.65	o 160625 
252.49/110.81	o 160623 
252.71/110.96	o 160622 
253.20/111.17	o 160616 
253.59/111.31	o 160614 
253.83/111.40	o 160613 
254.09/111.58	o 160611 
254.37/111.77	o 160516 
254.76/112.03	o 160416 
266.62/113.84	o 160414 
267.28/114.12	o 160413 
268.48/114.42	o 160412 
269.37/114.70	o 160406 
269.81/114.88	o 160404 
270.27/115.09	o 160403 
270.63/115.24	o 160402 
270.81/115.38	o 160396 
271.13/115.57	o 160394 
271.46/115.72	o 160393 
271.66/115.88	o 160392 
272.03/116.03	o 160306 
272.49/116.22	o 160304 
272.72/116.37	o 160303 
273.08/116.52	o 160302 
273.29/116.67	o 160301 
273.69/116.85	o 160296 
273.84/117.00	o 160294 
274.17/117.14	o 160293 
274.28/117.29	o 160292 
274.64/117.44	o 160291 
276.01/118.06	o 160206 
276.78/118.41	o 160204 
277.03/118.56	o 160203 
277.37/118.71	o 160202 
277.84/118.94	o 160201 
278.26/119.12	o 160196 
278.61/119.32	o 160194 
278.86/119.47	o 160193 
279.34/119.74	o 160192 
279.90/119.92	o 160191 
281.26/120.14	o 160116 
281.53/120.29	o 160115 
281.99/120.48	o 160114 
282.46/120.64	o 160113 
282.91/120.79	o 160107 
283.37/120.93	o 160106 
283.54/121.08	o 160105 
283.82/121.23	o 160104 
284.14/121.38	o 160103 
285.77/122.02	o 160061 
291.60/123.22	o 160003 
292.16/123.49	o 160002 
292.30/123.55	o 160000 
293.22/123.82	o 159928 
293.79/124.09	o 159920 
294.05/124.25	o 159919 
294.59/124.43	o 159918 
294.99/124.58	o 159917 
295.29/124.73	o 159916 
295.51/124.88	o 159915 
296.25/125.04	o 159853 
296.45/125.19	o 159851 
296.81/125.37	o 159753 
297.35/125.69	o 159751 
297.66/125.87	o 159746 
298.40/126.17	o 159741 
298.66/126.35	o 159646 
299.48/126.64	o 159581 
299.70/126.83	o 159481 
301.10/127.73	o 159479 
301.74/127.98	o 159478 
303.08/128.23	o 159391 
303.80/128.44	o 159390 
304.09/128.59	o 159334 
304.56/128.75	o 159324 
304.88/128.90	o 159323 
305.15/129.05	o 159322 
305.48/129.20	o 159321 
305.87/129.38	o 159320 
307.08/129.60	o 159279 
307.80/129.86	o 159271 
309.47/130.77	o 159270 
310.29/131.25	o 159269 
310.65/131.40	o 159268 
312.88/131.78	o 159267 
315.57/132.26	o 159266 
316.86/132.58	o 45786 
318.39/133.34	o 45776 
1355.12/263.44	o 36932 
1356.61/264.18	o 36923 
1357.26/264.40	o 36922 
19352.75/2520.09	s SATISFIABLE
19352.75/2520.09	v <instantiation>
19352.75/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] 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] 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] 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] 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] </list>
19352.75/2520.09	v 	<values>540 778 324 86 16 254 484 722 254 16 16 254 456 694 16 254 86 324 254 16 30 268 666 428 30 268 414 652 338 100 764 526 156 394 254 16 324 86 764 526 16 254 428 666 16 254 442 680 484 722 414 652 16 254 750 512 540 778 428 666 456 694 72 310 142 380 456 694 554 792 792 554 156 394 694 456 540 778 268 30 680 442 30 268 16 254 100 338 30 268 540 778 764 526 456 694 540 778 30 268 310 72 338 100 30 268 100 338 554 792 338 100 30 268 58 296 498 736 540 778 512 750 380 142 268 30 324 86 428 666 526 764 268 30 268 30 30 268 470 708 30 268 778 540 442 680 30 268 30 268 16 254 540 778 540 778 254 16 268 30 254 16 680 442 540 778 540 778 268 30 666 428 778 540 30 268 282 44 16 254 414 652 58 296 366 128 428 666 310 72 666 428 30 268 428 666 44 282 30 268 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 1000 0 1000 0 0 0 0 1000 1000 0 1000 1000 0 1000 1000 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 0 100 0 0 0 100 0 0 0 100 0 0 0 100 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 100 0 100 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 100 0 0 100 100 0 0 0 100 100 0 0 0 0 0 0 100 0 100 0 0 0 100 100 100 0 0 100 0 100 100 0 0 0 0 100 0 0 100 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 100 0 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 0 100 0 0 100 0 0 0 0 0 0 0 0 100 0 100 100 0 100 0 0 0 100 0 0 100 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 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 10 0 0 10 10 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 10 10 10 0 10 10 10 0 10 10 0 0 10 0 10 10 0 10 10 10 0 10 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 10 0 0 10 10 10 10 0 0 0 0 0 0 0 0 0 10 0 0 10 10 10 10 0 0 0 10 0 10 10 10 0 0 10 10 0 10 0 10 0 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 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 10 0 10 0 0 10 0 10 10 0 10 10 10 0 0 0 10 0 0 0 0 0 10 0 0 10 10 0 10 0 0 10 0 10 0 0 0 0 0 0 0 0 0 10 10 10 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 10 10 10 0 0 10 0 0 0 0 0 0 0 10 0 10 0 10 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 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 1 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 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 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 1 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 </values>
19352.75/2520.09	v </instantiation>
19352.75/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	36922

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297884-1532706982/watcher-4297884-1532706982 -o /tmp/evaluation-result-4297884-1532706982/solver-4297884-1532706982 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1532704456-1227 --watchdog 2580 HOME/xcsp3-exec -seed 1141283210 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297884-1532706982.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
Current StackSize limit: 8192 KiB

solver pid=1588, runsolver pid=1585

[startup+0.104151 s]*
/proc/loadavg: 8.16 8.27 8.32 2/203 1609
/proc/meminfo: memFree=21798592/32770624 swapFree=67108860/67108860
[pid=1588] ppid=1585 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1588/stat : 1588 (xcsp3-exec) S 1585 1588 1200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88261425 115843072 363 33554432000 4194304 5098028 140728157033200 140728157031304 140105247347324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26800128 140728157041717 140728157041920 140728157041920 140728157044682 0
/proc/1588/statm: 28282 363 305 221 0 87 0
[pid=1590] ppid=1588 vsize=26104152 memory=27732 CPUtime=0.12 cores=0-7
/proc/1590/stat : 1590 (java) S 1588 1588 1200 0 -1 1077944320 5875 0 0 0 11 1 0 0 20 0 20 0 88261425 26730651648 6933 33554432000 4194304 4196468 140729028139472 140729028122016 140119869058807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
/proc/1590/statm: 6526038 6933 3003 1 0 6488315 0
[pid=1590/tid=1591] ppid=1588 vsize=26104152 memory=-7605839032859325891 CPUtime=0.09 cores=0-7
/proc/1590/task/1591/stat : 1591 (java) R 1588 1588 1200 0 -1 4202560 3881 0 0 0 9 0 0 0 20 0 20 0 88261426 26730651648 6998 33554432000 4194304 4196468 140729028139472 140119873290496 140119869070742 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1592] ppid=1588 vsize=26104152 memory=4349475210443476153 CPUtime=0 cores=0-7
/proc/1590/task/1592/stat : 1592 (java) S 1588 1588 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88261426 26730651648 6998 33554432000 4194304 4196468 140729028139472 140119821678992 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1593] ppid=1588 vsize=26104152 memory=140597615093376 CPUtime=0 cores=0-7
/proc/1590/task/1593/stat : 1593 (java) S 1588 1588 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88261426 26730651648 6998 33554432000 4194304 4196468 140729028139472 140119820626192 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1594] ppid=1588 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1594/stat : 1594 (java) S 1588 1588 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88261426 26730651648 6998 33554432000 4194304 4196468 140729028139472 140119819573904 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1595] ppid=1588 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1595/stat : 1595 (java) S 1588 1588 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88261426 26730651648 6998 33554432000 4194304 4196468 140729028139472 140119424498192 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1596] ppid=1588 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1596/stat : 1596 (java) S 1588 1588 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88261426 26730651648 6998 33554432000 4194304 4196468 140729028139472 140119423445904 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1597] ppid=1588 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/1590/task/1597/stat : 1597 (java) S 1588 1588 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88261426 26730651648 6998 33554432000 4194304 4196468 140729028139472 140119422393104 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1598] ppid=1588 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1598/stat : 1598 (java) S 1588 1588 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88261426 26730651648 6998 33554432000 4194304 4196468 140729028139472 140119421340816 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1599] ppid=1588 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1599/stat : 1599 (java) S 1588 1588 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88261426 26730651648 6998 33554432000 4194304 4196468 140729028139472 140119420288016 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1600] ppid=1588 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1600/stat : 1600 (java) S 1588 1588 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88261428 26730651648 6998 33554432000 4194304 4196468 140729028139472 140118140643440 140119869069954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1601] ppid=1588 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1601/stat : 1601 (java) S 1588 1588 1200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88261428 26730651648 6998 33554432000 4194304 4196468 140729028139472 140118139589408 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1602] ppid=1588 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1602/stat : 1602 (java) S 1588 1588 1200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88261428 26730651648 6998 33554432000 4194304 4196468 140729028139472 140118138537072 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1603] ppid=1588 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1603/stat : 1603 (java) S 1588 1588 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88261431 26730651648 6998 33554432000 4194304 4196468 140729028139472 140118137485392 140119869077403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1604] ppid=1588 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1604/stat : 1604 (java) S 1588 1588 1200 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 88261431 26730651648 6998 33554432000 4194304 4196468 140729028139472 140118136433264 140119869069954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1605] ppid=1588 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1605/stat : 1605 (java) S 1588 1588 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88261431 26730651648 6998 33554432000 4194304 4196468 140729028139472 140118135380464 140119869069954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1606] ppid=1588 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1606/stat : 1606 (java) S 1588 1588 1200 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 88261431 26730651648 6998 33554432000 4194304 4196468 140729028139472 140118134328176 140119869069954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1607] ppid=1588 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/1590/task/1607/stat : 1607 (java) R 1588 1588 1200 0 -1 4202560 326 0 0 0 1 0 0 0 20 0 20 0 88261431 26730651648 6998 33554432000 4194304 4196468 140729028139472 140118133275376 140119853194888 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1608] ppid=1588 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1608/stat : 1608 (java) S 1588 1588 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88261431 26730651648 6998 33554432000 4194304 4196468 140729028139472 140118132222304 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1609] ppid=1588 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/1590/task/1609/stat : 1609 (java) S 1588 1588 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88261431 26730651648 6998 33554432000 4194304 4196468 140729028139472 140118131169584 140119869069954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 29184 KiB

[startup+0.210689 s]*
/proc/loadavg: 8.16 8.27 8.32 3/203 1609
/proc/meminfo: memFree=21787924/32770624 swapFree=67108860/67108860
[pid=1588] ppid=1585 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1588/stat : 1588 (xcsp3-exec) S 1585 1588 1200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88261425 115843072 363 33554432000 4194304 5098028 140728157033200 140728157031304 140105247347324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26800128 140728157041717 140728157041920 140728157041920 140728157044682 0
/proc/1588/statm: 28282 363 305 221 0 87 0
[pid=1590] ppid=1588 vsize=26104152 memory=39592 CPUtime=0.33 cores=0-7
/proc/1590/stat : 1590 (java) S 1588 1588 1200 0 -1 1077944320 8483 0 0 0 31 2 0 0 20 0 20 0 88261425 26730651648 9898 33554432000 4194304 4196468 140729028139472 140729028122016 140119869058807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
/proc/1590/statm: 6526038 9898 3202 1 0 6488315 0
[pid=1590/tid=1591] ppid=1588 vsize=26104152 memory=0 CPUtime=0.19 cores=0-7
/proc/1590/task/1591/stat : 1591 (java) R 1588 1588 1200 0 -1 4202560 5602 0 0 0 18 1 0 0 20 0 20 0 88261426 26730651648 9898 33554432000 4194304 4196468 140729028139472 140119873293792 140119853139294 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1592] ppid=1588 vsize=26104152 memory=4349475210443476153 CPUtime=0 cores=0-7
/proc/1590/task/1592/stat : 1592 (java) S 1588 1588 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88261426 26730651648 9898 33554432000 4194304 4196468 140729028139472 140119821678992 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1593] ppid=1588 vsize=26104152 memory=140597615093376 CPUtime=0 cores=0-7
/proc/1590/task/1593/stat : 1593 (java) S 1588 1588 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88261426 26730651648 9898 33554432000 4194304 4196468 140729028139472 140119820626192 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1594] ppid=1588 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1594/stat : 1594 (java) S 1588 1588 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88261426 26730651648 9898 33554432000 4194304 4196468 140729028139472 140119819573904 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1595] ppid=1588 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1595/stat : 1595 (java) S 1588 1588 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88261426 26730651648 9898 33554432000 4194304 4196468 140729028139472 140119424498192 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1596] ppid=1588 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1596/stat : 1596 (java) S 1588 1588 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88261426 26730651648 9898 33554432000 4194304 4196468 140729028139472 140119423445904 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1597] ppid=1588 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/1590/task/1597/stat : 1597 (java) S 1588 1588 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88261426 26730651648 9898 33554432000 4194304 4196468 140729028139472 140119422393104 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1598] ppid=1588 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1598/stat : 1598 (java) S 1588 1588 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88261426 26730651648 9898 33554432000 4194304 4196468 140729028139472 140119421340816 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1599] ppid=1588 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1599/stat : 1599 (java) S 1588 1588 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88261426 26730651648 9898 33554432000 4194304 4196468 140729028139472 140119420288016 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1600] ppid=1588 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1600/stat : 1600 (java) S 1588 1588 1200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88261428 26730651648 9898 33554432000 4194304 4196468 140729028139472 140118140643440 140119869069954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1601] ppid=1588 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1601/stat : 1601 (java) S 1588 1588 1200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88261428 26730651648 9898 33554432000 4194304 4196468 140729028139472 140118139589408 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1602] ppid=1588 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1602/stat : 1602 (java) S 1588 1588 1200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88261428 26730651648 9898 33554432000 4194304 4196468 140729028139472 140118138537072 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1603] ppid=1588 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1603/stat : 1603 (java) S 1588 1588 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88261431 26730651648 9898 33554432000 4194304 4196468 140729028139472 140118137485392 140119869077403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1604] ppid=1588 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/1590/task/1604/stat : 1604 (java) S 1588 1588 1200 0 -1 1077944384 602 0 0 0 2 0 0 0 20 0 20 0 88261431 26730651648 9898 33554432000 4194304 4196468 140729028139472 140118136433264 140119869069954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1605] ppid=1588 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/1590/task/1605/stat : 1605 (java) S 1588 1588 1200 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 20 0 88261431 26730651648 9898 33554432000 4194304 4196468 140729028139472 140118135380464 140119869069954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1606] ppid=1588 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1606/stat : 1606 (java) S 1588 1588 1200 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 20 0 88261431 26730651648 9898 33554432000 4194304 4196468 140729028139472 140118134328176 140119869069954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1607] ppid=1588 vsize=26104152 memory=0 CPUtime=0.07 cores=0-7
/proc/1590/task/1607/stat : 1607 (java) S 1588 1588 1200 0 -1 1077944384 725 0 0 0 7 0 0 0 20 0 20 0 88261431 26730651648 9898 33554432000 4194304 4196468 140729028139472 140118133275376 140119869069954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1608] ppid=1588 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1608/stat : 1608 (java) S 1588 1588 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88261431 26730651648 9898 33554432000 4194304 4196468 140729028139472 140118132222304 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1609] ppid=1588 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/1590/task/1609/stat : 1609 (java) S 1588 1588 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88261431 26730651648 9898 33554432000 4194304 4196468 140729028139472 140118131169584 140119869069954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41044 KiB

[startup+0.310531 s]*
/proc/loadavg: 8.16 8.27 8.32 5/203 1609
/proc/meminfo: memFree=21781844/32770624 swapFree=67108860/67108860
[pid=1588] ppid=1585 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1588/stat : 1588 (xcsp3-exec) S 1585 1588 1200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88261425 115843072 363 33554432000 4194304 5098028 140728157033200 140728157031304 140105247347324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26800128 140728157041717 140728157041920 140728157041920 140728157044682 0
/proc/1588/statm: 28282 363 305 221 0 87 0
[pid=1590] ppid=1588 vsize=26108408 memory=46140 CPUtime=0.5 cores=0-7
/proc/1590/stat : 1590 (java) S 1588 1588 1200 0 -1 1077944320 9271 0 0 0 48 2 0 0 20 0 20 0 88261425 26735009792 11535 33554432000 4194304 4196468 140729028139472 140729028122016 140119869058807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
/proc/1590/statm: 6527102 11535 3235 1 0 6488315 0
[pid=1590/tid=1591] ppid=1588 vsize=26108408 memory=1399051139730258233 CPUtime=0.29 cores=0-7
/proc/1590/task/1591/stat : 1591 (java) R 1588 1588 1200 0 -1 4202560 6306 0 0 0 28 1 0 0 20 0 20 0 88261426 26735009792 11604 33554432000 4194304 4196468 140729028139472 140119873296096 140119853139294 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1592] ppid=1588 vsize=26108408 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/1590/task/1592/stat : 1592 (java) S 1588 1588 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88261426 26735009792 11604 33554432000 4194304 4196468 140729028139472 140119821678992 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1593] ppid=1588 vsize=26108408 memory=1008 CPUtime=0 cores=0-7
/proc/1590/task/1593/stat : 1593 (java) S 1588 1588 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88261426 26735009792 11604 33554432000 4194304 4196468 140729028139472 140119820626192 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1594] ppid=1588 vsize=26108408 memory=4620 CPUtime=0 cores=0-7
/proc/1590/task/1594/stat : 1594 (java) S 1588 1588 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88261426 26735009792 11604 33554432000 4194304 4196468 140729028139472 140119819573904 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1595] ppid=1588 vsize=26108408 memory=15872 CPUtime=0 cores=0-7
/proc/1590/task/1595/stat : 1595 (java) S 1588 1588 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88261426 26735009792 11604 33554432000 4194304 4196468 140729028139472 140119424498192 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1596] ppid=1588 vsize=26108408 memory=15120 CPUtime=0 cores=0-7
/proc/1590/task/1596/stat : 1596 (java) S 1588 1588 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88261426 26735009792 11604 33554432000 4194304 4196468 140729028139472 140119423445904 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1597] ppid=1588 vsize=26108408 memory=18276 CPUtime=0 cores=0-7
/proc/1590/task/1597/stat : 1597 (java) S 1588 1588 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88261426 26735009792 11604 33554432000 4194304 4196468 140729028139472 140119422393104 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1598] ppid=1588 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1598/stat : 1598 (java) S 1588 1588 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88261426 26735009792 11604 33554432000 4194304 4196468 140729028139472 140119421340816 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1599] ppid=1588 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1599/stat : 1599 (java) S 1588 1588 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88261426 26735009792 11604 33554432000 4194304 4196468 140729028139472 140119420288016 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1600] ppid=1588 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1600/stat : 1600 (java) S 1588 1588 1200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88261428 26735009792 11604 33554432000 4194304 4196468 140729028139472 140118140643440 140119869069954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1601] ppid=1588 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1601/stat : 1601 (java) S 1588 1588 1200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88261428 26735009792 11604 33554432000 4194304 4196468 140729028139472 140118139589408 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1602] ppid=1588 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1602/stat : 1602 (java) S 1588 1588 1200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88261428 26735009792 11604 33554432000 4194304 4196468 140729028139472 140118138537072 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1603] ppid=1588 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/1590/task/1603/stat : 1603 (java) S 1588 1588 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88261431 26735009792 11604 33554432000 4194304 4196468 140729028139472 140118137485392 140119869077403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1604] ppid=1588 vsize=26108408 memory=2244 CPUtime=0.02 cores=0-7
/proc/1590/task/1604/stat : 1604 (java) S 1588 1588 1200 0 -1 1077944384 608 0 0 0 2 0 0 0 20 0 20 0 88261431 26735009792 11604 33554432000 4194304 4196468 140729028139472 140118136433264 140119869069954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1605] ppid=1588 vsize=26108408 memory=2244 CPUtime=0.02 cores=0-7
/proc/1590/task/1605/stat : 1605 (java) S 1588 1588 1200 0 -1 1077944384 49 0 0 0 2 0 0 0 20 0 20 0 88261431 26735009792 11604 33554432000 4194304 4196468 140729028139472 140118135380464 140119869069954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1606] ppid=1588 vsize=26108408 memory=2244 CPUtime=0.02 cores=0-7
/proc/1590/task/1606/stat : 1606 (java) S 1588 1588 1200 0 -1 1077944384 233 0 0 0 2 0 0 0 20 0 20 0 88261431 26735009792 11604 33554432000 4194304 4196468 140729028139472 140118134328176 140119869069954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1607] ppid=1588 vsize=26108408 memory=2244 CPUtime=0.12 cores=0-7
/proc/1590/task/1607/stat : 1607 (java) S 1588 1588 1200 0 -1 1077944384 797 0 0 0 12 0 0 0 20 0 20 0 88261431 26735009792 11604 33554432000 4194304 4196468 140729028139472 140118133275376 140119869069954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1608] ppid=1588 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1608/stat : 1608 (java) S 1588 1588 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88261431 26735009792 11604 33554432000 4194304 4196468 140729028139472 140118132222304 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1609] ppid=1588 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/1590/task/1609/stat : 1609 (java) S 1588 1588 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88261431 26735009792 11604 33554432000 4194304 4196468 140729028139472 140118131169584 140119869069954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47592 KiB

[startup+0.70101 s]
/proc/loadavg: 8.16 8.27 8.32 6/203 1609
/proc/meminfo: memFree=21753876/32770624 swapFree=67108860/67108860
[pid=1588] ppid=1585 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1588/stat : 1588 (xcsp3-exec) S 1585 1588 1200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88261425 115843072 363 33554432000 4194304 5098028 140728157033200 140728157031304 140105247347324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26800128 140728157041717 140728157041920 140728157041920 140728157044682 0
/proc/1588/statm: 28282 363 305 221 0 87 0
[pid=1590] ppid=1588 vsize=26110532 memory=94340 CPUtime=1.98 cores=0-7
/proc/1590/stat : 1590 (java) S 1588 1588 1200 0 -1 1077944320 14249 0 0 0 194 4 0 0 20 0 20 0 88261425 26737184768 23585 33554432000 4194304 4196468 140729028139472 140729028122016 140119869058807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
/proc/1590/statm: 6527633 23585 3361 1 0 6488827 0
[pid=1590/tid=1591] ppid=1588 vsize=26110532 memory=26825446199 CPUtime=0.66 cores=0-7
/proc/1590/task/1591/stat : 1591 (java) R 1588 1588 1200 0 -1 4202560 7265 0 0 0 64 2 0 0 20 0 20 0 88261426 26737184768 23585 33554432000 4194304 4196468 140729028139472 140119873295872 140119853139294 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1592] ppid=1588 vsize=26110532 memory=140597499366262 CPUtime=0 cores=0-7
/proc/1590/task/1592/stat : 1592 (java) S 1588 1588 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88261426 26737184768 23585 33554432000 4194304 4196468 140729028139472 140119821678992 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1593] ppid=1588 vsize=26110532 memory=281194998738368 CPUtime=0 cores=0-7
/proc/1590/task/1593/stat : 1593 (java) S 1588 1588 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88261426 26737184768 23585 33554432000 4194304 4196468 140729028139472 140119820626192 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1594] ppid=1588 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/1590/task/1594/stat : 1594 (java) S 1588 1588 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88261426 26737184768 23585 33554432000 4194304 4196468 140729028139472 140119819573904 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0

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

[pid=1590/tid=5630] ppid=1588 vsize=26646120 memory=956 CPUtime=2172.23 cores=0-7
/proc/1590/task/5630/stat : 5630 (java) R 1588 1588 1200 0 -1 4202560 11696 0 0 0 217209 14 0 0 20 0 28 0 88287865 27285626880 738587 33554432000 4194304 4196468 140729028139472 140118112057504 140119503219105 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
Current children cumulated CPU time: 18732.8 s
Current children cumulated vsize: 26759248 KiB
Current children cumulated memory: 2955800 KiB

[startup+2502.3 s]
/proc/loadavg: 8.64 8.43 8.32 9/211 5686
/proc/meminfo: memFree=18880896/32770624 swapFree=67108860/67108860
[pid=1588] ppid=1585 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1588/stat : 1588 (xcsp3-exec) S 1585 1588 1200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88261425 115843072 363 33554432000 4194304 5098028 140728157033200 140728157031304 140105247347324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26800128 140728157041717 140728157041920 140728157041920 140728157044682 0
/proc/1588/statm: 28282 363 305 221 0 87 0
[pid=1590] ppid=1588 vsize=26646120 memory=2941008 CPUtime=19211.5 cores=0-7
/proc/1590/stat : 1590 (java) S 1588 1588 1200 0 -1 1077944320 369251 0 0 0 1920207 939 0 0 20 0 28 0 88261425 27285626880 735252 33554432000 4194304 4196468 140729028139472 140729028122016 140119869058807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
/proc/1590/statm: 6661530 735252 3464 1 0 6622724 0
[pid=1590/tid=1591] ppid=1588 vsize=26646120 memory=2941008 CPUtime=10.49 cores=0-7
/proc/1590/task/1591/stat : 1591 (java) S 1588 1588 1200 0 -1 1077944384 12937 0 0 0 1030 19 0 0 20 0 28 0 88261426 27285626880 735252 33554432000 4194304 4196468 140729028139472 140119873299520 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1592] ppid=1588 vsize=26646120 memory=2941008 CPUtime=4 cores=0-7
/proc/1590/task/1592/stat : 1592 (java) S 1588 1588 1200 0 -1 1077944384 4938 0 0 0 321 79 0 0 20 0 28 0 88261426 27285626880 735252 33554432000 4194304 4196468 140729028139472 140119821678992 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1593] ppid=1588 vsize=26646120 memory=2941008 CPUtime=4.01 cores=0-7
/proc/1590/task/1593/stat : 1593 (java) S 1588 1588 1200 0 -1 1077944384 6113 0 0 0 323 78 0 0 20 0 28 0 88261426 27285626880 735252 33554432000 4194304 4196468 140729028139472 140119820626192 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1594] ppid=1588 vsize=26646120 memory=2954348 CPUtime=3.91 cores=0-7
/proc/1590/task/1594/stat : 1594 (java) S 1588 1588 1200 0 -1 1077944384 4323 0 0 0 317 74 0 0 20 0 28 0 88261426 27285626880 735252 33554432000 4194304 4196468 140729028139472 140119819573904 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1595] ppid=1588 vsize=26646120 memory=2954348 CPUtime=3.95 cores=0-7
/proc/1590/task/1595/stat : 1595 (java) S 1588 1588 1200 0 -1 1077944384 6505 0 0 0 321 74 0 0 20 0 28 0 88261426 27285626880 735252 33554432000 4194304 4196468 140729028139472 140119424498192 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1596] ppid=1588 vsize=26646120 memory=3097568 CPUtime=4.02 cores=0-7
/proc/1590/task/1596/stat : 1596 (java) S 1588 1588 1200 0 -1 1077944384 5927 0 0 0 326 76 0 0 20 0 28 0 88261426 27285626880 735252 33554432000 4194304 4196468 140729028139472 140119423445904 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1597] ppid=1588 vsize=26646120 memory=3097568 CPUtime=4.05 cores=0-7
/proc/1590/task/1597/stat : 1597 (java) S 1588 1588 1200 0 -1 1077944384 7359 0 0 0 324 81 0 0 20 0 28 0 88261426 27285626880 735252 33554432000 4194304 4196468 140729028139472 140119422393104 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1598] ppid=1588 vsize=26646120 memory=3097568 CPUtime=4.06 cores=0-7
/proc/1590/task/1598/stat : 1598 (java) S 1588 1588 1200 0 -1 1077944384 4993 0 0 0 324 82 0 0 20 0 28 0 88261426 27285626880 735252 33554432000 4194304 4196468 140729028139472 140119421340816 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1599] ppid=1588 vsize=26646120 memory=3097988 CPUtime=4.04 cores=0-7
/proc/1590/task/1599/stat : 1599 (java) S 1588 1588 1200 0 -1 1077944384 5449 0 0 0 322 82 0 0 20 0 28 0 88261426 27285626880 735252 33554432000 4194304 4196468 140729028139472 140119420288016 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1600] ppid=1588 vsize=26646120 memory=3080540 CPUtime=0.28 cores=0-7
/proc/1590/task/1600/stat : 1600 (java) S 1588 1588 1200 0 -1 1077944384 16462 0 0 0 20 8 0 0 20 0 28 0 88261428 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118140643440 140119869069954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1601] ppid=1588 vsize=26646120 memory=3080540 CPUtime=0 cores=0-7
/proc/1590/task/1601/stat : 1601 (java) S 1588 1588 1200 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 88261428 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118139589472 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1602] ppid=1588 vsize=26646120 memory=3080540 CPUtime=0 cores=0-7
/proc/1590/task/1602/stat : 1602 (java) S 1588 1588 1200 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 88261428 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118138537088 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1603] ppid=1588 vsize=26646120 memory=3040528 CPUtime=0 cores=0-7
/proc/1590/task/1603/stat : 1603 (java) S 1588 1588 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88261431 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118137485392 140119869077403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1604] ppid=1588 vsize=26646120 memory=3040528 CPUtime=4.63 cores=0-7
/proc/1590/task/1604/stat : 1604 (java) S 1588 1588 1200 0 -1 1077944384 31756 0 0 0 457 6 0 0 20 0 28 0 88261431 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118136433264 140119869069954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1605] ppid=1588 vsize=26646120 memory=3009752 CPUtime=4.47 cores=0-7
/proc/1590/task/1605/stat : 1605 (java) S 1588 1588 1200 0 -1 1077944384 30403 0 0 0 442 5 0 0 20 0 28 0 88261431 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118135380464 140119869069954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1606] ppid=1588 vsize=26646120 memory=2979488 CPUtime=3.64 cores=0-7
/proc/1590/task/1606/stat : 1606 (java) S 1588 1588 1200 0 -1 1077944384 28975 0 0 0 360 4 0 0 20 0 28 0 88261431 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118134328176 140119869069954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1607] ppid=1588 vsize=26646120 memory=2954348 CPUtime=1.19 cores=0-7
/proc/1590/task/1607/stat : 1607 (java) S 1588 1588 1200 0 -1 1077944384 20483 0 0 0 116 3 0 0 20 0 28 0 88261431 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118133275376 140119869069954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1608] ppid=1588 vsize=26646120 memory=2954348 CPUtime=0 cores=0-7
/proc/1590/task/1608/stat : 1608 (java) S 1588 1588 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88261431 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118132222304 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1609] ppid=1588 vsize=26646120 memory=2954348 CPUtime=1.01 cores=0-7
/proc/1590/task/1609/stat : 1609 (java) S 1588 1588 1200 0 -1 1077944384 2758 0 0 0 53 48 0 0 20 0 28 0 88261431 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118131169584 140119869069954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=5623] ppid=1588 vsize=26646120 memory=2954348 CPUtime=2235.19 cores=0-7
/proc/1590/task/5623/stat : 5623 (java) R 1588 1588 1200 0 -1 4202560 7529 0 0 0 223511 8 0 0 20 0 28 0 88287865 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118115212312 140119504773507 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=5624] ppid=1588 vsize=26646120 memory=2954348 CPUtime=2237.33 cores=0-7
/proc/1590/task/5624/stat : 5624 (java) R 1588 1588 1200 0 -1 4202560 7169 0 0 0 223729 4 0 0 20 0 28 0 88287865 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118114163680 140119503219119 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=5625] ppid=1588 vsize=26646120 memory=2954348 CPUtime=2230.35 cores=0-7
/proc/1590/task/5625/stat : 5625 (java) R 1588 1588 1200 0 -1 4202560 9541 0 0 0 223032 3 0 0 20 0 28 0 88287865 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118120477064 140119504578547 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=5626] ppid=1588 vsize=26646120 memory=2941008 CPUtime=2226.91 cores=0-7
/proc/1590/task/5626/stat : 5626 (java) R 1588 1588 1200 0 -1 4202560 9124 0 0 0 222676 15 0 0 20 0 28 0 88287865 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118113107984 140119504773152 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=5627] ppid=1588 vsize=26646120 memory=2941008 CPUtime=2225.97 cores=0-7
/proc/1590/task/5627/stat : 5627 (java) R 1588 1588 1200 0 -1 4202560 9088 0 0 0 222592 5 0 0 20 0 28 0 88287865 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118119424648 140119504578931 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=5628] ppid=1588 vsize=26646120 memory=1452 CPUtime=2235.74 cores=0-7
/proc/1590/task/5628/stat : 5628 (java) R 1588 1588 1200 0 -1 4202560 39185 0 0 0 223494 80 0 0 20 0 28 0 88287865 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118117319288 140119503219087 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=5629] ppid=1588 vsize=26646120 memory=1452 CPUtime=2227.57 cores=0-7
/proc/1590/task/5629/stat : 5629 (java) R 1588 1588 1200 0 -1 4202560 6631 0 0 0 222752 5 0 0 20 0 28 0 88287865 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118118370968 140119504773152 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=5630] ppid=1588 vsize=26646120 memory=1452 CPUtime=2232.21 cores=0-7
/proc/1590/task/5630/stat : 5630 (java) R 1588 1588 1200 0 -1 4202560 11938 0 0 0 223207 14 0 0 20 0 28 0 88287865 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118112055048 140119503219119 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
Current children cumulated CPU time: 19211.5 s
Current children cumulated vsize: 26759248 KiB
Current children cumulated memory: 2942460 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.46 8.41 8.31 9/211 5686
/proc/meminfo: memFree=18880772/32770624 swapFree=67108860/67108860
[pid=1588] ppid=1585 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1588/stat : 1588 (xcsp3-exec) S 1585 1588 1200 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88261425 115843072 363 33554432000 4194304 5098028 140728157033200 140728157031304 140105247347324 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 26800128 140728157041717 140728157041920 140728157041920 140728157044682 0
/proc/1588/statm: 28282 363 305 221 0 87 0
[pid=1590] ppid=1588 vsize=26646120 memory=2941008 CPUtime=19352.8 cores=0-7
/proc/1590/stat : 1590 (java) S 1588 1588 1200 0 -1 1077944320 369675 0 0 0 1934335 940 0 0 20 0 28 0 88261425 27285626880 735252 33554432000 4194304 4196468 140729028139472 140729028122016 140119869058807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
/proc/1590/statm: 6661530 735252 3464 1 0 6622724 0
[pid=1590/tid=1591] ppid=1588 vsize=26646120 memory=2941008 CPUtime=10.49 cores=0-7
/proc/1590/task/1591/stat : 1591 (java) S 1588 1588 1200 0 -1 1077944384 12937 0 0 0 1030 19 0 0 20 0 28 0 88261426 27285626880 735252 33554432000 4194304 4196468 140729028139472 140119873299520 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1592] ppid=1588 vsize=26646120 memory=-7003737579269690708 CPUtime=4 cores=0-7
/proc/1590/task/1592/stat : 1592 (java) S 1588 1588 1200 0 -1 1077944384 4938 0 0 0 321 79 0 0 20 0 28 0 88261426 27285626880 735252 33554432000 4194304 4196468 140729028139472 140119821678992 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1593] ppid=1588 vsize=26646120 memory=2941008 CPUtime=4.01 cores=0-7
/proc/1590/task/1593/stat : 1593 (java) S 1588 1588 1200 0 -1 1077944384 6113 0 0 0 323 78 0 0 20 0 28 0 88261426 27285626880 735252 33554432000 4194304 4196468 140729028139472 140119820626192 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1594] ppid=1588 vsize=26646120 memory=15872 CPUtime=3.91 cores=0-7
/proc/1590/task/1594/stat : 1594 (java) S 1588 1588 1200 0 -1 1077944384 4323 0 0 0 317 74 0 0 20 0 28 0 88261426 27285626880 735252 33554432000 4194304 4196468 140729028139472 140119819573904 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1595] ppid=1588 vsize=26646120 memory=15148 CPUtime=3.95 cores=0-7
/proc/1590/task/1595/stat : 1595 (java) S 1588 1588 1200 0 -1 1077944384 6505 0 0 0 321 74 0 0 20 0 28 0 88261426 27285626880 735252 33554432000 4194304 4196468 140729028139472 140119424498192 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1596] ppid=1588 vsize=26646120 memory=18276 CPUtime=4.02 cores=0-7
/proc/1590/task/1596/stat : 1596 (java) S 1588 1588 1200 0 -1 1077944384 5927 0 0 0 326 76 0 0 20 0 28 0 88261426 27285626880 735252 33554432000 4194304 4196468 140729028139472 140119423445904 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1597] ppid=1588 vsize=26646120 memory=4048 CPUtime=4.05 cores=0-7
/proc/1590/task/1597/stat : 1597 (java) S 1588 1588 1200 0 -1 1077944384 7359 0 0 0 324 81 0 0 20 0 28 0 88261426 27285626880 735252 33554432000 4194304 4196468 140729028139472 140119422393104 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1598] ppid=1588 vsize=26646120 memory=1792 CPUtime=4.06 cores=0-7
/proc/1590/task/1598/stat : 1598 (java) S 1588 1588 1200 0 -1 1077944384 4993 0 0 0 324 82 0 0 20 0 28 0 88261426 27285626880 735252 33554432000 4194304 4196468 140729028139472 140119421340816 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1599] ppid=1588 vsize=26646120 memory=4132 CPUtime=4.04 cores=0-7
/proc/1590/task/1599/stat : 1599 (java) S 1588 1588 1200 0 -1 1077944384 5449 0 0 0 322 82 0 0 20 0 28 0 88261426 27285626880 735252 33554432000 4194304 4196468 140729028139472 140119420288016 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1600] ppid=1588 vsize=26646120 memory=25780 CPUtime=0.29 cores=0-7
/proc/1590/task/1600/stat : 1600 (java) S 1588 1588 1200 0 -1 1077944384 16464 0 0 0 21 8 0 0 20 0 28 0 88261428 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118140643440 140119869069954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1601] ppid=1588 vsize=26646120 memory=1292 CPUtime=0 cores=0-7
/proc/1590/task/1601/stat : 1601 (java) S 1588 1588 1200 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 88261428 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118139589472 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1602] ppid=1588 vsize=26646120 memory=2444 CPUtime=0 cores=0-7
/proc/1590/task/1602/stat : 1602 (java) S 1588 1588 1200 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 88261428 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118138537088 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1603] ppid=1588 vsize=26646120 memory=1832 CPUtime=0 cores=0-7
/proc/1590/task/1603/stat : 1603 (java) S 1588 1588 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88261431 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118137485392 140119869077403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1604] ppid=1588 vsize=26646120 memory=1948 CPUtime=4.63 cores=0-7
/proc/1590/task/1604/stat : 1604 (java) S 1588 1588 1200 0 -1 1077944384 31758 0 0 0 457 6 0 0 20 0 28 0 88261431 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118136433264 140119869069954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1605] ppid=1588 vsize=26646120 memory=1224 CPUtime=4.47 cores=0-7
/proc/1590/task/1605/stat : 1605 (java) S 1588 1588 1200 0 -1 1077944384 30405 0 0 0 442 5 0 0 20 0 28 0 88261431 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118135380464 140119869069954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1606] ppid=1588 vsize=26646120 memory=1716 CPUtime=3.64 cores=0-7
/proc/1590/task/1606/stat : 1606 (java) S 1588 1588 1200 0 -1 1077944384 28977 0 0 0 360 4 0 0 20 0 28 0 88261431 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118134328176 140119869069954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1607] ppid=1588 vsize=26646120 memory=1236 CPUtime=1.19 cores=0-7
/proc/1590/task/1607/stat : 1607 (java) S 1588 1588 1200 0 -1 1077944384 20485 0 0 0 116 3 0 0 20 0 28 0 88261431 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118133275376 140119869069954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1608] ppid=1588 vsize=26646120 memory=648 CPUtime=0 cores=0-7
/proc/1590/task/1608/stat : 1608 (java) S 1588 1588 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88261431 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118132222304 140119869069013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=1609] ppid=1588 vsize=26646120 memory=1796 CPUtime=1.01 cores=0-7
/proc/1590/task/1609/stat : 1609 (java) S 1588 1588 1200 0 -1 1077944384 2762 0 0 0 53 48 0 0 20 0 28 0 88261431 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118131169584 140119869069954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=5623] ppid=1588 vsize=26646120 memory=912 CPUtime=2252.53 cores=0-7
/proc/1590/task/5623/stat : 5623 (java) R 1588 1588 1200 0 -1 4202560 7543 0 0 0 225245 8 0 0 20 0 28 0 88287865 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118115212312 140119504773152 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=5624] ppid=1588 vsize=26646120 memory=4136 CPUtime=2255.03 cores=0-7
/proc/1590/task/5624/stat : 5624 (java) R 1588 1588 1200 0 -1 4202560 7195 0 0 0 225499 4 0 0 20 0 28 0 88287865 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118114163680 140119504578368 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=5625] ppid=1588 vsize=26646120 memory=956 CPUtime=2248.07 cores=0-7
/proc/1590/task/5625/stat : 5625 (java) R 1588 1588 1200 0 -1 4202560 9575 0 0 0 224803 4 0 0 20 0 28 0 88287865 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118120477064 140119504496775 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=5626] ppid=1588 vsize=26646120 memory=2340 CPUtime=2244.61 cores=0-7
/proc/1590/task/5626/stat : 5626 (java) R 1588 1588 1200 0 -1 4202560 9140 0 0 0 224446 15 0 0 20 0 28 0 88287865 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118113107984 140119504773152 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=5627] ppid=1588 vsize=26646120 memory=1408 CPUtime=2243.67 cores=0-7
/proc/1590/task/5627/stat : 5627 (java) R 1588 1588 1200 0 -1 4202560 9097 0 0 0 224362 5 0 0 20 0 28 0 88287865 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118119424648 140119504578368 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=5628] ppid=1588 vsize=26646120 memory=2941008 CPUtime=2253.46 cores=0-7
/proc/1590/task/5628/stat : 5628 (java) R 1588 1588 1200 0 -1 4202560 39460 0 0 0 225265 81 0 0 20 0 28 0 88287865 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118117319288 140119504496768 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=5629] ppid=1588 vsize=26646120 memory=4132 CPUtime=2245.28 cores=0-7
/proc/1590/task/5629/stat : 5629 (java) R 1588 1588 1200 0 -1 4202560 6652 0 0 0 224523 5 0 0 20 0 28 0 88287865 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118118370968 140119504578561 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
[pid=1590/tid=5630] ppid=1588 vsize=26646120 memory=1452 CPUtime=2249.92 cores=0-7
/proc/1590/task/5630/stat : 5630 (java) R 1588 1588 1200 0 -1 4202560 11953 0 0 0 224978 14 0 0 20 0 28 0 88287865 27285626880 735252 33554432000 4194304 4196468 140729028139472 140118112055048 140119503219110 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 7294976 140729028146305 140729028146477 140729028146477 140729028149199 0
Current children cumulated CPU time: 19352.8 s
Current children cumulated vsize: 26759248 KiB
Current children cumulated memory: 2942460 KiB

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

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

[startup+2520.11 s]
# the end of solver process 1590 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19344 s, system=9.42059 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.11
CPU time (s): 19353.5
CPU user time (s): 19344
CPU system time (s): 9.42059
CPU usage (%): 767.961
Max. virtual memory (cumulated for all children) (KiB): 26759248
Max. memory (cumulated for all children) (KiB): 3184696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19344
system time used= 9.42059
maximum resident set size= 3183244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 370659
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 94972
involuntary context switches= 213725


# summary of solver processes directly reported to runsolver:
#   pid: 1588,1590
#   total CPU time (s): 19353.5
#   total CPU user time (s): 19344
#   total CPU system time (s): 9.42059

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.8592 second user time and 28.3207 second system time

The end

Launcher Data 

Begin job on node132 at 2018-07-27 17:56:23
IDJOB=4297884
IDBENCH=141208
IDSOLVER=2760
FILE ID=node132/4297884-1532706982
RUNJOBID= node132-1532704456-1227
PBS_JOBID= 21022307
Free space on /tmp= 52044 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-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-4297884-1532706982/watcher-4297884-1532706982 -o /tmp/evaluation-result-4297884-1532706982/solver-4297884-1532706982 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1532704456-1227 --watchdog 2580  HOME/xcsp3-exec -seed 1141283210 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297884-1532706982.xml

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

MD5SUM BENCH= fd86b7eb5950840b127d09215950c850
RANDOM SEED=1141283210

node132.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.65
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.65
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.65
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.65
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:        21815828 kB
MemAvailable:   31928896 kB
Buffers:          220428 kB
Cached:         10086568 kB
SwapCached:            0 kB
Active:          2954540 kB
Inactive:        7406116 kB
Active(anon):       3612 kB
Inactive(anon):    77932 kB
Active(file):    2950928 kB
Inactive(file):  7328184 kB
Unevictable:        7020 kB
Mlocked:            7020 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             22012 kB
Writeback:             0 kB
AnonPages:         68452 kB
Mapped:            42220 kB
Shmem:             25248 kB
Slab:             289700 kB
SReclaimable:     262416 kB
SUnreclaim:        27284 kB
KernelStack:        3584 kB
PageTables:         4736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 52020 MiB
End job on node132 at 2018-07-27 18:38:23