Trace number 4306865

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 4.0.7b seq (e747e1e)SAT 6.69564 3.04101

General information on the benchmark

NameSocialGolfers/
SocialGolfers-5-5-5-cp_c18.xml
MD5SUM01658bc7723d571de51995bec243d654
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 benchmark1.23379
Satisfiable
(Un)Satisfiability was proved
Number of variables125
Number of constraints3007
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":125}]
Minimum variable degree98
Maximum variable degree99
Distribution of variable degrees[{"degree":98,"count":100},{"degree":99,"count":25}]
Minimum constraint arity4
Maximum constraint arity125
Distribution of constraint arities[{"arity":4,"count":3000},{"arity":25,"count":6},{"arity":125,"count":1}]
Number of extensional constraints0
Number of intensional constraints3000
Distribution of constraint types[{"type":"intension","count":3000},{"type":"lex","count":1},{"type":"cardinality","count":5},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4306865-1534102168.xml"  -tl '2520s' -p 1
0.12/0.17	c Choco e747e1e
0.12/0.17	c [HOME/instance-4306865-1534102168.xml, -tl, 2520s, -p, 1]
0.12/0.21	c simple solver
0.34/0.28	c parse instance...
3.67/1.49	c solve instance...
6.65/3.03	s SATISFIABLE
6.65/3.03	v <instantiation>
6.65/3.03	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] </list>
6.65/3.03	v 	<values>0 0 0 0 0 1 1 1 1 1 2 2 2 2 2 3 3 3 3 3 4 4 4 4 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 0 1 2 3 4 4 3 1 2 0 1 0 3 4 2 0 4 2 3 1 3 2 0 1 4 2 1 4 0 3 4 3 2 0 1 0 2 4 1 3 3 0 1 2 4 1 4 0 3 2 2 1 3 4 0 4 3 2 0 1 1 4 0 3 2 0 2 4 1 3 2 1 3 4 0 3 0 1 2 4 </values>
6.65/3.03	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 (5432 MiB free)
  memory of node 1: 16384 MiB (9978 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306865-1534102168/watcher-4306865-1534102168 -o /tmp/evaluation-result-4306865-1534102168/solver-4306865-1534102168 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534096899-2741 --watchdog 2580 HOME/xcsp3-exec -seed 2146059405 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306865-1534102168.xml 

running on 4 cores: 1,3,5,7

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=3735, runsolver pid=3732
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 1.79 1.95 1.96 4/217 3751
/proc/meminfo: memFree=15764460/32770624 swapFree=67108792/67108860
[pid=3735] ppid=3732 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3735/stat : 3735 (xcsp3-exec) S 3732 3735 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227780122 115843072 364 33554432000 4194304 5098028 140723014341792 140723014339896 139707128017532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39530496 140723014349882 140723014350084 140723014350084 140723014352842 0
/proc/3735/statm: 28282 364 306 221 0 87 0
[pid=3737] ppid=3735 vsize=14082940 memory=28496 CPUtime=0.12 cores=1,3,5,7
/proc/3737/stat : 3737 (java) S 3735 3735 2709 0 -1 1077944320 5493 0 0 0 11 1 0 0 20 0 15 0 227780122 14420930560 7124 33554432000 4194304 4196468 140727862020080 140727862002624 140435385978615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
/proc/3737/statm: 3520735 7124 3026 1 0 3483012 0
[pid=3737/tid=3738] ppid=3735 vsize=14082940 memory=-8976644418600983157 CPUtime=0.08 cores=1,3,5,7
/proc/3737/task/3738/stat : 3738 (java) R 3735 3735 2709 0 -1 4202560 3504 0 0 0 8 0 0 0 20 0 15 0 227780122 14420930560 7189 33554432000 4194304 4196468 140727862020080 140435390211584 140435385990550 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3739] ppid=3735 vsize=14082940 memory=3472468107383248080 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3739/stat : 3739 (java) S 3735 3735 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227780123 14420930560 7189 33554432000 4194304 4196468 140727862020080 140435301047312 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3740] ppid=3735 vsize=14082940 memory=139978488096384 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3740/stat : 3740 (java) S 3735 3735 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227780123 14420930560 7189 33554432000 4194304 4196468 140727862020080 140435299994768 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3741] ppid=3735 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3741/stat : 3741 (java) S 3735 3735 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227780123 14420930560 7189 33554432000 4194304 4196468 140727862020080 140435298941712 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3742] ppid=3735 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3742/stat : 3742 (java) S 3735 3735 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227780123 14420930560 7189 33554432000 4194304 4196468 140727862020080 140434978368400 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3743] ppid=3735 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3743/stat : 3743 (java) S 3735 3735 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227780125 14420930560 7189 33554432000 4194304 4196468 140727862020080 140434860103920 140435385989762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3744] ppid=3735 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3744/stat : 3744 (java) S 3735 3735 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227780125 14420930560 7189 33554432000 4194304 4196468 140727862020080 140434859050144 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3745] ppid=3735 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3745/stat : 3745 (java) S 3735 3735 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227780125 14420930560 7189 33554432000 4194304 4196468 140727862020080 140434857997040 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3746] ppid=3735 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3746/stat : 3746 (java) S 3735 3735 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227780128 14420930560 7189 33554432000 4194304 4196468 140727862020080 140434856945616 140435385997211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3747] ppid=3735 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3747/stat : 3747 (java) S 3735 3735 2709 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 227780128 14420930560 7189 33554432000 4194304 4196468 140727862020080 140434855893744 140435385989762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3748] ppid=3735 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3748/stat : 3748 (java) S 3735 3735 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227780128 14420930560 7189 33554432000 4194304 4196468 140727862020080 140434854841200 140435385989762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3749] ppid=3735 vsize=14082940 memory=139978488096384 CPUtime=0.01 cores=1,3,5,7
/proc/3737/task/3749/stat : 3749 (java) R 3735 3735 2709 0 -1 4202560 271 0 0 0 1 0 0 0 20 0 15 0 227780128 14420930560 7189 33554432000 4194304 4196468 140727862020080 140434853788144 140435364675581 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3750] ppid=3735 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3750/stat : 3750 (java) S 3735 3735 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227780128 14420930560 7189 33554432000 4194304 4196468 140727862020080 140434852735840 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3751] ppid=3735 vsize=14082940 memory=139978488096384 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3751/stat : 3751 (java) S 3735 3735 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227780128 14420930560 7189 33554432000 4194304 4196468 140727862020080 140434851682864 140435385989762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29952 KiB

