Trace number 4271050

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-09)SAT 20.587299 3.5225401

General information on the benchmark

NameMarketSplit/MarketSplit-m1-gp/
MarketSplit-08.xml
MD5SUMc33b611f783ff62a93dcb2ff1216bc06
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.042851999
Satisfiable
(Un)Satisfiability was proved
Number of variables30
Number of constraints4
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":30}]
Minimum variable degree4
Maximum variable degree4
Distribution of variable degrees[{"degree":4,"count":30}]
Minimum constraint arity30
Maximum constraint arity30
Distribution of constraint arities[{"arity":30,"count":4}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":4}]
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-4271050-1502751902.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271050-1502751902.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
0.71/0.45	c solve instance...
20.51/3.40	s SATISFIABLE
20.51/3.40	v <instantiation>
20.51/3.40	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] </list>
20.51/3.40	v 	<values>0 0 1 1 0 0 0 0 1 1 1 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 </values>
20.51/3.40	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 (11610 MiB free)
  memory of node 1: 16384 MiB (14878 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271050-1502751902/watcher-4271050-1502751902 -o /tmp/evaluation-result-4271050-1502751902/solver-4271050-1502751902 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1502750590-3336 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1869129555 HOME/instance-4271050-1502751902.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=4776, runsolver pid=4773

[startup+0.100158 s]*
/proc/loadavg: 7.89 5.26 6.46 2/200 4797
/proc/meminfo: memFree=27108736/32770624 swapFree=67108860/67108860
[pid=4776] ppid=4773 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/4776/stat : 4776 (xcsp3-exec) S 4773 4776 3309 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 108271355 9740288 345 33554432000 4194304 5098028 140724291833024 140724291831128 140002989335164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29175808 140724291834980 140724291835191 140724291835191 140724291837931 0
/proc/4776/statm: 2378 345 289 221 0 87 0
[pid=4778] ppid=4776 vsize=25999808 memory=26460 CPUtime=0.12 cores=0-7
/proc/4778/stat : 4778 (java) S 4776 4776 3309 0 -1 1077944320 5478 0 0 0 11 1 0 0 20 0 20 0 108271356 26623803392 6615 33554432000 4194304 4196468 140732817575936 140732817558480 140192967937783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
/proc/4778/statm: 6499952 6615 2886 1 0 6488269 0
[pid=4778/tid=4779] ppid=4776 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/4778/task/4779/stat : 4779 (java) R 4776 4776 3309 0 -1 4202560 3485 0 0 0 8 1 0 0 20 0 20 0 108271356 26623803392 6615 33554432000 4194304 4196468 140732817575936 140192972171056 140192967949718 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4780] ppid=4776 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/4778/task/4780/stat : 4780 (java) S 4776 4776 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108271357 26623803392 6615 33554432000 4194304 4196468 140732817575936 140192920558480 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4781] ppid=4776 vsize=25999808 memory=140633092667008 CPUtime=0 cores=0-7
/proc/4778/task/4781/stat : 4781 (java) S 4776 4776 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108271357 26623803392 6615 33554432000 4194304 4196468 140732817575936 140192919505680 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4782] ppid=4776 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4782/stat : 4782 (java) S 4776 4776 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108271357 26623803392 6615 33554432000 4194304 4196468 140732817575936 140192918453392 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4783] ppid=4776 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4783/stat : 4783 (java) S 4776 4776 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108271357 26623803392 6615 33554432000 4194304 4196468 140732817575936 140192917400592 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4784] ppid=4776 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4784/stat : 4784 (java) S 4776 4776 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108271357 26623803392 6615 33554432000 4194304 4196468 140732817575936 140192916347280 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4785] ppid=4776 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4778/task/4785/stat : 4785 (java) S 4776 4776 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108271357 26623803392 6615 33554432000 4194304 4196468 140732817575936 140192915294480 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4786] ppid=4776 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4786/stat : 4786 (java) S 4776 4776 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108271357 26623803392 6615 33554432000 4194304 4196468 140732817575936 140192914242192 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4787] ppid=4776 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4787/stat : 4787 (java) S 4776 4776 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108271357 26623803392 6615 33554432000 4194304 4196468 140732817575936 140192913189392 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4788] ppid=4776 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4788/stat : 4788 (java) S 4776 4776 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108271358 26623803392 6615 33554432000 4194304 4196468 140732817575936 140191240039024 140192967948930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4789] ppid=4776 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4789/stat : 4789 (java) S 4776 4776 3309 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108271359 26623803392 6615 33554432000 4194304 4196468 140732817575936 140191238984992 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4790] ppid=4776 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4790/stat : 4790 (java) S 4776 4776 3309 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108271359 26623803392 6615 33554432000 4194304 4196468 140732817575936 140191237932656 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4791] ppid=4776 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4791/stat : 4791 (java) S 4776 4776 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108271361 26623803392 6615 33554432000 4194304 4196468 140732817575936 140191236880976 140192967956379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4792] ppid=4776 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4792/stat : 4792 (java) S 4776 4776 3309 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 20 0 108271361 26623803392 6615 33554432000 4194304 4196468 140732817575936 140191235827824 140192967948930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4793] ppid=4776 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4793/stat : 4793 (java) R 4776 4776 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108271361 26623803392 6615 33554432000 4194304 4196468 140732817575936 140191234775024 140192967948930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4794] ppid=4776 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4794/stat : 4794 (java) S 4776 4776 3309 0 -1 1077944384 284 0 0 0 0 0 0 0 20 0 20 0 108271361 26623803392 6615 33554432000 4194304 4196468 140732817575936 140191233722736 140192967948930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4795] ppid=4776 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/4778/task/4795/stat : 4795 (java) R 4776 4776 3309 0 -1 4202560 256 0 0 0 1 0 0 0 20 0 20 0 108271361 26623803392 6615 33554432000 4194304 4196468 140732817575936 140191232669936 140192967959130 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4796] ppid=4776 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4796/stat : 4796 (java) S 4776 4776 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108271362 26623803392 6615 33554432000 4194304 4196468 140732817575936 140191231617888 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4797] ppid=4776 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4778/task/4797/stat : 4797 (java) S 4776 4776 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108271362 26623803392 6615 33554432000 4194304 4196468 140732817575936 140191230565168 140192967948930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27840 KiB

