Trace number 4399843

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-16 parallelOPT7 124.265 16.8842

General information on the benchmark

NamePeacableArmies/
PeacableArmies-m1-07_c18.xml
MD5SUM93689e7972bcd89c8c0248fcf1fc8ef9
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark22.5888
Satisfiable
(Un)Satisfiability was proved
Number of variables98
Number of constraints1002
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":98}]
Minimum variable degree20
Maximum variable degree27
Distribution of variable degrees[{"degree":20,"count":24},{"degree":21,"count":24},{"degree":22,"count":16},{"degree":23,"count":16},{"degree":24,"count":8},{"degree":25,"count":8},{"degree":26,"count":1},{"degree":27,"count":1}]
Minimum constraint arity2
Maximum constraint arity98
Distribution of constraint arities[{"arity":2,"count":1001},{"arity":98,"count":1}]
Number of extensional constraints0
Number of intensional constraints1001
Distribution of constraint types[{"type":"intension","count":1001},{"type":"sum","count":1}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399843-1568718219.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4399843-1568718219.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
4.27/1.39	c solve instance...
4.69/1.44	o 4 
4.69/1.46	o 5 
4.69/1.46	o 6 
6.08/1.61	o 7 
123.68/16.87	s OPTIMUM FOUND
123.68/16.87	v <instantiation>
123.68/16.87	v 	<list>b[0][0] b[0][1] b[0][2] b[0][3] b[0][4] b[0][5] b[0][6] b[1][0] b[1][1] b[1][2] b[1][3] b[1][4] b[1][5] b[1][6] b[2][0] b[2][1] b[2][2] b[2][3] b[2][4] b[2][5] b[2][6] b[3][0] b[3][1] b[3][2] b[3][3] b[3][4] b[3][5] b[3][6] b[4][0] b[4][1] b[4][2] b[4][3] b[4][4] b[4][5] b[4][6] b[5][0] b[5][1] b[5][2] b[5][3] b[5][4] b[5][5] b[5][6] b[6][0] b[6][1] b[6][2] b[6][3] b[6][4] b[6][5] b[6][6] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] </list>
123.68/16.87	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
123.68/16.87	v </instantiation>

Verifier Data 

OK	7

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399843-1568718219/watcher-4399843-1568718219 -o /tmp/evaluation-result-4399843-1568718219/solver-4399843-1568718219 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568711398-2678 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 321739757 HOME/instance-4399843-1568718219.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 threadsolver pid=4243, runsolver pid=4240
Current StackSize limit: 8192 KiB


[startup+0.100188 s]*
/proc/loadavg: 7.76 8.31 8.29 3/217 4264
/proc/meminfo: memFree=30997832/32770624 swapFree=67004576/67108860
[pid=4243] ppid=4240 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/4243/stat : 4243 (xcsp3-exec) S 4240 4243 2651 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 448061511 115843072 364 33554432000 4194304 5098028 140726248388000 140726248386104 140344799167100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33296384 140726248395638 140726248395881 140726248395881 140726248398794 0
/proc/4243/statm: 28282 364 305 221 0 87 0
[pid=4245] ppid=4243 vsize=28227396 memory=29016 CPUtime=0.12 cores=0-7
/proc/4245/stat : 4245 (java) S 4243 4243 2651 0 -1 1077944320 5732 0 0 0 11 1 0 0 20 0 20 0 448061511 28904853504 7254 33554432000 4194304 4196468 140729083228736 140729083211280 140682904821495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
/proc/4245/statm: 7056849 7254 3121 1 0 7019032 0
[pid=4245/tid=4246] ppid=4243 vsize=28227396 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/4245/task/4246/stat : 4246 (java) R 4243 4243 2651 0 -1 4202560 3641 0 0 0 8 1 0 0 20 0 20 0 448061512 28904853504 7254 33554432000 4194304 4196468 140729083228736 140682909051904 140682888865125 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4247] ppid=4243 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/4245/task/4247/stat : 4247 (java) S 4243 4243 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448061512 28904853504 7254 33554432000 4194304 4196468 140729083228736 140682863581712 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4248] ppid=4243 vsize=28227396 memory=140466113918592 CPUtime=0 cores=0-7
/proc/4245/task/4248/stat : 4248 (java) S 4243 4243 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448061512 28904853504 7254 33554432000 4194304 4196468 140729083228736 140682454903440 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4249] ppid=4243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4249/stat : 4249 (java) S 4243 4243 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448061512 28904853504 7254 33554432000 4194304 4196468 140729083228736 140682453850384 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4250] ppid=4243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4250/stat : 4250 (java) S 4243 4243 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448061512 28904853504 7254 33554432000 4194304 4196468 140729083228736 140682452797840 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4251] ppid=4243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4251/stat : 4251 (java) S 4243 4243 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448061512 28904853504 7254 33554432000 4194304 4196468 140729083228736 140682451745808 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4252] ppid=4243 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4245/task/4252/stat : 4252 (java) S 4243 4243 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448061513 28904853504 7254 33554432000 4194304 4196468 140729083228736 140682450693264 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4253] ppid=4243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4253/stat : 4253 (java) S 4243 4243 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448061513 28904853504 7254 33554432000 4194304 4196468 140729083228736 140682449640208 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4254] ppid=4243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4254/stat : 4254 (java) S 4243 4243 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448061513 28904853504 7254 33554432000 4194304 4196468 140729083228736 140682448587664 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4255] ppid=4243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4255/stat : 4255 (java) S 4243 4243 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448061514 28904853504 7254 33554432000 4194304 4196468 140729083228736 140681301764336 140682904832642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4256] ppid=4243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4256/stat : 4256 (java) S 4243 4243 2651 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448061514 28904853504 7254 33554432000 4194304 4196468 140729083228736 140681300710560 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4257] ppid=4243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4257/stat : 4257 (java) S 4243 4243 2651 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448061515 28904853504 7254 33554432000 4194304 4196468 140729083228736 140681299657456 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4258] ppid=4243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4258/stat : 4258 (java) S 4243 4243 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448061517 28904853504 7254 33554432000 4194304 4196468 140729083228736 140681298606032 140682904840091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4259] ppid=4243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4259/stat : 4259 (java) S 4243 4243 2651 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 448061517 28904853504 7254 33554432000 4194304 4196468 140729083228736 140681297554160 140682904832642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4260] ppid=4243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4260/stat : 4260 (java) R 4243 4243 2651 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 448061517 28904853504 7254 33554432000 4194304 4196468 140729083228736 140681296501616 140682890885604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4261] ppid=4243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4261/stat : 4261 (java) S 4243 4243 2651 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 448061517 28904853504 7254 33554432000 4194304 4196468 140729083228736 140681295448560 140682904832642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4262] ppid=4243 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/4245/task/4262/stat : 4262 (java) R 4243 4243 2651 0 -1 4202560 343 0 0 0 2 0 0 0 20 0 20 0 448061517 28904853504 7254 33554432000 4194304 4196468 140729083228736 140681294396016 140682904842842 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4263] ppid=4243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4263/stat : 4263 (java) S 4243 4243 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448061517 28904853504 7254 33554432000 4194304 4196468 140729083228736 140681293343200 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4264] ppid=4243 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4245/task/4264/stat : 4264 (java) S 4243 4243 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448061518 28904853504 7254 33554432000 4194304 4196468 140729083228736 140681292290736 140682904832642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30472 KiB

