Trace number 4393500

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 2019-06-14 parallelUNSAT 110.663 39.4704

General information on the benchmark

NameRandom/Random-m1-5-12-12/
rand-5-12-12-200-12442-22.xml
MD5SUM1f678c7b1175962864f0f6df2117d050
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark3.7944
Satisfiable
(Un)Satisfiability was proved
Number of variables12
Number of constraints200
Number of domains1
Minimum domain size12
Maximum domain size12
Distribution of domain sizes[{"size":12,"count":12}]
Minimum variable degree76
Maximum variable degree93
Distribution of variable degrees[{"degree":76,"count":2},{"degree":78,"count":1},{"degree":80,"count":1},{"degree":81,"count":2},{"degree":82,"count":1},{"degree":83,"count":1},{"degree":89,"count":1},{"degree":90,"count":1},{"degree":91,"count":1},{"degree":93,"count":1}]
Minimum constraint arity5
Maximum constraint arity5
Distribution of constraint arities[{"arity":5,"count":200}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393500-1568420131.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4393500-1568420131.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.29	c parse instance...
84.61/36.11	c solve instance...
110.53/39.42	s UNSATISFIABLE

Verifier Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393500-1568420131/watcher-4393500-1568420131 -o /tmp/evaluation-result-4393500-1568420131/solver-4393500-1568420131 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568417565-3025 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2097930972 HOME/instance-4393500-1568420131.xml 

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

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

solver pid=3449, runsolver pid=3446

[startup+0.100115 s]*
/proc/loadavg: 8.48 8.61 7.97 2/211 3470
/proc/meminfo: memFree=31287096/32770624 swapFree=66919100/67108860
[pid=3449] ppid=3446 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3449/stat : 3449 (xcsp3-exec) S 3446 3449 2998 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417951020 115843072 364 33554432000 4194304 5098028 140724490143712 140724490141816 139965877269116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11579392 140724490146677 140724490146921 140724490146921 140724490149834 0
/proc/3449/statm: 28282 364 305 221 0 87 0
[pid=3451] ppid=3449 vsize=28227388 memory=29172 CPUtime=0.12 cores=0-7
/proc/3451/stat : 3451 (java) S 3449 3449 2998 0 -1 1077944320 5698 0 0 0 11 1 0 0 20 0 20 0 417951020 28904845312 7293 33554432000 4194304 4196468 140736773372832 140736773355376 140440451907319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
/proc/3451/statm: 7056847 7293 3153 1 0 7019032 0
[pid=3451/tid=3452] ppid=3449 vsize=28227388 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/3451/task/3452/stat : 3452 (java) S 3449 3449 2998 0 -1 1077944384 3607 0 0 0 8 0 0 0 20 0 20 0 417951021 28904845312 7293 33554432000 4194304 4196468 140736773372832 140440456142464 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3453] ppid=3449 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/3451/task/3453/stat : 3453 (java) S 3449 3449 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417951021 28904845312 7293 33554432000 4194304 4196468 140736773372832 140440404527888 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3454] ppid=3449 vsize=28227388 memory=140547165415040 CPUtime=0 cores=0-7
/proc/3451/task/3454/stat : 3454 (java) S 3449 3449 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951021 28904845312 7293 33554432000 4194304 4196468 140736773372832 140440403475344 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3455] ppid=3449 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3455/stat : 3455 (java) S 3449 3449 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417951021 28904845312 7293 33554432000 4194304 4196468 140736773372832 140440402422800 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3456] ppid=3449 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3456/stat : 3456 (java) S 3449 3449 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417951021 28904845312 7293 33554432000 4194304 4196468 140736773372832 140440401370256 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3457] ppid=3449 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3457/stat : 3457 (java) S 3449 3449 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417951021 28904845312 7293 33554432000 4194304 4196468 140736773372832 140440400316688 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3458] ppid=3449 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3451/task/3458/stat : 3458 (java) S 3449 3449 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417951021 28904845312 7293 33554432000 4194304 4196468 140736773372832 140440399264144 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3459] ppid=3449 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3459/stat : 3459 (java) S 3449 3449 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417951021 28904845312 7293 33554432000 4194304 4196468 140736773372832 140439996717584 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3460] ppid=3449 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3460/stat : 3460 (java) S 3449 3449 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951021 28904845312 7293 33554432000 4194304 4196468 140736773372832 140439995665040 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3461] ppid=3449 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3461/stat : 3461 (java) S 3449 3449 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417951023 28904845312 7293 33554432000 4194304 4196468 140736773372832 140439836703216 140440451918466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3462] ppid=3449 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3462/stat : 3462 (java) S 3449 3449 2998 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417951023 28904845312 7293 33554432000 4194304 4196468 140736773372832 140439835649440 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3463] ppid=3449 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3463/stat : 3463 (java) S 3449 3449 2998 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417951024 28904845312 7293 33554432000 4194304 4196468 140736773372832 140439834596848 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3464] ppid=3449 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3464/stat : 3464 (java) S 3449 3449 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951026 28904845312 7293 33554432000 4194304 4196468 140736773372832 140439833545424 140440451925915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3465] ppid=3449 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3465/stat : 3465 (java) S 3449 3449 2998 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 20 0 417951026 28904845312 7293 33554432000 4194304 4196468 140736773372832 140439832492016 140440451918466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3466] ppid=3449 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3466/stat : 3466 (java) S 3449 3449 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417951026 28904845312 7293 33554432000 4194304 4196468 140736773372832 140439831439472 140440451918466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3467] ppid=3449 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3467/stat : 3467 (java) S 3449 3449 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951026 28904845312 7293 33554432000 4194304 4196468 140736773372832 140439830386928 140440451918466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3468] ppid=3449 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/3451/task/3468/stat : 3468 (java) R 3449 3449 2998 0 -1 4202560 358 0 0 0 1 0 0 0 20 0 20 0 417951026 28904845312 7293 33554432000 4194304 4196468 140736773372832 140439829334384 140440432146740 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3469] ppid=3449 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3469/stat : 3469 (java) S 3449 3449 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417951026 28904845312 7293 33554432000 4194304 4196468 140736773372832 140439828282080 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3470] ppid=3449 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3451/task/3470/stat : 3470 (java) S 3449 3449 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951027 28904845312 7293 33554432000 4194304 4196468 140736773372832 140439827229616 140440451918466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30628 KiB

