Trace number 4393041

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 NameAnswerCPU timeWall clock time
choco-solver 2019-06-14SAT 114.434 29.1039

General information on the benchmark

NameNumberPartitioning/NumberPartitioning-m1-s1/
NumberPartitioning-184.xml
MD5SUM50aaeae16ffb672916f4ac64373270f5
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark114.434
Satisfiable
(Un)Satisfiability was proved
Number of variables368
Number of constraints192
Number of domains2
Minimum domain size184
Maximum domain size33856
Distribution of domain sizes[{"size":184,"count":184},{"size":33856,"count":184}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":184},{"degree":4,"count":183},{"degree":5,"count":1}]
Minimum constraint arity1
Maximum constraint arity184
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":184},{"arity":92,"count":6},{"arity":184,"count":1}]
Number of extensional constraints0
Number of intensional constraints185
Distribution of constraint types[{"type":"intension","count":185},{"type":"allDifferent","count":1},{"type":"ordered","count":2},{"type":"sum","count":4}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393041-1568315071.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4393041-1568315071.xml, -tl, 2520s, -p, 4]
0.13/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
1.63/0.79	c solve instance...
114.12/29.08	s SATISFIABLE
114.12/29.08	v <instantiation>
114.12/29.08	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38] y[39] y[40] y[41] y[42] y[43] y[44] y[45] y[46] y[47] y[48] y[49] y[50] y[51] y[52] y[53] y[54] y[55] y[56] y[57] y[58] y[59] y[60] y[61] y[62] y[63] y[64] y[65] y[66] y[67] y[68] y[69] y[70] y[71] y[72] y[73] y[74] y[75] y[76] y[77] y[78] y[79] y[80] y[81] y[82] y[83] y[84] y[85] y[86] y[87] y[88] y[89] y[90] y[91] cx[0] cx[1] cx[2] cx[3] cx[4] cx[5] cx[6] cx[7] cx[8] cx[9] cx[10] cx[11] cx[12] cx[13] cx[14] cx[15] cx[16] cx[17] cx[18] cx[19] cx[20] cx[21] cx[22] cx[23] cx[24] cx[25] cx[26] cx[27] cx[28] cx[29] cx[30] cx[31] cx[32] cx[33] cx[34] cx[35] cx[36] cx[37] cx[38] cx[39] cx[40] cx[41] cx[42] cx[43] cx[44] cx[45] cx[46] cx[47] cx[48] cx[49] cx[50] cx[51] cx[52] cx[53] cx[54] cx[55] cx[56] cx[57] cx[58] cx[59] cx[60] cx[61] cx[62] cx[63] cx[64] cx[65] cx[66] cx[67] cx[68] cx[69] cx[70] cx[71] cx[72] cx[73] cx[74] cx[75] cx[76] cx[77] cx[78] cx[79] cx[80] cx[81] cx[82] cx[83] cx[84] cx[85] cx[86] cx[87] cx[88] cx[89] cx[90] cx[91] cy[0] cy[1] cy[2] cy[3] cy[4] cy[5] cy[6] cy[7] cy[8] cy[9] cy[10] cy[11] cy[12] cy[13] cy[14] cy[15] cy[16] cy[17] cy[18] cy[19] cy[20] cy[21] cy[22] cy[23] cy[24] cy[25] cy[26] cy[27] cy[28] cy[29] cy[30] cy[31] cy[32] cy[33] cy[34] cy[35] cy[36] cy[37] cy[38] cy[39] cy[40] cy[41] cy[42] cy[43] cy[44] cy[45] cy[46] cy[47] cy[48] cy[49] cy[50] cy[51] cy[52] cy[53] cy[54] cy[55] cy[56] cy[57] cy[58] cy[59] cy[60] cy[61] cy[62] cy[63] cy[64] cy[65] cy[66] cy[67] cy[68] cy[69] cy[70] cy[71] cy[72] cy[73] cy[74] cy[75] cy[76] cy[77] cy[78] cy[79] cy[80] cy[81] cy[82] cy[83] cy[84] cy[85] cy[86] cy[87] cy[88] cy[89] cy[90] cy[91] </list>
114.12/29.08	v 	<values>1 2 15 20 23 24 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 159 170 171 172 173 174 175 176 177 178 179 180 182 183 3 4 5 6 7 8 9 10 11 12 13 14 16 17 18 19 21 22 25 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 160 161 162 163 164 165 166 167 168 169 181 184 1 4 225 400 529 576 676 729 784 841 900 961 1024 1089 1156 1225 1296 1369 1444 1521 1600 1681 1764 1849 1936 2025 2116 2209 2304 2401 2500 2601 2704 2809 2916 3025 3136 3249 3364 3481 3600 3721 11025 11236 11449 11664 11881 12100 12321 12544 12769 12996 13225 13456 13689 13924 14161 14400 14641 14884 15129 15376 15625 15876 16129 16384 16641 16900 17161 17424 17689 17956 18225 18496 18769 19044 19321 19600 25281 28900 29241 29584 29929 30276 30625 30976 31329 31684 32041 32400 33124 33489 9 16 25 36 49 64 81 100 121 144 169 196 256 289 324 361 441 484 625 3844 3969 4096 4225 4356 4489 4624 4761 4900 5041 5184 5329 5476 5625 5776 5929 6084 6241 6400 6561 6724 6889 7056 7225 7396 7569 7744 7921 8100 8281 8464 8649 8836 9025 9216 9409 9604 9801 10000 10201 10404 10609 10816 19881 20164 20449 20736 21025 21316 21609 21904 22201 22500 22801 23104 23409 23716 24025 24336 24649 24964 25600 25921 26244 26569 26896 27225 27556 27889 28224 28561 32761 33856 </values>
114.12/29.08	v </instantiation>

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393041-1568315071/watcher-4393041-1568315071 -o /tmp/evaluation-result-4393041-1568315071/solver-4393041-1568315071 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14093 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1587802769 HOME/instance-4393041-1568315071.xml 

running on 4 cores: 0,2,4,6

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

solver pid=16172, runsolver pid=16169

