Trace number 4280993

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 28.2894 4.1254802

General information on the benchmark

NameRandom/Random-D-t020/
rand-2-40-11-414-020-23.xml
MD5SUM1a4e26af447c68eb67ea8607a589b7af
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.03478
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints414
Number of domains1
Minimum domain size11
Maximum domain size11
Distribution of domain sizes[{"size":11,"count":40}]
Minimum variable degree15
Maximum variable degree30
Distribution of variable degrees[{"degree":15,"count":1},{"degree":16,"count":5},{"degree":17,"count":2},{"degree":18,"count":1},{"degree":19,"count":6},{"degree":20,"count":4},{"degree":21,"count":5},{"degree":22,"count":6},{"degree":23,"count":3},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":26,"count":1},{"degree":27,"count":1},{"degree":30,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":414}]
Number of extensional constraints414
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":414}]
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-4280993-1503124157.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4280993-1503124157.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
2.92/0.92	c solve instance...
28.23/4.11	s SATISFIABLE
28.23/4.11	v <instantiation>
28.23/4.11	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] </list>
28.23/4.11	v 	<values>5 8 6 7 2 5 9 1 7 0 10 0 9 8 2 3 1 0 0 7 5 2 6 0 1 4 4 5 7 2 9 2 4 9 5 8 3 2 0 0 </values>
28.23/4.11	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 (13010 MiB free)
  memory of node 1: 16384 MiB (12582 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280993-1503124157/watcher-4280993-1503124157 -o /tmp/evaluation-result-4280993-1503124157/solver-4280993-1503124157 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503120685-6639 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1349512837 HOME/instance-4280993-1503124157.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=6966, runsolver pid=6963
Current StackSize limit: 8192 KiB


[startup+0.100136 s]*
/proc/loadavg: 3.81 6.63 7.66 2/200 6987
/proc/meminfo: memFree=26189864/32770624 swapFree=67108860/67108860
[pid=6966] ppid=6963 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/6966/stat : 6966 (xcsp3-exec) S 6963 6966 6612 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145503350 9740288 345 33554432000 4194304 5098028 140722870254304 140722870252408 140563504267900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23224320 140722870256740 140722870256951 140722870256951 140722870259691 0
/proc/6966/statm: 2378 345 289 221 0 87 0
[pid=6968] ppid=6966 vsize=25999808 memory=28484 CPUtime=0.11 cores=0-7
/proc/6968/stat : 6968 (java) S 6966 6966 6612 0 -1 1077944320 5464 0 0 0 10 1 0 0 20 0 20 0 145503350 26623803392 7121 33554432000 4194304 4196468 140723017388096 140723017370640 140266259128055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
/proc/6968/statm: 6499952 7121 2864 1 0 6488269 0
[pid=6968/tid=6969] ppid=6966 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/6968/task/6969/stat : 6969 (java) S 6966 6966 6612 0 -1 1077944384 3469 0 0 0 8 1 0 0 20 0 20 0 145503350 26623803392 7121 33554432000 4194304 4196468 140723017388096 140266263360416 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6970] ppid=6966 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/6968/task/6970/stat : 6970 (java) S 6966 6966 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145503351 26623803392 7121 33554432000 4194304 4196468 140723017388096 140266211749008 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6971] ppid=6966 vsize=25999808 memory=140616344688256 CPUtime=0 cores=0-7
/proc/6968/task/6971/stat : 6971 (java) S 6966 6966 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145503351 26623803392 7121 33554432000 4194304 4196468 140723017388096 140266210696208 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6972] ppid=6966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6972/stat : 6972 (java) S 6966 6966 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145503351 26623803392 7121 33554432000 4194304 4196468 140723017388096 140266209643408 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6973] ppid=6966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6973/stat : 6973 (java) S 6966 6966 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145503351 26623803392 7121 33554432000 4194304 4196468 140723017388096 140266208590608 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6974] ppid=6966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6974/stat : 6974 (java) S 6966 6966 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145503351 26623803392 7121 33554432000 4194304 4196468 140723017388096 140266207537808 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6975] ppid=6966 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/6968/task/6975/stat : 6975 (java) S 6966 6966 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145503351 26623803392 7121 33554432000 4194304 4196468 140723017388096 140266206485008 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6976] ppid=6966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6976/stat : 6976 (java) S 6966 6966 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145503351 26623803392 7121 33554432000 4194304 4196468 140723017388096 140266205432208 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6977] ppid=6966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6977/stat : 6977 (java) S 6966 6966 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145503351 26623803392 7121 33554432000 4194304 4196468 140723017388096 140266204379408 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6978] ppid=6966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6978/stat : 6978 (java) S 6966 6966 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145503353 26623803392 7121 33554432000 4194304 4196468 140723017388096 140265386507120 140266259139202 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6979] ppid=6966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6979/stat : 6979 (java) S 6966 6966 6612 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145503353 26623803392 7121 33554432000 4194304 4196468 140723017388096 140265385453088 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6980] ppid=6966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6980/stat : 6980 (java) S 6966 6966 6612 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145503353 26623803392 7121 33554432000 4194304 4196468 140723017388096 140265384400240 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6981] ppid=6966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6981/stat : 6981 (java) S 6966 6966 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145503356 26623803392 7121 33554432000 4194304 4196468 140723017388096 140265383348560 140266259146651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6982] ppid=6966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6982/stat : 6982 (java) S 6966 6966 6612 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 145503356 26623803392 7121 33554432000 4194304 4196468 140723017388096 140265382295920 140266259139202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6983] ppid=6966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6983/stat : 6983 (java) S 6966 6966 6612 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 145503356 26623803392 7121 33554432000 4194304 4196468 140723017388096 140265381243120 140266259139202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6984] ppid=6966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6984/stat : 6984 (java) S 6966 6966 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145503356 26623803392 7121 33554432000 4194304 4196468 140723017388096 140265380190320 140266259139202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6985] ppid=6966 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/6968/task/6985/stat : 6985 (java) R 6966 6966 6612 0 -1 4202560 276 0 0 0 1 0 0 0 20 0 20 0 145503356 26623803392 7121 33554432000 4194304 4196468 140723017388096 140265379137520 140266251365182 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6986] ppid=6966 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6986/stat : 6986 (java) S 6966 6966 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145503356 26623803392 7121 33554432000 4194304 4196468 140723017388096 140264455269472 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6987] ppid=6966 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/6968/task/6987/stat : 6987 (java) S 6966 6966 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145503356 26623803392 7121 33554432000 4194304 4196468 140723017388096 140264454216752 140266259139202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 29864 KiB

