Trace number 4393694

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-14 parallelSAT 94.6831 12.832

General information on the benchmark

NameNumberPartitioning/NumberPartitioning-m1-s1/
NumberPartitioning-144.xml
MD5SUMb8938fafa0a7bd5ba97e6b9454c94e7b
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 benchmark31.3337
Satisfiable
(Un)Satisfiability was proved
Number of variables288
Number of constraints152
Number of domains2
Minimum domain size144
Maximum domain size20736
Distribution of domain sizes[{"size":144,"count":144},{"size":20736,"count":144}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":144},{"degree":4,"count":143},{"degree":5,"count":1}]
Minimum constraint arity1
Maximum constraint arity144
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":144},{"arity":72,"count":6},{"arity":144,"count":1}]
Number of extensional constraints0
Number of intensional constraints145
Distribution of constraint types[{"type":"intension","count":145},{"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 -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393694-1568420435.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4393694-1568420435.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
1.99/0.87	c solve instance...
94.64/12.80	s SATISFIABLE
94.64/12.80	v <instantiation>
94.64/12.80	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] 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] 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] 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] </list>
94.64/12.80	v 	<values>1 23 24 25 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 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 140 141 142 143 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 53 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 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 139 144 1 529 576 625 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 2916 3025 3136 3249 3364 3481 3600 3721 3844 3969 4096 4225 4356 4489 4624 4761 4900 5041 5184 14641 14884 15129 15376 15625 15876 16129 16384 16641 16900 17161 17424 17689 17956 18225 18496 18769 19044 19600 19881 20164 20449 4 9 16 25 36 49 64 81 100 121 144 169 196 225 256 289 324 361 400 441 484 2809 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 11025 11236 11449 11664 11881 12100 12321 12544 12769 12996 13225 13456 13689 13924 14161 14400 19321 20736 </values>
94.64/12.80	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 (14957 MiB free)
  memory of node 1: 16384 MiB (15383 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393694-1568420435/watcher-4393694-1568420435 -o /tmp/evaluation-result-4393694-1568420435/solver-4393694-1568420435 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568413377-19188 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 537297244 HOME/instance-4393694-1568420435.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=19816, runsolver pid=19813

[startup+0.100111 s]*
/proc/loadavg: 4.72 7.09 7.51 2/210 19837
/proc/meminfo: memFree=31053996/32770624 swapFree=66922776/67108860
[pid=19816] ppid=19813 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19816/stat : 19816 (xcsp3-exec) S 19813 19816 19161 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418299483 115843072 363 33554432000 4194304 5098028 140732556325104 140732556323208 140565008642684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13557760 140732556329846 140732556330089 140732556330089 140732556333002 0
/proc/19816/statm: 28282 363 304 221 0 87 0
[pid=19818] ppid=19816 vsize=28227388 memory=29660 CPUtime=0.11 cores=0-7
/proc/19818/stat : 19818 (java) S 19816 19816 19161 0 -1 1077944320 5896 0 0 0 10 1 0 0 20 0 20 0 418299483 28904845312 7415 33554432000 4194304 4196468 140724950276800 140724950259344 140180737457911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
/proc/19818/statm: 7056847 7415 3120 1 0 7019032 0
[pid=19818/tid=19819] ppid=19816 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/19818/task/19819/stat : 19819 (java) R 19816 19816 19161 0 -1 4202560 3841 0 0 0 8 1 0 0 20 0 20 0 418299483 28904845312 7415 33554432000 4194304 4196468 140724950276800 140180741693088 140180737469846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19820] ppid=19816 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19820/stat : 19820 (java) S 19816 19816 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418299484 28904845312 7415 33554432000 4194304 4196468 140724950276800 140180690078608 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19821] ppid=19816 vsize=28227388 memory=4049776686269286048 CPUtime=0 cores=0-7
/proc/19818/task/19821/stat : 19821 (java) S 19816 19816 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418299484 28904845312 7415 33554432000 4194304 4196468 140724950276800 140180689025808 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19822] ppid=19816 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19822/stat : 19822 (java) S 19816 19816 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418299484 28904845312 7415 33554432000 4194304 4196468 140724950276800 140180687973520 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19823] ppid=19816 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19823/stat : 19823 (java) S 19816 19816 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418299484 28904845312 7415 33554432000 4194304 4196468 140724950276800 140180285414416 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19824] ppid=19816 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19824/stat : 19824 (java) S 19816 19816 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418299484 28904845312 7415 33554432000 4194304 4196468 140724950276800 140180284361104 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19825] ppid=19816 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/19818/task/19825/stat : 19825 (java) S 19816 19816 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418299484 28904845312 7415 33554432000 4194304 4196468 140724950276800 140180283308304 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19826] ppid=19816 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19826/stat : 19826 (java) S 19816 19816 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418299484 28904845312 7415 33554432000 4194304 4196468 140724950276800 140180282256016 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19827] ppid=19816 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19827/stat : 19827 (java) S 19816 19816 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418299484 28904845312 7415 33554432000 4194304 4196468 140724950276800 140180281203216 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19828] ppid=19816 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19828/stat : 19828 (java) S 19816 19816 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418299485 28904845312 7415 33554432000 4194304 4196468 140724950276800 140179335506544 140180737469058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19829] ppid=19816 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19829/stat : 19829 (java) S 19816 19816 19161 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418299486 28904845312 7415 33554432000 4194304 4196468 140724950276800 140179334452512 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19830] ppid=19816 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19830/stat : 19830 (java) S 19816 19816 19161 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418299486 28904845312 7415 33554432000 4194304 4196468 140724950276800 140179333400176 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19831] ppid=19816 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19831/stat : 19831 (java) S 19816 19816 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418299489 28904845312 7415 33554432000 4194304 4196468 140724950276800 140179332348496 140180737476507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19832] ppid=19816 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19832/stat : 19832 (java) S 19816 19816 19161 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 418299489 28904845312 7415 33554432000 4194304 4196468 140724950276800 140179331295344 140180737469058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19833] ppid=19816 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19833/stat : 19833 (java) S 19816 19816 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418299489 28904845312 7415 33554432000 4194304 4196468 140724950276800 140179330242544 140180737469058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19834] ppid=19816 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19834/stat : 19834 (java) S 19816 19816 19161 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 418299489 28904845312 7415 33554432000 4194304 4196468 140724950276800 140179329190256 140180737469058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19835] ppid=19816 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/19818/task/19835/stat : 19835 (java) R 19816 19816 19161 0 -1 4202560 322 0 0 0 1 0 0 0 20 0 20 0 418299489 28904845312 7415 33554432000 4194304 4196468 140724950276800 140179328137456 140180716424808 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19836] ppid=19816 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19836/stat : 19836 (java) S 19816 19816 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418299489 28904845312 7415 33554432000 4194304 4196468 140724950276800 140179327085408 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19837] ppid=19816 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/19818/task/19837/stat : 19837 (java) S 19816 19816 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418299489 28904845312 7415 33554432000 4194304 4196468 140724950276800 140179326032688 140180737469058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31112 KiB