[startup+0.210314 s]*
/proc/loadavg: 7.89 5.26 6.46 2/200 4797
/proc/meminfo: memFree=27098444/32770624 swapFree=67108860/67108860
[pid=4776] ppid=4773 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/4776/stat : 4776 (xcsp3-exec) S 4773 4776 3309 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 108271355 9740288 345 33554432000 4194304 5098028 140724291833024 140724291831128 140002989335164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29175808 140724291834980 140724291835191 140724291835191 140724291837931 0
/proc/4776/statm: 2378 345 289 221 0 87 0
[pid=4778] ppid=4776 vsize=26004064 memory=38772 CPUtime=0.33 cores=0-7
/proc/4778/stat : 4778 (java) S 4776 4776 3309 0 -1 1077944320 8240 0 0 0 31 2 0 0 20 0 20 0 108271356 26628161536 9693 33554432000 4194304 4196468 140732817575936 140732817558480 140192967937783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
/proc/4778/statm: 6501016 9693 3041 1 0 6488269 0
[pid=4778/tid=4779] ppid=4776 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/4778/task/4779/stat : 4779 (java) D 4776 4776 3309 0 -1 1077944384 5394 0 0 0 18 1 0 0 20 0 20 0 108271356 26628161536 9713 33554432000 4194304 4196468 140732817575936 140192972139504 140192960617005 0 4 0 16800975 18446744072101654052 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4780] ppid=4776 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/4778/task/4780/stat : 4780 (java) S 4776 4776 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108271357 26628161536 9713 33554432000 4194304 4196468 140732817575936 140192920558480 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4781] ppid=4776 vsize=26004064 memory=140633092675212 CPUtime=0 cores=0-7
/proc/4778/task/4781/stat : 4781 (java) S 4776 4776 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108271357 26628161536 9713 33554432000 4194304 4196468 140732817575936 140192919505680 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4782] ppid=4776 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/4778/task/4782/stat : 4782 (java) S 4776 4776 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108271357 26628194304 9713 33554432000 4194304 4196468 140732817575936 140192918453392 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4783] ppid=4776 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4783/stat : 4783 (java) S 4776 4776 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108271357 26628194304 9713 33554432000 4194304 4196468 140732817575936 140192917400592 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4784] ppid=4776 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4784/stat : 4784 (java) S 4776 4776 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108271357 26628161536 9713 33554432000 4194304 4196468 140732817575936 140192916347280 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4785] ppid=4776 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4778/task/4785/stat : 4785 (java) S 4776 4776 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108271357 26628161536 9713 33554432000 4194304 4196468 140732817575936 140192915294480 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4786] ppid=4776 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4786/stat : 4786 (java) S 4776 4776 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108271357 26628161536 9713 33554432000 4194304 4196468 140732817575936 140192914242192 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4787] ppid=4776 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4787/stat : 4787 (java) S 4776 4776 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108271357 26628161536 9713 33554432000 4194304 4196468 140732817575936 140192913189392 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4788] ppid=4776 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4788/stat : 4788 (java) S 4776 4776 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108271358 26628161536 9713 33554432000 4194304 4196468 140732817575936 140191240039024 140192967948930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4789] ppid=4776 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4789/stat : 4789 (java) S 4776 4776 3309 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108271359 26628161536 9713 33554432000 4194304 4196468 140732817575936 140191238984992 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4790] ppid=4776 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4790/stat : 4790 (java) S 4776 4776 3309 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108271359 26628194304 9713 33554432000 4194304 4196468 140732817575936 140191237932656 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4791] ppid=4776 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4791/stat : 4791 (java) S 4776 4776 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108271361 26628161536 9713 33554432000 4194304 4196468 140732817575936 140191236880976 140192967956379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4792] ppid=4776 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4792/stat : 4792 (java) S 4776 4776 3309 0 -1 1077944384 182 0 0 0 0 0 0 0 20 0 20 0 108271361 26628161536 9713 33554432000 4194304 4196468 140732817575936 140191235827824 140192967948930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4793] ppid=4776 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/4778/task/4793/stat : 4793 (java) S 4776 4776 3309 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 20 0 108271361 26628161536 9713 33554432000 4194304 4196468 140732817575936 140191234775024 140192967948930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4794] ppid=4776 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/4778/task/4794/stat : 4794 (java) S 4776 4776 3309 0 -1 1077944384 429 0 0 0 2 0 0 0 20 0 20 0 108271361 26628161536 9713 33554432000 4194304 4196468 140732817575936 140191233722736 140192967948930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4795] ppid=4776 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/4778/task/4795/stat : 4795 (java) S 4776 4776 3309 0 -1 1077944384 728 0 0 0 8 0 0 0 20 0 20 0 108271361 26628161536 9713 33554432000 4194304 4196468 140732817575936 140191232669936 140192967948930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4796] ppid=4776 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4796/stat : 4796 (java) S 4776 4776 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108271362 26628161536 9713 33554432000 4194304 4196468 140732817575936 140191231617888 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4797] ppid=4776 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/4778/task/4797/stat : 4797 (java) S 4776 4776 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108271362 26628194304 9713 33554432000 4194304 4196468 140732817575936 140191230565168 140192967948930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40152 KiB

