Trace number 4280802

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)? (TO) 20049.1 2520.1399

General information on the benchmark

NameLangford/Langford-m2-s1/
LangfordBin-30.xml
MD5SUMcfab102c91084e040090bf0c1bc6cb0b
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables120
Number of constraints90
Number of domains2
Minimum domain size30
Maximum domain size60
Distribution of domain sizes[{"size":30,"count":60},{"size":60,"count":60}]
Minimum variable degree2
Maximum variable degree60
Distribution of variable degrees[{"degree":2,"count":60},{"degree":60,"count":60}]
Minimum constraint arity2
Maximum constraint arity61
Distribution of constraint arities[{"arity":2,"count":30},{"arity":61,"count":60}]
Number of extensional constraints0
Number of intensional constraints30
Distribution of constraint types[{"type":"intension","count":30},{"type":"element","count":60}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280802-1503132019.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4280802-1503132019.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.19	c 8 solvers in parallel
0.33/0.26	c parse instance...
1.11/0.60	c solve instance...
20048.21/2520.09	s UNKNOWN
20048.21/2520.09	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 (11247 MiB free)
  memory of node 1: 16384 MiB (11226 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280802-1503132019/watcher-4280802-1503132019 -o /tmp/evaluation-result-4280802-1503132019/solver-4280802-1503132019 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503126106-7427 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 635471641 HOME/instance-4280802-1503132019.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=8523, runsolver pid=8520

[startup+0.10016 s]*
/proc/loadavg: 7.92 8.16 8.12 2/199 8544
/proc/meminfo: memFree=22996892/32770624 swapFree=67108860/67108860
[pid=8523] ppid=8520 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8523/stat : 8523 (xcsp3-exec) S 8520 8523 7400 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146273396 9740288 346 33554432000 4194304 5098028 140728216685184 140728216683288 140151066002044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28622848 140728216687717 140728216687927 140728216687927 140728216690667 0
/proc/8523/statm: 2378 346 289 221 0 87 0
[pid=8525] ppid=8523 vsize=25999808 memory=26784 CPUtime=0.12 cores=0-7
/proc/8525/stat : 8525 (java) S 8523 8523 7400 0 -1 1077944320 5638 0 0 0 11 1 0 0 20 0 20 0 146273396 26623803392 6696 33554432000 4194304 4196468 140730598432752 140730598415296 139839836458743 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
/proc/8525/statm: 6499952 6696 2845 1 0 6488269 0
[pid=8525/tid=8526] ppid=8523 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/8525/task/8526/stat : 8526 (java) R 8523 8523 7400 0 -1 4202560 3644 0 0 0 8 0 0 0 20 0 20 0 146273396 26623803392 6696 33554432000 4194304 4196468 140730598432752 139839840692016 139839454455511 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8527] ppid=8523 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/8525/task/8527/stat : 8527 (java) S 8523 8523 7400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146273397 26623803392 6696 33554432000 4194304 4196468 140730598432752 139839789079056 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8528] ppid=8523 vsize=25999808 memory=139864631424640 CPUtime=0 cores=0-7
/proc/8525/task/8528/stat : 8528 (java) S 8523 8523 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146273397 26623803392 6696 33554432000 4194304 4196468 140730598432752 139839788026512 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8529] ppid=8523 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8529/stat : 8529 (java) S 8523 8523 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146273397 26623803392 6696 33554432000 4194304 4196468 140730598432752 139839786973456 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8530] ppid=8523 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8530/stat : 8530 (java) S 8523 8523 7400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146273397 26623803392 6696 33554432000 4194304 4196468 140730598432752 139839785920912 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8531] ppid=8523 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8531/stat : 8531 (java) S 8523 8523 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146273397 26623803392 6696 33554432000 4194304 4196468 140730598432752 139839784868880 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8532] ppid=8523 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/8525/task/8532/stat : 8532 (java) S 8523 8523 7400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146273397 26623803392 6696 33554432000 4194304 4196468 140730598432752 139839783816336 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8533] ppid=8523 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8533/stat : 8533 (java) S 8523 8523 7400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146273397 26623803392 6696 33554432000 4194304 4196468 140730598432752 139839782763280 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8534] ppid=8523 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8534/stat : 8534 (java) S 8523 8523 7400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146273397 26623803392 6696 33554432000 4194304 4196468 140730598432752 139839781710736 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8535] ppid=8523 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8535/stat : 8535 (java) S 8523 8523 7400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146273398 26623803392 6696 33554432000 4194304 4196468 140730598432752 139838896449776 139839836469890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8536] ppid=8523 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8536/stat : 8536 (java) S 8523 8523 7400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146273399 26623803392 6696 33554432000 4194304 4196468 140730598432752 139838895396000 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8537] ppid=8523 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8537/stat : 8537 (java) S 8523 8523 7400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146273399 26623803392 6696 33554432000 4194304 4196468 140730598432752 139838894342896 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8538] ppid=8523 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8538/stat : 8538 (java) S 8523 8523 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146273401 26623803392 6696 33554432000 4194304 4196468 140730598432752 139838893291472 139839836477339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8539] ppid=8523 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8539/stat : 8539 (java) S 8523 8523 7400 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 146273401 26623803392 6696 33554432000 4194304 4196468 140730598432752 139838892239600 139839836469890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8540] ppid=8523 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8540/stat : 8540 (java) R 8523 8523 7400 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 146273401 26623803392 6696 33554432000 4194304 4196468 140730598432752 139838891187056 139839836469890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8541] ppid=8523 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8541/stat : 8541 (java) R 8523 8523 7400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146273402 26623803392 6696 33554432000 4194304 4196468 140730598432752 139838890134000 139839836469890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8542] ppid=8523 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/8525/task/8542/stat : 8542 (java) S 8523 8523 7400 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 20 0 146273402 26623803392 6696 33554432000 4194304 4196468 140730598432752 139838889081456 139839836469890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8543] ppid=8523 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8543/stat : 8543 (java) S 8523 8523 7400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146273402 26623803392 6696 33554432000 4194304 4196468 140730598432752 139838888028640 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8544] ppid=8523 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/8525/task/8544/stat : 8544 (java) S 8523 8523 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146273402 26623803392 6696 33554432000 4194304 4196468 140730598432752 139838886976176 139839836469890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28168 KiB

