Trace number 4271568

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-09)OPT3 402.08499 59.202099

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-4-insertions-3.xml
MD5SUM681bcba91e68c7fd43dde01217071906
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark33.344101
Satisfiable
(Un)Satisfiability was proved
Number of variables79
Number of constraints156
Number of domains1
Minimum domain size79
Maximum domain size79
Distribution of domain sizes[{"size":79,"count":79}]
Minimum variable degree4
Maximum variable degree14
Distribution of variable degrees[{"degree":4,"count":13},{"degree":5,"count":65},{"degree":14,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":156}]
Number of extensional constraints0
Number of intensional constraints156
Distribution of constraint types[{"type":"intension","count":156}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271568-1502640557.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271568-1502640557.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
1.29/0.66	c solve instance...
1.29/0.69	o 3 
401.47/59.19	s OPTIMUM FOUND
401.47/59.19	v <instantiation>
401.47/59.19	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] </list>
401.47/59.19	v 	<values>0 1 0 1 0 1 0 1 0 1 0 1 2 0 1 0 1 0 1 0 1 0 1 0 1 2 0 1 0 1 0 1 0 1 0 1 0 1 2 0 1 0 1 0 1 0 1 0 1 0 1 2 0 1 0 1 0 1 0 1 0 1 0 1 2 0 1 0 1 0 1 0 1 0 1 0 1 2 3 </values>
401.47/59.19	v </instantiation>

Verifier Data 

OK	3

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271568-1502640557/watcher-4271568-1502640557 -o /tmp/evaluation-result-4271568-1502640557/solver-4271568-1502640557 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502636397-3850 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 782684128 HOME/instance-4271568-1502640557.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=11661, runsolver pid=11658

[startup+0.100137 s]*
/proc/loadavg: 8.15 8.15 7.79 2/200 11682
/proc/meminfo: memFree=29145524/32770624 swapFree=67108860/67108860
[pid=11661] ppid=11658 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11661/stat : 11661 (xcsp3-exec) S 11658 11661 3823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97143755 9740288 346 33554432000 4194304 5098028 140722675453568 140722675451672 140326537134716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19873792 140722675459179 140722675459388 140722675459388 140722675462123 0
/proc/11661/statm: 2378 346 289 221 0 87 0
[pid=11663] ppid=11661 vsize=25999808 memory=26680 CPUtime=0.12 cores=0-7
/proc/11663/stat : 11663 (java) S 11661 11661 3823 0 -1 1077944320 5605 0 0 0 11 1 0 0 20 0 20 0 97143756 26623803392 6670 33554432000 4194304 4196468 140729011659312 140729011641856 139690035240695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
/proc/11663/statm: 6499952 6670 2849 1 0 6488269 0
[pid=11663/tid=11664] ppid=11661 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/11663/task/11664/stat : 11664 (java) R 11661 11661 3823 0 -1 4202560 3616 0 0 0 8 0 0 0 20 0 20 0 97143756 26623803392 6670 33554432000 4194304 4196468 140729011659312 139690039473968 139690035262621 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11665] ppid=11661 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/11663/task/11665/stat : 11665 (java) S 11661 11661 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97143757 26623803392 6670 33554432000 4194304 4196468 140729011659312 139689987860752 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11666] ppid=11661 vsize=25999808 memory=140427421283968 CPUtime=0 cores=0-7
/proc/11663/task/11666/stat : 11666 (java) S 11661 11661 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97143757 26623803392 6670 33554432000 4194304 4196468 140729011659312 139689592224144 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11667] ppid=11661 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11667/stat : 11667 (java) S 11661 11661 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97143757 26623803392 6670 33554432000 4194304 4196468 140729011659312 139689591171600 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11668] ppid=11661 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11668/stat : 11668 (java) S 11661 11661 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97143757 26623803392 6670 33554432000 4194304 4196468 140729011659312 139689590119056 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11669] ppid=11661 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11669/stat : 11669 (java) S 11661 11661 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97143757 26623803392 6670 33554432000 4194304 4196468 140729011659312 139689589066512 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11670] ppid=11661 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/11663/task/11670/stat : 11670 (java) S 11661 11661 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97143757 26623803392 6670 33554432000 4194304 4196468 140729011659312 139689588013968 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11671] ppid=11661 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11671/stat : 11671 (java) S 11661 11661 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97143757 26623803392 6670 33554432000 4194304 4196468 140729011659312 139689586961424 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11672] ppid=11661 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11672/stat : 11672 (java) S 11661 11661 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97143757 26623803392 6670 33554432000 4194304 4196468 140729011659312 139689585908880 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11673] ppid=11661 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11673/stat : 11673 (java) S 11661 11661 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97143758 26623803392 6670 33554432000 4194304 4196468 140729011659312 139688441534448 139690035251842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11674] ppid=11661 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11674/stat : 11674 (java) S 11661 11661 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97143759 26623803392 6670 33554432000 4194304 4196468 140729011659312 139688440480672 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11675] ppid=11661 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11675/stat : 11675 (java) S 11661 11661 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97143759 26623803392 6670 33554432000 4194304 4196468 140729011659312 139688439428080 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11676] ppid=11661 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11676/stat : 11676 (java) S 11661 11661 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97143761 26623803392 6670 33554432000 4194304 4196468 140729011659312 139688438376656 139690035259291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11677] ppid=11661 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11677/stat : 11677 (java) R 11661 11661 3823 0 -1 4202560 297 0 0 0 0 0 0 0 20 0 20 0 97143761 26623803392 6670 33554432000 4194304 4196468 140729011659312 139688437324272 139690035251842 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11678] ppid=11661 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11678/stat : 11678 (java) S 11661 11661 3823 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 97143761 26623803392 6670 33554432000 4194304 4196468 140729011659312 139688436271728 139690035251842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11679] ppid=11661 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11679/stat : 11679 (java) S 11661 11661 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97143761 26623803392 6670 33554432000 4194304 4196468 140729011659312 139688435219184 139690035251842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11680] ppid=11661 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/11663/task/11680/stat : 11680 (java) R 11661 11661 3823 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 20 0 97143761 26623803392 6670 33554432000 4194304 4196468 140729011659312 139688434166640 139690013231665 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11681] ppid=11661 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11681/stat : 11681 (java) S 11661 11661 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97143761 26623803392 6670 33554432000 4194304 4196468 140729011659312 139688433113312 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11682] ppid=11661 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/11663/task/11682/stat : 11682 (java) S 11661 11661 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97143762 26623803392 6670 33554432000 4194304 4196468 140729011659312 139688432060848 139690035251842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28064 KiB

