Trace number 4393991

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 2019-06-14 parallelSAT (TO)5642 19724.7 2520.1

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-05-opt_c18.xml
MD5SUMd0ab6aee5f30ff70d66f863e0e3556a1
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark221
Best CPU time to get the best result obtained on this benchmark9.42536
Satisfiable
(Un)Satisfiability was proved
Number of variables1234
Number of constraints1134
Number of domains10
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":1034},{"size":6,"count":18},{"size":22,"count":8},{"size":24,"count":4},{"size":36,"count":44},{"size":42,"count":46},{"size":44,"count":80}]
Minimum variable degree1
Maximum variable degree22
Distribution of variable degrees[{"degree":1,"count":1},{"degree":2,"count":1035},{"degree":3,"count":4},{"degree":4,"count":11},{"degree":5,"count":22},{"degree":6,"count":22},{"degree":7,"count":19},{"degree":8,"count":21},{"degree":9,"count":12},{"degree":10,"count":11},{"degree":12,"count":1},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":17,"count":8},{"degree":18,"count":13},{"degree":19,"count":16},{"degree":20,"count":18},{"degree":21,"count":14},{"degree":22,"count":3}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":100},{"arity":3,"count":1034}]
Number of extensional constraints0
Number of intensional constraints1134
Distribution of constraint types[{"type":"intension","count":1134}]
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 -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393991-1568447876.xml"  -tl '20160s' -p 8
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4393991-1568447876.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
20.44/8.03	c solve instance...
25.41/8.79	o 148863 
26.08/8.80	o 147962 
27.71/9.19	o 147862 
27.71/9.20	o 147762 
27.89/9.21	o 147761 
27.89/9.23	o 146862 
27.89/9.24	o 145961 
27.89/9.25	o 145861 
27.89/9.26	o 145761 
27.89/9.28	o 145732 
28.41/9.33	o 145731 
28.41/9.36	o 145640 
28.41/9.39	o 145620 
28.81/9.42	o 144960 
28.81/9.45	o 144931 
28.81/9.48	o 144930 
29.05/9.51	o 144839 
29.05/9.54	o 144819 
29.05/9.57	o 144760 
29.05/9.58	o 144731 
29.36/9.62	o 144730 
29.36/9.65	o 144639 
29.36/9.68	o 144619 
29.67/9.79	o 144596 
29.80/9.80	o 144567 
29.80/9.83	o 144503 
30.45/9.94	o 144483 
30.45/9.97	o 144414 
30.45/10.00	o 144393 
30.86/10.01	o 144373 
31.38/10.32	o 144363 
33.12/11.62	o 144353 
33.12/11.65	o 144352 
33.12/11.67	o 144342 
33.12/11.69	o 143747 
33.37/11.71	o 143647 
33.37/11.74	o 143547 
33.37/11.77	o 143528 
33.65/11.80	o 143518 
33.65/11.81	o 143517 
33.65/11.82	o 143427 
33.65/11.83	o 143426 
33.65/11.84	o 143406 
33.65/11.88	o 143383 
33.65/11.89	o 143364 
34.01/11.90	o 143354 
34.01/11.93	o 143290 
34.01/11.94	o 143270 
34.01/11.97	o 143201 
34.01/11.99	o 143180 
34.41/12.10	o 143160 
34.98/12.15	o 143150 
34.98/12.17	o 143140 
35.28/12.20	o 143111 
35.28/12.22	o 143090 
35.28/12.24	o 143070 
35.28/12.26	o 143060 
35.28/12.27	o 143050 
35.58/12.30	o 142956 
35.58/12.31	o 142856 
35.58/12.33	o 142756 
35.58/12.35	o 142737 
35.58/12.38	o 142727 
35.85/12.42	o 142726 
35.85/12.44	o 142636 
35.85/12.45	o 142635 
35.85/12.46	o 142615 
35.85/12.47	o 142593 
35.85/12.49	o 142493 
36.11/12.52	o 142474 
36.11/12.57	o 142464 
36.11/12.57	o 142400 
36.11/12.58	o 142380 
36.11/12.59	o 142311 
36.38/12.60	o 142290 
36.38/12.61	o 142270 
36.38/12.63	o 142260 
36.38/12.65	o 142250 
36.38/12.68	o 142249 
36.75/12.72	o 141946 
36.75/12.74	o 141846 
36.75/12.79	o 141746 
37.05/12.80	o 141727 
37.05/12.81	o 141717 
37.05/12.88	o 141716 
37.05/12.89	o 141626 
37.21/12.91	o 141625 
37.21/12.92	o 141605 
47.82/14.33	o 141583 
47.82/14.38	o 141483 
47.82/14.39	o 141464 
48.06/14.42	o 141454 
48.06/14.47	o 141390 
48.06/14.49	o 141370 
48.32/14.51	o 141301 
48.32/14.53	o 141280 
48.32/14.53	o 141260 
48.32/14.55	o 141250 
48.32/14.56	o 141240 
48.54/14.60	o 140737 
48.92/14.73	o 140648 
48.92/14.76	o 140548 
50.49/15.99	o 140448 
50.65/16.02	o 140419 
50.65/16.06	o 140418 
50.85/16.14	o 140327 
50.85/16.18	o 140307 
51.04/16.29	o 139647 
51.28/16.33	o 139618 
51.28/16.37	o 139617 
51.28/16.38	o 139526 
51.49/16.42	o 139506 
51.49/16.44	o 139447 
51.49/16.48	o 139418 
51.72/16.50	o 139417 
51.99/16.67	o 139326 
51.99/16.70	o 139306 
52.13/16.74	o 139284 
52.13/16.77	o 139255 
52.58/16.80	o 139202 
52.58/16.83	o 139181 
52.58/16.87	o 139161 
53.02/16.91	o 139151 
53.02/16.94	o 139141 
53.02/16.98	o 139140 
53.02/17.00	o 139130 
53.49/17.03	o 139115 
53.49/17.06	o 139114 
53.49/17.09	o 139094 
53.49/17.10	o 138434 
53.79/17.13	o 138415 
53.79/17.17	o 138405 
53.96/17.20	o 138404 
53.96/17.22	o 138314 
53.96/17.28	o 138313 
54.12/17.30	o 138293 
54.12/17.33	o 138234 
54.12/17.34	o 138215 
54.12/17.37	o 138205 
54.12/17.39	o 138204 
54.36/17.42	o 138114 
54.36/17.43	o 138113 
54.36/17.46	o 138093 
54.36/17.48	o 138071 
54.73/17.52	o 138052 
54.73/17.54	o 137989 
54.73/17.56	o 137968 
54.73/17.59	o 137948 
55.30/17.63	o 137938 
55.30/17.67	o 137928 
55.68/17.74	o 137903 
55.68/17.79	o 137902 
56.05/17.83	o 137882 
56.05/17.84	o 137803 
56.05/17.85	o 137802 
56.05/17.87	o 137782 
56.36/17.95	o 137123 
56.36/17.98	o 137104 
56.57/18.04	o 137094 
56.57/18.07	o 137093 
56.57/18.08	o 137003 
56.57/18.10	o 137002 
56.80/18.12	o 136982 
56.80/18.14	o 136923 
56.80/18.18	o 136904 
56.97/18.21	o 136894 
56.97/18.22	o 136893 
56.97/18.26	o 136803 
56.97/18.27	o 136802 
56.97/18.28	o 136782 
57.21/18.32	o 136647 
57.47/18.44	o 136123 
57.47/18.46	o 136104 
58.87/19.71	o 136094 
58.87/19.72	o 136093 
58.87/19.75	o 136003 
58.87/19.77	o 136002 
58.87/19.78	o 135982 
59.07/19.80	o 135923 
59.07/19.85	o 135904 
59.07/19.89	o 135894 
59.29/19.92	o 135893 
59.29/19.94	o 135803 
59.29/19.97	o 135802 
59.29/19.98	o 135782 
59.55/20.03	o 135123 
59.55/20.05	o 135023 
59.55/20.07	o 134923 
59.55/20.09	o 134904 
59.83/20.11	o 134894 
59.83/20.12	o 134893 
59.83/20.15	o 134803 
59.83/20.17	o 134802 
59.83/20.19	o 134782 
60.05/20.22	o 134223 
60.05/20.25	o 134123 
60.05/20.28	o 134023 
60.43/20.31	o 134004 
60.43/20.32	o 133994 
60.43/20.36	o 133993 
60.43/20.37	o 133903 
60.61/20.43	o 133902 
60.61/20.46	o 133882 
60.61/20.49	o 133802 
60.87/20.52	o 133801 
60.87/20.52	o 133781 
60.87/20.55	o 133759 
61.06/20.63	o 133740 
61.06/20.64	o 133731 
61.06/20.65	o 133677 
61.06/20.66	o 133656 
61.06/20.68	o 133636 
61.06/20.69	o 133626 
61.30/20.70	o 133616 
61.30/20.72	o 133222 
61.30/20.73	o 133122 
61.30/20.74	o 133022 
61.30/20.78	o 133003 
61.30/20.79	o 132993 
61.57/20.81	o 132992 
61.57/20.83	o 132902 
61.57/20.85	o 132901 
61.57/20.88	o 132881 
61.88/20.90	o 132866 
61.88/20.91	o 132846 
61.88/20.94	o 132777 
61.88/20.96	o 132756 
61.88/20.99	o 132736 
61.88/21.00	o 132726 
62.16/21.05	o 132716 
62.16/21.06	o 132657 
62.16/21.08	o 132616 
62.83/21.21	o 132120 
63.10/21.32	o 132101 
63.37/21.40	o 132001 
63.37/21.42	o 131901 
63.37/21.49	o 130130 
63.56/21.60	o 130093 
63.89/21.70	o 129993 
63.89/21.73	o 129893 
63.89/21.78	o 128990 
64.13/21.90	o 128892 
64.45/21.92	o 127990 
64.86/22.03	o 127974 
66.10/23.24	o 127964 
66.10/23.28	o 127963 
66.35/23.31	o 127873 
66.35/23.37	o 127872 
66.57/23.41	o 127852 
66.57/23.44	o 127837 
66.57/23.47	o 127817 
66.84/23.51	o 127807 
66.84/23.51	o 127787 
66.84/23.55	o 127728 
66.84/23.56	o 127628 
67.12/23.62	o 127587 
67.64/23.71	o 127072 
67.64/23.77	o 126972 
67.91/23.80	o 126872 
67.91/23.86	o 126853 
68.29/23.91	o 126843 
68.29/23.93	o 126842 
68.96/24.22	o 126752 
68.96/24.28	o 126751 
69.19/24.33	o 126731 
69.41/24.42	o 126721 
69.41/24.50	o 126719 
69.63/24.53	o 126708 
69.63/24.56	o 126696 
69.63/24.59	o 126686 
69.95/24.63	o 126676 
69.95/24.67	o 126617 
69.95/24.68	o 126517 
69.95/24.69	o 126476 
70.25/24.76	o 126440 
70.25/24.77	o 126340 
70.66/24.83	o 126321 
70.66/24.86	o 126311 
70.82/24.91	o 126310 
70.82/24.95	o 126220 
70.82/25.00	o 126219 
71.03/25.03	o 126199 
71.19/25.11	o 126198 
71.19/25.12	o 126187 
71.19/25.19	o 126176 
71.44/25.22	o 126164 
71.44/25.30	o 126130 
71.70/25.35	o 126111 
71.70/25.37	o 126101 
71.90/25.41	o 126100 
71.90/25.47	o 126010 
72.09/25.51	o 126009 
72.09/25.57	o 125989 
72.33/25.63	o 125979 
72.51/25.72	o 125908 
72.51/25.75	o 125907 
72.69/25.87	o 125887 
72.84/25.95	o 125877 
72.99/26.07	o 125876 
72.99/26.09	o 125866 
73.25/26.18	o 125778 
74.38/26.32	o 125329 
74.38/26.36	o 125229 
75.67/27.52	o 125129 
75.67/27.56	o 125110 
75.91/27.66	o 125100 
76.08/27.73	o 125099 
76.08/27.77	o 125009 
76.08/27.78	o 125008 
76.30/27.83	o 124988 
76.30/27.84	o 124987 
76.30/27.86	o 124976 
76.53/27.92	o 124965 
76.53/28.00	o 124943 
76.71/28.05	o 124907 
76.71/28.08	o 124906 
76.71/28.09	o 124886 
77.11/28.17	o 124876 
77.24/28.21	o 124875 
77.24/28.24	o 124865 
77.50/28.32	o 124863 
77.50/28.36	o 124841 
77.50/28.39	o 124840 
77.86/28.47	o 124828 
78.06/28.52	o 124808 
78.20/28.62	o 124798 
78.20/28.65	o 124778 
78.20/28.67	o 124719 
78.47/28.75	o 124619 
78.61/28.84	o 124578 
79.07/28.93	o 124063 
79.07/28.94	o 123963 
79.07/28.96	o 123863 
79.07/28.98	o 123844 
79.07/28.99	o 123834 
79.07/29.00	o 123833 
79.33/29.02	o 123743 
79.33/29.04	o 123742 
79.33/29.05	o 123722 
79.33/29.08	o 123712 
79.33/29.09	o 123710 
79.64/29.12	o 123699 
79.64/29.16	o 123687 
79.84/29.20	o 123677 
79.84/29.24	o 123667 
80.05/29.31	o 123608 
80.05/29.34	o 123508 
80.05/29.36	o 123467 
80.35/29.54	o 31540 
80.35/29.58	o 31521 
80.85/29.76	o 30521 
84.36/30.24	o 30439 
84.36/30.28	o 30420 
86.37/30.62	o 29750 
86.64/30.72	o 29650 
87.33/30.84	o 29631 
88.53/31.24	o 29549 
88.53/31.27	o 29449 
88.87/31.36	o 29430 
90.60/31.63	o 28559 
90.60/31.68	o 28459 
91.11/31.88	o 27550 
91.32/31.91	o 27450 
93.30/32.25	o 27431 
96.80/32.71	o 27430 
96.80/32.75	o 27330 
97.14/32.80	o 27311 
99.45/33.12	o 27241 
104.07/33.80	o 27222 
140.03/38.33	o 19236 
140.39/38.40	o 19226 
140.39/38.47	o 19216 
141.06/38.65	o 19116 
141.37/38.77	o 19016 
141.65/38.83	o 18936 
142.24/39.00	o 18726 
144.91/39.31	o 18626 
267.70/54.86	o 18539 
268.28/55.01	o 18439 
277.41/56.68	o 18339 
683.16/107.99	o 18011 
690.22/109.06	o 18001 
695.03/109.97	o 17921 
696.40/110.83	o 17911 
700.63/111.68	o 17821 
701.73/112.41	o 17811 
3494.94/462.65	o 10697 
3495.43/462.80	o 10597 
3495.65/463.00	o 10497 
3497.01/464.07	o 10397 
3497.42/464.26	o 10297 
3513.68/466.77	o 10206 
3514.67/467.13	o 10197 
4235.62/558.20	o 10196 
4235.71/558.28	o 10096 
4237.19/559.32	o 10087 
6094.17/792.64	o 8786 
6094.17/792.68	o 8686 
6094.40/792.71	o 8586 
6095.72/793.76	o 8486 
6096.19/793.97	o 8386 
6097.95/795.04	o 8376 
6101.49/796.32	o 8276 
6103.50/797.43	o 8266 
6153.63/804.15	o 8186 
6155.63/805.29	o 8176 
6215.86/813.29	o 8086 
6217.14/813.54	o 8076 
6219.38/814.64	o 8066 
6222.98/815.94	o 7986 
6225.22/817.09	o 7976 
6226.47/817.50	o 7966 
6397.10/839.06	o 7902 
6397.41/839.16	o 7890 
6399.62/840.29	o 7880 
6406.33/841.70	o 7876 
6495.41/852.90	o 7790 
6496.18/853.37	o 7778 
6511.24/855.79	o 7774 
7099.06/929.56	o 6731 
7100.55/930.63	o 6631 
7100.87/930.81	o 6531 
7101.13/930.99	o 6431 
7101.44/931.05	o 6331 
7101.86/931.22	o 6231 
7105.36/931.77	o 6141 
7115.89/933.18	o 6121 
7116.42/933.35	o 6021 
7118.02/933.62	o 5931 
7277.01/954.00	o 5852 
7278.32/954.55	o 5841 
7571.99/992.14	o 5793 
7576.57/993.43	o 5782 
7591.34/995.91	o 5753 
7591.77/996.04	o 5742 
7605.43/998.38	o 5693 
7607.91/999.56	o 5682 
7614.46/1000.94	o 5653 
7617.17/1002.14	o 5642 
19724.07/2520.07	s SATISFIABLE
19724.07/2520.07	v <instantiation>
19724.07/2520.07	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] 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] 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] 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] </list>
19724.07/2520.07	v 	<values>58 296 792 554 72 310 240 478 170 408 792 554 254 16 30 268 16 254 16 254 778 540 240 478 666 428 722 484 484 722 16 254 736 498 722 484 792 554 708 470 694 456 680 442 114 352 722 484 680 442 44 282 58 296 114 352 58 296 722 484 470 708 652 414 792 554 72 310 764 526 156 394 240 478 128 366 694 456 764 526 100 338 16 254 128 366 792 554 16 254 156 394 792 554 72 310 240 478 652 414 750 512 58 296 100 338 16 254 722 484 778 540 254 16 16 254 142 380 666 428 170 408 170 408 58 296 680 442 666 428 58 296 100 338 240 478 778 540 16 254 128 366 16 254 750 512 16 254 792 554 778 540 652 414 128 366 792 554 722 484 128 366 58 296 128 366 442 680 58 296 30 268 792 554 652 414 16 254 694 456 792 554 708 470 736 498 16 254 652 414 16 254 240 478 72 310 16 254 512 750 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1000 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 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 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 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 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 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 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 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
19724.07/2520.07	v </instantiation>
19724.07/2520.07	c Unexpected resolution interruption!

