Trace number 4280954

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 3364.54 454.142

General information on the benchmark

NameQRandom/QRandom-mdd-7-25-5/
mdd-7-25-5-56-16.xml
MD5SUM9d7406c968f8af9220e5e662d0bd5052
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 benchmark340.207
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints56
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":25}]
Minimum variable degree8
Maximum variable degree24
Distribution of variable degrees[{"degree":8,"count":1},{"degree":9,"count":1},{"degree":10,"count":1},{"degree":11,"count":1},{"degree":13,"count":2},{"degree":14,"count":2},{"degree":15,"count":2},{"degree":16,"count":4},{"degree":17,"count":3},{"degree":18,"count":3},{"degree":19,"count":3},{"degree":20,"count":1},{"degree":24,"count":1}]
Minimum constraint arity7
Maximum constraint arity7
Distribution of constraint arities[{"arity":7,"count":56}]
Number of extensional constraints56
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":56}]
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-4280954-1503135581.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4280954-1503135581.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
68.02/40.84	c solve instance...
3363.84/454.09	s SATISFIABLE
3363.84/454.09	v <instantiation>
3363.84/454.09	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] </list>
3363.84/454.09	v 	<values>3 4 4 2 3 1 4 2 0 4 1 1 3 4 0 2 4 4 3 4 2 0 4 2 2 </values>
3363.84/454.09	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 (13304 MiB free)
  memory of node 1: 16384 MiB (13273 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280954-1503135581/watcher-4280954-1503135581 -o /tmp/evaluation-result-4280954-1503135581/solver-4280954-1503135581 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503129381-15482 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 511889706 HOME/instance-4280954-1503135581.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
solver pid=18418, runsolver pid=18415
Current StackSize limit: 8192 KiB


[startup+0.100138 s]*
/proc/loadavg: 4.67 7.28 7.96 2/199 18439
/proc/meminfo: memFree=27200644/32770624 swapFree=67108860/67108860
[pid=18418] ppid=18415 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/18418/stat : 18418 (xcsp3-exec) S 18415 18418 15455 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146645576 9740288 345 33554432000 4194304 5098028 140731841580480 140731841578584 140034374845052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8192000 140731841582181 140731841582391 140731841582391 140731841585131 0
/proc/18418/statm: 2378 345 289 221 0 87 0
[pid=18420] ppid=18418 vsize=25999808 memory=26480 CPUtime=0.11 cores=0-7
/proc/18420/stat : 18420 (java) S 18418 18418 15455 0 -1 1077944320 5489 0 0 0 11 0 0 0 20 0 20 0 146645576 26623803392 6620 33554432000 4194304 4196468 140733537437072 140733537419616 140432200257271 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
/proc/18420/statm: 6499952 6620 2871 1 0 6488269 0
[pid=18420/tid=18421] ppid=18418 vsize=25999808 memory=7970415248654899609 CPUtime=0.09 cores=0-7
/proc/18420/task/18421/stat : 18421 (java) R 18418 18418 15455 0 -1 4202560 3485 0 0 0 9 0 0 0 20 0 20 0 146645576 26623803392 6620 33554432000 4194304 4196468 140733537437072 140432204481056 140432182451559 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18422] ppid=18418 vsize=25999808 memory=732370519296719845 CPUtime=0 cores=0-7
/proc/18420/task/18422/stat : 18422 (java) S 18418 18418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146645577 26623803392 6620 33554432000 4194304 4196468 140733537437072 140432152877712 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18423] ppid=18418 vsize=25999808 memory=140380959266432 CPUtime=0 cores=0-7
/proc/18420/task/18423/stat : 18423 (java) S 18418 18418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146645577 26623803392 6685 33554432000 4194304 4196468 140733537437072 140432151824912 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18424] ppid=18418 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18424/stat : 18424 (java) S 18418 18418 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146645577 26623803392 6685 33554432000 4194304 4196468 140733537437072 140432150772112 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18425] ppid=18418 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18425/stat : 18425 (java) S 18418 18418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146645577 26623803392 6685 33554432000 4194304 4196468 140733537437072 140432149719312 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18426] ppid=18418 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18426/stat : 18426 (java) S 18418 18418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146645577 26623803392 6685 33554432000 4194304 4196468 140733537437072 140432148667536 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18427] ppid=18418 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/18420/task/18427/stat : 18427 (java) S 18418 18418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146645577 26623803392 6685 33554432000 4194304 4196468 140733537437072 140432147614736 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18428] ppid=18418 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18428/stat : 18428 (java) S 18418 18418 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146645577 26623803392 6685 33554432000 4194304 4196468 140733537437072 140432146561936 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18429] ppid=18418 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18429/stat : 18429 (java) S 18418 18418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146645577 26623803392 6685 33554432000 4194304 4196468 140733537437072 140432145509136 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18430] ppid=18418 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18430/stat : 18430 (java) S 18418 18418 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146645578 26623803392 6685 33554432000 4194304 4196468 140733537437072 140430606829936 140432200268418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18431] ppid=18418 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18431/stat : 18431 (java) S 18418 18418 15455 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146645579 26623803392 6685 33554432000 4194304 4196468 140733537437072 140430605775904 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18432] ppid=18418 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18432/stat : 18432 (java) S 18418 18418 15455 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146645579 26623803392 6685 33554432000 4194304 4196468 140733537437072 140430604723056 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18433] ppid=18418 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18433/stat : 18433 (java) S 18418 18418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146645581 26623803392 6685 33554432000 4194304 4196468 140733537437072 140430603671376 140432200275867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18434] ppid=18418 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18434/stat : 18434 (java) S 18418 18418 15455 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 20 0 146645581 26623803392 6685 33554432000 4194304 4196468 140733537437072 140430602619760 140432200268418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18435] ppid=18418 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18435/stat : 18435 (java) S 18418 18418 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146645581 26623803392 6685 33554432000 4194304 4196468 140733537437072 140430601566960 140432200268418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18436] ppid=18418 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18436/stat : 18436 (java) S 18418 18418 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146645581 26623803392 6685 33554432000 4194304 4196468 140733537437072 140429995534960 140432200268418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18437] ppid=18418 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/18420/task/18437/stat : 18437 (java) R 18418 18418 15455 0 -1 4202560 312 0 0 0 1 0 0 0 20 0 20 0 146645581 26623803392 6685 33554432000 4194304 4196468 140733537437072 140429994482160 140432193354107 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18438] ppid=18418 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18438/stat : 18438 (java) S 18418 18418 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146645582 26623803392 6685 33554432000 4194304 4196468 140733537437072 140429993429600 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18439] ppid=18418 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/18420/task/18439/stat : 18439 (java) S 18418 18418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146645582 26623803392 6685 33554432000 4194304 4196468 140733537437072 140429992376880 140432200268418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27860 KiB

