Trace number 4297436

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)582 19896.4 2520.13

General information on the benchmark

NameTravellingSalesman/
TravellingSalesman-150-50-00_c18.xml
MD5SUM784274e168c99e425b71be44c62c6ab3
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark582
Best CPU time to get the best result obtained on this benchmark19896.4
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 -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297436-1532732951.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4297436-1532732951.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
50.09/29.39	c solve instance...
58.83/30.66	o 2226 
60.81/30.92	o 2207 
60.81/30.94	o 2203 
60.81/30.95	o 2200 
61.47/31.10	o 2185 
62.10/31.13	o 2180 
62.71/31.27	o 2176 
63.24/31.51	o 2173 
63.24/31.52	o 2168 
63.46/31.63	o 2157 
64.70/32.68	o 2152 
64.86/32.70	o 2151 
64.86/32.71	o 2146 
65.12/32.81	o 2144 
65.12/32.82	o 600 
67.59/33.21	o 599 
67.59/33.22	o 598 
67.59/33.24	o 592 
67.78/33.33	o 591 
67.95/33.40	o 582 
19895.66/2520.10	s SATISFIABLE
19895.66/2520.10	v <instantiation>
19895.66/2520.10	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>
19895.66/2520.10	v 	<values>133 144 50 43 39 36 30 26 0 5 15 20 25 41 55 69 115 106 121 131 145 149 143 135 134 112 118 117 120 130 148 132 140 141 110 116 129 128 127 123 122 113 92 84 80 76 72 66 53 51 37 44 49 47 40 21 4 3 2 11 12 6 1 13 7 8 9 16 17 31 38 45 46 54 59 61 64 74 87 82 81 68 62 75 83 90 95 96 94 97 88 98 99 104 107 108 109 105 100 101 91 89 79 65 71 70 63 52 42 35 34 33 32 27 29 28 24 18 10 23 19 14 22 48 58 56 57 60 77 78 73 67 85 86 93 102 103 114 111 119 124 125 126 137 138 136 147 139 146 142 16 31 3 1 2 3 2 8 4 4 2 1 7 5 5 15 7 6 4 4 4 8 6 3 7 4 2 3 3 8 16 6 4 10 3 4 3 1 2 1 3 6 2 3 2 2 1 5 2 6 4 4 1 2 6 7 2 5 6 2 1 3 10 4 1 2 2 2 6 2 3 1 4 4 1 3 2 5 3 1 4 5 3 5 3 2 1 4 1 3 4 4 1 1 1 1 2 1 3 3 1 4 4 3 2 3 4 5 2 1 1 3 2 1 1 2 2 2 4 3 4 3 11 10 3 1 1 4 1 2 1 6 4 2 4 1 6 2 4 1 2 3 3 1 4 3 5 3 23 3 </values>
19895.66/2520.10	v </instantiation>
19895.66/2520.10	c Unexpected resolution interruption!

Verifier Data 

OK	582

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297436-1532732951/watcher-4297436-1532732951 -o /tmp/evaluation-result-4297436-1532732951/solver-4297436-1532732951 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1532732951-10516 --watchdog 2580 HOME/xcsp3-exec -seed 769893600 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297436-1532732951.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=10533, runsolver pid=10530

[startup+0.10043 s]*
/proc/loadavg: 7.47 8.23 8.28 3/203 10554
/proc/meminfo: memFree=23689084/32770624 swapFree=67108860/67108860
[pid=10533] ppid=10530 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/10533/stat : 10533 (xcsp3-exec) S 10530 10533 10489 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90858258 115843072 364 33554432000 4194304 5098028 140730968987008 140730968985112 140436317860476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37539840 140730968990774 140730968990976 140730968990976 140730968993738 0
/proc/10533/statm: 28282 364 306 221 0 87 0
[pid=10535] ppid=10533 vsize=26104152 memory=29332 CPUtime=0.11 cores=0-7
/proc/10535/stat : 10535 (java) S 10533 10533 10489 0 -1 1077944320 5736 0 0 0 10 1 0 0 20 0 20 0 90858258 26730651648 7333 33554432000 4194304 4196468 140732903897696 140732903880240 140643201961719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
/proc/10535/statm: 6526038 7333 2998 1 0 6488315 0
[pid=10535/tid=10536] ppid=10533 vsize=26104152 memory=8040221042879143578 CPUtime=0.09 cores=0-7
/proc/10535/task/10536/stat : 10536 (java) R 10533 10533 10489 0 -1 4202560 3766 0 0 0 8 1 0 0 20 0 20 0 90858258 26730651648 7333 33554432000 4194304 4196468 140732903897696 140643206194992 140643186005349 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10537] ppid=10533 vsize=26104152 memory=732370012561058789 CPUtime=0 cores=0-7
/proc/10535/task/10537/stat : 10537 (java) S 10533 10533 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90858259 26730651648 7333 33554432000 4194304 4196468 140732903897696 140643154581776 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10538] ppid=10533 vsize=26104152 memory=139874223605376 CPUtime=0 cores=0-7
/proc/10535/task/10538/stat : 10538 (java) S 10533 10533 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90858259 26730651648 7333 33554432000 4194304 4196468 140732903897696 140643153529232 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10539] ppid=10533 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10539/stat : 10539 (java) S 10533 10533 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90858259 26730651648 7333 33554432000 4194304 4196468 140732903897696 140643152476688 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10540] ppid=10533 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10540/stat : 10540 (java) S 10533 10533 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90858259 26730651648 7333 33554432000 4194304 4196468 140732903897696 140643151424144 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10541] ppid=10533 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10541/stat : 10541 (java) S 10533 10533 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90858259 26730651648 7333 33554432000 4194304 4196468 140732903897696 140643150371600 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10542] ppid=10533 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/10535/task/10542/stat : 10542 (java) S 10533 10533 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90858259 26730651648 7333 33554432000 4194304 4196468 140732903897696 140643149319056 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10543] ppid=10533 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10543/stat : 10543 (java) S 10533 10533 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90858259 26730651648 7333 33554432000 4194304 4196468 140732903897696 140643148266512 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10544] ppid=10533 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10544/stat : 10544 (java) S 10533 10533 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90858259 26730651648 7333 33554432000 4194304 4196468 140732903897696 140643147213968 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10545] ppid=10533 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10545/stat : 10545 (java) S 10533 10533 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90858261 26730651648 7333 33554432000 4194304 4196468 140732903897696 140642329356272 140643201972866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10546] ppid=10533 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10546/stat : 10546 (java) S 10533 10533 10489 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 90858261 26730651648 7333 33554432000 4194304 4196468 140732903897696 140641405756320 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10547] ppid=10533 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10547/stat : 10547 (java) S 10533 10533 10489 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90858261 26730651648 7333 33554432000 4194304 4196468 140732903897696 140641404703728 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10548] ppid=10533 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10548/stat : 10548 (java) S 10533 10533 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90858264 26730651648 7333 33554432000 4194304 4196468 140732903897696 140641403652304 140643201980315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10549] ppid=10533 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10549/stat : 10549 (java) R 10533 10533 10489 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 90858264 26730651648 7333 33554432000 4194304 4196468 140732903897696 140641402599920 140643201972866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10550] ppid=10533 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10550/stat : 10550 (java) S 10533 10533 10489 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 90858264 26730651648 7333 33554432000 4194304 4196468 140732903897696 140641401547376 140643201972866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10551] ppid=10533 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10551/stat : 10551 (java) S 10533 10533 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90858264 26730651648 7333 33554432000 4194304 4196468 140732903897696 140641400494832 140643201972866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10552] ppid=10533 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/10535/task/10552/stat : 10552 (java) R 10533 10533 10489 0 -1 4202560 254 0 0 0 1 0 0 0 20 0 20 0 90858264 26730651648 7333 33554432000 4194304 4196468 140732903897696 140641399442288 140643201973654 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10553] ppid=10533 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10553/stat : 10553 (java) S 10533 10533 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90858264 26730651648 7333 33554432000 4194304 4196468 140732903897696 140641398388960 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10554] ppid=10533 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/10535/task/10554/stat : 10554 (java) S 10533 10533 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90858264 26730651648 7333 33554432000 4194304 4196468 140732903897696 140641397336496 140643201972866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 30788 KiB