[startup+0.100085 s]*
/proc/loadavg: 8.33 8.37 7.22 7/234 16188
/proc/meminfo: memFree=29707344/32770624 swapFree=66996224/67108860
[pid=16172] ppid=16169 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16172/stat : 16172 (xcsp3-exec) S 16169 16172 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407761799 115843072 363 33554432000 4194304 5098028 140721174471936 140721174470040 139905694962300 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21762048 140721174475642 140721174475885 140721174475885 140721174478794 0
/proc/16172/statm: 28282 363 304 221 0 87 0
[pid=16174] ppid=16172 vsize=15144768 memory=29060 CPUtime=0.13 cores=0,2,4,6
/proc/16174/stat : 16174 (java) S 16172 16172 14062 0 -1 1077944320 5704 0 0 0 12 1 0 0 20 0 15 0 407761799 15508242432 7265 33554432000 4194304 4196468 140734985858784 140734985841328 140604018089719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
/proc/16174/statm: 3786192 7265 3150 1 0 3748377 0
[pid=16174/tid=16175] ppid=16172 vsize=15144768 memory=-2698087569006908830 CPUtime=0.09 cores=0,2,4,6
/proc/16174/task/16175/stat : 16175 (java) R 16172 16172 14062 0 -1 4202560 3576 0 0 0 9 0 0 0 20 0 15 0 407761799 15508242432 7265 33554432000 4194304 4196468 140734985858784 140604022319072 140604010326846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16176] ppid=16172 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16176/stat : 16176 (java) S 16172 16172 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407761800 15508242432 7265 33554432000 4194304 4196468 140734985858784 140603946129808 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16177] ppid=16172 vsize=15144768 memory=139684750370432 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16177/stat : 16177 (java) S 16172 16172 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407761800 15508242432 7265 33554432000 4194304 4196468 140734985858784 140603945077008 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16178] ppid=16172 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16178/stat : 16178 (java) S 16172 16172 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407761800 15508242432 7265 33554432000 4194304 4196468 140734985858784 140603944024720 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16179] ppid=16172 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16179/stat : 16179 (java) S 16172 16172 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407761800 15508242432 7265 33554432000 4194304 4196468 140734985858784 140603942971920 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16180] ppid=16172 vsize=15144768 memory=139684750370432 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16180/stat : 16180 (java) S 16172 16172 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407761802 15508242432 7265 33554432000 4194304 4196468 140734985858784 140603486648944 140604018100866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16181] ppid=16172 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16181/stat : 16181 (java) S 16172 16172 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407761802 15508242432 7265 33554432000 4194304 4196468 140734985858784 140603485594912 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16182] ppid=16172 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16182/stat : 16182 (java) S 16172 16172 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407761802 15508242432 7265 33554432000 4194304 4196468 140734985858784 140603484542576 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16183] ppid=16172 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16183/stat : 16183 (java) S 16172 16172 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407761805 15508242432 7265 33554432000 4194304 4196468 140734985858784 140603483490896 140604018108315 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16184] ppid=16172 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16184/stat : 16184 (java) S 16172 16172 14062 0 -1 1077944384 342 0 0 0 0 0 0 0 20 0 15 0 407761805 15508242432 7265 33554432000 4194304 4196468 140734985858784 140603482437744 140604018100866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16185] ppid=16172 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16185/stat : 16185 (java) R 16172 16172 14062 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 407761805 15508242432 7265 33554432000 4194304 4196468 140734985858784 140603481385040 140604018099925 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16186] ppid=16172 vsize=15144768 memory=139684750370432 CPUtime=0.02 cores=0,2,4,6
/proc/16174/task/16186/stat : 16186 (java) R 16172 16172 14062 0 -1 4202560 362 0 0 0 2 0 0 0 20 0 15 0 407761805 15508242432 7265 33554432000 4194304 4196468 140734985858784 140603480327728 140603997034417 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16187] ppid=16172 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16187/stat : 16187 (java) S 16172 16172 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407761805 15508242432 7265 33554432000 4194304 4196468 140734985858784 140603479280096 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16188] ppid=16172 vsize=15144768 memory=139684750370432 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16188/stat : 16188 (java) S 16172 16172 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407761805 15508242432 7265 33554432000 4194304 4196468 140734985858784 140603478227888 140604018100866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30512 KiB

