Trace number 4281133

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.5 par (2017-08-18)SAT 247.33701 131.804

General information on the benchmark

NameSuperSolutions/SuperSolutions-Sadeh-js/
SuperSadeh-js-e0ddr2-7.xml
MD5SUM0bf2c77c9eab7953e0f8d897649e2359
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 benchmark0.58380198
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints845
Number of domains46
Minimum domain size116
Maximum domain size135
Distribution of domain sizes[{"size":116,"count":10},{"size":117,"count":10},{"size":124,"count":10},{"size":126,"count":20},{"size":128,"count":10},{"size":131,"count":10},{"size":134,"count":10},{"size":135,"count":20}]
Minimum variable degree11
Maximum variable degree23
Distribution of variable degrees[{"degree":11,"count":20},{"degree":12,"count":30},{"degree":21,"count":20},{"degree":23,"count":30}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":845}]
Number of extensional constraints0
Number of intensional constraints845
Distribution of constraint types[{"type":"intension","count":845}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281133-1503171254.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4281133-1503171254.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
235.63/130.21	c solve instance...
247.11/131.73	s SATISFIABLE
247.11/131.73	v <instantiation>
247.11/131.73	v 	<list>x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 </list>
247.11/131.73	v 	<values>0 1 4 3 12 13 21 20 29 30 0 1 12 13 22 21 31 32 38 37 22 21 36 35 42 43 58 57 64 65 4 3 15 16 58 57 70 71 76 75 28 29 34 33 70 71 83 82 91 92 34 33 41 42 83 82 99 100 108 107 15 16 64 48 99 100 112 111 123 124 41 0 45 46 112 111 124 125 135 134 7 6 23 22 31 32 45 46 55 54 29 30 50 49 124 125 141 140 151 152 </values>
247.11/131.73	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 (12709 MiB free)
  memory of node 1: 16384 MiB (13851 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281133-1503171254/watcher-4281133-1503171254 -o /tmp/evaluation-result-4281133-1503171254/solver-4281133-1503171254 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503162736-10582 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 569339630 HOME/instance-4281133-1503171254.xml 

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

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

solver pid=11165, runsolver pid=11162

[startup+0.100115 s]*
/proc/loadavg: 2.52 6.30 7.55 2/199 11186
/proc/meminfo: memFree=27183168/32770624 swapFree=67108860/67108860
[pid=11165] ppid=11162 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/11165/stat : 11165 (xcsp3-exec) S 11162 11165 10555 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150212931 9740288 345 33554432000 4194304 5098028 140735587708448 140735587706552 139646353961596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8273920 140735587710053 140735587710263 140735587710263 140735587713003 0
/proc/11165/statm: 2378 345 289 221 0 87 0
[pid=11167] ppid=11165 vsize=25999808 memory=26836 CPUtime=0.11 cores=0-7
/proc/11167/stat : 11167 (java) S 11165 11165 10555 0 -1 1077944320 5575 0 0 0 10 1 0 0 20 0 20 0 150212931 26623803392 6709 33554432000 4194304 4196468 140725295556736 140725295539280 140669193625335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
/proc/11167/statm: 6499952 6709 2858 1 0 6488269 0
[pid=11167/tid=11168] ppid=11165 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/11167/task/11168/stat : 11168 (java) R 11165 11165 10555 0 -1 4202560 3586 0 0 0 8 1 0 0 20 0 20 0 150212931 26623803392 6709 33554432000 4194304 4196468 140725295556736 140669197858608 140669193646682 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11169] ppid=11165 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/11167/task/11169/stat : 11169 (java) S 11165 11165 10555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150212932 26623803392 6709 33554432000 4194304 4196468 140725295556736 140669116205328 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11170] ppid=11165 vsize=25999808 memory=140614641006208 CPUtime=0 cores=0-7
/proc/11167/task/11170/stat : 11170 (java) S 11165 11165 10555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150212932 26623803392 6709 33554432000 4194304 4196468 140725295556736 140669115152784 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11171] ppid=11165 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11171/stat : 11171 (java) S 11165 11165 10555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150212932 26623803392 6709 33554432000 4194304 4196468 140725295556736 140669114100240 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11172] ppid=11165 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11172/stat : 11172 (java) S 11165 11165 10555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150212932 26623803392 6709 33554432000 4194304 4196468 140725295556736 140669113047696 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11173] ppid=11165 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11173/stat : 11173 (java) S 11165 11165 10555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150212932 26623803392 6709 33554432000 4194304 4196468 140725295556736 140669111995152 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11174] ppid=11165 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/11167/task/11174/stat : 11174 (java) S 11165 11165 10555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150212932 26623803392 6709 33554432000 4194304 4196468 140725295556736 140669110942608 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11175] ppid=11165 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11175/stat : 11175 (java) S 11165 11165 10555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150212932 26623803392 6709 33554432000 4194304 4196468 140725295556736 140669109890064 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11176] ppid=11165 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11176/stat : 11176 (java) S 11165 11165 10555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150212932 26623803392 6709 33554432000 4194304 4196468 140725295556736 140669108837520 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11177] ppid=11165 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11177/stat : 11177 (java) S 11165 11165 10555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150212934 26623803392 6709 33554432000 4194304 4196468 140725295556736 140667868547056 140669193636482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11178] ppid=11165 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11178/stat : 11178 (java) S 11165 11165 10555 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150212934 26623803392 6709 33554432000 4194304 4196468 140725295556736 140667867493280 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11179] ppid=11165 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11179/stat : 11179 (java) S 11165 11165 10555 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150212934 26623803392 6709 33554432000 4194304 4196468 140725295556736 140667866440688 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11180] ppid=11165 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11180/stat : 11180 (java) S 11165 11165 10555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150212937 26623803392 6709 33554432000 4194304 4196468 140725295556736 140667865389264 140669193643931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11181] ppid=11165 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11181/stat : 11181 (java) S 11165 11165 10555 0 -1 1077944384 440 0 0 0 0 0 0 0 20 0 20 0 150212937 26623803392 6709 33554432000 4194304 4196468 140725295556736 140667864336880 140669193636482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11182] ppid=11165 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11182/stat : 11182 (java) S 11165 11165 10555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150212937 26623803392 6709 33554432000 4194304 4196468 140725295556736 140667863284336 140669193636482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11183] ppid=11165 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11183/stat : 11183 (java) S 11165 11165 10555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150212937 26623803392 6709 33554432000 4194304 4196468 140725295556736 140667862231792 140669193636482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11184] ppid=11165 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/11167/task/11184/stat : 11184 (java) R 11165 11165 10555 0 -1 4202560 237 0 0 0 1 0 0 0 20 0 20 0 150212937 26623803392 6709 33554432000 4194304 4196468 140725295556736 140667861179248 140669172580896 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11185] ppid=11165 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11185/stat : 11185 (java) S 11165 11165 10555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150212937 26623803392 6709 33554432000 4194304 4196468 140725295556736 140667860125920 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11186] ppid=11165 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/11167/task/11186/stat : 11186 (java) S 11165 11165 10555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150212937 26623803392 6709 33554432000 4194304 4196468 140725295556736 140667859073456 140669193636482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28216 KiB