Verifier Data 

OK	5642

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393991-1568447876/watcher-4393991-1568447876 -o /tmp/evaluation-result-4393991-1568447876/solver-4393991-1568447876 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568439334-14507 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1138416126 HOME/instance-4393991-1568447876.xml 

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

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


[startup+0.100132 s]*
/proc/loadavg: 4.74 4.92 4.02 2/211 18563
/proc/meminfo: memFree=25777868/32770624 swapFree=67002288/67108860
[pid=18542] ppid=18539 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18542/stat : 18542 (xcsp3-exec) S 18539 18542 14480 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421036236 115843072 363 33554432000 4194304 5098028 140731301748592 140731301746696 140029309551228 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37212160 140731301757813 140731301758057 140731301758057 140731301760970 0
/proc/18542/statm: 28282 363 304 221 0 87 0
[pid=18544] ppid=18542 vsize=28227388 memory=28928 CPUtime=0.13 cores=0-7
/proc/18544/stat : 18544 (java) S 18542 18542 14480 0 -1 1077944320 5706 0 0 0 11 2 0 0 20 0 20 0 421036236 28904845312 7232 33554432000 4194304 4196468 140730779096896 140730779079440 139772125679351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
/proc/18544/statm: 7056847 7232 3118 1 0 7019032 0
[pid=18544/tid=18545] ppid=18542 vsize=28227388 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/18544/task/18545/stat : 18545 (java) R 18542 18542 14480 0 -1 4202560 3622 0 0 0 8 1 0 0 20 0 20 0 421036237 28904845312 7232 33554432000 4194304 4196468 140730779096896 139772129915776 139772125701277 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18546] ppid=18542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18546/stat : 18546 (java) S 18542 18542 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421036237 28904845312 7232 33554432000 4194304 4196468 140730779096896 139772078300304 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18547] ppid=18542 vsize=28227388 memory=140013299463808 CPUtime=0 cores=0-7
/proc/18544/task/18547/stat : 18547 (java) S 18542 18542 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421036237 28904845312 7232 33554432000 4194304 4196468 140730779096896 139772077247504 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18548] ppid=18542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18548/stat : 18548 (java) S 18542 18542 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421036237 28904845312 7232 33554432000 4194304 4196468 140730779096896 139772076194704 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18549] ppid=18542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18549/stat : 18549 (java) S 18542 18542 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421036237 28904845312 7232 33554432000 4194304 4196468 140730779096896 139772075141904 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18550] ppid=18542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18550/stat : 18550 (java) S 18542 18542 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421036237 28904845312 7232 33554432000 4194304 4196468 140730779096896 139772074089104 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18551] ppid=18542 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/18544/task/18551/stat : 18551 (java) S 18542 18542 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421036237 28904845312 7232 33554432000 4194304 4196468 140730779096896 139772073036304 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18552] ppid=18542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18552/stat : 18552 (java) S 18542 18542 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421036237 28904845312 7232 33554432000 4194304 4196468 140730779096896 139772071983504 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18553] ppid=18542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18553/stat : 18553 (java) S 18542 18542 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421036237 28904845312 7232 33554432000 4194304 4196468 140730779096896 139772070930704 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18554] ppid=18542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18554/stat : 18554 (java) S 18542 18542 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421036239 28904845312 7232 33554432000 4194304 4196468 140730779096896 139770254130032 139772125690498 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18555] ppid=18542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18555/stat : 18555 (java) S 18542 18542 14480 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421036239 28904845312 7232 33554432000 4194304 4196468 140730779096896 139770253076000 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18556] ppid=18542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18556/stat : 18556 (java) S 18542 18542 14480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421036240 28904845312 7232 33554432000 4194304 4196468 140730779096896 139770252023152 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18557] ppid=18542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18557/stat : 18557 (java) S 18542 18542 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421036242 28904845312 7232 33554432000 4194304 4196468 140730779096896 139770250971472 139772125697947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18558] ppid=18542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18558/stat : 18558 (java) S 18542 18542 14480 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 421036242 28904845312 7232 33554432000 4194304 4196468 140730779096896 139770249918832 139772125690498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18559] ppid=18542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18559/stat : 18559 (java) S 18542 18542 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421036242 28904845312 7232 33554432000 4194304 4196468 140730779096896 139769940891888 139772125690498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18560] ppid=18542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18560/stat : 18560 (java) S 18542 18542 14480 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 421036242 28904845312 7232 33554432000 4194304 4196468 140730779096896 139769939839088 139772125690498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18561] ppid=18542 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/18544/task/18561/stat : 18561 (java) R 18542 18542 14480 0 -1 4202560 343 0 0 0 1 0 0 0 20 0 20 0 421036242 28904845312 7232 33554432000 4194304 4196468 140730779096896 139769938786288 139772125700698 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18562] ppid=18542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18562/stat : 18562 (java) S 18542 18542 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421036242 28904845312 7232 33554432000 4194304 4196468 140730779096896 139769937734752 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18563] ppid=18542 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/18544/task/18563/stat : 18563 (java) S 18542 18542 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421036242 28904845312 7232 33554432000 4194304 4196468 140730779096896 139769936682032 139772125690498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30380 KiB