[startup+0.210724 s]*
/proc/loadavg: 7.47 8.23 8.28 3/203 10554
/proc/meminfo: memFree=23677780/32770624 swapFree=67108860/67108860
[pid=10533] ppid=10530 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/10533/stat : 10533 (xcsp3-exec) S 10530 10533 10489 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90858258 115843072 364 33554432000 4194304 5098028 140730968987008 140730968985112 140436317860476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37539840 140730968990774 140730968990976 140730968990976 140730968993738 0
/proc/10533/statm: 28282 364 306 221 0 87 0
[pid=10535] ppid=10533 vsize=26104152 memory=41672 CPUtime=0.33 cores=0-7
/proc/10535/stat : 10535 (java) S 10533 10533 10489 0 -1 1077944320 8475 0 0 0 31 2 0 0 20 0 20 0 90858258 26730651648 10418 33554432000 4194304 4196468 140732903897696 140732903880240 140643201961719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
/proc/10535/statm: 6526038 10418 3197 1 0 6488315 0
[pid=10535/tid=10536] ppid=10533 vsize=26104152 memory=0 CPUtime=0.2 cores=0-7
/proc/10535/task/10536/stat : 10536 (java) R 10533 10533 10489 0 -1 4202560 5601 0 0 0 18 2 0 0 20 0 20 0 90858258 26730651648 10418 33554432000 4194304 4196468 140732903897696 140643206200720 140643201983645 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10537] ppid=10533 vsize=26104152 memory=732370012561058789 CPUtime=0 cores=0-7
/proc/10535/task/10537/stat : 10537 (java) S 10533 10533 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90858259 26730651648 10418 33554432000 4194304 4196468 140732903897696 140643154581776 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10538] ppid=10533 vsize=26104152 memory=139874223605376 CPUtime=0 cores=0-7
/proc/10535/task/10538/stat : 10538 (java) S 10533 10533 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90858259 26730651648 10418 33554432000 4194304 4196468 140732903897696 140643153529232 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10539] ppid=10533 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10539/stat : 10539 (java) S 10533 10533 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90858259 26730651648 10418 33554432000 4194304 4196468 140732903897696 140643152476688 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10540] ppid=10533 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10540/stat : 10540 (java) S 10533 10533 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90858259 26730651648 10418 33554432000 4194304 4196468 140732903897696 140643151424144 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10541] ppid=10533 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10541/stat : 10541 (java) S 10533 10533 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90858259 26730651648 10418 33554432000 4194304 4196468 140732903897696 140643150371600 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10542] ppid=10533 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/10535/task/10542/stat : 10542 (java) S 10533 10533 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90858259 26730651648 10418 33554432000 4194304 4196468 140732903897696 140643149319056 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10543] ppid=10533 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10543/stat : 10543 (java) S 10533 10533 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90858259 26730651648 10418 33554432000 4194304 4196468 140732903897696 140643148266512 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10544] ppid=10533 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10544/stat : 10544 (java) S 10533 10533 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90858259 26730651648 10418 33554432000 4194304 4196468 140732903897696 140643147213968 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10545] ppid=10533 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10545/stat : 10545 (java) R 10533 10533 10489 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 90858261 26730651648 10418 33554432000 4194304 4196468 140732903897696 140642329356272 140643194678871 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10546] ppid=10533 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10546/stat : 10546 (java) S 10533 10533 10489 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 90858261 26730651648 10418 33554432000 4194304 4196468 140732903897696 140641405756320 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10547] ppid=10533 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10547/stat : 10547 (java) S 10533 10533 10489 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90858261 26730651648 10418 33554432000 4194304 4196468 140732903897696 140641404703728 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10548] ppid=10533 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10548/stat : 10548 (java) S 10533 10533 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90858264 26730651648 10418 33554432000 4194304 4196468 140732903897696 140641403652304 140643201980315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10549] ppid=10533 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/10535/task/10549/stat : 10549 (java) S 10533 10533 10489 0 -1 1077944384 473 0 0 0 1 0 0 0 20 0 20 0 90858264 26730651648 10418 33554432000 4194304 4196468 140732903897696 140641402599920 140643201972866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10550] ppid=10533 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/10535/task/10550/stat : 10550 (java) S 10533 10533 10489 0 -1 1077944384 160 0 0 0 1 0 0 0 20 0 20 0 90858264 26730651648 10418 33554432000 4194304 4196468 140732903897696 140641401547376 140643201972866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10551] ppid=10533 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/10535/task/10551/stat : 10551 (java) S 10533 10533 10489 0 -1 1077944384 192 0 0 0 1 0 0 0 20 0 20 0 90858264 26730651648 10418 33554432000 4194304 4196468 140732903897696 140641400494832 140643201972866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10552] ppid=10533 vsize=26104152 memory=0 CPUtime=0.08 cores=0-7
/proc/10535/task/10552/stat : 10552 (java) S 10533 10533 10489 0 -1 1077944384 762 0 0 0 8 0 0 0 20 0 20 0 90858264 26730651648 10418 33554432000 4194304 4196468 140732903897696 140641399442288 140643201972866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10553] ppid=10533 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10553/stat : 10553 (java) S 10533 10533 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90858264 26730651648 10418 33554432000 4194304 4196468 140732903897696 140641398388960 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10554] ppid=10533 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/10535/task/10554/stat : 10554 (java) S 10533 10533 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90858264 26730651648 10418 33554432000 4194304 4196468 140732903897696 140641397336496 140643201972866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 43128 KiB

