Trace number 4393680

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 parallel? (TO) 19951.3 2520.11

General information on the benchmark

NameLatinSquare/LatinSquare-m1-gp/
qwh-o30-h374-07.xml
MD5SUMcae06e42b01baa71e2bfd0e1b4deb8b1
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark18.1078
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of constraints2
Number of domains1
Minimum domain size30
Maximum domain size30
Distribution of domain sizes[{"size":30,"count":900}]
Minimum variable degree1
Maximum variable degree2
Distribution of variable degrees[{"degree":1,"count":374},{"degree":2,"count":526}]
Minimum constraint arity526
Maximum constraint arity900
Distribution of constraint arities[{"arity":526,"count":1},{"arity":900,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"instantiation","count":1}]
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-4393680-1568443063.xml"  -tl '20160s' -p 8
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4393680-1568443063.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.49/0.62	c solve instance...
19950.67/2520.07	s UNKNOWN
19950.67/2520.07	c Unexpected resolution interruption!

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393680-1568443063/watcher-4393680-1568443063 -o /tmp/evaluation-result-4393680-1568443063/solver-4393680-1568443063 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568439189-30083 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1283725773 HOME/instance-4393680-1568443063.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=31169, runsolver pid=31166

[startup+0.100137 s]*
/proc/loadavg: 7.24 4.82 5.64 2/211 31190
/proc/meminfo: memFree=30905364/32770624 swapFree=66948112/67108860
[pid=31169] ppid=31166 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/31169/stat : 31169 (xcsp3-exec) S 31166 31169 30056 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420248210 115843072 364 33554432000 4194304 5098028 140729163412992 140729163411096 139766343045756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34832384 140729163416437 140729163416681 140729163416681 140729163419594 0
/proc/31169/statm: 28282 364 305 221 0 87 0
[pid=31171] ppid=31169 vsize=28227388 memory=29100 CPUtime=0.13 cores=0-7
/proc/31171/stat : 31171 (java) S 31169 31169 30056 0 -1 1077944320 5741 0 0 0 11 2 0 0 20 0 20 0 420248211 28904845312 7275 33554432000 4194304 4196468 140721056633120 140721056615664 139869428797175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
/proc/31171/statm: 7056847 7275 3122 1 0 7019032 0
[pid=31171/tid=31172] ppid=31169 vsize=28227388 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/31171/task/31172/stat : 31172 (java) R 31169 31169 30056 0 -1 4202560 3658 0 0 0 7 1 0 0 20 0 20 0 420248211 28904845312 7275 33554432000 4194304 4196468 140721056633120 139869433019568 139869428819101 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31173] ppid=31169 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/31171/task/31173/stat : 31173 (java) S 31169 31169 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420248212 28904845312 7275 33554432000 4194304 4196468 140721056633120 139869381417744 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31174] ppid=31169 vsize=28227388 memory=139670535382656 CPUtime=0 cores=0-7
/proc/31171/task/31174/stat : 31174 (java) S 31169 31169 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420248212 28904845312 7275 33554432000 4194304 4196468 140721056633120 139869380365200 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31175] ppid=31169 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31175/stat : 31175 (java) S 31169 31169 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420248212 28904845312 7275 33554432000 4194304 4196468 140721056633120 139869379312656 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31176] ppid=31169 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31176/stat : 31176 (java) S 31169 31169 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420248212 28904845312 7275 33554432000 4194304 4196468 140721056633120 139869378260112 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31177] ppid=31169 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31177/stat : 31177 (java) S 31169 31169 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420248212 28904845312 7275 33554432000 4194304 4196468 140721056633120 139869377206544 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31178] ppid=31169 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/31171/task/31178/stat : 31178 (java) S 31169 31169 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420248212 28904845312 7275 33554432000 4194304 4196468 140721056633120 139869376154000 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31179] ppid=31169 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31179/stat : 31179 (java) S 31169 31169 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420248212 28904845312 7275 33554432000 4194304 4196468 140721056633120 139869375101456 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31180] ppid=31169 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31180/stat : 31180 (java) S 31169 31169 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420248212 28904845312 7275 33554432000 4194304 4196468 140721056633120 139869374048912 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31181] ppid=31169 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31181/stat : 31181 (java) S 31169 31169 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420248213 28904845312 7275 33554432000 4194304 4196468 140721056633120 139868094323184 139869428808322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31182] ppid=31169 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31182/stat : 31182 (java) S 31169 31169 30056 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420248214 28904845312 7275 33554432000 4194304 4196468 140721056633120 139868025906592 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31183] ppid=31169 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31183/stat : 31183 (java) S 31169 31169 30056 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420248214 28904845312 7275 33554432000 4194304 4196468 140721056633120 139868024854000 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31184] ppid=31169 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31184/stat : 31184 (java) S 31169 31169 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420248216 28904845312 7275 33554432000 4194304 4196468 140721056633120 139868023802576 139869428815771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31185] ppid=31169 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31185/stat : 31185 (java) S 31169 31169 30056 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 420248216 28904845312 7275 33554432000 4194304 4196468 140721056633120 139868022749168 139869428808322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31186] ppid=31169 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31186/stat : 31186 (java) S 31169 31169 30056 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 420248216 28904845312 7275 33554432000 4194304 4196468 140721056633120 139868021696624 139869428808322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31187] ppid=31169 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31187/stat : 31187 (java) S 31169 31169 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420248216 28904845312 7275 33554432000 4194304 4196468 140721056633120 139868020644080 139869428808322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31188] ppid=31169 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/31171/task/31188/stat : 31188 (java) R 31169 31169 30056 0 -1 4202560 343 0 0 0 2 0 0 0 20 0 20 0 420248216 28904845312 7275 33554432000 4194304 4196468 140721056633120 139868019591536 139869420815356 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31189] ppid=31169 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31189/stat : 31189 (java) S 31169 31169 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420248216 28904845312 7275 33554432000 4194304 4196468 140721056633120 139868018539232 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31190] ppid=31169 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/31171/task/31190/stat : 31190 (java) S 31169 31169 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420248217 28904845312 7275 33554432000 4194304 4196468 140721056633120 139868017486768 139869428808322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30556 KiB