[startup+0.210923 s]*
/proc/loadavg: 7.76 8.31 8.29 3/217 4264
/proc/meminfo: memFree=30984096/32770624 swapFree=67004576/67108860
[pid=4243] ppid=4240 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/4243/stat : 4243 (xcsp3-exec) S 4240 4243 2651 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 448061511 115843072 364 33554432000 4194304 5098028 140726248388000 140726248386104 140344799167100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33296384 140726248395638 140726248395881 140726248395881 140726248398794 0
/proc/4243/statm: 28282 364 305 221 0 87 0
[pid=4245] ppid=4243 vsize=28227396 memory=41180 CPUtime=0.34 cores=0-7
/proc/4245/stat : 4245 (java) S 4243 4243 2651 0 -1 1077944320 9550 0 0 0 31 3 0 0 20 0 20 0 448061511 28904853504 10295 33554432000 4194304 4196468 140729083228736 140729083211280 140682904821495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
/proc/4245/statm: 7056849 10295 3272 1 0 7019032 0
[pid=4245/tid=4246] ppid=4243 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/4245/task/4246/stat : 4246 (java) R 4243 4243 2651 0 -1 4202560 6663 0 0 0 18 2 0 0 20 0 20 0 448061512 28904853504 10295 33554432000 4194304 4196468 140729083228736 140682909059104 140682904833430 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4247] ppid=4243 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/4245/task/4247/stat : 4247 (java) S 4243 4243 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448061512 28904853504 10295 33554432000 4194304 4196468 140729083228736 140682863581712 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4248] ppid=4243 vsize=28227396 memory=140466113923094 CPUtime=0 cores=0-7
/proc/4245/task/4248/stat : 4248 (java) S 4243 4243 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448061512 28904853504 10295 33554432000 4194304 4196468 140729083228736 140682454903440 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4249] ppid=4243 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4245/task/4249/stat : 4249 (java) S 4243 4243 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448061512 28904853504 10295 33554432000 4194304 4196468 140729083228736 140682453850384 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4250] ppid=4243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4250/stat : 4250 (java) S 4243 4243 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448061512 28904853504 10295 33554432000 4194304 4196468 140729083228736 140682452797840 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4251] ppid=4243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4251/stat : 4251 (java) S 4243 4243 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448061512 28904853504 10295 33554432000 4194304 4196468 140729083228736 140682451745808 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4252] ppid=4243 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4245/task/4252/stat : 4252 (java) S 4243 4243 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448061513 28904853504 10295 33554432000 4194304 4196468 140729083228736 140682450693264 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4253] ppid=4243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4253/stat : 4253 (java) S 4243 4243 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448061513 28904853504 10295 33554432000 4194304 4196468 140729083228736 140682449640208 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4254] ppid=4243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4254/stat : 4254 (java) S 4243 4243 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448061513 28904853504 10295 33554432000 4194304 4196468 140729083228736 140682448587664 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4255] ppid=4243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4255/stat : 4255 (java) S 4243 4243 2651 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 448061514 28904853504 10295 33554432000 4194304 4196468 140729083228736 140681301764336 140682904832642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4256] ppid=4243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4256/stat : 4256 (java) S 4243 4243 2651 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448061514 28904853504 10295 33554432000 4194304 4196468 140729083228736 140681300710560 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4257] ppid=4243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4257/stat : 4257 (java) S 4243 4243 2651 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448061515 28904853504 10295 33554432000 4194304 4196468 140729083228736 140681299657456 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4258] ppid=4243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4258/stat : 4258 (java) S 4243 4243 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448061517 28904853504 10295 33554432000 4194304 4196468 140729083228736 140681298606032 140682904840091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4259] ppid=4243 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/4245/task/4259/stat : 4259 (java) S 4243 4243 2651 0 -1 1077944384 557 0 0 0 2 0 0 0 20 0 20 0 448061517 28904853504 10295 33554432000 4194304 4196468 140729083228736 140681297554160 140682904832642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4260] ppid=4243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4260/stat : 4260 (java) S 4243 4243 2651 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 448061517 28904853504 10295 33554432000 4194304 4196468 140729083228736 140681296501616 140682904832642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4261] ppid=4243 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/4245/task/4261/stat : 4261 (java) S 4243 4243 2651 0 -1 1077944384 215 0 0 0 1 0 0 0 20 0 20 0 448061517 28904853504 10295 33554432000 4194304 4196468 140729083228736 140681295448560 140682904832642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4262] ppid=4243 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/4245/task/4262/stat : 4262 (java) R 4243 4243 2651 0 -1 4202560 745 0 0 0 7 0 0 0 20 0 20 0 448061517 28904853504 10295 33554432000 4194304 4196468 140729083228736 140681294396016 140682882813347 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4263] ppid=4243 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4263/stat : 4263 (java) S 4243 4243 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448061517 28904853504 10295 33554432000 4194304 4196468 140729083228736 140681293343200 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4264] ppid=4243 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4245/task/4264/stat : 4264 (java) S 4243 4243 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448061518 28904853504 10295 33554432000 4194304 4196468 140729083228736 140681292290736 140682904832642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42636 KiB