[startup+0.210046 s]*
/proc/loadavg: 3.81 6.63 7.66 2/200 6987
/proc/meminfo: memFree=26177804/32770624 swapFree=67108860/67108860
[pid=6966] ppid=6963 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/6966/stat : 6966 (xcsp3-exec) S 6963 6966 6612 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145503350 9740288 345 33554432000 4194304 5098028 140722870254304 140722870252408 140563504267900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23224320 140722870256740 140722870256951 140722870256951 140722870259691 0
/proc/6966/statm: 2378 345 289 221 0 87 0
[pid=6968] ppid=6966 vsize=26004064 memory=41132 CPUtime=0.33 cores=0-7
/proc/6968/stat : 6968 (java) S 6966 6966 6612 0 -1 1077944320 8291 0 0 0 31 2 0 0 20 0 20 0 145503350 26628161536 10283 33554432000 4194304 4196468 140723017388096 140723017370640 140266259128055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
/proc/6968/statm: 6501016 10283 3083 1 0 6488269 0
[pid=6968/tid=6969] ppid=6966 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/6968/task/6969/stat : 6969 (java) R 6966 6966 6612 0 -1 4202560 5390 0 0 0 18 1 0 0 20 0 20 0 145503350 26628161536 10283 33554432000 4194304 4196468 140723017388096 140266263350960 140266259149981 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6970] ppid=6966 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/6968/task/6970/stat : 6970 (java) S 6966 6966 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145503351 26628161536 10283 33554432000 4194304 4196468 140723017388096 140266211749008 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6971] ppid=6966 vsize=26004064 memory=140616344717487 CPUtime=0 cores=0-7
/proc/6968/task/6971/stat : 6971 (java) S 6966 6966 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145503351 26628161536 10283 33554432000 4194304 4196468 140723017388096 140266210696208 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6972] ppid=6966 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6968/task/6972/stat : 6972 (java) S 6966 6966 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145503351 26628161536 10283 33554432000 4194304 4196468 140723017388096 140266209643408 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6973] ppid=6966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6973/stat : 6973 (java) S 6966 6966 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145503351 26628161536 10283 33554432000 4194304 4196468 140723017388096 140266208590608 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6974] ppid=6966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6974/stat : 6974 (java) S 6966 6966 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145503351 26628161536 10283 33554432000 4194304 4196468 140723017388096 140266207537808 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6975] ppid=6966 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6968/task/6975/stat : 6975 (java) S 6966 6966 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145503351 26628161536 10283 33554432000 4194304 4196468 140723017388096 140266206485008 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6976] ppid=6966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6976/stat : 6976 (java) S 6966 6966 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145503351 26628161536 10283 33554432000 4194304 4196468 140723017388096 140266205432208 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6977] ppid=6966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6977/stat : 6977 (java) S 6966 6966 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145503351 26628161536 10283 33554432000 4194304 4196468 140723017388096 140266204379408 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6978] ppid=6966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6978/stat : 6978 (java) S 6966 6966 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145503353 26628161536 10283 33554432000 4194304 4196468 140723017388096 140265386507120 140266259139202 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6979] ppid=6966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6979/stat : 6979 (java) S 6966 6966 6612 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145503353 26628161536 10283 33554432000 4194304 4196468 140723017388096 140265385453088 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6980] ppid=6966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6980/stat : 6980 (java) S 6966 6966 6612 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145503353 26628161536 10283 33554432000 4194304 4196468 140723017388096 140265384400240 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6981] ppid=6966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6981/stat : 6981 (java) S 6966 6966 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145503356 26628161536 10283 33554432000 4194304 4196468 140723017388096 140265383348560 140266259146651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6982] ppid=6966 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/6968/task/6982/stat : 6982 (java) R 6966 6966 6612 0 -1 1077944384 595 0 0 0 2 0 0 0 20 0 20 0 145503356 26628161536 10283 33554432000 4194304 4196468 140723017388096 140265382295920 140266259139202 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6983] ppid=6966 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/6968/task/6983/stat : 6983 (java) R 6966 6966 6612 0 -1 1077944384 208 0 0 0 1 0 0 0 20 0 20 0 145503356 26628161536 10283 33554432000 4194304 4196468 140723017388096 140265381243120 140266259139202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6984] ppid=6966 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6968/task/6984/stat : 6984 (java) S 6966 6966 6612 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 145503356 26628161536 10283 33554432000 4194304 4196468 140723017388096 140265380190320 140266259139202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6985] ppid=6966 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/6968/task/6985/stat : 6985 (java) R 6966 6966 6612 0 -1 4202560 772 0 0 0 7 0 0 0 20 0 20 0 145503356 26628161536 10283 33554432000 4194304 4196468 140723017388096 140265379137520 140266259139990 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6986] ppid=6966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6986/stat : 6986 (java) S 6966 6966 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145503356 26628161536 10283 33554432000 4194304 4196468 140723017388096 140264455269472 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6987] ppid=6966 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6968/task/6987/stat : 6987 (java) S 6966 6966 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145503356 26628161536 10283 33554432000 4194304 4196468 140723017388096 140264454216752 140266259139202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 42512 KiB