[startup+0.210483 s]*
/proc/loadavg: 7.24 4.82 5.64 2/211 31190
/proc/meminfo: memFree=30891852/32770624 swapFree=66948112/67108860
[pid=31169] ppid=31166 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/31169/stat : 31169 (xcsp3-exec) S 31166 31169 30056 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420248210 115843072 364 33554432000 4194304 5098028 140729163412992 140729163411096 139766343045756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34832384 140729163416437 140729163416681 140729163416681 140729163419594 0
/proc/31169/statm: 28282 364 305 221 0 87 0
[pid=31171] ppid=31169 vsize=28227388 memory=41096 CPUtime=0.33 cores=0-7
/proc/31171/stat : 31171 (java) S 31169 31169 30056 0 -1 1077944320 9505 0 0 0 30 3 0 0 20 0 20 0 420248211 28904845312 10274 33554432000 4194304 4196468 140721056633120 140721056615664 139869428797175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
/proc/31171/statm: 7056847 10274 3316 1 0 7019032 0
[pid=31171/tid=31172] ppid=31169 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/31171/task/31172/stat : 31172 (java) R 31169 31169 30056 0 -1 4202560 6656 0 0 0 17 3 0 0 20 0 20 0 420248211 28904845312 10274 33554432000 4194304 4196468 140721056633120 139869433030912 139869428809110 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31173] ppid=31169 vsize=28227388 memory=328 CPUtime=0 cores=0-7
/proc/31171/task/31173/stat : 31173 (java) S 31169 31169 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420248212 28904845312 10274 33554432000 4194304 4196468 140721056633120 139869381417744 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31174] ppid=31169 vsize=28227388 memory=288370046687094400 CPUtime=0 cores=0-7
/proc/31171/task/31174/stat : 31174 (java) S 31169 31169 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420248212 28904845312 10274 33554432000 4194304 4196468 140721056633120 139869380365200 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31175] ppid=31169 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/31171/task/31175/stat : 31175 (java) S 31169 31169 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420248212 28904845312 10274 33554432000 4194304 4196468 140721056633120 139869379312656 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31176] ppid=31169 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31176/stat : 31176 (java) S 31169 31169 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420248212 28904845312 10274 33554432000 4194304 4196468 140721056633120 139869378260112 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31177] ppid=31169 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31177/stat : 31177 (java) S 31169 31169 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420248212 28904845312 10274 33554432000 4194304 4196468 140721056633120 139869377206544 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31178] ppid=31169 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/31171/task/31178/stat : 31178 (java) S 31169 31169 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420248212 28904845312 10274 33554432000 4194304 4196468 140721056633120 139869376154000 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31179] ppid=31169 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31179/stat : 31179 (java) S 31169 31169 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420248212 28904845312 10274 33554432000 4194304 4196468 140721056633120 139869375101456 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31180] ppid=31169 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31180/stat : 31180 (java) S 31169 31169 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420248212 28904845312 10274 33554432000 4194304 4196468 140721056633120 139869374048912 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31181] ppid=31169 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31181/stat : 31181 (java) S 31169 31169 30056 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420248213 28904845312 10274 33554432000 4194304 4196468 140721056633120 139868094323184 139869428808322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31182] ppid=31169 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31182/stat : 31182 (java) S 31169 31169 30056 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420248214 28904845312 10274 33554432000 4194304 4196468 140721056633120 139868025906592 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31183] ppid=31169 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31183/stat : 31183 (java) S 31169 31169 30056 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420248214 28904845312 10274 33554432000 4194304 4196468 140721056633120 139868024854000 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31184] ppid=31169 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31184/stat : 31184 (java) S 31169 31169 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420248216 28904845312 10274 33554432000 4194304 4196468 140721056633120 139868023802576 139869428815771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31185] ppid=31169 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31185/stat : 31185 (java) S 31169 31169 30056 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 420248216 28904845312 10274 33554432000 4194304 4196468 140721056633120 139868022749168 139869428808322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31186] ppid=31169 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/31171/task/31186/stat : 31186 (java) S 31169 31169 30056 0 -1 1077944384 398 0 0 0 2 0 0 0 20 0 20 0 420248216 28904845312 10274 33554432000 4194304 4196468 140721056633120 139868021696624 139869428808322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31187] ppid=31169 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/31171/task/31187/stat : 31187 (java) S 31169 31169 30056 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 20 0 420248216 28904845312 10274 33554432000 4194304 4196468 140721056633120 139868020644080 139869428808322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31188] ppid=31169 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/31171/task/31188/stat : 31188 (java) R 31169 31169 30056 0 -1 4202560 739 0 0 0 8 0 0 0 20 0 20 0 420248216 28904845312 10274 33554432000 4194304 4196468 140721056633120 139868019591536 139869407781952 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31189] ppid=31169 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31189/stat : 31189 (java) S 31169 31169 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420248216 28904845312 10274 33554432000 4194304 4196468 140721056633120 139868018539232 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31190] ppid=31169 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/31171/task/31190/stat : 31190 (java) S 31169 31169 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420248217 28904845312 10274 33554432000 4194304 4196468 140721056633120 139868017486768 139869428808322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42552 KiB

