Trace number 4393658

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) 20048 2520.1

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07-1_X2.xml
MD5SUM6c4aeb96443502fd0f9a0dc0a71b4b92
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark168.634
Satisfiable
(Un)Satisfiability was proved
Number of variables112
Number of constraints1262
Number of domains4
Minimum domain size1
Maximum domain size28
Distribution of domain sizes[{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}]
Minimum variable degree0
Maximum variable degree56
Distribution of variable degrees[{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1262}]
Number of extensional constraints1262
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1262}]
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-4393658-1568436682.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4393658-1568436682.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
3.07/1.04	c solve instance...
20047.38/2520.07	s UNKNOWN
20047.38/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 (14059 MiB free)
  memory of node 1: 16384 MiB (14109 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393658-1568436682/watcher-4393658-1568436682 -o /tmp/evaluation-result-4393658-1568436682/solver-4393658-1568436682 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568436642-26559 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 387195905 HOME/instance-4393658-1568436682.xml 

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

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


[startup+0.100137 s]*
/proc/loadavg: 7.62 7.70 7.38 2/212 26597
/proc/meminfo: memFree=28827964/32770624 swapFree=66998528/67108860
[pid=26576] ppid=26573 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/26576/stat : 26576 (xcsp3-exec) S 26573 26576 26532 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419937043 115843072 364 33554432000 4194304 5098028 140731626653552 140731626651656 140004621017724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26955776 140731626656630 140731626656873 140731626656873 140731626659786 0
/proc/26576/statm: 28282 364 305 221 0 87 0
[pid=26578] ppid=26576 vsize=28227388 memory=28956 CPUtime=0.12 cores=0-7
/proc/26578/stat : 26578 (java) S 26576 26576 26532 0 -1 1077944320 5648 0 0 0 11 1 0 0 20 0 20 0 419937043 28904845312 7239 33554432000 4194304 4196468 140730854706016 140730854688560 140116891168503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
/proc/26578/statm: 7056847 7239 3162 1 0 7019032 0
[pid=26578/tid=26579] ppid=26576 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/26578/task/26579/stat : 26579 (java) R 26576 26576 26532 0 -1 4202560 3597 0 0 0 8 1 0 0 20 0 20 0 419937043 28904845312 7239 33554432000 4194304 4196468 140730854706016 140116895398912 140116891190429 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26580] ppid=26576 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26580/stat : 26580 (java) S 26576 26576 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419937044 28904845312 7239 33554432000 4194304 4196468 140730854706016 140116811021200 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26581] ppid=26576 vsize=28227388 memory=139835615646819 CPUtime=0 cores=0-7
/proc/26578/task/26581/stat : 26581 (java) S 26576 26576 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419937044 28904845312 7239 33554432000 4194304 4196468 140730854706016 140116809968400 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26582] ppid=26576 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26582/stat : 26582 (java) S 26576 26576 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419937044 28904845312 7239 33554432000 4194304 4196468 140730854706016 140116808916112 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26583] ppid=26576 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26583/stat : 26583 (java) S 26576 26576 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419937044 28904845312 7239 33554432000 4194304 4196468 140730854706016 140116807863312 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26584] ppid=26576 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26584/stat : 26584 (java) S 26576 26576 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419937044 28904845312 7239 33554432000 4194304 4196468 140730854706016 140116806810000 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26585] ppid=26576 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/26578/task/26585/stat : 26585 (java) S 26576 26576 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419937044 28904845312 7239 33554432000 4194304 4196468 140730854706016 140116805757200 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26586] ppid=26576 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26586/stat : 26586 (java) S 26576 26576 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419937044 28904845312 7239 33554432000 4194304 4196468 140730854706016 140116804704912 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26587] ppid=26576 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26587/stat : 26587 (java) S 26576 26576 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419937044 28904845312 7239 33554432000 4194304 4196468 140730854706016 140116803652112 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26588] ppid=26576 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26588/stat : 26588 (java) S 26576 26576 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419937046 28904845312 7239 33554432000 4194304 4196468 140730854706016 140116275341936 140116891179650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26589] ppid=26576 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26589/stat : 26589 (java) S 26576 26576 26532 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419937046 28904845312 7239 33554432000 4194304 4196468 140730854706016 140116274287904 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26590] ppid=26576 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26590/stat : 26590 (java) S 26576 26576 26532 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419937046 28904845312 7239 33554432000 4194304 4196468 140730854706016 140116273235568 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26591] ppid=26576 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26591/stat : 26591 (java) S 26576 26576 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419937049 28904845312 7239 33554432000 4194304 4196468 140730854706016 140116272183888 140116891187099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26592] ppid=26576 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26592/stat : 26592 (java) S 26576 26576 26532 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 20 0 419937049 28904845312 7239 33554432000 4194304 4196468 140730854706016 140116271130736 140116891179650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26593] ppid=26576 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26593/stat : 26593 (java) R 26576 26576 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419937049 28904845312 7239 33554432000 4194304 4196468 140730854706016 140116270077936 140116891179650 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26594] ppid=26576 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26594/stat : 26594 (java) S 26576 26576 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419937049 28904845312 7239 33554432000 4194304 4196468 140730854706016 140116269025648 140116891179650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26595] ppid=26576 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/26578/task/26595/stat : 26595 (java) R 26576 26576 26532 0 -1 4202560 321 0 0 0 1 0 0 0 20 0 20 0 419937049 28904845312 7239 33554432000 4194304 4196468 140730854706016 140116267972848 140116891189850 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26596] ppid=26576 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26596/stat : 26596 (java) S 26576 26576 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419937049 28904845312 7239 33554432000 4194304 4196468 140730854706016 140116266920800 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26597] ppid=26576 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/26578/task/26597/stat : 26597 (java) S 26576 26576 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419937049 28904845312 7239 33554432000 4194304 4196468 140730854706016 140116265868080 140116891179650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30412 KiB

