Trace number 4392984

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 161.187 132.264

General information on the benchmark

NameNumberPartitioning/NumberPartitioning-m1-s1/
NumberPartitioning-116.xml
MD5SUMd517e275a321760c6bd42601d2b728d6
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 benchmark23.7128
Satisfiable
(Un)Satisfiability was proved
Number of variables232
Number of constraints124
Number of domains2
Minimum domain size116
Maximum domain size13456
Distribution of domain sizes[{"size":116,"count":116},{"size":13456,"count":116}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":116},{"degree":4,"count":115},{"degree":5,"count":1}]
Minimum constraint arity1
Maximum constraint arity116
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":116},{"arity":58,"count":6},{"arity":116,"count":1}]
Number of extensional constraints0
Number of intensional constraints117
Distribution of constraint types[{"type":"intension","count":117},{"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-4392984-1568314993.xml"  -tl '2520s' -p 4
0.12/0.18	c Choco e747e1e
0.12/0.19	c [HOME/instance-4392984-1568314993.xml, -tl, 2520s, -p, 4]
0.34/0.23	c 4 solvers in parallel
0.34/0.29	c parse instance...
129.86/124.37	c solve instance...
161.03/132.23	s SATISFIABLE
161.03/132.23	v <instantiation>
161.03/132.23	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] 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] 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] 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] </list>
161.03/132.23	v 	<values>1 2 3 4 6 8 9 10 11 12 13 14 15 16 17 18 24 28 44 59 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 91 92 93 94 96 97 98 99 101 104 5 7 19 20 21 22 23 25 26 27 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 45 46 47 48 49 50 51 52 53 54 55 56 57 58 60 61 90 95 100 102 103 105 106 107 108 109 110 111 112 113 114 115 116 1 4 9 16 36 64 81 100 121 144 169 196 225 256 289 324 576 784 1936 3481 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 8281 8464 8649 8836 9216 9409 9604 9801 10201 10816 25 49 361 400 441 484 529 625 676 729 841 900 961 1024 1089 1156 1225 1296 1369 1444 1521 1600 1681 1764 1849 2025 2116 2209 2304 2401 2500 2601 2704 2809 2916 3025 3136 3249 3364 3600 3721 8100 9025 10000 10404 10609 11025 11236 11449 11664 11881 12100 12321 12544 12769 12996 13225 13456 </values>
161.03/132.23	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 (15271 MiB free)
  memory of node 1: 16384 MiB (7302 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392984-1568314993/watcher-4392984-1568314993 -o /tmp/evaluation-result-4392984-1568314993/solver-4392984-1568314993 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568312479-6784 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2006699298 HOME/instance-4392984-1568314993.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
solver pid=10156, runsolver pid=10153
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 8.90 8.24 7.55 6/235 10172
/proc/meminfo: memFree=23100252/32770624 swapFree=66979412/67108860
[pid=10156] ppid=10153 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10156/stat : 10156 (xcsp3-exec) S 10153 10156 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407761958 115843072 363 33554432000 4194304 5098028 140736882009952 140736882008056 139914502210172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23789568 140736882013050 140736882013293 140736882013293 140736882016202 0
/proc/10156/statm: 28282 363 304 221 0 87 0
[pid=10158] ppid=10156 vsize=15144768 memory=27664 CPUtime=0.12 cores=0,2,4,6
/proc/10158/stat : 10158 (java) S 10156 10156 6753 0 -1 1077944320 5881 0 0 0 11 1 0 0 20 0 15 0 407761959 15508242432 6916 33554432000 4194304 4196468 140733531218176 140733531200720 140220513144567 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
/proc/10158/statm: 3786192 6916 3139 1 0 3748377 0
[pid=10158/tid=10159] ppid=10156 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=0,2,4,6
/proc/10158/task/10159/stat : 10159 (java) R 10156 10156 6753 0 -1 4202560 3753 0 0 0 8 1 0 0 20 0 15 0 407761959 15508242432 6916 33554432000 4194304 4196468 140733531218176 140220517373744 140220513156502 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10160] ppid=10156 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10160/stat : 10160 (java) S 10156 10156 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407761960 15508242432 6916 33554432000 4194304 4196468 140733531218176 140220482857360 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10161] ppid=10156 vsize=15144768 memory=140151444117120 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10161/stat : 10161 (java) S 10156 10156 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407761960 15508242432 6916 33554432000 4194304 4196468 140733531218176 140220104837392 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10162] ppid=10156 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10162/stat : 10162 (java) S 10156 10156 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407761960 15508242432 6916 33554432000 4194304 4196468 140733531218176 140220103785104 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10163] ppid=10156 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10163/stat : 10163 (java) S 10156 10156 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407761960 15508242432 6916 33554432000 4194304 4196468 140733531218176 140220102732304 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10164] ppid=10156 vsize=15144768 memory=140151444117120 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10164/stat : 10164 (java) S 10156 10156 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407761961 15508242432 6916 33554432000 4194304 4196468 140733531218176 140219386464880 140220513155714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10165] ppid=10156 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10165/stat : 10165 (java) S 10156 10156 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407761962 15508242432 6916 33554432000 4194304 4196468 140733531218176 140219385410848 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10166] ppid=10156 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10166/stat : 10166 (java) S 10156 10156 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407761962 15508242432 6916 33554432000 4194304 4196468 140733531218176 140219384358512 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10167] ppid=10156 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10167/stat : 10167 (java) S 10156 10156 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407761964 15508242432 6916 33554432000 4194304 4196468 140733531218176 140219383306832 140220513163163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10168] ppid=10156 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10168/stat : 10168 (java) S 10156 10156 6753 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 407761964 15508242432 6916 33554432000 4194304 4196468 140733531218176 140219382253680 140220513155714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10169] ppid=10156 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10169/stat : 10169 (java) S 10156 10156 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407761964 15508242432 6916 33554432000 4194304 4196468 140733531218176 140219381200880 140220513155714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10170] ppid=10156 vsize=15144768 memory=140151444117120 CPUtime=0.02 cores=0,2,4,6
/proc/10158/task/10170/stat : 10170 (java) S 10156 10156 6753 0 -1 1077944384 390 0 0 0 2 0 0 0 20 0 15 0 407761964 15508242432 6916 33554432000 4194304 4196468 140733531218176 140219380148592 140220513155714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10171] ppid=10156 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10171/stat : 10171 (java) S 10156 10156 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407761965 15508242432 6916 33554432000 4194304 4196468 140733531218176 140219379096032 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10172] ppid=10156 vsize=15144768 memory=140151444117120 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10172/stat : 10172 (java) S 10156 10156 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407761965 15508242432 6916 33554432000 4194304 4196468 140733531218176 140219378043824 140220513155714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 29116 KiB