[startup+0.21043 s]*
/proc/loadavg: 7.92 8.16 8.12 2/199 8544
/proc/meminfo: memFree=22985912/32770624 swapFree=67108860/67108860
[pid=8523] ppid=8520 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8523/stat : 8523 (xcsp3-exec) S 8520 8523 7400 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146273396 9740288 346 33554432000 4194304 5098028 140728216685184 140728216683288 140151066002044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28622848 140728216687717 140728216687927 140728216687927 140728216690667 0
/proc/8523/statm: 2378 346 289 221 0 87 0
[pid=8525] ppid=8523 vsize=26004064 memory=38788 CPUtime=0.33 cores=0-7
/proc/8525/stat : 8525 (java) S 8523 8523 7400 0 -1 1077944320 8350 0 0 0 31 2 0 0 20 0 20 0 146273396 26628161536 9697 33554432000 4194304 4196468 140730598432752 140730598415296 139839836458743 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
/proc/8525/statm: 6501016 9697 3069 1 0 6488269 0
[pid=8525/tid=8526] ppid=8523 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/8525/task/8526/stat : 8526 (java) D 8523 8523 7400 0 -1 1077944384 5505 0 0 0 18 1 0 0 20 0 20 0 146273396 26628161536 9697 33554432000 4194304 4196468 140730598432752 139839840669552 139839829137965 0 4 0 16800975 18446744072101613092 0 0 -1 6 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8527] ppid=8523 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/8525/task/8527/stat : 8527 (java) S 8523 8523 7400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146273397 26628161536 9697 33554432000 4194304 4196468 140730598432752 139839789079056 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8528] ppid=8523 vsize=26004064 memory=139864631432403 CPUtime=0 cores=0-7
/proc/8525/task/8528/stat : 8528 (java) S 8523 8523 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146273397 26628161536 9697 33554432000 4194304 4196468 140730598432752 139839788026512 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8529] ppid=8523 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/8525/task/8529/stat : 8529 (java) S 8523 8523 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146273397 26628194304 9697 33554432000 4194304 4196468 140730598432752 139839786973456 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8530] ppid=8523 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8530/stat : 8530 (java) S 8523 8523 7400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146273397 26628194304 9697 33554432000 4194304 4196468 140730598432752 139839785920912 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8531] ppid=8523 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8531/stat : 8531 (java) S 8523 8523 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146273397 26628194304 9697 33554432000 4194304 4196468 140730598432752 139839784868880 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8532] ppid=8523 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8525/task/8532/stat : 8532 (java) S 8523 8523 7400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146273397 26628161536 9697 33554432000 4194304 4196468 140730598432752 139839783816336 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8533] ppid=8523 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8533/stat : 8533 (java) S 8523 8523 7400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146273397 26628161536 9697 33554432000 4194304 4196468 140730598432752 139839782763280 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8534] ppid=8523 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8534/stat : 8534 (java) S 8523 8523 7400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146273397 26628161536 9697 33554432000 4194304 4196468 140730598432752 139839781710736 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8535] ppid=8523 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8535/stat : 8535 (java) S 8523 8523 7400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146273398 26628161536 9697 33554432000 4194304 4196468 140730598432752 139838896449776 139839836469890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8536] ppid=8523 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8536/stat : 8536 (java) S 8523 8523 7400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146273399 26628161536 9697 33554432000 4194304 4196468 140730598432752 139838895396000 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8537] ppid=8523 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8537/stat : 8537 (java) S 8523 8523 7400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146273399 26628161536 9697 33554432000 4194304 4196468 140730598432752 139838894342896 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8538] ppid=8523 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8538/stat : 8538 (java) S 8523 8523 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146273401 26628161536 9697 33554432000 4194304 4196468 140730598432752 139838893291472 139839836477339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8539] ppid=8523 vsize=26004096 memory=0 CPUtime=0.02 cores=0-7
/proc/8525/task/8539/stat : 8539 (java) S 8523 8523 7400 0 -1 1077944384 555 0 0 0 2 0 0 0 20 0 20 0 146273401 26628194304 9697 33554432000 4194304 4196468 140730598432752 139838892239600 139839836469890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8540] ppid=8523 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/8525/task/8540/stat : 8540 (java) S 8523 8523 7400 0 -1 1077944384 260 0 0 0 1 0 0 0 20 0 20 0 146273401 26628194304 9697 33554432000 4194304 4196468 140730598432752 139838891187056 139839836469890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8541] ppid=8523 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/8525/task/8541/stat : 8541 (java) S 8523 8523 7400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146273402 26628194304 9697 33554432000 4194304 4196468 140730598432752 139838890134000 139839836469890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8542] ppid=8523 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/8525/task/8542/stat : 8542 (java) S 8523 8523 7400 0 -1 1077944384 724 0 0 0 7 0 0 0 20 0 20 0 146273402 26628161536 9697 33554432000 4194304 4196468 140730598432752 139838889081456 139839836469890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8543] ppid=8523 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8543/stat : 8543 (java) S 8523 8523 7400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146273402 26628161536 9697 33554432000 4194304 4196468 140730598432752 139838888028640 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8544] ppid=8523 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8525/task/8544/stat : 8544 (java) S 8523 8523 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146273402 26628161536 9697 33554432000 4194304 4196468 140730598432752 139838886976176 139839836469890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40172 KiB

