Trace number 4405074

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-20 parallelSAT (TO)1294 1794.7 252.13

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-m1-n150/
TravellingSalesman-150-50-13.xml
MD5SUMd698eba466bb4d42bacc008ef87467ee
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark549
Best CPU time to get the best result obtained on this benchmark2009.97
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints151
Number of domains2
Minimum domain size66
Maximum domain size150
Distribution of domain sizes[{"size":66,"count":150},{"size":150,"count":150}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":150},{"degree":3,"count":150}]
Minimum constraint arity3
Maximum constraint arity150
Distribution of constraint arities[{"arity":3,"count":150},{"arity":150,"count":1}]
Number of extensional constraints150
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":150},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4405074-1569004770.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4405074-1569004770.xml, -tl, 2016s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
34.22/7.61	c solve instance...
45.97/9.12	o 2604 
49.35/9.67	o 2588 
51.36/10.95	o 2562 
51.65/11.04	o 2546 
52.09/11.11	o 2543 
52.47/11.20	o 2524 
52.47/11.27	o 2521 
52.98/11.36	o 2520 
53.31/11.46	o 2518 
53.67/11.55	o 2516 
54.00/11.66	o 2513 
55.50/11.92	o 2502 
55.81/12.03	o 2494 
56.11/12.15	o 2491 
56.41/12.25	o 2488 
56.73/12.36	o 2485 
57.18/12.49	o 2483 
58.02/12.67	o 2480 
58.30/12.80	o 2477 
58.77/12.95	o 2475 
59.09/13.07	o 2474 
59.55/13.20	o 2471 
59.84/13.35	o 2469 
106.50/20.03	o 2467 
154.87/26.73	o 2465 
166.82/28.96	o 2464 
176.70/30.75	o 2463 
190.19/33.17	o 2462 
192.03/33.41	o 2461 
222.01/37.50	o 2460 
234.16/39.81	o 2458 
234.82/39.95	o 2457 
239.60/40.63	o 2456 
241.76/41.75	o 2455 
414.69/64.13	o 2084 
415.09/64.27	o 2058 
415.45/64.40	o 2057 
415.68/64.54	o 2051 
416.00/64.69	o 2046 
416.35/64.81	o 2045 
416.85/64.96	o 2036 
417.14/65.09	o 2026 
417.36/65.19	o 2022 
466.00/71.35	o 2021 
466.00/71.38	o 2012 
466.68/71.43	o 2005 
466.68/71.48	o 2002 
467.86/71.78	o 1994 
475.10/73.60	o 1972 
475.57/73.81	o 1963 
477.53/74.15	o 1962 
477.95/74.37	o 1954 
483.76/75.18	o 1950 
484.08/75.36	o 1943 
484.46/75.53	o 1942 
484.71/75.69	o 1941 
485.40/75.84	o 1940 
486.72/76.09	o 1911 
495.18/77.57	o 1907 
495.89/77.71	o 1906 
496.60/77.88	o 1894 
496.95/77.99	o 1892 
497.27/78.09	o 1885 
497.81/78.20	o 1877 
501.74/78.72	o 1836 
512.12/80.09	o 1820 
521.65/81.75	o 1812 
522.05/81.86	o 1811 
544.09/85.11	o 1809 
544.35/85.24	o 1798 
544.65/85.39	o 1794 
544.83/85.45	o 1787 
546.02/85.96	o 1784 
546.45/86.01	o 1781 
553.12/87.05	o 1779 
555.09/87.39	o 1773 
560.50/88.07	o 1766 
571.64/90.08	o 1760 
575.70/90.73	o 1758 
644.66/99.42	o 1597 
646.80/99.74	o 1596 
647.18/99.90	o 1582 
647.42/100.07	o 1581 
656.62/101.31	o 1577 
662.91/102.70	o 1576 
663.30/102.83	o 1575 
669.42/103.66	o 1572 
669.81/103.74	o 1569 
671.06/103.91	o 1568 
698.79/107.94	o 1562 
698.79/107.98	o 1539 
698.79/108.00	o 1532 
699.21/108.05	o 1523 
714.22/109.91	o 1512 
716.53/110.21	o 1510 
724.44/111.28	o 1505 
725.16/111.31	o 1502 
725.16/111.35	o 1499 
726.54/111.52	o 1494 
726.54/111.55	o 1493 
727.21/111.61	o 1492 
733.91/113.09	o 1489 
734.16/113.15	o 1486 
742.77/114.23	o 1484 
751.51/115.32	o 1478 
756.25/115.93	o 1473 
815.83/123.41	o 1469 
824.54/124.58	o 1463 
827.71/124.92	o 1461 
834.14/126.38	o 1459 
835.93/126.60	o 1438 
837.46/126.81	o 1437 
866.89/130.52	o 1435 
866.89/130.58	o 1434 
867.37/130.64	o 1432 
911.94/136.26	o 1424 
911.94/136.29	o 1423 
913.45/136.47	o 1408 
921.97/138.27	o 1407 
921.97/138.30	o 1406 
925.36/138.71	o 1405 
933.27/139.78	o 1404 
947.54/141.55	o 1399 
955.98/143.22	o 1390 
956.32/143.30	o 1389 
965.08/144.43	o 1385 
974.44/145.67	o 1384 
975.87/145.83	o 1382 
1108.03/162.50	o 1377 
1111.13/162.86	o 1376 
1123.73/164.42	o 1375 
1125.26/164.69	o 1374 
1126.05/164.74	o 1373 
1126.05/164.78	o 1372 
1126.74/164.81	o 1367 
1133.04/165.65	o 1365 
1133.04/165.68	o 1360 
1147.56/167.55	o 1359 
1147.87/167.65	o 1354 
1148.14/167.72	o 1353 
1184.65/172.35	o 1348 
1185.10/172.42	o 1344 
1185.66/172.51	o 1338 
1199.32/174.95	o 1336 
1207.74/176.06	o 1334 
1303.24/188.09	o 1331 
1370.83/197.06	o 1330 
1378.38/198.04	o 1321 
1389.90/199.51	o 1320 
1400.80/200.91	o 1318 
1426.29/204.13	o 1317 
1454.82/207.77	o 1316 
1462.60/209.19	o 1314 
1489.04/212.56	o 1313 
1489.28/212.65	o 1311 
1489.55/212.73	o 1305 
1543.35/220.04	o 1304 
1690.81/239.00	o 1302 
1690.96/239.06	o 1300 
1691.56/239.20	o 1299 
1691.98/239.26	o 1294 
1794.04/252.07	s SATISFIABLE
1794.04/252.07	v <instantiation>
1794.04/252.07	v 	<list>c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124] c[125] c[126] c[127] c[128] c[129] c[130] c[131] c[132] c[133] c[134] c[135] c[136] c[137] c[138] c[139] c[140] c[141] c[142] c[143] c[144] c[145] c[146] c[147] c[148] c[149] 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] </list>
1794.04/252.07	v 	<values>11 42 38 33 24 6 13 84 77 103 112 109 80 60 58 40 29 35 36 31 10 1 27 49 69 83 85 71 67 61 55 44 48 0 7 15 16 117 121 125 128 124 106 102 99 94 139 143 142 130 115 79 73 74 75 76 78 82 111 108 34 25 32 43 46 47 113 123 65 81 91 101 107 110 90 96 92 95 118 122 126 129 64 63 57 59 72 88 56 45 51 105 134 147 133 114 116 119 86 62 68 70 66 50 39 26 23 14 18 9 19 37 52 89 104 120 149 144 145 136 141 140 132 135 131 127 98 97 87 93 28 4 2 3 17 21 22 12 8 5 100 138 146 148 137 54 53 41 30 20 10 3 4 8 5 6 32 4 13 2 6 9 30 1 18 6 26 1 21 5 3 10 11 9 5 20 18 2 9 18 4 1 15 4 5 11 38 2 4 6 1 7 1 3 1 16 14 1 4 10 14 7 1 35 2 1 2 9 2 25 3 3 4 1 4 27 12 25 8 4 2 2 3 35 4 1 1 8 2 1 2 31 2 6 1 9 8 16 4 2 22 11 9 4 8 1 1 27 9 2 4 2 17 4 21 1 4 12 3 4 7 6 17 16 13 9 4 6 3 1 2 3 3 8 2 10 7 4 2 26 6 4 1 4 1 3 4 1 2 31 21 24 3 12 30 1 12 16 4 7 </values>
1794.04/252.07	v </instantiation>
1794.04/252.07	c Unexpected resolution interruption!