[startup+0.309883 s]*
/proc/loadavg: 3.81 6.63 7.66 3/200 6987
/proc/meminfo: memFree=26174124/32770624 swapFree=67108860/67108860
[pid=6966] ppid=6963 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/6966/stat : 6966 (xcsp3-exec) S 6963 6966 6612 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145503350 9740288 345 33554432000 4194304 5098028 140722870254304 140722870252408 140563504267900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23224320 140722870256740 140722870256951 140722870256951 140722870259691 0
/proc/6966/statm: 2378 345 289 221 0 87 0
[pid=6968] ppid=6966 vsize=26004064 memory=46300 CPUtime=0.5 cores=0-7
/proc/6968/stat : 6968 (java) S 6966 6966 6612 0 -1 1077944320 9276 0 0 0 48 2 0 0 20 0 20 0 145503350 26628161536 11575 33554432000 4194304 4196468 140723017388096 140723017370640 140266259128055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
/proc/6968/statm: 6501016 11575 3113 1 0 6488269 0
[pid=6968/tid=6969] ppid=6966 vsize=26004064 memory=8112282956445269571 CPUtime=0.28 cores=0-7
/proc/6968/task/6969/stat : 6969 (java) R 6966 6966 6612 0 -1 4202560 6063 0 0 0 27 1 0 0 20 0 20 0 145503350 26628161536 11575 33554432000 4194304 4196468 140723017388096 140266263367280 140265864185089 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6970] ppid=6966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6970/stat : 6970 (java) S 6966 6966 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145503351 26628161536 11575 33554432000 4194304 4196468 140723017388096 140266211749008 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6971] ppid=6966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6971/stat : 6971 (java) S 6966 6966 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145503351 26628161536 11575 33554432000 4194304 4196468 140723017388096 140266210696208 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6972] ppid=6966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6972/stat : 6972 (java) S 6966 6966 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145503351 26628161536 11575 33554432000 4194304 4196468 140723017388096 140266209643408 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6973] ppid=6966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6973/stat : 6973 (java) S 6966 6966 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145503351 26628161536 11575 33554432000 4194304 4196468 140723017388096 140266208590608 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6974] ppid=6966 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/6968/task/6974/stat : 6974 (java) S 6966 6966 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145503351 26628161536 11575 33554432000 4194304 4196468 140723017388096 140266207537808 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6975] ppid=6966 vsize=26004064 memory=140616222733231 CPUtime=0 cores=0-7
/proc/6968/task/6975/stat : 6975 (java) S 6966 6966 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145503351 26628161536 11575 33554432000 4194304 4196468 140723017388096 140266206485008 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6976] ppid=6966 vsize=26004064 memory=140616222735536 CPUtime=0 cores=0-7
/proc/6968/task/6976/stat : 6976 (java) S 6966 6966 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145503351 26628161536 11575 33554432000 4194304 4196468 140723017388096 140266205432208 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6977] ppid=6966 vsize=26004064 memory=140616222737840 CPUtime=0 cores=0-7
/proc/6968/task/6977/stat : 6977 (java) S 6966 6966 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145503351 26628161536 11575 33554432000 4194304 4196468 140723017388096 140266204379408 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6978] ppid=6966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6978/stat : 6978 (java) S 6966 6966 6612 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 145503353 26628161536 11575 33554432000 4194304 4196468 140723017388096 140265386507120 140266259139202 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6979] ppid=6966 vsize=26004064 memory=281232445482640 CPUtime=0 cores=0-7
/proc/6968/task/6979/stat : 6979 (java) S 6966 6966 6612 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 145503353 26628161536 11575 33554432000 4194304 4196468 140723017388096 140265385453088 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6980] ppid=6966 vsize=26004064 memory=281232445489552 CPUtime=0 cores=0-7
/proc/6968/task/6980/stat : 6980 (java) S 6966 6966 6612 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 145503353 26628161536 11575 33554432000 4194304 4196468 140723017388096 140265384400240 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6981] ppid=6966 vsize=26004064 memory=281232445430832 CPUtime=0 cores=0-7
/proc/6968/task/6981/stat : 6981 (java) S 6966 6966 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145503356 26628161536 11575 33554432000 4194304 4196468 140723017388096 140265383348560 140266259146651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6982] ppid=6966 vsize=26004064 memory=281232445503376 CPUtime=0.03 cores=0-7
/proc/6968/task/6982/stat : 6982 (java) R 6966 6966 6612 0 -1 4202560 681 0 0 0 3 0 0 0 20 0 20 0 145503356 26628161536 11575 33554432000 4194304 4196468 140723017388096 140265382295920 140266259149402 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6983] ppid=6966 vsize=26004064 memory=281232445510288 CPUtime=0.03 cores=0-7
/proc/6968/task/6983/stat : 6983 (java) S 6966 6966 6612 0 -1 1077944384 250 0 0 0 3 0 0 0 20 0 20 0 145503356 26628161536 11575 33554432000 4194304 4196468 140723017388096 140265381243120 140266259139202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6984] ppid=6966 vsize=26004064 memory=281232445507984 CPUtime=0 cores=0-7
/proc/6968/task/6984/stat : 6984 (java) S 6966 6966 6612 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 20 0 145503356 26628161536 11575 33554432000 4194304 4196468 140723017388096 140265380190320 140266259139202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6985] ppid=6966 vsize=26004064 memory=281232445524144 CPUtime=0.12 cores=0-7
/proc/6968/task/6985/stat : 6985 (java) R 6966 6966 6612 0 -1 4202560 892 0 0 0 12 0 0 0 20 0 20 0 145503356 26628161536 12087 33554432000 4194304 4196468 140723017388096 140265379134624 140266243171685 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6986] ppid=6966 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6986/stat : 6986 (java) S 6966 6966 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145503356 26628161536 12087 33554432000 4194304 4196468 140723017388096 140264455269472 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6987] ppid=6966 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6968/task/6987/stat : 6987 (java) S 6966 6966 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145503356 26628161536 12087 33554432000 4194304 4196468 140723017388096 140264454216752 140266259139202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47680 KiB