[startup+0.214418 s]*
/proc/loadavg: 1.79 1.95 1.96 3/217 3751
/proc/meminfo: memFree=15753156/32770624 swapFree=67108792/67108860
[pid=3735] ppid=3732 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3735/stat : 3735 (xcsp3-exec) S 3732 3735 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227780122 115843072 364 33554432000 4194304 5098028 140723014341792 140723014339896 139707128017532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39530496 140723014349882 140723014350084 140723014350084 140723014352842 0
/proc/3735/statm: 28282 364 306 221 0 87 0
[pid=3737] ppid=3735 vsize=14087196 memory=40408 CPUtime=0.34 cores=1,3,5,7
/proc/3737/stat : 3737 (java) S 3735 3735 2709 0 -1 1077944320 8201 0 0 0 32 2 0 0 20 0 15 0 227780122 14425288704 10102 33554432000 4194304 4196468 140727862020080 140727862002624 140435385978615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
/proc/3737/statm: 3521799 10102 3177 1 0 3483012 0
[pid=3737/tid=3738] ppid=3735 vsize=14087196 memory=4788064525153967256 CPUtime=0.19 cores=1,3,5,7
/proc/3737/task/3738/stat : 3738 (java) R 3735 3735 2709 0 -1 4202560 5430 0 0 0 18 1 0 0 20 0 15 0 227780122 14425288704 10102 33554432000 4194304 4196468 140727862020080 140435390199608 140435370059102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3739] ppid=3735 vsize=14087196 memory=3472468107383248080 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3739/stat : 3739 (java) S 3735 3735 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227780123 14425288704 10102 33554432000 4194304 4196468 140727862020080 140435301047312 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3740] ppid=3735 vsize=14087196 memory=139978488096384 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3740/stat : 3740 (java) S 3735 3735 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227780123 14425288704 10102 33554432000 4194304 4196468 140727862020080 140435299994768 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3741] ppid=3735 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3741/stat : 3741 (java) S 3735 3735 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227780123 14425288704 10102 33554432000 4194304 4196468 140727862020080 140435298941712 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3742] ppid=3735 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3742/stat : 3742 (java) S 3735 3735 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227780123 14425288704 10102 33554432000 4194304 4196468 140727862020080 140434978368400 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3743] ppid=3735 vsize=14087196 memory=139978488096384 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3743/stat : 3743 (java) S 3735 3735 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227780125 14425288704 10102 33554432000 4194304 4196468 140727862020080 140434860103920 140435385989762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3744] ppid=3735 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3744/stat : 3744 (java) S 3735 3735 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227780125 14425288704 10102 33554432000 4194304 4196468 140727862020080 140434859050144 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3745] ppid=3735 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3745/stat : 3745 (java) S 3735 3735 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227780125 14425288704 10102 33554432000 4194304 4196468 140727862020080 140434857997040 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3746] ppid=3735 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3746/stat : 3746 (java) S 3735 3735 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227780128 14425288704 10102 33554432000 4194304 4196468 140727862020080 140434856945616 140435385997211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3747] ppid=3735 vsize=14087196 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3737/task/3747/stat : 3747 (java) S 3735 3735 2709 0 -1 1077944384 715 0 0 0 3 0 0 0 20 0 15 0 227780128 14425288704 10102 33554432000 4194304 4196468 140727862020080 140434855893744 140435385989762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3748] ppid=3735 vsize=14087196 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/3737/task/3748/stat : 3748 (java) S 3735 3735 2709 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 15 0 227780128 14425288704 10102 33554432000 4194304 4196468 140727862020080 140434854841200 140435385989762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3749] ppid=3735 vsize=14087196 memory=139978488096384 CPUtime=0.08 cores=1,3,5,7
/proc/3737/task/3749/stat : 3749 (java) R 3735 3735 2709 0 -1 4202560 716 0 0 0 8 0 0 0 20 0 15 0 227780128 14425288704 10102 33554432000 4194304 4196468 140727862020080 140434853788144 140435370059102 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3750] ppid=3735 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3750/stat : 3750 (java) S 3735 3735 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227780128 14425288704 10102 33554432000 4194304 4196468 140727862020080 140434852735840 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3751] ppid=3735 vsize=14087196 memory=139978488096384 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3751/stat : 3751 (java) S 3735 3735 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227780128 14425288704 10102 33554432000 4194304 4196468 140727862020080 140434851682864 140435385989762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 41864 KiB

