Trace number 4394591

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 19803.1 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.58451
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-4394591-1568447903.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4394591-1568447903.xml, -tl, 20160s, -p, 8]
0.34/0.23	c 8 solvers in parallel
0.34/0.29	c parse instance...
19.39/7.99	c solve instance...
25.10/8.96	o 148863 
25.10/8.98	o 147962 
26.28/9.12	o 147862 
26.28/9.14	o 147762 
26.28/9.16	o 147761 
26.28/9.19	o 146862 
26.58/9.22	o 145961 
26.58/9.24	o 145861 
26.58/9.25	o 145761 
26.58/9.28	o 145732 
26.99/9.31	o 145731 
27.54/9.57	o 145640 
29.10/10.86	o 145620 
29.25/10.95	o 144960 
29.25/10.98	o 144931 
29.48/11.01	o 144930 
29.48/11.04	o 144839 
29.76/11.22	o 144819 
29.76/11.24	o 144760 
29.76/11.28	o 144731 
30.80/11.41	o 144730 
30.80/11.43	o 144639 
30.80/11.47	o 144619 
31.03/11.51	o 144596 
31.03/11.54	o 144567 
31.03/11.57	o 144503 
31.23/11.60	o 144483 
31.23/11.62	o 144414 
31.23/11.64	o 144393 
31.23/11.69	o 144373 
31.50/11.73	o 144363 
31.99/11.83	o 144353 
31.99/11.86	o 144352 
31.99/11.89	o 144342 
32.51/12.07	o 143747 
32.51/12.08	o 143647 
32.51/12.09	o 143547 
32.77/12.11	o 143528 
32.77/12.14	o 143518 
32.77/12.15	o 143517 
32.77/12.16	o 143427 
32.77/12.17	o 143426 
32.77/12.18	o 143406 
32.77/12.19	o 143383 
33.82/12.32	o 143364 
33.82/12.35	o 143354 
33.82/12.38	o 143290 
33.82/12.39	o 143270 
34.14/12.42	o 143201 
34.14/12.45	o 143180 
34.14/12.47	o 143160 
34.39/12.50	o 143150 
34.39/12.51	o 143140 
34.39/12.54	o 143111 
34.39/12.55	o 143090 
34.39/12.55	o 143070 
34.39/12.56	o 143060 
34.39/12.57	o 143050 
34.73/12.61	o 142956 
34.73/12.62	o 142332 
34.96/12.75	o 142311 
34.96/12.76	o 142301 
34.96/12.76	o 142291 
34.96/12.77	o 142290 
34.96/12.79	o 142270 
35.31/12.81	o 142260 
36.82/14.05	o 142250 
37.00/14.11	o 142249 
37.00/14.14	o 141946 
37.00/14.17	o 141846 
37.00/14.18	o 141746 
37.31/14.20	o 141727 
37.31/14.21	o 141717 
37.31/14.22	o 141716 
37.31/14.25	o 141626 
47.73/15.62	o 141625 
47.73/15.62	o 141605 
47.73/15.68	o 141583 
47.95/15.70	o 141483 
47.95/15.73	o 141464 
47.95/15.75	o 141454 
47.95/15.76	o 141390 
47.95/15.77	o 141370 
47.95/15.79	o 141301 
48.21/15.80	o 141280 
48.21/15.82	o 141260 
48.21/15.87	o 141250 
48.21/15.88	o 141240 
48.49/15.93	o 140648 
48.49/15.94	o 140548 
48.49/15.95	o 140448 
48.49/15.99	o 140419 
48.80/16.03	o 140418 
48.80/16.04	o 140327 
48.80/16.05	o 140307 
48.80/16.07	o 139647 
48.80/16.09	o 139618 
48.80/16.10	o 139617 
48.80/16.11	o 139526 
49.06/16.12	o 139506 
49.06/16.13	o 139447 
49.06/16.15	o 139418 
49.06/16.19	o 139417 
49.29/16.22	o 139326 
49.29/16.23	o 139306 
49.29/16.26	o 139284 
49.55/16.34	o 139255 
49.73/16.43	o 139202 
49.73/16.45	o 139181 
49.73/16.46	o 139161 
49.91/16.54	o 139151 
50.05/16.67	o 139141 
50.22/16.70	o 139140 
50.22/16.72	o 139130 
50.22/16.73	o 139115 
50.22/16.74	o 139114 
50.22/16.75	o 139094 
50.22/16.78	o 138434 
50.22/16.80	o 138340 
50.49/16.82	o 138314 
50.62/16.93	o 138313 
50.62/16.95	o 138293 
50.62/16.99	o 138234 
50.80/17.01	o 138215 
52.84/18.26	o 138205 
53.01/18.30	o 138204 
53.01/18.33	o 138114 
53.01/18.37	o 138113 
53.32/18.41	o 138093 
53.32/18.45	o 138071 
53.32/18.46	o 138052 
53.57/18.50	o 137989 
53.57/18.52	o 137968 
53.57/18.54	o 137948 
53.57/18.56	o 137938 
53.57/18.57	o 137928 
53.90/18.63	o 137903 
53.90/18.64	o 137902 
53.90/18.66	o 137882 
53.90/18.69	o 137803 
54.19/18.72	o 137802 
54.19/18.75	o 137782 
54.19/18.77	o 137123 
54.19/18.79	o 137104 
54.48/18.82	o 137094 
54.48/18.84	o 137093 
54.48/18.84	o 137003 
54.48/18.86	o 137002 
54.71/18.90	o 136982 
54.71/18.94	o 136923 
54.71/18.97	o 136904 
54.71/18.99	o 136894 
55.03/19.02	o 136893 
55.03/19.04	o 136803 
55.03/19.05	o 136802 
55.03/19.09	o 136782 
55.54/19.16	o 136123 
55.76/19.21	o 136104 
55.76/19.27	o 136094 
56.09/19.30	o 136093 
56.09/19.32	o 136003 
56.09/19.35	o 136002 
56.09/19.37	o 135982 
56.31/19.40	o 135923 
56.31/19.41	o 135904 
56.31/19.43	o 135894 
56.31/19.46	o 135893 
56.31/19.49	o 135803 
56.51/19.51	o 135802 
56.51/19.51	o 135782 
56.51/19.53	o 135123 
56.51/19.55	o 135023 
56.51/19.56	o 134923 
56.51/19.59	o 134904 
56.80/19.61	o 134894 
56.80/19.63	o 134893 
56.80/19.65	o 134803 
56.80/19.66	o 134802 
57.01/19.70	o 134782 
57.01/19.74	o 134223 
57.01/19.75	o 134123 
57.01/19.76	o 134023 
57.01/19.79	o 134004 
57.33/19.81	o 133994 
57.33/19.83	o 133993 
57.33/19.85	o 133903 
57.33/19.86	o 133902 
57.33/19.88	o 133882 
57.60/19.92	o 133226 
57.86/20.04	o 133222 
57.86/20.08	o 133122 
57.86/20.10	o 133022 
58.14/20.11	o 133003 
58.14/20.18	o 132993 
58.31/20.24	o 132992 
58.31/20.25	o 132902 
58.31/20.27	o 132901 
58.51/20.30	o 132881 
58.51/20.33	o 132866 
58.51/20.35	o 132846 
58.51/20.36	o 132777 
58.51/20.38	o 132756 
58.51/20.40	o 132736 
58.78/20.43	o 132726 
58.78/20.46	o 132716 
58.78/20.47	o 132657 
58.99/20.50	o 132616 
60.62/21.77	o 132101 
60.62/21.80	o 132001 
60.79/21.83	o 131901 
60.79/21.85	o 131882 
60.99/21.92	o 131872 
60.99/21.94	o 131871 
60.99/21.96	o 131781 
60.99/21.98	o 131780 
60.99/21.99	o 131760 
61.29/22.04	o 131750 
61.29/22.06	o 131748 
61.29/22.09	o 131737 
61.56/22.13	o 131725 
61.56/22.15	o 131656 
61.56/22.18	o 131635 
61.56/22.18	o 131615 
61.72/22.20	o 131605 
61.72/22.23	o 131546 
61.91/22.32	o 131505 
62.27/22.44	o 131496 
62.78/22.55	o 131495 
63.27/22.63	o 131091 
63.46/22.73	o 130991 
63.46/22.79	o 130891 
63.68/22.88	o 130872 
63.68/22.89	o 130862 
63.98/23.00	o 130861 
64.12/23.01	o 130771 
64.12/23.06	o 130770 
64.12/23.09	o 130750 
64.35/23.12	o 130749 
64.35/23.18	o 130738 
64.59/23.24	o 130727 
65.06/23.31	o 130715 
65.06/23.38	o 130646 
65.58/23.47	o 130625 
65.58/23.47	o 130605 
65.99/23.53	o 130595 
66.25/23.62	o 130536 
66.25/23.66	o 130495 
66.54/23.71	o 130491 
66.79/23.83	o 130487 
68.51/25.09	o 130213 
68.65/25.13	o 130113 
68.65/25.16	o 130013 
68.65/25.19	o 129994 
68.87/25.25	o 129984 
68.87/25.28	o 129983 
69.09/25.30	o 129893 
69.09/25.31	o 129892 
69.09/25.33	o 129872 
69.46/25.59	o 129857 
69.59/25.62	o 129837 
69.59/25.65	o 129768 
69.90/25.80	o 129747 
70.07/25.81	o 129727 
70.07/25.88	o 129717 
70.28/25.91	o 129707 
70.28/25.96	o 129648 
70.28/25.98	o 129607 
70.63/26.07	o 129092 
70.63/26.10	o 128992 
71.03/26.15	o 128892 
71.22/26.23	o 128873 
71.38/26.30	o 128863 
71.38/26.33	o 128862 
71.56/26.40	o 128772 
71.56/26.41	o 128771 
71.56/26.44	o 128751 
71.74/26.50	o 128741 
71.74/26.58	o 128739 
72.02/26.62	o 128728 
72.02/26.65	o 128716 
72.32/26.72	o 128647 
72.32/26.78	o 128626 
72.49/26.86	o 128606 
72.65/26.90	o 128596 
72.65/26.93	o 128537 
72.84/27.05	o 128496 
73.28/27.32	o 128486 
73.46/27.43	o 128485 
73.46/27.45	o 128475 
73.66/27.57	o 128474 
73.89/27.61	o 128415 
73.89/27.61	o 128374 
73.89/27.65	o 128364 
73.89/27.69	o 128354 
74.15/27.73	o 128295 
74.15/27.75	o 128254 
74.43/27.84	o 128203 
74.95/28.00	o 128082 
75.40/28.04	o 127982 
75.40/28.04	o 127882 
75.69/28.11	o 127863 
75.69/28.15	o 127853 
75.90/28.23	o 127852 
75.90/28.27	o 127762 
75.90/28.29	o 127761 
76.09/28.33	o 127741 
76.22/28.40	o 127740 
76.22/28.43	o 127729 
76.22/28.45	o 127718 
76.49/28.54	o 127706 
76.49/28.58	o 127637 
76.67/28.61	o 127616 
76.67/28.69	o 127596 
76.82/28.73	o 127586 
76.82/28.75	o 127527 
78.34/30.02	o 127486 
78.57/30.12	o 127476 
78.57/30.16	o 127475 
78.57/30.18	o 127465 
78.86/30.21	o 127464 
78.86/30.24	o 127405 
78.86/30.27	o 127364 
78.86/30.29	o 127354 
79.21/30.31	o 127344 
79.21/30.34	o 127285 
79.21/30.38	o 127244 
79.46/30.41	o 31540 
79.67/30.59	o 31521 
79.84/30.62	o 30521 
82.67/31.07	o 30439 
82.67/31.10	o 30420 
84.25/31.35	o 29750 
84.25/31.38	o 29650 
84.98/31.53	o 29631 
84.98/31.59	o 29549 
85.42/31.64	o 29449 
85.42/31.68	o 29430 
87.38/31.91	o 28559 
87.38/31.95	o 28459 
87.92/32.13	o 27550 
87.92/32.17	o 27450 
91.46/32.76	o 27431 
94.28/33.14	o 27430 
94.58/33.20	o 27330 
94.58/33.25	o 27311 
97.51/33.69	o 27241 
102.74/34.36	o 27222 
137.47/38.74	o 19236 
137.94/38.88	o 19226 
138.22/38.93	o 19216 
138.58/39.12	o 19116 
138.58/39.16	o 19016 
139.36/39.32	o 18936 
140.49/39.74	o 18726 
143.14/40.14	o 18626 
264.38/55.44	o 18539 
264.79/55.54	o 18439 
273.28/56.68	o 18339 
671.42/107.42	o 18011 
678.33/108.51	o 18001 
683.61/109.52	o 17921 
685.18/110.41	o 17911 
689.54/111.30	o 17821 
690.82/112.07	o 17811 
3474.00/461.12	o 10697 
3474.22/461.27	o 10597 
3474.58/461.44	o 10497 
3474.84/461.59	o 10397 
3476.46/462.68	o 10297 
3492.95/465.20	o 10206 
3493.43/465.39	o 10197 
4234.12/558.61	o 10196 
4234.58/558.79	o 10096 
4236.09/559.94	o 10087 
6023.86/784.28	o 8786 
6024.03/784.36	o 8686 
6024.44/784.53	o 8586 
6024.70/784.63	o 8486 
6025.16/784.80	o 8386 
6025.98/785.03	o 8376 
6028.12/785.39	o 8276 
6029.05/785.56	o 8266 
6076.63/791.85	o 8186 
6077.55/792.05	o 8176 
6130.60/798.79	o 8086 
6131.79/799.00	o 8076 
6133.33/799.36	o 8066 
6135.97/799.89	o 7986 
6137.02/800.10	o 7976 
6138.15/800.29	o 7966 
6305.76/821.37	o 7902 
6306.07/821.50	o 7890 
6307.64/821.95	o 7880 
6314.10/822.82	o 7876 
6407.85/834.66	o 7790 
6408.40/834.88	o 7778 
6424.03/836.92	o 7774 
6992.98/908.30	o 6731 
6994.21/909.46	o 6631 
6994.46/909.58	o 6531 
6994.67/909.65	o 6431 
6996.14/910.79	o 6331 
6996.62/910.91	o 6231 
7000.39/911.99	o 6141 
7011.46/913.53	o 6121 
7013.14/914.72	o 6021 
7015.91/915.92	o 5931 
7173.35/935.71	o 5852 
7173.73/935.81	o 5841 
7462.65/972.14	o 5793 
7465.70/972.66	o 5782 
7477.63/974.25	o 5753 
7478.29/974.41	o 5742 
7489.48/975.90	o 5693 
7491.73/976.36	o 5682 
7497.59/977.18	o 5653 
7499.56/977.50	o 5642 
19802.46/2520.07	s SATISFIABLE
19802.46/2520.07	v <instantiation>
19802.46/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>
19802.46/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>
19802.46/2520.07	v </instantiation>
19802.46/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 (15125 MiB free)
  memory of node 1: 16384 MiB (15591 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394591-1568447903/watcher-4394591-1568447903 -o /tmp/evaluation-result-4394591-1568447903/solver-4394591-1568447903 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568447413-16025 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1788226717 HOME/instance-4394591-1568447903.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=18112, runsolver pid=18109
Current StackSize limit: 8192 KiB


[startup+0.100114 s]*
/proc/loadavg: 7.69 7.05 7.39 2/212 18133
/proc/meminfo: memFree=31439284/32770624 swapFree=66982588/67108860
[pid=18112] ppid=18109 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18112/stat : 18112 (xcsp3-exec) S 18109 18112 15998 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421052971 115843072 364 33554432000 4194304 5098028 140735074015920 140735074014024 140251134644860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16920576 140735074022261 140735074022505 140735074022505 140735074025418 0
/proc/18112/statm: 28282 364 305 221 0 87 0
[pid=18114] ppid=18112 vsize=28227388 memory=27088 CPUtime=0.12 cores=0-7
/proc/18114/stat : 18114 (java) S 18112 18112 15998 0 -1 1077944320 5801 0 0 0 11 1 0 0 20 0 20 0 421052972 28904845312 6772 33554432000 4194304 4196468 140736673394576 140736673377120 139709678657271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
/proc/18114/statm: 7056847 6772 3118 1 0 7019032 0
[pid=18114/tid=18115] ppid=18112 vsize=28227388 memory=-2177352373413752899 CPUtime=0.08 cores=0-7
/proc/18114/task/18115/stat : 18115 (java) R 18112 18112 15998 0 -1 4202560 3658 0 0 0 8 0 0 0 20 0 20 0 421052972 28904845312 6838 33554432000 4194304 4196468 140736673394576 139709682890064 139709315994240 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18116] ppid=18112 vsize=28227388 memory=732370096843492325 CPUtime=0 cores=0-7
/proc/18114/task/18116/stat : 18116 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 6838 33554432000 4194304 4196468 140736673394576 139709650500496 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18117] ppid=18112 vsize=28227388 memory=139958506038912 CPUtime=0 cores=0-7
/proc/18114/task/18117/stat : 18117 (java) S 18112 18112 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 6838 33554432000 4194304 4196468 140736673394576 139709229075216 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18118] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18118/stat : 18118 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 6838 33554432000 4194304 4196468 140736673394576 139709228022928 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18119] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18119/stat : 18119 (java) S 18112 18112 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 6838 33554432000 4194304 4196468 140736673394576 139709226970128 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18120] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18120/stat : 18120 (java) S 18112 18112 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 6838 33554432000 4194304 4196468 140736673394576 139709225916816 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18121] ppid=18112 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/18114/task/18121/stat : 18121 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 6838 33554432000 4194304 4196468 140736673394576 139709224864016 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18122] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18122/stat : 18122 (java) S 18112 18112 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 6838 33554432000 4194304 4196468 140736673394576 139709223811728 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18123] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18123/stat : 18123 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 6838 33554432000 4194304 4196468 140736673394576 139709222758928 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18124] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18124/stat : 18124 (java) S 18112 18112 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421052974 28904845312 6838 33554432000 4194304 4196468 140736673394576 139707874310768 139709678668418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18125] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18125/stat : 18125 (java) S 18112 18112 15998 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421052975 28904845312 6838 33554432000 4194304 4196468 140736673394576 139707873256736 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18126] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18126/stat : 18126 (java) S 18112 18112 15998 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421052975 28904845312 6838 33554432000 4194304 4196468 140736673394576 139707872204400 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18127] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18127/stat : 18127 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052977 28904845312 6838 33554432000 4194304 4196468 140736673394576 139707871152720 139709678675867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18128] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18128/stat : 18128 (java) S 18112 18112 15998 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 421052977 28904845312 6838 33554432000 4194304 4196468 140736673394576 139707870099568 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18129] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18129/stat : 18129 (java) S 18112 18112 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421052977 28904845312 6838 33554432000 4194304 4196468 140736673394576 139707869046768 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18130] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18130/stat : 18130 (java) S 18112 18112 15998 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 20 0 421052977 28904845312 6838 33554432000 4194304 4196468 140736673394576 139707867994480 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18131] ppid=18112 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/18114/task/18131/stat : 18131 (java) R 18112 18112 15998 0 -1 4202560 398 0 0 0 1 0 0 0 20 0 20 0 421052977 28904845312 6838 33554432000 4194304 4196468 140736673394576 139707866941680 139709662737758 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18132] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18132/stat : 18132 (java) S 18112 18112 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421052978 28904845312 6838 33554432000 4194304 4196468 140736673394576 139707865889632 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18133] ppid=18112 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/18114/task/18133/stat : 18133 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052978 28904845312 6838 33554432000 4194304 4196468 140736673394576 139707864836912 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 28544 KiB