[startup+0.701037 s]
/proc/loadavg: 3.81 6.63 7.66 5/200 6987
/proc/meminfo: memFree=26146704/32770624 swapFree=67108860/67108860
[pid=6966] ppid=6963 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/6966/stat : 6966 (xcsp3-exec) S 6963 6966 6612 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145503350 9740288 345 33554432000 4194304 5098028 140722870254304 140722870252408 140563504267900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23224320 140722870256740 140722870256951 140722870256951 140722870259691 0
/proc/6966/statm: 2378 345 289 221 0 87 0
[pid=6968] ppid=6966 vsize=26006188 memory=128952 CPUtime=2.08 cores=0-7
/proc/6968/stat : 6968 (java) S 6966 6966 6612 0 -1 1077944320 14094 0 0 0 203 5 0 0 20 0 20 0 145503350 26630336512 32238 33554432000 4194304 4196468 140723017388096 140723017370640 140266259128055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
/proc/6968/statm: 6501547 32238 3204 1 0 6488781 0
[pid=6968/tid=6969] ppid=6966 vsize=26006188 memory=281232445882032 CPUtime=0.67 cores=0-7
/proc/6968/task/6969/stat : 6969 (java) R 6966 6966 6612 0 -1 4202560 6556 0 0 0 64 3 0 0 20 0 20 0 145503350 26630336512 32238 33554432000 4194304 4196468 140723017388096 140266263365344 140265867675963 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6970] ppid=6966 vsize=26006188 memory=140616222942064 CPUtime=0 cores=0-7
/proc/6968/task/6970/stat : 6970 (java) S 6966 6966 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145503351 26630336512 32238 33554432000 4194304 4196468 140723017388096 140266211749008 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6971] ppid=6966 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6971/stat : 6971 (java) S 6966 6966 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 145503351 26630336512 32238 33554432000 4194304 4196468 140723017388096 140266210696208 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6972] ppid=6966 vsize=26006188 memory=1004 CPUtime=0 cores=0-7
/proc/6968/task/6972/stat : 6972 (java) S 6966 6966 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 145503351 26630336512 32238 33554432000 4194304 4196468 140723017388096 140266209643408 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0

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

[pid=6968/tid=6985] ppid=6966 vsize=26538700 memory=5793975900968212583 CPUtime=0.59 cores=0-7
/proc/6968/task/6985/stat : 6985 (java) S 6966 6966 6612 0 -1 1077944384 2469 0 0 0 58 1 0 0 20 0 28 0 145503356 27175628800 52634 33554432000 4194304 4196468 140723017388096 140265379137520 140266259139202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6986] ppid=6966 vsize=26538700 memory=7020379979836516180 CPUtime=0 cores=0-7
/proc/6968/task/6986/stat : 6986 (java) S 6966 6966 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145503356 27175628800 52634 33554432000 4194304 4196468 140723017388096 140264455269472 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6987] ppid=6966 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6987/stat : 6987 (java) S 6966 6966 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145503356 27175628800 52634 33554432000 4194304 4196468 140723017388096 140264454216752 140266259139202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6988] ppid=6966 vsize=26538700 memory=4913442587763 CPUtime=2.43 cores=0-7
/proc/6968/task/6988/stat : 6988 (java) R 6966 6966 6612 0 -1 4202560 63 0 0 0 243 0 0 0 20 0 28 0 145503443 27175628800 52634 33554432000 4194304 4196468 140723017388096 140264446700496 140265870648016 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6989] ppid=6966 vsize=26538700 memory=0 CPUtime=2.29 cores=0-7
/proc/6968/task/6989/stat : 6989 (java) R 6966 6966 6612 0 -1 4202560 44 0 0 0 229 0 0 0 20 0 28 0 145503443 27175628800 52634 33554432000 4194304 4196468 140723017388096 140264445648592 140265870648526 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6990] ppid=6966 vsize=26538700 memory=0 CPUtime=2.28 cores=0-7
/proc/6968/task/6990/stat : 6990 (java) R 6966 6966 6612 0 -1 4202560 46 0 0 0 228 0 0 0 20 0 28 0 145503443 27175628800 52634 33554432000 4194304 4196468 140723017388096 140264444596392 140265870270478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6991] ppid=6966 vsize=26538700 memory=0 CPUtime=2.43 cores=0-7
/proc/6968/task/6991/stat : 6991 (java) R 6966 6966 6612 0 -1 4202560 41 0 0 0 243 0 0 0 20 0 28 0 145503443 27175628800 52634 33554432000 4194304 4196468 140723017388096 140264443543456 140265871549556 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6992] ppid=6966 vsize=26538700 memory=0 CPUtime=2.37 cores=0-7
/proc/6968/task/6992/stat : 6992 (java) R 6966 6966 6612 0 -1 4202560 30 0 0 0 237 0 0 0 20 0 28 0 145503443 27175628800 52634 33554432000 4194304 4196468 140723017388096 140264442490560 140265871549940 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6993] ppid=6966 vsize=26538700 memory=0 CPUtime=2.29 cores=0-7
/proc/6968/task/6993/stat : 6993 (java) R 6966 6966 6612 0 -1 4202560 76 0 0 0 229 0 0 0 20 0 28 0 145503443 27175628800 52634 33554432000 4194304 4196468 140723017388096 140264441437504 140265869905281 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6994] ppid=6966 vsize=26538700 memory=0 CPUtime=2.34 cores=0-7
/proc/6968/task/6994/stat : 6994 (java) R 6966 6966 6612 0 -1 4202560 34 0 0 0 234 0 0 0 20 0 28 0 145503443 27175628800 52634 33554432000 4194304 4196468 140723017388096 140264440385728 140265870649274 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6995] ppid=6966 vsize=26538700 memory=0 CPUtime=2.51 cores=0-7
/proc/6968/task/6995/stat : 6995 (java) R 6966 6966 6612 0 -1 4202560 42 0 0 0 251 0 0 0 20 0 28 0 145503443 27175628800 52634 33554432000 4194304 4196468 140723017388096 140264439333184 140265869906028 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
Current children cumulated CPU time: 24.18 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 211916 KiB