[startup+0.31017 s]*
/proc/loadavg: 7.92 8.16 8.12 3/199 8544
/proc/meminfo: memFree=22979632/32770624 swapFree=67108860/67108860
[pid=8523] ppid=8520 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8523/stat : 8523 (xcsp3-exec) S 8520 8523 7400 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146273396 9740288 346 33554432000 4194304 5098028 140728216685184 140728216683288 140151066002044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28622848 140728216687717 140728216687927 140728216687927 140728216690667 0
/proc/8523/statm: 2378 346 289 221 0 87 0
[pid=8525] ppid=8523 vsize=26004140 memory=46220 CPUtime=0.5 cores=0-7
/proc/8525/stat : 8525 (java) S 8523 8523 7400 0 -1 1077944320 9307 0 0 0 47 3 0 0 20 0 20 0 146273396 26628239360 11555 33554432000 4194304 4196468 140730598432752 140730598415296 139839836458743 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
/proc/8525/statm: 6501035 11555 3101 1 0 6488269 0
[pid=8525/tid=8526] ppid=8523 vsize=26004140 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/8525/task/8526/stat : 8526 (java) R 8523 8523 7400 0 -1 4202560 6235 0 0 0 28 1 0 0 20 0 20 0 146273396 26628239360 11620 33554432000 4194304 4196468 140730598432752 139839840691104 139839820539230 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8527] ppid=8523 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8527/stat : 8527 (java) S 8523 8523 7400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146273397 26628239360 11620 33554432000 4194304 4196468 140730598432752 139839789079056 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8528] ppid=8523 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8528/stat : 8528 (java) S 8523 8523 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146273397 26628239360 11620 33554432000 4194304 4196468 140730598432752 139839788026512 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8529] ppid=8523 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8529/stat : 8529 (java) S 8523 8523 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146273397 26628239360 11620 33554432000 4194304 4196468 140730598432752 139839786973456 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8530] ppid=8523 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8530/stat : 8530 (java) S 8523 8523 7400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146273397 26628239360 11620 33554432000 4194304 4196468 140730598432752 139839785920912 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8531] ppid=8523 vsize=26004140 memory=2244 CPUtime=0 cores=0-7
/proc/8525/task/8531/stat : 8531 (java) S 8523 8523 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146273397 26628239360 11620 33554432000 4194304 4196468 140730598432752 139839784868880 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8532] ppid=8523 vsize=26004140 memory=139864469238703 CPUtime=0 cores=0-7
/proc/8525/task/8532/stat : 8532 (java) S 8523 8523 7400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146273397 26628239360 11620 33554432000 4194304 4196468 140730598432752 139839783816336 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8533] ppid=8523 vsize=26004140 memory=139864469241008 CPUtime=0 cores=0-7
/proc/8525/task/8533/stat : 8533 (java) S 8523 8523 7400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146273397 26628239360 11620 33554432000 4194304 4196468 140730598432752 139839782763280 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8534] ppid=8523 vsize=26004140 memory=139864469243312 CPUtime=0 cores=0-7
/proc/8525/task/8534/stat : 8534 (java) S 8523 8523 7400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146273397 26628239360 11620 33554432000 4194304 4196468 140730598432752 139839781710736 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8535] ppid=8523 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8535/stat : 8535 (java) S 8523 8523 7400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146273398 26628239360 11620 33554432000 4194304 4196468 140730598432752 139838896449776 139839836469890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8536] ppid=8523 vsize=26004140 memory=279728938493584 CPUtime=0 cores=0-7
/proc/8525/task/8536/stat : 8536 (java) S 8523 8523 7400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146273399 26628239360 11620 33554432000 4194304 4196468 140730598432752 139838895396000 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8537] ppid=8523 vsize=26004140 memory=279728938500496 CPUtime=0 cores=0-7
/proc/8525/task/8537/stat : 8537 (java) S 8523 8523 7400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146273399 26628239360 11620 33554432000 4194304 4196468 140730598432752 139838894342896 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8538] ppid=8523 vsize=26004140 memory=279728938441776 CPUtime=0 cores=0-7
/proc/8525/task/8538/stat : 8538 (java) S 8523 8523 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146273401 26628239360 11620 33554432000 4194304 4196468 140730598432752 139838893291472 139839836477339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8539] ppid=8523 vsize=26004140 memory=279728938514320 CPUtime=0.02 cores=0-7
/proc/8525/task/8539/stat : 8539 (java) S 8523 8523 7400 0 -1 1077944384 555 0 0 0 2 0 0 0 20 0 20 0 146273401 26628239360 11620 33554432000 4194304 4196468 140730598432752 139838892239600 139839836469890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8540] ppid=8523 vsize=26004140 memory=279728938521232 CPUtime=0.02 cores=0-7
/proc/8525/task/8540/stat : 8540 (java) S 8523 8523 7400 0 -1 1077944384 334 0 0 0 2 0 0 0 20 0 20 0 146273401 26628239360 11620 33554432000 4194304 4196468 140730598432752 139838891187056 139839836469890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8541] ppid=8523 vsize=26004140 memory=279728938518928 CPUtime=0 cores=0-7
/proc/8525/task/8541/stat : 8541 (java) S 8523 8523 7400 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 146273402 26628239360 11620 33554432000 4194304 4196468 140730598432752 139838890134000 139839836469890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8542] ppid=8523 vsize=26004140 memory=279728938535088 CPUtime=0.12 cores=0-7
/proc/8525/task/8542/stat : 8542 (java) S 8523 8523 7400 0 -1 1077944384 852 0 0 0 12 0 0 0 20 0 20 0 146273402 26628239360 11620 33554432000 4194304 4196468 140730598432752 139838889081456 139839836469890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8543] ppid=8523 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8543/stat : 8543 (java) S 8523 8523 7400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146273402 26628239360 11620 33554432000 4194304 4196468 140730598432752 139838888028640 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8544] ppid=8523 vsize=26004140 memory=-1 CPUtime=0 cores=0-7
/proc/8525/task/8544/stat : 8544 (java) S 8523 8523 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146273402 26628239360 11620 33554432000 4194304 4196468 140730598432752 139838886976176 139839836469890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013652 KiB
Current children cumulated memory: 47604 KiB