[startup+0.210614 s]*
/proc/loadavg: 4.74 4.92 4.02 2/211 18563
/proc/meminfo: memFree=25764368/32770624 swapFree=67002288/67108860
[pid=18542] ppid=18539 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18542/stat : 18542 (xcsp3-exec) S 18539 18542 14480 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421036236 115843072 363 33554432000 4194304 5098028 140731301748592 140731301746696 140029309551228 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37212160 140731301757813 140731301758057 140731301758057 140731301760970 0
/proc/18542/statm: 28282 363 304 221 0 87 0
[pid=18544] ppid=18542 vsize=28227388 memory=41088 CPUtime=0.34 cores=0-7
/proc/18544/stat : 18544 (java) S 18542 18542 14480 0 -1 1077944320 9510 0 0 0 30 4 0 0 20 0 20 0 421036236 28904845312 10272 33554432000 4194304 4196468 140730779096896 140730779079440 139772125679351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
/proc/18544/statm: 7056847 10272 3301 1 0 7019032 0
[pid=18544/tid=18545] ppid=18542 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/18544/task/18545/stat : 18545 (java) R 18542 18542 14480 0 -1 4202560 6655 0 0 0 17 2 0 0 20 0 20 0 421036237 28904845312 10272 33554432000 4194304 4196468 140730779096896 139772129913296 139772125691286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18546] ppid=18542 vsize=28227388 memory=330 CPUtime=0 cores=0-7
/proc/18544/task/18546/stat : 18546 (java) S 18542 18542 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421036237 28904845312 10272 33554432000 4194304 4196468 140730779096896 139772078300304 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18547] ppid=18542 vsize=28227388 memory=288370389451175552 CPUtime=0 cores=0-7
/proc/18544/task/18547/stat : 18547 (java) S 18542 18542 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421036237 28904845312 10272 33554432000 4194304 4196468 140730779096896 139772077247504 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18548] ppid=18542 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/18544/task/18548/stat : 18548 (java) S 18542 18542 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421036237 28904845312 10272 33554432000 4194304 4196468 140730779096896 139772076194704 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18549] ppid=18542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18549/stat : 18549 (java) S 18542 18542 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421036237 28904845312 10272 33554432000 4194304 4196468 140730779096896 139772075141904 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18550] ppid=18542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18550/stat : 18550 (java) S 18542 18542 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421036237 28904845312 10272 33554432000 4194304 4196468 140730779096896 139772074089104 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18551] ppid=18542 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/18544/task/18551/stat : 18551 (java) S 18542 18542 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421036237 28904845312 10272 33554432000 4194304 4196468 140730779096896 139772073036304 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18552] ppid=18542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18552/stat : 18552 (java) S 18542 18542 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421036237 28904845312 10272 33554432000 4194304 4196468 140730779096896 139772071983504 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18553] ppid=18542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18553/stat : 18553 (java) S 18542 18542 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421036237 28904845312 10272 33554432000 4194304 4196468 140730779096896 139772070930704 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18554] ppid=18542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18554/stat : 18554 (java) S 18542 18542 14480 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421036239 28904845312 10272 33554432000 4194304 4196468 140730779096896 139770254130032 139772125690498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18555] ppid=18542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18555/stat : 18555 (java) S 18542 18542 14480 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421036239 28904845312 10272 33554432000 4194304 4196468 140730779096896 139770253076000 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18556] ppid=18542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18556/stat : 18556 (java) S 18542 18542 14480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421036240 28904845312 10272 33554432000 4194304 4196468 140730779096896 139770252023152 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18557] ppid=18542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18557/stat : 18557 (java) S 18542 18542 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421036242 28904845312 10272 33554432000 4194304 4196468 140730779096896 139770250971472 139772125697947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18558] ppid=18542 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/18544/task/18558/stat : 18558 (java) S 18542 18542 14480 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 20 0 421036242 28904845312 10272 33554432000 4194304 4196468 140730779096896 139770249918832 139772125690498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18559] ppid=18542 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/18544/task/18559/stat : 18559 (java) S 18542 18542 14480 0 -1 1077944384 136 0 0 0 1 0 0 0 20 0 20 0 421036242 28904845312 10272 33554432000 4194304 4196468 140730779096896 139769940891888 139772125690498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18560] ppid=18542 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/18544/task/18560/stat : 18560 (java) S 18542 18542 14480 0 -1 1077944384 174 0 0 0 1 0 0 0 20 0 20 0 421036242 28904845312 10272 33554432000 4194304 4196468 140730779096896 139769939839088 139772125690498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18561] ppid=18542 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/18544/task/18561/stat : 18561 (java) R 18542 18542 14480 0 -1 4202560 760 0 0 0 7 0 0 0 20 0 20 0 421036242 28904845312 10272 33554432000 4194304 4196468 140730779096896 139769938786288 139772112003726 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18562] ppid=18542 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18562/stat : 18562 (java) S 18542 18542 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421036242 28904845312 10272 33554432000 4194304 4196468 140730779096896 139769937734752 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18563] ppid=18542 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/18544/task/18563/stat : 18563 (java) S 18542 18542 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421036242 28904845312 10272 33554432000 4194304 4196468 140730779096896 139769936682032 139772125690498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42540 KiB