[startup+0.210227 s]*
/proc/loadavg: 8.48 8.61 7.97 3/211 3470
/proc/meminfo: memFree=31274268/32770624 swapFree=66919100/67108860
[pid=3449] ppid=3446 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3449/stat : 3449 (xcsp3-exec) S 3446 3449 2998 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417951020 115843072 364 33554432000 4194304 5098028 140724490143712 140724490141816 139965877269116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11579392 140724490146677 140724490146921 140724490146921 140724490149834 0
/proc/3449/statm: 28282 364 305 221 0 87 0
[pid=3451] ppid=3449 vsize=28227388 memory=40456 CPUtime=0.34 cores=0-7
/proc/3451/stat : 3451 (java) S 3449 3449 2998 0 -1 1077944320 9374 0 0 0 31 3 0 0 20 0 20 0 417951020 28904845312 10114 33554432000 4194304 4196468 140736773372832 140736773355376 140440451907319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
/proc/3451/statm: 7056847 10114 3267 1 0 7019032 0
[pid=3451/tid=3452] ppid=3449 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/3451/task/3452/stat : 3452 (java) R 3449 3449 2998 0 -1 4202560 6615 0 0 0 18 2 0 0 20 0 20 0 417951021 28904845312 10114 33554432000 4194304 4196468 140736773372832 140440456137040 140440451929245 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3453] ppid=3449 vsize=28227388 memory=331 CPUtime=0 cores=0-7
/proc/3451/task/3453/stat : 3453 (java) S 3449 3449 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417951021 28904845312 10114 33554432000 4194304 4196468 140736773372832 140440404527888 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3454] ppid=3449 vsize=28227388 memory=288370923317126784 CPUtime=0 cores=0-7
/proc/3451/task/3454/stat : 3454 (java) S 3449 3449 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951021 28904845312 10114 33554432000 4194304 4196468 140736773372832 140440403475344 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3455] ppid=3449 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3451/task/3455/stat : 3455 (java) S 3449 3449 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417951021 28904845312 10114 33554432000 4194304 4196468 140736773372832 140440402422800 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3456] ppid=3449 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3456/stat : 3456 (java) S 3449 3449 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417951021 28904845312 10114 33554432000 4194304 4196468 140736773372832 140440401370256 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3457] ppid=3449 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3457/stat : 3457 (java) S 3449 3449 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417951021 28904845312 10114 33554432000 4194304 4196468 140736773372832 140440400316688 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3458] ppid=3449 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3451/task/3458/stat : 3458 (java) S 3449 3449 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417951021 28904845312 10114 33554432000 4194304 4196468 140736773372832 140440399264144 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3459] ppid=3449 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3459/stat : 3459 (java) S 3449 3449 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417951021 28904845312 10114 33554432000 4194304 4196468 140736773372832 140439996717584 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3460] ppid=3449 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3460/stat : 3460 (java) S 3449 3449 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951021 28904845312 10114 33554432000 4194304 4196468 140736773372832 140439995665040 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3461] ppid=3449 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3461/stat : 3461 (java) S 3449 3449 2998 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417951023 28904845312 10114 33554432000 4194304 4196468 140736773372832 140439836703216 140440451918466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3462] ppid=3449 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3462/stat : 3462 (java) S 3449 3449 2998 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417951023 28904845312 10114 33554432000 4194304 4196468 140736773372832 140439835649440 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3463] ppid=3449 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3463/stat : 3463 (java) S 3449 3449 2998 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417951024 28904845312 10114 33554432000 4194304 4196468 140736773372832 140439834596848 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3464] ppid=3449 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3464/stat : 3464 (java) S 3449 3449 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951026 28904845312 10114 33554432000 4194304 4196468 140736773372832 140439833545424 140440451925915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3465] ppid=3449 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/3451/task/3465/stat : 3465 (java) S 3449 3449 2998 0 -1 1077944384 532 0 0 0 2 0 0 0 20 0 20 0 417951026 28904845312 10114 33554432000 4194304 4196468 140736773372832 140439832492016 140440451918466 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3466] ppid=3449 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/3451/task/3466/stat : 3466 (java) S 3449 3449 2998 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 20 0 417951026 28904845312 10114 33554432000 4194304 4196468 140736773372832 140439831439472 140440451918466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3467] ppid=3449 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/3451/task/3467/stat : 3467 (java) S 3449 3449 2998 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 20 0 417951026 28904845312 10114 33554432000 4194304 4196468 140736773372832 140439830386928 140440451918466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3468] ppid=3449 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/3451/task/3468/stat : 3468 (java) S 3449 3449 2998 0 -1 1077944384 802 0 0 0 8 0 0 0 20 0 20 0 417951026 28904845312 10114 33554432000 4194304 4196468 140736773372832 140439829334384 140440451918466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3469] ppid=3449 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3469/stat : 3469 (java) S 3449 3449 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417951026 28904845312 10114 33554432000 4194304 4196468 140736773372832 140439828282080 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3470] ppid=3449 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3451/task/3470/stat : 3470 (java) S 3449 3449 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951027 28904845312 10114 33554432000 4194304 4196468 140736773372832 140439827229616 140440451918466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 41912 KiB