[startup+0.3105 s]*
/proc/loadavg: 7.24 4.82 5.64 4/211 31190
/proc/meminfo: memFree=30884580/32770624 swapFree=66948112/67108860
[pid=31169] ppid=31166 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/31169/stat : 31169 (xcsp3-exec) S 31166 31169 30056 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420248210 115843072 364 33554432000 4194304 5098028 140729163412992 140729163411096 139766343045756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34832384 140729163416437 140729163416681 140729163416681 140729163419594 0
/proc/31169/statm: 28282 364 305 221 0 87 0
[pid=31171] ppid=31169 vsize=28231644 memory=50144 CPUtime=0.52 cores=0-7
/proc/31171/stat : 31171 (java) S 31169 31169 30056 0 -1 1077944320 10916 0 0 0 48 4 0 0 20 0 20 0 420248211 28909203456 12536 33554432000 4194304 4196468 140721056633120 140721056615664 139869428797175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
/proc/31171/statm: 7057911 12536 3354 1 0 7019032 0
[pid=31171/tid=31172] ppid=31169 vsize=28231644 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/31171/task/31172/stat : 31172 (java) R 31169 31169 30056 0 -1 4202560 7807 0 0 0 27 3 0 0 20 0 20 0 420248211 28909203456 12536 33554432000 4194304 4196468 140721056633120 139869433028288 139869412877662 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31173] ppid=31169 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31173/stat : 31173 (java) S 31169 31169 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420248212 28909203456 12536 33554432000 4194304 4196468 140721056633120 139869381417744 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31174] ppid=31169 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31174/stat : 31174 (java) S 31169 31169 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420248212 28909203456 12536 33554432000 4194304 4196468 140721056633120 139869380365200 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31175] ppid=31169 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31175/stat : 31175 (java) S 31169 31169 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420248212 28909203456 12536 33554432000 4194304 4196468 140721056633120 139869379312656 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31176] ppid=31169 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31176/stat : 31176 (java) S 31169 31169 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420248212 28909203456 12536 33554432000 4194304 4196468 140721056633120 139869378260112 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31177] ppid=31169 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/31171/task/31177/stat : 31177 (java) S 31169 31169 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420248212 28909203456 12536 33554432000 4194304 4196468 140721056633120 139869377206544 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31178] ppid=31169 vsize=28231644 memory=139670390404015 CPUtime=0 cores=0-7
/proc/31171/task/31178/stat : 31178 (java) S 31169 31169 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420248212 28909203456 12536 33554432000 4194304 4196468 140721056633120 139869376154000 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31179] ppid=31169 vsize=28231644 memory=139670390406320 CPUtime=0 cores=0-7
/proc/31171/task/31179/stat : 31179 (java) S 31169 31169 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420248212 28909203456 12536 33554432000 4194304 4196468 140721056633120 139869375101456 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31180] ppid=31169 vsize=28231644 memory=139670390408624 CPUtime=0 cores=0-7
/proc/31171/task/31180/stat : 31180 (java) S 31169 31169 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420248212 28909203456 12536 33554432000 4194304 4196468 140721056633120 139869374048912 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31181] ppid=31169 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31181/stat : 31181 (java) S 31169 31169 30056 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420248213 28909203456 12536 33554432000 4194304 4196468 140721056633120 139868094323184 139869428808322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31182] ppid=31169 vsize=28231644 memory=279340780824208 CPUtime=0 cores=0-7
/proc/31171/task/31182/stat : 31182 (java) S 31169 31169 30056 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420248214 28909203456 12536 33554432000 4194304 4196468 140721056633120 139868025906592 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31183] ppid=31169 vsize=28231644 memory=279340780831120 CPUtime=0 cores=0-7
/proc/31171/task/31183/stat : 31183 (java) S 31169 31169 30056 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420248214 28909203456 12536 33554432000 4194304 4196468 140721056633120 139868024854000 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31184] ppid=31169 vsize=28231644 memory=279340780772400 CPUtime=0 cores=0-7
/proc/31171/task/31184/stat : 31184 (java) S 31169 31169 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420248216 28909203456 12536 33554432000 4194304 4196468 140721056633120 139868023802576 139869428815771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31185] ppid=31169 vsize=28231644 memory=279340780844944 CPUtime=0.02 cores=0-7
/proc/31171/task/31185/stat : 31185 (java) R 31169 31169 30056 0 -1 4202560 435 0 0 0 2 0 0 0 20 0 20 0 420248216 28909203456 12536 33554432000 4194304 4196468 140721056633120 139868022739552 139869410318254 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31186] ppid=31169 vsize=28231644 memory=279340780851856 CPUtime=0.03 cores=0-7
/proc/31171/task/31186/stat : 31186 (java) S 31169 31169 30056 0 -1 1077944384 413 0 0 0 3 0 0 0 20 0 20 0 420248216 28909203456 12536 33554432000 4194304 4196468 140721056633120 139868021696624 139869428808322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31187] ppid=31169 vsize=28231644 memory=279340780849552 CPUtime=0.03 cores=0-7
/proc/31171/task/31187/stat : 31187 (java) S 31169 31169 30056 0 -1 1077944384 103 0 0 0 3 0 0 0 20 0 20 0 420248216 28909203456 12536 33554432000 4194304 4196468 140721056633120 139868020644080 139869428808322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31188] ppid=31169 vsize=28231644 memory=279340780865712 CPUtime=0.12 cores=0-7
/proc/31171/task/31188/stat : 31188 (java) S 31169 31169 30056 0 -1 1077944384 844 0 0 0 12 0 0 0 20 0 20 0 420248216 28909203456 12536 33554432000 4194304 4196468 140721056633120 139868019591536 139869428808322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31189] ppid=31169 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31189/stat : 31189 (java) S 31169 31169 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420248216 28909203456 12536 33554432000 4194304 4196468 140721056633120 139868018539232 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31190] ppid=31169 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/31171/task/31190/stat : 31190 (java) S 31169 31169 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420248217 28909203456 12536 33554432000 4194304 4196468 140721056633120 139868017486768 139869428808322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51600 KiB

