Trace number 4297924

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Choco-solver 4.0.7b par (e747e1e)SAT (TO)98470665 3027.18 2520.06

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-01-0200_c18.xml
MD5SUMbcb772945ca2f244c7b00bb761820cd7
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark98470665
Best CPU time to get the best result obtained on this benchmark3027.18
Satisfiable
(Un)Satisfiability was proved
Number of variables3236
Number of constraints2053
Number of domains39
Minimum domain size1
Maximum domain size95
Distribution of domain sizes[{"size":1,"count":3},{"size":2,"count":1142},{"size":11,"count":945},{"size":12,"count":1},{"size":21,"count":9},{"size":23,"count":22},{"size":25,"count":1},{"size":29,"count":34},{"size":33,"count":35},{"size":34,"count":18},{"size":35,"count":32},{"size":39,"count":8},{"size":40,"count":9},{"size":41,"count":15},{"size":49,"count":1},{"size":50,"count":19},{"size":51,"count":16},{"size":53,"count":5},{"size":55,"count":32},{"size":57,"count":10},{"size":58,"count":7},{"size":60,"count":9},{"size":64,"count":76},{"size":69,"count":85},{"size":74,"count":50},{"size":81,"count":87},{"size":91,"count":84},{"size":93,"count":31},{"size":95,"count":450}]
Minimum variable degree2
Maximum variable degree946
Distribution of variable degrees[{"degree":2,"count":2836},{"degree":3,"count":1},{"degree":4,"count":3},{"degree":5,"count":17},{"degree":6,"count":21},{"degree":7,"count":31},{"degree":8,"count":26},{"degree":9,"count":50},{"degree":10,"count":45},{"degree":11,"count":47},{"degree":12,"count":52},{"degree":13,"count":72},{"degree":14,"count":34},{"degree":946,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":163},{"arity":3,"count":945},{"arity":6,"count":945}]
Number of extensional constraints945
Number of intensional constraints1108
Distribution of constraint types[{"type":"extension","count":945},{"type":"intension","count":1108}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297924-1532713936.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4297924-1532713936.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
124.57/54.00	c solve instance...
144.15/56.60	o 101384023 
144.61/56.94	o 101374571 
145.00/57.25	o 101374562 
148.30/57.87	o 101365111 
148.30/57.88	o 101355659 
149.08/58.19	o 101355650 
149.19/58.21	o 101355649 
149.19/58.21	o 101355640 
149.54/58.53	o 101346208 
149.54/58.54	o 101346199 
149.54/58.56	o 101346198 
150.09/58.86	o 101346189 
150.44/59.17	o 101346183 
150.89/59.52	o 101336751 
151.51/59.94	o 101336742 
151.83/60.26	o 101336741 
152.16/60.58	o 101336732 
152.16/60.58	o 101327287 
152.16/60.60	o 101327278 
152.43/60.61	o 101327277 
152.43/60.61	o 101327268 
152.75/60.93	o 101317836 
152.75/60.94	o 101317827 
152.75/60.95	o 101317826 
152.75/60.95	o 101317817 
154.06/61.19	o 101317811 
154.86/61.56	o 101308379 
155.19/61.82	o 101308370 
155.19/61.83	o 101308369 
155.19/61.84	o 101308360 
155.70/62.21	o 101308359 
155.70/62.22	o 101298932 
155.70/62.23	o 101298923 
155.70/62.24	o 101298922 
156.07/62.56	o 101298913 
156.49/62.90	o 101298907 
156.49/62.91	o 101289475 
156.72/63.17	o 101289466 
156.72/63.18	o 101289465 
157.27/63.50	o 101289456 
157.60/63.81	o 101289455 
157.60/63.83	o 101289454 
157.60/63.86	o 101289445 
157.60/63.87	o 101289444 
158.33/64.17	o 101280017 
158.65/64.42	o 101280008 
158.77/64.56	o 101280007 
159.09/64.87	o 101279998 
159.41/65.16	o 101279992 
159.41/65.17	o 101270560 
159.41/65.17	o 101270551 
159.41/65.18	o 101270550 
159.41/65.19	o 101270541 
159.53/65.20	o 101270540 
159.53/65.27	o 101270534 
159.87/65.56	o 101261102 
161.82/66.05	o 101261093 
161.82/66.06	o 101261092 
161.82/66.06	o 101261083 
161.82/66.07	o 101261082 
161.82/66.08	o 101261081 
162.19/66.38	o 101261080 
162.19/66.39	o 101261079 
162.52/66.68	o 101261078 
162.84/66.94	o 101261077 
162.84/66.96	o 101261068 
163.25/67.25	o 101261067 
163.25/67.26	o 101251640 
163.68/67.62	o 101251631 
163.90/67.87	o 101251625 
163.90/67.88	o 101242183 
164.24/68.17	o 101242174 
164.24/68.18	o 101242173 
164.58/68.47	o 101242164 
164.89/68.76	o 101242163 
164.89/68.77	o 101242157 
164.89/68.78	o 101232725 
165.31/69.08	o 101232716 
165.72/69.44	o 101232715 
165.94/69.69	o 101232706 
166.26/70.00	o 101232705 
166.60/70.29	o 101232704 
167.02/70.69	o 101232703 
167.46/71.02	o 101232702 
167.46/71.03	o 101232701 
167.70/71.21	o 101232700 
168.02/71.52	o 101232699 
168.02/71.53	o 101232698 
168.02/71.54	o 101232697 
169.65/72.84	o 101232696 
169.65/72.86	o 101232695 
169.65/72.87	o 101223268 
169.82/73.00	o 101223259 
170.75/73.20	o 101223258 
171.65/73.42	o 101223249 
171.96/73.74	o 101223247 
173.37/75.07	o 101223246 
173.59/75.23	o 101223245 
394.27/295.30	o 101223244 
394.27/295.34	o 101223243 
394.67/295.62	o 101223242 
394.89/295.90	o 101223241 
395.10/296.04	o 101223240 
395.42/296.35	o 101223239 
395.42/296.36	o 101223238 
395.42/296.37	o 101213812 
395.78/296.68	o 101213803 
395.78/296.69	o 101213802 
396.11/296.96	o 101213793 
396.11/296.97	o 101213792 
396.45/297.26	o 101213791 
396.45/297.27	o 101213790 
396.45/297.28	o 101213789 
396.79/297.51	o 101213788 
396.79/297.51	o 101213787 
396.79/297.52	o 101213786 
397.26/297.97	o 101213785 
397.26/297.97	o 101213784 
397.26/297.98	o 101213783 
397.60/298.28	o 101213782 
397.93/298.53	o 101204362 
398.50/298.88	o 101204353 
398.85/299.16	o 101204352 
399.25/299.45	o 101204343 
399.49/299.61	o 101204342 
399.49/299.62	o 101204341 
399.83/299.91	o 101204340 
400.08/300.20	o 101204339 
400.17/300.21	o 101204338 
400.17/300.22	o 101204337 
400.17/300.24	o 101204336 
400.17/300.25	o 101204335 
400.17/300.26	o 101204334 
400.17/300.27	o 101204333 
400.58/300.58	o 101204332 
400.58/300.59	o 101194906 
401.55/300.79	o 101194897 
402.47/301.09	o 101194896 
402.87/301.41	o 101194887 
402.87/301.43	o 101194886 
403.12/301.67	o 101194885 
403.46/301.98	o 101194884 
403.79/302.22	o 101194883 
403.91/302.35	o 101194882 
404.31/302.64	o 101194881 
404.31/302.66	o 101194880 
404.50/302.79	o 101194879 
404.61/302.82	o 101194878 
404.85/303.10	o 101194877 
405.16/303.37	o 101194876 
405.16/303.38	o 101194872 
405.51/303.66	o 101194871 
405.51/303.68	o 101194862 
405.51/303.69	o 101194861 
405.51/303.69	o 101194860 
405.87/303.98	o 101194859 
406.18/304.26	o 101194858 
406.18/304.27	o 101194857 
406.18/304.28	o 101194856 
406.52/304.58	o 101194855 
406.52/304.59	o 101194854 
406.85/304.87	o 101194853 
407.19/305.19	o 101194852 
407.19/305.20	o 101194851 
407.42/305.35	o 101185425 
407.74/305.61	o 101185416 
407.74/305.64	o 101185415 
407.74/305.66	o 101185406 
407.74/305.67	o 101185405 
407.74/305.68	o 101185404 
407.74/305.68	o 101185403 
407.74/305.69	o 101185402 
408.46/305.98	o 101185401 
410.22/306.41	o 101185400 
410.43/306.70	o 101185399 
410.74/306.96	o 101185398 
410.96/307.18	o 101185397 
411.10/307.22	o 101185396 
411.36/307.47	o 101185395 
411.68/307.77	o 101175975 
411.90/307.98	o 101175966 
412.22/308.28	o 101175965 
412.52/308.56	o 101175956 
412.86/308.86	o 101175955 
412.97/308.99	o 101175954 
412.97/309.00	o 101175953 
413.58/309.28	o 101166534 
413.97/309.54	o 101166519 
414.19/309.79	o 101166510 
414.30/309.80	o 101166509 
414.52/310.05	o 101166500 
414.82/310.31	o 101166499 
414.82/310.32	o 101166498 
415.03/310.58	o 101166497 
415.35/310.86	o 101166493 
415.69/311.13	o 101166492 
415.89/311.38	o 101166491 
415.89/311.39	o 101166490 
416.21/311.60	o 101166489 
416.21/311.61	o 101166488 
416.21/311.69	o 101166487 
416.57/311.96	o 101166486 
416.57/311.97	o 101166486 
416.99/312.27	o 101119217 
419.02/313.99	o 101119216 
419.34/314.26	o 101109767 
421.34/316.15	o 101109761 
421.64/316.40	o 101109752 
421.64/316.41	o 101109751 
421.64/316.42	o 101109742 
422.23/316.87	o 101100317 
424.50/318.74	o 101100308 
424.83/319.03	o 101100299 
425.15/319.34	o 101100298 
425.37/319.50	o 101100289 
425.37/319.51	o 101100288 
427.05/319.94	o 101100287 
427.05/319.95	o 101090867 
429.48/321.44	o 101090838 
429.48/321.45	o 101090829 
429.60/321.58	o 101090828 
429.60/321.59	o 101090819 
429.73/321.60	o 101090818 
429.94/321.87	o 101081417 
432.66/323.86	o 101081388 
432.99/324.12	o 101081379 
433.21/324.38	o 101081378 
433.53/324.68	o 101081369 
433.85/324.94	o 101071967 
436.22/326.97	o 101071918 
669.69/560.26	o 101071909 
670.00/560.45	o 101071908 
670.00/560.46	o 101071899 
670.25/560.62	o 101071898 
670.37/560.78	o 101071897 
670.70/561.08	o 101071896 
670.91/561.23	o 101071895 
670.91/561.24	o 101071894 
671.24/561.52	o 101071893 
671.24/561.52	o 101071892 
671.24/561.53	o 101071891 
671.24/561.53	o 101071890 
671.24/561.54	o 101071889 
671.61/561.82	o 101071888 
672.14/562.14	o 101071887 
672.45/562.41	o 101071886 
674.03/562.85	o 101071885 
674.14/562.94	o 101071884 
674.46/563.21	o 101071883 
674.46/563.22	o 101071882 
674.80/563.50	o 101071881 
675.02/563.78	o 101071880 
675.35/564.04	o 101071879 
675.35/564.06	o 101071878 
675.68/564.33	o 101071877 
675.82/564.48	o 101071876 
675.82/564.49	o 101071875 
675.93/564.50	o 101071874 
676.16/564.75	o 101071873 
676.38/565.00	o 101071872 
676.38/565.01	o 101062517 
679.58/567.64	o 101062476 
912.07/799.71	o 101062467 
912.50/799.96	o 101062466 
912.82/800.23	o 101062457 
912.82/800.25	o 101062456 
913.13/800.52	o 101062455 
913.34/800.75	o 101062454 
913.34/800.76	o 101062453 
913.34/800.77	o 101062452 
914.94/801.18	o 101062451 
914.94/801.18	o 101062450 
915.26/801.46	o 101062449 
915.26/801.47	o 101062448 
915.26/801.49	o 101062447 
915.26/801.49	o 101062446 
915.40/801.50	o 101062445 
915.84/801.98	o 101062444 
916.16/802.24	o 101062443 
916.49/802.50	o 101062442 
916.70/802.78	o 101062441 
917.03/803.06	o 101062440 
917.35/803.31	o 101062439 
917.66/803.63	o 101062438 
917.97/803.91	o 101062437 
918.20/804.12	o 101062436 
918.51/804.40	o 101062435 
918.75/804.67	o 101062434 
919.05/804.92	o 101062433 
919.05/804.92	o 101062432 
919.39/805.20	o 101062431 
919.63/805.48	o 101062430 
920.06/805.83	o 101062429 
920.59/806.17	o 101062428 
920.89/806.46	o 101062427 
921.21/806.73	o 101062426 
921.47/806.98	o 101053060 
923.84/808.84	o 101053006 
924.07/809.08	o 101052997 
1154.41/1039.02	o 101052996 
1155.23/1039.83	o 101052987 
1155.46/1040.11	o 101052986 
1155.76/1040.34	o 101052985 
1155.99/1040.60	o 101052984 
1156.30/1040.86	o 101052983 
1156.30/1040.87	o 101052982 
1156.63/1041.15	o 101052981 
1157.87/1041.32	o 101052980 
1158.09/1041.44	o 101052979 
1158.09/1041.45	o 101052978 
1158.09/1041.46	o 101052977 
1158.33/1041.60	o 101052976 
1158.33/1041.60	o 101052975 
1158.58/1041.85	o 101052974 
1158.81/1042.07	o 101052973 
1159.05/1042.23	o 101052972 
1159.16/1042.37	o 101052971 
1159.16/1042.39	o 101052970 
1159.40/1042.58	o 101052969 
1159.40/1042.59	o 101052968 
1159.40/1042.59	o 101052967 
1159.76/1042.82	o 101052966 
1159.76/1042.84	o 101052965 
1160.00/1043.08	o 101052964 
1160.20/1043.29	o 101052963 
1160.30/1043.31	o 101052962 
1160.30/1043.32	o 101052961 
1160.55/1043.52	o 101052960 
1160.76/1043.76	o 101052959 
1160.76/1043.77	o 101043590 
1164.36/1046.21	o 99823298 
1403.73/1276.38	o 98470711 
1694.83/1566.88	o 98470709 
1695.38/1567.15	o 98470708 
1696.58/1568.26	o 98470705 
1930.19/1801.48	o 98470702 
1930.33/1801.53	o 98470700 
1930.81/1801.78	o 98470685 
1931.23/1802.01	o 98470683 
1932.08/1802.72	o 98470681 
2168.12/2038.32	o 98470676 
2168.55/2038.55	o 98470674 
2169.69/2039.24	o 98470673 
2405.75/2274.73	o 98470671 
2406.27/2275.00	o 98470667 
2407.87/2276.14	o 98470665 
3027.11/2520.01	s SATISFIABLE
3027.11/2520.01	v <instantiation>
3027.11/2520.01	v 	<list>f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] </list>
3027.11/2520.01	v 	<values>2592 2392 2612 2536 2280 2452 2460 2528 2460 2320 2280 2564 2416 2360 2488 2528 2612 2484 2384 2584 2568 2416 2324 2568 2560 2416 2640 2636 2440 2400 2600 2480 2656 2376 2456 2524 2600 2612 2400 2536 2604 2344 2532 2420 2464 2428 2544 2616 2444 2528 2544 2652 2392 2520 2288 2320 2376 2484 2408 2280 2520 2312 2432 2496 2456 2460 2460 2404 2624 2376 2652 2516 2640 2532 2332 2608 2332 2608 2604 2320 2320 2328 2320 2560 2588 2560 2448 2600 2576 2640 2320 2388 2488 2528 2360 2492 2500 2524 2548 2612 2564 2568 2452 2444 2500 2440 2568 2408 2280 2284 2440 2280 2344 2616 2360 2484 2280 2616 2364 2616 2320 2456 2348 2604 2328 2280 2448 2336 2320 2488 2584 2616 2420 2424 2288 2420 2632 2320 2600 2604 2320 2652 2456 2292 2460 2492 2296 2616 2368 2360 2656 2600 2572 2376 2532 2476 2640 2400 2492 2600 2504 2572 2504 2336 2656 2624 2492 2420 2400 2360 2332 2612 2280 2336 2292 2340 2540 2336 2380 2352 2644 2352 2652 2644 2656 2596 2480 2280 2496 2336 2480 2372 2324 2656 2388 2656 2384 2320 2284 2484 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 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 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 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 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 1 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 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 6 3 0 1 0 0 0 0 2 8 1 10 8 6 0 0 0 0 0 0 0 7 0 6 0 0 0 0 3 0 0 5 1 0 0 0 0 0 0 0 0 0 0 0 3 0 0 2 7 0 1 0 10 0 0 0 0 0 0 0 3 0 9 1 1 0 0 0 0 0 0 10 1 0 9 0 0 1 5 0 0 0 0 0 0 1 0 0 0 2 0 0 1 0 0 0 0 0 0 10 0 0 0 0 0 6 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 1 0 0 0 10 7 0 8 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 9 0 0 0 1 0 0 0 0 0 2 0 0 0 0 1 0 0 9 0 0 5 10 10 4 0 0 0 0 0 0 0 0 7 0 5 0 1 0 0 0 0 0 0 0 0 0 10 0 0 8 5 0 0 0 0 0 0 0 0 0 4 0 3 9 10 0 0 0 6 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 10 0 0 1 0 10 10 0 0 5 0 9 4 0 0 0 0 0 0 0 0 0 0 0 8 0 10 0 0 0 0 0 0 0 10 0 0 6 0 8 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 3 1 10 0 0 0 0 0 10 0 0 10 0 1 0 0 0 0 0 10 0 1 0 7 0 0 0 0 0 1 10 0 0 0 8 4 10 6 10 1 0 0 0 10 0 1 5 0 0 0 0 0 0 1 1 10 0 0 1 0 0 0 0 0 7 0 0 0 0 2 9 10 0 10 3 0 0 0 0 5 5 10 0 0 1 0 0 0 0 0 1 1 1 0 5 0 9 5 1 0 0 0 0 0 0 0 5 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 8 0 5 1 0 1 0 0 0 7 0 6 0 0 1 0 1 0 0 1 7 1 0 3 0 8 0 0 10 0 0 0 0 0 1 0 0 1 0 0 0 9 0 0 0 10 0 3 10 0 10 0 0 1 0 0 0 0 0 0 0 0 1 10 0 1 1 0 0 0 0 0 0 9 0 0 0 8 0 0 7 0 0 0 6 0 10 0 1 0 1 0 0 1 0 0 0 3 4 0 0 0 0 8 0 0 0 10 0 1 0 0 1 0 0 0 5 0 0 0 0 0 0 0 2 0 0 0 0 10 10 8 0 10 0 10 0 0 0 0 10 0 0 10 0 0 0 1 5 0 0 10 10 3 0 0 0 0 0 1 0 0 0 0 9 0 9 7 0 1 8 9 0 0 9 0 0 0 0 6 0 0 0 0 5 0 0 1 1 0 10 0 10 1 1 0 0 0 0 1 2 0 0 0 0 8 0 8 0 10 0 1 0 1 0 0 0 0 0 0 0 0 8 0 7 7 7 0 0 0 8 0 0 0 0 0 0 0 10 1 0 4 0 10 0 0 0 1 0 0 0 0 0 5 0 10 0 10 0 10 0 1 0 7 1 0 6 0 1 10 0 0 0 0 6 0 0 4 0 9 1 0 0 8 8 1 0 0 9 9 9 0 9 0 0 0 0 0 0 0 0 10 1 0 0 0 1 10 0 0 1 0 0 0 0 0 0 9 10 4 0 0 10 0 0 0 0 1 0 9 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 8 0 0 0 10 0 5 8 0 4 0 0 0 0 6 0 0 0 0 0 0 0 0 0 9 0 0 0 9 10 0 0 0 0 0 0 2 0 1 9 0 1 1 0 0 2 0 0 1 0 3 0 8 0 1 0 10 0 6 0 0 8 0 0 10 0 9 0 0 9 0 0 1 3 0 0 0 0 0 9 0 1 0 7 0 10 0 0 4 0 0 0 2 0 0 0 0 0 0 0 7 7 0 0 0 10 0 0 0 1 0 0 0 0 10 5 8 0 0 0 10 0 2 0 0 0 0 0 0 9 9 8 0 0 9 7 9 1 7 0 1 1 0 0 0 10 10 1 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 9 0 48 68 184 104 108 264 172 256 128 124 48 44 208 12 128 44 180 96 84 88 252 156 244 108 32 224 256 32 212 216 132 216 64 8 116 96 88 172 280 324 240 128 328 248 84 144 344 108 4 64 88 152 164 52 192 124 44 108 16 100 168 208 112 4 72 108 104 208 236 108 176 48 72 128 96 40 4 100 180 80 180 40 240 28 336 292 204 288 200 112 304 120 100 20 188 52 276 160 76 44 200 72 204 232 224 68 40 108 28 144 224 84 132 40 156 80 252 224 120 16 32 40 80 256 40 292 120 4 96 144 120 168 128 160 68 152 208 164 168 4 48 72 72 40 108 236 36 48 204 92 300 52 48 40 292 164 16 40 204 200 160 64 72 64 4 104 96 48 56 68 128 164 72 164 252 176 108 248 288 224 220 208 44 76 88 224 108 192 76 152 24 88 88 44 92 156 280 116 44 332 332 156 44 84 236 40 248 148 112 188 84 88 196 96 16 280 48 64 172 220 184 184 104 80 224 148 236 48 220 12 112 296 320 136 100 160 208 28 76 72 192 316 8 16 140 152 48 108 60 164 72 104 204 80 32 240 100 168 56 40 32 120 140 48 116 152 160 240 308 240 180 248 80 52 136 48 80 188 176 108 176 256 212 280 4 44 72 236 196 56 256 332 172 56 80 64 32 48 44 152 144 72 96 84 188 20 40 64 176 244 76 76 164 240 8 212 52 320 312 232 76 292 52 64 292 244 40 120 332 44 132 40 120 112 256 132 140 96 76 204 36 168 164 20 320 84 272 12 260 104 56 64 312 68 84 88 48 220 32 92 240 40 196 248 24 80 76 140 72 56 88 176 152 140 28 104 128 128 36 24 180 108 136 92 76 96 212 92 72 96 124 284 256 16 292 84 16 68 72 100 124 88 92 124 140 84 40 76 88 196 148 224 32 60 224 56 252 64 264 152 168 196 324 332 120 300 372 268 104 60 16 56 16 32 116 88 88 72 72 52 44 120 184 136 120 188 352 244 160 324 4 8 204 80 72 48 208 196 136 252 156 320 264 24 40 52 48 124 44 40 204 132 164 172 144 96 88 152 208 16 72 168 296 248 84 68 52 56 364 68 44 72 200 60 152 168 124 132 136 188 304 16 272 344 88 340 168 24 56 176 24 72 28 100 212 80 204 44 116 144 144 108 32 160 196 160 84 72 128 100 40 180 180 136 28 12 40 140 40 76 72 84 196 56 192 20 124 124 184 344 16 288 272 28 32 44 200 208 196 16 44 44 124 244 292 160 272 92 144 192 8 180 348 288 32 88 76 84 100 196 92 124 124 36 68 20 324 48 316 36 228 12 36 172 264 52 56 52 8 272 272 236 276 240 116 4 128 8 168 296 172 280 276 312 8 276 8 164 48 156 100 280 304 108 60 280 212 228 24 164 228 252 208 68 52 68 52 180 92 276 112 156 124 72 112 100 32 316 116 180 24 12 308 248 120 296 40 240 84 44 80 252 80 200 152 40 16 280 228 44 28 172 220 228 68 212 184 144 252 96 68 84 88 108 156 8 168 248 140 244 132 92 152 208 48 116 148 152 196 44 268 68 52 164 20 280 332 132 120 216 88 228 68 240 232 248 164 132 132 148 132 112 144 160 116 24 84 164 156 152 32 156 128 96 120 216 56 248 64 56 232 228 76 88 196 224 88 116 248 372 96 140 332 172 332 80 16 20 120 212 16 36 100 160 304 140 80 132 8 8 216 4 20 296 8 240 24 8 24 148 336 252 376 328 264 44 220 44 68 36 248 32 84 196 120 244 276 52 36 148 32 160 116 120 188 12 224 304 112 308 20 224 220 304 48 80 320 376 168 124 112 204 196 76 280 280 136 156 324 336 12 152 160 52 72 192 124 24 216 324 40 84 224 64 188 84 312 112 220 60 312 340 128 24 8 136 336 184 56 96 308 36 136 40 40 316 312 300 328 176 132 44 60 360 32 16 108 168 104 360 40 32 276 40 24 56 56 84 180 264 60 248 44 84 36 196 112 124 76 288 256 16 164 248 44 68 152 168 20 80 292 224 36 20 24 260 264 144 340 92 160 156 88 84 120 296 152 240 328 320 316 260 272 104 292 144 20 268 276 4 40 108 212 52 164 </values>
3027.11/2520.01	v </instantiation>
3027.11/2520.01	c Unexpected resolution interruption!

Verifier Data 

OK	98470665

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297924-1532713936/watcher-4297924-1532713936 -o /tmp/evaluation-result-4297924-1532713936/solver-4297924-1532713936 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1532708890-23920 --watchdog 2580 HOME/xcsp3-exec -seed 852728349 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297924-1532713936.xml 

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

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

solver pid=24776, runsolver pid=24773

[startup+0.100919 s]*
/proc/loadavg: 7.88 8.24 8.37 2/205 24797
/proc/meminfo: memFree=28138716/32770624 swapFree=67108744/67108860
[pid=24776] ppid=24773 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24776/stat : 24776 (xcsp3-exec) S 24773 24776 23893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88956824 115843072 363 33554432000 4194304 5098028 140734473162240 140734473160344 139872953283196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7323648 140734473167926 140734473168128 140734473168128 140734473170890 0
/proc/24776/statm: 28282 363 305 221 0 87 0
[pid=24778] ppid=24776 vsize=26104152 memory=26968 CPUtime=0.12 cores=0-7
/proc/24778/stat : 24778 (java) S 24776 24776 23893 0 -1 1077944320 5661 0 0 0 10 2 0 0 20 0 20 0 88956825 26730651648 6742 33554432000 4194304 4196468 140724013206864 140724013189408 140350923636471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
/proc/24778/statm: 6526038 6742 3002 1 0 6488315 0
[pid=24778/tid=24779] ppid=24776 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/24778/task/24779/stat : 24779 (java) R 24776 24776 23893 0 -1 4202560 3673 0 0 0 8 1 0 0 20 0 20 0 88956825 26730651648 6742 33554432000 4194304 4196468 140724013206864 140350927855448 140350907716958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24780] ppid=24776 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24778/task/24780/stat : 24780 (java) S 24776 24776 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88956826 26730651648 6742 33554432000 4194304 4196468 140724013206864 140350876257168 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24781] ppid=24776 vsize=26104152 memory=140645359781504 CPUtime=0 cores=0-7
/proc/24778/task/24781/stat : 24781 (java) S 24776 24776 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88956826 26730651648 6742 33554432000 4194304 4196468 140724013206864 140350480317200 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24782] ppid=24776 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24782/stat : 24782 (java) S 24776 24776 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88956826 26730651648 6742 33554432000 4194304 4196468 140724013206864 140350479264912 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24783] ppid=24776 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24783/stat : 24783 (java) S 24776 24776 23893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88956826 26730651648 6742 33554432000 4194304 4196468 140724013206864 140350478212112 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24784] ppid=24776 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24784/stat : 24784 (java) S 24776 24776 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88956826 26730651648 6742 33554432000 4194304 4196468 140724013206864 140350477158800 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24785] ppid=24776 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/24778/task/24785/stat : 24785 (java) S 24776 24776 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88956826 26730651648 6742 33554432000 4194304 4196468 140724013206864 140350476106000 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24786] ppid=24776 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24786/stat : 24786 (java) S 24776 24776 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88956826 26730651648 6742 33554432000 4194304 4196468 140724013206864 140350475053712 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24787] ppid=24776 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24787/stat : 24787 (java) S 24776 24776 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88956826 26730651648 6742 33554432000 4194304 4196468 140724013206864 140350474000912 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24788] ppid=24776 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24788/stat : 24788 (java) S 24776 24776 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88956827 26730651648 6742 33554432000 4194304 4196468 140724013206864 140349329627760 140350923647618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24789] ppid=24776 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24789/stat : 24789 (java) S 24776 24776 23893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88956828 26730651648 6742 33554432000 4194304 4196468 140724013206864 140349328573728 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24790] ppid=24776 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24790/stat : 24790 (java) S 24776 24776 23893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88956828 26730651648 6742 33554432000 4194304 4196468 140724013206864 140349327521392 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24791] ppid=24776 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24791/stat : 24791 (java) S 24776 24776 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88956830 26730651648 6742 33554432000 4194304 4196468 140724013206864 140349326469712 140350923655067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24792] ppid=24776 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24792/stat : 24792 (java) S 24776 24776 23893 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 88956830 26730651648 6742 33554432000 4194304 4196468 140724013206864 140349325416560 140350923647618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24793] ppid=24776 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24793/stat : 24793 (java) S 24776 24776 23893 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 88956830 26730651648 6742 33554432000 4194304 4196468 140724013206864 140349324363760 140350923647618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24794] ppid=24776 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24794/stat : 24794 (java) S 24776 24776 23893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88956830 26730651648 6742 33554432000 4194304 4196468 140724013206864 140349323311472 140350923647618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24795] ppid=24776 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/24778/task/24795/stat : 24795 (java) R 24776 24776 23893 0 -1 4202560 247 0 0 0 1 0 0 0 20 0 20 0 88956830 26730651648 6742 33554432000 4194304 4196468 140724013206864 140349322258672 140350903075146 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24796] ppid=24776 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24796/stat : 24796 (java) S 24776 24776 23893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88956830 26730651648 6742 33554432000 4194304 4196468 140724013206864 140349321206624 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24797] ppid=24776 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/24778/task/24797/stat : 24797 (java) S 24776 24776 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88956831 26730651648 6742 33554432000 4194304 4196468 140724013206864 140349320153904 140350923647618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28420 KiB