[startup+0.310378 s]*
/proc/loadavg: 4.74 4.92 4.02 4/211 18563
/proc/meminfo: memFree=25757608/32770624 swapFree=67002288/67108860
[pid=18542] ppid=18539 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18542/stat : 18542 (xcsp3-exec) S 18539 18542 14480 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421036236 115843072 363 33554432000 4194304 5098028 140731301748592 140731301746696 140029309551228 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37212160 140731301757813 140731301758057 140731301758057 140731301760970 0
/proc/18542/statm: 28282 363 304 221 0 87 0
[pid=18544] ppid=18542 vsize=28231644 memory=50092 CPUtime=0.53 cores=0-7
/proc/18544/stat : 18544 (java) S 18542 18542 14480 0 -1 1077944320 10888 0 0 0 48 5 0 0 20 0 20 0 421036236 28909203456 12523 33554432000 4194304 4196468 140730779096896 140730779079440 139772125679351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
/proc/18544/statm: 7057911 12523 3348 1 0 7019032 0
[pid=18544/tid=18545] ppid=18542 vsize=28231644 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18544/task/18545/stat : 18545 (java) R 18542 18542 14480 0 -1 4202560 7795 0 0 0 26 3 0 0 20 0 20 0 421036237 28909203456 12523 33554432000 4194304 4196468 140730779096896 139772129912488 139772109759838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18546] ppid=18542 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18546/stat : 18546 (java) S 18542 18542 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421036237 28909203456 12523 33554432000 4194304 4196468 140730779096896 139772078300304 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18547] ppid=18542 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18547/stat : 18547 (java) S 18542 18542 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421036237 28909203456 12523 33554432000 4194304 4196468 140730779096896 139772077247504 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18548] ppid=18542 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18548/stat : 18548 (java) S 18542 18542 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421036237 28909203456 12523 33554432000 4194304 4196468 140730779096896 139772076194704 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18549] ppid=18542 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18549/stat : 18549 (java) S 18542 18542 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421036237 28909203456 12523 33554432000 4194304 4196468 140730779096896 139772075141904 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18550] ppid=18542 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/18544/task/18550/stat : 18550 (java) S 18542 18542 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421036237 28909203456 12523 33554432000 4194304 4196468 140730779096896 139772074089104 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18551] ppid=18542 vsize=28231644 memory=140013182481327 CPUtime=0 cores=0-7
/proc/18544/task/18551/stat : 18551 (java) S 18542 18542 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421036237 28909203456 12523 33554432000 4194304 4196468 140730779096896 139772073036304 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18552] ppid=18542 vsize=28231644 memory=140013182483632 CPUtime=0 cores=0-7
/proc/18544/task/18552/stat : 18552 (java) S 18542 18542 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421036237 28909203456 12523 33554432000 4194304 4196468 140730779096896 139772071983504 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18553] ppid=18542 vsize=28231644 memory=140013182485936 CPUtime=0 cores=0-7
/proc/18544/task/18553/stat : 18553 (java) S 18542 18542 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421036237 28909203456 12523 33554432000 4194304 4196468 140730779096896 139772070930704 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18554] ppid=18542 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18554/stat : 18554 (java) S 18542 18542 14480 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421036239 28909203456 12523 33554432000 4194304 4196468 140730779096896 139770254130032 139772125690498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18555] ppid=18542 vsize=28231644 memory=280026364978832 CPUtime=0 cores=0-7
/proc/18544/task/18555/stat : 18555 (java) S 18542 18542 14480 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421036239 28909203456 12523 33554432000 4194304 4196468 140730779096896 139770253076000 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18556] ppid=18542 vsize=28231644 memory=280026364985744 CPUtime=0 cores=0-7
/proc/18544/task/18556/stat : 18556 (java) S 18542 18542 14480 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421036240 28909203456 12523 33554432000 4194304 4196468 140730779096896 139770252023152 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18557] ppid=18542 vsize=28231644 memory=280026364927024 CPUtime=0 cores=0-7
/proc/18544/task/18557/stat : 18557 (java) S 18542 18542 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421036242 28909203456 12523 33554432000 4194304 4196468 140730779096896 139770250971472 139772125697947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18558] ppid=18542 vsize=28231644 memory=280026364999568 CPUtime=0.03 cores=0-7
/proc/18544/task/18558/stat : 18558 (java) R 18542 18542 14480 0 -1 4202560 582 0 0 0 3 0 0 0 20 0 20 0 421036242 28909203456 12523 33554432000 4194304 4196468 140730779096896 139770249899848 139772105372455 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18559] ppid=18542 vsize=28231644 memory=280026365006480 CPUtime=0.02 cores=0-7
/proc/18544/task/18559/stat : 18559 (java) S 18542 18542 14480 0 -1 1077944384 148 0 0 0 2 0 0 0 20 0 20 0 421036242 28909203456 12523 33554432000 4194304 4196468 140730779096896 139769940891888 139772125690498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18560] ppid=18542 vsize=28231644 memory=280026365004176 CPUtime=0.02 cores=0-7
/proc/18544/task/18560/stat : 18560 (java) S 18542 18542 14480 0 -1 1077944384 175 0 0 0 2 0 0 0 20 0 20 0 421036242 28909203456 12523 33554432000 4194304 4196468 140730779096896 139769939839088 139772125690498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18561] ppid=18542 vsize=28231644 memory=280026365020336 CPUtime=0.12 cores=0-7
/proc/18544/task/18561/stat : 18561 (java) S 18542 18542 14480 0 -1 1077944384 877 0 0 0 12 0 0 0 20 0 20 0 421036242 28909203456 12523 33554432000 4194304 4196468 140730779096896 139769938786288 139772125690498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18562] ppid=18542 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18562/stat : 18562 (java) S 18542 18542 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421036242 28909203456 12523 33554432000 4194304 4196468 140730779096896 139769937734752 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18563] ppid=18542 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/18544/task/18563/stat : 18563 (java) S 18542 18542 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421036242 28909203456 12523 33554432000 4194304 4196468 140730779096896 139769936682032 139772125690498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51544 KiB