[startup+0.310024 s]*
/proc/loadavg: 7.89 5.26 6.46 3/200 4797
/proc/meminfo: memFree=27091868/32770624 swapFree=67108860/67108860
[pid=4776] ppid=4773 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/4776/stat : 4776 (xcsp3-exec) S 4773 4776 3309 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 108271355 9740288 345 33554432000 4194304 5098028 140724291833024 140724291831128 140002989335164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29175808 140724291834980 140724291835191 140724291835191 140724291837931 0
/proc/4776/statm: 2378 345 289 221 0 87 0
[pid=4778] ppid=4776 vsize=26004140 memory=46140 CPUtime=0.5 cores=0-7
/proc/4778/stat : 4778 (java) S 4776 4776 3309 0 -1 1077944320 9275 0 0 0 47 3 0 0 20 0 20 0 108271356 26628239360 11535 33554432000 4194304 4196468 140732817575936 140732817558480 140192967937783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
/proc/4778/statm: 6501035 11535 3091 1 0 6488269 0
[pid=4778/tid=4779] ppid=4776 vsize=26004140 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/4778/task/4779/stat : 4779 (java) R 4776 4776 3309 0 -1 4202560 6187 0 0 0 27 2 0 0 20 0 20 0 108271356 26628239360 11535 33554432000 4194304 4196468 140732817575936 140192972170144 140192952018270 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4780] ppid=4776 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4780/stat : 4780 (java) S 4776 4776 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108271357 26628239360 11535 33554432000 4194304 4196468 140732817575936 140192920558480 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4781] ppid=4776 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4781/stat : 4781 (java) S 4776 4776 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108271357 26628239360 11535 33554432000 4194304 4196468 140732817575936 140192919505680 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4782] ppid=4776 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4782/stat : 4782 (java) S 4776 4776 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108271357 26628239360 11535 33554432000 4194304 4196468 140732817575936 140192918453392 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4783] ppid=4776 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4783/stat : 4783 (java) S 4776 4776 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108271357 26628239360 11535 33554432000 4194304 4196468 140732817575936 140192917400592 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4784] ppid=4776 vsize=26004140 memory=2244 CPUtime=0 cores=0-7
/proc/4778/task/4784/stat : 4784 (java) S 4776 4776 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108271357 26628239360 11535 33554432000 4194304 4196468 140732817575936 140192916347280 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4785] ppid=4776 vsize=26004140 memory=140632932840367 CPUtime=0 cores=0-7
/proc/4778/task/4785/stat : 4785 (java) S 4776 4776 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108271357 26628239360 11535 33554432000 4194304 4196468 140732817575936 140192915294480 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4786] ppid=4776 vsize=26004140 memory=140632932842672 CPUtime=0 cores=0-7
/proc/4778/task/4786/stat : 4786 (java) S 4776 4776 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108271357 26628239360 11535 33554432000 4194304 4196468 140732817575936 140192914242192 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4787] ppid=4776 vsize=26004140 memory=140632932844976 CPUtime=0 cores=0-7
/proc/4778/task/4787/stat : 4787 (java) S 4776 4776 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108271357 26628239360 11535 33554432000 4194304 4196468 140732817575936 140192913189392 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4788] ppid=4776 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4788/stat : 4788 (java) S 4776 4776 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108271358 26628239360 11535 33554432000 4194304 4196468 140732817575936 140191240039024 140192967948930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4789] ppid=4776 vsize=26004140 memory=281265865696912 CPUtime=0 cores=0-7
/proc/4778/task/4789/stat : 4789 (java) S 4776 4776 3309 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108271359 26628239360 11535 33554432000 4194304 4196468 140732817575936 140191238984992 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4790] ppid=4776 vsize=26004140 memory=281265865703824 CPUtime=0 cores=0-7
/proc/4778/task/4790/stat : 4790 (java) S 4776 4776 3309 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108271359 26628239360 11535 33554432000 4194304 4196468 140732817575936 140191237932656 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4791] ppid=4776 vsize=26004140 memory=281265865645104 CPUtime=0 cores=0-7
/proc/4778/task/4791/stat : 4791 (java) S 4776 4776 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108271361 26628239360 11535 33554432000 4194304 4196468 140732817575936 140191236880976 140192967956379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4792] ppid=4776 vsize=26004140 memory=281265865717648 CPUtime=0.01 cores=0-7
/proc/4778/task/4792/stat : 4792 (java) R 4776 4776 3309 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 20 0 108271361 26628239360 11535 33554432000 4194304 4196468 140732817575936 140191235827824 140192967948930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4793] ppid=4776 vsize=26004140 memory=281265865724560 CPUtime=0.02 cores=0-7
/proc/4778/task/4793/stat : 4793 (java) S 4776 4776 3309 0 -1 1077944384 211 0 0 0 2 0 0 0 20 0 20 0 108271361 26628239360 11535 33554432000 4194304 4196468 140732817575936 140191234775024 140192967948930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4794] ppid=4776 vsize=26004140 memory=281265865722256 CPUtime=0.03 cores=0-7
/proc/4778/task/4794/stat : 4794 (java) S 4776 4776 3309 0 -1 1077944384 429 0 0 0 3 0 0 0 20 0 20 0 108271361 26628239360 11535 33554432000 4194304 4196468 140732817575936 140191233722736 140192967948930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4795] ppid=4776 vsize=26004140 memory=281265865738416 CPUtime=0.11 cores=0-7
/proc/4778/task/4795/stat : 4795 (java) R 4776 4776 3309 0 -1 1077944384 895 0 0 0 11 0 0 0 20 0 20 0 108271361 26628239360 11535 33554432000 4194304 4196468 140732817575936 140191232669936 140192967948930 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4796] ppid=4776 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4796/stat : 4796 (java) S 4776 4776 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108271362 26628239360 11535 33554432000 4194304 4196468 140732817575936 140191231617888 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4797] ppid=4776 vsize=26004140 memory=-1 CPUtime=0 cores=0-7
/proc/4778/task/4797/stat : 4797 (java) S 4776 4776 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108271362 26628239360 11535 33554432000 4194304 4196468 140732817575936 140191230565168 140192967948930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013652 KiB
Current children cumulated memory: 47520 KiB