[startup+0.213074 s]*
/proc/loadavg: 8.33 8.37 7.22 6/234 16188
/proc/meminfo: memFree=29693344/32770624 swapFree=66996224/67108860
[pid=16172] ppid=16169 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16172/stat : 16172 (xcsp3-exec) S 16169 16172 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407761799 115843072 363 33554432000 4194304 5098028 140721174471936 140721174470040 139905694962300 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21762048 140721174475642 140721174475885 140721174475885 140721174478794 0
/proc/16172/statm: 28282 363 304 221 0 87 0
[pid=16174] ppid=16172 vsize=15144768 memory=41504 CPUtime=0.34 cores=0,2,4,6
/proc/16174/stat : 16174 (java) S 16172 16172 14062 0 -1 1077944320 9164 0 0 0 31 3 0 0 20 0 15 0 407761799 15508242432 10376 33554432000 4194304 4196468 140734985858784 140734985841328 140604018089719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
/proc/16174/statm: 3786192 10376 3291 1 0 3748377 0
[pid=16174/tid=16175] ppid=16172 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/16174/task/16175/stat : 16175 (java) R 16172 16172 14062 0 -1 4202560 6326 0 0 0 18 2 0 0 20 0 15 0 407761799 15508242432 10376 33554432000 4194304 4196468 140734985858784 140604022324704 140604018111549 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16176] ppid=16172 vsize=15144768 memory=2670165 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16176/stat : 16176 (java) S 16172 16172 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407761800 15508242432 10376 33554432000 4194304 4196468 140734985858784 140603946129808 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16177] ppid=16172 vsize=15144768 memory=2854491 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16177/stat : 16177 (java) S 16172 16172 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407761800 15508242432 10376 33554432000 4194304 4196468 140734985858784 140603945077008 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16178] ppid=16172 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16178/stat : 16178 (java) S 16172 16172 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407761800 15508242432 10376 33554432000 4194304 4196468 140734985858784 140603944024720 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16179] ppid=16172 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16179/stat : 16179 (java) S 16172 16172 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407761800 15508242432 10376 33554432000 4194304 4196468 140734985858784 140603942971920 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16180] ppid=16172 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16180/stat : 16180 (java) S 16172 16172 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407761802 15508242432 10376 33554432000 4194304 4196468 140734985858784 140603486648944 140604018100866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16181] ppid=16172 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16181/stat : 16181 (java) S 16172 16172 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407761802 15508242432 10376 33554432000 4194304 4196468 140734985858784 140603485594912 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16182] ppid=16172 vsize=15144768 memory=139684750370432 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16182/stat : 16182 (java) S 16172 16172 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407761802 15508242432 10376 33554432000 4194304 4196468 140734985858784 140603484542576 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16183] ppid=16172 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16183/stat : 16183 (java) S 16172 16172 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407761805 15508242432 10376 33554432000 4194304 4196468 140734985858784 140603483490896 140604018108315 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16184] ppid=16172 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16174/task/16184/stat : 16184 (java) S 16172 16172 14062 0 -1 1077944384 523 0 0 0 2 0 0 0 20 0 15 0 407761805 15508242432 10376 33554432000 4194304 4196468 140734985858784 140603482437744 140604018100866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16185] ppid=16172 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/16174/task/16185/stat : 16185 (java) S 16172 16172 14062 0 -1 1077944384 218 0 0 0 2 0 0 0 20 0 15 0 407761805 15508242432 10376 33554432000 4194304 4196468 140734985858784 140603481384944 140604018100866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16186] ppid=16172 vsize=15144768 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16174/task/16186/stat : 16186 (java) S 16172 16172 14062 0 -1 1077944384 792 0 0 0 8 0 0 0 20 0 15 0 407761805 15508242432 10376 33554432000 4194304 4196468 140734985858784 140603480332656 140604018100866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16187] ppid=16172 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16187/stat : 16187 (java) S 16172 16172 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407761805 15508242432 10376 33554432000 4194304 4196468 140734985858784 140603479280096 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16188] ppid=16172 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16188/stat : 16188 (java) S 16172 16172 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407761805 15508242432 10376 33554432000 4194304 4196468 140734985858784 140603478227888 140604018100866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42956 KiB

[startup+0.310516 s]*
/proc/loadavg: 8.33 8.37 7.22 7/234 16188
/proc/meminfo: memFree=29686480/32770624 swapFree=66996224/67108860
[pid=16172] ppid=16169 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16172/stat : 16172 (xcsp3-exec) S 16169 16172 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407761799 115843072 363 33554432000 4194304 5098028 140721174471936 140721174470040 139905694962300 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21762048 140721174475642 140721174475885 140721174475885 140721174478794 0
/proc/16172/statm: 28282 363 304 221 0 87 0
[pid=16174] ppid=16172 vsize=15149024 memory=51020 CPUtime=0.53 cores=0,2,4,6
/proc/16174/stat : 16174 (java) S 16172 16172 14062 0 -1 1077944320 10571 0 0 0 49 4 0 0 20 0 15 0 407761799 15512600576 12755 33554432000 4194304 4196468 140734985858784 140734985841328 140604018089719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
/proc/16174/statm: 3787256 12755 3354 1 0 3748377 0
[pid=16174/tid=16175] ppid=16172 vsize=15149024 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/16174/task/16175/stat : 16175 (java) R 16172 16172 14062 0 -1 4202560 7503 0 0 0 27 3 0 0 20 0 15 0 407761799 15512600576 12755 33554432000 4194304 4196468 140734985858784 140604022320832 140604002170206 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16176] ppid=16172 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16176/stat : 16176 (java) S 16172 16172 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407761800 15512600576 12755 33554432000 4194304 4196468 140734985858784 140603946129808 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16177] ppid=16172 vsize=15149024 memory=2855325 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16177/stat : 16177 (java) S 16172 16172 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407761800 15512600576 12755 33554432000 4194304 4196468 140734985858784 140603945077008 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16178] ppid=16172 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16178/stat : 16178 (java) S 16172 16172 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407761800 15512600576 12755 33554432000 4194304 4196468 140734985858784 140603944024720 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16179] ppid=16172 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16179/stat : 16179 (java) S 16172 16172 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407761800 15512600576 12755 33554432000 4194304 4196468 140734985858784 140603942971920 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16180] ppid=16172 vsize=15149024 memory=139684750370432 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16180/stat : 16180 (java) S 16172 16172 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407761802 15512600576 12755 33554432000 4194304 4196468 140734985858784 140603486648944 140604018100866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16181] ppid=16172 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16181/stat : 16181 (java) S 16172 16172 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407761802 15512600576 12755 33554432000 4194304 4196468 140734985858784 140603485594912 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16182] ppid=16172 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16182/stat : 16182 (java) S 16172 16172 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407761802 15512600576 12755 33554432000 4194304 4196468 140734985858784 140603484542576 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16183] ppid=16172 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16183/stat : 16183 (java) S 16172 16172 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407761805 15512600576 12755 33554432000 4194304 4196468 140734985858784 140603483490896 140604018108315 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16184] ppid=16172 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/16174/task/16184/stat : 16184 (java) R 16172 16172 14062 0 -1 4202560 644 0 0 0 4 0 0 0 20 0 15 0 407761805 15512600576 12755 33554432000 4194304 4196468 140734985858784 140603482418760 140603997345311 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16185] ppid=16172 vsize=15149024 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/16174/task/16185/stat : 16185 (java) S 16172 16172 14062 0 -1 1077944384 233 0 0 0 4 0 0 0 20 0 15 0 407761805 15512600576 12755 33554432000 4194304 4196468 140734985858784 140603481384944 140604018100866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16186] ppid=16172 vsize=15149024 memory=139684750370432 CPUtime=0.12 cores=0,2,4,6
/proc/16174/task/16186/stat : 16186 (java) S 16172 16172 14062 0 -1 1077944384 889 0 0 0 12 0 0 0 20 0 15 0 407761805 15512600576 12755 33554432000 4194304 4196468 140734985858784 140603480332656 140604018100866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16187] ppid=16172 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16187/stat : 16187 (java) S 16172 16172 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407761805 15512600576 12755 33554432000 4194304 4196468 140734985858784 140603479280096 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16188] ppid=16172 vsize=15149024 memory=139684750370432 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16188/stat : 16188 (java) S 16172 16172 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407761805 15512600576 12755 33554432000 4194304 4196468 140734985858784 140603478227888 140604018100866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52472 KiB