[startup+0.210738 s]*
/proc/loadavg: 7.88 8.24 8.37 3/205 24797
/proc/meminfo: memFree=28127108/32770624 swapFree=67108744/67108860
[pid=24776] ppid=24773 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24776/stat : 24776 (xcsp3-exec) S 24773 24776 23893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88956824 115843072 363 33554432000 4194304 5098028 140734473162240 140734473160344 139872953283196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7323648 140734473167926 140734473168128 140734473168128 140734473170890 0
/proc/24776/statm: 28282 363 305 221 0 87 0
[pid=24778] ppid=24776 vsize=26104152 memory=39808 CPUtime=0.34 cores=0-7
/proc/24778/stat : 24778 (java) S 24776 24776 23893 0 -1 1077944320 8485 0 0 0 31 3 0 0 20 0 20 0 88956825 26730651648 9952 33554432000 4194304 4196468 140724013206864 140724013189408 140350923636471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
/proc/24778/statm: 6526038 9952 3204 1 0 6488315 0
[pid=24778/tid=24779] ppid=24776 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/24778/task/24779/stat : 24779 (java) R 24776 24776 23893 0 -1 4202560 5585 0 0 0 18 1 0 0 20 0 20 0 88956825 26730651648 9952 33554432000 4194304 4196468 140724013206864 140350927874784 140350907716958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24780] ppid=24776 vsize=26104152 memory=340 CPUtime=0 cores=0-7
/proc/24778/task/24780/stat : 24780 (java) S 24776 24776 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88956826 26730651648 9952 33554432000 4194304 4196468 140724013206864 140350876257168 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24781] ppid=24776 vsize=26104152 memory=140645360308664 CPUtime=0 cores=0-7
/proc/24778/task/24781/stat : 24781 (java) S 24776 24776 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88956826 26730651648 9952 33554432000 4194304 4196468 140724013206864 140350480317200 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24782] ppid=24776 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/24778/task/24782/stat : 24782 (java) S 24776 24776 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88956826 26730651648 9952 33554432000 4194304 4196468 140724013206864 140350479264912 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24783] ppid=24776 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24783/stat : 24783 (java) S 24776 24776 23893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88956826 26730651648 9952 33554432000 4194304 4196468 140724013206864 140350478212112 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24784] ppid=24776 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24784/stat : 24784 (java) S 24776 24776 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88956826 26730651648 9952 33554432000 4194304 4196468 140724013206864 140350477158800 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24785] ppid=24776 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/24778/task/24785/stat : 24785 (java) S 24776 24776 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88956826 26730651648 9952 33554432000 4194304 4196468 140724013206864 140350476106000 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24786] ppid=24776 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24786/stat : 24786 (java) S 24776 24776 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88956826 26730651648 9952 33554432000 4194304 4196468 140724013206864 140350475053712 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24787] ppid=24776 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24787/stat : 24787 (java) S 24776 24776 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88956826 26730651648 9952 33554432000 4194304 4196468 140724013206864 140350474000912 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24788] ppid=24776 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24788/stat : 24788 (java) S 24776 24776 23893 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88956827 26730651648 9952 33554432000 4194304 4196468 140724013206864 140349329627760 140350923647618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24789] ppid=24776 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24789/stat : 24789 (java) S 24776 24776 23893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88956828 26730651648 9952 33554432000 4194304 4196468 140724013206864 140349328573728 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24790] ppid=24776 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24790/stat : 24790 (java) S 24776 24776 23893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88956828 26730651648 9952 33554432000 4194304 4196468 140724013206864 140349327521392 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24791] ppid=24776 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24791/stat : 24791 (java) S 24776 24776 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88956830 26730651648 9952 33554432000 4194304 4196468 140724013206864 140349326469712 140350923655067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24792] ppid=24776 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/24778/task/24792/stat : 24792 (java) S 24776 24776 23893 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 20 0 88956830 26730651648 9952 33554432000 4194304 4196468 140724013206864 140349325416560 140350923647618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24793] ppid=24776 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/24778/task/24793/stat : 24793 (java) S 24776 24776 23893 0 -1 1077944384 309 0 0 0 1 0 0 0 20 0 20 0 88956830 26730651648 9952 33554432000 4194304 4196468 140724013206864 140349324363760 140350923647618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24794] ppid=24776 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7
/proc/24778/task/24794/stat : 24794 (java) S 24776 24776 23893 0 -1 1077944384 153 0 0 0 1 0 0 0 20 0 20 0 88956830 26730651648 9952 33554432000 4194304 4196468 140724013206864 140349323311472 140350923647618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24795] ppid=24776 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/24778/task/24795/stat : 24795 (java) S 24776 24776 23893 0 -1 1077944384 793 0 0 0 7 0 0 0 20 0 20 0 88956830 26730651648 9952 33554432000 4194304 4196468 140724013206864 140349322258672 140350923647618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24796] ppid=24776 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24796/stat : 24796 (java) S 24776 24776 23893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88956830 26730651648 9952 33554432000 4194304 4196468 140724013206864 140349321206624 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24797] ppid=24776 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/24778/task/24797/stat : 24797 (java) S 24776 24776 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88956831 26730651648 9952 33554432000 4194304 4196468 140724013206864 140349320153904 140350923647618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41260 KiB