[startup+4.00121 s]*
/proc/loadavg: 4.31 6.69 7.68 9/208 6995
/proc/meminfo: memFree=26009936/32770624 swapFree=67108860/67108860
[pid=6966] ppid=6963 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/6966/stat : 6966 (xcsp3-exec) S 6963 6966 6612 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145503350 9740288 345 33554432000 4194304 5098028 140722870254304 140722870252408 140563504267900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23224320 140722870256740 140722870256951 140722870256951 140722870259691 0
/proc/6966/statm: 2378 345 289 221 0 87 0
[pid=6968] ppid=6966 vsize=26538700 memory=210536 CPUtime=27.43 cores=0-7
/proc/6968/stat : 6968 (java) S 6966 6966 6612 0 -1 1077944320 17084 0 0 0 2733 10 0 0 20 0 28 0 145503350 27175628800 52634 33554432000 4194304 4196468 140723017388096 140723017370640 140266259128055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
/proc/6968/statm: 6634675 52634 3246 1 0 6621909 0
[pid=6968/tid=6969] ppid=6966 vsize=26538700 memory=576567874760998942 CPUtime=0.89 cores=0-7
/proc/6968/task/6969/stat : 6969 (java) S 6966 6966 6612 0 -1 1077944384 6746 0 0 0 85 4 0 0 20 0 28 0 145503350 27175628800 52634 33554432000 4194304 4196468 140723017388096 140266263368832 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6970] ppid=6966 vsize=26538700 memory=297237821075489089 CPUtime=0 cores=0-7
/proc/6968/task/6970/stat : 6970 (java) S 6966 6966 6612 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 145503351 27175628800 52634 33554432000 4194304 4196468 140723017388096 140266211749008 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6971] ppid=6966 vsize=26538700 memory=15818906623286024 CPUtime=0 cores=0-7
/proc/6968/task/6971/stat : 6971 (java) S 6966 6966 6612 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 145503351 27175628800 52634 33554432000 4194304 4196468 140723017388096 140266210696208 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6972] ppid=6966 vsize=26538700 memory=5792262887553650768 CPUtime=0 cores=0-7
/proc/6968/task/6972/stat : 6972 (java) S 6966 6966 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145503351 27175628800 52634 33554432000 4194304 4196468 140723017388096 140266209643408 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6973] ppid=6966 vsize=26538700 memory=5792262887553650768 CPUtime=0 cores=0-7
/proc/6968/task/6973/stat : 6973 (java) S 6966 6966 6612 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 145503351 27175628800 52634 33554432000 4194304 4196468 140723017388096 140266208590608 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6974] ppid=6966 vsize=26538700 memory=5859291143976669264 CPUtime=0 cores=0-7
/proc/6968/task/6974/stat : 6974 (java) S 6966 6966 6612 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 145503351 27175628800 52634 33554432000 4194304 4196468 140723017388096 140266207537808 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6975] ppid=6966 vsize=26538700 memory=5931329015123562849 CPUtime=0 cores=0-7
/proc/6968/task/6975/stat : 6975 (java) S 6966 6966 6612 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 145503351 27175628800 52634 33554432000 4194304 4196468 140723017388096 140266206485008 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6976] ppid=6966 vsize=26538700 memory=5931329015123169633 CPUtime=0 cores=0-7
/proc/6968/task/6976/stat : 6976 (java) S 6966 6966 6612 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 145503351 27175628800 52634 33554432000 4194304 4196468 140723017388096 140266205432208 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6977] ppid=6966 vsize=26538700 memory=5931329015123235681 CPUtime=0 cores=0-7
/proc/6968/task/6977/stat : 6977 (java) S 6966 6966 6612 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 145503351 27175628800 52634 33554432000 4194304 4196468 140723017388096 140266204379408 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6978] ppid=6966 vsize=26538700 memory=7517159033926609493 CPUtime=0 cores=0-7
/proc/6968/task/6978/stat : 6978 (java) S 6966 6966 6612 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 145503353 27175628800 52634 33554432000 4194304 4196468 140723017388096 140265386507120 140266259139202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6979] ppid=6966 vsize=26538700 memory=5859291143976669264 CPUtime=0 cores=0-7
/proc/6968/task/6979/stat : 6979 (java) S 6966 6966 6612 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 145503353 27175628800 52634 33554432000 4194304 4196468 140723017388096 140265385453088 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6980] ppid=6966 vsize=26538700 memory=5859291143976669264 CPUtime=0 cores=0-7
/proc/6968/task/6980/stat : 6980 (java) S 6966 6966 6612 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 145503353 27175628800 52634 33554432000 4194304 4196468 140723017388096 140265384400240 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6981] ppid=6966 vsize=26538700 memory=5859291143976669264 CPUtime=0 cores=0-7
/proc/6968/task/6981/stat : 6981 (java) S 6966 6966 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145503356 27175628800 52634 33554432000 4194304 4196468 140723017388096 140265383348560 140266259146651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6982] ppid=6966 vsize=26538700 memory=5859291143976669264 CPUtime=1.18 cores=0-7
/proc/6968/task/6982/stat : 6982 (java) S 6966 6966 6612 0 -1 1077944384 2203 0 0 0 118 0 0 0 20 0 28 0 145503356 27175628800 52634 33554432000 4194304 4196468 140723017388096 140265382295920 140266259139202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6983] ppid=6966 vsize=26538700 memory=60052232746652 CPUtime=1.1 cores=0-7
/proc/6968/task/6983/stat : 6983 (java) S 6966 6966 6612 0 -1 1077944384 1762 0 0 0 110 0 0 0 20 0 28 0 145503356 27175628800 52634 33554432000 4194304 4196468 140723017388096 140265381243120 140266259139202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6984] ppid=6966 vsize=26538700 memory=6655300316396806240 CPUtime=1.34 cores=0-7
/proc/6968/task/6984/stat : 6984 (java) S 6966 6966 6612 0 -1 1077944384 2074 0 0 0 134 0 0 0 20 0 28 0 145503356 27175628800 52634 33554432000 4194304 4196468 140723017388096 140265380190320 140266259139202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6985] ppid=6966 vsize=26538700 memory=6944656592455359580 CPUtime=0.59 cores=0-7
/proc/6968/task/6985/stat : 6985 (java) S 6966 6966 6612 0 -1 1077944384 2469 0 0 0 58 1 0 0 20 0 28 0 145503356 27175628800 52634 33554432000 4194304 4196468 140723017388096 140265379137520 140266259139202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6986] ppid=6966 vsize=26538700 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/6968/task/6986/stat : 6986 (java) S 6966 6966 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145503356 27175628800 52634 33554432000 4194304 4196468 140723017388096 140264455269472 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6987] ppid=6966 vsize=26538700 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/6968/task/6987/stat : 6987 (java) S 6966 6966 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145503356 27175628800 52634 33554432000 4194304 4196468 140723017388096 140264454216752 140266259139202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6988] ppid=6966 vsize=26538700 memory=6943526294502006880 CPUtime=2.84 cores=0-7
/proc/6968/task/6988/stat : 6988 (java) R 6966 6966 6612 0 -1 4202560 63 0 0 0 284 0 0 0 20 0 28 0 145503443 27175628800 52634 33554432000 4194304 4196468 140723017388096 140264446700496 140265871147632 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6989] ppid=6966 vsize=26538700 memory=6943526294502006880 CPUtime=2.68 cores=0-7
/proc/6968/task/6989/stat : 6989 (java) R 6966 6966 6612 0 -1 4202560 46 0 0 0 268 0 0 0 20 0 28 0 145503443 27175628800 52634 33554432000 4194304 4196468 140723017388096 140264445648592 140265871550156 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6990] ppid=6966 vsize=26538700 memory=6943526294502006880 CPUtime=2.69 cores=0-7
/proc/6968/task/6990/stat : 6990 (java) R 6966 6966 6612 0 -1 4202560 46 0 0 0 269 0 0 0 20 0 28 0 145503443 27175628800 52634 33554432000 4194304 4196468 140723017388096 140264444596392 140265869905523 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6991] ppid=6966 vsize=26538700 memory=6655300316396806240 CPUtime=2.84 cores=0-7
/proc/6968/task/6991/stat : 6991 (java) R 6966 6966 6612 0 -1 4202560 41 0 0 0 284 0 0 0 20 0 28 0 145503443 27175628800 52634 33554432000 4194304 4196468 140723017388096 140264443543592 140265870650215 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6992] ppid=6966 vsize=26538700 memory=6944656592455360604 CPUtime=2.78 cores=0-7
/proc/6968/task/6992/stat : 6992 (java) R 6966 6966 6612 0 -1 4202560 30 0 0 0 278 0 0 0 20 0 28 0 145503443 27175628800 52634 33554432000 4194304 4196468 140723017388096 140264442490560 140265870649040 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6993] ppid=6966 vsize=26538700 memory=6944656592455097440 CPUtime=2.7 cores=0-7
/proc/6968/task/6993/stat : 6993 (java) R 6966 6966 6612 0 -1 4202560 77 0 0 0 270 0 0 0 20 0 28 0 145503443 27175628800 52634 33554432000 4194304 4196468 140723017388096 140264441437640 140265871549718 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6994] ppid=6966 vsize=26538700 memory=0 CPUtime=2.75 cores=0-7
/proc/6968/task/6994/stat : 6994 (java) R 6966 6966 6612 0 -1 4202560 34 0 0 0 275 0 0 0 20 0 28 0 145503443 27175628800 52634 33554432000 4194304 4196468 140723017388096 140264440385728 140265869905318 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6995] ppid=6966 vsize=26538700 memory=0 CPUtime=2.92 cores=0-7
/proc/6968/task/6995/stat : 6995 (java) R 6966 6966 6612 0 -1 4202560 44 0 0 0 292 0 0 0 20 0 28 0 145503443 27175628800 52634 33554432000 4194304 4196468 140723017388096 140264439333184 140265870649894 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
Current children cumulated CPU time: 27.43 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 211916 KiB