[startup+0.321346 s]*
/proc/loadavg: 7.76 8.31 8.29 3/217 4264
/proc/meminfo: memFree=30977176/32770624 swapFree=67004576/67108860
[pid=4243] ppid=4240 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/4243/stat : 4243 (xcsp3-exec) S 4240 4243 2651 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 448061511 115843072 364 33554432000 4194304 5098028 140726248388000 140726248386104 140344799167100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33296384 140726248395638 140726248395881 140726248395881 140726248398794 0
/proc/4243/statm: 28282 364 305 221 0 87 0
[pid=4245] ppid=4243 vsize=28231652 memory=50748 CPUtime=0.54 cores=0-7
/proc/4245/stat : 4245 (java) S 4243 4243 2651 0 -1 1077944320 10996 0 0 0 50 4 0 0 20 0 20 0 448061511 28909211648 12687 33554432000 4194304 4196468 140729083228736 140729083211280 140682904821495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
/proc/4245/statm: 7057913 12687 3366 1 0 7019032 0
[pid=4245/tid=4246] ppid=4243 vsize=28231652 memory=8112282956445269571 CPUtime=0.31 cores=0-7
/proc/4245/task/4246/stat : 4246 (java) R 4243 4243 2651 0 -1 4202560 7966 0 0 0 28 3 0 0 20 0 20 0 448061512 28909211648 12687 33554432000 4194304 4196468 140729083228736 140682909048752 140682888901982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4247] ppid=4243 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4247/stat : 4247 (java) S 4243 4243 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448061512 28909211648 12687 33554432000 4194304 4196468 140729083228736 140682863581712 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4248] ppid=4243 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4248/stat : 4248 (java) S 4243 4243 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448061512 28909211648 12687 33554432000 4194304 4196468 140729083228736 140682454903440 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4249] ppid=4243 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4249/stat : 4249 (java) S 4243 4243 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448061512 28909211648 12687 33554432000 4194304 4196468 140729083228736 140682453850384 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4250] ppid=4243 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4250/stat : 4250 (java) S 4243 4243 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448061512 28909211648 12687 33554432000 4194304 4196468 140729083228736 140682452797840 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4251] ppid=4243 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/4245/task/4251/stat : 4251 (java) S 4243 4243 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448061512 28909211648 12687 33554432000 4194304 4196468 140729083228736 140682451745808 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4252] ppid=4243 vsize=28231652 memory=140465965986735 CPUtime=0 cores=0-7
/proc/4245/task/4252/stat : 4252 (java) S 4243 4243 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448061513 28909211648 12687 33554432000 4194304 4196468 140729083228736 140682450693264 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4253] ppid=4243 vsize=28231652 memory=140465965989040 CPUtime=0 cores=0-7
/proc/4245/task/4253/stat : 4253 (java) S 4243 4243 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448061513 28909211648 12687 33554432000 4194304 4196468 140729083228736 140682449640208 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4254] ppid=4243 vsize=28231652 memory=140465965991344 CPUtime=0 cores=0-7
/proc/4245/task/4254/stat : 4254 (java) S 4243 4243 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448061513 28909211648 12687 33554432000 4194304 4196468 140729083228736 140682448587664 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4255] ppid=4243 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4255/stat : 4255 (java) S 4243 4243 2651 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 448061514 28909211648 12687 33554432000 4194304 4196468 140729083228736 140681301764336 140682904832642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4256] ppid=4243 vsize=28231652 memory=280931931989648 CPUtime=0 cores=0-7
/proc/4245/task/4256/stat : 4256 (java) S 4243 4243 2651 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448061514 28909211648 12687 33554432000 4194304 4196468 140729083228736 140681300710560 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4257] ppid=4243 vsize=28231652 memory=280931931996560 CPUtime=0 cores=0-7
/proc/4245/task/4257/stat : 4257 (java) S 4243 4243 2651 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448061515 28909211648 12687 33554432000 4194304 4196468 140729083228736 140681299657456 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4258] ppid=4243 vsize=28231652 memory=280931931937840 CPUtime=0 cores=0-7
/proc/4245/task/4258/stat : 4258 (java) S 4243 4243 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448061517 28909211648 12687 33554432000 4194304 4196468 140729083228736 140681298606032 140682904840091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4259] ppid=4243 vsize=28231652 memory=280931932010384 CPUtime=0.04 cores=0-7
/proc/4245/task/4259/stat : 4259 (java) S 4243 4243 2651 0 -1 1077944384 650 0 0 0 4 0 0 0 20 0 20 0 448061517 28909211648 12687 33554432000 4194304 4196468 140729083228736 140681297554160 140682904832642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4260] ppid=4243 vsize=28231652 memory=280931932017296 CPUtime=0.02 cores=0-7
/proc/4245/task/4260/stat : 4260 (java) S 4243 4243 2651 0 -1 1077944384 82 0 0 0 2 0 0 0 20 0 20 0 448061517 28909211648 12687 33554432000 4194304 4196468 140729083228736 140681296501616 140682904832642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4261] ppid=4243 vsize=28231652 memory=280931932014992 CPUtime=0.03 cores=0-7
/proc/4245/task/4261/stat : 4261 (java) S 4243 4243 2651 0 -1 1077944384 218 0 0 0 3 0 0 0 20 0 20 0 448061517 28909211648 12687 33554432000 4194304 4196468 140729083228736 140681295448560 140682904832642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4262] ppid=4243 vsize=28231652 memory=280931932031152 CPUtime=0.12 cores=0-7
/proc/4245/task/4262/stat : 4262 (java) S 4243 4243 2651 0 -1 1077944384 798 0 0 0 12 0 0 0 20 0 20 0 448061517 28909211648 12687 33554432000 4194304 4196468 140729083228736 140681294396016 140682904832642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4263] ppid=4243 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4263/stat : 4263 (java) S 4243 4243 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448061517 28909211648 12687 33554432000 4194304 4196468 140729083228736 140681293343200 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4264] ppid=4243 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/4245/task/4264/stat : 4264 (java) S 4243 4243 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448061518 28909211648 12687 33554432000 4194304 4196468 140729083228736 140681292290736 140682904832642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 52204 KiB