[startup+0.701164 s]
/proc/loadavg: 7.89 5.26 6.46 9/208 4805
/proc/meminfo: memFree=27058672/32770624 swapFree=67108860/67108860
[pid=4776] ppid=4773 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/4776/stat : 4776 (xcsp3-exec) S 4773 4776 3309 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 108271355 9740288 345 33554432000 4194304 5098028 140724291833024 140724291831128 140002989335164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29175808 140724291834980 140724291835191 140724291835191 140724291837931 0
/proc/4776/statm: 2378 345 289 221 0 87 0
[pid=4778] ppid=4776 vsize=26538700 memory=90468 CPUtime=2.63 cores=0-7
/proc/4778/stat : 4778 (java) S 4776 4776 3309 0 -1 1077944320 14583 0 0 0 259 4 0 0 20 0 28 0 108271356 27175628800 22617 33554432000 4194304 4196468 140732817575936 140732817558480 140192967937783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
/proc/4778/statm: 6634675 22617 3218 1 0 6621909 0
[pid=4778/tid=4779] ppid=4776 vsize=26538700 memory=281265866096304 CPUtime=0.43 cores=0-7
/proc/4778/task/4779/stat : 4779 (java) S 4776 4776 3309 0 -1 1077944384 6688 0 0 0 41 2 0 0 20 0 28 0 108271356 27175628800 22617 33554432000 4194304 4196468 140732817575936 140192972178560 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4780] ppid=4776 vsize=26538700 memory=140632933049200 CPUtime=0 cores=0-7
/proc/4778/task/4780/stat : 4780 (java) S 4776 4776 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108271357 27175628800 22617 33554432000 4194304 4196468 140732817575936 140192920558480 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4781] ppid=4776 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4781/stat : 4781 (java) S 4776 4776 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108271357 27175628800 22617 33554432000 4194304 4196468 140732817575936 140192919505680 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4782] ppid=4776 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4782/stat : 4782 (java) S 4776 4776 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108271357 27175628800 22617 33554432000 4194304 4196468 140732817575936 140192918453392 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0

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

