Trace number 4406777

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-09-24 parallel? (TO) 19714.6 2520.12

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-152.xml
MD5SUM95353c685d9c4a971cd57b59ef19ccd8
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark69.0695
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size513
Maximum domain size513
Distribution of domain sizes[{"size":513,"count":50}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":48},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity50
Distribution of constraint arities[{"arity":1,"count":51},{"arity":2,"count":1},{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints52
Distribution of constraint types[{"type":"intension","count":52},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406777-1569351408.xml"  -tl '20160s' -p 8
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4406777-1569351408.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
1.27/0.68	c solve instance...
19713.84/2520.07	s UNKNOWN
19713.84/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 (13804 MiB free)
  memory of node 1: 16384 MiB (12312 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406777-1569351408/watcher-4406777-1569351408 -o /tmp/evaluation-result-4406777-1569351408/solver-4406777-1569351408 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569344661-10096 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 233499987 HOME/instance-4406777-1569351408.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=10386, runsolver pid=10383
Current StackSize limit: 8192 KiB


[startup+0.10016 s]*
/proc/loadavg: 8.24 8.14 7.92 3/210 10407
/proc/meminfo: memFree=26726108/32770624 swapFree=66986400/67108860
[pid=10386] ppid=10383 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/10386/stat : 10386 (xcsp3-exec) S 10383 10386 10069 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511397434 115843072 364 33554432000 4194304 5098028 140723104668000 140723104666104 140584939975292 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7503872 140723104670582 140723104670825 140723104670825 140723104673738 0
/proc/10386/statm: 28282 364 305 221 0 87 0
[pid=10388] ppid=10386 vsize=28227396 memory=30356 CPUtime=0.13 cores=0-7
/proc/10388/stat : 10388 (java) S 10386 10386 10069 0 -1 1077944320 5482 0 0 0 11 2 0 0 20 0 20 0 511397435 28904853504 7589 33554432000 4194304 4196468 140731220780544 140731220763088 140319781891831 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
/proc/10388/statm: 7056849 7589 3146 1 0 7019032 0
[pid=10388/tid=10389] ppid=10386 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/10388/task/10389/stat : 10389 (java) R 10386 10386 10069 0 -1 4202560 3400 0 0 0 8 1 0 0 20 0 20 0 511397435 28904853504 7589 33554432000 4194304 4196468 140731220780544 140319786131072 140319763287034 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10390] ppid=10386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10390/stat : 10390 (java) S 10386 10386 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511397436 28904853504 7589 33554432000 4194304 4196468 140731220780544 140319738444432 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10391] ppid=10386 vsize=28227396 memory=140081597038321 CPUtime=0 cores=0-7
/proc/10388/task/10391/stat : 10391 (java) S 10386 10386 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511397436 28904853504 7589 33554432000 4194304 4196468 140731220780544 140319737391632 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10392] ppid=10386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10392/stat : 10392 (java) S 10386 10386 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511397436 28904853504 7589 33554432000 4194304 4196468 140731220780544 140319331047824 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10393] ppid=10386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10393/stat : 10393 (java) S 10386 10386 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511397436 28904853504 7589 33554432000 4194304 4196468 140731220780544 140319329995024 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10394] ppid=10386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10394/stat : 10394 (java) S 10386 10386 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511397436 28904853504 7589 33554432000 4194304 4196468 140731220780544 140319328943248 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10395] ppid=10386 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10388/task/10395/stat : 10395 (java) S 10386 10386 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511397436 28904853504 7589 33554432000 4194304 4196468 140731220780544 140319327890448 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10396] ppid=10386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10396/stat : 10396 (java) S 10386 10386 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511397436 28904853504 7589 33554432000 4194304 4196468 140731220780544 140319326837648 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10397] ppid=10386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10397/stat : 10397 (java) S 10386 10386 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511397436 28904853504 7589 33554432000 4194304 4196468 140731220780544 140319325784848 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10398] ppid=10386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10398/stat : 10398 (java) S 10386 10386 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511397437 28904853504 7589 33554432000 4194304 4196468 140731220780544 140318898276720 140319781902978 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10399] ppid=10386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10399/stat : 10399 (java) S 10386 10386 10069 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511397438 28904853504 7589 33554432000 4194304 4196468 140731220780544 140318897222688 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10400] ppid=10386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10400/stat : 10400 (java) S 10386 10386 10069 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511397438 28904853504 7589 33554432000 4194304 4196468 140731220780544 140318896169840 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10401] ppid=10386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10401/stat : 10401 (java) S 10386 10386 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511397440 28904853504 7589 33554432000 4194304 4196468 140731220780544 140318895118160 140319781910427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10402] ppid=10386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10402/stat : 10402 (java) S 10386 10386 10069 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 20 0 511397440 28904853504 7589 33554432000 4194304 4196468 140731220780544 140318894066544 140319781902978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10403] ppid=10386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10403/stat : 10403 (java) S 10386 10386 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511397440 28904853504 7589 33554432000 4194304 4196468 140731220780544 140318893013744 140319781902978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10404] ppid=10386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10404/stat : 10404 (java) S 10386 10386 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511397440 28904853504 7589 33554432000 4194304 4196468 140731220780544 140318891960944 140319781902978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10405] ppid=10386 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/10388/task/10405/stat : 10405 (java) S 10386 10386 10069 0 -1 1077944384 345 0 0 0 2 0 0 0 20 0 20 0 511397440 28904853504 7589 33554432000 4194304 4196468 140731220780544 140318890908144 140319781902978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10406] ppid=10386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10406/stat : 10406 (java) S 10386 10386 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511397441 28904853504 7589 33554432000 4194304 4196468 140731220780544 140318889855584 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10407] ppid=10386 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10388/task/10407/stat : 10407 (java) S 10386 10386 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511397441 28904853504 7589 33554432000 4194304 4196468 140731220780544 140318888802864 140319781902978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31812 KiB

