Trace number 4406700

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

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-142.xml
MD5SUM216ebd1a5dc9377e08f238421ffc41cf
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 benchmark46.3348
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints53
Number of domains1
Minimum domain size465
Maximum domain size465
Distribution of domain sizes[{"size":465,"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-4406700-1569350933.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4406700-1569350933.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.26/0.68	c solve instance...
19814.62/2520.07	s UNKNOWN
19814.62/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 (10787 MiB free)
  memory of node 1: 16384 MiB (14157 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406700-1569350933/watcher-4406700-1569350933 -o /tmp/evaluation-result-4406700-1569350933/solver-4406700-1569350933 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569348372-14576 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1921187426 HOME/instance-4406700-1569350933.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=14866, runsolver pid=14863
Current StackSize limit: 8192 KiB


[startup+0.100116 s]*
/proc/loadavg: 7.52 7.86 7.82 2/211 14887
/proc/meminfo: memFree=25524784/32770624 swapFree=67002564/67108860
[pid=14866] ppid=14863 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14866/stat : 14866 (xcsp3-exec) S 14863 14866 14549 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511254848 115843072 364 33554432000 4194304 5098028 140724252317840 140724252315944 140139331089020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38232064 140724252324725 140724252324969 140724252324969 140724252327882 0
/proc/14866/statm: 28282 364 305 221 0 87 0
[pid=14868] ppid=14866 vsize=28227396 memory=31016 CPUtime=0.12 cores=0-7
/proc/14868/stat : 14868 (java) S 14866 14866 14549 0 -1 1077944320 5652 0 0 0 11 1 0 0 20 0 20 0 511254848 28904853504 7754 33554432000 4194304 4196468 140724271779088 140724271761632 140231415430903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
/proc/14868/statm: 7056849 7754 3148 1 0 7019032 0
[pid=14868/tid=14869] ppid=14866 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/14868/task/14869/stat : 14869 (java) R 14866 14866 14549 0 -1 4202560 3567 0 0 0 8 1 0 0 20 0 20 0 511254848 28904853504 7754 33554432000 4194304 4196468 140724271779088 140231419663680 140231415442838 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14870] ppid=14866 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14870/stat : 14870 (java) S 14866 14866 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511254849 28904853504 7754 33554432000 4194304 4196468 140724271779088 140231368051344 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14871] ppid=14866 vsize=28227396 memory=288370605858182784 CPUtime=0 cores=0-7
/proc/14868/task/14871/stat : 14871 (java) S 14866 14866 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511254849 28904853504 7754 33554432000 4194304 4196468 140724271779088 140231366998544 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14872] ppid=14866 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14872/stat : 14872 (java) S 14866 14866 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511254849 28904853504 7754 33554432000 4194304 4196468 140724271779088 140231365945744 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14873] ppid=14866 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14873/stat : 14873 (java) S 14866 14866 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511254849 28904853504 7754 33554432000 4194304 4196468 140724271779088 140231364892944 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14874] ppid=14866 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14874/stat : 14874 (java) S 14866 14866 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511254849 28904853504 7754 33554432000 4194304 4196468 140724271779088 140231363841168 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14875] ppid=14866 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14868/task/14875/stat : 14875 (java) S 14866 14866 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511254849 28904853504 7754 33554432000 4194304 4196468 140724271779088 140231362788368 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14876] ppid=14866 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14876/stat : 14876 (java) S 14866 14866 14549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511254849 28904853504 7754 33554432000 4194304 4196468 140724271779088 140231361735568 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14877] ppid=14866 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14877/stat : 14877 (java) S 14866 14866 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511254849 28904853504 7754 33554432000 4194304 4196468 140724271779088 140231360682768 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14878] ppid=14866 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14878/stat : 14878 (java) S 14866 14866 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511254851 28904853504 7754 33554432000 4194304 4196468 140724271779088 140230598257008 140231415442050 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14879] ppid=14866 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14879/stat : 14879 (java) S 14866 14866 14549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511254851 28904853504 7754 33554432000 4194304 4196468 140724271779088 140230597202976 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14880] ppid=14866 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14880/stat : 14880 (java) S 14866 14866 14549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511254852 28904853504 7754 33554432000 4194304 4196468 140724271779088 140230596150128 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14881] ppid=14866 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14881/stat : 14881 (java) S 14866 14866 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511254854 28904853504 7754 33554432000 4194304 4196468 140724271779088 140230595098448 140231415449499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14882] ppid=14866 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14882/stat : 14882 (java) S 14866 14866 14549 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 20 0 511254854 28904853504 7754 33554432000 4194304 4196468 140724271779088 140230594046832 140231415442050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14883] ppid=14866 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14883/stat : 14883 (java) S 14866 14866 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511254854 28904853504 7754 33554432000 4194304 4196468 140724271779088 140230592994032 140231415442050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14884] ppid=14866 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14884/stat : 14884 (java) S 14866 14866 14549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511254854 28904853504 7754 33554432000 4194304 4196468 140724271779088 140230591941232 140231415442050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14885] ppid=14866 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14868/task/14885/stat : 14885 (java) R 14866 14866 14549 0 -1 4202560 348 0 0 0 1 0 0 0 20 0 20 0 511254854 28904853504 7754 33554432000 4194304 4196468 140724271779088 140230590888432 140231415442838 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14886] ppid=14866 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14886/stat : 14886 (java) S 14866 14866 14549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511254854 28904853504 7754 33554432000 4194304 4196468 140724271779088 140230589835872 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14887] ppid=14866 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14868/task/14887/stat : 14887 (java) S 14866 14866 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511254855 28904853504 7754 33554432000 4194304 4196468 140724271779088 140230588783152 140231415442050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 32472 KiB