[startup+0.310518 s]*
/proc/loadavg: 7.47 8.23 8.28 4/203 10554
/proc/meminfo: memFree=23671700/32770624 swapFree=67108860/67108860
[pid=10533] ppid=10530 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/10533/stat : 10533 (xcsp3-exec) S 10530 10533 10489 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90858258 115843072 364 33554432000 4194304 5098028 140730968987008 140730968985112 140436317860476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37539840 140730968990774 140730968990976 140730968990976 140730968993738 0
/proc/10533/statm: 28282 364 306 221 0 87 0
[pid=10535] ppid=10533 vsize=26108408 memory=48172 CPUtime=0.5 cores=0-7
/proc/10535/stat : 10535 (java) S 10533 10533 10489 0 -1 1077944320 9229 0 0 0 47 3 0 0 20 0 20 0 90858258 26735009792 12043 33554432000 4194304 4196468 140732903897696 140732903880240 140643201961719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
/proc/10535/statm: 6527102 12043 3254 1 0 6488315 0
[pid=10535/tid=10536] ppid=10533 vsize=26108408 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/10535/task/10536/stat : 10536 (java) R 10533 10533 10489 0 -1 4202560 6291 0 0 0 26 2 0 0 20 0 20 0 90858258 26735009792 12112 33554432000 4194304 4196468 140732903897696 140643206192832 140643186042206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10537] ppid=10533 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10537/stat : 10537 (java) S 10533 10533 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90858259 26735009792 12112 33554432000 4194304 4196468 140732903897696 140643154581776 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10538] ppid=10533 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10538/stat : 10538 (java) S 10533 10533 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90858259 26735009792 12112 33554432000 4194304 4196468 140732903897696 140643153529232 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10539] ppid=10533 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10539/stat : 10539 (java) S 10533 10533 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90858259 26735009792 12112 33554432000 4194304 4196468 140732903897696 140643152476688 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10540] ppid=10533 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10540/stat : 10540 (java) S 10533 10533 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90858259 26735009792 12112 33554432000 4194304 4196468 140732903897696 140643151424144 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10541] ppid=10533 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/10535/task/10541/stat : 10541 (java) S 10533 10533 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90858259 26735009792 12112 33554432000 4194304 4196468 140732903897696 140643150371600 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10542] ppid=10533 vsize=26108408 memory=139874065806255 CPUtime=0 cores=0-7
/proc/10535/task/10542/stat : 10542 (java) S 10533 10533 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90858259 26735009792 12112 33554432000 4194304 4196468 140732903897696 140643149319056 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10543] ppid=10533 vsize=26108408 memory=139874065808560 CPUtime=0 cores=0-7
/proc/10535/task/10543/stat : 10543 (java) S 10533 10533 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90858259 26735009792 12112 33554432000 4194304 4196468 140732903897696 140643148266512 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10544] ppid=10533 vsize=26108408 memory=139874065810864 CPUtime=0 cores=0-7
/proc/10535/task/10544/stat : 10544 (java) S 10533 10533 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90858259 26735009792 12112 33554432000 4194304 4196468 140732903897696 140643147213968 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10545] ppid=10533 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10545/stat : 10545 (java) S 10533 10533 10489 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 90858261 26735009792 12112 33554432000 4194304 4196468 140732903897696 140642329356272 140643201972866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10546] ppid=10533 vsize=26108408 memory=279748131628688 CPUtime=0 cores=0-7
/proc/10535/task/10546/stat : 10546 (java) S 10533 10533 10489 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 90858261 26735009792 12112 33554432000 4194304 4196468 140732903897696 140641405756320 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10547] ppid=10533 vsize=26108408 memory=279748131635600 CPUtime=0 cores=0-7
/proc/10535/task/10547/stat : 10547 (java) S 10533 10533 10489 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 90858261 26735009792 12112 33554432000 4194304 4196468 140732903897696 140641404703728 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10548] ppid=10533 vsize=26108408 memory=279748131576880 CPUtime=0 cores=0-7
/proc/10535/task/10548/stat : 10548 (java) S 10533 10533 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90858264 26735009792 12112 33554432000 4194304 4196468 140732903897696 140641403652304 140643201980315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10549] ppid=10533 vsize=26108408 memory=279748131649424 CPUtime=0.02 cores=0-7
/proc/10535/task/10549/stat : 10549 (java) S 10533 10533 10489 0 -1 1077944384 482 0 0 0 2 0 0 0 20 0 20 0 90858264 26735009792 12112 33554432000 4194304 4196468 140732903897696 140641402599920 140643201972866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10550] ppid=10533 vsize=26108408 memory=279748131656336 CPUtime=0.02 cores=0-7
/proc/10535/task/10550/stat : 10550 (java) S 10533 10533 10489 0 -1 1077944384 160 0 0 0 2 0 0 0 20 0 20 0 90858264 26735009792 12112 33554432000 4194304 4196468 140732903897696 140641401547376 140643201972866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10551] ppid=10533 vsize=26108408 memory=279748131654032 CPUtime=0.02 cores=0-7
/proc/10535/task/10551/stat : 10551 (java) S 10533 10533 10489 0 -1 1077944384 200 0 0 0 2 0 0 0 20 0 20 0 90858264 26735009792 12112 33554432000 4194304 4196468 140732903897696 140641400494832 140643201972866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10552] ppid=10533 vsize=26108408 memory=279748131670192 CPUtime=0.12 cores=0-7
/proc/10535/task/10552/stat : 10552 (java) S 10533 10533 10489 0 -1 1077944384 828 0 0 0 12 0 0 0 20 0 20 0 90858264 26735009792 12112 33554432000 4194304 4196468 140732903897696 140641399442288 140643201972866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10553] ppid=10533 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10553/stat : 10553 (java) S 10533 10533 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90858264 26735009792 12112 33554432000 4194304 4196468 140732903897696 140641398388960 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10554] ppid=10533 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/10535/task/10554/stat : 10554 (java) S 10533 10533 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90858264 26735009792 12112 33554432000 4194304 4196468 140732903897696 140641397336496 140643201972866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 49628 KiB