[startup+0.309712 s]*
/proc/loadavg: 8.48 8.61 7.97 3/211 3470
/proc/meminfo: memFree=31269876/32770624 swapFree=66919100/67108860
[pid=3449] ppid=3446 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3449/stat : 3449 (xcsp3-exec) S 3446 3449 2998 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417951020 115843072 364 33554432000 4194304 5098028 140724490143712 140724490141816 139965877269116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11579392 140724490146677 140724490146921 140724490146921 140724490149834 0
/proc/3449/statm: 28282 364 305 221 0 87 0
[pid=3451] ppid=3449 vsize=28231644 memory=49680 CPUtime=0.52 cores=0-7
/proc/3451/stat : 3451 (java) S 3449 3449 2998 0 -1 1077944320 10752 0 0 0 49 3 0 0 20 0 20 0 417951020 28909203456 12420 33554432000 4194304 4196468 140736773372832 140736773355376 140440451907319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
/proc/3451/statm: 7057911 12420 3365 1 0 7019032 0
[pid=3451/tid=3452] ppid=3449 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/3451/task/3452/stat : 3452 (java) R 3449 3449 2998 0 -1 4202560 7694 0 0 0 27 2 0 0 20 0 20 0 417951021 28909203456 12420 33554432000 4194304 4196468 140736773372832 140440456138432 140440435987806 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3453] ppid=3449 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3453/stat : 3453 (java) S 3449 3449 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417951021 28909203456 12420 33554432000 4194304 4196468 140736773372832 140440404527888 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3454] ppid=3449 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3454/stat : 3454 (java) S 3449 3449 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951021 28909203456 12420 33554432000 4194304 4196468 140736773372832 140440403475344 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3455] ppid=3449 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3455/stat : 3455 (java) S 3449 3449 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417951021 28909203456 12420 33554432000 4194304 4196468 140736773372832 140440402422800 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3456] ppid=3449 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3456/stat : 3456 (java) S 3449 3449 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417951021 28909203456 12420 33554432000 4194304 4196468 140736773372832 140440401370256 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3457] ppid=3449 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3457/stat : 3457 (java) S 3449 3449 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417951021 28909203456 12420 33554432000 4194304 4196468 140736773372832 140440400316688 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3458] ppid=3449 vsize=28231644 memory=140547033492143 CPUtime=0 cores=0-7
/proc/3451/task/3458/stat : 3458 (java) S 3449 3449 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417951021 28909203456 12420 33554432000 4194304 4196468 140736773372832 140440399264144 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3459] ppid=3449 vsize=28231644 memory=140547033494448 CPUtime=0 cores=0-7
/proc/3451/task/3459/stat : 3459 (java) S 3449 3449 2998 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417951021 28909203456 12420 33554432000 4194304 4196468 140736773372832 140439996717584 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3460] ppid=3449 vsize=28231644 memory=140547033496752 CPUtime=0 cores=0-7
/proc/3451/task/3460/stat : 3460 (java) S 3449 3449 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951021 28909203456 12420 33554432000 4194304 4196468 140736773372832 140439995665040 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3461] ppid=3449 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3461/stat : 3461 (java) S 3449 3449 2998 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417951023 28909203456 12420 33554432000 4194304 4196468 140736773372832 140439836703216 140440451918466 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3462] ppid=3449 vsize=28231644 memory=281094067007376 CPUtime=0 cores=0-7
/proc/3451/task/3462/stat : 3462 (java) S 3449 3449 2998 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417951023 28909203456 12420 33554432000 4194304 4196468 140736773372832 140439835649440 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3463] ppid=3449 vsize=28231644 memory=281094067005072 CPUtime=0 cores=0-7
/proc/3451/task/3463/stat : 3463 (java) S 3449 3449 2998 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417951024 28909203456 12420 33554432000 4194304 4196468 140736773372832 140439834596848 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3464] ppid=3449 vsize=28231644 memory=281094067011984 CPUtime=0 cores=0-7
/proc/3451/task/3464/stat : 3464 (java) S 3449 3449 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951026 28909203456 12420 33554432000 4194304 4196468 140736773372832 140439833545424 140440451925915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3465] ppid=3449 vsize=28231644 memory=281094066953264 CPUtime=0.03 cores=0-7
/proc/3451/task/3465/stat : 3465 (java) R 3449 3449 2998 0 -1 4202560 662 0 0 0 3 0 0 0 20 0 20 0 417951026 28909203456 12420 33554432000 4194304 4196468 140736773372832 140439832473032 140440432607616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3466] ppid=3449 vsize=28231644 memory=281094067025808 CPUtime=0.03 cores=0-7
/proc/3451/task/3466/stat : 3466 (java) S 3449 3449 2998 0 -1 1077944384 94 0 0 0 3 0 0 0 20 0 20 0 417951026 28909203456 12420 33554432000 4194304 4196468 140736773372832 140439831439472 140440451918466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3467] ppid=3449 vsize=28231644 memory=281094067032720 CPUtime=0.02 cores=0-7
/proc/3451/task/3467/stat : 3467 (java) R 3449 3449 2998 0 -1 4202560 72 0 0 0 2 0 0 0 20 0 20 0 417951026 28909203456 12420 33554432000 4194304 4196468 140736773372832 140439830378384 140440436786841 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3468] ppid=3449 vsize=28231644 memory=281094067030416 CPUtime=0.12 cores=0-7
/proc/3451/task/3468/stat : 3468 (java) S 3449 3449 2998 0 -1 1077944384 953 0 0 0 12 0 0 0 20 0 20 0 417951026 28909203456 12420 33554432000 4194304 4196468 140736773372832 140439829334384 140440451918466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3469] ppid=3449 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3469/stat : 3469 (java) S 3449 3449 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417951026 28909203456 12420 33554432000 4194304 4196468 140736773372832 140439828282080 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3470] ppid=3449 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/3451/task/3470/stat : 3470 (java) S 3449 3449 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417951027 28909203456 12420 33554432000 4194304 4196468 140736773372832 140439827229616 140440451918466 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51136 KiB