[startup+0.211451 s]*
/proc/loadavg: 7.62 7.70 7.38 3/212 26597
/proc/meminfo: memFree=28814320/32770624 swapFree=66998528/67108860
[pid=26576] ppid=26573 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/26576/stat : 26576 (xcsp3-exec) S 26573 26576 26532 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419937043 115843072 364 33554432000 4194304 5098028 140731626653552 140731626651656 140004621017724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26955776 140731626656630 140731626656873 140731626656873 140731626659786 0
/proc/26576/statm: 28282 364 305 221 0 87 0
[pid=26578] ppid=26576 vsize=28227388 memory=41056 CPUtime=0.34 cores=0-7
/proc/26578/stat : 26578 (java) S 26576 26576 26532 0 -1 1077944320 9525 0 0 0 30 4 0 0 20 0 20 0 419937043 28904845312 10264 33554432000 4194304 4196468 140730854706016 140730854688560 140116891168503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
/proc/26578/statm: 7056847 10264 3287 1 0 7019032 0
[pid=26578/tid=26579] ppid=26576 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/26578/task/26579/stat : 26579 (java) R 26576 26576 26532 0 -1 4202560 6614 0 0 0 17 2 0 0 20 0 20 0 419937043 28904845312 10264 33554432000 4194304 4196468 140730854706016 140116895405552 140116875248990 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26580] ppid=26576 vsize=28227388 memory=288230596134830447 CPUtime=0 cores=0-7
/proc/26578/task/26580/stat : 26580 (java) S 26576 26576 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419937044 28904845312 10264 33554432000 4194304 4196468 140730854706016 140116811021200 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26581] ppid=26576 vsize=28227388 memory=288370211767334528 CPUtime=0 cores=0-7
/proc/26578/task/26581/stat : 26581 (java) S 26576 26576 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419937044 28904845312 10264 33554432000 4194304 4196468 140730854706016 140116809968400 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26582] ppid=26576 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/26578/task/26582/stat : 26582 (java) S 26576 26576 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419937044 28904845312 10264 33554432000 4194304 4196468 140730854706016 140116808916112 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26583] ppid=26576 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26583/stat : 26583 (java) S 26576 26576 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419937044 28904845312 10264 33554432000 4194304 4196468 140730854706016 140116807863312 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26584] ppid=26576 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26584/stat : 26584 (java) S 26576 26576 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419937044 28904845312 10264 33554432000 4194304 4196468 140730854706016 140116806810000 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26585] ppid=26576 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/26578/task/26585/stat : 26585 (java) S 26576 26576 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419937044 28904845312 10264 33554432000 4194304 4196468 140730854706016 140116805757200 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26586] ppid=26576 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26586/stat : 26586 (java) S 26576 26576 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419937044 28904845312 10264 33554432000 4194304 4196468 140730854706016 140116804704912 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26587] ppid=26576 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26587/stat : 26587 (java) S 26576 26576 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419937044 28904845312 10264 33554432000 4194304 4196468 140730854706016 140116803652112 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26588] ppid=26576 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26588/stat : 26588 (java) S 26576 26576 26532 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419937046 28904845312 10264 33554432000 4194304 4196468 140730854706016 140116275341936 140116891179650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26589] ppid=26576 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26589/stat : 26589 (java) S 26576 26576 26532 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419937046 28904845312 10264 33554432000 4194304 4196468 140730854706016 140116274287904 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26590] ppid=26576 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26590/stat : 26590 (java) S 26576 26576 26532 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419937046 28904845312 10264 33554432000 4194304 4196468 140730854706016 140116273235568 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26591] ppid=26576 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26591/stat : 26591 (java) S 26576 26576 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419937049 28904845312 10264 33554432000 4194304 4196468 140730854706016 140116272183888 140116891187099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26592] ppid=26576 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26592/stat : 26592 (java) S 26576 26576 26532 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 20 0 419937049 28904845312 10264 33554432000 4194304 4196468 140730854706016 140116271130736 140116891179650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26593] ppid=26576 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/26578/task/26593/stat : 26593 (java) S 26576 26576 26532 0 -1 1077944384 326 0 0 0 1 0 0 0 20 0 20 0 419937049 28904845312 10264 33554432000 4194304 4196468 140730854706016 140116270077936 140116891179650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26594] ppid=26576 vsize=28227388 memory=-1 CPUtime=0.02 cores=0-7
/proc/26578/task/26594/stat : 26594 (java) S 26576 26576 26532 0 -1 1077944384 117 0 0 0 2 0 0 0 20 0 20 0 419937049 28904845312 10264 33554432000 4194304 4196468 140730854706016 140116269025648 140116891179650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26595] ppid=26576 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7
/proc/26578/task/26595/stat : 26595 (java) S 26576 26576 26532 0 -1 1077944384 742 0 0 0 8 0 0 0 20 0 20 0 419937049 28904845312 10264 33554432000 4194304 4196468 140730854706016 140116267972848 140116891179650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26596] ppid=26576 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26596/stat : 26596 (java) S 26576 26576 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419937049 28904845312 10264 33554432000 4194304 4196468 140730854706016 140116266920800 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26597] ppid=26576 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/26578/task/26597/stat : 26597 (java) S 26576 26576 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419937049 28904845312 10264 33554432000 4194304 4196468 140730854706016 140116265868080 140116891179650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42512 KiB