[startup+0.210242 s]*
/proc/loadavg: 2.52 6.30 7.55 3/199 11186
/proc/meminfo: memFree=27172872/32770624 swapFree=67108860/67108860
[pid=11165] ppid=11162 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/11165/stat : 11165 (xcsp3-exec) S 11162 11165 10555 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150212931 9740288 345 33554432000 4194304 5098028 140735587708448 140735587706552 139646353961596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8273920 140735587710053 140735587710263 140735587710263 140735587713003 0
/proc/11165/statm: 2378 345 289 221 0 87 0
[pid=11167] ppid=11165 vsize=26004064 memory=38660 CPUtime=0.33 cores=0-7
/proc/11167/stat : 11167 (java) S 11165 11165 10555 0 -1 1077944320 8302 0 0 0 30 3 0 0 20 0 20 0 150212931 26628161536 9665 33554432000 4194304 4196468 140725295556736 140725295539280 140669193625335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
/proc/11167/statm: 6501016 9665 3025 1 0 6488269 0
[pid=11167/tid=11168] ppid=11165 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/11167/task/11168/stat : 11168 (java) R 11165 11165 10555 0 -1 4202560 5418 0 0 0 18 2 0 0 20 0 20 0 150212931 26628161536 9665 33554432000 4194304 4196468 140725295556736 140669197840768 140669193647261 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11169] ppid=11165 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/11167/task/11169/stat : 11169 (java) S 11165 11165 10555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150212932 26628161536 9665 33554432000 4194304 4196468 140725295556736 140669116205328 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11170] ppid=11165 vsize=26004064 memory=140614641017630 CPUtime=0 cores=0-7
/proc/11167/task/11170/stat : 11170 (java) S 11165 11165 10555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150212932 26628161536 9665 33554432000 4194304 4196468 140725295556736 140669115152784 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11171] ppid=11165 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11167/task/11171/stat : 11171 (java) S 11165 11165 10555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150212932 26628161536 9665 33554432000 4194304 4196468 140725295556736 140669114100240 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11172] ppid=11165 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11172/stat : 11172 (java) S 11165 11165 10555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150212932 26628161536 9665 33554432000 4194304 4196468 140725295556736 140669113047696 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11173] ppid=11165 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11173/stat : 11173 (java) S 11165 11165 10555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150212932 26628161536 9665 33554432000 4194304 4196468 140725295556736 140669111995152 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11174] ppid=11165 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11167/task/11174/stat : 11174 (java) S 11165 11165 10555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150212932 26628161536 9665 33554432000 4194304 4196468 140725295556736 140669110942608 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11175] ppid=11165 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11175/stat : 11175 (java) S 11165 11165 10555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150212932 26628161536 9665 33554432000 4194304 4196468 140725295556736 140669109890064 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11176] ppid=11165 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11176/stat : 11176 (java) S 11165 11165 10555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150212932 26628161536 9665 33554432000 4194304 4196468 140725295556736 140669108837520 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11177] ppid=11165 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11177/stat : 11177 (java) S 11165 11165 10555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150212934 26628161536 9665 33554432000 4194304 4196468 140725295556736 140667868547056 140669193636482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11178] ppid=11165 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11178/stat : 11178 (java) S 11165 11165 10555 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150212934 26628161536 9665 33554432000 4194304 4196468 140725295556736 140667867493280 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11179] ppid=11165 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11179/stat : 11179 (java) S 11165 11165 10555 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150212934 26628161536 9665 33554432000 4194304 4196468 140725295556736 140667866440688 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11180] ppid=11165 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11180/stat : 11180 (java) S 11165 11165 10555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150212937 26628161536 9665 33554432000 4194304 4196468 140725295556736 140667865389264 140669193643931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11181] ppid=11165 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/11167/task/11181/stat : 11181 (java) S 11165 11165 10555 0 -1 1077944384 528 0 0 0 1 0 0 0 20 0 20 0 150212937 26628161536 9665 33554432000 4194304 4196468 140725295556736 140667864336880 140669193636482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11182] ppid=11165 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11182/stat : 11182 (java) S 11165 11165 10555 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 150212937 26628161536 9665 33554432000 4194304 4196468 140725295556736 140667863284336 140669193636482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11183] ppid=11165 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/11167/task/11183/stat : 11183 (java) S 11165 11165 10555 0 -1 1077944384 280 0 0 0 2 0 0 0 20 0 20 0 150212937 26628161536 9665 33554432000 4194304 4196468 140725295556736 140667862231792 140669193636482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11184] ppid=11165 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/11167/task/11184/stat : 11184 (java) R 11165 11165 10555 0 -1 4202560 711 0 0 0 8 0 0 0 20 0 20 0 150212937 26628161536 9665 33554432000 4194304 4196468 140725295556736 140667861179248 140669172554552 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11185] ppid=11165 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11185/stat : 11185 (java) S 11165 11165 10555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150212937 26628161536 9665 33554432000 4194304 4196468 140725295556736 140667860125920 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11186] ppid=11165 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11167/task/11186/stat : 11186 (java) S 11165 11165 10555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150212937 26628161536 9665 33554432000 4194304 4196468 140725295556736 140667859073456 140669193636482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40040 KiB

