Trace number 4399589

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-16 parallel? (TO) 19912.3 2520.1

General information on the benchmark

NameRectPacking/RectPacking-m1-perf/
RectPacking-perfect-029.xml
MD5SUM46cde9b56a99396b1706cac103cc08fa
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 benchmark242.093
Satisfiable
(Un)Satisfiability was proved
Number of variables48
Number of constraints51
Number of domains1
Minimum domain size203
Maximum domain size203
Distribution of domain sizes[{"size":203,"count":48}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":46},{"degree":3,"count":1},{"degree":4,"count":1}]
Minimum constraint arity1
Maximum constraint arity48
Distribution of constraint arities[{"arity":1,"count":49},{"arity":2,"count":1},{"arity":48,"count":1}]
Number of extensional constraints0
Number of intensional constraints50
Distribution of constraint types[{"type":"intension","count":50},{"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-4399589-1568706315.xml"  -tl '20160s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4399589-1568706315.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
1.27/0.68	c solve instance...
19911.61/2520.07	s UNKNOWN
19911.61/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 (14784 MiB free)
  memory of node 1: 16384 MiB (15196 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399589-1568706315/watcher-4399589-1568706315 -o /tmp/evaluation-result-4399589-1568706315/solver-4399589-1568706315 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568700947-12873 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1085981381 HOME/instance-4399589-1568706315.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=14197, runsolver pid=14194
Current StackSize limit: 8192 KiB


[startup+0.10018 s]*
/proc/loadavg: 8.12 8.13 8.17 3/212 14218
/proc/meminfo: memFree=30685388/32770624 swapFree=67002056/67108860
[pid=14197] ppid=14194 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14197/stat : 14197 (xcsp3-exec) S 14194 14197 12846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446545467 115843072 363 33554432000 4194304 5098028 140722059362256 140722059360360 140415019999868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14098432 140722059367285 140722059367529 140722059367529 140722059370442 0
/proc/14197/statm: 28282 363 304 221 0 87 0
[pid=14199] ppid=14197 vsize=28227396 memory=29192 CPUtime=0.11 cores=0-7
/proc/14199/stat : 14199 (java) S 14197 14197 12846 0 -1 1077944320 5700 0 0 0 10 1 0 0 20 0 20 0 446545468 28904853504 7298 33554432000 4194304 4196468 140726416610160 140726416592704 140295020883703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
/proc/14199/statm: 7056849 7298 3149 1 0 7019032 0
[pid=14199/tid=14200] ppid=14197 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/14199/task/14200/stat : 14200 (java) R 14197 14197 12846 0 -1 4202560 3617 0 0 0 8 1 0 0 20 0 20 0 446545468 28904853504 7298 33554432000 4194304 4196468 140726416610160 140295025115392 140295020895638 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14201] ppid=14197 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/14199/task/14201/stat : 14201 (java) S 14197 14197 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446545469 28904853504 7298 33554432000 4194304 4196468 140726416610160 140294571809040 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14202] ppid=14197 vsize=28227396 memory=139923383957120 CPUtime=0 cores=0-7
/proc/14199/task/14202/stat : 14202 (java) S 14197 14197 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446545469 28904853504 7298 33554432000 4194304 4196468 140726416610160 140294570756496 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14203] ppid=14197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14203/stat : 14203 (java) S 14197 14197 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446545469 28904853504 7298 33554432000 4194304 4196468 140726416610160 140294569703952 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14204] ppid=14197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14204/stat : 14204 (java) S 14197 14197 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446545469 28904853504 7298 33554432000 4194304 4196468 140726416610160 140294568651408 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14205] ppid=14197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14205/stat : 14205 (java) S 14197 14197 12846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446545469 28904853504 7298 33554432000 4194304 4196468 140726416610160 140294567598864 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14206] ppid=14197 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14199/task/14206/stat : 14206 (java) S 14197 14197 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446545469 28904853504 7298 33554432000 4194304 4196468 140726416610160 140294566546320 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14207] ppid=14197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14207/stat : 14207 (java) S 14197 14197 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446545469 28904853504 7298 33554432000 4194304 4196468 140726416610160 140294565493776 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14208] ppid=14197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14208/stat : 14208 (java) S 14197 14197 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446545469 28904853504 7298 33554432000 4194304 4196468 140726416610160 140294564441232 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14209] ppid=14197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14209/stat : 14209 (java) S 14197 14197 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446545470 28904853504 7298 33554432000 4194304 4196468 140726416610160 140294405646320 140295020894850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14210] ppid=14197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14210/stat : 14210 (java) S 14197 14197 12846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446545471 28904853504 7298 33554432000 4194304 4196468 140726416610160 140294404592544 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14211] ppid=14197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14211/stat : 14211 (java) S 14197 14197 12846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446545471 28904853504 7298 33554432000 4194304 4196468 140726416610160 140294403539952 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14212] ppid=14197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14212/stat : 14212 (java) S 14197 14197 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446545473 28904853504 7298 33554432000 4194304 4196468 140726416610160 140294402488528 140295020902299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14213] ppid=14197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14213/stat : 14213 (java) S 14197 14197 12846 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 20 0 446545473 28904853504 7298 33554432000 4194304 4196468 140726416610160 140294401436144 140295020894850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14214] ppid=14197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14214/stat : 14214 (java) S 14197 14197 12846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446545473 28904853504 7298 33554432000 4194304 4196468 140726416610160 140294400383600 140295020894850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14215] ppid=14197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14215/stat : 14215 (java) S 14197 14197 12846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446545473 28904853504 7298 33554432000 4194304 4196468 140726416610160 140294399331056 140295020894850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14216] ppid=14197 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14199/task/14216/stat : 14216 (java) R 14197 14197 12846 0 -1 4202560 345 0 0 0 1 0 0 0 20 0 20 0 446545473 28904853504 7298 33554432000 4194304 4196468 140726416610160 140294398278512 140295005130707 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14217] ppid=14197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14217/stat : 14217 (java) S 14197 14197 12846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446545474 28904853504 7298 33554432000 4194304 4196468 140726416610160 140294397225184 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14218] ppid=14197 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14199/task/14218/stat : 14218 (java) S 14197 14197 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446545474 28904853504 7298 33554432000 4194304 4196468 140726416610160 140294396172720 140295020894850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30644 KiB