[startup+0.210582 s]*
/proc/loadavg: 4.67 7.28 7.96 2/199 18439
/proc/meminfo: memFree=27188364/32770624 swapFree=67108860/67108860
[pid=18418] ppid=18415 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/18418/stat : 18418 (xcsp3-exec) S 18415 18418 15455 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146645576 9740288 345 33554432000 4194304 5098028 140731841580480 140731841578584 140034374845052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8192000 140731841582181 140731841582391 140731841582391 140731841585131 0
/proc/18418/statm: 2378 345 289 221 0 87 0
[pid=18420] ppid=18418 vsize=26004064 memory=39140 CPUtime=0.33 cores=0-7
/proc/18420/stat : 18420 (java) S 18418 18418 15455 0 -1 1077944320 8382 0 0 0 31 2 0 0 20 0 20 0 146645576 26628161536 9785 33554432000 4194304 4196468 140733537437072 140733537419616 140432200257271 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
/proc/18420/statm: 6501016 9785 3055 1 0 6488269 0
[pid=18420/tid=18421] ppid=18418 vsize=26004064 memory=0 CPUtime=0.2 cores=0-7
/proc/18420/task/18421/stat : 18421 (java) R 18418 18418 15455 0 -1 4202560 5412 0 0 0 19 1 0 0 20 0 20 0 146645576 26628161536 9785 33554432000 4194304 4196468 140733537437072 140432204479296 140432200279197 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18422] ppid=18418 vsize=26004064 memory=280761764009720 CPUtime=0 cores=0-7
/proc/18420/task/18422/stat : 18422 (java) S 18418 18418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146645577 26628161536 9785 33554432000 4194304 4196468 140733537437072 140432152877712 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18423] ppid=18418 vsize=26004064 memory=140380959266432 CPUtime=0 cores=0-7
/proc/18420/task/18423/stat : 18423 (java) S 18418 18418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146645577 26628161536 9785 33554432000 4194304 4196468 140733537437072 140432151824912 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18424] ppid=18418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18424/stat : 18424 (java) S 18418 18418 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146645577 26628161536 9785 33554432000 4194304 4196468 140733537437072 140432150772112 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18425] ppid=18418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18425/stat : 18425 (java) S 18418 18418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146645577 26628161536 9785 33554432000 4194304 4196468 140733537437072 140432149719312 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18426] ppid=18418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18426/stat : 18426 (java) S 18418 18418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146645577 26628161536 9785 33554432000 4194304 4196468 140733537437072 140432148667536 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18427] ppid=18418 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/18420/task/18427/stat : 18427 (java) S 18418 18418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146645577 26628161536 9785 33554432000 4194304 4196468 140733537437072 140432147614736 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18428] ppid=18418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18428/stat : 18428 (java) S 18418 18418 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146645577 26628161536 9785 33554432000 4194304 4196468 140733537437072 140432146561936 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18429] ppid=18418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18429/stat : 18429 (java) S 18418 18418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146645577 26628161536 9785 33554432000 4194304 4196468 140733537437072 140432145509136 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18430] ppid=18418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18430/stat : 18430 (java) S 18418 18418 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146645578 26628161536 9785 33554432000 4194304 4196468 140733537437072 140430606829936 140432200268418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18431] ppid=18418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18431/stat : 18431 (java) S 18418 18418 15455 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146645579 26628161536 9785 33554432000 4194304 4196468 140733537437072 140430605775904 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18432] ppid=18418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18432/stat : 18432 (java) S 18418 18418 15455 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146645579 26628161536 9785 33554432000 4194304 4196468 140733537437072 140430604723056 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18433] ppid=18418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18433/stat : 18433 (java) S 18418 18418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146645581 26628161536 9785 33554432000 4194304 4196468 140733537437072 140430603671376 140432200275867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18434] ppid=18418 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/18420/task/18434/stat : 18434 (java) S 18418 18418 15455 0 -1 1077944384 568 0 0 0 1 0 0 0 20 0 20 0 146645581 26628161536 9785 33554432000 4194304 4196468 140733537437072 140430602619760 140432200268418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18435] ppid=18418 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/18420/task/18435/stat : 18435 (java) S 18418 18418 15455 0 -1 1077944384 303 0 0 0 1 0 0 0 20 0 20 0 146645581 26628161536 9785 33554432000 4194304 4196468 140733537437072 140430601566960 140432200268418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18436] ppid=18418 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/18420/task/18436/stat : 18436 (java) S 18418 18418 15455 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 20 0 146645581 26628161536 9785 33554432000 4194304 4196468 140733537437072 140429995534960 140432200268418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18437] ppid=18418 vsize=26004064 memory=0 CPUtime=0.08 cores=0-7
/proc/18420/task/18437/stat : 18437 (java) R 18418 18418 15455 0 -1 4202560 748 0 0 0 8 0 0 0 20 0 20 0 146645581 26628161536 9785 33554432000 4194304 4196468 140733537437072 140429994482160 140432178421040 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18438] ppid=18418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18438/stat : 18438 (java) S 18418 18418 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146645582 26628161536 9785 33554432000 4194304 4196468 140733537437072 140429993429600 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18439] ppid=18418 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/18420/task/18439/stat : 18439 (java) S 18418 18418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146645582 26628161536 9785 33554432000 4194304 4196468 140733537437072 140429992376880 140432200268418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40520 KiB