[startup+4.11045 s]
/proc/loadavg: 4.31 6.69 7.68 9/208 6995
/proc/meminfo: memFree=26009936/32770624 swapFree=67108860/67108860
[pid=6966] ppid=6963 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/6966/stat : 6966 (xcsp3-exec) S 6963 6966 6612 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 145503350 9740288 345 33554432000 4194304 5098028 140722870254304 140722870252408 140563504267900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23224320 140722870256740 140722870256951 140722870256951 140722870259691 0
/proc/6966/statm: 2378 345 289 221 0 87 0
[pid=6968] ppid=6966 vsize=26538700 memory=210784 CPUtime=28.23 cores=0-7
/proc/6968/stat : 6968 (java) S 6966 6966 6612 0 -1 1077944320 17204 0 0 0 2813 10 0 0 20 0 28 0 145503350 27175628800 52696 33554432000 4194304 4196468 140723017388096 140723017370640 140266259128055 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
/proc/6968/statm: 6634675 52696 3246 1 0 6621909 0
[pid=6968/tid=6969] ppid=6966 vsize=26538700 memory=0 CPUtime=0.89 cores=0-7
/proc/6968/task/6969/stat : 6969 (java) S 6966 6966 6612 0 -1 1077944384 6746 0 0 0 85 4 0 0 20 0 28 0 145503350 27175628800 52696 33554432000 4194304 4196468 140723017388096 140266263368832 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6970] ppid=6966 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6970/stat : 6970 (java) S 6966 6966 6612 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 145503351 27175628800 52696 33554432000 4194304 4196468 140723017388096 140266211749008 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6971] ppid=6966 vsize=26538700 memory=4580 CPUtime=0 cores=0-7
/proc/6968/task/6971/stat : 6971 (java) S 6966 6966 6612 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 145503351 27175628800 52696 33554432000 4194304 4196468 140723017388096 140266210696208 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6972] ppid=6966 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/6968/task/6972/stat : 6972 (java) S 6966 6966 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145503351 27175628800 52696 33554432000 4194304 4196468 140723017388096 140266209643408 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6973] ppid=6966 vsize=26538700 memory=210536 CPUtime=0 cores=0-7
/proc/6968/task/6973/stat : 6973 (java) S 6966 6966 6612 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 145503351 27175628800 52696 33554432000 4194304 4196468 140723017388096 140266208590608 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6974] ppid=6966 vsize=26538700 memory=7019467087990503734 CPUtime=0 cores=0-7
/proc/6968/task/6974/stat : 6974 (java) S 6966 6966 6612 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 145503351 27175628800 52696 33554432000 4194304 4196468 140723017388096 140266207537808 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6975] ppid=6966 vsize=26538700 memory=55 CPUtime=0 cores=0-7
/proc/6968/task/6975/stat : 6975 (java) S 6966 6966 6612 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 145503351 27175628800 52696 33554432000 4194304 4196468 140723017388096 140266206485008 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6976] ppid=6966 vsize=26538700 memory=4279073131472642624 CPUtime=0 cores=0-7
/proc/6968/task/6976/stat : 6976 (java) S 6966 6966 6612 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 145503351 27175628800 52696 33554432000 4194304 4196468 140723017388096 140266205432208 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6977] ppid=6966 vsize=26538700 memory=7517440526402349161 CPUtime=0 cores=0-7
/proc/6968/task/6977/stat : 6977 (java) S 6966 6966 6612 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 145503351 27175628800 52696 33554432000 4194304 4196468 140723017388096 140266204379408 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6978] ppid=6966 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6978/stat : 6978 (java) R 6966 6966 6612 0 -1 4202560 84 0 0 0 0 0 0 0 20 0 28 0 145503353 27175628800 52696 33554432000 4194304 4196468 140723017388096 140265386507256 140266251756263 0 0 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6979] ppid=6966 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6979/stat : 6979 (java) S 6966 6966 6612 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 145503353 27175628800 52696 33554432000 4194304 4196468 140723017388096 140265385453088 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6980] ppid=6966 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6980/stat : 6980 (java) S 6966 6966 6612 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 145503353 27175628800 52696 33554432000 4194304 4196468 140723017388096 140265384400240 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6981] ppid=6966 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6981/stat : 6981 (java) S 6966 6966 6612 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 145503356 27175628800 52696 33554432000 4194304 4196468 140723017388096 140265383348560 140266259146651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6982] ppid=6966 vsize=26538700 memory=140620639655551 CPUtime=1.18 cores=0-7
/proc/6968/task/6982/stat : 6982 (java) S 6966 6966 6612 0 -1 1077944384 2203 0 0 0 118 0 0 0 20 0 28 0 145503356 27175628800 52696 33554432000 4194304 4196468 140723017388096 140265382295920 140266259139202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6983] ppid=6966 vsize=26538700 memory=6656426216303648864 CPUtime=1.1 cores=0-7
/proc/6968/task/6983/stat : 6983 (java) S 6966 6966 6612 0 -1 1077944384 1762 0 0 0 110 0 0 0 20 0 28 0 145503356 27175628800 52696 33554432000 4194304 4196468 140723017388096 140265381243120 140266259139202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6984] ppid=6966 vsize=26538700 memory=6944656592455359580 CPUtime=1.34 cores=0-7
/proc/6968/task/6984/stat : 6984 (java) S 6966 6966 6612 0 -1 1077944384 2074 0 0 0 134 0 0 0 20 0 28 0 145503356 27175628800 52696 33554432000 4194304 4196468 140723017388096 140265380190320 140266259139202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6985] ppid=6966 vsize=26538700 memory=-7240599211820661557 CPUtime=0.59 cores=0-7
/proc/6968/task/6985/stat : 6985 (java) S 6966 6966 6612 0 -1 1077944384 2469 0 0 0 58 1 0 0 20 0 28 0 145503356 27175628800 52696 33554432000 4194304 4196468 140723017388096 140265379137520 140266259139202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6986] ppid=6966 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6986/stat : 6986 (java) S 6966 6966 6612 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 145503356 27175628800 52696 33554432000 4194304 4196468 140723017388096 140264455269472 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6987] ppid=6966 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/6968/task/6987/stat : 6987 (java) S 6966 6966 6612 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 145503356 27175628800 52696 33554432000 4194304 4196468 140723017388096 140264454216752 140266259139202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6988] ppid=6966 vsize=26538700 memory=0 CPUtime=2.94 cores=0-7
/proc/6968/task/6988/stat : 6988 (java) S 6966 6966 6612 0 -1 1077944384 70 0 0 0 294 0 0 0 20 0 28 0 145503443 27175628800 52696 33554432000 4194304 4196468 140723017388096 140264446700752 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6989] ppid=6966 vsize=26538700 memory=0 CPUtime=2.78 cores=0-7
/proc/6968/task/6989/stat : 6989 (java) R 6966 6966 6612 0 -1 4202560 60 0 0 0 278 0 0 0 20 0 28 0 145503443 27175628800 52696 33554432000 4194304 4196468 140723017388096 140264445648592 140265870650728 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6990] ppid=6966 vsize=26538700 memory=0 CPUtime=2.79 cores=0-7
/proc/6968/task/6990/stat : 6990 (java) S 6966 6966 6612 0 -1 1077944384 71 0 0 0 279 0 0 0 20 0 28 0 145503443 27175628800 52696 33554432000 4194304 4196468 140723017388096 140264444595904 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6991] ppid=6966 vsize=26538700 memory=56 CPUtime=2.93 cores=0-7
/proc/6968/task/6991/stat : 6991 (java) S 6966 6966 6612 0 -1 1077944384 52 0 0 0 293 0 0 0 20 0 28 0 145503443 27175628800 52696 33554432000 4194304 4196468 140723017388096 140264443543360 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6992] ppid=6966 vsize=26538700 memory=3118 CPUtime=2.88 cores=0-7
/proc/6968/task/6992/stat : 6992 (java) S 6966 6966 6612 0 -1 1077944384 46 0 0 0 288 0 0 0 20 0 28 0 145503443 27175628800 52696 33554432000 4194304 4196468 140723017388096 140264442490560 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6993] ppid=6966 vsize=26538700 memory=28099 CPUtime=2.8 cores=0-7
/proc/6968/task/6993/stat : 6993 (java) S 6966 6966 6612 0 -1 1077944384 89 0 0 0 280 0 0 0 20 0 28 0 145503443 27175628800 52696 33554432000 4194304 4196468 140723017388096 140264441437760 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6994] ppid=6966 vsize=26538700 memory=0 CPUtime=2.85 cores=0-7
/proc/6968/task/6994/stat : 6994 (java) S 6966 6966 6612 0 -1 1077944384 45 0 0 0 285 0 0 0 20 0 28 0 145503443 27175628800 52696 33554432000 4194304 4196468 140723017388096 140264440385984 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
[pid=6968/tid=6995] ppid=6966 vsize=26538700 memory=0 CPUtime=3.02 cores=0-7
/proc/6968/task/6995/stat : 6995 (java) S 6966 6966 6612 0 -1 1077944384 64 0 0 0 302 0 0 0 20 0 28 0 145503443 27175628800 52696 33554432000 4194304 4196468 140723017388096 140264439332928 140266259138261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31145984 140723017393298 140723017393475 140723017393475 140723017396175 0
Current children cumulated CPU time: 28.23 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 212164 KiB