[startup+0.209833 s]*
/proc/loadavg: 8.15 8.15 7.79 2/200 11682
/proc/meminfo: memFree=29135996/32770624 swapFree=67108860/67108860
[pid=11661] ppid=11658 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11661/stat : 11661 (xcsp3-exec) S 11658 11661 3823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97143755 9740288 346 33554432000 4194304 5098028 140722675453568 140722675451672 140326537134716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19873792 140722675459179 140722675459388 140722675459388 140722675462123 0
/proc/11661/statm: 2378 346 289 221 0 87 0
[pid=11663] ppid=11661 vsize=26004064 memory=38972 CPUtime=0.33 cores=0-7
/proc/11663/stat : 11663 (java) S 11661 11661 3823 0 -1 1077944320 8288 0 0 0 31 2 0 0 20 0 20 0 97143756 26628161536 9743 33554432000 4194304 4196468 140729011659312 140729011641856 139690035240695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
/proc/11663/statm: 6501016 9743 3033 1 0 6488269 0
[pid=11663/tid=11664] ppid=11661 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/11663/task/11664/stat : 11664 (java) R 11661 11661 3823 0 -1 4202560 5432 0 0 0 18 1 0 0 20 0 20 0 97143756 26628161536 9743 33554432000 4194304 4196468 140729011659312 139690039454672 139690019321182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11665] ppid=11661 vsize=26004064 memory=327 CPUtime=0 cores=0-7
/proc/11663/task/11665/stat : 11665 (java) S 11661 11661 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97143757 26628161536 9743 33554432000 4194304 4196468 140729011659312 139689987860752 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11666] ppid=11661 vsize=26004064 memory=140427421294308 CPUtime=0 cores=0-7
/proc/11663/task/11666/stat : 11666 (java) S 11661 11661 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97143757 26628161536 9743 33554432000 4194304 4196468 140729011659312 139689592224144 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11667] ppid=11661 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11663/task/11667/stat : 11667 (java) S 11661 11661 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97143757 26628161536 9743 33554432000 4194304 4196468 140729011659312 139689591171600 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11668] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11668/stat : 11668 (java) S 11661 11661 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97143757 26628161536 9743 33554432000 4194304 4196468 140729011659312 139689590119056 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11669] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11669/stat : 11669 (java) S 11661 11661 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97143757 26628161536 9743 33554432000 4194304 4196468 140729011659312 139689589066512 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11670] ppid=11661 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11663/task/11670/stat : 11670 (java) S 11661 11661 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97143757 26628161536 9743 33554432000 4194304 4196468 140729011659312 139689588013968 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11671] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11671/stat : 11671 (java) S 11661 11661 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97143757 26628161536 9743 33554432000 4194304 4196468 140729011659312 139689586961424 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11672] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11672/stat : 11672 (java) S 11661 11661 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97143757 26628161536 9743 33554432000 4194304 4196468 140729011659312 139689585908880 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11673] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11673/stat : 11673 (java) S 11661 11661 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97143758 26628161536 9743 33554432000 4194304 4196468 140729011659312 139688441534448 139690035251842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11674] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11674/stat : 11674 (java) S 11661 11661 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97143759 26628161536 9743 33554432000 4194304 4196468 140729011659312 139688440480672 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11675] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11675/stat : 11675 (java) S 11661 11661 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97143759 26628161536 9743 33554432000 4194304 4196468 140729011659312 139688439428080 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11676] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11676/stat : 11676 (java) S 11661 11661 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97143761 26628161536 9743 33554432000 4194304 4196468 140729011659312 139688438376656 139690035259291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11677] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11677/stat : 11677 (java) S 11661 11661 3823 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 20 0 97143761 26628161536 9743 33554432000 4194304 4196468 140729011659312 139688437324272 139690035251842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11678] ppid=11661 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/11663/task/11678/stat : 11678 (java) S 11661 11661 3823 0 -1 1077944384 214 0 0 0 1 0 0 0 20 0 20 0 97143761 26628161536 9743 33554432000 4194304 4196468 140729011659312 139688436271728 139690035251842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11679] ppid=11661 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/11663/task/11679/stat : 11679 (java) S 11661 11661 3823 0 -1 1077944384 245 0 0 0 2 0 0 0 20 0 20 0 97143761 26628161536 9743 33554432000 4194304 4196468 140729011659312 139688435219184 139690035251842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11680] ppid=11661 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/11663/task/11680/stat : 11680 (java) R 11661 11661 3823 0 -1 4202560 739 0 0 0 7 0 0 0 20 0 20 0 97143761 26628161536 9743 33554432000 4194304 4196468 140729011659312 139688434166640 139690013896512 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11681] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11681/stat : 11681 (java) S 11661 11661 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97143761 26628161536 9743 33554432000 4194304 4196468 140729011659312 139688433113312 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11682] ppid=11661 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11663/task/11682/stat : 11682 (java) S 11661 11661 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97143762 26628161536 9743 33554432000 4194304 4196468 140729011659312 139688432060848 139690035251842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40356 KiB