[startup+0.310546 s]*
/proc/loadavg: 1.79 1.95 1.96 5/217 3751
/proc/meminfo: memFree=15746828/32770624 swapFree=67108792/67108860
[pid=3735] ppid=3732 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3735/stat : 3735 (xcsp3-exec) S 3732 3735 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227780122 115843072 364 33554432000 4194304 5098028 140723014341792 140723014339896 139707128017532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39530496 140723014349882 140723014350084 140723014350084 140723014352842 0
/proc/3735/statm: 28282 364 306 221 0 87 0
[pid=3737] ppid=3735 vsize=14087196 memory=47384 CPUtime=0.52 cores=1,3,5,7
/proc/3737/stat : 3737 (java) S 3735 3735 2709 0 -1 1077944320 9048 0 0 0 49 3 0 0 20 0 15 0 227780122 14425288704 11846 33554432000 4194304 4196468 140727862020080 140727862002624 140435385978615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
/proc/3737/statm: 3521799 11846 3231 1 0 3483012 0
[pid=3737/tid=3738] ppid=3735 vsize=14087196 memory=-8976644418600983157 CPUtime=0.29 cores=1,3,5,7
/proc/3737/task/3738/stat : 3738 (java) R 3735 3735 2709 0 -1 4202560 6093 0 0 0 27 2 0 0 20 0 15 0 227780122 14425288704 11911 33554432000 4194304 4196468 140727862020080 140435390212400 140435370059102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3739] ppid=3735 vsize=14087196 memory=3472468107383248080 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3739/stat : 3739 (java) S 3735 3735 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227780123 14425288704 11911 33554432000 4194304 4196468 140727862020080 140435301047312 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3740] ppid=3735 vsize=14087196 memory=139978488096384 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3740/stat : 3740 (java) S 3735 3735 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227780123 14425288704 11911 33554432000 4194304 4196468 140727862020080 140435299994768 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3741] ppid=3735 vsize=14087196 memory=3 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3741/stat : 3741 (java) S 3735 3735 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227780123 14425288704 11911 33554432000 4194304 4196468 140727862020080 140435298941712 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3742] ppid=3735 vsize=14087196 memory=139978353027103 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3742/stat : 3742 (java) S 3735 3735 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227780123 14425288704 11911 33554432000 4194304 4196468 140727862020080 140434978368400 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3743] ppid=3735 vsize=14087196 memory=279956706014976 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3743/stat : 3743 (java) S 3735 3735 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227780125 14425288704 11911 33554432000 4194304 4196468 140727862020080 140434860103920 140435385989762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3744] ppid=3735 vsize=14087196 memory=139978353004047 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3744/stat : 3744 (java) S 3735 3735 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227780125 14425288704 11911 33554432000 4194304 4196468 140727862020080 140434859050144 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3745] ppid=3735 vsize=14087196 memory=279956841109600 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3745/stat : 3745 (java) S 3735 3735 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227780125 14425288704 11911 33554432000 4194304 4196468 140727862020080 140434857997040 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3746] ppid=3735 vsize=14087196 memory=139978353008655 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3746/stat : 3746 (java) S 3735 3735 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227780128 14425288704 11911 33554432000 4194304 4196468 140727862020080 140434856945616 140435385997211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3747] ppid=3735 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/3737/task/3747/stat : 3747 (java) S 3735 3735 2709 0 -1 1077944384 722 0 0 0 4 0 0 0 20 0 15 0 227780128 14425288704 11911 33554432000 4194304 4196468 140727862020080 140434855893744 140435385989762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3748] ppid=3735 vsize=14087196 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/3737/task/3748/stat : 3748 (java) S 3735 3735 2709 0 -1 1077944384 154 0 0 0 4 0 0 0 20 0 15 0 227780128 14425288704 11911 33554432000 4194304 4196468 140727862020080 140434854841200 140435385989762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3749] ppid=3735 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/3737/task/3749/stat : 3749 (java) S 3735 3735 2709 0 -1 1077944384 795 0 0 0 12 0 0 0 20 0 15 0 227780128 14425288704 11911 33554432000 4194304 4196468 140727862020080 140434853788144 140435385989762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3750] ppid=3735 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3750/stat : 3750 (java) S 3735 3735 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227780128 14425288704 11911 33554432000 4194304 4196468 140727862020080 140434852735840 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3751] ppid=3735 vsize=14087196 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3751/stat : 3751 (java) S 3735 3735 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227780128 14425288704 11911 33554432000 4194304 4196468 140727862020080 140434851682864 140435385989762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 48840 KiB