[startup+0.702297 s]
/proc/loadavg: 8.33 8.37 7.22 7/234 16188
/proc/meminfo: memFree=29674112/32770624 swapFree=66996224/67108860
[pid=16172] ppid=16169 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16172/stat : 16172 (xcsp3-exec) S 16169 16172 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407761799 115843072 363 33554432000 4194304 5098028 140721174471936 140721174470040 139905694962300 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21762048 140721174475642 140721174475885 140721174475885 140721174478794 0
/proc/16172/statm: 28282 363 304 221 0 87 0
[pid=16174] ppid=16172 vsize=15151148 memory=83956 CPUtime=1.63 cores=0,2,4,6
/proc/16174/stat : 16174 (java) S 16172 16172 14062 0 -1 1077944320 13763 0 0 0 157 6 0 0 20 0 15 0 407761799 15514775552 20989 33554432000 4194304 4196468 140734985858784 140734985841328 140604018089719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
/proc/16174/statm: 3787787 20989 3451 1 0 3748889 0
[pid=16174/tid=16175] ppid=16172 vsize=15151148 memory=11932 CPUtime=0.67 cores=0,2,4,6
/proc/16174/task/16175/stat : 16175 (java) R 16172 16172 14062 0 -1 4202560 8673 0 0 0 63 4 0 0 20 0 15 0 407761799 15514775552 20989 33554432000 4194304 4196468 140734985858784 140604022322728 140603623088008 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16176] ppid=16172 vsize=15151148 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16176/stat : 16176 (java) S 16172 16172 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407761800 15514775552 20989 33554432000 4194304 4196468 140734985858784 140603946129808 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16177] ppid=16172 vsize=15151148 memory=500 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16177/stat : 16177 (java) S 16172 16172 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407761800 15514775552 20989 33554432000 4194304 4196468 140734985858784 140603945077008 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16178] ppid=16172 vsize=15151148 memory=928 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16178/stat : 16178 (java) S 16172 16172 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407761800 15514775552 20989 33554432000 4194304 4196468 140734985858784 140603944024720 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16179] ppid=16172 vsize=15151148 memory=1528 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16179/stat : 16179 (java) S 16172 16172 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407761800 15514775552 20989 33554432000 4194304 4196468 140734985858784 140603942971920 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16180] ppid=16172 vsize=15151148 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16180/stat : 16180 (java) S 16172 16172 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407761802 15514775552 20989 33554432000 4194304 4196468 140734985858784 140603486648944 140604018100866 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16181] ppid=16172 vsize=15151148 memory=876 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16181/stat : 16181 (java) S 16172 16172 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407761802 15514775552 20989 33554432000 4194304 4196468 140734985858784 140603485594912 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16182] ppid=16172 vsize=15151148 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16182/stat : 16182 (java) S 16172 16172 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407761802 15514775552 20993 33554432000 4194304 4196468 140734985858784 140603484542576 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16183] ppid=16172 vsize=15151148 memory=7086240636179075427 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16183/stat : 16183 (java) S 16172 16172 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407761805 15514775552 20993 33554432000 4194304 4196468 140734985858784 140603483490896 140604018108315 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16184] ppid=16172 vsize=15151148 memory=7453282923427948884 CPUtime=0.26 cores=0,2,4,6
/proc/16174/task/16184/stat : 16184 (java) R 16172 16172 14062 0 -1 4202560 1071 0 0 0 26 0 0 0 20 0 15 0 407761805 15514775552 20993 33554432000 4194304 4196468 140734985858784 140603482424384 140604010806682 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16185] ppid=16172 vsize=15151148 memory=7223879631928058176 CPUtime=0.27 cores=0,2,4,6
/proc/16174/task/16185/stat : 16185 (java) R 16172 16172 14062 0 -1 4202560 777 0 0 0 27 0 0 0 20 0 15 0 407761805 15514775552 20993 33554432000 4194304 4196468 140734985858784 140603481378136 140603995981584 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16186] ppid=16172 vsize=15151148 memory=8514726395714826909 CPUtime=0.4 cores=0,2,4,6
/proc/16174/task/16186/stat : 16186 (java) R 16172 16172 14062 0 -1 4202560 1936 0 0 0 40 0 0 0 20 0 15 0 407761805 15514775552 20993 33554432000 4194304 4196468 140734985858784 140603480329592 140603997073424 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16187] ppid=16172 vsize=15151148 memory=7594596650029836651 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16187/stat : 16187 (java) S 16172 16172 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407761805 15514775552 20993 33554432000 4194304 4196468 140734985858784 140603479280096 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16188] ppid=16172 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16188/stat : 16188 (java) S 16172 16172 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407761805 15514775552 20993 33554432000 4194304 4196468 140734985858784 140603478227888 140604018100866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 85408 KiB

[startup+1.50329 s]
/proc/loadavg: 8.33 8.37 7.22 12/238 16192
/proc/meminfo: memFree=29615312/32770624 swapFree=66996224/67108860
[pid=16172] ppid=16169 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16172/stat : 16172 (xcsp3-exec) S 16169 16172 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407761799 115843072 363 33554432000 4194304 5098028 140721174471936 140721174470040 139905694962300 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21762048 140721174475642 140721174475885 140721174475885 140721174478794 0
/proc/16172/statm: 28282 363 304 221 0 87 0

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