[pid=4778/tid=4785] ppid=4776 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4785/stat : 4785 (java) S 4776 4776 3309 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 108271357 27175628800 56027 33554432000 4194304 4196468 140732817575936 140192915294480 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4786] ppid=4776 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4786/stat : 4786 (java) S 4776 4776 3309 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 108271357 27175628800 56027 33554432000 4194304 4196468 140732817575936 140192914242192 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4787] ppid=4776 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4787/stat : 4787 (java) S 4776 4776 3309 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 108271357 27175628800 56027 33554432000 4194304 4196468 140732817575936 140192913189392 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4788] ppid=4776 vsize=26538700 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/4778/task/4788/stat : 4788 (java) S 4776 4776 3309 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 108271358 27175628800 56027 33554432000 4194304 4196468 140732817575936 140191240039024 140192967948930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4789] ppid=4776 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4789/stat : 4789 (java) S 4776 4776 3309 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 108271359 27175628800 56027 33554432000 4194304 4196468 140732817575936 140191238984992 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4790] ppid=4776 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4790/stat : 4790 (java) S 4776 4776 3309 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 108271359 27175628800 56027 33554432000 4194304 4196468 140732817575936 140191237932656 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4791] ppid=4776 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4791/stat : 4791 (java) S 4776 4776 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108271361 27175628800 56027 33554432000 4194304 4196468 140732817575936 140191236880976 140192967956379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4792] ppid=4776 vsize=26538700 memory=0 CPUtime=0.72 cores=0-7
/proc/4778/task/4792/stat : 4792 (java) S 4776 4776 3309 0 -1 1077944384 2506 0 0 0 72 0 0 0 20 0 28 0 108271361 27175628800 56027 33554432000 4194304 4196468 140732817575936 140191235827824 140192967948930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4793] ppid=4776 vsize=26538700 memory=0 CPUtime=0.85 cores=0-7
/proc/4778/task/4793/stat : 4793 (java) S 4776 4776 3309 0 -1 1077944384 4193 0 0 0 85 0 0 0 20 0 28 0 108271361 27175628800 56027 33554432000 4194304 4196468 140732817575936 140191234775024 140192967948930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4794] ppid=4776 vsize=26538700 memory=0 CPUtime=0.91 cores=0-7
/proc/4778/task/4794/stat : 4794 (java) S 4776 4776 3309 0 -1 1077944384 5123 0 0 0 91 0 0 0 20 0 28 0 108271361 27175628800 56027 33554432000 4194304 4196468 140732817575936 140191233722736 140192967948930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4795] ppid=4776 vsize=26538700 memory=0 CPUtime=0.36 cores=0-7
/proc/4778/task/4795/stat : 4795 (java) S 4776 4776 3309 0 -1 1077944384 1957 0 0 0 36 0 0 0 20 0 28 0 108271361 27175628800 56027 33554432000 4194304 4196468 140732817575936 140191232669936 140192967948930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4796] ppid=4776 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4796/stat : 4796 (java) S 4776 4776 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 108271362 27175628800 56027 33554432000 4194304 4196468 140732817575936 140191231617888 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4797] ppid=4776 vsize=26538700 memory=55 CPUtime=0 cores=0-7
/proc/4778/task/4797/stat : 4797 (java) S 4776 4776 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 108271362 27175628800 56027 33554432000 4194304 4196468 140732817575936 140191230565168 140192967948930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4798] ppid=4776 vsize=26538700 memory=0 CPUtime=2 cores=0-7
/proc/4778/task/4798/stat : 4798 (java) R 4776 4776 3309 0 -1 1077944384 74 0 0 0 194 6 0 0 20 0 28 0 108271402 27175628800 56027 33554432000 4194304 4196468 140732817575936 140190551105024 140192967947989 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4799] ppid=4776 vsize=26538700 memory=0 CPUtime=1.85 cores=0-7
/proc/4778/task/4799/stat : 4799 (java) R 4776 4776 3309 0 -1 4202560 63 0 0 0 179 6 0 0 20 0 28 0 108271402 27175628800 56027 33554432000 4194304 4196468 140732817575936 140190550053312 140192584349197 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4800] ppid=4776 vsize=26538700 memory=0 CPUtime=2.08 cores=0-7
/proc/4778/task/4800/stat : 4800 (java) R 4776 4776 3309 0 -1 4202560 122 0 0 0 203 5 0 0 20 0 28 0 108271402 27175628800 56027 33554432000 4194304 4196468 140732817575936 140190549000000 140192584349349 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4801] ppid=4776 vsize=26538700 memory=0 CPUtime=1.97 cores=0-7
/proc/4778/task/4801/stat : 4801 (java) S 4776 4776 3309 0 -1 1077944384 92 0 0 0 192 5 0 0 20 0 28 0 108271402 27175628800 56027 33554432000 4194304 4196468 140732817575936 140190547947200 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4802] ppid=4776 vsize=26538700 memory=0 CPUtime=2.02 cores=0-7
/proc/4778/task/4802/stat : 4802 (java) S 4776 4776 3309 0 -1 1077944384 78 0 0 0 197 5 0 0 20 0 28 0 108271402 27175628800 56027 33554432000 4194304 4196468 140732817575936 140190546894912 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4803] ppid=4776 vsize=26538700 memory=0 CPUtime=2.04 cores=0-7
/proc/4778/task/4803/stat : 4803 (java) R 4776 4776 3309 0 -1 4202560 76 0 0 0 199 5 0 0 20 0 28 0 108271402 27175628800 56027 33554432000 4194304 4196468 140732817575936 140190545842112 140192584349291 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4804] ppid=4776 vsize=26538700 memory=0 CPUtime=1.93 cores=0-7
/proc/4778/task/4804/stat : 4804 (java) R 4776 4776 3309 0 -1 4202560 49 0 0 0 186 7 0 0 20 0 28 0 108271402 27175628800 56027 33554432000 4194304 4196468 140732817575936 140190544789824 140192584349291 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4805] ppid=4776 vsize=26538700 memory=-6421031960926448530 CPUtime=1.9 cores=0-7
/proc/4778/task/4805/stat : 4805 (java) S 4776 4776 3309 0 -1 1077944384 55 0 0 0 185 5 0 0 20 0 28 0 108271402 27175628800 56027 33554432000 4194304 4196468 140732817575936 140190543737024 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
Current children cumulated CPU time: 19.25 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 225488 KiB