[startup+0.700951 s]
/proc/loadavg: 4.74 4.92 4.02 6/211 18563
/proc/meminfo: memFree=25734492/32770624 swapFree=67002288/67108860
[pid=18542] ppid=18539 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18542/stat : 18542 (xcsp3-exec) S 18539 18542 14480 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421036236 115843072 363 33554432000 4194304 5098028 140731301748592 140731301746696 140029309551228 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37212160 140731301757813 140731301758057 140731301758057 140731301760970 0
/proc/18542/statm: 28282 363 304 221 0 87 0
[pid=18544] ppid=18542 vsize=28233768 memory=96308 CPUtime=1.98 cores=0-7
/proc/18544/stat : 18544 (java) S 18542 18542 14480 0 -1 1077944320 17280 0 0 0 191 7 0 0 20 0 20 0 421036236 28911378432 24077 33554432000 4194304 4196468 140730779096896 140730779079440 139772125679351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
/proc/18544/statm: 7058442 24077 3449 1 0 7019544 0
[pid=18544/tid=18545] ppid=18542 vsize=28233768 memory=280026365378224 CPUtime=0.67 cores=0-7
/proc/18544/task/18545/stat : 18545 (java) R 18542 18542 14480 0 -1 4202560 9292 0 0 0 63 4 0 0 20 0 20 0 421036237 28911378432 24077 33554432000 4194304 4196468 140730779096896 139772129891648 139772109759838 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18546] ppid=18542 vsize=28233768 memory=140013182690160 CPUtime=0 cores=0-7
/proc/18544/task/18546/stat : 18546 (java) S 18542 18542 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421036237 28911378432 24077 33554432000 4194304 4196468 140730779096896 139772078300304 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18547] ppid=18542 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/18544/task/18547/stat : 18547 (java) S 18542 18542 14480 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421036237 28911378432 24077 33554432000 4194304 4196468 140730779096896 139772077247504 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18548] ppid=18542 vsize=28233768 memory=1056 CPUtime=0 cores=0-7
/proc/18544/task/18548/stat : 18548 (java) S 18542 18542 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421036237 28911378432 24077 33554432000 4194304 4196468 140730779096896 139772076194704 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0

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

[pid=18544/tid=22183] ppid=18542 vsize=28769356 memory=2002288 CPUtime=1427.05 cores=0-7
/proc/18544/task/22183/stat : 22183 (java) R 18542 18542 14480 0 -1 4202560 17981 0 0 0 142688 17 0 0 20 0 28 0 421136451 29459820544 496981 33554432000 4194304 4196468 140730779096896 139769923505920 139771748501653 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
Current children cumulated CPU time: 19104.2 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 1989376 KiB