/proc/16174/task/16188/stat : 16188 (java) S 16172 16172 14062 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 19 0 407761805 15789518848 60270 33554432000 4194304 4196468 140734985858784 140603478227888 140604018100866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 36 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16189] ppid=16172 vsize=15419452 memory=1556 CPUtime=24.65 cores=0,2,4,6
/proc/16174/task/16189/stat : 16189 (java) R 16172 16172 14062 0 -1 4202560 490 0 0 0 2465 0 0 0 20 0 19 0 407761879 15789518848 60270 33554432000 4194304 4196468 140734985858784 140603473304728 140603631666973 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16190] ppid=16172 vsize=15419452 memory=500 CPUtime=25.03 cores=0,2,4,6
/proc/16174/task/16190/stat : 16190 (java) R 16172 16172 14062 0 -1 4202560 1471 0 0 0 2503 0 0 0 20 0 19 0 407761879 15789518848 60270 33554432000 4194304 4196468 140734985858784 140602806003336 140603632586178 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16191] ppid=16172 vsize=15419452 memory=928 CPUtime=24.76 cores=0,2,4,6
/proc/16174/task/16191/stat : 16191 (java) R 16172 16172 14062 0 -1 4202560 460 0 0 0 2476 0 0 0 20 0 19 0 407761879 15789518848 60270 33554432000 4194304 4196468 140734985858784 140602804949152 140603632793278 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16192] ppid=16172 vsize=15419452 memory=1528 CPUtime=25.03 cores=0,2,4,6
/proc/16174/task/16192/stat : 16192 (java) R 16172 16172 14062 0 -1 4202560 1333 0 0 0 2502 1 0 0 20 0 19 0 407761879 15789518848 60270 33554432000 4194304 4196468 140734985858784 140602803896120 140603632634276 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
Current children cumulated CPU time: 106.91 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 242532 KiB

[startup+28.0013 s]*
/proc/loadavg: 8.30 8.36 7.25 9/238 16193
/proc/meminfo: memFree=29491048/32770624 swapFree=66996224/67108860
[pid=16172] ppid=16169 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16172/stat : 16172 (xcsp3-exec) S 16169 16172 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407761799 115843072 363 33554432000 4194304 5098028 140721174471936 140721174470040 139905694962300 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21762048 140721174475642 140721174475885 140721174475885 140721174478794 0
/proc/16172/statm: 28282 363 304 221 0 87 0
[pid=16174] ppid=16172 vsize=15419452 memory=241080 CPUtime=110.13 cores=0,2,4,6
/proc/16174/stat : 16174 (java) S 16172 16172 14062 0 -1 1077944320 44031 0 0 0 10998 15 0 0 20 0 19 0 407761799 15789518848 60270 33554432000 4194304 4196468 140734985858784 140734985841328 140604018089719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
/proc/16174/statm: 3854863 60270 3529 1 0 3815965 0
[pid=16174/tid=16175] ppid=16172 vsize=15419452 memory=8317482817917895235 CPUtime=0.77 cores=0,2,4,6
/proc/16174/task/16175/stat : 16175 (java) S 16172 16172 14062 0 -1 1077944384 8783 0 0 0 73 4 0 0 20 0 19 0 407761799 15789518848 60270 33554432000 4194304 4196468 140734985858784 140604022330496 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16176] ppid=16172 vsize=15419452 memory=4126316290023845779 CPUtime=0.02 cores=0,2,4,6
/proc/16174/task/16176/stat : 16176 (java) S 16172 16172 14062 0 -1 1077944384 139 0 0 0 2 0 0 0 20 0 19 0 407761800 15789518848 60270 33554432000 4194304 4196468 140734985858784 140603946129808 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16177] ppid=16172 vsize=15419452 memory=71643745487338 CPUtime=0.05 cores=0,2,4,6
/proc/16174/task/16177/stat : 16177 (java) S 16172 16172 14062 0 -1 1077944384 402 0 0 0 4 1 0 0 20 0 19 0 407761800 15789518848 60270 33554432000 4194304 4196468 140734985858784 140603945077008 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16178] ppid=16172 vsize=15419452 memory=71643745487338 CPUtime=0.05 cores=0,2,4,6
/proc/16174/task/16178/stat : 16178 (java) S 16172 16172 14062 0 -1 1077944384 1545 0 0 0 4 1 0 0 20 0 19 0 407761800 15789518848 60270 33554432000 4194304 4196468 140734985858784 140603944024720 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16179] ppid=16172 vsize=15419452 memory=71643745487082 CPUtime=0.05 cores=0,2,4,6
/proc/16174/task/16179/stat : 16179 (java) S 16172 16172 14062 0 -1 1077944384 2243 0 0 0 4 1 0 0 20 0 19 0 407761800 15789518848 60270 33554432000 4194304 4196468 140734985858784 140603942971920 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16180] ppid=16172 vsize=15419452 memory=8832 CPUtime=0.02 cores=0,2,4,6
/proc/16174/task/16180/stat : 16180 (java) S 16172 16172 14062 0 -1 1077944384 627 0 0 0 2 0 0 0 20 0 19 0 407761802 15789518848 60270 33554432000 4194304 4196468 140734985858784 140603486648944 140604018100866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16181] ppid=16172 vsize=15419452 memory=11932 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16181/stat : 16181 (java) S 16172 16172 14062 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 407761802 15789518848 60270 33554432000 4194304 4196468 140734985858784 140603485594976 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16182] ppid=16172 vsize=15419452 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16182/stat : 16182 (java) S 16172 16172 14062 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 407761802 15789518848 60270 33554432000 4194304 4196468 140734985858784 140603484542592 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16183] ppid=16172 vsize=15419452 memory=500 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16183/stat : 16183 (java) S 16172 16172 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407761805 15789518848 60270 33554432000 4194304 4196468 140734985858784 140603483490896 140604018108315 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16184] ppid=16172 vsize=15419452 memory=928 CPUtime=2.65 cores=0,2,4,6
/proc/16174/task/16184/stat : 16184 (java) S 16172 16172 14062 0 -1 1077944384 9338 0 0 0 264 1 0 0 20 0 19 0 407761805 15789518848 60270 33554432000 4194304 4196468 140734985858784 140603482437744 140604018100866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 26 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16185] ppid=16172 vsize=15419452 memory=1528 CPUtime=2.95 cores=0,2,4,6
/proc/16174/task/16185/stat : 16185 (java) S 16172 16172 14062 0 -1 1077944384 10458 0 0 0 294 1 0 0 20 0 19 0 407761805 15789518848 60270 33554432000 4194304 4196468 140734985858784 140603481384944 140604018100866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16186] ppid=16172 vsize=15419452 memory=1448 CPUtime=0.83 cores=0,2,4,6
/proc/16174/task/16186/stat : 16186 (java) S 16172 16172 14062 0 -1 1077944384 5175 0 0 0 82 1 0 0 20 0 19 0 407761805 15789518848 60270 33554432000 4194304 4196468 140734985858784 140603480332656 140604018100866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16187] ppid=16172 vsize=15419452 memory=876 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16187/stat : 16187 (java) S 16172 16172 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407761805 15789518848 60270 33554432000 4194304 4196468 140734985858784 140603479280096 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16188] ppid=16172 vsize=15419452 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16188/stat : 16188 (java) S 16172 16172 14062 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 19 0 407761805 15789518848 60270 33554432000 4194304 4196468 140734985858784 140603478227888 140604018100866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 36 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16189] ppid=16172 vsize=15419452 memory=2552 CPUtime=25.46 cores=0,2,4,6
/proc/16174/task/16189/stat : 16189 (java) R 16172 16172 14062 0 -1 4202560 491 0 0 0 2546 0 0 0 20 0 19 0 407761879 15789518848 60270 33554432000 4194304 4196468 140734985858784 140603473304728 140603632940596 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16190] ppid=16172 vsize=15419452 memory=1760 CPUtime=25.84 cores=0,2,4,6
/proc/16174/task/16190/stat : 16190 (java) R 16172 16172 14062 0 -1 4202560 1524 0 0 0 2584 0 0 0 20 0 19 0 407761879 15789518848 60270 33554432000 4194304 4196468 140734985858784 140602806001784 140603630361283 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16191] ppid=16172 vsize=15419452 memory=111632 CPUtime=25.51 cores=0,2,4,6
/proc/16174/task/16191/stat : 16191 (java) R 16172 16172 14062 0 -1 4202560 462 0 0 0 2551 0 0 0 20 0 19 0 407761879 15789518848 60270 33554432000 4194304 4196468 140734985858784 140602804949152 140603630095760 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16192] ppid=16172 vsize=15419452 memory=800 CPUtime=25.84 cores=0,2,4,6
/proc/16174/task/16192/stat : 16192 (java) R 16172 16172 14062 0 -1 4202560 1341 0 0 0 2583 1 0 0 20 0 19 0 407761879 15789518848 60270 33554432000 4194304 4196468 140734985858784 140602803896120 140603630964971 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
Current children cumulated CPU time: 110.13 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 242532 KiB