[startup+0.210968 s]*
/proc/loadavg: 8.90 8.24 7.55 7/235 10172
/proc/meminfo: memFree=23087016/32770624 swapFree=66979412/67108860
[pid=10156] ppid=10153 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10156/stat : 10156 (xcsp3-exec) S 10153 10156 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407761958 115843072 363 33554432000 4194304 5098028 140736882009952 140736882008056 139914502210172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23789568 140736882013050 140736882013293 140736882013293 140736882016202 0
/proc/10156/statm: 28282 363 304 221 0 87 0
[pid=10158] ppid=10156 vsize=15144768 memory=39772 CPUtime=0.34 cores=0,2,4,6
/proc/10158/stat : 10158 (java) S 10156 10156 6753 0 -1 1077944320 9673 0 0 0 31 3 0 0 20 0 15 0 407761959 15508242432 9943 33554432000 4194304 4196468 140733531218176 140733531200720 140220513144567 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
/proc/10158/statm: 3786192 9943 3283 1 0 3748377 0
[pid=10158/tid=10159] ppid=10156 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/10158/task/10159/stat : 10159 (java) R 10156 10156 6753 0 -1 4202560 6684 0 0 0 18 2 0 0 20 0 15 0 407761959 15508242432 9943 33554432000 4194304 4196468 140733531218176 140220517377296 140220505822581 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10160] ppid=10156 vsize=15144768 memory=2995868 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10160/stat : 10160 (java) S 10156 10156 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407761960 15508242432 9943 33554432000 4194304 4196468 140733531218176 140220482857360 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10161] ppid=10156 vsize=15144768 memory=140151447265321 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10161/stat : 10161 (java) S 10156 10156 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407761960 15508242432 9943 33554432000 4194304 4196468 140733531218176 140220104837392 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10162] ppid=10156 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10162/stat : 10162 (java) S 10156 10156 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407761960 15508242432 9943 33554432000 4194304 4196468 140733531218176 140220103785104 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10163] ppid=10156 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10163/stat : 10163 (java) S 10156 10156 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407761960 15508242432 9943 33554432000 4194304 4196468 140733531218176 140220102732304 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10164] ppid=10156 vsize=15144768 memory=140151444117120 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10164/stat : 10164 (java) S 10156 10156 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407761961 15508242432 9943 33554432000 4194304 4196468 140733531218176 140219386464880 140220513155714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10165] ppid=10156 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10165/stat : 10165 (java) S 10156 10156 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407761962 15508242432 9943 33554432000 4194304 4196468 140733531218176 140219385410848 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10166] ppid=10156 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10166/stat : 10166 (java) S 10156 10156 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407761962 15508242432 9943 33554432000 4194304 4196468 140733531218176 140219384358512 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10167] ppid=10156 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10167/stat : 10167 (java) S 10156 10156 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407761964 15508242432 9943 33554432000 4194304 4196468 140733531218176 140219383306832 140220513163163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10168] ppid=10156 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/10158/task/10168/stat : 10168 (java) S 10156 10156 6753 0 -1 1077944384 723 0 0 0 3 0 0 0 20 0 15 0 407761964 15508242432 9943 33554432000 4194304 4196468 140733531218176 140219382253680 140220513155714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10169] ppid=10156 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/10158/task/10169/stat : 10169 (java) S 10156 10156 6753 0 -1 1077944384 78 0 0 0 2 0 0 0 20 0 15 0 407761964 15508242432 9943 33554432000 4194304 4196468 140733531218176 140219381200880 140220513155714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10170] ppid=10156 vsize=15144768 memory=140151444117120 CPUtime=0.08 cores=0,2,4,6
/proc/10158/task/10170/stat : 10170 (java) S 10156 10156 6753 0 -1 1077944384 891 0 0 0 8 0 0 0 20 0 15 0 407761964 15508242432 9943 33554432000 4194304 4196468 140733531218176 140219380148592 140220513155714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10171] ppid=10156 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10171/stat : 10171 (java) S 10156 10156 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407761965 15508242432 9943 33554432000 4194304 4196468 140733531218176 140219379096032 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10172] ppid=10156 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10172/stat : 10172 (java) S 10156 10156 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407761965 15508242432 9943 33554432000 4194304 4196468 140733531218176 140219378043824 140220513155714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41224 KiB