[startup+0.310139 s]*
/proc/loadavg: 2.52 6.30 7.55 4/199 11186
/proc/meminfo: memFree=27168344/32770624 swapFree=67108860/67108860
[pid=11165] ppid=11162 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/11165/stat : 11165 (xcsp3-exec) S 11162 11165 10555 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150212931 9740288 345 33554432000 4194304 5098028 140735587708448 140735587706552 139646353961596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8273920 140735587710053 140735587710263 140735587710263 140735587713003 0
/proc/11165/statm: 2378 345 289 221 0 87 0
[pid=11167] ppid=11165 vsize=26004064 memory=43828 CPUtime=0.51 cores=0-7
/proc/11167/stat : 11167 (java) S 11165 11165 10555 0 -1 1077944320 9188 0 0 0 48 3 0 0 20 0 20 0 150212931 26628161536 10957 33554432000 4194304 4196468 140725295556736 140725295539280 140669193625335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
/proc/11167/statm: 6501016 10957 3054 1 0 6488269 0
[pid=11167/tid=11168] ppid=11165 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/11167/task/11168/stat : 11168 (java) R 11165 11165 10555 0 -1 4202560 6087 0 0 0 27 2 0 0 20 0 20 0 150212931 26628161536 10957 33554432000 4194304 4196468 140725295556736 140669197862800 140669193637270 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11169] ppid=11165 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11169/stat : 11169 (java) S 11165 11165 10555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150212932 26628161536 10957 33554432000 4194304 4196468 140725295556736 140669116205328 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11170] ppid=11165 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11170/stat : 11170 (java) S 11165 11165 10555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150212932 26628161536 10957 33554432000 4194304 4196468 140725295556736 140669115152784 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11171] ppid=11165 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11171/stat : 11171 (java) S 11165 11165 10555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150212932 26628161536 10957 33554432000 4194304 4196468 140725295556736 140669114100240 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11172] ppid=11165 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11172/stat : 11172 (java) S 11165 11165 10555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150212932 26628161536 10957 33554432000 4194304 4196468 140725295556736 140669113047696 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11173] ppid=11165 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/11167/task/11173/stat : 11173 (java) S 11165 11165 10555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150212932 26628161536 10957 33554432000 4194304 4196468 140725295556736 140669111995152 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11174] ppid=11165 vsize=26004064 memory=140614477902767 CPUtime=0 cores=0-7
/proc/11167/task/11174/stat : 11174 (java) S 11165 11165 10555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150212932 26628161536 10957 33554432000 4194304 4196468 140725295556736 140669110942608 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11175] ppid=11165 vsize=26004064 memory=140614477905072 CPUtime=0 cores=0-7
/proc/11167/task/11175/stat : 11175 (java) S 11165 11165 10555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150212932 26628161536 10957 33554432000 4194304 4196468 140725295556736 140669109890064 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11176] ppid=11165 vsize=26004064 memory=3472464512659076576 CPUtime=0 cores=0-7
/proc/11167/task/11176/stat : 11176 (java) S 11165 11165 10555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150212932 26628161536 10957 33554432000 4194304 4196468 140725295556736 140669108837520 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11177] ppid=11165 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11177/stat : 11177 (java) S 11165 11165 10555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150212934 26628161536 10957 33554432000 4194304 4196468 140725295556736 140667868547056 140669193636482 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11178] ppid=11165 vsize=26004064 memory=281228955821712 CPUtime=0 cores=0-7
/proc/11167/task/11178/stat : 11178 (java) S 11165 11165 10555 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150212934 26628161536 10957 33554432000 4194304 4196468 140725295556736 140667867493280 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11179] ppid=11165 vsize=26004064 memory=281228955828624 CPUtime=0 cores=0-7
/proc/11167/task/11179/stat : 11179 (java) S 11165 11165 10555 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150212934 26628161536 10957 33554432000 4194304 4196468 140725295556736 140667866440688 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11180] ppid=11165 vsize=26004064 memory=281228955769776 CPUtime=0 cores=0-7
/proc/11167/task/11180/stat : 11180 (java) S 11165 11165 10555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150212937 26628161536 10957 33554432000 4194304 4196468 140725295556736 140667865389264 140669193643931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11181] ppid=11165 vsize=26004064 memory=281228955842448 CPUtime=0.02 cores=0-7
/proc/11167/task/11181/stat : 11181 (java) S 11165 11165 10555 0 -1 1077944384 545 0 0 0 2 0 0 0 20 0 20 0 150212937 26628161536 10957 33554432000 4194304 4196468 140725295556736 140667864336880 140669193636482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11182] ppid=11165 vsize=26004064 memory=281228955849360 CPUtime=0.01 cores=0-7
/proc/11167/task/11182/stat : 11182 (java) S 11165 11165 10555 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 20 0 150212937 26628161536 10957 33554432000 4194304 4196468 140725295556736 140667863284336 140669193636482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11183] ppid=11165 vsize=26004064 memory=281228955847056 CPUtime=0.02 cores=0-7
/proc/11167/task/11183/stat : 11183 (java) S 11165 11165 10555 0 -1 1077944384 311 0 0 0 2 0 0 0 20 0 20 0 150212937 26628161536 10957 33554432000 4194304 4196468 140725295556736 140667862231792 140669193636482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11184] ppid=11165 vsize=26004064 memory=281228955863216 CPUtime=0.13 cores=0-7
/proc/11167/task/11184/stat : 11184 (java) R 11165 11165 10555 0 -1 4202560 877 0 0 0 13 0 0 0 20 0 20 0 150212937 26628161536 10957 33554432000 4194304 4196468 140725295556736 140667861179248 140669172580961 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11185] ppid=11165 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11185/stat : 11185 (java) S 11165 11165 10555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150212937 26628161536 10957 33554432000 4194304 4196468 140725295556736 140667860125920 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11186] ppid=11165 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11167/task/11186/stat : 11186 (java) S 11165 11165 10555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150212937 26628161536 10957 33554432000 4194304 4196468 140725295556736 140667859073456 140669193636482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45208 KiB