[startup+0.310528 s]*
/proc/loadavg: 7.62 7.70 7.38 4/212 26597
/proc/meminfo: memFree=28806912/32770624 swapFree=66998528/67108860
[pid=26576] ppid=26573 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/26576/stat : 26576 (xcsp3-exec) S 26573 26576 26532 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419937043 115843072 364 33554432000 4194304 5098028 140731626653552 140731626651656 140004621017724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26955776 140731626656630 140731626656873 140731626656873 140731626659786 0
/proc/26576/statm: 28282 364 305 221 0 87 0
[pid=26578] ppid=26576 vsize=28231644 memory=49868 CPUtime=0.51 cores=0-7
/proc/26578/stat : 26578 (java) S 26576 26576 26532 0 -1 1077944320 10850 0 0 0 47 4 0 0 20 0 20 0 419937043 28909203456 12467 33554432000 4194304 4196468 140730854706016 140730854688560 140116891168503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
/proc/26578/statm: 7057911 12467 3333 1 0 7019032 0
[pid=26578/tid=26579] ppid=26576 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/26578/task/26579/stat : 26579 (java) R 26576 26576 26532 0 -1 4202560 7777 0 0 0 26 3 0 0 20 0 20 0 419937043 28909203456 12467 33554432000 4194304 4196468 140730854706016 140116895399616 140116875248990 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26580] ppid=26576 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26580/stat : 26580 (java) S 26576 26576 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419937044 28909203456 12467 33554432000 4194304 4196468 140730854706016 140116811021200 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26581] ppid=26576 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26581/stat : 26581 (java) S 26576 26576 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419937044 28909203456 12467 33554432000 4194304 4196468 140730854706016 140116809968400 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26582] ppid=26576 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26582/stat : 26582 (java) S 26576 26576 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419937044 28909203456 12467 33554432000 4194304 4196468 140730854706016 140116808916112 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26583] ppid=26576 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26583/stat : 26583 (java) S 26576 26576 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419937044 28909203456 12467 33554432000 4194304 4196468 140730854706016 140116807863312 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26584] ppid=26576 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26584/stat : 26584 (java) S 26576 26576 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419937044 28909203456 12467 33554432000 4194304 4196468 140730854706016 140116806810000 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26585] ppid=26576 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26585/stat : 26585 (java) S 26576 26576 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419937044 28909203456 12467 33554432000 4194304 4196468 140730854706016 140116805757200 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26586] ppid=26576 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26586/stat : 26586 (java) S 26576 26576 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419937044 28909203456 12467 33554432000 4194304 4196468 140730854706016 140116804704912 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26587] ppid=26576 vsize=28231644 memory=6872598998417432672 CPUtime=0 cores=0-7
/proc/26578/task/26587/stat : 26587 (java) S 26576 26576 26532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419937044 28909203456 12467 33554432000 4194304 4196468 140730854706016 140116803652112 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26588] ppid=26576 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26588/stat : 26588 (java) S 26576 26576 26532 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 419937046 28909203456 12467 33554432000 4194304 4196468 140730854706016 140116275341936 140116891179650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26589] ppid=26576 vsize=28231644 memory=279670956432768 CPUtime=0 cores=0-7
/proc/26578/task/26589/stat : 26589 (java) S 26576 26576 26532 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 419937046 28909203456 12467 33554432000 4194304 4196468 140730854706016 140116274287904 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26590] ppid=26576 vsize=28231644 memory=279670956437376 CPUtime=0 cores=0-7
/proc/26578/task/26590/stat : 26590 (java) S 26576 26576 26532 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419937046 28909203456 12467 33554432000 4194304 4196468 140730854706016 140116273235568 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26591] ppid=26576 vsize=28231644 memory=279670956441984 CPUtime=0 cores=0-7
/proc/26578/task/26591/stat : 26591 (java) S 26576 26576 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419937049 28909203456 12467 33554432000 4194304 4196468 140730854706016 140116272183888 140116891187099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26592] ppid=26576 vsize=28231644 memory=279670956446592 CPUtime=0.01 cores=0-7
/proc/26578/task/26592/stat : 26592 (java) S 26576 26576 26532 0 -1 1077944384 445 0 0 0 1 0 0 0 20 0 20 0 419937049 28909203456 12467 33554432000 4194304 4196468 140730854706016 140116271130736 140116891179650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26593] ppid=26576 vsize=28231644 memory=279670956451200 CPUtime=0.02 cores=0-7
/proc/26578/task/26593/stat : 26593 (java) S 26576 26576 26532 0 -1 1077944384 342 0 0 0 2 0 0 0 20 0 20 0 419937049 28909203456 12467 33554432000 4194304 4196468 140730854706016 140116270077936 140116891179650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26594] ppid=26576 vsize=28231644 memory=279670956455808 CPUtime=0.02 cores=0-7
/proc/26578/task/26594/stat : 26594 (java) S 26576 26576 26532 0 -1 1077944384 129 0 0 0 2 0 0 0 20 0 20 0 419937049 28909203456 12467 33554432000 4194304 4196468 140730854706016 140116269025648 140116891179650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26595] ppid=26576 vsize=28231644 memory=279670956460416 CPUtime=0.12 cores=0-7
/proc/26578/task/26595/stat : 26595 (java) S 26576 26576 26532 0 -1 1077944384 846 0 0 0 12 0 0 0 20 0 20 0 419937049 28909203456 12467 33554432000 4194304 4196468 140730854706016 140116267972848 140116891179650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26596] ppid=26576 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26596/stat : 26596 (java) S 26576 26576 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419937049 28909203456 12467 33554432000 4194304 4196468 140730854706016 140116266920800 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26597] ppid=26576 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/26578/task/26597/stat : 26597 (java) S 26576 26576 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419937049 28909203456 12467 33554432000 4194304 4196468 140730854706016 140116265868080 140116891179650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51324 KiB