[startup+0.310715 s]*
/proc/loadavg: 8.90 8.24 7.55 6/235 10172
/proc/meminfo: memFree=23081556/32770624 swapFree=66979412/67108860
[pid=10156] ppid=10153 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10156/stat : 10156 (xcsp3-exec) S 10153 10156 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407761958 115843072 363 33554432000 4194304 5098028 140736882009952 140736882008056 139914502210172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23789568 140736882013050 140736882013293 140736882013293 140736882016202 0
/proc/10156/statm: 28282 363 304 221 0 87 0
[pid=10158] ppid=10156 vsize=15149024 memory=46436 CPUtime=0.53 cores=0,2,4,6
/proc/10158/stat : 10158 (java) S 10156 10156 6753 0 -1 1077944320 10929 0 0 0 49 4 0 0 20 0 15 0 407761959 15512600576 11609 33554432000 4194304 4196468 140733531218176 140733531200720 140220513144567 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
/proc/10158/statm: 3787256 11609 3355 1 0 3748377 0
[pid=10158/tid=10159] ppid=10156 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/10158/task/10159/stat : 10159 (java) R 10156 10156 6753 0 -1 4202560 7736 0 0 0 27 3 0 0 20 0 15 0 407761959 15512600576 11609 33554432000 4194304 4196468 140733531218176 140220517379968 140220497225054 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10160] ppid=10156 vsize=15149024 memory=2996209 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10160/stat : 10160 (java) S 10156 10156 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407761960 15512600576 11609 33554432000 4194304 4196468 140733531218176 140220482857360 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10161] ppid=10156 vsize=15149024 memory=3153576 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10161/stat : 10161 (java) S 10156 10156 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407761960 15512600576 11609 33554432000 4194304 4196468 140733531218176 140220104837392 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10162] ppid=10156 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10162/stat : 10162 (java) S 10156 10156 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407761960 15512600576 11609 33554432000 4194304 4196468 140733531218176 140220103785104 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10163] ppid=10156 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10163/stat : 10163 (java) S 10156 10156 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407761960 15512600576 11609 33554432000 4194304 4196468 140733531218176 140220102732304 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10164] ppid=10156 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10164/stat : 10164 (java) S 10156 10156 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407761961 15512600576 11609 33554432000 4194304 4196468 140733531218176 140219386464880 140220513155714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10165] ppid=10156 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10165/stat : 10165 (java) S 10156 10156 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407761962 15512600576 11609 33554432000 4194304 4196468 140733531218176 140219385410848 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10166] ppid=10156 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10166/stat : 10166 (java) S 10156 10156 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407761962 15512600576 11609 33554432000 4194304 4196468 140733531218176 140219384358512 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10167] ppid=10156 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10167/stat : 10167 (java) S 10156 10156 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407761964 15512600576 11609 33554432000 4194304 4196468 140733531218176 140219383306832 140220513163163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10168] ppid=10156 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/10158/task/10168/stat : 10168 (java) R 10156 10156 6753 0 -1 4202560 738 0 0 0 4 0 0 0 20 0 15 0 407761964 15512600576 11609 33554432000 4194304 4196468 140733531218176 140219382253680 140220513156502 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10169] ppid=10156 vsize=15149024 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/10158/task/10169/stat : 10169 (java) R 10156 10156 6753 0 -1 4202560 107 0 0 0 3 0 0 0 20 0 15 0 407761964 15512600576 11609 33554432000 4194304 4196468 140733531218176 140219381200880 140220497538189 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10170] ppid=10156 vsize=15149024 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/10158/task/10170/stat : 10170 (java) S 10156 10156 6753 0 -1 1077944384 1051 0 0 0 13 0 0 0 20 0 15 0 407761964 15512600576 11609 33554432000 4194304 4196468 140733531218176 140219380148592 140220513155714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10171] ppid=10156 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10171/stat : 10171 (java) S 10156 10156 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407761965 15512600576 11609 33554432000 4194304 4196468 140733531218176 140219379096032 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10172] ppid=10156 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10172/stat : 10172 (java) S 10156 10156 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407761965 15512600576 11609 33554432000 4194304 4196468 140733531218176 140219378043824 140220513155714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 47888 KiB

[startup+0.700787 s]
/proc/loadavg: 8.90 8.24 7.55 8/235 10172
/proc/meminfo: memFree=23065500/32770624 swapFree=66979412/67108860
[pid=10156] ppid=10153 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10156/stat : 10156 (xcsp3-exec) S 10153 10156 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407761958 115843072 363 33554432000 4194304 5098028 140736882009952 140736882008056 139914502210172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23789568 140736882013050 140736882013293 140736882013293 140736882016202 0
/proc/10156/statm: 28282 363 304 221 0 87 0
[pid=10158] ppid=10156 vsize=15151148 memory=186008 CPUtime=1.38 cores=0,2,4,6
/proc/10158/stat : 10158 (java) S 10156 10156 6753 0 -1 1077944320 13815 0 0 0 130 8 0 0 20 0 15 0 407761959 15514775552 46502 33554432000 4194304 4196468 140733531218176 140733531200720 140220513144567 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
/proc/10158/statm: 3787787 46502 3464 1 0 3748889 0
[pid=10158/tid=10159] ppid=10156 vsize=15151148 memory=1788920988929 CPUtime=0.66 cores=0,2,4,6
/proc/10158/task/10159/stat : 10159 (java) R 10156 10156 6753 0 -1 4202560 8904 0 0 0 61 5 0 0 20 0 15 0 407761959 15514775552 46502 33554432000 4194304 4196468 140733531218176 140220517382544 140220153107897 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10160] ppid=10156 vsize=15151148 memory=512 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10160/stat : 10160 (java) S 10156 10156 6753 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 407761960 15514775552 46502 33554432000 4194304 4196468 140733531218176 140220482857360 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10161] ppid=10156 vsize=15151148 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10161/stat : 10161 (java) S 10156 10156 6753 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 407761960 15514775552 46502 33554432000 4194304 4196468 140733531218176 140220104837392 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10162] ppid=10156 vsize=15151148 memory=928 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10162/stat : 10162 (java) S 10156 10156 6753 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 407761960 15514775552 46502 33554432000 4194304 4196468 140733531218176 140220103785104 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10163] ppid=10156 vsize=15151148 memory=3772 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10163/stat : 10163 (java) S 10156 10156 6753 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 407761960 15514775552 46502 33554432000 4194304 4196468 140733531218176 140220102732304 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10164] ppid=10156 vsize=15151148 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10164/stat : 10164 (java) S 10156 10156 6753 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 407761961 15514775552 46502 33554432000 4194304 4196468 140733531218176 140219386464880 140220513155714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10165] ppid=10156 vsize=15151148 memory=920 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10165/stat : 10165 (java) S 10156 10156 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407761962 15514775552 46502 33554432000 4194304 4196468 140733531218176 140219385410912 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10166] ppid=10156 vsize=15151148 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10166/stat : 10166 (java) S 10156 10156 6753 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 407761962 15514775552 46502 33554432000 4194304 4196468 140733531218176 140219384358528 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10167] ppid=10156 vsize=15151148 memory=2404 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10167/stat : 10167 (java) S 10156 10156 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407761964 15514775552 46502 33554432000 4194304 4196468 140733531218176 140219383306832 140220513163163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10168] ppid=10156 vsize=15151148 memory=1764 CPUtime=0.19 cores=0,2,4,6
/proc/10158/task/10168/stat : 10168 (java) S 10156 10156 6753 0 -1 1077944384 1211 0 0 0 19 0 0 0 20 0 15 0 407761964 15514775552 46502 33554432000 4194304 4196468 140733531218176 140219382253680 140220513155714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10169] ppid=10156 vsize=15151148 memory=111632 CPUtime=0.2 cores=0,2,4,6
/proc/10158/task/10169/stat : 10169 (java) S 10156 10156 6753 0 -1 1077944384 578 0 0 0 20 0 0 0 20 0 15 0 407761964 15514775552 46502 33554432000 4194304 4196468 140733531218176 140219381200880 140220513155714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10170] ppid=10156 vsize=15151148 memory=804 CPUtime=0.27 cores=0,2,4,6
/proc/10158/task/10170/stat : 10170 (java) S 10156 10156 6753 0 -1 1077944384 1685 0 0 0 27 0 0 0 20 0 15 0 407761964 15514775552 46502 33554432000 4194304 4196468 140733531218176 140219380148592 140220513155714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10171] ppid=10156 vsize=15151148 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10171/stat : 10171 (java) S 10156 10156 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407761965 15514775552 46502 33554432000 4194304 4196468 140733531218176 140219379096032 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10172] ppid=10156 vsize=15151148 memory=924 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10172/stat : 10172 (java) S 10156 10156 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407761965 15514775552 46502 33554432000 4194304 4196468 140733531218176 140219378043824 140220513155714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 187460 KiB