[startup+0.700977 s]
/proc/loadavg: 7.76 8.31 8.29 4/217 4264
/proc/meminfo: memFree=30959932/32770624 swapFree=67004576/67108860
[pid=4243] ppid=4240 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/4243/stat : 4243 (xcsp3-exec) S 4240 4243 2651 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 448061511 115843072 364 33554432000 4194304 5098028 140726248388000 140726248386104 140344799167100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33296384 140726248395638 140726248395881 140726248395881 140726248398794 0
/proc/4243/statm: 28282 364 305 221 0 87 0
[pid=4245] ppid=4243 vsize=28233776 memory=95028 CPUtime=1.81 cores=0-7
/proc/4245/stat : 4245 (java) S 4243 4243 2651 0 -1 1077944320 16289 0 0 0 175 6 0 0 20 0 20 0 448061511 28911386624 23757 33554432000 4194304 4196468 140729083228736 140729083211280 140682904821495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
/proc/4245/statm: 7058444 23757 3457 1 0 7019544 0
[pid=4245/tid=4246] ppid=4243 vsize=28233776 memory=280931932389040 CPUtime=0.68 cores=0-7
/proc/4245/task/4246/stat : 4246 (java) R 4243 4243 2651 0 -1 4202560 9047 0 0 0 64 4 0 0 20 0 20 0 448061512 28911386624 23823 33554432000 4194304 4196468 140729083228736 140682909055280 140682904833430 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4247] ppid=4243 vsize=28233776 memory=140465966195568 CPUtime=0 cores=0-7
/proc/4245/task/4247/stat : 4247 (java) S 4243 4243 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448061512 28911386624 23823 33554432000 4194304 4196468 140729083228736 140682863581712 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4248] ppid=4243 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/4245/task/4248/stat : 4248 (java) S 4243 4243 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448061512 28911386624 23823 33554432000 4194304 4196468 140729083228736 140682454903440 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4249] ppid=4243 vsize=28233776 memory=2832 CPUtime=0 cores=0-7
/proc/4245/task/4249/stat : 4249 (java) S 4243 4243 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448061512 28911386624 23823 33554432000 4194304 4196468 140729083228736 140682453850384 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4250] ppid=4243 vsize=28233776 memory=1212 CPUtime=0 cores=0-7

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

[pid=4245/tid=4262] ppid=4243 vsize=28768336 memory=2052 CPUtime=0.82 cores=0-7
/proc/4245/task/4262/stat : 4262 (java) S 4243 4243 2651 0 -1 1077944384 5308 0 0 0 81 1 0 0 20 0 28 0 448061517 29458776064 150292 33554432000 4194304 4196468 140729083228736 140681294396016 140682904832642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4263] ppid=4243 vsize=28768336 memory=1220 CPUtime=0 cores=0-7
/proc/4245/task/4263/stat : 4263 (java) S 4243 4243 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448061517 29458776064 150292 33554432000 4194304 4196468 140729083228736 140681293343200 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4264] ppid=4243 vsize=28768336 memory=1716 CPUtime=0 cores=0-7
/proc/4245/task/4264/stat : 4264 (java) S 4243 4243 2651 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 28 0 448061518 29458776064 150292 33554432000 4194304 4196468 140729083228736 140681292290736 140682904832642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4297] ppid=4243 vsize=28768336 memory=784 CPUtime=13.47 cores=0-7
/proc/4245/task/4297/stat : 4297 (java) S 4243 4243 2651 0 -1 1077944384 769 0 0 0 1343 4 0 0 20 0 28 0 448061673 29458776064 150292 33554432000 4194304 4196468 140729083228736 140681277811232 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4298] ppid=4243 vsize=28768336 memory=8252 CPUtime=13.43 cores=0-7
/proc/4245/task/4298/stat : 4298 (java) R 4243 4243 2651 0 -1 4202560 238 0 0 0 1340 3 0 0 20 0 28 0 448061673 29458776064 150292 33554432000 4194304 4196468 140729083228736 140681282023152 140682548208510 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4299] ppid=4243 vsize=28768336 memory=6032 CPUtime=13.61 cores=0-7
/proc/4245/task/4299/stat : 4299 (java) S 4243 4243 2651 0 -1 1077944384 470 0 0 0 1357 4 0 0 20 0 28 0 448061673 29458776064 150292 33554432000 4194304 4196468 140729083228736 140681283076560 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4300] ppid=4243 vsize=28768336 memory=1056 CPUtime=13.55 cores=0-7
/proc/4245/task/4300/stat : 4300 (java) R 4243 4243 2651 0 -1 1077944384 1206 0 0 0 1348 7 0 0 20 0 28 0 448061673 29458776064 150292 33554432000 4194304 4196468 140729083228736 140681280971248 140682904832642 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4301] ppid=4243 vsize=28768336 memory=1540 CPUtime=13.72 cores=0-7
/proc/4245/task/4301/stat : 4301 (java) R 4243 4243 2651 0 -1 4202560 467 0 0 0 1369 3 0 0 20 0 28 0 448061673 29458776064 150292 33554432000 4194304 4196468 140729083228736 140681276760272 140682549415831 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4302] ppid=4243 vsize=28768336 memory=728 CPUtime=13.64 cores=0-7
/proc/4245/task/4302/stat : 4302 (java) R 4243 4243 2651 0 -1 4202560 540 0 0 0 1360 4 0 0 20 0 28 0 448061673 29458776064 150292 33554432000 4194304 4196468 140729083228736 140681275707632 140682550232111 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4303] ppid=4243 vsize=28768336 memory=4000 CPUtime=13.24 cores=0-7
/proc/4245/task/4303/stat : 4303 (java) R 4243 4243 2651 0 -1 4202560 220 0 0 0 1320 4 0 0 20 0 28 0 448061673 29458776064 150292 33554432000 4194304 4196468 140729083228736 140681279918032 140682548809121 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4304] ppid=4243 vsize=28768336 memory=8112282956445269571 CPUtime=13.6 cores=0-7
/proc/4245/task/4304/stat : 4304 (java) R 4243 4243 2651 0 -1 4202560 748 0 0 0 1356 4 0 0 20 0 28 0 448061673 29458776064 150292 33554432000 4194304 4196468 140729083228736 140681278865488 140682549318486 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
Current children cumulated CPU time: 117.51 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 602624 KiB