[startup+0.701012 s]
/proc/loadavg: 2.52 6.30 7.55 3/199 11186
/proc/meminfo: memFree=27150668/32770624 swapFree=67108860/67108860
[pid=11165] ppid=11162 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/11165/stat : 11165 (xcsp3-exec) S 11162 11165 10555 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150212931 9740288 345 33554432000 4194304 5098028 140735587708448 140735587706552 139646353961596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8273920 140735587710053 140735587710263 140735587710263 140735587713003 0
/proc/11165/statm: 2378 345 289 221 0 87 0
[pid=11167] ppid=11165 vsize=26006188 memory=99952 CPUtime=1.58 cores=0-7
/proc/11167/stat : 11167 (java) S 11165 11165 10555 0 -1 1077944320 12085 0 0 0 153 5 0 0 20 0 20 0 150212931 26630336512 24988 33554432000 4194304 4196468 140725295556736 140725295539280 140669193625335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
/proc/11167/statm: 6501547 24988 3201 1 0 6488781 0
[pid=11167/tid=11168] ppid=11165 vsize=26006188 memory=281228956221104 CPUtime=0.66 cores=0-7
/proc/11167/task/11168/stat : 11168 (java) R 11165 11165 10555 0 -1 4202560 6728 0 0 0 64 2 0 0 20 0 20 0 150212931 26630336512 24988 33554432000 4194304 4196468 140725295556736 140669197862224 140669193637270 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11169] ppid=11165 vsize=26006188 memory=140614478111600 CPUtime=0 cores=0-7
/proc/11167/task/11169/stat : 11169 (java) S 11165 11165 10555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150212932 26630336512 24988 33554432000 4194304 4196468 140725295556736 140669116205328 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11170] ppid=11165 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11170/stat : 11170 (java) S 11165 11165 10555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150212932 26630336512 24988 33554432000 4194304 4196468 140725295556736 140669115152784 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11171] ppid=11165 vsize=26006188 memory=11108 CPUtime=0 cores=0-7
/proc/11167/task/11171/stat : 11171 (java) S 11165 11165 10555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150212932 26630336512 24988 33554432000 4194304 4196468 140725295556736 140669114100240 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0

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

[pid=11167/tid=11181] ppid=11165 vsize=26006188 memory=1200 CPUtime=1.17 cores=0-7
/proc/11167/task/11181/stat : 11181 (java) S 11165 11165 10555 0 -1 1077944384 10105 0 0 0 115 2 0 0 20 0 20 0 150212937 26630336512 3021559 33554432000 4194304 4196468 140725295556736 140667864336880 140669193636482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11182] ppid=11165 vsize=26006188 memory=0 CPUtime=0.96 cores=0-7
/proc/11167/task/11182/stat : 11182 (java) S 11165 11165 10555 0 -1 1077944384 9922 0 0 0 94 2 0 0 20 0 20 0 150212937 26630336512 3021559 33554432000 4194304 4196468 140725295556736 140667863284336 140669193636482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11183] ppid=11165 vsize=26006188 memory=0 CPUtime=1.2 cores=0-7
/proc/11167/task/11183/stat : 11183 (java) S 11165 11165 10555 0 -1 1077944384 8445 0 0 0 118 2 0 0 20 0 20 0 150212937 26630336512 3021559 33554432000 4194304 4196468 140725295556736 140667862231792 140669193636482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11184] ppid=11165 vsize=26006188 memory=4132 CPUtime=0.59 cores=0-7
/proc/11167/task/11184/stat : 11184 (java) S 11165 11165 10555 0 -1 1077944384 5443 0 0 0 58 1 0 0 20 0 20 0 150212937 26630336512 3021559 33554432000 4194304 4196468 140725295556736 140667861179248 140669193636482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11185] ppid=11165 vsize=26006188 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/11167/task/11185/stat : 11185 (java) S 11165 11165 10555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150212937 26630336512 3021559 33554432000 4194304 4196468 140725295556736 140667860125920 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11186] ppid=11165 vsize=26006188 memory=0 CPUtime=0.04 cores=0-7
/proc/11167/task/11186/stat : 11186 (java) S 11165 11165 10555 0 -1 1077944384 121 0 0 0 2 2 0 0 20 0 20 0 150212937 26630336512 3021559 33554432000 4194304 4196468 140725295556736 140667859073456 140669193636482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
Current children cumulated CPU time: 235.01 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 12087616 KiB