Child status: 0
Real time (s): 4.12548
CPU time (s): 28.2894
CPU user time (s): 28.1743
CPU system time (s): 0.115115
CPU usage (%): 685.724
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 212164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.1743
system time used= 0.115115
maximum resident set size= 211980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18565
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2908
involuntary context switches= 574


# summary of solver processes directly reported to runsolver:
#   pid: 6966
#   total CPU time (s): 28.2894
#   total CPU user time (s): 28.1743
#   total CPU system time (s): 0.115115

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.059076 second user time and 0.086942 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-19 08:14:57
IDJOB=4280993
IDBENCH=121925
IDSOLVER=2675
FILE ID=node112/4280993-1503124157
RUNJOBID= node112-1503120685-6639
PBS_JOBID= 20630770
Free space on /tmp= 61856 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Random/Random-D-t020/rand-2-40-11-414-020-23.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-4280993-1503124157/watcher-4280993-1503124157 -o /tmp/evaluation-result-4280993-1503124157/solver-4280993-1503124157 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503120685-6639 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1349512837 HOME/instance-4280993-1503124157.xml

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

MD5SUM BENCH= 1a4e26af447c68eb67ea8607a589b7af
RANDOM SEED=1349512837

node112.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.24
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.24
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.24
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.24
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:        26207040 kB
MemAvailable:   31969436 kB
Buffers:          244540 kB
Cached:          5807528 kB
SwapCached:            0 kB
Active:          1090592 kB
Inactive:        5015544 kB
Active(anon):       5504 kB
Inactive(anon):    84428 kB
Active(file):    1085088 kB
Inactive(file):  4931116 kB
Unevictable:        7840 kB
Mlocked:            7840 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7500 kB
Writeback:             0 kB
AnonPages:        177780 kB
Mapped:            50620 kB
Shmem:             33416 kB
Slab:             151100 kB
SReclaimable:     124056 kB
SUnreclaim:        27044 kB
KernelStack:        3696 kB
PageTables:         6024 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 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= 61848 MiB
End job on node112 at 2017-08-19 08:15:01