Verifier Data 

OK	1294

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405074-1569004770/watcher-4405074-1569004770 -o /var/tmp/evaluation-result-4405074-1569004770/solver-4405074-1569004770 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1568994386-6070 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 844515816 HOME/instance-4405074-1569004770.xml 

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

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


[startup+0.100149 s]*
/proc/loadavg: 8.11 8.25 8.26 4/216 15872
/proc/meminfo: memFree=24463424/32770624 swapFree=67001936/67108860
[pid=15851] ppid=15848 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/15851/stat : 15851 (xcsp3-exec) S 15848 15851 6043 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476716552 115843072 364 33554432000 4194304 5098028 140724733314704 140724733312808 139801985962620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28135424 140724733317976 140724733318234 140724733318234 140724733321158 0
/proc/15851/statm: 28282 364 305 221 0 87 0
[pid=15853] ppid=15851 vsize=28227396 memory=29940 CPUtime=0.12 cores=0-7
/proc/15853/stat : 15853 (java) S 15851 15851 6043 0 -1 1077944320 5907 0 0 0 11 1 0 0 20 0 20 0 476716552 28904853504 7485 33554432000 4194304 4196468 140731975296304 140731975278848 140635598982903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
/proc/15853/statm: 7056849 7485 3148 1 0 7019032 0
[pid=15853/tid=15854] ppid=15851 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/15853/task/15854/stat : 15854 (java) R 15851 15851 6043 0 -1 4202560 3848 0 0 0 8 1 0 0 20 0 20 0 476716552 28904853504 7485 33554432000 4194304 4196468 140731975296304 140635603217440 140635598994838 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15855] ppid=15851 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/15853/task/15855/stat : 15855 (java) S 15851 15851 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476716553 28904853504 7485 33554432000 4194304 4196468 140731975296304 140635551603216 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15856] ppid=15851 vsize=28227396 memory=139904772826752 CPUtime=0 cores=0-7
/proc/15853/task/15856/stat : 15856 (java) S 15851 15851 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476716553 28904853504 7485 33554432000 4194304 4196468 140731975296304 140635149294224 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15857] ppid=15851 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15857/stat : 15857 (java) S 15851 15851 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476716553 28904853504 7485 33554432000 4194304 4196468 140731975296304 140635148241168 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15858] ppid=15851 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15858/stat : 15858 (java) S 15851 15851 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476716553 28904853504 7485 33554432000 4194304 4196468 140731975296304 140635147188624 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15859] ppid=15851 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15859/stat : 15859 (java) S 15851 15851 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476716553 28904853504 7485 33554432000 4194304 4196468 140731975296304 140635146136592 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15860] ppid=15851 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15853/task/15860/stat : 15860 (java) S 15851 15851 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476716553 28904853504 7485 33554432000 4194304 4196468 140731975296304 140635145084048 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15861] ppid=15851 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15861/stat : 15861 (java) S 15851 15851 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476716553 28904853504 7485 33554432000 4194304 4196468 140731975296304 140635144030992 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15862] ppid=15851 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15862/stat : 15862 (java) S 15851 15851 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476716553 28904853504 7485 33554432000 4194304 4196468 140731975296304 140635142978448 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15863] ppid=15851 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15863/stat : 15863 (java) S 15851 15851 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476716554 28904853504 7485 33554432000 4194304 4196468 140731975296304 140634197281008 140635598994050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15864] ppid=15851 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15864/stat : 15864 (java) S 15851 15851 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476716555 28904853504 7485 33554432000 4194304 4196468 140731975296304 140634196227232 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15865] ppid=15851 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15865/stat : 15865 (java) S 15851 15851 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476716555 28904853504 7485 33554432000 4194304 4196468 140731975296304 140634195174128 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15866] ppid=15851 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15866/stat : 15866 (java) S 15851 15851 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476716558 28904853504 7485 33554432000 4194304 4196468 140731975296304 140634194122704 140635599001499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15867] ppid=15851 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15867/stat : 15867 (java) S 15851 15851 6043 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 20 0 476716558 28904853504 7485 33554432000 4194304 4196468 140731975296304 140634193070832 140635598994050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15868] ppid=15851 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15868/stat : 15868 (java) R 15851 15851 6043 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 20 0 476716558 28904853504 7485 33554432000 4194304 4196468 140731975296304 140634192018288 140635578215808 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15869] ppid=15851 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15869/stat : 15869 (java) S 15851 15851 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476716558 28904853504 7485 33554432000 4194304 4196468 140731975296304 140634190965232 140635598994050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15870] ppid=15851 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/15853/task/15870/stat : 15870 (java) R 15851 15851 6043 0 -1 4202560 329 0 0 0 2 0 0 0 20 0 20 0 476716558 28904853504 7485 33554432000 4194304 4196468 140731975296304 140634189912688 140635577908614 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15871] ppid=15851 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15871/stat : 15871 (java) S 15851 15851 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476716558 28904853504 7485 33554432000 4194304 4196468 140731975296304 140634188859872 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15872] ppid=15851 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15853/task/15872/stat : 15872 (java) S 15851 15851 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476716558 28904853504 7485 33554432000 4194304 4196468 140731975296304 140634187807408 140635598994050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31396 KiB