[startup+0.315108 s]*
/proc/loadavg: 4.67 7.28 7.96 3/199 18439
/proc/meminfo: memFree=27181788/32770624 swapFree=67108860/67108860
[pid=18418] ppid=18415 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/18418/stat : 18418 (xcsp3-exec) S 18415 18418 15455 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146645576 9740288 345 33554432000 4194304 5098028 140731841580480 140731841578584 140034374845052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8192000 140731841582181 140731841582391 140731841582391 140731841585131 0
/proc/18418/statm: 2378 345 289 221 0 87 0
[pid=18420] ppid=18418 vsize=26004064 memory=46592 CPUtime=0.52 cores=0-7
/proc/18420/stat : 18420 (java) S 18418 18418 15455 0 -1 1077944320 9346 0 0 0 49 3 0 0 20 0 20 0 146645576 26628161536 11648 33554432000 4194304 4196468 140733537437072 140733537419616 140432200257271 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
/proc/18420/statm: 6501016 11648 3126 1 0 6488269 0
[pid=18420/tid=18421] ppid=18418 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18420/task/18421/stat : 18421 (java) R 18418 18418 15455 0 -1 4202560 6060 0 0 0 28 1 0 0 20 0 20 0 146645576 26628161536 11648 33554432000 4194304 4196468 140733537437072 140432204494144 140432200279197 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18422] ppid=18418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18422/stat : 18422 (java) S 18418 18418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146645577 26628161536 11648 33554432000 4194304 4196468 140733537437072 140432152877712 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18423] ppid=18418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18423/stat : 18423 (java) S 18418 18418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146645577 26628161536 11648 33554432000 4194304 4196468 140733537437072 140432151824912 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18424] ppid=18418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18424/stat : 18424 (java) S 18418 18418 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146645577 26628161536 11648 33554432000 4194304 4196468 140733537437072 140432150772112 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18425] ppid=18418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18425/stat : 18425 (java) S 18418 18418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146645577 26628161536 11648 33554432000 4194304 4196468 140733537437072 140432149719312 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18426] ppid=18418 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/18420/task/18426/stat : 18426 (java) S 18418 18418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146645577 26628161536 11648 33554432000 4194304 4196468 140733537437072 140432148667536 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18427] ppid=18418 vsize=26004064 memory=140380804838319 CPUtime=0 cores=0-7
/proc/18420/task/18427/stat : 18427 (java) S 18418 18418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146645577 26628161536 11648 33554432000 4194304 4196468 140733537437072 140432147614736 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18428] ppid=18418 vsize=26004064 memory=140380804840624 CPUtime=0 cores=0-7
/proc/18420/task/18428/stat : 18428 (java) S 18418 18418 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146645577 26628161536 11648 33554432000 4194304 4196468 140733537437072 140432146561936 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18429] ppid=18418 vsize=26004064 memory=140380804842928 CPUtime=0 cores=0-7
/proc/18420/task/18429/stat : 18429 (java) S 18418 18418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146645577 26628161536 11648 33554432000 4194304 4196468 140733537437072 140432145509136 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18430] ppid=18418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18430/stat : 18430 (java) S 18418 18418 15455 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146645578 26628161536 11648 33554432000 4194304 4196468 140733537437072 140430606829936 140432200268418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18431] ppid=18418 vsize=26004064 memory=280761609692816 CPUtime=0 cores=0-7
/proc/18420/task/18431/stat : 18431 (java) S 18418 18418 15455 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146645579 26628161536 11648 33554432000 4194304 4196468 140733537437072 140430605775904 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18432] ppid=18418 vsize=26004064 memory=280761609699728 CPUtime=0 cores=0-7
/proc/18420/task/18432/stat : 18432 (java) S 18418 18418 15455 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146645579 26628161536 11648 33554432000 4194304 4196468 140733537437072 140430604723056 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18433] ppid=18418 vsize=26004064 memory=280761609641008 CPUtime=0 cores=0-7
/proc/18420/task/18433/stat : 18433 (java) S 18418 18418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146645581 26628161536 11648 33554432000 4194304 4196468 140733537437072 140430603671376 140432200275867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18434] ppid=18418 vsize=26004064 memory=280761609713552 CPUtime=0.02 cores=0-7
/proc/18420/task/18434/stat : 18434 (java) S 18418 18418 15455 0 -1 1077944384 706 0 0 0 2 0 0 0 20 0 20 0 146645581 26628161536 11648 33554432000 4194304 4196468 140733537437072 140430602619760 140432200268418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18435] ppid=18418 vsize=26004064 memory=280761609720464 CPUtime=0.02 cores=0-7
/proc/18420/task/18435/stat : 18435 (java) R 18418 18418 15455 0 -1 4202560 356 0 0 0 2 0 0 0 20 0 20 0 146645581 26628161536 11648 33554432000 4194304 4196468 140733537437072 140430601566960 140432180957568 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18436] ppid=18418 vsize=26004064 memory=280761609718160 CPUtime=0.02 cores=0-7
/proc/18420/task/18436/stat : 18436 (java) R 18418 18418 15455 0 -1 4202560 99 0 0 0 2 0 0 0 20 0 20 0 146645581 26628161536 11648 33554432000 4194304 4196468 140733537437072 140429995534960 140432180957568 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18437] ppid=18418 vsize=26004064 memory=280761609734320 CPUtime=0.12 cores=0-7
/proc/18420/task/18437/stat : 18437 (java) S 18418 18418 15455 0 -1 1077944384 823 0 0 0 12 0 0 0 20 0 20 0 146645581 26628161536 11648 33554432000 4194304 4196468 140733537437072 140429994482160 140432200268418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18438] ppid=18418 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18420/task/18438/stat : 18438 (java) S 18418 18418 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146645582 26628161536 11648 33554432000 4194304 4196468 140733537437072 140429993429600 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18439] ppid=18418 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/18420/task/18439/stat : 18439 (java) S 18418 18418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146645582 26628161536 11648 33554432000 4194304 4196468 140733537437072 140429992376880 140432200268418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47972 KiB