[startup+0.30946 s]*
/proc/loadavg: 8.15 8.15 7.79 5/200 11682
/proc/meminfo: memFree=29129420/32770624 swapFree=67108860/67108860
[pid=11661] ppid=11658 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11661/stat : 11661 (xcsp3-exec) S 11658 11661 3823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97143755 9740288 346 33554432000 4194304 5098028 140722675453568 140722675451672 140326537134716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19873792 140722675459179 140722675459388 140722675459388 140722675462123 0
/proc/11661/statm: 2378 346 289 221 0 87 0
[pid=11663] ppid=11661 vsize=26004064 memory=46172 CPUtime=0.5 cores=0-7
/proc/11663/stat : 11663 (java) S 11661 11661 3823 0 -1 1077944320 9185 0 0 0 47 3 0 0 20 0 20 0 97143756 26628161536 11543 33554432000 4194304 4196468 140729011659312 140729011641856 139690035240695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
/proc/11663/statm: 6501016 11543 3081 1 0 6488269 0
[pid=11663/tid=11664] ppid=11661 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/11663/task/11664/stat : 11664 (java) R 11661 11661 3823 0 -1 4202560 6164 0 0 0 27 2 0 0 20 0 20 0 97143756 26628161536 11543 33554432000 4194304 4196468 140729011659312 139690039479088 139690035262042 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11665] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11665/stat : 11665 (java) S 11661 11661 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97143757 26628161536 11543 33554432000 4194304 4196468 140729011659312 139689987860752 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11666] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11666/stat : 11666 (java) S 11661 11661 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97143757 26628161536 11543 33554432000 4194304 4196468 140729011659312 139689592224144 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11667] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11667/stat : 11667 (java) S 11661 11661 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97143757 26628161536 11543 33554432000 4194304 4196468 140729011659312 139689591171600 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11668] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11668/stat : 11668 (java) S 11661 11661 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97143757 26628161536 11543 33554432000 4194304 4196468 140729011659312 139689590119056 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11669] ppid=11661 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/11663/task/11669/stat : 11669 (java) S 11661 11661 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97143757 26628161536 11543 33554432000 4194304 4196468 140729011659312 139689589066512 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11670] ppid=11661 vsize=26004064 memory=140427311281071 CPUtime=0 cores=0-7
/proc/11663/task/11670/stat : 11670 (java) S 11661 11661 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97143757 26628161536 11543 33554432000 4194304 4196468 140729011659312 139689588013968 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11671] ppid=11661 vsize=26004064 memory=140427311283376 CPUtime=0 cores=0-7
/proc/11663/task/11671/stat : 11671 (java) S 11661 11661 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97143757 26628161536 11543 33554432000 4194304 4196468 140729011659312 139689586961424 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11672] ppid=11661 vsize=26004064 memory=140427311285680 CPUtime=0 cores=0-7
/proc/11663/task/11672/stat : 11672 (java) S 11661 11661 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97143757 26628161536 11543 33554432000 4194304 4196468 140729011659312 139689585908880 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11673] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11673/stat : 11673 (java) S 11661 11661 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97143758 26628161536 11543 33554432000 4194304 4196468 140729011659312 139688441534448 139690035251842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11674] ppid=11661 vsize=26004064 memory=280854622578320 CPUtime=0 cores=0-7
/proc/11663/task/11674/stat : 11674 (java) S 11661 11661 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97143759 26628161536 11543 33554432000 4194304 4196468 140729011659312 139688440480672 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11675] ppid=11661 vsize=26004064 memory=280854622585232 CPUtime=0 cores=0-7
/proc/11663/task/11675/stat : 11675 (java) S 11661 11661 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97143759 26628161536 11543 33554432000 4194304 4196468 140729011659312 139688439428080 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11676] ppid=11661 vsize=26004064 memory=280854622526512 CPUtime=0 cores=0-7
/proc/11663/task/11676/stat : 11676 (java) S 11661 11661 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97143761 26628161536 11543 33554432000 4194304 4196468 140729011659312 139688438376656 139690035259291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11677] ppid=11661 vsize=26004064 memory=280854622599056 CPUtime=0.01 cores=0-7
/proc/11663/task/11677/stat : 11677 (java) S 11661 11661 3823 0 -1 1077944384 357 0 0 0 1 0 0 0 20 0 20 0 97143761 26628161536 11543 33554432000 4194304 4196468 140729011659312 139688437324272 139690035251842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11678] ppid=11661 vsize=26004064 memory=280854622605968 CPUtime=0.02 cores=0-7
/proc/11663/task/11678/stat : 11678 (java) S 11661 11661 3823 0 -1 1077944384 221 0 0 0 2 0 0 0 20 0 20 0 97143761 26628161536 11543 33554432000 4194304 4196468 140729011659312 139688436271728 139690035251842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11679] ppid=11661 vsize=26004064 memory=280854622603664 CPUtime=0.03 cores=0-7
/proc/11663/task/11679/stat : 11679 (java) S 11661 11661 3823 0 -1 1077944384 280 0 0 0 3 0 0 0 20 0 20 0 97143761 26628161536 11543 33554432000 4194304 4196468 140729011659312 139688435219184 139690035251842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11680] ppid=11661 vsize=26004064 memory=280854622619824 CPUtime=0.12 cores=0-7
/proc/11663/task/11680/stat : 11680 (java) S 11661 11661 3823 0 -1 1077944384 860 0 0 0 12 0 0 0 20 0 20 0 97143761 26628161536 11543 33554432000 4194304 4196468 140729011659312 139688434166640 139690035251842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11681] ppid=11661 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11681/stat : 11681 (java) S 11661 11661 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97143761 26628161536 11543 33554432000 4194304 4196468 140729011659312 139688433113312 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11682] ppid=11661 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11663/task/11682/stat : 11682 (java) S 11661 11661 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97143762 26628161536 11543 33554432000 4194304 4196468 140729011659312 139688432060848 139690035251842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47556 KiB