[startup+1.50093 s]
/proc/loadavg: 8.59 8.19 7.54 6/235 10172
/proc/meminfo: memFree=22843884/32770624 swapFree=66979412/67108860
[pid=10156] ppid=10153 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10156/stat : 10156 (xcsp3-exec) S 10153 10156 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407761958 115843072 363 33554432000 4194304 5098028 140736882009952 140736882008056 139914502210172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23789568 140736882013050 140736882013293 140736882013293 140736882016202 0
/proc/10156/statm: 28282 363 304 221 0 87 0

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

/proc/10158/task/10172/stat : 10172 (java) S 10156 10156 6753 0 -1 1077944384 537 0 0 0 4 3 0 0 20 0 19 0 407761965 15789518848 1159143 33554432000 4194304 4196468 140733531218176 140219378043824 140220513155714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10181] ppid=10156 vsize=15419452 memory=3772 CPUtime=4.5 cores=0,2,4,6
/proc/10158/task/10181/stat : 10181 (java) R 10156 10156 6753 0 -1 4202560 127 0 0 0 450 0 0 0 20 0 19 0 407774397 15789518848 1159143 33554432000 4194304 4196468 140733531218176 140219369068696 140220150078230 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10182] ppid=10156 vsize=15419452 memory=1440 CPUtime=4.38 cores=0,2,4,6
/proc/10158/task/10182/stat : 10182 (java) R 10156 10156 6753 0 -1 4202560 504 0 0 0 438 0 0 0 20 0 19 0 407774397 15789518848 1159143 33554432000 4194304 4196468 140733531218176 140219368020408 140220156270336 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10183] ppid=10156 vsize=15419452 memory=920 CPUtime=4.37 cores=0,2,4,6
/proc/10158/task/10183/stat : 10183 (java) R 10156 10156 6753 0 -1 4202560 68 0 0 0 437 0 0 0 20 0 19 0 407774397 15789518848 1159143 33554432000 4194304 4196468 140733531218176 140219366966024 140220155787182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10184] ppid=10156 vsize=15419452 memory=1984 CPUtime=4.58 cores=0,2,4,6
/proc/10158/task/10184/stat : 10184 (java) R 10156 10156 6753 0 -1 4202560 175 0 0 0 458 0 0 0 20 0 19 0 407774397 15789518848 1159143 33554432000 4194304 4196468 140733531218176 140219365911872 140220156270954 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
Current children cumulated CPU time: 150.71 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 4638024 KiB