[startup+0.704432 s]
/proc/loadavg: 7.62 7.70 7.38 6/212 26597
/proc/meminfo: memFree=28793476/32770624 swapFree=66998528/67108860
[pid=26576] ppid=26573 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/26576/stat : 26576 (xcsp3-exec) S 26573 26576 26532 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419937043 115843072 364 33554432000 4194304 5098028 140731626653552 140731626651656 140004621017724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26955776 140731626656630 140731626656873 140731626656873 140731626659786 0
/proc/26576/statm: 28282 364 305 221 0 87 0
[pid=26578] ppid=26576 vsize=28233768 memory=100652 CPUtime=1.74 cores=0-7
/proc/26578/stat : 26578 (java) S 26576 26576 26532 0 -1 1077944320 15484 0 0 0 168 6 0 0 20 0 20 0 419937043 28911378432 25163 33554432000 4194304 4196468 140730854706016 140730854688560 140116891168503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
/proc/26578/statm: 7058442 25163 3450 1 0 7019544 0
[pid=26578/tid=26579] ppid=26576 vsize=28233768 memory=4580 CPUtime=0.67 cores=0-7
/proc/26578/task/26579/stat : 26579 (java) R 26576 26576 26532 0 -1 4202560 8632 0 0 0 63 4 0 0 20 0 20 0 419937043 28911378432 25163 33554432000 4194304 4196468 140730854706016 140116895402472 140116484026316 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26580] ppid=26576 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26580/stat : 26580 (java) S 26576 26576 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419937044 28911378432 25163 33554432000 4194304 4196468 140730854706016 140116811021200 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26581] ppid=26576 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/26578/task/26581/stat : 26581 (java) S 26576 26576 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419937044 28911378432 25163 33554432000 4194304 4196468 140730854706016 140116809968400 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26582] ppid=26576 vsize=28233768 memory=1204 CPUtime=0 cores=0-7
/proc/26578/task/26582/stat : 26582 (java) S 26576 26576 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419937044 28911378432 25163 33554432000 4194304 4196468 140730854706016 140116808916112 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0

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

[pid=26578/tid=26605] ppid=26576 vsize=28768328 memory=1456 CPUtime=2413.04 cores=0-7
/proc/26578/task/26605/stat : 26605 (java) R 26576 26576 26532 0 -1 4202560 139962 0 0 0 241079 225 0 0 20 0 28 0 419937151 29458767872 609618 33554432000 4194304 4196468 140730854706016 140115913276288 140116491071043 0 4 0 16800975 0 0 0 -1 6 0 0 29 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
Current children cumulated CPU time: 19428.1 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 2439928 KiB