[startup+0.700997 s]
/proc/loadavg: 1.79 1.95 1.96 6/217 3751
/proc/meminfo: memFree=15720868/32770624 swapFree=67108792/67108860
[pid=3735] ppid=3732 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3735/stat : 3735 (xcsp3-exec) S 3732 3735 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227780122 115843072 364 33554432000 4194304 5098028 140723014341792 140723014339896 139707128017532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39530496 140723014349882 140723014350084 140723014350084 140723014352842 0
/proc/3735/statm: 28282 364 306 221 0 87 0
[pid=3737] ppid=3735 vsize=14089320 memory=105204 CPUtime=1.73 cores=1,3,5,7
/proc/3737/stat : 3737 (java) S 3735 3735 2709 0 -1 1077944320 12863 0 0 0 168 5 0 0 20 0 15 0 227780122 14427463680 26301 33554432000 4194304 4196468 140727862020080 140727862002624 140435385978615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
/proc/3737/statm: 3522330 26301 3354 1 0 3483524 0
[pid=3737/tid=3738] ppid=3735 vsize=14089320 memory=7372786582024121444 CPUtime=0.66 cores=1,3,5,7
/proc/3737/task/3738/stat : 3738 (java) R 3735 3735 2709 0 -1 4202560 6874 0 0 0 63 3 0 0 20 0 15 0 227780122 14427463680 26301 33554432000 4194304 4196468 140727862020080 140435390200672 140434979949137 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3739] ppid=3735 vsize=14089320 memory=7007712420471858773 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3739/stat : 3739 (java) S 3735 3735 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227780123 14427463680 26301 33554432000 4194304 4196468 140727862020080 140435301047312 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3740] ppid=3735 vsize=14089320 memory=5859271421084521832 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3740/stat : 3740 (java) S 3735 3735 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227780123 14427463680 26301 33554432000 4194304 4196468 140727862020080 140435299994768 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3741] ppid=3735 vsize=14089320 memory=-6168368575958768251 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3741/stat : 3741 (java) S 3735 3735 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227780123 14427463680 26301 33554432000 4194304 4196468 140727862020080 140435298941712 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3742] ppid=3735 vsize=14089320 memory=8326441112149131689 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3742/stat : 3742 (java) S 3735 3735 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227780123 14427463680 26301 33554432000 4194304 4196468 140727862020080 140434978368400 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3743] ppid=3735 vsize=14089320 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3743/stat : 3743 (java) S 3735 3735 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227780125 14427463680 26301 33554432000 4194304 4196468 140727862020080 140434860103920 140435385989762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3744] ppid=3735 vsize=14089320 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3744/stat : 3744 (java) S 3735 3735 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227780125 14427463680 26301 33554432000 4194304 4196468 140727862020080 140434859050144 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3745] ppid=3735 vsize=14089320 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3745/stat : 3745 (java) S 3735 3735 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227780125 14427463680 26301 33554432000 4194304 4196468 140727862020080 140434857997040 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3746] ppid=3735 vsize=14089320 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3746/stat : 3746 (java) S 3735 3735 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227780128 14427463680 26301 33554432000 4194304 4196468 140727862020080 140434856945616 140435385997211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3747] ppid=3735 vsize=14089320 memory=61928 CPUtime=0.35 cores=1,3,5,7
/proc/3737/task/3747/stat : 3747 (java) R 3735 3735 2709 0 -1 4202560 1690 0 0 0 35 0 0 0 20 0 15 0 227780128 14427463680 26301 33554432000 4194304 4196468 140727862020080 140434855883824 140435367498074 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3748] ppid=3735 vsize=14089320 memory=1220 CPUtime=0.32 cores=1,3,5,7
/proc/3737/task/3748/stat : 3748 (java) R 3735 3735 2709 0 -1 4202560 1106 0 0 0 32 0 0 0 20 0 15 0 227780128 14427463680 26301 33554432000 4194304 4196468 140727862020080 140434854841200 140435371345153 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3749] ppid=3735 vsize=14089320 memory=2380 CPUtime=0.36 cores=1,3,5,7
/proc/3737/task/3749/stat : 3749 (java) S 3735 3735 2709 0 -1 1077944384 1885 0 0 0 36 0 0 0 20 0 15 0 227780128 14427463680 26301 33554432000 4194304 4196468 140727862020080 140434853788144 140435385989762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3750] ppid=3735 vsize=14089320 memory=7163890427858739792 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3750/stat : 3750 (java) S 3735 3735 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227780128 14427463680 26301 33554432000 4194304 4196468 140727862020080 140434852735840 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3751] ppid=3735 vsize=14089320 memory=7595156207412209490 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3751/stat : 3751 (java) S 3735 3735 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227780128 14427463680 26301 33554432000 4194304 4196468 140727862020080 140434851682864 140435385989762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 106660 KiB

[startup+1.50941 s]
/proc/loadavg: 1.79 1.95 1.96 3/217 3751
/proc/meminfo: memFree=15618536/32770624 swapFree=67108792/67108860
[pid=3735] ppid=3732 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3735/stat : 3735 (xcsp3-exec) S 3732 3735 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227780122 115843072 364 33554432000 4194304 5098028 140723014341792 140723014339896 139707128017532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39530496 140723014349882 140723014350084 140723014350084 140723014352842 0
/proc/3735/statm: 28282 364 306 221 0 87 0

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