[startup+0.210307 s]*
/proc/loadavg: 7.69 7.05 7.39 2/212 18133
/proc/meminfo: memFree=31426012/32770624 swapFree=66982588/67108860
[pid=18112] ppid=18109 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18112/stat : 18112 (xcsp3-exec) S 18109 18112 15998 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421052971 115843072 364 33554432000 4194304 5098028 140735074015920 140735074014024 140251134644860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16920576 140735074022261 140735074022505 140735074022505 140735074025418 0
/proc/18112/statm: 28282 364 305 221 0 87 0
[pid=18114] ppid=18112 vsize=28227388 memory=39992 CPUtime=0.34 cores=0-7
/proc/18114/stat : 18114 (java) S 18112 18112 15998 0 -1 1077944320 9758 0 0 0 31 3 0 0 20 0 20 0 421052972 28904845312 9998 33554432000 4194304 4196468 140736673394576 140736673377120 139709678657271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
/proc/18114/statm: 7056847 9998 3310 1 0 7019032 0
[pid=18114/tid=18115] ppid=18112 vsize=28227388 memory=0 CPUtime=0.19 cores=0-7
/proc/18114/task/18115/stat : 18115 (java) R 18112 18112 15998 0 -1 4202560 6683 0 0 0 17 2 0 0 20 0 20 0 421052972 28904845312 9998 33554432000 4194304 4196468 140736673394576 139709682887920 139709678679197 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18116] ppid=18112 vsize=28227388 memory=732370096843492325 CPUtime=0 cores=0-7
/proc/18114/task/18116/stat : 18116 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 9998 33554432000 4194304 4196468 140736673394576 139709650500496 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18117] ppid=18112 vsize=28227388 memory=139958506038912 CPUtime=0 cores=0-7
/proc/18114/task/18117/stat : 18117 (java) S 18112 18112 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 9998 33554432000 4194304 4196468 140736673394576 139709229075216 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18118] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18118/stat : 18118 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 9998 33554432000 4194304 4196468 140736673394576 139709228022928 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18119] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18119/stat : 18119 (java) S 18112 18112 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 9998 33554432000 4194304 4196468 140736673394576 139709226970128 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18120] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18120/stat : 18120 (java) S 18112 18112 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 9998 33554432000 4194304 4196468 140736673394576 139709225916816 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18121] ppid=18112 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/18114/task/18121/stat : 18121 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 9998 33554432000 4194304 4196468 140736673394576 139709224864016 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18122] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18122/stat : 18122 (java) S 18112 18112 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 9998 33554432000 4194304 4196468 140736673394576 139709223811728 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18123] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18123/stat : 18123 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052973 28904845312 9998 33554432000 4194304 4196468 140736673394576 139709222758928 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18124] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18124/stat : 18124 (java) S 18112 18112 15998 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421052974 28904845312 9998 33554432000 4194304 4196468 140736673394576 139707874310768 139709678668418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18125] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18125/stat : 18125 (java) S 18112 18112 15998 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421052975 28904845312 9998 33554432000 4194304 4196468 140736673394576 139707873256736 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18126] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18126/stat : 18126 (java) S 18112 18112 15998 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421052975 28904845312 9998 33554432000 4194304 4196468 140736673394576 139707872204400 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18127] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18127/stat : 18127 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052977 28904845312 9998 33554432000 4194304 4196468 140736673394576 139707871152720 139709678675867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18128] ppid=18112 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/18114/task/18128/stat : 18128 (java) S 18112 18112 15998 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 20 0 421052977 28904845312 9998 33554432000 4194304 4196468 140736673394576 139707870099568 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18129] ppid=18112 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/18114/task/18129/stat : 18129 (java) S 18112 18112 15998 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 20 0 421052977 28904845312 9998 33554432000 4194304 4196468 140736673394576 139707869046768 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18130] ppid=18112 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/18114/task/18130/stat : 18130 (java) S 18112 18112 15998 0 -1 1077944384 371 0 0 0 1 0 0 0 20 0 20 0 421052977 28904845312 9998 33554432000 4194304 4196468 140736673394576 139707867994480 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18131] ppid=18112 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7
/proc/18114/task/18131/stat : 18131 (java) R 18112 18112 15998 0 -1 4202560 880 0 0 0 7 0 0 0 20 0 20 0 421052977 28904845312 9998 33554432000 4194304 4196468 140736673394576 139707866935568 139709657390645 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18132] ppid=18112 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18132/stat : 18132 (java) S 18112 18112 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421052978 28904845312 9998 33554432000 4194304 4196468 140736673394576 139707865889632 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18133] ppid=18112 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/18114/task/18133/stat : 18133 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052978 28904845312 9998 33554432000 4194304 4196468 140736673394576 139707864836912 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 41448 KiB