[startup+0.709257 s]
/proc/loadavg: 7.92 8.16 8.12 5/199 8544
/proc/meminfo: memFree=22959720/32770624 swapFree=67108860/67108860
[pid=8523] ppid=8520 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8523/stat : 8523 (xcsp3-exec) S 8520 8523 7400 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146273396 9740288 346 33554432000 4194304 5098028 140728216685184 140728216683288 140151066002044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28622848 140728216687717 140728216687927 140728216687927 140728216690667 0
/proc/8523/statm: 2378 346 289 221 0 87 0
[pid=8525] ppid=8523 vsize=26538700 memory=97492 CPUtime=2 cores=0-7
/proc/8525/stat : 8525 (java) S 8523 8523 7400 0 -1 1077944320 12726 0 0 0 195 5 0 0 20 0 28 0 146273396 27175628800 24373 33554432000 4194304 4196468 140730598432752 140730598415296 139839836458743 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
/proc/8525/statm: 6634675 24373 3207 1 0 6621909 0
[pid=8525/tid=8526] ppid=8523 vsize=26538700 memory=279728938892976 CPUtime=0.58 cores=0-7
/proc/8525/task/8526/stat : 8526 (java) S 8523 8523 7400 0 -1 1077944384 6839 0 0 0 56 2 0 0 20 0 28 0 146273396 27175628800 24373 33554432000 4194304 4196468 140730598432752 139839840699520 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8527] ppid=8523 vsize=26538700 memory=139864469447536 CPUtime=0 cores=0-7
/proc/8525/task/8527/stat : 8527 (java) S 8523 8523 7400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 146273397 27175628800 24373 33554432000 4194304 4196468 140730598432752 139839789079056 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8528] ppid=8523 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8528/stat : 8528 (java) S 8523 8523 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146273397 27175628800 24373 33554432000 4194304 4196468 140730598432752 139839788026512 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8529] ppid=8523 vsize=26538700 memory=1428 CPUtime=0 cores=0-7
/proc/8525/task/8529/stat : 8529 (java) S 8523 8523 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146273397 27175628800 24373 33554432000 4194304 4196468 140730598432752 139839786973456 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0

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