[startup+0.700813 s]
/proc/loadavg: 8.15 8.15 7.79 3/200 11682
/proc/meminfo: memFree=29112424/32770624 swapFree=67108860/67108860
[pid=11661] ppid=11658 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11661/stat : 11661 (xcsp3-exec) S 11658 11661 3823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97143755 9740288 346 33554432000 4194304 5098028 140722675453568 140722675451672 140326537134716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19873792 140722675459179 140722675459388 140722675459388 140722675462123 0
/proc/11661/statm: 2378 346 289 221 0 87 0
[pid=11663] ppid=11661 vsize=26538700 memory=105784 CPUtime=1.72 cores=0-7
/proc/11663/stat : 11663 (java) S 11661 11661 3823 0 -1 1077944320 13195 0 0 0 165 7 0 0 20 0 23 0 97143756 27175628800 25934 33554432000 4194304 4196468 140729011659312 140729011641856 139690035240695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
/proc/11663/statm: 6634675 25934 3207 1 0 6621909 0
[pid=11663/tid=11664] ppid=11661 vsize=26538700 memory=280854622977712 CPUtime=0.65 cores=0-7
/proc/11663/task/11664/stat : 11664 (java) S 11661 11661 3823 0 -1 1077944384 6857 0 0 0 62 3 0 0 20 0 23 0 97143756 27175628800 26446 33554432000 4194304 4196468 140729011659312 139690039481472 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11665] ppid=11661 vsize=26538700 memory=140427311489904 CPUtime=0 cores=0-7
/proc/11663/task/11665/stat : 11665 (java) S 11661 11661 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 97143757 27175628800 26446 33554432000 4194304 4196468 140729011659312 139689987860752 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11666] ppid=11661 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11666/stat : 11666 (java) S 11661 11661 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 97143757 27175628800 26446 33554432000 4194304 4196468 140729011659312 139689592224144 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11667] ppid=11661 vsize=26538700 memory=5296 CPUtime=0 cores=0-7
/proc/11663/task/11667/stat : 11667 (java) S 11661 11661 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 97143757 27175628800 26446 33554432000 4194304 4196468 140729011659312 139689591171600 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0

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

[pid=11663/tid=11693] ppid=11661 vsize=26538700 memory=18448 CPUtime=47.25 cores=0-7
/proc/11663/task/11693/stat : 11693 (java) R 11661 11661 3823 0 -1 4202560 434 0 0 0 4567 158 0 0 20 0 28 0 97143825 27175628800 40177 33554432000 4194304 4196468 140729011659312 139688423002288 139689672916695 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11694] ppid=11661 vsize=26538700 memory=15756 CPUtime=48.36 cores=0-7
/proc/11663/task/11694/stat : 11694 (java) R 11661 11661 3823 0 -1 4202560 1038 0 0 0 4693 143 0 0 20 0 28 0 97143825 27175628800 40177 33554432000 4194304 4196468 140729011659312 139688417739056 139689673312369 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11695] ppid=11661 vsize=26538700 memory=4044 CPUtime=48.95 cores=0-7
/proc/11663/task/11695/stat : 11695 (java) R 11661 11661 3823 0 -1 4202560 1881 0 0 0 4774 121 0 0 20 0 28 0 97143825 27175628800 40177 33554432000 4194304 4196468 140729011659312 139688419844528 139689672787037 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11696] ppid=11661 vsize=26538700 memory=1792 CPUtime=47.68 cores=0-7
/proc/11663/task/11696/stat : 11696 (java) R 11661 11661 3823 0 -1 1077944384 502 0 0 0 4615 153 0 0 20 0 28 0 97143826 27175628800 40177 33554432000 4194304 4196468 140729011659312 139688424055248 139690035251842 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11697] ppid=11661 vsize=26538700 memory=636 CPUtime=50.61 cores=0-7
/proc/11663/task/11697/stat : 11697 (java) S 11661 11661 3823 0 -1 1077944384 3222 0 0 0 4976 85 0 0 20 0 28 0 97143826 27175628800 40177 33554432000 4194304 4196468 140729011659312 139688420896432 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11698] ppid=11661 vsize=26538700 memory=956 CPUtime=47.47 cores=0-7
/proc/11663/task/11698/stat : 11698 (java) R 11661 11661 3823 0 -1 4202560 536 0 0 0 4577 170 0 0 20 0 28 0 97143826 27175628800 40177 33554432000 4194304 4196468 140729011659312 139688421949136 139689673796639 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
Current children cumulated CPU time: 391.11 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 162092 KiB