[startup+0.309526 s]*
/proc/loadavg: 7.69 7.05 7.39 3/212 18133
/proc/meminfo: memFree=31420552/32770624 swapFree=66982588/67108860
[pid=18112] ppid=18109 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18112/stat : 18112 (xcsp3-exec) S 18109 18112 15998 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421052971 115843072 364 33554432000 4194304 5098028 140735074015920 140735074014024 140251134644860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16920576 140735074022261 140735074022505 140735074022505 140735074025418 0
/proc/18112/statm: 28282 364 305 221 0 87 0
[pid=18114] ppid=18112 vsize=28231644 memory=48536 CPUtime=0.51 cores=0-7
/proc/18114/stat : 18114 (java) S 18112 18112 15998 0 -1 1077944320 11074 0 0 0 47 4 0 0 20 0 20 0 421052972 28909203456 12134 33554432000 4194304 4196468 140736673394576 140736673377120 139709678657271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
/proc/18114/statm: 7057911 12134 3341 1 0 7019032 0
[pid=18114/tid=18115] ppid=18112 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/18114/task/18115/stat : 18115 (java) R 18112 18112 15998 0 -1 4202560 7752 0 0 0 27 3 0 0 20 0 20 0 421052972 28909203456 12200 33554432000 4194304 4196468 140736673394576 139709682889776 139709678679197 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18116] ppid=18112 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18116/stat : 18116 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052973 28909203456 12200 33554432000 4194304 4196468 140736673394576 139709650500496 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18117] ppid=18112 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18117/stat : 18117 (java) S 18112 18112 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421052973 28909203456 12200 33554432000 4194304 4196468 140736673394576 139709229075216 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18118] ppid=18112 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18118/stat : 18118 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052973 28909203456 12200 33554432000 4194304 4196468 140736673394576 139709228022928 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18119] ppid=18112 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18119/stat : 18119 (java) S 18112 18112 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421052973 28909203456 12200 33554432000 4194304 4196468 140736673394576 139709226970128 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18120] ppid=18112 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18120/stat : 18120 (java) S 18112 18112 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421052973 28909203456 12200 33554432000 4194304 4196468 140736673394576 139709225916816 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18121] ppid=18112 vsize=28231644 memory=139958354537135 CPUtime=0 cores=0-7
/proc/18114/task/18121/stat : 18121 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052973 28909203456 12200 33554432000 4194304 4196468 140736673394576 139709224864016 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18122] ppid=18112 vsize=28231644 memory=139958354539440 CPUtime=0 cores=0-7
/proc/18114/task/18122/stat : 18122 (java) S 18112 18112 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421052973 28909203456 12200 33554432000 4194304 4196468 140736673394576 139709223811728 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18123] ppid=18112 vsize=28231644 memory=139958354541744 CPUtime=0 cores=0-7
/proc/18114/task/18123/stat : 18123 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052973 28909203456 12200 33554432000 4194304 4196468 140736673394576 139709222758928 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18124] ppid=18112 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18124/stat : 18124 (java) S 18112 18112 15998 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421052974 28909203456 12200 33554432000 4194304 4196468 140736673394576 139707874310768 139709678668418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18125] ppid=18112 vsize=28231644 memory=279916709097360 CPUtime=0 cores=0-7
/proc/18114/task/18125/stat : 18125 (java) S 18112 18112 15998 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421052975 28909203456 12200 33554432000 4194304 4196468 140736673394576 139707873256736 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18126] ppid=18112 vsize=28231644 memory=279916709095056 CPUtime=0 cores=0-7
/proc/18114/task/18126/stat : 18126 (java) S 18112 18112 15998 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421052975 28909203456 12200 33554432000 4194304 4196468 140736673394576 139707872204400 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18127] ppid=18112 vsize=28231644 memory=279916709101968 CPUtime=0 cores=0-7
/proc/18114/task/18127/stat : 18127 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052977 28909203456 12200 33554432000 4194304 4196468 140736673394576 139707871152720 139709678675867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18128] ppid=18112 vsize=28231644 memory=279916709043216 CPUtime=0.03 cores=0-7
/proc/18114/task/18128/stat : 18128 (java) S 18112 18112 15998 0 -1 1077944384 490 0 0 0 3 0 0 0 20 0 20 0 421052977 28909203456 12200 33554432000 4194304 4196468 140736673394576 139707870099568 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18129] ppid=18112 vsize=28231644 memory=279916709115792 CPUtime=0.02 cores=0-7
/proc/18114/task/18129/stat : 18129 (java) R 18112 18112 15998 0 -1 4202560 61 0 0 0 2 0 0 0 20 0 20 0 421052977 28909203456 12200 33554432000 4194304 4196468 140736673394576 139707869046768 139709656330336 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18130] ppid=18112 vsize=28231644 memory=279916709122704 CPUtime=0.02 cores=0-7
/proc/18114/task/18130/stat : 18130 (java) R 18112 18112 15998 0 -1 4202560 399 0 0 0 2 0 0 0 20 0 20 0 421052977 28909203456 12200 33554432000 4194304 4196468 140736673394576 139707867994480 139709662068314 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18131] ppid=18112 vsize=28231644 memory=279916709120400 CPUtime=0.12 cores=0-7
/proc/18114/task/18131/stat : 18131 (java) S 18112 18112 15998 0 -1 1077944384 1066 0 0 0 12 0 0 0 20 0 20 0 421052977 28909203456 12200 33554432000 4194304 4196468 140736673394576 139707866941680 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18132] ppid=18112 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18132/stat : 18132 (java) S 18112 18112 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421052978 28909203456 12200 33554432000 4194304 4196468 140736673394576 139707865889632 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18133] ppid=18112 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/18114/task/18133/stat : 18133 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052978 28909203456 12200 33554432000 4194304 4196468 140736673394576 139707864836912 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 49992 KiB