[startup+0.21007 s]*
/proc/loadavg: 4.72 7.09 7.51 2/210 19837
/proc/meminfo: memFree=31041656/32770624 swapFree=66922776/67108860
[pid=19816] ppid=19813 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19816/stat : 19816 (xcsp3-exec) S 19813 19816 19161 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418299483 115843072 363 33554432000 4194304 5098028 140732556325104 140732556323208 140565008642684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13557760 140732556329846 140732556330089 140732556330089 140732556333002 0
/proc/19816/statm: 28282 363 304 221 0 87 0
[pid=19818] ppid=19816 vsize=28227388 memory=40492 CPUtime=0.34 cores=0-7
/proc/19818/stat : 19818 (java) S 19816 19816 19161 0 -1 1077944320 9395 0 0 0 31 3 0 0 20 0 20 0 418299483 28904845312 10123 33554432000 4194304 4196468 140724950276800 140724950259344 140180737457911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
/proc/19818/statm: 7056847 10123 3297 1 0 7019032 0
[pid=19818/tid=19819] ppid=19816 vsize=28227388 memory=8316850467074736180 CPUtime=0.19 cores=0-7
/proc/19818/task/19819/stat : 19819 (java) R 19816 19816 19161 0 -1 4202560 6642 0 0 0 17 2 0 0 20 0 20 0 418299483 28904845312 10123 33554432000 4194304 4196468 140724950276800 140180741690640 140180721538398 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19820] ppid=19816 vsize=28227388 memory=10923 CPUtime=0 cores=0-7
/proc/19818/task/19820/stat : 19820 (java) S 19816 19816 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418299484 28904845312 10123 33554432000 4194304 4196468 140724950276800 140180690078608 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19821] ppid=19816 vsize=28227388 memory=139884197477602 CPUtime=0 cores=0-7
/proc/19818/task/19821/stat : 19821 (java) S 19816 19816 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418299484 28904845312 10123 33554432000 4194304 4196468 140724950276800 140180689025808 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19822] ppid=19816 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/19818/task/19822/stat : 19822 (java) S 19816 19816 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418299484 28904845312 10123 33554432000 4194304 4196468 140724950276800 140180687973520 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19823] ppid=19816 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19823/stat : 19823 (java) S 19816 19816 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418299484 28904845312 10123 33554432000 4194304 4196468 140724950276800 140180285414416 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19824] ppid=19816 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19824/stat : 19824 (java) S 19816 19816 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418299484 28904845312 10123 33554432000 4194304 4196468 140724950276800 140180284361104 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19825] ppid=19816 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/19818/task/19825/stat : 19825 (java) S 19816 19816 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418299484 28904845312 10123 33554432000 4194304 4196468 140724950276800 140180283308304 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19826] ppid=19816 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19826/stat : 19826 (java) S 19816 19816 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418299484 28904845312 10123 33554432000 4194304 4196468 140724950276800 140180282256016 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19827] ppid=19816 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19827/stat : 19827 (java) S 19816 19816 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418299484 28904845312 10123 33554432000 4194304 4196468 140724950276800 140180281203216 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19828] ppid=19816 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19828/stat : 19828 (java) S 19816 19816 19161 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418299485 28904845312 10123 33554432000 4194304 4196468 140724950276800 140179335506544 140180737469058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19829] ppid=19816 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19829/stat : 19829 (java) S 19816 19816 19161 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418299486 28904845312 10123 33554432000 4194304 4196468 140724950276800 140179334452512 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19830] ppid=19816 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19830/stat : 19830 (java) S 19816 19816 19161 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418299486 28904845312 10123 33554432000 4194304 4196468 140724950276800 140179333400176 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19831] ppid=19816 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19831/stat : 19831 (java) S 19816 19816 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418299489 28904845312 10123 33554432000 4194304 4196468 140724950276800 140179332348496 140180737476507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19832] ppid=19816 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19832/stat : 19832 (java) R 19816 19816 19161 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 20 0 418299489 28904845312 10123 33554432000 4194304 4196468 140724950276800 140179331295344 140180737469058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19833] ppid=19816 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/19818/task/19833/stat : 19833 (java) S 19816 19816 19161 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 20 0 418299489 28904845312 10123 33554432000 4194304 4196468 140724950276800 140179330242544 140180737469058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19834] ppid=19816 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7
/proc/19818/task/19834/stat : 19834 (java) S 19816 19816 19161 0 -1 1077944384 246 0 0 0 2 0 0 0 20 0 20 0 418299489 28904845312 10123 33554432000 4194304 4196468 140724950276800 140179329190256 140180737469058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19835] ppid=19816 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/19818/task/19835/stat : 19835 (java) R 19816 19816 19161 0 -1 4202560 779 0 0 0 8 0 0 0 20 0 20 0 418299489 28904845312 10123 33554432000 4194304 4196468 140724950276800 140179328137456 140180737469846 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19836] ppid=19816 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19836/stat : 19836 (java) S 19816 19816 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418299489 28904845312 10123 33554432000 4194304 4196468 140724950276800 140179327085408 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19837] ppid=19816 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/19818/task/19837/stat : 19837 (java) S 19816 19816 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418299489 28904845312 10123 33554432000 4194304 4196468 140724950276800 140179326032688 140180737469058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 41944 KiB