[startup+0.209951 s]*
/proc/loadavg: 7.52 7.86 7.82 2/211 14887
/proc/meminfo: memFree=25512704/32770624 swapFree=67002564/67108860
[pid=14866] ppid=14863 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14866/stat : 14866 (xcsp3-exec) S 14863 14866 14549 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511254848 115843072 364 33554432000 4194304 5098028 140724252317840 140724252315944 140139331089020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38232064 140724252324725 140724252324969 140724252324969 140724252327882 0
/proc/14866/statm: 28282 364 305 221 0 87 0
[pid=14868] ppid=14866 vsize=28227396 memory=42504 CPUtime=0.33 cores=0-7
/proc/14868/stat : 14868 (java) S 14866 14866 14549 0 -1 1077944320 9344 0 0 0 30 3 0 0 20 0 20 0 511254848 28904853504 10626 33554432000 4194304 4196468 140724271779088 140724271761632 140231415430903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
/proc/14868/statm: 7056849 10626 3302 1 0 7019032 0
[pid=14868/tid=14869] ppid=14866 vsize=28227396 memory=8316850467074736180 CPUtime=0.2 cores=0-7
/proc/14868/task/14869/stat : 14869 (java) R 14866 14866 14549 0 -1 4202560 6583 0 0 0 18 2 0 0 20 0 20 0 511254848 28904853504 10626 33554432000 4194304 4196468 140724271779088 140231419662816 140231399511390 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14870] ppid=14866 vsize=28227396 memory=14976 CPUtime=0 cores=0-7
/proc/14868/task/14870/stat : 14870 (java) S 14866 14866 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511254849 28904853504 10626 33554432000 4194304 4196468 140724271779088 140231368051344 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14871] ppid=14866 vsize=28227396 memory=140229706485935 CPUtime=0 cores=0-7
/proc/14868/task/14871/stat : 14871 (java) S 14866 14866 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511254849 28904853504 10626 33554432000 4194304 4196468 140724271779088 140231366998544 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14872] ppid=14866 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14868/task/14872/stat : 14872 (java) S 14866 14866 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511254849 28904853504 10626 33554432000 4194304 4196468 140724271779088 140231365945744 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14873] ppid=14866 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14873/stat : 14873 (java) S 14866 14866 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511254849 28904853504 10626 33554432000 4194304 4196468 140724271779088 140231364892944 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14874] ppid=14866 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14874/stat : 14874 (java) S 14866 14866 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511254849 28904853504 10626 33554432000 4194304 4196468 140724271779088 140231363841168 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14875] ppid=14866 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14868/task/14875/stat : 14875 (java) S 14866 14866 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511254849 28904853504 10626 33554432000 4194304 4196468 140724271779088 140231362788368 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14876] ppid=14866 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14876/stat : 14876 (java) S 14866 14866 14549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511254849 28904853504 10626 33554432000 4194304 4196468 140724271779088 140231361735568 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14877] ppid=14866 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14877/stat : 14877 (java) S 14866 14866 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511254849 28904853504 10626 33554432000 4194304 4196468 140724271779088 140231360682768 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14878] ppid=14866 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14878/stat : 14878 (java) S 14866 14866 14549 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511254851 28904853504 10626 33554432000 4194304 4196468 140724271779088 140230598257008 140231415442050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14879] ppid=14866 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14879/stat : 14879 (java) S 14866 14866 14549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511254851 28904853504 10626 33554432000 4194304 4196468 140724271779088 140230597202976 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14880] ppid=14866 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14880/stat : 14880 (java) S 14866 14866 14549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511254852 28904853504 10626 33554432000 4194304 4196468 140724271779088 140230596150128 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14881] ppid=14866 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14881/stat : 14881 (java) S 14866 14866 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511254854 28904853504 10626 33554432000 4194304 4196468 140724271779088 140230595098448 140231415449499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14882] ppid=14866 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14868/task/14882/stat : 14882 (java) S 14866 14866 14549 0 -1 1077944384 492 0 0 0 1 0 0 0 20 0 20 0 511254854 28904853504 10626 33554432000 4194304 4196468 140724271779088 140230594046832 140231415442050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14883] ppid=14866 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14868/task/14883/stat : 14883 (java) S 14866 14866 14549 0 -1 1077944384 116 0 0 0 1 0 0 0 20 0 20 0 511254854 28904853504 10626 33554432000 4194304 4196468 140724271779088 140230592994032 140231415442050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14884] ppid=14866 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/14868/task/14884/stat : 14884 (java) R 14866 14866 14549 0 -1 4202560 46 0 0 0 1 0 0 0 20 0 20 0 511254854 28904853504 10626 33554432000 4194304 4196468 140724271779088 140230591941232 140231415442050 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14885] ppid=14866 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/14868/task/14885/stat : 14885 (java) R 14866 14866 14549 0 -1 4202560 794 0 0 0 8 0 0 0 20 0 20 0 511254854 28904853504 10626 33554432000 4194304 4196468 140724271779088 140230590888432 140231415452250 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14886] ppid=14866 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14886/stat : 14886 (java) S 14866 14866 14549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511254854 28904853504 10626 33554432000 4194304 4196468 140724271779088 140230589835872 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14887] ppid=14866 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14868/task/14887/stat : 14887 (java) S 14866 14866 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511254855 28904853504 10626 33554432000 4194304 4196468 140724271779088 140230588783152 140231415442050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 43960 KiB