[startup+16.4023 s]
/proc/loadavg: 7.29 8.16 8.24 8/224 4307
/proc/meminfo: memFree=30426596/32770624 swapFree=67004576/67108860
[pid=4243] ppid=4240 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/4243/stat : 4243 (xcsp3-exec) S 4240 4243 2651 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 448061511 115843072 364 33554432000 4194304 5098028 140726248388000 140726248386104 140344799167100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33296384 140726248395638 140726248395881 140726248395881 140726248398794 0
/proc/4243/statm: 28282 364 305 221 0 87 0
[pid=4245] ppid=4243 vsize=28768336 memory=601212 CPUtime=120.54 cores=0-7
/proc/4245/stat : 4245 (java) S 4243 4243 2651 0 -1 1077944320 53735 0 0 0 11992 62 0 0 20 0 28 0 448061511 29458776064 150303 33554432000 4194304 4196468 140729083228736 140729083211280 140682904821495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
/proc/4245/statm: 7192084 150303 3529 1 0 7153184 0
[pid=4245/tid=4246] ppid=4243 vsize=28768336 memory=601168 CPUtime=1.37 cores=0-7
/proc/4245/task/4246/stat : 4246 (java) S 4243 4243 2651 0 -1 1077944384 10085 0 0 0 132 5 0 0 20 0 28 0 448061512 29458776064 150303 33554432000 4194304 4196468 140729083228736 140682909062272 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4247] ppid=4243 vsize=28768336 memory=140466113925313 CPUtime=0.04 cores=0-7
/proc/4245/task/4247/stat : 4247 (java) S 4243 4243 2651 0 -1 1077944384 144 0 0 0 2 2 0 0 20 0 28 0 448061512 29458776064 150303 33554432000 4194304 4196468 140729083228736 140682863581712 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4248] ppid=4243 vsize=28768336 memory=6079979800702772328 CPUtime=0.03 cores=0-7
/proc/4245/task/4248/stat : 4248 (java) S 4243 4243 2651 0 -1 1077944384 94 0 0 0 2 1 0 0 20 0 28 0 448061512 29458776064 150303 33554432000 4194304 4196468 140729083228736 140682454903440 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4249] ppid=4243 vsize=28768336 memory=65 CPUtime=0.03 cores=0-7
/proc/4245/task/4249/stat : 4249 (java) S 4243 4243 2651 0 -1 1077944384 453 0 0 0 2 1 0 0 20 0 28 0 448061512 29458776064 150303 33554432000 4194304 4196468 140729083228736 140682453850384 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4250] ppid=4243 vsize=28768336 memory=8112282956445269571 CPUtime=0.04 cores=0-7
/proc/4245/task/4250/stat : 4250 (java) S 4243 4243 2651 0 -1 1077944384 453 0 0 0 3 1 0 0 20 0 28 0 448061512 29458776064 150303 33554432000 4194304 4196468 140729083228736 140682452797840 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4251] ppid=4243 vsize=28768336 memory=804 CPUtime=0.04 cores=0-7
/proc/4245/task/4251/stat : 4251 (java) S 4243 4243 2651 0 -1 1077944384 248 0 0 0 2 2 0 0 20 0 28 0 448061512 29458776064 150303 33554432000 4194304 4196468 140729083228736 140682451745808 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4252] ppid=4243 vsize=28768336 memory=33 CPUtime=0.03 cores=0-7
/proc/4245/task/4252/stat : 4252 (java) S 4243 4243 2651 0 -1 1077944384 156 0 0 0 2 1 0 0 20 0 28 0 448061513 29458776064 150303 33554432000 4194304 4196468 140729083228736 140682450693264 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4253] ppid=4243 vsize=28768336 memory=6788 CPUtime=0.03 cores=0-7
/proc/4245/task/4253/stat : 4253 (java) S 4243 4243 2651 0 -1 1077944384 1456 0 0 0 3 0 0 0 20 0 28 0 448061513 29458776064 150303 33554432000 4194304 4196468 140729083228736 140682449640208 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4254] ppid=4243 vsize=28768336 memory=7595724715036201556 CPUtime=0.03 cores=0-7
/proc/4245/task/4254/stat : 4254 (java) S 4243 4243 2651 0 -1 1077944384 1282 0 0 0 3 0 0 0 20 0 28 0 448061513 29458776064 150303 33554432000 4194304 4196468 140729083228736 140682448587664 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4255] ppid=4243 vsize=28768336 memory=7235430203460903762 CPUtime=0.02 cores=0-7
/proc/4245/task/4255/stat : 4255 (java) S 4243 4243 2651 0 -1 1077944384 1252 0 0 0 2 0 0 0 20 0 28 0 448061514 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681301764336 140682904832642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4256] ppid=4243 vsize=28768336 memory=7595724715036201556 CPUtime=0 cores=0-7
/proc/4245/task/4256/stat : 4256 (java) S 4243 4243 2651 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 448061514 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681300710624 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4257] ppid=4243 vsize=28768336 memory=7235430203460903762 CPUtime=0 cores=0-7
/proc/4245/task/4257/stat : 4257 (java) S 4243 4243 2651 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 448061515 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681299657472 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4258] ppid=4243 vsize=28768336 memory=7595724715036201556 CPUtime=0 cores=0-7
/proc/4245/task/4258/stat : 4258 (java) S 4243 4243 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448061517 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681298606032 140682904840091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4259] ppid=4243 vsize=28768336 memory=7595724715036201556 CPUtime=1.92 cores=0-7
/proc/4245/task/4259/stat : 4259 (java) S 4243 4243 2651 0 -1 1077944384 7955 0 0 0 191 1 0 0 20 0 28 0 448061517 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681297554160 140682904832642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4260] ppid=4243 vsize=28768336 memory=0 CPUtime=1.88 cores=0-7
/proc/4245/task/4260/stat : 4260 (java) S 4243 4243 2651 0 -1 1077944384 8248 0 0 0 186 2 0 0 20 0 28 0 448061517 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681296501616 140682904832642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4261] ppid=4243 vsize=28768336 memory=280931932340320 CPUtime=1.98 cores=0-7
/proc/4245/task/4261/stat : 4261 (java) S 4243 4243 2651 0 -1 1077944384 8767 0 0 0 196 2 0 0 20 0 28 0 448061517 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681295448560 140682904832642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4262] ppid=4243 vsize=28768336 memory=3979125949394553136 CPUtime=0.82 cores=0-7
/proc/4245/task/4262/stat : 4262 (java) S 4243 4243 2651 0 -1 1077944384 5808 0 0 0 81 1 0 0 20 0 28 0 448061517 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681294396016 140682904832642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4263] ppid=4243 vsize=28768336 memory=7235430203460903762 CPUtime=0 cores=0-7
/proc/4245/task/4263/stat : 4263 (java) S 4243 4243 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448061517 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681293343200 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4264] ppid=4243 vsize=28768336 memory=7235430203460903762 CPUtime=0 cores=0-7
/proc/4245/task/4264/stat : 4264 (java) S 4243 4243 2651 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 28 0 448061518 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681292290736 140682904832642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4297] ppid=4243 vsize=28768336 memory=5794836844711537257 CPUtime=13.85 cores=0-7
/proc/4245/task/4297/stat : 4297 (java) R 4243 4243 2651 0 -1 4202560 800 0 0 0 1381 4 0 0 20 0 28 0 448061673 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681277811232 140682548209164 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4298] ppid=4243 vsize=28768336 memory=5931329019418204513 CPUtime=13.82 cores=0-7
/proc/4245/task/4298/stat : 4298 (java) R 4243 4243 2651 0 -1 4202560 273 0 0 0 1379 3 0 0 20 0 28 0 448061673 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681282023248 140682548523121 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4299] ppid=4243 vsize=28768336 memory=6944656592387989600 CPUtime=13.96 cores=0-7
/proc/4245/task/4299/stat : 4299 (java) R 4243 4243 2651 0 -1 4202560 506 0 0 0 1392 4 0 0 20 0 28 0 448061673 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681283076464 140682548493568 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4300] ppid=4243 vsize=28768336 memory=2241 CPUtime=13.92 cores=0-7
/proc/4245/task/4300/stat : 4300 (java) R 4243 4243 2651 0 -1 4202560 1222 0 0 0 1385 7 0 0 20 0 28 0 448061673 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681280971248 140682548207871 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4301] ppid=4243 vsize=28768336 memory=2244 CPUtime=14.11 cores=0-7
/proc/4245/task/4301/stat : 4301 (java) R 4243 4243 2651 0 -1 1077944384 503 0 0 0 1408 3 0 0 20 0 28 0 448061673 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681276760272 140682904831701 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4302] ppid=4243 vsize=28768336 memory=-3252517613198930781 CPUtime=14.03 cores=0-7
/proc/4245/task/4302/stat : 4302 (java) R 4243 4243 2651 0 -1 4202560 571 0 0 0 1399 4 0 0 20 0 28 0 448061673 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681275707728 140682549648297 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4303] ppid=4243 vsize=28768336 memory=7518022159162762073 CPUtime=13.58 cores=0-7
/proc/4245/task/4303/stat : 4303 (java) R 4243 4243 2651 0 -1 4202560 251 0 0 0 1354 4 0 0 20 0 28 0 448061673 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681279918032 140682548208693 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4304] ppid=4243 vsize=28768336 memory=8764164798296201423 CPUtime=13.98 cores=0-7
/proc/4245/task/4304/stat : 4304 (java) S 4243 4243 2651 0 -1 1077944384 776 0 0 0 1394 4 0 0 20 0 28 0 448061673 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681278865392 140682904832642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
Current children cumulated CPU time: 120.54 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 602668 KiB