[startup+0.700938 s]
/proc/loadavg: 8.48 8.61 7.97 7/211 3470
/proc/meminfo: memFree=31203032/32770624 swapFree=66919100/67108860
[pid=3449] ppid=3446 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3449/stat : 3449 (xcsp3-exec) S 3446 3449 2998 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417951020 115843072 364 33554432000 4194304 5098028 140724490143712 140724490141816 139965877269116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11579392 140724490146677 140724490146921 140724490146921 140724490149834 0
/proc/3449/statm: 28282 364 305 221 0 87 0
[pid=3451] ppid=3449 vsize=28233768 memory=244808 CPUtime=1.73 cores=0-7
/proc/3451/stat : 3451 (java) S 3449 3449 2998 0 -1 1077944320 14804 0 0 0 161 12 0 0 20 0 20 0 417951020 28911378432 61202 33554432000 4194304 4196468 140736773372832 140736773355376 140440451907319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
/proc/3451/statm: 7058442 61202 3454 1 0 7019544 0
[pid=3451/tid=3452] ppid=3449 vsize=28233768 memory=0 CPUtime=0.65 cores=0-7
/proc/3451/task/3452/stat : 3452 (java) R 3449 3449 2998 0 -1 4202560 8300 0 0 0 60 5 0 0 20 0 20 0 417951021 28911378432 61202 33554432000 4194304 4196468 140736773372832 140440456145184 140440081677612 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3453] ppid=3449 vsize=28233768 memory=140547033703280 CPUtime=0 cores=0-7
/proc/3451/task/3453/stat : 3453 (java) S 3449 3449 2998 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 417951021 28911378432 61202 33554432000 4194304 4196468 140736773372832 140440404527888 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3454] ppid=3449 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/3451/task/3454/stat : 3454 (java) S 3449 3449 2998 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 417951021 28911378432 61202 33554432000 4194304 4196468 140736773372832 140440403475344 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3455] ppid=3449 vsize=28233768 memory=1560 CPUtime=0 cores=0-7
/proc/3451/task/3455/stat : 3455 (java) S 3449 3449 2998 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 417951021 28911378432 61202 33554432000 4194304 4196468 140736773372832 140440402422800 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0

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

[pid=3451/tid=3468] ppid=3449 vsize=28766280 memory=5228352 CPUtime=0.83 cores=0-7
/proc/3451/task/3468/stat : 3468 (java) S 3449 3449 2998 0 -1 1077944384 6015 0 0 0 81 2 0 0 20 0 28 0 417951026 29456670720 2107873 33554432000 4194304 4196468 140736773372832 140439829334384 140440451918466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3469] ppid=3449 vsize=28766280 memory=1408 CPUtime=0 cores=0-7
/proc/3451/task/3469/stat : 3469 (java) S 3449 3449 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417951026 29456670720 2107873 33554432000 4194304 4196468 140736773372832 140439828282080 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3470] ppid=3449 vsize=28766280 memory=4705 CPUtime=0 cores=0-7
/proc/3451/task/3470/stat : 3470 (java) S 3449 3449 2998 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 28 0 417951027 29456670720 2107873 33554432000 4194304 4196468 140736773372832 140439827229616 140440451918466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 66 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3474] ppid=3449 vsize=28766280 memory=1958 CPUtime=1.43 cores=0-7
/proc/3451/task/3474/stat : 3474 (java) R 3449 3449 2998 0 -1 4202560 2624 0 0 0 143 0 0 0 20 0 28 0 417954634 29456670720 2107873 33554432000 4194304 4196468 140736773372832 140439818017936 140440085379619 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3475] ppid=3449 vsize=28766280 memory=281094068174496 CPUtime=1.57 cores=0-7
/proc/3451/task/3475/stat : 3475 (java) R 3449 3449 2998 0 -1 4202560 182 0 0 0 157 0 0 0 20 0 28 0 417954634 29456670720 2107873 33554432000 4194304 4196468 140736773372832 140439816966648 140440085170055 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3476] ppid=3449 vsize=28766280 memory=6944656591801717918 CPUtime=1.31 cores=0-7
/proc/3451/task/3476/stat : 3476 (java) R 3449 3449 2998 0 -1 4202560 221 0 0 0 131 0 0 0 20 0 28 0 417954634 29456670720 2107873 33554432000 4194304 4196468 140736773372832 140439815913256 140440085170248 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3477] ppid=3449 vsize=28766280 memory=6944656425122832000 CPUtime=1.46 cores=0-7
/proc/3451/task/3477/stat : 3477 (java) R 3449 3449 2998 0 -1 4202560 132 0 0 0 146 0 0 0 20 0 28 0 417954634 29456670720 2107873 33554432000 4194304 4196468 140736773372832 140439814860376 140440085378441 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3478] ppid=3449 vsize=28766280 memory=6944613755328037015 CPUtime=1.37 cores=0-7
/proc/3451/task/3478/stat : 3478 (java) R 3449 3449 2998 0 -1 4202560 140 0 0 0 137 0 0 0 20 0 28 0 417954634 29456670720 2107873 33554432000 4194304 4196468 140736773372832 140439813808024 140440085378390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3479] ppid=3449 vsize=28766280 memory=4137282616176384387 CPUtime=1.46 cores=0-7
/proc/3451/task/3479/stat : 3479 (java) R 3449 3449 2998 0 -1 4202560 118 0 0 0 146 0 0 0 20 0 28 0 417954635 29456670720 2107873 33554432000 4194304 4196468 140736773372832 140439812755328 140440085378288 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3480] ppid=3449 vsize=28766280 memory=-7457052372387209120 CPUtime=1.52 cores=0-7
/proc/3451/task/3480/stat : 3480 (java) R 3449 3449 2998 0 -1 4202560 123 0 0 0 152 0 0 0 20 0 28 0 417954635 29456670720 2107873 33554432000 4194304 4196468 140736773372832 140439811702784 140440085378200 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3481] ppid=3449 vsize=28766280 memory=8112282956445269571 CPUtime=1.36 cores=0-7
/proc/3451/task/3481/stat : 3481 (java) R 3449 3449 2998 0 -1 4202560 117 0 0 0 136 0 0 0 20 0 28 0 417954635 29456670720 2107873 33554432000 4194304 4196468 140736773372832 140439810650376 140440085376907 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
Current children cumulated CPU time: 102.57 s
Current children cumulated vsize: 28879408 KiB
Current children cumulated memory: 8432948 KiB