[startup+28.8013 s]
/proc/loadavg: 8.30 8.36 7.25 9/238 16193
/proc/meminfo: memFree=29491048/32770624 swapFree=66996224/67108860
[pid=16172] ppid=16169 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16172/stat : 16172 (xcsp3-exec) S 16169 16172 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407761799 115843072 363 33554432000 4194304 5098028 140721174471936 140721174470040 139905694962300 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21762048 140721174475642 140721174475885 140721174475885 140721174478794 0
/proc/16172/statm: 28282 363 304 221 0 87 0
[pid=16174] ppid=16172 vsize=15419452 memory=241084 CPUtime=113.29 cores=0,2,4,6
/proc/16174/stat : 16174 (java) S 16172 16172 14062 0 -1 1077944320 44143 0 0 0 11314 15 0 0 20 0 19 0 407761799 15789518848 60271 33554432000 4194304 4196468 140734985858784 140734985841328 140604018089719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
/proc/16174/statm: 3854863 60271 3529 1 0 3815965 0
[pid=16174/tid=16175] ppid=16172 vsize=15419452 memory=1232 CPUtime=0.77 cores=0,2,4,6
/proc/16174/task/16175/stat : 16175 (java) S 16172 16172 14062 0 -1 1077944384 8783 0 0 0 73 4 0 0 20 0 19 0 407761799 15789518848 60271 33554432000 4194304 4196468 140734985858784 140604022330496 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16176] ppid=16172 vsize=15419452 memory=2003 CPUtime=0.02 cores=0,2,4,6
/proc/16174/task/16176/stat : 16176 (java) S 16172 16172 14062 0 -1 1077944384 139 0 0 0 2 0 0 0 20 0 19 0 407761800 15789518848 60271 33554432000 4194304 4196468 140734985858784 140603946129808 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16177] ppid=16172 vsize=15419452 memory=575 CPUtime=0.05 cores=0,2,4,6
/proc/16174/task/16177/stat : 16177 (java) S 16172 16172 14062 0 -1 1077944384 402 0 0 0 4 1 0 0 20 0 19 0 407761800 15789518848 60271 33554432000 4194304 4196468 140734985858784 140603945077008 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16178] ppid=16172 vsize=15419452 memory=15770 CPUtime=0.05 cores=0,2,4,6
/proc/16174/task/16178/stat : 16178 (java) S 16172 16172 14062 0 -1 1077944384 1545 0 0 0 4 1 0 0 20 0 19 0 407761800 15789518848 60271 33554432000 4194304 4196468 140734985858784 140603944024720 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16179] ppid=16172 vsize=15419452 memory=6791534058613427641 CPUtime=0.05 cores=0,2,4,6
/proc/16174/task/16179/stat : 16179 (java) S 16172 16172 14062 0 -1 1077944384 2243 0 0 0 4 1 0 0 20 0 19 0 407761800 15789518848 60271 33554432000 4194304 4196468 140734985858784 140603942971920 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16180] ppid=16172 vsize=15419452 memory=1056 CPUtime=0.02 cores=0,2,4,6
/proc/16174/task/16180/stat : 16180 (java) S 16172 16172 14062 0 -1 1077944384 627 0 0 0 2 0 0 0 20 0 19 0 407761802 15789518848 60271 33554432000 4194304 4196468 140734985858784 140603486648944 140604018100866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16181] ppid=16172 vsize=15419452 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16181/stat : 16181 (java) S 16172 16172 14062 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 407761802 15789518848 60271 33554432000 4194304 4196468 140734985858784 140603485594976 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16182] ppid=16172 vsize=15419452 memory=5908 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16182/stat : 16182 (java) S 16172 16172 14062 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 407761802 15789518848 60271 33554432000 4194304 4196468 140734985858784 140603484542592 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16183] ppid=16172 vsize=15419452 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16183/stat : 16183 (java) S 16172 16172 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407761805 15789518848 60271 33554432000 4194304 4196468 140734985858784 140603483490896 140604018108315 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16184] ppid=16172 vsize=15419452 memory=2116 CPUtime=2.66 cores=0,2,4,6
/proc/16174/task/16184/stat : 16184 (java) S 16172 16172 14062 0 -1 1077944384 9435 0 0 0 265 1 0 0 20 0 19 0 407761805 15789518848 60271 33554432000 4194304 4196468 140734985858784 140603482437744 140604018100866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 26 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16185] ppid=16172 vsize=15419452 memory=1452 CPUtime=2.95 cores=0,2,4,6
/proc/16174/task/16185/stat : 16185 (java) S 16172 16172 14062 0 -1 1077944384 10458 0 0 0 294 1 0 0 20 0 19 0 407761805 15789518848 60271 33554432000 4194304 4196468 140734985858784 140603481384944 140604018100866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16186] ppid=16172 vsize=15419452 memory=1556 CPUtime=0.83 cores=0,2,4,6
/proc/16174/task/16186/stat : 16186 (java) S 16172 16172 14062 0 -1 1077944384 5175 0 0 0 82 1 0 0 20 0 19 0 407761805 15789518848 60271 33554432000 4194304 4196468 140734985858784 140603480332656 140604018100866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16187] ppid=16172 vsize=15419452 memory=5908 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16187/stat : 16187 (java) S 16172 16172 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407761805 15789518848 60271 33554432000 4194304 4196468 140734985858784 140603479280096 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16188] ppid=16172 vsize=15419452 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16188/stat : 16188 (java) S 16172 16172 14062 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 19 0 407761805 15789518848 60271 33554432000 4194304 4196468 140734985858784 140603478227888 140604018100866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 36 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16189] ppid=16172 vsize=15419452 memory=2116 CPUtime=26.25 cores=0,2,4,6
/proc/16174/task/16189/stat : 16189 (java) R 16172 16172 14062 0 -1 4202560 494 0 0 0 2625 0 0 0 20 0 19 0 407761879 15789518848 60271 33554432000 4194304 4196468 140734985858784 140603473304728 140603631691788 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16190] ppid=16172 vsize=15419452 memory=8832 CPUtime=26.63 cores=0,2,4,6
/proc/16174/task/16190/stat : 16190 (java) R 16172 16172 14062 0 -1 4202560 1534 0 0 0 2663 0 0 0 20 0 19 0 407761879 15789518848 60271 33554432000 4194304 4196468 140734985858784 140602806001848 140603632585861 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16191] ppid=16172 vsize=15419452 memory=11932 CPUtime=26.29 cores=0,2,4,6
/proc/16174/task/16191/stat : 16191 (java) R 16172 16172 14062 0 -1 4202560 463 0 0 0 2629 0 0 0 20 0 19 0 407761879 15789518848 60271 33554432000 4194304 4196468 140734985858784 140602804949152 140603631691788 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16192] ppid=16172 vsize=15419452 memory=1452 CPUtime=26.63 cores=0,2,4,6
/proc/16174/task/16192/stat : 16192 (java) R 16172 16172 14062 0 -1 4202560 1342 0 0 0 2662 1 0 0 20 0 19 0 407761879 15789518848 60271 33554432000 4194304 4196468 140734985858784 140602803896120 140603630965006 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
Current children cumulated CPU time: 113.29 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 242536 KiB