[startup+0.210581 s]*
/proc/loadavg: 8.24 8.14 7.92 2/210 10407
/proc/meminfo: memFree=26714128/32770624 swapFree=66986400/67108860
[pid=10386] ppid=10383 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/10386/stat : 10386 (xcsp3-exec) S 10383 10386 10069 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511397434 115843072 364 33554432000 4194304 5098028 140723104668000 140723104666104 140584939975292 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7503872 140723104670582 140723104670825 140723104670825 140723104673738 0
/proc/10386/statm: 28282 364 305 221 0 87 0
[pid=10388] ppid=10386 vsize=28227396 memory=41344 CPUtime=0.34 cores=0-7
/proc/10388/stat : 10388 (java) S 10386 10386 10069 0 -1 1077944320 9066 0 0 0 30 4 0 0 20 0 20 0 511397435 28904853504 10336 33554432000 4194304 4196468 140731220780544 140731220763088 140319781891831 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
/proc/10388/statm: 7056849 10336 3298 1 0 7019032 0
[pid=10388/tid=10389] ppid=10386 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/10388/task/10389/stat : 10389 (java) R 10386 10386 10069 0 -1 4202560 6215 0 0 0 17 3 0 0 20 0 20 0 511397435 28904853504 10336 33554432000 4194304 4196468 140731220780544 140319786125760 140319781903766 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10390] ppid=10386 vsize=28227396 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/10388/task/10390/stat : 10390 (java) S 10386 10386 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511397436 28904853504 10336 33554432000 4194304 4196468 140731220780544 140319738444432 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10391] ppid=10386 vsize=28227396 memory=288370457748739712 CPUtime=0 cores=0-7
/proc/10388/task/10391/stat : 10391 (java) S 10386 10386 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511397436 28904853504 10336 33554432000 4194304 4196468 140731220780544 140319737391632 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10392] ppid=10386 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10388/task/10392/stat : 10392 (java) S 10386 10386 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511397436 28904853504 10336 33554432000 4194304 4196468 140731220780544 140319331047824 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10393] ppid=10386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10393/stat : 10393 (java) S 10386 10386 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511397436 28904853504 10336 33554432000 4194304 4196468 140731220780544 140319329995024 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10394] ppid=10386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10394/stat : 10394 (java) S 10386 10386 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511397436 28904853504 10336 33554432000 4194304 4196468 140731220780544 140319328943248 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10395] ppid=10386 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10388/task/10395/stat : 10395 (java) S 10386 10386 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511397436 28904853504 10336 33554432000 4194304 4196468 140731220780544 140319327890448 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10396] ppid=10386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10396/stat : 10396 (java) S 10386 10386 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511397436 28904853504 10336 33554432000 4194304 4196468 140731220780544 140319326837648 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10397] ppid=10386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10397/stat : 10397 (java) S 10386 10386 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511397436 28904853504 10336 33554432000 4194304 4196468 140731220780544 140319325784848 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10398] ppid=10386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10398/stat : 10398 (java) S 10386 10386 10069 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511397437 28904853504 10336 33554432000 4194304 4196468 140731220780544 140318898276720 140319781902978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10399] ppid=10386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10399/stat : 10399 (java) S 10386 10386 10069 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511397438 28904853504 10336 33554432000 4194304 4196468 140731220780544 140318897222688 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10400] ppid=10386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10400/stat : 10400 (java) S 10386 10386 10069 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511397438 28904853504 10336 33554432000 4194304 4196468 140731220780544 140318896169840 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10401] ppid=10386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10401/stat : 10401 (java) S 10386 10386 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511397440 28904853504 10336 33554432000 4194304 4196468 140731220780544 140318895118160 140319781910427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10402] ppid=10386 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/10388/task/10402/stat : 10402 (java) S 10386 10386 10069 0 -1 1077944384 510 0 0 0 1 0 0 0 20 0 20 0 511397440 28904853504 10336 33554432000 4194304 4196468 140731220780544 140318894066544 140319781902978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10403] ppid=10386 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/10388/task/10403/stat : 10403 (java) S 10386 10386 10069 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 20 0 511397440 28904853504 10336 33554432000 4194304 4196468 140731220780544 140318893013744 140319781902978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10404] ppid=10386 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/10388/task/10404/stat : 10404 (java) S 10386 10386 10069 0 -1 1077944384 237 0 0 0 2 0 0 0 20 0 20 0 511397440 28904853504 10336 33554432000 4194304 4196468 140731220780544 140318891960944 140319781902978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10405] ppid=10386 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/10388/task/10405/stat : 10405 (java) R 10386 10386 10069 0 -1 4202560 740 0 0 0 8 0 0 0 20 0 20 0 511397440 28904853504 10336 33554432000 4194304 4196468 140731220780544 140318890907952 140319760900386 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10406] ppid=10386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10406/stat : 10406 (java) S 10386 10386 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511397441 28904853504 10336 33554432000 4194304 4196468 140731220780544 140318889855584 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10407] ppid=10386 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10388/task/10407/stat : 10407 (java) S 10386 10386 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511397441 28904853504 10336 33554432000 4194304 4196468 140731220780544 140318888802864 140319781902978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42800 KiB