[startup+58.4009 s]
/proc/loadavg: 7.31 7.96 7.75 8/207 11699
/proc/meminfo: memFree=29013164/32770624 swapFree=67108860/67108860
[pid=11661] ppid=11658 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11661/stat : 11661 (xcsp3-exec) S 11658 11661 3823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97143755 9740288 346 33554432000 4194304 5098028 140722675453568 140722675451672 140326537134716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19873792 140722675459179 140722675459388 140722675459388 140722675462123 0
/proc/11661/statm: 2378 346 289 221 0 87 0
[pid=11663] ppid=11661 vsize=26538700 memory=160200 CPUtime=396.57 cores=0-7
/proc/11663/stat : 11663 (java) S 11661 11661 3823 0 -1 1077944320 51932 0 0 0 38445 1212 0 0 20 0 28 0 97143756 27175628800 40050 33554432000 4194304 4196468 140729011659312 140729011641856 139690035240695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
/proc/11663/statm: 6634675 40050 3261 1 0 6621909 0
[pid=11663/tid=11664] ppid=11661 vsize=26538700 memory=140427311591744 CPUtime=0.65 cores=0-7
/proc/11663/task/11664/stat : 11664 (java) S 11661 11661 3823 0 -1 1077944384 6857 0 0 0 62 3 0 0 20 0 28 0 97143756 27175628800 40050 33554432000 4194304 4196468 140729011659312 139690039481472 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11665] ppid=11661 vsize=26538700 memory=6791534058613427641 CPUtime=0.1 cores=0-7
/proc/11663/task/11665/stat : 11665 (java) S 11661 11661 3823 0 -1 1077944384 472 0 0 0 9 1 0 0 20 0 28 0 97143757 27175628800 40050 33554432000 4194304 4196468 140729011659312 139689987860752 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11666] ppid=11661 vsize=26538700 memory=161696 CPUtime=0.1 cores=0-7
/proc/11663/task/11666/stat : 11666 (java) S 11661 11661 3823 0 -1 1077944384 1043 0 0 0 9 1 0 0 20 0 28 0 97143757 27175628800 40050 33554432000 4194304 4196468 140729011659312 139689592224144 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11667] ppid=11661 vsize=26538700 memory=24452 CPUtime=0.09 cores=0-7
/proc/11663/task/11667/stat : 11667 (java) S 11661 11661 3823 0 -1 1077944384 382 0 0 0 8 1 0 0 20 0 28 0 97143757 27175628800 40050 33554432000 4194304 4196468 140729011659312 139689591171600 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11668] ppid=11661 vsize=26538700 memory=2241 CPUtime=0.1 cores=0-7
/proc/11663/task/11668/stat : 11668 (java) S 11661 11661 3823 0 -1 1077944384 1466 0 0 0 9 1 0 0 20 0 28 0 97143757 27175628800 40050 33554432000 4194304 4196468 140729011659312 139689590119056 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11669] ppid=11661 vsize=26538700 memory=2244 CPUtime=0.09 cores=0-7
/proc/11663/task/11669/stat : 11669 (java) S 11661 11661 3823 0 -1 1077944384 1577 0 0 0 8 1 0 0 20 0 28 0 97143757 27175628800 40050 33554432000 4194304 4196468 140729011659312 139689589066512 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11670] ppid=11661 vsize=26538700 memory=0 CPUtime=0.11 cores=0-7
/proc/11663/task/11670/stat : 11670 (java) S 11661 11661 3823 0 -1 1077944384 662 0 0 0 10 1 0 0 20 0 28 0 97143757 27175628800 40050 33554432000 4194304 4196468 140729011659312 139689588013968 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11671] ppid=11661 vsize=26538700 memory=280854622372080 CPUtime=0.11 cores=0-7
/proc/11663/task/11671/stat : 11671 (java) S 11661 11661 3823 0 -1 1077944384 606 0 0 0 10 1 0 0 20 0 28 0 97143757 27175628800 40050 33554432000 4194304 4196468 140729011659312 139689586961424 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11672] ppid=11661 vsize=26538700 memory=0 CPUtime=0.1 cores=0-7
/proc/11663/task/11672/stat : 11672 (java) S 11661 11661 3823 0 -1 1077944384 960 0 0 0 9 1 0 0 20 0 28 0 97143757 27175628800 40050 33554432000 4194304 4196468 140729011659312 139689585908880 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11673] ppid=11661 vsize=26538700 memory=1384 CPUtime=0.09 cores=0-7
/proc/11663/task/11673/stat : 11673 (java) S 11661 11661 3823 0 -1 1077944384 2751 0 0 0 8 1 0 0 20 0 28 0 97143758 27175628800 40050 33554432000 4194304 4196468 140729011659312 139688441534448 139690035251842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11674] ppid=11661 vsize=26538700 memory=160716 CPUtime=0 cores=0-7
/proc/11663/task/11674/stat : 11674 (java) S 11661 11661 3823 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 97143759 27175628800 40050 33554432000 4194304 4196468 140729011659312 139688440480672 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11675] ppid=11661 vsize=26538700 memory=116 CPUtime=0 cores=0-7
/proc/11663/task/11675/stat : 11675 (java) S 11661 11661 3823 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 97143759 27175628800 40050 33554432000 4194304 4196468 140729011659312 139688439428080 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11676] ppid=11661 vsize=26538700 memory=108 CPUtime=0 cores=0-7
/proc/11663/task/11676/stat : 11676 (java) S 11661 11661 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97143761 27175628800 40050 33554432000 4194304 4196468 140729011659312 139688438376656 139690035259291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11677] ppid=11661 vsize=26538700 memory=60 CPUtime=0.97 cores=0-7
/proc/11663/task/11677/stat : 11677 (java) S 11661 11661 3823 0 -1 1077944384 5391 0 0 0 96 1 0 0 20 0 28 0 97143761 27175628800 40050 33554432000 4194304 4196468 140729011659312 139688437324272 139690035251842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11678] ppid=11661 vsize=26538700 memory=0 CPUtime=1.18 cores=0-7
/proc/11663/task/11678/stat : 11678 (java) S 11661 11661 3823 0 -1 1077944384 9863 0 0 0 117 1 0 0 20 0 28 0 97143761 27175628800 40050 33554432000 4194304 4196468 140729011659312 139688436271728 139690035251842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11679] ppid=11661 vsize=26538700 memory=0 CPUtime=1.08 cores=0-7
/proc/11663/task/11679/stat : 11679 (java) S 11661 11661 3823 0 -1 1077944384 5558 0 0 0 106 2 0 0 20 0 28 0 97143761 27175628800 40050 33554432000 4194304 4196468 140729011659312 139688435219184 139690035251842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11680] ppid=11661 vsize=26538700 memory=4334 CPUtime=0.6 cores=0-7
/proc/11663/task/11680/stat : 11680 (java) S 11661 11661 3823 0 -1 1077944384 3719 0 0 0 59 1 0 0 20 0 28 0 97143761 27175628800 40050 33554432000 4194304 4196468 140729011659312 139688434166640 139690035251842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11681] ppid=11661 vsize=26538700 memory=840 CPUtime=0 cores=0-7
/proc/11663/task/11681/stat : 11681 (java) S 11661 11661 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97143761 27175628800 40050 33554432000 4194304 4196468 140729011659312 139688433113312 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11682] ppid=11661 vsize=26538700 memory=4104 CPUtime=0 cores=0-7
/proc/11663/task/11682/stat : 11682 (java) S 11661 11661 3823 0 -1 1077944384 382 0 0 0 0 0 0 0 20 0 28 0 97143762 27175628800 40050 33554432000 4194304 4196468 140729011659312 139688432060848 139690035251842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11691] ppid=11661 vsize=26538700 memory=1692 CPUtime=48.14 cores=0-7
/proc/11663/task/11691/stat : 11691 (java) R 11661 11661 3823 0 -1 4202560 522 0 0 0 4637 177 0 0 20 0 28 0 97143825 27175628800 40050 33554432000 4194304 4196468 140729011659312 139688416684864 139689672786515 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11692] ppid=11661 vsize=26538700 memory=916 CPUtime=48.36 cores=0-7
/proc/11663/task/11692/stat : 11692 (java) R 11661 11661 3823 0 -1 4202560 416 0 0 0 4669 167 0 0 20 0 28 0 97143825 27175628800 40050 33554432000 4194304 4196468 140729011659312 139688418791376 139689673919323 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11693] ppid=11661 vsize=26538700 memory=4148 CPUtime=47.9 cores=0-7
/proc/11663/task/11693/stat : 11693 (java) R 11661 11661 3823 0 -1 4202560 436 0 0 0 4630 160 0 0 20 0 28 0 97143825 27175628800 40050 33554432000 4194304 4196468 140729011659312 139688423002288 139690019741331 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11694] ppid=11661 vsize=26538700 memory=1156 CPUtime=49.04 cores=0-7
/proc/11663/task/11694/stat : 11694 (java) R 11661 11661 3823 0 -1 4202560 1038 0 0 0 4758 146 0 0 20 0 28 0 97143825 27175628800 40050 33554432000 4194304 4196468 140729011659312 139688417739056 139689672786022 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11695] ppid=11661 vsize=26538700 memory=3272 CPUtime=49.64 cores=0-7
/proc/11663/task/11695/stat : 11695 (java) S 11661 11661 3823 0 -1 1077944384 1885 0 0 0 4841 123 0 0 20 0 28 0 97143825 27175628800 40050 33554432000 4194304 4196468 140729011659312 139688419844528 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11696] ppid=11661 vsize=26538700 memory=1384 CPUtime=48.35 cores=0-7
/proc/11663/task/11696/stat : 11696 (java) R 11661 11661 3823 0 -1 1077944384 502 0 0 0 4680 155 0 0 20 0 28 0 97143826 27175628800 40050 33554432000 4194304 4196468 140729011659312 139688424055248 139690035251842 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11697] ppid=11661 vsize=26538700 memory=155756 CPUtime=51.35 cores=0-7
/proc/11663/task/11697/stat : 11697 (java) R 11661 11661 3823 0 -1 4202560 3253 0 0 0 5048 87 0 0 20 0 28 0 97143826 27175628800 40050 33554432000 4194304 4196468 140729011659312 139688420896336 139689673796504 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11698] ppid=11661 vsize=26538700 memory=6791534058613427641 CPUtime=48.14 cores=0-7
/proc/11663/task/11698/stat : 11698 (java) R 11661 11661 3823 0 -1 4202560 537 0 0 0 4642 172 0 0 20 0 28 0 97143826 27175628800 40050 33554432000 4194304 4196468 140729011659312 139688421949232 139689673574867 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
Current children cumulated CPU time: 396.57 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 161584 KiB