[startup+29.0013 s]*
/proc/loadavg: 8.30 8.36 7.25 9/238 16193
/proc/meminfo: memFree=29491048/32770624 swapFree=66996224/67108860
[pid=16172] ppid=16169 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16172/stat : 16172 (xcsp3-exec) S 16169 16172 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407761799 115843072 363 33554432000 4194304 5098028 140721174471936 140721174470040 139905694962300 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21762048 140721174475642 140721174475885 140721174475885 140721174478794 0
/proc/16172/statm: 28282 363 304 221 0 87 0
[pid=16174] ppid=16172 vsize=15419452 memory=241084 CPUtime=114.12 cores=0,2,4,6
/proc/16174/stat : 16174 (java) S 16172 16172 14062 0 -1 1077944320 44147 0 0 0 11397 15 0 0 20 0 19 0 407761799 15789518848 60271 33554432000 4194304 4196468 140734985858784 140734985841328 140604018089719 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
/proc/16174/statm: 3854863 60271 3529 1 0 3815965 0
[pid=16174/tid=16175] ppid=16172 vsize=15419452 memory=8317482817917895235 CPUtime=0.77 cores=0,2,4,6
/proc/16174/task/16175/stat : 16175 (java) S 16172 16172 14062 0 -1 1077944384 8783 0 0 0 73 4 0 0 20 0 19 0 407761799 15789518848 60271 33554432000 4194304 4196468 140734985858784 140604022330496 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16176] ppid=16172 vsize=15419452 memory=4126316290023845779 CPUtime=0.02 cores=0,2,4,6
/proc/16174/task/16176/stat : 16176 (java) S 16172 16172 14062 0 -1 1077944384 139 0 0 0 2 0 0 0 20 0 19 0 407761800 15789518848 60271 33554432000 4194304 4196468 140734985858784 140603946129808 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16177] ppid=16172 vsize=15419452 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/16174/task/16177/stat : 16177 (java) S 16172 16172 14062 0 -1 1077944384 402 0 0 0 4 1 0 0 20 0 19 0 407761800 15789518848 60271 33554432000 4194304 4196468 140734985858784 140603945077008 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16178] ppid=16172 vsize=15419452 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/16174/task/16178/stat : 16178 (java) S 16172 16172 14062 0 -1 1077944384 1545 0 0 0 4 1 0 0 20 0 19 0 407761800 15789518848 60271 33554432000 4194304 4196468 140734985858784 140603944024720 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16179] ppid=16172 vsize=15419452 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/16174/task/16179/stat : 16179 (java) S 16172 16172 14062 0 -1 1077944384 2243 0 0 0 4 1 0 0 20 0 19 0 407761800 15789518848 60271 33554432000 4194304 4196468 140734985858784 140603942971920 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16180] ppid=16172 vsize=15419452 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16174/task/16180/stat : 16180 (java) S 16172 16172 14062 0 -1 1077944384 627 0 0 0 2 0 0 0 20 0 19 0 407761802 15789518848 60271 33554432000 4194304 4196468 140734985858784 140603486648944 140604018100866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16181] ppid=16172 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16181/stat : 16181 (java) S 16172 16172 14062 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 407761802 15789518848 60271 33554432000 4194304 4196468 140734985858784 140603485594976 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16182] ppid=16172 vsize=15419452 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16182/stat : 16182 (java) S 16172 16172 14062 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 407761802 15789518848 60271 33554432000 4194304 4196468 140734985858784 140603484542592 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16183] ppid=16172 vsize=15419452 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16183/stat : 16183 (java) S 16172 16172 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407761805 15789518848 60271 33554432000 4194304 4196468 140734985858784 140603483490896 140604018108315 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16184] ppid=16172 vsize=15419452 memory=916 CPUtime=2.66 cores=0,2,4,6
/proc/16174/task/16184/stat : 16184 (java) S 16172 16172 14062 0 -1 1077944384 9435 0 0 0 265 1 0 0 20 0 19 0 407761805 15789518848 60271 33554432000 4194304 4196468 140734985858784 140603482437744 140604018100866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 26 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16185] ppid=16172 vsize=15419452 memory=3848 CPUtime=2.95 cores=0,2,4,6
/proc/16174/task/16185/stat : 16185 (java) S 16172 16172 14062 0 -1 1077944384 10458 0 0 0 294 1 0 0 20 0 19 0 407761805 15789518848 60271 33554432000 4194304 4196468 140734985858784 140603481384944 140604018100866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16186] ppid=16172 vsize=15419452 memory=2596 CPUtime=0.83 cores=0,2,4,6
/proc/16174/task/16186/stat : 16186 (java) S 16172 16172 14062 0 -1 1077944384 5175 0 0 0 82 1 0 0 20 0 19 0 407761805 15789518848 60271 33554432000 4194304 4196468 140734985858784 140603480332656 140604018100866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16187] ppid=16172 vsize=15419452 memory=2700 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16187/stat : 16187 (java) S 16172 16172 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407761805 15789518848 60271 33554432000 4194304 4196468 140734985858784 140603479280096 140604018099925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16188] ppid=16172 vsize=15419452 memory=4108 CPUtime=0 cores=0,2,4,6
/proc/16174/task/16188/stat : 16188 (java) S 16172 16172 14062 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 19 0 407761805 15789518848 60271 33554432000 4194304 4196468 140734985858784 140603478227888 140604018100866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 36 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16189] ppid=16172 vsize=15419452 memory=1408 CPUtime=26.46 cores=0,2,4,6
/proc/16174/task/16189/stat : 16189 (java) R 16172 16172 14062 0 -1 4202560 495 0 0 0 2646 0 0 0 20 0 19 0 407761879 15789518848 60271 33554432000 4194304 4196468 140734985858784 140603473304728 140603631691805 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16190] ppid=16172 vsize=15419452 memory=3160 CPUtime=26.84 cores=0,2,4,6
/proc/16174/task/16190/stat : 16190 (java) R 16172 16172 14062 0 -1 4202560 1537 0 0 0 2684 0 0 0 20 0 19 0 407761879 15789518848 60271 33554432000 4194304 4196468 140734985858784 140602806001848 140603631691788 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16191] ppid=16172 vsize=15419452 memory=1448 CPUtime=26.49 cores=0,2,4,6
/proc/16174/task/16191/stat : 16191 (java) R 16172 16172 14062 0 -1 4202560 463 0 0 0 2649 0 0 0 20 0 19 0 407761879 15789518848 60271 33554432000 4194304 4196468 140734985858784 140602804949152 140603630096663 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
[pid=16174/tid=16192] ppid=16172 vsize=15419452 memory=1156168 CPUtime=26.84 cores=0,2,4,6
/proc/16174/task/16192/stat : 16192 (java) R 16172 16172 14062 0 -1 4202560 1342 0 0 0 2683 1 0 0 20 0 19 0 407761879 15789518848 60271 33554432000 4194304 4196468 140734985858784 140602803896120 140603630098015 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36737024 140734985864175 140734985864346 140734985864346 140734985867215 0
Current children cumulated CPU time: 114.12 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 242536 KiB