[startup+0.310285 s]*
/proc/loadavg: 8.24 8.14 7.92 5/210 10407
/proc/meminfo: memFree=26706884/32770624 swapFree=66986400/67108860
[pid=10386] ppid=10383 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/10386/stat : 10386 (xcsp3-exec) S 10383 10386 10069 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511397434 115843072 364 33554432000 4194304 5098028 140723104668000 140723104666104 140584939975292 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7503872 140723104670582 140723104670825 140723104670825 140723104673738 0
/proc/10386/statm: 28282 364 305 221 0 87 0
[pid=10388] ppid=10386 vsize=28231652 memory=50184 CPUtime=0.53 cores=0-7
/proc/10388/stat : 10388 (java) S 10386 10386 10069 0 -1 1077944320 10374 0 0 0 48 5 0 0 20 0 20 0 511397435 28909211648 12546 33554432000 4194304 4196468 140731220780544 140731220763088 140319781891831 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
/proc/10388/statm: 7057913 12546 3350 1 0 7019032 0
[pid=10388/tid=10389] ppid=10386 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/10388/task/10389/stat : 10389 (java) R 10386 10386 10069 0 -1 4202560 7298 0 0 0 26 3 0 0 20 0 20 0 511397435 28909211648 12546 33554432000 4194304 4196468 140731220780544 140319786125616 140319767585312 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10390] ppid=10386 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10390/stat : 10390 (java) S 10386 10386 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511397436 28909211648 12546 33554432000 4194304 4196468 140731220780544 140319738444432 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10391] ppid=10386 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10391/stat : 10391 (java) S 10386 10386 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511397436 28909211648 12546 33554432000 4194304 4196468 140731220780544 140319737391632 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10392] ppid=10386 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10392/stat : 10392 (java) S 10386 10386 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511397436 28909211648 12546 33554432000 4194304 4196468 140731220780544 140319331047824 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10393] ppid=10386 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10393/stat : 10393 (java) S 10386 10386 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511397436 28909211648 12546 33554432000 4194304 4196468 140731220780544 140319329995024 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10394] ppid=10386 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10394/stat : 10394 (java) S 10386 10386 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511397436 28909211648 12546 33554432000 4194304 4196468 140731220780544 140319328943248 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10395] ppid=10386 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10395/stat : 10395 (java) S 10386 10386 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511397436 28909211648 12546 33554432000 4194304 4196468 140731220780544 140319327890448 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10396] ppid=10386 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10396/stat : 10396 (java) S 10386 10386 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511397436 28909211648 12546 33554432000 4194304 4196468 140731220780544 140319326837648 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10397] ppid=10386 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10397/stat : 10397 (java) S 10386 10386 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511397436 28909211648 12546 33554432000 4194304 4196468 140731220780544 140319325784848 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10398] ppid=10386 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10398/stat : 10398 (java) S 10386 10386 10069 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511397437 28909211648 12546 33554432000 4194304 4196468 140731220780544 140318898276720 140319781902978 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10399] ppid=10386 vsize=28231652 memory=280162998623616 CPUtime=0 cores=0-7
/proc/10388/task/10399/stat : 10399 (java) S 10386 10386 10069 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511397438 28909211648 12546 33554432000 4194304 4196468 140731220780544 140318897222688 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10400] ppid=10386 vsize=28231652 memory=280162998628224 CPUtime=0 cores=0-7
/proc/10388/task/10400/stat : 10400 (java) S 10386 10386 10069 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511397438 28909211648 12546 33554432000 4194304 4196468 140731220780544 140318896169840 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10401] ppid=10386 vsize=28231652 memory=280162998632832 CPUtime=0 cores=0-7
/proc/10388/task/10401/stat : 10401 (java) S 10386 10386 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511397440 28909211648 12546 33554432000 4194304 4196468 140731220780544 140318895118160 140319781910427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10402] ppid=10386 vsize=28231652 memory=280162998637440 CPUtime=0.02 cores=0-7
/proc/10388/task/10402/stat : 10402 (java) S 10386 10386 10069 0 -1 1077944384 518 0 0 0 2 0 0 0 20 0 20 0 511397440 28909211648 12546 33554432000 4194304 4196468 140731220780544 140318894066544 140319781902978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10403] ppid=10386 vsize=28231652 memory=280162998642048 CPUtime=0.03 cores=0-7
/proc/10388/task/10403/stat : 10403 (java) R 10386 10386 10069 0 -1 4202560 150 0 0 0 3 0 0 0 20 0 20 0 511397440 28909211648 12546 33554432000 4194304 4196468 140731220780544 140318893004128 140319761585518 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10404] ppid=10386 vsize=28231652 memory=280162998646656 CPUtime=0.03 cores=0-7
/proc/10388/task/10404/stat : 10404 (java) S 10386 10386 10069 0 -1 1077944384 247 0 0 0 3 0 0 0 20 0 20 0 511397440 28909211648 12546 33554432000 4194304 4196468 140731220780544 140318891960944 140319781902978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10405] ppid=10386 vsize=28231652 memory=280162998651264 CPUtime=0.12 cores=0-7
/proc/10388/task/10405/stat : 10405 (java) S 10386 10386 10069 0 -1 1077944384 852 0 0 0 12 0 0 0 20 0 20 0 511397440 28909211648 12546 33554432000 4194304 4196468 140731220780544 140318890908144 140319781902978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10406] ppid=10386 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10406/stat : 10406 (java) S 10386 10386 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511397441 28909211648 12546 33554432000 4194304 4196468 140731220780544 140318889855584 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10407] ppid=10386 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/10388/task/10407/stat : 10407 (java) S 10386 10386 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511397441 28909211648 12546 33554432000 4194304 4196468 140731220780544 140318888802864 140319781902978 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51640 KiB