[startup+0.310676 s]*
/proc/loadavg: 7.88 8.24 8.37 4/205 24797
/proc/meminfo: memFree=28120532/32770624 swapFree=67108744/67108860
[pid=24776] ppid=24773 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24776/stat : 24776 (xcsp3-exec) S 24773 24776 23893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88956824 115843072 363 33554432000 4194304 5098028 140734473162240 140734473160344 139872953283196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7323648 140734473167926 140734473168128 140734473168128 140734473170890 0
/proc/24776/statm: 28282 363 305 221 0 87 0
[pid=24778] ppid=24776 vsize=26108408 memory=46304 CPUtime=0.52 cores=0-7
/proc/24778/stat : 24778 (java) S 24776 24776 23893 0 -1 1077944320 9349 0 0 0 48 4 0 0 20 0 20 0 88956825 26735009792 11576 33554432000 4194304 4196468 140724013206864 140724013189408 140350923636471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
/proc/24778/statm: 6527102 11576 3243 1 0 6488315 0
[pid=24778/tid=24779] ppid=24776 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/24778/task/24779/stat : 24779 (java) R 24776 24776 23893 0 -1 4202560 6271 0 0 0 27 2 0 0 20 0 20 0 88956825 26735009792 11645 33554432000 4194304 4196468 140724013206864 140350927873760 140350907716958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24780] ppid=24776 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24780/stat : 24780 (java) S 24776 24776 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88956826 26735009792 11645 33554432000 4194304 4196468 140724013206864 140350876257168 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24781] ppid=24776 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24781/stat : 24781 (java) S 24776 24776 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88956826 26735009792 11645 33554432000 4194304 4196468 140724013206864 140350480317200 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24782] ppid=24776 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24782/stat : 24782 (java) S 24776 24776 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88956826 26735009792 11645 33554432000 4194304 4196468 140724013206864 140350479264912 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24783] ppid=24776 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24783/stat : 24783 (java) S 24776 24776 23893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88956826 26735009792 11645 33554432000 4194304 4196468 140724013206864 140350478212112 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24784] ppid=24776 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/24778/task/24784/stat : 24784 (java) S 24776 24776 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88956826 26735009792 11645 33554432000 4194304 4196468 140724013206864 140350477158800 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24785] ppid=24776 vsize=26108408 memory=140645213762479 CPUtime=0 cores=0-7
/proc/24778/task/24785/stat : 24785 (java) S 24776 24776 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88956826 26735009792 11645 33554432000 4194304 4196468 140724013206864 140350476106000 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24786] ppid=24776 vsize=26108408 memory=140645213764784 CPUtime=0 cores=0-7
/proc/24778/task/24786/stat : 24786 (java) S 24776 24776 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88956826 26735009792 11645 33554432000 4194304 4196468 140724013206864 140350475053712 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24787] ppid=24776 vsize=26108408 memory=140645213767088 CPUtime=0 cores=0-7
/proc/24778/task/24787/stat : 24787 (java) S 24776 24776 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88956826 26735009792 11645 33554432000 4194304 4196468 140724013206864 140350474000912 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24788] ppid=24776 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24788/stat : 24788 (java) S 24776 24776 23893 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88956827 26735009792 11645 33554432000 4194304 4196468 140724013206864 140349329627760 140350923647618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24789] ppid=24776 vsize=26108408 memory=281290427541136 CPUtime=0 cores=0-7
/proc/24778/task/24789/stat : 24789 (java) S 24776 24776 23893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88956828 26735009792 11645 33554432000 4194304 4196468 140724013206864 140349328573728 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24790] ppid=24776 vsize=26108408 memory=281290427548048 CPUtime=0 cores=0-7
/proc/24778/task/24790/stat : 24790 (java) S 24776 24776 23893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88956828 26735009792 11645 33554432000 4194304 4196468 140724013206864 140349327521392 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24791] ppid=24776 vsize=26108408 memory=281290427489328 CPUtime=0 cores=0-7
/proc/24778/task/24791/stat : 24791 (java) S 24776 24776 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88956830 26735009792 11645 33554432000 4194304 4196468 140724013206864 140349326469712 140350923655067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24792] ppid=24776 vsize=26108408 memory=281290427561872 CPUtime=0.02 cores=0-7
/proc/24778/task/24792/stat : 24792 (java) R 24776 24776 23893 0 -1 4202560 446 0 0 0 2 0 0 0 20 0 20 0 88956830 26735009792 11645 33554432000 4194304 4196468 140724013206864 140349325406944 140350905157753 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24793] ppid=24776 vsize=26108408 memory=281290427568784 CPUtime=0.02 cores=0-7
/proc/24778/task/24793/stat : 24793 (java) S 24776 24776 23893 0 -1 1077944384 315 0 0 0 2 0 0 0 20 0 20 0 88956830 26735009792 11645 33554432000 4194304 4196468 140724013206864 140349324363760 140350923647618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24794] ppid=24776 vsize=26108408 memory=281290427566480 CPUtime=0.03 cores=0-7
/proc/24778/task/24794/stat : 24794 (java) S 24776 24776 23893 0 -1 1077944384 161 0 0 0 3 0 0 0 20 0 20 0 88956830 26735009792 11645 33554432000 4194304 4196468 140724013206864 140349323311472 140350923647618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24795] ppid=24776 vsize=26108408 memory=281290427582640 CPUtime=0.12 cores=0-7
/proc/24778/task/24795/stat : 24795 (java) S 24776 24776 23893 0 -1 1077944384 858 0 0 0 12 0 0 0 20 0 20 0 88956830 26735009792 11645 33554432000 4194304 4196468 140724013206864 140349322258672 140350923647618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24796] ppid=24776 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24796/stat : 24796 (java) S 24776 24776 23893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88956830 26735009792 11645 33554432000 4194304 4196468 140724013206864 140349321206624 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24797] ppid=24776 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/24778/task/24797/stat : 24797 (java) S 24776 24776 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88956831 26735009792 11645 33554432000 4194304 4196468 140724013206864 140349320153904 140350923647618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47756 KiB