[startup+2502.3 s]
/proc/loadavg: 8.68 8.50 8.03 9/219 22291
/proc/meminfo: memFree=23858200/32770624 swapFree=67002292/67108860
[pid=18542] ppid=18539 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18542/stat : 18542 (xcsp3-exec) S 18539 18542 14480 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421036236 115843072 363 33554432000 4194304 5098028 140731301748592 140731301746696 140029309551228 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37212160 140731301757813 140731301758057 140731301758057 140731301760970 0
/proc/18542/statm: 28282 363 304 221 0 87 0
[pid=18544] ppid=18542 vsize=28769356 memory=1943808 CPUtime=19582.8 cores=0-7
/proc/18544/stat : 18544 (java) S 18542 18542 14480 0 -1 1077944320 1028316 0 0 0 1956694 1586 0 0 20 0 28 0 421036236 29459820544 485952 33554432000 4194304 4196468 140730779096896 140730779079440 139772125679351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
/proc/18544/statm: 7192339 485952 3565 1 0 7153441 0
[pid=18544/tid=18545] ppid=18542 vsize=28769356 memory=1943808 CPUtime=7.79 cores=0-7
/proc/18544/task/18545/stat : 18545 (java) S 18542 18542 14480 0 -1 1077944384 19527 0 0 0 756 23 0 0 20 0 28 0 421036237 29459820544 485952 33554432000 4194304 4196468 140730779096896 139772129920064 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18546] ppid=18542 vsize=28769356 memory=1954068 CPUtime=7.7 cores=0-7
/proc/18544/task/18546/stat : 18546 (java) S 18542 18542 14480 0 -1 1077944384 12173 0 0 0 690 80 0 0 20 0 28 0 421036237 29459820544 485952 33554432000 4194304 4196468 140730779096896 139772078300304 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18547] ppid=18542 vsize=28769356 memory=2584548 CPUtime=7.78 cores=0-7
/proc/18544/task/18547/stat : 18547 (java) S 18542 18542 14480 0 -1 1077944384 15349 0 0 0 693 85 0 0 20 0 28 0 421036237 29459820544 485952 33554432000 4194304 4196468 140730779096896 139772077247504 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18548] ppid=18542 vsize=28769356 memory=2299280 CPUtime=7.74 cores=0-7
/proc/18544/task/18548/stat : 18548 (java) S 18542 18542 14480 0 -1 1077944384 11765 0 0 0 693 81 0 0 20 0 28 0 421036237 29459820544 485952 33554432000 4194304 4196468 140730779096896 139772076194704 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18549] ppid=18542 vsize=28769356 memory=2252412 CPUtime=7.76 cores=0-7
/proc/18544/task/18549/stat : 18549 (java) S 18542 18542 14480 0 -1 1077944384 11182 0 0 0 692 84 0 0 20 0 28 0 421036237 29459820544 485952 33554432000 4194304 4196468 140730779096896 139772075141904 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18550] ppid=18542 vsize=28769356 memory=2175660 CPUtime=7.77 cores=0-7
/proc/18544/task/18550/stat : 18550 (java) S 18542 18542 14480 0 -1 1077944384 11917 0 0 0 696 81 0 0 20 0 28 0 421036237 29459820544 485952 33554432000 4194304 4196468 140730779096896 139772074089104 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18551] ppid=18542 vsize=28769356 memory=2015628 CPUtime=7.8 cores=0-7
/proc/18544/task/18551/stat : 18551 (java) S 18542 18542 14480 0 -1 1077944384 12392 0 0 0 703 77 0 0 20 0 28 0 421036237 29459820544 485952 33554432000 4194304 4196468 140730779096896 139772073036304 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18552] ppid=18542 vsize=28769356 memory=1452 CPUtime=7.73 cores=0-7
/proc/18544/task/18552/stat : 18552 (java) S 18542 18542 14480 0 -1 1077944384 12983 0 0 0 694 79 0 0 20 0 28 0 421036237 29459820544 485952 33554432000 4194304 4196468 140730779096896 139772071983504 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18553] ppid=18542 vsize=28769356 memory=1987924 CPUtime=7.69 cores=0-7
/proc/18544/task/18553/stat : 18553 (java) S 18542 18542 14480 0 -1 1077944384 10066 0 0 0 690 79 0 0 20 0 28 0 421036237 29459820544 485952 33554432000 4194304 4196468 140730779096896 139772070930704 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18554] ppid=18542 vsize=28769356 memory=1976640 CPUtime=0.42 cores=0-7
/proc/18544/task/18554/stat : 18554 (java) S 18542 18542 14480 0 -1 1077944384 26100 0 0 0 33 9 0 0 20 0 28 0 421036239 29459820544 485952 33554432000 4194304 4196468 140730779096896 139770254130032 139772125690498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18555] ppid=18542 vsize=28769356 memory=1954068 CPUtime=0 cores=0-7
/proc/18544/task/18555/stat : 18555 (java) S 18542 18542 14480 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 421036239 29459820544 485952 33554432000 4194304 4196468 140730779096896 139770253076128 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18556] ppid=18542 vsize=28769356 memory=1452 CPUtime=0 cores=0-7
/proc/18544/task/18556/stat : 18556 (java) S 18542 18542 14480 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 421036240 29459820544 485952 33554432000 4194304 4196468 140730779096896 139770252023168 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18557] ppid=18542 vsize=28769356 memory=1943808 CPUtime=0 cores=0-7
/proc/18544/task/18557/stat : 18557 (java) S 18542 18542 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421036242 29459820544 485952 33554432000 4194304 4196468 140730779096896 139770250971472 139772125697947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18558] ppid=18542 vsize=28769356 memory=1943808 CPUtime=5.94 cores=0-7
/proc/18544/task/18558/stat : 18558 (java) S 18542 18542 14480 0 -1 1077944384 46690 0 0 0 587 7 0 0 20 0 28 0 421036242 29459820544 485952 33554432000 4194304 4196468 140730779096896 139770249918832 139772125690498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18559] ppid=18542 vsize=28769356 memory=1452 CPUtime=6.01 cores=0-7
/proc/18544/task/18559/stat : 18559 (java) S 18542 18542 14480 0 -1 1077944384 43826 0 0 0 595 6 0 0 20 0 28 0 421036242 29459820544 485952 33554432000 4194304 4196468 140730779096896 139769940891888 139772125690498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18560] ppid=18542 vsize=28769356 memory=0 CPUtime=6.88 cores=0-7
/proc/18544/task/18560/stat : 18560 (java) S 18542 18542 14480 0 -1 1077944384 61200 0 0 0 681 7 0 0 20 0 28 0 421036242 29459820544 485952 33554432000 4194304 4196468 140730779096896 139769939839088 139772125690498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18561] ppid=18542 vsize=28769356 memory=280026367384536 CPUtime=1.59 cores=0-7
/proc/18544/task/18561/stat : 18561 (java) S 18542 18542 14480 0 -1 1077944384 41061 0 0 0 152 7 0 0 20 0 28 0 421036242 29459820544 485952 33554432000 4194304 4196468 140730779096896 139769938786288 139772125690498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18562] ppid=18542 vsize=28769356 memory=1452 CPUtime=0 cores=0-7
/proc/18544/task/18562/stat : 18562 (java) S 18542 18542 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421036242 29459820544 485952 33554432000 4194304 4196468 140730779096896 139769937734752 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18563] ppid=18542 vsize=28769356 memory=40344 CPUtime=1.04 cores=0-7
/proc/18544/task/18563/stat : 18563 (java) S 18542 18542 14480 0 -1 1077944384 6712 0 0 0 52 52 0 0 20 0 28 0 421036242 29459820544 485952 33554432000 4194304 4196468 140730779096896 139769936682032 139772125690498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=22176] ppid=18542 vsize=28769356 memory=988 CPUtime=1489.81 cores=0-7
/proc/18544/task/22176/stat : 22176 (java) R 18542 18542 14480 0 -1 4202560 8252 0 0 0 148969 12 0 0 20 0 28 0 421136451 29459820544 485952 33554432000 4194304 4196468 140730779096896 139769917189528 139771743107033 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=22177] ppid=18542 vsize=28769356 memory=1452 CPUtime=1494.2 cores=0-7
/proc/18544/task/22177/stat : 22177 (java) R 18542 18542 14480 0 -1 4202560 8487 0 0 0 149404 16 0 0 20 0 28 0 421136451 29459820544 485952 33554432000 4194304 4196468 140730779096896 139769922453752 139771743107156 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=22178] ppid=18542 vsize=28769356 memory=1943808 CPUtime=1495.55 cores=0-7
/proc/18544/task/22178/stat : 22178 (java) R 18542 18542 14480 0 -1 4202560 58887 0 0 0 149504 51 0 0 20 0 28 0 421136451 29459820544 485952 33554432000 4194304 4196468 140730779096896 139769924558872 139771751625961 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=22179] ppid=18542 vsize=28769356 memory=796 CPUtime=1491.79 cores=0-7
/proc/18544/task/22179/stat : 22179 (java) R 18542 18542 14480 0 -1 4202560 17620 0 0 0 149146 33 0 0 20 0 28 0 421136451 29459820544 485952 33554432000 4194304 4196468 140730779096896 139769919298432 139771751625670 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=22180] ppid=18542 vsize=28769356 memory=1808 CPUtime=1490.35 cores=0-7
/proc/18544/task/22180/stat : 22180 (java) R 18542 18542 14480 0 -1 4202560 7724 0 0 0 149023 12 0 0 20 0 28 0 421136451 29459820544 485952 33554432000 4194304 4196468 140730779096896 139769918242432 139771746617280 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=22181] ppid=18542 vsize=28769356 memory=1452 CPUtime=1487.96 cores=0-7
/proc/18544/task/22181/stat : 22181 (java) R 18542 18542 14480 0 -1 4202560 7029 0 0 0 148784 12 0 0 20 0 28 0 421136451 29459820544 485952 33554432000 4194304 4196468 140730779096896 139769921400312 139771746617280 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=22182] ppid=18542 vsize=28769356 memory=1452 CPUtime=1495.52 cores=0-7
/proc/18544/task/22182/stat : 22182 (java) R 18542 18542 14480 0 -1 4202560 6877 0 0 0 149542 10 0 0 20 0 28 0 421136451 29459820544 485952 33554432000 4194304 4196468 140730779096896 139769920348616 139771751625839 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=22183] ppid=18542 vsize=28769356 memory=1954068 CPUtime=1486.97 cores=0-7
/proc/18544/task/22183/stat : 22183 (java) R 18542 18542 14480 0 -1 4202560 18136 0 0 0 148680 17 0 0 20 0 28 0 421136451 29459820544 485952 33554432000 4194304 4196468 140730779096896 139769923506680 139771746712912 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
Current children cumulated CPU time: 19582.8 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 1945260 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.90 8.56 8.06 9/219 22293
/proc/meminfo: memFree=23864640/32770624 swapFree=67002292/67108860
[pid=18542] ppid=18539 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18542/stat : 18542 (xcsp3-exec) S 18539 18542 14480 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421036236 115843072 363 33554432000 4194304 5098028 140731301748592 140731301746696 140029309551228 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37212160 140731301757813 140731301758057 140731301758057 140731301760970 0
/proc/18542/statm: 28282 363 304 221 0 87 0
[pid=18544] ppid=18542 vsize=28769356 memory=1936624 CPUtime=19724.1 cores=0-7
/proc/18544/stat : 18544 (java) S 18542 18542 14480 0 -1 1077944320 1028508 0 0 0 1970820 1587 0 0 20 0 28 0 421036236 29459820544 484156 33554432000 4194304 4196468 140730779096896 140730779079440 139772125679351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
/proc/18544/statm: 7192339 484156 3565 1 0 7153441 0
[pid=18544/tid=18545] ppid=18542 vsize=28769356 memory=6791534058613427641 CPUtime=7.79 cores=0-7
/proc/18544/task/18545/stat : 18545 (java) S 18542 18542 14480 0 -1 1077944384 19527 0 0 0 756 23 0 0 20 0 28 0 421036237 29459820544 484156 33554432000 4194304 4196468 140730779096896 139772129920064 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18546] ppid=18542 vsize=28769356 memory=1808 CPUtime=7.71 cores=0-7
/proc/18544/task/18546/stat : 18546 (java) S 18542 18542 14480 0 -1 1077944384 12175 0 0 0 691 80 0 0 20 0 28 0 421036237 29459820544 484156 33554432000 4194304 4196468 140730779096896 139772078300304 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18547] ppid=18542 vsize=28769356 memory=920 CPUtime=7.79 cores=0-7
/proc/18544/task/18547/stat : 18547 (java) S 18542 18542 14480 0 -1 1077944384 15349 0 0 0 694 85 0 0 20 0 28 0 421036237 29459820544 484156 33554432000 4194304 4196468 140730779096896 139772077247504 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18548] ppid=18542 vsize=28769356 memory=4792 CPUtime=7.76 cores=0-7
/proc/18544/task/18548/stat : 18548 (java) S 18542 18542 14480 0 -1 1077944384 11765 0 0 0 695 81 0 0 20 0 28 0 421036237 29459820544 484156 33554432000 4194304 4196468 140730779096896 139772076194704 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18549] ppid=18542 vsize=28769356 memory=4126316290023845779 CPUtime=7.78 cores=0-7
/proc/18544/task/18549/stat : 18549 (java) S 18542 18542 14480 0 -1 1077944384 11184 0 0 0 694 84 0 0 20 0 28 0 421036237 29459820544 484156 33554432000 4194304 4196468 140730779096896 139772075141904 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18550] ppid=18542 vsize=28769356 memory=932 CPUtime=7.78 cores=0-7
/proc/18544/task/18550/stat : 18550 (java) S 18542 18542 14480 0 -1 1077944384 11917 0 0 0 697 81 0 0 20 0 28 0 421036237 29459820544 484156 33554432000 4194304 4196468 140730779096896 139772074089104 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18551] ppid=18542 vsize=28769356 memory=1768 CPUtime=7.82 cores=0-7
/proc/18544/task/18551/stat : 18551 (java) S 18542 18542 14480 0 -1 1077944384 12394 0 0 0 705 77 0 0 20 0 28 0 421036237 29459820544 484156 33554432000 4194304 4196468 140730779096896 139772073036304 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18552] ppid=18542 vsize=28769356 memory=1656 CPUtime=7.75 cores=0-7
/proc/18544/task/18552/stat : 18552 (java) S 18542 18542 14480 0 -1 1077944384 12984 0 0 0 696 79 0 0 20 0 28 0 421036237 29459820544 484156 33554432000 4194304 4196468 140730779096896 139772071983504 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18553] ppid=18542 vsize=28769356 memory=804 CPUtime=7.71 cores=0-7
/proc/18544/task/18553/stat : 18553 (java) S 18542 18542 14480 0 -1 1077944384 10066 0 0 0 692 79 0 0 20 0 28 0 421036237 29459820544 484156 33554432000 4194304 4196468 140730779096896 139772070930704 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18554] ppid=18542 vsize=28769356 memory=1448 CPUtime=0.43 cores=0-7
/proc/18544/task/18554/stat : 18554 (java) S 18542 18542 14480 0 -1 1077944384 26100 0 0 0 34 9 0 0 20 0 28 0 421036239 29459820544 484156 33554432000 4194304 4196468 140730779096896 139770254130032 139772125690498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18555] ppid=18542 vsize=28769356 memory=1980 CPUtime=0 cores=0-7
/proc/18544/task/18555/stat : 18555 (java) S 18542 18542 14480 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 421036239 29459820544 484156 33554432000 4194304 4196468 140730779096896 139770253076128 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18556] ppid=18542 vsize=28769356 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/18544/task/18556/stat : 18556 (java) S 18542 18542 14480 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 421036240 29459820544 484156 33554432000 4194304 4196468 140730779096896 139770252023168 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18557] ppid=18542 vsize=28769356 memory=988 CPUtime=0 cores=0-7
/proc/18544/task/18557/stat : 18557 (java) S 18542 18542 14480 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421036242 29459820544 484156 33554432000 4194304 4196468 140730779096896 139770250971472 139772125697947 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18558] ppid=18542 vsize=28769356 memory=2024 CPUtime=5.94 cores=0-7
/proc/18544/task/18558/stat : 18558 (java) S 18542 18542 14480 0 -1 1077944384 46690 0 0 0 587 7 0 0 20 0 28 0 421036242 29459820544 484156 33554432000 4194304 4196468 140730779096896 139770249918832 139772125690498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18559] ppid=18542 vsize=28769356 memory=1428 CPUtime=6.01 cores=0-7
/proc/18544/task/18559/stat : 18559 (java) S 18542 18542 14480 0 -1 1077944384 43826 0 0 0 595 6 0 0 20 0 28 0 421036242 29459820544 484156 33554432000 4194304 4196468 140730779096896 139769940891888 139772125690498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18560] ppid=18542 vsize=28769356 memory=3616 CPUtime=6.88 cores=0-7
/proc/18544/task/18560/stat : 18560 (java) S 18542 18542 14480 0 -1 1077944384 61200 0 0 0 681 7 0 0 20 0 28 0 421036242 29459820544 484156 33554432000 4194304 4196468 140730779096896 139769939839088 139772125690498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18561] ppid=18542 vsize=28769356 memory=40344 CPUtime=1.59 cores=0-7
/proc/18544/task/18561/stat : 18561 (java) S 18542 18542 14480 0 -1 1077944384 41061 0 0 0 152 7 0 0 20 0 28 0 421036242 29459820544 484156 33554432000 4194304 4196468 140730779096896 139769938786288 139772125690498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18562] ppid=18542 vsize=28769356 memory=988 CPUtime=0 cores=0-7
/proc/18544/task/18562/stat : 18562 (java) S 18542 18542 14480 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421036242 29459820544 484156 33554432000 4194304 4196468 140730779096896 139769937734752 139772125689557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=18563] ppid=18542 vsize=28769356 memory=40344 CPUtime=1.04 cores=0-7
/proc/18544/task/18563/stat : 18563 (java) S 18542 18542 14480 0 -1 1077944384 6714 0 0 0 52 52 0 0 20 0 28 0 421036242 29459820544 484156 33554432000 4194304 4196468 140730779096896 139769936682032 139772125690498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=22176] ppid=18542 vsize=28769356 memory=3616 CPUtime=1507.51 cores=0-7
/proc/18544/task/22176/stat : 22176 (java) R 18542 18542 14480 0 -1 4202560 8253 0 0 0 150739 12 0 0 20 0 28 0 421136451 29459820544 484156 33554432000 4194304 4196468 140730779096896 139769917189280 139771743107200 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=22177] ppid=18542 vsize=28769356 memory=40344 CPUtime=1511.89 cores=0-7
/proc/18544/task/22177/stat : 22177 (java) R 18542 18542 14480 0 -1 4202560 8487 0 0 0 151173 16 0 0 20 0 28 0 421136451 29459820544 484156 33554432000 4194304 4196468 140730779096896 139769922456736 139771743106901 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=22178] ppid=18542 vsize=28769356 memory=988 CPUtime=1513.24 cores=0-7
/proc/18544/task/22178/stat : 22178 (java) R 18542 18542 14480 0 -1 4202560 58994 0 0 0 151272 52 0 0 20 0 28 0 421136451 29459820544 484156 33554432000 4194304 4196468 140730779096896 139769924558968 139771746996712 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=22179] ppid=18542 vsize=28769356 memory=2024 CPUtime=1509.32 cores=0-7
/proc/18544/task/22179/stat : 22179 (java) R 18542 18542 14480 0 -1 4202560 17678 0 0 0 150898 34 0 0 20 0 28 0 421136451 29459820544 484156 33554432000 4194304 4196468 140730779096896 139769919295480 139771745115726 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=22180] ppid=18542 vsize=28769356 memory=6791534058613427641 CPUtime=1508.04 cores=0-7
/proc/18544/task/22180/stat : 22180 (java) R 18542 18542 14480 0 -1 4202560 7731 0 0 0 150792 12 0 0 20 0 28 0 421136451 29459820544 484156 33554432000 4194304 4196468 140730779096896 139769918242680 139771743106837 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=22181] ppid=18542 vsize=28769356 memory=6791534058613427641 CPUtime=1505.64 cores=0-7
/proc/18544/task/22181/stat : 22181 (java) R 18542 18542 14480 0 -1 4202560 7030 0 0 0 150552 12 0 0 20 0 28 0 421136451 29459820544 484156 33554432000 4194304 4196468 140730779096896 139769921400520 139771745115726 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=22182] ppid=18542 vsize=28769356 memory=2812 CPUtime=1513.22 cores=0-7
/proc/18544/task/22182/stat : 22182 (java) R 18542 18542 14480 0 -1 4202560 6881 0 0 0 151312 10 0 0 20 0 28 0 421136451 29459820544 484156 33554432000 4194304 4196468 140730779096896 139769920348744 139771751625403 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
[pid=18544/tid=22183] ppid=18542 vsize=28769356 memory=1764 CPUtime=1504.46 cores=0-7
/proc/18544/task/22183/stat : 22183 (java) R 18542 18542 14480 0 -1 4202560 18141 0 0 0 150429 17 0 0 20 0 28 0 421136451 29459820544 484156 33554432000 4194304 4196468 140730779096896 139769923506680 139771745115726 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 37662720 140730779104234 140730779104406 140730779104406 140730779107279 0
Current children cumulated CPU time: 19724.1 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 1938076 KiB

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

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