[startup+0.70116 s]
/proc/loadavg: 7.24 4.82 5.64 5/211 31190
/proc/meminfo: memFree=30865680/32770624 swapFree=66948112/67108860
[pid=31169] ppid=31166 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/31169/stat : 31169 (xcsp3-exec) S 31166 31169 30056 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420248210 115843072 364 33554432000 4194304 5098028 140729163412992 140729163411096 139766343045756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34832384 140729163416437 140729163416681 140729163416681 140729163419594 0
/proc/31169/statm: 28282 364 305 221 0 87 0
[pid=31171] ppid=31169 vsize=28766280 memory=130956 CPUtime=2.04 cores=0-7
/proc/31171/stat : 31171 (java) S 31169 31169 30056 0 -1 1077944320 18085 0 0 0 196 8 0 0 20 0 28 0 420248211 29456670720 32739 33554432000 4194304 4196468 140721056633120 140721056615664 139869428797175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
/proc/31171/statm: 7191570 32739 3461 1 0 7152672 0
[pid=31171/tid=31172] ppid=31169 vsize=28766280 memory=279340781223600 CPUtime=0.62 cores=0-7
/proc/31171/task/31172/stat : 31172 (java) S 31169 31169 30056 0 -1 1077944384 9231 0 0 0 58 4 0 0 20 0 28 0 420248211 29456670720 32739 33554432000 4194304 4196468 140721056633120 139869433037952 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31173] ppid=31169 vsize=28766280 memory=139670390612848 CPUtime=0 cores=0-7
/proc/31171/task/31173/stat : 31173 (java) S 31169 31169 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420248212 29456670720 32739 33554432000 4194304 4196468 140721056633120 139869381417744 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31174] ppid=31169 vsize=28766280 memory=0 CPUtime=0 cores=0-7
/proc/31171/task/31174/stat : 31174 (java) S 31169 31169 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 420248212 29456670720 32739 33554432000 4194304 4196468 140721056633120 139869380365200 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31175] ppid=31169 vsize=28766280 memory=1720 CPUtime=0 cores=0-7
/proc/31171/task/31175/stat : 31175 (java) S 31169 31169 30056 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 420248212 29456670720 32739 33554432000 4194304 4196468 140721056633120 139869379312656 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0

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

[pid=31171/tid=31198] ppid=31169 vsize=28768328 memory=6791534058613427641 CPUtime=2391.89 cores=0-7
/proc/31171/task/31198/stat : 31198 (java) R 31169 31169 30056 0 -1 4202560 100608 0 0 0 239055 134 0 0 20 0 28 0 420248276 29458767872 575824 33554432000 4194304 4196468 140721056633120 139868001147760 139869056123986 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
Current children cumulated CPU time: 19348.5 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 2304752 KiB