[startup+58.801 s]
/proc/loadavg: 7.31 7.96 7.75 8/207 11699
/proc/meminfo: memFree=29013164/32770624 swapFree=67108860/67108860
[pid=11661] ppid=11658 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11661/stat : 11661 (xcsp3-exec) S 11658 11661 3823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97143755 9740288 346 33554432000 4194304 5098028 140722675453568 140722675451672 140326537134716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19873792 140722675459179 140722675459388 140722675459388 140722675462123 0
/proc/11661/statm: 2378 346 289 221 0 87 0
[pid=11663] ppid=11661 vsize=26538700 memory=159688 CPUtime=399.33 cores=0-7
/proc/11663/stat : 11663 (java) S 11661 11661 3823 0 -1 1077944320 51939 0 0 0 38711 1222 0 0 20 0 28 0 97143756 27175628800 39922 33554432000 4194304 4196468 140729011659312 140729011641856 139690035240695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
/proc/11663/statm: 6634675 39922 3261 1 0 6621909 0
[pid=11663/tid=11664] ppid=11661 vsize=26538700 memory=6655300316396806240 CPUtime=0.65 cores=0-7
/proc/11663/task/11664/stat : 11664 (java) S 11661 11661 3823 0 -1 1077944384 6857 0 0 0 62 3 0 0 20 0 28 0 97143756 27175628800 39922 33554432000 4194304 4196468 140729011659312 139690039481472 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11665] ppid=11661 vsize=26538700 memory=0 CPUtime=0.1 cores=0-7
/proc/11663/task/11665/stat : 11665 (java) S 11661 11661 3823 0 -1 1077944384 472 0 0 0 9 1 0 0 20 0 28 0 97143757 27175628800 39922 33554432000 4194304 4196468 140729011659312 139689987860752 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11666] ppid=11661 vsize=26538700 memory=280854625023328 CPUtime=0.1 cores=0-7
/proc/11663/task/11666/stat : 11666 (java) S 11661 11661 3823 0 -1 1077944384 1043 0 0 0 9 1 0 0 20 0 28 0 97143757 27175628800 39922 33554432000 4194304 4196468 140729011659312 139689592224144 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11667] ppid=11661 vsize=26538700 memory=3472468556207535634 CPUtime=0.09 cores=0-7
/proc/11663/task/11667/stat : 11667 (java) S 11661 11661 3823 0 -1 1077944384 382 0 0 0 8 1 0 0 20 0 28 0 97143757 27175628800 39922 33554432000 4194304 4196468 140729011659312 139689591171600 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11668] ppid=11661 vsize=26538700 memory=7232886968738802340 CPUtime=0.1 cores=0-7
/proc/11663/task/11668/stat : 11668 (java) S 11661 11661 3823 0 -1 1077944384 1466 0 0 0 9 1 0 0 20 0 28 0 97143757 27175628800 39922 33554432000 4194304 4196468 140729011659312 139689590119056 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11669] ppid=11661 vsize=26538700 memory=-9181546050914066336 CPUtime=0.09 cores=0-7
/proc/11663/task/11669/stat : 11669 (java) S 11661 11661 3823 0 -1 1077944384 1578 0 0 0 8 1 0 0 20 0 28 0 97143757 27175628800 39922 33554432000 4194304 4196468 140729011659312 139689589066512 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11670] ppid=11661 vsize=26538700 memory=0 CPUtime=0.11 cores=0-7
/proc/11663/task/11670/stat : 11670 (java) S 11661 11661 3823 0 -1 1077944384 663 0 0 0 10 1 0 0 20 0 28 0 97143757 27175628800 39922 33554432000 4194304 4196468 140729011659312 139689588013968 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11671] ppid=11661 vsize=26538700 memory=0 CPUtime=0.11 cores=0-7
/proc/11663/task/11671/stat : 11671 (java) S 11661 11661 3823 0 -1 1077944384 607 0 0 0 10 1 0 0 20 0 28 0 97143757 27175628800 39922 33554432000 4194304 4196468 140729011659312 139689586961424 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11672] ppid=11661 vsize=26538700 memory=0 CPUtime=0.1 cores=0-7
/proc/11663/task/11672/stat : 11672 (java) S 11661 11661 3823 0 -1 1077944384 962 0 0 0 9 1 0 0 20 0 28 0 97143757 27175628800 39922 33554432000 4194304 4196468 140729011659312 139689585908880 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11673] ppid=11661 vsize=26538700 memory=33 CPUtime=0.09 cores=0-7
/proc/11663/task/11673/stat : 11673 (java) S 11661 11661 3823 0 -1 1077944384 2751 0 0 0 8 1 0 0 20 0 28 0 97143758 27175628800 39922 33554432000 4194304 4196468 140729011659312 139688441534448 139690035251842 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11674] ppid=11661 vsize=26538700 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/11663/task/11674/stat : 11674 (java) S 11661 11661 3823 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 97143759 27175628800 39922 33554432000 4194304 4196468 140729011659312 139688440480672 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11675] ppid=11661 vsize=26538700 memory=291045354391208245 CPUtime=0 cores=0-7
/proc/11663/task/11675/stat : 11675 (java) S 11661 11661 3823 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 97143759 27175628800 39922 33554432000 4194304 4196468 140729011659312 139688439428080 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11676] ppid=11661 vsize=26538700 memory=14698478437665088 CPUtime=0 cores=0-7
/proc/11663/task/11676/stat : 11676 (java) S 11661 11661 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97143761 27175628800 39922 33554432000 4194304 4196468 140729011659312 139688438376656 139690035259291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11677] ppid=11661 vsize=26538700 memory=-7880843606118635149 CPUtime=0.97 cores=0-7
/proc/11663/task/11677/stat : 11677 (java) S 11661 11661 3823 0 -1 1077944384 5391 0 0 0 96 1 0 0 20 0 28 0 97143761 27175628800 39922 33554432000 4194304 4196468 140729011659312 139688437324272 139690035251842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11678] ppid=11661 vsize=26538700 memory=0 CPUtime=1.18 cores=0-7
/proc/11663/task/11678/stat : 11678 (java) S 11661 11661 3823 0 -1 1077944384 9863 0 0 0 117 1 0 0 20 0 28 0 97143761 27175628800 39922 33554432000 4194304 4196468 140729011659312 139688436271728 139690035251842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11679] ppid=11661 vsize=26538700 memory=0 CPUtime=1.08 cores=0-7
/proc/11663/task/11679/stat : 11679 (java) S 11661 11661 3823 0 -1 1077944384 5558 0 0 0 106 2 0 0 20 0 28 0 97143761 27175628800 39922 33554432000 4194304 4196468 140729011659312 139688435219184 139690035251842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11680] ppid=11661 vsize=26538700 memory=0 CPUtime=0.6 cores=0-7
/proc/11663/task/11680/stat : 11680 (java) S 11661 11661 3823 0 -1 1077944384 3719 0 0 0 59 1 0 0 20 0 28 0 97143761 27175628800 39922 33554432000 4194304 4196468 140729011659312 139688434166640 139690035251842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11681] ppid=11661 vsize=26538700 memory=280854624268336 CPUtime=0 cores=0-7
/proc/11663/task/11681/stat : 11681 (java) S 11661 11661 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97143761 27175628800 39922 33554432000 4194304 4196468 140729011659312 139688433113312 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11682] ppid=11661 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/11663/task/11682/stat : 11682 (java) S 11661 11661 3823 0 -1 1077944384 382 0 0 0 0 0 0 0 20 0 28 0 97143762 27175628800 39922 33554432000 4194304 4196468 140729011659312 139688432060848 139690035251842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11691] ppid=11661 vsize=26538700 memory=6656426216303648864 CPUtime=48.49 cores=0-7
/proc/11663/task/11691/stat : 11691 (java) S 11661 11661 3823 0 -1 1077944384 522 0 0 0 4670 179 0 0 20 0 28 0 97143825 27175628800 39922 33554432000 4194304 4196468 140729011659312 139688416684864 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11692] ppid=11661 vsize=26538700 memory=6944656592387989600 CPUtime=48.69 cores=0-7
/proc/11663/task/11692/stat : 11692 (java) S 11661 11661 3823 0 -1 1077944384 416 0 0 0 4701 168 0 0 20 0 28 0 97143825 27175628800 39922 33554432000 4194304 4196468 140729011659312 139688418791472 139690035250901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11693] ppid=11661 vsize=26538700 memory=6944656575208382560 CPUtime=48.24 cores=0-7
/proc/11663/task/11693/stat : 11693 (java) R 11661 11661 3823 0 -1 4202560 437 0 0 0 4663 161 0 0 20 0 28 0 97143825 27175628800 39922 33554432000 4194304 4196468 140729011659312 139688423002288 139689673312091 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11694] ppid=11661 vsize=26538700 memory=6944656575208382560 CPUtime=49.39 cores=0-7
/proc/11663/task/11694/stat : 11694 (java) R 11661 11661 3823 0 -1 4202560 1038 0 0 0 4792 147 0 0 20 0 28 0 97143825 27175628800 39922 33554432000 4194304 4196468 140729011659312 139688417739056 139689673796691 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11695] ppid=11661 vsize=26538700 memory=6944656592387989600 CPUtime=49.99 cores=0-7
/proc/11663/task/11695/stat : 11695 (java) R 11661 11661 3823 0 -1 4202560 1885 0 0 0 4875 124 0 0 20 0 28 0 97143825 27175628800 39922 33554432000 4194304 4196468 140729011659312 139688419844528 139689673919040 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11696] ppid=11661 vsize=26538700 memory=6791534058613427641 CPUtime=48.69 cores=0-7
/proc/11663/task/11696/stat : 11696 (java) R 11661 11661 3823 0 -1 4202560 502 0 0 0 4713 156 0 0 20 0 28 0 97143826 27175628800 39922 33554432000 4194304 4196468 140729011659312 139688424055344 139690019751040 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11697] ppid=11661 vsize=26538700 memory=916 CPUtime=51.71 cores=0-7
/proc/11663/task/11697/stat : 11697 (java) R 11661 11661 3823 0 -1 4202560 3254 0 0 0 5083 88 0 0 20 0 28 0 97143826 27175628800 39922 33554432000 4194304 4196468 140729011659312 139688420896432 139689673978588 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
[pid=11663/tid=11698] ppid=11661 vsize=26538700 memory=4148 CPUtime=48.48 cores=0-7
/proc/11663/task/11698/stat : 11698 (java) R 11661 11661 3823 0 -1 1077944384 537 0 0 0 4674 174 0 0 20 0 28 0 97143826 27175628800 39922 33554432000 4194304 4196468 140729011659312 139688421949232 139690035250901 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26841088 140729011664024 140729011664200 140729011664200 140729011666895 0
Current children cumulated CPU time: 399.33 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 161072 KiB