[startup+0.309538 s]*
/proc/loadavg: 7.52 7.86 7.82 6/211 14887
/proc/meminfo: memFree=25506000/32770624 swapFree=67002564/67108860
[pid=14866] ppid=14863 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14866/stat : 14866 (xcsp3-exec) S 14863 14866 14549 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511254848 115843072 364 33554432000 4194304 5098028 140724252317840 140724252315944 140139331089020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38232064 140724252324725 140724252324969 140724252324969 140724252327882 0
/proc/14866/statm: 28282 364 305 221 0 87 0
[pid=14868] ppid=14866 vsize=28231652 memory=51936 CPUtime=0.52 cores=0-7
/proc/14868/stat : 14868 (java) S 14866 14866 14549 0 -1 1077944320 10820 0 0 0 49 3 0 0 20 0 20 0 511254848 28909211648 12984 33554432000 4194304 4196468 140724271779088 140724271761632 140231415430903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
/proc/14868/statm: 7057913 12984 3348 1 0 7019032 0
[pid=14868/tid=14869] ppid=14866 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/14868/task/14869/stat : 14869 (java) R 14866 14866 14549 0 -1 4202560 7703 0 0 0 27 2 0 0 20 0 20 0 511254848 28909211648 12984 33554432000 4194304 4196468 140724271779088 140231419662016 140231399511390 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14870] ppid=14866 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14870/stat : 14870 (java) S 14866 14866 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511254849 28909211648 12984 33554432000 4194304 4196468 140724271779088 140231368051344 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14871] ppid=14866 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14871/stat : 14871 (java) S 14866 14866 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511254849 28909211648 12984 33554432000 4194304 4196468 140724271779088 140231366998544 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14872] ppid=14866 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14872/stat : 14872 (java) S 14866 14866 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511254849 28909211648 12984 33554432000 4194304 4196468 140724271779088 140231365945744 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14873] ppid=14866 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14873/stat : 14873 (java) S 14866 14866 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511254849 28909211648 12984 33554432000 4194304 4196468 140724271779088 140231364892944 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14874] ppid=14866 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14874/stat : 14874 (java) S 14866 14866 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511254849 28909211648 13012 33554432000 4194304 4196468 140724271779088 140231363841168 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14875] ppid=14866 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14875/stat : 14875 (java) S 14866 14866 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511254849 28909211648 13012 33554432000 4194304 4196468 140724271779088 140231362788368 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14876] ppid=14866 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14876/stat : 14876 (java) S 14866 14866 14549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511254849 28909211648 13012 33554432000 4194304 4196468 140724271779088 140231361735568 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14877] ppid=14866 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14877/stat : 14877 (java) S 14866 14866 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511254849 28909211648 13012 33554432000 4194304 4196468 140724271779088 140231360682768 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14878] ppid=14866 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14878/stat : 14878 (java) S 14866 14866 14549 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511254851 28909211648 13012 33554432000 4194304 4196468 140724271779088 140230598257008 140231415442050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14879] ppid=14866 vsize=28231652 memory=280459217149312 CPUtime=0 cores=0-7
/proc/14868/task/14879/stat : 14879 (java) S 14866 14866 14549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511254851 28909211648 13012 33554432000 4194304 4196468 140724271779088 140230597202976 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14880] ppid=14866 vsize=28231652 memory=280459217153920 CPUtime=0 cores=0-7
/proc/14868/task/14880/stat : 14880 (java) S 14866 14866 14549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511254852 28909211648 13012 33554432000 4194304 4196468 140724271779088 140230596150128 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14881] ppid=14866 vsize=28231652 memory=280459217158528 CPUtime=0 cores=0-7
/proc/14868/task/14881/stat : 14881 (java) S 14866 14866 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511254854 28909211648 13012 33554432000 4194304 4196468 140724271779088 140230595098448 140231415449499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14882] ppid=14866 vsize=28231652 memory=280459217163136 CPUtime=0.02 cores=0-7
/proc/14868/task/14882/stat : 14882 (java) S 14866 14866 14549 0 -1 1077944384 526 0 0 0 2 0 0 0 20 0 20 0 511254854 28909211648 13012 33554432000 4194304 4196468 140724271779088 140230594046832 140231415442050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14883] ppid=14866 vsize=28231652 memory=280459217167744 CPUtime=0.02 cores=0-7
/proc/14868/task/14883/stat : 14883 (java) S 14866 14866 14549 0 -1 1077944384 123 0 0 0 2 0 0 0 20 0 20 0 511254854 28909211648 13012 33554432000 4194304 4196468 140724271779088 140230592994032 140231415442050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14884] ppid=14866 vsize=28231652 memory=280459217172352 CPUtime=0.02 cores=0-7
/proc/14868/task/14884/stat : 14884 (java) R 14866 14866 14549 0 -1 4202560 213 0 0 0 2 0 0 0 20 0 20 0 511254854 28909211648 13012 33554432000 4194304 4196468 140724271779088 140230591922248 140231400557238 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14885] ppid=14866 vsize=28231652 memory=280459217176960 CPUtime=0.12 cores=0-7
/proc/14868/task/14885/stat : 14885 (java) S 14866 14866 14549 0 -1 1077944384 949 0 0 0 12 0 0 0 20 0 20 0 511254854 28909211648 13012 33554432000 4194304 4196468 140724271779088 140230590888432 140231415442050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14886] ppid=14866 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14886/stat : 14886 (java) S 14866 14866 14549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511254854 28909211648 13012 33554432000 4194304 4196468 140724271779088 140230589835872 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14887] ppid=14866 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/14868/task/14887/stat : 14887 (java) S 14866 14866 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511254855 28909211648 13012 33554432000 4194304 4196468 140724271779088 140230588783152 140231415442050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 53392 KiB