[startup+39.2016 s]
/proc/loadavg: 5.57 7.84 7.74 11/219 3481
/proc/meminfo: memFree=22870184/32770624 swapFree=66919100/67108860
[pid=3449] ppid=3446 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3449/stat : 3449 (xcsp3-exec) S 3446 3449 2998 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417951020 115843072 364 33554432000 4194304 5098028 140724490143712 140724490141816 139965877269116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11579392 140724490146677 140724490146921 140724490146921 140724490149834 0
/proc/3449/statm: 28282 364 305 221 0 87 0
[pid=3451] ppid=3449 vsize=28766280 memory=8432460 CPUtime=108.88 cores=0-7
/proc/3451/stat : 3451 (java) S 3449 3449 2998 0 -1 1077944320 145967 0 0 0 9639 1249 0 0 20 0 28 0 417951020 29456670720 2108115 33554432000 4194304 4196468 140736773372832 140736773355376 140440451907319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
/proc/3451/statm: 7191570 2108115 3520 1 0 7152672 0
[pid=3451/tid=3452] ppid=3449 vsize=28766280 memory=8112282956445269571 CPUtime=27.9 cores=0-7
/proc/3451/task/3452/stat : 3452 (java) S 3449 3449 2998 0 -1 1077944384 28731 0 0 0 2706 84 0 0 20 0 28 0 417951021 29456670720 2108115 33554432000 4194304 4196468 140736773372832 140440456148096 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3453] ppid=3449 vsize=28766280 memory=8432196 CPUtime=7.25 cores=0-7
/proc/3451/task/3453/stat : 3453 (java) S 3449 3449 2998 0 -1 1077944384 12101 0 0 0 576 149 0 0 20 0 28 0 417951021 29456670720 2108115 33554432000 4194304 4196468 140736773372832 140440404527888 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3454] ppid=3449 vsize=28766280 memory=6943526294502006880 CPUtime=7.23 cores=0-7
/proc/3451/task/3454/stat : 3454 (java) S 3449 3449 2998 0 -1 1077944384 9507 0 0 0 578 145 0 0 20 0 28 0 417951021 29456670720 2108115 33554432000 4194304 4196468 140736773372832 140440403475344 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3455] ppid=3449 vsize=28766280 memory=26116 CPUtime=7.25 cores=0-7
/proc/3451/task/3455/stat : 3455 (java) S 3449 3449 2998 0 -1 1077944384 11056 0 0 0 576 149 0 0 20 0 28 0 417951021 29456670720 2108115 33554432000 4194304 4196468 140736773372832 140440402422800 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3456] ppid=3449 vsize=28766280 memory=28324 CPUtime=7.2 cores=0-7
/proc/3451/task/3456/stat : 3456 (java) S 3449 3449 2998 0 -1 1077944384 12833 0 0 0 580 140 0 0 20 0 28 0 417951021 29456670720 2108115 33554432000 4194304 4196468 140736773372832 140440401370256 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3457] ppid=3449 vsize=28766280 memory=1456 CPUtime=7.22 cores=0-7
/proc/3451/task/3457/stat : 3457 (java) S 3449 3449 2998 0 -1 1077944384 8955 0 0 0 582 140 0 0 20 0 28 0 417951021 29456670720 2108115 33554432000 4194304 4196468 140736773372832 140440400316688 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3458] ppid=3449 vsize=28766280 memory=8430644 CPUtime=7.25 cores=0-7
/proc/3451/task/3458/stat : 3458 (java) S 3449 3449 2998 0 -1 1077944384 9943 0 0 0 582 143 0 0 20 0 28 0 417951021 29456670720 2108115 33554432000 4194304 4196468 140736773372832 140440399264144 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3459] ppid=3449 vsize=28766280 memory=7882813798169536849 CPUtime=7.17 cores=0-7
/proc/3451/task/3459/stat : 3459 (java) S 3449 3449 2998 0 -1 1077944384 8699 0 0 0 577 140 0 0 20 0 28 0 417951021 29456670720 2108115 33554432000 4194304 4196468 140736773372832 140439996717584 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3460] ppid=3449 vsize=28766280 memory=7017292602773957458 CPUtime=7.24 cores=0-7
/proc/3451/task/3460/stat : 3460 (java) S 3449 3449 2998 0 -1 1077944384 8421 0 0 0 581 143 0 0 20 0 28 0 417951021 29456670720 2108115 33554432000 4194304 4196468 140736773372832 140439995665040 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3461] ppid=3449 vsize=28766280 memory=8028905955312100672 CPUtime=0.75 cores=0-7
/proc/3451/task/3461/stat : 3461 (java) S 3449 3449 2998 0 -1 1077944384 10117 0 0 0 73 2 0 0 20 0 28 0 417951023 29456670720 2108115 33554432000 4194304 4196468 140736773372832 140439836703216 140440451918466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 64 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3462] ppid=3449 vsize=28766280 memory=7594587674001172330 CPUtime=0 cores=0-7
/proc/3451/task/3462/stat : 3462 (java) S 3449 3449 2998 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 417951023 29456670720 2108115 33554432000 4194304 4196468 140736773372832 140439835649504 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3463] ppid=3449 vsize=28766280 memory=4004 CPUtime=0 cores=0-7
/proc/3451/task/3463/stat : 3463 (java) S 3449 3449 2998 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 28 0 417951024 29456670720 2108115 33554432000 4194304 4196468 140736773372832 140439834596864 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3464] ppid=3449 vsize=28766280 memory=2828 CPUtime=0 cores=0-7
/proc/3451/task/3464/stat : 3464 (java) S 3449 3449 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417951026 29456670720 2108115 33554432000 4194304 4196468 140736773372832 140439833545424 140440451925915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3465] ppid=3449 vsize=28766280 memory=1000 CPUtime=1.69 cores=0-7
/proc/3451/task/3465/stat : 3465 (java) S 3449 3449 2998 0 -1 1077944384 6501 0 0 0 168 1 0 0 20 0 28 0 417951026 29456670720 2108115 33554432000 4194304 4196468 140736773372832 140439832492016 140440451918466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3466] ppid=3449 vsize=28766280 memory=1560 CPUtime=1.01 cores=0-7
/proc/3451/task/3466/stat : 3466 (java) S 3449 3449 2998 0 -1 1077944384 3252 0 0 0 100 1 0 0 20 0 28 0 417951026 29456670720 2108115 33554432000 4194304 4196468 140736773372832 140439831439472 140440451918466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3467] ppid=3449 vsize=28766280 memory=1172 CPUtime=1.31 cores=0-7
/proc/3451/task/3467/stat : 3467 (java) S 3449 3449 2998 0 -1 1077944384 4475 0 0 0 130 1 0 0 20 0 28 0 417951026 29456670720 2108115 33554432000 4194304 4196468 140736773372832 140439830386928 140440451918466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3468] ppid=3449 vsize=28766280 memory=14008 CPUtime=0.85 cores=0-7
/proc/3451/task/3468/stat : 3468 (java) S 3449 3449 2998 0 -1 1077944384 6028 0 0 0 83 2 0 0 20 0 28 0 417951026 29456670720 2108115 33554432000 4194304 4196468 140736773372832 140439829334384 140440451918466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3469] ppid=3449 vsize=28766280 memory=14072 CPUtime=0 cores=0-7
/proc/3451/task/3469/stat : 3469 (java) S 3449 3449 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417951026 29456670720 2108115 33554432000 4194304 4196468 140736773372832 140439828282080 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3470] ppid=3449 vsize=28766280 memory=281094067575872 CPUtime=0 cores=0-7
/proc/3451/task/3470/stat : 3470 (java) S 3449 3449 2998 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 28 0 417951027 29456670720 2108115 33554432000 4194304 4196468 140736773372832 140439827229616 140440451918466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 66 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3474] ppid=3449 vsize=28766280 memory=6656426216303648864 CPUtime=2.21 cores=0-7
/proc/3451/task/3474/stat : 3474 (java) R 3449 3449 2998 0 -1 4202560 2628 0 0 0 221 0 0 0 20 0 28 0 417954634 29456670720 2108115 33554432000 4194304 4196468 140736773372832 140439818020392 140440085850514 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3475] ppid=3449 vsize=28766280 memory=6943526294502006880 CPUtime=2.29 cores=0-7
/proc/3451/task/3475/stat : 3475 (java) R 3449 3449 2998 0 -1 4202560 182 0 0 0 229 0 0 0 20 0 28 0 417954634 29456670720 2108115 33554432000 4194304 4196468 140736773372832 140439816966648 140440085376976 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3476] ppid=3449 vsize=28766280 memory=6655300316396806240 CPUtime=1.98 cores=0-7
/proc/3451/task/3476/stat : 3476 (java) R 3449 3449 2998 0 -1 4202560 234 0 0 0 198 0 0 0 20 0 28 0 417954634 29456670720 2108115 33554432000 4194304 4196468 140736773372832 140439815912984 140440085378195 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3477] ppid=3449 vsize=28766280 memory=6944656574621848725 CPUtime=2.22 cores=0-7
/proc/3451/task/3477/stat : 3477 (java) R 3449 3449 2998 0 -1 4202560 142 0 0 0 222 0 0 0 20 0 28 0 417954634 29456670720 2108115 33554432000 4194304 4196468 140736773372832 140439814862376 140440085170225 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3478] ppid=3449 vsize=28766280 memory=6298093203657740377 CPUtime=2.05 cores=0-7
/proc/3451/task/3478/stat : 3478 (java) R 3449 3449 2998 0 -1 4202560 140 0 0 0 205 0 0 0 20 0 28 0 417954634 29456670720 2108115 33554432000 4194304 4196468 140736773372832 140439813807848 140440085378200 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3479] ppid=3449 vsize=28766280 memory=1414353297708861353 CPUtime=2.24 cores=0-7
/proc/3451/task/3479/stat : 3479 (java) R 3449 3449 2998 0 -1 4202560 118 0 0 0 224 0 0 0 20 0 28 0 417954635 29456670720 2108115 33554432000 4194304 4196468 140736773372832 140439812757576 140440085378195 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3480] ppid=3449 vsize=28766280 memory=301741373374332954 CPUtime=2.3 cores=0-7
/proc/3451/task/3480/stat : 3480 (java) R 3449 3449 2998 0 -1 4202560 123 0 0 0 230 0 0 0 20 0 28 0 417954635 29456670720 2108115 33554432000 4194304 4196468 140736773372832 140439811704008 140440085379403 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3481] ppid=3449 vsize=28766280 memory=288230583166042426 CPUtime=2.06 cores=0-7
/proc/3451/task/3481/stat : 3481 (java) R 3449 3449 2998 0 -1 4202560 118 0 0 0 206 0 0 0 20 0 28 0 417954635 29456670720 2108115 33554432000 4194304 4196468 140736773372832 140439810650840 140440083308974 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
Current children cumulated CPU time: 108.88 s
Current children cumulated vsize: 28879408 KiB
Current children cumulated memory: 8433916 KiB