[startup+0.701008 s]
/proc/loadavg: 7.88 8.24 8.37 3/205 24797
/proc/meminfo: memFree=28027384/32770624 swapFree=67108744/67108860
[pid=24776] ppid=24773 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24776/stat : 24776 (xcsp3-exec) S 24773 24776 23893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88956824 115843072 363 33554432000 4194304 5098028 140734473162240 140734473160344 139872953283196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7323648 140734473167926 140734473168128 140734473168128 140734473170890 0
/proc/24776/statm: 28282 363 305 221 0 87 0
[pid=24778] ppid=24776 vsize=26110532 memory=169580 CPUtime=1.68 cores=0-7
/proc/24778/stat : 24778 (java) S 24776 24776 23893 0 -1 1077944320 13016 0 0 0 161 7 0 0 20 0 20 0 88956825 26737184768 42395 33554432000 4194304 4196468 140724013206864 140724013189408 140350923636471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
/proc/24778/statm: 6527633 42395 3353 1 0 6488827 0
[pid=24778/tid=24779] ppid=24776 vsize=26110532 memory=281290427940528 CPUtime=0.67 cores=0-7
/proc/24778/task/24779/stat : 24779 (java) R 24776 24776 23893 0 -1 4202560 6817 0 0 0 62 5 0 0 20 0 20 0 88956825 26737184768 42395 33554432000 4194304 4196468 140724013206864 140350927871168 140350558885497 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24780] ppid=24776 vsize=26110532 memory=140645213971312 CPUtime=0 cores=0-7
/proc/24778/task/24780/stat : 24780 (java) S 24776 24776 23893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88956826 26737184768 42395 33554432000 4194304 4196468 140724013206864 140350876257168 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24781] ppid=24776 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/24778/task/24781/stat : 24781 (java) S 24776 24776 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88956826 26737184768 42395 33554432000 4194304 4196468 140724013206864 140350480317200 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24782] ppid=24776 vsize=26110532 memory=1704 CPUtime=0 cores=0-7
/proc/24778/task/24782/stat : 24782 (java) S 24776 24776 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88956826 26737184768 42395 33554432000 4194304 4196468 140724013206864 140350479264912 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0

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