[startup+2502.3 s]
/proc/loadavg: 8.02 8.20 8.07 9/220 31408
/proc/meminfo: memFree=28754144/32770624 swapFree=66948212/67108860
[pid=31169] ppid=31166 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/31169/stat : 31169 (xcsp3-exec) S 31166 31169 30056 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420248210 115843072 364 33554432000 4194304 5098028 140729163412992 140729163411096 139766343045756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34832384 140729163416437 140729163416681 140729163416681 140729163419594 0
/proc/31169/statm: 28282 364 305 221 0 87 0
[pid=31171] ppid=31169 vsize=28768328 memory=2177576 CPUtime=19812.1 cores=0-7
/proc/31171/stat : 31171 (java) S 31169 31169 30056 0 -1 1077944320 1432458 0 0 0 1976598 4609 0 0 20 0 28 0 420248211 29458767872 544394 33554432000 4194304 4196468 140721056633120 140721056615664 139869428797175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
/proc/31171/statm: 7192082 544394 3556 1 0 7153184 0
[pid=31171/tid=31172] ppid=31169 vsize=28768328 memory=1456 CPUtime=0.62 cores=0-7
/proc/31171/task/31172/stat : 31172 (java) S 31169 31169 30056 0 -1 1077944384 9231 0 0 0 58 4 0 0 20 0 28 0 420248211 29458767872 544394 33554432000 4194304 4196468 140721056633120 139869433037952 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31173] ppid=31169 vsize=28768328 memory=2177576 CPUtime=15.8 cores=0-7
/proc/31171/task/31173/stat : 31173 (java) S 31169 31169 30056 0 -1 1077944384 51876 0 0 0 1349 231 0 0 20 0 28 0 420248212 29458767872 544394 33554432000 4194304 4196468 140721056633120 139869381417744 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 33 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31174] ppid=31169 vsize=28768328 memory=0 CPUtime=15.82 cores=0-7
/proc/31171/task/31174/stat : 31174 (java) S 31169 31169 30056 0 -1 1077944384 46007 0 0 0 1349 233 0 0 20 0 28 0 420248212 29458767872 544394 33554432000 4194304 4196468 140721056633120 139869380365200 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31175] ppid=31169 vsize=28768328 memory=740 CPUtime=15.88 cores=0-7
/proc/31171/task/31175/stat : 31175 (java) S 31169 31169 30056 0 -1 1077944384 51686 0 0 0 1359 229 0 0 20 0 28 0 420248212 29458767872 544394 33554432000 4194304 4196468 140721056633120 139869379312656 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31176] ppid=31169 vsize=28768328 memory=1056 CPUtime=15.73 cores=0-7
/proc/31171/task/31176/stat : 31176 (java) S 31169 31169 30056 0 -1 1077944384 47685 0 0 0 1351 222 0 0 20 0 28 0 420248212 29458767872 544394 33554432000 4194304 4196468 140721056633120 139869378260112 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 34 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31177] ppid=31169 vsize=28768328 memory=2177096 CPUtime=15.87 cores=0-7
/proc/31171/task/31177/stat : 31177 (java) S 31169 31169 30056 0 -1 1077944384 51039 0 0 0 1357 230 0 0 20 0 28 0 420248212 29458767872 544394 33554432000 4194304 4196468 140721056633120 139869377206544 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31178] ppid=31169 vsize=28768328 memory=992 CPUtime=15.74 cores=0-7
/proc/31171/task/31178/stat : 31178 (java) S 31169 31169 30056 0 -1 1077944384 49964 0 0 0 1348 226 0 0 20 0 28 0 420248212 29458767872 544394 33554432000 4194304 4196468 140721056633120 139869376154000 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 37 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31179] ppid=31169 vsize=28768328 memory=1580 CPUtime=15.86 cores=0-7
/proc/31171/task/31179/stat : 31179 (java) S 31169 31169 30056 0 -1 1077944384 50261 0 0 0 1353 233 0 0 20 0 28 0 420248212 29458767872 544394 33554432000 4194304 4196468 140721056633120 139869375101456 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31180] ppid=31169 vsize=28768328 memory=1566 CPUtime=15.84 cores=0-7
/proc/31171/task/31180/stat : 31180 (java) S 31169 31169 30056 0 -1 1077944384 55428 0 0 0 1349 235 0 0 20 0 28 0 420248212 29458767872 544394 33554432000 4194304 4196468 140721056633120 139869374048912 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 33 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31181] ppid=31169 vsize=28768328 memory=2177096 CPUtime=22.37 cores=0-7
/proc/31171/task/31181/stat : 31181 (java) S 31169 31169 30056 0 -1 1077944384 83377 0 0 0 834 1403 0 0 20 0 28 0 420248213 29458767872 544394 33554432000 4194304 4196468 140721056633120 139868094323184 139869428808322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31182] ppid=31169 vsize=28768328 memory=7164734856849610345 CPUtime=0 cores=0-7
/proc/31171/task/31182/stat : 31182 (java) S 31169 31169 30056 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 420248214 29458767872 544394 33554432000 4194304 4196468 140721056633120 139868025906656 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31183] ppid=31169 vsize=28768328 memory=267954419725234 CPUtime=0 cores=0-7
/proc/31171/task/31183/stat : 31183 (java) S 31169 31169 30056 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 420248214 29458767872 544394 33554432000 4194304 4196468 140721056633120 139868024854016 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31184] ppid=31169 vsize=28768328 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/31171/task/31184/stat : 31184 (java) S 31169 31169 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420248216 29458767872 544394 33554432000 4194304 4196468 140721056633120 139868023802576 139869428815771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31185] ppid=31169 vsize=28768328 memory=1700 CPUtime=3.26 cores=0-7
/proc/31171/task/31185/stat : 31185 (java) S 31169 31169 30056 0 -1 1077944384 23444 0 0 0 320 6 0 0 20 0 28 0 420248216 29458767872 544394 33554432000 4194304 4196468 140721056633120 139868022749168 139869428808322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31186] ppid=31169 vsize=28768328 memory=580 CPUtime=3.41 cores=0-7
/proc/31171/task/31186/stat : 31186 (java) S 31169 31169 30056 0 -1 1077944384 22911 0 0 0 335 6 0 0 20 0 28 0 420248216 29458767872 544394 33554432000 4194304 4196468 140721056633120 139868021696624 139869428808322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31187] ppid=31169 vsize=28768328 memory=0 CPUtime=2.97 cores=0-7
/proc/31171/task/31187/stat : 31187 (java) S 31169 31169 30056 0 -1 1077944384 16241 0 0 0 294 3 0 0 20 0 28 0 420248216 29458767872 544394 33554432000 4194304 4196468 140721056633120 139868020644080 139869428808322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31188] ppid=31169 vsize=28768328 memory=0 CPUtime=1.01 cores=0-7
/proc/31171/task/31188/stat : 31188 (java) S 31169 31169 30056 0 -1 1077944384 15757 0 0 0 98 3 0 0 20 0 28 0 420248216 29458767872 544394 33554432000 4194304 4196468 140721056633120 139868019591536 139869428808322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31189] ppid=31169 vsize=28768328 memory=924 CPUtime=0 cores=0-7
/proc/31171/task/31189/stat : 31189 (java) S 31169 31169 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420248216 29458767872 544394 33554432000 4194304 4196468 140721056633120 139868018539232 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31190] ppid=31169 vsize=28768328 memory=1672 CPUtime=0.92 cores=0-7
/proc/31171/task/31190/stat : 31190 (java) S 31169 31169 30056 0 -1 1077944384 5871 0 0 0 7 85 0 0 20 0 28 0 420248217 29458767872 544394 33554432000 4194304 4196468 140721056633120 139868017486768 139869428808322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31191] ppid=31169 vsize=28768328 memory=796 CPUtime=2451.31 cores=0-7
/proc/31171/task/31191/stat : 31191 (java) R 31169 31169 30056 0 -1 4202560 17222 0 0 0 245114 17 0 0 20 0 28 0 420248276 29458767872 544394 33554432000 4194304 4196468 140721056633120 139868008512904 139869056050987 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31192] ppid=31169 vsize=28768328 memory=1456 CPUtime=2455.95 cores=0-7
/proc/31171/task/31192/stat : 31192 (java) R 31169 31169 30056 0 -1 4202560 16667 0 0 0 245578 17 0 0 20 0 28 0 420248276 29458767872 544394 33554432000 4194304 4196468 140721056633120 139868007461496 139869055356675 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31193] ppid=31169 vsize=28768328 memory=2127840 CPUtime=2474.83 cores=0-7
/proc/31171/task/31193/stat : 31193 (java) R 31169 31169 30056 0 -1 4202560 545060 0 0 0 246571 912 0 0 20 0 28 0 420248276 29458767872 544394 33554432000 4194304 4196468 140721056633120 139868006407848 139869055357775 0 4 0 16800975 0 0 0 -1 4 0 0 18 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31194] ppid=31169 vsize=28768328 memory=1456 CPUtime=2456.31 cores=0-7
/proc/31171/task/31194/stat : 31194 (java) R 31169 31169 30056 0 -1 4202560 58988 0 0 0 245543 88 0 0 20 0 28 0 420248276 29458767872 544394 33554432000 4194304 4196468 140721056633120 139868005355256 139869055521681 0 4 0 16800975 0 0 0 -1 7 0 0 16 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31195] ppid=31169 vsize=28768328 memory=2144728 CPUtime=2457.2 cores=0-7
/proc/31171/task/31195/stat : 31195 (java) R 31169 31169 30056 0 -1 4202560 43934 0 0 0 245636 84 0 0 20 0 28 0 420248276 29458767872 544394 33554432000 4194304 4196468 140721056633120 139868004302776 139869055552430 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31196] ppid=31169 vsize=28768328 memory=3612 CPUtime=2452.16 cores=0-7
/proc/31171/task/31196/stat : 31196 (java) R 31169 31169 30056 0 -1 4202560 48942 0 0 0 245143 73 0 0 20 0 28 0 420248276 29458767872 544394 33554432000 4194304 4196468 140721056633120 139868003250328 139869049661216 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31197] ppid=31169 vsize=28768328 memory=23196 CPUtime=2454.3 cores=0-7
/proc/31171/task/31197/stat : 31197 (java) R 31169 31169 30056 0 -1 4202560 17578 0 0 0 245413 17 0 0 20 0 28 0 420248276 29458767872 544394 33554432000 4194304 4196468 140721056633120 139868002200640 139869055521087 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31198] ppid=31169 vsize=28768328 memory=1456 CPUtime=2448.64 cores=0-7
/proc/31171/task/31198/stat : 31198 (java) R 31169 31169 30056 0 -1 4202560 101895 0 0 0 244727 137 0 0 20 0 28 0 420248276 29458767872 544394 33554432000 4194304 4196468 140721056633120 139868001144640 139869050476295 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
Current children cumulated CPU time: 19812.1 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 2179032 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.24 8.24 8.09 10/219 31408
/proc/meminfo: memFree=28793604/32770624 swapFree=66948212/67108860
[pid=31169] ppid=31166 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/31169/stat : 31169 (xcsp3-exec) S 31166 31169 30056 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 420248210 115843072 364 33554432000 4194304 5098028 140729163412992 140729163411096 139766343045756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34832384 140729163416437 140729163416681 140729163416681 140729163419594 0
/proc/31169/statm: 28282 364 305 221 0 87 0
[pid=31171] ppid=31169 vsize=28768328 memory=2139136 CPUtime=19950.7 cores=0-7
/proc/31171/stat : 31171 (java) S 31169 31169 30056 0 -1 1077944320 1437236 0 0 0 1990429 4638 0 0 20 0 28 0 420248211 29458767872 534784 33554432000 4194304 4196468 140721056633120 140721056615664 139869428797175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
/proc/31171/statm: 7192082 534784 3556 1 0 7153184 0
[pid=31171/tid=31172] ppid=31169 vsize=28768328 memory=1398720917958146503 CPUtime=0.62 cores=0-7
/proc/31171/task/31172/stat : 31172 (java) S 31169 31169 30056 0 -1 1077944384 9231 0 0 0 58 4 0 0 20 0 28 0 420248211 29458767872 534784 33554432000 4194304 4196468 140721056633120 139869433037952 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31173] ppid=31169 vsize=28768328 memory=4872558044660077418 CPUtime=15.89 cores=0-7
/proc/31171/task/31173/stat : 31173 (java) S 31169 31169 30056 0 -1 1077944384 51959 0 0 0 1358 231 0 0 20 0 28 0 420248212 29458767872 534784 33554432000 4194304 4196468 140721056633120 139869381417744 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31174] ppid=31169 vsize=28768328 memory=920 CPUtime=15.9 cores=0-7
/proc/31171/task/31174/stat : 31174 (java) S 31169 31169 30056 0 -1 1077944384 46076 0 0 0 1357 233 0 0 20 0 28 0 420248212 29458767872 534784 33554432000 4194304 4196468 140721056633120 139869380365200 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 31 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31175] ppid=31169 vsize=28768328 memory=4808 CPUtime=15.97 cores=0-7
/proc/31171/task/31175/stat : 31175 (java) S 31169 31169 30056 0 -1 1077944384 51915 0 0 0 1368 229 0 0 20 0 28 0 420248212 29458767872 534784 33554432000 4194304 4196468 140721056633120 139869379312656 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 34 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31176] ppid=31169 vsize=28768328 memory=1408 CPUtime=15.83 cores=0-7
/proc/31171/task/31176/stat : 31176 (java) S 31169 31169 30056 0 -1 1077944384 47759 0 0 0 1360 223 0 0 20 0 28 0 420248212 29458767872 534784 33554432000 4194304 4196468 140721056633120 139869378260112 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31177] ppid=31169 vsize=28768328 memory=3820 CPUtime=15.96 cores=0-7
/proc/31171/task/31177/stat : 31177 (java) S 31169 31169 30056 0 -1 1077944384 51099 0 0 0 1366 230 0 0 20 0 28 0 420248212 29458767872 534784 33554432000 4194304 4196468 140721056633120 139869377206544 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 32 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31178] ppid=31169 vsize=28768328 memory=1456 CPUtime=15.83 cores=0-7
/proc/31171/task/31178/stat : 31178 (java) S 31169 31169 30056 0 -1 1077944384 50076 0 0 0 1357 226 0 0 20 0 28 0 420248212 29458767872 534784 33554432000 4194304 4196468 140721056633120 139869376154000 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 37 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31179] ppid=31169 vsize=28768328 memory=992 CPUtime=15.96 cores=0-7
/proc/31171/task/31179/stat : 31179 (java) S 31169 31169 30056 0 -1 1077944384 50766 0 0 0 1362 234 0 0 20 0 28 0 420248212 29458767872 534784 33554432000 4194304 4196468 140721056633120 139869375101456 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31180] ppid=31169 vsize=28768328 memory=2044 CPUtime=15.94 cores=0-7
/proc/31171/task/31180/stat : 31180 (java) S 31169 31169 30056 0 -1 1077944384 55557 0 0 0 1358 236 0 0 20 0 28 0 420248212 29458767872 534784 33554432000 4194304 4196468 140721056633120 139869374048912 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 33 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31181] ppid=31169 vsize=28768328 memory=1456 CPUtime=22.78 cores=0-7
/proc/31171/task/31181/stat : 31181 (java) S 31169 31169 30056 0 -1 1077944384 83590 0 0 0 849 1429 0 0 20 0 28 0 420248213 29458767872 534784 33554432000 4194304 4196468 140721056633120 139868094323184 139869428808322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31182] ppid=31169 vsize=28768328 memory=2158516 CPUtime=0 cores=0-7
/proc/31171/task/31182/stat : 31182 (java) S 31169 31169 30056 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 420248214 29458767872 534784 33554432000 4194304 4196468 140721056633120 139868025906656 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31183] ppid=31169 vsize=28768328 memory=780 CPUtime=0 cores=0-7
/proc/31171/task/31183/stat : 31183 (java) S 31169 31169 30056 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 420248214 29458767872 534784 33554432000 4194304 4196468 140721056633120 139868024854016 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31184] ppid=31169 vsize=28768328 memory=2832 CPUtime=0 cores=0-7
/proc/31171/task/31184/stat : 31184 (java) S 31169 31169 30056 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420248216 29458767872 534784 33554432000 4194304 4196468 140721056633120 139868023802576 139869428815771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31185] ppid=31169 vsize=28768328 memory=1720 CPUtime=3.26 cores=0-7
/proc/31171/task/31185/stat : 31185 (java) S 31169 31169 30056 0 -1 1077944384 23446 0 0 0 320 6 0 0 20 0 28 0 420248216 29458767872 534784 33554432000 4194304 4196468 140721056633120 139868022749168 139869428808322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31186] ppid=31169 vsize=28768328 memory=1200 CPUtime=3.41 cores=0-7
/proc/31171/task/31186/stat : 31186 (java) S 31169 31169 30056 0 -1 1077944384 22913 0 0 0 335 6 0 0 20 0 28 0 420248216 29458767872 534784 33554432000 4194304 4196468 140721056633120 139868021696624 139869428808322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31187] ppid=31169 vsize=28768328 memory=5964 CPUtime=2.97 cores=0-7
/proc/31171/task/31187/stat : 31187 (java) S 31169 31169 30056 0 -1 1077944384 16243 0 0 0 294 3 0 0 20 0 28 0 420248216 29458767872 534784 33554432000 4194304 4196468 140721056633120 139868020644080 139869428808322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31188] ppid=31169 vsize=28768328 memory=14012 CPUtime=1.01 cores=0-7
/proc/31171/task/31188/stat : 31188 (java) S 31169 31169 30056 0 -1 1077944384 15759 0 0 0 98 3 0 0 20 0 28 0 420248216 29458767872 534784 33554432000 4194304 4196468 140721056633120 139868019591536 139869428808322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31189] ppid=31169 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/31171/task/31189/stat : 31189 (java) S 31169 31169 30056 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420248216 29458767872 534784 33554432000 4194304 4196468 140721056633120 139868018539232 139869428807381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31190] ppid=31169 vsize=28768328 memory=2143656 CPUtime=0.92 cores=0-7
/proc/31171/task/31190/stat : 31190 (java) S 31169 31169 30056 0 -1 1077944384 5882 0 0 0 7 85 0 0 20 0 28 0 420248217 29458767872 534784 33554432000 4194304 4196468 140721056633120 139868017486768 139869428808322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31191] ppid=31169 vsize=28768328 memory=5964 CPUtime=2468.4 cores=0-7
/proc/31171/task/31191/stat : 31191 (java) R 31169 31169 30056 0 -1 4202560 17265 0 0 0 246823 17 0 0 20 0 28 0 420248276 29458767872 534784 33554432000 4194304 4196468 140721056633120 139868008512776 139869055741973 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31192] ppid=31169 vsize=28768328 memory=14012 CPUtime=2473.14 cores=0-7
/proc/31171/task/31192/stat : 31192 (java) R 31169 31169 30056 0 -1 4202560 16737 0 0 0 247297 17 0 0 20 0 28 0 420248276 29458767872 534784 33554432000 4194304 4196468 140721056633120 139868007461080 139869055203758 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31193] ppid=31169 vsize=28768328 memory=11140 CPUtime=2492.4 cores=0-7
/proc/31171/task/31193/stat : 31193 (java) R 31169 31169 30056 0 -1 4202560 546203 0 0 0 248327 913 0 0 20 0 28 0 420248276 29458767872 534784 33554432000 4194304 4196468 140721056633120 139868006407848 139869057965420 0 4 0 16800975 0 0 0 -1 6 0 0 18 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31194] ppid=31169 vsize=28768328 memory=12024 CPUtime=2473.45 cores=0-7
/proc/31171/task/31194/stat : 31194 (java) R 31169 31169 30056 0 -1 4202560 59089 0 0 0 247256 89 0 0 20 0 28 0 420248276 29458767872 534784 33554432000 4194304 4196468 140721056633120 139868005355416 139869050476645 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31195] ppid=31169 vsize=28768328 memory=2120 CPUtime=2474.33 cores=0-7
/proc/31171/task/31195/stat : 31195 (java) R 31169 31169 30056 0 -1 4202560 44009 0 0 0 247349 84 0 0 20 0 28 0 420248276 29458767872 534784 33554432000 4194304 4196468 140721056633120 139868004302576 139869056053058 0 4 0 16800975 0 0 0 -1 1 0 0 15 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31196] ppid=31169 vsize=28768328 memory=500 CPUtime=2469.33 cores=0-7
/proc/31171/task/31196/stat : 31196 (java) R 31169 31169 30056 0 -1 4202560 49034 0 0 0 246860 73 0 0 20 0 28 0 420248276 29458767872 534784 33554432000 4194304 4196468 140721056633120 139868003250328 139869055521640 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31197] ppid=31169 vsize=28768328 memory=1556 CPUtime=2471.41 cores=0-7
/proc/31171/task/31197/stat : 31197 (java) R 31169 31169 30056 0 -1 4202560 17629 0 0 0 247124 17 0 0 20 0 28 0 420248276 29458767872 534784 33554432000 4194304 4196468 140721056633120 139868002197752 139869056123986 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
[pid=31171/tid=31198] ppid=31169 vsize=28768328 memory=924 CPUtime=2465.73 cores=0-7
/proc/31171/task/31198/stat : 31198 (java) R 31169 31169 30056 0 -1 4202560 103605 0 0 0 246435 138 0 0 20 0 28 0 420248276 29458767872 534784 33554432000 4194304 4196468 140721056633120 139868001147760 139869059877136 0 4 0 16800975 0 0 0 -1 7 0 0 15 0 0 6293624 6294260 10526720 140721056637930 140721056638102 140721056638102 140721056640975 0
Current children cumulated CPU time: 19950.7 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 2140592 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.04 s]
# the end of solver process 31169 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002417 s, system=0 s