[startup+3.40109 s]
/proc/loadavg: 7.82 5.29 6.47 7/208 4805
/proc/meminfo: memFree=26914632/32770624 swapFree=67108860/67108860
[pid=4776] ppid=4773 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/4776/stat : 4776 (xcsp3-exec) S 4773 4776 3309 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 108271355 9740288 345 33554432000 4194304 5098028 140724291833024 140724291831128 140002989335164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29175808 140724291834980 140724291835191 140724291835191 140724291837931 0
/proc/4776/statm: 2378 345 289 221 0 87 0
[pid=4778] ppid=4776 vsize=26538700 memory=224360 CPUtime=20.51 cores=0-7
/proc/4778/stat : 4778 (java) S 4776 4776 3309 0 -1 1077944320 22983 0 0 0 1992 59 0 0 20 0 28 0 108271356 27175628800 56090 33554432000 4194304 4196468 140732817575936 140732817558480 140192967937783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
/proc/4778/statm: 6634675 56090 3228 1 0 6621909 0
[pid=4778/tid=4779] ppid=4776 vsize=26538700 memory=223420 CPUtime=0.43 cores=0-7
/proc/4778/task/4779/stat : 4779 (java) S 4776 4776 3309 0 -1 1077944384 6688 0 0 0 41 2 0 0 20 0 28 0 108271356 27175628800 56090 33554432000 4194304 4196468 140732817575936 140192972178560 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4780] ppid=4776 vsize=26538700 memory=140632933109520 CPUtime=0 cores=0-7
/proc/4778/task/4780/stat : 4780 (java) S 4776 4776 3309 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 108271357 27175628800 56090 33554432000 4194304 4196468 140732817575936 140192920558480 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4781] ppid=4776 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4781/stat : 4781 (java) S 4776 4776 3309 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 108271357 27175628800 56090 33554432000 4194304 4196468 140732817575936 140192919505680 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4782] ppid=4776 vsize=26538700 memory=55 CPUtime=0 cores=0-7
/proc/4778/task/4782/stat : 4782 (java) S 4776 4776 3309 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 108271357 27175628800 56090 33554432000 4194304 4196468 140732817575936 140192918453392 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4783] ppid=4776 vsize=26538700 memory=8243122710528917583 CPUtime=0 cores=0-7
/proc/4778/task/4783/stat : 4783 (java) S 4776 4776 3309 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 108271357 27175628800 56090 33554432000 4194304 4196468 140732817575936 140192917400592 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4784] ppid=4776 vsize=26538700 memory=348825 CPUtime=0 cores=0-7
/proc/4778/task/4784/stat : 4784 (java) S 4776 4776 3309 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 28 0 108271357 27175628800 56090 33554432000 4194304 4196468 140732817575936 140192916347280 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4785] ppid=4776 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4785/stat : 4785 (java) S 4776 4776 3309 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 108271357 27175628800 56090 33554432000 4194304 4196468 140732817575936 140192915294480 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4786] ppid=4776 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4786/stat : 4786 (java) S 4776 4776 3309 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 108271357 27175628800 56090 33554432000 4194304 4196468 140732817575936 140192914242192 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4787] ppid=4776 vsize=26538700 memory=-9178176116494409632 CPUtime=0 cores=0-7
/proc/4778/task/4787/stat : 4787 (java) S 4776 4776 3309 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 108271357 27175628800 56090 33554432000 4194304 4196468 140732817575936 140192913189392 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4788] ppid=4776 vsize=26538700 memory=-6237260532469557610 CPUtime=0 cores=0-7
/proc/4778/task/4788/stat : 4788 (java) S 4776 4776 3309 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 108271358 27175628800 56090 33554432000 4194304 4196468 140732817575936 140191240039024 140192967948930 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4789] ppid=4776 vsize=26538700 memory=-7606742920825102191 CPUtime=0 cores=0-7
/proc/4778/task/4789/stat : 4789 (java) S 4776 4776 3309 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 108271359 27175628800 56090 33554432000 4194304 4196468 140732817575936 140191238984992 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4790] ppid=4776 vsize=26538700 memory=140633092681761 CPUtime=0 cores=0-7
/proc/4778/task/4790/stat : 4790 (java) S 4776 4776 3309 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 108271359 27175628800 56090 33554432000 4194304 4196468 140732817575936 140191237932656 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4791] ppid=4776 vsize=26538700 memory=7523379074285855333 CPUtime=0 cores=0-7
/proc/4778/task/4791/stat : 4791 (java) S 4776 4776 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108271361 27175628800 56090 33554432000 4194304 4196468 140732817575936 140191236880976 140192967956379 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4792] ppid=4776 vsize=26538700 memory=7302700472599931244 CPUtime=0.72 cores=0-7
/proc/4778/task/4792/stat : 4792 (java) S 4776 4776 3309 0 -1 1077944384 2508 0 0 0 72 0 0 0 20 0 28 0 108271361 27175628800 56090 33554432000 4194304 4196468 140732817575936 140191235827824 140192967948930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4793] ppid=4776 vsize=26538700 memory=5859291143976669264 CPUtime=0.85 cores=0-7
/proc/4778/task/4793/stat : 4793 (java) S 4776 4776 3309 0 -1 1077944384 4195 0 0 0 85 0 0 0 20 0 28 0 108271361 27175628800 56090 33554432000 4194304 4196468 140732817575936 140191234775024 140192967948930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4794] ppid=4776 vsize=26538700 memory=-7737605734073691286 CPUtime=0.91 cores=0-7
/proc/4778/task/4794/stat : 4794 (java) S 4776 4776 3309 0 -1 1077944384 5125 0 0 0 91 0 0 0 20 0 28 0 108271361 27175628800 56090 33554432000 4194304 4196468 140732817575936 140191233722736 140192967948930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4795] ppid=4776 vsize=26538700 memory=2241 CPUtime=0.36 cores=0-7
/proc/4778/task/4795/stat : 4795 (java) S 4776 4776 3309 0 -1 1077944384 2352 0 0 0 36 0 0 0 20 0 28 0 108271361 27175628800 56090 33554432000 4194304 4196468 140732817575936 140191232669936 140192967948930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4796] ppid=4776 vsize=26538700 memory=2244 CPUtime=0 cores=0-7
/proc/4778/task/4796/stat : 4796 (java) S 4776 4776 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 108271362 27175628800 56090 33554432000 4194304 4196468 140732817575936 140191231617888 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4797] ppid=4776 vsize=26538700 memory=55 CPUtime=0 cores=0-7
/proc/4778/task/4797/stat : 4797 (java) S 4776 4776 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 108271362 27175628800 56090 33554432000 4194304 4196468 140732817575936 140191230565168 140192967948930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4798] ppid=4776 vsize=26538700 memory=9229 CPUtime=2.15 cores=0-7
/proc/4778/task/4798/stat : 4798 (java) R 4776 4776 3309 0 -1 1077944384 74 0 0 0 208 7 0 0 20 0 28 0 108271402 27175628800 56090 33554432000 4194304 4196468 140732817575936 140190551105024 140192967947989 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4799] ppid=4776 vsize=26538700 memory=19278 CPUtime=1.99 cores=0-7
/proc/4778/task/4799/stat : 4799 (java) R 4776 4776 3309 0 -1 4202560 63 0 0 0 192 7 0 0 20 0 28 0 108271402 27175628800 56090 33554432000 4194304 4196468 140732817575936 140190550053312 140192584883214 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4800] ppid=4776 vsize=26538700 memory=0 CPUtime=2.23 cores=0-7
/proc/4778/task/4800/stat : 4800 (java) R 4776 4776 3309 0 -1 1077944384 137 0 0 0 218 5 0 0 20 0 28 0 108271402 27175628800 56090 33554432000 4194304 4196468 140732817575936 140190548999904 140192967948930 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4801] ppid=4776 vsize=26538700 memory=0 CPUtime=2.14 cores=0-7
/proc/4778/task/4801/stat : 4801 (java) R 4776 4776 3309 0 -1 4202560 98 0 0 0 209 5 0 0 20 0 28 0 108271402 27175628800 56090 33554432000 4194304 4196468 140732817575936 140190547947024 140192584349363 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4802] ppid=4776 vsize=26538700 memory=0 CPUtime=2.19 cores=0-7
/proc/4778/task/4802/stat : 4802 (java) R 4776 4776 3309 0 -1 4202560 103 0 0 0 213 6 0 0 20 0 28 0 108271402 27175628800 56090 33554432000 4194304 4196468 140732817575936 140190546894912 140192584348546 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4803] ppid=4776 vsize=26538700 memory=0 CPUtime=2.19 cores=0-7
/proc/4778/task/4803/stat : 4803 (java) R 4776 4776 3309 0 -1 4202560 128 0 0 0 213 6 0 0 20 0 28 0 108271402 27175628800 56090 33554432000 4194304 4196468 140732817575936 140190545842016 140192584349197 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4804] ppid=4776 vsize=26538700 memory=0 CPUtime=2.09 cores=0-7
/proc/4778/task/4804/stat : 4804 (java) S 4776 4776 3309 0 -1 1077944384 49 0 0 0 202 7 0 0 20 0 28 0 108271402 27175628800 56090 33554432000 4194304 4196468 140732817575936 140190544789824 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4805] ppid=4776 vsize=26538700 memory=0 CPUtime=2.06 cores=0-7
/proc/4778/task/4805/stat : 4805 (java) R 4776 4776 3309 0 -1 4202560 55 0 0 0 201 5 0 0 20 0 28 0 108271402 27175628800 56090 33554432000 4194304 4196468 140732817575936 140190543736928 140192967949718 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
Current children cumulated CPU time: 20.51 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 225740 KiB