[startup+0.701046 s]
/proc/loadavg: 7.47 8.23 8.28 5/203 10554
/proc/meminfo: memFree=23634432/32770624 swapFree=67108860/67108860
[pid=10533] ppid=10530 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/10533/stat : 10533 (xcsp3-exec) S 10530 10533 10489 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90858258 115843072 364 33554432000 4194304 5098028 140730968987008 140730968985112 140436317860476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37539840 140730968990774 140730968990976 140730968990976 140730968993738 0
/proc/10533/statm: 28282 364 306 221 0 87 0
[pid=10535] ppid=10533 vsize=26110532 memory=109852 CPUtime=1.8 cores=0-7
/proc/10535/stat : 10535 (java) S 10533 10533 10489 0 -1 1077944320 14002 0 0 0 174 6 0 0 20 0 20 0 90858258 26737184768 27463 33554432000 4194304 4196468 140732903897696 140732903880240 140643201961719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
/proc/10535/statm: 6527633 27463 3349 1 0 6488827 0
[pid=10535/tid=10536] ppid=10533 vsize=26110532 memory=279748131965120 CPUtime=0.67 cores=0-7
/proc/10535/task/10536/stat : 10536 (java) R 10533 10533 10489 0 -1 4202560 7034 0 0 0 63 4 0 0 20 0 20 0 90858258 26737184768 27463 33554432000 4194304 4196468 140732903897696 140643206196032 140643183611195 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10537] ppid=10533 vsize=26110532 memory=5098126181534 CPUtime=0 cores=0-7
/proc/10535/task/10537/stat : 10537 (java) S 10533 10533 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 90858259 26737184768 27463 33554432000 4194304 4196468 140732903897696 140643154581776 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10538] ppid=10533 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10538/stat : 10538 (java) S 10533 10533 10489 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 90858259 26737184768 27463 33554432000 4194304 4196468 140732903897696 140643153529232 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10539] ppid=10533 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/10535/task/10539/stat : 10539 (java) S 10533 10533 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 90858259 26737184768 27463 33554432000 4194304 4196468 140732903897696 140643152476688 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0

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

[pid=10535/tid=10722] ppid=10533 vsize=26646120 memory=1456 CPUtime=2393.84 cores=0-7
/proc/10535/task/10722/stat : 10722 (java) R 10533 10533 10489 0 -1 4202560 36700 0 0 0 239307 77 0 0 20 0 28 0 90861598 27285626880 1353263 33554432000 4194304 4196468 140732903897696 140641072627256 140642821175805 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
Current children cumulated CPU time: 19275.9 s
Current children cumulated vsize: 26759248 KiB
Current children cumulated memory: 5414508 KiB