[startup+131.201 s]
/proc/loadavg: 5.55 7.01 7.18 10/239 10184
/proc/meminfo: memFree=18482076/32770624 swapFree=66979412/67108860
[pid=10156] ppid=10153 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10156/stat : 10156 (xcsp3-exec) S 10153 10156 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407761958 115843072 363 33554432000 4194304 5098028 140736882009952 140736882008056 139914502210172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23789568 140736882013050 140736882013293 140736882013293 140736882016202 0
/proc/10156/statm: 28282 363 304 221 0 87 0
[pid=10158] ppid=10156 vsize=15419452 memory=4637408 CPUtime=157.05 cores=0,2,4,6
/proc/10158/stat : 10158 (java) S 10156 10156 6753 0 -1 1077944320 76360 0 0 0 15544 161 0 0 20 0 19 0 407761959 15789518848 1159352 33554432000 4194304 4196468 140733531218176 140733531200720 140220513144567 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
/proc/10158/statm: 3854863 1159352 3535 1 0 3815965 0
[pid=10158/tid=10159] ppid=10156 vsize=15419452 memory=4620172 CPUtime=122.54 cores=0,2,4,6
/proc/10158/task/10159/stat : 10159 (java) S 10156 10156 6753 0 -1 1077944384 27712 0 0 0 12189 65 0 0 20 0 19 0 407761959 15789518848 1159352 33554432000 4194304 4196468 140733531218176 140220517385344 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10160] ppid=10156 vsize=15419452 memory=5716 CPUtime=1.41 cores=0,2,4,6
/proc/10158/task/10160/stat : 10160 (java) S 10156 10156 6753 0 -1 1077944384 2145 0 0 0 120 21 0 0 20 0 19 0 407761960 15789518848 1159352 33554432000 4194304 4196468 140733531218176 140220482857360 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10161] ppid=10156 vsize=15419452 memory=512 CPUtime=1.41 cores=0,2,4,6
/proc/10158/task/10161/stat : 10161 (java) S 10156 10156 6753 0 -1 1077944384 2311 0 0 0 120 21 0 0 20 0 19 0 407761960 15789518848 1159352 33554432000 4194304 4196468 140733531218176 140220104837392 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10162] ppid=10156 vsize=15419452 memory=1452 CPUtime=1.42 cores=0,2,4,6
/proc/10158/task/10162/stat : 10162 (java) S 10156 10156 6753 0 -1 1077944384 2053 0 0 0 120 22 0 0 20 0 19 0 407761960 15789518848 1159352 33554432000 4194304 4196468 140733531218176 140220103785104 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10163] ppid=10156 vsize=15419452 memory=1060 CPUtime=1.42 cores=0,2,4,6
/proc/10158/task/10163/stat : 10163 (java) S 10156 10156 6753 0 -1 1077944384 1566 0 0 0 121 21 0 0 20 0 19 0 407761960 15789518848 1159352 33554432000 4194304 4196468 140733531218176 140220102732304 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10164] ppid=10156 vsize=15419452 memory=2828 CPUtime=0.24 cores=0,2,4,6
/proc/10158/task/10164/stat : 10164 (java) S 10156 10156 6753 0 -1 1077944384 4425 0 0 0 21 3 0 0 20 0 19 0 407761961 15789518848 1159352 33554432000 4194304 4196468 140733531218176 140219386464880 140220513155714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10165] ppid=10156 vsize=15419452 memory=756 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10165/stat : 10165 (java) S 10156 10156 6753 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 407761962 15789518848 1159352 33554432000 4194304 4196468 140733531218176 140219385410912 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10166] ppid=10156 vsize=15419452 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10166/stat : 10166 (java) S 10156 10156 6753 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 19 0 407761962 15789518848 1159352 33554432000 4194304 4196468 140733531218176 140219384358528 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10167] ppid=10156 vsize=15419452 memory=7968 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10167/stat : 10167 (java) S 10156 10156 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407761964 15789518848 1159352 33554432000 4194304 4196468 140733531218176 140219383306832 140220513163163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10168] ppid=10156 vsize=15419452 memory=6791534058613427641 CPUtime=2.14 cores=0,2,4,6
/proc/10158/task/10168/stat : 10168 (java) R 10156 10156 6753 0 -1 4202560 10924 0 0 0 212 2 0 0 20 0 19 0 407761964 15789518848 1159352 33554432000 4194304 4196468 140733531218176 140219382240224 140220492831111 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10169] ppid=10156 vsize=15419452 memory=16688 CPUtime=2.62 cores=0,2,4,6
/proc/10158/task/10169/stat : 10169 (java) R 10156 10156 6753 0 -1 4202560 9533 0 0 0 260 2 0 0 20 0 19 0 407761964 15789518848 1159352 33554432000 4194304 4196468 140733531218176 140219381190368 140220499158897 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10170] ppid=10156 vsize=15419452 memory=2004 CPUtime=0.82 cores=0,2,4,6
/proc/10158/task/10170/stat : 10170 (java) S 10156 10156 6753 0 -1 1077944384 11638 0 0 0 81 1 0 0 20 0 19 0 407761964 15789518848 1159352 33554432000 4194304 4196468 140733531218176 140219380148592 140220513155714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 45 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10171] ppid=10156 vsize=15419452 memory=984 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10171/stat : 10171 (java) S 10156 10156 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407761965 15789518848 1159352 33554432000 4194304 4196468 140733531218176 140219379096032 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10172] ppid=10156 vsize=15419452 memory=1328 CPUtime=0.07 cores=0,2,4,6
/proc/10158/task/10172/stat : 10172 (java) S 10156 10156 6753 0 -1 1077944384 558 0 0 0 4 3 0 0 20 0 19 0 407761965 15789518848 1159352 33554432000 4194304 4196468 140733531218176 140219378043824 140220513155714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 43 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10181] ppid=10156 vsize=15419452 memory=4598140 CPUtime=5.97 cores=0,2,4,6
/proc/10158/task/10181/stat : 10181 (java) R 10156 10156 6753 0 -1 4202560 446 0 0 0 597 0 0 0 20 0 19 0 407774397 15789518848 1159352 33554432000 4194304 4196468 140733531218176 140219369069816 140220157678951 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10182] ppid=10156 vsize=15419452 memory=4264344 CPUtime=5.54 cores=0,2,4,6
/proc/10158/task/10182/stat : 10182 (java) R 10156 10156 6753 0 -1 4202560 971 0 0 0 554 0 0 0 20 0 19 0 407774397 15789518848 1159352 33554432000 4194304 4196468 140733531218176 140219368020520 140220156398080 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10183] ppid=10156 vsize=15419452 memory=1452 CPUtime=5.5 cores=0,2,4,6
/proc/10158/task/10183/stat : 10183 (java) R 10156 10156 6753 0 -1 4202560 205 0 0 0 550 0 0 0 20 0 19 0 407774397 15789518848 1159352 33554432000 4194304 4196468 140733531218176 140219366966056 140220157729144 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10184] ppid=10156 vsize=15419452 memory=4620172 CPUtime=5.85 cores=0,2,4,6
/proc/10158/task/10184/stat : 10184 (java) R 10156 10156 6753 0 -1 4202560 485 0 0 0 585 0 0 0 20 0 19 0 407774397 15789518848 1159352 33554432000 4194304 4196468 140733531218176 140219365914088 140220157679483 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
Current children cumulated CPU time: 157.05 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 4638860 KiB