[startup+0.700951 s]
/proc/loadavg: 8.24 8.14 7.92 5/210 10407
/proc/meminfo: memFree=26695084/32770624 swapFree=66986400/67108860
[pid=10386] ppid=10383 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/10386/stat : 10386 (xcsp3-exec) S 10383 10386 10069 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511397434 115843072 364 33554432000 4194304 5098028 140723104668000 140723104666104 140584939975292 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7503872 140723104670582 140723104670825 140723104670825 140723104673738 0
/proc/10386/statm: 28282 364 305 221 0 87 0
[pid=10388] ppid=10386 vsize=28567624 memory=87472 CPUtime=1.53 cores=0-7
/proc/10388/stat : 10388 (java) S 10386 10386 10069 0 -1 1077944320 14174 0 0 0 146 7 0 0 20 0 26 0 511397435 29253246976 21868 33554432000 4194304 4196468 140731220780544 140731220763088 140319781891831 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
/proc/10388/statm: 7141906 21868 3452 1 0 7103006 0
[pid=10388/tid=10389] ppid=10386 vsize=28567624 memory=4580 CPUtime=0.67 cores=0-7
/proc/10388/task/10389/stat : 10389 (java) S 10386 10386 10069 0 -1 1077944384 8931 0 0 0 63 4 0 0 20 0 26 0 511397435 29253246976 21868 33554432000 4194304 4196468 140731220780544 140319786132608 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10390] ppid=10386 vsize=28567624 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10390/stat : 10390 (java) S 10386 10386 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 511397436 29253246976 22380 33554432000 4194304 4196468 140731220780544 140319738444432 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10391] ppid=10386 vsize=28698696 memory=0 CPUtime=0 cores=0-7
/proc/10388/task/10391/stat : 10391 (java) S 10386 10386 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 26 0 511397436 29387464704 22380 33554432000 4194304 4196468 140731220780544 140319737391632 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10392] ppid=10386 vsize=28634188 memory=1056 CPUtime=0 cores=0-7
/proc/10388/task/10392/stat : 10392 (java) S 10386 10386 10069 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 26 0 511397436 29321408512 22380 33554432000 4194304 4196468 140731220780544 140319331047824 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0

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

[pid=10388/tid=10415] ppid=10386 vsize=28768336 memory=1456 CPUtime=2356.96 cores=0-7
/proc/10388/task/10415/stat : 10415 (java) R 10386 10386 10069 0 -1 4202560 217693 0 0 0 235635 61 0 0 20 0 28 0 511397505 29458776064 250253 33554432000 4194304 4196468 140731220780544 140318872215592 140319427165674 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
Current children cumulated CPU time: 19104.5 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1002468 KiB