[startup+0.210929 s]*
/proc/loadavg: 8.11 8.25 8.26 3/216 15872
/proc/meminfo: memFree=24452500/32770624 swapFree=67001936/67108860
[pid=15851] ppid=15848 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/15851/stat : 15851 (xcsp3-exec) S 15848 15851 6043 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476716552 115843072 364 33554432000 4194304 5098028 140724733314704 140724733312808 139801985962620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28135424 140724733317976 140724733318234 140724733318234 140724733321158 0
/proc/15851/statm: 28282 364 305 221 0 87 0
[pid=15853] ppid=15851 vsize=28227396 memory=41016 CPUtime=0.34 cores=0-7
/proc/15853/stat : 15853 (java) S 15851 15851 6043 0 -1 1077944320 9494 0 0 0 31 3 0 0 20 0 20 0 476716552 28904853504 10254 33554432000 4194304 4196468 140731975296304 140731975278848 140635598982903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
/proc/15853/statm: 7056849 10254 3275 1 0 7019032 0
[pid=15853/tid=15854] ppid=15851 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/15853/task/15854/stat : 15854 (java) R 15851 15851 6043 0 -1 1077944384 6617 0 0 0 18 2 0 0 20 0 20 0 476716552 28904853504 10254 33554432000 4194304 4196468 140731975296304 140635603219664 140635599004829 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15855] ppid=15851 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/15853/task/15855/stat : 15855 (java) S 15851 15851 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476716553 28904853504 10254 33554432000 4194304 4196468 140731975296304 140635551603216 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15856] ppid=15851 vsize=28227396 memory=139904775918498 CPUtime=0 cores=0-7
/proc/15853/task/15856/stat : 15856 (java) S 15851 15851 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476716553 28904853504 10254 33554432000 4194304 4196468 140731975296304 140635149294224 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15857] ppid=15851 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15853/task/15857/stat : 15857 (java) S 15851 15851 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476716553 28904853504 10254 33554432000 4194304 4196468 140731975296304 140635148241168 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15858] ppid=15851 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15858/stat : 15858 (java) S 15851 15851 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476716553 28904853504 10254 33554432000 4194304 4196468 140731975296304 140635147188624 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15859] ppid=15851 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15859/stat : 15859 (java) S 15851 15851 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476716553 28904853504 10254 33554432000 4194304 4196468 140731975296304 140635146136592 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15860] ppid=15851 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15853/task/15860/stat : 15860 (java) S 15851 15851 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476716553 28904853504 10254 33554432000 4194304 4196468 140731975296304 140635145084048 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15861] ppid=15851 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15861/stat : 15861 (java) S 15851 15851 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476716553 28904853504 10254 33554432000 4194304 4196468 140731975296304 140635144030992 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15862] ppid=15851 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15862/stat : 15862 (java) S 15851 15851 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476716553 28904853504 10254 33554432000 4194304 4196468 140731975296304 140635142978448 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15863] ppid=15851 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15863/stat : 15863 (java) S 15851 15851 6043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476716554 28904853504 10254 33554432000 4194304 4196468 140731975296304 140634197281008 140635598994050 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15864] ppid=15851 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15864/stat : 15864 (java) S 15851 15851 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476716555 28904853504 10254 33554432000 4194304 4196468 140731975296304 140634196227232 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15865] ppid=15851 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15865/stat : 15865 (java) S 15851 15851 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476716555 28904853504 10254 33554432000 4194304 4196468 140731975296304 140634195174128 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15866] ppid=15851 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15866/stat : 15866 (java) S 15851 15851 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476716558 28904853504 10254 33554432000 4194304 4196468 140731975296304 140634194122704 140635599001499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15867] ppid=15851 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/15853/task/15867/stat : 15867 (java) S 15851 15851 6043 0 -1 1077944384 471 0 0 0 1 0 0 0 20 0 20 0 476716558 28904853504 10254 33554432000 4194304 4196468 140731975296304 140634193070832 140635598994050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15868] ppid=15851 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/15853/task/15868/stat : 15868 (java) R 15851 15851 6043 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 20 0 476716558 28904853504 10254 33554432000 4194304 4196468 140731975296304 140634192018288 140635598994050 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15869] ppid=15851 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/15853/task/15869/stat : 15869 (java) S 15851 15851 6043 0 -1 1077944384 248 0 0 0 1 0 0 0 20 0 20 0 476716558 28904853504 10254 33554432000 4194304 4196468 140731975296304 140634190965232 140635598994050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15870] ppid=15851 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/15853/task/15870/stat : 15870 (java) S 15851 15851 6043 0 -1 1077944384 754 0 0 0 8 0 0 0 20 0 20 0 476716558 28904853504 10254 33554432000 4194304 4196468 140731975296304 140634189912688 140635598994050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15871] ppid=15851 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15871/stat : 15871 (java) S 15851 15851 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476716558 28904853504 10254 33554432000 4194304 4196468 140731975296304 140634188859872 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15872] ppid=15851 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15853/task/15872/stat : 15872 (java) S 15851 15851 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476716558 28904853504 10254 33554432000 4194304 4196468 140731975296304 140634187807408 140635598994050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42472 KiB