[startup+132.006 s]*
/proc/loadavg: 5.55 7.01 7.18 11/239 10184
/proc/meminfo: memFree=18481828/32770624 swapFree=66979412/67108860
[pid=10156] ppid=10153 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10156/stat : 10156 (xcsp3-exec) S 10153 10156 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407761958 115843072 363 33554432000 4194304 5098028 140736882009952 140736882008056 139914502210172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23789568 140736882013050 140736882013293 140736882013293 140736882016202 0
/proc/10156/statm: 28282 363 304 221 0 87 0
[pid=10158] ppid=10156 vsize=15419452 memory=4637672 CPUtime=160.29 cores=0,2,4,6
/proc/10158/stat : 10158 (java) S 10156 10156 6753 0 -1 1077944320 76522 0 0 0 15868 161 0 0 20 0 19 0 407761959 15789518848 1159418 33554432000 4194304 4196468 140733531218176 140733531200720 140220513144567 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
/proc/10158/statm: 3854863 1159418 3535 1 0 3815965 0
[pid=10158/tid=10159] ppid=10156 vsize=15419452 memory=8317482817917895235 CPUtime=122.54 cores=0,2,4,6
/proc/10158/task/10159/stat : 10159 (java) S 10156 10156 6753 0 -1 1077944384 27712 0 0 0 12189 65 0 0 20 0 19 0 407761959 15789518848 1159418 33554432000 4194304 4196468 140733531218176 140220517385344 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10160] ppid=10156 vsize=15419452 memory=4126316290023845779 CPUtime=1.41 cores=0,2,4,6
/proc/10158/task/10160/stat : 10160 (java) S 10156 10156 6753 0 -1 1077944384 2145 0 0 0 120 21 0 0 20 0 19 0 407761960 15789518848 1159418 33554432000 4194304 4196468 140733531218176 140220482857360 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10161] ppid=10156 vsize=15419452 memory=0 CPUtime=1.41 cores=0,2,4,6
/proc/10158/task/10161/stat : 10161 (java) S 10156 10156 6753 0 -1 1077944384 2311 0 0 0 120 21 0 0 20 0 19 0 407761960 15789518848 1159418 33554432000 4194304 4196468 140733531218176 140220104837392 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10162] ppid=10156 vsize=15419452 memory=3472732333798040677 CPUtime=1.42 cores=0,2,4,6
/proc/10158/task/10162/stat : 10162 (java) S 10156 10156 6753 0 -1 1077944384 2053 0 0 0 120 22 0 0 20 0 19 0 407761960 15789518848 1159418 33554432000 4194304 4196468 140733531218176 140220103785104 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10163] ppid=10156 vsize=15419452 memory=6791534058613427641 CPUtime=1.42 cores=0,2,4,6
/proc/10158/task/10163/stat : 10163 (java) S 10156 10156 6753 0 -1 1077944384 1566 0 0 0 121 21 0 0 20 0 19 0 407761960 15789518848 1159418 33554432000 4194304 4196468 140733531218176 140220102732304 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10164] ppid=10156 vsize=15419452 memory=6154262792752555623 CPUtime=0.24 cores=0,2,4,6
/proc/10158/task/10164/stat : 10164 (java) S 10156 10156 6753 0 -1 1077944384 4425 0 0 0 21 3 0 0 20 0 19 0 407761961 15789518848 1159418 33554432000 4194304 4196468 140733531218176 140219386464880 140220513155714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10165] ppid=10156 vsize=15419452 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10165/stat : 10165 (java) S 10156 10156 6753 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 407761962 15789518848 1159418 33554432000 4194304 4196468 140733531218176 140219385410912 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10166] ppid=10156 vsize=15419452 memory=16688 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10166/stat : 10166 (java) S 10156 10156 6753 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 19 0 407761962 15789518848 1159418 33554432000 4194304 4196468 140733531218176 140219384358528 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10167] ppid=10156 vsize=15419452 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10167/stat : 10167 (java) S 10156 10156 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407761964 15789518848 1159418 33554432000 4194304 4196468 140733531218176 140219383306832 140220513163163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10168] ppid=10156 vsize=15419452 memory=984 CPUtime=2.32 cores=0,2,4,6
/proc/10158/task/10168/stat : 10168 (java) S 10156 10156 6753 0 -1 1077944384 10972 0 0 0 230 2 0 0 20 0 19 0 407761964 15789518848 1159418 33554432000 4194304 4196468 140733531218176 140219382253680 140220513155714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10169] ppid=10156 vsize=15419452 memory=1328 CPUtime=2.77 cores=0,2,4,6
/proc/10158/task/10169/stat : 10169 (java) R 10156 10156 6753 0 -1 4202560 9566 0 0 0 275 2 0 0 20 0 19 0 407761964 15789518848 1159418 33554432000 4194304 4196468 140733531218176 140219381201176 140220496641071 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10170] ppid=10156 vsize=15419452 memory=780 CPUtime=0.84 cores=0,2,4,6
/proc/10158/task/10170/stat : 10170 (java) S 10156 10156 6753 0 -1 1077944384 11661 0 0 0 83 1 0 0 20 0 19 0 407761964 15789518848 1159418 33554432000 4194304 4196468 140733531218176 140219380148592 140220513155714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 45 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10171] ppid=10156 vsize=15419452 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10171/stat : 10171 (java) S 10156 10156 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407761965 15789518848 1159418 33554432000 4194304 4196468 140733531218176 140219379096032 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10172] ppid=10156 vsize=15419452 memory=3848 CPUtime=0.07 cores=0,2,4,6
/proc/10158/task/10172/stat : 10172 (java) S 10156 10156 6753 0 -1 1077944384 558 0 0 0 4 3 0 0 20 0 19 0 407761965 15789518848 1159418 33554432000 4194304 4196468 140733531218176 140219378043824 140220513155714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 43 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10181] ppid=10156 vsize=15419452 memory=303430223234596890 CPUtime=6.78 cores=0,2,4,6
/proc/10158/task/10181/stat : 10181 (java) R 10156 10156 6753 0 -1 4202560 453 0 0 0 678 0 0 0 20 0 19 0 407774397 15789518848 1159418 33554432000 4194304 4196468 140733531218176 140219369069320 140220156312414 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10182] ppid=10156 vsize=15419452 memory=288230617509003574 CPUtime=6.33 cores=0,2,4,6
/proc/10158/task/10182/stat : 10182 (java) R 10156 10156 6753 0 -1 4202560 993 0 0 0 633 0 0 0 20 0 19 0 407774397 15789518848 1159418 33554432000 4194304 4196468 140733531218176 140219368018296 140220157264469 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10183] ppid=10156 vsize=15419452 memory=33 CPUtime=6.13 cores=0,2,4,6
/proc/10158/task/10183/stat : 10183 (java) R 10156 10156 6753 0 -1 4202560 218 0 0 0 613 0 0 0 20 0 19 0 407774397 15789518848 1159418 33554432000 4194304 4196468 140733531218176 140219366965592 140220156134872 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10184] ppid=10156 vsize=15419452 memory=7812727657772378216 CPUtime=6.5 cores=0,2,4,6
/proc/10158/task/10184/stat : 10184 (java) R 10156 10156 6753 0 -1 4202560 501 0 0 0 650 0 0 0 20 0 19 0 407774397 15789518848 1159418 33554432000 4194304 4196468 140733531218176 140219365912280 140220156467852 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
Current children cumulated CPU time: 160.29 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 4639124 KiB