[startup+0.701027 s]
/proc/loadavg: 4.67 7.28 7.96 5/199 18439
/proc/meminfo: memFree=27097204/32770624 swapFree=67108860/67108860
[pid=18418] ppid=18415 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/18418/stat : 18418 (xcsp3-exec) S 18415 18418 15455 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146645576 9740288 345 33554432000 4194304 5098028 140731841580480 140731841578584 140034374845052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8192000 140731841582181 140731841582391 140731841582391 140731841585131 0
/proc/18418/statm: 2378 345 289 221 0 87 0
[pid=18420] ppid=18418 vsize=26004140 memory=252628 CPUtime=1.79 cores=0-7
/proc/18420/stat : 18420 (java) S 18418 18418 15455 0 -1 1077944320 12942 0 0 0 164 15 0 0 20 0 20 0 146645576 26628239360 63157 33554432000 4194304 4196468 140733537437072 140733537419616 140432200257271 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
/proc/18420/statm: 6501035 63157 3211 1 0 6488269 0
[pid=18420/tid=18421] ppid=18418 vsize=26004140 memory=280761610029184 CPUtime=0.64 cores=0-7
/proc/18420/task/18421/stat : 18421 (java) R 18418 18418 15455 0 -1 4202560 6386 0 0 0 59 5 0 0 20 0 20 0 146645576 26628239360 63157 33554432000 4194304 4196468 140733537437072 140432204492224 140431826827725 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18422] ppid=18418 vsize=26004140 memory=1948 CPUtime=0 cores=0-7
/proc/18420/task/18422/stat : 18422 (java) S 18418 18418 15455 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 146645577 26628239360 63157 33554432000 4194304 4196468 140733537437072 140432152877712 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18423] ppid=18418 vsize=26004140 memory=800 CPUtime=0 cores=0-7
/proc/18420/task/18423/stat : 18423 (java) S 18418 18418 15455 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 146645577 26628239360 63157 33554432000 4194304 4196468 140733537437072 140432151824912 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18424] ppid=18418 vsize=26004140 memory=12132 CPUtime=0.01 cores=0-7
/proc/18420/task/18424/stat : 18424 (java) S 18418 18418 15455 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 20 0 146645577 26628239360 63157 33554432000 4194304 4196468 140733537437072 140432150772112 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0

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

[pid=18420/tid=18442] ppid=18418 vsize=26538700 memory=4104 CPUtime=410.23 cores=0-7
/proc/18420/task/18442/stat : 18442 (java) R 18418 18418 15455 0 -1 4202560 6009 0 0 0 41005 18 0 0 20 0 28 0 146649662 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429982757672 140431826807156 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18443] ppid=18418 vsize=26538700 memory=1156 CPUtime=409.27 cores=0-7
/proc/18420/task/18443/stat : 18443 (java) R 18418 18418 15455 0 -1 4202560 5308 0 0 0 40919 8 0 0 20 0 28 0 146649662 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429981705272 140431826807815 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18444] ppid=18418 vsize=26538700 memory=1380 CPUtime=410.51 cores=0-7
/proc/18420/task/18444/stat : 18444 (java) R 18418 18418 15455 0 -1 4202560 4090 0 0 0 41030 21 0 0 20 0 28 0 146649662 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429980651944 140431826807480 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18445] ppid=18418 vsize=26538700 memory=6791534058613427641 CPUtime=410.56 cores=0-7
/proc/18420/task/18445/stat : 18445 (java) R 18418 18418 15455 0 -1 4202560 1878 0 0 0 41050 6 0 0 20 0 28 0 146649662 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429979599272 140431826970314 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18446] ppid=18418 vsize=26538700 memory=22436 CPUtime=410.85 cores=0-7
/proc/18420/task/18446/stat : 18446 (java) R 18418 18418 15455 0 -1 4202560 1763 0 0 0 41084 1 0 0 20 0 28 0 146649663 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429978546224 140431826970288 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18447] ppid=18418 vsize=26538700 memory=4052 CPUtime=404.99 cores=0-7
/proc/18420/task/18447/stat : 18447 (java) R 18418 18418 15455 0 -1 4202560 8248 0 0 0 40486 13 0 0 20 0 28 0 146649663 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429977496064 140431827121691 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
Current children cumulated CPU time: 3354.2 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 8084408 KiB