[startup+131.205 s]
/proc/loadavg: 1.47 4.58 6.75 11/208 11202
/proc/meminfo: memFree=14620460/32770624 swapFree=67108860/67108860
[pid=11165] ppid=11162 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/11165/stat : 11165 (xcsp3-exec) S 11162 11165 10555 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150212931 9740288 345 33554432000 4194304 5098028 140735587708448 140735587706552 139646353961596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8273920 140735587710053 140735587710263 140735587710263 140735587713003 0
/proc/11165/statm: 2378 345 289 221 0 87 0
[pid=11167] ppid=11165 vsize=26538700 memory=12568356 CPUtime=243.16 cores=0-7
/proc/11167/stat : 11167 (java) S 11165 11165 10555 0 -1 1077944320 280028 0 0 0 22049 2267 0 0 20 0 28 0 150212931 27175628800 3142089 33554432000 4194304 4196468 140725295556736 140725295539280 140669193625335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
/proc/11167/statm: 6634675 3142089 3271 1 0 6621909 0
[pid=11167/tid=11168] ppid=11165 vsize=26538700 memory=1728 CPUtime=113.61 cores=0-7
/proc/11167/task/11168/stat : 11168 (java) S 11165 11165 10555 0 -1 1077944384 26008 0 0 0 11286 75 0 0 20 0 28 0 150212931 27175628800 3142089 33554432000 4194304 4196468 140725295556736 140669197866112 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11169] ppid=11165 vsize=26538700 memory=1720 CPUtime=15.15 cores=0-7
/proc/11167/task/11169/stat : 11169 (java) S 11165 11165 10555 0 -1 1077944384 17240 0 0 0 1260 255 0 0 20 0 28 0 150212932 27175628800 3142089 33554432000 4194304 4196468 140725295556736 140669116205328 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11170] ppid=11165 vsize=26538700 memory=1008 CPUtime=15.12 cores=0-7
/proc/11167/task/11170/stat : 11170 (java) S 11165 11165 10555 0 -1 1077944384 32533 0 0 0 1231 281 0 0 20 0 28 0 150212932 27175628800 3142089 33554432000 4194304 4196468 140725295556736 140669115152784 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11171] ppid=11165 vsize=26538700 memory=1380 CPUtime=15.11 cores=0-7
/proc/11167/task/11171/stat : 11171 (java) S 11165 11165 10555 0 -1 1077944384 17365 0 0 0 1240 271 0 0 20 0 28 0 150212932 27175628800 3142089 33554432000 4194304 4196468 140725295556736 140669114100240 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11172] ppid=11165 vsize=26538700 memory=12393788 CPUtime=15.07 cores=0-7
/proc/11167/task/11172/stat : 11172 (java) S 11165 11165 10555 0 -1 1077944384 17933 0 0 0 1240 267 0 0 20 0 28 0 150212932 27175628800 3142089 33554432000 4194304 4196468 140725295556736 140669113047696 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11173] ppid=11165 vsize=26538700 memory=2200 CPUtime=15.1 cores=0-7
/proc/11167/task/11173/stat : 11173 (java) S 11165 11165 10555 0 -1 1077944384 16565 0 0 0 1235 275 0 0 20 0 28 0 150212932 27175628800 3142089 33554432000 4194304 4196468 140725295556736 140669111995152 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11174] ppid=11165 vsize=26538700 memory=7284 CPUtime=15.1 cores=0-7
/proc/11167/task/11174/stat : 11174 (java) S 11165 11165 10555 0 -1 1077944384 63464 0 0 0 1226 284 0 0 20 0 28 0 150212932 27175628800 3142089 33554432000 4194304 4196468 140725295556736 140669110942608 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11175] ppid=11165 vsize=26538700 memory=1200 CPUtime=15.05 cores=0-7
/proc/11167/task/11175/stat : 11175 (java) S 11165 11165 10555 0 -1 1077944384 15969 0 0 0 1245 260 0 0 20 0 28 0 150212932 27175628800 3142089 33554432000 4194304 4196468 140725295556736 140669109890064 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11176] ppid=11165 vsize=26538700 memory=8660 CPUtime=15.04 cores=0-7
/proc/11167/task/11176/stat : 11176 (java) S 11165 11165 10555 0 -1 1077944384 17305 0 0 0 1233 271 0 0 20 0 28 0 150212932 27175628800 3142089 33554432000 4194304 4196468 140725295556736 140669108837520 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11177] ppid=11165 vsize=26538700 memory=1380 CPUtime=1.71 cores=0-7
/proc/11167/task/11177/stat : 11177 (java) S 11165 11165 10555 0 -1 1077944384 18918 0 0 0 160 11 0 0 20 0 28 0 150212934 27175628800 3142089 33554432000 4194304 4196468 140725295556736 140667868547056 140669193636482 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11178] ppid=11165 vsize=26538700 memory=12063700 CPUtime=0 cores=0-7
/proc/11167/task/11178/stat : 11178 (java) S 11165 11165 10555 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 150212934 27175628800 3142089 33554432000 4194304 4196468 140725295556736 140667867493344 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11179] ppid=11165 vsize=26538700 memory=41648 CPUtime=0 cores=0-7
/proc/11167/task/11179/stat : 11179 (java) S 11165 11165 10555 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 28 0 150212934 27175628800 3142089 33554432000 4194304 4196468 140725295556736 140667866440704 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11180] ppid=11165 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/11167/task/11180/stat : 11180 (java) S 11165 11165 10555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150212937 27175628800 3142089 33554432000 4194304 4196468 140725295556736 140667865389264 140669193643931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11181] ppid=11165 vsize=26538700 memory=1008 CPUtime=1.26 cores=0-7
/proc/11167/task/11181/stat : 11181 (java) R 11165 11165 10555 0 -1 1077944384 10149 0 0 0 124 2 0 0 20 0 28 0 150212937 27175628800 3142089 33554432000 4194304 4196468 140725295556736 140667864336880 140669193636482 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11182] ppid=11165 vsize=26538700 memory=41648 CPUtime=1.07 cores=0-7
/proc/11167/task/11182/stat : 11182 (java) R 11165 11165 10555 0 -1 4202560 9974 0 0 0 105 2 0 0 20 0 28 0 150212937 27175628800 3142089 33554432000 4194304 4196468 140725295556736 140667863276152 140669172028957 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11183] ppid=11165 vsize=26538700 memory=1296 CPUtime=1.35 cores=0-7
/proc/11167/task/11183/stat : 11183 (java) R 11165 11165 10555 0 -1 4202560 8610 0 0 0 133 2 0 0 20 0 28 0 150212937 27175628800 3142089 33554432000 4194304 4196468 140725295556736 140667862218880 140669177122123 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11184] ppid=11165 vsize=26538700 memory=2408 CPUtime=0.63 cores=0-7
/proc/11167/task/11184/stat : 11184 (java) S 11165 11165 10555 0 -1 1077944384 5971 0 0 0 62 1 0 0 20 0 28 0 150212937 27175628800 3142089 33554432000 4194304 4196468 140725295556736 140667861179248 140669193636482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11185] ppid=11165 vsize=26538700 memory=7284 CPUtime=0 cores=0-7
/proc/11167/task/11185/stat : 11185 (java) S 11165 11165 10555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150212937 27175628800 3142089 33554432000 4194304 4196468 140725295556736 140667860125920 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11186] ppid=11165 vsize=26538700 memory=836 CPUtime=0.04 cores=0-7
/proc/11167/task/11186/stat : 11186 (java) S 11165 11165 10555 0 -1 1077944384 121 0 0 0 2 2 0 0 20 0 28 0 150212937 27175628800 3142089 33554432000 4194304 4196468 140725295556736 140667859073456 140669193636482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11195] ppid=11165 vsize=26538700 memory=1692 CPUtime=0.35 cores=0-7
/proc/11167/task/11195/stat : 11195 (java) R 11165 11165 10555 0 -1 4202560 173 0 0 0 35 0 0 0 20 0 28 0 150225956 27175628800 3142089 33554432000 4194304 4196468 140725295556736 140667851062056 140668789136530 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11196] ppid=11165 vsize=26538700 memory=912 CPUtime=0.34 cores=0-7
/proc/11167/task/11196/stat : 11196 (java) R 11165 11165 10555 0 -1 4202560 35 0 0 0 34 0 0 0 20 0 28 0 150225956 27175628800 3142089 33554432000 4194304 4196468 140725295556736 140667850011632 140668789424657 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11197] ppid=11165 vsize=26538700 memory=4428 CPUtime=0.29 cores=0-7
/proc/11167/task/11197/stat : 11197 (java) R 11165 11165 10555 0 -1 4202560 36 0 0 0 29 0 0 0 20 0 28 0 150225956 27175628800 3142089 33554432000 4194304 4196468 140725295556736 140667848957536 140668789424915 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11198] ppid=11165 vsize=26538700 memory=4108 CPUtime=0.35 cores=0-7
/proc/11167/task/11198/stat : 11198 (java) R 11165 11165 10555 0 -1 4202560 61 0 0 0 35 0 0 0 20 0 28 0 150225956 27175628800 3142089 33554432000 4194304 4196468 140725295556736 140667847904960 140668789697413 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11199] ppid=11165 vsize=26538700 memory=8660 CPUtime=0.29 cores=0-7
/proc/11167/task/11199/stat : 11199 (java) R 11165 11165 10555 0 -1 4202560 39 0 0 0 29 0 0 0 20 0 28 0 150225956 27175628800 3142089 33554432000 4194304 4196468 140725295556736 140667846851920 140668788092465 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11200] ppid=11165 vsize=26538700 memory=5784 CPUtime=0.35 cores=0-7
/proc/11167/task/11200/stat : 11200 (java) R 11165 11165 10555 0 -1 4202560 44 0 0 0 35 0 0 0 20 0 28 0 150225956 27175628800 3142089 33554432000 4194304 4196468 140725295556736 140667845802256 140668789697360 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11201] ppid=11165 vsize=26538700 memory=4616 CPUtime=0.27 cores=0-7
/proc/11167/task/11201/stat : 11201 (java) R 11165 11165 10555 0 -1 4202560 41 0 0 0 27 0 0 0 20 0 28 0 150225956 27175628800 3142089 33554432000 4194304 4196468 140725295556736 140667844745696 140668789424920 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11202] ppid=11165 vsize=26538700 memory=1228 CPUtime=0.31 cores=0-7
/proc/11167/task/11202/stat : 11202 (java) R 11165 11165 10555 0 -1 4202560 45 0 0 0 31 0 0 0 20 0 28 0 150225956 27175628800 3142089 33554432000 4194304 4196468 140725295556736 140667843694760 140668788092505 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
Current children cumulated CPU time: 243.16 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 12569736 KiB