[startup+0.320262 s]*
/proc/loadavg: 8.11 8.25 8.26 3/216 15872
/proc/meminfo: memFree=24444496/32770624 swapFree=67001936/67108860
[pid=15851] ppid=15848 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/15851/stat : 15851 (xcsp3-exec) S 15848 15851 6043 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476716552 115843072 364 33554432000 4194304 5098028 140724733314704 140724733312808 139801985962620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28135424 140724733317976 140724733318234 140724733318234 140724733321158 0
/proc/15851/statm: 28282 364 305 221 0 87 0
[pid=15853] ppid=15851 vsize=28231652 memory=50308 CPUtime=0.54 cores=0-7
/proc/15853/stat : 15853 (java) S 15851 15851 6043 0 -1 1077944320 10974 0 0 0 50 4 0 0 20 0 20 0 476716552 28909211648 12577 33554432000 4194304 4196468 140731975296304 140731975278848 140635598982903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
/proc/15853/statm: 7057913 12577 3317 1 0 7019032 0
[pid=15853/tid=15854] ppid=15851 vsize=28231652 memory=6791534058613427641 CPUtime=0.31 cores=0-7
/proc/15853/task/15854/stat : 15854 (java) R 15851 15851 6043 0 -1 4202560 7911 0 0 0 28 3 0 0 20 0 20 0 476716552 28909211648 12577 33554432000 4194304 4196468 140731975296304 140635603217680 140635583063390 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15855] ppid=15851 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15855/stat : 15855 (java) S 15851 15851 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476716553 28909211648 12577 33554432000 4194304 4196468 140731975296304 140635551603216 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15856] ppid=15851 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15856/stat : 15856 (java) S 15851 15851 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476716553 28909211648 12577 33554432000 4194304 4196468 140731975296304 140635149294224 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15857] ppid=15851 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15857/stat : 15857 (java) S 15851 15851 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476716553 28909211648 12577 33554432000 4194304 4196468 140731975296304 140635148241168 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15858] ppid=15851 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15858/stat : 15858 (java) S 15851 15851 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476716553 28909211648 12577 33554432000 4194304 4196468 140731975296304 140635147188624 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15859] ppid=15851 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/15853/task/15859/stat : 15859 (java) S 15851 15851 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476716553 28909211648 12577 33554432000 4194304 4196468 140731975296304 140635146136592 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15860] ppid=15851 vsize=28231652 memory=139904667448239 CPUtime=0 cores=0-7
/proc/15853/task/15860/stat : 15860 (java) S 15851 15851 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476716553 28909211648 12577 33554432000 4194304 4196468 140731975296304 140635145084048 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15861] ppid=15851 vsize=28231652 memory=139904667450544 CPUtime=0 cores=0-7
/proc/15853/task/15861/stat : 15861 (java) S 15851 15851 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476716553 28909211648 12577 33554432000 4194304 4196468 140731975296304 140635144030992 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15862] ppid=15851 vsize=28231652 memory=139904667452848 CPUtime=0 cores=0-7
/proc/15853/task/15862/stat : 15862 (java) S 15851 15851 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476716553 28909211648 12577 33554432000 4194304 4196468 140731975296304 140635142978448 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15863] ppid=15851 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15863/stat : 15863 (java) S 15851 15851 6043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476716554 28909211648 12577 33554432000 4194304 4196468 140731975296304 140634197281008 140635598994050 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15864] ppid=15851 vsize=28231652 memory=279809334912656 CPUtime=0 cores=0-7
/proc/15853/task/15864/stat : 15864 (java) S 15851 15851 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476716555 28909211648 12577 33554432000 4194304 4196468 140731975296304 140634196227232 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15865] ppid=15851 vsize=28231652 memory=279809334919568 CPUtime=0 cores=0-7
/proc/15853/task/15865/stat : 15865 (java) S 15851 15851 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476716555 28909211648 12577 33554432000 4194304 4196468 140731975296304 140634195174128 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15866] ppid=15851 vsize=28231652 memory=279809334860848 CPUtime=0 cores=0-7
/proc/15853/task/15866/stat : 15866 (java) S 15851 15851 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476716558 28909211648 12577 33554432000 4194304 4196468 140731975296304 140634194122704 140635599001499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15867] ppid=15851 vsize=28231652 memory=279809334933392 CPUtime=0.03 cores=0-7
/proc/15853/task/15867/stat : 15867 (java) S 15851 15851 6043 0 -1 1077944384 577 0 0 0 3 0 0 0 20 0 20 0 476716558 28909211648 12577 33554432000 4194304 4196468 140731975296304 140634193070832 140635598994050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15868] ppid=15851 vsize=28231652 memory=279809334940304 CPUtime=0.02 cores=0-7
/proc/15853/task/15868/stat : 15868 (java) S 15851 15851 6043 0 -1 1077944384 102 0 0 0 2 0 0 0 20 0 20 0 476716558 28909211648 12577 33554432000 4194304 4196468 140731975296304 140634192018288 140635598994050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15869] ppid=15851 vsize=28231652 memory=279809334938000 CPUtime=0.02 cores=0-7
/proc/15853/task/15869/stat : 15869 (java) S 15851 15851 6043 0 -1 1077944384 248 0 0 0 2 0 0 0 20 0 20 0 476716558 28909211648 12577 33554432000 4194304 4196468 140731975296304 140634190965232 140635598994050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15870] ppid=15851 vsize=28231652 memory=279809334954160 CPUtime=0.13 cores=0-7
/proc/15853/task/15870/stat : 15870 (java) S 15851 15851 6043 0 -1 1077944384 834 0 0 0 13 0 0 0 20 0 20 0 476716558 28909211648 12577 33554432000 4194304 4196468 140731975296304 140634189912688 140635598994050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15871] ppid=15851 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15871/stat : 15871 (java) S 15851 15851 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476716558 28909211648 12577 33554432000 4194304 4196468 140731975296304 140634188859872 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15872] ppid=15851 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/15853/task/15872/stat : 15872 (java) S 15851 15851 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476716558 28909211648 12577 33554432000 4194304 4196468 140731975296304 140634187807408 140635598994050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51764 KiB