[startup+0.700985 s]
/proc/loadavg: 7.69 7.05 7.39 6/212 18133
/proc/meminfo: memFree=31396464/32770624 swapFree=66982588/67108860
[pid=18112] ppid=18109 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18112/stat : 18112 (xcsp3-exec) S 18109 18112 15998 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421052971 115843072 364 33554432000 4194304 5098028 140735074015920 140735074014024 140251134644860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16920576 140735074022261 140735074022505 140735074022505 140735074025418 0
/proc/18112/statm: 28282 364 305 221 0 87 0
[pid=18114] ppid=18112 vsize=28233768 memory=95004 CPUtime=1.98 cores=0-7
/proc/18114/stat : 18114 (java) S 18112 18112 15998 0 -1 1077944320 17508 0 0 0 192 6 0 0 20 0 20 0 421052972 28911378432 23751 33554432000 4194304 4196468 140736673394576 140736673377120 139709678657271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
/proc/18114/statm: 7058442 23751 3448 1 0 7019544 0
[pid=18114/tid=18115] ppid=18112 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7
/proc/18114/task/18115/stat : 18115 (java) R 18112 18112 15998 0 -1 4202560 9406 0 0 0 64 4 0 0 20 0 20 0 421052972 28911378432 23751 33554432000 4194304 4196468 140736673394576 139709682892336 139709316213624 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18116] ppid=18112 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18116/stat : 18116 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052973 28911378432 23751 33554432000 4194304 4196468 140736673394576 139709650500496 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18117] ppid=18112 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18117/stat : 18117 (java) S 18112 18112 15998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421052973 28911378432 23751 33554432000 4194304 4196468 140736673394576 139709229075216 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18118] ppid=18112 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/18114/task/18118/stat : 18118 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421052973 28911378432 23751 33554432000 4194304 4196468 140736673394576 139709228022928 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0

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