[startup+3.50122 s]
/proc/loadavg: 7.82 5.29 6.47 7/208 4805
/proc/meminfo: memFree=26914632/32770624 swapFree=67108860/67108860
[pid=4776] ppid=4773 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/4776/stat : 4776 (xcsp3-exec) S 4773 4776 3309 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 108271355 9740288 345 33554432000 4194304 5098028 140724291833024 140724291831128 140002989335164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29175808 140724291834980 140724291835191 140724291835191 140724291837931 0
/proc/4776/statm: 2378 345 289 221 0 87 0
[pid=4778] ppid=4776 vsize=26538700 memory=224584 CPUtime=20.57 cores=0-7
/proc/4778/stat : 4778 (java) S 4776 4776 3309 0 -1 1077944320 23597 0 0 0 1998 59 0 0 20 0 18 0 108271356 27175628800 56146 33554432000 4194304 4196468 140732817575936 140732817558480 140192967937783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
/proc/4778/statm: 6634675 56146 3248 1 0 6621909 0
[pid=4778/tid=4779] ppid=4776 vsize=26538700 memory=1380 CPUtime=0.44 cores=0-7
/proc/4778/task/4779/stat : 4779 (java) D 4776 4776 3309 0 -1 4202560 6775 0 0 0 42 2 0 0 20 0 18 0 108271356 27175628800 56146 33554432000 4194304 4196468 140732817575936 140192972180792 140192960623415 0 0 0 16800975 18446744072099544197 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4780] ppid=4776 vsize=26538700 memory=217276 CPUtime=0.01 cores=0-7
/proc/4778/task/4780/stat : 4780 (java) S 4776 4776 3309 0 -1 1077944384 173 0 0 0 1 0 0 0 20 0 18 0 108271357 27175628800 56146 33554432000 4194304 4196468 140732817575936 140192920558480 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4781] ppid=4776 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4781/stat : 4781 (java) S 4776 4776 3309 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 18 0 108271357 27175628800 56146 33554432000 4194304 4196468 140732817575936 140192919505680 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4782] ppid=4776 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4782/stat : 4782 (java) S 4776 4776 3309 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 18 0 108271357 27175628800 56146 33554432000 4194304 4196468 140732817575936 140192918453392 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4783] ppid=4776 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4783/stat : 4783 (java) S 4776 4776 3309 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 18 0 108271357 27175628800 56146 33554432000 4194304 4196468 140732817575936 140192917400592 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4784] ppid=4776 vsize=26538700 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/4778/task/4784/stat : 4784 (java) S 4776 4776 3309 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 18 0 108271357 27175628800 56146 33554432000 4194304 4196468 140732817575936 140192916347280 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4785] ppid=4776 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4785/stat : 4785 (java) S 4776 4776 3309 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 18 0 108271357 27175628800 56146 33554432000 4194304 4196468 140732817575936 140192915294480 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4786] ppid=4776 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7
/proc/4778/task/4786/stat : 4786 (java) S 4776 4776 3309 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 18 0 108271357 27175628800 56146 33554432000 4194304 4196468 140732817575936 140192914242192 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4787] ppid=4776 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7
/proc/4778/task/4787/stat : 4787 (java) S 4776 4776 3309 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 18 0 108271357 27175628800 56146 33554432000 4194304 4196468 140732817575936 140192913189392 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4789] ppid=4776 vsize=26538700 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/4778/task/4789/stat : 4789 (java) S 4776 4776 3309 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 18 0 108271359 27175628800 56146 33554432000 4194304 4196468 140732817575936 140191238985056 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4790] ppid=4776 vsize=26538700 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/4778/task/4790/stat : 4790 (java) S 4776 4776 3309 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 18 0 108271359 27175628800 56146 33554432000 4194304 4196468 140732817575936 140191237932656 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4791] ppid=4776 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4791/stat : 4791 (java) S 4776 4776 3309 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 18 0 108271361 27175628800 56146 33554432000 4194304 4196468 140732817575936 140191236879744 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4792] ppid=4776 vsize=26538700 memory=0 CPUtime=0.72 cores=0-7
/proc/4778/task/4792/stat : 4792 (java) S 4776 4776 3309 0 -1 1077944384 2508 0 0 0 72 0 0 0 20 0 18 0 108271361 27175628800 56146 33554432000 4194304 4196468 140732817575936 140191235827824 140192967948930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4793] ppid=4776 vsize=26538700 memory=0 CPUtime=0.85 cores=0-7
/proc/4778/task/4793/stat : 4793 (java) S 4776 4776 3309 0 -1 1077944384 4195 0 0 0 85 0 0 0 20 0 18 0 108271361 27175628800 56146 33554432000 4194304 4196468 140732817575936 140191234775024 140192967948930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4794] ppid=4776 vsize=26538700 memory=0 CPUtime=0.91 cores=0-7
/proc/4778/task/4794/stat : 4794 (java) S 4776 4776 3309 0 -1 1077944384 5125 0 0 0 91 0 0 0 20 0 18 0 108271361 27175628800 56146 33554432000 4194304 4196468 140732817575936 140191233722736 140192967948930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4795] ppid=4776 vsize=26538700 memory=0 CPUtime=0.36 cores=0-7
/proc/4778/task/4795/stat : 4795 (java) S 4776 4776 3309 0 -1 1077944384 2370 0 0 0 36 0 0 0 20 0 18 0 108271361 27175628800 56146 33554432000 4194304 4196468 140732817575936 140191232669936 140192967948930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
[pid=4778/tid=4796] ppid=4776 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4778/task/4796/stat : 4796 (java) S 4776 4776 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 108271362 27175628800 56146 33554432000 4194304 4196468 140732817575936 140191231617888 140192967947989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15261696 140732817581202 140732817581379 140732817581379 140732817584079 0
Current children cumulated CPU time: 20.57 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 225964 KiB