[startup+39.4086 s]
/proc/loadavg: 5.57 7.84 7.74 11/219 3481
/proc/meminfo: memFree=22870184/32770624 swapFree=66919100/67108860
[pid=3449] ppid=3446 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/3449/stat : 3449 (xcsp3-exec) S 3446 3449 2998 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 417951020 115843072 364 33554432000 4194304 5098028 140724490143712 140724490141816 139965877269116 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11579392 140724490146677 140724490146921 140724490146921 140724490149834 0
/proc/3449/statm: 28282 364 305 221 0 87 0
[pid=3451] ppid=3449 vsize=28766280 memory=8432540 CPUtime=110.53 cores=0-7
/proc/3451/stat : 3451 (java) S 3449 3449 2998 0 -1 1077944320 146112 0 0 0 9804 1249 0 0 20 0 28 0 417951020 29456670720 2108135 33554432000 4194304 4196468 140736773372832 140736773355376 140440451907319 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
/proc/3451/statm: 7191570 2108135 3520 1 0 7152672 0
[pid=3451/tid=3452] ppid=3449 vsize=28766280 memory=4273068 CPUtime=27.9 cores=0-7
/proc/3451/task/3452/stat : 3452 (java) S 3449 3449 2998 0 -1 1077944384 28731 0 0 0 2706 84 0 0 20 0 28 0 417951021 29456670720 2108135 33554432000 4194304 4196468 140736773372832 140440456148096 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3453] ppid=3449 vsize=28766280 memory=1324 CPUtime=7.25 cores=0-7
/proc/3451/task/3453/stat : 3453 (java) S 3449 3449 2998 0 -1 1077944384 12101 0 0 0 576 149 0 0 20 0 28 0 417951021 29456670720 2108135 33554432000 4194304 4196468 140736773372832 140440404527888 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3454] ppid=3449 vsize=28766280 memory=1704 CPUtime=7.23 cores=0-7
/proc/3451/task/3454/stat : 3454 (java) S 3449 3449 2998 0 -1 1077944384 9507 0 0 0 578 145 0 0 20 0 28 0 417951021 29456670720 2108135 33554432000 4194304 4196468 140736773372832 140440403475344 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3455] ppid=3449 vsize=28766280 memory=5936 CPUtime=7.25 cores=0-7
/proc/3451/task/3455/stat : 3455 (java) S 3449 3449 2998 0 -1 1077944384 11056 0 0 0 576 149 0 0 20 0 28 0 417951021 29456670720 2108135 33554432000 4194304 4196468 140736773372832 140440402422800 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3456] ppid=3449 vsize=28766280 memory=588 CPUtime=7.2 cores=0-7
/proc/3451/task/3456/stat : 3456 (java) S 3449 3449 2998 0 -1 1077944384 12833 0 0 0 580 140 0 0 20 0 28 0 417951021 29456670720 2108135 33554432000 4194304 4196468 140736773372832 140440401370256 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3457] ppid=3449 vsize=28766280 memory=780 CPUtime=7.22 cores=0-7
/proc/3451/task/3457/stat : 3457 (java) S 3449 3449 2998 0 -1 1077944384 8955 0 0 0 582 140 0 0 20 0 28 0 417951021 29456670720 2108135 33554432000 4194304 4196468 140736773372832 140440400316688 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3458] ppid=3449 vsize=28766280 memory=1056 CPUtime=7.25 cores=0-7
/proc/3451/task/3458/stat : 3458 (java) S 3449 3449 2998 0 -1 1077944384 9943 0 0 0 582 143 0 0 20 0 28 0 417951021 29456670720 2108135 33554432000 4194304 4196468 140736773372832 140440399264144 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3459] ppid=3449 vsize=28766280 memory=11464 CPUtime=7.17 cores=0-7
/proc/3451/task/3459/stat : 3459 (java) S 3449 3449 2998 0 -1 1077944384 8699 0 0 0 577 140 0 0 20 0 28 0 417951021 29456670720 2108135 33554432000 4194304 4196468 140736773372832 140439996717584 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3460] ppid=3449 vsize=28766280 memory=2012 CPUtime=7.24 cores=0-7
/proc/3451/task/3460/stat : 3460 (java) S 3449 3449 2998 0 -1 1077944384 8421 0 0 0 581 143 0 0 20 0 28 0 417951021 29456670720 2108135 33554432000 4194304 4196468 140736773372832 140439995665040 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3461] ppid=3449 vsize=28766280 memory=1324 CPUtime=0.75 cores=0-7
/proc/3451/task/3461/stat : 3461 (java) S 3449 3449 2998 0 -1 1077944384 10117 0 0 0 73 2 0 0 20 0 28 0 417951023 29456670720 2108135 33554432000 4194304 4196468 140736773372832 140439836703216 140440451918466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 64 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3462] ppid=3449 vsize=28766280 memory=1000 CPUtime=0 cores=0-7
/proc/3451/task/3462/stat : 3462 (java) S 3449 3449 2998 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 417951023 29456670720 2108135 33554432000 4194304 4196468 140736773372832 140439835649504 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3463] ppid=3449 vsize=28766280 memory=1560 CPUtime=0 cores=0-7
/proc/3451/task/3463/stat : 3463 (java) S 3449 3449 2998 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 28 0 417951024 29456670720 2108135 33554432000 4194304 4196468 140736773372832 140439834596864 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3464] ppid=3449 vsize=28766280 memory=1172 CPUtime=0 cores=0-7
/proc/3451/task/3464/stat : 3464 (java) S 3449 3449 2998 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417951026 29456670720 2108135 33554432000 4194304 4196468 140736773372832 140439833545424 140440451925915 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3465] ppid=3449 vsize=28766280 memory=14008 CPUtime=1.69 cores=0-7
/proc/3451/task/3465/stat : 3465 (java) S 3449 3449 2998 0 -1 1077944384 6501 0 0 0 168 1 0 0 20 0 28 0 417951026 29456670720 2108135 33554432000 4194304 4196468 140736773372832 140439832492016 140440451918466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3466] ppid=3449 vsize=28766280 memory=14072 CPUtime=1.02 cores=0-7
/proc/3451/task/3466/stat : 3466 (java) S 3449 3449 2998 0 -1 1077944384 3252 0 0 0 101 1 0 0 20 0 28 0 417951026 29456670720 2108135 33554432000 4194304 4196468 140736773372832 140439831439472 140440451918466 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3467] ppid=3449 vsize=28766280 memory=2116 CPUtime=1.31 cores=0-7
/proc/3451/task/3467/stat : 3467 (java) S 3449 3449 2998 0 -1 1077944384 4475 0 0 0 130 1 0 0 20 0 28 0 417951026 29456670720 2108135 33554432000 4194304 4196468 140736773372832 140439830386928 140440451918466 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3468] ppid=3449 vsize=28766280 memory=8664 CPUtime=0.85 cores=0-7
/proc/3451/task/3468/stat : 3468 (java) S 3449 3449 2998 0 -1 1077944384 6029 0 0 0 83 2 0 0 20 0 28 0 417951026 29456670720 2108135 33554432000 4194304 4196468 140736773372832 140439829334384 140440451918466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3469] ppid=3449 vsize=28766280 memory=528 CPUtime=0 cores=0-7
/proc/3451/task/3469/stat : 3469 (java) S 3449 3449 2998 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417951026 29456670720 2108135 33554432000 4194304 4196468 140736773372832 140439828282080 140440451917525 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3470] ppid=3449 vsize=28766280 memory=1560 CPUtime=0.01 cores=0-7
/proc/3451/task/3470/stat : 3470 (java) S 3449 3449 2998 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 28 0 417951027 29456670720 2108135 33554432000 4194304 4196468 140736773372832 140439827229616 140440451918466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 66 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3474] ppid=3449 vsize=28766280 memory=932 CPUtime=2.41 cores=0-7
/proc/3451/task/3474/stat : 3474 (java) R 3449 3449 2998 0 -1 4202560 2628 0 0 0 241 0 0 0 20 0 28 0 417954634 29456670720 2108135 33554432000 4194304 4196468 140736773372832 140439818017904 140440085170278 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3475] ppid=3449 vsize=28766280 memory=1492 CPUtime=2.49 cores=0-7
/proc/3451/task/3475/stat : 3475 (java) R 3449 3449 2998 0 -1 4202560 182 0 0 0 249 0 0 0 20 0 28 0 417954634 29456670720 2108135 33554432000 4194304 4196468 140736773372832 140439816966736 140440085378328 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3476] ppid=3449 vsize=28766280 memory=864 CPUtime=2.18 cores=0-7
/proc/3451/task/3476/stat : 3476 (java) R 3449 3449 2998 0 -1 4202560 378 0 0 0 218 0 0 0 20 0 28 0 417954634 29456670720 2108135 33554432000 4194304 4196468 140736773372832 140439815912912 140440085376915 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3477] ppid=3449 vsize=28766280 memory=1448 CPUtime=2.41 cores=0-7
/proc/3451/task/3477/stat : 3477 (java) R 3449 3449 2998 0 -1 4202560 142 0 0 0 241 0 0 0 20 0 28 0 417954634 29456670720 2108135 33554432000 4194304 4196468 140736773372832 140439814860488 140440081749136 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3478] ppid=3449 vsize=28766280 memory=1980 CPUtime=2.25 cores=0-7
/proc/3451/task/3478/stat : 3478 (java) R 3449 3449 2998 0 -1 4202560 140 0 0 0 225 0 0 0 20 0 28 0 417954634 29456670720 2108135 33554432000 4194304 4196468 140736773372832 140439813807824 140440085170248 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3479] ppid=3449 vsize=28766280 memory=281094068312272 CPUtime=2.45 cores=0-7
/proc/3451/task/3479/stat : 3479 (java) R 3449 3449 2998 0 -1 4202560 118 0 0 0 245 0 0 0 20 0 28 0 417954635 29456670720 2108135 33554432000 4194304 4196468 140736773372832 140439812755296 140440085376907 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3480] ppid=3449 vsize=28766280 memory=7738992213956519506 CPUtime=2.51 cores=0-7
/proc/3451/task/3480/stat : 3480 (java) R 3449 3449 2998 0 -1 4202560 123 0 0 0 251 0 0 0 20 0 28 0 417954635 29456670720 2108135 33554432000 4194304 4196468 140736773372832 140439811702736 140440085378200 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
[pid=3451/tid=3481] ppid=3449 vsize=28766280 memory=7522249781404528485 CPUtime=2.27 cores=0-7
/proc/3451/task/3481/stat : 3481 (java) R 3449 3449 2998 0 -1 4202560 118 0 0 0 227 0 0 0 20 0 28 0 417954635 29456670720 2108135 33554432000 4194304 4196468 140736773372832 140439810650208 140440085376197 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25083904 140736773374954 140736773375126 140736773375126 140736773377999 0
Current children cumulated CPU time: 110.53 s
Current children cumulated vsize: 28879408 KiB
Current children cumulated memory: 8433996 KiB