[pid=24778/tid=27643] ppid=24776 vsize=26646120 memory=7636 CPUtime=165.79 cores=0-7
/proc/24778/task/27643/stat : 27643 (java) R 24776 24776 23893 0 -1 4202560 3699 0 0 0 16566 13 0 0 20 0 28 0 89184439 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349305249672 140350561945599 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
Current children cumulated CPU time: 2876.55 s
Current children cumulated vsize: 26759248 KiB
Current children cumulated memory: 9925612 KiB

[startup+2502.3 s]
/proc/loadavg: 2.04 1.71 1.83 3/212 27644
/proc/meminfo: memFree=18222292/32770624 swapFree=67108744/67108860
[pid=24776] ppid=24773 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24776/stat : 24776 (xcsp3-exec) S 24773 24776 23893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88956824 115843072 363 33554432000 4194304 5098028 140734473162240 140734473160344 139872953283196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7323648 140734473167926 140734473168128 140734473168128 140734473170890 0
/proc/24776/statm: 28282 363 305 221 0 87 0
[pid=24778] ppid=24776 vsize=26646120 memory=9924160 CPUtime=2996.59 cores=0-7
/proc/24778/stat : 24778 (java) S 24776 24776 23893 0 -1 1077944320 817807 0 0 0 297778 1881 0 0 20 0 28 0 88956825 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140724013189408 140350923636471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
/proc/24778/statm: 6661530 2481040 3462 1 0 6622724 0
[pid=24778/tid=24779] ppid=24776 vsize=26646120 memory=9924160 CPUtime=44.96 cores=0-7
/proc/24778/task/24779/stat : 24779 (java) S 24776 24776 23893 0 -1 1077944384 32045 0 0 0 4396 100 0 0 20 0 28 0 88956825 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140350927877168 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24780] ppid=24776 vsize=26646120 memory=9923664 CPUtime=11.1 cores=0-7
/proc/24778/task/24780/stat : 24780 (java) S 24776 24776 23893 0 -1 1077944384 42116 0 0 0 925 185 0 0 20 0 28 0 88956826 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140350876257168 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24781] ppid=24776 vsize=26646120 memory=9924160 CPUtime=11.1 cores=0-7
/proc/24778/task/24781/stat : 24781 (java) S 24776 24776 23893 0 -1 1077944384 84737 0 0 0 925 185 0 0 20 0 28 0 88956826 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140350480317200 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24782] ppid=24776 vsize=26646120 memory=9924160 CPUtime=11.08 cores=0-7
/proc/24778/task/24782/stat : 24782 (java) S 24776 24776 23893 0 -1 1077944384 47649 0 0 0 940 168 0 0 20 0 28 0 88956826 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140350479264912 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24783] ppid=24776 vsize=26646120 memory=9924160 CPUtime=11.06 cores=0-7
/proc/24778/task/24783/stat : 24783 (java) S 24776 24776 23893 0 -1 1077944384 39492 0 0 0 937 169 0 0 20 0 28 0 88956826 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140350478212112 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24784] ppid=24776 vsize=26646120 memory=9924160 CPUtime=11 cores=0-7
/proc/24778/task/24784/stat : 24784 (java) S 24776 24776 23893 0 -1 1077944384 38611 0 0 0 930 170 0 0 20 0 28 0 88956826 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140350477158800 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24785] ppid=24776 vsize=26646120 memory=9924160 CPUtime=11.15 cores=0-7
/proc/24778/task/24785/stat : 24785 (java) S 24776 24776 23893 0 -1 1077944384 58282 0 0 0 927 188 0 0 20 0 28 0 88956826 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140350476106000 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24786] ppid=24776 vsize=26646120 memory=9924160 CPUtime=11.08 cores=0-7
/proc/24778/task/24786/stat : 24786 (java) S 24776 24776 23893 0 -1 1077944384 40410 0 0 0 930 178 0 0 20 0 28 0 88956826 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140350475053712 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24787] ppid=24776 vsize=26646120 memory=9924160 CPUtime=11.12 cores=0-7
/proc/24778/task/24787/stat : 24787 (java) S 24776 24776 23893 0 -1 1077944384 34909 0 0 0 936 176 0 0 20 0 28 0 88956826 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140350474000912 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24788] ppid=24776 vsize=26646120 memory=9924160 CPUtime=0.42 cores=0-7
/proc/24778/task/24788/stat : 24788 (java) S 24776 24776 23893 0 -1 1077944384 14439 0 0 0 35 7 0 0 20 0 28 0 88956827 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349329627760 140350923647618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24789] ppid=24776 vsize=26646120 memory=9924160 CPUtime=0 cores=0-7
/proc/24778/task/24789/stat : 24789 (java) S 24776 24776 23893 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 88956828 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349328573792 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24790] ppid=24776 vsize=26646120 memory=9924160 CPUtime=0 cores=0-7
/proc/24778/task/24790/stat : 24790 (java) S 24776 24776 23893 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 28 0 88956828 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349327521408 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24791] ppid=24776 vsize=26646120 memory=9924160 CPUtime=0 cores=0-7
/proc/24778/task/24791/stat : 24791 (java) S 24776 24776 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88956830 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349326469712 140350923655067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24792] ppid=24776 vsize=26646120 memory=9924160 CPUtime=4.36 cores=0-7
/proc/24778/task/24792/stat : 24792 (java) S 24776 24776 23893 0 -1 1077944384 23832 0 0 0 430 6 0 0 20 0 28 0 88956830 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349325416560 140350923647618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24793] ppid=24776 vsize=26646120 memory=1452 CPUtime=4.95 cores=0-7
/proc/24778/task/24793/stat : 24793 (java) S 24776 24776 23893 0 -1 1077944384 33948 0 0 0 489 6 0 0 20 0 28 0 88956830 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349324363760 140350923647618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24794] ppid=24776 vsize=26646120 memory=1452 CPUtime=5.47 cores=0-7
/proc/24778/task/24794/stat : 24794 (java) S 24776 24776 23893 0 -1 1077944384 30287 0 0 0 543 4 0 0 20 0 28 0 88956830 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349323311472 140350923647618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24795] ppid=24776 vsize=26646120 memory=9924160 CPUtime=1.28 cores=0-7
/proc/24778/task/24795/stat : 24795 (java) S 24776 24776 23893 0 -1 1077944384 21434 0 0 0 123 5 0 0 20 0 28 0 88956830 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349322258672 140350923647618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24796] ppid=24776 vsize=26646120 memory=1452 CPUtime=0 cores=0-7
/proc/24778/task/24796/stat : 24796 (java) S 24776 24776 23893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88956830 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349321206624 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24797] ppid=24776 vsize=26646120 memory=9924160 CPUtime=1.1 cores=0-7
/proc/24778/task/24797/stat : 24797 (java) S 24776 24776 23893 0 -1 1077944384 8469 0 0 0 51 59 0 0 20 0 28 0 88956831 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349320153904 140350923647618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=27636] ppid=24776 vsize=26646120 memory=1452 CPUtime=22.74 cores=0-7
/proc/24778/task/27636/stat : 27636 (java) S 24776 24776 23893 0 -1 1077944384 2646 0 0 0 2266 8 0 0 20 0 28 0 89184439 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349307359488 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=27637] ppid=24776 vsize=26646120 memory=9924160 CPUtime=22.76 cores=0-7
/proc/24778/task/27637/stat : 27637 (java) S 24776 24776 23893 0 -1 1077944384 1640 0 0 0 2276 0 0 0 20 0 28 0 89184439 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349306308288 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=27638] ppid=24776 vsize=26646120 memory=1452 CPUtime=226.09 cores=0-7
/proc/24778/task/27638/stat : 27638 (java) R 24776 24776 23893 0 -1 4202560 7213 0 0 0 22604 5 0 0 20 0 28 0 89184439 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349303143696 140350561945741 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=27639] ppid=24776 vsize=26646120 memory=1452 CPUtime=22.72 cores=0-7
/proc/24778/task/27639/stat : 27639 (java) S 24776 24776 23893 0 -1 1077944384 1757 0 0 0 2270 2 0 0 20 0 28 0 89184439 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349308412864 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=27640] ppid=24776 vsize=26646120 memory=1452 CPUtime=22.85 cores=0-7
/proc/24778/task/27640/stat : 27640 (java) S 24776 24776 23893 0 -1 1077944384 3185 0 0 0 2282 3 0 0 20 0 28 0 89184439 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349304202560 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=27641] ppid=24776 vsize=26646120 memory=9924160 CPUtime=22.76 cores=0-7
/proc/24778/task/27641/stat : 27641 (java) S 24776 24776 23893 0 -1 1077944384 1734 0 0 0 2269 7 0 0 20 0 28 0 89184439 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349301044416 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=27642] ppid=24776 vsize=26646120 memory=9924160 CPUtime=22.5 cores=0-7
/proc/24778/task/27642/stat : 27642 (java) S 24776 24776 23893 0 -1 1077944384 1811 0 0 0 2237 13 0 0 20 0 28 0 89184439 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349309466176 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=27643] ppid=24776 vsize=26646120 memory=1292 CPUtime=225.79 cores=0-7
/proc/24778/task/27643/stat : 27643 (java) R 24776 24776 23893 0 -1 4202560 4127 0 0 0 22566 13 0 0 20 0 28 0 89184439 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349305249672 140350560386279 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
Current children cumulated CPU time: 2996.59 s
Current children cumulated vsize: 26759248 KiB
Current children cumulated memory: 9925612 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.95 1.71 1.83 2/212 27644
/proc/meminfo: memFree=18222292/32770624 swapFree=67108744/67108860
[pid=24776] ppid=24773 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24776/stat : 24776 (xcsp3-exec) S 24773 24776 23893 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 88956824 115843072 363 33554432000 4194304 5098028 140734473162240 140734473160344 139872953283196 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 7323648 140734473167926 140734473168128 140734473168128 140734473170890 0
/proc/24776/statm: 28282 363 305 221 0 87 0
[pid=24778] ppid=24776 vsize=26646120 memory=9924160 CPUtime=3027.11 cores=0-7
/proc/24778/stat : 24778 (java) S 24776 24776 23893 0 -1 1077944320 818804 0 0 0 300830 1881 0 0 20 0 28 0 88956825 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140724013189408 140350923636471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
/proc/24778/statm: 6661530 2481040 3462 1 0 6622724 0
[pid=24778/tid=24779] ppid=24776 vsize=26646120 memory=6791534058613427641 CPUtime=44.96 cores=0-7
/proc/24778/task/24779/stat : 24779 (java) S 24776 24776 23893 0 -1 1077944384 32045 0 0 0 4396 100 0 0 20 0 28 0 88956825 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140350927877168 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24780] ppid=24776 vsize=26646120 memory=4872558044660077418 CPUtime=11.1 cores=0-7
/proc/24778/task/24780/stat : 24780 (java) S 24776 24776 23893 0 -1 1077944384 42116 0 0 0 925 185 0 0 20 0 28 0 88956826 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140350876257168 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24781] ppid=24776 vsize=26646120 memory=9924160 CPUtime=11.1 cores=0-7
/proc/24778/task/24781/stat : 24781 (java) S 24776 24776 23893 0 -1 1077944384 84737 0 0 0 925 185 0 0 20 0 28 0 88956826 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140350480317200 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24782] ppid=24776 vsize=26646120 memory=644 CPUtime=11.08 cores=0-7
/proc/24778/task/24782/stat : 24782 (java) S 24776 24776 23893 0 -1 1077944384 47649 0 0 0 940 168 0 0 20 0 28 0 88956826 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140350479264912 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24783] ppid=24776 vsize=26646120 memory=1800 CPUtime=11.06 cores=0-7
/proc/24778/task/24783/stat : 24783 (java) S 24776 24776 23893 0 -1 1077944384 39492 0 0 0 937 169 0 0 20 0 28 0 88956826 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140350478212112 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24784] ppid=24776 vsize=26646120 memory=956 CPUtime=11 cores=0-7
/proc/24778/task/24784/stat : 24784 (java) S 24776 24776 23893 0 -1 1077944384 38611 0 0 0 930 170 0 0 20 0 28 0 88956826 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140350477158800 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24785] ppid=24776 vsize=26646120 memory=2340 CPUtime=11.15 cores=0-7
/proc/24778/task/24785/stat : 24785 (java) S 24776 24776 23893 0 -1 1077944384 58282 0 0 0 927 188 0 0 20 0 28 0 88956826 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140350476106000 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24786] ppid=24776 vsize=26646120 memory=1424 CPUtime=11.08 cores=0-7
/proc/24778/task/24786/stat : 24786 (java) S 24776 24776 23893 0 -1 1077944384 40410 0 0 0 930 178 0 0 20 0 28 0 88956826 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140350475053712 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24787] ppid=24776 vsize=26646120 memory=11116 CPUtime=11.12 cores=0-7
/proc/24778/task/24787/stat : 24787 (java) S 24776 24776 23893 0 -1 1077944384 34909 0 0 0 936 176 0 0 20 0 28 0 88956826 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140350474000912 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24788] ppid=24776 vsize=26646120 memory=1200 CPUtime=0.42 cores=0-7
/proc/24778/task/24788/stat : 24788 (java) S 24776 24776 23893 0 -1 1077944384 14448 0 0 0 35 7 0 0 20 0 28 0 88956827 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349329627760 140350923647618 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24789] ppid=24776 vsize=26646120 memory=1228 CPUtime=0 cores=0-7
/proc/24778/task/24789/stat : 24789 (java) S 24776 24776 23893 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 88956828 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349328573792 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24790] ppid=24776 vsize=26646120 memory=1704 CPUtime=0 cores=0-7
/proc/24778/task/24790/stat : 24790 (java) S 24776 24776 23893 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 28 0 88956828 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349327521408 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24791] ppid=24776 vsize=26646120 memory=1952 CPUtime=0 cores=0-7
/proc/24778/task/24791/stat : 24791 (java) S 24776 24776 23893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 88956830 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349326469712 140350923655067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24792] ppid=24776 vsize=26646120 memory=10584 CPUtime=4.36 cores=0-7
/proc/24778/task/24792/stat : 24792 (java) S 24776 24776 23893 0 -1 1077944384 23835 0 0 0 430 6 0 0 20 0 28 0 88956830 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349325416560 140350923647618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24793] ppid=24776 vsize=26646120 memory=15872 CPUtime=4.95 cores=0-7
/proc/24778/task/24793/stat : 24793 (java) S 24776 24776 23893 0 -1 1077944384 33951 0 0 0 489 6 0 0 20 0 28 0 88956830 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349324363760 140350923647618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24794] ppid=24776 vsize=26646120 memory=18280 CPUtime=5.47 cores=0-7
/proc/24778/task/24794/stat : 24794 (java) S 24776 24776 23893 0 -1 1077944384 30290 0 0 0 543 4 0 0 20 0 28 0 88956830 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349323311472 140350923647618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24795] ppid=24776 vsize=26646120 memory=1236 CPUtime=1.28 cores=0-7
/proc/24778/task/24795/stat : 24795 (java) S 24776 24776 23893 0 -1 1077944384 21448 0 0 0 123 5 0 0 20 0 28 0 88956830 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349322258672 140350923647618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24796] ppid=24776 vsize=26646120 memory=15088 CPUtime=0 cores=0-7
/proc/24778/task/24796/stat : 24796 (java) S 24776 24776 23893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 88956830 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349321206624 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=24797] ppid=24776 vsize=26646120 memory=4052 CPUtime=1.11 cores=0-7
/proc/24778/task/24797/stat : 24797 (java) S 24776 24776 23893 0 -1 1077944384 8506 0 0 0 51 60 0 0 20 0 28 0 88956831 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349320153904 140350923647618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=27636] ppid=24776 vsize=26646120 memory=644 CPUtime=22.74 cores=0-7
/proc/24778/task/27636/stat : 27636 (java) S 24776 24776 23893 0 -1 1077944384 2646 0 0 0 2266 8 0 0 20 0 28 0 89184439 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349307359488 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=27637] ppid=24776 vsize=26646120 memory=1800 CPUtime=22.76 cores=0-7
/proc/24778/task/27637/stat : 27637 (java) S 24776 24776 23893 0 -1 1077944384 1640 0 0 0 2276 0 0 0 20 0 28 0 89184439 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349306308288 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=27638] ppid=24776 vsize=26646120 memory=1452 CPUtime=243.79 cores=0-7
/proc/24778/task/27638/stat : 27638 (java) R 24776 24776 23893 0 -1 4202560 7724 0 0 0 24374 5 0 0 20 0 28 0 89184439 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349303143696 140350560386265 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=27639] ppid=24776 vsize=26646120 memory=9924160 CPUtime=22.72 cores=0-7
/proc/24778/task/27639/stat : 27639 (java) S 24776 24776 23893 0 -1 1077944384 1757 0 0 0 2270 2 0 0 20 0 28 0 89184439 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349308412864 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=27640] ppid=24776 vsize=26646120 memory=1008 CPUtime=22.85 cores=0-7
/proc/24778/task/27640/stat : 27640 (java) S 24776 24776 23893 0 -1 1077944384 3185 0 0 0 2282 3 0 0 20 0 28 0 89184439 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349304202560 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=27641] ppid=24776 vsize=26646120 memory=5404 CPUtime=22.76 cores=0-7
/proc/24778/task/27641/stat : 27641 (java) S 24776 24776 23893 0 -1 1077944384 1734 0 0 0 2269 7 0 0 20 0 28 0 89184439 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349301044416 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=27642] ppid=24776 vsize=26646120 memory=796 CPUtime=22.5 cores=0-7
/proc/24778/task/27642/stat : 27642 (java) S 24776 24776 23893 0 -1 1077944384 1811 0 0 0 2237 13 0 0 20 0 28 0 89184439 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349309466176 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
[pid=24778/tid=27643] ppid=24776 vsize=26646120 memory=4616 CPUtime=238.6 cores=0-7
/proc/24778/task/27643/stat : 27643 (java) S 24776 24776 23893 0 -1 1077944384 4544 0 0 0 23847 13 0 0 20 0 28 0 89184439 27285626880 2481040 33554432000 4194304 4196468 140724013206864 140349305255360 140350923646677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30072832 140724013212801 140724013212973 140724013212973 140724013215695 0
Current children cumulated CPU time: 3027.11 s
Current children cumulated vsize: 26759248 KiB
Current children cumulated memory: 9925612 KiB

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