Child status: 0
Real time (s): 3.52254
CPU time (s): 20.5873
CPU user time (s): 19.9823
CPU system time (s): 0.605037
CPU usage (%): 584.446
Max. virtual memory (cumulated for all children) (KiB): 26550072
Max. memory (cumulated for all children) (KiB): 225964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.9823
system time used= 0.605037
maximum resident set size= 225368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24130
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 208934
involuntary context switches= 220


# summary of solver processes directly reported to runsolver:
#   pid: 4776
#   total CPU time (s): 20.5873
#   total CPU user time (s): 19.9823
#   total CPU system time (s): 0.605037

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.062084 second user time and 0.070192 second system time

The end

Launcher Data 

Begin job on node150 at 2017-08-15 00:50:44
IDJOB=4271050
IDBENCH=133093
IDSOLVER=2662
FILE ID=node150/4271050-1502751902
RUNJOBID= node150-1502750590-3336
PBS_JOBID= 20629076
Free space on /tmp= 61636 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/MarketSplit/MarketSplit-m1-gp/MarketSplit-08.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-4271050-1502751902/watcher-4271050-1502751902 -o /tmp/evaluation-result-4271050-1502751902/solver-4271050-1502751902 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1502750590-3336 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1869129555 HOME/instance-4271050-1502751902.xml

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

MD5SUM BENCH= c33b611f783ff62a93dcb2ff1216bc06
RANDOM SEED=1869129555

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.89
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	: 5332.89
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	: 5332.89
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	: 5332.89
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:        27124664 kB
MemAvailable:   31970640 kB
Buffers:          283432 kB
Cached:          4838108 kB
SwapCached:            0 kB
Active:           741292 kB
Inactive:        4434940 kB
Active(anon):      57528 kB
Inactive(anon):    25068 kB
Active(file):     683764 kB
Inactive(file):  4409872 kB
Unevictable:        6228 kB
Mlocked:            6228 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8120 kB
Writeback:             0 kB
AnonPages:        222360 kB
Mapped:            45528 kB
Shmem:             25224 kB
Slab:             163444 kB
SReclaimable:     136352 kB
SUnreclaim:        27092 kB
KernelStack:        3968 kB
PageTables:         6092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    167936 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61628 MiB
End job on node150 at 2017-08-15 00:50:47