[startup+453.601 s]
/proc/loadavg: 8.04 7.80 7.88 9/208 18456
/proc/meminfo: memFree=19133412/32770624 swapFree=67108860/67108860
[pid=18418] ppid=18415 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/18418/stat : 18418 (xcsp3-exec) S 18415 18418 15455 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146645576 9740288 345 33554432000 4194304 5098028 140731841580480 140731841578584 140034374845052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8192000 140731841582181 140731841582391 140731841582391 140731841585131 0
/proc/18418/statm: 2378 345 289 221 0 87 0
[pid=18420] ppid=18418 vsize=26538700 memory=8083028 CPUtime=3360.58 cores=0-7
/proc/18420/stat : 18420 (java) S 18418 18418 15455 0 -1 1077944320 185869 0 0 0 334825 1233 0 0 20 0 28 0 146645576 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140733537419616 140432200257271 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
/proc/18420/statm: 6634675 2020757 3275 1 0 6621909 0
[pid=18420/tid=18421] ppid=18418 vsize=26538700 memory=1292 CPUtime=35.2 cores=0-7
/proc/18420/task/18421/stat : 18421 (java) S 18418 18418 15455 0 -1 1077944384 21296 0 0 0 3452 68 0 0 20 0 28 0 146645576 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140432204498048 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18422] ppid=18418 vsize=26538700 memory=2448 CPUtime=4.24 cores=0-7
/proc/18420/task/18422/stat : 18422 (java) S 18418 18418 15455 0 -1 1077944384 7284 0 0 0 292 132 0 0 20 0 28 0 146645577 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140432152877712 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18423] ppid=18418 vsize=26538700 memory=1380 CPUtime=4.21 cores=0-7
/proc/18420/task/18423/stat : 18423 (java) S 18418 18418 15455 0 -1 1077944384 6713 0 0 0 290 131 0 0 20 0 28 0 146645577 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140432151824912 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18424] ppid=18418 vsize=26538700 memory=8083028 CPUtime=4.26 cores=0-7
/proc/18420/task/18424/stat : 18424 (java) S 18418 18418 15455 0 -1 1077944384 11366 0 0 0 294 132 0 0 20 0 28 0 146645577 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140432150772112 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18425] ppid=18418 vsize=26538700 memory=800 CPUtime=4.24 cores=0-7
/proc/18420/task/18425/stat : 18425 (java) S 18418 18418 15455 0 -1 1077944384 8487 0 0 0 290 134 0 0 20 0 28 0 146645577 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140432149719312 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18426] ppid=18418 vsize=26538700 memory=12132 CPUtime=4.24 cores=0-7
/proc/18420/task/18426/stat : 18426 (java) S 18418 18418 15455 0 -1 1077944384 7055 0 0 0 288 136 0 0 20 0 28 0 146645577 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140432148667536 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18427] ppid=18418 vsize=26538700 memory=1440 CPUtime=4.24 cores=0-7
/proc/18420/task/18427/stat : 18427 (java) S 18418 18418 15455 0 -1 1077944384 8208 0 0 0 290 134 0 0 20 0 28 0 146645577 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140432147614736 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18428] ppid=18418 vsize=26538700 memory=5796 CPUtime=4.25 cores=0-7
/proc/18420/task/18428/stat : 18428 (java) S 18418 18418 15455 0 -1 1077944384 7937 0 0 0 289 136 0 0 20 0 28 0 146645577 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140432146561936 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18429] ppid=18418 vsize=26538700 memory=1224 CPUtime=4.25 cores=0-7
/proc/18420/task/18429/stat : 18429 (java) S 18418 18418 15455 0 -1 1077944384 7943 0 0 0 297 128 0 0 20 0 28 0 146645577 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140432145509136 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18430] ppid=18418 vsize=26538700 memory=0 CPUtime=1.54 cores=0-7
/proc/18420/task/18430/stat : 18430 (java) S 18418 18418 15455 0 -1 1077944384 8377 0 0 0 152 2 0 0 20 0 28 0 146645578 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140430606829936 140432200268418 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18431] ppid=18418 vsize=26538700 memory=301741399261580283 CPUtime=0 cores=0-7
/proc/18420/task/18431/stat : 18431 (java) S 18418 18418 15455 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 146645579 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140430605775968 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18432] ppid=18418 vsize=26538700 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/18420/task/18432/stat : 18432 (java) S 18418 18418 15455 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 28 0 146645579 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140430604723072 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18433] ppid=18418 vsize=26538700 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/18420/task/18433/stat : 18433 (java) S 18418 18418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146645581 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140430603671376 140432200275867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18434] ppid=18418 vsize=26538700 memory=6656426216303648864 CPUtime=1.54 cores=0-7
/proc/18420/task/18434/stat : 18434 (java) S 18418 18418 15455 0 -1 1077944384 11409 0 0 0 152 2 0 0 20 0 28 0 146645581 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140430602619760 140432200268418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 40 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18435] ppid=18418 vsize=26538700 memory=6944656575208382560 CPUtime=1.34 cores=0-7
/proc/18420/task/18435/stat : 18435 (java) S 18418 18418 15455 0 -1 1077944384 8918 0 0 0 131 3 0 0 20 0 28 0 146645581 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140430601566960 140432200268418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18436] ppid=18418 vsize=26538700 memory=6656426216303648864 CPUtime=1.52 cores=0-7
/proc/18420/task/18436/stat : 18436 (java) S 18418 18418 15455 0 -1 1077944384 6462 0 0 0 151 1 0 0 20 0 28 0 146645581 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429995534960 140432200268418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18437] ppid=18418 vsize=26538700 memory=6655300316396806240 CPUtime=0.7 cores=0-7
/proc/18420/task/18437/stat : 18437 (java) S 18418 18418 15455 0 -1 1077944384 7519 0 0 0 68 2 0 0 20 0 28 0 146645581 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429994482160 140432200268418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18438] ppid=18418 vsize=26538700 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/18420/task/18438/stat : 18438 (java) S 18418 18418 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146645582 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429993429600 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18439] ppid=18418 vsize=26538700 memory=288230621803970871 CPUtime=0.16 cores=0-7
/proc/18420/task/18439/stat : 18439 (java) S 18418 18418 15455 0 -1 1077944384 2111 0 0 0 5 11 0 0 20 0 28 0 146645582 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429992376880 140432200268418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18440] ppid=18418 vsize=26538700 memory=14691894252800580 CPUtime=411.62 cores=0-7
/proc/18420/task/18440/stat : 18440 (java) R 18418 18418 15455 0 -1 4202560 24482 0 0 0 41155 7 0 0 20 0 28 0 146649662 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429984860984 140431826807483 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18441] ppid=18418 vsize=26538700 memory=0 CPUtime=411.62 cores=0-7
/proc/18420/task/18441/stat : 18441 (java) R 18418 18418 15455 0 -1 4202560 1501 0 0 0 41157 5 0 0 20 0 28 0 146649662 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429983809448 140431826807991 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18442] ppid=18418 vsize=26538700 memory=43852974 CPUtime=411.02 cores=0-7
/proc/18420/task/18442/stat : 18442 (java) R 18418 18418 15455 0 -1 4202560 6045 0 0 0 41083 19 0 0 20 0 28 0 146649662 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429982757672 140431827306168 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18443] ppid=18418 vsize=26538700 memory=0 CPUtime=410.07 cores=0-7
/proc/18420/task/18443/stat : 18443 (java) R 18418 18418 15455 0 -1 4202560 5311 0 0 0 40998 9 0 0 20 0 28 0 146649662 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429981705272 140431830083958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18444] ppid=18418 vsize=26538700 memory=0 CPUtime=411.31 cores=0-7
/proc/18420/task/18444/stat : 18444 (java) R 18418 18418 15455 0 -1 4202560 4091 0 0 0 41110 21 0 0 20 0 28 0 146649662 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429980651944 140431827304523 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18445] ppid=18418 vsize=26538700 memory=53 CPUtime=411.36 cores=0-7
/proc/18420/task/18445/stat : 18445 (java) R 18418 18418 15455 0 -1 4202560 1910 0 0 0 41129 7 0 0 20 0 28 0 146649662 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429979599272 140431826970288 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18446] ppid=18418 vsize=26538700 memory=0 CPUtime=411.65 cores=0-7
/proc/18420/task/18446/stat : 18446 (java) R 18418 18418 15455 0 -1 4202560 1766 0 0 0 41164 1 0 0 20 0 28 0 146649663 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429978546224 140431826807613 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18447] ppid=18418 vsize=26538700 memory=4100 CPUtime=405.78 cores=0-7
/proc/18420/task/18447/stat : 18447 (java) R 18418 18418 15455 0 -1 4202560 8255 0 0 0 40565 13 0 0 20 0 28 0 146649663 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429977496064 140431827306398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
Current children cumulated CPU time: 3360.58 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 8084408 KiB