[startup+0.209923 s]*
/proc/loadavg: 8.12 8.13 8.17 2/212 14218
/proc/meminfo: memFree=30671752/32770624 swapFree=67002056/67108860
[pid=14197] ppid=14194 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14197/stat : 14197 (xcsp3-exec) S 14194 14197 12846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446545467 115843072 363 33554432000 4194304 5098028 140722059362256 140722059360360 140415019999868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14098432 140722059367285 140722059367529 140722059367529 140722059370442 0
/proc/14197/statm: 28282 363 304 221 0 87 0
[pid=14199] ppid=14197 vsize=28227396 memory=40996 CPUtime=0.33 cores=0-7
/proc/14199/stat : 14199 (java) S 14197 14197 12846 0 -1 1077944320 9479 0 0 0 30 3 0 0 20 0 20 0 446545468 28904853504 10249 33554432000 4194304 4196468 140726416610160 140726416592704 140295020883703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
/proc/14199/statm: 7056849 10249 3279 1 0 7019032 0
[pid=14199/tid=14200] ppid=14197 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/14199/task/14200/stat : 14200 (java) R 14197 14197 12846 0 -1 4202560 6638 0 0 0 17 2 0 0 20 0 20 0 446545468 28904853504 10249 33554432000 4194304 4196468 140726416610160 140295025109904 140295020895638 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14201] ppid=14197 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/14199/task/14201/stat : 14201 (java) S 14197 14197 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446545469 28904853504 10249 33554432000 4194304 4196468 140726416610160 140294571809040 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14202] ppid=14197 vsize=28227396 memory=3474446253928789664 CPUtime=0 cores=0-7
/proc/14199/task/14202/stat : 14202 (java) S 14197 14197 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446545469 28904853504 10249 33554432000 4194304 4196468 140726416610160 140294570756496 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14203] ppid=14197 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14199/task/14203/stat : 14203 (java) S 14197 14197 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446545469 28904853504 10249 33554432000 4194304 4196468 140726416610160 140294569703952 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14204] ppid=14197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14204/stat : 14204 (java) S 14197 14197 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446545469 28904853504 10249 33554432000 4194304 4196468 140726416610160 140294568651408 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14205] ppid=14197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14205/stat : 14205 (java) S 14197 14197 12846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446545469 28904853504 10249 33554432000 4194304 4196468 140726416610160 140294567598864 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14206] ppid=14197 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14199/task/14206/stat : 14206 (java) S 14197 14197 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446545469 28904853504 10249 33554432000 4194304 4196468 140726416610160 140294566546320 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14207] ppid=14197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14207/stat : 14207 (java) S 14197 14197 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446545469 28904853504 10249 33554432000 4194304 4196468 140726416610160 140294565493776 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14208] ppid=14197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14208/stat : 14208 (java) S 14197 14197 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446545469 28904853504 10249 33554432000 4194304 4196468 140726416610160 140294564441232 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14209] ppid=14197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14209/stat : 14209 (java) S 14197 14197 12846 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 446545470 28904853504 10249 33554432000 4194304 4196468 140726416610160 140294405646320 140295020894850 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14210] ppid=14197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14210/stat : 14210 (java) S 14197 14197 12846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446545471 28904853504 10249 33554432000 4194304 4196468 140726416610160 140294404592544 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14211] ppid=14197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14211/stat : 14211 (java) S 14197 14197 12846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446545471 28904853504 10249 33554432000 4194304 4196468 140726416610160 140294403539952 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14212] ppid=14197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14212/stat : 14212 (java) S 14197 14197 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446545473 28904853504 10249 33554432000 4194304 4196468 140726416610160 140294402488528 140295020902299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14213] ppid=14197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14213/stat : 14213 (java) S 14197 14197 12846 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 20 0 446545473 28904853504 10249 33554432000 4194304 4196468 140726416610160 140294401436144 140295020894850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14214] ppid=14197 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/14199/task/14214/stat : 14214 (java) S 14197 14197 12846 0 -1 1077944384 259 0 0 0 2 0 0 0 20 0 20 0 446545473 28904853504 10249 33554432000 4194304 4196468 140726416610160 140294400383600 140295020894850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14215] ppid=14197 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/14199/task/14215/stat : 14215 (java) S 14197 14197 12846 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 20 0 446545473 28904853504 10249 33554432000 4194304 4196468 140726416610160 140294399331056 140295020894850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14216] ppid=14197 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/14199/task/14216/stat : 14216 (java) S 14197 14197 12846 0 -1 1077944384 764 0 0 0 7 0 0 0 20 0 20 0 446545473 28904853504 10249 33554432000 4194304 4196468 140726416610160 140294398278512 140295020894850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14217] ppid=14197 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14217/stat : 14217 (java) S 14197 14197 12846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446545474 28904853504 10249 33554432000 4194304 4196468 140726416610160 140294397225184 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14218] ppid=14197 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14199/task/14218/stat : 14218 (java) S 14197 14197 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446545474 28904853504 10249 33554432000 4194304 4196468 140726416610160 140294396172720 140295020894850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42448 KiB