[startup+131.611 s]
/proc/loadavg: 1.47 4.58 6.75 11/208 11202
/proc/meminfo: memFree=14620460/32770624 swapFree=67108860/67108860
[pid=11165] ppid=11162 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/11165/stat : 11165 (xcsp3-exec) S 11162 11165 10555 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150212931 9740288 345 33554432000 4194304 5098028 140735587708448 140735587706552 139646353961596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8273920 140735587710053 140735587710263 140735587710263 140735587713003 0
/proc/11165/statm: 2378 345 289 221 0 87 0
[pid=11167] ppid=11165 vsize=26538700 memory=12568984 CPUtime=246.38 cores=0-7
/proc/11167/stat : 11167 (java) S 11165 11165 10555 0 -1 1077944320 280460 0 0 0 22371 2267 0 0 20 0 28 0 150212931 27175628800 3142246 33554432000 4194304 4196468 140725295556736 140725295539280 140669193625335 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
/proc/11167/statm: 6634675 3142246 3274 1 0 6621909 0
[pid=11167/tid=11168] ppid=11165 vsize=26538700 memory=7523098733515990617 CPUtime=113.61 cores=0-7
/proc/11167/task/11168/stat : 11168 (java) S 11165 11165 10555 0 -1 1077944384 26008 0 0 0 11286 75 0 0 20 0 28 0 150212931 27175628800 3142246 33554432000 4194304 4196468 140725295556736 140669197866112 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11169] ppid=11165 vsize=26538700 memory=6791534058613427641 CPUtime=15.15 cores=0-7
/proc/11167/task/11169/stat : 11169 (java) S 11165 11165 10555 0 -1 1077944384 17240 0 0 0 1260 255 0 0 20 0 28 0 150212932 27175628800 3142246 33554432000 4194304 4196468 140725295556736 140669116205328 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11170] ppid=11165 vsize=26538700 memory=1450 CPUtime=15.12 cores=0-7
/proc/11167/task/11170/stat : 11170 (java) S 11165 11165 10555 0 -1 1077944384 32533 0 0 0 1231 281 0 0 20 0 28 0 150212932 27175628800 3142246 33554432000 4194304 4196468 140725295556736 140669115152784 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11171] ppid=11165 vsize=26538700 memory=1454 CPUtime=15.11 cores=0-7
/proc/11167/task/11171/stat : 11171 (java) S 11165 11165 10555 0 -1 1077944384 17365 0 0 0 1240 271 0 0 20 0 28 0 150212932 27175628800 3142246 33554432000 4194304 4196468 140725295556736 140669114100240 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11172] ppid=11165 vsize=26538700 memory=1454 CPUtime=15.07 cores=0-7
/proc/11167/task/11172/stat : 11172 (java) S 11165 11165 10555 0 -1 1077944384 17933 0 0 0 1240 267 0 0 20 0 28 0 150212932 27175628800 3142246 33554432000 4194304 4196468 140725295556736 140669113047696 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11173] ppid=11165 vsize=26538700 memory=12277052 CPUtime=15.1 cores=0-7
/proc/11167/task/11173/stat : 11173 (java) S 11165 11165 10555 0 -1 1077944384 16565 0 0 0 1235 275 0 0 20 0 28 0 150212932 27175628800 3142246 33554432000 4194304 4196468 140725295556736 140669111995152 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11174] ppid=11165 vsize=26538700 memory=103 CPUtime=15.1 cores=0-7
/proc/11167/task/11174/stat : 11174 (java) S 11165 11165 10555 0 -1 1077944384 63464 0 0 0 1226 284 0 0 20 0 28 0 150212932 27175628800 3142246 33554432000 4194304 4196468 140725295556736 140669110942608 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11175] ppid=11165 vsize=26538700 memory=59 CPUtime=15.05 cores=0-7
/proc/11167/task/11175/stat : 11175 (java) S 11165 11165 10555 0 -1 1077944384 15969 0 0 0 1245 260 0 0 20 0 28 0 150212932 27175628800 3142246 33554432000 4194304 4196468 140725295556736 140669109890064 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11176] ppid=11165 vsize=26538700 memory=0 CPUtime=15.04 cores=0-7
/proc/11167/task/11176/stat : 11176 (java) S 11165 11165 10555 0 -1 1077944384 17305 0 0 0 1233 271 0 0 20 0 28 0 150212932 27175628800 3142246 33554432000 4194304 4196468 140725295556736 140669108837520 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11177] ppid=11165 vsize=26538700 memory=4 CPUtime=1.71 cores=0-7
/proc/11167/task/11177/stat : 11177 (java) S 11165 11165 10555 0 -1 1077944384 18918 0 0 0 160 11 0 0 20 0 28 0 150212934 27175628800 3142246 33554432000 4194304 4196468 140725295556736 140667868547056 140669193636482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11178] ppid=11165 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/11167/task/11178/stat : 11178 (java) S 11165 11165 10555 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 150212934 27175628800 3142246 33554432000 4194304 4196468 140725295556736 140667867493344 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11179] ppid=11165 vsize=26538700 memory=4128 CPUtime=0 cores=0-7
/proc/11167/task/11179/stat : 11179 (java) S 11165 11165 10555 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 28 0 150212934 27175628800 3142246 33554432000 4194304 4196468 140725295556736 140667866440704 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11180] ppid=11165 vsize=26538700 memory=2200 CPUtime=0 cores=0-7
/proc/11167/task/11180/stat : 11180 (java) S 11165 11165 10555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150212937 27175628800 3142246 33554432000 4194304 4196468 140725295556736 140667865389264 140669193643931 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11181] ppid=11165 vsize=26538700 memory=7284 CPUtime=1.49 cores=0-7
/proc/11167/task/11181/stat : 11181 (java) R 11165 11165 10555 0 -1 4202560 10189 0 0 0 147 2 0 0 20 0 28 0 150212937 27175628800 3142246 33554432000 4194304 4196468 140725295556736 140667864323448 140669177125732 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11182] ppid=11165 vsize=26538700 memory=836 CPUtime=1.24 cores=0-7
/proc/11167/task/11182/stat : 11182 (java) R 11165 11165 10555 0 -1 4202560 10002 0 0 0 122 2 0 0 20 0 28 0 150212937 27175628800 3142246 33554432000 4194304 4196468 140725295556736 140667863272480 140669172872117 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11183] ppid=11165 vsize=26538700 memory=1692 CPUtime=1.56 cores=0-7
/proc/11167/task/11183/stat : 11183 (java) R 11165 11165 10555 0 -1 4202560 8627 0 0 0 154 2 0 0 20 0 28 0 150212937 27175628800 3142246 33554432000 4194304 4196468 140725295556736 140667862222592 140669175145073 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11184] ppid=11165 vsize=26538700 memory=912 CPUtime=0.68 cores=0-7
/proc/11167/task/11184/stat : 11184 (java) R 11165 11165 10555 0 -1 1077944384 6274 0 0 0 67 1 0 0 20 0 28 0 150212937 27175628800 3142246 33554432000 4194304 4196468 140725295556736 140667861179248 140669193636482 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11185] ppid=11165 vsize=26538700 memory=4428 CPUtime=0 cores=0-7
/proc/11167/task/11185/stat : 11185 (java) S 11165 11165 10555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150212937 27175628800 3142246 33554432000 4194304 4196468 140725295556736 140667860125920 140669193635541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11186] ppid=11165 vsize=26538700 memory=4108 CPUtime=0.05 cores=0-7
/proc/11167/task/11186/stat : 11186 (java) S 11165 11165 10555 0 -1 1077944384 121 0 0 0 2 3 0 0 20 0 28 0 150212937 27175628800 3142246 33554432000 4194304 4196468 140725295556736 140667859073456 140669193636482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11195] ppid=11165 vsize=26538700 memory=1156 CPUtime=0.74 cores=0-7
/proc/11167/task/11195/stat : 11195 (java) R 11165 11165 10555 0 -1 4202560 174 0 0 0 74 0 0 0 20 0 28 0 150225956 27175628800 3142246 33554432000 4194304 4196468 140725295556736 140667851062312 140668793019707 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11196] ppid=11165 vsize=26538700 memory=3188 CPUtime=0.65 cores=0-7
/proc/11167/task/11196/stat : 11196 (java) R 11165 11165 10555 0 -1 4202560 37 0 0 0 65 0 0 0 20 0 28 0 150225956 27175628800 3142246 33554432000 4194304 4196468 140725295556736 140667850010200 140668793293040 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11197] ppid=11165 vsize=26538700 memory=1380 CPUtime=0.65 cores=0-7
/proc/11167/task/11197/stat : 11197 (java) R 11165 11165 10555 0 -1 4202560 37 0 0 0 65 0 0 0 20 0 28 0 150225956 27175628800 3142246 33554432000 4194304 4196468 140725295556736 140667848960520 140668789172967 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11198] ppid=11165 vsize=26538700 memory=12086240 CPUtime=0.62 cores=0-7
/proc/11167/task/11198/stat : 11198 (java) R 11165 11165 10555 0 -1 4202560 100 0 0 0 62 0 0 0 20 0 28 0 150225956 27175628800 3142246 33554432000 4194304 4196468 140725295556736 140667847904944 140668789172967 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11199] ppid=11165 vsize=26538700 memory=188566244185934 CPUtime=0.62 cores=0-7
/proc/11167/task/11199/stat : 11199 (java) R 11165 11165 10555 0 -1 4202560 39 0 0 0 62 0 0 0 20 0 28 0 150225956 27175628800 3142246 33554432000 4194304 4196468 140725295556736 140667846852648 140668793293293 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11200] ppid=11165 vsize=26538700 memory=4052 CPUtime=0.6 cores=0-7
/proc/11167/task/11200/stat : 11200 (java) R 11165 11165 10555 0 -1 4202560 44 0 0 0 60 0 0 0 20 0 28 0 150225956 27175628800 3142246 33554432000 4194304 4196468 140725295556736 140667845799824 140668789697220 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11201] ppid=11165 vsize=26538700 memory=24028 CPUtime=0.57 cores=0-7
/proc/11167/task/11201/stat : 11201 (java) R 11165 11165 10555 0 -1 4202560 42 0 0 0 57 0 0 0 20 0 28 0 150225956 27175628800 3142246 33554432000 4194304 4196468 140725295556736 140667844749288 140668785946080 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
[pid=11167/tid=11202] ppid=11165 vsize=26538700 memory=18444 CPUtime=0.68 cores=0-7
/proc/11167/task/11202/stat : 11202 (java) R 11165 11165 10555 0 -1 4202560 45 0 0 0 68 0 0 0 20 0 28 0 150225956 27175628800 3142246 33554432000 4194304 4196468 140725295556736 140667843693632 140668793293293 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14946304 140725295559826 140725295560003 140725295560003 140725295562703 0
Current children cumulated CPU time: 246.38 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 12570364 KiB