[pid=18114/tid=21575] ppid=18112 vsize=28769356 memory=1456 CPUtime=1454.49 cores=0-7
/proc/18114/task/21575/stat : 21575 (java) R 18112 18112 15998 0 -1 4202560 7504 0 0 0 145446 3 0 0 20 0 28 0 421150723 29459820544 502244 33554432000 4194304 4196468 140736673394576 139707853529288 139709324895028 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
Current children cumulated CPU time: 19182.6 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 2010432 KiB

[startup+2502.3 s]
/proc/loadavg: 8.73 8.36 8.20 9/219 21685
/proc/meminfo: memFree=29478556/32770624 swapFree=66982628/67108860
[pid=18112] ppid=18109 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18112/stat : 18112 (xcsp3-exec) S 18109 18112 15998 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421052971 115843072 364 33554432000 4194304 5098028 140735074015920 140735074014024 140251134644860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16920576 140735074022261 140735074022505 140735074022505 140735074025418 0
/proc/18112/statm: 28282 364 305 221 0 87 0
[pid=18114] ppid=18112 vsize=28769356 memory=1973064 CPUtime=19661.2 cores=0-7
/proc/18114/stat : 18114 (java) S 18112 18112 15998 0 -1 1077944320 1106251 0 0 0 1964531 1588 0 0 20 0 28 0 421052972 29459820544 493266 33554432000 4194304 4196468 140736673394576 140736673377120 139709678657271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
/proc/18114/statm: 7192339 493266 3565 1 0 7153441 0
[pid=18114/tid=18115] ppid=18112 vsize=28769356 memory=1982300 CPUtime=7.71 cores=0-7
/proc/18114/task/18115/stat : 18115 (java) S 18112 18112 15998 0 -1 1077944384 19685 0 0 0 754 17 0 0 20 0 28 0 421052972 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709682897984 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18116] ppid=18112 vsize=28769356 memory=2661744 CPUtime=7.66 cores=0-7
/proc/18114/task/18116/stat : 18116 (java) S 18112 18112 15998 0 -1 1077944384 10696 0 0 0 687 79 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709650500496 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18117] ppid=18112 vsize=28769356 memory=2506284 CPUtime=7.7 cores=0-7
/proc/18114/task/18117/stat : 18117 (java) S 18112 18112 15998 0 -1 1077944384 12074 0 0 0 689 81 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709229075216 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18118] ppid=18112 vsize=28769356 memory=2364168 CPUtime=7.63 cores=0-7
/proc/18114/task/18118/stat : 18118 (java) S 18112 18112 15998 0 -1 1077944384 11881 0 0 0 687 76 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709228022928 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18119] ppid=18112 vsize=28769356 memory=2347932 CPUtime=7.69 cores=0-7
/proc/18114/task/18119/stat : 18119 (java) R 18112 18112 15998 0 -1 1077944384 12940 0 0 0 688 81 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709226970128 139709678667477 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18120] ppid=18112 vsize=28769356 memory=2347968 CPUtime=7.82 cores=0-7
/proc/18114/task/18120/stat : 18120 (java) S 18112 18112 15998 0 -1 1077944384 10597 0 0 0 702 80 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709225916816 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18121] ppid=18112 vsize=28769356 memory=2347968 CPUtime=7.66 cores=0-7
/proc/18114/task/18121/stat : 18121 (java) S 18112 18112 15998 0 -1 1077944384 13390 0 0 0 685 81 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709224864016 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18122] ppid=18112 vsize=28769356 memory=2096788 CPUtime=7.74 cores=0-7
/proc/18114/task/18122/stat : 18122 (java) S 18112 18112 15998 0 -1 1077944384 11486 0 0 0 691 83 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709223811728 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18123] ppid=18112 vsize=28769356 memory=2096788 CPUtime=7.72 cores=0-7
/proc/18114/task/18123/stat : 18123 (java) S 18112 18112 15998 0 -1 1077944384 15654 0 0 0 693 79 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709222758928 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18124] ppid=18112 vsize=28769356 memory=2022312 CPUtime=0.45 cores=0-7
/proc/18114/task/18124/stat : 18124 (java) S 18112 18112 15998 0 -1 1077944384 26154 0 0 0 35 10 0 0 20 0 28 0 421052974 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707874310768 139709678668418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18125] ppid=18112 vsize=28769356 memory=1998716 CPUtime=0 cores=0-7
/proc/18114/task/18125/stat : 18125 (java) S 18112 18112 15998 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 28 0 421052975 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707873256864 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18126] ppid=18112 vsize=28769356 memory=1998716 CPUtime=0 cores=0-7
/proc/18114/task/18126/stat : 18126 (java) S 18112 18112 15998 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 28 0 421052975 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707872204480 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18127] ppid=18112 vsize=28769356 memory=1988456 CPUtime=0 cores=0-7
/proc/18114/task/18127/stat : 18127 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421052977 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707871152720 139709678675867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18128] ppid=18112 vsize=28769356 memory=1982300 CPUtime=5.52 cores=0-7
/proc/18114/task/18128/stat : 18128 (java) S 18112 18112 15998 0 -1 1077944384 45797 0 0 0 545 7 0 0 20 0 28 0 421052977 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707870099568 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18129] ppid=18112 vsize=28769356 memory=1982300 CPUtime=5.77 cores=0-7
/proc/18114/task/18129/stat : 18129 (java) S 18112 18112 15998 0 -1 1077944384 48892 0 0 0 570 7 0 0 20 0 28 0 421052977 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707869046768 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18130] ppid=18112 vsize=28769356 memory=1982300 CPUtime=6.72 cores=0-7
/proc/18114/task/18130/stat : 18130 (java) S 18112 18112 15998 0 -1 1077944384 57967 0 0 0 662 10 0 0 20 0 28 0 421052977 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707867994480 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18131] ppid=18112 vsize=28769356 memory=1982300 CPUtime=1.57 cores=0-7
/proc/18114/task/18131/stat : 18131 (java) S 18112 18112 15998 0 -1 1077944384 45515 0 0 0 151 6 0 0 20 0 28 0 421052977 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707866941680 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18132] ppid=18112 vsize=28769356 memory=1456 CPUtime=0 cores=0-7
/proc/18114/task/18132/stat : 18132 (java) S 18112 18112 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421052978 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707865889632 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18133] ppid=18112 vsize=28769356 memory=11976 CPUtime=0.99 cores=0-7
/proc/18114/task/18133/stat : 18133 (java) S 18112 18112 15998 0 -1 1077944384 9519 0 0 0 29 70 0 0 20 0 28 0 421052978 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707864836912 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=21568] ppid=18112 vsize=28769356 memory=7736 CPUtime=1520.06 cores=0-7
/proc/18114/task/21568/stat : 21568 (java) R 18112 18112 15998 0 -1 4202560 12596 0 0 0 151993 13 0 0 20 0 28 0 421150722 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707852476024 139709324895271 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=21569] ppid=18112 vsize=28769356 memory=1998716 CPUtime=1515.24 cores=0-7
/proc/18114/task/21569/stat : 21569 (java) R 18112 18112 15998 0 -1 4202560 7978 0 0 0 151515 9 0 0 20 0 28 0 421150722 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707850371408 139709324895749 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=21570] ppid=18112 vsize=28769356 memory=1456 CPUtime=1520.1 cores=0-7
/proc/18114/task/21570/stat : 21570 (java) R 18112 18112 15998 0 -1 4202560 59706 0 0 0 151919 91 0 0 20 0 28 0 421150723 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707848265424 139709324895069 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=21571] ppid=18112 vsize=28769356 memory=6791534058613427641 CPUtime=1511.89 cores=0-7
/proc/18114/task/21571/stat : 21571 (java) R 18112 18112 15998 0 -1 4202560 19610 0 0 0 151094 95 0 0 20 0 28 0 421150723 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707845107168 139709318545033 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=21572] ppid=18112 vsize=28769356 memory=22448 CPUtime=1506.96 cores=0-7
/proc/18114/task/21572/stat : 21572 (java) R 18112 18112 15998 0 -1 4202560 7203 0 0 0 150684 12 0 0 20 0 28 0 421150723 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707847213008 139709316581059 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=21573] ppid=18112 vsize=28769356 memory=1456 CPUtime=1520.06 cores=0-7
/proc/18114/task/21573/stat : 21573 (java) R 18112 18112 15998 0 -1 4202560 8716 0 0 0 152002 4 0 0 20 0 28 0 421150723 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707846160192 139709324894977 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=21574] ppid=18112 vsize=28769356 memory=1456 CPUtime=1520.11 cores=0-7
/proc/18114/task/21574/stat : 21574 (java) R 18112 18112 15998 0 -1 4202560 18912 0 0 0 151999 12 0 0 20 0 28 0 421150723 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707851423440 139709316581554 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=21575] ppid=18112 vsize=28769356 memory=1456 CPUtime=1514.41 cores=0-7
/proc/18114/task/21575/stat : 21575 (java) R 18112 18112 15998 0 -1 4202560 7639 0 0 0 151438 3 0 0 20 0 28 0 421150723 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707853531840 139709318545033 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
Current children cumulated CPU time: 19661.2 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 1974520 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.81 8.40 8.22 9/220 21688
/proc/meminfo: memFree=29487472/32770624 swapFree=66982628/67108860
[pid=18112] ppid=18109 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18112/stat : 18112 (xcsp3-exec) S 18109 18112 15998 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 421052971 115843072 364 33554432000 4194304 5098028 140735074015920 140735074014024 140251134644860 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16920576 140735074022261 140735074022505 140735074022505 140735074025418 0
/proc/18112/statm: 28282 364 305 221 0 87 0
[pid=18114] ppid=18112 vsize=28769356 memory=1973064 CPUtime=19802.5 cores=0-7
/proc/18114/stat : 18114 (java) S 18112 18112 15998 0 -1 1077944320 1106714 0 0 0 1978657 1589 0 0 20 0 28 0 421052972 29459820544 493266 33554432000 4194304 4196468 140736673394576 140736673377120 139709678657271 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
/proc/18114/statm: 7192339 493266 3565 1 0 7153441 0
[pid=18114/tid=18115] ppid=18112 vsize=28769356 memory=8317482817917895235 CPUtime=7.71 cores=0-7
/proc/18114/task/18115/stat : 18115 (java) S 18112 18112 15998 0 -1 1077944384 19685 0 0 0 754 17 0 0 20 0 28 0 421052972 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709682897984 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18116] ppid=18112 vsize=28769356 memory=-7003737579269690708 CPUtime=7.66 cores=0-7
/proc/18114/task/18116/stat : 18116 (java) S 18112 18112 15998 0 -1 1077944384 10696 0 0 0 687 79 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709650500496 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18117] ppid=18112 vsize=28769356 memory=1692 CPUtime=7.7 cores=0-7
/proc/18114/task/18117/stat : 18117 (java) S 18112 18112 15998 0 -1 1077944384 12074 0 0 0 689 81 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709229075216 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18118] ppid=18112 vsize=28769356 memory=1028 CPUtime=7.63 cores=0-7
/proc/18114/task/18118/stat : 18118 (java) S 18112 18112 15998 0 -1 1077944384 11881 0 0 0 687 76 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709228022928 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18119] ppid=18112 vsize=28769356 memory=1060 CPUtime=7.69 cores=0-7
/proc/18114/task/18119/stat : 18119 (java) S 18112 18112 15998 0 -1 1077944384 12940 0 0 0 688 81 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709226970128 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18120] ppid=18112 vsize=28769356 memory=2828 CPUtime=7.82 cores=0-7
/proc/18114/task/18120/stat : 18120 (java) S 18112 18112 15998 0 -1 1077944384 10597 0 0 0 702 80 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709225916816 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18121] ppid=18112 vsize=28769356 memory=-3622645143214314312 CPUtime=7.66 cores=0-7
/proc/18114/task/18121/stat : 18121 (java) S 18112 18112 15998 0 -1 1077944384 13390 0 0 0 685 81 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709224864016 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18122] ppid=18112 vsize=28769356 memory=4126316290023845779 CPUtime=7.74 cores=0-7
/proc/18114/task/18122/stat : 18122 (java) S 18112 18112 15998 0 -1 1077944384 11486 0 0 0 691 83 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709223811728 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18123] ppid=18112 vsize=28769356 memory=8317482817917895235 CPUtime=7.72 cores=0-7
/proc/18114/task/18123/stat : 18123 (java) S 18112 18112 15998 0 -1 1077944384 15654 0 0 0 693 79 0 0 20 0 28 0 421052973 29459820544 493266 33554432000 4194304 4196468 140736673394576 139709222758928 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18124] ppid=18112 vsize=28769356 memory=-7003737579269690708 CPUtime=0.45 cores=0-7
/proc/18114/task/18124/stat : 18124 (java) S 18112 18112 15998 0 -1 1077944384 26156 0 0 0 35 10 0 0 20 0 28 0 421052974 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707874310768 139709678668418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18125] ppid=18112 vsize=28769356 memory=1060 CPUtime=0 cores=0-7
/proc/18114/task/18125/stat : 18125 (java) S 18112 18112 15998 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 28 0 421052975 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707873256864 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18126] ppid=18112 vsize=28769356 memory=2828 CPUtime=0 cores=0-7
/proc/18114/task/18126/stat : 18126 (java) S 18112 18112 15998 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 28 0 421052975 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707872204480 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18127] ppid=18112 vsize=28769356 memory=756 CPUtime=0 cores=0-7
/proc/18114/task/18127/stat : 18127 (java) S 18112 18112 15998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421052977 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707871152720 139709678675867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18128] ppid=18112 vsize=28769356 memory=6791534058613427641 CPUtime=5.52 cores=0-7
/proc/18114/task/18128/stat : 18128 (java) S 18112 18112 15998 0 -1 1077944384 45799 0 0 0 545 7 0 0 20 0 28 0 421052977 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707870099568 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18129] ppid=18112 vsize=28769356 memory=6789802306324843961 CPUtime=5.77 cores=0-7
/proc/18114/task/18129/stat : 18129 (java) S 18112 18112 15998 0 -1 1077944384 48894 0 0 0 570 7 0 0 20 0 28 0 421052977 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707869046768 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18130] ppid=18112 vsize=28769356 memory=780 CPUtime=6.72 cores=0-7
/proc/18114/task/18130/stat : 18130 (java) S 18112 18112 15998 0 -1 1077944384 57969 0 0 0 662 10 0 0 20 0 28 0 421052977 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707867994480 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18131] ppid=18112 vsize=28769356 memory=4160 CPUtime=1.57 cores=0-7
/proc/18114/task/18131/stat : 18131 (java) S 18112 18112 15998 0 -1 1077944384 45517 0 0 0 151 6 0 0 20 0 28 0 421052977 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707866941680 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18132] ppid=18112 vsize=28769356 memory=1692 CPUtime=0 cores=0-7
/proc/18114/task/18132/stat : 18132 (java) S 18112 18112 15998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421052978 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707865889632 139709678667477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=18133] ppid=18112 vsize=28769356 memory=1028 CPUtime=0.99 cores=0-7
/proc/18114/task/18133/stat : 18133 (java) S 18112 18112 15998 0 -1 1077944384 9521 0 0 0 29 70 0 0 20 0 28 0 421052978 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707864836912 139709678668418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=21568] ppid=18112 vsize=28769356 memory=1973064 CPUtime=1537.76 cores=0-7
/proc/18114/task/21568/stat : 21568 (java) R 18112 18112 15998 0 -1 4202560 12650 0 0 0 153763 13 0 0 20 0 28 0 421150722 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707852476024 139709324895547 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=21569] ppid=18112 vsize=28769356 memory=1028 CPUtime=1532.95 cores=0-7
/proc/18114/task/21569/stat : 21569 (java) R 18112 18112 15998 0 -1 4202560 8001 0 0 0 153286 9 0 0 20 0 28 0 421150722 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707850371544 139709324894938 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=21570] ppid=18112 vsize=28769356 memory=-7003737579269690708 CPUtime=1537.8 cores=0-7
/proc/18114/task/21570/stat : 21570 (java) R 18112 18112 15998 0 -1 4202560 59788 0 0 0 153689 91 0 0 20 0 28 0 421150723 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707848265560 139709324895069 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=21571] ppid=18112 vsize=28769356 memory=2828 CPUtime=1529.23 cores=0-7
/proc/18114/task/21571/stat : 21571 (java) R 18112 18112 15998 0 -1 4202560 19742 0 0 0 152827 96 0 0 20 0 28 0 421150723 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707845107168 139709316581863 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=21572] ppid=18112 vsize=28769356 memory=756 CPUtime=1524.66 cores=0-7
/proc/18114/task/21572/stat : 21572 (java) R 18112 18112 15998 0 -1 4202560 7214 0 0 0 152454 12 0 0 20 0 28 0 421150723 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707847213144 139709319654912 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=21573] ppid=18112 vsize=28769356 memory=1548 CPUtime=1537.77 cores=0-7
/proc/18114/task/21573/stat : 21573 (java) R 18112 18112 15998 0 -1 4202560 8728 0 0 0 153773 4 0 0 20 0 28 0 421150723 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707846160328 139709316581493 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=21574] ppid=18112 vsize=28769356 memory=7980 CPUtime=1537.82 cores=0-7
/proc/18114/task/21574/stat : 21574 (java) R 18112 18112 15998 0 -1 4202560 19020 0 0 0 153770 12 0 0 20 0 28 0 421150723 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707851423576 139709320718471 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
[pid=18114/tid=21575] ppid=18112 vsize=28769356 memory=1973064 CPUtime=1532.12 cores=0-7
/proc/18114/task/21575/stat : 21575 (java) R 18112 18112 15998 0 -1 4202560 7668 0 0 0 153208 4 0 0 20 0 28 0 421150723 29459820544 493266 33554432000 4194304 4196468 140736673394576 139707853531840 139709318545047 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 14262272 140736673395690 140736673395862 140736673395862 140736673398735 0
Current children cumulated CPU time: 19802.5 s
Current children cumulated vsize: 28882484 KiB
Current children cumulated memory: 1974520 KiB

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

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