[startup+454.001 s]*
/proc/loadavg: 8.04 7.80 7.88 9/208 18456
/proc/meminfo: memFree=19133428/32770624 swapFree=67108860/67108860
[pid=18418] ppid=18415 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/18418/stat : 18418 (xcsp3-exec) S 18415 18418 15455 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146645576 9740288 345 33554432000 4194304 5098028 140731841580480 140731841578584 140034374845052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8192000 140731841582181 140731841582391 140731841582391 140731841585131 0
/proc/18418/statm: 2378 345 289 221 0 87 0
[pid=18420] ppid=18418 vsize=26538700 memory=8083028 CPUtime=3363.84 cores=0-7
/proc/18420/stat : 18420 (java) S 18418 18418 15455 0 -1 1077944320 185872 0 0 0 335151 1233 0 0 20 0 28 0 146645576 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140733537419616 140432200257271 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
/proc/18420/statm: 6634675 2020757 3275 1 0 6621909 0
[pid=18420/tid=18421] ppid=18418 vsize=26538700 memory=6791534058613427641 CPUtime=35.2 cores=0-7
/proc/18420/task/18421/stat : 18421 (java) S 18418 18418 15455 0 -1 1077944384 21296 0 0 0 3452 68 0 0 20 0 28 0 146645576 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140432204498048 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18422] ppid=18418 vsize=26538700 memory=-7003737579269690708 CPUtime=4.24 cores=0-7
/proc/18420/task/18422/stat : 18422 (java) S 18418 18418 15455 0 -1 1077944384 7284 0 0 0 292 132 0 0 20 0 28 0 146645577 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140432152877712 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18423] ppid=18418 vsize=26538700 memory=6791534058613427641 CPUtime=4.21 cores=0-7
/proc/18420/task/18423/stat : 18423 (java) S 18418 18418 15455 0 -1 1077944384 6713 0 0 0 290 131 0 0 20 0 28 0 146645577 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140432151824912 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18424] ppid=18418 vsize=26538700 memory=8083028 CPUtime=4.26 cores=0-7
/proc/18420/task/18424/stat : 18424 (java) S 18418 18418 15455 0 -1 1077944384 11366 0 0 0 294 132 0 0 20 0 28 0 146645577 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140432150772112 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18425] ppid=18418 vsize=26538700 memory=0 CPUtime=4.24 cores=0-7
/proc/18420/task/18425/stat : 18425 (java) S 18418 18418 15455 0 -1 1077944384 8487 0 0 0 290 134 0 0 20 0 28 0 146645577 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140432149719312 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18426] ppid=18418 vsize=26538700 memory=7596564771263244392 CPUtime=4.24 cores=0-7
/proc/18420/task/18426/stat : 18426 (java) S 18418 18418 15455 0 -1 1077944384 7055 0 0 0 288 136 0 0 20 0 28 0 146645577 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140432148667536 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18427] ppid=18418 vsize=26538700 memory=7091318296854684776 CPUtime=4.24 cores=0-7
/proc/18420/task/18427/stat : 18427 (java) S 18418 18418 15455 0 -1 1077944384 8208 0 0 0 290 134 0 0 20 0 28 0 146645577 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140432147614736 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18428] ppid=18418 vsize=26538700 memory=7091318296854684776 CPUtime=4.25 cores=0-7
/proc/18420/task/18428/stat : 18428 (java) S 18418 18418 15455 0 -1 1077944384 7937 0 0 0 289 136 0 0 20 0 28 0 146645577 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140432146561936 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18429] ppid=18418 vsize=26538700 memory=7091318296854684776 CPUtime=4.25 cores=0-7
/proc/18420/task/18429/stat : 18429 (java) S 18418 18418 15455 0 -1 1077944384 7943 0 0 0 297 128 0 0 20 0 28 0 146645577 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140432145509136 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18430] ppid=18418 vsize=26538700 memory=7091318296854684776 CPUtime=1.54 cores=0-7
/proc/18420/task/18430/stat : 18430 (java) S 18418 18418 15455 0 -1 1077944384 8377 0 0 0 152 2 0 0 20 0 28 0 146645578 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140430606829936 140432200268418 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18431] ppid=18418 vsize=26538700 memory=7091318296854684776 CPUtime=0 cores=0-7
/proc/18420/task/18431/stat : 18431 (java) S 18418 18418 15455 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 146645579 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140430605775968 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18432] ppid=18418 vsize=26538700 memory=7451313788414552384 CPUtime=0 cores=0-7
/proc/18420/task/18432/stat : 18432 (java) S 18418 18418 15455 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 28 0 146645579 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140430604723072 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18433] ppid=18418 vsize=26538700 memory=7451860146825224809 CPUtime=0 cores=0-7
/proc/18420/task/18433/stat : 18433 (java) S 18418 18418 15455 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146645581 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140430603671376 140432200275867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18434] ppid=18418 vsize=26538700 memory=7661557995173734764 CPUtime=1.54 cores=0-7
/proc/18420/task/18434/stat : 18434 (java) S 18418 18418 15455 0 -1 1077944384 11409 0 0 0 152 2 0 0 20 0 28 0 146645581 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140430602619760 140432200268418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 40 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18435] ppid=18418 vsize=26538700 memory=6791534058613427641 CPUtime=1.34 cores=0-7
/proc/18420/task/18435/stat : 18435 (java) S 18418 18418 15455 0 -1 1077944384 8918 0 0 0 131 3 0 0 20 0 28 0 146645581 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140430601566960 140432200268418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18436] ppid=18418 vsize=26538700 memory=7091318296854684776 CPUtime=1.52 cores=0-7
/proc/18420/task/18436/stat : 18436 (java) S 18418 18418 15455 0 -1 1077944384 6462 0 0 0 151 1 0 0 20 0 28 0 146645581 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429995534960 140432200268418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18437] ppid=18418 vsize=26538700 memory=7451313788414552384 CPUtime=0.7 cores=0-7
/proc/18420/task/18437/stat : 18437 (java) S 18418 18418 15455 0 -1 1077944384 7519 0 0 0 68 2 0 0 20 0 28 0 146645581 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429994482160 140432200268418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18438] ppid=18418 vsize=26538700 memory=7451313788414552384 CPUtime=0 cores=0-7
/proc/18420/task/18438/stat : 18438 (java) S 18418 18418 15455 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146645582 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429993429600 140432200267477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18439] ppid=18418 vsize=26538700 memory=5937829405596085097 CPUtime=0.16 cores=0-7
/proc/18420/task/18439/stat : 18439 (java) S 18418 18418 15455 0 -1 1077944384 2111 0 0 0 5 11 0 0 20 0 28 0 146645582 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429992376880 140432200268418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18440] ppid=18418 vsize=26538700 memory=7306925826529257570 CPUtime=412.03 cores=0-7
/proc/18420/task/18440/stat : 18440 (java) R 18418 18418 15455 0 -1 4202560 24482 0 0 0 41196 7 0 0 20 0 28 0 146649662 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429984860984 140431827306314 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18441] ppid=18418 vsize=26538700 memory=5937829405596085097 CPUtime=412.02 cores=0-7
/proc/18420/task/18441/stat : 18441 (java) R 18418 18418 15455 0 -1 4202560 1501 0 0 0 41197 5 0 0 20 0 28 0 146649662 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429983809448 140431830084177 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18442] ppid=18418 vsize=26538700 memory=7517468083047851112 CPUtime=411.41 cores=0-7
/proc/18420/task/18442/stat : 18442 (java) R 18418 18418 15455 0 -1 4202560 6045 0 0 0 41122 19 0 0 20 0 28 0 146649662 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429982757672 140431827307331 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18443] ppid=18418 vsize=26538700 memory=7523354889643911012 CPUtime=410.48 cores=0-7
/proc/18420/task/18443/stat : 18443 (java) R 18418 18418 15455 0 -1 4202560 5313 0 0 0 41039 9 0 0 20 0 28 0 146649662 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429981705272 140431826807558 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18444] ppid=18418 vsize=26538700 memory=7517468083047851112 CPUtime=411.72 cores=0-7
/proc/18420/task/18444/stat : 18444 (java) R 18418 18418 15455 0 -1 4202560 4092 0 0 0 41151 21 0 0 20 0 28 0 146649662 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429980651944 140431827306342 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18445] ppid=18418 vsize=26538700 memory=7523354889643911012 CPUtime=411.77 cores=0-7
/proc/18420/task/18445/stat : 18445 (java) R 18418 18418 15455 0 -1 4202560 1910 0 0 0 41170 7 0 0 20 0 28 0 146649662 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429979599272 140431826970314 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18446] ppid=18418 vsize=26538700 memory=7517468083047851112 CPUtime=412.06 cores=0-7
/proc/18420/task/18446/stat : 18446 (java) R 18418 18418 15455 0 -1 4202560 1766 0 0 0 41205 1 0 0 20 0 28 0 146649663 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429978546224 140431826807011 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
[pid=18420/tid=18447] ppid=18418 vsize=26538700 memory=7523354889643911012 CPUtime=406.19 cores=0-7
/proc/18420/task/18447/stat : 18447 (java) R 18418 18418 15455 0 -1 4202560 8255 0 0 0 40606 13 0 0 20 0 28 0 146649663 27175628800 2020757 33554432000 4194304 4196468 140733537437072 140429977496064 140431827306393 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39350272 140733537440914 140733537441091 140733537441091 140733537443791 0
Current children cumulated CPU time: 3363.84 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 8084408 KiB