[startup+0.309463 s]*
/proc/loadavg: 4.72 7.09 7.51 4/210 19837
/proc/meminfo: memFree=31034024/32770624 swapFree=66922776/67108860
[pid=19816] ppid=19813 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19816/stat : 19816 (xcsp3-exec) S 19813 19816 19161 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418299483 115843072 363 33554432000 4194304 5098028 140732556325104 140732556323208 140565008642684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13557760 140732556329846 140732556330089 140732556330089 140732556333002 0
/proc/19816/statm: 28282 363 304 221 0 87 0
[pid=19818] ppid=19816 vsize=28231644 memory=50012 CPUtime=0.52 cores=0-7
/proc/19818/stat : 19818 (java) S 19816 19816 19161 0 -1 1077944320 10832 0 0 0 48 4 0 0 20 0 20 0 418299483 28909203456 12503 33554432000 4194304 4196468 140724950276800 140724950259344 140180737457911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
/proc/19818/statm: 7057911 12503 3363 1 0 7019032 0
[pid=19818/tid=19819] ppid=19816 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/19818/task/19819/stat : 19819 (java) R 19816 19816 19161 0 -1 4202560 7741 0 0 0 27 3 0 0 20 0 20 0 418299483 28909203456 12503 33554432000 4194304 4196468 140724950276800 140180741689024 140180721538398 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19820] ppid=19816 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19820/stat : 19820 (java) S 19816 19816 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418299484 28909203456 12503 33554432000 4194304 4196468 140724950276800 140180690078608 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19821] ppid=19816 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19821/stat : 19821 (java) S 19816 19816 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418299484 28909203456 12503 33554432000 4194304 4196468 140724950276800 140180689025808 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19822] ppid=19816 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19822/stat : 19822 (java) S 19816 19816 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418299484 28909203456 12503 33554432000 4194304 4196468 140724950276800 140180687973520 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19823] ppid=19816 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19823/stat : 19823 (java) S 19816 19816 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418299484 28909203456 12503 33554432000 4194304 4196468 140724950276800 140180285414416 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19824] ppid=19816 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19824/stat : 19824 (java) S 19816 19816 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418299484 28909203456 12503 33554432000 4194304 4196468 140724950276800 140180284361104 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19825] ppid=19816 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19825/stat : 19825 (java) S 19816 19816 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418299484 28909203456 12503 33554432000 4194304 4196468 140724950276800 140180283308304 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19826] ppid=19816 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19826/stat : 19826 (java) S 19816 19816 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418299484 28909203456 12503 33554432000 4194304 4196468 140724950276800 140180282256016 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19827] ppid=19816 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19827/stat : 19827 (java) S 19816 19816 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418299484 28909203456 12503 33554432000 4194304 4196468 140724950276800 140180281203216 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19828] ppid=19816 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19828/stat : 19828 (java) S 19816 19816 19161 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418299485 28909203456 12503 33554432000 4194304 4196468 140724950276800 140179335506544 140180737469058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19829] ppid=19816 vsize=28231644 memory=279768130067840 CPUtime=0 cores=0-7
/proc/19818/task/19829/stat : 19829 (java) S 19816 19816 19161 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418299486 28909203456 12503 33554432000 4194304 4196468 140724950276800 140179334452512 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19830] ppid=19816 vsize=28231644 memory=279768130072448 CPUtime=0 cores=0-7
/proc/19818/task/19830/stat : 19830 (java) S 19816 19816 19161 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418299486 28909203456 12503 33554432000 4194304 4196468 140724950276800 140179333400176 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19831] ppid=19816 vsize=28231644 memory=279768130077056 CPUtime=0 cores=0-7
/proc/19818/task/19831/stat : 19831 (java) S 19816 19816 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418299489 28909203456 12503 33554432000 4194304 4196468 140724950276800 140179332348496 140180737476507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19832] ppid=19816 vsize=28231644 memory=279768130081664 CPUtime=0.02 cores=0-7
/proc/19818/task/19832/stat : 19832 (java) S 19816 19816 19161 0 -1 1077944384 345 0 0 0 2 0 0 0 20 0 20 0 418299489 28909203456 12503 33554432000 4194304 4196468 140724950276800 140179331295344 140180737469058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19833] ppid=19816 vsize=28231644 memory=279768130086272 CPUtime=0.03 cores=0-7
/proc/19818/task/19833/stat : 19833 (java) R 19816 19816 19161 0 -1 4202560 213 0 0 0 3 0 0 0 20 0 20 0 418299489 28909203456 12503 33554432000 4194304 4196468 140724950276800 140179330232928 140180730554747 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19834] ppid=19816 vsize=28231644 memory=279768130090880 CPUtime=0.03 cores=0-7
/proc/19818/task/19834/stat : 19834 (java) S 19816 19816 19161 0 -1 1077944384 285 0 0 0 3 0 0 0 20 0 20 0 418299489 28909203456 12503 33554432000 4194304 4196468 140724950276800 140179329190256 140180737469058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19835] ppid=19816 vsize=28231644 memory=279768130095488 CPUtime=0.12 cores=0-7
/proc/19818/task/19835/stat : 19835 (java) S 19816 19816 19161 0 -1 1077944384 943 0 0 0 12 0 0 0 20 0 20 0 418299489 28909203456 12503 33554432000 4194304 4196468 140724950276800 140179328137456 140180737469058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19836] ppid=19816 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19836/stat : 19836 (java) S 19816 19816 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418299489 28909203456 12503 33554432000 4194304 4196468 140724950276800 140179327085408 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19837] ppid=19816 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/19818/task/19837/stat : 19837 (java) S 19816 19816 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418299489 28909203456 12503 33554432000 4194304 4196468 140724950276800 140179326032688 140180737469058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51464 KiB