[startup+2502.3 s]
/proc/loadavg: 8.56 8.44 8.39 10/212 10775
/proc/meminfo: memFree=18289432/32770624 swapFree=67108860/67108860
[pid=10533] ppid=10530 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/10533/stat : 10533 (xcsp3-exec) S 10530 10533 10489 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90858258 115843072 364 33554432000 4194304 5098028 140730968987008 140730968985112 140436317860476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37539840 140730968990774 140730968990976 140730968990976 140730968993738 0
/proc/10533/statm: 28282 364 306 221 0 87 0
[pid=10535] ppid=10533 vsize=26646120 memory=5423720 CPUtime=19754.4 cores=0-7
/proc/10535/stat : 10535 (java) S 10533 10533 10489 0 -1 1077944320 900332 0 0 0 1973219 2222 0 0 20 0 28 0 90858258 27285626880 1355930 33554432000 4194304 4196468 140732903897696 140732903880240 140643201961719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
/proc/10535/statm: 6661530 1355930 3452 1 0 6622724 0
[pid=10535/tid=10536] ppid=10533 vsize=26646120 memory=5423720 CPUtime=26.08 cores=0-7
/proc/10535/task/10536/stat : 10536 (java) S 10533 10533 10489 0 -1 1077944384 9704 0 0 0 2596 12 0 0 20 0 28 0 90858258 27285626880 1355930 33554432000 4194304 4196468 140732903897696 140643206202496 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10537] ppid=10533 vsize=26646120 memory=5421216 CPUtime=7.6 cores=0-7
/proc/10535/task/10537/stat : 10537 (java) S 10533 10533 10489 0 -1 1077944384 45217 0 0 0 571 189 0 0 20 0 28 0 90858259 27285626880 1355930 33554432000 4194304 4196468 140732903897696 140643154581776 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10538] ppid=10533 vsize=26646120 memory=5421216 CPUtime=7.7 cores=0-7
/proc/10535/task/10538/stat : 10538 (java) S 10533 10533 10489 0 -1 1077944384 43215 0 0 0 572 198 0 0 20 0 28 0 90858259 27285626880 1355930 33554432000 4194304 4196468 140732903897696 140643153529232 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10539] ppid=10533 vsize=26646120 memory=5421216 CPUtime=7.56 cores=0-7
/proc/10535/task/10539/stat : 10539 (java) S 10533 10533 10489 0 -1 1077944384 45605 0 0 0 566 190 0 0 20 0 28 0 90858259 27285626880 1355930 33554432000 4194304 4196468 140732903897696 140643152476688 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10540] ppid=10533 vsize=26646120 memory=5423720 CPUtime=7.53 cores=0-7
/proc/10535/task/10540/stat : 10540 (java) S 10533 10533 10489 0 -1 1077944384 40787 0 0 0 574 179 0 0 20 0 28 0 90858259 27285626880 1355930 33554432000 4194304 4196468 140732903897696 140643151424144 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10541] ppid=10533 vsize=26646120 memory=1456 CPUtime=7.66 cores=0-7
/proc/10535/task/10541/stat : 10541 (java) S 10533 10533 10489 0 -1 1077944384 38461 0 0 0 575 191 0 0 20 0 28 0 90858259 27285626880 1355930 33554432000 4194304 4196468 140732903897696 140643150371600 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10542] ppid=10533 vsize=26646120 memory=5416376 CPUtime=7.67 cores=0-7
/proc/10535/task/10542/stat : 10542 (java) S 10533 10533 10489 0 -1 1077944384 36691 0 0 0 568 199 0 0 20 0 28 0 90858259 27285626880 1355930 33554432000 4194304 4196468 140732903897696 140643149319056 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10543] ppid=10533 vsize=26646120 memory=1456 CPUtime=7.62 cores=0-7
/proc/10535/task/10543/stat : 10543 (java) S 10533 10533 10489 0 -1 1077944384 36701 0 0 0 570 192 0 0 20 0 28 0 90858259 27285626880 1355930 33554432000 4194304 4196468 140732903897696 140643148266512 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 21 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10544] ppid=10533 vsize=26646120 memory=1456 CPUtime=7.55 cores=0-7
/proc/10535/task/10544/stat : 10544 (java) S 10533 10533 10489 0 -1 1077944384 40529 0 0 0 571 184 0 0 20 0 28 0 90858259 27285626880 1355930 33554432000 4194304 4196468 140732903897696 140643147213968 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10545] ppid=10533 vsize=26646120 memory=279748132794176 CPUtime=1.27 cores=0-7
/proc/10535/task/10545/stat : 10545 (java) S 10533 10533 10489 0 -1 1077944384 28920 0 0 0 120 7 0 0 20 0 28 0 90858261 27285626880 1355930 33554432000 4194304 4196468 140732903897696 140642329356272 140643201972866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10546] ppid=10533 vsize=26646120 memory=-7025448733113094249 CPUtime=0 cores=0-7
/proc/10535/task/10546/stat : 10546 (java) S 10533 10533 10489 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 28 0 90858261 27285626880 1355930 33554432000 4194304 4196468 140732903897696 140641405756384 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10547] ppid=10533 vsize=26646120 memory=928 CPUtime=0 cores=0-7
/proc/10535/task/10547/stat : 10547 (java) S 10533 10533 10489 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 28 0 90858261 27285626880 1355930 33554432000 4194304 4196468 140732903897696 140641404703744 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10548] ppid=10533 vsize=26646120 memory=2236 CPUtime=0 cores=0-7
/proc/10535/task/10548/stat : 10548 (java) S 10533 10533 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90858264 27285626880 1355930 33554432000 4194304 4196468 140732903897696 140641403652304 140643201980315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10549] ppid=10533 vsize=26646120 memory=240519 CPUtime=2.35 cores=0-7
/proc/10535/task/10549/stat : 10549 (java) S 10533 10533 10489 0 -1 1077944384 25327 0 0 0 231 4 0 0 20 0 28 0 90858264 27285626880 1355930 33554432000 4194304 4196468 140732903897696 140641402599920 140643201972866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10550] ppid=10533 vsize=26646120 memory=241615 CPUtime=2.56 cores=0-7
/proc/10535/task/10550/stat : 10550 (java) S 10533 10533 10489 0 -1 1077944384 26559 0 0 0 252 4 0 0 20 0 28 0 90858264 27285626880 1355930 33554432000 4194304 4196468 140732903897696 140641401547376 140643201972866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10551] ppid=10533 vsize=26646120 memory=1456 CPUtime=2.88 cores=0-7
/proc/10535/task/10551/stat : 10551 (java) S 10533 10533 10489 0 -1 1077944384 22550 0 0 0 285 3 0 0 20 0 28 0 90858264 27285626880 1355930 33554432000 4194304 4196468 140732903897696 140641400494832 140643201972866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10552] ppid=10533 vsize=26646120 memory=5421216 CPUtime=0.93 cores=0-7
/proc/10535/task/10552/stat : 10552 (java) S 10533 10533 10489 0 -1 1077944384 17026 0 0 0 90 3 0 0 20 0 28 0 90858264 27285626880 1355930 33554432000 4194304 4196468 140732903897696 140641399442288 140643201972866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10553] ppid=10533 vsize=26646120 memory=1456 CPUtime=0 cores=0-7
/proc/10535/task/10553/stat : 10553 (java) S 10533 10533 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90858264 27285626880 1355930 33554432000 4194304 4196468 140732903897696 140641398388960 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10554] ppid=10533 vsize=26646120 memory=1456 CPUtime=1.06 cores=0-7
/proc/10535/task/10554/stat : 10554 (java) S 10533 10533 10489 0 -1 1077944384 2674 0 0 0 59 47 0 0 20 0 28 0 90858264 27285626880 1355930 33554432000 4194304 4196468 140732903897696 140641397336496 140643201972866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 32 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10715] ppid=10533 vsize=26646120 memory=5421216 CPUtime=2462.03 cores=0-7
/proc/10535/task/10715/stat : 10715 (java) R 10533 10533 10489 0 -1 4202560 123535 0 0 0 246105 98 0 0 20 0 28 0 90861598 27285626880 1355930 33554432000 4194304 4196468 140732903897696 140641077889816 140642821904554 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10716] ppid=10533 vsize=26646120 memory=2444 CPUtime=2451.87 cores=0-7
/proc/10535/task/10716/stat : 10716 (java) R 10533 10533 10489 0 -1 4202560 25351 0 0 0 245079 108 0 0 20 0 28 0 90861598 27285626880 1355930 33554432000 4194304 4196468 140732903897696 140641078943872 140642821160783 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10717] ppid=10533 vsize=26646120 memory=2444 CPUtime=2449.16 cores=0-7
/proc/10535/task/10717/stat : 10717 (java) R 10533 10533 10489 0 -1 4202560 26577 0 0 0 244857 59 0 0 20 0 28 0 90861598 27285626880 1355930 33554432000 4194304 4196468 140732903897696 140641074735552 140642821904294 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10718] ppid=10533 vsize=26646120 memory=1832 CPUtime=2458.63 cores=0-7
/proc/10535/task/10718/stat : 10718 (java) R 10533 10533 10489 0 -1 4202560 123252 0 0 0 245780 83 0 0 20 0 28 0 90861598 27285626880 1355930 33554432000 4194304 4196468 140732903897696 140641081049352 140642821175627 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10719] ppid=10533 vsize=26646120 memory=1948 CPUtime=2458.46 cores=0-7
/proc/10535/task/10719/stat : 10719 (java) R 10533 10533 10489 0 -1 4202560 45870 0 0 0 245701 145 0 0 20 0 28 0 90861598 27285626880 1355930 33554432000 4194304 4196468 140732903897696 140641079996808 140642821904289 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10720] ppid=10533 vsize=26646120 memory=4132 CPUtime=2450.26 cores=0-7
/proc/10535/task/10720/stat : 10720 (java) R 10533 10533 10489 0 -1 4202560 19501 0 0 0 244990 36 0 0 20 0 28 0 90861598 27285626880 1355930 33554432000 4194304 4196468 140732903897696 140641075786520 140642821175627 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10721] ppid=10533 vsize=26646120 memory=26364 CPUtime=2462.01 cores=0-7
/proc/10535/task/10721/stat : 10721 (java) R 10533 10533 10489 0 -1 4202560 30299 0 0 0 246174 27 0 0 20 0 28 0 90861598 27285626880 1355930 33554432000 4194304 4196468 140732903897696 140641076838296 140642821902816 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10722] ppid=10533 vsize=26646120 memory=1292 CPUtime=2453.75 cores=0-7
/proc/10535/task/10722/stat : 10722 (java) R 10533 10533 10489 0 -1 4202560 37074 0 0 0 245295 80 0 0 20 0 28 0 90861598 27285626880 1355930 33554432000 4194304 4196468 140732903897696 140641072627352 140642821175627 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
Current children cumulated CPU time: 19754.4 s
Current children cumulated vsize: 26759248 KiB
Current children cumulated memory: 5425176 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.46 8.43 8.39 9/212 10775
/proc/meminfo: memFree=18287208/32770624 swapFree=67108860/67108860
[pid=10533] ppid=10530 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/10533/stat : 10533 (xcsp3-exec) S 10530 10533 10489 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 90858258 115843072 364 33554432000 4194304 5098028 140730968987008 140730968985112 140436317860476 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37539840 140730968990774 140730968990976 140730968990976 140730968993738 0
/proc/10533/statm: 28282 364 306 221 0 87 0
[pid=10535] ppid=10533 vsize=26646120 memory=5426148 CPUtime=19895.7 cores=0-7
/proc/10535/stat : 10535 (java) S 10533 10533 10489 0 -1 1077944320 900975 0 0 0 1987341 2225 0 0 20 0 28 0 90858258 27285626880 1356537 33554432000 4194304 4196468 140732903897696 140732903880240 140643201961719 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
/proc/10535/statm: 6661530 1356537 3452 1 0 6622724 0
[pid=10535/tid=10536] ppid=10533 vsize=26646120 memory=1832 CPUtime=26.08 cores=0-7
/proc/10535/task/10536/stat : 10536 (java) S 10533 10533 10489 0 -1 1077944384 9704 0 0 0 2596 12 0 0 20 0 28 0 90858258 27285626880 1356537 33554432000 4194304 4196468 140732903897696 140643206202496 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10537] ppid=10533 vsize=26646120 memory=1948 CPUtime=7.61 cores=0-7
/proc/10535/task/10537/stat : 10537 (java) S 10533 10533 10489 0 -1 1077944384 45217 0 0 0 572 189 0 0 20 0 28 0 90858259 27285626880 1356537 33554432000 4194304 4196468 140732903897696 140643154581776 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10538] ppid=10533 vsize=26646120 memory=1224 CPUtime=7.71 cores=0-7
/proc/10535/task/10538/stat : 10538 (java) S 10533 10533 10489 0 -1 1077944384 43219 0 0 0 573 198 0 0 20 0 28 0 90858259 27285626880 1356537 33554432000 4194304 4196468 140732903897696 140643153529232 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10539] ppid=10533 vsize=26646120 memory=-7003737579269690708 CPUtime=7.57 cores=0-7
/proc/10535/task/10539/stat : 10539 (java) S 10533 10533 10489 0 -1 1077944384 45613 0 0 0 567 190 0 0 20 0 28 0 90858259 27285626880 1356537 33554432000 4194304 4196468 140732903897696 140643152476688 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10540] ppid=10533 vsize=26646120 memory=1792 CPUtime=7.54 cores=0-7
/proc/10535/task/10540/stat : 10540 (java) S 10533 10533 10489 0 -1 1077944384 40788 0 0 0 575 179 0 0 20 0 28 0 90858259 27285626880 1356537 33554432000 4194304 4196468 140732903897696 140643151424144 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10541] ppid=10533 vsize=26646120 memory=1236 CPUtime=7.66 cores=0-7
/proc/10535/task/10541/stat : 10541 (java) S 10533 10533 10489 0 -1 1077944384 38462 0 0 0 575 191 0 0 20 0 28 0 90858259 27285626880 1356537 33554432000 4194304 4196468 140732903897696 140643150371600 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10542] ppid=10533 vsize=26646120 memory=648 CPUtime=7.67 cores=0-7
/proc/10535/task/10542/stat : 10542 (java) S 10533 10533 10489 0 -1 1077944384 36694 0 0 0 568 199 0 0 20 0 28 0 90858259 27285626880 1356537 33554432000 4194304 4196468 140732903897696 140643149319056 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10543] ppid=10533 vsize=26646120 memory=956 CPUtime=7.63 cores=0-7
/proc/10535/task/10543/stat : 10543 (java) S 10533 10533 10489 0 -1 1077944384 36703 0 0 0 571 192 0 0 20 0 28 0 90858259 27285626880 1356537 33554432000 4194304 4196468 140732903897696 140643148266512 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10544] ppid=10533 vsize=26646120 memory=2340 CPUtime=7.55 cores=0-7
/proc/10535/task/10544/stat : 10544 (java) S 10533 10533 10489 0 -1 1077944384 40533 0 0 0 571 184 0 0 20 0 28 0 90858259 27285626880 1356537 33554432000 4194304 4196468 140732903897696 140643147213968 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10545] ppid=10533 vsize=26646120 memory=1584 CPUtime=1.27 cores=0-7
/proc/10535/task/10545/stat : 10545 (java) S 10533 10533 10489 0 -1 1077944384 28923 0 0 0 120 7 0 0 20 0 28 0 90858261 27285626880 1356537 33554432000 4194304 4196468 140732903897696 140642329356272 140643201972866 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10546] ppid=10533 vsize=26646120 memory=928 CPUtime=0 cores=0-7
/proc/10535/task/10546/stat : 10546 (java) S 10533 10533 10489 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 28 0 90858261 27285626880 1356537 33554432000 4194304 4196468 140732903897696 140641405756384 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10547] ppid=10533 vsize=26646120 memory=2236 CPUtime=0 cores=0-7
/proc/10535/task/10547/stat : 10547 (java) S 10533 10533 10489 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 28 0 90858261 27285626880 1356537 33554432000 4194304 4196468 140732903897696 140641404703744 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10548] ppid=10533 vsize=26646120 memory=4128 CPUtime=0 cores=0-7
/proc/10535/task/10548/stat : 10548 (java) S 10533 10533 10489 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 90858264 27285626880 1356537 33554432000 4194304 4196468 140732903897696 140641403652304 140643201980315 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10549] ppid=10533 vsize=26646120 memory=2196 CPUtime=2.35 cores=0-7
/proc/10535/task/10549/stat : 10549 (java) S 10533 10533 10489 0 -1 1077944384 25327 0 0 0 231 4 0 0 20 0 28 0 90858264 27285626880 1356537 33554432000 4194304 4196468 140732903897696 140641402599920 140643201972866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10550] ppid=10533 vsize=26646120 memory=7288 CPUtime=2.56 cores=0-7
/proc/10535/task/10550/stat : 10550 (java) S 10533 10533 10489 0 -1 1077944384 26559 0 0 0 252 4 0 0 20 0 28 0 90858264 27285626880 1356537 33554432000 4194304 4196468 140732903897696 140641401547376 140643201972866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10551] ppid=10533 vsize=26646120 memory=836 CPUtime=2.88 cores=0-7
/proc/10535/task/10551/stat : 10551 (java) S 10533 10533 10489 0 -1 1077944384 22550 0 0 0 285 3 0 0 20 0 28 0 90858264 27285626880 1356537 33554432000 4194304 4196468 140732903897696 140641400494832 140643201972866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10552] ppid=10533 vsize=26646120 memory=1424 CPUtime=0.93 cores=0-7
/proc/10535/task/10552/stat : 10552 (java) S 10533 10533 10489 0 -1 1077944384 17026 0 0 0 90 3 0 0 20 0 28 0 90858264 27285626880 1356537 33554432000 4194304 4196468 140732903897696 140641399442288 140643201972866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10553] ppid=10533 vsize=26646120 memory=796 CPUtime=0 cores=0-7
/proc/10535/task/10553/stat : 10553 (java) S 10533 10533 10489 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 90858264 27285626880 1356537 33554432000 4194304 4196468 140732903897696 140641398388960 140643201971925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10554] ppid=10533 vsize=26646120 memory=8452 CPUtime=1.08 cores=0-7
/proc/10535/task/10554/stat : 10554 (java) S 10533 10533 10489 0 -1 1077944384 2676 0 0 0 60 48 0 0 20 0 28 0 90858264 27285626880 1356537 33554432000 4194304 4196468 140732903897696 140641397336496 140643201972866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 32 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10715] ppid=10533 vsize=26646120 memory=5776 CPUtime=2479.71 cores=0-7
/proc/10535/task/10715/stat : 10715 (java) R 10533 10533 10489 0 -1 4202560 123575 0 0 0 247872 99 0 0 20 0 28 0 90861598 27285626880 1356537 33554432000 4194304 4196468 140732903897696 140641077889840 140642821377712 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10716] ppid=10533 vsize=26646120 memory=1200 CPUtime=2469.57 cores=0-7
/proc/10535/task/10716/stat : 10716 (java) R 10533 10533 10489 0 -1 4202560 25697 0 0 0 246849 108 0 0 20 0 28 0 90861598 27285626880 1356537 33554432000 4194304 4196468 140732903897696 140641078943752 140642820724055 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10717] ppid=10533 vsize=26646120 memory=12136 CPUtime=2466.85 cores=0-7
/proc/10535/task/10717/stat : 10717 (java) R 10533 10533 10489 0 -1 4202560 26596 0 0 0 246626 59 0 0 20 0 28 0 90861598 27285626880 1356537 33554432000 4194304 4196468 140732903897696 140641074733192 140642821175661 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10718] ppid=10533 vsize=26646120 memory=5776 CPUtime=2476.33 cores=0-7
/proc/10535/task/10718/stat : 10718 (java) R 10533 10533 10489 0 -1 4202560 123294 0 0 0 247550 83 0 0 20 0 28 0 90861598 27285626880 1356537 33554432000 4194304 4196468 140732903897696 140641081049352 140642820723974 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10719] ppid=10533 vsize=26646120 memory=6791534058613427641 CPUtime=2476.15 cores=0-7
/proc/10535/task/10719/stat : 10719 (java) R 10533 10533 10489 0 -1 4202560 45941 0 0 0 247470 145 0 0 20 0 28 0 90861598 27285626880 1356537 33554432000 4194304 4196468 140732903897696 140641079996808 140642821175853 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10720] ppid=10533 vsize=26646120 memory=12136 CPUtime=2467.57 cores=0-7
/proc/10535/task/10720/stat : 10720 (java) R 10533 10533 10489 0 -1 4202560 19513 0 0 0 246721 36 0 0 20 0 28 0 90861598 27285626880 1356537 33554432000 4194304 4196468 140732903897696 140641075786248 140642821175627 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10721] ppid=10533 vsize=26646120 memory=1008 CPUtime=2479.71 cores=0-7
/proc/10535/task/10721/stat : 10721 (java) R 10533 10533 10489 0 -1 4202560 30330 0 0 0 247944 27 0 0 20 0 28 0 90861598 27285626880 1356537 33554432000 4194304 4196468 140732903897696 140641076837672 140642821904801 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
[pid=10535/tid=10722] ppid=10533 vsize=26646120 memory=4620 CPUtime=2471.45 cores=0-7
/proc/10535/task/10722/stat : 10722 (java) R 10533 10533 10489 0 -1 4202560 37128 0 0 0 247064 81 0 0 20 0 28 0 90861598 27285626880 1356537 33554432000 4194304 4196468 140732903897696 140641072629968 140642821175627 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 38633472 140732903904385 140732903904557 140732903904557 140732903907279 0
Current children cumulated CPU time: 19895.7 s
Current children cumulated vsize: 26759248 KiB
Current children cumulated memory: 5427604 KiB

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

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