[startup+2502.3 s]
/proc/loadavg: 8.22 8.30 8.23 9/219 26813
/proc/meminfo: memFree=26419412/32770624 swapFree=66998528/67108860
[pid=26576] ppid=26573 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/26576/stat : 26576 (xcsp3-exec) S 26573 26576 26532 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419937043 115843072 364 33554432000 4194304 5098028 140731626653552 140731626651656 140004621017724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26955776 140731626656630 140731626656873 140731626656873 140731626659786 0
/proc/26576/statm: 28282 364 305 221 0 87 0
[pid=26578] ppid=26576 vsize=28768328 memory=2429272 CPUtime=19906.3 cores=0-7
/proc/26578/stat : 26578 (java) S 26576 26576 26532 0 -1 1077944320 1091724 0 0 0 1989177 1455 0 0 20 0 28 0 419937043 29458767872 607318 33554432000 4194304 4196468 140730854706016 140730854688560 140116891168503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
/proc/26578/statm: 7192082 607318 3549 1 0 7153184 0
[pid=26578/tid=26579] ppid=26576 vsize=28768328 memory=1412 CPUtime=1.02 cores=0-7
/proc/26578/task/26579/stat : 26579 (java) S 26576 26576 26532 0 -1 1077944384 8838 0 0 0 96 6 0 0 20 0 28 0 419937043 29458767872 607318 33554432000 4194304 4196468 140730854706016 140116895409280 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26580] ppid=26576 vsize=28768328 memory=2429272 CPUtime=11.92 cores=0-7
/proc/26578/task/26580/stat : 26580 (java) S 26576 26576 26532 0 -1 1077944384 38777 0 0 0 1122 70 0 0 20 0 28 0 419937044 29458767872 607318 33554432000 4194304 4196468 140730854706016 140116811021200 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26581] ppid=26576 vsize=28768328 memory=0 CPUtime=11.96 cores=0-7
/proc/26578/task/26581/stat : 26581 (java) S 26576 26576 26532 0 -1 1077944384 34665 0 0 0 1128 68 0 0 20 0 28 0 419937044 29458767872 607318 33554432000 4194304 4196468 140730854706016 140116809968400 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26582] ppid=26576 vsize=28768328 memory=2416420 CPUtime=11.98 cores=0-7
/proc/26578/task/26582/stat : 26582 (java) S 26576 26576 26532 0 -1 1077944384 42314 0 0 0 1129 69 0 0 20 0 28 0 419937044 29458767872 607318 33554432000 4194304 4196468 140730854706016 140116808916112 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26583] ppid=26576 vsize=28768328 memory=1456 CPUtime=11.85 cores=0-7
/proc/26578/task/26583/stat : 26583 (java) S 26576 26576 26532 0 -1 1077944384 41525 0 0 0 1121 64 0 0 20 0 28 0 419937044 29458767872 607318 33554432000 4194304 4196468 140730854706016 140116807863312 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26584] ppid=26576 vsize=28768328 memory=279670956502400 CPUtime=12.05 cores=0-7
/proc/26578/task/26584/stat : 26584 (java) S 26576 26576 26532 0 -1 1077944384 36802 0 0 0 1138 67 0 0 20 0 28 0 419937044 29458767872 607318 33554432000 4194304 4196468 140730854706016 140116806810000 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26585] ppid=26576 vsize=28768328 memory=6944656592455097440 CPUtime=11.91 cores=0-7
/proc/26578/task/26585/stat : 26585 (java) S 26576 26576 26532 0 -1 1077944384 41002 0 0 0 1124 67 0 0 20 0 28 0 419937044 29458767872 607318 33554432000 4194304 4196468 140730854706016 140116805757200 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26586] ppid=26576 vsize=28768328 memory=1052 CPUtime=11.94 cores=0-7
/proc/26578/task/26586/stat : 26586 (java) S 26576 26576 26532 0 -1 1077944384 33860 0 0 0 1128 66 0 0 20 0 28 0 419937044 29458767872 607318 33554432000 4194304 4196468 140730854706016 140116804704912 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26587] ppid=26576 vsize=28768328 memory=5908 CPUtime=11.91 cores=0-7
/proc/26578/task/26587/stat : 26587 (java) S 26576 26576 26532 0 -1 1077944384 37749 0 0 0 1125 66 0 0 20 0 28 0 419937044 29458767872 607318 33554432000 4194304 4196468 140730854706016 140116803652112 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26588] ppid=26576 vsize=28768328 memory=0 CPUtime=3.77 cores=0-7
/proc/26578/task/26588/stat : 26588 (java) S 26576 26576 26532 0 -1 1077944384 132293 0 0 0 247 130 0 0 20 0 28 0 419937046 29458767872 607318 33554432000 4194304 4196468 140730854706016 140116275341936 140116891179650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26589] ppid=26576 vsize=28768328 memory=33 CPUtime=0 cores=0-7
/proc/26578/task/26589/stat : 26589 (java) S 26576 26576 26532 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 419937046 29458767872 607318 33554432000 4194304 4196468 140730854706016 140116274287968 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26590] ppid=26576 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/26578/task/26590/stat : 26590 (java) S 26576 26576 26532 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 419937046 29458767872 607318 33554432000 4194304 4196468 140730854706016 140116273235584 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26591] ppid=26576 vsize=28768328 memory=2435428 CPUtime=0 cores=0-7
/proc/26578/task/26591/stat : 26591 (java) S 26576 26576 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419937049 29458767872 607318 33554432000 4194304 4196468 140730854706016 140116272183888 140116891187099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26592] ppid=26576 vsize=28768328 memory=2448764 CPUtime=3.16 cores=0-7
/proc/26578/task/26592/stat : 26592 (java) S 26576 26576 26532 0 -1 1077944384 19806 0 0 0 313 3 0 0 20 0 28 0 419937049 29458767872 607318 33554432000 4194304 4196468 140730854706016 140116271130736 140116891179650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26593] ppid=26576 vsize=28768328 memory=1536 CPUtime=3.12 cores=0-7
/proc/26578/task/26593/stat : 26593 (java) S 26576 26576 26532 0 -1 1077944384 18527 0 0 0 309 3 0 0 20 0 28 0 419937049 29458767872 607318 33554432000 4194304 4196468 140730854706016 140116270077936 140116891179650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26594] ppid=26576 vsize=28768328 memory=9592 CPUtime=3.39 cores=0-7
/proc/26578/task/26594/stat : 26594 (java) S 26576 26576 26532 0 -1 1077944384 21662 0 0 0 335 4 0 0 20 0 28 0 419937049 29458767872 607318 33554432000 4194304 4196468 140730854706016 140116269025648 140116891179650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26595] ppid=26576 vsize=28768328 memory=2431836 CPUtime=1.11 cores=0-7
/proc/26578/task/26595/stat : 26595 (java) S 26576 26576 26532 0 -1 1077944384 18215 0 0 0 107 4 0 0 20 0 28 0 419937049 29458767872 607318 33554432000 4194304 4196468 140730854706016 140116267972848 140116891179650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26596] ppid=26576 vsize=28768328 memory=2465692 CPUtime=0 cores=0-7
/proc/26578/task/26596/stat : 26596 (java) S 26576 26576 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419937049 29458767872 607318 33554432000 4194304 4196468 140730854706016 140116266920800 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26597] ppid=26576 vsize=28768328 memory=1456 CPUtime=0.84 cores=0-7
/proc/26578/task/26597/stat : 26597 (java) S 26576 26576 26532 0 -1 1077944384 6744 0 0 0 0 84 0 0 20 0 28 0 419937049 29458767872 607318 33554432000 4194304 4196468 140730854706016 140116265868080 140116891179650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26598] ppid=26576 vsize=28768328 memory=3624 CPUtime=2477.3 cores=0-7
/proc/26578/task/26598/stat : 26598 (java) R 26576 26576 26532 0 -1 4202560 30342 0 0 0 247700 30 0 0 20 0 28 0 419937150 29458767872 607318 33554432000 4194304 4196468 140730854706016 140116263349800 140116486969118 0 4 0 16800975 0 0 0 -1 7 0 0 27 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26599] ppid=26576 vsize=28768328 memory=1456 CPUtime=2474.77 cores=0-7
/proc/26578/task/26599/stat : 26599 (java) R 26576 26576 26532 0 -1 4202560 27883 0 0 0 247446 31 0 0 20 0 28 0 419937151 29458767872 607318 33554432000 4194304 4196468 140730854706016 140115919590312 140116491072232 0 4 0 16800975 0 0 0 -1 5 0 0 25 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26600] ppid=26576 vsize=28768328 memory=2448252 CPUtime=2469.96 cores=0-7
/proc/26578/task/26600/stat : 26600 (java) R 26576 26576 26532 0 -1 4202560 156413 0 0 0 246844 152 0 0 20 0 28 0 419937151 29458767872 607318 33554432000 4194304 4196468 140730854706016 140115918536224 140116487065441 0 4 0 16800975 0 0 0 -1 3 0 0 28 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26601] ppid=26576 vsize=28768328 memory=1428 CPUtime=2474.32 cores=0-7
/proc/26578/task/26601/stat : 26601 (java) R 26576 26576 26532 0 -1 4202560 55410 0 0 0 247343 89 0 0 20 0 28 0 419937151 29458767872 607318 33554432000 4194304 4196468 140730854706016 140115917483800 140116491012913 0 4 0 16800975 0 0 0 -1 0 0 0 29 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26602] ppid=26576 vsize=28768328 memory=3624 CPUtime=2475.78 cores=0-7
/proc/26578/task/26602/stat : 26602 (java) R 26576 26576 26532 0 -1 4202560 42473 0 0 0 247485 93 0 0 20 0 28 0 419937151 29458767872 607318 33554432000 4194304 4196468 140730854706016 140115916431016 140116491070332 0 4 0 16800975 0 0 0 -1 6 0 0 30 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26603] ppid=26576 vsize=28768328 memory=1456 CPUtime=2474.15 cores=0-7
/proc/26578/task/26603/stat : 26603 (java) R 26576 26576 26532 0 -1 4202560 78422 0 0 0 247289 126 0 0 20 0 28 0 419937151 29458767872 607318 33554432000 4194304 4196468 140730854706016 140115915378384 140116486969175 0 4 0 16800975 0 0 0 -1 4 0 0 30 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26604] ppid=26576 vsize=28768328 memory=2469796 CPUtime=2475.15 cores=0-7
/proc/26578/task/26604/stat : 26604 (java) R 26576 26576 26532 0 -1 4202560 23548 0 0 0 247484 31 0 0 20 0 28 0 419937151 29458767872 607318 33554432000 4194304 4196468 140730854706016 140115914326328 140116491071441 0 4 0 16800975 0 0 0 -1 2 0 0 23 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26605] ppid=26576 vsize=28768328 memory=1456 CPUtime=2472.74 cores=0-7
/proc/26578/task/26605/stat : 26605 (java) R 26576 26576 26532 0 -1 4202560 143107 0 0 0 247045 229 0 0 20 0 28 0 419937151 29458767872 607318 33554432000 4194304 4196468 140730854706016 140115913276288 140116486240848 0 4 0 16800975 0 0 0 -1 1 0 0 29 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
Current children cumulated CPU time: 19906.3 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 2430728 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.15 8.28 8.22 9/219 26813
/proc/meminfo: memFree=26419036/32770624 swapFree=66998528/67108860
[pid=26576] ppid=26573 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/26576/stat : 26576 (xcsp3-exec) S 26573 26576 26532 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 419937043 115843072 364 33554432000 4194304 5098028 140731626653552 140731626651656 140004621017724 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26955776 140731626656630 140731626656873 140731626656873 140731626659786 0
/proc/26576/statm: 28282 364 305 221 0 87 0
[pid=26578] ppid=26576 vsize=28768328 memory=2433864 CPUtime=20047.4 cores=0-7
/proc/26578/stat : 26578 (java) S 26576 26576 26532 0 -1 1077944320 1095533 0 0 0 2003268 1470 0 0 20 0 28 0 419937043 29458767872 608466 33554432000 4194304 4196468 140730854706016 140730854688560 140116891168503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
/proc/26578/statm: 7192082 608466 3549 1 0 7153184 0
[pid=26578/tid=26579] ppid=26576 vsize=28768328 memory=928 CPUtime=1.02 cores=0-7
/proc/26578/task/26579/stat : 26579 (java) S 26576 26576 26532 0 -1 1077944384 8838 0 0 0 96 6 0 0 20 0 28 0 419937043 29458767872 608466 33554432000 4194304 4196468 140730854706016 140116895409280 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26580] ppid=26576 vsize=28768328 memory=3704 CPUtime=11.98 cores=0-7
/proc/26578/task/26580/stat : 26580 (java) S 26576 26576 26532 0 -1 1077944384 38790 0 0 0 1127 71 0 0 20 0 28 0 419937044 29458767872 608466 33554432000 4194304 4196468 140730854706016 140116811021200 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26581] ppid=26576 vsize=28768328 memory=1976 CPUtime=12 cores=0-7
/proc/26578/task/26581/stat : 26581 (java) S 26576 26576 26532 0 -1 1077944384 34671 0 0 0 1132 68 0 0 20 0 28 0 419937044 29458767872 608466 33554432000 4194304 4196468 140730854706016 140116809968400 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26582] ppid=26576 vsize=28768328 memory=8317482817917895235 CPUtime=12.03 cores=0-7
/proc/26578/task/26582/stat : 26582 (java) S 26576 26576 26532 0 -1 1077944384 42324 0 0 0 1133 70 0 0 20 0 28 0 419937044 29458767872 608466 33554432000 4194304 4196468 140730854706016 140116808916112 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26583] ppid=26576 vsize=28768328 memory=288230596050944315 CPUtime=11.9 cores=0-7
/proc/26578/task/26583/stat : 26583 (java) S 26576 26576 26532 0 -1 1077944384 41538 0 0 0 1125 65 0 0 20 0 28 0 419937044 29458767872 608466 33554432000 4194304 4196468 140730854706016 140116807863312 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26584] ppid=26576 vsize=28768328 memory=16100368647981698 CPUtime=12.09 cores=0-7
/proc/26578/task/26584/stat : 26584 (java) S 26576 26576 26532 0 -1 1077944384 36819 0 0 0 1142 67 0 0 20 0 28 0 419937044 29458767872 608466 33554432000 4194304 4196468 140730854706016 140116806810000 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26585] ppid=26576 vsize=28768328 memory=1976 CPUtime=11.97 cores=0-7
/proc/26578/task/26585/stat : 26585 (java) S 26576 26576 26532 0 -1 1077944384 41010 0 0 0 1129 68 0 0 20 0 28 0 419937044 29458767872 608466 33554432000 4194304 4196468 140730854706016 140116805757200 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26586] ppid=26576 vsize=28768328 memory=2580 CPUtime=11.99 cores=0-7
/proc/26578/task/26586/stat : 26586 (java) S 26576 26576 26532 0 -1 1077944384 33869 0 0 0 1133 66 0 0 20 0 28 0 419937044 29458767872 608466 33554432000 4194304 4196468 140730854706016 140116804704912 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26587] ppid=26576 vsize=28768328 memory=-3622645143214314312 CPUtime=11.96 cores=0-7
/proc/26578/task/26587/stat : 26587 (java) S 26576 26576 26532 0 -1 1077944384 37755 0 0 0 1129 67 0 0 20 0 28 0 419937044 29458767872 608466 33554432000 4194304 4196468 140730854706016 140116803652112 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26588] ppid=26576 vsize=28768328 memory=1204 CPUtime=3.79 cores=0-7
/proc/26578/task/26588/stat : 26588 (java) S 26576 26576 26532 0 -1 1077944384 132427 0 0 0 248 131 0 0 20 0 28 0 419937046 29458767872 608466 33554432000 4194304 4196468 140730854706016 140116275341936 140116891179650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26589] ppid=26576 vsize=28768328 memory=1536 CPUtime=0 cores=0-7
/proc/26578/task/26589/stat : 26589 (java) S 26576 26576 26532 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 419937046 29458767872 608466 33554432000 4194304 4196468 140730854706016 140116274287968 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26590] ppid=26576 vsize=28768328 memory=9592 CPUtime=0 cores=0-7
/proc/26578/task/26590/stat : 26590 (java) S 26576 26576 26532 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 419937046 29458767872 608466 33554432000 4194304 4196468 140730854706016 140116273235584 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26591] ppid=26576 vsize=28768328 memory=2828 CPUtime=0 cores=0-7
/proc/26578/task/26591/stat : 26591 (java) S 26576 26576 26532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 419937049 29458767872 608466 33554432000 4194304 4196468 140730854706016 140116272183888 140116891187099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26592] ppid=26576 vsize=28768328 memory=780 CPUtime=3.16 cores=0-7
/proc/26578/task/26592/stat : 26592 (java) S 26576 26576 26532 0 -1 1077944384 19806 0 0 0 313 3 0 0 20 0 28 0 419937049 29458767872 608466 33554432000 4194304 4196468 140730854706016 140116271130736 140116891179650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26593] ppid=26576 vsize=28768328 memory=620 CPUtime=3.12 cores=0-7
/proc/26578/task/26593/stat : 26593 (java) S 26576 26576 26532 0 -1 1077944384 18527 0 0 0 309 3 0 0 20 0 28 0 419937049 29458767872 608466 33554432000 4194304 4196468 140730854706016 140116270077936 140116891179650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26594] ppid=26576 vsize=28768328 memory=1712 CPUtime=3.39 cores=0-7
/proc/26578/task/26594/stat : 26594 (java) S 26576 26576 26532 0 -1 1077944384 21662 0 0 0 335 4 0 0 20 0 28 0 419937049 29458767872 608466 33554432000 4194304 4196468 140730854706016 140116269025648 140116891179650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26595] ppid=26576 vsize=28768328 memory=1052 CPUtime=1.11 cores=0-7
/proc/26578/task/26595/stat : 26595 (java) S 26576 26576 26532 0 -1 1077944384 18215 0 0 0 107 4 0 0 20 0 28 0 419937049 29458767872 608466 33554432000 4194304 4196468 140730854706016 140116267972848 140116891179650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26596] ppid=26576 vsize=28768328 memory=5908 CPUtime=0 cores=0-7
/proc/26578/task/26596/stat : 26596 (java) S 26576 26576 26532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 419937049 29458767872 608466 33554432000 4194304 4196468 140730854706016 140116266920800 140116891178709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26597] ppid=26576 vsize=28768328 memory=14012 CPUtime=0.85 cores=0-7
/proc/26578/task/26597/stat : 26597 (java) S 26576 26576 26532 0 -1 1077944384 6746 0 0 0 0 85 0 0 20 0 28 0 419937049 29458767872 608466 33554432000 4194304 4196468 140730854706016 140116265868080 140116891179650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26598] ppid=26576 vsize=28768328 memory=2116 CPUtime=2494.83 cores=0-7
/proc/26578/task/26598/stat : 26598 (java) R 26576 26576 26532 0 -1 4202560 30404 0 0 0 249453 30 0 0 20 0 28 0 419937150 29458767872 608466 33554432000 4194304 4196468 140730854706016 140116263350200 140116491053978 0 4 0 16800975 0 0 0 -1 7 0 0 27 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26599] ppid=26576 vsize=28768328 memory=22636 CPUtime=2492.33 cores=0-7
/proc/26578/task/26599/stat : 26599 (java) R 26576 26576 26532 0 -1 4202560 27960 0 0 0 249201 32 0 0 20 0 28 0 419937151 29458767872 608466 33554432000 4194304 4196468 140730854706016 140115919589664 140116491071477 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26600] ppid=26576 vsize=28768328 memory=41472 CPUtime=2487.46 cores=0-7
/proc/26578/task/26600/stat : 26600 (java) R 26576 26576 26532 0 -1 4202560 156607 0 0 0 248594 152 0 0 20 0 28 0 419937151 29458767872 608466 33554432000 4194304 4196468 140730854706016 140115918536488 140116488367128 0 4 0 16800975 0 0 0 -1 5 0 0 28 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26601] ppid=26576 vsize=28768328 memory=988 CPUtime=2491.96 cores=0-7
/proc/26578/task/26601/stat : 26601 (java) R 26576 26576 26532 0 -1 4202560 56116 0 0 0 249106 90 0 0 20 0 28 0 419937151 29458767872 608466 33554432000 4194304 4196468 140730854706016 140115917483784 140116491071494 0 4 0 16800975 0 0 0 -1 6 0 0 29 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26602] ppid=26576 vsize=28768328 memory=2024 CPUtime=2493.32 cores=0-7
/proc/26578/task/26602/stat : 26602 (java) R 26576 26576 26532 0 -1 4202560 42870 0 0 0 249237 95 0 0 20 0 28 0 419937151 29458767872 608466 33554432000 4194304 4196468 140730854706016 140115916431512 140116877236628 0 4 0 16800975 0 0 0 -1 0 0 0 30 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26603] ppid=26576 vsize=28768328 memory=1428 CPUtime=2491.79 cores=0-7
/proc/26578/task/26603/stat : 26603 (java) R 26576 26576 26532 0 -1 4202560 78602 0 0 0 249053 126 0 0 20 0 28 0 419937151 29458767872 608466 33554432000 4194304 4196468 140730854706016 140115915379112 140116490260220 0 4 0 16800975 0 0 0 -1 4 0 0 30 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26604] ppid=26576 vsize=28768328 memory=4160 CPUtime=2492.79 cores=0-7
/proc/26578/task/26604/stat : 26604 (java) R 26576 26576 26532 0 -1 4202560 23627 0 0 0 249248 31 0 0 20 0 28 0 419937151 29458767872 608466 33554432000 4194304 4196468 140730854706016 140115914326328 140116491072232 0 4 0 16800975 0 0 0 -1 2 0 0 23 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
[pid=26578/tid=26605] ppid=26576 vsize=28768328 memory=1056 CPUtime=2490.37 cores=0-7
/proc/26578/task/26605/stat : 26605 (java) R 26576 26576 26532 0 -1 4202560 145003 0 0 0 248801 236 0 0 20 0 28 0 419937151 29458767872 608466 33554432000 4194304 4196468 140730854706016 140115913276288 140116491137330 0 4 0 16800975 0 0 0 -1 3 0 0 29 0 0 6293624 6294260 8454144 140730854708202 140730854708374 140730854708374 140730854711247 0
Current children cumulated CPU time: 20047.4 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 2435320 KiB

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

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