[startup+16.8031 s]
/proc/loadavg: 7.29 8.16 8.24 8/224 4307
/proc/meminfo: memFree=30426596/32770624 swapFree=67004576/67108860
[pid=4243] ppid=4240 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/4243/stat : 4243 (xcsp3-exec) S 4240 4243 2651 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 448061511 115843072 364 33554432000 4194304 5098028 140726248388000 140726248386104 140344799167100 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33296384 140726248395638 140726248395881 140726248395881 140726248398794 0
/proc/4243/statm: 28282 364 305 221 0 87 0
[pid=4245] ppid=4243 vsize=28768336 memory=601212 CPUtime=123.68 cores=0-7
/proc/4245/stat : 4245 (java) S 4243 4243 2651 0 -1 1077944320 53839 0 0 0 12305 63 0 0 20 0 28 0 448061511 29458776064 150303 33554432000 4194304 4196468 140729083228736 140729083211280 140682904821495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
/proc/4245/statm: 7192084 150303 3529 1 0 7153184 0
[pid=4245/tid=4246] ppid=4243 vsize=28768336 memory=7669458007575849580 CPUtime=1.37 cores=0-7
/proc/4245/task/4246/stat : 4246 (java) S 4243 4243 2651 0 -1 1077944384 10085 0 0 0 132 5 0 0 20 0 28 0 448061512 29458776064 150303 33554432000 4194304 4196468 140729083228736 140682909062272 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4247] ppid=4243 vsize=28768336 memory=0 CPUtime=0.04 cores=0-7
/proc/4245/task/4247/stat : 4247 (java) S 4243 4243 2651 0 -1 1077944384 144 0 0 0 2 2 0 0 20 0 28 0 448061512 29458776064 150303 33554432000 4194304 4196468 140729083228736 140682863581712 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4248] ppid=4243 vsize=28768336 memory=0 CPUtime=0.03 cores=0-7
/proc/4245/task/4248/stat : 4248 (java) S 4243 4243 2651 0 -1 1077944384 94 0 0 0 2 1 0 0 20 0 28 0 448061512 29458776064 150303 33554432000 4194304 4196468 140729083228736 140682454903440 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4249] ppid=4243 vsize=28768336 memory=0 CPUtime=0.03 cores=0-7
/proc/4245/task/4249/stat : 4249 (java) S 4243 4243 2651 0 -1 1077944384 453 0 0 0 2 1 0 0 20 0 28 0 448061512 29458776064 150303 33554432000 4194304 4196468 140729083228736 140682453850384 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4250] ppid=4243 vsize=28768336 memory=0 CPUtime=0.04 cores=0-7
/proc/4245/task/4250/stat : 4250 (java) S 4243 4243 2651 0 -1 1077944384 453 0 0 0 3 1 0 0 20 0 28 0 448061512 29458776064 150303 33554432000 4194304 4196468 140729083228736 140682452797840 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4251] ppid=4243 vsize=28768336 memory=0 CPUtime=0.04 cores=0-7
/proc/4245/task/4251/stat : 4251 (java) S 4243 4243 2651 0 -1 1077944384 248 0 0 0 2 2 0 0 20 0 28 0 448061512 29458776064 150303 33554432000 4194304 4196468 140729083228736 140682451745808 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4252] ppid=4243 vsize=28768336 memory=0 CPUtime=0.03 cores=0-7
/proc/4245/task/4252/stat : 4252 (java) S 4243 4243 2651 0 -1 1077944384 156 0 0 0 2 1 0 0 20 0 28 0 448061513 29458776064 150303 33554432000 4194304 4196468 140729083228736 140682450693264 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4253] ppid=4243 vsize=28768336 memory=2209 CPUtime=0.03 cores=0-7
/proc/4245/task/4253/stat : 4253 (java) S 4243 4243 2651 0 -1 1077944384 1456 0 0 0 3 0 0 0 20 0 28 0 448061513 29458776064 150303 33554432000 4194304 4196468 140729083228736 140682449640208 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4254] ppid=4243 vsize=28768336 memory=1456 CPUtime=0.03 cores=0-7
/proc/4245/task/4254/stat : 4254 (java) S 4243 4243 2651 0 -1 1077944384 1282 0 0 0 3 0 0 0 20 0 28 0 448061513 29458776064 150303 33554432000 4194304 4196468 140729083228736 140682448587664 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4255] ppid=4243 vsize=28768336 memory=3280 CPUtime=0.02 cores=0-7
/proc/4245/task/4255/stat : 4255 (java) S 4243 4243 2651 0 -1 1077944384 1252 0 0 0 2 0 0 0 20 0 28 0 448061514 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681301764336 140682904832642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4256] ppid=4243 vsize=28768336 memory=48476 CPUtime=0 cores=0-7
/proc/4245/task/4256/stat : 4256 (java) S 4243 4243 2651 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 448061514 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681300710624 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4257] ppid=4243 vsize=28768336 memory=8996 CPUtime=0 cores=0-7
/proc/4245/task/4257/stat : 4257 (java) S 4243 4243 2651 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 448061515 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681299657472 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4258] ppid=4243 vsize=28768336 memory=589972050867744050 CPUtime=0 cores=0-7
/proc/4245/task/4258/stat : 4258 (java) S 4243 4243 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448061517 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681298606032 140682904840091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4259] ppid=4243 vsize=28768336 memory=288288878790706008 CPUtime=1.92 cores=0-7
/proc/4245/task/4259/stat : 4259 (java) S 4243 4243 2651 0 -1 1077944384 7955 0 0 0 191 1 0 0 20 0 28 0 448061517 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681297554160 140682904832642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4260] ppid=4243 vsize=28768336 memory=11210019468133 CPUtime=1.88 cores=0-7
/proc/4245/task/4260/stat : 4260 (java) S 4243 4243 2651 0 -1 1077944384 8248 0 0 0 186 2 0 0 20 0 28 0 448061517 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681296501616 140682904832642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4261] ppid=4243 vsize=28768336 memory=6944656575208382560 CPUtime=1.98 cores=0-7
/proc/4245/task/4261/stat : 4261 (java) S 4243 4243 2651 0 -1 1077944384 8767 0 0 0 196 2 0 0 20 0 28 0 448061517 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681295448560 140682904832642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4262] ppid=4243 vsize=28768336 memory=6944652177228980320 CPUtime=0.82 cores=0-7
/proc/4245/task/4262/stat : 4262 (java) S 4243 4243 2651 0 -1 1077944384 5808 0 0 0 81 1 0 0 20 0 28 0 448061517 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681294396016 140682904832642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4263] ppid=4243 vsize=28768336 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/4245/task/4263/stat : 4263 (java) S 4243 4243 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448061517 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681293343200 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4264] ppid=4243 vsize=28768336 memory=-6948055166404804227 CPUtime=0 cores=0-7
/proc/4245/task/4264/stat : 4264 (java) S 4243 4243 2651 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 28 0 448061518 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681292290736 140682904832642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4297] ppid=4243 vsize=28768336 memory=7306052883366114198 CPUtime=14.22 cores=0-7
/proc/4245/task/4297/stat : 4297 (java) R 4243 4243 2651 0 -1 4202560 800 0 0 0 1418 4 0 0 20 0 28 0 448061673 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681277811232 140682545022478 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4298] ppid=4243 vsize=28768336 memory=7232886972902039648 CPUtime=14.22 cores=0-7
/proc/4245/task/4298/stat : 4298 (java) R 4243 4243 2651 0 -1 1077944384 278 0 0 0 1419 3 0 0 20 0 28 0 448061673 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681282023152 140682904832642 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4299] ppid=4243 vsize=28768336 memory=-7313218805096079717 CPUtime=14.35 cores=0-7
/proc/4245/task/4299/stat : 4299 (java) S 4243 4243 2651 0 -1 1077944384 511 0 0 0 1431 4 0 0 20 0 28 0 448061673 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681283076560 140682904831701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4300] ppid=4243 vsize=28768336 memory=8112282956445269571 CPUtime=14.31 cores=0-7
/proc/4245/task/4300/stat : 4300 (java) R 4243 4243 2651 0 -1 4202560 1258 0 0 0 1424 7 0 0 20 0 28 0 448061673 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681280971248 140682548642327 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4301] ppid=4243 vsize=28768336 memory=1456 CPUtime=14.51 cores=0-7
/proc/4245/task/4301/stat : 4301 (java) R 4243 4243 2651 0 -1 4202560 523 0 0 0 1447 4 0 0 20 0 28 0 448061673 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681276760176 140682549318478 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4302] ppid=4243 vsize=28768336 memory=601636 CPUtime=14.43 cores=0-7
/proc/4245/task/4302/stat : 4302 (java) R 4243 4243 2651 0 -1 4202560 594 0 0 0 1439 4 0 0 20 0 28 0 448061673 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681275707632 140682548150254 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4303] ppid=4243 vsize=28768336 memory=1744 CPUtime=13.96 cores=0-7
/proc/4245/task/4303/stat : 4303 (java) R 4243 4243 2651 0 -1 4202560 255 0 0 0 1392 4 0 0 20 0 28 0 448061673 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681279918032 140682548538602 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
[pid=4245/tid=4304] ppid=4243 vsize=28768336 memory=792 CPUtime=14.37 cores=0-7
/proc/4245/task/4304/stat : 4304 (java) R 4243 4243 2651 0 -1 4202560 786 0 0 0 1433 4 0 0 20 0 28 0 448061673 29458776064 150303 33554432000 4194304 4196468 140729083228736 140681278865392 140682548150173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22728704 140729083237354 140729083237526 140729083237526 140729083240399 0
Current children cumulated CPU time: 123.68 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 602668 KiB