[startup+0.700938 s]
/proc/loadavg: 4.72 7.09 7.51 4/210 19837
/proc/meminfo: memFree=31016796/32770624 swapFree=66922776/67108860
[pid=19816] ppid=19813 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19816/stat : 19816 (xcsp3-exec) S 19813 19816 19161 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418299483 115843072 363 33554432000 4194304 5098028 140732556325104 140732556323208 140565008642684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13557760 140732556329846 140732556330089 140732556330089 140732556333002 0
/proc/19816/statm: 28282 363 304 221 0 87 0
[pid=19818] ppid=19816 vsize=28233768 memory=94652 CPUtime=1.6 cores=0-7
/proc/19818/stat : 19818 (java) S 19816 19816 19161 0 -1 1077944320 14276 0 0 0 154 6 0 0 20 0 20 0 418299483 28911378432 23663 33554432000 4194304 4196468 140724950276800 140724950259344 140180737457911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
/proc/19818/statm: 7058442 23663 3450 1 0 7019544 0
[pid=19818/tid=19819] ppid=19816 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7
/proc/19818/task/19819/stat : 19819 (java) R 19816 19816 19161 0 -1 4202560 9288 0 0 0 63 4 0 0 20 0 20 0 418299483 28911378432 23663 33554432000 4194304 4196468 140724950276800 140180741695104 140180737469846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19820] ppid=19816 vsize=28233768 memory=139884065235840 CPUtime=0 cores=0-7
/proc/19818/task/19820/stat : 19820 (java) S 19816 19816 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418299484 28911378432 23663 33554432000 4194304 4196468 140724950276800 140180690078608 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19821] ppid=19816 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19821/stat : 19821 (java) S 19816 19816 19161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418299484 28911378432 23663 33554432000 4194304 4196468 140724950276800 140180689025808 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19822] ppid=19816 vsize=28233768 memory=9364 CPUtime=0 cores=0-7
/proc/19818/task/19822/stat : 19822 (java) S 19816 19816 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418299484 28911378432 23663 33554432000 4194304 4196468 140724950276800 140180687973520 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0

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

[pid=19818/tid=19839] ppid=19816 vsize=28768328 memory=776 CPUtime=3.51 cores=0-7
/proc/19818/task/19839/stat : 19839 (java) R 19816 19816 19161 0 -1 4202560 217 0 0 0 350 1 0 0 20 0 28 0 418299573 29458767872 262775 33554432000 4194304 4196468 140724950276800 140179313909992 140180375107691 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19840] ppid=19816 vsize=28768328 memory=1552 CPUtime=2.79 cores=0-7
/proc/19818/task/19840/stat : 19840 (java) R 19816 19816 19161 0 -1 4202560 1449 0 0 0 272 7 0 0 20 0 28 0 418299573 29458767872 262775 33554432000 4194304 4196468 140724950276800 140179312851816 140180376157962 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19841] ppid=19816 vsize=28768328 memory=8048 CPUtime=3.44 cores=0-7
/proc/19818/task/19841/stat : 19841 (java) R 19816 19816 19161 0 -1 4202560 519 0 0 0 343 1 0 0 20 0 28 0 418299573 29458767872 262775 33554432000 4194304 4196468 140724950276800 140179311804120 140180374843886 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19842] ppid=19816 vsize=28768328 memory=3444 CPUtime=3.21 cores=0-7
/proc/19818/task/19842/stat : 19842 (java) R 19816 19816 19161 0 -1 4202560 446 0 0 0 319 2 0 0 20 0 28 0 418299573 29458767872 262775 33554432000 4194304 4196468 140724950276800 140179310751688 140180376043259 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19843] ppid=19816 vsize=28768328 memory=272 CPUtime=3.73 cores=0-7
/proc/19818/task/19843/stat : 19843 (java) R 19816 19816 19161 0 -1 4202560 243 0 0 0 372 1 0 0 20 0 28 0 418299573 29458767872 262775 33554432000 4194304 4196468 140724950276800 140179309698728 140180376043422 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19844] ppid=19816 vsize=28768328 memory=303 CPUtime=3.63 cores=0-7
/proc/19818/task/19844/stat : 19844 (java) R 19816 19816 19161 0 -1 4202560 139 0 0 0 362 1 0 0 20 0 28 0 418299573 29458767872 262775 33554432000 4194304 4196468 140724950276800 140179308646888 140180374844024 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19845] ppid=19816 vsize=28768328 memory=248 CPUtime=3.65 cores=0-7
/proc/19818/task/19845/stat : 19845 (java) R 19816 19816 19161 0 -1 4202560 175 0 0 0 363 2 0 0 20 0 28 0 418299573 29458767872 262775 33554432000 4194304 4196468 140724950276800 140179307594744 140180374843809 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
Current children cumulated CPU time: 43.16 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1052552 KiB