[startup+0.701035 s]
/proc/loadavg: 8.11 8.25 8.26 5/216 15872
/proc/meminfo: memFree=24408576/32770624 swapFree=67001936/67108860
[pid=15851] ppid=15848 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/15851/stat : 15851 (xcsp3-exec) S 15848 15851 6043 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476716552 115843072 364 33554432000 4194304 5098028 140724733314704 140724733312808 139801985962620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28135424 140724733317976 140724733318234 140724733318234 140724733321158 0
/proc/15851/statm: 28282 364 305 221 0 87 0
[pid=15853] ppid=15851 vsize=28233776 memory=143568 CPUtime=1.85 cores=0-7
/proc/15853/stat : 15853 (java) S 15851 15851 6043 0 -1 1077944320 15769 0 0 0 178 7 0 0 20 0 20 0 476716552 28911386624 35892 33554432000 4194304 4196468 140731975296304 140731975278848 140635598982903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
/proc/15853/statm: 7058444 35892 3445 1 0 7019544 0
[pid=15853/tid=15854] ppid=15851 vsize=28233776 memory=279809335312048 CPUtime=0.68 cores=0-7
/proc/15853/task/15854/stat : 15854 (java) R 15851 15851 6043 0 -1 4202560 9027 0 0 0 64 4 0 0 20 0 20 0 476716552 28911386624 35892 33554432000 4194304 4196468 140731975296304 140635603219168 140635235142994 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15855] ppid=15851 vsize=28233776 memory=139904667657072 CPUtime=0 cores=0-7
/proc/15853/task/15855/stat : 15855 (java) S 15851 15851 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476716553 28911386624 35892 33554432000 4194304 4196468 140731975296304 140635551603216 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15856] ppid=15851 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/15853/task/15856/stat : 15856 (java) S 15851 15851 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476716553 28911386624 35892 33554432000 4194304 4196468 140731975296304 140635149294224 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15857] ppid=15851 vsize=28233776 memory=2832 CPUtime=0 cores=0-7
/proc/15853/task/15857/stat : 15857 (java) S 15851 15851 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476716553 28911386624 35892 33554432000 4194304 4196468 140731975296304 140635148241168 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0

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

[pid=15853/tid=16921] ppid=15851 vsize=28834900 memory=5180188 CPUtime=16.27 cores=0-7
/proc/15853/task/16921/stat : 16921 (java) R 15851 15851 6043 0 -1 4202560 1573 0 0 0 1621 6 0 0 20 0 28 0 476731135 29526937600 1295047 33554432000 4194304 4196468 140731975296304 140634175430296 140635237898320 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
Current children cumulated CPU time: 1107.22 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 5181644 KiB