[startup+454.111 s]
/proc/loadavg: 8.04 7.80 7.88 9/208 18456
/proc/meminfo: memFree=19133428/32770624 swapFree=67108860/67108860
[pid=18418] ppid=18415 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/18418/stat : 18418 (xcsp3-exec) S 18415 18418 15455 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146645576 9740288 345 33554432000 4194304 5098028 140731841580480 140731841578584 140034374845052 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 8192000 140731841582181 140731841582391 140731841582391 140731841585131 0
/proc/18418/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): 454.142
CPU time (s): 3364.54
CPU user time (s): 3352.16
CPU system time (s): 12.3841
CPU usage (%): 740.857
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 8084408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3352.16
system time used= 12.3841
maximum resident set size= 8083196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188857
page faults= 0
swaps= 0
block input operations= 0
block output operations= 584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17709
involuntary context switches= 34027


# summary of solver processes directly reported to runsolver:
#   pid: 18418
#   total CPU time (s): 3364.54
#   total CPU user time (s): 3352.16
#   total CPU system time (s): 12.3841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.74483 second user time and 4.51335 second system time

The end

Launcher Data 

Begin job on node113 at 2017-08-19 11:25:21
IDJOB=4280954
IDBENCH=126094
IDSOLVER=2675
FILE ID=node113/4280954-1503135581
RUNJOBID= node113-1503129381-15482
PBS_JOBID= 20630780
Free space on /tmp= 61660 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5/mdd-7-25-5-56-16.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-4280954-1503135581/watcher-4280954-1503135581 -o /tmp/evaluation-result-4280954-1503135581/solver-4280954-1503135581 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503129381-15482 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 511889706 HOME/instance-4280954-1503135581.xml

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

MD5SUM BENCH= 9d7406c968f8af9220e5e662d0bd5052
RANDOM SEED=511889706

node113.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.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	: 5333.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	: 5333.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	: 5333.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:        27216120 kB
MemAvailable:   31971468 kB
Buffers:          247680 kB
Cached:          4798984 kB
SwapCached:            0 kB
Active:          1276276 kB
Inactive:        3823196 kB
Active(anon):       3460 kB
Inactive(anon):    85840 kB
Active(file):    1272816 kB
Inactive(file):  3737356 kB
Unevictable:        7568 kB
Mlocked:            7568 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             40240 kB
Writeback:             0 kB
AnonPages:         60772 kB
Mapped:            50388 kB
Shmem:             33416 kB
Slab:             148612 kB
SReclaimable:     122020 kB
SUnreclaim:        26592 kB
KernelStack:        3248 kB
PageTables:         4636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333236 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61652 MiB
End job on node113 at 2017-08-19 11:32:55