[startup+12.7013 s]
/proc/loadavg: 5.97 7.25 7.55 10/219 19847
/proc/meminfo: memFree=29688500/32770624 swapFree=66922776/67108860
[pid=19816] ppid=19813 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19816/stat : 19816 (xcsp3-exec) S 19813 19816 19161 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418299483 115843072 363 33554432000 4194304 5098028 140732556325104 140732556323208 140565008642684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13557760 140732556329846 140732556330089 140732556330089 140732556333002 0
/proc/19816/statm: 28282 363 304 221 0 87 0
[pid=19818] ppid=19816 vsize=28768328 memory=1392848 CPUtime=93.88 cores=0-7
/proc/19818/stat : 19818 (java) S 19816 19816 19161 0 -1 1077944320 69224 0 0 0 9190 198 0 0 20 0 28 0 418299483 29458767872 348212 33554432000 4194304 4196468 140724950276800 140724950259344 140180737457911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
/proc/19818/statm: 7192082 348212 3549 1 0 7153184 0
[pid=19818/tid=19819] ppid=19816 vsize=28768328 memory=87 CPUtime=0.87 cores=0-7
/proc/19818/task/19819/stat : 19819 (java) S 19816 19816 19161 0 -1 1077944384 9525 0 0 0 82 5 0 0 20 0 28 0 418299483 29458767872 348212 33554432000 4194304 4196468 140724950276800 140180741698688 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19820] ppid=19816 vsize=28768328 memory=57 CPUtime=0.7 cores=0-7
/proc/19818/task/19820/stat : 19820 (java) S 19816 19816 19161 0 -1 1077944384 384 0 0 0 53 17 0 0 20 0 28 0 418299484 29458767872 348212 33554432000 4194304 4196468 140724950276800 140180690078608 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19821] ppid=19816 vsize=28768328 memory=0 CPUtime=0.7 cores=0-7
/proc/19818/task/19821/stat : 19821 (java) S 19816 19816 19161 0 -1 1077944384 577 0 0 0 53 17 0 0 20 0 28 0 418299484 29458767872 348212 33554432000 4194304 4196468 140724950276800 140180689025808 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19822] ppid=19816 vsize=28768328 memory=1392696 CPUtime=0.69 cores=0-7
/proc/19818/task/19822/stat : 19822 (java) S 19816 19816 19161 0 -1 1077944384 404 0 0 0 53 16 0 0 20 0 28 0 418299484 29458767872 348212 33554432000 4194304 4196468 140724950276800 140180687973520 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19823] ppid=19816 vsize=28768328 memory=1228544 CPUtime=0.67 cores=0-7
/proc/19818/task/19823/stat : 19823 (java) S 19816 19816 19161 0 -1 1077944384 349 0 0 0 50 17 0 0 20 0 28 0 418299484 29458767872 348212 33554432000 4194304 4196468 140724950276800 140180285414416 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19824] ppid=19816 vsize=28768328 memory=1044 CPUtime=0.71 cores=0-7
/proc/19818/task/19824/stat : 19824 (java) S 19816 19816 19161 0 -1 1077944384 523 0 0 0 52 19 0 0 20 0 28 0 418299484 29458767872 348212 33554432000 4194304 4196468 140724950276800 140180284361104 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19825] ppid=19816 vsize=28768328 memory=279768130737472 CPUtime=0.7 cores=0-7
/proc/19818/task/19825/stat : 19825 (java) S 19816 19816 19161 0 -1 1077944384 614 0 0 0 52 18 0 0 20 0 28 0 418299484 29458767872 348212 33554432000 4194304 4196468 140724950276800 140180283308304 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19826] ppid=19816 vsize=28768328 memory=87292190395114 CPUtime=0.69 cores=0-7
/proc/19818/task/19826/stat : 19826 (java) S 19816 19816 19161 0 -1 1077944384 622 0 0 0 53 16 0 0 20 0 28 0 418299484 29458767872 348212 33554432000 4194304 4196468 140724950276800 140180282256016 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19827] ppid=19816 vsize=28768328 memory=87292190395114 CPUtime=0.72 cores=0-7
/proc/19818/task/19827/stat : 19827 (java) S 19816 19816 19161 0 -1 1077944384 787 0 0 0 53 19 0 0 20 0 28 0 418299484 29458767872 348212 33554432000 4194304 4196468 140724950276800 140180281203216 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19828] ppid=19816 vsize=28768328 memory=87292190395114 CPUtime=0.26 cores=0-7
/proc/19818/task/19828/stat : 19828 (java) S 19816 19816 19161 0 -1 1077944384 1220 0 0 0 25 1 0 0 20 0 28 0 418299485 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179335506544 140180737469058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19829] ppid=19816 vsize=28768328 memory=21060 CPUtime=0 cores=0-7
/proc/19818/task/19829/stat : 19829 (java) S 19816 19816 19161 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 418299486 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179334452576 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19830] ppid=19816 vsize=28768328 memory=988 CPUtime=0 cores=0-7
/proc/19818/task/19830/stat : 19830 (java) S 19816 19816 19161 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 418299486 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179333400192 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19831] ppid=19816 vsize=28768328 memory=2016 CPUtime=0 cores=0-7
/proc/19818/task/19831/stat : 19831 (java) S 19816 19816 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418299489 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179332348496 140180737476507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19832] ppid=19816 vsize=28768328 memory=1284 CPUtime=4.44 cores=0-7
/proc/19818/task/19832/stat : 19832 (java) S 19816 19816 19161 0 -1 1077944384 13220 0 0 0 440 4 0 0 20 0 28 0 418299489 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179331295344 140180737469058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19833] ppid=19816 vsize=28768328 memory=1452 CPUtime=4.23 cores=0-7
/proc/19818/task/19833/stat : 19833 (java) S 19816 19816 19161 0 -1 1077944384 11266 0 0 0 419 4 0 0 20 0 28 0 418299489 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179330242544 140180737469058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19834] ppid=19816 vsize=28768328 memory=279768131163456 CPUtime=4.5 cores=0-7
/proc/19818/task/19834/stat : 19834 (java) S 19816 19816 19161 0 -1 1077944384 12240 0 0 0 445 5 0 0 20 0 28 0 418299489 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179329190256 140180737469058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19835] ppid=19816 vsize=28768328 memory=7595975407846903891 CPUtime=1.22 cores=0-7
/proc/19818/task/19835/stat : 19835 (java) S 19816 19816 19161 0 -1 1077944384 7521 0 0 0 119 3 0 0 20 0 28 0 418299489 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179328137456 140180737469058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19836] ppid=19816 vsize=28768328 memory=6371563644451508304 CPUtime=0 cores=0-7
/proc/19818/task/19836/stat : 19836 (java) S 19816 19816 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418299489 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179327085408 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19837] ppid=19816 vsize=28768328 memory=6441362862644750695 CPUtime=0 cores=0-7
/proc/19818/task/19837/stat : 19837 (java) S 19816 19816 19161 0 -1 1077944384 1222 0 0 0 0 0 0 0 20 0 28 0 418299489 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179326032688 140180737469058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19838] ppid=19816 vsize=28768328 memory=1452 CPUtime=8.69 cores=0-7
/proc/19818/task/19838/stat : 19838 (java) R 19816 19816 19161 0 -1 4202560 397 0 0 0 867 2 0 0 20 0 28 0 418299573 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179314962224 140180376043840 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19839] ppid=19816 vsize=28768328 memory=1452 CPUtime=9.27 cores=0-7
/proc/19818/task/19839/stat : 19839 (java) R 19816 19816 19161 0 -1 4202560 310 0 0 0 926 1 0 0 20 0 28 0 418299573 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179313909872 140180374844105 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19840] ppid=19816 vsize=28768328 memory=1118824 CPUtime=8.17 cores=0-7
/proc/19818/task/19840/stat : 19840 (java) S 19816 19816 19161 0 -1 1077944384 3809 0 0 0 803 14 0 0 20 0 28 0 418299573 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179312856800 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19841] ppid=19816 vsize=28768328 memory=0 CPUtime=9.11 cores=0-7
/proc/19818/task/19841/stat : 19841 (java) R 19816 19816 19161 0 -1 4202560 1114 0 0 0 909 2 0 0 20 0 28 0 418299573 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179311803696 140180377372007 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19842] ppid=19816 vsize=28768328 memory=0 CPUtime=8.73 cores=0-7
/proc/19818/task/19842/stat : 19842 (java) S 19816 19816 19161 0 -1 1077944384 675 0 0 0 870 3 0 0 20 0 28 0 418299573 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179310751760 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19843] ppid=19816 vsize=28768328 memory=0 CPUtime=9.45 cores=0-7
/proc/19818/task/19843/stat : 19843 (java) R 19816 19816 19161 0 -1 1077944384 421 0 0 0 944 1 0 0 20 0 28 0 418299573 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179309698848 140180737468117 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19844] ppid=19816 vsize=28768328 memory=0 CPUtime=9.6 cores=0-7
/proc/19818/task/19844/stat : 19844 (java) S 19816 19816 19161 0 -1 1077944384 293 0 0 0 959 1 0 0 20 0 28 0 418299573 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179308646320 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19845] ppid=19816 vsize=28768328 memory=0 CPUtime=9.52 cores=0-7
/proc/19818/task/19845/stat : 19845 (java) R 19816 19816 19161 0 -1 4202560 399 0 0 0 950 2 0 0 20 0 28 0 418299573 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179307593728 140180376254777 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
Current children cumulated CPU time: 93.88 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1394300 KiB