[startup+2502.3 s]
/proc/loadavg: 7.58 8.02 8.04 9/218 10627
/proc/meminfo: memFree=25749188/32770624 swapFree=66986400/67108860
[pid=10386] ppid=10383 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/10386/stat : 10386 (xcsp3-exec) S 10383 10386 10069 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511397434 115843072 364 33554432000 4194304 5098028 140723104668000 140723104666104 140584939975292 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7503872 140723104670582 140723104670825 140723104670825 140723104673738 0
/proc/10386/statm: 28282 364 305 221 0 87 0
[pid=10388] ppid=10386 vsize=28768336 memory=1004188 CPUtime=19575.2 cores=0-7
/proc/10388/stat : 10388 (java) S 10386 10386 10069 0 -1 1077944320 1721356 0 0 0 1952984 4531 0 0 20 0 28 0 511397435 29458776064 251047 33554432000 4194304 4196468 140731220780544 140731220763088 140319781891831 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
/proc/10388/statm: 7192084 251047 3543 1 0 7153184 0
[pid=10388/tid=10389] ppid=10386 vsize=28768336 memory=1002656 CPUtime=0.67 cores=0-7
/proc/10388/task/10389/stat : 10389 (java) S 10386 10386 10069 0 -1 1077944384 8931 0 0 0 63 4 0 0 20 0 28 0 511397435 29458776064 251047 33554432000 4194304 4196468 140731220780544 140319786132608 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10390] ppid=10386 vsize=28768336 memory=1004188 CPUtime=13.86 cores=0-7
/proc/10388/task/10390/stat : 10390 (java) S 10386 10386 10069 0 -1 1077944384 50357 0 0 0 1321 65 0 0 20 0 28 0 511397436 29458776064 251047 33554432000 4194304 4196468 140731220780544 140319738444432 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10391] ppid=10386 vsize=28768336 memory=1004188 CPUtime=13.96 cores=0-7
/proc/10388/task/10391/stat : 10391 (java) S 10386 10386 10069 0 -1 1077944384 63511 0 0 0 1329 67 0 0 20 0 28 0 511397436 29458776064 251047 33554432000 4194304 4196468 140731220780544 140319737391632 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10392] ppid=10386 vsize=28768336 memory=-3622645143214314312 CPUtime=14.02 cores=0-7
/proc/10388/task/10392/stat : 10392 (java) S 10386 10386 10069 0 -1 1077944384 54775 0 0 0 1335 67 0 0 20 0 28 0 511397436 29458776064 251047 33554432000 4194304 4196468 140731220780544 140319331047824 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10393] ppid=10386 vsize=28768336 memory=65144 CPUtime=13.97 cores=0-7
/proc/10388/task/10393/stat : 10393 (java) S 10386 10386 10069 0 -1 1077944384 58981 0 0 0 1329 68 0 0 20 0 28 0 511397436 29458776064 251047 33554432000 4194304 4196468 140731220780544 140319329995024 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10394] ppid=10386 vsize=28768336 memory=1456 CPUtime=13.95 cores=0-7
/proc/10388/task/10394/stat : 10394 (java) S 10386 10386 10069 0 -1 1077944384 53986 0 0 0 1326 69 0 0 20 0 28 0 511397436 29458776064 251047 33554432000 4194304 4196468 140731220780544 140319328943248 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10395] ppid=10386 vsize=28768336 memory=1456 CPUtime=13.96 cores=0-7
/proc/10388/task/10395/stat : 10395 (java) S 10386 10386 10069 0 -1 1077944384 61410 0 0 0 1332 64 0 0 20 0 28 0 511397436 29458776064 251047 33554432000 4194304 4196468 140731220780544 140319327890448 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10396] ppid=10386 vsize=28768336 memory=0 CPUtime=13.94 cores=0-7
/proc/10388/task/10396/stat : 10396 (java) S 10386 10386 10069 0 -1 1077944384 65065 0 0 0 1328 66 0 0 20 0 28 0 511397436 29458776064 251047 33554432000 4194304 4196468 140731220780544 140319326837648 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10397] ppid=10386 vsize=28768336 memory=7012782337275160683 CPUtime=13.89 cores=0-7
/proc/10388/task/10397/stat : 10397 (java) S 10386 10386 10069 0 -1 1077944384 58009 0 0 0 1322 67 0 0 20 0 28 0 511397436 29458776064 251047 33554432000 4194304 4196468 140731220780544 140319325784848 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10398] ppid=10386 vsize=28768336 memory=1556 CPUtime=58.17 cores=0-7
/proc/10388/task/10398/stat : 10398 (java) S 10386 10386 10069 0 -1 1077944384 157117 0 0 0 2149 3668 0 0 20 0 28 0 511397437 29458776064 251047 33554432000 4194304 4196468 140731220780544 140318898276720 140319781902978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10399] ppid=10386 vsize=28768336 memory=780 CPUtime=0 cores=0-7
/proc/10388/task/10399/stat : 10399 (java) S 10386 10386 10069 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 511397438 29458776064 251047 33554432000 4194304 4196468 140731220780544 140318897222752 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10400] ppid=10386 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/10388/task/10400/stat : 10400 (java) S 10386 10386 10069 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 511397438 29458776064 251047 33554432000 4194304 4196468 140731220780544 140318896169856 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10401] ppid=10386 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/10388/task/10401/stat : 10401 (java) S 10386 10386 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511397440 29458776064 251047 33554432000 4194304 4196468 140731220780544 140318895118160 140319781910427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10402] ppid=10386 vsize=28768336 memory=6791534058613427641 CPUtime=3.37 cores=0-7
/proc/10388/task/10402/stat : 10402 (java) S 10386 10386 10069 0 -1 1077944384 23228 0 0 0 331 6 0 0 20 0 28 0 511397440 29458776064 251047 33554432000 4194304 4196468 140731220780544 140318894066544 140319781902978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10403] ppid=10386 vsize=28768336 memory=1564 CPUtime=4.01 cores=0-7
/proc/10388/task/10403/stat : 10403 (java) S 10386 10386 10069 0 -1 1077944384 17597 0 0 0 397 4 0 0 20 0 28 0 511397440 29458776064 251047 33554432000 4194304 4196468 140731220780544 140318893013744 140319781902978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10404] ppid=10386 vsize=28768336 memory=6791534058613427641 CPUtime=4.17 cores=0-7
/proc/10388/task/10404/stat : 10404 (java) S 10386 10386 10069 0 -1 1077944384 20963 0 0 0 412 5 0 0 20 0 28 0 511397440 29458776064 251047 33554432000 4194304 4196468 140731220780544 140318891960944 140319781902978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10405] ppid=10386 vsize=28768336 memory=1456 CPUtime=0.82 cores=0-7
/proc/10388/task/10405/stat : 10405 (java) S 10386 10386 10069 0 -1 1077944384 11086 0 0 0 78 4 0 0 20 0 28 0 511397440 29458776064 251047 33554432000 4194304 4196468 140731220780544 140318890908144 140319781902978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10406] ppid=10386 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/10388/task/10406/stat : 10406 (java) S 10386 10386 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511397441 29458776064 251047 33554432000 4194304 4196468 140731220780544 140318889855584 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10407] ppid=10386 vsize=28768336 memory=1002656 CPUtime=0.8 cores=0-7
/proc/10388/task/10407/stat : 10407 (java) S 10386 10386 10069 0 -1 1077944384 5991 0 0 0 20 60 0 0 20 0 28 0 511397441 29458776064 251047 33554432000 4194304 4196468 140731220780544 140318888802864 140319781902978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10408] ppid=10386 vsize=28768336 memory=3616 CPUtime=2416.5 cores=0-7
/proc/10388/task/10408/stat : 10408 (java) R 10386 10386 10069 0 -1 4202560 100824 0 0 0 241608 42 0 0 20 0 28 0 511397504 29458776064 251047 33554432000 4194304 4196468 140731220780544 140318879582552 140319425501065 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10409] ppid=10386 vsize=28768336 memory=65144 CPUtime=2419.91 cores=0-7
/proc/10388/task/10409/stat : 10409 (java) R 10386 10386 10069 0 -1 4202560 76260 0 0 0 241959 32 0 0 20 0 28 0 511397504 29458776064 251047 33554432000 4194304 4196468 140731220780544 140318878531592 140319424759249 0 4 0 16800975 0 0 0 -1 1 0 0 14 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10410] ppid=10386 vsize=28768336 memory=1456 CPUtime=2456.2 cores=0-7
/proc/10388/task/10410/stat : 10410 (java) R 10386 10386 10069 0 -1 4202560 15876 0 0 0 245607 13 0 0 20 0 28 0 511397504 29458776064 251047 33554432000 4194304 4196468 140731220780544 140318877479344 140319427165664 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10411] ppid=10386 vsize=28768336 memory=1416 CPUtime=2433.04 cores=0-7
/proc/10388/task/10411/stat : 10411 (java) R 10386 10386 10069 0 -1 4202560 43601 0 0 0 243281 23 0 0 20 0 28 0 511397504 29458776064 251047 33554432000 4194304 4196468 140731220780544 140318876426792 140319427165691 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10412] ppid=10386 vsize=28768336 memory=1728 CPUtime=2415.52 cores=0-7
/proc/10388/task/10412/stat : 10412 (java) R 10386 10386 10069 0 -1 4202560 129908 0 0 0 241509 43 0 0 20 0 28 0 511397504 29458776064 251047 33554432000 4194304 4196468 140731220780544 140318875373656 140319424760134 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10413] ppid=10386 vsize=28768336 memory=692 CPUtime=2420.9 cores=0-7
/proc/10388/task/10413/stat : 10413 (java) R 10386 10386 10069 0 -1 4202560 82872 0 0 0 242058 32 0 0 20 0 28 0 511397505 29458776064 251047 33554432000 4194304 4196468 140731220780544 140318874321416 140319426010079 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10414] ppid=10386 vsize=28768336 memory=1056 CPUtime=2414.04 cores=0-7
/proc/10388/task/10414/stat : 10414 (java) R 10386 10386 10069 0 -1 4202560 327378 0 0 0 241310 94 0 0 20 0 28 0 511397505 29458776064 251047 33554432000 4194304 4196468 140731220780544 140318873271184 140319426351830 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10415] ppid=10386 vsize=28768336 memory=1456 CPUtime=2415.27 cores=0-7
/proc/10388/task/10415/stat : 10415 (java) R 10386 10386 10069 0 -1 4202560 232272 0 0 0 241463 64 0 0 20 0 28 0 511397505 29458776064 251047 33554432000 4194304 4196468 140731220780544 140318872215592 140319427165706 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
Current children cumulated CPU time: 19575.2 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1005644 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 7.76 8.03 8.05 9/218 10627
/proc/meminfo: memFree=25848280/32770624 swapFree=66986400/67108860
[pid=10386] ppid=10383 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/10386/stat : 10386 (xcsp3-exec) S 10383 10386 10069 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511397434 115843072 364 33554432000 4194304 5098028 140723104668000 140723104666104 140584939975292 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7503872 140723104670582 140723104670825 140723104670825 140723104673738 0
/proc/10386/statm: 28282 364 305 221 0 87 0
[pid=10388] ppid=10386 vsize=28768336 memory=904156 CPUtime=19713.8 cores=0-7
/proc/10388/stat : 10388 (java) S 10386 10386 10069 0 -1 1077944320 1743600 0 0 0 1966817 4567 0 0 20 0 28 0 511397435 29458776064 226039 33554432000 4194304 4196468 140731220780544 140731220763088 140319781891831 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
/proc/10388/statm: 7192084 226039 3543 1 0 7153184 0
[pid=10388/tid=10389] ppid=10386 vsize=28768336 memory=8317482817917895235 CPUtime=0.67 cores=0-7
/proc/10388/task/10389/stat : 10389 (java) S 10386 10386 10069 0 -1 1077944384 8931 0 0 0 63 4 0 0 20 0 28 0 511397435 29458776064 226039 33554432000 4194304 4196468 140731220780544 140319786132608 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10390] ppid=10386 vsize=28768336 memory=14048 CPUtime=13.94 cores=0-7
/proc/10388/task/10390/stat : 10390 (java) S 10386 10386 10069 0 -1 1077944384 50589 0 0 0 1329 65 0 0 20 0 28 0 511397436 29458776064 226039 33554432000 4194304 4196468 140731220780544 140319738444432 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10391] ppid=10386 vsize=28768336 memory=34984 CPUtime=14.04 cores=0-7
/proc/10388/task/10391/stat : 10391 (java) S 10386 10386 10069 0 -1 1077944384 64152 0 0 0 1337 67 0 0 20 0 28 0 511397436 29458776064 226039 33554432000 4194304 4196468 140731220780544 140319737391632 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10392] ppid=10386 vsize=28768336 memory=2120 CPUtime=14.12 cores=0-7
/proc/10388/task/10392/stat : 10392 (java) S 10386 10386 10069 0 -1 1077944384 54934 0 0 0 1344 68 0 0 20 0 28 0 511397436 29458776064 226039 33554432000 4194304 4196468 140731220780544 140319331047824 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10393] ppid=10386 vsize=28768336 memory=532 CPUtime=14.05 cores=0-7
/proc/10388/task/10393/stat : 10393 (java) S 10386 10386 10069 0 -1 1077944384 59423 0 0 0 1337 68 0 0 20 0 28 0 511397436 29458776064 226039 33554432000 4194304 4196468 140731220780544 140319329995024 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10394] ppid=10386 vsize=28768336 memory=1564 CPUtime=14.04 cores=0-7
/proc/10388/task/10394/stat : 10394 (java) S 10386 10386 10069 0 -1 1077944384 54609 0 0 0 1335 69 0 0 20 0 28 0 511397436 29458776064 226039 33554432000 4194304 4196468 140731220780544 140319328943248 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10395] ppid=10386 vsize=28768336 memory=924 CPUtime=14.05 cores=0-7
/proc/10388/task/10395/stat : 10395 (java) S 10386 10386 10069 0 -1 1077944384 62297 0 0 0 1340 65 0 0 20 0 28 0 511397436 29458776064 226039 33554432000 4194304 4196468 140731220780544 140319327890448 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10396] ppid=10386 vsize=28768336 memory=1760 CPUtime=14.02 cores=0-7
/proc/10388/task/10396/stat : 10396 (java) S 10386 10386 10069 0 -1 1077944384 65718 0 0 0 1336 66 0 0 20 0 28 0 511397436 29458776064 226039 33554432000 4194304 4196468 140731220780544 140319326837648 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10397] ppid=10386 vsize=28768336 memory=1440 CPUtime=13.97 cores=0-7
/proc/10388/task/10397/stat : 10397 (java) S 10386 10386 10069 0 -1 1077944384 58240 0 0 0 1330 67 0 0 20 0 28 0 511397436 29458776064 226039 33554432000 4194304 4196468 140731220780544 140319325784848 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10398] ppid=10386 vsize=28768336 memory=912 CPUtime=58.59 cores=0-7
/proc/10388/task/10398/stat : 10398 (java) S 10386 10386 10069 0 -1 1077944384 157729 0 0 0 2162 3697 0 0 20 0 28 0 511397437 29458776064 226039 33554432000 4194304 4196468 140731220780544 140318898276720 140319781902978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10399] ppid=10386 vsize=28768336 memory=1984 CPUtime=0 cores=0-7
/proc/10388/task/10399/stat : 10399 (java) S 10386 10386 10069 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 511397438 29458776064 226039 33554432000 4194304 4196468 140731220780544 140318897222752 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10400] ppid=10386 vsize=28768336 memory=2480 CPUtime=0 cores=0-7
/proc/10388/task/10400/stat : 10400 (java) S 10386 10386 10069 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 511397438 29458776064 226039 33554432000 4194304 4196468 140731220780544 140318896169856 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10401] ppid=10386 vsize=28768336 memory=1768 CPUtime=0 cores=0-7
/proc/10388/task/10401/stat : 10401 (java) S 10386 10386 10069 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511397440 29458776064 226039 33554432000 4194304 4196468 140731220780544 140318895118160 140319781910427 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10402] ppid=10386 vsize=28768336 memory=111632 CPUtime=3.37 cores=0-7
/proc/10388/task/10402/stat : 10402 (java) S 10386 10386 10069 0 -1 1077944384 23232 0 0 0 331 6 0 0 20 0 28 0 511397440 29458776064 226039 33554432000 4194304 4196468 140731220780544 140318894066544 140319781902978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10403] ppid=10386 vsize=28768336 memory=796 CPUtime=4.01 cores=0-7
/proc/10388/task/10403/stat : 10403 (java) S 10386 10386 10069 0 -1 1077944384 17601 0 0 0 397 4 0 0 20 0 28 0 511397440 29458776064 226039 33554432000 4194304 4196468 140731220780544 140318893013744 140319781902978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10404] ppid=10386 vsize=28768336 memory=1804 CPUtime=4.17 cores=0-7
/proc/10388/task/10404/stat : 10404 (java) S 10386 10386 10069 0 -1 1077944384 20967 0 0 0 412 5 0 0 20 0 28 0 511397440 29458776064 226039 33554432000 4194304 4196468 140731220780544 140318891960944 140319781902978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10405] ppid=10386 vsize=28768336 memory=916 CPUtime=0.82 cores=0-7
/proc/10388/task/10405/stat : 10405 (java) S 10386 10386 10069 0 -1 1077944384 11090 0 0 0 78 4 0 0 20 0 28 0 511397440 29458776064 226039 33554432000 4194304 4196468 140731220780544 140318890908144 140319781902978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10406] ppid=10386 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/10388/task/10406/stat : 10406 (java) S 10386 10386 10069 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511397441 29458776064 226039 33554432000 4194304 4196468 140731220780544 140318889855584 140319781902037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10407] ppid=10386 vsize=28768336 memory=4104 CPUtime=0.81 cores=0-7
/proc/10388/task/10407/stat : 10407 (java) S 10386 10386 10069 0 -1 1077944384 6037 0 0 0 20 61 0 0 20 0 28 0 511397441 29458776064 226039 33554432000 4194304 4196468 140731220780544 140318888802864 140319781902978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 39 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10408] ppid=10386 vsize=28768336 memory=1164 CPUtime=2433.51 cores=0-7
/proc/10388/task/10408/stat : 10408 (java) R 10386 10386 10069 0 -1 4202560 102021 0 0 0 243309 42 0 0 20 0 28 0 511397504 29458776064 226039 33554432000 4194304 4196468 140731220780544 140318879582456 140319425532174 0 4 0 16800975 0 0 0 -1 7 0 0 16 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10409] ppid=10386 vsize=28768336 memory=8317482817917895235 CPUtime=2437.06 cores=0-7
/proc/10388/task/10409/stat : 10409 (java) R 10386 10386 10069 0 -1 4202560 77207 0 0 0 243673 33 0 0 20 0 28 0 511397504 29458776064 226039 33554432000 4194304 4196468 140731220780544 140318878531592 140319425531962 0 4 0 16800975 0 0 0 -1 1 0 0 14 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10410] ppid=10386 vsize=28768336 memory=1440 CPUtime=2473.71 cores=0-7
/proc/10388/task/10410/stat : 10410 (java) R 10386 10386 10069 0 -1 4202560 15951 0 0 0 247357 14 0 0 20 0 28 0 511397504 29458776064 226039 33554432000 4194304 4196468 140731220780544 140318877479456 140319427165691 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10411] ppid=10386 vsize=28768336 memory=912 CPUtime=2450.35 cores=0-7
/proc/10388/task/10411/stat : 10411 (java) R 10386 10386 10069 0 -1 4202560 43666 0 0 0 245012 23 0 0 20 0 28 0 511397504 29458776064 226039 33554432000 4194304 4196468 140731220780544 140318876426792 140319426351840 0 4 0 16800975 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10412] ppid=10386 vsize=28768336 memory=3616 CPUtime=2432.67 cores=0-7
/proc/10388/task/10412/stat : 10412 (java) R 10386 10386 10069 0 -1 4202560 130885 0 0 0 243224 43 0 0 20 0 28 0 511397504 29458776064 226039 33554432000 4194304 4196468 140731220780544 140318875373496 140319424559841 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10413] ppid=10386 vsize=28768336 memory=65144 CPUtime=2438.02 cores=0-7
/proc/10388/task/10413/stat : 10413 (java) R 10386 10386 10069 0 -1 4202560 83778 0 0 0 243769 33 0 0 20 0 28 0 511397505 29458776064 226039 33554432000 4194304 4196468 140731220780544 140318874321416 140319425531192 0 4 0 16800975 0 0 0 -1 6 0 0 16 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10414] ppid=10386 vsize=28768336 memory=988 CPUtime=2431.17 cores=0-7
/proc/10388/task/10414/stat : 10414 (java) R 10386 10386 10069 0 -1 4202560 336836 0 0 0 243022 95 0 0 20 0 28 0 511397505 29458776064 226039 33554432000 4194304 4196468 140731220780544 140318873268920 140319427165691 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
[pid=10388/tid=10415] ppid=10386 vsize=28768336 memory=2004 CPUtime=2432.48 cores=0-7
/proc/10388/task/10415/stat : 10415 (java) R 10386 10386 10069 0 -1 4202560 236349 0 0 0 243183 65 0 0 20 0 28 0 511397505 29458776064 226039 33554432000 4194304 4196468 140731220780544 140318872218384 140319427165703 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 8581120 140731220784106 140731220784278 140731220784278 140731220787151 0
Current children cumulated CPU time: 19713.8 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 905612 KiB

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

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