[startup+0.309529 s]*
/proc/loadavg: 8.12 8.13 8.17 3/212 14218
/proc/meminfo: memFree=30664988/32770624 swapFree=67002056/67108860
[pid=14197] ppid=14194 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14197/stat : 14197 (xcsp3-exec) S 14194 14197 12846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446545467 115843072 363 33554432000 4194304 5098028 140722059362256 140722059360360 140415019999868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14098432 140722059367285 140722059367529 140722059367529 140722059370442 0
/proc/14197/statm: 28282 363 304 221 0 87 0
[pid=14199] ppid=14197 vsize=28231652 memory=49936 CPUtime=0.53 cores=0-7
/proc/14199/stat : 14199 (java) S 14197 14197 12846 0 -1 1077944320 10836 0 0 0 49 4 0 0 20 0 20 0 446545468 28909211648 12484 33554432000 4194304 4196468 140726416610160 140726416592704 140295020883703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
/proc/14199/statm: 7057913 12484 3353 1 0 7019032 0
[pid=14199/tid=14200] ppid=14197 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/14199/task/14200/stat : 14200 (java) R 14197 14197 12846 0 -1 4202560 7740 0 0 0 27 2 0 0 20 0 20 0 446545468 28909211648 12484 33554432000 4194304 4196468 140726416610160 140295025114816 140295020905050 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14201] ppid=14197 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14201/stat : 14201 (java) S 14197 14197 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446545469 28909211648 12484 33554432000 4194304 4196468 140726416610160 140294571809040 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14202] ppid=14197 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14202/stat : 14202 (java) S 14197 14197 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446545469 28909211648 12484 33554432000 4194304 4196468 140726416610160 140294570756496 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14203] ppid=14197 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14203/stat : 14203 (java) S 14197 14197 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446545469 28909211648 12484 33554432000 4194304 4196468 140726416610160 140294569703952 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14204] ppid=14197 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14204/stat : 14204 (java) S 14197 14197 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446545469 28909211648 12484 33554432000 4194304 4196468 140726416610160 140294568651408 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14205] ppid=14197 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14205/stat : 14205 (java) S 14197 14197 12846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446545469 28909211648 12524 33554432000 4194304 4196468 140726416610160 140294567598864 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14206] ppid=14197 vsize=28231652 memory=139923256601263 CPUtime=0 cores=0-7
/proc/14199/task/14206/stat : 14206 (java) S 14197 14197 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446545469 28909211648 12524 33554432000 4194304 4196468 140726416610160 140294566546320 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14207] ppid=14197 vsize=28231652 memory=139923256603568 CPUtime=0 cores=0-7
/proc/14199/task/14207/stat : 14207 (java) S 14197 14197 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446545469 28909211648 12524 33554432000 4194304 4196468 140726416610160 140294565493776 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14208] ppid=14197 vsize=28231652 memory=139923256605872 CPUtime=0 cores=0-7
/proc/14199/task/14208/stat : 14208 (java) S 14197 14197 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446545469 28909211648 12524 33554432000 4194304 4196468 140726416610160 140294564441232 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14209] ppid=14197 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14209/stat : 14209 (java) S 14197 14197 12846 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 446545470 28909211648 12524 33554432000 4194304 4196468 140726416610160 140294405646320 140295020894850 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14210] ppid=14197 vsize=28231652 memory=279846513225616 CPUtime=0 cores=0-7
/proc/14199/task/14210/stat : 14210 (java) S 14197 14197 12846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446545471 28909211648 12524 33554432000 4194304 4196468 140726416610160 140294404592544 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14211] ppid=14197 vsize=28231652 memory=279846513223312 CPUtime=0 cores=0-7
/proc/14199/task/14211/stat : 14211 (java) S 14197 14197 12846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446545471 28909211648 12524 33554432000 4194304 4196468 140726416610160 140294403539952 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14212] ppid=14197 vsize=28231652 memory=279846513230224 CPUtime=0 cores=0-7
/proc/14199/task/14212/stat : 14212 (java) S 14197 14197 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446545473 28909211648 12524 33554432000 4194304 4196468 140726416610160 140294402488528 140295020902299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14213] ppid=14197 vsize=28231652 memory=279846513171504 CPUtime=0.02 cores=0-7
/proc/14199/task/14213/stat : 14213 (java) R 14197 14197 12846 0 -1 4202560 566 0 0 0 2 0 0 0 20 0 20 0 446545473 28909211648 12524 33554432000 4194304 4196468 140726416610160 140294401426528 140294998535568 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14214] ppid=14197 vsize=28231652 memory=279846513244048 CPUtime=0.04 cores=0-7
/proc/14199/task/14214/stat : 14214 (java) S 14197 14197 12846 0 -1 1077944384 266 0 0 0 4 0 0 0 20 0 20 0 446545473 28909211648 12524 33554432000 4194304 4196468 140726416610160 140294400383600 140295020894850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14215] ppid=14197 vsize=28231652 memory=279846513250960 CPUtime=0.02 cores=0-7
/proc/14199/task/14215/stat : 14215 (java) S 14197 14197 12846 0 -1 1077944384 79 0 0 0 2 0 0 0 20 0 20 0 446545473 28909211648 12524 33554432000 4194304 4196468 140726416610160 140294399331056 140295020894850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14216] ppid=14197 vsize=28231652 memory=279846513248656 CPUtime=0.12 cores=0-7
/proc/14199/task/14216/stat : 14216 (java) S 14197 14197 12846 0 -1 1077944384 884 0 0 0 12 0 0 0 20 0 20 0 446545473 28909211648 12524 33554432000 4194304 4196468 140726416610160 140294398278512 140295020894850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14217] ppid=14197 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14217/stat : 14217 (java) S 14197 14197 12846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446545474 28909211648 12524 33554432000 4194304 4196468 140726416610160 140294397225184 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14218] ppid=14197 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/14199/task/14218/stat : 14218 (java) S 14197 14197 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446545474 28909211648 12524 33554432000 4194304 4196468 140726416610160 140294396172720 140295020894850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51388 KiB