[startup+2520.1 s]
# the end of solver process 18114 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19787.2 s, system=15.9115 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): 19803.1
CPU user time (s): 19787.2
CPU system time (s): 15.9115
CPU usage (%): 785.806
Max. virtual memory (cumulated for all children) (KiB): 28884220
Max. memory (cumulated for all children) (KiB): 3740004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19787.2
system time used= 15.9115
maximum resident set size= 3759136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1107884
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 101031
involuntary context switches= 231504


# summary of solver processes directly reported to runsolver:
#   pid: 18112,18114
#   total CPU time (s): 19803.1
#   total CPU user time (s): 19787.2
#   total CPU system time (s): 15.9115

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.2778 second user time and 25.2039 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-14 09:57:41
IDJOB=4394591
IDBENCH=141204
IDSOLVER=2843
FILE ID=node121/4394591-1568447903
RUNJOBID= node121-1568447413-16025
PBS_JOBID= 21702353
Free space on /tmp= 61412 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-4394591-1568447903/watcher-4394591-1568447903 -o /tmp/evaluation-result-4394591-1568447903/solver-4394591-1568447903 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node121-1568447413-16025 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1788226717 HOME/instance-4394591-1568447903.xml

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

MD5SUM BENCH= d0ab6aee5f30ff70d66f863e0e3556a1
RANDOM SEED=1788226717

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31453540 kB
MemAvailable:   31912176 kB
Buffers:          180044 kB
Cached:           573000 kB
SwapCached:        18184 kB
Active:           416576 kB
Inactive:         358172 kB
Active(anon):       7108 kB
Inactive(anon):    45776 kB
Active(file):     409468 kB
Inactive(file):   312396 kB
Unevictable:      109108 kB
Mlocked:          109108 kB
SwapTotal:      67108860 kB
SwapFree:       66982588 kB
Dirty:             26344 kB
Writeback:             0 kB
AnonPages:        192284 kB
Mapped:            36128 kB
Shmem:             23012 kB
Slab:             134472 kB
SReclaimable:     105212 kB
SUnreclaim:        29260 kB
KernelStack:        3584 kB
PageTables:         4860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61388 MiB
End job on node121 at 2019-09-14 10:39:41