[startup+222.301 s]
/proc/loadavg: 6.95 7.42 7.91 9/224 17160
/proc/meminfo: memFree=18936720/32770624 swapFree=67001940/67108860
[pid=15851] ppid=15848 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/15851/stat : 15851 (xcsp3-exec) S 15848 15851 6043 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476716552 115843072 364 33554432000 4194304 5098028 140724733314704 140724733312808 139801985962620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28135424 140724733317976 140724733318234 140724733318234 140724733321158 0
/proc/15851/statm: 28282 364 305 221 0 87 0
[pid=15853] ppid=15851 vsize=28834900 memory=5546388 CPUtime=1561.37 cores=0-7
/proc/15853/stat : 15853 (java) S 15851 15851 6043 0 -1 1077944320 403893 0 0 0 154084 2053 0 0 20 0 28 0 476716552 29526937600 1386597 33554432000 4194304 4196468 140731975296304 140731975278848 140635598982903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
/proc/15853/statm: 7208725 1386597 3547 1 0 7169825 0
[pid=15853/tid=15854] ppid=15851 vsize=28834900 memory=5546188 CPUtime=3.5 cores=0-7
/proc/15853/task/15854/stat : 15854 (java) S 15851 15851 6043 0 -1 1077944384 19977 0 0 0 333 17 0 0 20 0 28 0 476716552 29526937600 1386597 33554432000 4194304 4196468 140731975296304 140635603223712 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15855] ppid=15851 vsize=28834900 memory=1456 CPUtime=6.33 cores=0-7
/proc/15853/task/15855/stat : 15855 (java) S 15851 15851 6043 0 -1 1077944384 12888 0 0 0 468 165 0 0 20 0 28 0 476716553 29526937600 1386597 33554432000 4194304 4196468 140731975296304 140635551603216 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15856] ppid=15851 vsize=28834900 memory=5546264 CPUtime=6.35 cores=0-7
/proc/15853/task/15856/stat : 15856 (java) S 15851 15851 6043 0 -1 1077944384 7326 0 0 0 472 163 0 0 20 0 28 0 476716553 29526937600 1386597 33554432000 4194304 4196468 140731975296304 140635149294224 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15857] ppid=15851 vsize=28834900 memory=5546280 CPUtime=6.22 cores=0-7
/proc/15853/task/15857/stat : 15857 (java) S 15851 15851 6043 0 -1 1077944384 9607 0 0 0 467 155 0 0 20 0 28 0 476716553 29526937600 1386597 33554432000 4194304 4196468 140731975296304 140635148241168 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15858] ppid=15851 vsize=28834900 memory=5546280 CPUtime=6.3 cores=0-7
/proc/15853/task/15858/stat : 15858 (java) S 15851 15851 6043 0 -1 1077944384 11193 0 0 0 473 157 0 0 20 0 28 0 476716553 29526937600 1386597 33554432000 4194304 4196468 140731975296304 140635147188624 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15859] ppid=15851 vsize=28834900 memory=4732252 CPUtime=6.33 cores=0-7
/proc/15853/task/15859/stat : 15859 (java) S 15851 15851 6043 0 -1 1077944384 8097 0 0 0 471 162 0 0 20 0 28 0 476716553 29526937600 1386597 33554432000 4194304 4196468 140731975296304 140635146136592 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15860] ppid=15851 vsize=28834900 memory=4803612 CPUtime=6.29 cores=0-7
/proc/15853/task/15860/stat : 15860 (java) S 15851 15851 6043 0 -1 1077944384 11701 0 0 0 464 165 0 0 20 0 28 0 476716553 29526937600 1386597 33554432000 4194304 4196468 140731975296304 140635145084048 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15861] ppid=15851 vsize=28834900 memory=4913512 CPUtime=6.31 cores=0-7
/proc/15853/task/15861/stat : 15861 (java) S 15851 15851 6043 0 -1 1077944384 9785 0 0 0 469 162 0 0 20 0 28 0 476716553 29526937600 1386597 33554432000 4194304 4196468 140731975296304 140635144030992 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15862] ppid=15851 vsize=28834900 memory=5546260 CPUtime=6.29 cores=0-7
/proc/15853/task/15862/stat : 15862 (java) S 15851 15851 6043 0 -1 1077944384 10145 0 0 0 470 159 0 0 20 0 28 0 476716553 29526937600 1386597 33554432000 4194304 4196468 140731975296304 140635142978448 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15863] ppid=15851 vsize=28834900 memory=5546552 CPUtime=1.13 cores=0-7
/proc/15853/task/15863/stat : 15863 (java) S 15851 15851 6043 0 -1 1077944384 15160 0 0 0 109 4 0 0 20 0 28 0 476716554 29526937600 1386597 33554432000 4194304 4196468 140731975296304 140634197281008 140635598994050 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15864] ppid=15851 vsize=28834900 memory=5546416 CPUtime=0 cores=0-7
/proc/15853/task/15864/stat : 15864 (java) S 15851 15851 6043 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 476716555 29526937600 1386597 33554432000 4194304 4196468 140731975296304 140634196227296 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15865] ppid=15851 vsize=28834900 memory=5546432 CPUtime=0 cores=0-7
/proc/15853/task/15865/stat : 15865 (java) S 15851 15851 6043 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 28 0 476716555 29526937600 1386597 33554432000 4194304 4196468 140731975296304 140634195174144 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15866] ppid=15851 vsize=28834900 memory=5546620 CPUtime=0 cores=0-7
/proc/15853/task/15866/stat : 15866 (java) S 15851 15851 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476716558 29526937600 1386597 33554432000 4194304 4196468 140731975296304 140634194122704 140635599001499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15867] ppid=15851 vsize=28834900 memory=5546620 CPUtime=3.42 cores=0-7
/proc/15853/task/15867/stat : 15867 (java) S 15851 15851 6043 0 -1 1077944384 24027 0 0 0 338 4 0 0 20 0 28 0 476716558 29526937600 1386597 33554432000 4194304 4196468 140731975296304 140634193070832 140635598994050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15868] ppid=15851 vsize=28834900 memory=5546304 CPUtime=3.19 cores=0-7
/proc/15853/task/15868/stat : 15868 (java) S 15851 15851 6043 0 -1 1077944384 19064 0 0 0 314 5 0 0 20 0 28 0 476716558 29526937600 1386597 33554432000 4194304 4196468 140731975296304 140634192018288 140635598994050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15869] ppid=15851 vsize=28834900 memory=1456 CPUtime=3.27 cores=0-7
/proc/15853/task/15869/stat : 15869 (java) S 15851 15851 6043 0 -1 1077944384 22893 0 0 0 321 6 0 0 20 0 28 0 476716558 29526937600 1386597 33554432000 4194304 4196468 140731975296304 140634190965232 140635598994050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15870] ppid=15851 vsize=28834900 memory=5546388 CPUtime=1.09 cores=0-7
/proc/15853/task/15870/stat : 15870 (java) S 15851 15851 6043 0 -1 1077944384 26351 0 0 0 104 5 0 0 20 0 28 0 476716558 29526937600 1386597 33554432000 4194304 4196468 140731975296304 140634189912688 140635598994050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15871] ppid=15851 vsize=28834900 memory=3276 CPUtime=0 cores=0-7
/proc/15853/task/15871/stat : 15871 (java) S 15851 15851 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476716558 29526937600 1386597 33554432000 4194304 4196468 140731975296304 140634188859872 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15872] ppid=15851 vsize=28834900 memory=1456 CPUtime=0.11 cores=0-7
/proc/15853/task/15872/stat : 15872 (java) S 15851 15851 6043 0 -1 1077944384 3748 0 0 0 7 4 0 0 20 0 28 0 476716558 29526937600 1386597 33554432000 4194304 4196468 140731975296304 140634187807408 140635598994050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=17153] ppid=15851 vsize=28834900 memory=6791534058613427641 CPUtime=2.25 cores=0-7
/proc/15853/task/17153/stat : 17153 (java) R 15851 15851 6043 0 -1 4202560 73 0 0 0 225 0 0 0 20 0 28 0 476738556 29526937600 1386597 33554432000 4194304 4196468 140731975296304 140634173328376 140635237898320 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=17154] ppid=15851 vsize=28834900 memory=3276 CPUtime=2.25 cores=0-7
/proc/15853/task/17154/stat : 17154 (java) R 15851 15851 6043 0 -1 4202560 79 0 0 0 225 0 0 0 20 0 28 0 476738557 29526937600 1386597 33554432000 4194304 4196468 140731975296304 140634171224312 140635237898320 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=17155] ppid=15851 vsize=28834900 memory=54896 CPUtime=2.2 cores=0-7
/proc/15853/task/17155/stat : 17155 (java) R 15851 15851 6043 0 -1 4202560 65 0 0 0 220 0 0 0 20 0 28 0 476738557 29526937600 1386597 33554432000 4194304 4196468 140731975296304 140634168075864 140635238778150 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=17156] ppid=15851 vsize=28834900 memory=54896 CPUtime=2.24 cores=0-7
/proc/15853/task/17156/stat : 17156 (java) R 15851 15851 6043 0 -1 4202560 132 0 0 0 224 0 0 0 20 0 28 0 476738557 29526937600 1386597 33554432000 4194304 4196468 140731975296304 140634175435768 140635237898320 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=17157] ppid=15851 vsize=28834900 memory=988 CPUtime=2.25 cores=0-7
/proc/15853/task/17157/stat : 17157 (java) R 15851 15851 6043 0 -1 4202560 49 0 0 0 225 0 0 0 20 0 28 0 476738557 29526937600 1386597 33554432000 4194304 4196468 140731975296304 140634178596040 140635238155627 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=17158] ppid=15851 vsize=28834900 memory=784 CPUtime=2.24 cores=0-7
/proc/15853/task/17158/stat : 17158 (java) R 15851 15851 6043 0 -1 4202560 43 0 0 0 224 0 0 0 20 0 28 0 476738557 29526937600 1386597 33554432000 4194304 4196468 140731975296304 140634172280136 140635233988884 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=17159] ppid=15851 vsize=28834900 memory=8560 CPUtime=2.25 cores=0-7
/proc/15853/task/17159/stat : 17159 (java) R 15851 15851 6043 0 -1 4202560 45 0 0 0 225 0 0 0 20 0 28 0 476738557 29526937600 1386597 33554432000 4194304 4196468 140731975296304 140634174385096 140635233989349 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=17160] ppid=15851 vsize=28834900 memory=6100 CPUtime=2.25 cores=0-7
/proc/15853/task/17160/stat : 17160 (java) R 15851 15851 6043 0 -1 4202560 160 0 0 0 225 0 0 0 20 0 28 0 476738557 29526937600 1386597 33554432000 4194304 4196468 140731975296304 140634177543240 140635239109493 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
Current children cumulated CPU time: 1561.37 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 5547844 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 7.37 7.48 7.91 9/225 17194
/proc/meminfo: memFree=18937076/32770624 swapFree=67001940/67108860
[pid=15851] ppid=15848 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/15851/stat : 15851 (xcsp3-exec) S 15848 15851 6043 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476716552 115843072 364 33554432000 4194304 5098028 140724733314704 140724733312808 139801985962620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28135424 140724733317976 140724733318234 140724733318234 140724733321158 0
/proc/15851/statm: 28282 364 305 221 0 87 0
[pid=15853] ppid=15851 vsize=28834900 memory=5546752 CPUtime=1794.04 cores=0-7
/proc/15853/stat : 15853 (java) S 15851 15851 6043 0 -1 1077944320 435147 0 0 0 177263 2141 0 0 20 0 28 0 476716552 29526937600 1386688 33554432000 4194304 4196468 140731975296304 140731975278848 140635598982903 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
/proc/15853/statm: 7208725 1386688 3547 1 0 7169825 0
[pid=15853/tid=15854] ppid=15851 vsize=28834900 memory=6791534058613427641 CPUtime=3.5 cores=0-7
/proc/15853/task/15854/stat : 15854 (java) S 15851 15851 6043 0 -1 1077944384 20234 0 0 0 333 17 0 0 20 0 28 0 476716552 29526937600 1386688 33554432000 4194304 4196468 140731975296304 140635603223712 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15855] ppid=15851 vsize=28834900 memory=4872558044660077418 CPUtime=6.35 cores=0-7
/proc/15853/task/15855/stat : 15855 (java) S 15851 15851 6043 0 -1 1077944384 13759 0 0 0 469 166 0 0 20 0 28 0 476716553 29526937600 1386688 33554432000 4194304 4196468 140731975296304 140635551603216 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 14 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15856] ppid=15851 vsize=28834900 memory=1564 CPUtime=6.36 cores=0-7
/proc/15853/task/15856/stat : 15856 (java) S 15851 15851 6043 0 -1 1077944384 7956 0 0 0 473 163 0 0 20 0 28 0 476716553 29526937600 1386688 33554432000 4194304 4196468 140731975296304 140635149294224 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15857] ppid=15851 vsize=28834900 memory=928 CPUtime=6.23 cores=0-7
/proc/15853/task/15857/stat : 15857 (java) S 15851 15851 6043 0 -1 1077944384 10436 0 0 0 468 155 0 0 20 0 28 0 476716553 29526937600 1386688 33554432000 4194304 4196468 140731975296304 140635148241168 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15858] ppid=15851 vsize=28834900 memory=1744 CPUtime=6.31 cores=0-7
/proc/15853/task/15858/stat : 15858 (java) S 15851 15851 6043 0 -1 1077944384 11824 0 0 0 474 157 0 0 20 0 28 0 476716553 29526937600 1386688 33554432000 4194304 4196468 140731975296304 140635147188624 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15859] ppid=15851 vsize=28834900 memory=780 CPUtime=6.34 cores=0-7
/proc/15853/task/15859/stat : 15859 (java) S 15851 15851 6043 0 -1 1077944384 9403 0 0 0 472 162 0 0 20 0 28 0 476716553 29526937600 1386688 33554432000 4194304 4196468 140731975296304 140635146136592 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15860] ppid=15851 vsize=28834900 memory=6791534058613427641 CPUtime=6.3 cores=0-7
/proc/15853/task/15860/stat : 15860 (java) S 15851 15851 6043 0 -1 1077944384 12703 0 0 0 465 165 0 0 20 0 28 0 476716553 29526937600 1386688 33554432000 4194304 4196468 140731975296304 140635145084048 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 15 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15861] ppid=15851 vsize=28834900 memory=1428 CPUtime=6.32 cores=0-7
/proc/15853/task/15861/stat : 15861 (java) S 15851 15851 6043 0 -1 1077944384 10514 0 0 0 470 162 0 0 20 0 28 0 476716553 29526937600 1386688 33554432000 4194304 4196468 140731975296304 140635144030992 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15862] ppid=15851 vsize=28834900 memory=1716 CPUtime=6.3 cores=0-7
/proc/15853/task/15862/stat : 15862 (java) S 15851 15851 6043 0 -1 1077944384 10772 0 0 0 471 159 0 0 20 0 28 0 476716553 29526937600 1386688 33554432000 4194304 4196468 140731975296304 140635142978448 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15863] ppid=15851 vsize=28834900 memory=784 CPUtime=1.13 cores=0-7
/proc/15853/task/15863/stat : 15863 (java) S 15851 15851 6043 0 -1 1077944384 15499 0 0 0 109 4 0 0 20 0 28 0 476716554 29526937600 1386688 33554432000 4194304 4196468 140731975296304 140634197281008 140635598994050 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15864] ppid=15851 vsize=28834900 memory=8560 CPUtime=0 cores=0-7
/proc/15853/task/15864/stat : 15864 (java) S 15851 15851 6043 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 476716555 29526937600 1386688 33554432000 4194304 4196468 140731975296304 140634196227296 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15865] ppid=15851 vsize=28834900 memory=6100 CPUtime=0 cores=0-7
/proc/15853/task/15865/stat : 15865 (java) S 15851 15851 6043 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 28 0 476716555 29526937600 1386688 33554432000 4194304 4196468 140731975296304 140634195174144 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15866] ppid=15851 vsize=28834900 memory=3276 CPUtime=0 cores=0-7
/proc/15853/task/15866/stat : 15866 (java) S 15851 15851 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476716558 29526937600 1386688 33554432000 4194304 4196468 140731975296304 140634194122704 140635599001499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15867] ppid=15851 vsize=28834900 memory=54896 CPUtime=3.42 cores=0-7
/proc/15853/task/15867/stat : 15867 (java) S 15851 15851 6043 0 -1 1077944384 24045 0 0 0 338 4 0 0 20 0 28 0 476716558 29526937600 1386688 33554432000 4194304 4196468 140731975296304 140634193070832 140635598994050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15868] ppid=15851 vsize=28834900 memory=54896 CPUtime=3.19 cores=0-7
/proc/15853/task/15868/stat : 15868 (java) S 15851 15851 6043 0 -1 1077944384 19083 0 0 0 314 5 0 0 20 0 28 0 476716558 29526937600 1386688 33554432000 4194304 4196468 140731975296304 140634192018288 140635598994050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15869] ppid=15851 vsize=28834900 memory=988 CPUtime=3.27 cores=0-7
/proc/15853/task/15869/stat : 15869 (java) S 15851 15851 6043 0 -1 1077944384 22943 0 0 0 321 6 0 0 20 0 28 0 476716558 29526937600 1386688 33554432000 4194304 4196468 140731975296304 140634190965232 140635598994050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15870] ppid=15851 vsize=28834900 memory=1456 CPUtime=1.09 cores=0-7
/proc/15853/task/15870/stat : 15870 (java) S 15851 15851 6043 0 -1 1077944384 26375 0 0 0 104 5 0 0 20 0 28 0 476716558 29526937600 1386688 33554432000 4194304 4196468 140731975296304 140634189912688 140635598994050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15871] ppid=15851 vsize=28834900 memory=1804 CPUtime=0 cores=0-7
/proc/15853/task/15871/stat : 15871 (java) S 15851 15851 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476716558 29526937600 1386688 33554432000 4194304 4196468 140731975296304 140634188859872 140635598993109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=15872] ppid=15851 vsize=28834900 memory=920 CPUtime=0.12 cores=0-7
/proc/15853/task/15872/stat : 15872 (java) S 15851 15851 6043 0 -1 1077944384 4006 0 0 0 8 4 0 0 20 0 28 0 476716558 29526937600 1386688 33554432000 4194304 4196468 140731975296304 140634187807408 140635598994050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=17185] ppid=15851 vsize=28834900 memory=4832 CPUtime=12.73 cores=0-7
/proc/15853/task/17185/stat : 17185 (java) R 15851 15851 6043 0 -1 4202560 1032 0 0 0 1263 10 0 0 20 0 28 0 476740478 29526937600 1386688 33554432000 4194304 4196468 140731975296304 140634172275704 140635237898320 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=17186] ppid=15851 vsize=28834900 memory=4112 CPUtime=12.72 cores=0-7
/proc/15853/task/17186/stat : 17186 (java) R 15851 15851 6043 0 -1 4202560 1084 0 0 0 1262 10 0 0 20 0 28 0 476740478 29526937600 1386688 33554432000 4194304 4196468 140731975296304 140634173329656 140635238155850 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=17187] ppid=15851 vsize=28834900 memory=1412 CPUtime=12.72 cores=0-7
/proc/15853/task/17187/stat : 17187 (java) R 15851 15851 6043 0 -1 4202560 1259 0 0 0 1272 0 0 0 20 0 28 0 476740478 29526937600 1386688 33554432000 4194304 4196468 140731975296304 140634174383704 140635238154227 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=17188] ppid=15851 vsize=28834900 memory=4656 CPUtime=12.73 cores=0-7
/proc/15853/task/17188/stat : 17188 (java) R 15851 15851 6043 0 -1 4202560 1909 0 0 0 1272 1 0 0 20 0 28 0 476740478 29526937600 1386688 33554432000 4194304 4196468 140731975296304 140634175435768 140635238155850 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=17189] ppid=15851 vsize=28834900 memory=1456 CPUtime=12.45 cores=0-7
/proc/15853/task/17189/stat : 17189 (java) R 15851 15851 6043 0 -1 4202560 1694 0 0 0 1237 8 0 0 20 0 28 0 476740478 29526937600 1386688 33554432000 4194304 4196468 140731975296304 140634177543368 140635238777728 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=17190] ppid=15851 vsize=28834900 memory=5546460 CPUtime=12.73 cores=0-7
/proc/15853/task/17190/stat : 17190 (java) R 15851 15851 6043 0 -1 4202560 898 0 0 0 1263 10 0 0 20 0 28 0 476740478 29526937600 1386688 33554432000 4194304 4196468 140731975296304 140634178596168 140635238218638 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=17191] ppid=15851 vsize=28834900 memory=6791534058613427641 CPUtime=12.73 cores=0-7
/proc/15853/task/17191/stat : 17191 (java) R 15851 15851 6043 0 -1 4202560 1886 0 0 0 1265 8 0 0 20 0 28 0 476740478 29526937600 1386688 33554432000 4194304 4196468 140731975296304 140634171227080 140635238156092 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
[pid=15853/tid=17192] ppid=15851 vsize=28834900 memory=4872558044660077418 CPUtime=12.73 cores=0-7
/proc/15853/task/17192/stat : 17192 (java) R 15851 15851 6043 0 -1 4202560 1238 0 0 0 1265 8 0 0 20 0 28 0 476740478 29526937600 1386688 33554432000 4194304 4196468 140731975296304 140634168077384 140635238156430 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27324416 140731975300060 140731975300235 140731975300235 140731975303119 0
Current children cumulated CPU time: 1794.04 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 5548208 KiB

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

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