[startup+0.700897 s]
/proc/loadavg: 8.12 8.13 8.17 4/212 14218
/proc/meminfo: memFree=30652140/32770624 swapFree=67002056/67108860
[pid=14197] ppid=14194 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14197/stat : 14197 (xcsp3-exec) S 14194 14197 12846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446545467 115843072 363 33554432000 4194304 5098028 140722059362256 140722059360360 140415019999868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14098432 140722059367285 140722059367529 140722059367529 140722059370442 0
/proc/14197/statm: 28282 363 304 221 0 87 0
[pid=14199] ppid=14197 vsize=28766288 memory=99604 CPUtime=1.53 cores=0-7
/proc/14199/stat : 14199 (java) S 14197 14197 12846 0 -1 1077944320 15250 0 0 0 147 6 0 0 20 0 28 0 446545468 29456678912 24901 33554432000 4194304 4196468 140726416610160 140726416592704 140295020883703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
/proc/14199/statm: 7191572 24901 3452 1 0 7152672 0
[pid=14199/tid=14200] ppid=14197 vsize=28766288 memory=0 CPUtime=0.67 cores=0-7
/proc/14199/task/14200/stat : 14200 (java) S 14197 14197 12846 0 -1 1077944384 9374 0 0 0 63 4 0 0 20 0 28 0 446545468 29456678912 24901 33554432000 4194304 4196468 140726416610160 140295025124480 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14201] ppid=14197 vsize=28766288 memory=139923256812400 CPUtime=0 cores=0-7
/proc/14199/task/14201/stat : 14201 (java) S 14197 14197 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446545469 29456678912 24901 33554432000 4194304 4196468 140726416610160 140294571809040 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14202] ppid=14197 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/14199/task/14202/stat : 14202 (java) S 14197 14197 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446545469 29456678912 24901 33554432000 4194304 4196468 140726416610160 140294570756496 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14203] ppid=14197 vsize=28766288 memory=1056 CPUtime=0 cores=0-7
/proc/14199/task/14203/stat : 14203 (java) S 14197 14197 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446545469 29456678912 24901 33554432000 4194304 4196468 140726416610160 140294569703952 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0

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

[pid=14199/tid=14226] ppid=14197 vsize=28768336 memory=279846514193984 CPUtime=2393.09 cores=0-7
/proc/14199/task/14226/stat : 14226 (java) R 14197 14197 12846 0 -1 4202560 194403 0 0 0 239225 84 0 0 20 0 28 0 446545537 29458776064 355822 33554432000 4194304 4196468 140726416610160 140294379584896 140294662134954 0 4 0 16800975 0 0 0 -1 2 0 0 28 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
Current children cumulated CPU time: 19297.9 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1424740 KiB