[startup+132.201 s]
/proc/loadavg: 5.55 7.01 7.18 11/239 10184
/proc/meminfo: memFree=18481828/32770624 swapFree=66979412/67108860
[pid=10156] ppid=10153 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10156/stat : 10156 (xcsp3-exec) S 10153 10156 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407761958 115843072 363 33554432000 4194304 5098028 140736882009952 140736882008056 139914502210172 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23789568 140736882013050 140736882013293 140736882013293 140736882016202 0
/proc/10156/statm: 28282 363 304 221 0 87 0
[pid=10158] ppid=10156 vsize=15419452 memory=4637808 CPUtime=161.03 cores=0,2,4,6
/proc/10158/stat : 10158 (java) S 10156 10156 6753 0 -1 1077944320 77621 0 0 0 15942 161 0 0 20 0 19 0 407761959 15789518848 1159452 33554432000 4194304 4196468 140733531218176 140733531200720 140220513144567 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
/proc/10158/statm: 3854863 1159452 3539 1 0 3815965 0
[pid=10158/tid=10159] ppid=10156 vsize=15419452 memory=14689690934577591 CPUtime=122.54 cores=0,2,4,6
/proc/10158/task/10159/stat : 10159 (java) S 10156 10156 6753 0 -1 1077944384 27712 0 0 0 12189 65 0 0 20 0 19 0 407761959 15789518848 1159452 33554432000 4194304 4196468 140733531218176 140220517385344 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10160] ppid=10156 vsize=15419452 memory=6655300316396806240 CPUtime=1.41 cores=0,2,4,6
/proc/10158/task/10160/stat : 10160 (java) S 10156 10156 6753 0 -1 1077944384 2145 0 0 0 120 21 0 0 20 0 19 0 407761960 15789518848 1159452 33554432000 4194304 4196468 140733531218176 140220482857360 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10161] ppid=10156 vsize=15419452 memory=6944656592455097440 CPUtime=1.41 cores=0,2,4,6
/proc/10158/task/10161/stat : 10161 (java) S 10156 10156 6753 0 -1 1077944384 2311 0 0 0 120 21 0 0 20 0 19 0 407761960 15789518848 1159452 33554432000 4194304 4196468 140733531218176 140220104837392 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10162] ppid=10156 vsize=15419452 memory=6944656575208382560 CPUtime=1.42 cores=0,2,4,6
/proc/10158/task/10162/stat : 10162 (java) S 10156 10156 6753 0 -1 1077944384 2053 0 0 0 120 22 0 0 20 0 19 0 407761960 15789518848 1159452 33554432000 4194304 4196468 140733531218176 140220103785104 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10163] ppid=10156 vsize=15419452 memory=6944652177228980320 CPUtime=1.42 cores=0,2,4,6
/proc/10158/task/10163/stat : 10163 (java) S 10156 10156 6753 0 -1 1077944384 1566 0 0 0 121 21 0 0 20 0 19 0 407761960 15789518848 1159452 33554432000 4194304 4196468 140733531218176 140220102732304 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10164] ppid=10156 vsize=15419452 memory=6944656575208382560 CPUtime=0.24 cores=0,2,4,6
/proc/10158/task/10164/stat : 10164 (java) S 10156 10156 6753 0 -1 1077944384 4425 0 0 0 21 3 0 0 20 0 19 0 407761961 15789518848 1159452 33554432000 4194304 4196468 140733531218176 140219386464880 140220513155714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10165] ppid=10156 vsize=15419452 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10165/stat : 10165 (java) S 10156 10156 6753 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 407761962 15789518848 1159452 33554432000 4194304 4196468 140733531218176 140219385410912 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10166] ppid=10156 vsize=15419452 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10166/stat : 10166 (java) S 10156 10156 6753 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 19 0 407761962 15789518848 1159452 33554432000 4194304 4196468 140733531218176 140219384358528 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10167] ppid=10156 vsize=15419452 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10167/stat : 10167 (java) S 10156 10156 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407761964 15789518848 1159452 33554432000 4194304 4196468 140733531218176 140219383306832 140220513163163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10168] ppid=10156 vsize=15419452 memory=6656426216303648864 CPUtime=2.35 cores=0,2,4,6
/proc/10158/task/10168/stat : 10168 (java) S 10156 10156 6753 0 -1 1077944384 11024 0 0 0 233 2 0 0 20 0 19 0 407761964 15789518848 1159452 33554432000 4194304 4196468 140733531218176 140219382253680 140220513155714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10169] ppid=10156 vsize=15419452 memory=6655300316396806240 CPUtime=2.81 cores=0,2,4,6
/proc/10158/task/10169/stat : 10169 (java) S 10156 10156 6753 0 -1 1077944384 10189 0 0 0 279 2 0 0 20 0 19 0 407761964 15789518848 1159452 33554432000 4194304 4196468 140733531218176 140219381200880 140220513155714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10170] ppid=10156 vsize=15419452 memory=6944656592455097440 CPUtime=0.84 cores=0,2,4,6
/proc/10158/task/10170/stat : 10170 (java) S 10156 10156 6753 0 -1 1077944384 11835 0 0 0 83 1 0 0 20 0 19 0 407761964 15789518848 1159452 33554432000 4194304 4196468 140733531218176 140219380148592 140220513155714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 45 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10171] ppid=10156 vsize=15419452 memory=7091034627202246976 CPUtime=0 cores=0,2,4,6
/proc/10158/task/10171/stat : 10171 (java) S 10156 10156 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407761965 15789518848 1159452 33554432000 4194304 4196468 140733531218176 140219379096032 140220513154773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10172] ppid=10156 vsize=15419452 memory=7091034627202246976 CPUtime=0.07 cores=0,2,4,6
/proc/10158/task/10172/stat : 10172 (java) S 10156 10156 6753 0 -1 1077944384 560 0 0 0 4 3 0 0 20 0 19 0 407761965 15789518848 1159452 33554432000 4194304 4196468 140733531218176 140219378043824 140220513155714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 43 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10181] ppid=10156 vsize=15419452 memory=7091034627202246976 CPUtime=6.97 cores=0,2,4,6
/proc/10158/task/10181/stat : 10181 (java) R 10156 10156 6753 0 -1 4202560 515 0 0 0 697 0 0 0 20 0 19 0 407774397 15789518848 1159452 33554432000 4194304 4196468 140733531218176 140219369070232 140220155936945 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10182] ppid=10156 vsize=15419452 memory=7091034627202246976 CPUtime=6.52 cores=0,2,4,6
/proc/10158/task/10182/stat : 10182 (java) R 10156 10156 6753 0 -1 4202560 1065 0 0 0 652 0 0 0 20 0 19 0 407774397 15789518848 1159452 33554432000 4194304 4196468 140733531218176 140219368018296 140220158019805 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10183] ppid=10156 vsize=15419452 memory=6004532403793325154 CPUtime=6.29 cores=0,2,4,6
/proc/10158/task/10183/stat : 10183 (java) R 10156 10156 6753 0 -1 4202560 264 0 0 0 629 0 0 0 20 0 19 0 407774397 15789518848 1159452 33554432000 4194304 4196468 140733531218176 140219366967928 140220156394441 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
[pid=10158/tid=10184] ppid=10156 vsize=15419452 memory=7523088713071618154 CPUtime=6.65 cores=0,2,4,6
/proc/10158/task/10184/stat : 10184 (java) R 10156 10156 6753 0 -1 4202560 569 0 0 0 665 0 0 0 20 0 19 0 407774397 15789518848 1159452 33554432000 4194304 4196468 140733531218176 140219365912952 140220157729096 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30388224 140733531223023 140733531223194 140733531223194 140733531226063 0
Current children cumulated CPU time: 161.03 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 4639260 KiB