[startup+2520.11 s]
# the end of solver process 31171 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19904.9 s, system=46.4057 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2520.11
CPU time (s): 19951.3
CPU user time (s): 19904.9
CPU system time (s): 46.4057
CPU usage (%): 791.685
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 5888672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19904.9
system time used= 46.4057
maximum resident set size= 5889444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1438079
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102494
involuntary context switches= 221882


# summary of solver processes directly reported to runsolver:
#   pid: 31169,31171
#   total CPU time (s): 19951.3
#   total CPU user time (s): 19904.9
#   total CPU system time (s): 46.4057

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.0442 second user time and 30.1558 second system time

The end

Launcher Data

Begin job on node117 at 2019-09-14 08:37:00
IDJOB=4393680
IDBENCH=138974
IDSOLVER=2841
FILE ID=node117/4393680-1568443063
RUNJOBID= node117-1568439189-30083
PBS_JOBID= 21702331
Free space on /tmp= 61184 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/LatinSquare/LatinSquare-m1-gp/qwh-o30-h374-07.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-4393680-1568443063/watcher-4393680-1568443063 -o /tmp/evaluation-result-4393680-1568443063/solver-4393680-1568443063 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568439189-30083 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1283725773 HOME/instance-4393680-1568443063.xml

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

MD5SUM BENCH= cae06e42b01baa71e2bfd0e1b4deb8b1
RANDOM SEED=1283725773

node117.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.75
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.75
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.75
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.75
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:        30921812 kB
MemAvailable:   31862904 kB
Buffers:          153360 kB
Cached:          1054632 kB
SwapCached:        51988 kB
Active:           779980 kB
Inactive:         483208 kB
Active(anon):      20176 kB
Inactive(anon):    59952 kB
Active(file):     759804 kB
Inactive(file):   423256 kB
Unevictable:      110108 kB
Mlocked:          110108 kB
SwapTotal:      67108860 kB
SwapFree:       66948112 kB
Dirty:             26296 kB
Writeback:             0 kB
AnonPages:        126876 kB
Mapped:            34104 kB
Shmem:             16020 kB
Slab:             176032 kB
SReclaimable:     147732 kB
SUnreclaim:        28300 kB
KernelStack:        3712 kB
PageTables:         4956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61160 MiB
End job on node117 at 2019-09-14 09:19:01