[startup+252.13 s]
# the end of solver process 15853 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1773.24 s, system=21.4635 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): 252.13
CPU time (s): 1794.7
CPU user time (s): 1773.24
CPU system time (s): 21.4635
CPU usage (%): 711.815
Max. virtual memory (cumulated for all children) (KiB): 28948028
Max. memory (cumulated for all children) (KiB): 5548208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.24
system time used= 21.4635
maximum resident set size= 5547208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 436564
page faults= 0
swaps= 0
block input operations= 0
block output operations= 640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28885
involuntary context switches= 23662


# summary of solver processes directly reported to runsolver:
#   pid: 15851,15853
#   total CPU time (s): 1794.7
#   total CPU user time (s): 1773.24
#   total CPU system time (s): 21.4635

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.18929 second user time and 3.06083 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-20 20:38:50
IDJOB=4405074
IDBENCH=135802
IDSOLVER=2866
FILE ID=node133/4405074-1569004770
RUNJOBID= node133-1568994386-6070
PBS_JOBID= 21704723
Free space on /var/tmp= 13488 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n150/TravellingSalesman-150-50-13.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405074-1569004770/watcher-4405074-1569004770 -o /var/tmp/evaluation-result-4405074-1569004770/solver-4405074-1569004770 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1568994386-6070 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 844515816 HOME/instance-4405074-1569004770.xml

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

MD5SUM BENCH= d698eba466bb4d42bacc008ef87467ee
RANDOM SEED=844515816

node133.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.18
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.18
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.18
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.18
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:        24481920 kB
MemAvailable:   31850748 kB
Buffers:           91080 kB
Cached:          7337632 kB
SwapCached:         5348 kB
Active:          3658296 kB
Inactive:        3776196 kB
Active(anon):       3284 kB
Inactive(anon):    49308 kB
Active(file):    3655012 kB
Inactive(file):  3726888 kB
Unevictable:      111416 kB
Mlocked:          111416 kB
SwapTotal:      67108860 kB
SwapFree:       67001936 kB
Dirty:             26132 kB
Writeback:             0 kB
AnonPages:        113728 kB
Mapped:            52144 kB
Shmem:             37772 kB
Slab:             443752 kB
SReclaimable:     415388 kB
SUnreclaim:        28364 kB
KernelStack:        3440 kB
PageTables:         6080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /var/tmp at the end= 13464 MiB
End job on node133 at 2019-09-20 20:43:02