[startup+2520.12 s]
# the end of solver process 10388 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19668.9 s, system=45.6891 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.12
CPU time (s): 19714.6
CPU user time (s): 19668.9
CPU system time (s): 45.6891
CPU usage (%): 782.288
Max. virtual memory (cumulated for all children) (KiB): 28885888
Max. memory (cumulated for all children) (KiB): 1058984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19668.9
system time used= 45.6891
maximum resident set size= 1060112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1744436
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 255001
involuntary context switches= 230386


# summary of solver processes directly reported to runsolver:
#   pid: 10386,10388
#   total CPU time (s): 19714.6
#   total CPU user time (s): 19668.9
#   total CPU system time (s): 45.6891

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.5784 second user time and 30.3088 second system time

The end

Launcher Data

Begin job on node104 at 2019-09-24 19:46:25
IDJOB=4406777
IDBENCH=127942
IDSOLVER=2871
FILE ID=node104/4406777-1569351408
RUNJOBID= node104-1569344661-10096
PBS_JOBID= 21705083
Free space on /tmp= 9836 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-152.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-4406777-1569351408/watcher-4406777-1569351408 -o /tmp/evaluation-result-4406777-1569351408/solver-4406777-1569351408 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569344661-10096 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 233499987 HOME/instance-4406777-1569351408.xml

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

MD5SUM BENCH= 95353c685d9c4a971cd57b59ef19ccd8
RANDOM SEED=233499987

node104.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	: 5334.09
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	: 5334.09
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	: 5334.09
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	: 5334.09
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:        26743868 kB
MemAvailable:   31819020 kB
Buffers:           97268 kB
Cached:          5068752 kB
SwapCached:        22640 kB
Active:          3195744 kB
Inactive:        1996600 kB
Active(anon):       3512 kB
Inactive(anon):    80336 kB
Active(file):    3192232 kB
Inactive(file):  1916264 kB
Unevictable:      109708 kB
Mlocked:          109708 kB
SwapTotal:      67108860 kB
SwapFree:       66986400 kB
Dirty:             26100 kB
Writeback:             0 kB
AnonPages:        113632 kB
Mapped:            57104 kB
Shmem:             49032 kB
Slab:             424716 kB
SReclaimable:     395116 kB
SUnreclaim:        29600 kB
KernelStack:        3408 kB
PageTables:         5692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505736 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:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 9808 MiB
End job on node104 at 2019-09-24 20:28:25