[startup+59.201 s]
/proc/loadavg: 7.31 7.96 7.75 9/207 11699
/proc/meminfo: memFree=29013992/32770624 swapFree=67108860/67108860
[pid=11661] ppid=11658 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11661/stat : 11661 (xcsp3-exec) S 11658 11661 3823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97143755 9740288 346 33554432000 4194304 5098028 140722675453568 140722675451672 140326537134716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19873792 140722675459179 140722675459388 140722675459388 140722675462123 0
/proc/11661/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1384 KiB

Child status: 0
Real time (s): 59.2021
CPU time (s): 402.085
CPU user time (s): 389.752
CPU system time (s): 12.3337
CPU usage (%): 679.175
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 220852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 389.752
system time used= 12.3337
maximum resident set size= 221108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53390
page faults= 0
swaps= 0
block input operations= 0
block output operations= 208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4717576
involuntary context switches= 809


# summary of solver processes directly reported to runsolver:
#   pid: 11661
#   total CPU time (s): 402.085
#   total CPU user time (s): 389.752
#   total CPU system time (s): 12.3337

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.482191 second user time and 0.686609 second system time

The end

Launcher Data 

Begin job on node107 at 2017-08-13 17:54:58
IDJOB=4271568
IDBENCH=120617
IDSOLVER=2663
FILE ID=node107/4271568-1502640557
RUNJOBID= node107-1502636397-3850
PBS_JOBID= 20628325
Free space on /tmp= 61660 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-4-insertions-3.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271568-1502640557/watcher-4271568-1502640557 -o /tmp/evaluation-result-4271568-1502640557/solver-4271568-1502640557 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502636397-3850 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 782684128 HOME/instance-4271568-1502640557.xml

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

MD5SUM BENCH= 681bcba91e68c7fd43dde01217071906
RANDOM SEED=782684128

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.84
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.84
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.84
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.84
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:        29162256 kB
MemAvailable:   31991664 kB
Buffers:          166516 kB
Cached:          2951632 kB
SwapCached:            0 kB
Active:           525340 kB
Inactive:        2645160 kB
Active(anon):      55332 kB
Inactive(anon):    24972 kB
Active(file):     470008 kB
Inactive(file):  2620188 kB
Unevictable:        6328 kB
Mlocked:            6328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7544 kB
Writeback:             0 kB
AnonPages:        156516 kB
Mapped:            43860 kB
Shmem:             25228 kB
Slab:             135476 kB
SReclaimable:     110092 kB
SUnreclaim:        25384 kB
KernelStack:        3536 kB
PageTables:         5360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    104448 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 61652 MiB
End job on node107 at 2017-08-13 17:55:58