[startup+12.832 s]
# the end of solver process 19816 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=92.6795 s, system=2.00357 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+12.8015 s]
/proc/loadavg: 5.97 7.25 7.55 10/219 19847
/proc/meminfo: memFree=29688500/32770624 swapFree=66922776/67108860
[pid=19816] ppid=19813 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/19816/stat : 19816 (xcsp3-exec) S 19813 19816 19161 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 418299483 115843072 363 33554432000 4194304 5098028 140732556325104 140732556323208 140565008642684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13557760 140732556329846 140732556330089 140732556330089 140732556333002 0
/proc/19816/statm: 28282 363 304 221 0 87 0
[pid=19818] ppid=19816 vsize=28768328 memory=1392848 CPUtime=94.64 cores=0-7
/proc/19818/stat : 19818 (java) S 19816 19816 19161 0 -1 1077944320 69252 0 0 0 9266 198 0 0 20 0 28 0 418299483 29458767872 348212 33554432000 4194304 4196468 140724950276800 140724950259344 140180737457911 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
/proc/19818/statm: 7192082 348212 3549 1 0 7153184 0
[pid=19818/tid=19819] ppid=19816 vsize=28768328 memory=7649399371346753841 CPUtime=0.87 cores=0-7
/proc/19818/task/19819/stat : 19819 (java) S 19816 19816 19161 0 -1 1077944384 9525 0 0 0 82 5 0 0 20 0 28 0 418299483 29458767872 348212 33554432000 4194304 4196468 140724950276800 140180741698688 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19820] ppid=19816 vsize=28768328 memory=1452 CPUtime=0.7 cores=0-7
/proc/19818/task/19820/stat : 19820 (java) S 19816 19816 19161 0 -1 1077944384 384 0 0 0 53 17 0 0 20 0 28 0 418299484 29458767872 348212 33554432000 4194304 4196468 140724950276800 140180690078608 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19821] ppid=19816 vsize=28768328 memory=1061152 CPUtime=0.7 cores=0-7
/proc/19818/task/19821/stat : 19821 (java) S 19816 19816 19161 0 -1 1077944384 577 0 0 0 53 17 0 0 20 0 28 0 418299484 29458767872 348212 33554432000 4194304 4196468 140724950276800 140180689025808 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19822] ppid=19816 vsize=28768328 memory=7649399384231655729 CPUtime=0.69 cores=0-7
/proc/19818/task/19822/stat : 19822 (java) S 19816 19816 19161 0 -1 1077944384 404 0 0 0 53 16 0 0 20 0 28 0 418299484 29458767872 348212 33554432000 4194304 4196468 140724950276800 140180687973520 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19823] ppid=19816 vsize=28768328 memory=7649399388526623025 CPUtime=0.67 cores=0-7
/proc/19818/task/19823/stat : 19823 (java) S 19816 19816 19161 0 -1 1077944384 349 0 0 0 50 17 0 0 20 0 28 0 418299484 29458767872 348212 33554432000 4194304 4196468 140724950276800 140180285414416 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19824] ppid=19816 vsize=28768328 memory=2 CPUtime=0.71 cores=0-7
/proc/19818/task/19824/stat : 19824 (java) S 19816 19816 19161 0 -1 1077944384 523 0 0 0 52 19 0 0 20 0 28 0 418299484 29458767872 348212 33554432000 4194304 4196468 140724950276800 140180284361104 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19825] ppid=19816 vsize=28768328 memory=1044 CPUtime=0.7 cores=0-7
/proc/19818/task/19825/stat : 19825 (java) S 19816 19816 19161 0 -1 1077944384 614 0 0 0 52 18 0 0 20 0 28 0 418299484 29458767872 348212 33554432000 4194304 4196468 140724950276800 140180283308304 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19826] ppid=19816 vsize=28768328 memory=708 CPUtime=0.69 cores=0-7
/proc/19818/task/19826/stat : 19826 (java) S 19816 19816 19161 0 -1 1077944384 622 0 0 0 53 16 0 0 20 0 28 0 418299484 29458767872 348212 33554432000 4194304 4196468 140724950276800 140180282256016 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19827] ppid=19816 vsize=28768328 memory=9364 CPUtime=0.72 cores=0-7
/proc/19818/task/19827/stat : 19827 (java) S 19816 19816 19161 0 -1 1077944384 787 0 0 0 53 19 0 0 20 0 28 0 418299484 29458767872 348212 33554432000 4194304 4196468 140724950276800 140180281203216 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19828] ppid=19816 vsize=28768328 memory=1120 CPUtime=0.26 cores=0-7
/proc/19818/task/19828/stat : 19828 (java) S 19816 19816 19161 0 -1 1077944384 1220 0 0 0 25 1 0 0 20 0 28 0 418299485 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179335506544 140180737469058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19829] ppid=19816 vsize=28768328 memory=776 CPUtime=0 cores=0-7
/proc/19818/task/19829/stat : 19829 (java) S 19816 19816 19161 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 418299486 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179334452576 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19830] ppid=19816 vsize=28768328 memory=1552 CPUtime=0 cores=0-7
/proc/19818/task/19830/stat : 19830 (java) S 19816 19816 19161 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 418299486 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179333400192 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19831] ppid=19816 vsize=28768328 memory=8048 CPUtime=0 cores=0-7
/proc/19818/task/19831/stat : 19831 (java) S 19816 19816 19161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418299489 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179332348496 140180737476507 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19832] ppid=19816 vsize=28768328 memory=3444 CPUtime=4.44 cores=0-7
/proc/19818/task/19832/stat : 19832 (java) S 19816 19816 19161 0 -1 1077944384 13220 0 0 0 440 4 0 0 20 0 28 0 418299489 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179331295344 140180737469058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19833] ppid=19816 vsize=28768328 memory=1556 CPUtime=4.23 cores=0-7
/proc/19818/task/19833/stat : 19833 (java) S 19816 19816 19161 0 -1 1077944384 11266 0 0 0 419 4 0 0 20 0 28 0 418299489 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179330242544 140180737469058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19834] ppid=19816 vsize=28768328 memory=288230574492221466 CPUtime=4.5 cores=0-7
/proc/19818/task/19834/stat : 19834 (java) S 19816 19816 19161 0 -1 1077944384 12240 0 0 0 445 5 0 0 20 0 28 0 418299489 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179329190256 140180737469058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19835] ppid=19816 vsize=28768328 memory=0 CPUtime=1.22 cores=0-7
/proc/19818/task/19835/stat : 19835 (java) S 19816 19816 19161 0 -1 1077944384 7529 0 0 0 119 3 0 0 20 0 28 0 418299489 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179328137456 140180737469058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19836] ppid=19816 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19836/stat : 19836 (java) S 19816 19816 19161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418299489 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179327085408 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19837] ppid=19816 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/19818/task/19837/stat : 19837 (java) S 19816 19816 19161 0 -1 1077944384 1222 0 0 0 0 0 0 0 20 0 28 0 418299489 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179326032688 140180737469058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19838] ppid=19816 vsize=28768328 memory=0 CPUtime=8.78 cores=0-7
/proc/19818/task/19838/stat : 19838 (java) S 19816 19816 19161 0 -1 1077944384 400 0 0 0 876 2 0 0 20 0 28 0 418299573 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179314966640 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19839] ppid=19816 vsize=28768328 memory=0 CPUtime=9.37 cores=0-7
/proc/19818/task/19839/stat : 19839 (java) S 19816 19816 19161 0 -1 1077944384 310 0 0 0 936 1 0 0 20 0 28 0 418299573 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179313915344 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19840] ppid=19816 vsize=28768328 memory=0 CPUtime=8.27 cores=0-7
/proc/19818/task/19840/stat : 19840 (java) S 19816 19816 19161 0 -1 1077944384 3815 0 0 0 813 14 0 0 20 0 28 0 418299573 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179312862032 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19841] ppid=19816 vsize=28768328 memory=0 CPUtime=9.2 cores=0-7
/proc/19818/task/19841/stat : 19841 (java) S 19816 19816 19161 0 -1 1077944384 1114 0 0 0 918 2 0 0 20 0 28 0 418299573 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179311809232 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19842] ppid=19816 vsize=28768328 memory=0 CPUtime=8.82 cores=0-7
/proc/19818/task/19842/stat : 19842 (java) S 19816 19816 19161 0 -1 1077944384 678 0 0 0 879 3 0 0 20 0 28 0 418299573 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179310756944 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19843] ppid=19816 vsize=28768328 memory=0 CPUtime=9.54 cores=0-7
/proc/19818/task/19843/stat : 19843 (java) S 19816 19816 19161 0 -1 1077944384 421 0 0 0 953 1 0 0 20 0 28 0 418299573 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179309704144 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19844] ppid=19816 vsize=28768328 memory=2832 CPUtime=9.7 cores=0-7
/proc/19818/task/19844/stat : 19844 (java) R 19816 19816 19161 0 -1 4202560 293 0 0 0 969 1 0 0 20 0 28 0 418299573 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179308646456 140180377686231 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
[pid=19818/tid=19845] ppid=19816 vsize=28768328 memory=984 CPUtime=9.61 cores=0-7
/proc/19818/task/19845/stat : 19845 (java) S 19816 19816 19161 0 -1 1077944384 407 0 0 0 959 2 0 0 20 0 28 0 418299573 29458767872 348212 33554432000 4194304 4196468 140724950276800 140179307599056 140180737468117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13918208 140724950279146 140724950279318 140724950279318 140724950282191 0
Current children cumulated CPU time: 94.64 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1394300 KiB