/proc/meminfo: memFree=22097956/32770624 swapFree=67108860/67108860
[pid=8523] ppid=8520 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8523/stat : 8523 (xcsp3-exec) S 8520 8523 7400 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146273396 9740288 346 33554432000 4194304 5098028 140728216685184 140728216683288 140151066002044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28622848 140728216687717 140728216687927 140728216687927 140728216690667 0
/proc/8523/statm: 2378 346 289 221 0 87 0
[pid=8525] ppid=8523 vsize=26538700 memory=926756 CPUtime=19907.1 cores=0-7
/proc/8525/stat : 8525 (java) S 8523 8523 7400 0 -1 1077944320 742082 0 0 0 1989461 1249 0 0 20 0 28 0 146273396 27175628800 231689 33554432000 4194304 4196468 140730598432752 140730598415296 139839836458743 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
/proc/8525/statm: 6634675 231689 3288 1 0 6621909 0
[pid=8525/tid=8526] ppid=8523 vsize=26538700 memory=926756 CPUtime=0.58 cores=0-7
/proc/8525/task/8526/stat : 8526 (java) S 8523 8523 7400 0 -1 1077944384 6839 0 0 0 56 2 0 0 20 0 28 0 146273396 27175628800 231689 33554432000 4194304 4196468 140730598432752 139839840699520 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8527] ppid=8523 vsize=26538700 memory=986220 CPUtime=20.13 cores=0-7
/proc/8525/task/8527/stat : 8527 (java) S 8523 8523 7400 0 -1 1077944384 22508 0 0 0 1937 76 0 0 20 0 28 0 146273397 27175628800 231689 33554432000 4194304 4196468 140730598432752 139839789079056 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8528] ppid=8523 vsize=26538700 memory=1384 CPUtime=20.21 cores=0-7
/proc/8525/task/8528/stat : 8528 (java) S 8523 8523 7400 0 -1 1077944384 31099 0 0 0 1944 77 0 0 20 0 28 0 146273397 27175628800 231689 33554432000 4194304 4196468 140730598432752 139839788026512 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8529] ppid=8523 vsize=26538700 memory=952916 CPUtime=20.24 cores=0-7
/proc/8525/task/8529/stat : 8529 (java) S 8523 8523 7400 0 -1 1077944384 38669 0 0 0 1945 79 0 0 20 0 28 0 146273397 27175628800 231689 33554432000 4194304 4196468 140730598432752 139839786973456 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8530] ppid=8523 vsize=26538700 memory=926756 CPUtime=20.25 cores=0-7
/proc/8525/task/8530/stat : 8530 (java) S 8523 8523 7400 0 -1 1077944384 41321 0 0 0 1944 81 0 0 20 0 28 0 146273397 27175628800 231689 33554432000 4194304 4196468 140730598432752 139839785920912 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8531] ppid=8523 vsize=26538700 memory=1384 CPUtime=20.19 cores=0-7
/proc/8525/task/8531/stat : 8531 (java) S 8523 8523 7400 0 -1 1077944384 42725 0 0 0 1942 77 0 0 20 0 28 0 146273397 27175628800 231689 33554432000 4194304 4196468 140730598432752 139839784868880 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8532] ppid=8523 vsize=26538700 memory=926756 CPUtime=20.19 cores=0-7
/proc/8525/task/8532/stat : 8532 (java) S 8523 8523 7400 0 -1 1077944384 38918 0 0 0 1941 78 0 0 20 0 28 0 146273397 27175628800 231689 33554432000 4194304 4196468 140730598432752 139839783816336 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8533] ppid=8523 vsize=26538700 memory=1384 CPUtime=20.26 cores=0-7
/proc/8525/task/8533/stat : 8533 (java) S 8523 8523 7400 0 -1 1077944384 38530 0 0 0 1945 81 0 0 20 0 28 0 146273397 27175628800 231689 33554432000 4194304 4196468 140730598432752 139839782763280 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8534] ppid=8523 vsize=26538700 memory=952916 CPUtime=20.03 cores=0-7
/proc/8525/task/8534/stat : 8534 (java) S 8523 8523 7400 0 -1 1077944384 23627 0 0 0 1927 76 0 0 20 0 28 0 146273397 27175628800 231689 33554432000 4194304 4196468 140730598432752 139839781710736 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8535] ppid=8523 vsize=26538700 memory=1384 CPUtime=6.44 cores=0-7
/proc/8525/task/8535/stat : 8535 (java) S 8523 8523 7400 0 -1 1077944384 62982 0 0 0 297 347 0 0 20 0 28 0 146273398 27175628800 231689 33554432000 4194304 4196468 140730598432752 139838896449776 139839836469890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8536] ppid=8523 vsize=26538700 memory=967976 CPUtime=0 cores=0-7
/proc/8525/task/8536/stat : 8536 (java) S 8523 8523 7400 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 146273399 27175628800 231689 33554432000 4194304 4196468 140730598432752 139838895396000 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8537] ppid=8523 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8537/stat : 8537 (java) S 8523 8523 7400 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 146273399 27175628800 231689 33554432000 4194304 4196468 140730598432752 139838894342896 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8538] ppid=8523 vsize=26538700 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/8525/task/8538/stat : 8538 (java) S 8523 8523 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146273401 27175628800 231689 33554432000 4194304 4196468 140730598432752 139838893291472 139839836477339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8539] ppid=8523 vsize=26538700 memory=1384 CPUtime=1.1 cores=0-7
/proc/8525/task/8539/stat : 8539 (java) S 8523 8523 7400 0 -1 1077944384 6029 0 0 0 109 1 0 0 20 0 28 0 146273401 27175628800 231689 33554432000 4194304 4196468 140730598432752 139838892239600 139839836469890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8540] ppid=8523 vsize=26538700 memory=922292 CPUtime=0.99 cores=0-7
/proc/8525/task/8540/stat : 8540 (java) S 8523 8523 7400 0 -1 1077944384 7138 0 0 0 97 2 0 0 20 0 28 0 146273401 27175628800 231689 33554432000 4194304 4196468 140730598432752 139838891187056 139839836469890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8541] ppid=8523 vsize=26538700 memory=288230574492221466 CPUtime=0.98 cores=0-7
/proc/8525/task/8541/stat : 8541 (java) S 8523 8523 7400 0 -1 1077944384 6347 0 0 0 96 2 0 0 20 0 28 0 146273402 27175628800 231689 33554432000 4194304 4196468 140730598432752 139838890134000 139839836469890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8542] ppid=8523 vsize=26538700 memory=288230583166042426 CPUtime=0.56 cores=0-7
/proc/8525/task/8542/stat : 8542 (java) S 8523 8523 7400 0 -1 1077944384 4725 0 0 0 56 0 0 0 20 0 28 0 146273402 27175628800 231689 33554432000 4194304 4196468 140730598432752 139838889081456 139839836469890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8543] ppid=8523 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/8525/task/8543/stat : 8543 (java) S 8523 8523 7400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146273402 27175628800 231689 33554432000 4194304 4196468 140730598432752 139838888028640 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8544] ppid=8523 vsize=26538700 memory=0 CPUtime=0.6 cores=0-7
/proc/8525/task/8544/stat : 8544 (java) S 8523 8523 7400 0 -1 1077944384 4134 0 0 0 20 40 0 0 20 0 28 0 146273402 27175628800 231689 33554432000 4194304 4196468 140730598432752 139838886976176 139839836469890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8545] ppid=8523 vsize=26538700 memory=1384 CPUtime=2468.49 cores=0-7
/proc/8525/task/8545/stat : 8545 (java) R 8523 8523 7400 0 -1 4202560 12309 0 0 0 246843 6 0 0 20 0 28 0 146273456 27175628800 231689 33554432000 4194304 4196468 140730598432752 139838878965080 139839459034350 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8546] ppid=8523 vsize=26538700 memory=1384 CPUtime=2469.53 cores=0-7
/proc/8525/task/8546/stat : 8546 (java) R 8523 8523 7400 0 -1 4202560 9223 0 0 0 246949 4 0 0 20 0 28 0 146273457 27175628800 231689 33554432000 4194304 4196468 140730598432752 139838877913256 139839460078012 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8547] ppid=8523 vsize=26538700 memory=1757 CPUtime=2467.91 cores=0-7
/proc/8525/task/8547/stat : 8547 (java) R 8523 8523 7400 0 -1 4202560 91758 0 0 0 246722 69 0 0 20 0 28 0 146273457 27175628800 231689 33554432000 4194304 4196468 140730598432752 139838876861224 139839459205136 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8548] ppid=8523 vsize=26538700 memory=665 CPUtime=2464.3 cores=0-7
/proc/8525/task/8548/stat : 8548 (java) R 8523 8523 7400 0 -1 4202560 135628 0 0 0 246340 90 0 0 20 0 28 0 146273457 27175628800 231689 33554432000 4194304 4196468 140730598432752 139838875808200 139839459946176 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8549] ppid=8523 vsize=26538700 memory=15880 CPUtime=2466.72 cores=0-7
/proc/8525/task/8549/stat : 8549 (java) R 8523 8523 7400 0 -1 4202560 37600 0 0 0 246629 43 0 0 20 0 28 0 146273457 27175628800 231689 33554432000 4194304 4196468 140730598432752 139838874757936 139839459322092 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8550] ppid=8523 vsize=26538700 memory=1384 CPUtime=2463.99 cores=0-7
/proc/8525/task/8550/stat : 8550 (java) R 8523 8523 7400 0 -1 4202560 6350 0 0 0 246393 6 0 0 20 0 28 0 146273457 27175628800 231689 33554432000 4194304 4196468 140730598432752 139838873702568 139839459205067 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8551] ppid=8523 vsize=26538700 memory=1384 CPUtime=2467.54 cores=0-7
/proc/8525/task/8551/stat : 8551 (java) R 8523 8523 7400 0 -1 4202560 8405 0 0 0 246747 7 0 0 20 0 28 0 146273457 27175628800 231689 33554432000 4194304 4196468 140730598432752 139838872649656 139839459205350 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8552] ppid=8523 vsize=26538700 memory=1384 CPUtime=2465.66 cores=0-7
/proc/8525/task/8552/stat : 8552 (java) R 8523 8523 7400 0 -1 4202560 63881 0 0 0 246508 58 0 0 20 0 28 0 146273457 27175628800 231689 33554432000 4194304 4196468 140730598432752 139838871596640 139839460348624 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
Current children cumulated CPU time: 19907.1 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 928140 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.91 8.49 8.34 9/207 8609
/proc/meminfo: memFree=22193488/32770624 swapFree=67108860/67108860
[pid=8523] ppid=8520 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8523/stat : 8523 (xcsp3-exec) S 8520 8523 7400 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 146273396 9740288 346 33554432000 4194304 5098028 140728216685184 140728216683288 140151066002044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28622848 140728216687717 140728216687927 140728216687927 140728216690667 0
/proc/8523/statm: 2378 346 289 221 0 87 0
[pid=8525] ppid=8523 vsize=26538700 memory=831916 CPUtime=20048.2 cores=0-7
/proc/8525/stat : 8525 (java) S 8523 8523 7400 0 -1 1077944320 742824 0 0 0 2003571 1250 0 0 20 0 28 0 146273396 27175628800 207979 33554432000 4194304 4196468 140730598432752 140730598415296 139839836458743 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
/proc/8525/statm: 6634675 207979 3288 1 0 6621909 0
[pid=8525/tid=8526] ppid=8523 vsize=26538700 memory=-6733704525061579059 CPUtime=0.58 cores=0-7
/proc/8525/task/8526/stat : 8526 (java) S 8523 8523 7400 0 -1 1077944384 6839 0 0 0 56 2 0 0 20 0 28 0 146273396 27175628800 207979 33554432000 4194304 4196468 140730598432752 139839840699520 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8527] ppid=8523 vsize=26538700 memory=4872558044660077418 CPUtime=20.28 cores=0-7
/proc/8525/task/8527/stat : 8527 (java) S 8523 8523 7400 0 -1 1077944384 22522 0 0 0 1952 76 0 0 20 0 28 0 146273397 27175628800 207979 33554432000 4194304 4196468 140730598432752 139839789079056 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8528] ppid=8523 vsize=26538700 memory=-8253362762722141311 CPUtime=20.36 cores=0-7
/proc/8525/task/8528/stat : 8528 (java) S 8523 8523 7400 0 -1 1077944384 31128 0 0 0 1959 77 0 0 20 0 28 0 146273397 27175628800 207979 33554432000 4194304 4196468 140730598432752 139839788026512 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8529] ppid=8523 vsize=26538700 memory=279728938287344 CPUtime=20.39 cores=0-7
/proc/8525/task/8529/stat : 8529 (java) S 8523 8523 7400 0 -1 1077944384 38680 0 0 0 1960 79 0 0 20 0 28 0 146273397 27175628800 207979 33554432000 4194304 4196468 140730598432752 139839786973456 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8530] ppid=8523 vsize=26538700 memory=279728938287344 CPUtime=20.4 cores=0-7
/proc/8525/task/8530/stat : 8530 (java) S 8523 8523 7400 0 -1 1077944384 41343 0 0 0 1959 81 0 0 20 0 28 0 146273397 27175628800 207979 33554432000 4194304 4196468 140730598432752 139839785920912 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8531] ppid=8523 vsize=26538700 memory=279728938287344 CPUtime=20.34 cores=0-7
/proc/8525/task/8531/stat : 8531 (java) S 8523 8523 7400 0 -1 1077944384 42841 0 0 0 1957 77 0 0 20 0 28 0 146273397 27175628800 207979 33554432000 4194304 4196468 140730598432752 139839784868880 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8532] ppid=8523 vsize=26538700 memory=288230574492221466 CPUtime=20.34 cores=0-7
/proc/8525/task/8532/stat : 8532 (java) S 8523 8523 7400 0 -1 1077944384 39216 0 0 0 1956 78 0 0 20 0 28 0 146273397 27175628800 207979 33554432000 4194304 4196468 140730598432752 139839783816336 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8533] ppid=8523 vsize=26538700 memory=288230583166042426 CPUtime=20.41 cores=0-7
/proc/8525/task/8533/stat : 8533 (java) S 8523 8523 7400 0 -1 1077944384 38559 0 0 0 1960 81 0 0 20 0 28 0 146273397 27175628800 207979 33554432000 4194304 4196468 140730598432752 139839782763280 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8534] ppid=8523 vsize=26538700 memory=15824391212631845 CPUtime=20.18 cores=0-7
/proc/8525/task/8534/stat : 8534 (java) S 8523 8523 7400 0 -1 1077944384 23639 0 0 0 1942 76 0 0 20 0 28 0 146273397 27175628800 207979 33554432000 4194304 4196468 140730598432752 139839781710736 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8535] ppid=8523 vsize=26538700 memory=903156 CPUtime=6.46 cores=0-7
/proc/8525/task/8535/stat : 8535 (java) S 8523 8523 7400 0 -1 1077944384 63008 0 0 0 298 348 0 0 20 0 28 0 146273398 27175628800 207979 33554432000 4194304 4196468 140730598432752 139838896449776 139839836469890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8536] ppid=8523 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/8525/task/8536/stat : 8536 (java) S 8523 8523 7400 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 146273399 27175628800 207979 33554432000 4194304 4196468 140730598432752 139838895396000 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8537] ppid=8523 vsize=26538700 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/8525/task/8537/stat : 8537 (java) S 8523 8523 7400 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 146273399 27175628800 207979 33554432000 4194304 4196468 140730598432752 139838894342896 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8538] ppid=8523 vsize=26538700 memory=960 CPUtime=0 cores=0-7
/proc/8525/task/8538/stat : 8538 (java) S 8523 8523 7400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146273401 27175628800 207979 33554432000 4194304 4196468 140730598432752 139838893291472 139839836477339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8539] ppid=8523 vsize=26538700 memory=1236 CPUtime=1.1 cores=0-7
/proc/8525/task/8539/stat : 8539 (java) S 8523 8523 7400 0 -1 1077944384 6029 0 0 0 109 1 0 0 20 0 28 0 146273401 27175628800 207979 33554432000 4194304 4196468 140730598432752 139838892239600 139839836469890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8540] ppid=8523 vsize=26538700 memory=2428 CPUtime=0.99 cores=0-7
/proc/8525/task/8540/stat : 8540 (java) S 8523 8523 7400 0 -1 1077944384 7138 0 0 0 97 2 0 0 20 0 28 0 146273401 27175628800 207979 33554432000 4194304 4196468 140730598432752 139838891187056 139839836469890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8541] ppid=8523 vsize=26538700 memory=1576 CPUtime=0.98 cores=0-7
/proc/8525/task/8541/stat : 8541 (java) S 8523 8523 7400 0 -1 1077944384 6349 0 0 0 96 2 0 0 20 0 28 0 146273402 27175628800 207979 33554432000 4194304 4196468 140730598432752 139838890134000 139839836469890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8542] ppid=8523 vsize=26538700 memory=928 CPUtime=0.56 cores=0-7
/proc/8525/task/8542/stat : 8542 (java) S 8523 8523 7400 0 -1 1077944384 4727 0 0 0 56 0 0 0 20 0 28 0 146273402 27175628800 207979 33554432000 4194304 4196468 140730598432752 139838889081456 139839836469890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8543] ppid=8523 vsize=26538700 memory=2240 CPUtime=0 cores=0-7
/proc/8525/task/8543/stat : 8543 (java) S 8523 8523 7400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146273402 27175628800 207979 33554432000 4194304 4196468 140730598432752 139838888028640 139839836468949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8544] ppid=8523 vsize=26538700 memory=0 CPUtime=0.7 cores=0-7
/proc/8525/task/8544/stat : 8544 (java) S 8523 8523 7400 0 -1 1077944384 4136 0 0 0 30 40 0 0 20 0 28 0 146273402 27175628800 207979 33554432000 4194304 4196468 140730598432752 139838886976176 139839836469890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8545] ppid=8523 vsize=26538700 memory=9130442918573211012 CPUtime=2486.04 cores=0-7
/proc/8525/task/8545/stat : 8545 (java) R 8523 8523 7400 0 -1 4202560 12327 0 0 0 248598 6 0 0 20 0 28 0 146273456 27175628800 207979 33554432000 4194304 4196468 140730598432752 139838878968176 139839457645023 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8546] ppid=8523 vsize=26538700 memory=8562125494162282060 CPUtime=2487.04 cores=0-7
/proc/8525/task/8546/stat : 8546 (java) R 8523 8523 7400 0 -1 4202560 9237 0 0 0 248700 4 0 0 20 0 28 0 146273457 27175628800 207979 33554432000 4194304 4196468 140730598432752 139838877912744 139839460078012 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8547] ppid=8523 vsize=26538700 memory=-3039135443232236825 CPUtime=2485.38 cores=0-7
/proc/8525/task/8547/stat : 8547 (java) R 8523 8523 7400 0 -1 4202560 91782 0 0 0 248469 69 0 0 20 0 28 0 146273457 27175628800 207979 33554432000 4194304 4196468 140730598432752 139838876863536 139839459205497 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8548] ppid=8523 vsize=26538700 memory=-2748367524519556131 CPUtime=2481.72 cores=0-7
/proc/8525/task/8548/stat : 8548 (java) R 8523 8523 7400 0 -1 4202560 135658 0 0 0 248082 90 0 0 20 0 28 0 146273457 27175628800 207979 33554432000 4194304 4196468 140730598432752 139838875808680 139839459553557 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8549] ppid=8523 vsize=26538700 memory=-3756611412707075625 CPUtime=2484.26 cores=0-7
/proc/8525/task/8549/stat : 8549 (java) R 8523 8523 7400 0 -1 4202560 37635 0 0 0 248383 43 0 0 20 0 28 0 146273457 27175628800 207979 33554432000 4194304 4196468 140730598432752 139838874755624 139839459206802 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8550] ppid=8523 vsize=26538700 memory=-4190076264842474805 CPUtime=2481.38 cores=0-7
/proc/8525/task/8550/stat : 8550 (java) R 8523 8523 7400 0 -1 4202560 6360 0 0 0 248132 6 0 0 20 0 28 0 146273457 27175628800 207979 33554432000 4194304 4196468 140730598432752 139838873702568 139839459205478 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8551] ppid=8523 vsize=26538700 memory=-3039135443232236825 CPUtime=2485.08 cores=0-7
/proc/8525/task/8551/stat : 8551 (java) R 8523 8523 7400 0 -1 4202560 8426 0 0 0 248501 7 0 0 20 0 28 0 146273457 27175628800 207979 33554432000 4194304 4196468 140730598432752 139838872650024 139839459205492 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
[pid=8525/tid=8552] ppid=8523 vsize=26538700 memory=-2605811476043407915 CPUtime=2483.15 cores=0-7
/proc/8525/task/8552/stat : 8552 (java) R 8523 8523 7400 0 -1 4202560 63908 0 0 0 248257 58 0 0 20 0 28 0 146273457 27175628800 207979 33554432000 4194304 4196468 140730598432752 139838871601560 139839460348777 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 7929856 140730598433938 140730598434115 140730598434115 140730598436815 0
Current children cumulated CPU time: 20048.2 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 833300 KiB

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

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