[startup+2520.13 s]
# the end of solver process 10535 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19874.2 s, system=22.2832 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.13
CPU time (s): 19896.4
CPU user time (s): 19874.2
CPU system time (s): 22.2832
CPU usage (%): 789.499
Max. virtual memory (cumulated for all children) (KiB): 26759248
Max. memory (cumulated for all children) (KiB): 6645172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19874.2
system time used= 22.2832
maximum resident set size= 6643792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 901775
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80663
involuntary context switches= 222237


# summary of solver processes directly reported to runsolver:
#   pid: 10533,10535
#   total CPU time (s): 19896.4
#   total CPU user time (s): 19874.2
#   total CPU system time (s): 22.2832

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.5923 second user time and 32.6951 second system time

The end

Launcher Data 

Begin job on node132 at 2018-07-28 01:09:11
IDJOB=4297436
IDBENCH=141629
IDSOLVER=2760
FILE ID=node132/4297436-1532732951
RUNJOBID= node132-1532732951-10516
PBS_JOBID= 21022352
Free space on /tmp= 52044 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/TravellingSalesman/TravellingSalesman-150-50-00_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-4297436-1532732951/watcher-4297436-1532732951 -o /tmp/evaluation-result-4297436-1532732951/solver-4297436-1532732951 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1532732951-10516 --watchdog 2580  HOME/xcsp3-exec -seed 769893600 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297436-1532732951.xml

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

MD5SUM BENCH= 784274e168c99e425b71be44c62c6ab3
RANDOM SEED=769893600

node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23707216 kB
MemAvailable:   31927440 kB
Buffers:          187588 kB
Cached:          8238696 kB
SwapCached:            0 kB
Active:          2595796 kB
Inactive:        5884588 kB
Active(anon):       4032 kB
Inactive(anon):    77904 kB
Active(file):    2591764 kB
Inactive(file):  5806684 kB
Unevictable:        6992 kB
Mlocked:            6992 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             21752 kB
Writeback:             0 kB
AnonPages:         60820 kB
Mapped:            42024 kB
Shmem:             25248 kB
Slab:             277532 kB
SReclaimable:     250236 kB
SUnreclaim:        27296 kB
KernelStack:        3168 kB
PageTables:         5092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 52020 MiB
End job on node132 at 2018-07-28 01:51:11