Child status: 0
Real time (s): 132.264
CPU time (s): 161.187
CPU user time (s): 159.544
CPU system time (s): 1.64223
CPU usage (%): 121.867
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 4639364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159.544
system time used= 1.64223
maximum resident set size= 4638264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78765
page faults= 0
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9851
involuntary context switches= 1919


# summary of solver processes directly reported to runsolver:
#   pid: 10156
#   total CPU time (s): 161.187
#   total CPU user time (s): 159.544
#   total CPU system time (s): 1.64223

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.919008 second user time and 1.33261 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-12 21:02:31
IDJOB=4392984
IDBENCH=122910
IDSOLVER=2840
FILE ID=node121/4392984-1568314993
RUNJOBID= node121-1568312479-6784
PBS_JOBID= 21701130
Free space on /tmp= 61024 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP17/NumberPartitioning/NumberPartitioning-m1-s1/NumberPartitioning-116.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-4392984-1568314993/watcher-4392984-1568314993 -o /tmp/evaluation-result-4392984-1568314993/solver-4392984-1568314993 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568312479-6784 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2006699298 HOME/instance-4392984-1568314993.xml

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

MD5SUM BENCH= d517e275a321760c6bd42601d2b728d6
RANDOM SEED=2006699298

node121.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.75
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.75
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.75
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.75
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:        23115208 kB
MemAvailable:   23332692 kB
Buffers:          115948 kB
Cached:           396692 kB
SwapCached:        19252 kB
Active:          8853848 kB
Inactive:         252004 kB
Active(anon):    8579416 kB
Inactive(anon):    42408 kB
Active(file):     274432 kB
Inactive(file):   209596 kB
Unevictable:      109568 kB
Mlocked:          109568 kB
SwapTotal:      67108860 kB
SwapFree:       66979412 kB
Dirty:             26144 kB
Writeback:             0 kB
AnonPages:       8683620 kB
Mapped:            44584 kB
Shmem:             20356 kB
Slab:             127796 kB
SReclaimable:      98584 kB
SUnreclaim:        29212 kB
KernelStack:        3872 kB
PageTables:        22560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   10615832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8529920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61000 MiB
End job on node121 at 2019-09-12 21:04:43