Child status: 0
Real time (s): 29.1039
CPU time (s): 114.434
CPU user time (s): 114.267
CPU system time (s): 0.167024
CPU usage (%): 393.191
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 242536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 114.267
system time used= 0.167024
maximum resident set size= 242620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45868
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3626
involuntary context switches= 3390


# summary of solver processes directly reported to runsolver:
#   pid: 16172
#   total CPU time (s): 114.434
#   total CPU user time (s): 114.267
#   total CPU system time (s): 0.167024

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.195729 second user time and 0.357353 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-12 20:03:14
IDJOB=4393041
IDBENCH=122916
IDSOLVER=2840
FILE ID=node106/4393041-1568315071
RUNJOBID= node106-1568309633-14093
PBS_JOBID= 21701134
Free space on /tmp= 56708 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-184.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393041-1568315071/watcher-4393041-1568315071 -o /tmp/evaluation-result-4393041-1568315071/solver-4393041-1568315071 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14093 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1587802769 HOME/instance-4393041-1568315071.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 50aaeae16ffb672916f4ac64373270f5
RANDOM SEED=1587802769

node106.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.79
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.79
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.79
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.79
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:        29724460 kB
MemAvailable:   30781552 kB
Buffers:          123348 kB
Cached:          1230308 kB
SwapCached:        10268 kB
Active:          1529032 kB
Inactive:         979352 kB
Active(anon):    1154096 kB
Inactive(anon):    33360 kB
Active(file):     374936 kB
Inactive(file):   945992 kB
Unevictable:      107784 kB
Mlocked:          107784 kB
SwapTotal:      67108860 kB
SwapFree:       66996224 kB
Dirty:             25756 kB
Writeback:            12 kB
AnonPages:       1253016 kB
Mapped:            48464 kB
Shmem:             23852 kB
Slab:             132268 kB
SReclaimable:     103996 kB
SUnreclaim:        28272 kB
KernelStack:        4032 kB
PageTables:         8116 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3369092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1157120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 56684 MiB
End job on node106 at 2019-09-12 20:03:43