/proc/3735/stat : 3735 (xcsp3-exec) S 3732 3735 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227780122 115843072 364 33554432000 4194304 5098028 140723014341792 140723014339896 139707128017532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39530496 140723014349882 140723014350084 140723014350084 140723014352842 0
/proc/3735/statm: 28282 364 306 221 0 87 0
[pid=3737] ppid=3735 vsize=14089320 memory=279156 CPUtime=4.23 cores=1,3,5,7
/proc/3737/stat : 3737 (java) S 3735 3735 2709 0 -1 1077944320 14698 0 0 0 403 20 0 0 20 0 15 0 227780122 14427463680 69789 33554432000 4194304 4196468 140727862020080 140727862002624 140435385978615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
/proc/3737/statm: 3522330 69789 3404 1 0 3483524 0
[pid=3737/tid=3738] ppid=3735 vsize=14089320 memory=2380 CPUtime=1.47 cores=1,3,5,7
/proc/3737/task/3738/stat : 3738 (java) R 3735 3735 2709 0 -1 4202560 7084 0 0 0 143 4 0 0 20 0 15 0 227780122 14427463680 69789 33554432000 4194304 4196468 140727862020080 140435390215680 140434984829161 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3739] ppid=3735 vsize=14089320 memory=1752 CPUtime=0.08 cores=1,3,5,7
/proc/3737/task/3739/stat : 3739 (java) S 3735 3735 2709 0 -1 1077944384 88 0 0 0 5 3 0 0 20 0 15 0 227780123 14427463680 69789 33554432000 4194304 4196468 140727862020080 140435301047312 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3740] ppid=3735 vsize=14089320 memory=1620 CPUtime=0.06 cores=1,3,5,7
/proc/3737/task/3740/stat : 3740 (java) S 3735 3735 2709 0 -1 1077944384 77 0 0 0 3 3 0 0 20 0 15 0 227780123 14427463680 69789 33554432000 4194304 4196468 140727862020080 140435299994768 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3741] ppid=3735 vsize=14089320 memory=4744 CPUtime=0.07 cores=1,3,5,7
/proc/3737/task/3741/stat : 3741 (java) S 3735 3735 2709 0 -1 1077944384 88 0 0 0 4 3 0 0 20 0 15 0 227780123 14427463680 69789 33554432000 4194304 4196468 140727862020080 140435298941712 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3742] ppid=3735 vsize=14089320 memory=3888 CPUtime=0.07 cores=1,3,5,7
/proc/3737/task/3742/stat : 3742 (java) S 3735 3735 2709 0 -1 1077944384 89 0 0 0 4 3 0 0 20 0 15 0 227780123 14427463680 69789 33554432000 4194304 4196468 140727862020080 140434978368400 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3743] ppid=3735 vsize=14089320 memory=8564 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3743/stat : 3743 (java) S 3735 3735 2709 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 227780125 14427463680 69789 33554432000 4194304 4196468 140727862020080 140434860103920 140435385989762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3744] ppid=3735 vsize=14089320 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3744/stat : 3744 (java) S 3735 3735 2709 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 227780125 14427463680 69789 33554432000 4194304 4196468 140727862020080 140434859050144 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3745] ppid=3735 vsize=14089320 memory=1264 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3745/stat : 3745 (java) S 3735 3735 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227780125 14427463680 69789 33554432000 4194304 4196468 140727862020080 140434857997040 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3746] ppid=3735 vsize=14089320 memory=7136 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3746/stat : 3746 (java) S 3735 3735 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227780128 14427463680 69789 33554432000 4194304 4196468 140727862020080 140434856945616 140435385997211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3747] ppid=3735 vsize=14089320 memory=748 CPUtime=0.99 cores=1,3,5,7
/proc/3737/task/3747/stat : 3747 (java) R 3735 3735 2709 0 -1 4202560 2134 0 0 0 99 0 0 0 20 0 15 0 227780128 14427463680 69789 33554432000 4194304 4196468 140727862020080 140434855878016 140435369365174 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3748] ppid=3735 vsize=14089320 memory=872 CPUtime=0.82 cores=1,3,5,7
/proc/3737/task/3748/stat : 3748 (java) R 3735 3735 2709 0 -1 4202560 1398 0 0 0 82 0 0 0 20 0 15 0 227780128 14427463680 69789 33554432000 4194304 4196468 140727862020080 140434854832656 140435369389416 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3749] ppid=3735 vsize=14089320 memory=1220 CPUtime=0.59 cores=1,3,5,7
/proc/3737/task/3749/stat : 3749 (java) S 3735 3735 2709 0 -1 1077944384 2357 0 0 0 59 0 0 0 20 0 15 0 227780128 14427463680 69789 33554432000 4194304 4196468 140727862020080 140434853788144 140435385989762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3750] ppid=3735 vsize=14089320 memory=7136 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3750/stat : 3750 (java) S 3735 3735 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227780128 14427463680 69789 33554432000 4194304 4196468 140727862020080 140434852735840 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3751] ppid=3735 vsize=14089320 memory=748 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3751/stat : 3751 (java) S 3735 3735 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227780128 14427463680 69789 33554432000 4194304 4196468 140727862020080 140434851682864 140435385989762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
Current children cumulated CPU time: 4.23 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 280612 KiB