[startup+2502.3 s]
/proc/loadavg: 8.03 8.17 8.23 9/220 14437
/proc/meminfo: memFree=29386124/32770624 swapFree=67002056/67108860
[pid=14197] ppid=14194 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14197/stat : 14197 (xcsp3-exec) S 14194 14197 12846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446545467 115843072 363 33554432000 4194304 5098028 140722059362256 140722059360360 140415019999868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14098432 140722059367285 140722059367529 140722059367529 140722059370442 0
/proc/14197/statm: 28282 363 304 221 0 87 0
[pid=14199] ppid=14197 vsize=28768336 memory=1321660 CPUtime=19771.7 cores=0-7
/proc/14199/stat : 14199 (java) S 14197 14197 12846 0 -1 1077944320 2278570 0 0 0 1974533 2637 0 0 20 0 28 0 446545468 29458776064 330415 33554432000 4194304 4196468 140726416610160 140726416592704 140295020883703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
/proc/14199/statm: 7192084 330415 3544 1 0 7153184 0
[pid=14199/tid=14200] ppid=14197 vsize=28768336 memory=1452 CPUtime=0.67 cores=0-7
/proc/14199/task/14200/stat : 14200 (java) S 14197 14197 12846 0 -1 1077944384 9374 0 0 0 63 4 0 0 20 0 28 0 446545468 29458776064 330415 33554432000 4194304 4196468 140726416610160 140295025124480 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14201] ppid=14197 vsize=28768336 memory=1452 CPUtime=14.02 cores=0-7
/proc/14199/task/14201/stat : 14201 (java) S 14197 14197 12846 0 -1 1077944384 62075 0 0 0 1325 77 0 0 20 0 28 0 446545469 29458776064 330415 33554432000 4194304 4196468 140726416610160 140294571809040 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14202] ppid=14197 vsize=28768336 memory=1452 CPUtime=14.03 cores=0-7
/proc/14199/task/14202/stat : 14202 (java) S 14197 14197 12846 0 -1 1077944384 69522 0 0 0 1323 80 0 0 20 0 28 0 446545469 29458776064 330415 33554432000 4194304 4196468 140726416610160 140294570756496 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14203] ppid=14197 vsize=28768336 memory=1323200 CPUtime=14 cores=0-7
/proc/14199/task/14203/stat : 14203 (java) S 14197 14197 12846 0 -1 1077944384 54166 0 0 0 1321 79 0 0 20 0 28 0 446545469 29458776064 330415 33554432000 4194304 4196468 140726416610160 140294569703952 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14204] ppid=14197 vsize=28768336 memory=1452 CPUtime=13.97 cores=0-7
/proc/14199/task/14204/stat : 14204 (java) S 14197 14197 12846 0 -1 1077944384 58893 0 0 0 1318 79 0 0 20 0 28 0 446545469 29458776064 330415 33554432000 4194304 4196468 140726416610160 140294568651408 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14205] ppid=14197 vsize=28768336 memory=6791534058613427641 CPUtime=13.96 cores=0-7
/proc/14199/task/14205/stat : 14205 (java) S 14197 14197 12846 0 -1 1077944384 60757 0 0 0 1317 79 0 0 20 0 28 0 446545469 29458776064 330415 33554432000 4194304 4196468 140726416610160 140294567598864 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14206] ppid=14197 vsize=28768336 memory=288230591722422566 CPUtime=13.99 cores=0-7
/proc/14199/task/14206/stat : 14206 (java) S 14197 14197 12846 0 -1 1077944384 62565 0 0 0 1319 80 0 0 20 0 28 0 446545469 29458776064 330415 33554432000 4194304 4196468 140726416610160 140294566546320 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14207] ppid=14197 vsize=28768336 memory=0 CPUtime=14.01 cores=0-7
/proc/14199/task/14207/stat : 14207 (java) S 14197 14197 12846 0 -1 1077944384 60590 0 0 0 1323 78 0 0 20 0 28 0 446545469 29458776064 330415 33554432000 4194304 4196468 140726416610160 140294565493776 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14208] ppid=14197 vsize=28768336 memory=-5587106306044206369 CPUtime=13.97 cores=0-7
/proc/14199/task/14208/stat : 14208 (java) S 14197 14197 12846 0 -1 1077944384 64224 0 0 0 1312 85 0 0 20 0 28 0 446545469 29458776064 330415 33554432000 4194304 4196468 140726416610160 140294564441232 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14209] ppid=14197 vsize=28768336 memory=1556 CPUtime=22.85 cores=0-7
/proc/14199/task/14209/stat : 14209 (java) S 14197 14197 12846 0 -1 1077944384 230488 0 0 0 954 1331 0 0 20 0 28 0 446545470 29458776064 330415 33554432000 4194304 4196468 140726416610160 140294405646320 140295020894850 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14210] ppid=14197 vsize=28768336 memory=1056 CPUtime=0 cores=0-7
/proc/14199/task/14210/stat : 14210 (java) S 14197 14197 12846 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 446545471 29458776064 330415 33554432000 4194304 4196468 140726416610160 140294404592608 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14211] ppid=14197 vsize=28768336 memory=2012 CPUtime=0 cores=0-7
/proc/14199/task/14211/stat : 14211 (java) S 14197 14197 12846 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 446545471 29458776064 330415 33554432000 4194304 4196468 140726416610160 140294403539968 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14212] ppid=14197 vsize=28768336 memory=1240 CPUtime=0 cores=0-7
/proc/14199/task/14212/stat : 14212 (java) S 14197 14197 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446545473 29458776064 330415 33554432000 4194304 4196468 140726416610160 140294402488528 140295020902299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14213] ppid=14197 vsize=28768336 memory=279846516134048 CPUtime=2.51 cores=0-7
/proc/14199/task/14213/stat : 14213 (java) S 14197 14197 12846 0 -1 1077944384 10349 0 0 0 248 3 0 0 20 0 28 0 446545473 29458776064 330415 33554432000 4194304 4196468 140726416610160 140294401436144 140295020894850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14214] ppid=14197 vsize=28768336 memory=7649539320490522081 CPUtime=2.46 cores=0-7
/proc/14199/task/14214/stat : 14214 (java) S 14197 14197 12846 0 -1 1077944384 16050 0 0 0 242 4 0 0 20 0 28 0 446545473 29458776064 330415 33554432000 4194304 4196468 140726416610160 140294400383600 140295020894850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14215] ppid=14197 vsize=28768336 memory=1452 CPUtime=2.42 cores=0-7
/proc/14199/task/14215/stat : 14215 (java) S 14197 14197 12846 0 -1 1077944384 17715 0 0 0 237 5 0 0 20 0 28 0 446545473 29458776064 330415 33554432000 4194304 4196468 140726416610160 140294399331056 140295020894850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14216] ppid=14197 vsize=28768336 memory=1321660 CPUtime=0.8 cores=0-7
/proc/14199/task/14216/stat : 14216 (java) S 14197 14197 12846 0 -1 1077944384 11157 0 0 0 78 2 0 0 20 0 28 0 446545473 29458776064 330415 33554432000 4194304 4196468 140726416610160 140294398278512 140295020894850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 51 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14217] ppid=14197 vsize=28768336 memory=4156 CPUtime=0 cores=0-7
/proc/14199/task/14217/stat : 14217 (java) S 14197 14197 12846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446545474 29458776064 330415 33554432000 4194304 4196468 140726416610160 140294397225184 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14218] ppid=14197 vsize=28768336 memory=1452 CPUtime=0.73 cores=0-7
/proc/14199/task/14218/stat : 14218 (java) S 14197 14197 12846 0 -1 1077944384 5794 0 0 0 18 55 0 0 20 0 28 0 446545474 29458776064 330415 33554432000 4194304 4196468 140726416610160 140294396172720 140295020894850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 51 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14219] ppid=14197 vsize=28768336 memory=1322176 CPUtime=2452.44 cores=0-7
/proc/14199/task/14219/stat : 14219 (java) R 14197 14197 12846 0 -1 4202560 95959 0 0 0 245190 54 0 0 20 0 28 0 446545537 29458776064 330415 33554432000 4194304 4196468 140726416610160 140294386952976 140294662086071 0 4 0 16800975 0 0 0 -1 0 0 0 26 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14220] ppid=14197 vsize=28768336 memory=772 CPUtime=2452.38 cores=0-7
/proc/14199/task/14220/stat : 14220 (java) R 14197 14197 12846 0 -1 4202560 108033 0 0 0 245188 50 0 0 20 0 28 0 446545537 29458776064 330415 33554432000 4194304 4196468 140726416610160 140294385901320 140294659351841 0 4 0 16800975 0 0 0 -1 3 0 0 27 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14221] ppid=14197 vsize=28768336 memory=1452 CPUtime=2454.65 cores=0-7
/proc/14199/task/14221/stat : 14221 (java) R 14197 14197 12846 0 -1 4202560 175495 0 0 0 245396 69 0 0 20 0 28 0 446545537 29458776064 330415 33554432000 4194304 4196468 140726416610160 140294384848568 140294660937238 0 4 0 16800975 0 0 0 -1 6 0 0 28 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14222] ppid=14197 vsize=28768336 memory=1452 CPUtime=2462.7 cores=0-7
/proc/14199/task/14222/stat : 14222 (java) R 14197 14197 12846 0 -1 4202560 93951 0 0 0 246219 51 0 0 20 0 28 0 446545537 29458776064 330415 33554432000 4194304 4196468 140726416610160 140294383796400 140294662363322 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14223] ppid=14197 vsize=28768336 memory=1452 CPUtime=2450.29 cores=0-7
/proc/14199/task/14223/stat : 14223 (java) R 14197 14197 12846 0 -1 4202560 247906 0 0 0 244920 109 0 0 20 0 28 0 446545537 29458776064 330415 33554432000 4194304 4196468 140726416610160 140294382744016 140294662086071 0 4 0 16800975 0 0 0 -1 5 0 0 26 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14224] ppid=14197 vsize=28768336 memory=1452 CPUtime=2451.11 cores=0-7
/proc/14199/task/14224/stat : 14224 (java) R 14197 14197 12846 0 -1 4202560 502643 0 0 0 244887 224 0 0 20 0 28 0 446545537 29458776064 330415 33554432000 4194304 4196468 140726416610160 140294381691008 140294662241398 0 4 0 16800975 0 0 0 -1 2 0 0 27 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14225] ppid=14197 vsize=28768336 memory=1336040 CPUtime=2451.68 cores=0-7
/proc/14199/task/14225/stat : 14225 (java) R 14197 14197 12846 0 -1 4202560 64564 0 0 0 245125 43 0 0 20 0 28 0 446545537 29458776064 330415 33554432000 4194304 4196468 140726416610160 140294380640768 140294663661518 0 4 0 16800975 0 0 0 -1 1 0 0 26 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14226] ppid=14197 vsize=28768336 memory=1452 CPUtime=2451.84 cores=0-7
/proc/14199/task/14226/stat : 14226 (java) R 14197 14197 12846 0 -1 4202560 194929 0 0 0 245099 85 0 0 20 0 28 0 446545537 29458776064 330415 33554432000 4194304 4196468 140726416610160 140294379584696 140294662134814 0 4 0 16800975 0 0 0 -1 7 0 0 28 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
Current children cumulated CPU time: 19771.7 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1323112 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.02 8.16 8.22 9/219 14437
/proc/meminfo: memFree=29399096/32770624 swapFree=67002056/67108860
[pid=14197] ppid=14194 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14197/stat : 14197 (xcsp3-exec) S 14194 14197 12846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446545467 115843072 363 33554432000 4194304 5098028 140722059362256 140722059360360 140415019999868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14098432 140722059367285 140722059367529 140722059367529 140722059370442 0
/proc/14197/statm: 28282 363 304 221 0 87 0
[pid=14199] ppid=14197 vsize=28768336 memory=1310376 CPUtime=19911.6 cores=0-7
/proc/14199/stat : 14199 (java) S 14197 14197 12846 0 -1 1077944320 2284330 0 0 0 1988508 2653 0 0 20 0 28 0 446545468 29458776064 327594 33554432000 4194304 4196468 140726416610160 140726416592704 140295020883703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
/proc/14199/statm: 7192084 327594 3544 1 0 7153184 0
[pid=14199/tid=14200] ppid=14197 vsize=28768336 memory=1398722017469774279 CPUtime=0.67 cores=0-7
/proc/14199/task/14200/stat : 14200 (java) S 14197 14197 12846 0 -1 1077944384 9374 0 0 0 63 4 0 0 20 0 28 0 446545468 29458776064 327594 33554432000 4194304 4196468 140726416610160 140295025124480 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14201] ppid=14197 vsize=28768336 memory=4126316290023845779 CPUtime=14.09 cores=0-7
/proc/14199/task/14201/stat : 14201 (java) S 14197 14197 12846 0 -1 1077944384 62259 0 0 0 1332 77 0 0 20 0 28 0 446545469 29458776064 327594 33554432000 4194304 4196468 140726416610160 140294571809040 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14202] ppid=14197 vsize=28768336 memory=808 CPUtime=14.1 cores=0-7
/proc/14199/task/14202/stat : 14202 (java) S 14197 14197 12846 0 -1 1077944384 69878 0 0 0 1330 80 0 0 20 0 28 0 446545469 29458776064 327594 33554432000 4194304 4196468 140726416610160 140294570756496 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14203] ppid=14197 vsize=28768336 memory=1808 CPUtime=14.07 cores=0-7
/proc/14199/task/14203/stat : 14203 (java) S 14197 14197 12846 0 -1 1077944384 54319 0 0 0 1328 79 0 0 20 0 28 0 446545469 29458776064 327594 33554432000 4194304 4196468 140726416610160 140294569703952 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14204] ppid=14197 vsize=28768336 memory=924 CPUtime=14.04 cores=0-7
/proc/14199/task/14204/stat : 14204 (java) S 14197 14197 12846 0 -1 1077944384 59535 0 0 0 1325 79 0 0 20 0 28 0 446545469 29458776064 327594 33554432000 4194304 4196468 140726416610160 140294568651408 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14205] ppid=14197 vsize=28768336 memory=4156 CPUtime=14.03 cores=0-7
/proc/14199/task/14205/stat : 14205 (java) S 14197 14197 12846 0 -1 1077944384 61044 0 0 0 1324 79 0 0 20 0 28 0 446545469 29458776064 327594 33554432000 4194304 4196468 140726416610160 140294567598864 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 14 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14206] ppid=14197 vsize=28768336 memory=1412 CPUtime=14.06 cores=0-7
/proc/14199/task/14206/stat : 14206 (java) S 14197 14197 12846 0 -1 1077944384 62833 0 0 0 1326 80 0 0 20 0 28 0 446545469 29458776064 327594 33554432000 4194304 4196468 140726416610160 140294566546320 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14207] ppid=14197 vsize=28768336 memory=3712 CPUtime=14.07 cores=0-7
/proc/14199/task/14207/stat : 14207 (java) S 14197 14197 12846 0 -1 1077944384 60887 0 0 0 1329 78 0 0 20 0 28 0 446545469 29458776064 327594 33554432000 4194304 4196468 140726416610160 140294565493776 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14208] ppid=14197 vsize=28768336 memory=1452 CPUtime=14.04 cores=0-7
/proc/14199/task/14208/stat : 14208 (java) S 14197 14197 12846 0 -1 1077944384 64892 0 0 0 1319 85 0 0 20 0 28 0 446545469 29458776064 327594 33554432000 4194304 4196468 140726416610160 140294564441232 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14209] ppid=14197 vsize=28768336 memory=1398720917958146503 CPUtime=23.05 cores=0-7
/proc/14199/task/14209/stat : 14209 (java) S 14197 14197 12846 0 -1 1077944384 231284 0 0 0 961 1344 0 0 20 0 28 0 446545470 29458776064 327594 33554432000 4194304 4196468 140726416610160 140294405646320 140295020894850 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14210] ppid=14197 vsize=28768336 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/14199/task/14210/stat : 14210 (java) S 14197 14197 12846 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 446545471 29458776064 327594 33554432000 4194304 4196468 140726416610160 140294404592608 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14211] ppid=14197 vsize=28768336 memory=1240 CPUtime=0 cores=0-7
/proc/14199/task/14211/stat : 14211 (java) S 14197 14197 12846 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 446545471 29458776064 327594 33554432000 4194304 4196468 140726416610160 140294403539968 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14212] ppid=14197 vsize=28768336 memory=580 CPUtime=0 cores=0-7
/proc/14199/task/14212/stat : 14212 (java) S 14197 14197 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446545473 29458776064 327594 33554432000 4194304 4196468 140726416610160 140294402488528 140295020902299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14213] ppid=14197 vsize=28768336 memory=1696 CPUtime=2.51 cores=0-7
/proc/14199/task/14213/stat : 14213 (java) S 14197 14197 12846 0 -1 1077944384 10353 0 0 0 248 3 0 0 20 0 28 0 446545473 29458776064 327594 33554432000 4194304 4196468 140726416610160 140294401436144 140295020894850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14214] ppid=14197 vsize=28768336 memory=4000 CPUtime=2.46 cores=0-7
/proc/14199/task/14214/stat : 14214 (java) S 14197 14197 12846 0 -1 1077944384 16054 0 0 0 242 4 0 0 20 0 28 0 446545473 29458776064 327594 33554432000 4194304 4196468 140726416610160 140294400383600 140295020894850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14215] ppid=14197 vsize=28768336 memory=7548 CPUtime=2.42 cores=0-7
/proc/14199/task/14215/stat : 14215 (java) S 14197 14197 12846 0 -1 1077944384 17719 0 0 0 237 5 0 0 20 0 28 0 446545473 29458776064 327594 33554432000 4194304 4196468 140726416610160 140294399331056 140295020894850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14216] ppid=14197 vsize=28768336 memory=2832 CPUtime=0.8 cores=0-7
/proc/14199/task/14216/stat : 14216 (java) S 14197 14197 12846 0 -1 1077944384 11161 0 0 0 78 2 0 0 20 0 28 0 446545473 29458776064 327594 33554432000 4194304 4196468 140726416610160 140294398278512 140295020894850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 51 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14217] ppid=14197 vsize=28768336 memory=1224 CPUtime=0 cores=0-7
/proc/14199/task/14217/stat : 14217 (java) S 14197 14197 12846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446545474 29458776064 327594 33554432000 4194304 4196468 140726416610160 140294397225184 140295020893909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14218] ppid=14197 vsize=28768336 memory=6036 CPUtime=0.73 cores=0-7
/proc/14199/task/14218/stat : 14218 (java) S 14197 14197 12846 0 -1 1077944384 5842 0 0 0 18 55 0 0 20 0 28 0 446545474 29458776064 327594 33554432000 4194304 4196468 140726416610160 140294396172720 140295020894850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 51 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14219] ppid=14197 vsize=28768336 memory=1452 CPUtime=2469.82 cores=0-7
/proc/14199/task/14219/stat : 14219 (java) R 14197 14197 12846 0 -1 4202560 96229 0 0 0 246928 54 0 0 20 0 28 0 446545537 29458776064 327594 33554432000 4194304 4196468 140726416610160 140294386952928 140294661315890 0 4 0 16800975 0 0 0 -1 2 0 0 26 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14220] ppid=14197 vsize=28768336 memory=1310888 CPUtime=2469.79 cores=0-7
/proc/14199/task/14220/stat : 14220 (java) R 14197 14197 12846 0 -1 4202560 108301 0 0 0 246928 51 0 0 20 0 28 0 446545537 29458776064 327594 33554432000 4194304 4196468 140726416610160 140294385902272 140294660840329 0 4 0 16800975 0 0 0 -1 5 0 0 27 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14221] ppid=14197 vsize=28768336 memory=6036 CPUtime=2472.06 cores=0-7
/proc/14199/task/14221/stat : 14221 (java) R 14197 14197 12846 0 -1 4202560 175773 0 0 0 247137 69 0 0 20 0 28 0 446545537 29458776064 327594 33554432000 4194304 4196468 140726416610160 140294384851936 140294662180032 0 4 0 16800975 0 0 0 -1 6 0 0 28 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14222] ppid=14197 vsize=28768336 memory=772 CPUtime=2480.31 cores=0-7
/proc/14199/task/14222/stat : 14222 (java) R 14197 14197 12846 0 -1 4202560 94173 0 0 0 247979 52 0 0 20 0 28 0 446545537 29458776064 327594 33554432000 4194304 4196468 140726416610160 140294383796512 140294662363355 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14223] ppid=14197 vsize=28768336 memory=1556 CPUtime=2467.54 cores=0-7
/proc/14199/task/14223/stat : 14223 (java) R 14197 14197 12846 0 -1 4202560 248119 0 0 0 246645 109 0 0 20 0 28 0 446545537 29458776064 327594 33554432000 4194304 4196468 140726416610160 140294382743640 140294663542795 0 4 0 16800975 0 0 0 -1 3 0 0 26 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14224] ppid=14197 vsize=28768336 memory=1056 CPUtime=2468.4 cores=0-7
/proc/14199/task/14224/stat : 14224 (java) R 14197 14197 12846 0 -1 4202560 502909 0 0 0 246615 225 0 0 20 0 28 0 446545537 29458776064 327594 33554432000 4194304 4196468 140726416610160 140294381691656 140294659623063 0 4 0 16800975 0 0 0 -1 7 0 0 27 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14225] ppid=14197 vsize=28768336 memory=1096 CPUtime=2469.07 cores=0-7
/proc/14199/task/14225/stat : 14225 (java) R 14197 14197 12846 0 -1 4202560 64830 0 0 0 246864 43 0 0 20 0 28 0 446545537 29458776064 327594 33554432000 4194304 4196468 140726416610160 140294380637336 140294663662232 0 4 0 16800975 0 0 0 -1 1 0 0 26 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
[pid=14199/tid=14226] ppid=14197 vsize=28768336 memory=14008 CPUtime=2469.25 cores=0-7
/proc/14199/task/14226/stat : 14226 (java) R 14197 14197 12846 0 -1 4202560 195190 0 0 0 246840 85 0 0 20 0 28 0 446545537 29458776064 327594 33554432000 4194304 4196468 140726416610160 140294379584616 140294661315743 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 6293624 6294260 27402240 140726416618474 140726416618646 140726416618646 140726416621519 0
Current children cumulated CPU time: 19911.6 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1311828 KiB

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

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