[startup+131.801 s]
/proc/loadavg: 1.47 4.58 6.75 11/208 11202
/proc/meminfo: memFree=14620460/32770624 swapFree=67108860/67108860
[pid=11165] ppid=11162 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/11165/stat : 11165 (xcsp3-exec) S 11162 11165 10555 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 150212931 9740288 345 33554432000 4194304 5098028 140735587708448 140735587706552 139646353961596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8273920 140735587710053 140735587710263 140735587710263 140735587713003 0
/proc/11165/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB

Child status: 0
Real time (s): 131.804
CPU time (s): 247.337
CPU user time (s): 224.594
CPU system time (s): 22.7431
CPU usage (%): 187.655
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 12570468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 224.594
system time used= 22.7431
maximum resident set size= 12569780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281121
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11589
involuntary context switches= 1880


# summary of solver processes directly reported to runsolver:
#   pid: 11165
#   total CPU time (s): 247.337
#   total CPU user time (s): 224.594
#   total CPU system time (s): 22.7431

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.01491 second user time and 1.33592 second system time

The end

Launcher Data 

Begin job on node115 at 2017-08-19 21:19:54
IDJOB=4281133
IDBENCH=138527
IDSOLVER=2675
FILE ID=node115/4281133-1503171254
RUNJOBID= node115-1503162736-10582
PBS_JOBID= 20630826
Free space on /tmp= 61868 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Sadeh-js/SuperSadeh-js-e0ddr2-7.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-4281133-1503171254/watcher-4281133-1503171254 -o /tmp/evaluation-result-4281133-1503171254/solver-4281133-1503171254 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503162736-10582 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 569339630 HOME/instance-4281133-1503171254.xml

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

MD5SUM BENCH= 0bf2c77c9eab7953e0f8d897649e2359
RANDOM SEED=569339630

node115.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.69
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.69
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.69
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.69
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:        27199760 kB
MemAvailable:   31973624 kB
Buffers:          244460 kB
Cached:          4822168 kB
SwapCached:            0 kB
Active:           900424 kB
Inactive:        4222960 kB
Active(anon):       7376 kB
Inactive(anon):    85200 kB
Active(file):     893048 kB
Inactive(file):  4137760 kB
Unevictable:        7032 kB
Mlocked:            7032 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7920 kB
Writeback:             0 kB
AnonPages:         89968 kB
Mapped:            51500 kB
Shmem:             33416 kB
Slab:             144708 kB
SReclaimable:     117784 kB
SUnreclaim:        26924 kB
KernelStack:        3520 kB
PageTables:         4884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61860 MiB
End job on node115 at 2017-08-19 21:22:06