[startup+2.40081 s]
/proc/loadavg: 1.79 1.95 1.96 3/217 3751
/proc/meminfo: memFree=15512008/32770624 swapFree=67108792/67108860
[pid=3735] ppid=3732 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3735/stat : 3735 (xcsp3-exec) S 3732 3735 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227780122 115843072 364 33554432000 4194304 5098028 140723014341792 140723014339896 139707128017532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39530496 140723014349882 140723014350084 140723014350084 140723014352842 0
/proc/3735/statm: 28282 364 306 221 0 87 0
[pid=3737] ppid=3735 vsize=14089320 memory=282092 CPUtime=5.8 cores=1,3,5,7
/proc/3737/stat : 3737 (java) S 3735 3735 2709 0 -1 1077944320 15386 0 0 0 560 20 0 0 20 0 15 0 227780122 14427463680 70523 33554432000 4194304 4196468 140727862020080 140727862002624 140435385978615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
/proc/3737/statm: 3522330 70523 3405 1 0 3483524 0
[pid=3737/tid=3738] ppid=3735 vsize=14089320 memory=0 CPUtime=2.26 cores=1,3,5,7
/proc/3737/task/3738/stat : 3738 (java) R 3735 3735 2709 0 -1 4202560 7116 0 0 0 222 4 0 0 20 0 15 0 227780122 14427463680 70523 33554432000 4194304 4196468 140727862020080 140435390214080 140434985154207 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3739] ppid=3735 vsize=14089320 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3737/task/3739/stat : 3739 (java) S 3735 3735 2709 0 -1 1077944384 88 0 0 0 5 3 0 0 20 0 15 0 227780123 14427463680 70523 33554432000 4194304 4196468 140727862020080 140435301047312 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3740] ppid=3735 vsize=14089320 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/3737/task/3740/stat : 3740 (java) S 3735 3735 2709 0 -1 1077944384 77 0 0 0 3 3 0 0 20 0 15 0 227780123 14427463680 70523 33554432000 4194304 4196468 140727862020080 140435299994768 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3741] ppid=3735 vsize=14089320 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3737/task/3741/stat : 3741 (java) S 3735 3735 2709 0 -1 1077944384 88 0 0 0 4 3 0 0 20 0 15 0 227780123 14427463680 70523 33554432000 4194304 4196468 140727862020080 140435298941712 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3742] ppid=3735 vsize=14089320 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3737/task/3742/stat : 3742 (java) S 3735 3735 2709 0 -1 1077944384 89 0 0 0 4 3 0 0 20 0 15 0 227780123 14427463680 70523 33554432000 4194304 4196468 140727862020080 140434978368400 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3743] ppid=3735 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3743/stat : 3743 (java) S 3735 3735 2709 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 227780125 14427463680 70523 33554432000 4194304 4196468 140727862020080 140434860103920 140435385989762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3744] ppid=3735 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3744/stat : 3744 (java) S 3735 3735 2709 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 227780125 14427463680 70523 33554432000 4194304 4196468 140727862020080 140434859050144 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3745] ppid=3735 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3745/stat : 3745 (java) S 3735 3735 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227780125 14427463680 70523 33554432000 4194304 4196468 140727862020080 140434857997040 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3746] ppid=3735 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3746/stat : 3746 (java) S 3735 3735 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227780128 14427463680 70523 33554432000 4194304 4196468 140727862020080 140434856945616 140435385997211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3747] ppid=3735 vsize=14089320 memory=1456 CPUtime=1.33 cores=1,3,5,7
/proc/3737/task/3747/stat : 3747 (java) S 3735 3735 2709 0 -1 1077944384 2341 0 0 0 133 0 0 0 20 0 15 0 227780128 14427463680 70523 33554432000 4194304 4196468 140727862020080 140434855893744 140435385989762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3748] ppid=3735 vsize=14089320 memory=280472 CPUtime=1.19 cores=1,3,5,7
/proc/3737/task/3748/stat : 3748 (java) S 3735 3735 2709 0 -1 1077944384 1721 0 0 0 118 1 0 0 20 0 15 0 227780128 14427463680 70523 33554432000 4194304 4196468 140727862020080 140434854841200 140435385989762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3749] ppid=3735 vsize=14089320 memory=1108 CPUtime=0.64 cores=1,3,5,7
/proc/3737/task/3749/stat : 3749 (java) S 3735 3735 2709 0 -1 1077944384 2483 0 0 0 64 0 0 0 20 0 15 0 227780128 14427463680 70523 33554432000 4194304 4196468 140727862020080 140434853788144 140435385989762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3750] ppid=3735 vsize=14089320 memory=15336 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3750/stat : 3750 (java) S 3735 3735 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227780128 14427463680 70523 33554432000 4194304 4196468 140727862020080 140434852735840 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3751] ppid=3735 vsize=14089320 memory=15840 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3751/stat : 3751 (java) S 3735 3735 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227780128 14427463680 70523 33554432000 4194304 4196468 140727862020080 140434851682864 140435385989762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
Current children cumulated CPU time: 5.8 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 283548 KiB