[startup+2520.1 s]
# the end of solver process 18544 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19708.8 s, system=15.8832 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.1
CPU time (s): 19724.7
CPU user time (s): 19708.8
CPU system time (s): 15.8832
CPU usage (%): 782.696
Max. virtual memory (cumulated for all children) (KiB): 28882484
Max. memory (cumulated for all children) (KiB): 3735440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19708.8
system time used= 15.8832
maximum resident set size= 3741744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1029425
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 101327
involuntary context switches= 231227


# summary of solver processes directly reported to runsolver:
#   pid: 18542,18544
#   total CPU time (s): 19724.7
#   total CPU user time (s): 19708.8
#   total CPU system time (s): 15.8832

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.242 second user time and 31.1616 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-14 09:57:12
IDJOB=4393991
IDBENCH=141204
IDSOLVER=2841
FILE ID=node136/4393991-1568447876
RUNJOBID= node136-1568439334-14507
PBS_JOBID= 21702333
Free space on /tmp= 61168 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-05-opt_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393991-1568447876/watcher-4393991-1568447876 -o /tmp/evaluation-result-4393991-1568447876/solver-4393991-1568447876 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568439334-14507 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1138416126 HOME/instance-4393991-1568447876.xml

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

MD5SUM BENCH= d0ab6aee5f30ff70d66f863e0e3556a1
RANDOM SEED=1138416126

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25794120 kB
MemAvailable:   31888612 kB
Buffers:           87984 kB
Cached:          6282132 kB
SwapCached:         3908 kB
Active:          2065376 kB
Inactive:        4315652 kB
Active(anon):       6440 kB
Inactive(anon):    44780 kB
Active(file):    2058936 kB
Inactive(file):  4270872 kB
Unevictable:      106576 kB
Mlocked:          106576 kB
SwapTotal:      67108860 kB
SwapFree:       67002288 kB
Dirty:             26012 kB
Writeback:             0 kB
AnonPages:        327864 kB
Mapped:            44684 kB
Shmem:             31948 kB
Slab:             190604 kB
SReclaimable:     161040 kB
SUnreclaim:        29564 kB
KernelStack:        3872 kB
PageTables:         5796 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     499896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    280576 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= 61140 MiB
End job on node136 at 2019-09-14 10:39:12