[startup+0.701326 s]
/proc/loadavg: 7.52 7.86 7.82 4/211 14887
/proc/meminfo: memFree=25491920/32770624 swapFree=67002564/67108860
[pid=14866] ppid=14863 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14866/stat : 14866 (xcsp3-exec) S 14863 14866 14549 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511254848 115843072 364 33554432000 4194304 5098028 140724252317840 140724252315944 140139331089020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38232064 140724252324725 140724252324969 140724252324969 140724252327882 0
/proc/14866/statm: 28282 364 305 221 0 87 0
[pid=14868] ppid=14866 vsize=28766288 memory=97756 CPUtime=1.53 cores=0-7
/proc/14868/stat : 14868 (java) S 14866 14866 14549 0 -1 1077944320 14773 0 0 0 147 6 0 0 20 0 28 0 511254848 29456678912 24439 33554432000 4194304 4196468 140724271779088 140724271761632 140231415430903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
/proc/14868/statm: 7191572 24439 3452 1 0 7152672 0
[pid=14868/tid=14869] ppid=14866 vsize=28766288 memory=0 CPUtime=0.67 cores=0-7
/proc/14868/task/14869/stat : 14869 (java) S 14866 14866 14549 0 -1 1077944384 9404 0 0 0 63 4 0 0 20 0 28 0 511254848 29456678912 24439 33554432000 4194304 4196468 140724271779088 140231419671680 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14870] ppid=14866 vsize=28766288 memory=140229608776576 CPUtime=0 cores=0-7
/proc/14868/task/14870/stat : 14870 (java) S 14866 14866 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511254849 29456678912 24439 33554432000 4194304 4196468 140724271779088 140231368051344 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14871] ppid=14866 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/14868/task/14871/stat : 14871 (java) S 14866 14866 14549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 511254849 29456678912 24439 33554432000 4194304 4196468 140724271779088 140231366998544 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14872] ppid=14866 vsize=28766288 memory=1052 CPUtime=0 cores=0-7
/proc/14868/task/14872/stat : 14872 (java) S 14866 14866 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511254849 29456678912 24439 33554432000 4194304 4196468 140724271779088 140231365945744 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0

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

[pid=14868/tid=14895] ppid=14866 vsize=28768336 memory=6791534058613427641 CPUtime=2369.39 cores=0-7
/proc/14868/task/14895/stat : 14895 (java) R 14866 14866 14549 0 -1 4202560 72166 0 0 0 236897 42 0 0 20 0 28 0 511254918 29458776064 456159 33554432000 4194304 4196468 140724271779088 140230572433608 140231044684668 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
Current children cumulated CPU time: 19198.6 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1826092 KiB