[startup+2.80081 s]
/proc/loadavg: 1.79 1.95 1.96 3/217 3751
/proc/meminfo: memFree=15512008/32770624 swapFree=67108792/67108860
[pid=3735] ppid=3732 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3735/stat : 3735 (xcsp3-exec) S 3732 3735 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227780122 115843072 364 33554432000 4194304 5098028 140723014341792 140723014339896 139707128017532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39530496 140723014349882 140723014350084 140723014350084 140723014352842 0
/proc/3735/statm: 28282 364 306 221 0 87 0
[pid=3737] ppid=3735 vsize=14089320 memory=282456 CPUtime=6.37 cores=1,3,5,7
/proc/3737/stat : 3737 (java) S 3735 3735 2709 0 -1 1077944320 15481 0 0 0 617 20 0 0 20 0 15 0 227780122 14427463680 70614 33554432000 4194304 4196468 140727862020080 140727862002624 140435385978615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
/proc/3737/statm: 3522330 70614 3407 1 0 3483524 0
[pid=3737/tid=3738] ppid=3735 vsize=14089320 memory=15817794159643212 CPUtime=2.66 cores=1,3,5,7
/proc/3737/task/3738/stat : 3738 (java) R 3735 3735 2709 0 -1 4202560 7123 0 0 0 262 4 0 0 20 0 15 0 227780122 14427463680 70614 33554432000 4194304 4196468 140727862020080 140435390215552 140434985837260 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3739] ppid=3735 vsize=14089320 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3737/task/3739/stat : 3739 (java) S 3735 3735 2709 0 -1 1077944384 88 0 0 0 5 3 0 0 20 0 15 0 227780123 14427463680 70614 33554432000 4194304 4196468 140727862020080 140435301047312 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3740] ppid=3735 vsize=14089320 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/3737/task/3740/stat : 3740 (java) S 3735 3735 2709 0 -1 1077944384 77 0 0 0 3 3 0 0 20 0 15 0 227780123 14427463680 70614 33554432000 4194304 4196468 140727862020080 140435299994768 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3741] ppid=3735 vsize=14089320 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3737/task/3741/stat : 3741 (java) S 3735 3735 2709 0 -1 1077944384 88 0 0 0 4 3 0 0 20 0 15 0 227780123 14427463680 70614 33554432000 4194304 4196468 140727862020080 140435298941712 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3742] ppid=3735 vsize=14089320 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3737/task/3742/stat : 3742 (java) S 3735 3735 2709 0 -1 1077944384 89 0 0 0 4 3 0 0 20 0 15 0 227780123 14427463680 70614 33554432000 4194304 4196468 140727862020080 140434978368400 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3743] ppid=3735 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3743/stat : 3743 (java) S 3735 3735 2709 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 227780125 14427463680 70614 33554432000 4194304 4196468 140727862020080 140434860103920 140435385989762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3744] ppid=3735 vsize=14089320 memory=4629771062077588875 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3744/stat : 3744 (java) S 3735 3735 2709 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 227780125 14427463680 70614 33554432000 4194304 4196468 140727862020080 140434859050144 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3745] ppid=3735 vsize=14089320 memory=-8961168018402230209 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3745/stat : 3745 (java) S 3735 3735 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227780125 14427463680 70614 33554432000 4194304 4196468 140727862020080 140434857997040 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3746] ppid=3735 vsize=14089320 memory=-8253362762722141311 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3746/stat : 3746 (java) S 3735 3735 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227780128 14427463680 70614 33554432000 4194304 4196468 140727862020080 140434856945616 140435385997211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3747] ppid=3735 vsize=14089320 memory=7100839861465685612 CPUtime=1.41 cores=1,3,5,7
/proc/3737/task/3747/stat : 3747 (java) S 3735 3735 2709 0 -1 1077944384 2359 0 0 0 141 0 0 0 20 0 15 0 227780128 14427463680 70614 33554432000 4194304 4196468 140727862020080 140434855893744 140435385989762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3748] ppid=3735 vsize=14089320 memory=-7175204567652784766 CPUtime=1.26 cores=1,3,5,7
/proc/3737/task/3748/stat : 3748 (java) S 3735 3735 2709 0 -1 1077944384 1736 0 0 0 125 1 0 0 20 0 15 0 227780128 14427463680 70614 33554432000 4194304 4196468 140727862020080 140434854841200 140435385989762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3749] ppid=3735 vsize=14089320 memory=3054156605268465310 CPUtime=0.67 cores=1,3,5,7
/proc/3737/task/3749/stat : 3749 (java) S 3735 3735 2709 0 -1 1077944384 2538 0 0 0 67 0 0 0 20 0 15 0 227780128 14427463680 70614 33554432000 4194304 4196468 140727862020080 140434853788144 140435385989762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3750] ppid=3735 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3750/stat : 3750 (java) S 3735 3735 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227780128 14427463680 70614 33554432000 4194304 4196468 140727862020080 140434852735840 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3751] ppid=3735 vsize=14089320 memory=1 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3751/stat : 3751 (java) S 3735 3735 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227780128 14427463680 70614 33554432000 4194304 4196468 140727862020080 140434851682864 140435385989762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 283912 KiB