Child status: 0
Real time (s): 12.832
CPU time (s): 94.6831
CPU user time (s): 92.6795
CPU system time (s): 2.00357
CPU usage (%): 737.866
Max. virtual memory (cumulated for all children) (KiB): 28883856
Max. memory (cumulated for all children) (KiB): 1394300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.6795
system time used= 2.00357
maximum resident set size= 1392980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70334
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6754
involuntary context switches= 2708


# summary of solver processes directly reported to runsolver:
#   pid: 19816
#   total CPU time (s): 94.6831
#   total CPU user time (s): 92.6795
#   total CPU system time (s): 2.00357

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.115676 second user time and 0.20376 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-14 01:18:38
IDJOB=4393694
IDBENCH=122886
IDSOLVER=2841
FILE ID=node107/4393694-1568420435
RUNJOBID= node107-1568413377-19188
PBS_JOBID= 21702267
Free space on /tmp= 59040 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-144.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393694-1568420435/watcher-4393694-1568420435 -o /tmp/evaluation-result-4393694-1568420435/solver-4393694-1568420435 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568413377-19188 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 537297244 HOME/instance-4393694-1568420435.xml

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

MD5SUM BENCH= b8938fafa0a7bd5ba97e6b9454c94e7b
RANDOM SEED=537297244

node107.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        31070544 kB
MemAvailable:   31829304 kB
Buffers:          169324 kB
Cached:           862260 kB
SwapCached:        79184 kB
Active:           566380 kB
Inactive:         545528 kB
Active(anon):      10624 kB
Inactive(anon):   101076 kB
Active(file):     555756 kB
Inactive(file):   444452 kB
Unevictable:      109964 kB
Mlocked:          109964 kB
SwapTotal:      67108860 kB
SwapFree:       66922776 kB
Dirty:             26084 kB
Writeback:             0 kB
AnonPages:        114380 kB
Mapped:            34688 kB
Shmem:             22508 kB
Slab:             177808 kB
SReclaimable:     148776 kB
SUnreclaim:        29032 kB
KernelStack:        3488 kB
PageTables:         5096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     489488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 59012 MiB
End job on node107 at 2019-09-14 01:18:51