Child status: 0
Real time (s): 16.8842
CPU time (s): 124.265
CPU user time (s): 123.611
CPU system time (s): 0.653143
CPU usage (%): 735.982
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 620400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 123.611
system time used= 0.653143
maximum resident set size= 625088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55048
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67078
involuntary context switches= 733


# summary of solver processes directly reported to runsolver:
#   pid: 4243
#   total CPU time (s): 124.265
#   total CPU user time (s): 123.611
#   total CPU system time (s): 0.653143

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.182365 second user time and 0.225154 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-17 13:02:59
IDJOB=4399843
IDBENCH=141484
IDSOLVER=2854
FILE ID=node133/4399843-1568718219
RUNJOBID= node133-1568711398-2678
PBS_JOBID= 21703931
Free space on /tmp= 59576 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP18/PeacableArmies/PeacableArmies-m1-07_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399843-1568718219/watcher-4399843-1568718219 -o /tmp/evaluation-result-4399843-1568718219/solver-4399843-1568718219 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568711398-2678 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 321739757 HOME/instance-4399843-1568718219.xml

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

MD5SUM BENCH= 93689e7972bcd89c8c0248fcf1fc8ef9
RANDOM SEED=321739757

node133.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.18
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.18
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.18
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.18
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:        31014516 kB
MemAvailable:   31886640 kB
Buffers:          249856 kB
Cached:           912912 kB
SwapCached:         3188 kB
Active:           574344 kB
Inactive:         592356 kB
Active(anon):      28168 kB
Inactive(anon):    24508 kB
Active(file):     546176 kB
Inactive(file):   567848 kB
Unevictable:      111204 kB
Mlocked:          111204 kB
SwapTotal:      67108860 kB
SwapFree:       67004576 kB
Dirty:             26384 kB
Writeback:             0 kB
AnonPages:        124824 kB
Mapped:            48980 kB
Shmem:             40128 kB
Slab:             177140 kB
SReclaimable:     147872 kB
SUnreclaim:        29268 kB
KernelStack:        3808 kB
PageTables:         5716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 59552 MiB
End job on node133 at 2019-09-17 13:03:16