[startup+2502.3 s]
/proc/loadavg: 8.44 8.29 8.23 9/219 15105
/proc/meminfo: memFree=24151072/32770624 swapFree=67002572/67108860
[pid=14866] ppid=14863 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14866/stat : 14866 (xcsp3-exec) S 14863 14866 14549 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511254848 115843072 364 33554432000 4194304 5098028 140724252317840 140724252315944 140139331089020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38232064 140724252324725 140724252324969 140724252324969 140724252327882 0
/proc/14866/statm: 28282 364 305 221 0 87 0
[pid=14868] ppid=14866 vsize=28768336 memory=1400920 CPUtime=19674.7 cores=0-7
/proc/14868/stat : 14868 (java) S 14866 14866 14549 0 -1 1077944320 1531813 0 0 0 1963553 3913 0 0 20 0 28 0 511254848 29458776064 350230 33554432000 4194304 4196468 140724271779088 140724271761632 140231415430903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
/proc/14868/statm: 7192084 350230 3543 1 0 7153184 0
[pid=14868/tid=14869] ppid=14866 vsize=28768336 memory=1400920 CPUtime=0.67 cores=0-7
/proc/14868/task/14869/stat : 14869 (java) S 14866 14866 14549 0 -1 1077944384 9404 0 0 0 63 4 0 0 20 0 28 0 511254848 29458776064 350230 33554432000 4194304 4196468 140724271779088 140231419671680 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14870] ppid=14866 vsize=28768336 memory=1456 CPUtime=14.76 cores=0-7
/proc/14868/task/14870/stat : 14870 (java) S 14866 14866 14549 0 -1 1077944384 64140 0 0 0 1385 91 0 0 20 0 28 0 511254849 29458776064 350230 33554432000 4194304 4196468 140724271779088 140231368051344 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14871] ppid=14866 vsize=28768336 memory=1400920 CPUtime=14.7 cores=0-7
/proc/14868/task/14871/stat : 14871 (java) S 14866 14866 14549 0 -1 1077944384 62965 0 0 0 1371 99 0 0 20 0 28 0 511254849 29458776064 350230 33554432000 4194304 4196468 140724271779088 140231366998544 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14872] ppid=14866 vsize=28768336 memory=1456 CPUtime=14.66 cores=0-7
/proc/14868/task/14872/stat : 14872 (java) S 14866 14866 14549 0 -1 1077944384 56366 0 0 0 1371 95 0 0 20 0 28 0 511254849 29458776064 350230 33554432000 4194304 4196468 140724271779088 140231365945744 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14873] ppid=14866 vsize=28768336 memory=2832 CPUtime=14.61 cores=0-7
/proc/14868/task/14873/stat : 14873 (java) S 14866 14866 14549 0 -1 1077944384 70393 0 0 0 1368 93 0 0 20 0 28 0 511254849 29458776064 350230 33554432000 4194304 4196468 140724271779088 140231364892944 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14874] ppid=14866 vsize=28768336 memory=1824636 CPUtime=14.66 cores=0-7
/proc/14868/task/14874/stat : 14874 (java) S 14866 14866 14549 0 -1 1077944384 61570 0 0 0 1379 87 0 0 20 0 28 0 511254849 29458776064 350230 33554432000 4194304 4196468 140724271779088 140231363841168 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14875] ppid=14866 vsize=28768336 memory=164 CPUtime=14.7 cores=0-7
/proc/14868/task/14875/stat : 14875 (java) S 14866 14866 14549 0 -1 1077944384 69315 0 0 0 1376 94 0 0 20 0 28 0 511254849 29458776064 350230 33554432000 4194304 4196468 140724271779088 140231362788368 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14876] ppid=14866 vsize=28768336 memory=7667496435715564898 CPUtime=14.64 cores=0-7
/proc/14868/task/14876/stat : 14876 (java) S 14866 14866 14549 0 -1 1077944384 57708 0 0 0 1370 94 0 0 20 0 28 0 511254849 29458776064 350230 33554432000 4194304 4196468 140724271779088 140231361735568 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14877] ppid=14866 vsize=28768336 memory=1052 CPUtime=14.71 cores=0-7
/proc/14868/task/14877/stat : 14877 (java) S 14866 14866 14549 0 -1 1077944384 68813 0 0 0 1376 95 0 0 20 0 28 0 511254849 29458776064 350230 33554432000 4194304 4196468 140724271779088 140231360682768 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14878] ppid=14866 vsize=28768336 memory=7548 CPUtime=43.67 cores=0-7
/proc/14868/task/14878/stat : 14878 (java) S 14866 14866 14549 0 -1 1077944384 142912 0 0 0 1621 2746 0 0 20 0 28 0 511254851 29458776064 350230 33554432000 4194304 4196468 140724271779088 140230598257008 140231415442050 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14879] ppid=14866 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/14868/task/14879/stat : 14879 (java) S 14866 14866 14549 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 511254851 29458776064 350230 33554432000 4194304 4196468 140724271779088 140230597203040 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14880] ppid=14866 vsize=28768336 memory=1400920 CPUtime=0 cores=0-7
/proc/14868/task/14880/stat : 14880 (java) S 14866 14866 14549 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 511254852 29458776064 350230 33554432000 4194304 4196468 140724271779088 140230596150144 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14881] ppid=14866 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/14868/task/14881/stat : 14881 (java) S 14866 14866 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511254854 29458776064 350230 33554432000 4194304 4196468 140724271779088 140230595098448 140231415449499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14882] ppid=14866 vsize=28768336 memory=6791534058613427641 CPUtime=4 cores=0-7
/proc/14868/task/14882/stat : 14882 (java) S 14866 14866 14549 0 -1 1077944384 25788 0 0 0 393 7 0 0 20 0 28 0 511254854 29458776064 350230 33554432000 4194304 4196468 140724271779088 140230594046832 140231415442050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14883] ppid=14866 vsize=28768336 memory=740 CPUtime=4.07 cores=0-7
/proc/14868/task/14883/stat : 14883 (java) S 14866 14866 14549 0 -1 1077944384 27614 0 0 0 400 7 0 0 20 0 28 0 511254854 29458776064 350230 33554432000 4194304 4196468 140724271779088 140230592994032 140231415442050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14884] ppid=14866 vsize=28768336 memory=1052 CPUtime=4.01 cores=0-7
/proc/14868/task/14884/stat : 14884 (java) S 14866 14866 14549 0 -1 1077944384 21000 0 0 0 398 3 0 0 20 0 28 0 511254854 29458776064 350230 33554432000 4194304 4196468 140724271779088 140230591941232 140231415442050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14885] ppid=14866 vsize=28768336 memory=1456 CPUtime=0.79 cores=0-7
/proc/14868/task/14885/stat : 14885 (java) S 14866 14866 14549 0 -1 1077944384 10465 0 0 0 76 3 0 0 20 0 28 0 511254854 29458776064 350230 33554432000 4194304 4196468 140724271779088 140230590888432 140231415442050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14886] ppid=14866 vsize=28768336 memory=1372176 CPUtime=0 cores=0-7
/proc/14868/task/14886/stat : 14886 (java) S 14866 14866 14549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511254854 29458776064 350230 33554432000 4194304 4196468 140724271779088 140230589835872 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14887] ppid=14866 vsize=28768336 memory=3620 CPUtime=0.81 cores=0-7
/proc/14868/task/14887/stat : 14887 (java) S 14866 14866 14549 0 -1 1077944384 5603 0 0 0 20 61 0 0 20 0 28 0 511254855 29458776064 350230 33554432000 4194304 4196468 140724271779088 140230588783152 140231415442050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14888] ppid=14866 vsize=28768336 memory=1456 CPUtime=2432.86 cores=0-7
/proc/14868/task/14888/stat : 14888 (java) R 14866 14866 14549 0 -1 4202560 79825 0 0 0 243232 54 0 0 20 0 28 0 511254917 29458776064 350230 33554432000 4194304 4196468 140724271779088 140230579801368 140231042194067 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14889] ppid=14866 vsize=28768336 memory=1456 CPUtime=2428.52 cores=0-7
/proc/14868/task/14889/stat : 14889 (java) R 14866 14866 14549 0 -1 4202560 62689 0 0 0 242814 38 0 0 20 0 28 0 511254917 29458776064 350230 33554432000 4194304 4196468 140724271779088 140230578751888 140231042185835 0 4 0 16800975 0 0 0 -1 7 0 0 16 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14890] ppid=14866 vsize=28768336 memory=3588 CPUtime=2457.83 cores=0-7
/proc/14868/task/14890/stat : 14890 (java) R 14866 14866 14549 0 -1 4202560 47423 0 0 0 245741 42 0 0 20 0 28 0 511254918 29458776064 350230 33554432000 4194304 4196468 140724271779088 140230577697912 140231043455687 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14891] ppid=14866 vsize=28768336 memory=3588 CPUtime=2450.14 cores=0-7
/proc/14868/task/14891/stat : 14891 (java) R 14866 14866 14549 0 -1 4202560 28873 0 0 0 244990 24 0 0 20 0 28 0 511254918 29458776064 350230 33554432000 4194304 4196468 140724271779088 140230576644416 140231044391659 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14892] ppid=14866 vsize=28768336 memory=63676 CPUtime=2432.77 cores=0-7
/proc/14868/task/14892/stat : 14892 (java) R 14866 14866 14549 0 -1 4202560 148560 0 0 0 243209 68 0 0 20 0 28 0 511254918 29458776064 350230 33554432000 4194304 4196468 140724271779088 140230575592408 140231042185984 0 4 0 16800975 0 0 0 -1 2 0 0 19 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14893] ppid=14866 vsize=28768336 memory=984 CPUtime=2433.6 cores=0-7
/proc/14868/task/14893/stat : 14893 (java) R 14866 14866 14549 0 -1 4202560 173639 0 0 0 243274 86 0 0 20 0 28 0 511254918 29458776064 350230 33554432000 4194304 4196468 140724271779088 140230574539512 140231044605064 0 4 0 16800975 0 0 0 -1 5 0 0 18 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14894] ppid=14866 vsize=28768336 memory=6791534058613427641 CPUtime=2434.59 cores=0-7
/proc/14868/task/14894/stat : 14894 (java) R 14866 14866 14549 0 -1 4202560 162289 0 0 0 243390 69 0 0 20 0 28 0 511254918 29458776064 350230 33554432000 4194304 4196468 140724271779088 140230573486264 140231044391652 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14895] ppid=14866 vsize=28768336 memory=1940 CPUtime=2428.71 cores=0-7
/proc/14868/task/14895/stat : 14895 (java) R 14866 14866 14549 0 -1 4202560 73092 0 0 0 242828 43 0 0 20 0 28 0 511254918 29458776064 350230 33554432000 4194304 4196468 140724271779088 140230572433608 140231043240992 0 4 0 16800975 0 0 0 -1 6 0 0 16 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
Current children cumulated CPU time: 19674.7 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1402376 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.60 8.34 8.25 9/220 15114
/proc/meminfo: memFree=24300924/32770624 swapFree=67002572/67108860
[pid=14866] ppid=14863 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14866/stat : 14866 (xcsp3-exec) S 14863 14866 14549 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511254848 115843072 364 33554432000 4194304 5098028 140724252317840 140724252315944 140139331089020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38232064 140724252324725 140724252324969 140724252324969 140724252327882 0
/proc/14866/statm: 28282 364 305 221 0 87 0
[pid=14868] ppid=14866 vsize=28768336 memory=1250636 CPUtime=19814.6 cores=0-7
/proc/14868/stat : 14868 (java) S 14866 14866 14549 0 -1 1077944320 1540232 0 0 0 1977531 3931 0 0 20 0 28 0 511254848 29458776064 312659 33554432000 4194304 4196468 140724271779088 140724271761632 140231415430903 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
/proc/14868/statm: 7192084 312659 3543 1 0 7153184 0
[pid=14868/tid=14869] ppid=14866 vsize=28768336 memory=1398722017469774279 CPUtime=0.67 cores=0-7
/proc/14868/task/14869/stat : 14869 (java) S 14866 14866 14549 0 -1 1077944384 9404 0 0 0 63 4 0 0 20 0 28 0 511254848 29458776064 312659 33554432000 4194304 4196468 140724271779088 140231419671680 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14870] ppid=14866 vsize=28768336 memory=912 CPUtime=14.86 cores=0-7
/proc/14868/task/14870/stat : 14870 (java) S 14866 14866 14549 0 -1 1077944384 64449 0 0 0 1394 92 0 0 20 0 28 0 511254849 29458776064 312659 33554432000 4194304 4196468 140724271779088 140231368051344 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14871] ppid=14866 vsize=28768336 memory=1456 CPUtime=14.78 cores=0-7
/proc/14868/task/14871/stat : 14871 (java) S 14866 14866 14549 0 -1 1077944384 63232 0 0 0 1379 99 0 0 20 0 28 0 511254849 29458776064 312659 33554432000 4194304 4196468 140724271779088 140231366998544 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14872] ppid=14866 vsize=28768336 memory=1223916 CPUtime=14.74 cores=0-7
/proc/14868/task/14872/stat : 14872 (java) S 14866 14866 14549 0 -1 1077944384 56534 0 0 0 1379 95 0 0 20 0 28 0 511254849 29458776064 312659 33554432000 4194304 4196468 140724271779088 140231365945744 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14873] ppid=14866 vsize=28768336 memory=984 CPUtime=14.7 cores=0-7
/proc/14868/task/14873/stat : 14873 (java) S 14866 14866 14549 0 -1 1077944384 71033 0 0 0 1377 93 0 0 20 0 28 0 511254849 29458776064 312659 33554432000 4194304 4196468 140724271779088 140231364892944 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14874] ppid=14866 vsize=28768336 memory=1940 CPUtime=14.75 cores=0-7
/proc/14868/task/14874/stat : 14874 (java) S 14866 14866 14549 0 -1 1077944384 62032 0 0 0 1388 87 0 0 20 0 28 0 511254849 29458776064 312659 33554432000 4194304 4196468 140724271779088 140231363841168 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14875] ppid=14866 vsize=28768336 memory=1416 CPUtime=14.78 cores=0-7
/proc/14868/task/14875/stat : 14875 (java) S 14866 14866 14549 0 -1 1077944384 70162 0 0 0 1384 94 0 0 20 0 28 0 511254849 29458776064 312659 33554432000 4194304 4196468 140724271779088 140231362788368 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14876] ppid=14866 vsize=28768336 memory=1556 CPUtime=14.71 cores=0-7
/proc/14868/task/14876/stat : 14876 (java) S 14866 14866 14549 0 -1 1077944384 58456 0 0 0 1377 94 0 0 20 0 28 0 511254849 29458776064 312659 33554432000 4194304 4196468 140724271779088 140231361735568 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14877] ppid=14866 vsize=28768336 memory=740 CPUtime=14.79 cores=0-7
/proc/14868/task/14877/stat : 14877 (java) S 14866 14866 14549 0 -1 1077944384 69387 0 0 0 1384 95 0 0 20 0 28 0 511254849 29458776064 312659 33554432000 4194304 4196468 140724271779088 140231360682768 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14878] ppid=14866 vsize=28768336 memory=1052 CPUtime=43.83 cores=0-7
/proc/14868/task/14878/stat : 14878 (java) S 14866 14866 14549 0 -1 1077944384 143668 0 0 0 1627 2756 0 0 20 0 28 0 511254851 29458776064 312659 33554432000 4194304 4196468 140724271779088 140230598257008 140231415442050 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14879] ppid=14866 vsize=28768336 memory=7548 CPUtime=0 cores=0-7
/proc/14868/task/14879/stat : 14879 (java) S 14866 14866 14549 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 511254851 29458776064 312659 33554432000 4194304 4196468 140724271779088 140230597203040 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14880] ppid=14866 vsize=28768336 memory=3620 CPUtime=0 cores=0-7
/proc/14868/task/14880/stat : 14880 (java) S 14866 14866 14549 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 511254852 29458776064 312659 33554432000 4194304 4196468 140724271779088 140230596150144 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14881] ppid=14866 vsize=28768336 memory=1223916 CPUtime=0 cores=0-7
/proc/14868/task/14881/stat : 14881 (java) S 14866 14866 14549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511254854 29458776064 312659 33554432000 4194304 4196468 140724271779088 140230595098448 140231415449499 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14882] ppid=14866 vsize=28768336 memory=1456 CPUtime=4 cores=0-7
/proc/14868/task/14882/stat : 14882 (java) S 14866 14866 14549 0 -1 1077944384 25794 0 0 0 393 7 0 0 20 0 28 0 511254854 29458776064 312659 33554432000 4194304 4196468 140724271779088 140230594046832 140231415442050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14883] ppid=14866 vsize=28768336 memory=1267008 CPUtime=4.07 cores=0-7
/proc/14868/task/14883/stat : 14883 (java) S 14866 14866 14549 0 -1 1077944384 27621 0 0 0 400 7 0 0 20 0 28 0 511254854 29458776064 312659 33554432000 4194304 4196468 140724271779088 140230592994032 140231415442050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14884] ppid=14866 vsize=28768336 memory=740 CPUtime=4.01 cores=0-7
/proc/14868/task/14884/stat : 14884 (java) S 14866 14866 14549 0 -1 1077944384 21006 0 0 0 398 3 0 0 20 0 28 0 511254854 29458776064 312659 33554432000 4194304 4196468 140724271779088 140230591941232 140231415442050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14885] ppid=14866 vsize=28768336 memory=1456 CPUtime=0.79 cores=0-7
/proc/14868/task/14885/stat : 14885 (java) S 14866 14866 14549 0 -1 1077944384 10471 0 0 0 76 3 0 0 20 0 28 0 511254854 29458776064 312659 33554432000 4194304 4196468 140724271779088 140230590888432 140231415442050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14886] ppid=14866 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/14868/task/14886/stat : 14886 (java) S 14866 14866 14549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511254854 29458776064 312659 33554432000 4194304 4196468 140724271779088 140230589835872 140231415441109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14887] ppid=14866 vsize=28768336 memory=1311640 CPUtime=0.81 cores=0-7
/proc/14868/task/14887/stat : 14887 (java) R 14866 14866 14549 0 -1 1077944384 5659 0 0 0 20 61 0 0 20 0 28 0 511254855 29458776064 312659 33554432000 4194304 4196468 140724271779088 140230588783152 140231415442050 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14888] ppid=14866 vsize=28768336 memory=2120 CPUtime=2450.3 cores=0-7
/proc/14868/task/14888/stat : 14888 (java) R 14866 14866 14549 0 -1 4202560 80291 0 0 0 244976 54 0 0 20 0 28 0 511254917 29458776064 312659 33554432000 4194304 4196468 140724271779088 140230579800952 140231044467601 0 4 0 16800975 0 0 0 -1 6 0 0 18 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14889] ppid=14866 vsize=28768336 memory=504 CPUtime=2445.87 cores=0-7
/proc/14868/task/14889/stat : 14889 (java) R 14866 14866 14549 0 -1 4202560 63107 0 0 0 244548 39 0 0 20 0 28 0 511254917 29458776064 312659 33554432000 4194304 4196468 140724271779088 140230578752016 140231043308128 0 4 0 16800975 0 0 0 -1 1 0 0 16 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14890] ppid=14866 vsize=28768336 memory=1560 CPUtime=2475.19 cores=0-7
/proc/14868/task/14890/stat : 14890 (java) R 14866 14866 14549 0 -1 4202560 48065 0 0 0 247476 43 0 0 20 0 28 0 511254918 29458776064 312659 33554432000 4194304 4196468 140724271779088 140230577696600 140231042185569 0 4 0 16800975 0 0 0 -1 7 0 0 12 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14891] ppid=14866 vsize=28768336 memory=924 CPUtime=2467.57 cores=0-7
/proc/14868/task/14891/stat : 14891 (java) R 14866 14866 14549 0 -1 4202560 29002 0 0 0 246733 24 0 0 20 0 28 0 511254918 29458776064 312659 33554432000 4194304 4196468 140724271779088 140230576644416 140231044391642 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14892] ppid=14866 vsize=28768336 memory=1692 CPUtime=2450.05 cores=0-7
/proc/14868/task/14892/stat : 14892 (java) R 14866 14866 14549 0 -1 4202560 149078 0 0 0 244935 70 0 0 20 0 28 0 511254918 29458776064 312659 33554432000 4194304 4196468 140724271779088 140230575591800 140231043241196 0 4 0 16800975 0 0 0 -1 5 0 0 19 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14893] ppid=14866 vsize=28768336 memory=912 CPUtime=2450.92 cores=0-7
/proc/14868/task/14893/stat : 14893 (java) R 14866 14866 14549 0 -1 4202560 174135 0 0 0 245006 86 0 0 20 0 28 0 511254918 29458776064 312659 33554432000 4194304 4196468 140724271779088 140230574538984 140231043649003 0 4 0 16800975 0 0 0 -1 3 0 0 19 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14894] ppid=14866 vsize=28768336 memory=1448 CPUtime=2452.05 cores=0-7
/proc/14868/task/14894/stat : 14894 (java) R 14866 14866 14549 0 -1 4202560 162676 0 0 0 245135 70 0 0 20 0 28 0 511254918 29458776064 312659 33554432000 4194304 4196468 140724271779088 140230573486264 140231041905697 0 4 0 16800975 0 0 0 -1 4 0 0 14 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
[pid=14868/tid=14895] ppid=14866 vsize=28768336 memory=1964 CPUtime=2446.16 cores=0-7
/proc/14868/task/14895/stat : 14895 (java) R 14866 14866 14549 0 -1 4202560 73603 0 0 0 244573 43 0 0 20 0 28 0 511254918 29458776064 312659 33554432000 4194304 4196468 140724271779088 140230572433400 140231044235886 0 4 0 16800975 0 0 0 -1 2 0 0 17 0 0 6293624 6294260 26943488 140724271780842 140724271781014 140724271781014 140724271783887 0
Current children cumulated CPU time: 19814.6 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1252092 KiB

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

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