Child status: 0
Real time (s): 39.4704
CPU time (s): 110.663
CPU user time (s): 98.1126
CPU system time (s): 12.5499
CPU usage (%): 280.368
Max. virtual memory (cumulated for all children) (KiB): 28879408
Max. memory (cumulated for all children) (KiB): 8433996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 98.1126
system time used= 12.5499
maximum resident set size= 8432568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146753
page faults= 0
swaps= 0
block input operations= 0
block output operations= 200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7881
involuntary context switches= 1687


# summary of solver processes directly reported to runsolver:
#   pid: 3449
#   total CPU time (s): 110.663
#   total CPU user time (s): 98.1126
#   total CPU system time (s): 12.5499

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.348946 second user time and 0.394478 second system time

The end

Launcher Data 

Begin job on node141 at 2019-09-14 02:14:49
IDJOB=4393500
IDBENCH=120983
IDSOLVER=2841
FILE ID=node141/4393500-1568420131
RUNJOBID= node141-1568417565-3025
PBS_JOBID= 21702276
Free space on /tmp= 58512 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/Random/Random-m1-5-12-12/rand-5-12-12-200-12442-22.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-4393500-1568420131/watcher-4393500-1568420131 -o /tmp/evaluation-result-4393500-1568420131/solver-4393500-1568420131 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568417565-3025 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2097930972 HOME/instance-4393500-1568420131.xml

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

MD5SUM BENCH= 1f678c7b1175962864f0f6df2117d050
RANDOM SEED=2097930972

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.93
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:        31302876 kB
MemAvailable:   31841276 kB
Buffers:          173760 kB
Cached:           652540 kB
SwapCached:        80512 kB
Active:           448032 kB
Inactive:         463156 kB
Active(anon):       9984 kB
Inactive(anon):   106128 kB
Active(file):     438048 kB
Inactive(file):   357028 kB
Unevictable:      109460 kB
Mlocked:          109460 kB
SwapTotal:      67108860 kB
SwapFree:       66919100 kB
Dirty:             54680 kB
Writeback:             0 kB
AnonPages:        113276 kB
Mapped:            35896 kB
Shmem:             23132 kB
Slab:             147832 kB
SReclaimable:     118320 kB
SUnreclaim:        29512 kB
KernelStack:        3424 kB
PageTables:         5196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 58488 MiB
End job on node141 at 2019-09-14 02:15:29