[startup+2520.14 s]
# the end of solver process 8525 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20036.6 s, system=12.5268 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

[startup+2520.13 s]*
/proc/loadavg: 8.91 8.49 8.34 3/205 8611
/proc/meminfo: memFree=22193520/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.001976 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.14
CPU time (s): 20049.1
CPU user time (s): 20036.6
CPU system time (s): 12.5268
CPU usage (%): 795.556
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 1013592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20036.6
system time used= 12.5268
maximum resident set size= 1016828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 743680
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 132185
involuntary context switches= 208728


# summary of solver processes directly reported to runsolver:
#   pid: 8523,8525
#   total CPU time (s): 20049.1
#   total CPU user time (s): 20036.6
#   total CPU system time (s): 12.5268

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.0682 second user time and 26.8452 second system time

The end

Launcher Data 

Begin job on node105 at 2017-08-19 10:25:59
IDJOB=4280802
IDBENCH=124374
IDSOLVER=2675
FILE ID=node105/4280802-1503132019
RUNJOBID= node105-1503126106-7427
PBS_JOBID= 20630777
Free space on /tmp= 61848 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Langford/Langford-m2-s1/LangfordBin-30.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280802-1503132019/watcher-4280802-1503132019 -o /tmp/evaluation-result-4280802-1503132019/solver-4280802-1503132019 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1503126106-7427 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 635471641 HOME/instance-4280802-1503132019.xml

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

MD5SUM BENCH= cfab102c91084e040090bf0c1bc6cb0b
RANDOM SEED=635471641

node105.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.17
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.17
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.17
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.17
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:        23013332 kB
MemAvailable:   31971328 kB
Buffers:          278808 kB
Cached:          8970232 kB
SwapCached:            0 kB
Active:          1056048 kB
Inactive:        8246232 kB
Active(anon):      56432 kB
Inactive(anon):    33200 kB
Active(file):     999616 kB
Inactive(file):  8213032 kB
Unevictable:        7324 kB
Mlocked:            7324 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7692 kB
Writeback:             0 kB
AnonPages:         52464 kB
Mapped:            50556 kB
Shmem:             33420 kB
Slab:             148724 kB
SReclaimable:     122368 kB
SUnreclaim:        26356 kB
KernelStack:        2656 kB
PageTables:         4712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61840 MiB
End job on node105 at 2017-08-19 11:08:00