[startup+2520.1 s]
# the end of solver process 14868 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19775.9 s, system=39.3267 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): 19815.3
CPU user time (s): 19775.9
CPU system time (s): 39.3267
CPU usage (%): 786.288
Max. virtual memory (cumulated for all children) (KiB): 28887264
Max. memory (cumulated for all children) (KiB): 2006656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19775.9
system time used= 39.3267
maximum resident set size= 2005732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1541060
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 218046
involuntary context switches= 238416


# summary of solver processes directly reported to runsolver:
#   pid: 14866,14868
#   total CPU time (s): 19815.3
#   total CPU user time (s): 19775.9
#   total CPU system time (s): 39.3267

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.8169 second user time and 27.8449 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-24 20:48:16
IDJOB=4406700
IDBENCH=127881
IDSOLVER=2871
FILE ID=node148/4406700-1569350933
RUNJOBID= node148-1569348372-14576
PBS_JOBID= 21705081
Free space on /tmp= 22084 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-142.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-4406700-1569350933/watcher-4406700-1569350933 -o /tmp/evaluation-result-4406700-1569350933/solver-4406700-1569350933 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569348372-14576 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1921187426 HOME/instance-4406700-1569350933.xml

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

MD5SUM BENCH= 216ebd1a5dc9377e08f238421ffc41cf
RANDOM SEED=1921187426

node148.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.13
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.13
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.13
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.13
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:        25542484 kB
MemAvailable:   31854320 kB
Buffers:           57280 kB
Cached:          6526776 kB
SwapCached:         3372 kB
Active:          4342592 kB
Inactive:        2246516 kB
Active(anon):       4252 kB
Inactive(anon):    56488 kB
Active(file):    4338340 kB
Inactive(file):  2190028 kB
Unevictable:      111008 kB
Mlocked:          111008 kB
SwapTotal:      67108860 kB
SwapFree:       67002564 kB
Dirty:             25916 kB
Writeback:             0 kB
AnonPages:        113308 kB
Mapped:            56152 kB
Shmem:             47072 kB
Slab:             226948 kB
SReclaimable:     198608 kB
SUnreclaim:        28340 kB
KernelStack:        3344 kB
PageTables:         5640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     513992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 22060 MiB
End job on node148 at 2019-09-24 21:30:16