[startup+2520.1 s]
# the end of solver process 14199 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19885.7 s, system=26.542 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): 19912.3
CPU user time (s): 19885.7
CPU system time (s): 26.542
CPU usage (%): 790.137
Max. virtual memory (cumulated for all children) (KiB): 28885444
Max. memory (cumulated for all children) (KiB): 1874692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19885.7
system time used= 26.542
maximum resident set size= 1883616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2285176
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 255674
involuntary context switches= 235431


# summary of solver processes directly reported to runsolver:
#   pid: 14197,14199
#   total CPU time (s): 19912.3
#   total CPU user time (s): 19885.7
#   total CPU system time (s): 26.542

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.169 second user time and 27.9147 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-17 09:44:34
IDJOB=4399589
IDBENCH=127813
IDSOLVER=2854
FILE ID=node146/4399589-1568706315
RUNJOBID= node146-1568700947-12873
PBS_JOBID= 21703909
Free space on /tmp= 59004 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/RectPacking/RectPacking-m1-perf/RectPacking-perfect-029.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-4399589-1568706315/watcher-4399589-1568706315 -o /tmp/evaluation-result-4399589-1568706315/solver-4399589-1568706315 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568700947-12873 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1085981381 HOME/instance-4399589-1568706315.xml

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

MD5SUM BENCH= 46cde9b56a99396b1706cac103cc08fa
RANDOM SEED=1085981381

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        30701084 kB
MemAvailable:   31868272 kB
Buffers:          236740 kB
Cached:          1200660 kB
SwapCached:         4352 kB
Active:           724596 kB
Inactive:         718412 kB
Active(anon):      22404 kB
Inactive(anon):    30432 kB
Active(file):     702192 kB
Inactive(file):   687980 kB
Unevictable:      110876 kB
Mlocked:          110876 kB
SwapTotal:      67108860 kB
SwapFree:       67002056 kB
Dirty:             25872 kB
Writeback:             0 kB
AnonPages:        112724 kB
Mapped:            47236 kB
Shmem:             39096 kB
Slab:             215676 kB
SReclaimable:     185704 kB
SUnreclaim:        29972 kB
KernelStack:        3424 kB
PageTables:         6144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     507132 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:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 58976 MiB
End job on node146 at 2019-09-17 10:26:34