[startup+2520.02 s]
# the end of solver process 24776 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.00159 s, system=0.000795 s

[startup+2520.06 s]
# the end of solver process 24778 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=3008.32 s, system=18.8604 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.06
CPU time (s): 3027.18
CPU user time (s): 3008.32
CPU system time (s): 18.8604
CPU usage (%): 120.123
Max. virtual memory (cumulated for all children) (KiB): 26759248
Max. memory (cumulated for all children) (KiB): 9925612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3008.32
system time used= 18.8604
maximum resident set size= 9924612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 820328
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 94660
involuntary context switches= 5624


# summary of solver processes directly reported to runsolver:
#   pid: 24776,24778
#   total CPU time (s): 3027.18
#   total CPU user time (s): 3008.32
#   total CPU system time (s): 18.8604

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7459 second user time and 26.8089 second system time

The end

Launcher Data 

Begin job on node134 at 2018-07-27 19:52:16
IDJOB=4297924
IDBENCH=141272
IDSOLVER=2760
FILE ID=node134/4297924-1532713936
RUNJOBID= node134-1532708890-23920
PBS_JOBID= 21022315
Free space on /tmp= 55524 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-01-0200_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297924-1532713936/watcher-4297924-1532713936 -o /tmp/evaluation-result-4297924-1532713936/solver-4297924-1532713936 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1532708890-23920 --watchdog 2580  HOME/xcsp3-exec -seed 852728349 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297924-1532713936.xml

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

MD5SUM BENCH= bcb772945ca2f244c7b00bb761820cd7
RANDOM SEED=852728349

node134.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.68
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.68
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.68
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.68
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:        28154344 kB
MemAvailable:   31959728 kB
Buffers:          160856 kB
Cached:          3908024 kB
SwapCached:            0 kB
Active:          1810332 kB
Inactive:        2313460 kB
Active(anon):       4072 kB
Inactive(anon):    78552 kB
Active(file):    1806260 kB
Inactive(file):  2234908 kB
Unevictable:        7360 kB
Mlocked:            7360 kB
SwapTotal:      67108860 kB
SwapFree:       67108744 kB
Dirty:             54528 kB
Writeback:            28 kB
AnonPages:         61176 kB
Mapped:            42060 kB
Shmem:             25132 kB
Slab:             187692 kB
SReclaimable:     160100 kB
SUnreclaim:        27592 kB
KernelStack:        3296 kB
PageTables:         5608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 55500 MiB
End job on node134 at 2018-07-27 20:34:16