[startup+3.00082 s]*
/proc/loadavg: 1.79 1.95 1.96 3/217 3751
/proc/meminfo: memFree=15510772/32770624 swapFree=67108792/67108860
[pid=3735] ppid=3732 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3735/stat : 3735 (xcsp3-exec) S 3732 3735 2709 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227780122 115843072 364 33554432000 4194304 5098028 140723014341792 140723014339896 139707128017532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39530496 140723014349882 140723014350084 140723014350084 140723014352842 0
/proc/3735/statm: 28282 364 306 221 0 87 0
[pid=3737] ppid=3735 vsize=14089320 memory=282512 CPUtime=6.65 cores=1,3,5,7
/proc/3737/stat : 3737 (java) S 3735 3735 2709 0 -1 1077944320 15498 0 0 0 645 20 0 0 20 0 15 0 227780122 14427463680 70628 33554432000 4194304 4196468 140727862020080 140727862002624 140435385978615 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
/proc/3737/statm: 3522330 70628 3407 1 0 3483524 0
[pid=3737/tid=3738] ppid=3735 vsize=14089320 memory=4788064525086596762 CPUtime=2.87 cores=1,3,5,7
/proc/3737/task/3738/stat : 3738 (java) R 3735 3735 2709 0 -1 4202560 7124 0 0 0 283 4 0 0 20 0 15 0 227780122 14427463680 70628 33554432000 4194304 4196468 140727862020080 140435390217464 140434984926188 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3739] ppid=3735 vsize=14089320 memory=3472468107383248080 CPUtime=0.08 cores=1,3,5,7
/proc/3737/task/3739/stat : 3739 (java) S 3735 3735 2709 0 -1 1077944384 88 0 0 0 5 3 0 0 20 0 15 0 227780123 14427463680 70628 33554432000 4194304 4196468 140727862020080 140435301047312 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3740] ppid=3735 vsize=14089320 memory=139978488096384 CPUtime=0.06 cores=1,3,5,7
/proc/3737/task/3740/stat : 3740 (java) S 3735 3735 2709 0 -1 1077944384 77 0 0 0 3 3 0 0 20 0 15 0 227780123 14427463680 70628 33554432000 4194304 4196468 140727862020080 140435299994768 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3741] ppid=3735 vsize=14089320 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3737/task/3741/stat : 3741 (java) S 3735 3735 2709 0 -1 1077944384 88 0 0 0 4 3 0 0 20 0 15 0 227780123 14427463680 70628 33554432000 4194304 4196468 140727862020080 140435298941712 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3742] ppid=3735 vsize=14089320 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3737/task/3742/stat : 3742 (java) S 3735 3735 2709 0 -1 1077944384 89 0 0 0 4 3 0 0 20 0 15 0 227780123 14427463680 70628 33554432000 4194304 4196468 140727862020080 140434978368400 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3743] ppid=3735 vsize=14089320 memory=139978488096384 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3743/stat : 3743 (java) S 3735 3735 2709 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 227780125 14427463680 70628 33554432000 4194304 4196468 140727862020080 140434860103920 140435385989762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3744] ppid=3735 vsize=14089320 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3744/stat : 3744 (java) S 3735 3735 2709 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 227780125 14427463680 70628 33554432000 4194304 4196468 140727862020080 140434859050144 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3745] ppid=3735 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3745/stat : 3745 (java) S 3735 3735 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227780125 14427463680 70628 33554432000 4194304 4196468 140727862020080 140434857997040 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3746] ppid=3735 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3746/stat : 3746 (java) S 3735 3735 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227780128 14427463680 70628 33554432000 4194304 4196468 140727862020080 140434856945616 140435385997211 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3747] ppid=3735 vsize=14089320 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/3737/task/3747/stat : 3747 (java) S 3735 3735 2709 0 -1 1077944384 2366 0 0 0 143 0 0 0 20 0 15 0 227780128 14427463680 70628 33554432000 4194304 4196468 140727862020080 140434855893744 140435385989762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3748] ppid=3735 vsize=14089320 memory=-1 CPUtime=1.31 cores=1,3,5,7
/proc/3737/task/3748/stat : 3748 (java) S 3735 3735 2709 0 -1 1077944384 1745 0 0 0 130 1 0 0 20 0 15 0 227780128 14427463680 70628 33554432000 4194304 4196468 140727862020080 140434854841200 140435385989762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3749] ppid=3735 vsize=14089320 memory=139978488096384 CPUtime=0.68 cores=1,3,5,7
/proc/3737/task/3749/stat : 3749 (java) S 3735 3735 2709 0 -1 1077944384 2538 0 0 0 68 0 0 0 20 0 15 0 227780128 14427463680 70628 33554432000 4194304 4196468 140727862020080 140434853788144 140435385989762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3750] ppid=3735 vsize=14089320 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3750/stat : 3750 (java) S 3735 3735 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227780128 14427463680 70628 33554432000 4194304 4196468 140727862020080 140434852735840 140435385988821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
[pid=3737/tid=3751] ppid=3735 vsize=14089320 memory=139978488096384 CPUtime=0 cores=1,3,5,7
/proc/3737/task/3751/stat : 3751 (java) S 3735 3735 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227780128 14427463680 70628 33554432000 4194304 4196468 140727862020080 140434851682864 140435385989762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15302656 140727862023302 140727862023473 140727862023473 140727862026191 0
Current children cumulated CPU time: 6.65 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 283968 KiB

Child status: 0
Real time (s): 3.04101
CPU time (s): 6.69564
CPU user time (s): 6.48233
CPU system time (s): 0.213304
CPU usage (%): 220.178
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 283968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.48233
system time used= 0.213304
maximum resident set size= 283444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16081
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2669
involuntary context switches= 23


# summary of solver processes directly reported to runsolver:
#   pid: 3735
#   total CPU time (s): 6.69564
#   total CPU user time (s): 6.48233
#   total CPU system time (s): 0.213304

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042961 second user time and 0.07693 second system time

The end

Launcher Data 

Begin job on node150 at 2018-08-12 21:29:28
IDJOB=4306865
IDBENCH=141377
IDSOLVER=2787
FILE ID=node150/4306865-1534102168
RUNJOBID= node150-1534096899-2741
PBS_JOBID= 21036998
Free space on /tmp= 35016 MiB

SOLVER NAME= Choco-solver 4.0.7b seq (e747e1e)
BENCH NAME= XCSP18/SocialGolfers/SocialGolfers-5-5-5-cp_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4306865-1534102168/watcher-4306865-1534102168 -o /tmp/evaluation-result-4306865-1534102168/solver-4306865-1534102168 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534096899-2741 --watchdog 2580  HOME/xcsp3-exec -seed 2146059405 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306865-1534102168.xml

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

MD5SUM BENCH= 01658bc7723d571de51995bec243d654
RANDOM SEED=2146059405

node150.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.76
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.76
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.76
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.76
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:        15781160 kB
MemAvailable:   31735124 kB
Buffers:          215484 kB
Cached:         15802956 kB
SwapCached:           32 kB
Active:          8136416 kB
Inactive:        8105680 kB
Active(anon):     174408 kB
Inactive(anon):   101248 kB
Active(file):    7962008 kB
Inactive(file):  8004432 kB
Unevictable:        7736 kB
Mlocked:            7736 kB
SwapTotal:      67108860 kB
SwapFree:       67108792 kB
Dirty:             21880 kB
Writeback:             0 kB
AnonPages:        242888 kB
Mapped:            66036 kB
Shmem:             49732 kB
Slab:             444396 kB
SReclaimable:     415984 kB
SUnreclaim:        28412 kB
KernelStack:        3808 kB
PageTables:         5588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1261280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    137216 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 34992 MiB
End job on node150 at 2018-08-12 21:29:32