[startup+2520.1 s]
# the end of solver process 26578 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20033.2 s, system=14.7311 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.1
CPU time (s): 20048
CPU user time (s): 20033.2
CPU system time (s): 14.7311
CPU usage (%): 795.523
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 2726552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20033.2
system time used= 14.7311
maximum resident set size= 2725096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1096442
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 187168
involuntary context switches= 245327


# summary of solver processes directly reported to runsolver:
#   pid: 26576,26578
#   total CPU time (s): 20048
#   total CPU user time (s): 20033.2
#   total CPU system time (s): 14.7311

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.8706 second user time and 27.7554 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-14 06:50:42
IDJOB=4393658
IDBENCH=134582
IDSOLVER=2841
FILE ID=node127/4393658-1568436682
RUNJOBID= node127-1568436642-26559
PBS_JOBID= 21702318
Free space on /tmp= 61308 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07-1_X2.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-4393658-1568436682/watcher-4393658-1568436682 -o /tmp/evaluation-result-4393658-1568436682/solver-4393658-1568436682 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1568436642-26559 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 387195905 HOME/instance-4393658-1568436682.xml

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

MD5SUM BENCH= 6c4aeb96443502fd0f9a0dc0a71b4b92
RANDOM SEED=387195905

node127.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.55
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.55
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.55
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.55
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:        28845652 kB
MemAvailable:   31872788 kB
Buffers:          186204 kB
Cached:          3107696 kB
SwapCached:         6772 kB
Active:          1905056 kB
Inactive:        1400180 kB
Active(anon):       4332 kB
Inactive(anon):    48568 kB
Active(file):    1900724 kB
Inactive(file):  1351612 kB
Unevictable:      109560 kB
Mlocked:          109560 kB
SwapTotal:      67108860 kB
SwapFree:       66998528 kB
Dirty:             26024 kB
Writeback:             0 kB
AnonPages:        114404 kB
Mapped:            44476 kB
Shmem:             32700 kB
Slab:             210992 kB
SReclaimable:     181268 kB
SUnreclaim:        29724 kB
KernelStack:        3296 kB
PageTables:         6020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 61284 MiB
End job on node127 at 2019-09-14 07:32:42